e 2*b - 6 = -2*u, -2*b + 3*b = f*u + 8. Suppose 0*s - s - 2 = 0. Which is smaller: u or s?
s
Let a be (6 + 280/(-15))*6/2. Let f be (-2)/6*(-18)/a. Is 0 at most f?
False
Suppose -1058*m - 15768 = -1067*m. Is m at most as big as 1751?
False
Let q = 335 + -336. Which is greater: q or 3/394?
3/394
Let u(i) = 15*i + 225. Let b be u(-15). Let y be ((-14)/6)/((-1)/3). Suppose w = -y - b. Is 1 >= w?
True
Let z(y) = -y**3 - 2*y**2 + 4*y. Let i be z(-4). Let c = 37 - i. Let w be ((-14)/c)/((-6)/(-9)). Is 4/11 less than w?
False
Let h = 1013/168 - 35/24. Let g = 6 - 0. Which is smaller: g or h?
h
Let w = 3 + -1. Suppose w*l - 5 = -31. Is l at least -12?
False
Let h(x) = x + 23. Let m be h(-31). Let c = -1 + 3. Let s be (1 + c)*32/(-12). Is m at most as big as s?
True
Let y(r) = -r**3 - 14*r**2 - 14*r - 1. Let n be y(-15). Suppose -238 - n = 7*k. Which is bigger: k or -95?
-95
Suppose 0 = -2*d + x, -4*x - 6 = 4*d - 9*x. Let y = -2/1221819 - 153134066/355549329. Let c = -4/291 + y. Is d at most as big as c?
False
Let c = -10 + 6. Let h = -659/180 + -1/180. Is h > c?
True
Let v be 9/5 + 2 + -3. Let o be 16/(-40) - 12/(-5). Suppose -2*z + o = -0*z. Is z at most v?
False
Let v(t) = 3*t**2 + 24*t + 51. Let s be v(-6). Is s > 33?
False
Let l = 294/25 - -987/50. Which is smaller: 32 or l?
l
Let g be (-10)/24 - (-18)/24. Let i = 0 + 2. Let o = 2 - i. Which is smaller: o or g?
o
Let l = 2164 + -2165. Which is smaller: -13/7 or l?
-13/7
Let w = 1331 - 1358. Which is bigger: -129/5 or w?
-129/5
Let p be (-6)/(-63)*(-6)/(-8)*-6. Is p bigger than 3?
False
Suppose 39*s - 66 = 45*s. Does 10 = s?
False
Suppose -3*q + 175 = 592. Let s = -738 + 599. Is s < q?
False
Let b = -26 - -23.5. Let j = -0.6 - b. Let s = 19.1 + j. Is -1/4 >= s?
False
Let s be -48 - (0 - 0/(-3)). Let w = 37 + s. Is w less than -10?
True
Let b(o) = -2*o**3 + 29*o**2 - 39*o + 44. Let w be b(13). Which is smaller: 0 or w?
0
Let f = 13 - 41. Let m be (40/f)/(-5) + 29/(-77). Suppose g + 7 = -3*d, -5*g = -0*d + d + 7. Is m > g?
True
Let v(n) = n**2 + n - 6. Let d(p) = -2*p**2 - 3*p + 13. Let g(a) = 3*d(a) + 7*v(a). Let x be g(3). Is -2 bigger than x?
False
Let l be -4 - ((-1 - -2) + -1). Let f be (-135)/140 + l/14. Let m(h) = 4*h + 4. Let g be m(-1). Which is greater: f or g?
g
Let b = 23.051 - 0.051. Let w = b - 24. Do w and -6 have the same value?
False
Suppose 106*l - 2 = 107*l. Is 137 less than l?
False
Let k = 26.1 + -5.1. Let u = -22 + k. Let n = 4.4 - 1.4. Are n and u non-equal?
True
Suppose 0 = 4*g + 4*b - 356, 7*b - 356 = -4*g + 11*b. Which is smaller: 93 or g?
g
Let j = 158.1 - 159. Is -23 greater than j?
False
Let t = -20 - -11. Let x be t*-2*(-5)/(-15). Is x != 4?
True
Let y be (-199)/(-2) + 65/26 + 2. Which is smaller: y or 0.2?
0.2
Let o = 6011/235 + -128/5. Which is smaller: o or 0.2?
o
Let l be (6/4)/((-54)/(-72)). Suppose 0 = 6*t - 9*t - l*t. Is -3/5 at most as big as t?
True
Suppose -4*x = -w + 5 - 6, 0 = -5*x + w. Let p = 2364/13 - 182. Which is bigger: x or p?
p
Let u be 3 + 0 + 11 + -18. Which is smaller: u or -7?
-7
Let c = -11 + 13. Let m = -2 + c. Let q = 0.98 + -1. Is q at most as big as m?
True
Let c = 14 - 10. Suppose -3*y - 5 = -c*y. Suppose -5 = y*n + 5*a, -2*n = -0*n + 3*a + 4. Is n not equal to 1/19?
True
Let x = 0 + -6. Let i = x - -6. Let d = -17.96 + 18. Which is smaller: i or d?
i
Let x = 0.0065 - 26.9835. Let v = 0.023 - x. Do v and 1/2 have the same value?
False
Let b be 17/34 + (-213)/(-2). Which is bigger: 109 or b?
109
Let c = -43685/7 - -6368. Let o = c + -127. Let i = 0.3 + -0.4. Is i equal to o?
False
Suppose 8*z + 1470 + 306 = 0. Is z at most -221?
True
Suppose -21 = 18*t - 75. Suppose -3*c = -c + 4. Let o be (c + 1)*0 + 2. Are o and t non-equal?
True
Let y(z) = 19*z**2 - z - 1. Let v be y(2). Let i = -23/93 + 34153/465. Let f = v - i. Is 3 bigger than f?
True
Let d be -3 + (1 - -1) - -2. Let r be -6*(2 - -2 - d). Let o = r + 86/5. Is o >= 0?
False
Let l = -0.9 - -0.6. Let d be (6/(-10))/(2802/2810 - 1). Let o = d + -210. Which is smaller: l or o?
l
Let s be 2/(-12) - 25/(-6). Suppose 2*w + 6 = 0, 8*u = 6*u - 2*w - s. Is -2/21 at most u?
True
Let m be 10/(-65) - 244/(-234). Which is greater: m or 2?
2
Let a be 123/1*(-6)/(-9). Suppose 889 + 311 = 15*o. Does o = a?
False
Suppose 4*t = -5*x - 2, -7 = 4*t + 5. Suppose -13*f + 11*f - 4 = 0. Which is greater: x or f?
x
Let f(k) = k**3 - 7*k**2 - 6*k + 9. Let b be f(7). Let h be b/22*(-16)/6. Suppose 4*j = -4, -h*a + j + 6 = a. Which is smaller: a or 15?
a
Let j = -1283/3 + 9383/21. Let p = 19 - j. Which is greater: p or -1?
p
Let c = -199 - -199.1. Which is greater: -2/19 or c?
c
Suppose 2*p + 3*j = 6*j + 7, -2*j = p - 7. Suppose -6*s - 3*s + 495 = 0. Suppose 5*d + 4*r - s = 0, -d - p*r = 2*d - 46. Are 7 and d unequal?
False
Suppose 2*d - 2 = 2*o - 0, 5*o - 2*d = 4. Suppose 4*r = o*x + 16, 2*x + 3*x + 32 = 2*r. Suppose -5*v + 25 = -10*v. Is v > x?
True
Let n(v) = 4*v - 10. Let c be n(7). Suppose -c = -l - 20. Let f = l - -6. Is 3 greater than f?
False
Let j be 14/10 - (45/25 - 2). Which is bigger: 1 or j?
j
Let m = 7.51 - -523.49. Which is smaller: 1 or m?
1
Let t = -20 + 20.3. Let l = -2.7 - t. Is l greater than -7?
True
Let w(t) = 3*t**3 - 16*t**2 - 9*t - 19. Let r be w(6). Which is smaller: r or 86?
r
Let d = 729/2 - 365. Are -9.2 and d unequal?
True
Suppose -4*y - 74 = a, -75 = 4*a + y + 191. Let o = 67 + a. Which is bigger: -2/75 or o?
o
Let y = -2/425473 + 136577281/95305952. Let w = -9/32 - y. Suppose -14*m + 5*m - 9 = 0. Which is smaller: w or m?
w
Let y = -0.6 + -0.4. Let g = y + 3. Are g and -0.1 equal?
False
Let x = -233927/120720 - -2/7545. Which is smaller: 0.1 or x?
x
Let d = 90015846/2641 - 34084. Is d > -1?
True
Let t = -23 + 39. Let u = 22 - t. Which is bigger: u or 2/7?
u
Let r be (1635/(-45) - -37)/((-3)/(54/4)). Let b be (1/(-2))/(52/288). Which is smaller: b or r?
r
Let w be 2379/13871 + 4/(-22). Which is smaller: w or 1?
w
Suppose 0 = -4*g + 8*g - 8. Suppose 54 = g*u - 5*u. Is u not equal to -18?
False
Let u = 46 - 43. Which is smaller: 7 or u?
u
Let i be (227/36)/(3/9). Let s = i + -91/4. Is -4 less than s?
True
Suppose 0 = 66*t - 19019 + 101849. Is -1256 at least as big as t?
False
Suppose -4*r + 3*r + 8 = 4*p, -18 = -2*p - 4*r. Let b be ((-1)/(-2))/(p/(-2)). Let y be b/3 - 0/(-1). Which is smaller: 4/9 or y?
y
Let s = -1/32039 + 65421/43028377. Which is smaller: -1 or s?
-1
Let d(q) be the third derivative of -5*q**4/24 - 41*q**3/6 - 8*q**2. Let b be d(-16). Which is greater: b or 0.1?
b
Suppose -5*j = -j - 5*c + 129, 4*c = 20. Let b be (j/(-4))/(1/(-2)). Let k = b - -8. Is k < -5?
False
Let k = 21 - 44. Let g = -9 - k. Let n = 3/8 + -1/8. Which is greater: g or n?
g
Suppose -5*l + 1109 = 3*w, -3*w - 599 - 52 = -3*l. Is 221 smaller than l?
False
Let h = -3.2 + 3.02. Which is bigger: h or 0.2?
0.2
Let x(w) = 7*w**3 - 2*w**2 + w. Let q be x(1). Let d be 12/(5/10 + 1). Suppose 0*v + 17 = v + 4*n, -4*v = -4*n - d. Is v > q?
False
Let w be 2/(-6) - 150/(-18). Suppose 0 = 6*r - 80 + w. Is 12 > r?
False
Suppose -38 = -x + 2*b, -x - 3*x - 4*b = -116. Suppose 6*w - x = 2*w. Is w at most as big as 9?
True
Let n be 68*(-5)/(-60)*15. Is n <= 89?
True
Suppose 8*o = 3*o. Let d be (3 - 3)*(o + -1). Let n be (-1 - -5)*6/(-84). Is n at most d?
True
Let y(m) = 7*m**2 + 2*m. Suppose -5*v - 3*w + 11 = 0, -3*w + 0*w = 9. Suppose o + 3*p = -o - v, -5*p = -5*o + 15. Let c be y(o). Is c smaller than 1?
False
Let d be 1/((13/26)/((-6)/4)). Let r be -1*(-7)/(-14) - d/10. Suppose 2*x + 5 = -3*x. Which is smaller: r or x?
x
Suppose 0 = -5*j - l + 36, -4*j + 5*l = -2*j - 36. Let c(m) = 3*m - 2 - 3 - 2 - 2*m. Let i be c(j). Which is smaller: i or 1/13?
1/13
Suppose 4*s + 3*h = s + 66, -s + 14 = -h. Suppose 5 = 3*q - f - 3, 4*q - 5*f - s = 0. Are q and 1/2 equal?
False
Let d = 47257 - 853093/18. Let r = -137 - d. Let i(u) = -u**2 + 5*u + 1. Let y be i(5). Is y >= r?
True
Let g be 1/(-4) - (-246)/24. Suppose -2*v + g = -7*v, 3*o = -5*v - 382. Let u = o - -239/2. Is -4 != u?
True
Let s be (-1)/(-1 + 1435)*-8. Which is smaller: s or -1?
-1
Let q = -11 + 14. Suppose 5*u - 36 = -q*h, 3*h - 5 = 4*u + 4. Suppose -11 + h = 4*l. Which is smaller: -28 or l?
-28
Suppose 0 = -4*a + 9 - 5. Let i be 2/(-4)*(-1 + a). Suppose i = x -