. Suppose -40 = s*v + 4*c, -5*c - 44 = 2*v + v. Is v greater than -7?
False
Let m = 32 - 32. Suppose m = 4*f - 2*p - 74, -62 = -3*f - 4*p - p. Is 19 at most f?
True
Suppose -4*b + 84 = -20. Suppose 4*z + 2 - b = 0. Let p be 2/(-4) - z/(-84). Are -1 and p equal?
False
Let r(t) be the second derivative of -t**5/20 - 5*t**4/4 - 7*t**3/3 + 9*t**2/2 + 13*t. Let l be r(-14). Is l != 8?
True
Let x = -28 + 28. Let f(v) = 8*v + 1. Let u be f(1). Let b be u/20 + (-4)/20. Do x and b have the same value?
False
Let b(d) = d + 8. Let f be b(-6). Let g = 33 - 32. Suppose -4 = 3*s - i - g, -2*i = 2*s + 2. Which is greater: s or f?
f
Let b = -2 - -4.7. Let d = -1.3 - b. Which is greater: -0.1 or d?
-0.1
Let n = 0.6 + -0.1. Which is smaller: 28 or n?
n
Let n be (7 + (-6)/(-18))*(-3)/2. Let d be (-2)/4*23*1. Which is bigger: d or n?
n
Let z = 1216/5 - 243. Which is greater: -1 or z?
z
Let z(l) = 11*l - 4. Let g be z(2). Suppose 0 = 4*u + 2*s - 4*s + g, 4*s = 12. Which is smaller: u or -1?
u
Let a = -8723/25 - -349. Let l = -700 + 701. Which is smaller: a or l?
a
Suppose -2*s + 843 = -3*w - 31, -5*s + 313 = -w. Are -287 and w nonequal?
True
Suppose 5*l - 2 = 33. Let d = -6 - -9. Suppose -3*p = -p - d*t - 1, -26 = -2*p - 2*t. Do p and l have different values?
True
Let m(d) = -d**3 + 3*d**2 - d + 3. Let y be m(3). Let s = -4 - y. Is -16/3 < s?
True
Suppose -42 = -8*f + 22. Is f != -0.1?
True
Let m = 217 - 224. Which is smaller: -0.4 or m?
m
Suppose 6 = -3*l + 3*i, -2*l - 29 = 2*i + i. Let m = -7 - l. Let g(o) = -o**3 + 2*o**2 - 2*o + 1. Let k be g(1). Is k < m?
False
Let p be (1/20)/((-7)/3206). Let i = p + 23. Are -5 and i equal?
False
Let y = -239 - -227. Which is smaller: y or 2/7?
y
Let m = 29846/651 + -321/7. Is -1 > m?
False
Let q = -4882 - -11049/2. Do 642 and q have different values?
True
Let y = -926/3 - -3907/12. Do 18 and y have the same value?
False
Let s = 1.0498 + -0.0498. Is s at least as big as 63?
False
Let w = 1215 + -1214. Let f be ((-6)/(-18))/((-250)/6). Which is greater: f or w?
w
Let h = -4.48 - 21.52. Which is bigger: h or -2/9?
-2/9
Let v(p) = p**3 + p**2 + 2*p + 1. Let u be v(-1). Let g = 158.9 + -152. Let r = 0.9 - g. Which is smaller: u or r?
r
Suppose 0 = 3*u - 8*u - 55. Let r be (-146)/6*(8 + u). Suppose -5*p + 10*p + i = -r, 3*p - 3*i = -51. Which is smaller: -14 or p?
p
Let p = 1819 + -1828.983. Let f = p + -0.017. Which is bigger: f or -0.01?
-0.01
Suppose 7*r + 0*r - 14 = 0. Let c be (r/(-12))/(9/36). Which is greater: c or 5.2?
5.2
Suppose 3*l = 9, 0 = -0*n - 5*n - 3*l + 19. Suppose d - d = n*d. Is d smaller than -2/3?
False
Let g = 37 + -20. Let n = g - 15. Let x be (n/10)/((-48)/30). Which is greater: 0 or x?
0
Let t = -1832 + 1833. Is t at most as big as -28/137?
False
Let c be 6/27 + 98/189*15. Which is smaller: 10 or c?
c
Let p = -0.05 - -4.05. Let r = p + -10. Let y = -6 + 7. Which is bigger: y or r?
y
Let u be 43/(-86) + 98/4. Let y(x) = 6*x - 1. Let g be y(4). Let p = g - u. Which is smaller: 1/5 or p?
p
Suppose 3*p = -2*t + 13, 4*p + 12 = -0*t + t. Suppose -5*z = 5 - 20. Suppose 5*i = z*i + 12. Is t greater than or equal to i?
True
Let l = -113.03 + 114.1. Is -3 greater than l?
False
Suppose 0*v = -v + 6. Suppose 0 = 2*h - 22 + v. Which is smaller: h or 6?
6
Let q(i) = -7*i**3 - 13*i**2 - 11*i - 27. Let y(r) = 4*r**3 + 7*r**2 + 6*r + 14. Let n(v) = 3*q(v) + 5*y(v). Let s be n(-4). Do -1/34 and s have the same value?
False
Let l = 10 + -4. Suppose -36 = -3*s + l*s. Let d be (-2)/(-12)*40/s. Which is greater: d or -1?
d
Let z = -7.1 - -2.1. Let w = z - 4. Let n = w + 11.2. Is -1 bigger than n?
False
Let b = 60 + -56.5. Let o = b - 4.5. Which is bigger: 1/74 or o?
1/74
Suppose -38*a + 746 + 812 = 0. Do 46 and a have the same value?
False
Let u(n) be the first derivative of 3*n**2/2 - 9*n + 2. Let f be u(5). Let d be -3*-2*1/f. Is d at least as big as -1?
True
Let k be 1/(1*(2 + -5)/3). Is 302 at most as big as k?
False
Let k = -12526/3 + 16765/4. Let q = 16 - k. Suppose 0 = -4*p + 4*c, 0 = 3*c + c - 4. Which is smaller: q or p?
q
Let p be (-5)/10 + (-42)/(-4). Let r be (-2)/p - (-3)/(-15). Suppose 0 = -0*n + 3*n - 5*h - 22, 2*n - 3 = h. Is n smaller than r?
True
Let f = 9.9 + -10. Is f at most 0.052?
True
Let a be 6/(-9) - 231/(-9). Suppose 4*x + 5 = -2*h - 5, -5*h = a. Is x less than -5/8?
False
Suppose 0 = 11*f - 17*f + 216. Is f at least as big as 36?
True
Let l = -0.23 - -0.122. Let x = -0.012 + l. Which is smaller: 2 or x?
x
Let q = 1142165/249 + -4587. Which is bigger: q or -2/21?
q
Let p(j) = j**2 + j. Let o be p(0). Let y = o - -2. Let k be 2/4 - (-27)/30. Do k and y have the same value?
False
Let l(u) = -70*u - 6. Let s be l(-3). Suppose 6*d - 2*d = s. Which is greater: d or 52?
52
Let f(l) = -l**3 + l**2 + 3. Let j be f(0). Suppose j*h - 4*h = 97. Let b = 385/4 + h. Is b >= 0?
False
Let c(t) = 20*t**3 - 18*t - 21*t**3 + 23*t**2 - 4*t**2 + 2. Let f be c(18). Let a = -4.2 - -1.2. Is a less than or equal to f?
True
Let y be (6602/146)/((-4)/(-8)). Let o = 423047/1971 + y. Let t = 305 - o. Do t and 0 have the same value?
False
Suppose 4*x + 20 = -3*s, -3*x = -s + 4*s + 21. Let a = -0.22 + -0.88. Let r = a - -0.1. Is r smaller than s?
False
Suppose 0 = -4*r - 2*b - 2, 4*r - 5*b - 19 = 0. Do 6/233 and r have the same value?
False
Let q = 2263 - 2070. Is q >= 191?
True
Let y(r) = 6*r**2 + 52*r - 10. Let n be y(-9). Let v be (-36)/24*(-8)/6. Do v and n have the same value?
False
Let i = -176067/115 + 1531. Does -1 = i?
False
Let w be 7 + 13 + 273/(-13). Let u = 184 + -108. Do u and w have different values?
True
Let y = -10 - 9. Let d = 20.43 + -2.03. Let m = y + d. Is -2 at least as big as m?
False
Let c = 2.68 + 40.32. Which is smaller: c or 2?
2
Let v(w) = 2*w**3 + 23*w**2 - 11*w + 10. Let i be v(-12). Which is greater: i or -34/11?
i
Let k be (17 + -9 + -6)*2/(-6092). Are k and 1 nonequal?
True
Suppose 2*l + 98 = 5*z, 5*l + 32 = 2*z - 24. Which is smaller: z or 84/5?
84/5
Let p = -2.21 + 0.01. Let w = p - -2.2. Is w at most as big as 3.6?
True
Let t = -9 - -13.7. Let r = 4.6 - t. Is r at least -0.8?
True
Let i = 10 - 9.9. Let v = 0 - i. Let n = -372 - -4089/11. Is n greater than v?
False
Let a = 412 - -168. Let u = 6389/11 - a. Which is smaller: -1/4 or u?
-1/4
Let y = 4455 - 31235/7. Is y bigger than -8?
True
Let a = -52 + 74. Suppose 361 = -a*j + 3*j. Let b(r) = r**2 - 18. Let u be b(0). Which is bigger: j or u?
u
Let d be -5 + ((-10)/(-4))/(6/(-12)). Is d greater than or equal to -53/5?
True
Let g(u) = 5*u + 6. Let y(b) = -10*b - 13. Let q(h) = 5*g(h) + 3*y(h). Let c be q(-4). Let a be (1 - 0)/(c/77). Is 7 < a?
False
Suppose 5*o + 86 = -134. Let w be (-63)/o + -2 + (-2)/11. Is 0 < w?
False
Suppose -58*l = -54*l + 184. Let o = 47 + l. Which is smaller: 0 or o?
0
Let g = 14 - 11. Let h be (-3)/g - 10/(-6). Let l(t) = t + 1. Let a be l(-1). Which is bigger: a or h?
h
Let x = -5079.153 - -5082. Let u = -0.823 - x. Let c = u - -3.6. Is -1 at least as big as c?
False
Let y be 3535/(-56) + 4/32. Do -65 and y have different values?
True
Suppose -s = 5*o + 4*s - 20, -o = -3*s - 20. Let t be (-14)/21 + (-52)/(-6). Suppose 50 = 3*f - 4*a, a - t = -f - 3. Which is bigger: f or o?
f
Suppose 8*q = 10*q + 10. Let l(p) = -p**3 - 6*p**2 - 6*p. Let a be l(q). Suppose -6*h = -2*h - 16, 2*h = -4*f + 32. Which is smaller: a or f?
a
Let u = 5 + -3. Let c be -8 + (u - 3) - 1. Let a be (-7)/(-49)*-7*10. Is c at least as big as a?
True
Let l = -9 + 2. Let u = l - -19. Suppose 0*v = 2*v + u. Is v at least as big as -5?
False
Let v = 84881/1265 - 738/11. Is v less than or equal to 1?
True
Suppose 0 = -2*k + 3*f, 4*k - k - 22 = -f. Let l be k/(-15) + 58/(-5). Let w be (20/l)/5*-30. Is w <= 10?
True
Let a(u) = u**2 - 3*u - 4. Let l be a(4). Let v = 42 + -66. Let d be 8/(-44) - v/11. Is d equal to l?
False
Let y = -2.603 + 0.373. Let r = -43 - -43.23. Let s = y + r. Which is smaller: s or 2?
s
Let u = -3 + 0. Let l be (-170)/75 + 12/20. Is u > l?
False
Let m(v) = v**3 + 8*v**2 + 6*v - 2. Suppose 0 = -2*r + p - 9, 2 = -r + p - 0. Let g be m(r). Which is greater: 11/3 or g?
g
Let a be (-12)/102 - ((-76120)/18445 - -4). Which is greater: -1 or a?
a
Let s = -8.8 + 7. Let f = -2 - s. Suppose -1 = -2*k - o, 2*o - 3 = -5*k + 1. Which is smaller: k 