17). Let b be w(o). Is b <= 14?
True
Suppose 5*w - 3*m - 13 + 7 = 0, 4*w + 2*m + 4 = 0. Which is smaller: w or 2/451?
w
Suppose 58 = -3*y - 4*i, 3*y + 38 = -0*y + i. Let f be 9586/(-156) + (-7)/y. Let s = -61 - f. Which is greater: -1 or s?
s
Suppose -45 = 2*b - 37. Let q(d) = -d**2 - 5*d - 6. Let t be q(b). Which is greater: t or 8?
8
Let d(v) = v**2 + 25. Let q be d(0). Let r = -35 - -61. Which is greater: r or q?
r
Suppose -3*n + 140 = 4*u, 0 = 5*n - 3*n + 3*u - 94. Let i be n/10 - 12/(-20). Suppose i*w + 4*m + 12 = 0, -4*w + 3*m + 2*m + 15 = 0. Is 8 greater than w?
True
Let q be (-6)/(-4) - (-135)/(-18). Let y be (30/(-25))/(q/20). Suppose -2*l + 2 = -0*j - 5*j, 0 = y*l - 4. Is -1 <= j?
True
Suppose 220 = 7*o - 2*o. Let f be (-8)/32 - (-19)/o. Is -0.5 <= f?
True
Let o(w) = -w**2 - 13*w - 24. Let b be o(-11). Which is smaller: b or -14/5?
-14/5
Let h(x) = -x**2 + 11*x - 7. Let b be h(7). Let c = 20 - b. Suppose -2*n = -4*t + 34, t + 5*n = 4 - 12. Which is greater: c or t?
t
Let y(h) = -2*h - 29. Let v = -79 - -64. Let o be y(v). Is -2/77 < o?
True
Suppose -550 = -4*j - 2*f, -j + 85 = -4*f - 48. Which is smaller: 684/5 or j?
684/5
Let i be 0 + -1 - (6 + -10). Let h = 105 - 101. Which is smaller: i or h?
i
Let d be (-16)/(-28) + 304/(-336). Is 3/34 equal to d?
False
Let p = -14275/5151 + 47/17. Which is smaller: p or 1?
p
Suppose 2*c - 7*c = -2*u, -c + 27 = 5*u. Let v = 6 + 7. Let d = v + -7. Which is greater: c or d?
d
Let x = -4 - 6. Let k = 5 - 7. Let r be (9/k)/((-6)/(-12)). Is x smaller than r?
True
Let q(v) = v**2 + 59*v - 1. Let d be q(-59). Let n = -0.08 - 18.92. Which is smaller: n or d?
n
Let u = 55 + -25. Let f = u - 20. Is 11 at least f?
True
Let r(t) = 3*t + 76. Let j be r(-25). Is j not equal to -2/115?
True
Suppose 0 = 8*a + 1747 - 683. Which is smaller: a or -132?
a
Let u = -3 + 2.9. Let j = 1.5 + -2. Let l = j - -0.52. Which is greater: l or u?
l
Let k = -115 - -114. Which is bigger: k or -191?
k
Let o be (-8)/((-6)/(-2) + -5). Let h be 1*(6/(-15) + o/10). Which is bigger: -3/23 or h?
h
Let o = 247 - 244.99. Let h = -0.01 + o. Let i be -5*6/(-30)*(1 + -1). Which is greater: i or h?
h
Let u be (-8)/(-20) - 9/((-180)/2512). Does u = 125?
False
Let p = -7.4 + 7.379. Let w = -3.021 - p. Which is smaller: w or -0.6?
w
Let j be (2/(-8))/((-2404269)/(-109284) + -22). Is -1300 at least j?
True
Let m = 3035 + -3022.01. Let o = 0.01 + m. Let a = o + -13.1. Is a bigger than 1/6?
False
Let h(q) = 18*q + 9. Let w be h(3). Suppose -w = 3*t - 3*m, 3*t + 4*m - 10 + 52 = 0. Which is smaller: t or -17?
t
Let i = -0.874 - -0.084. Let a = i + 1.08. Do -1 and a have different values?
True
Let y(v) = 3*v**2 - 7*v + 7. Let m(j) = -j**2 - 1. Let g(p) = 5*m(p) + y(p). Let n(l) be the first derivative of g(l). Let z be n(-4). Which is bigger: z or 10?
10
Suppose 0 = 4*s + 3*h - 21, -5*s - 2*h = -2*s - 16. Let w be (6/56)/(6/(s - 30)). Is -1 bigger than w?
False
Let d(t) = 11*t - 116. Let z be d(11). Which is bigger: -34 or z?
z
Let u(h) = h**3 + 7*h**2 - 8*h. Let o be u(-8). Let k = 279 + -267. Is k equal to o?
False
Suppose 2*c - 90 = 5*c. Suppose -2*g = 5*r + 153, -4*r = g + 123 - 3. Is c greater than r?
False
Let d = 50 + -139. Let w = -52 - d. Which is smaller: w or 0.1?
0.1
Let h = -675 - -672. Which is smaller: h or -85/8?
-85/8
Suppose 3*c + 106 = 7*c - 2*r, c - 23 = -3*r. Suppose 4*u + 3*a + c = -2*a, 3*u = -3*a - 18. Let p be (0*2/u)/(-2). Is p greater than or equal to 1?
False
Let y = 227 + -226.97. Is y at most as big as -1.3?
False
Suppose 0 = 19*b - 12*b + 14. Which is bigger: b or -45?
b
Suppose 2*q + 38*k + 2 = 43*k, -4*k - 1 = q. Which is smaller: q or -4/7?
q
Let q(w) = -w**3 - 22*w**2 - w - 23. Suppose -4*c = 71 + 17. Let l be q(c). Are -1 and l equal?
True
Let u = -3.044 + 0.434. Which is greater: u or -1/3?
-1/3
Let c = -168 + 171. Do 81 and c have the same value?
False
Let s = -0.13 + 0.2. Let p = -0.57 + s. Let w = p + -2.5. Is w greater than -1?
False
Suppose 905 = 6*r + 1019. Which is greater: r or -18?
-18
Let d = 1027 - 1026. Which is smaller: -26/23 or d?
-26/23
Let l = 1204 + -871. Which is bigger: l or 0?
l
Suppose 20 = 2*j + 12. Suppose -3*f = -f - 2*d - 4, -j*f + 24 = 4*d. Let l be ((-18)/f - -1)*2. Is -1 greater than or equal to l?
True
Let z be (28/(-8))/((-3)/(-6)). Let p = z - 3. Let j be (-3)/45 - 4/p. Which is smaller: 2/19 or j?
2/19
Let j be 2170/(-4220) + 1/2 + 0. Does j = 0?
False
Let n = 4219 + -1658069/393. Let v = 808/4323 + n. Let s = 27 - 79/3. Is s <= v?
False
Let y = 144 + -129. Suppose y*w = 20*w - 25. Which is smaller: 20 or w?
w
Let v(b) = -b + 16*b**2 + b - 15*b**2 - 1 + 6*b. Let l be v(-5). Is -3/4 >= l?
True
Let f(h) = h**2 - h + 2. Let s be f(-2). Let n = 11587 + -11573. Which is smaller: s or n?
s
Let x be 4/(-6) - 52/(-87). Suppose 5*t - 4*h - 16 = t, 16 = 3*t - 5*h. Suppose 3*m - t + 8 = 0, 0 = 4*y - 2*m - 8. Is x less than or equal to y?
True
Let v be (-8 + (-63)/(-7))/((-70)/(-4)). Are 0 and v equal?
False
Suppose 4*d = 2*h - 3*h + 4, 2*d + 4*h - 16 = 0. Is -1/98 not equal to d?
True
Let w be 1/((2/(-3))/((-2)/3)). Which is smaller: w or 2/931?
2/931
Let p = -11 - -16. Suppose 1 = b - 4*i - 8, -b = -p*i - 11. Which is smaller: b or -11/6?
-11/6
Let y(m) = 16*m - 35. Let u be y(3). Which is smaller: u or 0.03?
0.03
Let x = 7 + -34. Let n = -26.2 - x. Which is smaller: 0.1 or n?
0.1
Let w(m) = -m + 14. Let y(p) = p - 3. Let g be y(9). Let r be w(g). Let n be r/(-10)*(-4)/8. Is n >= 2?
False
Suppose -3*h - 60 = h. Suppose -2*u - u + a = -56, -u - 5*a - 8 = 0. Let o = u + h. Is o less than 2?
False
Suppose -3 + 51 = 5*p + 2*w, 0 = -3*p - 5*w + 25. Let l be p/3 - 3*(-1)/(-9). Let i = -0.06 - -2.06. Is l at least i?
True
Let x = 2243.8 + -2245. Are 0.12 and x nonequal?
True
Let p = -497.1 + 497. Is 1/4 greater than p?
True
Let d(g) = g**2 - 4*g + 5. Let r be d(2). Let y = r + -1. Do y and -1/12 have different values?
True
Let r = 4744/21 + -226. Which is bigger: -0.08 or r?
-0.08
Suppose -4*i + 5*v + 29 = 0, 2*i + 18 - 5 = -3*v. Suppose 2*d - i = d. Let a be (-211)/11 - 2*2/(-22). Which is smaller: d or a?
a
Suppose 0 = -2*b + 3*b - 3. Let s be -67*(-1)/16*-4*2. Let d = -191/6 - s. Which is bigger: b or d?
b
Let w(c) = -13*c**2 + 4*c + 10. Let y be w(-3). Let t = y - -137. Does 20 = t?
False
Let n = -0.05 - -17.05. Let l = n - 16.8. Are l and 2 equal?
False
Let f(n) = 14*n - 6. Let a be f(2). Let w be 260/22 - (-4)/a. Which is smaller: -0.2 or w?
-0.2
Suppose 0 = -19*s + 17*s. Let l = -157/209 + 16/19. Is l smaller than s?
False
Suppose 12*f - 24 = 60. Is f < 2?
False
Suppose -4*m + 2*r = -0*r - 34, -12 = -4*r. Are m and 8 equal?
False
Let g(p) = -p + 1. Let h be g(-2). Let j be 8/5 + h/(-5). Does -2/15 = j?
False
Let s(y) = y - 29. Let z be s(20). Is -2 >= z?
True
Suppose 93 + 83 = 8*t. Suppose 4*l + 10 = 4*p - t, 9 = 2*p + 5*l. Which is bigger: 5 or p?
p
Let c = 27 - -10. Let q = -38 + c. Is 1/6 greater than q?
True
Suppose 5*g = 25 + 5. Let d be (7 + -3)*g/36. Which is smaller: -2/7 or d?
-2/7
Let a be (-27)/6*2*(-2)/6. Suppose 8 - 48 = 4*g + a*x, -13 = -g + 5*x. Is -34/5 less than or equal to g?
False
Let y(u) = u + 17. Let f be y(-14). Let g = -417/7 + 2197/35. Is f equal to g?
False
Let b = 52 - 55. Let k(w) = -2*w**3 - 3*w**2 + w - 1. Let a be k(b). Is 27 greater than or equal to a?
True
Let g be (-18 - 351/(-18))*4/6. Are g and -94 non-equal?
True
Let g = -89 + 91. Suppose -g*k + 5*a = 162, -2*a = a + 6. Which is greater: -85 or k?
-85
Let v = -284.2 + 285. Is v less than -3/5?
False
Let t = 1.804 - 0.704. Which is greater: 58 or t?
58
Let s = 6158/249 + -33/83. Is s bigger than 25?
False
Let p = 0.0268 - 0.0468. Which is smaller: p or 3.2?
p
Let y = -125 + 108. Let w(f) = f**3 + 7*f**2 + 6*f - 16. Let u be w(-6). Which is greater: y or u?
u
Let t = -42172650/1429 + 29512. Is 0 smaller than t?
False
Let x = -53 + 50. Let l be x/(-1)*(-44)/(-33). Let i(z) = z - 2. Let m be i(6). Is l smaller than m?
False
Let w be -1*(-16)/4 - -6. Suppose 15*n - 10*n = -w. Let t = n - -2. Which is smaller: t or 9?
t
Let p = -1.1 - 0.9. Let h = p - -11. Let j = h + -3. Is j > -2/3?
True
Let m(b) = 4*b**2 + 11*b. Let h(u) = -5*u**2 - 11*u + 1. Let r(f) = -3*h(f) - 4*m(f). Let j be r(-7). Which is smaller: