w > 1/3?
False
Suppose -3*n + 7 - 1 = 0. Let i be n/6*(-225)/(-3). Which is smaller: 24 or i?
24
Let c be 18*(-4)/40*20/(-6). Suppose 0 = -2*x + c*x - 40. Which is smaller: 11 or x?
x
Let w be (-27)/(-396) - (3 - 2 - 1). Let s be 1 - (1 + (-2 - -2)). Are w and s equal?
False
Let y(k) = -3*k + 2. Let c be y(5). Let a = c + 28. Suppose -a = -6*d + 3*d, -b = -d. Which is smaller: 6 or b?
b
Let l be 2*(-8)/(-6)*2/16. Let j be (-543)/63 + (-1 - -2). Let t = 22/3 + j. Is t at most as big as l?
True
Let s(y) = -y**3 - 16*y**2 + 18*y + 17. Let l be s(-17). Let w be 9 + -9 - 8/(-7). Let k = w - 10/21. Is l at least as big as k?
False
Let k = 2 + 7. Suppose -5*n + 36 = -9. Let m be ((-12)/n)/((-3)/k). Is m at most as big as 5?
True
Let i be (-2 + (-203)/(-28))*1*16. Let s be 87/i - 6/21. Which is greater: 1 or s?
1
Let c be (-10)/((-20)/6) + -3. Is c equal to -3/73?
False
Let j be (4 - -42) + (-1 - -4) + 1. Is j equal to 47?
False
Let h = -12 - -8. Suppose 8*q - 61 = -21. Let l = h + q. Do -1/6 and l have the same value?
False
Suppose -204 = 5*t - 44. Let g = -25 - t. Which is smaller: 5 or g?
5
Let j be (-12)/150 - 8922/2850. Which is greater: -3 or j?
-3
Suppose -30*x + 179 = 119. Suppose 0 = 5*i + 2 - 12. Suppose 2*w + 0 = i. Do x and w have the same value?
False
Let u(r) = 2*r - 24. Let c be u(12). Let a = 359/9 - 40. Let x = 1/72 - a. Which is bigger: x or c?
x
Let z be (-2 + -4)/(-3)*1. Let b be 2 + (-174)/27 + z. Is -1 at most as big as b?
False
Let x be (-3611)/(-4830) - (0 - -1). Let z = 1/30 - x. Which is smaller: z or -1?
-1
Let f = 93669 + -23698501/253. Let c = 18/23 + f. Is c < -2/7?
False
Let f = 74.8 + -0.8. Let a = f + -73. Is 8/3 less than a?
False
Suppose 0*p = -p - 144. Do -145 and p have different values?
True
Let s be ((-1)/7)/(26/((-260)/(-645))). Which is smaller: s or 0?
s
Suppose -4*s = -2*k, 0 = -5*k + 3*k + 2*s. Suppose -9 = -b + 3*h - 3, -4*b + 3*h + 33 = k. Is 17/2 < b?
True
Let w be (-1)/(-2)*-3*1440/(-972). Let d = 274/99 - w. Is -2/9 greater than d?
False
Suppose 5*w = -0 + 15. Suppose -g = -w*x - 24, 3*g - 69 - 3 = x. Let l = g + -23. Which is smaller: l or 1/21?
1/21
Let x(s) = s**3 - s**2 + s + 1. Suppose -6 = -22*w - 6. Let p be x(w). Which is bigger: 18/17 or p?
18/17
Let l = 390 - 726. Let h be l/80 - 8/(-2). Which is smaller: h or -6?
-6
Let w be (2/1)/(7*4 - 1). Let g = -17 - -17. Which is smaller: g or w?
g
Suppose -92 = 5*k - 9*k. Suppose 19*w - k*w = -144. Is -1 <= w?
True
Let i(r) = r**3 - 4*r**2 - 11*r - 33. Let a be i(7). Is a bigger than 40?
False
Let m = 61673/2222506 - 23/818. Is 1 equal to m?
False
Let f = -31 + 12. Let k = -12/13 - -49/39. Is f at least k?
False
Let l = -204 + 162. Let x be 2 - (2606/1200 - (-7)/l). Which is smaller: 0 or x?
x
Let k(j) be the first derivative of 2*j**2 - 17*j + 16. Let y be k(3). Is y less than -4?
True
Let l = -204 + 397/2. Let i(o) = 13*o + 35. Let j(z) = -7*z - 18. Let y(q) = -6*i(q) - 11*j(q). Let k be y(-6). Which is smaller: l or k?
k
Suppose -6*c + 120 = 2*x - 4*c, -2*x + 120 = 3*c. Let i be ((-4)/5)/(69*(-8)/x). Which is smaller: 0.2 or i?
i
Let x = -137.1 + 165. Let d = x + -28. Which is greater: d or 0.2?
0.2
Suppose -30*n + 33*n - 27 = 0. Which is bigger: n or 5?
n
Let a = 3 - 2. Let j = -2/173 + 883/1557. Which is bigger: j or a?
a
Let v = 116 - 140. Let x be -8 + (v/(-32))/(9/12). Is -2 at least x?
True
Suppose -13*p - 1421 = 425. Suppose 3*g - 15 = 3. Let v be 2/3*g/p. Which is smaller: v or -1?
-1
Let v = 459 - 472. Which is bigger: 1 or v?
1
Let a = 16 - 9. Let z = a + -5. Let o = -442 - -442. Is z at most as big as o?
False
Let y = 16 - 12. Suppose y*t = -5*r + 23, -3*r + 2*t = r - 8. Suppose -16 = -r*b + c, -5*b + 4*c - 10 + 32 = 0. Which is smaller: 3 or b?
3
Suppose -3*i + 0*i + 12 = 0. Suppose -a + 40 = i*a. Suppose -m + h + 0 = -5, m + 5*h = 23. Is a bigger than m?
False
Let t be -2*2/((-3048)/1137). Let w = t - -1/127. Suppose -4*r = -20, -2*r - 2*r + 21 = l. Which is smaller: w or l?
l
Let z be (-17)/(-4) + (-68)/16 + 4. Suppose 3*n = -3*t - 3, -2*t - z*n - 6 = 2. Is t equal to 15/7?
False
Let t = 12 + -17.2. Let i = 4.8 + t. Is -2/7 smaller than i?
False
Let l = -47 + 72. Suppose r = -0*r + l. Suppose -r = 2*z + 3*z. Is -5 at least z?
True
Let j be (2/2)/((-8)/22). Suppose -5*o + 4 = -3*a, -58*o = 2*a - 57*o + 7. Does j = a?
False
Let c be (-2 - (2 - 0))*(-115)/20. Let n = c - 42. Is n less than -17?
True
Let x = -40 + 43. Suppose 0 = -2*i - 2, -2*c - x*i = -5*c - 12. Which is bigger: -3 or c?
-3
Let z = 575 - 622. Which is smaller: -48 or z?
-48
Let l(c) = 3*c - 3. Let v be l(4). Suppose -10 = -5*k - 5*m, 30*k - 25*k - m = 22. Which is smaller: v or k?
k
Let h(x) = -3*x**2 + x - 7. Let p be h(4). Let n = p + 52. Which is greater: 1/17 or n?
n
Let q = -6.9 + 6.23. Let n = -5.33 + q. Which is greater: -2/9 or n?
-2/9
Let a(w) = w**2 - 4. Let f be a(-3). Suppose 21 = -b + 3*h, -2*b = 3*b + 5*h + f. Let r be ((-1)/22)/(b/36). Do r and -1 have different values?
True
Let u be (-23)/46*-38*1. Which is smaller: u or 22?
u
Let h(z) = -z + 16. Let v be h(7). Suppose v*g - 101 = -20. Is 10 greater than g?
True
Suppose 4 = -8*j + 12*j. Is j smaller than -1/693?
False
Suppose -6*a + 5*a = -u - 151, 0 = 3*a + 5*u - 477. Is 158 at least as big as a?
True
Suppose -6*g + 50 = -g. Let u = 9 - g. Which is greater: u or 0.05?
0.05
Let s be 3304/42 + 1/2 + 0. Let y = 5297/66 - s. Is y != 2?
True
Let w(v) = 5*v - 75. Let j be w(16). Let o = 9/5 - -39/20. Does o = j?
False
Let g(s) = -6*s - 2. Let o be g(-1). Suppose -3*u = 5*x + 9 - 4, -7 = o*x + 3*u. Suppose 0 = -y - 4*m + 6, 15 = -x*y + 4*m - 21. Is y less than -8?
True
Let d = 1542 - 1553.9. Which is smaller: -0.2 or d?
d
Suppose -3*p + 6 = 0, 7*i - 12*i - p = -842. Is 169 bigger than i?
True
Let i(p) = -p**2 + 10*p + 20. Let f be i(16). Let t = -70 - f. Is 6 < t?
False
Let t = -15 + 16. Suppose 5*h - 24 - t = -a, -4*a - 5*h = -55. Suppose -5*i - a = 5*c, 4*c = 2*i + 3*i + 10. Which is smaller: -1/4 or c?
-1/4
Let q = 2 + -1.98. Let z = -18.2 - -18.42. Let f = q - z. Is f <= -1/2?
False
Let z be (-40 - -8)*33/21. Let v = z + 50. Let h be 1 + -1 - 2/(-3). Is h > v?
True
Let j(n) = 3*n - 3. Let v be j(-3). Let m be ((-3)/126)/(3/v). Let y be (-3)/1 - ((-1 - -2) + -3). Is y less than m?
True
Suppose -t + 2 + 8 = -3*o, 0 = -2*t - 4*o. Let v(x) = x**3 + 2*x**2 - 1. Let b be v(-3). Let y(w) = w + 14. Let m be y(b). Is m <= t?
True
Suppose 3*s = s + 12. Let q(x) be the first derivative of x**2 - 12*x - 6. Let h be q(s). Which is smaller: h or -1/5?
-1/5
Let h be 21056/(-160) - 3*1/(-5). Let o = -1967/15 - h. Which is smaller: 1 or o?
o
Suppose -14*q = -7*q - 1960. Is q greater than or equal to 281?
False
Let w = -0.38 + -167.62. Let h = 169.54 + w. Let v = -1.6 + h. Is -1 less than v?
True
Suppose 17*c = c + 3888. Is c smaller than 244?
True
Let x = -4 - -8. Suppose -5*u = 3*t - 22, 5*u - x*t = u - 8. Suppose -8 = 4*k - 5*k - u*r, -5*k - 5*r = -35. Which is smaller: 7 or k?
k
Let i = 70 + -352/5. Let y be -1*(-8 + 4/4). Suppose y*o - 12 = 11*o. Is i smaller than o?
False
Let o = -27 - -28. Let v = o - -2. Is v greater than 2?
True
Let k(i) = -i**2 + 5*i - 2. Let s be k(4). Suppose -2*v = 2*m - 3 + 11, 0 = s*v + 3*m + 12. Is 0 >= v?
True
Suppose 6*w - 4*w - 3*x = -6, 3*w + 10 = 5*x. Which is greater: w or -140?
w
Suppose -13 + 2 = 2*v + z, -2*z = -2. Let h = 2/453 - 4987/906. Is h bigger than v?
True
Let a = 21 + 27. Let l = -193/4 + a. Which is smaller: -1.4 or l?
-1.4
Let g = -548 - -546. Which is smaller: -31/29 or g?
g
Suppose 14 = -62*q + 48*q. Which is smaller: q or 16/67?
q
Suppose 5*s = 4*b - 24, -2*s - 52 = 2*s + 5*b. Let h be (-245)/(-14)*s/10. Let r = h + 24. Which is smaller: r or 9?
9
Let j = -0.9 + -0.3. Let w = 1.1 + j. Let d = -0.1 + w. Which is bigger: d or 0.1?
0.1
Let c = -8 - -23. Let b = 16.5 - c. Let j = 1 - b. Is 2/9 less than or equal to j?
False
Let v be 1341/382 - 4 - 2. Let b = v - 2/191. Let f(w) = 2*w + 4. Let o be f(-3). Is b > o?
False
Let h(i) = -i**2 + i - 17. Let g be h(0). Which is smaller: g or -18?
-18
Let v(r) = -r**2 - 6. Let g be v(0). Suppose 10 = s - 3*s + 3*k, 0 = -4*k. Which is greater: s or g?
s
Let f(s) = -s**2 + 2*s + 11. Let z be f(0). Suppose 0 = 10*x + x - z. Is x g