5?
False
Let k(x) = 12*x + 241. Let o be k(-19). Is 10 greater than o?
False
Suppose -3*i - 3*y - 4 + 211 = 0, 2*i = 2*y + 158. Suppose -11 = 3*o - i. Is o bigger than 21?
False
Let p = -4 + 6. Let z = -2.11 + p. Let u = z + 0.21. Is -19 greater than u?
False
Let i = 87 + -73. Let l be i/21 - 58/105. Are l and -1 equal?
False
Suppose -3*z - 4*p - 104 = 0, z - p + 33 = -4*p. Let r = 26 + z. Let l be (-6)/r + 24/(-40). Are l and 2 nonequal?
True
Let t(b) = -18*b + 584. Let y be t(31). Which is smaller: y or 127/5?
127/5
Let z = 44 + 1. Suppose 5*w = z - 10. Suppose -3*p + 13 = -5. Which is bigger: w or p?
w
Let n = 174.7 - 179.682. Let o = n - 0.018. Is -1/4 greater than o?
True
Let f = -1099 + 961. Which is bigger: -135 or f?
-135
Let s(j) = -j**3 - 2*j**2 - j - 1. Let w be s(-2). Let n be 102/(-56)*(-6)/(-9). Let o = 12/7 + n. Which is smaller: w or o?
o
Suppose 0*d - 2*d = 0. Let h = -664 + 12610/19. Is h not equal to d?
True
Let h = -63871/5 - -12848. Is h >= 74?
False
Let t = 531 + -520. Let b be (-2)/5 - 52/(-5). Is b smaller than t?
True
Let j(h) = h**2. Suppose 0 = 4*k + 5*p - 21, 3*k - 2*p - 7 = -4*p. Let f be j(k). Let q = 4694/105 + -224/5. Which is bigger: f or q?
f
Suppose -4*b + 70590 = 35*b. Is -0.1 at least as big as b?
False
Suppose 2*n - 186*w + 172 = -190*w, 0 = -2*n + 2*w - 148. Which is smaller: n or -74?
n
Let k = 8 + 17. Let a = 7.9 + 0.1. Let b = k + a. Which is greater: -0.1 or b?
b
Let x = 0.6 - -1.4. Let q = x + -2.1. Which is greater: q or -5?
q
Let u = 466 + -337. Is 127 smaller than u?
True
Suppose 4 - 18 = 2*y. Let h = y - -7. Is h at least 2/3?
False
Let u = -0.0218 - -0.0218. Which is smaller: 1/66 or u?
u
Suppose -8*l = -5*l - 9. Suppose 5*s - 25 = 4*z + z, l*s + z = 3. Let d = -1 + s. Is -2/13 bigger than d?
False
Suppose -5*y + 57 = -2*y. Suppose -t + 2 = 3*b, -2*b + 16 = -2*t - t. Suppose a + 23 = -4*k, -b*a + 5*k = -0*k - y. Is a > 1?
False
Let f = -9.39 + 396.39. Which is smaller: -1/4 or f?
-1/4
Let x(z) = z**2 + z + 1. Let b be x(-2). Suppose -6*l = -b*l. Which is smaller: 2/103 or l?
l
Let i = 18 + -21. Let v = i - -4. Let a be ((-6)/(-10))/((-6)/(-18)). Which is smaller: v or a?
v
Let v = 3.3 + -1.3. Let i = 1.9 - v. Let z(m) = -m. Let n be z(-3). Which is greater: n or i?
n
Let t = 18 - 18.28. Let x = t + 0.18. Let q = 0.1 - x. Which is smaller: -2 or q?
-2
Suppose 2*f = 3*a + 61, -4*f - 34 = a - 163. Suppose 1550 = 47*s + 3*s. Is f at least as big as s?
True
Let u be 3/(-12) + (-153)/12. Let k = -4 + 3. Let y be 3/(k + (-22)/(-28)). Are y and u nonequal?
True
Let n be -6 + (175/4)/7. Which is smaller: 1/2 or n?
n
Let u(p) = 55*p + 66. Let k be u(-5). Which is greater: k or -211?
k
Let c = 10 + -5. Suppose 9*w = 4*w + c. Let q = 27 + -461/17. Is w at most as big as q?
False
Let o(q) = q + 4. Let w be o(-4). Suppose -10 = -2*b, -2*r + 103 = 2*r + 3*b. Let h = r + -19. Which is bigger: h or w?
h
Let o = 598 - 501. Is o > 2?
True
Let d(u) = 201*u**3 + u**2 + u - 1. Let j be d(1). Is 202 equal to j?
True
Let w = 98 - 161. Is w greater than or equal to -64?
True
Suppose -3*s = -2*a - 17, -a - 5 = 4*a + 5*s. Let n be ((-32)/40)/a - (-19)/5. Is n smaller than 2?
False
Let c = 310/171 + 19843/342. Let u = c + -60. Let y = -1 + 2. Which is smaller: y or u?
u
Let r = 0.8 - -3.2. Let n = r - 4.03. Is 4 <= n?
False
Suppose 8*i - 4*i - 5*a - 245 = 0, -i - 4*a + 35 = 0. Do i and 55 have the same value?
True
Suppose -17*i + 24*i - 1764 = 0. Are i and 251 non-equal?
True
Let i(a) = -a**2 - 15*a + 729. Let g be i(-34). Which is greater: 100 or g?
100
Let w = 126 - -152. Let v = w - 56992/205. Let b = 162/205 - v. Which is greater: 1 or b?
1
Suppose -327*h + 72 = -336*h. Do -26/3 and h have the same value?
False
Let v = 2/25 - 83/100. Let x be (-76)/6*2/(-48). Let n = -2/9 - x. Is v bigger than n?
False
Suppose -4 - 13 = -c + s, s + 5 = 0. Let d = c - 13. Which is bigger: d or -3/16?
-3/16
Let g(o) = -o**3 + 9*o**2 - 14*o - 21. Let x be g(7). Is x greater than -41/2?
False
Suppose 17*c = 33*c + 736. Is -12 not equal to c?
True
Let f = -14/4471 + 19044/8937529. Is -1 > f?
False
Suppose x = -3*a + 4, -2*a - 5*x + 20 = -a. Let q(g) = g**2 - 4*g + 3. Let l be q(3). Suppose 0 = -3*b - l*b - 6. Is a at most b?
False
Let x be (3 - (-136)/(-40))*705. Which is bigger: -1/3 or x?
-1/3
Let z = 1 - 1. Let c be 13/((28/12)/7). Let v be 4/3*c/208. Which is smaller: v or z?
z
Let s = -22 - -18. Let j be 3/((-1)/(s/12)). Is -2/15 smaller than j?
True
Let r be 34*(11/((-99)/6))/6. Which is smaller: r or -5?
-5
Let w(q) = -q - 34. Let o be w(-12). Let z(f) = f**3 + 8*f**2 + 4*f + 10. Let v be z(-8). Does v = o?
True
Let o be (2 - (-64)/(-20))/(996/(-15)). Which is bigger: o or 0.2?
0.2
Suppose 0 = -3*z - 3. Let r be (9/(-6))/(15*17). Let c = 333/1190 - r. Which is smaller: z or c?
z
Let x be 16 + 1 + 143 + -131. Which is smaller: 25 or x?
25
Let a = -36 - -176. Let z be (1 + -2)*-3*(-5)/a. Is 0 <= z?
False
Suppose -32 = q - 4*g, 5*q + 0*g + 196 = 2*g. Let r be (-5)/(-22)*8/q. Let s be 0 - (0 + 0/(-3)). Which is greater: s or r?
s
Suppose -4 = -o - 3. Let i(l) = 29*l - 1. Let s be i(o). Let n be 1 + -2 - s/(-20). Is 2/11 bigger than n?
False
Suppose 5*y = 5*g + 3568 + 897, 2685 = -3*g + y. Are g and -896 equal?
True
Suppose -5*o - 3*h + 155 = 0, -3*o + 4*o - 5*h - 59 = 0. Which is smaller: o or 0?
0
Let z = 239 + -238.97. Which is greater: z or 1?
1
Suppose -3*w + w = -4*b - 26, 0 = -2*w - 5*b - 19. Let r be (-672)/(-21) - 27 - 26/14. Which is bigger: r or w?
r
Let j = 0.55 - -12.45. Let v = 0.1 + 0. Is v > j?
False
Let k be -10 + (7 + -21)/2. Is 10 less than or equal to k?
False
Let c = 284.0703 + -0.0703. Let w = -280 + c. Suppose -2*n + 5*n = 12. Is n <= w?
True
Let p = -107 - -93. Is p greater than or equal to 0?
False
Suppose i = -2*b - 9, -i + 3*b = b - 3. Let a = 4 + -10. Let f(c) = -c**2 - 7*c - 9. Let l be f(a). Do l and i have the same value?
True
Let t = 17290/1769 + -292/29. Is 0 smaller than t?
False
Let d = -247/6 - -41. Is 0.5 < d?
False
Suppose -39*u = -52*u. Which is smaller: 15/88 or u?
u
Let l(a) be the third derivative of -a**2 + 1/24*a**4 + 0 - 7/3*a**3 + 0*a. Let y be l(13). Which is smaller: y or 1/20?
y
Let j = -8.3 + 8. Let c = 1386 - 1396. Are j and c equal?
False
Let r = -161 - -160. Is 179 less than or equal to r?
False
Let c(u) = -8*u - 39. Let a be c(-5). Let v = 93/4 - 6223/268. Are v and a unequal?
True
Let l = -0.28 - 0.31. Let g = l + 0.26. Is -0.1 bigger than g?
True
Let h be 3/(-8)*-2*440/(-5115). Which is greater: h or -2/141?
-2/141
Suppose 0*w + w - 81 = 2*p, 3*w = 3*p + 243. Which is greater: w or 85?
85
Suppose -275 = p - 6*p. Let x = 75 + -20. Do p and x have different values?
False
Let v(f) = 8*f**2 + 12*f - 10. Let u be v(-5). Is u bigger than 130?
False
Suppose 28 + 47 = 5*x. Suppose -4*o - x = -7*o. Suppose -2 + 7 = -o*k. Is k bigger than -7/4?
True
Let c = 330 + -3624/11. Let z(t) = t - 8. Let i be z(6). Let w be 1/(-3) + i/(-6). Is c < w?
False
Let u(b) = 2*b - 18. Let t be u(10). Let j be t/(-4)*6 - (-4 - -2). Which is smaller: j or -16?
-16
Let d(u) = -u**2 - 14*u - 5. Let x(r) = -1. Let n(q) = d(q) - 4*x(q). Let p be n(-12). Let s = 23 - p. Which is bigger: s or 1/3?
1/3
Let p = -12 + 14. Suppose 0 = z - 4, i - p*z = -0*z - 3. Suppose -i*q = -q. Is 3/7 at least q?
True
Suppose -2*w - 2*w = 24. Let a be 15/(-4) - w - 2/(-8). Which is greater: a or 4?
4
Let y(s) = -10*s - 44. Let r be y(-5). Suppose 27 - r = 3*g. Is g not equal to 9?
True
Let j(s) = 0*s - 2*s**2 - 2 + s + 3 + 0*s**2. Let x be j(0). Is x smaller than -5/16?
False
Suppose -43 - 53 = -2*v. Let u be 4/6 + 4/v. Let i = -120 - -122. Is i > u?
True
Suppose 0 = -2*c - 6, -c + 23 + 6 = 2*k. Let l be (2/2 + -2)*k. Suppose 2*b = -3*f - 43, -2*f + 111 - 32 = -5*b. Which is smaller: l or b?
b
Let o be 15/(-54)*164*20. Suppose -4545 = 5*g + 5*z, -5*g - 1290 = -3*z + 3279. Let s = g - o. Is s at least -2?
True
Suppose y + 2*y = 6. Let p = 871/582 - -1/291. Which is smaller: y or p?
p
Let p = -0.0481 + -253.9519. Is 0 not equal to p?
True
Let o(c) = -c**2 - 29*c - 15. Let k be o(-20). Let h be (55/k)/(0 - (-4)/9). Are 0 and h non-equal?
True
Suppose 2*b + 664 + 728 = 0. Let v be 270/b + (-2)/(-8). Is v < -1?
False
Let l = 12 + -12. Su