116/5 + -224. Let r = 0.37 - 0.87. Which is smaller: n or r?
n
Let i be 0 + (-8)/(-20) - 1261/2665. Is i >= 2?
False
Suppose -2*j = -3*h - 6*j - 115, -5*j + 92 = -2*h. Which is greater: -0.1 or h?
-0.1
Let v = -16.04 - -19.1. Let z = -0.06 + v. Let u = -145 + 144. Does z = u?
False
Let l(x) = -x**3 + 4*x**2 - 12*x + 16. Let t be l(2). Which is smaller: t or -5/21?
-5/21
Suppose -5*o = 3*q + 72, -23 - 3 = 2*q - 4*o. Let b = -101 + q. Let d be (-2)/5 + 102/b. Which is bigger: d or 0?
0
Let w(g) = g**2 + 4 - 5*g**2 + 2*g - g**3 - 3. Let n be w(-5). Let m = -10 + n. Is 7 at least m?
True
Suppose 5*k = -0*k + 2*h - 141, 3*k + 3*h = -72. Let n = -241/9 - k. Suppose 24 - 25 = q. Which is bigger: n or q?
n
Let f = -31 - -37. Suppose -2*s - 16 = f*s. Is s less than or equal to -9/14?
True
Let q be (-2 - (-4 - -1))*-9. Let m = q - -19. Let s be (-7 - -8)*m/(-3). Which is smaller: -2 or s?
s
Let g = -0.31 + 0.01. Let n = 0.23 + g. Let f = 26 - 25. Is f equal to n?
False
Suppose -7*w - 173 = 93. Is w smaller than -41?
False
Let z = -1.5 - -2.3. Which is greater: 0.05 or z?
z
Let z(r) = -r**3 + r**2. Let k(v) = -3*v**3 - 5*v**2 - 1. Let g be 24/10 + (-10)/25. Let n(u) = g*z(u) - k(u). Let j be n(-7). Is -1 less than j?
True
Suppose f + 7 = 17. Suppose 4*x + x = f. Suppose 5*b - x = d, -b + 4*d + 4 = 2*d. Is -0.1 >= b?
False
Let b = -1.3 - -5.3. Let q = -8 + b. Is -2 >= q?
True
Let z = 24 - -132. Let w = z - 155.9. Do -4/39 and w have the same value?
False
Let w = -119 + 2617/22. Which is greater: 0 or w?
0
Let j be (0 - (2 + -3))*-1. Let l be j*3/(-15)*-2. Let x = 19.1 + -25.1. Are l and x equal?
False
Let l = -512 - -510. Do l and -68/47 have different values?
True
Let d be (7 + 1)/24 - 131/(-3). Let y = -40 + d. Let l = -1 + 3. Which is greater: y or l?
y
Let p = 29.018 + -29. Let o = -0.098 + p. Is o < -2?
False
Let j(z) = z**3 - 4*z**2 - 18*z - 16. Let v be j(7). Suppose 2*m - 10 = -0*m. Is m > v?
False
Suppose -3*y + 9*y = 0. Suppose -3*u + 2*u + 4*j = -15, -5*u - j + 117 = y. Is u at least as big as 0.2?
True
Let q be (-4 - (-74)/4) + -3. Let o = 139/10 - q. Which is smaller: o or 2?
2
Let t = -845 - -856. Is -28 > t?
False
Let m = -452 + 14014/31. Let a = 440 - 441. Are m and a non-equal?
True
Let l(t) = -t**2 - 7*t + 1. Let z be l(-5). Let s = z - 11. Let j be (-10)/35 + 18/14. Which is bigger: j or s?
j
Let u be (0 - 1)*(20 + -22). Which is greater: -69 or u?
u
Let m be ((-582)/2)/(36/72). Is m at most as big as -582?
True
Suppose -2 + 0 = 2*a. Let g be 1*(a - (-3 - -1)). Suppose -2 + g = -s. Which is greater: -1/10 or s?
s
Let f = 2136 + -2135.955. Let p = -1 - -1. Which is greater: f or p?
f
Let y = 2 + 2. Suppose 4*j - j - l + 38 = 0, -j - 4*l = y. Let x be (-2)/j + 5/(-30). Is x at least as big as 0.7?
False
Suppose 2*p + 2*m = 6, 0*m = 5*p + m - 23. Let c(l) be the second derivative of l**3/2 - 6*l**2 + 2*l. Let w be c(p). Is w greater than or equal to 3?
True
Suppose 7*t = 2*t + 5, 0 = -5*u + t - 71. Let n = u + 15. Is -2/19 < n?
True
Suppose 4*k + j = -0*k + 68, 34 = 3*k + 5*j. Let c be 2 + 0 + -11 + -6. Let n = c + k. Which is smaller: n or 7/3?
7/3
Let a = 2482 - 2503. Which is smaller: -28 or a?
-28
Let k(p) be the second derivative of -p**4/12 - 13*p**3/6 + 15*p**2 + 3*p. Let t be k(-15). Let w be 2/(-8) - 17/(-100). Which is bigger: w or t?
t
Let t = 60 - 48. Suppose -10*o - t = -6*o. Suppose -30 = 5*i + 4*x + 7, -2*x = 3*i + 21. Is o less than i?
False
Let r = 17243 + -17350.87. Let i = r - -108. Is -1 smaller than i?
True
Let d = -65 - -68. Suppose 3*f + f - w = 0, -d*f = 2*w + 11. Is f less than or equal to -7/9?
True
Let i(z) = 2*z - 8. Let r be i(5). Suppose -4*t - 2*g + 6*g = 24, -r*t - 16 = -3*g. Which is greater: t or 6?
6
Suppose 2*i = -5*b - 22, i - b = 4*b - 41. Let w = 1 - 1. Suppose p - 22 = m, w = -11*m + 6*m + 2*p - 110. Is i at least m?
True
Suppose 0 = -2*c - 3*t - 34, -3*t = -1 + 13. Let o be (-38)/(-209) + (-2 - (-123)/(-11)). Is o bigger than c?
False
Suppose -a = -r - 4, -3*a + 0*r - r + 12 = 0. Suppose -14*n + 10*n + a = 0. Which is greater: 5/3 or n?
5/3
Let f be ((-16)/(-6))/(2/(-18)). Let y be 4*1*4/f. Which is bigger: -2 or y?
y
Let g be (-4)/(-9) + (-12912)/(-108). Let f be 24/(-45) + 16/g. Is 49 not equal to f?
True
Suppose -2*r + 25 = 3*r. Suppose 0 = -3*j - 6, -10 = r*o + 5*j - 5. Suppose -14*y + 62 = 17*y. Is o < y?
True
Let d = 66.9 + -66.8. Which is smaller: 512 or d?
d
Suppose 2*r = -2*n - 10, 4*r - 1 = -n + 3. Let i be (2 + 0)/(2/n). Let u = 12 + i. Is 1 smaller than u?
True
Suppose 0*v = 3*v + 3*s - 21, -4*v + s = -28. Suppose 0 = -y + v - 3. Which is greater: y or 5?
5
Let r = -2503/40755 - -1/1235. Let m be (-4)/5 + (-49)/35*-2. Suppose -9 = -3*h - 6*x + 9*x, -m*x - 10 = 2*h. Are r and h equal?
False
Let w be 5/(5/(-3)) - 4 - -6. Let j be 2 - 1/(241/484). Let b = 263/2651 + j. Is b < w?
False
Let i be (3/3)/(200/(-24) + 4). Which is smaller: 0.08 or i?
i
Let o = -11 + -18. Let n be (-15 + 17)/(1/(-14)). Let m = n - o. Is m at most as big as -8?
False
Let j be ((-184)/(-30) - 6)/(10/(-6)). Let g(t) = -t**2 - 6*t - 4. Let p be g(-5). Which is bigger: p or j?
p
Let d be (-26)/6 + 2/(-3). Suppose -4*k = 2*u - 20, -2*k + k + 4*u + 5 = 0. Suppose -k*a - 20 = -a. Is d bigger than a?
False
Let q be (321/(-214))/((-622)/(-4)). Which is smaller: 1 or q?
q
Suppose 4*v + 2*v - 2*v = 0. Is v >= 6/37?
False
Suppose 19 = 2*c + w + 7, -c = 4*w - 20. Let s be (-82)/c - ((-12)/(-8))/3. Is -61/3 greater than or equal to s?
True
Suppose 10*q - 499 = 321. Suppose 2*d + q = -6*y + y, -5*y + 4*d = 76. Is -18 less than y?
True
Suppose 2*n = 3*m + 36, -4*m + 2*m = 3*n - 41. Let j = -2 + 15. Which is bigger: n or j?
n
Let v(j) = 5*j**2 + 6*j + 11. Let g be v(-2). Is 15 >= g?
False
Let q = -0.53 - 17.47. Are q and -1 nonequal?
True
Suppose 3*k = 8*k - 20. Suppose -k*o + 4 = -2*o + 5*r, 0 = -3*o + 4*r + 6. Suppose -4*j - j + 10 = -5*d, -3*j + o*d = -6. Is j < 2?
False
Suppose -170 = -4*w - 3*z, -3*z - 5 = 1. Let u be 1/w*(4 - 2). Is u equal to 1?
False
Let j(s) = -s**2 + 27*s + 356. Let i be j(-10). Are -9 and i unequal?
True
Let m = 36/83 + -1829/581. Let t = m + 541/189. Which is bigger: 0 or t?
t
Let n(r) = r**2 + 4*r + 3. Let b be n(-4). Suppose b*p + 0*p + 3 = 0. Let o = 22 + -165/7. Which is smaller: p or o?
o
Suppose 0 = -2*h + 13 - 9. Let s(n) = -n - n + n - 2 + 3*n. Let d be s(h). Which is bigger: -3/2 or d?
d
Let w be 2/(10/(-6) - -1). Let d be 30*(w + (-8)/(-2)). Let g = d + -212/7. Is g not equal to -1?
True
Let i = -127 + 129. Which is smaller: i or 106?
i
Let n be -18*(4*6/240 + 0). Suppose 2 = -4*d - 2. Which is bigger: d or n?
d
Let h = -528.6 - -535. Are 5 and h non-equal?
True
Let r be (-9)/(-9) + (2 - 2)/(-1). Which is bigger: r or 1/779?
r
Suppose 2*b + 2*m = 0, -2*m - 10 = -0. Suppose 19 = -h + 5*x, 1 = -4*h + x + 4*x. Are h and b unequal?
True
Suppose 4*t = -3*w + 26, 2*t - 24 + 0 = 4*w. Is -2 greater than t?
False
Suppose -232 = 9*y - 394. Which is bigger: y or 25?
25
Let r = -4.37 - 0.03. Let m = 10.4 + r. Is m greater than or equal to 2/3?
True
Let n(d) = -2*d**2 + 19*d - 65. Let h be n(15). Is h at most as big as -230?
True
Let u(y) = -2*y**3 + 20*y**2 - 42*y - 3. Let h be u(6). Is h at least as big as 2?
True
Let d = 2575113975 + -92178779762617/35796. Let l = d + 2/2983. Let s = 11/4 - l. Are s and 0 nonequal?
True
Let q(y) = y**3 + 24*y**2 + 29*y + 126. Let j be q(-23). Is -12 less than j?
False
Let w = -977.96 - -978. Which is bigger: -21 or w?
w
Let h = 21 - 16. Suppose q + 4 = h. Let s(o) = -o. Let b be s(1). Is b at least q?
False
Let g(j) = 3*j**2 + 19*j - 11. Let c be g(-6). Which is smaller: -86/5 or c?
-86/5
Let a = 797 + -54995/69. Are a and -0.4 non-equal?
True
Let m = 79 - 225. Is -147 less than m?
True
Let f = 13/479 - 41894/8143. Which is smaller: -5 or f?
f
Let l be -10 + 11 + 30/(-10). Let c = -6/1283 + -46122/14113. Which is smaller: l or c?
c
Let g = 67.7 - 67.7. Which is smaller: g or -0.17?
-0.17
Let g(m) = 3*m - 9. Let t be g(5). Let j be -3 + 15/t - (-2)/4. Is -1/7 greater than j?
False
Let g be 64275/60*8/(-1220) + 7. Which is greater: g or 1?
1
Let x be 16/6 + (-6)/9. Let z be (5 - (2 + 4))/(x/9). Is z > -6?
True
Let p(c) = -3*c + 93. Let u be p(30). Suppose u*j - 5*g -