2*f. Suppose -5*b + 12 = 2*v + v, 0 = -f*v + 5*b + 33. Are v and 10 unequal?
True
Let a be (-3)/(-2 - -35)*(-20)/410. Which is bigger: -1 or a?
a
Let t = 61 + 2. Let v = t + -49. Which is smaller: -0.1 or v?
-0.1
Suppose 291 = -8*d + 243. Which is smaller: -44/9 or d?
d
Let r = -92 - -155. Let p = r - 63.2. Let f be 5 - 5 - (-1)/(-2). Which is smaller: f or p?
f
Let f(m) = -m**3 + m**2 - 1. Let j(u) = 6*u**3 - u + 10. Let r(p) = -5*f(p) - j(p). Let b be r(-5). Let v = b + 3. Which is greater: -6 or v?
-6
Let k = 98311329126709/577232076 - 8/48102673. Let i = k - 170419. Let f = 104 + i. Is f greater than 0?
True
Let b be 4*(-6)/72 + 25/3. Suppose 23 = 5*s + 4*z, -3 = -5*s - 3*z + 18. Do b and s have the same value?
False
Let m = 414 - 1657/4. Is m >= -17/5?
True
Suppose 35 = 5*f - 15. Suppose 7*x = 5*x. Suppose 7*t - 2*t + 25 = x, -2*t = -2*b + 32. Which is greater: f or b?
b
Let i be 1*(-8 - -8 - 557). Is -555 at most as big as i?
False
Let m be 48/32*(-46)/3. Is -21 greater than m?
True
Let b(n) = n + 19. Let p be b(-17). Suppose q - 5*i = 3*q - p, -2*q - i = -2. Is q greater than 1/31?
True
Let u = 11 + -17. Let g = -0.05 - -4.05. Let y = u + g. Which is smaller: 2 or y?
y
Let b = 97 - 96.7. Is b < 60?
True
Let m(t) = 16*t + 19. Let q(x) = -3*x - 4. Let j(r) = -2*m(r) - 11*q(r). Let b be j(-5). Let z = -60 - -55. Is z greater than b?
False
Let s(z) = -z**2 - 18*z - 20. Let u be s(-17). Let x be (-18)/(u - -2*(-18)/(-8)). Is x bigger than -1?
False
Let f(q) = 2*q**3 - 2*q**2 - 2*q + 3. Let m be f(2). Let h = m + 3. Suppose -14 = -3*v + u, -5*v + 3*u + 20 + h = 0. Is v at most as big as 2?
False
Let b = -1/13794 + 1572569/731082. Let i = b + -4309/106. Which is bigger: i or -38?
-38
Suppose 78 = -5*a + 3*a - 4*p, 0 = a - 4*p + 51. Which is greater: a or 6?
6
Let a(d) = -d**2 + 2*d + 5. Let z be a(0). Suppose 3*h + 25 = 2*f + 2*h, f + z*h = -4. Is f != -2/13?
True
Let h = -6 - -24.8. Let o = h + -14.8. Which is bigger: -2/11 or o?
o
Let w = 2031/1295 - 53/35. Is w at least 17/2?
False
Suppose 24 = 11*k - 8*k. Which is bigger: 0 or k?
k
Suppose 2*z - 17 = 3*k, -z - 4*z + 14 = 2*k. Suppose 3*b = -4*s + z, -3 = -2*b + s - 4. Is -24 at most as big as b?
True
Suppose -b = -3*f + 8, 7 - 3 = 5*f + 3*b. Which is smaller: 12/17 or f?
12/17
Let j = 0.054 - 21.054. Let v = -18.2 - j. Let b = v - 2.8. Which is smaller: 20 or b?
b
Let j = 39/1342 + 1/61. Let t = j + -59/330. Suppose 2*v - 1 - 1 = 0. Is t equal to v?
False
Let a = -755 - -639. Which is bigger: a or 2/5?
2/5
Let w be ((-18)/8 + 4/4)*24. Let f = w + 24. Do -5 and f have the same value?
False
Let r be (6/(-15))/((-3)/60). Are r and 62/9 equal?
False
Let c = -1205 + 418. Is c <= -786?
True
Let k = 25 + -28. Let j = -11/3 - k. Which is greater: j or 7/3?
7/3
Let i = -2.6 + 0.6. Let b = 0.04 - 3.04. Let k = b - i. Are 0.05 and k non-equal?
True
Suppose 0 = -3*b + 4*r - 64, 2*b - 10 + 62 = -2*r. Is b less than or equal to -2?
True
Suppose -7*g + 24 - 10 = 0. Which is bigger: g or -3?
g
Let v = -48 + 47.852. Let m = -0.048 - v. Which is smaller: m or 3?
m
Suppose -28 = 25*f + 22. Which is smaller: f or -24/29?
f
Let c = -20 - -34. Let j be 7/(c/4) - 4. Let g be (-14)/(-6)*(-1 + 0). Which is greater: g or j?
j
Let b = 267959/79 + -3392. Which is bigger: b or 1?
1
Let s be 3/(-9) + (-11)/(-15). Let x = 0.49 - -0.46. Let l = 0.05 + x. Is s at least as big as l?
False
Let l = 132 - 44. Let k = l - 84. Which is bigger: -3 or k?
k
Let q be (-7)/(196/(-24))*7 + 771. Is 778 at least q?
True
Suppose -j + 2 = -3*j - 3*y, -3*j + 23 = -2*y. Suppose 0*m - j*m + 10 = 0. Let n = 17 + -15. Is m smaller than n?
False
Let z = -4 - -6. Let r be (-4)/64*-14*-6. Let a = r + 27/4. Which is smaller: z or a?
a
Suppose -7*n + 18 = -24. Which is smaller: 11 or n?
n
Let y = 27.9 + -33. Let t = y + 5. Is t at least as big as -24?
True
Let a be (-161)/(-5) - 1/(0 - -5). Which is greater: a or -1?
a
Let j(h) = -h**3 - 6*h**2 - 2*h - 13. Let r be j(-6). Is 1/28 at least as big as r?
True
Let d be 4 + (-85)/20 - (-135)/(-4). Let b = d - -27. Is -6 smaller than b?
False
Let o(n) = -n**3 - 62*n**2 + 128*n - 76. Let a be o(-64). Is a less than or equal to -78?
False
Let s be 0 + 4*2/4. Let q be (s/(16/(-5)))/(-1). Let w = q - 1/8. Which is smaller: w or 2?
w
Let c be (1 - (-14)/(-10))/(657/(-570)). Let j = -1/73 + c. Is 6/13 > j?
True
Let i = -77 - -116. Let s = i + -21. Suppose 5*c = -3*n - 0*n + 37, 2*c = 2*n + s. Is 8 > c?
False
Let i(s) = s**2 + s - 1. Let d(v) = -v**3 + 6*v**2 + 14*v. Let n(w) = d(w) - 2*i(w). Let z(c) = -c - 4. Let a be z(-10). Let o be n(a). Is o smaller than -5?
False
Suppose -k = 4*k - 3*v + 375, -2*v + 146 = -2*k. Which is smaller: -79 or k?
-79
Let z(i) = 18*i**2 + 2*i + 1. Let y be z(-1). Let c(d) = 3*d**2 + 22*d - 10. Let r be c(-8). Suppose 0 = 5*n - r*n + y. Is n <= 16?
False
Let n(s) = -s**2 + 11*s + 2. Let t be n(11). Let o be (-4)/t + -15 + 27. Are o and 10 unequal?
False
Let s = -0.0517 - -0.1517. Which is greater: -0.065 or s?
s
Suppose t - 11 = 9. Suppose -2*g = -7*g - t, -2*g + 6 = c. Let a be 4 + c + -3 - -4. Which is smaller: 20 or a?
a
Let b = -32084341/27 - -1187959. Suppose 350 = -26*o + 25*o. Let h = o - b. Is -1 greater than h?
False
Let j = -69 - -30. Let g = j - -35. Is 2 equal to g?
False
Let k(n) = -n**2 - 11*n + 127. Let u be k(7). Which is smaller: 18/49 or u?
18/49
Let k = -16304 + 10744340/659. Which is smaller: 0 or k?
0
Let i be 3/((1989/(-26))/17). Which is smaller: i or 50/11?
i
Let s(v) be the second derivative of -v**4/6 - 8*v**3/3 + 3*v**2/2 + v. Let w be s(-8). Is w smaller than 5?
True
Suppose -5*s + 2*l - 7*l - 10 = 0, l = 4*s - 12. Suppose 5*i - 3 = s. Is i equal to 3/40?
False
Suppose 1272 - 10231 = 31*s. Which is greater: -290 or s?
s
Suppose -3*q = -4*u + 153, -50*q + 42 = u - 52*q. Let c be (-73 - 1)*(-2)/4. Are c and u equal?
False
Let z be -2 + 6/9*-3. Let q be -2 - (55/25 + z). Is q at most as big as -3?
False
Let d = -13/5 + 31/10. Let l = 1/10 - d. Is l <= 0?
True
Suppose 2*n + 8 = 2. Let d(c) = -3*c - 40. Let u be d(-13). Which is smaller: n or u?
n
Suppose -2 = -444*j + 442*j. Let l(i) = -i**3 + 4*i**2 + 4*i + 6. Let w be l(5). Let y be (8/(w - 0))/7. Which is bigger: y or j?
y
Let u(h) = 42*h - 9. Let d be u(6). Let m be 10943/(-45) + (-4)/(-10). Let i = m + d. Which is bigger: -1 or i?
i
Suppose 0*g + 3*g + 2*i = 2, -5*g = -i - 25. Suppose 3*d - 6*q = -g*q + 36, -3*q = 9. Suppose 2*w + 3*r - 6 = -0*r, -5*w + d = 5*r. Are 0 and w nonequal?
False
Suppose 3*i = 5*x - 20, 2*x + 3*i = 5*x - 18. Which is smaller: x or 1/3?
1/3
Let r = 2489/3 + -807. Let n = 32 - 10. Is n greater than r?
False
Let a = 1936/135 - 1/135. Are -0.2 and a equal?
False
Suppose 2*s - 104 + 28 = 0. Let y(x) = 9*x**2 + 195*x + 393. Let g be y(-2). Are s and g nonequal?
True
Suppose 11*b - 6*b - 10 = 0. Suppose v + 5*o - 1 = 0, 3*v - 2*o = -b*v + 113. Does v = 23?
False
Suppose 0 = -5*t - 13 - 42. Let i = -8 - t. Is 5 smaller than i?
False
Let w = 28 - 30. Let m be w/3 - (-280)/330. Do m and -12 have the same value?
False
Let y(k) = k**2 - 15*k + 123. Let u be y(16). Which is smaller: 698/5 or u?
u
Let j = 3/71 - 23/3905. Let g = -83 + 94. Suppose 0 = -2*p + g - 9. Is p at most j?
False
Let o(u) = u**2 + 9*u + 18. Let y be o(-6). Which is bigger: -4/273 or y?
y
Let c = -24.5 + 19. Let l = -6 - c. Is l greater than or equal to 0.1?
False
Let x = -348 - -488. Let f be 6/(-9)*3 - x/(-69). Is f equal to 1?
False
Suppose 5*u - 57 = -h + 3*u, -3*h + 2*u = -203. Suppose -7*g = 33 + h. Suppose -5*p - 25 = 0, -p - 30 - 20 = 3*s. Which is bigger: s or g?
g
Suppose 318 = 5*c + 113. Let k = 35 - c. Which is smaller: -8 or k?
-8
Let p = 363 + -2179/6. Which is bigger: p or 17?
17
Let f = -308 + 307.83. Let t(m) = m - 6. Let h be t(5). Is f greater than or equal to h?
True
Let y = 5.89 - -9.06. Let o = y + 0.05. Let r = 15 - o. Do -5 and r have the same value?
False
Let v(f) = f**3 - 13*f**2 + f - 10. Let s be v(13). Suppose 5*p = 4*x - 55, -s = -3*x - 5*p + 12. Which is smaller: 6 or x?
6
Suppose v = 4*y + 14, 0*v - 12 = 2*y + 2*v. Let r be 2 - 1 - -2 - y. Suppose -6*s - 1 = -r*s. Which is smaller: s or -3?
-3
Suppose 6*m + 35 = m. Let c be 4 + -2 - ((-735)/52)/m. Suppose -v - 1 = -0*v. Is v >= c?