?
False
Let r be (0 - 1) + (-4 - -1). Let p = r - -2. Let q be p - 2/(-2) - 0. Is q > 1/4?
False
Suppose 7*p = 2*p + 10. Suppose p = -d + 2*d. Suppose 3 - 1 = d*b. Is -2/9 != b?
True
Let j = 82 + -115. Which is smaller: j or -35?
-35
Suppose 2*v + 2*t - 4 = -v, 5*v + 4*t - 4 = 0. Suppose 5*b - b = v. Is b <= 6?
True
Let j = 9 - 0. Let m be j/234*(-8)/(-14). Which is greater: 1 or m?
1
Let d be (-82)/24*(-6)/135. Let v be 47/135 + 4/(-12). Let a = d + v. Is a not equal to -1?
True
Let d be (-2)/(((-10)/5)/(-32)). Is d greater than or equal to -32?
True
Suppose -4*j + j = 3*j. Is 3/37 != j?
True
Let g = 17/78 + -5/13. Let m = g + -1/12. Which is smaller: -1 or m?
-1
Let s be (-2)/(-5) - (-56)/10. Let z be (-128)/s - (-12)/(-18). Let l be (-3)/((-6)/(-8)*z). Which is smaller: l or -2?
-2
Let c = 258/7 - 37. Let b(s) = s**3 - s**2 - s + 1. Let z be b(1). Let r be (0/1 + z)/2. Which is smaller: c or r?
c
Let w be 36/(-14) - 4/(-7). Is w > -3?
True
Let u = -11 + -7. Which is smaller: -19 or u?
-19
Let y be 0 + 3*(-12)/9. Let u be (-2)/(y*2/12). Is 2 at least as big as u?
False
Let s be 6/(-4) + 12/(-8). Let f be (9/s - -5) + -1. Which is greater: f or -1?
f
Let q = -5 - -3. Suppose -3*m = -4*u + 5 - 2, m + 1 = -3*u. Which is smaller: u or q?
q
Let g = -97/15 + 24/5. Which is bigger: -2 or g?
g
Suppose a - 2 + 0 = 0, -v - 4*a + 1 = 0. Which is smaller: 2 or v?
v
Let l be 4/(-6) + 2/3. Let p = l + 1. Is -1 != p?
True
Let z be 4 - 1 - 495/189. Which is bigger: z or 1?
1
Let q = 7 + -9. Let c(a) = -a**2 + 1. Let o = 3 - 1. Let g be c(o). Do g and q have different values?
True
Let m be (-6)/8 + (-81)/(-12). Let f = m - 6. Let a = -1 - -1. Does a = f?
True
Let v = -7 + 7. Suppose v = -5*u + 2*u - 57. Let l be (u/7 - -3) + 0. Is -0.2 > l?
False
Let t(l) = -l + 10. Let h(m) = -m**3 + 5*m**2 + 2*m - 2. Let b be h(5). Let f be t(b). Is f != 15/8?
True
Suppose 0*n = 3*n + 15, 0 = -4*j - 5*n - 45. Let r be (-2 - j)*(-2)/(-6). Let l be (-66)/(-72) - (-2)/(-3). Which is smaller: l or r?
l
Let n = 31 - 33. Is -3 != n?
True
Let y = -8 + 10. Which is smaller: 0 or y?
0
Let s = 19 + -15. Let f = s + -3.9. Which is bigger: f or 1/7?
1/7
Let f(q) = q**2 + 5*q + 6. Let h be f(-4). Which is bigger: 1 or h?
h
Let p(t) = -7*t - 2. Let n be p(-2). Let o be ((-9)/n)/(1/(-4)). Suppose 0 = -3*k - o, -q + 2*k + 10 = 3*q. Are q and 1 nonequal?
True
Let r = 8 - 5. Suppose -2*f + 0*x + 11 = -x, -5*x - 35 = -5*f. Which is bigger: r or f?
f
Suppose -4*k + k + 24 = 0. Suppose k*g = 4*g - 12. Let w be ((-2)/g)/(6/(-12)). Is -1 greater than w?
True
Suppose 0*r = r - 19. Suppose -5*y = 15, n + n + r = -3*y. Is n less than -5?
False
Let m(r) = r**2 + 5*r - 1. Let x(d) = -7*d + 2. Let b(g) = -3*g + 1. Let i(p) = -5*b(p) + 2*x(p). Let n be i(-4). Let j be m(n). Which is smaller: j or 2/5?
j
Suppose 5*a = 2*a + 33. Let o = a - 34/3. Which is bigger: 1/3 or o?
1/3
Let c be (-2)/20*(-20)/(-8). Let g = 57 + -41. Suppose 4*d - 20 = 0, 4*d - 2*d - g = -2*j. Is j greater than c?
True
Let j = -15 - -16. Which is greater: -5/11 or j?
j
Let p = 10/21 - 4/21. Let i(d) = d**3 + 5*d**2 + d + 4. Let s be i(-5). Is p at most s?
False
Let k be (1 + (-15)/6)*3/9. Let c = 0.01 - 0.07. Which is smaller: k or c?
k
Let z = 2386 - 176561/74. Are 0 and z non-equal?
True
Suppose 0 = 3*o - t + 4, 2*t + 5 = -3*o + 4*t. Let n(s) = 11*s - 66. Let p be n(6). Which is smaller: p or o?
o
Let a be (2/(-3) - -1)*15. Suppose 3*w + 2 + 3 = 4*x, a*x - 3*w - 4 = 0. Do 2/27 and x have the same value?
False
Suppose 70 = 3*k - 47. Let c be k/9 + 4/6. Is 5 smaller than c?
False
Let y(k) be the second derivative of -k**4/12 - k**3 + 7*k**2/2 + k. Let s be y(-7). Suppose 7*c - 6*c = s. Which is smaller: 1/6 or c?
c
Let s be (-1)/5 + (-81)/45. Let l be (-1 - s)/((-5)/15). Which is bigger: -2 or l?
-2
Suppose -2*i + 8 = -4*u, 4*i + 0*u + 11 = -u. Let o be 0 - ((1 - 0) + -3). Suppose o = -0*l - l - f, l - 2*f = -2. Is i bigger than l?
False
Let a be -1 + -3 + (2 - 1). Let b be ((-30)/80)/(a/(-2)). Which is greater: b or 0.4?
0.4
Let r be -28*(6/16)/(-1). Suppose -50 + 17 = -3*x. Is r >= x?
False
Let m = 20 - 25. Let i be -2 + (-2 - -2)/3. Is i greater than m?
True
Let b(w) = -w**3 + 3*w**2 + 3*w + 3. Let s be b(4). Let x = 32993/572 + 10/143. Let m = -58 + x. Is s bigger than m?
False
Suppose 5*j - 15 = 2*j, 0 = -3*y + j - 5. Let d = -2/13 + 32/39. Are y and d equal?
False
Let f be 7 + -5 + 2/1. Let c(v) = -v + 1. Let q be c(f). Let d = 4 - 8. Is q <= d?
False
Let o be (-1988)/20 + 14/35. Which is smaller: -98 or o?
o
Let y = -25 - -25.8. Let q = y - -0.2. Which is greater: q or -9/5?
q
Let u = 0.3 - 0.2. Let x = -6 + 6. Let j be 2 + (-2 - x/3). Do u and j have different values?
True
Suppose 5*m = 2*n + 18, -n = 2*n - 3*m + 9. Which is bigger: n or 4/19?
n
Let h = 0.65 + 0.35. Is h bigger than 1/13?
True
Let d = 0.06 - -0.94. Is d greater than 13?
False
Let y = 2 - 2. Let a be 1*(-3)/6*y. Suppose a = -2*r + 2 - 0. Is -1 equal to r?
False
Suppose n = 4*f + 27, 54 = 2*n - 3*f - 2*f. Suppose -3*s + 9 = -2*u - 6, -4*u - n = -5*s. Suppose 0 = -2*r - 4. Which is bigger: u or r?
r
Let w(c) = 3*c + 4. Suppose -2*g + 9 = 3*u, g - 2*u = 2*g - 7. Let y be w(g). Is y != -5?
False
Let w = 269/8940 - 2/149. Which is bigger: w or 1?
1
Let v be 135/105*1/3. Which is smaller: -4 or v?
-4
Let a be (-1)/1*(0 + -3 - -4). Which is bigger: a or -5/11?
-5/11
Let n = 6.4 + -7. Let u = 43 + -43.2. Which is greater: n or u?
u
Let z = -16 + 25. Are 9 and z nonequal?
False
Let d = 5 - 17. Is -12 < d?
False
Let g = -9466/11 - -860. Suppose 3 = -4*l + 5*l - s, 5*l - 4*s = 10. Which is smaller: g or l?
l
Let k = 15 + -19. Let n be 18/8*k/7. Is -2 less than or equal to n?
True
Suppose 2*j = 3*j. Which is bigger: j or -1/36?
j
Let i be (-14)/(-2)*(-1)/1. Let s(f) = -15*f - 170. Let x be s(-11). Which is smaller: i or x?
i
Let a be 1/(-4) - (205/(-20) + 5). Suppose -13 - 7 = -4*l. Is a <= l?
True
Let r = 0.28 - 6.28. Let g = -0.7 + 0.6. Which is bigger: r or g?
g
Suppose -3*k - 2*m - 7 = 0, 3*k + k + 15 = 3*m. Let i(d) = -2*d**3 + 2*d - 4*d**2 + 3*d**3 + 3 + 0*d**3. Let z be i(3). Does k = z?
False
Let u = -1 - -1. Let b be 98/(-8) - (-1)/4. Let q be (12/40)/(b/(-10)). Is u bigger than q?
False
Let l(j) = -j**3 + 7*j**2 - 6*j. Let s be l(6). Let a(k) = k**2 + 6*k + 6. Suppose 2*r - u - 13 = 4*r, -21 = 4*r + u. Let c be a(r). Which is smaller: s or c?
c
Suppose 3*a - 2*o - 17 = -0*o, -3*a = 4*o + 7. Suppose -w - a*w = 0. Let d(q) = -q**2 + 6*q + 9. Let c be d(7). Which is smaller: c or w?
w
Let q be (5 - 3)*(-8)/16. Let d = -137 + 2193/16. Is d not equal to q?
True
Let m = 0.2 + 0.3. Let y = 0.15 - -0.55. Let k = y - m. Is 0 bigger than k?
False
Let j = 26 + -23. Suppose 0*g = j*g - 9. Which is smaller: 0 or g?
0
Suppose -142 = 15*o + 83. Is o <= -13?
True
Let f = -5636/3 + 1853. Do -27 and f have different values?
True
Let w be (-2 - -2)/((-3)/(-3)). Let o = -1/7 - w. Which is smaller: o or 0.1?
o
Suppose 1 = -6*q - 5. Which is greater: q or -4/3?
q
Let l = -14 + 13. Let j = 18.3 + -20. Which is greater: j or l?
l
Suppose 4*g = -5*q + 5, -q + 3*q = -4*g + 2. Let r = -0.22 + 0.02. Let z = r - -3.2. Are q and z equal?
False
Suppose w = 8*w. Are w and 2/155 equal?
False
Let k be (3/(-4))/((-2)/(-8)). Let x(y) = 2*y - 2. Let r be x(3). Let q = k + r. Is q at most 3/4?
False
Let r be (-1)/((-16)/(-12)*9). Which is bigger: r or 1?
1
Let u(b) = -2*b**3 - 2*b**2 - b. Let h be u(-2). Suppose -5*f - 5 - h = 0. Are f and -1 unequal?
True
Let x(c) = c**2 + 5*c + 2. Let q be x(-5). Let r = 33 + -31. Is r <= q?
True
Let m(o) = -o**3 - 2*o**2 + o + 1. Let b be m(-2). Let f = 56 - 617/11. Which is smaller: f or b?
b
Let m be (-1)/4 - (-40)/32. Let z = -5 + 5. Is m greater than or equal to z?
True
Suppose d - 5*f = 2, -3*d + 1 = -4*f - 5. Let b(k) = -6 + k**3 - 2*k**2 - 3*k**2 - 3*k**d + k. Let s be b(8). Does s = 2?
True
Let o = -120.2 - -120. Which is greater: 3 or o?
3
Let l be 2 - ((-126)/(-20) - 2). Let w = -493/210 - l. Which is smaller: w or 1?
w
Let x = -536 - -14474/27. Suppose 0 = -3*b - 3*v + 9, 3*b + 13 = 6*b + 5*v. Which is smaller: x or b?
x
Let f = 19 + -18.8. Which is smaller: f or -13/5?
-13/5
Let f be 4/18 + 76/(-18). Let s be ((-5)/10)/((-9)/f). Which is greate