63/5
Suppose -3*m + b = 6*b - 1154, -4*m - 4*b = -1544. Let a be (-53335)/(-135) + -3 - (5 - 1). Let k = a - m. Which is smaller: k or -1?
-1
Let o = -274 - -424. Suppose -7*a + 11 = -o. Which is greater: a or 24?
24
Let x be 21 - (-8 + (21 - (5 - -3))). Let y(d) = -d**2 + 7*d + 5. Let v be y(4). Which is smaller: v or x?
x
Let j(k) = k**3 + 7*k**2 + 9*k - 6. Suppose 6*y = 26 + 28. Let x = 4 - y. Let u be j(x). Which is bigger: u or -3?
u
Let a be ((-12)/15)/((-7)/(-266)) + -2. Do a and -31 have different values?
True
Suppose 0 = -4*o + o + 36. Let s be o/(-102)*((-3)/(-6) - 1). Which is smaller: s or -1?
-1
Suppose 5*j + 7 = 4*h, -17 = -0*h + h + 5*j. Suppose 5 - 1 = 2*w. Let o = w + h. Is 0 < o?
False
Let v be 3 - 24 - 0/(-2). Let s = v + 14. Let a(x) = 3*x. Let k be a(-2). Are k and s unequal?
True
Let m be 174590/585 + (-4)/9. Are 298 and m equal?
True
Let v(y) = -2*y**3 + y**2. Let a be v(-1). Suppose -7*o = -a*o - 104. Suppose -o = 5*w - 11. Is -14/9 at most w?
False
Suppose 3*p + 455 = 2*r - 157, -612 = 3*p - 3*r. Which is greater: -205 or p?
p
Let h(b) = -b**3 + 6*b**2 + b + 2. Let i(w) = -2*w**3 + 11*w**2 + w + 3. Let y(c) = 5*h(c) - 3*i(c). Let q be y(2). Is q >= 20/9?
False
Suppose -24 = 4*c + 2*s, -2*c + 6*c - 4*s + 36 = 0. Is c equal to -3/5?
False
Let d(q) = -5*q**2 - q. Let x be d(5). Let g be x/(-60) - (-1)/6. Which is bigger: g or 3?
3
Let s = 463994/16919 + 10/2417. Which is smaller: s or 28?
s
Let x = 20 + -17. Let i be ((-4)/(-18) - 0)/x. Is 0 greater than i?
False
Let m = -3942315/17 - -231751. Let h = -150 - m. Which is bigger: 0 or h?
0
Suppose 4*u - 100 = -d, 3*u - 80 = -2*d - 0*d. Let a be (10/4)/((-10)/(-100)). Is u at least a?
False
Let m be ((35/(-150))/7)/(4/(-70)). Let v = m + 3/4. Are 0 and v equal?
False
Let i be (-594)/(-195) + 5 + -8. Which is smaller: i or -1?
-1
Let o = -74 - -76. Let t = o + 0. Which is smaller: 5 or t?
t
Let y = 358 - 355. Is y less than 26/9?
False
Let p = -1279 + 1255. Let v be 4/(-10)*5/3. Are p and v equal?
False
Let d(f) = -3*f + 2. Let b be d(-1). Suppose -3*s - 5*m + 9 = -b, -4*s = 3*m - 4. Suppose 0*v = -5*v + 2*o - 28, o = -4*v - 12. Is v bigger than s?
False
Suppose -2*d + 7*d + 15 = 0. Let a = -16045 - -16038. Is d at most as big as a?
False
Let w = 17.56 - 18. Let j = w + 0.63. Is j bigger than 0.1?
True
Let m = 1199 - 1198. Is m at least as big as -4/57?
True
Let z be (-2)/(-8) + (-366)/24. Let m = z + 16. Let j be 88/33*6/(-4). Is m less than j?
False
Suppose 64 = 2*q + 4*g, 83 = 4*q - 3*g + 2*g. Let t be (-2 - -3) + 1 + q/(-10). Which is smaller: t or 0?
t
Let r = -270 - -171. Let o = r - -98. Which is greater: -3 or o?
o
Let q = 21 + -19. Suppose -9 = -w + q*i, -w - i + 6*i = -12. Let u be (w - 4) + 4*-2. Is -5 at least u?
True
Let t(f) be the second derivative of 19*f**3/6 + 5*f**2/2 + 7*f. Let m be t(-8). Let u be m/(-9) - 2/(-3). Is 16 greater than or equal to u?
False
Let v = 1205 + -1202. Which is smaller: v or -2/85?
-2/85
Suppose -2*u = -33 + 9. Let b be (4 - 2) + 21/u. Which is smaller: b or 3?
3
Let t be (-2)/(-15) - (-2 - 1307/(-15)). Which is smaller: t or 2/3?
t
Let m be (337/(-2))/((-6)/4). Let b = 4280221/15 - 285462. Let c = b + m. Which is bigger: -2 or c?
c
Suppose -2*w - 2*w - p + 947 = 0, -2*w = 2*p - 472. Which is greater: 238 or w?
238
Let j = 0.017 + 30.983. Let i = 31.1 - j. Let n = -0.26 + -0.04. Is n not equal to i?
True
Let l be 49/(63/9) + (-1100)/(-4). Is l greater than 284?
False
Suppose 5*l - 2937 = -3*r, 4*r = 2*r + 8. Is 0 <= l?
True
Suppose 4*l - 17 + 1 = 0. Suppose 2*h + d + 0*d = -9, -h - l*d + 6 = 0. Is -8 less than h?
True
Let o be (-88)/27*255/(-68). Is o smaller than 13?
True
Let h = 2 - 4. Let q be h/4*0*-1. Suppose 0 = 2*k - 2*g - q*g + 26, -15 = 5*k + 5*g. Which is bigger: k or -7?
-7
Let k be (-10 - 1314/(-132))*(-8)/(-194). Which is smaller: k or 1?
k
Let g = 24 + -23.6. Let c = -0.6 - g. Is c at least 41?
False
Suppose 0 = 5*x - x. Let r = 1051/129 + -336/43. Are r and x equal?
False
Let n be 2306/3*(-15)/(-10). Suppose 2*h + n + 235 = 0. Let s = h + 9028/13. Is s greater than 0?
True
Let l be (152/260)/(-1 - (-117)/(-15)). Let q = 3/143 + l. Is 1 < q?
False
Let b(s) = s**3 + 5*s**2 - 10*s - 10. Let p be b(-3). Let l = p + -56. Are l and -87/5 nonequal?
True
Let q be (8/16)/(1/2). Let a be -1 - q/2*0. Is -0.3 != a?
True
Let a(f) = -f**3 - 6*f**2 - 7*f - 7. Let l be a(-5). Let r = 3140 - 28228/9. Which is bigger: l or r?
r
Let h = -80 + 39. Let j = -30 - h. Which is greater: -1/4 or j?
j
Suppose 2*z = 5*a + 23, -a - 7 = 2*z - 0. Let x = -1 - 0. Let l = x - z. Which is smaller: l or 2/11?
l
Suppose -50 + 0 = -2*i. Let y be 20/i - 12/15. Which is bigger: y or -1/15?
y
Let u = 113/183 - -3/61. Is u greater than 1155?
False
Suppose -2659*g = -2669*g - 180. Which is smaller: -5 or g?
g
Let k = -7/775 - -11109/28675. Is 0 less than k?
True
Let m = -22 - -27. Suppose 0 = 2*x - 3*x + 4*n + 21, 0 = -m*n - 25. Is 5 smaller than x?
False
Suppose -4*i = -g + 9 - 2, i + 5 = -3*g. Let s = i + 4. Suppose 2*k - a - 4 = s*a, k + 3*a = -7. Is k > -7/3?
True
Let v be ((-124)/(-30))/(660/(-25)). Let a = v + 1/22. Let n be 45/75 + (-2)/(-5). Which is bigger: a or n?
n
Let l(c) = -8*c**2 - 43*c + 20. Let s be l(-6). Are s and -92 equal?
False
Let g = -143 + 65. Let k = g + 72. Is -4 > k?
True
Let i = 204 + -278. Are i and -77 non-equal?
True
Suppose 3*t - s + 3*s - 8 = 0, 0 = -2*t + 4*s. Let i be t/10*(-110)/(-429). Let l(b) = b - 4. Let j be l(5). Which is smaller: i or j?
i
Let n = 933 + -1029. Is -98 at most n?
True
Let g(o) = -o - 24. Let v be g(-5). Let r = 19 + v. Which is smaller: -6/5 or r?
-6/5
Suppose -4*k = 2*j - 36 - 20, 5*j - 116 = 2*k. Is j at least 19?
True
Let o = 2.476 - -0.524. Do o and -28 have different values?
True
Let h = 2197/8 + -4007/24. Which is bigger: 107 or h?
h
Let d = -26.35 - -0.35. Let q = -27 - d. Which is greater: 1 or q?
1
Let t be (2 + 1)*(22 - 23). Let q be ((-28)/(-42))/((-5)/21). Which is smaller: t or q?
t
Let g(t) be the third derivative of -t**6/120 - 2*t**5/15 + 5*t**4/12 + 5*t**3/2 - 9*t**2. Let f be g(-9). Suppose -4*u = -2 + f. Which is bigger: 1/5 or u?
1/5
Let h be -7 + 6 + (-510)/4. Let m = h + 132. Suppose -11 = 8*x - 5*x - 5*z, 0 = x - 2*z + 5. Which is smaller: x or m?
x
Let r = -4.8 - -0.8. Let i = r + 4.01. Let c = i - 0.01. Which is bigger: 4 or c?
4
Suppose -78*t + 72*t = 48. Is t > -43/6?
False
Let r = 328/525 + -4/75. Let d = 59 - 175/3. Is d < r?
False
Suppose -2*p - 8 = 2*p, -3 = q + 4*p. Suppose 4*w + v - q = 5*w, v = 2*w + 10. Let t be (11 - 12) + (-7)/w. Which is bigger: t or -3?
t
Suppose 2*s - 2 = 4*s. Let w be ((-27)/12)/((-9)/24). Suppose -5*v - 4 = -4*b + 8, 2*b - w = -v. Is v < s?
False
Suppose -102 = 5*d + 78. Let q(k) = -k**2 + 9*k + 77. Let h be q(16). Which is smaller: d or h?
d
Let k = 1786.37 + -1801. Let l = 14.2 + k. Is -1 at least as big as l?
False
Suppose -181 = -9*a + 170. Let p = a - 353/9. Does p = -2/3?
False
Suppose -19*v + 22*v - 57 = 0. Suppose z + 4*a = 2*a - 6, -4 = 4*z + 4*a. Suppose v = -z*d + 7. Which is smaller: d or -1?
d
Let o = 43 + -39. Let l be (-28)/(-70) - o/10. Are l and -2/3 nonequal?
True
Let n = 283/187 + -1/17. Is 0 smaller than n?
True
Let i = -69/40 + 29957/17320. Are i and 1 non-equal?
True
Let s = 125/4 - 31. Which is greater: 25/6 or s?
25/6
Let x be (-6 - 7545)/(-27 - -2). Let h = 302 - x. Is h at most as big as 0?
True
Suppose -5*x - 25 = 2*h, 7 + 3 = 2*h - 2*x. Let j = -1/96 + -71/96. Is j equal to h?
False
Let j = 0.0446 + 40.9554. Which is bigger: j or -1?
j
Let u = 117 + -122. Is u less than -10?
False
Let g = -282 - -281. Let b = 0 + 8. Let i be (26/b - 3)*-1. Which is smaller: g or i?
g
Let l(c) = c + 1. Let w be l(6). Suppose -5*f + w = -8. Suppose -1 - 2 = -f*k. Is k > 3?
False
Let c = -639.9 + 637. Which is smaller: c or 11?
c
Let o = 0.419 + -0.519. Let w = 15507/11 + -1411. Which is greater: w or o?
o
Suppose 6*u + 107 = 29. Is u bigger than 9?
False
Let v(g) = g - 7. Let f be v(-10). Let d = -16 - f. Is d at most as big as 3?
True
Let a(x) = x**2 + 8*x + 6. Let n be a(-6). Let w be (12 - -3)*4/3. Suppose w = -3*p + 5, 5*v - 2*p = -20. Is v <= n?
True
Let k be (-17 - (-11 - -3))/(-1167). Which is greater: k or -1?
k
Suppose -