et c = 3 + -1. Suppose c*d = -21 + 3. Which is smaller: d or v?
d
Let m = 88/145 - 8021/2465. Which is greater: m or -2?
-2
Let w(x) = x**2 + 9*x + 22. Let h be w(-6). Suppose 0*z = -z - 4, h*m - 8 = 3*z. Is m equal to -9.6?
False
Suppose z - 4*z = 2*s + 4, s = 2*z + 5. Let i be 4172/(-1050) - (-5 + 6/6). Is s smaller than i?
False
Suppose 466*a = 482*a + 16. Is 289 <= a?
False
Let m(d) = 5 - 4 - 13*d**2 + 8*d - 4*d + 11*d**2. Let s be m(2). Is s at least 2?
False
Let s = 307 - 239. Is -1 at least as big as s?
False
Let q(h) = 3*h. Let i(f) = -2*f - 1. Let s(o) = -4*i(o) - 3*q(o). Let r(n) = -2*n**3 - 10*n**2 + n + 5. Let p be r(-5). Let b be s(p). Does 4 = b?
True
Suppose -3*n = -j + 9, 3*n + 10 = 4*j - 8. Let l be ((-22)/j)/((-4)/(-6)). Let g = -1 - -1. Is g <= l?
False
Let i = -6.4 + 33.4. Let h = 24 - i. Let y be 2/((0 - 18)/(-2)). Which is greater: y or h?
y
Suppose 8*d + 29 + 11 = 0. Is d at least as big as -3?
False
Suppose -90*c = -81*c + 99. Is -25 at most c?
True
Let z = -156.7 - -157. Which is smaller: -0.11 or z?
-0.11
Let a(f) = 4*f + 6. Let m be a(13). Let u = 130 - m. Let n be (1/(-2))/(u/(-32)). Which is greater: -0.3 or n?
n
Let n = -46 - -52. Suppose 5*w - n*z + 3*z + 210 = 0, -2*z = -10. Which is smaller: w or -38?
w
Let s(i) = 3*i**2 + 3. Let o be s(3). Let d be (-75)/(-2)*(-5)/(o/(-4)). Is d > 24?
True
Let y = 19 + -17. Suppose 11 = -c - 3*a, 2*c + y*a + 2*a + 14 = 0. Suppose -c = 2*b + 1. Which is smaller: b or -4/5?
b
Suppose -12 = -f + 5*z, -3*f - 5*z + z = 21. Let a(p) = -p**2 + 2*p - 3. Let o be a(2). Is o equal to f?
True
Let k be (-9 + 18/3)*2/3. Let t be (-204)/(-84) + k/1. Is 1 at most t?
False
Let f be (2 + -4 - 105)*1. Is f greater than or equal to -105?
False
Let z(y) = 110*y**2 + 11*y - 19. Let t be z(2). Is 442 equal to t?
False
Let b be -3 - (3 - 14/(-516)*-220). Which is greater: b or 1?
1
Let z be 141 + (-1 - -6) + -2. Let p be z/(-34) + 5 + -1. Which is bigger: p or 1?
1
Let u = 12 + -14. Let l = 0.02 - -0.06. Let n = 0.28 - l. Is n at least u?
True
Let m = -122 - -172. Let f = m - 1001/20. Which is bigger: 0 or f?
0
Let p(n) = -n**3 - 8*n**2 + 6*n + 13. Let k be p(-9). Let s = k + -38. Let j(h) = h**3 + h**2 - 3*h - 1. Let o be j(-2). Which is smaller: o or s?
o
Let q(z) = 4*z**2 - 7*z + 5. Let h be q(2). Suppose 7*r - 4*r - 2*k - h = 0, -k - 16 = -4*r. Let l = 12 - 6. Is r >= l?
False
Let g = 0.894 + 3.106. Which is bigger: -10 or g?
g
Let p(q) = q**3 + 2*q**2 - 5*q + 5. Let h be p(1). Is h <= 0?
False
Suppose 4*p + 24*w - 1056 = 27*w, -1351 = -5*p - 4*w. Do p and 267 have different values?
False
Let l be 0 - 3/(-6)*-668. Are l and -335 unequal?
True
Let l be 42/22 + 37/407. Is 55 < l?
False
Suppose -114*m + 408 = -120*m. Is -67 at most m?
False
Let l(n) = -n**3 + 9*n**2 - 8*n. Let u be l(8). Let k = 32 - 27. Are u and k unequal?
True
Suppose -g - 5 = 0, 0*g = -3*t + 5*g + 22. Suppose -57 = 5*i + 3. Let b = i + 10. Is t <= b?
False
Suppose -3 = -q + 3. Let v be 8/q*3/(-2). Let l be -3 - (20/3)/(-4). Which is smaller: v or l?
v
Let s be (-97 - -77)*(-1)/2. Let c(r) be the first derivative of 3*r**2 - 2*r - 1. Let d be c(2). Is d smaller than s?
False
Let c(a) = -a**3 + 8*a**2 + 4. Let b be c(8). Suppose -3*r - 54 = 3*h, 4*h - 69 - 3 = b*r. Which is smaller: r or -4?
r
Let i be 6238/(-8) + (-10)/8. Is i greater than -780?
False
Let p = 0 - 3. Let b = 16 + p. Let n = b + -19. Is -1 > n?
True
Let t be (55/(-165))/(2/48). Let d(l) = -5 + 3*l - 4*l + 1. Let c be d(4). Is c greater than t?
False
Let r(u) be the first derivative of -u**2/2 + 8*u + 4. Let z be r(8). Which is smaller: 5/11 or z?
z
Suppose 4*x - 90 = -274. Let u = x - -48. Let f = 0.03 - 0.11. Is f <= u?
True
Suppose -2*d - 38 + 32 = 0. Suppose -30 = -0*x - 5*x. Suppose -2*z - 4 = x, -3*o - 3*z = 24. Is d less than or equal to o?
True
Let m = 41.2027 + -0.0027. Let v = 41 - m. Which is smaller: v or 2.3?
v
Let w(l) = -4*l + 22 - l**3 - 15 + 5*l**2 + 9*l. Let s be w(6). Let t(f) = -f - 1. Let h be t(0). Is h less than s?
True
Let a = 896 - 897. Which is bigger: 12.31 or a?
12.31
Let w(d) = d**3 - 4*d**2 - 5*d - 1. Let m be w(5). Let u = -552 + 784. Let t = u + -2550/11. Is m at least t?
False
Let k be -1 - (0 + -1 - 2). Suppose -3*i - i + 4 = 4*r, 4*i - k*r - 4 = 0. Let h = i - 1. Is -1 equal to h?
False
Let k be 9/(45/85) - (2 - 5). Which is smaller: k or 98/5?
98/5
Suppose -15*t + 14*t - 4*h - 10 = 0, 3*t - 3*h = 15. Which is smaller: 3.72 or t?
t
Suppose 19*b + 6 = 20*b. Let h(t) = t**2 - 8*t + 11. Let v be h(b). Is 1.8 less than v?
False
Let n(j) = 13*j - 146. Let a be n(11). Which is smaller: a or 2?
a
Suppose 0 = -5*w - 2*k - 3, -k - 4*k = 4*w + 16. Let s be (9/(1098/(-4)))/w. Suppose 6 + 5 = 5*j + 2*f, 8 = -4*j + 4*f. Is s bigger than j?
False
Let g = 1.07 + -0.07. Let h = 2 - g. Let u(a) = 2*a**2 - 13*a - 17. Let z be u(8). Which is bigger: h or z?
z
Let n = -74 + 816/11. Let v = 10.05 - 0.05. Let j = 11 - v. Which is greater: j or n?
j
Let m be -9 + -8 + (98 - -1). Which is smaller: 84 or m?
m
Suppose 2*t = 3*g + 84, -3*g + 4*t - 64 = -g. Let b = 18 + g. Let y be ((-3)/(-6))/(2/b). Do -3 and y have the same value?
False
Let r = -5 + 10. Suppose 5*k + 31 = -r*v + 151, 0 = 5*k + 2*v - 111. Let p = 23 - k. Which is greater: -2 or p?
p
Let m = 95/341 - 3/31. Let k = -53 - -54. Are k and m nonequal?
True
Let m(y) = -5*y**2 - y + 7. Let j(c) = -14*c**2 - 2*c + 20. Let o(u) = 6*j(u) - 17*m(u). Suppose 20 = -2*s - 2*s. Let x be o(s). Is x at least 1?
True
Suppose 8*m - 27*m = 190. Is -81/8 at most m?
True
Suppose 4*p - 939 = 3*y + p, -5*y = -4*p + 1565. Is y <= -314?
False
Suppose -3*f = 4*j - 365, 4*j - 311 = 5*f + 62. Which is smaller: 94 or j?
j
Let a = -106 - -106.98. Let v = a - -0.02. Is -34/7 > v?
False
Let l be (8/4 + -189)*-2. Let o be -3 - (l/(-61))/2. Let h = 46/1159 + o. Is 1 >= h?
True
Suppose -12*t - 169 - 186 = 185. Let s = -59 - -13. Is s smaller than t?
True
Suppose -2*m - 18 = 2*m - 5*p, 4*p = -8. Are -27/4 and m equal?
False
Let r be 345/(-12) + (-3)/(-4). Which is smaller: r or -2/7?
r
Suppose 4*w = -2*l + 8, w - 14 = -3*w - 5*l. Let f = -2 - w. Which is bigger: -2 or f?
-2
Let t = 165 - 1156/7. Which is smaller: t or 1?
t
Suppose m + 1 - 6 = 0. Suppose 5*s - 37 = -4*v, 0 = 2*s + m*v - 26 + 1. Does s = 2?
False
Let a = -0.16 + -26.84. Let j = a + 26.9. Is j at least 6?
False
Let f be 3/(-2 - -5) - -3. Suppose -2*h - i + 10 = 0, 0*h - 5*i = -f*h + 6. Let o be (h/24)/1*-2. Is -1 greater than o?
False
Let f = 67 - 25. Let u = f - 42.13. Which is smaller: -1/3 or u?
-1/3
Suppose -5*q = -3 - 12, -c - 7 = -2*q. Is -42 at most c?
True
Suppose -t + 3*p = -9, 23 = 3*t - 4*p + 1. Let w be 0 + 1 + t/(-8). Let l = -73/198 - 5/66. Which is greater: l or w?
w
Let q(v) = -v**2 - v - 1. Let a(r) = -r**2 + 3*r - 1. Let o(z) = a(z) - 2*q(z). Let c be o(-4). Let t be ((-2)/4 - -1) + (-33)/6. Is t smaller than c?
True
Let b = 4 + -23. Let j = 12 + b. Is -4 equal to j?
False
Let p be ((-4)/(-14))/(44/55). Let z be (-2)/(42*(-2)/(-8)). Let l = z + p. Which is greater: -1 or l?
l
Suppose -23 = 5*l - 4*l - 3*k, 4*l + 2*k + 78 = 0. Let w be l/(-30) + 5/(-3). Which is greater: 1/12 or w?
1/12
Let a(w) = w**2 + 8*w. Let b be a(-7). Suppose -y + 5 = -6*y, 3*n + 38 = 4*y. Let l = 6 + n. Which is bigger: b or l?
b
Let h = 1 - 1. Let c = 761/87 - 215/29. Which is smaller: c or h?
h
Suppose -293 = -2*r + 3*i, 5*i - 4*i + 146 = r. Let b = 117 - r. Is b greater than -30?
True
Let q = 3265 + -1970. Is 1295 at most as big as q?
True
Let u(t) = -t - 12. Suppose -5*p + 5 = -4*o - 20, -20 = -o - 4*p. Let j be -7 + 9 + o + -6. Let c be u(j). Are -7 and c unequal?
True
Let m = -7 - -19. Let x = m - 27. Let n be 2 + (-1)/(x/(-28)). Is -1 >= n?
False
Let g = -12 - -12. Let p(q) = -q**2 - 3*q + 1. Let o be p(g). Which is bigger: o or -2.3?
o
Let q = 9 + -28. Let b = 18.85 + q. Let n = -1.85 + b. Are 6 and n equal?
False
Let f = 176 + -421. Which is smaller: f or -739/3?
-739/3
Let g be 19 + 3 + (4 - 4). Suppose w = -h + 13, -g + 2 = -5*w. Which is bigger: h or 11?
11
Let a = -149 - -148.8. Let f = a - 1.8. Is 4 greater than f?
True
Let a = 195 - 194.96. Is 5/4 at least a?
True
Let n be 1*(-1 + 0) - (-1521)/13. Is n not equal to 115?
True
Let y be (2 + 1)*(-6)/18*-62