9/2 - v. Is q >= 3?
False
Let y be -1 + (2 - 23) + 0. Suppose 51*u + 161 = 44*u. Is u at most as big as y?
True
Suppose -u - 3*l - 126 = 0, -4*u + 2*l + 137 - 571 = 0. Is u bigger than -111?
False
Let u(z) = -2*z - 1. Let p be u(-4). Let y be (-3)/p + (-1434)/(-14). Let h = -1526/15 + y. Which is smaller: h or 0?
0
Let r be (-2)/(-2)*(-9)/9. Let z be 2/(r*(-170)/35). Is 1 equal to z?
False
Let l be 34/336 - 3/21. Is l > 0?
False
Suppose 3*c - 62 - 7 = 0. Let x = -39 + c. Which is greater: -20 or x?
x
Let g = -230.6 - -245.6. Which is greater: g or -4.9?
g
Suppose 5*j - 3*j = 10. Let p be (2 - j) + 0 + (2 - -1). Which is bigger: 20 or p?
20
Let c = -49 + 48.8. Let w = -9.2 + 9.32. Is c greater than or equal to w?
False
Let j(k) = k. Let i(t) = -t - 3. Let n(w) = i(w) + 2*j(w). Let y be n(6). Suppose 4*o = 5 + y. Which is smaller: 8/3 or o?
o
Suppose -3*w = -2*c + 7*c - 510, w = -c + 168. Is w greater than or equal to 167?
False
Let c be -3*39/492*-8. Is c at least as big as 1?
True
Let s(w) be the third derivative of -w**5/60 + 3*w**4/8 - w**3/6 + 3*w**2. Let g be s(7). Which is greater: 14 or g?
14
Let h = 586 - 558. Is 27 at most h?
True
Let g = -4 - -13. Let l = 10 - g. Let d = 10 - 9. Is d less than l?
False
Let a(f) = -3*f + 20. Let u be a(6). Suppose -5*z + 2*x = -10, 0*x + u*x + 10 = -2*z. Is z less than or equal to -3?
False
Let j(i) = i**2 + 10*i - 30. Let m be j(-13). Let s(y) = 6*y - 39. Let b be s(m). Is 10 equal to b?
False
Let s = -0.789 + -0.041. Let o = 0.63 + s. Is o equal to 0?
False
Let u(r) = 3*r - 1. Let v be u(-2). Let s be ((-13)/(-3))/((-154)/21 - -7). Let t = v - s. Which is greater: 0 or t?
t
Let t be (-1 - 1)*(-1 + 3). Let r be 2/t + 21/18. Which is smaller: 1/2 or r?
1/2
Let j be ((-40)/12)/(40/(-12)). Is 722/9 greater than or equal to j?
True
Let f be ((-54)/4 + 2)/(38/228). Are f and -67 equal?
False
Let j(t) = -t**3 + 14*t**2 - 14*t + 12. Let y be (104/(-20))/(12/(-30)). Let i be j(y). Is i greater than -20/13?
True
Let t = 185.1 + -175. Let k = t - 13.1. Is k less than -2?
True
Let l be -19 - 325/(-10) - 3/(-2). Which is smaller: l or 185/12?
l
Let d(v) = -v**3 + 9*v**2 - 4*v - 7. Let p be d(9). Is p at least as big as -44?
True
Suppose -l - 651 = -4*l. Which is bigger: 220 or l?
220
Let v be (12/795)/(7/35). Which is smaller: 1 or v?
v
Suppose 0 = f - 6 - 9. Suppose 80 - f = 5*n. Let v(b) = -7*b - 14. Let q be v(-4). Which is greater: q or n?
q
Let o(j) = -j**2 - 3*j + 1. Let k be o(-4). Suppose -4*h - 106 = -2*p, 240 = -2*p + 7*p - 5*h. Let v = -46 + p. Are k and v nonequal?
False
Let g = -9.4 + 12.4. Is -9/2 at most g?
True
Let m(z) = z**3 + 10*z**2 + 23*z - 11. Let r be m(-5). Is r < 8/95?
True
Suppose -5*p + 8 - 2 = 2*w, w + 2 = 0. Suppose 0 = 4*y + p*y + 18. Does y = 0?
False
Let s be 90/21 - 4/14. Let u = 562183/9 + -62386. Let g = 79 - u. Is g != s?
True
Let k = -30 - -63/2. Let b be (-5)/20 - (-15)/12. Which is smaller: b or k?
b
Let h = 330 - 338. Is h greater than -198/23?
True
Suppose 2*q + 1 + 2 = h, -5*q = -10. Let c(w) be the first derivative of w**4/4 - 7*w**3/3 - w**2 + 12*w - 1. Let r be c(h). Do r and -3 have the same value?
False
Let i be (56/7)/4 - (-53956)/(-24750). Let n = 32002/282375 - 28/251. Let j = i - n. Which is bigger: -1 or j?
j
Suppose 0 = t + 23 - 24. Let r = -2413/6 + 403. Do r and t have different values?
True
Let x = 51 + -18. Let s = x - 39. Let b(w) = w + 1. Let a be b(-2). Which is greater: s or a?
a
Let k be (-6)/27 + 15/(-54). Let t = -39 + -2. Let v = -58 - t. Which is smaller: k or v?
v
Let u(x) = -x - 11. Let i be u(-10). Is i bigger than -73?
True
Let l = -14 - 25. Let y = l + 38.9. Is -11 greater than y?
False
Let p be (-2 - -3)/((-8)/(32/(-44))). Do p and 1 have the same value?
False
Let p be (-1)/(2/(-24 - 2)). Let g = -7 + p. Let x = 2722 + -2715. Is g greater than or equal to x?
False
Let x be (-3)/126*-3*29. Let j = 243/70 - x. Which is smaller: j or 0?
0
Suppose -3*v = -2 - 1, 0 = 5*d + 4*v - 9. Is d greater than -0.53?
True
Suppose 2*t - 3*l = 7, -2*l = -t - 6*l - 13. Let h = 54 + -51. Suppose -3*f - j - h + 2 = 0, -f - j - 1 = 0. Which is greater: t or f?
f
Suppose -s = -4*y - 5, 5*s - 16 = -3*y + 9. Suppose y = 7*l - 6*l. Is -4 less than l?
True
Let j = 15 + -15. Let x = -80 + 56. Is j equal to x?
False
Let p = -30 - -34. Suppose -n - p + 2 = 0. Let g be -3 - (1 - (0 + 3)). Is g >= n?
True
Suppose 5*z = 4*z. Let r = 52/57 + -118/57. Let s = r + 544/437. Which is smaller: z or s?
z
Let i(r) = -5*r - 1. Let n be -1 - (-9)/((-9)/(-2)). Let k be i(n). Let x be (-1)/(-6) - 17/k. Which is smaller: 9 or x?
x
Let d = 287 - 76917/268. Is -1 equal to d?
False
Let k = -1.77 - -1.77. Which is smaller: k or -70?
-70
Let w = 1/8 - 0. Let x(d) = d**3 + 2*d**2 - 5*d - 3. Let l be x(-3). Suppose 2*f - 23 = -l*i - 2*f, -5*i + 3*f = 10. Which is smaller: w or i?
w
Suppose r - 14 = -3*g, 6*r = -3*g + 2*r + 29. Suppose g = 2*p - 5. Suppose -2*i - 14 = p. Is i bigger than -9?
False
Let a(y) = y**2 + 13*y + 8. Let f be a(-12). Let n = -25 - -35. Let g = -10.1 + n. Are f and g equal?
False
Let x(j) = j**3 + 8*j**2 - 3. Let g be x(-5). Let o = 73 - g. Which is bigger: o or 8?
8
Let n = -35 + 39. Let z be (n - (-55)/(-20))*4. Which is bigger: 3 or z?
z
Suppose -111*q + 93*q - 576 = 0. Suppose -m = 0, 0 = -3*o - 2*m + 7 - 103. Is o != q?
False
Let m be -1*-4*(-2)/8. Let d be m - 0 - 57/3. Let p be ((-30)/(-25))/(2/d). Which is greater: p or -13?
p
Suppose 0 = r + 22 - 0. Suppose 0 = -3*y - 81 - 12. Let x = y - r. Which is greater: x or -8?
-8
Let q(p) = 2*p - 12. Let f be q(8). Let o = 13 - f. Suppose -l + o = 7. Is l > 1?
True
Let u = -11877 + 486917/41. Which is bigger: -1 or u?
u
Let d(u) = u + 17. Let k(g) = -g - 18. Let m(x) = 7*d(x) + 6*k(x). Let p(y) = -4*y**2 - 6*y - 7. Let w be p(-2). Let t be m(w). Are t and -2 unequal?
True
Suppose 18*s - 70*s = 1612. Is -268/9 at most s?
False
Let c = -23.043 - -23. Let q = 23.957 - c. Let d = q - 23.85. Which is bigger: d or 0?
d
Let n = 283 - 1416/5. Is n > 1.2?
False
Let b = 18 + -11. Let l = 12.4 - 12.226. Let z = l + -0.174. Do z and b have the same value?
False
Let l be -6 + ((-90)/24)/((-3)/4). Which is smaller: -987 or l?
-987
Let d = 0.009 - 23.009. Let l = -22.88 - d. Let j = l + -0.18. Which is greater: j or 0?
0
Let a = -13 + 18. Let s = -2289 + 2293. Is a smaller than s?
False
Let a be ((-1 - 6)/14)/((-1)/16). Let k be (-1)/(-1) + (1 - 34). Let h be 31/a + (-4)/k. Which is bigger: h or 5?
5
Let n = -3.1 - -3. Let a = 47 - 69. Let u = a + 25. Do u and n have the same value?
False
Let d = 511.912 - -10.188. Let c = -498 + d. Let g = c + -24. Is g at least as big as -11?
True
Let i(k) = k**3 + 12*k**2 + 10*k + 35. Let a be i(-11). Let b = 4 - a. Is b at least as big as -42?
True
Suppose -i = -5*i - 96. Let r be 1/(-4) + (-294)/i. Is r smaller than 11?
False
Suppose -3*p - 5*p = -24. Suppose 0 = -6*d + p*d - 6. Are -9/7 and d equal?
False
Let h be 33/44 - (2412/464 - 5). Which is bigger: 1 or h?
1
Suppose -z = -t + 3*z, 5*z = -4*t. Suppose t = -0*y - y + 3. Let g be ((-3)/(-2))/(y/(-18)). Is g smaller than -10?
False
Suppose -4*m + 3*m = 5*f - 60, 59 = 4*f + 3*m. Suppose -3*q + s + 79 = -3*s, -2*q + 5*s + 62 = 0. Let o = q - f. Is o equal to 10?
True
Let p(n) = -n**2 - 35*n - 317. Let m be p(-22). Which is greater: -148/5 or m?
-148/5
Let w(c) = -c**3 + 17*c**2 + 54*c + 46. Let m be w(20). Are -76 and m equal?
False
Let b = 748 + -799. Is b != 5?
True
Let y = -11 - -13. Let n be (1/(-7))/(y/(-4)). Suppose 4*c + 4 = -k, 2*k = -5*c - 0*c - 5. Is k greater than n?
False
Let j = 1364 + -1363. Which is bigger: j or 17/32?
j
Let y = -0.362 - -15.462. Let b = 15 - y. Is -0.1 < b?
False
Let a(x) = 2*x**2 + 12*x + 1. Let v be a(-9). Let q = v + -45. Let w(c) = 3*c**2 - c. Let z be w(2). Is q smaller than z?
False
Suppose 5*h - 65 = 5*t, -13 - 36 = 5*t + 3*h. Let n be (-1)/(-7)*(t - -15). Which is bigger: n or 1?
1
Let n = -9.3119 - 0.0081. Let c = 9.3 + n. Which is greater: 3 or c?
3
Let i = 27 + -29. Let q be (-4)/i - (0 - -6). Which is greater: -22/7 or q?
-22/7
Let u(n) = 2*n + 20. Let s be u(-8). Suppose -23 = s*r + 1. Which is smaller: r or -31/5?
-31/5
Let b be (-13)/((-429)/(-70)) + 2. Let r = -59/33 - b. Are r and -1 non-equal