t m?
True
Suppose 0 = 3*j - 4*f - 3, 2*j + 2*f = -2*f + 2. Let w be j/8 - (-35)/(-312). Which is bigger: -1 or w?
w
Let u(d) = d**2 + 215*d - 1318. Let h be u(6). Suppose -b = b - 5*o - 23, 2*o + 2 = 0. Which is greater: b or h?
b
Let p = -563/2 - -286. Let o = 95/22 - p. Which is greater: o or -12?
o
Let k(x) = -x**2 - 7*x + 459. Let r be k(-25). Let d(q) = 5*q - 4 - q**2 - 3*q + 9*q. Let j be d(r). Which is smaller: 15 or j?
j
Suppose -4*y + 8 = -20. Suppose y*s = -2*s + 18. Is s smaller than -1/3?
False
Let t(b) = b**2 + 7*b + 14. Let v be t(-3). Suppose 2*q + 240 = -v*q. Is q at least -59?
False
Let c = 7137 + -6007. Is 1130 greater than c?
False
Let o = 4565 - 579751/127. Let t = 677 - 677. Which is smaller: t or o?
t
Let c(u) = u**3 - 4*u**2 + 4*u - 4. Let x be c(3). Let p(o) = -6*o - 4. Let a be p(x). Suppose -a*y + 26 = -14. Do 21 and y have the same value?
False
Suppose 3 + 2 = -c - 2*b, 2*c + 2*b + 6 = 0. Is 9/712 <= c?
False
Suppose 4*u = -4*t + 348, -3*u + 634 = t + 545. Which is smaller: t or 66?
66
Let h(v) = 209*v - 1046. Let x be h(5). Which is greater: -2/475 or x?
-2/475
Let o(t) = t**3 - 7*t**2 - 1. Let l be o(7). Let n be 8/(-10) + -495*3/(-1875). Is l less than n?
True
Suppose -f - f = 8*f. Suppose -16*y + 95 + 17 = f. Is 6 greater than y?
False
Let u be (8/16)/(1/6). Let b = 0.367 - 0.287. Is u greater than b?
True
Let q be 1 + -1 - (-2)/(-107). Let w(n) = n**3 - 9*n**2 + 18*n + 10. Let m be w(5). Suppose 3*o + 3 + 9 = 0, m = 3*p + 5*o + 23. Which is smaller: p or q?
p
Let r(s) = 18*s**2 - 401*s - 47. Let n be r(22). Which is smaller: n or 9.1?
n
Let v = -1113.9391 - -1114. Which is bigger: v or -4?
v
Suppose 68*p + 4*p - 48744 = 0. Which is greater: 675 or p?
p
Let w = -5.5 + 5.5. Let n = 0.29 - -0.41. Let v = 0.7 + n. Which is smaller: v or w?
w
Let u = -240.17 + 239. Let f = -7.47 - u. Let k = 6.4 + f. Which is bigger: k or -0.051?
k
Let v = 45 + -32. Let u = 8.2 - v. Let y = u - -4.7. Which is smaller: 0.15 or y?
y
Suppose -c = -2*r - 745, 3*c = 5*r + 2679 - 442. Suppose c = -6*t - 67. Which is smaller: -138 or t?
-138
Let d = 13.56 - -92.35. Which is smaller: -1 or d?
-1
Let k = -709 + 368.6. Let x = k + 340. Which is bigger: 54 or x?
54
Let q(c) = -1045*c + 4311. Let s be q(6). Which is smaller: s or -1949?
s
Suppose 30*h = -35 + 65. Which is greater: 1/6931 or h?
h
Let d be ((-1)/(-2))/1*-50. Let a = -1430 - -1381. Let c = a - d. Is -24 <= c?
True
Let y = -41/1971 + 3952373/498663. Let g = y + -186/23. Is -6 smaller than g?
True
Let y = -643 + 642. Let f be (-8)/(-1280)*8*(-3)/y. Is f >= 1?
False
Suppose 3*f + 0*f = -6, 3*x = 2*f - 14. Let o be (2 + 21/x)*8. Let a be (o/(-9) - 2)/((-4)/18). Which is bigger: 16/5 or a?
16/5
Suppose -2*r - 4 = -0*r. Suppose -25*z + 336 = -19*z. Suppose 0 = 4*q - 48 + z. Is q bigger than r?
False
Suppose -25*h + 3383 - 757 = -774. Which is smaller: h or 52?
52
Let i be (1 - 271/65) + (-4)/(-10). Let o = -131/52 - i. Is 2/5 equal to o?
False
Let a = 570.8 + -564.8. Is a greater than -319?
True
Let k = -1056.57 - -1056. Let d = -0.291 + -0.079. Let z = k - d. Is z bigger than 0?
False
Let x = -138 + 141. Let b be 1/(x/(-1 - -88)). Which is smaller: b or 28?
28
Let a(x) = -3*x**2 - 5*x + 2. Let p be a(-2). Suppose 2*t = 3*q + 23, -2*q + p*t = -t + 17. Is q equal to 2/3?
False
Let k = 3283 - 3282.96. Which is smaller: k or -2/47?
-2/47
Let j = 770434/11 - 69986. Let t be ((-13306)/132)/((-34)/(-18)). Let g = t + j. Which is bigger: g or -1?
g
Let u be (-3)/6 + (-2155)/21 - 92/(-322). Which is bigger: -102 or u?
-102
Let v = 75 + 96. Let m = v - 185. Is m < 6?
True
Let g = 418 - 423. Let z(p) = -p**2 - 5*p - 3. Let k be z(g). Which is greater: k or -15?
k
Let f = 666 + -663. Suppose -f*p - 116 = 2*r, 6*p + 152 = 2*p - 4*r. Are p and -194/5 equal?
False
Let m = 11422 - 68531/6. Let b = 4 - 15/4. Which is greater: b or m?
b
Let l = 11568 - 7819. Is l greater than or equal to 1/5?
True
Let z = -25378 - -17721. Is z at least -1/5?
False
Let z = 0.08 + -0.38. Is z at least as big as 1210?
False
Suppose 8*f + 30 = 6*f + 4*s, 0 = -5*f + 3*s - 96. Suppose 3*r - 5 = -4*a + 11, 4*r + a = 30. Let p be (0/3 + f)*2/r. Is p smaller than -4?
True
Let t(j) be the third derivative of -j**6/120 + j**5/4 + 17*j**4/24 + 2*j**3/3 - 3*j**2. Let y be t(16). Let h = -27 + 46. Is h bigger than y?
False
Let z = 139 + -136. Let u be (2 + -1)/(90/1332) + z. Is u != 18?
True
Suppose 0*k = -k + 8. Suppose -k = -d - d. Let s(a) = 2*a - 8. Let v be s(d). Does v = 2/29?
False
Let g be (-247)/(-91) - 2/(-7). Suppose -h - 4 = -2*b + g*h, -32 = -5*b - h. Let r be 3/1*(2 + b/18). Which is smaller: 8 or r?
r
Let b = -914 - -547. Let y = b + 365. Is y bigger than -3.4?
True
Let v(g) = 2*g**2 + 11*g + 15. Let p be v(-3). Do p and 6/3155 have different values?
True
Suppose h - 219 - 36 = 0. Let a = -112858 - -2477267/22. Let y = a + h. Which is greater: 0.2 or y?
0.2
Let s(r) = -7*r - 8. Let k be s(-7). Suppose -46*b = -k*b - 20. Which is greater: b or -5?
b
Let p(m) = m + 34. Let r be p(-12). Let d be 18/r + 20/110. Let x be 1*(4 + -3)*d. Does x = 2.3?
False
Let s(j) = 24*j**2 + 5*j + 3. Let y be s(3). Let m be (36/y)/((-14)/4). Which is smaller: -1 or m?
-1
Suppose 0 = 5*t + 179 + 486. Let c be (t/(-38))/((-2)/(-4)). Is 10 <= c?
False
Let p be (3*-1)/(14/18). Let l = -155899 + 155894. Which is smaller: l or p?
l
Let z be (-1 - (1 - 0)) + -3. Suppose 6*l - 11*l - 2*u = -198, -4*l + 165 = -5*u. Let p be (-1)/(-2)*6*l/(-30). Is z less than p?
True
Suppose 3*c + 232 = -5*r, -37*c + 33*c - 328 = 4*r. Is c at most as big as -71?
True
Suppose -6*b = -8 - 16. Let d = 25.9 - 29. Let z = 3 + d. Is z > b?
False
Let s(n) = 3*n**2 - 147*n - 773. Let o be s(-5). Which is smaller: -3 or o?
-3
Let u(b) = -b - 7. Let h be u(6). Let c be (h - -154) + 2*1. Let p = -1572/11 + c. Which is smaller: 0 or p?
0
Let y(c) = 154972*c**2 + 4*c + 4. Let z be y(7). Let i = z + -12339697927/1625. Let s = -4/125 - i. Which is smaller: 0.1 or s?
0.1
Let f be (1 - -3)*(4 - (5 - 0)). Let a be f/(-10)*2205/(-84)*2. Which is bigger: -20 or a?
-20
Let r be ((-26)/(-16) - 2) + (-49740592)/6164352. Let m = 2/5351 - r. Which is greater: m or 9?
9
Let m = -1/4667 + 19755/5073029. Is 3 at most as big as m?
False
Let d = -75 + 70. Let q(g) = -3*g**2 + 8*g + 49. Let t be q(d). Let p be (-1*2)/((-44)/t). Which is bigger: 0 or p?
0
Suppose 129*x - 192544 = 145684 - 68102. Which is bigger: 2093 or x?
x
Let n = 20000 - 25483. Which is bigger: 0.1 or n?
0.1
Suppose 17*b - 5192 = -58091 - 26508. Is b < -4671?
False
Let z(l) = 2*l**3 + 10*l**2 - 3*l - 13. Let u be z(-4). Let h be -6*2/4 - -34. Is u > h?
False
Suppose 130*d + 18*d - 13172 = 0. Is d less than or equal to 94?
True
Let o be (-79724722)/4312 + (-2)/(-56). Are o and -0.1 equal?
False
Suppose t - 3*p + 6*p = 17, 0 = 3*t - p - 51. Let a = 515 - 515. Does t = a?
False
Let x be (-4)/22 + 554/2926. Let d = -253/1729 - x. Suppose -5*r - 15 = 0, f + 0*r = 3*r + 9. Is f at least d?
True
Let p = -3238 + 4419. Which is smaller: p or 1182?
p
Suppose 10 = 5*t + 8*c - 9*c, -4*t + c = -9. Let h be (1 - 22/1)/t. Are -26 and h unequal?
True
Let y = -149 + 211. Suppose -17*r - 37 - 404 = -24*r. Do y and r have the same value?
False
Suppose 17*j - 4 = 16*j. Let b be j - 5*1799/2275. Is b <= 1?
True
Let t = -212/21 - -115/7. Let l be (-7)/3 + 3 + (-13)/(-3). Which is greater: l or t?
t
Let y be (-6)/(-15) - (-16952)/(-130). Let l = y + 129. Which is bigger: l or -8/39?
-8/39
Let c = -1.406 - -1.106. Let v(p) = -p**2 + p - 3. Let m be v(-5). Are c and m non-equal?
True
Let w be (-11928)/16*((-1)/3 - (-15)/(-45)). Which is smaller: 3/14 or w?
3/14
Let g = 476 - 1007. Let n(w) = -w**3 + 57*w**2 - 812*w + 1. Let o be n(28). Do o and g have the same value?
False
Suppose 232*k + 228*k - 463*k = 8058. Which is smaller: -2683 or k?
k
Let w(b) = b**3 + 7*b**2 - 9*b - 8. Let j(n) = -n**2 + 13*n - 38. Let h be j(10). Let q be w(h). Which is bigger: 2/229 or q?
2/229
Suppose 6*g - 846 - 690 = 0. Suppose -d = -9*d + g. Is d > 31?
True
Let l(k) = k**2 + 15*k - 54. Let g be l(-22). Let m = g + -181. Let j = m - -81. Is 19 less than j?
False
Let m = 117244 - 53580480/457. Is m at most as big as -1?
False
Suppose u = -u + 2. Let k be u + -2 - 6/(-20