big as 0.01?
True
Let w be 2/(-11) + 5/((-385)/10304). Is w equal to -134?
True
Suppose -12 = -370*s + 358*s. Which is smaller: s or -96?
-96
Let v = 83/364 + 2/91. Let d = 106.1 - 107. Let m = d - -9.9. Is v less than or equal to m?
True
Suppose -4*n = -2*j + 10, -2*n - 4*j = -7*j + 7. Suppose 2*h + 184 - 18 = 0. Let v = 745/9 + h. Which is smaller: n or v?
n
Let j = 519 + -511. Which is smaller: -1/4 or j?
-1/4
Let n = 2.4 + 24.6. Let h = n + -27. Are h and 30 non-equal?
True
Let h = -70.3 - -70.54. Let z = -28/3 + 9. Which is greater: h or z?
h
Suppose 3*p - 5*t = 0, 61*t = 5*p + 62*t. Is p != 8/7?
True
Suppose -1 = -2*h + 11. Suppose -4*a + i + 11 = h*i, 0 = 5*i - 15. Is 6/37 <= a?
False
Let h = -1222/3 + 3668/9. Is -205 bigger than h?
False
Suppose h - 10*h = 63. Let n = -20 - h. Is n > -14?
True
Let w = 558 + -341. Let j = w + -226.1. Let t = j + 9. Is -2/3 at most as big as t?
True
Let z = -295 + 166. Let h = -206 - z. Which is smaller: h or -1?
h
Let d(f) = 603*f + 646. Let i be d(-1). Let o = -1.1 + 0.1. Is i smaller than o?
False
Suppose -3*k - 4*y + 3 = -9, -12 = -3*k - 3*y. Suppose -k*a = a. Is -4/9 greater than or equal to a?
False
Suppose -5*j - 465 = -5*d, -4*j = -2*d + 83 + 107. Let t = -92 + d. Is 0 greater than t?
True
Let w = 8.712 + -4.712. Let d be 2/(-4) - (-1)/5. Is d < w?
True
Let u be 1 + 0 + (-40)/49. Let c = 17/441 + u. Let v = -232/351 + -2/351. Which is greater: v or c?
c
Let i = -3646/5 + 727. Suppose m = 5*m + 12. Is i < m?
False
Let q = 0.63 + -0.9. Let n = -0.27 - q. Is -1/5 smaller than n?
True
Let k be (-2 + 5)*(-5)/15. Let l(r) = -4*r**2 - 1. Let o be l(k). Let y = -6 - -2. Which is smaller: y or o?
o
Let w = -137959/1473 + -4/491. Is -94 greater than w?
False
Let c be ((-1)/2)/((-4 + -1)/10). Suppose -n + 3*r = -2*n, n = 2*r + 5. Let w = n - c. Is w bigger than 2?
False
Let x be ((-63)/(-14))/(2*(-3)/156). Are x and -120 non-equal?
True
Let x = -428 + 386. Are -41 and x equal?
False
Suppose -9*s - 486 = -7*s. Let d = -2677/11 - s. Let b = -2 + 3. Is b at least as big as d?
True
Suppose 0 = l - 4*b - 7 - 21, 4*l - 2*b = 42. Suppose l - 9 = d. Let r = -1 + 1.5. Which is greater: r or d?
r
Suppose 50*b + 560 = 43*b. Does -79 = b?
False
Let p = -905 + 906. Is p at most -3/292?
False
Suppose 0 = -3*b + 5*a - 114, -b - 45 = -0*b - 4*a. Let p = b - 37. Which is bigger: -71 or p?
p
Suppose 9*z + 0*z = -99. Let m be ((-6)/8 - -2)*(15 + z). Is m smaller than 5?
False
Let q be -1 + 0 + 1 + -5. Suppose -6 = l + 5*m - 9, -2*m = 4*l + 6. Is l > q?
True
Let t be (-30)/195*(2 - (1 + 0)). Let j = 0 + 0. Is t at least as big as j?
False
Let j = 11 - 7. Suppose -10 + 6 = 3*b + j*l, -2*b - 4*l = 4. Is -2/21 >= b?
False
Let f be -2 - (16/(-3) + 2). Let q = f + -34/21. Which is greater: q or 0?
0
Suppose 4*f + 0*a - 2 = -2*a, 0 = -f - a + 2. Let b = -35 - -33. Let r be b/(-3) + (-9)/(-27). Is f smaller than r?
True
Let b be ((-25)/(-40) + -1)/((-555)/50). Is b greater than or equal to -1?
True
Let j = -98 + 93. Let p = j + 7. Let x = 217/1098 + 3/122. Is p equal to x?
False
Suppose -4*w - 4*b + 0 + 16 = 0, 0 = -5*w - 2*b + 23. Suppose -w*v - 23 - 17 = 0. Suppose 7*i - 3*i - 3*o + 29 = 0, 0 = 2*i + o + 17. Is i < v?
False
Let k(t) = 3*t**2 - 7*t + 31. Let u be k(10). Which is bigger: 260 or u?
u
Let c(v) = v**3 - 19*v**2 - 67*v + 33. Let d be c(22). Is d at most as big as 17?
True
Let m = -0.019 + 3.519. Let t = -3.4 + m. Which is smaller: -1 or t?
-1
Let p = 1123 - 1122. Which is smaller: p or -22/267?
-22/267
Suppose -3*b + 25 = 2*g, -4*b + 4*g - 3*g + 15 = 0. Let q be (4/6)/((-2)/(-9)). Suppose 15 = -q*t + 4*u + 2, -3*t - 4 = b*u. Is t at least -4?
True
Let g be (-6)/98*-7 - 7. Which is smaller: g or -7?
-7
Let s be (3/(-6) - (-366)/4) + 2. Let i = 49 - s. Is -2/7 >= i?
True
Suppose -15 = -3*j, 3*t - j = 2*j - 1665. Is t greater than -552?
True
Let p(v) = -v**2 + 13*v + 38. Let g be p(15). Do g and -14 have the same value?
False
Let g = -71/14 - -4/7. Is -2/7 >= g?
True
Suppose 2*o - 12*o = 5910. Is o less than -592?
False
Let i = 32164/3 + -10622. Let c = i + -8636/87. Which is smaller: 1 or c?
c
Let w(j) = j**3 + 7*j**2 - 3. Let h be w(-7). Let g be 39/(-4)*(-36)/(-45) - -6. Is h smaller than g?
True
Let q = -2646/13 - -14953/78. Is -2/3 greater than or equal to q?
True
Suppose 0*v + 6 = q + 2*v, q - 2*v = -14. Let t be -2 - (6/3 + q). Let g be 1/10 - 2/(-5). Which is greater: t or g?
g
Let n(z) = -2*z**2 + 7*z - 4. Let k be n(4). Let o be (k/10)/(13/(-65)). Let j(y) = 2*y - 9. Let u be j(o). Is u at most -5/4?
False
Suppose -f + 5 = 4. Suppose -4*q - 7 - 23 = 2*w, 2*q + 4*w + 18 = 0. Which is bigger: q or f?
f
Let f = 6 - 6. Let p be (5/(-2))/(-5)*f. Let d(l) = l**3 - 1. Let q be d(0). Which is smaller: p or q?
q
Let z(o) = 9*o + 75. Let j be z(-10). Suppose -u + 5 = -3. Let v be (-1 + 6/u)/(-1). Does v = j?
False
Let u(p) = 2*p - 2. Let c be u(1). Suppose 0 = r - 2*r - 5*h - 19, -2*r + h + 17 = c. Let v be 1/((-2 - 1)*r). Which is smaller: v or -1?
-1
Let g = -18 - -32. Let q = 20 - g. Suppose -q = -3*v - 0*v. Is v bigger than 2?
False
Suppose 2*g + 2*b = -16, g + 8 = 6*b - 9*b. Is -9 greater than g?
False
Let h(c) = -2*c**2 + 23*c - 8. Let x(p) = -p**2 + 12*p - 4. Let v(t) = -6*h(t) + 11*x(t). Let k be v(5). Let y be 20/32*1/5. Is k at most as big as y?
True
Let a be (-3)/5 - (-8)/(-20). Which is smaller: 3/89 or a?
a
Let u be 8/(-6) + 8/(-12) + 7. Suppose u*c - 30 = 4*q - 2, 0 = -4*q + 2*c - 16. Which is bigger: -3 or q?
q
Let j = -1921 - -5842/3. Let c = j + -26. Which is smaller: -2 or c?
-2
Let k = 44 - -610. Let t be (-4 + k/168)*4. Do 1 and t have different values?
True
Let d = -139.12 + -2.88. Is 1 equal to d?
False
Let b be -17*12/33 + (-4)/(-22). Let m be 4/b - ((-152)/222 + 0). Which is smaller: 1 or m?
m
Let h = -101 - -72. Let r = 30 + h. Which is smaller: r or 1/32?
1/32
Let v = -175 - -198. Which is greater: v or 24?
24
Let v(a) = a + 10. Let x be v(-8). Suppose -15*w = -55*w + 120. Is w less than or equal to x?
False
Let m be 0 - 2 - (-216 - -2). Let x be m/1045 + (-22)/121. Is x greater than -1?
True
Let z(k) = k**3 + 12*k**2 + 9*k - 22. Let p be z(-11). Which is smaller: p or 3.06?
p
Suppose -12*s + 274 = 94. Suppose -4*x + s - 31 = 0. Let p = -0.2 + 0.3. Which is greater: p or x?
p
Let p(h) = -23*h + 2. Let j be p(-6). Suppose -6*i + 10*i = j. Which is bigger: i or 36?
36
Let u be (4/(-8))/(2*(-68)/(-16)). Is -2/31 equal to u?
False
Suppose -5*u + u - 5*p = -42, -3*p = 4*u - 38. Suppose -2*q + u - 16 = 0. Which is smaller: q or -3?
q
Let d be (-172)/12 - (-4)/3. Let j be (-12 - d)*31/(-5). Is j < -6?
True
Let d(p) = -98*p - 449. Let c be d(-6). Do c and 137 have different values?
True
Let l be 1*11/(-12 - -1). Does l = 2/3121?
False
Let b = -0.57 - -0.07. Let z(g) = -3*g + 12. Let i be z(3). Is b bigger than i?
False
Suppose p + 3 = 2*w, 0*p + p + 2*w - 5 = 0. Is 28/67 at least p?
False
Suppose 3*w = 1693 + 2114. Let x = w + -16485/13. Is 2 at least as big as x?
True
Let x be (-1 + 11)/((-44)/(-8) + -5). Which is greater: x or -3?
x
Let n(i) = i**3 - i**2 - 2*i + 4. Let h be n(0). Suppose -5*c - 3*s + 58 = -h*s, 0 = -5*s - 15. Which is smaller: 6 or c?
6
Let o be 4/32*-2 - (-4)/8. Let g = -3.08 + 0.08. Which is smaller: g or o?
g
Let l = -9.936 - 0.064. Let b = -0.8 + 0.8. Which is smaller: b or l?
l
Let d = 291 - 303. Is 4 not equal to d?
True
Let v = 15 - -99. Let s = -112.4 + v. Which is greater: s or -3?
s
Suppose -5*q = 173 - 743. Suppose 23 = r - 3*i, -5*r - 19 = 5*i - q. Let j be r/(-16)*(-2)/5. Which is smaller: 0 or j?
0
Let i = -7.18 + -0.32. Suppose -14*f = -39*f. Is f at least as big as i?
True
Let s = -19 + 73. Let i = s - 55. Let k be 1*3/(-486)*-3. Which is bigger: k or i?
k
Suppose 2*g - 3 = g. Let i(r) = -3*r - 6 + 2 + 3 - g. Let t be i(-1). Is t bigger than 0.5?
False
Suppose 4*v + 68 = 3*v. Is -271/4 at least as big as v?
True
Let d = 14 + -10. Suppose -d*q + 7 = 3. Which is bigger: q or 12?
12
Suppose 0 = 3*u + u, 3*v = -5*u + 6. Let q(d) = 49*d - 49*d - 1 - d**v + 2*d**2. Let z be q(-1). Is 3 at least as big as z?
True
Let j = 71 + -66. Suppose 3*b = 5*t - 66, j*t - b - 64 = b. Is 12 >= t?
True
Suppose x - 3 = 9. Suppose -5*f = 2*b - 8 - 15, -3*f + x = 3*b. Is b equal to 3/8?
Fa