.19. Is u smaller than -114?
False
Let m = -3 - -2. Let o be (-4)/(-5) - (-1647)/15. Let q = 111 - o. Is q >= m?
True
Suppose 48 = 5*i - 3*i. Is i at most 70/3?
False
Let y = -914 + 15532/17. Suppose 0*z - 5*g + 19 = 2*z, -3*z - 3*g = -6. Let f(j) = j**3 + 3*j**2 - 1. Let q be f(z). Is y > q?
True
Let f(s) = -5*s + 59. Let h be f(11). Suppose 37 = -4*v + 5*n, n + 0*n = 5. Let k = v + 1. Is h <= k?
False
Let q be (-7)/(-14)*(9 - 1). Suppose -k - q*k - 70 = 0. Let o be (-2)/7 - (-10)/k. Is o at least -1?
True
Let d = -167 - -175. Which is smaller: -2 or d?
-2
Let i = -1033 - -1870. Let b = -4203/5 + i. Suppose -3*s - 3 = 5*g + 5, -5*s + 40 = -5*g. Which is smaller: b or g?
g
Suppose -7 = 2*w - 15. Suppose -7*y + 11*y = w. Which is smaller: 0 or y?
0
Let a be -9*(-3 - (-1)/3). Let f = 25 - a. Let m(o) = -o**3 + 2*o**2 + 1. Let n be m(2). Are f and n equal?
True
Let k = 327 + -982/3. Is k greater than or equal to -15?
True
Let h = 0.013 - 8.013. Let b = h + 11. Which is bigger: b or 2?
b
Let c = -2.7 - -1.7. Let u = -3.4 - c. Let b = 2 + u. Is b greater than or equal to -1?
True
Let r = -55 + 113/2. Let t = -1 + 3. Let h be t/(-8) + 21/52. Which is smaller: h or r?
h
Let p(f) = -f**2 - 5*f - 3. Let m be p(-4). Suppose -m = -4*a - 57. Suppose 4*s - 4*u + 52 = 0, 0 = 4*s + s + 5*u + 85. Which is greater: s or a?
a
Let l = -23.504 - -0.004. Let f = l - -23. Is f not equal to -3?
True
Let m(k) = k**3 + 11*k**2 + 7*k - 11. Let i be m(-10). Let c = i + -2. Let a = -13 + c. Which is greater: 7/2 or a?
a
Let g = -80 + 27. Let x = g - -421/8. Let s = x - -19/72. Which is greater: -1 or s?
s
Let v be (-3)/(-4) + (-30)/8. Let t = -22 + 16. Let b be 34/(-7) - (-8 - t). Which is smaller: b or v?
v
Let f = 26.63 - 2.23. Let w = -24 + f. Which is bigger: -7 or w?
w
Let k(q) = -q**2 - 13*q + 99. Let y be k(-14). Is y bigger than 79?
True
Let j = -372 + 389.9. Let g = j - -5.1. Which is smaller: 0 or g?
0
Let b be (6/9)/((-3)/54). Let c = 11 + b. Do -1 and c have different values?
False
Let n(a) = -2*a - 24. Let z be n(-12). Suppose z = 5*y + 11 - 16. Let r = 842/21 + -116/3. Which is bigger: y or r?
r
Let u(d) = d**2 + 4*d + 3. Let x(c) = 4*c**2 + 16*c + 12. Let g(b) = 9*u(b) - 2*x(b). Let k be g(-2). Is -14/17 > k?
True
Let r(d) = d**2 - 15*d + 8. Let t be r(11). Let b be (t/(-42))/((-1)/14). Let m be (-5 - -3)*-1 - 4. Is b less than m?
True
Let v be (-1)/(-2)*32/3160. Is v greater than or equal to 1?
False
Suppose -x + 2*x + 2 = 0. Let y = 293604/7 - 41733. Let f = y + -211. Which is smaller: x or f?
x
Let o = 1.052 + 126.948. Which is smaller: o or 4?
4
Let x be 5654/(-66) + ((-20)/12)/5. Is -85 less than or equal to x?
False
Suppose 8*y = -4*v + 12*y - 12, 3*y + 12 = 0. Do v and -45/8 have the same value?
False
Let n = -107 - -99. Let t = n + 7. Are 21 and t equal?
False
Suppose 0 = -3*l + l - 5*j + 14, -3*j = 2*l - 14. Suppose -11*z + l*z + 36 = 0. Which is bigger: z or 7?
z
Let f be (2 - 1330/15) + 6/9. Is -85 less than or equal to f?
False
Let u be 1/(-2)*(35/(-49) - -1). Suppose -v = 5*p + 2 + 1, 3*p + 20 = 2*v. Let d = -8 + v. Which is smaller: u or d?
d
Let u(p) = -3*p + 164. Let f be u(6). Is f at most as big as 146?
True
Let w = -3.73 - -3.73. Let t = 11.6 + 1.4. Which is greater: t or w?
t
Suppose 2904 = -3*k - 19*k. Do k and -2/3 have the same value?
False
Let c be (21/(1848/(-1034)))/(2/(-16)). Does c = 94?
True
Let f(y) = y**2 + 9*y - 51. Let i be f(-13). Let m = 307983/118 - 2610. Which is smaller: m or i?
m
Suppose -2*z - 2*z + 20 = 4*t, t = -2*z + 3. Let g(y) = -y**3 + 7*y**2 + y - 5. Let b be g(t). Let n be 29/(-39) + b/3. Is 1 at most n?
False
Let q be 54 - (6/2 + -6). Let y = 229/4 - q. Suppose b + 8 = 3*w - w, -4*w + 30 = 5*b. Is b less than or equal to y?
False
Let v = 2078/5 - 412. Is -8/3 < v?
True
Suppose 2*a - 69 = 3*t, 0 = t - 0*t + 3*a + 23. Let z be t*(-2)/10 + 14/35. Which is bigger: z or 4?
z
Let y be (-20)/(-6)*8/(-60)*9. Let l be -1*2 + y*(-1)/2. Is l less than or equal to 3/19?
True
Let k = 7297/13412 - 4/479. Is k > 2?
False
Let u = 12 + -6. Let r = 4 - 10. Let f(o) = o**2 + 8*o + 14. Let i be f(r). Which is smaller: u or i?
i
Let x be 15/144*-62 - -4. Let f = x + 25/12. Suppose 0 = 5*o + 5 - 0. Which is bigger: f or o?
f
Suppose 5*y - 1 = -3*a, 5*y + 2 = a - 5*a. Suppose 9 = 2*q - 5*o, 4*o + 10 + 0 = 3*q. Let m be 0/q - (2 + -2). Is m smaller than y?
True
Let a(u) = -27*u - 80. Let f be a(-4). Is 28 greater than f?
False
Let l be (-77)/(-70) + (0 - 1/2). Let c = -40.6 + 41. Is c at least as big as l?
False
Let d be -6 + (4 - 1) - -13. Suppose -13*z + d*z + 36 = 0. Is z less than 13?
True
Let n = -15/7 + -150/77. Which is greater: n or -5?
n
Suppose -266 = 192*q - 185*q. Which is smaller: -39 or q?
-39
Let a(r) = 4*r**2 + 11*r + 4. Let v be a(-3). Suppose -v*n + 2*n = -5. Which is greater: n or -2/11?
n
Let h(q) = q - 3. Let j be h(3). Suppose 0 = -16*f + 1 + 95. Let s(w) = -2*w**2 + 14*w - 12. Let x be s(f). Is x at least j?
True
Let v(x) = x**2 - 19*x - 26. Let c be v(20). Which is smaller: -8 or c?
-8
Let p be -2 - -6*108/280 - -1. Are 1 and p non-equal?
True
Let d = 17.17 + -3.07. Let q = -14 + d. Is q greater than or equal to 1?
False
Let t = -1031/7 + 147. Let f = -96 + -8. Let g = f + 104. Is t <= g?
True
Suppose 0 = -2*p - 3*a + 105, 7*p - 2*p - 265 = -5*a. Let u be (-139)/(-94) - p/36. Which is greater: 1 or u?
1
Let a = -11436 + 297413/26. Which is smaller: 4 or a?
a
Suppose 3*i + 69 = -3*c, 3*c + 2*i = -11 - 53. Let p = 36 + c. Suppose 0 = -2*b - b - p. Is -7 at least b?
False
Let n = 401 + -406. Is -4 >= n?
True
Let u = -465 - -383. Is u < -81?
True
Let w = -209 - -204. Suppose -35 = 4*x + 5. Which is bigger: w or x?
w
Suppose -x = -5*r - 4*x + 1068, -x = -1. Which is smaller: 211 or r?
211
Let x = -2.93 + -0.27. Let v = x - -2.93. Let d = v + 5.27. Does -2/7 = d?
False
Let q = -3/58 + -100/29. Let d = -3 - q. Which is bigger: d or 30?
30
Let a be (-2 - -5) + 161/(-42). Suppose 2*o = o + 3. Let t = -4 + o. Which is smaller: t or a?
t
Let y = 2 + 1. Let i be (-2)/18*y - -1. Do i and -0.1 have different values?
True
Let q = -585 + 627. Is q at least 40?
True
Let o = -1 - -1. Suppose -16 - 8 = 4*r - w, -15 = 5*r - 5*w. Let n be 2 - (66/r)/(-6). Which is greater: o or n?
n
Let k(s) = -s**2 - s + 10. Let c be k(0). Let y be (-45)/c - 3/(-6). Which is bigger: -3 or y?
-3
Let k = -1163/3 - -388. Which is smaller: 27/2 or k?
k
Let k be (72/30)/((-141)/(-210) - 1). Is k bigger than -6?
False
Let y(h) be the second derivative of 0 + h**2 + h - 1/3*h**3. Let s be y(1). Is 2 >= s?
True
Suppose 15 = -35*n + 50. Which is bigger: n or 711?
711
Let d = 5834/9 + -648. Which is smaller: d or -1?
-1
Let c = 356.2 - 355. Which is smaller: 2/23 or c?
2/23
Let x = -101 - -100. Is x less than -8/5?
False
Suppose 0 = 4*p - 0*p + 16. Let r = 8 + p. Suppose q + 1 = u, 2*q = -5*u + r*u - 2. Is q less than -9/7?
False
Suppose 0 = r - 5*d + 6, r - 2*d - 45 = -48. Which is greater: r or -2/961?
-2/961
Let b = -982 - -979. Which is greater: 131 or b?
131
Let w be (-1278)/(-132)*(-20)/646. Let y = w - 3/187. Is 0 at least as big as y?
True
Let d be 8/((-640)/(-4564)) - 4/5. Which is smaller: d or 56?
56
Let y be (-514)/8 + -14 + 15. Let a = y - -62. Which is smaller: a or -1?
a
Let g(i) = -4*i**2 - 21*i - 15. Let b be g(-7). Is -64 smaller than b?
False
Let q(t) = -t**3 - 4*t**2 - t + 2. Suppose -4*z - 5*u + 3*u = 22, -u = -3*z - 4. Let n be q(z). Let h be (n - -2)/((-1)/(-2)). Which is smaller: h or -5?
-5
Let d be (48/32)/(51/4). Suppose -3 = z - 2. Is z smaller than d?
True
Let w = -871 + 421. Let f = 446.02 + w. Let v = f - -4. Is v > 1/3?
False
Let n be 6328/6 + 8/6. Let x = n - 74980/71. Is x less than 1?
True
Suppose 6*o + 495 = 3*i + 10*o, -5*i - 5*o + 830 = 0. Which is greater: 171 or i?
171
Let f(x) = x**3 - 5*x**2 + 7*x - 5. Suppose 4 = r, -h - 5*r = -6*r. Let b be f(h). Does b = 0?
False
Let p = 39 - 17. Let i = -24 + p. Let q = -20 + 17. Which is smaller: i or q?
q
Let b be (-68)/(-782) + (-3)/1357. Which is bigger: b or -1?
b
Let r be 27/(351/(-20228))*2/4. Is -778 at least as big as r?
True
Let m be -3 - -6*(-1)/2. Let n be m/18 + (-2)/(-18). Let y = 18 - 18. Is y equal to n?
False
Let o(k) = -k - 7. Let w be o(-6). Let z = 16