(-1)/2). Which is smaller: j or -1?
-1
Let a be 4*(-250)/20*(-6)/(-10). Which is bigger: a or -24?
-24
Let f = -5339 - -48325/9. Let m = -15901/522 + f. Is m > 1?
False
Let h = 16 - -56. Which is smaller: 143/2 or h?
143/2
Let d(g) = -g**3 + 2*g**2 - 2*g + 3. Let u be d(2). Let l = -19 + 20. Let f = l - u. Which is smaller: f or 1?
1
Suppose 0 = 2*a - 0*a + 4. Suppose -513 = -5*z - 4*z. Let v be z/(-76) - (-18)/(-8). Which is greater: a or v?
a
Let v be (0 + (-28)/(-33))*(7 + -16). Which is smaller: -7 or v?
v
Let k = 32 - 46. Let t be 4/k + 300/70. Is t >= 3?
True
Let q(l) = -l**3 + 4*l**2 - 3*l + 3. Let o(i) = i**2 - 4*i - 2. Let g be o(5). Let v be q(g). Suppose -v*a = -4 - 5. Is a < 2?
False
Let r be ((-6)/5)/(83/(-40) - -2). Suppose 2*t = 2, 0 = 2*x - 3*t - t - 2. Suppose 11 = c + 5*u, 19 = -x*c + 2*u - r. Is c >= -10?
True
Let v = 4.44 + -4.4. Let y = v - 2.04. Let w = 10.4 - 0.4. Is y > w?
False
Let a = 4835 + -4872. Let d = -2 + 1.8. Which is greater: d or a?
d
Let i be 2 + (1411 - -5)/6. Which is bigger: i or 1?
i
Let v = -6.2 - -6. Let f = -0.24 - -11.24. Let q = f - 12. Which is greater: v or q?
v
Let l = 7 - 7. Let m = -15 + 19. Suppose -m*p = -l*p. Which is bigger: 1/3 or p?
1/3
Suppose -2*i - 3*f = -13, -4*i + 3*f - 4 + 3 = 0. Let l be (i*(-3)/(-8))/((-75)/(-40)). Are 4 and l equal?
False
Let u(s) = 5*s - 2. Let h be u(4). Let d be (0 - 0) + h + -18. Which is bigger: d or 2/37?
2/37
Let j = -3752/15 - -250. Is j at least as big as 1?
False
Let b = 117 - 117.53. Let t = 0.7 + b. Which is greater: -0.1 or t?
t
Suppose r + 8 = 5*r. Suppose 3*b - 3*z = r - 26, -5*b - 4*z - 4 = 0. Let v be b/(-14) - 4/14. Is 1 at most as big as v?
False
Let y = 0.006 + 0.314. Let w = 0.85 + -0.17. Let q = y + w. Is -0.05 at least q?
False
Suppose 4*d - 5*x - 457 = 0, -1 = -x - 2. Let h = 112 - d. Which is bigger: 1/87 or h?
1/87
Let g be 2/(-8) + (-9992)/(-26400). Let o = g - -4/75. Is 1 > o?
True
Suppose -5*i - 158 = -2*h - 59, 3*i - 2*h = -61. Is -10 smaller than i?
False
Let a = 5.9 + -0.9. Which is smaller: a or -0.88?
-0.88
Let h be (-8)/(-14) - (-8294)/(-182). Which is greater: -43 or h?
-43
Let b(y) = 7*y + 4. Let l be b(4). Let m(a) = -a**2 + 88*a - 534. Let d be m(7). Which is greater: l or d?
d
Let n(a) = 11*a - 340. Let g be n(-9). Is g < -875/2?
True
Let z(p) = -p**2 - 16*p - 14. Let s be z(-15). Suppose -11 - s = 3*q. Do 0 and q have the same value?
False
Let b be 1/(-2) - (-71)/2. Let r be (-2)/(-3) + b/(-30). Let a = 41.7 + -42. Is r at least as big as a?
False
Let o = 33/13 - 119/52. Which is bigger: o or 18/5?
18/5
Let d be (4/60)/((-2)/14). Let c = d + 4/5. Is c > -1?
True
Let j = -59 - -1061/18. Suppose 2 + 8 = -3*i + 5*o, i - 2*o + 4 = 0. Do i and j have the same value?
False
Suppose -4*d + 7 + 5 = 0. Let l = -2.4 + 0.56. Let q = l + -0.16. Which is smaller: q or d?
q
Let s be (2/5)/(-8 + (-156)/(-30)). Let b be (2/4)/(2/8). Suppose h = b*h. Are s and h non-equal?
True
Let d be -2 + 1 + 1 - -12. Let q be (-1)/((-4)/d) + -39*1. Is q greater than -37?
True
Let x(n) = 1 + n**3 - 10*n**2 + 4*n - 10*n + 15*n. Let k be x(9). Are k and -3/17 nonequal?
True
Let w = -4 - 4. Suppose 16 = -4*c + 8. Is w greater than c?
False
Suppose -4*t = -5*t - s - 13, 3*t = 5*s + 1. Let x be 18/t*88/33. Is x >= -8?
True
Let o = 1.85 - 109.85. Do o and 0.2 have the same value?
False
Let i be (-7)/(455/10) - 714/(-7007). Are -1 and i equal?
False
Let g(j) = 2*j. Let v be g(-2). Let y be (-3 - -3) + 2 - -1. Suppose 4*t = y*t - 6. Which is smaller: t or v?
t
Let c be 3/(-2) - (825/(-6))/11. Let s be (-4 - -7) + c/(-4). Which is smaller: 1 or s?
s
Let i = -236 - -237. Let x = 1 - -5. Let m be (-23)/(-3) - 4/x. Is i >= m?
False
Let f be 1/((9/3)/(-717)). Is f < -240?
False
Let x be 4*(-5 - -3)/(12/71). Is x bigger than -46?
False
Suppose 3*k - 23 = 4*w + w, 4*w + 18 = 2*k. Let p be -26*1/((-8)/12). Let n be (-2)/(-3)*54/p. Which is bigger: n or k?
k
Suppose 4*t = 2*z - 4, -6 = 2*z - 0*t + t. Is -4/5 bigger than z?
True
Let k = 202692/5 + -42070. Let z = -1544 - k. Is z bigger than -11?
False
Let q = -34 + 33. Let g = q + -17. Which is bigger: -0.1 or g?
-0.1
Let m = -92.28 - 2.72. Which is bigger: m or -1?
-1
Let w(t) = -t - 3. Let j be w(-2). Suppose -13 = 5*i + 3*f - 5, 0 = -5*f - 5. Let b be (i + -1)/(4/j). Which is bigger: b or -1?
b
Let d = -59 - -247. Is d greater than or equal to 189?
False
Let u(w) = w**2 - 2*w - 10. Let p be u(5). Suppose -4*c = -p*h + 2 + 83, -4*h + 44 = -2*c. Is c equal to -21?
False
Let d = 30 + -23. Let o be (-162)/21 + (-2)/d. Let u = -16 + 8. Is u bigger than o?
False
Suppose 56 = -13*t + 17. Which is smaller: t or 0.14?
t
Suppose -2*s - 307 + 97 = 0. Do -1/4 and s have the same value?
False
Let a = -15 + -7. Let m be 11/a*8/190. Is m less than or equal to 0?
True
Suppose 4*k + 4*a - 5052 = -0*a, -4*k + 4*a = -5060. Which is bigger: 1263 or k?
k
Suppose 4*m + 115 + 1285 = 0. Let q be ((-56)/m)/(4/(-10)). Which is greater: q or -2/7?
-2/7
Let p(v) = -5*v**3 - 4*v**2 - 4*v + 6. Let k be p(2). Which is smaller: -57 or k?
k
Suppose 3*r - 13 = 5*j + 43, 4*j - 2*r = -46. Let h = j - -15. Suppose h*g = 7*g + 5*l + 75, 3*l + 32 = -2*g. Which is bigger: g or -14?
g
Suppose 0 = 2*w - 4*q + 28, 0*q = -5*w + q - 34. Let i be (-93 + (-4)/2)*w/15. Let j(r) = 2*r**2 + 9*r + 4. Let o be j(-7). Is o >= i?
True
Suppose -15 = -5*f, 5*z - 2*f = -f + 162. Let i be 0 + 3/(-9)*z/(-5). Is i greater than -0.1?
True
Let k = 1.567 + 0.123. Let o = 1.29 - k. Is o < -0.2?
True
Let o be 1743/105 + 2/5. Let v = 50 + -34. Is o at least v?
True
Let t be 2*5/(-50) + 432/(-90). Which is greater: 0 or t?
0
Let r(z) = -z**2 + 6*z - 5. Let s be r(5). Let v be (-3 + 1)/8 + (-42)/216. Do s and v have the same value?
False
Suppose 5*h - 34 = -29. Is -6/121 equal to h?
False
Let m = 1081 - 1221. Which is bigger: m or -142?
m
Let n = -21.7 + 6.5. Let u = 15 + n. Is 3 at most u?
False
Let j = 292 - 299. Is 2/63 at least j?
True
Let o = 917 + -917. Which is smaller: o or 31?
o
Let j(v) = -2*v + 22. Let g be j(10). Suppose 5*u - 2*k - 23 = -3*k, -u + 2*k - g = 0. Which is smaller: u or 3?
3
Let g = 5968 + -29744/5. Let r = -19 + g. Suppose 0*t = -t. Is t > r?
False
Suppose 0 = -3*t + 11 + 7. Let z = -672 + 676. Is z < t?
True
Let w = 141 - 138. Which is smaller: 9 or w?
w
Suppose -3*p + 2*p = 6. Suppose -5*y + 5*m = 35, -7 = y - 5*m + 8. Which is bigger: y or p?
y
Let x(l) = l**2 + 5*l - 83. Let f be x(8). Which is greater: f or 148/7?
148/7
Let m = 3621 - 1682. Let d = -337381/174 + m. Let n = d - -193/5394. Is n bigger than 0?
True
Suppose -5*d + 6 = 16, p - 5*d - 27 = 0. Let l be 3 - (2 + p/15). Which is smaller: l or -1?
-1
Let f = 32 + -30. Let b(k) = 4*k**2 + 2*k - 4. Let i be b(f). Suppose -i = 3*l + 5*l. Is -2 less than l?
False
Let j = 0 - -3. Suppose 2 = -j*s + 14. Let g be ((-3)/(-2))/(s/8). Do g and 11/5 have the same value?
False
Suppose 46*u - 47*u = 5*f - 163, -4*f = -u + 181. Which is smaller: 175 or u?
u
Let f = -23 - -3. Let i = f + 20. Let m = -0.1 + 0.1. Are m and i non-equal?
False
Let k be (-149)/(-285) + (-2)/5. Let u = 2231/399 + k. Which is smaller: u or 7?
u
Let q = -171 - -170. Is q < -9/4?
False
Let y(o) = -o**2 + 19*o - 40. Let c be y(20). Are c and -184/3 equal?
False
Let o be (1 - 2) + 20/(-15). Suppose 2*h - 10 = -3*s, -4*h + 22 - 2 = -2*s. Suppose s*d = -5*d - 5. Is o smaller than d?
True
Let p = -9276.026 - -9286. Let l = p - -0.026. Are -2/3 and l nonequal?
True
Suppose 0 = -0*w - 5*w + 10. Let g be 3/w*(-8)/6. Let x be -3 - (5/g + 0). Which is smaller: x or 0?
x
Let n be (-3)/5*32/3. Suppose -19*y - 29 = 66. Is n equal to y?
False
Let k(h) = -h**3 - 12*h**2 - h - 11. Let x be k(-12). Is 4/91 bigger than x?
False
Suppose 0 = -2*y + 197 - 113. Is 40 at least as big as y?
False
Suppose -20 = -2*r + 4*p, -5*p - 4 = -4*p. Let q(h) = 6*h**2 + h + r*h**3 - 8 - h**3 + 1. Let n be q(-5). Which is bigger: n or 2?
n
Suppose -5*h + 5*s = 34 + 41, 0 = -4*s + 20. Let f = 92/9 + h. Which is smaller: -4/3 or f?
-4/3
Let x = 18 - 18.26. Let f = -0.46 - x. Is 0.8 < f?
False
Let w be 19 + 0 + 2/1. Suppose 7 = -4*j - w. Is -6 at least as big as j?
True
Let k = -16 - -24. Suppose 2*y = -3*l - 6, -k = -3*y - l + 5*l. Is 1.5 less than y?
False
Let b = 4 + -7