uppose -25 + 150 = 5*c. Suppose 0 = -5*m - c, 0*m = -f + m + 5. Are f and -4/3 unequal?
True
Let k = 362 + -367. Which is bigger: k or 0?
0
Let q = 451 - 451.1. Is 470 greater than or equal to q?
True
Let c = -55724/9 + 6192. Let z be (-10)/(-6) - (-1)/3. Let v = -3 + z. Which is greater: c or v?
c
Suppose -16 - 32 = 4*m. Let s be 111/m - -6 - (-4 + 0). Is 0.1 <= s?
True
Let z(h) be the second derivative of 5*h**3/2 + 5*h**2/2 + 19*h. Let m be z(2). Is m less than 0?
False
Let a be (12/(-24))/(2 - 267/(-12)). Is -1 >= a?
False
Let w = -12176/390637 + 6/199. Which is greater: -1 or w?
w
Suppose 797 + 223 = -30*j. Which is greater: j or -8?
-8
Let i = -0.04 + -0.96. Suppose 0 = c - 4. Suppose -j - 75 = c*j. Is i equal to j?
False
Suppose -1864 = 9*z + 413. Is -253 < z?
False
Let q = 100/37 + -5795/296. Is q at most -16?
True
Let l = 860461 - 80020535/93. Let h = l + 6/31. Let o = -623/24 + h. Is 0 >= o?
True
Suppose 5*d - 8 = 2*c, -3*d + 3*c - c = -8. Let w = -0.19 - -0.14. Is d bigger than w?
True
Let r = 33.8 - 38. Let y = 1.2 + r. Let g = y + 7. Which is greater: -2/7 or g?
g
Let n be 18/14 - (-8)/16*-2. Which is greater: 0 or n?
n
Let q be (-15)/6*(7 - 1). Let k = 15 + q. Suppose k = -g + 3*h + 8, 6*g = 3*g + 3*h. Are g and -2 non-equal?
True
Let l be (7 + (-2 - 0))*64/(-1120). Suppose 3*b = 2*b + 2. Suppose b*h - 4 = -0. Are l and h equal?
False
Suppose 5*r = 2*r. Suppose -2*y + 5*d - 7 + 28 = r, 0 = y + d. Let f be ((-4)/3)/(-1 + y). Which is smaller: 0 or f?
f
Let s = 12 + -10. Suppose -f = 2*o - 6*f + 35, -s*f - 58 = 4*o. Is -17 at least o?
False
Suppose 6*z - 2*z - 80 = 0. Let l = z + -9. Which is smaller: l or 10?
10
Suppose 5*g + 11 = -y - 52, -4*g = 4. Which is smaller: y or -286/5?
y
Let t be (1/2)/((-2)/(-4)). Let h = 163/2 + -637/8. Is h at most t?
False
Let i(a) = 2*a**2 + 15*a - 41. Let g(u) = -3*u**2 - 22*u + 61. Let x(f) = -5*g(f) - 8*i(f). Let w be x(-12). Is -5/8 bigger than w?
True
Let r = 0.79 - 0.4. Let h = -0.2 + r. Let b = h - 10.19. Is -1 >= b?
True
Let j = 73 + -48. Suppose 9*c = 8*c + 2*m - 9, -5*c = -5*m + j. Suppose -5*w + 30 = a + a, 3*a - 3*w - 3 = 0. Which is greater: c or a?
a
Let m = 150 + -179. Are -30 and m non-equal?
True
Let u = 209 + -217. Suppose -3*q = q - 5*o + 42, 4*o = q + 16. Is u <= q?
True
Let w be 0/(21/((-357)/17)). Let q = 7/43 + 223/215. Which is smaller: q or w?
w
Let m be ((-108)/(-264))/((-1)/2*1). Let o = m + 47/44. Let f = -1.28 + 0.08. Which is smaller: f or o?
f
Let j be ((-70)/(-105) + 14/(-12))*14. Is j < -37/5?
False
Let a be 6/14 + 30/(-21). Let u = 2040/13 - 157. Is u > a?
True
Let t(k) be the third derivative of -6*k**2 - 1/6*k**3 + 0 - 1/60*k**5 + 1/6*k**4 + 0*k. Let n be t(3). Which is smaller: n or 1?
1
Let x be (0 - -2)/((-336)/(-4200)). Is 426/17 at least x?
True
Let n = -321 + 321.04. Is -31 equal to n?
False
Suppose -u = -5*u - 12, 0 = f - 3*u - 10. Which is greater: -5/339 or f?
f
Let b(o) = 2*o**3 - 2*o**2 - 5*o + 8. Let x be b(4). Suppose 6*w - 3*w = x. Is w bigger than 28?
False
Let f = 1193 - 53683/45. Let n = -18 + 26. Suppose -11*a = -16*a + n*a. Which is smaller: f or a?
a
Let y be 4 - (0 + (-33)/(-9)). Let i(t) = -t - 16. Let u be i(10). Is u >= y?
False
Suppose -3*k + 4*c = -50, k + 2 = -3*c - 3. Which is smaller: 61/6 or k?
k
Let l be ((-8)/70)/(32/(-14672)). Is l greater than 51?
True
Let z = -397 + 369. Is z less than or equal to -25?
True
Let x = -654 - -653. Is -0.098 not equal to x?
True
Let i be (249/(-63) - -3)/((-6)/(-9)). Which is smaller: i or -0.2?
i
Let d be 3/(-16)*-4 - (-458)/8. Let i = d + -60. Which is smaller: -17 or i?
-17
Let q = -107 + -9. Is q >= -120?
True
Suppose -6 = -4*i - 4*m - m, 0 = i + m - 2. Let p(a) = -a**2 + 9*a - 10. Let c be p(7). Suppose -c*r = 12 + i. Which is bigger: r or -3?
-3
Suppose 8*m - 1 = 9*m. Let c(s) = -2*s - 7. Let u be c(-5). Suppose 0 = -5*a - u*d, 0*d - 4*d = a. Is m bigger than a?
False
Suppose -2*i + 14 + 8 = 0. Let j = 1108 - 1105. Which is bigger: j or i?
i
Let m(f) = f**3 - 7*f**2 - 8*f + 2. Let j be m(8). Let l be j - 2/2*-1. Let b be (-4)/l*3 + -1. Which is bigger: -4 or b?
-4
Let p = -7 + 9. Let g be 1/(-4 + 7/p). Is -3/5 less than or equal to g?
False
Let h(n) = -2*n + 5. Let j be h(-9). Suppose -8 = -12*r + 244. Which is greater: r or j?
j
Suppose n + 8 = 4*h, -3*h - 3*n + 11 = -5*n. Which is smaller: h or 1/154?
1/154
Let f(b) = -2*b - 26. Let z be f(-13). Let u = z - -60. Let c be -4 - 2*u/(-27). Is c >= -1?
True
Let c(h) = h**3 + h**2 + h + 4. Let d be c(0). Suppose 3*r + 3 = 6. Suppose -5*i - d = r. Which is greater: i or -3/5?
-3/5
Let c be 126 + 4 + (5 - (-66)/(-6)). Is 126 >= c?
True
Let n(c) = 10*c**2 - 5*c + 4. Let q be 0/(-2) + (-4)/20*-5. Let v be n(q). Which is bigger: 3 or v?
v
Let n = 2605/11 - 237. Are 3 and n equal?
False
Let f be 5/(35/12) + (-62)/(-217). Suppose -5*m = y + f + 2, 0 = 2*y - m - 14. Is y >= 6?
True
Let i = 0.631 - 0.531. Is i < -822?
False
Let g be (-30)/(-30) - (-376 - -1). Is g at least 378?
False
Let u(p) = 2*p**2 + 18*p - 12. Let x be u(-9). Suppose 4*o = -s - 2*s - 34, 0 = -5*s - 3*o - 53. Is x < s?
True
Suppose 2*o - 557 - 327 = -l, -4*l = 0. Is o != 442?
False
Suppose 9 = -x + 11. Suppose x*k - 14 = 2*c, 0*c - 5*k - 28 = 4*c. Let s = -7 - c. Which is smaller: 2/19 or s?
s
Let f be 1272/10 - (15/25)/3. Let o be 5 + 2 + -7 - (-1)/f. Do 1 and o have the same value?
False
Suppose -3*p - 6 = -3*u, 3*u + 5*p - 7 + 17 = 0. Is u bigger than 9/91?
False
Let z be 576/20 - (-2)/10. Let n = 16 + z. Which is smaller: n or 43?
43
Let l be 186/(-14) + 2/7. Let j(y) = y**3 - 15*y**2 + 15*y + 8. Let k be j(14). Let h = l + k. Which is smaller: 7 or h?
7
Let n = -370 + 1829/5. Which is smaller: -3 or n?
n
Let x be ((0 - -16) + -1)*1. Let h be (-4)/10 + (-24)/x. Let o be 3 + (1 - 68/14). Which is greater: h or o?
o
Let b = -1.019 - -89.219. Let y = -88 + b. Which is smaller: y or -8?
-8
Suppose 55*r + 500 = 53*r. Let x be 1 + -2 - (-3)/((-45)/r). Which is smaller: x or 16?
x
Let h be (2 - 12) + (-12)/4. Let o = -12 - h. Suppose 3*z - 14 = o. Is 0 <= z?
True
Let m be ((-16)/(-14))/(32/(-112)) - -3. Is -1/2721 at least as big as m?
True
Let k = 6 + -9. Let l = 57 + -42. Let h be (l/135)/((-2)/28). Which is smaller: h or k?
k
Suppose 7*c = 3*c + m - 5, 0 = 2*m - 10. Let i be 2 + 4/(8/(-14)). Let g be 62/(-80) - 2/i. Is g < c?
True
Let p = -1042 + 5208/5. Which is smaller: -5/7 or p?
-5/7
Suppose 226 - 46 = -5*w. Let k be 24/w - (-5)/7. Is 1 > k?
True
Let m be ((-15)/(-10))/(16/32). Let i = 15 + -11. Let v(x) = x**2 - 3*x - 5. Let d be v(i). Which is smaller: m or d?
d
Let b(h) = h**3 + 6*h**2 + h + 5. Let c be b(-6). Suppose 0 = -2*t + 4*p + 24, t = -0*t + 3*p + 17. Suppose 9 = m + t*m. Is m greater than or equal to c?
True
Suppose 3*y + 0*y = -2*n - 1, 5*n = -4*y + 1. Is y at most as big as 16/43?
True
Let u be (2*-5)/((-6)/12). Let j be u/2*2/5. Suppose q = -j*q. Is q <= -5?
False
Suppose 5*i + 1838 = -3*y, -4*i - 4*y - 1469 = -3*y. Do i and -368 have the same value?
False
Suppose -p + 2*p = -4. Let g be 21/9 - p/(-12). Let y = 16 - g. Which is smaller: y or 15?
y
Suppose 0 = 4*l - 4*s - 24 - 32, 2*l + 4*s - 22 = 0. Suppose 5*i + 2*f = l, -3*f + 7 + 5 = 5*i. Is i greater than 45/11?
False
Let a(m) = -3*m - 4. Let p be a(-3). Suppose 2*f + u + 11 = 6*f, 3*f - 7 = u. Is f at least as big as p?
False
Let f = 11184 - 11096.23. Let m = 88 - f. Which is smaller: m or -3?
-3
Let q be ((-2)/4)/(13/(-52)). Let j = 29 - 20. Which is smaller: j or q?
q
Let m = -1562/3 + 530. Let d = m - 8. Suppose 0 = -5*s + k + 8, 3*k + 3 = -2*s - 4. Which is greater: d or s?
d
Let j be (48 + -8)/(-8) - -12. Which is smaller: -101 or j?
-101
Suppose 3*g - 3013 = -20*g. Which is greater: g or 133?
133
Let z = 0.33 - 0.13. Let j = z - 0.4. Let w = 0.06 - -2.94. Is w greater than j?
True
Let j be 8/(-12)*(-15)/(-2). Let h = -3 + -4. Let a(m) = -2*m - 21. Let r be a(h). Which is smaller: j or r?
r
Let w = 1913 + -1492.1. Let f = w - 443. Let l = 22 + f. Which is bigger: l or -13?
l
Suppose -67*y + 60*y + 7 = 0. Does 11/31 = y?
False
Suppose p - 18 = 8. Suppose 5*z = p + 79. Suppose -r - 17 = 4*h, -4*h - h - z = r. Are -6/13 and r non-equal?
True
Let r = 6 - 5.9. Let s = -43 + 62. Let v = s + -13. Is r greater