s -37 < q?
True
Let a be 58/6 + 1/3. Suppose 77*g - 57*g = 39*g - 133. Which is greater: g or a?
a
Let y = -728 + 728.035. Which is smaller: 2/9 or y?
y
Let n be -1*1/2*-4. Suppose -n*h + 3*h = 6. Which is smaller: 0.1 or h?
0.1
Let f = -9565 + 9566. Let s = 64/7 + -1529/168. Are f and s equal?
False
Let w = 29.94 - -0.06. Let i = w - 27. Is 0.05 smaller than i?
True
Let c = 0.026 - 1.026. Let a be 18 + (0/(-1))/(-2). Which is smaller: a or c?
c
Let y(q) = q**2 - 2*q - 6. Let n be y(4). Suppose w - 14 = v - n*v, 0 = -4*w + 3*v + 91. Which is smaller: 18 or w?
18
Let f(m) = -5*m**2 - 11*m - 4. Let t be f(-2). Which is smaller: -57 or t?
-57
Let w = 2678 + -2676. Is w at most -1/6?
False
Let y be (-148)/14 - 81/27. Is -13 at least as big as y?
True
Let g be (-117)/(-42) - 92/322. Which is bigger: -2/53 or g?
g
Let x be ((-205)/41)/(1/(-9)). Is x equal to 39?
False
Let m = -334 - -421. Which is greater: m or 86?
m
Let i(r) = r + 2. Let x be i(2). Suppose -x*d - 4 = 4. Let y be d/5 - (-216)/765. Are y and 0 non-equal?
True
Let u be (-2 - 12/(-8))*248. Let n = -61 - u. Suppose 3*m - x = 31, n = 4*m - 2*x + 5*x. Is 12 >= m?
True
Suppose u - 29 = -1. Suppose -2*g + 7*g = r + 1, 0 = -r - 4*g - u. Let b be -2 - r/6 - -1. Is b at most -1?
False
Let d = -762 - -762. Which is greater: d or 159/8?
159/8
Suppose 0 = -16*d - 441 + 345. Is -7 at least d?
False
Let d = 14.25 + -0.25. Let i = d - 14. Is -0.2 greater than or equal to i?
False
Let b be 22/(-4) + (-2)/4. Let r(k) be the first derivative of -k**4/4 + 4*k**3 - 5*k**2 - 17*k + 1. Let c be r(11). Is b <= c?
True
Let d = -4 - -10. Let h = -5 + d. Is 0.3 bigger than h?
False
Let z = -21 + 29. Let t(v) = -4 - 9*v + 11 + v**2 + 2. Let x be t(z). Which is bigger: x or 5?
5
Let c = -0.14 + -2.96. Which is smaller: -2 or c?
c
Let m = 13 + -11. Suppose m - 1 = s, -u = -3*s + 14. Let l = -10 - u. Is l not equal to -1/4?
True
Suppose -7 + 2 = -w, 3*f - 4*w = 1831. Which is smaller: 616 or f?
616
Let b = -85 - -48. Let v = b + 18. Let g = v + 9. Is g less than -10?
False
Let s = -35 - -49. Suppose 0 = 5*i - s*i + 9. Is i greater than -12?
True
Let l be 2/(-11) - (-2 - 106/(-22)). Let q(b) = 5*b + 10. Let z be q(l). Do z and -1/7 have the same value?
False
Let k be -4 - (-2)/4*(9 - 8). Suppose -5*j = 5*l - 50, -2*j = -l + 3 - 8. Let g = -10 + l. Which is greater: k or g?
k
Let l = -0.59 + 0.55. Let o = l - 0.06. Which is smaller: 1/6 or o?
o
Suppose 2*c - 2*y - 24 = 4*c, 8 = 2*y. Let f = -7 - c. Let o = f + -9. Are o and -6/19 unequal?
True
Let b = 28 + -32. Suppose -2*f = -5*f. Are f and b non-equal?
True
Let y = -5 - -6. Let v be (-4 - 1)*(y + 0). Suppose -5*o - 5*f - 30 = 0, -3*o = f - 0*f + 18. Is v >= o?
True
Let s = 0 - 28. Let l = s + 24. Is l at least as big as 2?
False
Suppose -3*k = -0*k. Let r be 1/((-21)/(-18)) - 2. Is r at least k?
False
Let a(q) = -q - 14. Let i be ((-14)/(-3))/((-26)/39). Let c be a(i). Let o(g) = 2*g + 5. Let l be o(c). Is l equal to -10?
False
Let z = 44 - -8. Let d = 52.3 - z. Which is smaller: d or 5?
d
Let m = 0 + 0.1. Let d = 1.1 + -1.17. Let u = d - -0.01. Are m and u equal?
False
Let u be (3 - 4)/(-1*3). Suppose -14 = 4*w - 18. Suppose -4*z - w = -5. Which is bigger: u or z?
z
Let q = 15226/5 + -3044. Is q at least 53?
False
Let r(i) = -10*i - 2. Let c be r(-2). Suppose 3*z = -4*d - c, -3*z - 3*d = 26 - 8. Let u be -3*(-3)/z*-2. Which is bigger: u or 11/4?
u
Let g = 451 + -172. Which is greater: g or 1?
g
Let c = 20 + -21. Let w = -13940/23 + 606. Is c <= w?
True
Let p be ((-96)/8 - -14) + 0 + -2. Which is greater: -2/161 or p?
p
Let a be (1080/(-42))/3 - -3. Which is greater: a or -5?
-5
Let d = -16.4 - 0.6. Let b = 17.9 + d. Let h = b - -0.1. Is h smaller than 7?
True
Let u be ((-8)/(-6))/((-2)/6). Let l = 3 + u. Let b be (-6)/7 - (-4 - -3). Which is bigger: b or l?
b
Let c(b) = -b**2 - 7*b - 2. Let x be c(-6). Suppose 5*g - 8 - 7 = 2*n, 4*n = -4*g + 12. Suppose -5*l = -g*t + 17, -15 = -x*l - l - 5*t. Are -1/6 and l unequal?
True
Let a = -38 + 42. Let t = 5/6 + -13/6. Which is bigger: a or t?
a
Suppose -200 = -6*h + 274. Suppose -3*x + 2*w = -6*x - h, x = 2*w - 29. Do -25 and x have the same value?
False
Let k = 1.14 - 0.14. Is -2/55 not equal to k?
True
Suppose 2*w = 4*w + 28. Let r = -9 - w. Suppose -r*n = -2*n. Which is smaller: -3 or n?
-3
Let d be 2/9 + (-25)/(-9). Suppose 24 = 3*n - 3*a, d*a - 8*a - 34 = -4*n. Suppose -5*o - n = 19. Which is bigger: -4 or o?
-4
Let v = -61 + 19. Let f be (-28)/v + 16/(-33). Is f at most 0?
False
Suppose j + 4 = t, -15*t - 12 = -19*t. Is 4/311 < j?
False
Let b = -762 + 792. Which is smaller: b or 20?
20
Let d = 3 + -3.14. Let p = -0.14 - d. Let a = p + 0.1. Do -2 and a have the same value?
False
Let t = 233/3 + -75. Let k be 5/(105/(-6)) - (-110)/(-7). Let p be (12/k)/((-3)/12). Is p bigger than t?
True
Let m = -2/1231 - -109565/3693. Is m < -0.1?
False
Let m(y) = -y**2 - 4*y + 2. Suppose 0 + 4 = -t. Let k be m(t). Suppose 0 = -2*o - 2, -4*h = -2*o + 7*o + 45. Is k less than h?
False
Let p be 4/14*(1 + 6). Suppose 0 = 2*c - 3*y + 2, 2*c + 2*y + p = -2*y. Which is smaller: c or 2/9?
c
Let j = -353 + 3173/9. Let s = 83 - 92. Let r(h) = -h**3 - 10*h**2 - 11*h - 18. Let a be r(s). Which is bigger: j or a?
a
Let k = 0.131 + -0.231. Are k and -39 unequal?
True
Suppose -d - 4*o = -27, 3*d + 3*o - 6 = 75. Let z be 8/6 + (-9)/d. Is z at most as big as 8/9?
False
Let d = 664 - 8624/13. Let s = -43/91 + d. Suppose b + b + 17 = -3*z, 2*b + 5*z = -27. Which is smaller: s or b?
b
Suppose 0 = 5*c + 4*p + 3, -18*c + 16*c - 4*p = 6. Which is greater: -1/368 or c?
c
Suppose -37 = 4*h - 3*i, -23 = 3*h + i - 5. Let m be h/4 + 2 + 7/(-28). Is -1 less than m?
True
Suppose -2*j = 4*i - 174, -3*j = i + j - 33. Suppose -7*u + i = -2*u. Let z be (u/(-10))/(4/10). Which is bigger: -2 or z?
-2
Let o(q) = q**2 - 31*q + 9. Let r be o(31). Let w be r/(-21) - (3 - (-507)/(-7)). Is 70 at least w?
True
Let g = -596 - -536. Is -62 less than or equal to g?
True
Suppose 6*h - 12 = -0*h. Suppose -h = -3*j - 2. Which is smaller: -2/17 or j?
-2/17
Let k(i) = -2*i - 19. Let l(n) = 5*n + 39. Let p(f) = -7*k(f) - 3*l(f). Let q be p(11). Suppose w - 6*w + q = 0. Are 1 and w equal?
True
Let z be ((-22)/99)/((-3)/(-1071)) + 0. Which is smaller: z or -80?
-80
Suppose -3*b + 4*m + 0*m = -36, -4*m = -5*b + 60. Suppose 3 - b = c. Which is bigger: c or -10?
c
Suppose 0 = -5*x - 3*d, -4*d = 4*x + 7 - 15. Let b be 0 + 3/x - -13. Which is bigger: -0.1 or b?
b
Let o be 3 + 3 + -4 + 3. Let k = -5 + o. Suppose k*m = m. Is m bigger than -1?
True
Let f(i) = -13*i + 83. Let q be f(4). Does q = 27?
False
Let w(b) = -b**3 - 11*b**2 - 17*b + 7. Let k be w(-9). Let j = 745/546 + -33/26. Is k != j?
True
Let w = -242.1 - -198. Let s = w + 44. Which is smaller: s or 2.1?
s
Let u = 724 + -726. Is -8 <= u?
True
Suppose 15*x = 6*x - 6642. Let q be -1 + x*4/(-2936). Is q at least 0?
True
Let x(z) = z**3 + 8*z**2 - 8*z + 10. Let i be -12 - (-1 + 8/(-4)). Let h be x(i). Let v = 1/9 - 4/9. Which is smaller: h or v?
v
Let d be (17 - 16)/(438/(-4) + 2). Let u be 10/(-6) - 36/(-54). Which is smaller: d or u?
u
Let q be (1 - 3/1)*50511/(-226). Is 447 != q?
False
Let s = 2965/11852 - 1/5926. Let k = -12.7 + -2.3. Which is smaller: k or s?
k
Suppose -4*y + 0*y - 34 = -2*w, 0 = -2*w + y + 28. Suppose -3*j - 10 = -w. Let a be (1 + -2)*1/4. Do a and j have different values?
True
Suppose 4*p + 322 = 2*v, 3*v - 503 = -p - 3*p. Let s be 3 + 9/v - 3. Do 0 and s have the same value?
False
Suppose 3*t = 29 - 5. Suppose -t - 22 = j. Let k = 91/3 + j. Which is bigger: 2/27 or k?
k
Let y = -340/13 - -4093/156. Is y at least as big as -0.9?
True
Let j = 0.3 + -0.2. Let k = 2173/5752 - 2/719. Which is greater: k or j?
k
Let v = -492.06 - -492. Is 2 < v?
False
Suppose 0 = -7*u + 277 - 270. Is u bigger than 0.241?
True
Suppose 0 = 4*x - 12, -3*h - 6*x - 1527 = -4*x. Is -510 smaller than h?
False
Let c(j) = -4*j - 92. Let s be c(12). Which is smaller: -422/3 or s?
-422/3
Let a(i) = 2*i**2 - 8*i - 4. Let y be a(6). Let m be 6/y*(-5)/(-6). Let q = -11.97 - -3.97. Is m less than q?
False
Let s be 1*(-1 + (-18)/(-20)). Let m = -187 - -96. Let w = 94 + m. Which is greater: w or s?
w
Suppose 0 = -2*d - 3*d + 4*j + 12, 0 = -2*d - 