
Suppose 51 = -3*w + 291. Is w at least 81?
False
Let d(x) = -x - 4. Let c be d(-9). Suppose 0*y - 5 = y - 4*f, -150 = c*y + 5*f. Let v = -19 - y. Which is bigger: v or -0.2?
v
Suppose 3*c = -2*b - 37, c + 2*b + 50 = -3*c. Let g = 13 - c. Is 27 < g?
False
Let a(s) = 4*s + 33. Let f be a(-18). Let y be (-13)/f + (-2)/9. Which is bigger: 0 or y?
y
Let j(n) = 11*n - 4. Let r be j(5). Let d be r/12 + (-2)/8. Let q be (d/1)/(-5 + 3). Which is smaller: q or -1?
q
Let d = 245.517 + -245. Let b = d - -4.663. Let v = 0.18 - b. Which is bigger: 1 or v?
1
Let t(v) = v**3 - 6*v**2 - 3*v + 5. Let j be t(6). Suppose -5*o + 110 = -4*d, -2*d - 3*d + o = 127. Let h = d - j. Is -23/2 less than or equal to h?
False
Suppose -4*o = -4*f - 524, -f - 2*o - 55 - 85 = 0. Let d = f + 121. Suppose 39 = 3*a - 6*a. Is a > d?
False
Let h = 186 - 187. Which is smaller: -2/55 or h?
h
Let n = -0.09 - -10.09. Let p = n - 10.09. Which is smaller: p or 0?
p
Let x(m) = -m**2 + 21*m + 13. Let n be x(22). Is n smaller than -6?
True
Suppose 0 = 4*q - 3 - 61. Let u = q + -17. Which is smaller: -1/19 or u?
u
Let n be (1 - 14) + (-1)/(1/5). Let h = -23 + 2. Is n bigger than h?
True
Suppose 5*d = -5*v + 3*v + 143, 151 = 5*d + 4*v. Suppose 8*z + d = 5*z. Let c be (-2)/8 - (-31)/(-4). Which is bigger: c or z?
c
Let w be (-6)/4 - 1/(-2). Let t be (-21)/(((-16)/(-28))/(-4)). Let x = t + -147. Is x > w?
True
Let y(f) = -f**2 + 4*f + 20. Let h be y(11). Is -57 less than or equal to h?
True
Let u be -3 + 1 + ((-210)/(-9) - -2). Let l be -23*1/2*-2. Let s = u - l. Which is smaller: s or 1?
s
Let s = 2 + -4. Suppose 0 = -3*j - 0*j - 12. Are s and j non-equal?
True
Let x = 584.3 - 576. Is 0.2 bigger than x?
False
Let l(g) = -g**2 - 5*g + 4. Let m be l(-6). Suppose 8 = 4*z - 52. Suppose -7*b = -2*b + z. Which is greater: m or b?
m
Let w = 113 + -13. Which is smaller: w or 494/5?
494/5
Let x = 3/46 + 71/322. Suppose 3*a - 3*w + 6 = -0*w, -2*w = -10. Let t be 9/(4/(-8)*a). Is x at least t?
True
Let b be (-2 - 40/(-14))*(-35)/5. Which is smaller: -0.08 or b?
b
Let s = -7127 - -50175/7. Which is greater: s or 40?
s
Suppose -4*l - 4*f - 53 = -f, 105 = -5*l + 4*f. Let t = l + 17. Let m be -2 + 20*(-1)/(-11). Which is bigger: t or m?
t
Let b = 14 + -16. Let f be (b/(-4))/(4/8). Is 2/17 greater than or equal to f?
False
Let r be 7587/45 - (-6)/45*3. Do 171 and r have different values?
True
Suppose -5*y - l = 3, -l + 5 = -5*y - 2. Let f = -2511/2888 - 2/361. Is f at least as big as y?
True
Let m = -1211/5 + 8487/35. Is m less than or equal to 0.183?
False
Let h = 27.21 + -27. Let q = -62.31 + 62. Let u = h + q. Which is greater: u or -13?
u
Let x be (238/(-40))/(42/(-315)). Is 44 less than x?
True
Suppose 5*g = 4*g - 36. Suppose 46*p - 78*p - 1120 = 0. Which is bigger: g or p?
p
Let k(h) = 3*h + 21. Let f be k(-7). Let r = -1/129 - -397/1290. Is r >= f?
True
Let p = 3 - -101. Let q = -102 + p. Let n = 3 - 3.01. Is q smaller than n?
False
Let l = 72 + -139. Let z = 67.1 + l. Is 0.15 smaller than z?
False
Suppose -3 = s + 5. Let k = s + 9. Let v be k - 0 - 2/(-7). Which is greater: 1 or v?
v
Suppose -2*u + 5*u = 0. Suppose 7*c - 4*c = 12. Suppose 0 = 2*d + c + 4. Is d less than or equal to u?
True
Let t(p) = p - 1. Let g be t(2). Let b be 1/(g/(-3 + 7)). Let k = 153 + -150. Is k less than b?
True
Suppose 0*a - 140 = -4*a. Let f be 7/a - (-1)/(-55). Which is bigger: f or -10?
f
Let c be 3*1483854/225*-5. Let r = 98457 + c. Let v = -465 - r. Which is bigger: v or 3?
3
Suppose 5*y = -4*i + 7, -3*y + 7 = i - 0*i. Suppose -d - 5 = -4*v - 25, -v - 60 = -y*d. Is d less than or equal to 19?
False
Let a be (-4)/(-26) - 4/26 - -3. Let p be (-3)/(-27)*a*(-5 + -4). Let x = -15 - -13. Do x and p have the same value?
False
Let m = 595 + -593.941. Let v = m - 0.059. Let b = -2 - -7. Are b and v non-equal?
True
Let a(l) = l - 8. Let q be a(10). Suppose 4*p = -w + 20, -q*w + 4*p = 2*w. Suppose 0 = 3*y - y - 8. Is y not equal to w?
False
Let o = -45/4 - -503/44. Let a be (3 - 25/10) + 3/6. Which is bigger: a or o?
a
Let v = 3121/1827 - 50/29. Suppose -2*t + 10 = 5*l, 0 = t - 5*l + 4*l + 2. Is t less than v?
False
Let m = -7320/11 - -380409/572. Let g = 2/13 + m. Suppose 9*z = -3*o + 8*z, 4*z + 9 = -3*o. Which is bigger: g or o?
o
Let u = -15 - -12.2. Let q = 0.1 - u. Let c = 1.9 - q. Which is smaller: -0.15 or c?
c
Let n be 0/(-4 - (-7)/(28/12)). Let a = -76 - 23. Let o be (-24)/a + 1/(-3). Which is greater: o or n?
n
Suppose 5*l = 4*v - 3*v - 16, 3*l - 3 = 0. Is 27 equal to v?
False
Let w = -4345990990/61 - -71247317. Let b = w - 1563. Is b not equal to -1?
True
Let s = 1624 - 857. Let o = -9977/13 + s. Which is greater: o or 1?
1
Let w = -22.32 + 0.82. Let r = -21 - w. Let o = r + -0.2. Is o less than -2?
False
Let f = -13.61 - -26.9. Let n = 13 - f. Let x = 8.29 + n. Which is smaller: 2/3 or x?
2/3
Let n be ((-111)/6)/((-4)/16). Let z = 378/5 - n. Let m = 7/5 - z. Which is greater: m or -0.07?
-0.07
Suppose 3*y = 5*y. Suppose 0 = 3*m - 3, 8*m = 2*k + 4*m - 16. Suppose 5*t - k*t = y. Is 1/8 bigger than t?
True
Let q(x) = 5*x + 41. Let p be q(-9). Suppose -5*t + 5*b + 5 = -t, 0 = 4*t - 3*b - 3. Suppose t = 5*f - 3*f + 12. Is f greater than p?
False
Let r = 0.18 + -0.06. Let b = -4.88 - r. Let t = 2 - b. Is 0.1 greater than or equal to t?
False
Let t(k) = -k + 27. Let s be t(25). Suppose 5*v = 2*b + 365, s*v - 2*b - 220 = -74. Which is bigger: 72 or v?
v
Let q(w) be the second derivative of w**4/12 + 5*w**3/6 + w**2 + 5*w. Let i be q(-2). Let f be 3 + 0 + 13/i. Which is bigger: 7 or f?
7
Let w = 0.0731 + 0.1269. Which is greater: w or 92?
92
Let i(x) be the second derivative of x**4/12 + 2*x**3/3 - 7*x**2/2 - 8*x. Let p be i(5). Is p smaller than 38?
False
Suppose -1211 = 10*n - 411. Let m be (n/(30/6))/(-22). Is m > 2?
False
Let p = -1104607/1626 - -11/1626. Let x = p - -669. Which is smaller: x or 1?
x
Let m be (2/(-6) - -1)*(-37698)/824. Is 0 equal to m?
False
Suppose 3*j - 13 = -2*a + 14, 4*j - 64 = -4*a. Let b = a + -21. Let l be (-4 + b)/4 - 1. Is l >= -9/5?
False
Let r be (-14)/(-5)*25/5. Suppose -5*w = 4 - r. Let m be ((-3)/(-108)*w)/(-1). Which is smaller: m or 1?
m
Let l = 1848/5 - 368. Let i = 78/55 - l. Is 3/2 at least i?
True
Let o = -17 + 5. Let f be (9/o + 13/12)/2. Is f smaller than -2?
False
Let o = -5 - -5. Let k be 1 - ((-513)/(-1098) + (-2)/(-4)). Does o = k?
False
Suppose -79 - 49 = 4*c + 2*s, 0 = -3*c - 5*s - 103. Let m = c + 24. Is 2 less than m?
False
Let s(m) = -m**2 + 11*m - 4. Let n be s(9). Suppose 20*z = 18*z - n. Let b = 11 + z. Which is smaller: 3 or b?
3
Suppose -292 - 214 = 2*l. Is -252 smaller than l?
False
Let f(v) = 52 - v + 45 - 94. Let y be f(10). Is y at least -3?
False
Let r be 6/4*1100/30. Which is smaller: 56 or r?
r
Suppose -3*r = -4*r. Let i be ((-1)/(-34))/((-3)/(-72)). Is i greater than or equal to r?
True
Let t(d) = -d**3 - 30*d**2 + 34*d - 86. Let o be t(-31). Are o and -717/4 equal?
False
Let s = -7 - -24. Let z = -20 - -17. Let n = 19 + z. Is n less than or equal to s?
True
Let k(h) = 3*h - 8. Let a be k(1). Is 20 less than or equal to a?
False
Suppose c - 2*s = -c + 6, 5*c + 5*s = -25. Let q be (c + 37/15)/(9/(-30)). Is q greater than or equal to 0?
False
Let m = -1.38 - -1.1. Let d = 0.72 - m. Which is smaller: 2/7 or d?
2/7
Suppose 2*v - q = -5*q, 0 = -5*v + 5*q. Suppose -g - g - 4*a - 48 = v, 0 = 5*g + a + 93. Do -18 and g have the same value?
True
Let p = 3.2 - 0.3. Let h = -2.868 + p. Is 1 < h?
False
Suppose i - 95 = 289. Suppose 386*m = i*m - 20. Which is bigger: -68/7 or m?
-68/7
Let v be (-6*2/15)/((-287)/(-1230)). Which is bigger: 3/2 or v?
3/2
Let r be (3 + -2)/(68/42276*-3). Let s = -207 - r. Is 2/3 not equal to s?
True
Let l(y) = 3*y - 1. Let c be l(1). Let r = 5 - c. Let f = 24.54 + -25.54. Is r bigger than f?
True
Suppose -4*w + 240 - 84 = 0. Suppose -3*i - w = -2*a + 4, a - 3*i - 23 = 0. Which is greater: 18 or a?
a
Suppose 382 = 3*y - h, y - 6*h + 10*h - 149 = 0. Is y less than or equal to 132?
True
Let f(p) = -p**2 + 21*p - 69. Suppose 4*i = 4*m - 2*m - 42, -3*m + i = -53. Let y be f(m). Is y at most 1/30?
True
Let k(a) = -a**2 - 10*a. Let g be k(0). Which is smaller: 2/55 or g?
g
Let k(z) = z**2 - 19*z + 87. Let i be k(8). Let b = -519 - -31661/61. Is b