 19*c + 5 = 0. Let t be c + 3 - (-2 + 3). Is t greater than or equal to 1?
True
Let w be ((-144)/(-42))/2 + (-2)/(-7). Let r = -1 + w. Which is smaller: 10/9 or r?
r
Let p = -2726.4 + 2727. Let c = 21 - 85/4. Which is greater: p or c?
p
Let z be 1422/790*(17*2 - -1). Do 63 and z have the same value?
True
Suppose 22*h = -3631 - 1627. Which is bigger: h or -238?
-238
Let j = 1 + 5. Suppose 5*p + 4 + j = 0. Suppose -3 = -5*o + 6*o. Which is bigger: p or o?
p
Let s = 477 + -477.5. Which is bigger: -9 or s?
s
Let w = -3.8 + 2. Let d = 16 - 16.2. Let c = d + w. Which is smaller: c or 0?
c
Let r be 1 + 2/(-4) + (-3)/2. Let a(b) = -3*b + 1. Let l be a(1). Let o be (l - -13) + r - 0. Does 9 = o?
False
Let z = 117 + -86. Let m = 30.5 - z. Which is bigger: m or -3?
m
Let l = 937/2 + -468. Which is bigger: 195/2 or l?
195/2
Let v(d) = d**3 - 19*d**2 + 17*d + 15. Let t be v(18). Let n be 1*((-102)/10)/t. Which is smaller: 2 or n?
2
Let r = -39215.97 - -38875. Let u = r - -343. Let m = u + -0.03. Is -3 greater than m?
False
Let c = -63 - -41. Let m = c + 30. Let k be 8/(-32) + 6/m. Are k and 0 equal?
False
Let f be 1/((15/5)/(-75)). Which is smaller: f or -20?
f
Let t(w) = w**3 + 12*w**2 - 9*w - 22. Let m be t(-12). Suppose -5*u + 4*r + m = -2*u, -4*r = -16. Which is greater: 35 or u?
35
Suppose 5*y = 6*y - 226. Is 225 less than y?
True
Let c = 10.19 + -0.19. Let k = c - 6. Let m = 3 - k. Is -8 > m?
False
Suppose 88 = -a - 3*a. Let m = a + 22. Is m at most as big as 3/37?
True
Let f = -0.355 - -0.155. Is -0.2 at least as big as f?
True
Let r = -12.001 - -0.001. Let l = -2.3 - -2.1. Which is bigger: l or r?
l
Let b be (35/(-10))/(1*2/(-68)). Which is smaller: 118 or b?
118
Let n = -0.03 + -0.14. Let c = 0.17 + n. Which is bigger: c or -7?
c
Suppose -3*i = a - 991, 158 = i + 3*a - 159. Which is bigger: i or 333?
333
Suppose 3*h - 5*d + 14 = 0, d = -3*h + 8*h - 6. Suppose -1 = -h*i + 1. Let c be 2/(-2)*-1 + 1. Which is bigger: i or c?
c
Suppose -3*n + o + 588 + 1252 = 0, n = -o + 616. Is n > 615?
False
Suppose -i = i. Let x(p) = -p**3 + 7*p**2 - 7*p + 6. Let h be x(6). Is h not equal to i?
False
Let r be (4/3)/((-6)/(-9)). Suppose -18*w + 17*w = -r. Suppose -w*g - 12 = -3*a, 19 = 4*a + 5*g - 20. Is a less than 7?
True
Let t be ((-4)/(-10)*5)/2. Suppose 0*g + t = g. Are g and 3/25 unequal?
True
Let c be 14125/9750 - (-1 - (-5)/2). Is c > 3?
False
Let z(y) = -10*y + 29. Let f be z(5). Is -20 < f?
False
Let q be (-1)/((-1)/4 - 1). Is q not equal to 1/16?
True
Let f = 89 - 78. Suppose 3*z + f = -13. Which is smaller: z or 2/19?
z
Suppose -5*t - 22 = -3*t. Let b be t + (0 + -2 - -3). Let l = 12 + b. Which is greater: l or 3/4?
l
Suppose -2*n + 6*n - 36 = 0. Let u = -10 + n. Is 2/7 > u?
True
Suppose 5*k - 3*r - 7 = 0, -2*k - 4 + 18 = -4*r. Let o(l) = -l**3 - 11*l**2 - 12*l - 14. Let u be o(-10). Let t be ((-26)/36)/(2/u). Which is smaller: k or t?
t
Let q = 921 - 10130/11. Which is smaller: q or 1?
q
Let v = -137 + 21. Let x = 84 + v. Is x at least as big as -32?
True
Let w = 29 - 3. Let u = w - 25. Is -1/4 greater than u?
False
Let d(g) = g**3 - 9*g**2 + g - 5. Let f be d(9). Let n = 7 + 2. Which is smaller: f or n?
f
Let o be (1/32)/((-11)/(-66)). Suppose 1 = -2*i + 11. Suppose -i*g + 2*q + 5 = -q, -q = -3*g + 3. Is o smaller than g?
True
Let q = 5019 - 5020. Let j(n) = n**3 + 11*n**2 - 5*n - 8. Let m be j(-8). Let u = -679/3 + m. Which is greater: u or q?
q
Suppose 5*u = 4*w + 101, -3*w - 31 = 4*u - 87. Let m be (-2)/(-8) - u/100. Suppose p + 2 = 5*x, -x - 2*x + 3*p = -6. Is m less than or equal to x?
False
Suppose 0 = 7*z - 3*z + 3*g - 192, 5*z - 239 = -4*g. Does z = 12?
False
Let f be (10 - 10)*(2 - 1). Suppose -h - 5*m + 27 = f, -8 = 2*h - 3*m - 23. Is 12 bigger than h?
False
Let t(m) = m**3 - 19*m**2 - 26*m + 62. Let w be t(19). Which is bigger: -434 or w?
w
Let m = -25 - 50. Suppose 4*f + 3*b = -322, -f - 63*b - 100 = -59*b. Which is smaller: f or m?
f
Let v = -8 - -8.3. Let y = 0.84 - -26.66. Let c = y + -27. Is v at most c?
True
Let h = -101 - -105. Is h smaller than 50/11?
True
Suppose -2*m = 2*x + 3*x - 7, -x - 4*m + 5 = 0. Suppose -5*i = 4*w - 16, -3*w - x + 2 = i. Let j = 22 - 68/3. Is j smaller than w?
False
Suppose 12 = -15*q + 14*q. Let s(u) = -u**2 + 3*u + 18. Let w be s(-3). Which is greater: q or w?
w
Let k = -9 - -9.12. Let b = k + 7.88. Let h = b - 12. Is h equal to -1/2?
False
Suppose -v + 4*v - 5*l + 31 = 0, 0 = -2*v + 5*l - 29. Let f be 6 + v + -9 + 0 + 0. Which is bigger: f or -2/7?
-2/7
Let t be 1 - (2 + (-9)/3). Let f = 27 - 27.02. Let z = f + -0.38. Which is smaller: z or t?
z
Let y be (2 + -1)/((-3668)/(-168)). Which is greater: -1 or y?
y
Let w(y) = 0*y**2 + 3*y**2 + 12*y + 21 - 20 - 4*y**2. Suppose 0 = -n + 7 + 5. Let t be w(n). Is t greater than 9?
False
Let z = 1581 - 752. Do z and 0.1 have different values?
True
Suppose -5*n = -10*n + 25. Let u(k) = -5 - 4*k + k - n. Let p be u(-4). Which is greater: 3/2 or p?
p
Let s be (-1108)/610 - 252/(-140). Is s at least as big as 0?
False
Let n be (-352)/(-8) + (-1 - -2). Suppose -n = 46*y - 51*y. Which is smaller: 10 or y?
y
Suppose -3*b + 36 = -0*b. Suppose 3*g = -0*g + b. Suppose -3*q - 2 = g. Does -4 = q?
False
Let o be (-154)/132*2/28. Let c be 2/(-1) + -2 + 3. Is o bigger than c?
True
Let s = 1774 - 1773.9. Which is smaller: s or 136?
s
Let l(d) = d**3 - 12*d**2 - 17*d - 4. Let r be l(12). Let i be ((-12)/r)/((-1)/4). Is i equal to 1?
False
Suppose 0 = 5*c + 46 + 44. Let k be ((-8)/(-10))/(c/(-360)). Is k equal to 17?
False
Let p = -61 - -87. Let t = 27 - p. Which is smaller: 20 or t?
t
Suppose -54*x - 774 = -72*x. Is x equal to -0.1?
False
Let b(o) = -6*o + 4. Let u be b(-4). Let m(l) = -5*l**3 - 8*l**2 - 8*l + 4. Let x be m(-2). Is x at least u?
True
Let s(v) = 2*v**2 + 4*v + 168 - 172 - 7*v**2 + v**3. Let a be s(4). Is a bigger than -5?
True
Let q be 2/3*6/4. Let x(o) = -19*o**3 + o**2 - o + 1. Let t be x(q). Let w(f) = f**3 - 10*f**2 + 25*f - 161. Let p be w(9). Which is bigger: p or t?
p
Let x be 49/14 + 5 + -9. Which is bigger: x or 5/2?
5/2
Let u(a) = -4*a - 1. Let i be u(5). Let c be -4 + 4 + (i/(-36))/7. Is c bigger than 0?
True
Suppose 2*d + 4*d + 12 = 0. Let o = 38 + -31. Is o equal to d?
False
Let m = -66 - -728/11. Let z = 0.3 - 0. Does z = m?
False
Suppose 4*a + 155 = 5*m, 0*a - 150 = -5*m + 3*a. Which is bigger: m or 33?
33
Let i be ((-8)/(-4 + 6))/(-1). Let c be -21 - 0/(3*i/(-12)). Which is smaller: c or -20?
c
Suppose 14*r = 150 - 1998. Is -134 <= r?
True
Suppose 0 = 577*y - 566*y + 5368. Is -486 smaller than y?
False
Let h(m) = m**3 - 10*m**2 + m + 19. Let j be h(10). Let y = j - 30. Is 1/9 at least as big as y?
True
Let f = -29 - -20. Let n be 6*(132/308 - 54/28). Is f < n?
False
Let l = 213 - 359. Which is greater: -148 or l?
l
Suppose -10*m = -29 - 1. Let d(r) = 83*r**2 - 1. Let x be d(1). Suppose x = -m*a + 10. Which is smaller: -1/3 or a?
a
Suppose -d = -4 + 2. Suppose 0*r - 2*r - p = -11, 0 = d*r - 5*p - 5. Suppose t = r*t. Is -2/53 greater than t?
False
Let l = -9 + 8. Let x be (l/(15/6))/((-4)/(-8)). Let s = 2 + 0. Is s less than or equal to x?
False
Let t = 642 - 633. Is 0.5 bigger than t?
False
Let y = -43.2 + 54. Let l = y + -10.8. Is -10 != l?
True
Let v be 6/(-18) - (0 - (-21)/(-9)). Let j(d) = -d**3 + 3*d**2 + d. Let a be j(3). Suppose -a*u - v*u + 15 = 0, -3*n + 3*u = 6. Which is smaller: n or -9?
-9
Let b = 46 - 48. Is b at most -56?
False
Let y be 33*(25/(-15))/(-5). Let v = -10 + y. Let t = -2/23 + 0. Are t and v unequal?
True
Let o = 23.54 + -0.54. Let c = o - 24. Which is smaller: -0.062 or c?
c
Let z be 7 + (-12)/3 + -1144. Which is smaller: -1 or z?
z
Suppose -4*s = 3*k + 11, -2*s + 11 = -3*k - 6. Let y be 4 + -1 + 8 + k. Which is smaller: 3 or y?
3
Suppose -4*f + 0 - 8 = 0. Let w be (-3 - 24/(-3))/32. Let r = -49/96 - w. Which is smaller: r or f?
f
Let j = 913 + -607. Is j bigger than 304?
True
Let k be 4/28*12*(-11)/44. Which is smaller: 171 or k?
k
Suppose 0 = 4*y - 4*i + 44, 2*y = -2*i + 6 - 20. Which is bigger: -29 or y?
y
Suppose 2*b + 4*f = 3*b - 29, 0 = 2*f - 6. Let a = 70 - b. Which is bigger: 28 or a?
a
Let j = 0.032 + 72.968. Let i = -64 + j. Is i >= 1?
True
Let l = -1129 - -1129. Is 7/160 less than or equal to l?
False
Let m = 1