*2/2 + s. Let n(q) = 3*q**2 - 25*q. Let o be n(8). Let a be f(o). Is a at least -3/7?
True
Let n = 10 + -10. Which is smaller: n or 3/8?
n
Suppose 12*q - 11 = 11*q. Which is smaller: 35/3 or q?
q
Let r = 2.4 - -0.1. Let z = -3.6 + r. Which is greater: z or 1/3?
1/3
Suppose 5*a - q = -70, 17 + 11 = -2*a - 5*q. Which is smaller: a or -13?
a
Let f = -351/212 - 5/53. Which is greater: 0 or f?
0
Let y = 13 + -9. Suppose -y = -4*s - 0*s. Suppose -5*z - s = -11. Is z bigger than 2?
False
Let p be 2/(-6)*(-18)/(-27). Is p equal to 1?
False
Suppose 4*m + 8 = -m - 4*q, 0 = 5*m + q + 2. Let u be 0 - 2/(-6) - 1. Is u less than or equal to m?
True
Let f be 51/(-30)*2 - -2. Is -2 at most f?
True
Suppose 0 = -4*n + n + 51. Let r be (n/2)/((-3)/6). Which is smaller: -16 or r?
r
Let t(f) = f**2 + f. Let x = 2 + -1. Let q be t(x). Let h be (0*1/(-3))/q. Is h != -1?
True
Let j = -3/242 - 749/17666. Let h = j + 206/1095. Let l = 0.3 - 0.2. Is h less than l?
False
Let l = 44.1 + -13.1. Which is greater: 2/9 or l?
l
Let h = -269 - -77471/288. Which is smaller: h or -1?
-1
Let y = 4.6 - 3. Is y at least 0?
True
Suppose -2*z = -z - 3. Let t be 15/30*((-147)/(-6))/7. Is z <= t?
False
Let h = 2 + -1. Let g be h/3*(-3 - -6). Is 0 smaller than g?
True
Suppose 0 = 2*r + 3 + 1. Is r bigger than 1?
False
Suppose -2*i = 4*j - 5 - 39, 0 = 3*j - 5*i - 59. Which is greater: 12 or j?
j
Let h = -110 + 118.9. Let v = -9 + h. Let p = 0.3 - 0.2. Is p at most as big as v?
False
Let n be (4 + -3)/((-2)/(-10)). Let m(p) = p**3 - 4*p**2 - 3*p - 7. Let r be m(n). Suppose r*o = -o. Which is smaller: o or -1?
-1
Let p(z) = -3*z**2 + 28*z - 9. Let l be p(9). Which is bigger: -7/10 or l?
l
Let v = 12/7 + -291/35. Which is greater: -6 or v?
-6
Let z(m) = 8*m - 27. Let j be z(11). Is j < 63?
True
Suppose -3*i = -5*b - 21, 2 = 3*i - 2*i. Do -3 and b have different values?
False
Let v = 10 + -10. Is v not equal to -1?
True
Let j(o) = 7*o + 2. Let i be j(2). Is i greater than 16?
False
Let w be 1 - 0 - (-6)/3. Let s be (4 - w) + (-6)/10. Which is smaller: -0.3 or s?
-0.3
Let w = -8 - -4. Let k be w/(-18)*1955/2. Let o = k + -217. Are 1 and o nonequal?
True
Suppose -4*k + 0*k = 32. Let j(a) = -a**2 - 7*a - 9. Let y be j(-7). Is y != k?
True
Let y be 2/4*12/(-6). Let g be 0 + 2 - (-7 + 6). Suppose 1 + 5 = -g*l. Which is greater: y or l?
y
Let b(g) = g**3 + 11*g**2 - g - 16. Let o be b(-11). Let w be (-3)/(-6)*6/o. Which is bigger: w or 0?
0
Let q = 8 + -2. Let h be q/9*6/(-22). Let z = 2 + -1. Are z and h unequal?
True
Suppose 2*f + 15 = -3*f. Let m = f - -2. Let r be ((-4)/2)/(-2 - -3). Is m > r?
True
Let y be (-178 + -2)*16/40. Is -71 smaller than y?
False
Suppose 4*d - 3*d - 3 = 0. Suppose -6 = 5*p - d*z, 6 = 2*z + z. Let y be (2 - p)/(2/(-2)). Which is greater: 1 or y?
1
Let c = 0.2 - 0.16. Let v = c - 0.14. Is v greater than 1?
False
Let t = -102 + 96. Let w = 2 - 2.2. Let i = -0.3 - w. Is i bigger than t?
True
Let h = -118.97 + 123. Let n = 4 - h. Let o = 4.03 + n. Is 2/7 less than or equal to o?
True
Suppose -5*i = -8*i + 15. Which is greater: i or 4?
i
Let t be 1/(-4)*(-24)/15. Let h(x) = -x**3 + 23*x**2 - 23*x + 21. Let q be h(22). Is t greater than q?
True
Let a be (-20)/2*30/(-20). Let w(j) = -j**2 - 13*j - 15. Let f be w(-10). Is a at least f?
True
Let w = -0.1 - -2.1. Let f = -4 - -9. Let x = f - 3. Does x = w?
True
Let v = -1 + -5. Suppose -13 = 2*p - 5. Let j = p - v. Which is greater: -1/4 or j?
j
Let j(d) = -d**3 + d**2 + d + 2. Let g be 2*1 + -3 + 1. Let q be j(g). Let h be q/(-1) + (-2 - -2). Which is smaller: -1 or h?
h
Let k be (30/21)/5*4. Suppose -5*i = h + 20, i + 4 = -0*i. Which is greater: h or k?
k
Let n = -1591/2 - -771. Let m = n + 25. Let d = 1 + -0.8. Is d > m?
False
Let y(n) = n - 3. Let t be y(7). Suppose t*c - 1 + 5 = 0. Let r = -3.04 - -0.04. Which is bigger: r or c?
c
Let w(d) = -d + 1. Let n be w(6). Which is smaller: -7 or n?
-7
Let o = -4 + 9. Let u = 3 - o. Which is greater: u or -0.2?
-0.2
Let v = -24 - -25. Suppose -2*z = -3*z - 34. Let q = -239/7 - z. Which is smaller: v or q?
q
Suppose 5*y + 4*b - 29 = 0, -3*y + 8*y = 2*b + 23. Is y greater than 5?
False
Let q = -45 + 27. Let m = 13 + q. Is -5 greater than or equal to m?
True
Let m(d) = -d - 6. Let v = -16 + 10. Let p be m(v). Let t be (-2*1 - 0) + 2. Are p and t unequal?
False
Let r(s) = 4*s - 82. Let z be r(21). Do z and 1 have the same value?
False
Let p = -1.15 - 0.05. Let h = p - -1. Is h at most as big as 0?
True
Let o be (-201)/(-855) - 3/15. Is 1 at most o?
False
Let v be 3/(-9) - 2/3. Let s be ((-1)/(-24)*3)/1. Which is smaller: v or s?
v
Suppose 6*q - q + 5 = 0. Let y(k) = k**3 + k + 4. Let h be y(0). Suppose -3*b + 15 = 3*z, b + h*b + 3*z = 15. Which is smaller: q or b?
q
Suppose g = -t + 2, 3*t + 2 = -13. Is g smaller than 6?
False
Suppose 2*a + 5*c + 7 = 31, 12 = -2*a + 4*c. Suppose 0 = -5*l + a*q + 33, 0 = 2*q + 7 + 1. Do 4 and l have the same value?
False
Let w = -0.11 + 0.38. Let y = 0.03 + w. Let n = y + -0.5. Is -1 >= n?
False
Let v be (54/72)/(42/16). Suppose -5*t = 0, c = 6*c + 5*t. Which is bigger: v or c?
v
Suppose 0 = -y + 3*y. Let r = -0.062 - 2.928. Let v = r - 0.01. Are y and v equal?
False
Let f(y) = y**2 - 9*y - 7. Let u be f(10). Which is smaller: 18 or u?
u
Suppose -134 = -10*i + 56. Is 20 at least as big as i?
True
Let y(r) be the first derivative of r**2/2 + 6*r + 1. Let o(n) = -n - 7. Let c(d) = -2*o(d) - 3*y(d). Let g be c(-5). Which is greater: g or 3?
3
Let q(t) be the first derivative of -2*t**3 + 2*t**2 - t - 3. Let c be q(3). Let p = -302/7 - c. Is p <= 1?
True
Let l(y) = -2*y + 4. Let u be l(3). Is -2 <= u?
True
Let z = 0.04 + -0.06. Let y = -0.98 + z. Let l = y + 3. Is 1 != l?
True
Suppose -3*a + 4*f - 23 = 0, -4*a + 2*f + 0 - 14 = 0. Let i = 1.2 - 1.22. Which is greater: a or i?
i
Let y(o) be the second derivative of o**4/12 - 7*o**3/6 - o**2/2 + 2*o. Let c be y(6). Let l be (-4)/21*(4 + c). Which is smaller: l or 0?
0
Let s = -27/7 - -55/14. Is s not equal to -1?
True
Let m be (-70)/8 - (-2 + 3). Let d = m + 125/12. Let x = -1.82 - 0.18. Does d = x?
False
Let b(y) = -y**3 + 8*y**2 + 9*y - 6. Let c be b(9). Let z be 9/c*-2 + 15. Let t be (-39)/z + (-1)/(-2). Which is smaller: t or -1?
t
Suppose x = 2 - 3. Suppose -2*f - 5*h + 28 = 0, -40 = -5*f - 4*h - h. Let m be 6/10*f/6. Is x greater than or equal to m?
False
Let h(a) = a**2 - 1. Let c(k) = -7*k**2 - 2*k + 5. Let z(l) = c(l) + 6*h(l). Let w be z(-2). Which is greater: w or -3/5?
-3/5
Suppose -2*n = -5*f + 41, 0 = 2*n + 4*f - 2 - 2. Let a be (-1)/(-3)*3/n. Which is smaller: 0 or a?
a
Let r be 3*(0 + (-28)/72). Is -1 < r?
False
Let y = -2.4 - -0.4. Let s = -3 - y. Which is bigger: 1 or s?
1
Let x = 1.4 + -1.3. Let g = 1 + -4. Which is bigger: g or x?
x
Suppose -10 = -2*o - 0*o, 4*o - 14 = -2*m. Is 0 equal to m?
False
Let m = -1362.1 - -1289. Let y = 67 + m. Let c = y + 6. Which is greater: -1 or c?
c
Suppose 5*g - 2*o + 1 = 0, -2*g = -2*o + 3*o - 5. Let r be 2 - 2 - (2 - 3). Let c be -3 + r - 27/(-15). Does c = g?
False
Let o = 7 - 3. Let k be (26 + o)/((-3)/(-4)). Let m be k/(-21) + 0 - -2. Is m at least -1?
True
Let v = 2379/11 - 216. Which is greater: v or 1?
1
Let v(s) = 2*s + 24. Let f be v(-12). Let w be 8/(-30) + (-2)/5. Is w bigger than f?
False
Let y = 10 - 7. Suppose -2*j = 3*s + 14, -y*s + 3 = -3*j + 12. Is s at most -4?
True
Suppose 6*k = 2*k - 20, 3*k = -4*t - 75. Which is smaller: t or -63/4?
-63/4
Suppose 0*s + 5*s - 50 = 0. Is s less than -0.2?
False
Suppose -2*i = -5*o + 10 + 14, -5 = i + o. Let t(h) = h + 9. Let z be t(i). Suppose -n = -z*n. Which is bigger: 3/7 or n?
3/7
Let f(s) = -s**2 - 5*s + 6. Let x be f(-6). Suppose -5*r = -x - 5. Which is smaller: r or 1/37?
1/37
Let l(j) = -5*j**3 - j - 1. Let v be l(-1). Suppose 3*u = -2*i - i + 15, -2*i - v*u + 22 = 0. Let z = -12/5 + 41/15. Which is bigger: z or i?
i
Let x = -27 - -24.9. Let h = x + 2. Let c = -542/5 + 108. Do c and h have the same value?
False
Let d = 5/94 + -443/4794. Which is greater: 0 or d?
0
Let p be 47/(-52) - 3/(-4). Suppose 0 = -3*y - 2*x + x - 2, 3*y + 7 = 4*x. Which is bigger: y or p?
p
Let j = -2/39 + 43/78. Which is greater: -1/8 or j?
j
Suppose -b + 14 = b. Suppose 0 = -2*v + y - b, -3*v = -3*y + 1 + 14. Let l = 9 