+ -73.866. Let r = 74.1 + a. Which is bigger: r or 0?
r
Let z(q) = -60*q**2 - q + 1. Let b be z(1). Let l be ((-4)/6)/(8/b). Is 5 not equal to l?
False
Let s = 218.0494 - 0.0494. Let v = s + -216. Let m = -11 - -8. Which is smaller: m or v?
m
Let u = -3.109 - -0.109. Which is smaller: u or -0.41?
u
Let q(b) = -2*b**2 + 5*b - 24. Let y be q(7). Let v = y - -137. Is 49 > v?
False
Let p be 8/(-36) + 13082/1116 + -2 + -1. Let h = 0.1 - 1.1. Is h less than p?
True
Let q = -0.482 - -19.482. Is 14/5 >= q?
False
Suppose -27*c + 552 = -15*c. Let g(b) = -b**3 + 10*b**2 - 11*b + 6. Let j be g(8). Is j > c?
False
Let b = -1555.19 - -1562. Let n = -6.7 + b. Which is greater: n or 2/5?
2/5
Suppose 4*n - 1 = 7. Suppose -4*f - 2 = n. Let t = -2011/5 - -400. Is t at least f?
False
Let y be (-1 - (-5)/10)*-62. Let u = 24 - y. Do u and -6 have different values?
True
Let b(h) = h**3 + 14*h**2 + 16*h + 10. Let q(u) = u**3 - 17*u**2 + 28*u + 17. Let d be q(15). Let p be b(d). Which is greater: p or 2?
2
Let p be 34/(-306) - (-3400)/(-18). Which is smaller: p or -188?
p
Let g = 24.99 - 25. Let h = -1.49 + 1.4. Let s = g + h. Which is greater: s or 0.6?
0.6
Let a be (213/(-14))/(51/68). Which is greater: a or -19?
-19
Let h = 0.3 - 0.5. Suppose 7*i - 440 = -4*i. Let p be 2/(i/(-26)) - 13/65. Which is smaller: p or h?
p
Let s be (-24)/10 - -2 - (-128388)/319995. Does 1 = s?
False
Let c(q) = -q**2 - 15*q + 154. Let r be c(-28). Is -209 greater than r?
True
Let l be (-2)/(-10)*(36 - 41). Which is smaller: l or -10/27?
l
Let o(f) = -3*f**3 - 2*f**2 - 5*f + 29. Let y(u) = -u**3 - u**2 - 2*u + 10. Let h = -9 + 6. Let n(j) = h*o(j) + 8*y(j). Let d be n(3). Which is smaller: 4 or d?
d
Let r(z) = -z**3 + z**2 - 2. Let d be r(-3). Let t = d + -33. Is t > -3/10?
True
Let y be 5 - (-12 + 10)*(-1 - -17). Do y and 34 have the same value?
False
Suppose 0 = 3*n - b - 12 - 13, b + 18 = 2*n. Let t = -1 - -7. Let s be t*(-4)/(-7)*21/9. Is n greater than s?
False
Let g(r) = r + 1. Let z be g(0). Suppose 10*d - 5*d = -5. Which is bigger: z or d?
z
Let t(y) = y**3 + y**2 + y + 19. Let v be t(0). Suppose -3*g - 2 - v = 0. Suppose -14 = 2*j - 0*j. Is j greater than or equal to g?
True
Let s be (-29)/(-2)*((-135)/(-10))/(-27). Is s smaller than -6?
True
Let s = -201747/387158 + -42/3281. Let q = 2/59 + s. Let y = 229 + -228. Is y != q?
True
Let d(n) = 2*n**2 - 8 + 3 - 8 - n**2 + 6*n. Let z be d(-9). Let p(o) = o + 7. Let a be p(6). Which is greater: a or z?
z
Suppose 45 = 4*p + p. Suppose 3*c - 3*l = p, c - l - 2 = -c. Which is smaller: c or 1/10?
c
Let j = -1080 - -1072. Which is bigger: 11 or j?
11
Suppose -48 = 14*q + 8. Let h be (q - -1) + (-300)/(-48). Let t = 1 - -1. Do t and h have the same value?
False
Let b be 2/(-13) + 272604/(-208) + 2. Let g = -1301 - b. Which is smaller: 7 or g?
7
Let j = 2 - 1. Let s be j/(-3 + (-124)/(-42)). Let b = 41/2 + s. Is b > -1?
True
Let i = -2.13 + 2.2. Let f = i - -27.93. Let l = 31 - f. Is 1/4 at most as big as l?
True
Suppose 3*j - 2*s + 17 = 0, 0*s - 5 = -5*s. Let y be 82/j + 4/10. Is y equal to -86/5?
False
Let c = 886.988 - 887. Which is smaller: c or -0.1?
-0.1
Let t = 76 - 108. Let h = -35 - t. Is h greater than 11?
False
Suppose 280 = 5*n + 70. Suppose -n = 4*y - y. Let l be y/18 + 8/(-36). Which is smaller: l or 1/4?
l
Let n = -0.22 - 10.78. Let t = 39 - 28. Let m = n + t. Which is bigger: 1/2 or m?
1/2
Let u be 235 - ((-330)/(-11))/(-5). Are u and 238 non-equal?
True
Let o be (3/86)/((-4)/16). Is o < -0.1?
True
Suppose -29*g + 16*g = -13. Which is bigger: -2/39 or g?
g
Let t = 750 - 433. Which is smaller: 318 or t?
t
Let f be 104/(-30)*(-4 - -1). Let v = f + -56/5. Suppose 2*c + 3*c - 3*g + 12 = 0, 4 = -5*c + g. Is v >= c?
False
Let u(k) = -2*k + 3. Let m be u(6). Let i = -1 - 3. Which is greater: i or m?
i
Let y be (14 - 11)/(-3)*-151. Which is bigger: 148 or y?
y
Let p be 4/3 - (-9373)/1176. Let o be -2 - (2 - (-188)/(-14)). Let z = p - o. Does -1 = z?
False
Let o = -0.065 + 5.065. Let u = -13.8 - -14. Which is bigger: u or o?
o
Let u = -17 + 22. Let k = u - 8. Let c = k + 11. Which is smaller: c or -0.1?
-0.1
Let m(i) = -i**3 + 6*i**2 + 2*i - 9. Let l be m(6). Suppose 0*y - y = l. Let f = -49 - -46. Are f and y equal?
True
Let s = 4 + -6. Let c be s + 90/(3/1). Let j be (-5)/36 - (-7)/c. Is j <= -1?
False
Let r = -68 + 163. Let j = r - 55. Which is smaller: 39 or j?
39
Suppose 0 = 8*t - 283 + 19. Let y = t + -97/3. Is 0.11 > y?
False
Let k = -905 + 525. Is -381 not equal to k?
True
Suppose -k = -2*h + 377, h - 185 = -0*h - 3*k. Suppose -h - 257 = -5*u. Let c be u/115 + (-51)/85. Which is smaller: 1 or c?
c
Let j = -10/9 - -29/18. Let q = 10 + -16. Let a = 5.4 + q. Which is smaller: a or j?
a
Let a = -0.67 - 18.33. Let t = a + 18.947. Is t greater than 1?
False
Let f = 3.85 + -7.85. Let y = 2 + -2. Suppose y*v = -2*v - 2. Which is bigger: v or f?
v
Let o = 54 - 49. Let y = -5.1 + o. Which is smaller: y or -19?
-19
Let g be -2 - (10338/16 - -1). Let j = -651 - g. Let w = j - -137/56. Which is greater: 2 or w?
2
Let m be (-16)/(-56)*(-28)/(-1172). Which is smaller: -1 or m?
-1
Suppose 4*t - 4*d - 100 = 0, -3*t - 2*t - 5*d = -105. Let a = t - 38. Is -15 > a?
False
Let x = 31 + -19. Suppose -4*t = -3*m + 55, -m + 16 = -0*t + t. Let b = x - m. Is b less than -4?
True
Suppose -6*d - 237 = 681. Which is greater: -1/4 or d?
-1/4
Let v be (-612)/(-72) + 7/(-1). Let u be (-16)/(-12)*6/4. Which is smaller: u or v?
v
Let n be 1/(-4) + 5/80*20. Let z = -24 - -15. Which is smaller: n or z?
z
Let d(f) = f**3 + 5*f**2 + 4*f + 1. Let b be d(-4). Let x = -6 + 10. Suppose x*v + 0 = -4. Which is bigger: b or v?
b
Let o(l) = l**2 + 9*l + 20. Let g be o(-6). Suppose 16 = b - g*f - 0*f, -5*b + 4*f = -56. Does b = 7?
False
Let u be 2/14 + 374/77. Suppose -3*l - 4 = u. Is l greater than 0?
False
Let d be ((-2)/(-6))/((-5)/(-315)). Suppose -2*f = -9 + d. Suppose 3*s + 3 = -0*s. Which is smaller: f or s?
f
Let h(d) = -d**2 + d. Let g be h(2). Let n be 4/10 + 0 + 276/10. Let c be (-1)/(14/n - 19/(-2)). Is g not equal to c?
True
Let i = 440 + -442. Suppose -5*w = -15, 0*f + 4*w - 8 = -2*f. Let j be -2 + (f - (-66)/15). Are i and j unequal?
True
Let w be (6 + -15)/(-1 + 2). Suppose 4*x = 3*x - 5. Let g be (-5)/x + (0 - 9). Is g at least as big as w?
True
Let m be 2 + 14/(-16)*2. Let o = -6 - -12. Let f = o + 7. Is m >= f?
False
Let m = -580.91 - 12.09. Which is smaller: -0.1 or m?
m
Let x = -17/2 + 8. Let w be 2/6 - 8284/(-60). Let y = -138 + w. Is x smaller than y?
True
Suppose b + 8 = -0*b + m, -b - 3*m = 0. Let x = 8 - b. Is x at least as big as 14?
True
Let f be -1 + (-5 - -2)/(-3) + 0. Let n = 19 - 4. Suppose f = -g - n + 8. Is -7 smaller than g?
False
Let u = -7 + 9. Let c be u/5 + 22/(-5). Let h be (c/6)/((-44)/3). Does 0 = h?
False
Let t(w) = 7*w**2 - 24*w - 49. Let c be t(-7). Is c greater than or equal to 463?
False
Suppose 5*c - 3*n = 21, 5*c - 11 = 4*c + 4*n. Suppose 3 = 5*w - 3*w + 5*u, -w - c*u = -2. Let d be w - (69/15 + -4). Which is bigger: d or -2?
d
Suppose 0 = 21*m - 18*m - 6. Suppose m*l + d = -39, l + 3*l + 96 = 4*d. Which is bigger: -22 or l?
l
Let m = -11.59 - 1.71. Let h = -14 - m. Let y = h - -1. Is 2 at least y?
True
Let j = -188 + 263. Is 3 bigger than j?
False
Let a be ((-140)/30 - 8/(-2))*-228. Is 152 smaller than a?
False
Suppose 2*h - 4 = 28. Suppose 0 = 3*x - 2*x - 5*w - 19, 5*w + h = 4*x. Is x smaller than -2?
False
Let w = -277 - -276. Which is smaller: w or -0.022?
w
Suppose -2*y + 5*q = -26, 0 = -y + 4*q - q + 15. Suppose 4*g - 6 = 7*i - 2*i, -3*i - y = -3*g. Which is smaller: 12/19 or g?
g
Let q(h) be the first derivative of -6*h - 7/2*h**2 - 1/3*h**3 - 8. Let k be q(-6). Do k and 1 have different values?
True
Let a be (8/(-800))/((-1)/(-5)*4). Let w = 21/80 + a. Do 1 and w have the same value?
False
Let i be 2 - (-90)/(-26) - -1. Suppose -214*t + 199*t = 15. Which is smaller: i or t?
t
Let y = 1496/7 - 213. Suppose 3 - 24 = -4*q + 5*l, -3*q = 5*l + 28. Let d be -1 - q - (-2)/(-6). Which is smaller: y or d?
d
Let l(z) = 41*z - 75. Let r be l(-6). Which is smaller: r or -320?
r
Let k = 550 - 549. Which is bigger: -2/185 or k?
k
Let y be 2/(-4) + 0 + (-390)/(-260). Suppose -h + 5 = 4*n, -10 + 0 = -4*n - 2*h. Suppose n = -0*j + 