?
True
Let x be (36/16)/((-3)/(-24)). Let m = x - 4. Let p = m + -15. Is -1 bigger than p?
False
Let c = -220 - -219.9. Which is smaller: c or -0.034?
c
Suppose 5*z - 9 = 4*g, z - 2*g = g - 7. Suppose -z*t - 27 = -6*q + 2*q, 3*q + 27 = -3*t. Which is bigger: -1 or t?
-1
Suppose 0 = 4*n - 416 - 176. Is n != 148?
False
Let p(z) = -5*z**2 + z + 1. Let w be p(2). Suppose 4*f = -4, -i + 4*f = -6*i - 84. Which is smaller: w or i?
w
Suppose 282 - 2154 = 36*b. Which is smaller: b or -53?
-53
Suppose -11 = 2*a - 91. Let k = -91 - -64. Let h = a + k. Is h at least 14?
False
Let c(z) = z**2 - z. Let a(v) = 6*v**2 - 13*v + 3. Let s(q) = -a(q) + 5*c(q). Let r be s(9). Which is smaller: r or -14?
-14
Let j(c) = c**3 - 7*c**2 + 9*c - 14. Let y = 44 + -38. Let v be j(y). Suppose 1 = -a, 5*b - 4 = v*a + 10. Is b >= 2?
True
Let r be (-5363)/(-10974) + (-1)/2. Which is bigger: r or 5?
5
Suppose 10*g - 9*g = -96. Let k = 135 + g. Is k > 39?
False
Let q be -5*(-3)/(-20) + 14/8. Let j = 1/161 + 1601/1449. Which is bigger: j or q?
j
Let i = -12 + 12. Suppose k - 6 = -2*l, i = -l - 5*k - 11 + 32. Let x be (4 + -3)*(l + -4). Is -3 at most as big as x?
True
Let h = 1/279 + 823/3906. Let g(v) = 15*v + 1051. Let i be g(-70). Which is greater: h or i?
i
Let v be -60 + -3 + (-16)/(-4). Let j = v - -107. Suppose 4*h - 3 = -15, -3*u + j = -3*h. Which is smaller: 12 or u?
12
Let z(u) = u**3 - u**2 - u - 1. Let h be z(0). Let s be 30/(-45) - (1 - 16/10). Which is greater: h or s?
s
Let b = 1.18 + -0.18. Let g = 11 + b. Let y = g - 11.99. Which is greater: y or -2?
y
Let w = 994 - 1404. Is w >= -410?
True
Let d(n) = n + 3. Let p be d(11). Suppose 5*t - p - 11 = 0. Suppose -15 - 10 = -t*s. Are 6 and s equal?
False
Suppose 35*m - 38*m + 3 = 0. Is -3/8 less than m?
True
Let k(z) = -z**2 - 11*z - 11. Let u be k(-10). Let l = 860/9 - 14674/153. Which is bigger: u or l?
l
Let v = -12 + 45. Which is smaller: 25 or v?
25
Let v = -24 - -21. Let w be (3 - (-42)/(-18)) + 5/v. Is w greater than 6?
False
Let y be ((-1)/4)/((-14)/(448/(-410))). Which is smaller: y or 1?
y
Let x(z) = -z**3 - 8*z**2 - 15*z + 5. Let b be x(-7). Suppose 4*a + 2*t = 234, -24 = a - 4*t - 96. Which is bigger: b or a?
b
Let u be -5 - ((-30)/14 - 8/14). Let p(d) = -d**2 + 2*d - 3. Let r be p(0). Which is smaller: u or r?
r
Let x = 59 + -48. Suppose -3*v - j + 26 = 0, 3*j - 6 = v + 7*j. Are v and x non-equal?
True
Let j = -69 + 57. Let d be (j/(-10))/((-24)/(-400)). Is d > 21?
False
Let b = -331 + 323. Which is greater: b or -4?
-4
Let i be (24/56)/((-10)/(-420)). Which is smaller: i or -24?
-24
Let d = -1994.9 - -1995. Is 2/2279 bigger than d?
False
Suppose -m = 3*t + 6, 3*t - 4*m = 5 + 4. Let p = t - 0. Let q = -292 - -874/3. Which is bigger: p or q?
q
Suppose 0 = 10*t - 5*t. Let u be (t/(-6 - -1))/1. Is -2/27 less than or equal to u?
True
Let i be 2/(-378)*192/(-160). Is -1 less than or equal to i?
True
Let t(f) = 4*f + 10. Suppose 0 = -3*a - 2*m + 13, -2*a + m + 6 = -5. Let r be t(a). Which is smaller: r or 31?
r
Let u = 2707.9 + -2708. Which is bigger: 1221 or u?
1221
Let i = -311.7 - -311. Let k = -0.05 - -0.65. Let l = k + i. Which is smaller: l or 13?
l
Let y = 4.9 + -4. Let m = -2.061 + 0.161. Let s = m + y. Is 1/10 at least s?
True
Let c be -2 - (2 + 2*(-51)/30). Let v = -1.3 + -0.7. Is v >= c?
False
Let f = 96.7 + -96.8. Which is bigger: f or -216?
f
Suppose 0 = -3*q - 4*n - 14, -5 + 1 = 2*n. Which is smaller: 6 or q?
q
Let g = -58 + 60. Suppose 0 = -3*i + g*c + 115, -4*i - c + 172 = c. Which is greater: -0.1 or i?
i
Let c = 183 - 184. Suppose 584 + 456 = 4*w. Let i = 1823/7 - w. Does i = c?
False
Let u be (18/144)/(8/(-400)). Let g be 4/6 - 39/(-9). Suppose 4*c = -0*c - 2*d - 24, g*d = -4*c - 30. Which is greater: u or c?
c
Suppose 3*c - 101 = 46. Let d = c - 50. Is -4 <= d?
True
Suppose -3*s + 7*s = -n - 24, 0 = 5*n - 20. Let q = -14 + 5. Let x = 3 + q. Which is greater: s or x?
x
Let l = -36.7 + 36.8. Are l and -24 equal?
False
Let b be (-25)/10 + 22644/9064. Is b >= 1?
False
Let f be ((-44)/11 - -6)*(-1)/1514. Which is greater: f or -1?
f
Suppose -5*y + 5*n = -75, 3*y + 6*n = 4*n + 30. Suppose y*s + 31 = -29. Which is greater: s or -36/7?
s
Let r be (3 - 20/10)*(217 + -1). Is r at most as big as 217?
True
Suppose -4*g + 13*i = 16*i + 861, -5*g = -2*i + 1059. Which is greater: -214 or g?
g
Suppose 3*k + 2*k + 100 = 0. Let u(a) = -4*a**3 + 10 - a + 12*a**3 + 4*a**2 - 9*a**3. Let y be u(5). Is k smaller than y?
False
Let j = -1983911/327 - -6067. Do j and 4/9 have the same value?
False
Let g = -87 - -49. Let d = g + 38.92. Let b = d - -0.08. Is -3 less than or equal to b?
True
Suppose -2*r - 54 = r. Let s be (-120)/(-442) - r/(-117). Which is smaller: s or 1?
s
Let t = -139 + 141. Is t smaller than -1/65?
False
Let r(h) = -2*h**3 + 35*h**2 - 14*h - 25. Let d be r(17). Is d != 26?
False
Let b = 6 + -10. Let o(r) = -r**3 - 7*r**2 + 2*r + 9. Let u be o(-7). Let m be 45/(-6) - (u + 1). Is m at least as big as b?
True
Let s = 88.5 - 87. Let x = 21.5 - s. Which is smaller: -1/6 or x?
-1/6
Suppose 2*c + 5*n - 20 - 13 = 0, -60 = -3*c + 3*n. Let l = -36.1 + 36. Which is greater: l or c?
c
Suppose -1219 = 3*o - 2*p - 2*p, 798 = -2*o - p. Is -401 at most o?
True
Suppose 12*p = 10*p - 2. Suppose -5*v - 268 = -0*v - 2*n, 0 = -4*v - n - 217. Let q be (-3)/(-1) - v/(-15). Which is smaller: q or p?
p
Suppose 114*o + 52 = 118*o - 5*b, -5*o + 39 = -3*b. Let f = 2 - 0. Suppose 0 = s + d - 6*d - 23, -7 = -5*s - f*d. Is s at most o?
True
Let n(v) = 2*v**2 - 6*v - 11. Let d be n(-9). Let l be d/(-53) - (-10 + 6). Let h = -186/1007 + l. Is 0 at most h?
False
Let v = 11 - 27. Let l = v + 25. Let x = l + -4. Is 6 <= x?
False
Suppose -k + o + 1 = 0, -4*o = k + 2 - 3. Is 1/153 less than or equal to k?
True
Let c = -145/3 - -49. Let i = 35 - 38. Is c != i?
True
Let k = 12.98 - -1.02. Let m = -15.36 - -0.96. Let o = k + m. Is o > 1/7?
False
Suppose -2*r + 6*r + 120 = 0. Let q = r + 22. Is -1 <= q?
False
Let p = 0.2 - 8.2. Let a = p - -7.62. Let d = -0.38 - a. Which is smaller: -1/8 or d?
-1/8
Let p = -2.78 + 3. Which is bigger: p or 2?
2
Let s(k) = 2*k - 4*k - 2 + 2 - 3. Let n be s(-2). Suppose 3*r - n + 5 = -b, -r - 1 = 0. Is b greater than or equal to 2/9?
False
Let v be ((-846)/60)/((-252)/(-10)). Let n = -3/28 + v. Which is bigger: 16 or n?
16
Suppose 7*n + 1992 = 13*n. Suppose -n*x = -329*x - 3. Which is smaller: -2/117 or x?
-2/117
Suppose -t + g + 17 = 0, -3*t + 5*t + 5*g - 55 = 0. Suppose d = -w + 4, 0*w - 5*d = w - t. Let b = 1948/9 + -216. Are w and b equal?
False
Let n = -8.8 - 0.2. Let j = -2 - -17. Let w = n + j. Do 1/3 and w have different values?
True
Let y = 211 - 61. Suppose -6*m + 3*b - y = -m, -m = b + 30. Is m greater than or equal to -61/2?
True
Let j(h) = -2*h**2 - 45*h - 155. Let l be j(-16). Is 65 less than l?
False
Let h = 92 + -205/2. Let s = -11 - h. Let a = -0.2 - -0.2. Which is smaller: a or s?
s
Let d = 0.16 + 8.84. Let r = d - 8.9. Let y = -4 - -6. Which is smaller: r or y?
r
Suppose 2*v = -26 + 106. Let t be (16/v)/(2/90). Suppose -2*a = -5*a + 5*k + 76, 3*k + 32 = a. Is a at most t?
True
Let m = 0.1 - -0.02. Let s = 3.5 - 0.5. Let h = s + -2.9. Which is smaller: m or h?
h
Suppose -561 = 7*k + 321. Let z be 8/(-14)*147/k. Which is smaller: 40 or z?
z
Suppose 12*o + 6 = 10*o. Let i be (3 - -4) + (-6 - o) - -3. Which is smaller: 6 or i?
6
Suppose -3*c = -5*x + 295, 3*c + 25 = -2*c. Let j = x + -58. Is j greater than -2?
False
Let d = 225 - 212. Is 12 at most as big as d?
True
Suppose 114*f - 119*f = -n + 8, 2*f - 15 = 3*n. Let s = 0.8 + -1. Which is bigger: s or n?
s
Let s be 6/36 - 43/6. Do s and -8 have different values?
True
Let y = -25 + 28. Is y > 13/6?
True
Let p(z) = -11*z + 16. Let x(m) = -m + 1. Let n(r) = -p(r) + 6*x(r). Let q be n(4). Suppose -3*v + q = -v. Which is greater: v or 6?
6
Let i be 13/(-6) - 6*(-5)/180. Let m(s) = -s**3 - 3*s**2 - s + 2. Let g be m(-2). Is i != g?
True
Let o(g) = g**2 - 19*g - 16. Let n be o(15). Is -75 at least as big as n?
True
Let o be (2/(-8))/(-12 + 11). Which is greater: o or -2/23?
o
Let g be -2 + 21/14 - (-3147)/54. Is g bigger than 57?
True
Let g(z) = z**2 - 13*z + 3. Let l be g(13). Suppose 0*p - l = -p. Do p and 2 have the same value?
False
Let u(i) 