
Suppose 5*a + 2*c - 14 = a, -4*a + 11 = c. Suppose 4*h = 5*h + a. Which is bigger: h or -3?
h
Suppose 2*z - 20 + 8 = 0. Let p(t) = -t**3 + t**2 + t - 4. Let r be p(0). Let l = r - -8. Is l greater than z?
False
Let i = 38.7 - 180.7. Is i at least 0?
False
Let r be (15/(-150))/((-8)/5)*-3. Is r at least 1?
False
Let a be (-2)/(-4) - 13/2. Let j be (2 + a)*(-18)/(-8). Let q = -9 - j. Which is greater: q or -5/2?
q
Let l be ((-4)/((-48)/(-99)))/((-27)/(-792)). Is l greater than or equal to -243?
True
Let n be ((-200)/52 - -4) + (-45960)/(-52). Is n > 884?
False
Let o = -31/10 - -547/170. Let c = 223 - 222. Which is smaller: c or o?
o
Let a = 60 - 35. Let i = -34 + a. Is i equal to -10?
False
Let f = -1331 + 567. Let y = 3077/4 + f. Let d = y + -5. Are d and -1 equal?
False
Let b = 9.55 - 9.35. Is -20 less than b?
True
Let p = -250.71 + 254. Let j = p - 0.29. Let f = 0 + 8. Which is greater: j or f?
f
Suppose 0*u - 4*u = 44. Suppose 0 = h - 36 + 15. Let i = h + u. Is 8 smaller than i?
True
Suppose 0 = 10*u - 39 + 19. Suppose -4*f + 10 = -0*f - d, -f - 6 = 4*d. Is f >= u?
True
Suppose 4*i + 16 = 5*a, 4*i + a = 10 - 2. Is i < 1/128?
False
Let s = -0.1 + 0. Let p = s - -0.2. Let q = 2.45 - -0.55. Which is smaller: q or p?
p
Let t = 102/67 + -11013/7102. Which is bigger: -1 or t?
t
Suppose -3*p = -4*p + 9. Suppose 2 - 4 = -o. Suppose -m = o*m - p. Is 1 at most m?
True
Let o = -467 + 163. Is o >= -304?
True
Let q = 6 - -21. Let p = q - 26.8. Which is bigger: -7 or p?
p
Let q = -138.9 - -153.9. Is q at most as big as 1?
False
Suppose -58*x - 22*x = -80. Is x < 7/145?
False
Let t(g) = g**3 - 20*g**2 - 15*g - 105. Let s be t(20). Are -404 and s equal?
False
Let u(q) = q**2 + q - 2. Suppose -5*w + 5*m - 10 = 0, -6*w + m - 1 = -4*w. Let p be u(w). Suppose -5*n = 3*s - 8, 5*s + n - 50 = -p*s. Is 9 < s?
True
Suppose -16*r - 69 = -1733. Does r = 102?
False
Let x be -2 + (1 + 0)/1. Let i = -1443 - -10102/7. Is x less than or equal to i?
True
Let s(y) = y + 12. Let z be s(-7). Suppose 2 = -3*q + z*t, -3*q = -5*t + 2*t. Suppose 4*k = -12, 4*h - k + 4 = -5*k. Is q less than or equal to h?
True
Let q(m) = -8*m. Let t be q(-4). Suppose 5*n - 9 = -4*a, n - 5*n = -3*a - t. Suppose d = 5*c - 1, -d - 6 - n = 5*c. Which is smaller: -1 or d?
d
Let p be 3 - (2 + (-1 - 0)*-1). Let s be 2/9 - 76/18. Let f = s - -4. Is f equal to p?
True
Let s = -39.5 - -31.5. Which is greater: s or 0.17?
0.17
Suppose 16*p = 5*p + 220. Let u be ((-4)/2)/(p/50). Suppose 2*k + 4 = -0*k. Is k equal to u?
False
Suppose 2*f + 4 = i, -2*i - 3*i + 3*f = -20. Let g be (5 - -1) + (i - 5). Which is greater: g or 30/7?
g
Suppose -399 = -7*w - 12*w. Which is smaller: w or 22?
w
Suppose 4*h - g + 43 = 0, -3*h + 3*g = -6*h - 21. Is -128/13 at least as big as h?
True
Suppose 4*r + r = -5. Let p be -5 - -2 - (-1 - 2*-1). Let m be (-32)/(-11) + 0 + p. Which is smaller: m or r?
m
Let p = 509/3 - 171. Which is smaller: -11 or p?
-11
Let f be (7*18/84)/(1/2). Is f less than 3?
False
Let k(a) be the third derivative of -a**5/30 + 5*a**4/12 + a**3/2 + 17*a**2. Let i be k(5). Which is smaller: i or 7/4?
7/4
Let m = -0.185 - -0.105. Which is greater: m or -3?
m
Suppose 0 = 2*a - 8 + 6. Suppose -3*y + a + 1 = -2*v, 2*v = 2*y. Is 3 at least v?
True
Suppose -v + 5*a - 101 = -0*v, a = v + 85. Let n be v/7 - 3/7. Do n and -12 have the same value?
True
Let m(v) = 2*v**3 - 12*v**2 - 24*v + 64. Let a be m(7). Which is smaller: a or -9?
-9
Let q = -12402/5 + 2480. Let x = 75 + -377/5. Is x <= q?
True
Let t = -402 + 402. Is 9/38 equal to t?
False
Let s = -3.8 + 0.4. Let m = s + 3.6. Let f = 0.5 + 3.5. Is f > m?
True
Suppose 3*w + 19 = 2*j, 3*j + 2*w - 14 = -j. Let o(s) = s**3 - 5*s**2 - 2*s + 10. Let z be o(j). Are z and 0 equal?
True
Let z be (-82)/(-41) - (-2)/(-1). Which is smaller: z or -4/11?
-4/11
Let l be (-5 + 445/90)/((-1)/(-4)). Is l less than or equal to -9/8?
False
Let u = -41 - -43. Let k be 60/6*u/4. Suppose -3*o - 3*v = 90, -k*o - 226 + 82 = -v. Which is smaller: o or -30?
-30
Let b = 13 - 22. Let i = b + 6. Let r = -1 - i. Is 1/7 less than r?
True
Let f(p) = -6*p**2 - 3*p + 3. Let i(y) = y**2. Let o(v) = f(v) + 5*i(v). Let r = 142 - 148. Let a be o(r). Is -15 not equal to a?
False
Let l be 2 + 21/(-9) - (-44)/33. Let t be l*(-15)/(-225)*-3*1. Is -3 at most as big as t?
True
Let n be (8/(-18)*90/60)/1. Is -10 at least as big as n?
False
Suppose -21*r + 22*r + 5*a - 26 = 0, 0 = 2*r - a + 3. Is 1/208 smaller than r?
True
Suppose 7*t + 46 = 8*t - 3*p, -2*t - 4*p = -92. Which is bigger: t or 89/2?
t
Let z(u) = u**3 - 16*u**2 - 18*u + 16. Let j(c) = -c**3 - 8*c**2 - 9*c + 3. Let x be j(-7). Let d be z(x). Is d at least as big as 4/19?
False
Let s = 317 - 316. Is s at least -2/1581?
True
Suppose -13*u = -4*u - 198. Let m(d) = -2*d + 39. Let c be m(u). Is c greater than -25/6?
False
Let x = 23 - 23.051. Let k = 1.851 + x. Which is smaller: 2/3 or k?
2/3
Let j = -110966/66045 - -8/1785. Is -3 equal to j?
False
Suppose 3*n - 8*n + 5 = 0. Suppose -2*a = 2*a + 24. Let u be (a/8)/((-45)/(-18)). Which is bigger: u or n?
n
Let x = 36 + -15.4. Let m = -15 + x. Let u = m - 6. Is u at most as big as -1/4?
True
Suppose 0 = x + 3*u - 20, u = 4*x - 3*u. Suppose 0 = x*d - 3*a - 45, -d + 4*a - 8 = -0*d. Suppose d = 3*w - 3*l, 2*l + 17 - 4 = -3*w. Which is greater: w or -2?
w
Let d(f) be the first derivative of -3*f**2/2 - f - 2. Let i be d(2). Let r be ((-2)/21)/(39/i). Do r and 0 have the same value?
False
Let i = -1.7 + 3. Let h = 4.7 + -2.4. Let o = i - h. Which is bigger: o or -2?
o
Suppose 3*j - 2 - 3 = i, -5*i - 2*j = -26. Let y be (-1)/(-2) - 3933/(-1102) - i. Which is greater: y or 0?
y
Let l = -7/23 - -225/437. Let m = 617 - 616. Is m at most as big as l?
False
Let c = -18163 - -18164. Let a = 132/95 - 15/19. Let d = 26/35 - a. Is c at least d?
True
Let n(b) = b + 10. Let w be n(7). Suppose 3*o - x - w = 3*x, -4*x = 8. Suppose o*z - 6 = 3*r, 0 = 3*z - 5*r - 0*r - 8. Is z smaller than -4/9?
False
Suppose -2*x = -0*x - 16. Let g be x/20 - 13/(-480). Let c = g - 3/32. Is c at most 1?
True
Let f = 43/154 - -1/154. Which is bigger: f or 48?
48
Let n be (20/12)/((-5)/(-1338)). Which is bigger: 445 or n?
n
Suppose 6*l = -6 + 24, 3*d - 4*l = -117. Which is smaller: d or -36?
-36
Let s = -7 + 6. Suppose c - 6*c + 56 = -3*q, -14 = -c + 2*q. Suppose a + 0 - c = 0. Which is smaller: s or a?
s
Let v(d) = -d + 3. Let k be v(8). Let j be (3/2)/(k/70). Which is smaller: -22 or j?
-22
Suppose u - 1296 = 2*u + 5*t, -u - 4*t = 1293. Let c = u + 85825/67. Which is bigger: 0 or c?
0
Suppose 0 = -2*d - 3*d - 10. Let p be -4 - d*(3 - 1). Is p at most as big as 0?
True
Let v be 50/(-159) - 7/(-21). Let s be (-4 - -6)/(0 + 2). Is s at most as big as v?
False
Let g be (-3)/(-5) + 66/15. Suppose -4*f + 126 = 2*h, g*f - 2*h = 41 + 103. Is f equal to 31?
False
Let q(g) = -11*g - 144. Let y be q(-14). Is y != 61/6?
True
Let s(u) = -u**2 - 11*u + 6. Let h be s(-12). Let z be 98/(-147)*(h + 0). Let g = -5/12 + 15/4. Which is greater: z or g?
z
Let j be (-10)/(-6) + 44/(-12). Are j and -15/16 nonequal?
True
Let p = 297/190 - -9/38. Is p less than or equal to 10?
True
Let v be 6 + 9/((-270)/192). Let n = 0.13 + -0.1. Let j = n + 0.17. Are v and j equal?
False
Let n be (454/(-85) - 2/(-5)) + 4. Which is smaller: -1 or n?
-1
Let c be (-4)/(-8)*-2 + -2 + 13. Suppose 4*z + 6 = p - 1, -p - 4*z - 9 = 0. Let h be c/(-15) + (p - -2). Which is smaller: 0 or h?
0
Let r(b) = 3*b**2 + 5*b. Let l be r(-2). Suppose 57 = 3*x - l*g, 0*x + x + 3*g - 30 = 0. Which is smaller: 22 or x?
x
Let a(s) = s**2 + 25*s - 4. Let y be a(-24). Let l be (5 - y/(-12)) + 3/(-1). Is l >= 1?
False
Let s be 4/18 - (-40)/180. Which is smaller: -3 or s?
-3
Let o(f) = -25*f + 651. Let h be o(26). Which is smaller: h or 8/215?
8/215
Let b be 31507115/175*(-1)/(-3). Let a = b + -418126/7. Let r = a + -281. Is 0 bigger than r?
False
Let p be 1106/3640 - 12/78. Which is bigger: -10 or p?
p
Let a = 0.307 + -0.387. Let r = -0.12 - -5.12. Which is smaller: r or a?
a
Let y = 29 - -4. Let t = 633 + -5699/9. Is t less than y?
True
Let z(g) = 3*g. Let p be z(-2). Let s(v) = v**3 + 7*v**2 - 6*v + 8. Let c be s(-8). Which is bigger: p or c?
p
Let x = 1.229 + -1.319. Let q = -0.2 - -0.2. Which is greater