t x = -0.221 + q. Is x at least as big as 21/5?
False
Let t = 2287 + -102923/45. Which is smaller: 1 or t?
t
Suppose -5*n = -18 + 3. Suppose -18 = 3*q - n. Which is bigger: -2 or q?
-2
Let j(t) = 3*t**3 - 3*t**2 + 2. Let d be j(2). Let k = -14 + d. Let p = -51 + 101/2. Are p and k unequal?
True
Let w = -720 + 716. Is w smaller than -267?
False
Let q = -3.2 + 3. Let n be (-2)/(38/(-8) + 5). Let y be (n/(-36))/(4/6). Which is smaller: y or q?
q
Let o = 69 - 34. Let q = -723 + 759. Let h = o - q. Which is bigger: h or 0?
0
Let d(r) = -2*r - 9. Let w be d(-6). Suppose -4*a + 288 = -2*p, 78 = w*a - 2*p - 136. Let q = a + -812/11. Which is smaller: -1 or q?
-1
Let b = 1427 + -5681/4. Is -0.3 < b?
True
Let q = 18/103 + 142/1545. Let a = -146 + 62. Let f be 2/7 - (-108)/a. Which is smaller: f or q?
f
Let s(d) = 2*d**2 - 10*d - 110. Let i be s(-6). Which is bigger: i or 244/11?
244/11
Suppose 534 = -2*l - 4*p, 21*l - 535 = 23*l + 3*p. Which is smaller: 0.1 or l?
l
Let n = 0.05 - -0.57. Let t = -0.62 + n. Which is greater: t or -71?
t
Let t = 148.26 - 149. Which is bigger: t or -0.2?
-0.2
Let d = -420 - -420.2. Which is smaller: -7/9 or d?
-7/9
Let h be -3 - 2*(-2)/(-4). Let o(l) = -l**2 - l - 2. Let t be o(5). Let v = t + 31. Which is bigger: h or v?
v
Let l = 14 - 28. Let h = l - -13. Is h at most -1/33?
True
Let k(d) = d**2 + d - 1. Let s be k(-2). Suppose 5*q + 3*u = 7, -3*q = -0*u + 2*u - 4. Let w be -2 + -4*(s - q). Which is smaller: 3/5 or w?
3/5
Suppose 808*r = 806*r - 4. Which is smaller: -3/2 or r?
r
Let x = 0.201 - 107.201. Let k = x - -90.8. Let c = -16 - k. Which is bigger: 0 or c?
c
Let j = -1 + 3. Suppose 2 = 4*r - j. Let k = 7/18 - 1/18. Which is smaller: r or k?
k
Let a(l) = 3*l - 12. Let k be a(-9). Let u = k - -19. Is u less than or equal to -19?
True
Let m = -311 - -353. Is m at most as big as 42?
True
Let f be (-120)/(-140)*(-154)/(-15). Which is bigger: 8 or f?
f
Suppose -1 = -6*l + 29. Let u(a) = a**2 + 10*a + 5. Let c(o) = -2*o - 1. Let s(p) = 11*c(p) + 2*u(p). Let i be s(-1). Which is smaller: l or i?
i
Let k = -0.6 - -0.96. Let p = 0.037 - -2.603. Let a = k + p. Which is bigger: 5 or a?
5
Let j be 890/446 + -3 + 1. Let x = j + -1781/669. Suppose 2*g = -3*g - 15. Is g smaller than x?
True
Let g(u) = -2*u**2 - 4*u + 193. Let y be g(9). Let q be 3*(-2)/6*10. Is y bigger than q?
True
Let k = -1886.01 - -1886. Are k and 174 equal?
False
Let m be (0 - 5) + 27 + -63. Which is smaller: m or -25?
m
Let h be (-4)/14 + 7/(196/(-82)). Which is greater: h or -4?
h
Suppose -7*v + 15 = -48. Is 73/7 equal to v?
False
Let f be (36/4)/(-1 - -2). Let k = f - 37/4. Let w = -1 - -2. Is k less than w?
True
Suppose 6 - 50 = -11*g. Let k(l) be the third derivative of -l**5/60 + l**4/6 - 5*l**3/6 + l**2. Let u be k(g). Which is smaller: -4 or u?
u
Let n(d) be the first derivative of d**4/4 + d**2/2 + 5*d + 3. Suppose 0 = -s - 4*s. Let l be n(s). Which is bigger: 6 or l?
6
Let a = 78 - 40. Let p = -38 + a. Is p at most -22?
False
Let d = 479 - 480. Let m be (-48)/(-9)*6/4. Suppose a - m = 5*a. Is a greater than or equal to d?
False
Let q(m) = 2*m - 2. Let t be q(7). Which is smaller: t or 138/11?
t
Let n = -1526 + 1526.2. Is n less than 173?
True
Let b = 56 - 94. Let v be -2 + 15/10 + b/(-52). Is v >= 0?
True
Suppose -297 = 4*s + 2*o - 783, -s - o + 120 = 0. Let a be s/(-144) + (-2)/(-3). Is -2 <= a?
True
Suppose 5*u + 8 = -4*v, 4*v = 4*u + u - 8. Let c be -1*(1/1)/1. Let j = u - c. Which is bigger: -2/19 or j?
j
Let o = -254.1 - -265. Let p = 11.48 - o. Which is smaller: 0 or p?
0
Let y be 2 + (0 + 3)*-1. Let c be ((-36)/(-150))/((-12)/40). Is c != y?
True
Suppose k = 5*r + 40, -9*k = -10*k + r + 24. Which is bigger: 29 or k?
29
Let m = 5 + -6. Let r be 12/78 + 666/(-273) + 1. Which is smaller: r or m?
r
Let t = -39 - -42. Let l = t - 3.09. Is -1 at most l?
True
Let s be (-3)/5*(-30)/(-96). Which is bigger: s or -1?
s
Let r = -3.6 - 73.4. Let h = r + 76.9. Does h = -2/13?
False
Let l = -295 + 304. Which is smaller: -5 or l?
-5
Let y = -583 - -584. Which is smaller: y or -3/52?
-3/52
Let d(u) = u**2 - 7*u + 2. Let p be d(6). Suppose -23 = -4*l - t - 2, t = -2*l + 11. Let v = l + p. Is 2 at least as big as v?
True
Let r(h) = h - 4. Let z be r(5). Let o(i) = 2*i**2 + 6*i. Let c be o(-4). Suppose c*n - 5*n = 15. Which is bigger: z or n?
n
Let y = -0.02 - -0.12. Let w(m) = 3*m**3 + 6*m**2 - m - 7. Let z be w(-4). Let v = 399/4 + z. Is v <= y?
False
Suppose 670 + 287 = 11*k. Is k bigger than -2?
True
Let l = -14/67 + -681/268. Which is bigger: -4 or l?
l
Let q be (4281/140)/(12/8). Let w = 103/5 - q. Suppose 5*i - 6 + 1 = 0. Which is smaller: w or i?
w
Suppose 3*l - 8 - 7 = -3*k, 0 = -2*k + 3*l. Let j be (-10)/(-125) + (-4452)/(-1225). Is j at most as big as k?
False
Let b = 5 - 1. Let q(x) = x**3 - 4*x**2 + x - 1. Let o be q(b). Suppose 4*g = -2*t - 2, 2*t - o*g = -0*g + 5. Is t less than or equal to 8?
True
Suppose 3 - 9 = 2*k. Let p be (k/66)/((-2)/(-16)). Are 1 and p equal?
False
Let n be (12/8)/((-15)/8860). Let f be -1 - (n/1510 - 14/35). Which is smaller: f or 1?
f
Suppose 4*q + 19 = 3*x, x - 9 = q - 2. Let d be (-24)/x*(-6)/(-4). Let f = -458 - -456. Is f less than d?
False
Suppose 10*i - 29 + 9 = 0. Suppose 24 + i = -2*q. Is -11 less than q?
False
Let l = 657 - -519. Let y = l - 10570/9. Is 2 < y?
False
Let m be 7*-1*(12/(-14))/1. Let p = -33 - -37. Are m and p nonequal?
True
Let x be 80/14 + 20/70. Suppose -2 = -3*o - s, 8*o = 3*o - 4*s - x. Which is smaller: o or 3?
o
Let q = -22 - -18. Let z = q - -3.9. Let i = z + 0.7. Is -1 bigger than i?
False
Let w be 6332/22 - 10/(-55). Suppose -3*i = 6*i - w. Is -1 > i?
False
Let v = 9411634/23687 - -2/71061. Let f = v + -56020/141. Let h = f - 111/47. Do -2 and h have the same value?
False
Let x(i) = 8*i - 16. Let z(g) = -g + 1. Let w(b) = x(b) + 5*z(b). Let m be w(6). Let r be m/21 + 16/6. Is r > 4?
False
Let h be 2 + (-441)/98 + 2 + 1. Which is smaller: h or -0.86?
-0.86
Let t = 2240 + -2256.9. Are t and 0.3 non-equal?
True
Let v be ((-264)/(-15))/((-4)/(-10)). Suppose 0 = 19*i - 15*i + 4. Which is smaller: v or i?
i
Let s be (-6)/4 - (-1134)/36. Let r be 16/56 - s/7. Is r > -4?
False
Let y(a) = -a**2 - 10*a - 9. Let u be y(-8). Suppose 55 = u*i - 22. Let n = 25/2 - 12. Does n = i?
False
Let x be (-4 + 4)/(4/4). Suppose 0 = -2*v - 3*j, x = -v - 10*j + 6*j. Is v less than -1/60?
False
Suppose -89 - 208 = -3*w. Let g be (-18)/w - 502/22. Which is smaller: g or -22?
g
Suppose 0 = -3*c + 4*g - 21, g - 31 = 2*c + 4*g. Let u(i) = i**2 - 17*i - 15. Let a be u(9). Let p = -100 - a. Are p and c equal?
False
Let u = -785/443829 + 11/1011. Let q = -1154/30291 + u. Is -1 less than or equal to q?
True
Let r = -0.355 + -1.52. Let p = 0.125 - r. Which is smaller: 14 or p?
p
Suppose 0 = t - 5*t + 4*j + 56, 51 = 4*t - 3*j. Suppose 73 - 3 = 14*x. Suppose -2*o + x*d = 9 + t, 0 = -3*d. Is o smaller than -9?
False
Suppose 73*d - 82*d + 45 = 0. Which is greater: d or -33?
d
Let l = 1.1 - 1. Let v = 817/40 - 104/5. Are v and l equal?
False
Let g be 22*-1 - (35 + -38). Which is smaller: g or -15?
g
Let h = 14 - 57/4. Suppose -4*l + 66 = -2*p, p + p + 18 = l. Suppose -11 = -5*t - l. Is h equal to t?
False
Let z(i) = -i**2 - 20*i + 23. Let n be z(-10). Which is bigger: n or 124?
124
Let h = -0.0795 + 3.0795. Is -0.181 smaller than h?
True
Let q be 0 + 2 + -7 + (-12000)/(-168). Which is smaller: 67 or q?
q
Let s = 3.9776 - -0.0224. Which is smaller: 20 or s?
s
Let q = 1341287 + -1889173. Let s = q - -14798158/27. Let d = -194 + s. Is 0 smaller than d?
False
Let q(v) = 2*v**2 - 2*v + 3. Let h be q(2). Suppose 0 = -4*w + 13 + h. Let y be w + -2 + (0 - 10). Is -6 smaller than y?
False
Let h = 2.1 - -1.3. Let x = -35.4 + 26. Let m = x + h. Which is smaller: m or 0.1?
m
Suppose 2*c + 488 = -330. Is -409 > c?
False
Let y = 135 - -10. Let b = 291/2 - y. Let r(j) = -j**2 - 5*j. Let f be r(-5). Is f at least as big as b?
False
Let p(j) = -16*j + 54. Let o(f) = -5*f + 18. Let x(s) = -10*o(s) + 3*p(s). Let h be x(12). Let a be ((-16)/(-72))/(20/h). Which is smaller: 1 or a?
a
Let k be (45 - 6)/((-6)/(-68)). Let v = 4865/11 - k. Let t be 10/8 + 1/(-4). Which is smaller: v or t?
v
Suppose -1 = d - 3*y - 15, -3*y = d + 10. Suppose -3*g = -