87. Are s and 23 nonequal?
True
Suppose -2*w = 5*b + 16 - 50, b = w + 11. Let f(o) = 2*o**2 - o - 2. Let g be f(-2). Suppose -2*m = -5*v + g, v - 4 + b = -m. Which is smaller: 1 or v?
v
Let g = -7237/78 + 551/6. Do g and -2 have different values?
True
Let f be (-99)/(-22)*4/6. Suppose -4*m + f = -m. Are -2/113 and m unequal?
True
Let f(u) = -u + 1. Suppose -12*b - 28 = -5*b. Let a be f(b). Suppose a*h + 6 = -x + 3*h, 5*h = 2*x + 21. Which is smaller: -20/3 or x?
x
Let s be 16/(-12)*(-6)/4. Let v be 0/(-5)*(s + -1). Let c be ((-1)/(-4))/(10/(-12)). Is c greater than v?
False
Suppose 0 = 5*i - 0 + 25. Let g = i - 29. Let c = g - -20. Is c not equal to -14?
False
Let n = -397 + 1211/3. Let c = -6 + n. Is -3/5 < c?
True
Let r = -0.98 + 0.87. Which is bigger: 2 or r?
2
Let a be (0 + 0)*12/(-24). Let w = 284/189 - 2/27. Which is smaller: w or a?
a
Let u = -1892/5133 - 8/177. Which is greater: 1 or u?
1
Let p be 3 + -5 + 3 + 12. Suppose -z - 14 = -2*w, -4*z + p = 3*w - 19. Which is greater: w or 13/2?
w
Let x(w) = -w**2 - 5*w - 1. Suppose -5*l + 12 = -t, 0 - 6 = -2*t. Suppose 0 = -g - l - 2, 2*g + 30 = -4*a. Let d be x(a). Which is greater: d or -1/7?
-1/7
Let u = 1167 - 1126. Which is smaller: 32 or u?
32
Suppose 5*n + 8 = 13. Is n equal to 2/41?
False
Suppose 5*j = -0*j - 5*z - 20, z = -4*j - 7. Let o = 9521/10 + -953. Are o and j unequal?
True
Let y(p) = -3*p**3 - 17*p**2 + 9*p + 18. Let n be y(-6). Are -2/539 and n nonequal?
True
Let u be (2 + 18)*-1*4/(-10). Let a be (-7 - (1 + -4)) + u. Which is bigger: -2 or a?
a
Let k(b) = -25*b**3 - b**2 + 3*b + 4. Let i be k(-1). Which is bigger: i or 155/6?
155/6
Let v = 1576 + -1574. Is v bigger than 75?
False
Let r = -1.15 - -0.15. Let x = 10 + -10. Let b = x + -6. Is b less than r?
True
Let r(x) = 2*x - 12. Let t be r(8). Suppose -p + 2*l + 0 = 4, -16 = t*p - 3*l. Is p != -1?
True
Let d = 32 + -30. Let i be d + -1 + 1 + (-44)/18. Is 0 smaller than i?
False
Suppose j - 16 = -3*j. Suppose -6 = 2*u - j. Which is smaller: 2/267 or u?
u
Let h = -44.15 + 42. Let z = h - -0.15. Is z bigger than 0?
False
Let q(p) = p**3 + 7*p**2 - p - 16. Let l be q(-7). Let y be 6/(-20) + l/(-18). Which is smaller: y or -1?
-1
Let m = -1342 - -1341. Let x(r) = r**3 - 3*r**2 - 4*r + 1. Let g be x(-3). Let t = g - -122/3. Is m bigger than t?
False
Let j = 2137 - 2157. Which is greater: j or 8?
8
Let q = -9 + 12. Let i be -2 + 57/2 + q. Let o = i + -30. Is o at most as big as -2?
False
Suppose -60 = 4*m + 2*o, 25*m = 21*m + o - 48. Which is smaller: -12 or m?
m
Let r(k) = -k**3 + 10*k**2 - 10*k + 12. Let g be r(9). Let a(z) = -3 - 3 - 3*z**2 + z**g + 2 + 4*z**2 - 4*z. Let l be a(-2). Which is greater: -1/14 or l?
l
Let w = 616 + -6151/10. Suppose 0 = 5*k - 3*b + 15, -2*k - 6 - 9 = -3*b. Which is bigger: k or w?
w
Let q = -91 + 92.98. Let a = -0.22 - q. Which is smaller: 2/5 or a?
a
Let r(a) = -2*a**3 - 20*a**2 - 57*a - 59. Let h be r(-10). Which is bigger: 510 or h?
h
Let o = 14 - 14. Let c be (5*(-8)/(-100))/(3/(-5)). Is o smaller than c?
False
Let l = -122 + 207. Is l not equal to 85?
False
Let x = 18 - 12. Let t = x + -1. Suppose -4*l - 4*q = -22 + 6, 5*q = 25. Is t >= l?
True
Let k = 4795 + -1870051/390. Which is smaller: k or -1?
-1
Let w(y) = -2*y + 28. Let p be w(13). Suppose p*b - n = -2*b + 2, -6 = -3*n. Is b less than or equal to 3/8?
False
Let h = -286/35 + -24/7. Which is greater: h or -13?
h
Suppose 19*w + 1209 + 11996 = 0. Is -695 at most as big as w?
True
Suppose -5*k + 2220 = 64*u - 66*u, 5*k + 3*u = 2245. Does k = 443?
False
Let h = -71 + 65. Let i be h/(-12)*8/6. Is -14 greater than i?
False
Let h = -49 + 52. Suppose 0 = 2*j - k - h, 3*k + 0 = -4*j + 1. Does -2/77 = j?
False
Let z = -0.094 - 0.206. Which is greater: 190 or z?
190
Let m = 800 + -663. Which is smaller: 1 or m?
1
Let p = -8 - 111. Is -119 at least p?
True
Let i = 3.07 - 0.07. Let v = i + -9. Which is bigger: v or 0.1?
0.1
Suppose 5*h = 2*g + 3*g + 20, 5*g - 3*h = -12. Let c = 140 + -2099/15. Which is smaller: g or c?
g
Let s = -80 + 143. Let i = s - 92. Is -28 smaller than i?
False
Let w = -0.26 - -0.58. Let f = 0.33 + w. Let h = -0.05 + f. Which is greater: h or 1?
1
Let n = -72 - -71. Let h be 148/378 + (-12)/28. Is n at least as big as h?
False
Suppose -10 - 35 = -3*d. Suppose -d + 11 = 4*m. Which is greater: -1/49 or m?
-1/49
Suppose -3*j - 267 = -0. Let l = 34 + j. Which is smaller: l or -54?
l
Let u = -334 - -333. Is -8/7 smaller than u?
True
Let j(v) = v + 4. Suppose -31 = 3*y + 5*l, -2*y + 4*l = -4*y - 24. Let x be j(y). Suppose x*r = 3*r. Which is bigger: r or -2/13?
r
Let q be -3*3/(-3)*1. Let h(w) = 3*w + 3. Let d be h(q). Let m be -1 + 1 - d/18. Which is smaller: -1 or m?
-1
Suppose -n - 61 = -61. Suppose 2*h - h + 1 = n, 0 = 3*o - 2*h + 28. Is -9 not equal to o?
True
Let r be (1 + 17)/(4 - 5). Let t be (-152)/(-36) - (-4)/r. Let k(n) = -n**3 + 2*n**2 + 3*n + 4. Let s be k(t). Is -16 at least as big as s?
True
Let t(o) = -2*o**2 + 9*o + 21. Let q be t(6). Let i = -60 + 64. Is i at most q?
False
Suppose 5*v = 5*g + 245, g + 2*v + 217 = -4*g. Let t(a) = -21*a + 1257. Let b be t(62). Do g and b have the same value?
True
Suppose 4*g - 49 = -33. Let k be g/1 + 0 - (-1334)/(-276). Let b(t) = t**2 + 7*t - 10. Let z be b(-8). Which is smaller: k or z?
z
Suppose -5*k + 4 = -111. Let r = k + -22. Let j be (r/2)/(0 + 1). Is j not equal to -3?
True
Suppose q + 5 = 0, p + 12 - 8 = 3*q. Is -19 at most p?
True
Suppose 5*o = 4*u - 36 + 15, -4*o - 8 = -u. Is -1/39 smaller than o?
False
Let f = -16.2 + 16. Let i = -0.3 + -20.7. Let t = i + 16. Which is bigger: f or t?
f
Let s(t) = -5*t**2 + 101*t - 27. Let u be s(20). Is -10 smaller than u?
True
Let a(g) = -4*g**2 + 2*g. Let z be a(1). Let o(h) = h**3 + h**2 - h + 1. Let t be o(z). Is -1/8 not equal to t?
True
Let z = -9 - -18. Let o be (-12)/z - 3/(-9). Let n be (-7)/(-3) - o/(-3). Is 0 at least n?
False
Let h be (-1)/2 + 21/6. Suppose -4*a + r - 136 = 0, 3*a + r + 166 = 57. Let v = -31 - a. Which is bigger: h or v?
v
Let j = 54 + -54. Suppose -a - a = j. Is a less than or equal to 7?
True
Let c be 1/(-75)*1*2. Let f be ((-1)/(-4)*-94)/(4/8). Let h = f + 46. Is c greater than h?
True
Let y(m) = 3 + m**3 - 5*m**2 + 4*m**2 + 6. Suppose 3*r - 4*t + 20 = 0, 0 = -4*r - 3*t + 2*t + 5. Let z be y(r). Is 9 greater than z?
False
Let b be ((-4)/3)/(32/(-112)). Which is smaller: b or 0.6?
0.6
Let d = -21 + 24. Suppose 2*i + 8 - 26 = 4*u, -4*u = d*i + 23. Let f be (0 - i)/((-60)/45). Which is smaller: f or 1?
f
Let o be 14/42 - (-146)/(-330). Let g = o - -53/990. Is 1 bigger than g?
True
Let h be (-1)/((-6)/12) - 3. Is h greater than 10/9?
False
Suppose -5*v - 2*p + 29 = 0, 2 = -5*v + 5*p + 17. Which is smaller: v or 8?
v
Let g = -4 + 12. Let y(v) be the first derivative of v**2 - 11*v - 10. Let r be y(g). Which is smaller: r or 4?
4
Suppose 5*t - 3*t = -8. Let i = 82 + -44.8. Let x = i - 37. Which is smaller: t or x?
t
Let n be (1 - 0) + (-4)/2. Let r = -8088/47 + 172. Which is greater: n or r?
r
Let n be 4/((-32)/(-18)) + -1. Let l be (-7)/(14/(-12)) - (0 + 4). Which is greater: n or l?
l
Suppose -3*f + 2*f = 4*q - 24, 3*q + f = 17. Suppose 0 = -3*k - q + 1. Let r be 29/15 - k/(-6). Which is smaller: 1 or r?
1
Let z(x) = x**3 - 16*x**2 + 18*x - 47. Let q be z(15). Which is smaller: q or -11/4?
-11/4
Let g = -405 + 609. Let p be -1 - (-3)/(g/(-5975)). Let i = 355/4 + p. Which is bigger: 1/4 or i?
1/4
Let r = -11483/11 + 1043. Let j = 9 + -15. Let y be 8/(-6) + 4/j. Is r not equal to y?
True
Let o = 0.28 - 0.38. Which is bigger: o or 131?
131
Let t(w) = -w + 1. Let s be t(3). Let h be (-4 - (s + -2))/1. Suppose h = -2*q + q. Which is smaller: q or 2/13?
q
Let r = -1224 + 1235. Which is bigger: -0.33 or r?
r
Let s = 2 - 0. Suppose -k - 448 = -4*u, -u - u + 224 = -2*k. Let x be u/420*(-10)/12. Which is bigger: x or s?
s
Suppose -39*k - 44 = 5*k. Which is greater: -6/199 or k?
-6/199
Let x = 9.9 - 19.9. Let m = -10.3 - x. Is m greater than or equal to -1/11?
False
Let k be 6880/(-60) - ((-2)/(-6) - 1). Do k and -116 have the same value?
False
Let q = 9 - 9. Let z(t) = t**2 - t + 10. Let k be z(q). Is 10 greater than k?
False
Let y(u) = u**3 - 23*u**2 + 21*u + 72. Let z be y(22). Which is bigger: 64 or z?
64
Let q