ppose -5*a + 7*a = -5*x - 10, -9 = x - a. Let k be ((-24)/16)/((-21)/x). Which is smaller: k or b?
b
Let b be -5 + 329/63 - (-4)/(-18). Suppose -4*g + 11 = -5*x, b*g - 4*g = 4*x + 16. Which is bigger: -3/73 or g?
-3/73
Let o be (1 + 75/2)/(4/8). Suppose -8*r + 11 = -o. Which is smaller: 10 or r?
10
Suppose 41*i - 5315 + 35040 = 0. Are -724 and i equal?
False
Let n(c) = -c**2 + 5*c + 2. Let u(f) = -f**3 + 5*f**2 - 4*f + 4. Let k be u(4). Let a be n(k). Suppose 28 = 3*y + 7. Which is smaller: a or y?
a
Let y = -253 - -69. Is y at most as big as 0?
True
Let t = 8 + -8.12. Let o = 0.08 - t. Which is smaller: -6 or o?
-6
Let n(r) = -12*r - 94. Let g be n(-7). Which is smaller: -1 or g?
g
Let t(n) be the first derivative of -n**4/4 - 10*n**3/3 + 13*n**2/2 + 9*n + 21. Let a be t(-11). Which is smaller: -23/2 or a?
a
Suppose -2*h - 2*u = u - 4, 4*h - 8 = 3*u. Suppose -o = -h*j + 7*j - 15, -5*j - 2*o + 10 = 0. Suppose -j*w - 2*g + 10 = 0, -3*w + 4*g = -0*g - 2. Is w >= 4/5?
True
Let h = 0.34 + 0.06. Let n = -0.19 + -0.31. Let b = h + n. Is b < 0.1?
True
Let p be 270/(-357) - ((-20)/(-28) + -1). Let d = p - -249/493. Suppose 4*a - 1 = -5. Which is greater: a or d?
d
Let k be 9*(28/12 + -1 + -1). Suppose -h - 7 = -2*s + k, -4*s = 0. Which is smaller: h or -11?
-11
Let g = -35 + 32. Let z = 31 - 36. Is z not equal to g?
True
Let g(p) = p**3 + 5*p**2 + 2. Let s be g(-5). Suppose s = 3*o - 5*y - 3, -y + 27 = 5*o. Let t = 94 - 90. Is t bigger than o?
False
Suppose 3*d - 2 = 1. Suppose -2*b = d + 23. Let r = 7 + b. Is -5 greater than or equal to r?
True
Let r = -114 - -121. Let k be ((-4)/(-138))/(217/(-21) + r). Which is bigger: 0 or k?
0
Let j(z) = -6*z**2 - 29*z - 19. Let r(d) = -7*d**2 - 29*d - 20. Let m(v) = 5*j(v) - 4*r(v). Let a be m(-14). Are a and -5/12 nonequal?
True
Let t(x) = x + 8. Let u be t(-10). Let p = -8 + 8.1. Which is smaller: p or u?
u
Suppose -2*s - 13 = 2*d - 3*s, d + 12 = -5*s. Let u be (-2)/d - 40/140. Suppose u = -9*m + 8*m. Which is smaller: 1/4 or m?
m
Let j be 270/130 - (1 + 2). Which is smaller: 1 or j?
j
Let j = -2.69 + 2.59. Is -108 less than j?
True
Let f = -7750 - -782742/101. Which is smaller: -1 or f?
-1
Suppose -o - 3*o = 0. Let v = -35 - -46. Let w = -11 + v. Is o greater than or equal to w?
True
Let q(y) = -8*y**2 + 6*y + 22. Let u be q(5). Let r be (-906)/14 - (-5 - u/28). Does -66 = r?
False
Suppose 0 = -13*f + 68 + 23. Is f > -6/11?
True
Let x = -23 - -25. Let j be (-6)/((-1)/(-2) - x). Let r = 1 + 1. Is r greater than or equal to j?
False
Let d = 203 - 123. Let t be 4/(d/46) - (2 + 0). Is t != -0.4?
True
Let k = -0.2 - -0.5. Let h = -2/253 - 3285/506. Let r = h - -6. Which is smaller: k or r?
r
Suppose -o = -2*l - 3*l + 4, -4*o + 4 = 0. Which is bigger: l or 2/343?
l
Let d be ((-6)/4)/((-17)/((-340)/(-4215))). Which is smaller: d or 0?
0
Suppose 4*n + 5 = 13. Suppose 3*j = n*j. Is -14/11 not equal to j?
True
Let i = -2.853 + -0.147. Is -1/2 smaller than i?
False
Let j = 52.1 - 74. Which is bigger: j or -1?
-1
Let a = 44 - 44.06. Let z = a + -0.04. Is -2/161 at least z?
True
Let g be (-12)/20 - (-8)/5. Does g = -29/5?
False
Suppose 0 = -3*b + 3*q - 120, 4*q = -7*b + 3*b - 192. Let k = 72 + b. Is k greater than or equal to 26?
True
Let n be (-42)/14 - 2*(-122)/(-10). Do n and -28 have the same value?
False
Suppose -5*h - 52 = 88. Let x = -57 - h. Is x less than or equal to -1?
True
Let m = 55 + -59. Let y be 1*(-21)/(-7) + m + -1. Let w(o) = o**2 + 8*o + 7. Let a be w(-7). Is y equal to a?
False
Let a be (-3)/20 + 1/(-4). Let x = -7 + 6.81. Let c = x - 0.21. Is c equal to a?
True
Let p(m) = -m**2 + 13*m + 28. Let a be p(15). Let v be 63/a*36/27. Which is greater: v or -43?
v
Let h = 3 + 0. Do 21/13 and h have the same value?
False
Let k be (15 + 0)*(-2 - -1). Let i = -21 - k. Let x = i + 7. Is x greater than 0?
True
Let a = -13.5 + 13. Let m = a + 32.5. Let d = m + -36. Is -2 < d?
False
Suppose 3*w + 42 = -3*o, 2*w + o - 4*o = -28. Let u(m) = 2*m + 22. Let l be u(w). Is 3 less than l?
False
Let p = 311/80 - -5/16. Let x = -39 + 43. Is x bigger than p?
False
Suppose 34*n + 23220 = 70*n. Is n less than 645?
False
Let k be (4/(-3))/(90/(-135)). Suppose 2*n - t = -0*t + 1, 2*t = -n - 12. Let c = n + 2. Is k at most c?
False
Let i(c) = -c**3 - 21*c**2 - 21*c - 17. Let l be i(-20). Suppose -y - 2*s = -0*y - 21, l*s + 51 = 4*y. Which is smaller: 16 or y?
y
Let t = 3 + -2. Let g = 0.65 - -25.35. Let n = 19 - g. Do n and t have the same value?
False
Suppose y = 3*b - 6, -3*y + 2*b - 2 = 2. Is -11/36 != y?
True
Let a = 5291/5 - 1059. Let x be (-1)/(1/(-1 + 2)). Which is smaller: x or a?
x
Let y = -1006 + 983.85. Let q = 22 + y. Which is smaller: -1 or q?
-1
Let d = 1.695 - 1.615. Are d and -19 equal?
False
Let r(n) be the second derivative of -n**3/3 - 5*n**2 + 29*n. Let z be r(-4). Which is bigger: 3 or z?
3
Let o = -41 - -43. Suppose 4*s = 5*v - 34, 0 = s - 4*v + o + 1. Is -10 equal to s?
False
Suppose -3*w + 377 = 2*w - 3*p, -2*p = 4*w - 284. Let s = 72 - w. Is s bigger than -6/23?
False
Suppose -869*d + 860*d - 252 = 0. Is d >= -27?
False
Let f be (35/(-20))/(-7) - 158/(-8). Suppose 0 = -5*x - f - 65. Are -19 and x unequal?
True
Let k = 287015/11836 + 2/2959. Let u = -451718/18599 - -4/2657. Let o = u + k. Is -1 at most o?
True
Let f(b) = -4*b**2 + 4*b - 7. Let g be f(2). Let x be (-460)/g*(-21)/182. Which is smaller: -3 or x?
x
Let z(m) = -21*m**2 + m - 1. Suppose -4*h + h + 18 = -5*f, 4*h = -4*f - 8. Let d be z(h). Is d greater than or equal to -19?
False
Let g(d) = d**3 - d**2 - 3*d. Let t be g(2). Let i be (-1 - t) + 1 + 2. Let a be 2/i + 7/2. Which is greater: 3 or a?
a
Suppose 4*v = 1 + 3. Suppose 4*t - 14 = -3*s, 0 = -2*s - 2*s + 5*t - 2. Suppose w + 0*w + s = 0. Which is smaller: v or w?
w
Let p = -820 + 821. Which is smaller: p or 107?
p
Suppose 4*u + 480 + 1030 = f, 3*u - f + 1133 = 0. Is -376 < u?
False
Suppose y = -0*y + 40. Suppose 3*v + 2*o - y = -203, -2*v - 105 = 5*o. Let n be (-3 - 205/v)*1. Which is smaller: 2 or n?
n
Let c = 82 - 115. Let o = c - -36. Which is smaller: o or -1.7?
-1.7
Let x = -228 - -228.102. Which is bigger: -2/3 or x?
x
Let m(v) = 7*v. Let z be m(1). Suppose -2*l + 13 = 5*k + 2*l, 13 = 3*k + 5*l. Suppose -k = -x + z. Is 10 greater than x?
True
Suppose -24*l = 16 - 40. Is l at most 2/1839?
False
Let l = 368 - 209. Which is greater: l or 158?
l
Suppose -5*y - 7 = 3*j, 6 = -2*y - 0*y - 2*j. Let l(p) = -p - 1. Let v be l(y). Let n be 2 - 3 - (-6)/(-18). Which is greater: n or v?
n
Let m = 9.7 + 1.5. Let o = m - 0.2. Is 2/3 <= o?
True
Let v(x) = x - 6. Let y(m) = -m**2 - m. Let c be y(-1). Let p be v(c). Suppose 923*b - 30 = 929*b. Is b at least as big as p?
True
Let z(i) = 2*i**2 + 40*i. Let k be z(-20). Suppose -v + k*v - 4*v = 0. Which is smaller: -2/41 or v?
-2/41
Let g be (1*3/21)/(10 + 31). Which is smaller: g or 1?
g
Let t = -769 - -134579/175. Are 1 and t non-equal?
True
Suppose 0 = 5*i - r + 42, -i - 6 = i + 5*r. Let p(f) = -f**3 - 7*f**2 + 5*f - 25. Let b be p(i). Which is smaller: b or 1/21?
b
Let j = 418 - 615. Let s = j + 196.17. Let i = s - -0.13. Which is smaller: i or -2/3?
i
Suppose 2*c = 4*c - 10. Suppose -c*m - 5 + 0 = 0. Which is smaller: 0 or m?
m
Suppose 5*u - 2*n + 16 = u, 0 = 2*u + 3*n. Let j = -19 + u. Is j at most -22?
True
Let k = -36 - -39. Suppose -5*b - 8 = 3*f, 4*f + k*b = 7*b. Which is greater: -2/53 or f?
-2/53
Let h = 1.33 + -0.33. Let n = 2 + h. Which is bigger: n or 2/7?
n
Suppose f + 3*f - 8 = -4*p, p + 1 = 2*f. Let l be ((-4)/(-14))/(13/((-1638)/2430)). Is l not equal to p?
True
Let g(b) = -5*b - 6. Let j be g(-3). Suppose -4*m + 15 = 3*p, 16 = 3*m + 5*p - j. Which is bigger: -2/185 or m?
m
Let i = -10543/6 - -1762. Suppose -2*s = 4, 3*w + 5*s = w - 2. Is w greater than or equal to i?
False
Let y be 199 + (4 - (4 + 6)). Do 192 and y have the same value?
False
Suppose 4*q + 348 = -0*q. Let c be (-1)/(0 - q/6). Which is bigger: c or 0?
0
Let s be (-2*65/40)/((-80)/16). Which is smaller: 0 or s?
0
Suppose -d + 2*v + 5 = 0, 9 = 3*d - 4*v - 0. Let o be (-3)/(-5) - (594/135)/(-11). Which is smaller: d or o?
d
Let b be ((-8)/65)/((-13)/(-520)). Which is bigger: -4 or b?
-4
Let i(y) = -4*y**2. Suppose 4*t - 12 = -4*f, -6*f - 2*t = -11*f + 1. Let v be i(f). I