t m = 22 - a. Which is bigger: m or b?
b
Let t = 25 - 28. Let k = -0.99 - -1.09. Which is greater: k or t?
k
Let i be (1/32)/(10 + -5 - 16). Do -1 and i have different values?
True
Let h = 79/64 - 41/32. Which is smaller: h or 0?
h
Let d = -717 + 675. Which is smaller: d or -46?
-46
Let p be 13 + -4 + -2 - 0. Is 25/3 at least p?
True
Let k be (7/3)/(1/(-3)). Let n(i) be the third derivative of -i**6/120 - 2*i**5/15 - i**4/3 - 4*i**3/3 + 10*i**2. Let b be n(k). Is -0.1 bigger than b?
True
Suppose -19 = -3*b - 4, 3*b - 25 = -2*z. Let l(j) = -13*j - 1. Let d be l(-2). Suppose 0 = 4*x + x - d. Is x not equal to z?
False
Let u = 51 + -255. Is u != -203?
True
Let w = -230 - -213. Which is bigger: -65/4 or w?
-65/4
Let p be (-1366)/(-1378) - 1/1. Is p less than or equal to -1?
False
Let r(a) be the first derivative of -a**5/120 - a**4/6 - 7*a**3/3 + 5. Let c(k) be the third derivative of r(k). Let z be c(3). Which is bigger: z or 0.1?
0.1
Let p be (99 + (3 - 0))/2. Let m = -36 + p. Suppose -3*a + 3 = c + m, 12 = -3*a. Which is bigger: c or 2/47?
2/47
Let a = -82720/21 - -3939. Let i be 3 + 0*2/4. Suppose 0 = -5*d - 3*o - 12, -i*o = -4*d + 2*o + 20. Which is bigger: d or a?
d
Suppose 2*i + 2*o = 866 + 134, 0 = -4*i + 2*o + 2006. Which is bigger: i or 500?
i
Let a be 4/(8/2) - 61. Let h = a + 197. Let s = h - 689/5. Which is greater: s or -2?
s
Let q = -31.9 - -32. Are 86 and q nonequal?
True
Suppose 3*r - 8 - 1 = 0. Suppose 3*l - 12 = -3*n + 4*n, 3*l = -r. Which is greater: n or -14?
-14
Let t be (-29)/(15/36*3). Which is bigger: -24 or t?
t
Let a be (9 - (-16191)/(-1791))*(-3)/(-12). Which is smaller: -15 or a?
-15
Let l(s) = s**3 - 5*s**2 - 2*s + 12. Let p be l(5). Suppose -3*d - 1 = -p*d. Does 1/12 = d?
False
Suppose 35*d - 34*d = -18. Let k = 10 + d. Which is smaller: -10 or k?
-10
Let k be 202/(-512) - ((-819)/72 - -11). Is k less than -1?
False
Let p(i) = i**2 - 18*i - 115. Let h be p(23). Which is smaller: h or -2/71?
-2/71
Suppose -13*k + 681 = -216. Which is bigger: k or 70?
70
Let o be (45/645)/(564/(-8)). Which is greater: o or -1?
o
Let a(m) = -m**3 + 7*m**2 - 7*m + 8. Let d be a(6). Let t = -44.016 - -44. Let i = 0.084 - t. Which is bigger: d or i?
d
Suppose -2*m = -4*m + 4*b - 20, -15 = 4*m - 3*b. Let w(h) = h**3 - h**2 + h. Let l be w(m). Is l greater than 2/51?
False
Let r be 5100/(-105) - (-3 + 72/21). Does r = -47?
False
Suppose -6*i + i = -40. Let q be 4/18 - i/(-450). Let m = 77/425 - q. Is 1 at least as big as m?
True
Let v(h) = 11*h**2 + 5*h + 5. Let c be v(-2). Let u = c - 41. Let d(x) = -x + 1. Let q be d(1). Which is bigger: q or u?
q
Let s be (-3)/(-1) + (-10)/10. Let x(r) = s + 8 - r + 13. Let q be x(9). Is 14 equal to q?
True
Let x be -31 - ((-48)/8 - 1). Let q be (0 + 0 + -2)*-8. Let y = x + q. Which is smaller: y or -9?
-9
Let i = 12.2 + -3.2. Let a = i - 9. Which is smaller: a or -3?
-3
Let z(b) = b**2 - 15*b - 14. Let i be z(15). Let q = -10 + 12. Suppose 3*f - 41 = q*p, 2 = -p - f - 6. Which is smaller: i or p?
i
Suppose 18 = 4*y + 2. Let k = -5 + -1. Let t = y + k. Is -5 != t?
True
Let s = 0.317 - 0.427. Does s = 0?
False
Let g = 23 + 0. Let n be ((-11)/(-11))/((-2 + 5)/69). Is n less than or equal to g?
True
Suppose 6*m = 5*m + 22. Let o be (-144)/66 + 4/m. Suppose -6 = -v - 4. Which is smaller: o or v?
o
Let m = 63 + -439/7. Is 38 less than m?
False
Let u = 4 + 14. Let n = u + -19. Which is smaller: -3/13 or n?
n
Suppose -2*u + 7 = -0*u - l, 4*u + 3*l - 19 = 0. Suppose 0 = -r - 3*q - 12 - 5, -5*q = r + 23. Let k be (-3)/(-1) + r/(-4). Is k greater than u?
True
Let c be -1 + 2 - (-2352)/(-598). Let j = -37/13 - c. Which is greater: j or 0?
j
Let s be (-635)/15*5 + (-1)/3. Let i = s - -662/3. Which is bigger: i or 10?
10
Let j be 4 - (-4 + 7) - -1. Let s(v) = v**2 + 8*v + 3. Let i be s(-8). Suppose -i*q = -0*q - 9. Which is smaller: q or j?
j
Let t = 0.191 + 0.039. Let j = -0.089 - 0.041. Let q = t + j. Which is bigger: q or 0.8?
0.8
Let g = -42 - -46. Let h(w) = -w**2 + 10*w - 8. Suppose 16 = -i + 3*i. Let z be h(i). Which is smaller: z or g?
g
Let k = 0.607 - -32.393. Which is smaller: -4 or k?
-4
Let c = 0.756 - 0.056. Which is smaller: c or 27?
c
Let c = -17 + 18. Let k = -0.95 + c. Let b(m) = -2*m - 16. Let y be b(-8). Is y <= k?
True
Let o(i) = 15*i**2 + 11*i - 9. Let p(m) = 23*m**2 + 16*m - 14. Let h(f) = -8*o(f) + 5*p(f). Let n be h(-4). Which is bigger: n or -47?
n
Let v = -161 - -161. Which is smaller: 1/13 or v?
v
Let v = 53 - 53. Suppose j + 15 = -4*j, -2*a - j - 35 = v. Is -16 at most a?
True
Suppose 2*s + 1500 = -1868. Let m = s + 18509/11. Which is bigger: 0 or m?
0
Let j = 7.1 + -10.1. Which is bigger: -1 or j?
-1
Let b be (-4)/22 + 39070/110. Are b and 356 equal?
False
Suppose 2*s - 4*s - 4 = 0. Suppose 14 = 3*v + x - 3*x, 18 = 5*v - 2*x. Suppose 0 = -a + p - v*p, 0 = -4*p + 4. Are a and s equal?
False
Let v(w) be the second derivative of 3*w**5/10 + w**4/12 + w**3/6 + w**2/2 + 7*w. Let l be v(-1). Suppose -4 = p - 0*p. Is l not equal to p?
True
Suppose -3*s - 2 = -14. Let r = 6 - 9. Let g = r + s. Is -3/8 less than or equal to g?
True
Suppose -21*i - 1025 = 20*i. Are -29 and i non-equal?
True
Let d(p) = -21*p**2 - 188*p - 3. Let b be d(-9). Let h(g) = -13*g**2 - 2*g - 1. Let s be h(-1). Is b != s?
False
Let w be 6/9 + (-10)/(-30). Is 3/314 != w?
True
Let q = -454 - -467. Which is bigger: q or 10?
q
Let a = 1478203/307 - 4815. Let p = -395/13508 - a. Which is smaller: 0 or p?
p
Let y = -552/5 - -110. Let m(q) = -q**3 + 56*q**2 + 2*q - 111. Let t be m(56). Which is smaller: t or y?
y
Let s(b) be the second derivative of b**4/12 + b**2/2 + 4*b. Let f(v) = -v**2 + v - 1. Let g(q) = -2*f(q) - 3*s(q). Let o be g(-2). Which is greater: o or 2/35?
2/35
Suppose -10*c + 550 = -0*c. Suppose u = 4*u - x - c, -25 = -5*x. Is 20 <= u?
True
Let o(h) = -h**3 - 3*h**2 + 3*h. Let k be o(-4). Let d(s) = -s + 2. Let p(b) = 3*b. Let v(l) = 6*d(l) + p(l). Let r be v(k). Which is smaller: -2/35 or r?
-2/35
Suppose 28 = 3*l + 5*x - 0, 0 = 4*l - x + 1. Which is bigger: l or -1/99?
l
Suppose 1434 = 16*s + 6842. Is -337 greater than s?
True
Let g = 3411/32 + -849/8. Which is greater: 1 or g?
1
Suppose 0 = -84*j + 27*j - 6384. Is j not equal to -567/5?
True
Let y(f) = -f**3 + 8*f**2 - 7*f - 5. Let m be y(7). Suppose -3*g + 3 = -0. Let q be (g/m)/(21/(-35)). Which is greater: q or 0.02?
q
Let m = -4 + 3.6. Let j = 41.5 - 41.5. Which is greater: m or j?
j
Let l = -135 + 135. Suppose l = z - 5*m + 3, -4*z + m - 23 = -68. Let n = 10 + 2. Is z at most as big as n?
True
Let w(f) = -f**3 + f**2 - f. Let g be w(1). Let o be 21/((-8316)/522) - (-4)/(-22). Is o at most g?
True
Let a be -2 + (-1 + 4 - -19). Suppose -q - a + 9 = 0. Which is smaller: -13 or q?
-13
Let i(j) = j**3 + 3*j**2 - 7*j - 2. Let s be (15/(-3))/5 - 5. Let v be i(s). Let t be (-1)/(-4 + v/(-16)). Which is greater: -3 or t?
-3
Let t(k) = -k**3 + 7*k**2 - 16. Let c be t(7). Let v = -22 - c. Which is smaller: -5 or v?
v
Let d = 4/5437 + -81731/239228. Is d != 0?
True
Let q be (-86)/(-21) + -19 + 531/27. Are 5 and q equal?
False
Suppose 1506 = -57*l - 1173. Which is greater: -9 or l?
-9
Suppose 162 = 5*c - 233. Let h = c - 77. Are 5/4 and h equal?
False
Let c(t) = -t + 22. Let y be c(12). Let i be (-36)/(-60) - (-94)/y. Let x be ((-5)/i)/((-2)/4). Is 4 > x?
True
Let l = 2/5339 - 5371/85424. Suppose 20 = 4*i - k - 4*k, i = -5*k - 20. Which is bigger: i or l?
i
Suppose 3*g = 5*s + 178, 72 = -2*s + 2*g - g. Let m be (2 + 15/(-6))*-40. Let z = m + s. Is z at most as big as -18?
True
Let g(o) = -2*o**3 + 7*o**2 + 3*o + 12. Let d be g(4). Which is greater: d or 13?
13
Let f = 92.113 - 92. Let k = -0.203 + f. Do -0.1 and k have different values?
True
Let a = -1.2 + 0.2. Let w be 0 - (1 + -2 + 1). Let y be (w - (-8)/28)*-4. Which is bigger: y or a?
a
Let b be (-4 + 469/(-98))*(-10)/15. Is b smaller than 7?
True
Let c(o) = -o**2 - 6*o - 5. Let j be c(-6). Let g be (-20)/6 + -1 + (-8)/(-24). Let t be ((-1 - -1) + 4/g)/4. Do t and j have different values?
True
Let h be (1504/12)/(-8)*-3. Suppose -47 = -v - h. Which is smaller: v or -4/5?
-4/5
Suppose 80 = -4*u - u. Let d = u + 12. Which is smaller: d or -1?
d
Let u(v) = -v**3 + 5*v**2 - 6*v - 4. Let f be u(3). Let l be 1 - -2 - 