?
True
Let w be -5 + (6 + -5 - -3). Is w != -27/7?
True
Let l = -8 - -10. Suppose l*b - 22 = 5*n, -b + 9 = 4*n - 6*n. Let o = -0.7 + 0.6. Which is greater: o or b?
b
Let y be (-4 - -6)/((-6)/(-6)). Let t be 0/y - (16 - 51). Which is greater: t or 34?
t
Suppose 2*n + 4*c + 16 = -0*n, 0 = -4*n - 2*c - 26. Let r(b) = -b**2 - 7*b + 1. Let y be r(n). Suppose -y*t + t = -36. Are t and 4 equal?
False
Let w = -33.005 - 0.095. Let z = w - -33. Is 13 greater than or equal to z?
True
Let u be -1 + 119/(-49) - -4. Is -1 equal to u?
False
Let x = 21.3 - 3.3. Let d = 6.4 - 4.4. Which is bigger: x or d?
x
Let y = -461 - -459. Is 2.2 at most y?
False
Let u = 648/173 - -3/692. Which is greater: u or 3?
u
Suppose 211 - 1 = 30*i. Is -2 at most as big as i?
True
Let h be 9*1/(-2)*(-1488)/(-18135). Which is bigger: -1 or h?
h
Let w be 128/832 - (-2426)/(-15600). Are 2 and w equal?
False
Let h = -10 + 16. Suppose -2*n - 8 = 4*q, 2*q + 32 = -3*n + h*q. Let z be 0/(4*(-2)/n). Which is smaller: -1/2 or z?
-1/2
Let v = 2 - 9. Suppose -8*n - 54 - 10 = 0. Is v at least n?
True
Suppose -3*u - u = 0. Let f = 15221 - 15223. Is u <= f?
False
Let y = 3074 + -3073. Is 4/221 at most y?
True
Suppose 5*o - 4*i = -54, -6*i + 11*i = 5*o + 55. Is o <= -11?
False
Let g = 132.95 - 133. Let u = -5 + 10. Suppose -a = -u*a. Does a = g?
False
Let z = -162/11 + 4039/275. Let g = 9 + -10. Is g < z?
True
Suppose -10*p - 1543 + 283 = 0. Let a = 110 + p. Is a less than -13?
True
Let w(b) be the first derivative of -2*b**2 + 35*b + 18. Let u be w(9). Suppose 4 = -2*s + 2. Is s bigger than u?
False
Let q = -3528 + 67014/19. Let o be (-2745)/1995 - (-3)/21. Let x = q - o. Does x = 2/7?
True
Let c = -147.46 - -11.5. Let w = c + 136. Let j = 5 - 2. Which is greater: j or w?
j
Let d = -19 + 19. Suppose -y = -d*y - 5, 3*r = 2*y - 4. Which is bigger: r or 4/3?
r
Let n be 185/(-92) - 0 - -2. Let s = 2.43 - 2.33. Are s and n nonequal?
True
Suppose 4*i = 8, 8*g - 2*i + 189 = 3*g. Let d = g - -12. Which is bigger: -24 or d?
-24
Let y(i) = -i**3 - 2 + 0*i - 8*i - i + 10*i**2. Let g be y(9). Suppose 4*b = s - 2, -s + 3*b = -0*b - 1. Is g at least s?
True
Let k = -12/19 + 77/152. Let f = 12 - 10. Is f smaller than k?
False
Let y = -17213/13 + 1327. Is y <= 2?
False
Suppose 42 = 4*m - 30. Let q be ((-2)/102)/((-6)/m). Let z be ((-2)/(-3))/(4/(-6)). Which is smaller: q or z?
z
Let r(x) = -x**2 - 2*x. Let p be r(-2). Let j be (-8)/(-6)*(-14 - -5). Let w be (-8)/j - (-6)/(-4). Is p < w?
False
Let h = 1 + 1. Let a = 1082 - 2163/2. Which is bigger: h or a?
h
Let i = -0.2 + 1.2. Suppose -4*g + x = -132, g + 0*g - 36 = x. Suppose 0 = -2*q + g - 62. Which is smaller: i or q?
q
Let s = -523 + 522. Suppose -3*p + 5 = 2. Which is smaller: p or s?
s
Let d(t) = -t**2 - 4*t - 4. Let b be d(-3). Let p be (3 + -4 + 0)*(1 - b). Let y = -30/17 + 22/51. Which is smaller: p or y?
p
Let g = -0.5 - -2.5. Let y = 0.8 + -1. Which is smaller: y or g?
y
Let i be (4/(-6))/(14/(-21)). Let w be 305/(-15) + 5 + i/3. Is -8 not equal to w?
True
Let l be (-12)/60 - (-12305)/(-100). Is l bigger than -122?
False
Let p = -24.8 + 52.8. Is -2/7 < p?
True
Let v = 27.18 + -27. Let n = 14.18 - v. Let d = n - 13. Is 2/5 at least d?
False
Let d(c) = 5*c + 35. Let v be d(-7). Is -13/30 <= v?
True
Let y(s) = s**3 + 16*s**2 + s + 21. Let w be y(-16). Suppose -2*r = -w*o + 3, -10 = 6*o - 4*o + 2*r. Which is smaller: 1/3 or o?
o
Let l be (20/(-50))/((-1)/(-255)). Is l at least as big as -111?
True
Let z = 2513/5 - 2514/5. Which is smaller: z or 1/526?
z
Let x = -18 - -10. Let b be 8/6*(-9)/x. Suppose -2*k + 798*k = 2388. Which is bigger: k or b?
k
Let y = 68.96 - 75. Let g = 94 + -100. Let r = g - y. Which is smaller: 0 or r?
0
Suppose 3*k + 232 = 5*m, -2*m + 7 = 2*k - 73. Suppose 8*n - m = 9*n. Is -45 > n?
False
Let z be (-3)/(-2) - (6987/42)/(-17). Does 10 = z?
False
Let o(b) = b**3 + 7*b**2 - 6*b + 9. Let f(y) = 2*y**3 + 13*y**2 - 13*y + 19. Let x(i) = -3*f(i) + 5*o(i). Let z be x(-6). Is z less than or equal to 5?
False
Let x = -1757 + 1743. Which is bigger: x or -1/4?
-1/4
Suppose 2*u + 2*i + 2*i - 62 = 0, 5*u - 134 = -3*i. Which is bigger: u or 28?
28
Let r(g) = -g**3 - 14*g**2 + 15*g - 3. Let n be 34/(-119) + (-103)/7. Let x be r(n). Which is greater: x or -0.1?
-0.1
Suppose h + 110 = -5*a, 10*h - 5*h = 4*a + 88. Which is smaller: -37 or a?
-37
Let o = -229 - -259. Are o and 3 equal?
False
Suppose 8 - 12 = 2*l. Let i be (l + 5)/((-22)/(-10)). Do 1 and i have the same value?
False
Suppose p + 16 = -3*p. Let k be (3 - p) + -3 - 11. Let i = 2 - k. Is i equal to 9?
True
Let z(n) = n**3 + 18*n**2 + 17*n + 2. Let c be z(-17). Let a = 1.91 - 1.86. Is a >= c?
False
Let a(n) = 12*n + 10. Let t(x) = x**2 - x + 1. Let o(r) = a(r) - 5*t(r). Let m be o(-7). Let i = -4655/13 - m. Is i at least 1?
False
Let f = 3484 + -3482. Let t = -3 + 3. Are f and t equal?
False
Suppose 15*z + 88 = -392. Let l = z + 36. Which is greater: l or 2?
l
Let h = 237 + -237. Are h and 4/37 equal?
False
Let m be (-2)/40 - (-486)/(-648). Let a be ((-2)/5)/((-1)/5). Let o be 2/(-2)*(a - 1). Does o = m?
False
Let h = 227 + -198.4. Let o = -3.4 - h. Is -1 equal to o?
False
Let x = -16052/7 + 2287. Is -5 < x?
False
Let g = -0.012 + -0.079. Let n = g + -0.909. Which is bigger: n or -2?
n
Let d = -23 - -1655/72. Is 1 not equal to d?
True
Let z(s) = -s**3 + 6*s**2 - 3*s + 3. Let f be z(3). Suppose -2*y = -5*y - 3*a, 4*a = 3*y - f. Is 30/13 > y?
False
Let v = -2465/2 + 1268. Let h(s) = -136*s**2 + 557*s - 15. Let x be h(4). Is v less than x?
True
Let s = -16 - -15.66. Let w = 0.34 + s. Is w greater than or equal to -2/7?
True
Suppose -2 = -o + 3*o. Let p be -3 + 1*(-111)/54. Let d = p + 9/2. Which is bigger: o or d?
d
Suppose -2*n - 4912 + 4910 = 0. Which is bigger: n or 1/93?
1/93
Suppose -2*m - 3*r + 3 = 0, -3*m = -m - 4*r - 38. Is m greater than 13?
False
Suppose 0 = 3*o + 4*u - 503 + 43, 2*u + 810 = 5*o. Which is smaller: 158 or o?
158
Let t(o) = -8 + 18 - 2*o + 3*o. Let f be t(-11). Which is smaller: f or -8/13?
f
Let d be -25*(1 - 3)/(-2). Is -29 > d?
False
Let w = -3229/7 - -461. Which is smaller: w or 3/53?
w
Let l = -568871/79 + 7201. Which is smaller: l or -1?
-1
Suppose 0 = x - 5*x + 4. Let m(q) = -q + 13. Let p be m(11). Let r be (2/(-30))/(p/(-5)). Are r and x equal?
False
Let t be 17/(119/46) + -8. Is t bigger than 0?
False
Let a(w) = 5*w**2 + 30*w + 12. Let c be a(-5). Is -15 bigger than c?
False
Let w be (4/(-18))/(-7 + (-17)/(-3)). Let j = -0.4 + 0.2. Which is smaller: j or w?
j
Let o be (3 + 120/(-41))/1. Suppose 43*k + 18 = 61*k. Which is smaller: o or k?
o
Suppose 12 = 4*v - 2*r, -2*v + 12 = -0*r + 2*r. Suppose -v*q = -0 + 4. Which is smaller: 4/29 or q?
q
Let b = -1/519 + -1555/1038. Which is smaller: b or -1?
b
Let k be 96346/201 - (-1 - (-2)/6). Which is bigger: 481 or k?
481
Let c be (-17 + 23)/(1/(-97)). Let r = -1193/2 - c. Which is smaller: -16 or r?
-16
Let a be 10/(-4)*(-20)/(-75). Is 4 at most a?
False
Let l = -1159 + 1157. Is 156 > l?
True
Let q = 312 + -311.98. Which is smaller: q or 4/7?
q
Suppose 0 = 2*a + 1 + 21. Let n = a + 6. Let k(w) = w + 5. Let s be k(n). Is s at least -2/9?
True
Let r = -84 - -93. Is 0.11 at least r?
False
Let z(d) = d**3 - 7*d**2 - 4. Let y be z(7). Suppose -k = 2*k - 78. Suppose -8*w = k + 6. Is w greater than or equal to y?
True
Let y(r) = -r**2 - 11*r - 15. Let i be y(-5). Suppose 4*l = l - i. Suppose 3*a + 2 = -1. Is a < l?
False
Let v be (1/(-2))/(2/(-28)). Suppose k = -4*k + 4*r + 51, 0 = -4*r - 16. Is k > v?
False
Let d = -7/62 + -397/1426. Which is smaller: d or 1?
d
Let d(t) = -t**3 - 23*t**2 - 21*t + 20. Let b = -43 - -21. Let k be d(b). Do k and -13/6 have the same value?
False
Suppose -g + 11 = -3*p - 5*g, 2*p + 2*g + 4 = 0. Let q be (-4)/24 + p/10. Is q not equal to -1?
True
Suppose -g - 20 = 3*g. Let c be (4/g)/((-4)/(-10)). Let n be c/(-8) + (-1)/(-4). Which is smaller: n or -2?
-2
Suppose 4*w + 3*y - 25 = 0, -5*w + 4*w + 16 = 4*y. Let b be (1 - 0)*4/((-16)/w). Is -1/7 != b?
True
Suppose -13*g - 52 = 39*g. Which is greater: -12/71 or g?
-12/71
Let j be (2 - (0 + 2)) + (-1 - 16). Which is smaller: j or -14?
j
Let g = -45 - -48. Suppose -3*f = -2*a - 9, g*f - 2 = 4*a + 7. Which is smaller: a or -1/18?
-1/18
Let i be 0 +