) + (-65)/(-20). Is -0.05 at most as big as d?
True
Let s be (((-120)/(-35))/(-4))/(47 + 3). Which is greater: s or 0?
0
Let l be -134 - -124 - 52/(-5). Does 1063 = l?
False
Let m(s) = s**3 + 4*s**2 - 5*s. Let u be m(-5). Let k = 53066/30315 + -256/141. Let y = k + -3/86. Which is smaller: y or u?
y
Let q(t) = -t**3 + 11*t**2 - 12*t + 20. Let m(g) = g**3 + 21*g**2 - 2*g - 32. Let u be m(-21). Let h be q(u). Does h = -4/7?
False
Let m = 73 - 70. Suppose 0*b + 3*b = -m*l + 102, -145 = -4*b - l. Which is greater: 35 or b?
b
Suppose -7*f + 4*f + 2*v = -3, 0 = 2*f - 2*v - 4. Let s be 3 - (4 + -3) - 37/f. Is s < 39?
False
Suppose 20*g - 4*g = 112. Let n = 23 + -2. Suppose 5*d = -l - n, 5*l + 2*d = 5*d + g. Which is bigger: 1 or l?
1
Let s be (-7)/(21/(-114)) - 2. Let c be (1 + 0 + s)*-1. Let z = -39 - c. Do 2 and z have the same value?
False
Let c(d) = 6*d**2 - 4*d - 4. Let x be c(-1). Suppose -50 = 8*r - x*r. Which is smaller: -27 or r?
-27
Let h = 0.154 - 8.754. Is h != 2?
True
Let n = 3 + 28. Let h = 41 - 11. Which is bigger: n or h?
n
Let o = 69 - 113. Let k = o + 50. Which is bigger: 7 or k?
7
Let f(q) = -3*q + 5. Let k be 0/(3/(2 - 5)). Let j be f(k). Suppose 2*t + 5*b + 20 = -j, -t + 5*b = -25. Which is smaller: t or 2/15?
t
Suppose 14 = -0*i + 7*i. Let o(c) = -2*c**2 + c + 4. Let n be o(i). Is n at least as big as -0.16?
False
Let c be 11/(2 + 5/(-2)). Let y(h) = -h**2 + 31*h - 131. Let j be y(27). Is c less than or equal to j?
False
Let k = 1.08 - 1.3. Let f = 15.22 + k. Let t = f - 15. Which is smaller: 1/2 or t?
t
Let r = -823 - -814. Which is greater: -6 or r?
-6
Suppose -2*v - 4*m + 12 = -6*v, -2*v = -5*m + 15. Let b = 5/8 + -1/8. Is b != v?
True
Let y be 935766/(-496) - 6/16. Is -1887 at least as big as y?
True
Let h be (-735)/(5 - -16)*6/(-10). Is h greater than or equal to -8?
True
Suppose -4*l + 3*r = -98, -114 = -4*l - 4*r - r. Which is smaller: l or 27?
l
Suppose 2250 = -17*g - 4669. Which is smaller: g or -409?
-409
Let x = 0.81 - 14.01. Let p = x + 13.147. Which is bigger: p or -2/5?
p
Let g be (-6 - -4) + 472/14392*61. Which is smaller: g or 0?
0
Let f = 492.97 - 493. Is f < 0.31?
True
Let k = 31 - 52. Let q be (14/k)/(14/(-36)) + -2. Do q and 19 have the same value?
False
Let m = 97 + -44. Let k = m - 52.4. Let x(b) = -b**3 + 5*b**2 - b + 4. Let a be x(5). Do k and a have different values?
True
Let d be 0 + 3/5 + (-127432)/170. Which is smaller: -748 or d?
d
Let t be 2 + (-10 - -4) + 103/5. Are t and 17 unequal?
True
Let x be 14/21 - 1 - (-16)/3. Suppose 0 = -x*y + 20 - 5. Which is greater: 26/7 or y?
26/7
Suppose 0 = -6*b + 2*b - 2*h + 18, 4*b + 5*h = 27. Let q be 1*b - (30/5 + 8). Is -11 <= q?
True
Let q be (752/(-28) - -3) + 2/(-14). Let a = -44 - -71. Let m = a + q. Which is smaller: m or 2?
2
Let n = -62 - -140. Let a = n + -67. Is 11 < a?
False
Let l be (19/19)/(3 + -5 + 1). Let q = 2 - 8. Are q and l equal?
False
Let v = -15 - -38. Let n = v + -23.04. Let r = -0.1 + 0. Which is smaller: n or r?
r
Suppose 4*z + 0*z + 5*o - 179 = 0, -231 = -5*z + o. Is 91/2 at least as big as z?
False
Let s = -12 - -12.01. Let o = s + -9.01. Let q = -8.8 - o. Do -5 and q have different values?
True
Let u = 137/15 + -9. Suppose 3*c = 12 + 12. Suppose c*f = 7*f. Does f = u?
False
Let q = 72 - 94. Let t = q - -22.08. Is 2 greater than or equal to t?
True
Suppose -24 = -2*w - w - 2*x, -3*w = x - 21. Let p = -11 + 15. Suppose -w - 6 = 2*d - 3*u, 0 = p*u - 8. Is -2 smaller than d?
False
Suppose 2*q + 176 = 6*q. Let t = -42 + q. Let v be 1/(2*(-2)/4). Are t and v unequal?
True
Let t = 1223.9 + -1238. Is t < 0?
True
Let q = -16219.1 + 16219. Let b = 6.1 - 10.4. Are b and q non-equal?
True
Suppose 14*w - 11*w + 6 = 0. Let i be (-10)/(-12)*(-24)/16. Are w and i equal?
False
Let j = -0.062 + 2.662. Let d = -3.6 + j. Which is smaller: 10 or d?
d
Let m be 32/(-7) - 4/14. Suppose -14*i + 35*i = -24 - 81. Which is greater: i or m?
m
Let n(y) = -y**3 - 12*y**2 - 6*y - 33. Let z be n(-14). Is z at most 442?
False
Let g = -146 + 206. Suppose g = -3*k + 7*k. Suppose -2*r - 3*a + 1 + k = 0, -32 = -4*r + 2*a. Is 7 at least r?
False
Suppose -3*q = -0*q + 3. Let t(c) = 4*c. Let l be t(q). Let o = 4 + l. Which is smaller: 1/12 or o?
o
Let b = 0.859 + -0.279. Is b >= 0.05?
True
Let v be (-59 - 1)*24/(-30). Suppose o = -o - v. Let b = o + 16. Is b equal to 0.1?
False
Suppose -5*o + 4 = -3*v - 0*o, -4*o + 2 = -3*v. Which is smaller: v or -75?
-75
Let w = 598311/223 + -2683. Let b be 10 + (-11)/11 - 10. Which is greater: w or b?
w
Let n be (2/6)/(1184/64). Is n > 0?
True
Let p(o) = -o**3 - 8*o**2 - 7*o - 5. Let g be p(-7). Let i be 1/g + (-518)/(-1540). Which is smaller: -1 or i?
-1
Let r(f) = 2*f**3 + 4*f. Let j be r(0). Which is bigger: 1/271 or j?
1/271
Suppose 0 = -m - 2*m + 30. Let b(w) = 0*w + 159 - 157 + 5*w**2 - 6*w. Let a be b(2). Is a > m?
False
Let m(d) = -d**3 + 9*d**2 - 8*d + 1. Let t(w) = w - 1. Let a be t(9). Let h be m(a). Which is bigger: h or 5?
5
Suppose 0 = 29*c - 26*c - 330. Is 112 less than or equal to c?
False
Let h = -815 - -71717/88. Which is smaller: h or 0?
h
Let m be -12*15/(-40) + -3*2. Are 155 and m nonequal?
True
Let h(z) = 25*z**3 - 2*z**2 + 2. Let n be h(2). Let j be n/(-141) - -1*(-24)/(-18). Which is greater: -1 or j?
j
Let p be 38*(5 + 3 - 4). Let c = 281 - p. Let v = c + -395/3. Is v bigger than -3?
True
Let x be -2*3/12*-38. Let k = x + -28. Let d = -0.3 + 0.2. Which is smaller: k or d?
k
Let r be 15/(-9)*54/(-45). Which is bigger: r or 29/12?
29/12
Let p = 35623/126432 - 2/3951. Which is greater: p or 0?
p
Suppose 0 = -5*z - a + 1973 - 9198, -4*z - 5780 = 2*a. Is z at least as big as -1446?
True
Let u(t) = 7 - 2*t + 1 + 0 - 3*t. Let g be u(3). Which is greater: -9 or g?
g
Let t = -97.2 + 89.2. Which is smaller: t or -2?
t
Suppose -x + l = 0, 0*l = -2*x - 4*l + 12. Let v = -11 + x. Are -8 and v non-equal?
True
Let n be 1 - (3 - 7 - -3). Suppose -2*i - 23 = -j, n*i - 5*j = -9 - 26. Is i at least as big as -11?
True
Let c = -2027 + 2243. Is -3 greater than c?
False
Suppose 0 = 95*s - 99*s - 28. Which is greater: s or 3?
3
Let n = -158 + 172. Which is smaller: 7 or n?
7
Let f be (0 - (-5)/(-2))*(-14)/168. Let n(o) = -2*o**2 - 2*o - 1. Let i be n(-1). Which is smaller: f or i?
i
Let s = 903 - 933. Which is smaller: s or 8?
s
Suppose i - 1 = 4*j - 3, 0 = 4*j - 2*i. Are j and -23 equal?
False
Let o = -147 - -174. Is 27 at most as big as o?
True
Suppose 4*r - 7 = 21. Let y be 65/225*r + -2. Let p(h) = -h**3 + 5*h**2 - 3*h - 5. Let l be p(4). Which is bigger: y or l?
y
Suppose -4*y - 5*n = -37, 4*y + 2*n + 2*n - 36 = 0. Let q = 4 + y. Suppose -i - 8 = a, 3*a + 4*i + q + 17 = 0. Which is greater: a or -2?
-2
Let c = 6359/1765 + -1/353. Let m be (-93)/(-19) - 130/(-1235). Which is greater: c or m?
m
Suppose 9*i - 6 = -3*y, -4*y = -i + 70 - 0. Let u = 19 - 8. Suppose -u = f + 2*t, -77 = 4*f - 0*t - 3*t. Which is greater: f or y?
y
Suppose -14 = -5*y - 2*x, 20 = 5*y - x + 6*x. Suppose y*a - 4*a = 0. Is a greater than or equal to -1/6?
True
Let n = -1256 - -1256.1. Which is greater: 696 or n?
696
Suppose -25 = 2*r - 7*r. Suppose 47 = r*l + 1387. Let y = -2147/8 - l. Are 1 and y non-equal?
True
Suppose 0*k - 2*w + 3 = -k, 4*k = -5*w + 1. Which is smaller: k or -5/56?
k
Let n = 6 + -4. Suppose 4*c + 14 = n. Let m be (0 - (-28)/(-32)) + -1. Which is greater: m or c?
m
Let v = 30 - 16. Let d = 43 - 30. Let j = v - d. Which is smaller: -1 or j?
-1
Suppose 3*z + 0*y + 5*y = 1073, 5*z - 1784 = -4*y. Is z smaller than 357?
True
Let w = -1359 - -2688. Is w > 1328?
True
Let v = 3384/49909 - -2/1721. Let b(x) = -x**3 + 12*x**2 + x - 13. Let i be b(12). Which is greater: v or i?
v
Let d = 2.1 + 11.1. Let t = 13.7 - d. Which is smaller: -0.1 or t?
-0.1
Let i be -84 + 79 - 6/(-5). Which is bigger: -4 or i?
i
Let u = -0.61 - -0.7. Let b = u + 12.91. Let h = 13.1 - b. Is -10 at least h?
False
Let u = -82 - -82. Let f be u + (-2)/(-4) + 109/14. Which is smaller: f or 8?
8
Let t = 111/3820 - -4/191. Which is bigger: t or -11?
t
Let h(p) = -314681*p - 9. Let i be h(6). Let x = -424823873/225 - i. Let d = x - -222/25. Which is smaller: -2 or d?
d
Let y = 4 - 8. Let f = 2.998 + 0.002. Is f < y?
False
Let q be ((-78)/12 - -4)*32. Which is greater: q or -319/