?
False
Suppose 0 = 3*a - 3*x + 105, -4 + 39 = -a + 5*x. Are a and -37 equal?
False
Let h = -39.1 - -39. Which is greater: 69 or h?
69
Let h be 3/18 + (-3)/18. Let n = -189/2 + 95. Which is greater: n or h?
n
Let q be (2/4)/(2/12). Suppose 0 = 5*m + q*y - 60, 5*y - 52 = -2*m - m. Suppose 5*j + 24 = 69. Is j greater than or equal to m?
True
Let p be 1 + ((-65)/(-26))/(1*-2). Let i = 1.5 - 1.43. Let b = i + 1.13. Which is smaller: b or p?
p
Let m = -1.8 + 0.8. Let y = 0.07 - 0.02. Let j = y + -5.05. Does m = j?
False
Suppose 0 = -4*n - 29 - 131. Let q be (-1)/(-2) + 0 + n/64. Which is smaller: 1 or q?
q
Let w(y) be the first derivative of 11 + 1/3*y**3 + 11/2*y**2 + 10*y. Let n be w(-9). Which is bigger: -15/2 or n?
-15/2
Let c = 20.558 + -0.058. Let m = c - 9.6. Let b = m + -11. Which is bigger: b or -0.3?
b
Let k = -1064 - -1064.187. Which is greater: 1 or k?
1
Let m be 12/(-64)*(-1)/3. Let k = -4.063 - -0.063. Is k >= m?
False
Let x be (-1)/(-7)*-6*-7. Let u be x*3*(-1)/14. Let p(c) = -c**3 + 20*c**2 - 34*c - 38. Let d be p(18). Is u greater than d?
True
Let t be -3 + 2 + 0 - -69. Let x = 338/5 - t. Is x smaller than -0.8?
False
Let n = -19/9 - -43/63. Is 0 >= n?
True
Let s be (-16)/20*(6 - 61). Let i = -44 + 89. Which is greater: i or s?
i
Let t be (9 + 324)*(4/6)/2. Which is bigger: 110 or t?
t
Let n = -2 + 0.5. Let y = -490.2 - -490. Is n >= y?
False
Suppose -3*w = 4*n - 46, 5*w = 4*n - 4 - 26. Suppose b = 2*z - 6*z - 53, 2*z = -n. Does b = -34?
False
Let y = -585 - -537. Suppose n = -2*w - 0*n - 99, 3*w + 153 = -3*n. Is y > w?
False
Let w(j) = -2*j**3 - 18*j**2 + 2*j + 18. Let c be w(-9). Which is bigger: c or 4/87?
4/87
Let g = -2726 + 3263. Which is bigger: 538 or g?
538
Let y = 370 - 368. Is 22 at most as big as y?
False
Suppose 5*o + 2*m + 1582 = 0, -14*o - m = -18*o - 1263. Which is smaller: o or -314?
o
Let a be 2/8 + 185/(-20). Suppose 19*n - 10*n = -36. Is n greater than a?
True
Let k(j) = -2*j + 7. Let y be k(6). Let q = -1074 - -1071. Which is smaller: y or q?
y
Let q(a) = a**2 + 5*a - 79. Let t be q(-10). Are 3 and t non-equal?
True
Suppose -5*d + 2*d = -k - 11, 5*d - 3*k - 25 = 0. Let m be (-3*d/(-42))/1. Which is greater: m or 1?
1
Let s be 0 - (9/(-3) - 0). Suppose -s*n + 4*n + 13 = 0. Let l(h) = h - 9. Let r be l(-5). Is r at least as big as n?
False
Suppose 2*g = 6, -3*g = 3*w - 4*g. Let u = 37/13 + -32/13. Is u at least as big as w?
False
Let l = -160 + 167. Let i be (1/(-2))/(1/(-6)). Let z = l - i. Does 3 = z?
False
Let o = 191 + -47. Is o < 146?
True
Let t be ((-1)/44)/((-4)/184). Let m = -26/33 - t. Is -3 greater than m?
False
Let w = 388 - 2725/7. Let m be -3 + (-3)/(-3)*1. Is w >= m?
True
Suppose 0 = -8*f + 10*f. Let x(c) = 2*c - 12. Let s be x(12). Let n be (-1)/s + 4/12. Is n at least f?
True
Let h(n) = n**2 + n. Let m be h(-1). Suppose 2*w = w + a + 2, -4*w + 5*a + 9 = m. Let q be 2/7 - 72/154. Which is bigger: w or q?
w
Suppose -2*b = -10 + 6. Suppose -b*a = 2*a + 12. Let j be (a - -4) + (-27)/24. Is j less than or equal to 1?
True
Let u be (3 + -3 - 0) + -1. Let j = u + 2. Which is smaller: j or 2/11?
2/11
Let z be (15/75)/(4/2010). Which is smaller: 100 or z?
100
Let q be -4*(15/(-6))/(-5). Suppose -5*i = 19 + 26. Let z = -17 - i. Which is bigger: z or q?
q
Let a be (4/6)/((-4)/18)*-1. Suppose -a*p - p = 2*p. Is 2/153 greater than or equal to p?
True
Let c(f) = -6*f**2 - 9*f + 15. Suppose 0 = l - 3 + 11. Let r be c(l). Let d = -3265/11 - r. Is 0 < d?
True
Let z(b) = 2*b - 11. Let o be z(5). Let g be 0 + -3 - (o + 0). Let f be g*((-3)/(-2) - 2). Is 1/10 > f?
False
Let o = -132 - -136. Suppose o*f - 5 = -c, -7*c = -3*f - 2*c - 2. Which is smaller: f or -0.024?
-0.024
Let f = 359 + -4665/13. Suppose -29*s + 1 = -28*s. Are f and s non-equal?
True
Let f be 1/(-4) - (-69)/180. Let q = 0.11 - 1.71. Let m = q - -1.2. Is f at most as big as m?
False
Suppose 2*o - 371 = -105. Let l = o + -663/5. Let q = 0.76 + -0.8. Does q = l?
False
Suppose -15*m - 375 = 4560. Which is bigger: -331 or m?
m
Suppose 21*x = 20*x + 3. Suppose -82*r + 81*r = -9. Is r != x?
True
Let m be (-8)/12 + 28/6. Let x be (0 - 1/(-2))*10/m. Which is greater: 1 or x?
x
Let s be 10 - 4/8*6. Let n be 2 - 0 - s - 2. Let w = 2/31 + 56/93. Which is smaller: n or w?
n
Let r = 130 + -1428/11. Let a = -1 + 0. Which is smaller: a or r?
a
Let r = -2/137 - 71/4521. Let x = r - -7/2409. Which is smaller: x or 1?
x
Let r = -4.5 - -2. Let o = r + 2.64. Let j = 0.04 - o. Which is smaller: -19 or j?
-19
Let w = 0 + 1. Are w and -0.075 unequal?
True
Let k(f) be the third derivative of -f**6/120 - f**5/20 + f**4/6 + f**3/2 - 7*f**2. Let n be k(-2). Let y be ((-2)/n)/((-4)/24). Are -0.2 and y non-equal?
True
Let t(f) be the first derivative of 5*f - 1/4*f**4 - 1 + 5/3*f**3 + 3*f**2. Let x be t(6). Is 4 >= x?
False
Let c be 4/(-138)*(-3)/81. Is c > 1?
False
Suppose 92*k + 666 = 101*k. Which is greater: -1 or k?
k
Let j = 667 + -631. Which is smaller: j or 42?
j
Let o = 271/36 - 70/9. Which is greater: o or 1?
1
Let k = -5 + -2. Let j = 89 - 140. Let l = 43 + j. Which is smaller: k or l?
l
Let a be 189/98 - 3/2. Suppose -20 = 4*b - 4*w, 2 = 2*w - 8. Is a != b?
True
Let d = -16 + 36. Let h = d + -20.5. Is 0.3 equal to h?
False
Let o(q) = q. Let i(t) = -5*t**2 + 24*t - 5. Let l(w) = -i(w) + 3*o(w). Let c be l(4). Let x = -26/11 - -163/55. Is x less than c?
True
Let i be 3/2 + -2 - (-20)/8. Let h be 4/14 + (-130)/(-35). Suppose h*t - 3*x - 8 = -i*x, -t - 17 = -5*x. Which is greater: 6 or t?
6
Let b be 4/8 - 12/120. Which is greater: 1.28 or b?
1.28
Let x be -1*1 + 18/20. Let t(k) = -k - 6. Let s be t(-7). Which is smaller: s or x?
x
Let p = -96 + 81. Let l be 8/190*(-4 + p/(-10)). Is l equal to 1?
False
Let w(l) = -2*l**2 - 29*l + 15. Let u be w(-15). Suppose 5*s + r - 5 = 0, r + 2*r - 5 = -5*s. Let b = -1 + s. Is b > u?
False
Let b = -1428 + 1427.647. Are -3 and b equal?
False
Let t be (0/(2 - 8))/(-2). Is 2/529 greater than or equal to t?
True
Let w(n) = -n**3 + 2*n**2 + 7*n - 15. Let z be w(2). Let v be (-105)/(-171) - (-6)/(-9). Which is greater: v or z?
v
Suppose 3*k - 3*u - 2*u = 62, -4*u = 4. Which is smaller: k or 61/3?
k
Let f = -28 + 35. Suppose 4*h = -5*a + 13, 2*a = -5*h + f*a + 5. Let s be 0/((1 + h)/(-3)). Is s <= 3/13?
True
Let i = 54 - 52. Let h = -4.9 - -4. Let j = 0.4 + h. Which is smaller: i or j?
j
Let w be 46/391 - (-3 + (-7612)/(-2856)). Which is bigger: w or -1?
w
Suppose -2*s - 4*v - 60 = 0, -185 = 5*s + 4*v - v. Let k be 1/(s/(-94)) + 8/20. Which is smaller: 4 or k?
k
Let u = 312 + -311. Which is greater: u or 1/101?
u
Suppose i + 12 = -4*d, 5*i = -3*d + 3*i - 14. Let n be -1*(d - -3)*20. Let a = -5 - n. Is 2 < a?
True
Let i = -41 - -43. Suppose 3*c + l = -1 + 3, -2*c + i*l = 12. Which is bigger: -1/105 or c?
-1/105
Let j be (-4)/(-14) - 374/(-1955). Let p = j - 9/23. Which is smaller: 1 or p?
p
Suppose 0 = g - 0 + 6. Let n be (9/g)/(15/160). Is -17 equal to n?
False
Suppose 11 = 2*z + 5. Suppose -u + 3*m - 1 + 16 = 0, -5*u - z*m + 21 = 0. Which is smaller: u or 2?
2
Suppose -4*z + 1 = -z - 2*q, -2*z = 2*q - 4. Let r be (-2*12/76)/(-1). Which is smaller: z or r?
r
Let t be (-40)/110*1/(-4). Is 1 < t?
False
Let p(v) = -v**2 + 12*v + 16. Let o(n) = n. Let l(a) = -3*o(a) - p(a). Suppose -95 - 49 = -9*j. Let t be l(j). Is 1/8 less than or equal to t?
False
Let z = -52 - -81. Let y = z + -112. Which is smaller: y or 0?
y
Let m = -733 - -730. Is -22 less than or equal to m?
True
Let w = 32 - -395. Which is smaller: w or 430?
w
Suppose 0 = 3*h, -134*z + 140*z - h = 54. Suppose 0 = -3*a + a, 4*o - 5*a = 36. Is z smaller than o?
False
Let i = -6518957/943 + 6913. Are -1 and i unequal?
True
Let i be 6974/(-120) + (-54)/405. Do -58 and i have the same value?
False
Let z = -17.6 + 14. Let x = 3.33 + z. Let a = -0.17 - x. Is -0.05 at most as big as a?
True
Let n = -1494 + 13460/9. Is n bigger than 1?
True
Let t = -41 + 60. Is t at most as big as -7?
False
Let t = -180.6 - -167. Let z = t + 6.8. Let h = 7 + z. Which is bigger: h or 0.11?
h
Suppose 10 + 8 = 4*f + 5*u, 5*f = -5*u + 20. Let n(k) = 6*k + 5. Let l be n(f). Are 50/3 and l unequal?
True
Let w be (-20)/(-6) + (1 - -1). Let f(z) = 6*z - 16. Let b be f(4). Suppose -2 = s - b. Which is smaller: w or s?
w