97 or c?
c
Suppose 0 = 3*o + 4*r + 6 - 0, -r = -3*o - 6. Let w be ((-364)/(-183) + o)*-3. Is w at most as big as -1?
False
Let l be (16/(-14))/((-12)/42). Suppose l*a = -60 - 4. Suppose -k = -0*k + 16. Is k equal to a?
True
Let n = 670 + -653.64. Let a = 0.14 + n. Let t = 17 - a. Which is smaller: t or 0.2?
0.2
Let m = 1.2 - 9.8. Let q = -9.4 - m. Are 0.06 and q non-equal?
True
Let h be 9/(-2)*88/(-12). Suppose 4*w = w + h. Suppose 2*d = -5*a + 55, 4*a - 2*d = a + 33. Is w at most a?
True
Let b be 8540/183*6/8. Which is greater: 31 or b?
b
Suppose -112*k = -109*k + 84. Is k at least as big as -24?
False
Let d(p) = 4*p**2 + 10 + 3*p - 5*p**2 - 12*p. Let k be d(-10). Which is smaller: -3/8 or k?
-3/8
Suppose 30*f = -488 - 1222. Is 1 smaller than f?
False
Let h be ((-12)/(-4) + -7)/(-2). Let q(j) = -4*j - 16. Let l be q(-5). Suppose -5*d = l*b + 13, d - 4*d + 3 = -3*b. Which is smaller: h or b?
b
Let r = -1.17 - -1.1. Let y = -6.07 - r. Let a = -7 - y. Is 0.02 at most as big as a?
False
Let d be 42/273 - (-3)/(-104). Which is greater: d or -1?
d
Suppose 4*w + c = 23, 5*w - 5*c - 6 = 29. Let h be (0 - w)*(-4)/12. Which is greater: 3 or h?
3
Let j = -0.0081 + 4.0081. Is j smaller than -0.05?
False
Let o = -5 - -7. Let m(r) = r + 3. Let s be m(3). Suppose 0 = -3*w + s - 0. Is o greater than w?
False
Let p = 26.3 + -26.3. Do -234 and p have the same value?
False
Suppose 0 = -4*w + 153 + 1519. Suppose -536 - w = -2*m. Let i = m + -10019/21. Is 1 less than i?
False
Let d be 15/(-10) - (-7)/(-2). Suppose -2*h + 1 = 3*x + 7, -5*x + 16 = -h. Is d bigger than h?
True
Suppose -3*z = l - 2, -4*z + 3*l + 20 = -0*z. Suppose -z*d = -9 - 1. Let r = 2/181 + 1987/362. Do r and d have different values?
True
Suppose -78*m + 83*m = 5*d, 4*m = -d + 20. Let h = 12 + -8. Is h < d?
False
Let v = -198 + 140. Is v at least -50?
False
Let i = 1819/28 - 261/4. Is i at most as big as -8?
False
Let u(j) = j**3 - 9*j**2 - 9*j - 10. Let p be u(10). Let s = 33 - 11. Suppose p = n + n + 5*v + s, v = 4*n. Which is bigger: n or 2/51?
2/51
Suppose -2*z - 2 = -2*s, 5*z - 2*s - 6 = 4. Let d be (-96)/56 + z/(-14). Which is smaller: -8/3 or d?
-8/3
Suppose -7*x + 2 = -5. Let i be x/(-14)*(-22 + 14). Is 0 greater than or equal to i?
False
Let t be 1*-2*((-338)/(-82) + -4). Let c = t - 83/164. Which is bigger: c or 2/7?
2/7
Let b = -12 - -22. Let w = 15 - b. Suppose v + q = w*q + 18, 0 = q + 1. Is v not equal to 15?
True
Let z be 8/12 + ((-64)/(-84))/(-1). Let u(i) = -i + 6. Let q be u(6). Suppose 0 = b - q - 1. Which is smaller: z or b?
z
Suppose 0 = -5*q - 0*q. Suppose a - 11 + 3 = q. Let s be (-2 - (-4)/a)*2. Is s < -3?
False
Let q = -46640843/345 + 135191. Let u = -480577/69 + 6965. Let c = q + u. Is c greater than or equal to -0.1?
True
Let b = 380 + -396. Which is bigger: -19 or b?
b
Let l be (-8)/(-12) + 3/9. Is l at least -3/37?
True
Let v(n) = n**3 + 17*n**2 + 73*n + 8. Let g be v(-8). Are g and -1/268 unequal?
True
Let u = 612 - 2451/4. Is u < -28?
False
Let g = -416.18 - -416. Let n = 20 + -20.22. Let z = g + n. Is z < 2/9?
True
Let i = 2/3 + -1/15. Suppose 0 = 404*w - 87 - 721. Is i greater than w?
False
Let i be (153/34)/(9 + 2 + -5). Suppose 2*n + 3*n = 10. Is n at least as big as i?
True
Let a = -39.628 - -0.628. Is a smaller than 2/11?
True
Let t be 1/(-3 - 1698/(-564)). Which is smaller: 0 or t?
0
Let k be 12/9 + (-167)/(-3). Let f = -57 + k. Which is bigger: f or 4?
4
Let f = 5393 - 3111. Is f > 2283?
False
Let p be 929/2 + (-1)/(-2). Let j be (-14)/10 - -1 - (-201)/p. Is j less than or equal to -1?
False
Let g be -5*(-5)/10*(-36)/(-45). Which is smaller: g or 22?
g
Suppose 0 = 3*l - 0*l - u - 29, -2*u - 50 = -5*l. Let q = 15 - l. Suppose q*f = 2*f - 5. Which is smaller: f or -1/3?
f
Let f be (6/(-3))/(-2 - (-5)/3). Let h be ((-2)/f)/((-34)/51). Which is bigger: h or 2?
2
Let n = -2443/5141 + 23/53. Which is smaller: 3 or n?
n
Let r be -2*1/(-8)*(-54 + 49). Is 0 at most r?
False
Let y = 60.2 - 37.2. Does y = 2?
False
Let g = -102 + 177. Let h be ((-4)/290)/(3*(-20)/g). Which is smaller: h or 1?
h
Suppose -v - z + 100 = v, 3*z = -5*v + 251. Is v != 45?
True
Let d = -1/92 - 1093/1012. Which is bigger: d or 0.2?
0.2
Let f be 2*3 - (-9 + -7449)/(-11). Is -673 at least as big as f?
False
Suppose 103 = 13*v + 116. Let j(l) = -l**2 - 4*l + 3. Let n be j(-4). Let m be (-45)/21 + 3/n. Which is smaller: m or v?
m
Let m = 185.1 - 175. Let b = m - 10.2. Which is smaller: -1/2 or b?
-1/2
Suppose 2*f = -3*h + 74, -f + 2*h - 28 = -65. Is 41 greater than f?
True
Let q = -1394844/79 + 17656. Is 1 greater than q?
True
Suppose 11*x = 27*x + 48. Which is greater: x or 0.09?
0.09
Let p(m) = -m**3 - 6*m**2 + 5. Let s be 2/1*(-4 + 1). Let k be p(s). Let w be (-1)/((-2)/8) + -1. Is w bigger than k?
False
Let j = 49 - 39. Suppose j*m - 5*m = -5. Is 2/53 < m?
False
Let j be (20/(-8))/(1/78). Which is greater: j or 1/3?
1/3
Let h = -13 - -11. Let g be h*(-5)/45 + -1. Which is smaller: 0 or g?
g
Suppose u - 8 = -3*u. Let j = -1868 - -7203/4. Let l = 68 + j. Are u and l non-equal?
True
Let w = -32 - -35. Suppose -2 = 3*l + o + w, 2*l - 2*o = -6. Which is smaller: l or 15?
l
Let r = 9 + -8. Let t be (r/2)/((-3)/(-10)). Suppose 0 = -7*i + 2*i + 10. Is i greater than or equal to t?
True
Let r be 5 + (2 - 3/1). Suppose -135 = r*j - j. Let f be 6/j*3 + -2. Are -2 and f equal?
False
Suppose -5*u + 6 = -3*k, k = -k + 3*u - 3. Suppose k*h = 4*h - 8. Let j = 19 + -25/2. Is j less than h?
True
Let u = 241 + -121. Let d be ((-580)/6)/(16/u). Let a be 4 + (-4 - 10/d). Is a > 1?
False
Suppose 5*v = 5*w + 40, -5*w = -6*w + 3*v - 14. Let z = 8 + w. Suppose 20 - 2 = -z*b. Which is smaller: -5 or b?
b
Let y = -2.11 + 2.09. Let b = -2/29 - 25/58. Is b > y?
False
Suppose 113 = 5*q - 27. Let t = 72 - 44. Is q at most as big as t?
True
Suppose 23*h = 16*h + 329. Is 32 bigger than h?
False
Let q be (-1)/(-3) + ((-37)/3 - -12). Let s = 299 + -5085/17. Which is greater: q or s?
q
Let y = -2/49 - -57/196. Let g be 8/(-48) + (-41)/6. Let h be (-1 + 3)/(g + 2). Which is smaller: h or y?
h
Suppose -v - 8 = q, -3*v = -2*v - 2*q + 11. Suppose -12*u - 5*w - 30 = -7*u, 5*u = w - 18. Which is smaller: u or v?
v
Let s(r) = r + 7. Let y be s(-7). Let k = 15 + y. Suppose -1 = -2*x - k. Which is smaller: 0.2 or x?
x
Let i(x) = x**2 + 4*x + 1. Let h be i(-3). Suppose -3*w = 3*r + 11 - 77, -3*w = 4*r - 66. Let b = w - 19. Is b at least as big as h?
True
Suppose -5*w + n + 1 = 0, 2*w + 1 = -2*w - n. Let s = -50761 + 354657/7. Let r = s + 95. Is w >= r?
True
Let p = 40 + -153. Which is smaller: -114 or p?
-114
Suppose 0 = 8*m + 11*m + 323. Which is greater: -2 or m?
-2
Let p be (-1)/(-2) - (-1)/2. Let x be ((570/(-250))/(-19))/(-1). Which is bigger: p or x?
p
Suppose -4*m = 3*a - 6674, -301 = -a - m + 1925. Let i be 12/(-6) + a/24. Let q = i + -91. Is q <= 0?
True
Let s be ((-99)/45)/11 + (-206)/(-10). Which is greater: 20 or s?
s
Let u be (-2)/(-1)*(22/(-24) - -1). Which is smaller: 10 or u?
u
Let l = -0.31 + 0.51. Let j = -0.2 + 0.1. Which is smaller: l or j?
j
Suppose 25*q + 56 + 519 = 0. Which is smaller: -21 or q?
q
Suppose -696 + 696 = 2*s - 9*s. Let f = -18 + 32. Let z be (-4)/f - 101/(-378). Which is greater: s or z?
s
Let o(i) = i - 4. Suppose 0 = z + 4, -4*v + 5 = -z - 23. Let c be o(v). Let y be (-1)/c - 4/(-8). Which is smaller: -13 or y?
-13
Let q = 9 + -5. Suppose -4 - 2 = -2*v. Suppose 0 = -q*r + r - v. Is 2/11 greater than or equal to r?
True
Let g = 46/17 + -1300/493. Let u be (-14)/18 + 16/(-72) - 2. Let f be 1*(8/4 + u). Which is smaller: f or g?
f
Let b(y) = 2*y**2 - 3*y + 3. Let n be b(2). Suppose -n*x = 7 - 12. Which is bigger: x or 1/24?
x
Suppose 3*d + 2 = q, -5*d - q - 2 = -2*q. Suppose 9 = 3*o, 3*v + 0*o + 5*o = -81. Let z = v - -229/7. Do z and d have the same value?
False
Let q be (20/25)/(2/5). Let r = q - 1. Let k(c) = c**3 + 11*c**2 - 12*c. Let w be k(-12). Is r >= w?
True
Let j be ((-52)/(-13) - -1254) + 7. Is 1265 equal to j?
True
Let c(y) = -y**3 - 3*y**2 + 4*y + 1. Let g be c(-4). Let q(u) = u**2 + 6*u + 4. Let b be q(-3). Let m be 0 + g + (b - -4). Is -1 at most as big as m?
True
Let r(w) = 4*w**3 + 4*w**2 + 12*w + 11. Let m(h) = h**3 + h**2 + h. Let t(q) = 5*m(q) - r(q). Let u be t(-3). Is u less th