?
True
Let q = 0.029 - 0.02. Which is bigger: q or 0?
q
Let l(w) = w**2 + 3*w + 1. Let h be l(-4). Let g be 3/h + 36/90. Let p = -256/3 + 86. Is g less than or equal to p?
False
Let m(z) = 2*z**2 + 5*z + 2. Let k be m(-2). Let v = -434/3 + 146. Which is smaller: k or v?
k
Suppose -21 = 3*p - k - 6, 0 = -3*p + 5*k - 15. Suppose 4*u = -0*u - 16. Let x = u - p. Which is bigger: 2/3 or x?
x
Let n = 9.1 - 9.1. Which is smaller: -67 or n?
-67
Let s = 27 - 6. Let j be s/9 - (-8)/12. Which is greater: -2 or j?
j
Suppose -5*v - 3*q = -35, v = -3*q + 15 + 4. Which is bigger: v or 3?
v
Let l = -21 - -1. Let g be 3/4 + 35/l. Which is greater: 1/3 or g?
1/3
Suppose 4*n = -0*n. Let i be (0 + 0)/(-1 - n). Suppose 5*l + 4 - 9 = i. Which is bigger: 2/3 or l?
l
Suppose w - 2 = 2*n - 3, -5*w - n = -17. Suppose -2*s + w = m, -s - 4*m = -4*s - 1. Do s and -0.2 have different values?
True
Let h(z) be the third derivative of -z**5/60 + 5*z**4/24 - 5*z**3/6 + z**2. Suppose -3*p + 5*q = -37, 4*p = 4*q + q + 41. Let u be h(p). Does u = 0?
False
Let l be (-3)/(-2)*(-12)/72. Let k = -0.4 - -0.2. Which is smaller: l or k?
l
Let c = -213/7 - -6589/217. Is -1 greater than c?
False
Let m be (1/(-5))/((-2)/(-122)). Let o(y) = y**3 - 5*y**2 - 5*y + 5. Let d be o(6). Let x = d + m. Are x and -2 equal?
False
Suppose 2*v + 0*r = -2*r + 18, 2 = 3*v - 2*r. Let n be 28/16 - (-1)/v. Which is bigger: n or 3?
3
Suppose o = -2*c - 7, 5*o = 2*c - 4 + 17. Which is greater: 5/3 or o?
5/3
Let h = -27/4 - -7. Is 0 at least as big as h?
False
Let o = -230 - -155. Is o less than or equal to -74?
True
Let z be (1 - (-3)/(-12))*110/(-30). Suppose -5 = x + 5*v + 18, -4*x - 20 = 2*v. Is x >= z?
False
Suppose 10 = 4*g + 2. Let z be ((-1 - -1)/1)/(-2). Suppose z*w = g*w + 4. Which is smaller: w or 0.2?
w
Let g be 4/(-10) - (-12)/5. Let v be -2*1/7 + (-279)/(-315). Is g bigger than v?
True
Let g = -25 - -79. Let s be ((-8)/(-6))/(4/g). Let y be (-1 + -1)*s/(-12). Which is bigger: y or 1?
y
Let s = 130 - 1301/10. Do 1 and s have different values?
True
Let g(c) = -7 - c**3 - 4 - 3*c - 7*c**2 + 4 + 1. Let q be g(-7). Suppose l = -9*d + 4*d + q, -3*l - 4*d = -12. Is 2/7 smaller than l?
False
Let w = 53 + -54. Which is bigger: 61 or w?
61
Suppose 0*d - 4*k - 9 = -d, d - k = 6. Is 3 greater than d?
False
Let p(b) = -b**3 - 9*b**2 - 9*b - 8. Let h(i) = -2*i - 2. Let r be h(4). Let c be 76/r - 14/35. Let s be p(c). Which is bigger: -1 or s?
s
Let c = -3.1 + 5.3. Let i = -4 + 6. Let q = c - i. Which is greater: q or -2?
q
Let m(k) = k**2 + 6*k - 4. Let n be m(-6). Suppose 2*x + 2*a + 2 = 0, -2*x = 2*a + a. Let w be (-3 + 0)/(x/(-4)). Is w less than or equal to n?
True
Let v = -558796240/91 + 6140848. Let h = v + -230. Let s = -50/91 + h. Which is smaller: s or 0?
s
Let y = -2.1 - -0.5. Let g = -4.4 + y. Which is smaller: g or 2/7?
g
Suppose 5*l + 3 = -c, 8 = 5*l - 5*c - 7. Which is smaller: 0.02 or l?
l
Let z = 8 + -7.7. Is 0 < z?
True
Let u be -12*(-1)/(-8)*-6. Let w be (4/16)/(3/u). Which is greater: w or 1?
1
Let j = -5 - -9. Suppose -3*b + 0 = j*d + 5, -3*d - 7 = -b. Let g be 9/6*(-1 - (-39)/36). Is b at most as big as g?
False
Suppose 0 = 3*j - 4*p + 38, 2*j + 17 = 3*p - 9. Let q = j - -9. Is q > -1?
False
Let y be 3 + 3 - (5 - 2). Suppose y*k + k = 4. Let n be (-9)/(-4) + (-1)/4. Is k not equal to n?
True
Suppose 0 = -3*j + b - 0 - 4, 0 = 2*j + 3*b - 12. Let m(c) = c. Let u be m(6). Let a = u + -7. Which is bigger: j or a?
j
Let n = 0.25 - -3.15. Let f = n - -0.6. Let k = f + -2. Which is bigger: k or 0.1?
k
Let r = -0.1 - 0. Suppose -5*s + 2 - 17 = 0. Let k be (-8)/(-6) + 2 + s. Is k at most r?
False
Let b = -88.7 - -84. Let c = 0.7 + b. Let z = c + 5. Is z < 3?
True
Let u(s) = s + 5. Suppose -z - 18 = 4*x, 2*z + 1 - 20 = 3*x. Let r be u(x). Which is smaller: r or -2/9?
-2/9
Suppose -i + 2*y + 2*y = -9, -7 = -3*i + 2*y. Let l(b) = -9*b. Let x be l(i). Are x and -8 nonequal?
True
Let k = -2629/74 - -71/2. Which is bigger: 0 or k?
0
Suppose -y - 21 = -2*u, 2*y - 3*y + 31 = 2*u. Let f(m) = -m + 9. Let k be f(u). Is k at most -5?
False
Let j = 4 - -2. Let r = j + -7. Which is greater: 4 or r?
4
Suppose -2*n + 7 = -1. Suppose -3*f = 9 - 18. Is n bigger than f?
True
Suppose z + 4 = 2*z. Suppose 2 + z = -3*l. Let d be 7/2 + l/(-4). Do d and 3 have the same value?
False
Let o be (-1)/(2/4)*(-6)/4. Suppose -4*d - 14 = 2. Let b be (d/6)/(8/(-18)). Which is smaller: o or b?
b
Let g be 4/(-2) - (-1 - 4). Suppose a + 29 = 2*r, -2*r - 1 + 0 = 5*a. Suppose -4*p = -g*f - r, 5*f + p - 6 = -p. Are -1 and f non-equal?
True
Let n = 17.76 - 0.16. Let w = 18 - n. Which is greater: -0.2 or w?
w
Suppose 9*x - 76 = 842. Which is bigger: -1 or x?
x
Suppose -5*h + z - 139 = -377, -152 = -3*h - 4*z. Which is smaller: h or 46?
46
Let t = 0 + 1. Let z be 8/32 + 3/4. Is t < z?
False
Let s(g) = g + 4. Let c be s(0). Suppose 3*i - c = -i. Let x be 2 - (i - (-7)/3). Which is greater: x or -2?
x
Let w(t) = t**2 + 15*t - 16. Let g(c) = -c**2 - 2*c - 16. Let x be g(0). Let y be w(x). Is y greater than -1/5?
True
Suppose -4*y + 15 = -65. Suppose -2*z = -n - y, 5*z - n - 2*n - 48 = 0. Suppose 0 = -5*w - 3 - z. Which is greater: -2 or w?
-2
Let y = 0.6 - -0.4. Which is bigger: -3 or y?
y
Let s(o) = o**2 + 5. Let m be s(0). Let f be ((-1)/m)/(4/(-2310)). Let n = -118 + f. Which is bigger: n or -4?
n
Suppose -5*h - 51 = -2*h. Let s = 11 + h. Let d be (-10)/(-15) - (-34)/s. Is d not equal to -5?
False
Let z = 246 + -248. Suppose -3*w - 24 = w. Is w greater than or equal to z?
False
Let h(v) = v**2 - 8*v - 4. Let a(c) = -c**3 + 4*c**2 + 6*c - 2. Let m be a(4). Suppose 2*x + 6 - m = 0. Let l be h(x). Are -4 and l equal?
True
Let c be ((-2)/(-36))/((-33)/(-12) + -3). Let y be (-1)/((2/(-1))/6). Suppose y*v - 3 = -0*v. Which is smaller: c or v?
c
Suppose 45 - 200 = -5*n - 3*b, 4*n + 5*b - 124 = 0. Is n > 32?
False
Suppose 10 - 46 = -3*s. Which is smaller: 4 or s?
4
Let m = 18 + -20. Which is greater: 3 or m?
3
Let w be -2 + 1/5*-71. Let m = -16 - w. Is m not equal to -1?
True
Let t be 5/(-2) - (-8)/4. Let h = -10 - -13. Let o = 3 - h. Is t greater than o?
False
Suppose h - 20 = -3*h. Suppose -h*y = 21 - 16. Which is smaller: -2/9 or y?
y
Suppose -3*q - 20 = 2*q. Let i be q/3 + (2 - 0). Let d = 7/15 - i. Which is greater: -1 or d?
d
Suppose 2*m + 40 - 8 = 0. Let q = m - -20. Which is greater: q or 5?
5
Let d(t) = -t + 6. Let l be d(-2). Is l greater than 5?
True
Let u = 2.39 - 2.49. Let n = 5/12 + -2/3. Which is smaller: u or n?
n
Let b = 0.06 - -0.94. Let g = 0 - 1. Let f = g + b. Which is greater: f or 2/3?
2/3
Let d = -38/11 - -288/77. Let n be 0/((-10)/14 - (-8)/(-28)). Are d and n equal?
False
Let n = 60/13 - 514/117. Let k(x) = -x**3 - 2*x**2 - 4. Let l be k(-3). Suppose 2*h - 5*y + 15 = -3*h, -5 = -l*h - 5*y. Which is smaller: h or n?
h
Let s be 4/((-1452)/(-9)) + 0. Let d = -148/1089 + s. Is 1 greater than or equal to d?
True
Let h(n) = n**3 + n**2 + 2. Let s be h(0). Let t be s*(11/2 + -2). Which is greater: t or 0.1?
t
Let d = 97 - 149. Is -52 bigger than d?
False
Suppose 4*u + 2*s + 7 = 5*u, 2*s = 4*u - 4. Which is smaller: u or 2/9?
u
Let l = -0.3 + 3.3. Let u = 7 - 7. Which is bigger: l or u?
l
Suppose -k = 7*k - 8. Is k at most 3/23?
False
Let c = -69 + 70. Which is smaller: c or -6/35?
-6/35
Let c = -18 - -28. Let m be (-5)/c*8/7. Which is greater: 0 or m?
0
Let i = -35420311/350 + 101201. Let m = 2/175 - i. Which is greater: 1 or m?
1
Let i be ((-29)/69)/(6/(-30)). Let c = -10/23 + i. Let q = 2 - c. Is -1 < q?
True
Let y = -511/15 - -132/5. Does y = -8?
False
Let c = -88 - -72. Which is bigger: c or -15?
-15
Suppose -t + 2 = 5*w, -2 = -t - 8*w + 4*w. Let j be (-6)/t - 48/(-18). Which is smaller: -1 or j?
-1
Let f = 24 - 23. Is f less than or equal to 4/9?
False
Let f be 2 + 76/(-16) + 1. Does -3 = f?
False
Suppose 0 = 2*f - 3*f. Suppose 6*s - 3*s = f. Which is smaller: -1/14 or s?
-1/14
Let g = -19.8 - -32.5. Let i = -0.3 - g. Is i < -2/3?
True
Let k(b) = -3*b - 3 + 2*b - 7. Let n be k(-11). Which is smaller: n or -2/11?
-2/11
Suppose 3*u - 12 = -u. Suppose 2*n + 1 - u = 0. Which is bigger: n or -6/17?
n
Let y be -3*2/2 + -1. Let a(q) = -q**3 + 5*q**2 - 6*q + 5. Let h be a(4). Which is smaller: y or h?
y
Suppose 0 = 3*w + 2 - 8.