(q/7)/(10/35). Is 2 at most as big as m?
True
Let z(d) = d**3 + 5*d**2 - 8*d - 6. Suppose w - 6*w - 30 = 0. Let s be z(w). Which is smaller: s or 8?
s
Let f be (21/(-6) + 2)*-2. Suppose 4*q - 6 = f*g, -4*q - 8*g + 20 = -4*g. Let p be (-1)/(-4) - q/6. Is -1 greater than or equal to p?
False
Suppose 5*f - f = 5*n - 16, 0 = 3*n - 3*f - 9. Let w be n/(-16)*(-4)/(-3). Suppose 0*h + 4 = -4*h. Is w at least as big as h?
True
Let a = -79 + 66. Is a <= -13?
True
Let y = -1/525 - -4/225. Which is greater: y or 0?
y
Let l = -65 - -99. Let j = l - 23. Is j at least as big as 11?
True
Let h = -0.26 - 2.74. Is h smaller than 1?
True
Suppose -2*o + 5*t - 5 = -0, 4 = 5*o + 4*t. Let j be (2 - 7/3)/(6/18). Which is smaller: o or j?
j
Let r = -23 + 113/5. Let y be (-51)/(-9) + 6/(-9). Suppose -p = 2*s, y*s - 3*p + 4*p + 3 = 0. Is r smaller than s?
False
Let y(b) = -2*b**2 + 4*b - 2. Let p be y(2). Suppose -24*i = -8*i. Is p smaller than i?
True
Let x(w) = 15*w**2 + w - 1. Let m be x(-1). Let i = 14 - m. Which is smaller: -1 or i?
-1
Let o = 2 + -10. Let i be (-1)/4 - (-10)/o. Let c = i - -19/10. Which is smaller: 1/4 or c?
1/4
Let k(b) = b**2 + 6*b + 5. Let z be k(-6). Suppose -3*s = -z*s + 18. Let w be ((-4)/6)/((-42)/s). Which is bigger: 1 or w?
1
Let q be (2 + -1)*-1*-8. Let k = -8 - -10. Let h be k/q + 13/(-4). Which is smaller: -2 or h?
h
Let r = 420.04 + -431. Let b = 9.7 + 1.3. Let i = r + b. Which is smaller: -2/5 or i?
-2/5
Suppose 0 = 35*i - 34*i + 3. Let l(y) = -y**2 - 6*y - 3. Let u be l(-6). Is i greater than u?
False
Let i = -4674 - -13894/3. Let z = 42 + i. Which is bigger: z or 0?
0
Suppose 4*b = 1 + 3. Suppose -x - b = -2*x. Which is bigger: x or 2?
2
Let p be 1/(1 + -2)*-3. Let z(i) = i**2 - 2*i - 2. Let y be z(p). Is y at least -1?
True
Suppose 3*v - 16 = -v. Suppose v*w + 4*r = 12, -3*w + 13 = 5*r - r. Does w = -1/12?
False
Let u = -4/17 + -464/51. Are -8 and u nonequal?
True
Let t(i) = i**2 + 7*i + 3. Let o be t(-6). Suppose 2*k - 7 = 1. Suppose -3 = k*u + 9. Is u smaller than o?
False
Let f be (-42)/(-10) - 1/1. Is 2 > f?
False
Suppose 5*s - 18 = 22. Is s >= 9?
False
Let i = 88 + -527/6. Let u = 23 + -24. Are u and i non-equal?
True
Suppose 3*v = 4*o - 10, -6*o + o + 26 = 3*v. Let l be 1/(-3*v/(-6)). Is 0 at most l?
True
Suppose 0 = t + 3*n, -3*t + n + 3 = -7. Suppose 2*f + 4 = -t*i, -4*i - 2*f - 2*f - 8 = 0. Let c be 2/5 + (-48)/70. Which is smaller: i or c?
c
Let m = -7/9 - -11/18. Suppose 2 = -4*h + 2*h. Which is smaller: m or h?
h
Let c = 3 + -2.7. Suppose 2*d = -d - 54. Let f = -37/2 - d. Is c > f?
True
Suppose -2*n + 4*s + 9 = 1, 4*s + 22 = -5*n. Let d = n + 2. Is d > 1?
False
Let h = -74 - -74.99. Let g = 0.01 + h. Is g > 2?
False
Let b = 663/5 + -133. Which is smaller: 0.4 or b?
b
Let q(c) = 2*c**3 - c - 3*c**2 + 0*c**2 - c**3 - 4 + 0. Let a be q(4). Let d = a - 6. Are d and 2 nonequal?
False
Suppose -5*q - y - 15 = -0*y, -2*y = -2*q - 18. Suppose -4*h + 4 = -c, 6*c - 5*c = -3*h + 10. Suppose 0*l = -l - c. Is q bigger than l?
False
Let n(y) = -y**2 + 1. Let p(x) = x - 2. Let i be p(2). Let h be n(i). Let k be ((-1)/(-5))/(h + -2). Is 0 at least as big as k?
True
Suppose -5*s - 36 = -s. Let r = s + 15. Let m = 6 - r. Which is greater: -1/4 or m?
m
Suppose -a - 78 = 38. Is -115 greater than or equal to a?
True
Suppose h = 4*i + 2, 0 = -3*h - 4 - 2. Let c = i + -1. Suppose 3*l - 2 = -8. Do c and l have the same value?
True
Let t = 4 + -11. Let w = t - -2. Which is smaller: w or -0.1?
w
Let r = 3 + -2. Is -5/6 < r?
True
Let h(m) = -m**3 - 5*m**2 + 4*m + 6. Let t be h(-6). Suppose 0 = 3*y - 7*y + 3*o + t, -2*o = 4. Suppose s - y*q - 7 = -6*q, -q = -3. Which is greater: s or -3?
s
Let v be -3*3/45 + 77/(-15). Is 2/5 greater than or equal to v?
True
Let a = 32.2 - 32. Which is bigger: -17 or a?
a
Let f be (-15)/10*(-4)/6. Let c = f + -3. Which is greater: -1 or c?
-1
Let a(l) = l**2 - 3*l + 27. Let i be a(6). Which is greater: 47 or i?
47
Suppose 0 = 3*q + 2*s - 27, 8 + 1 = q - 3*s. Which is bigger: q or 1/6?
q
Let m = -0.15 + -0.15. Which is greater: -2/9 or m?
-2/9
Let j(i) = 57*i**2. Let c be j(1). Is c >= 56?
True
Suppose h = -0*h + 4. Suppose -8 = 3*y - 5*y. Let r = h - y. Which is greater: r or -5/4?
r
Let s be -1 - ((-8)/2)/(-8)*0. Which is greater: s or -8?
s
Suppose -37 + 7 = 10*v. Is 0 smaller than v?
False
Let w be (-2 - -3) + -2 + 2. Which is greater: w or 2/13?
w
Suppose -12*n - 6 = -9*n. Suppose -5*v = -5*h - 55, 25 = -5*h - 5*v + 4*v. Let q(i) = i**3 + 6*i**2 + 2*i + 9. Let t be q(h). Is n at least as big as t?
True
Let l be (0/(-4))/(0 - 2). Let i be 3 - 14/2 - l. Let a be 0*(3 + 10/i). Does a = 2/3?
False
Let g be 9/(-36) + (-3)/4. Is 1 >= g?
True
Let k = -1/11 + -8/33. Let x be -4 + 1 + (-12)/(-6). Is x greater than k?
False
Let o = -57 - -68. Which is smaller: o or 12?
o
Let y = 25 + -13. Let m = 13.4 - y. Let f = 0.4 - m. Which is bigger: f or 2/7?
2/7
Suppose y = 12 - 13. Which is greater: y or 2/7?
2/7
Let v(i) = 3*i**2 - 2*i + 2. Let r be v(2). Is 9 <= r?
True
Let v be (15/(-45))/((-1)/(-5)). Which is bigger: -2 or v?
v
Let z(f) = f - 5. Let d be z(11). Let i be (12/54)/(4/d). Which is smaller: 1 or i?
i
Suppose 4*n - 3*n = -5. Let o(y) = -y**2 - 4*y + 6. Let w be o(n). Is 1 less than w?
False
Suppose -2*c - 2*c = -4. Which is greater: c or 5/4?
5/4
Let n be (-5)/(-15) - (-2)/(-6). Let s be (n - 8)*(-4)/40. Is s smaller than 2?
True
Let v(s) = s**3 - 5*s**2 + 2*s - 6. Suppose 3*r + 4*p - 41 = -2*r, -4*p + 6 = -2*r. Let d be v(r). Is 4 less than or equal to d?
True
Let r = 0.4 - -0.6. Let d = 3 - 1. Which is smaller: r or d?
r
Let j be -3*(0 - (-1)/20). Which is smaller: 1 or j?
j
Let j(d) = 12*d**3 - 3*d**2 + d - 2. Let q be j(2). Let x be 0 - (2 - q/39). Is -2/11 > x?
False
Let j be 1/(-4) - 1*-56. Let g = -56 + j. Suppose 4*v - 2 = -2*p, -4*p + 3 = -2*v - p. Are v and g nonequal?
True
Suppose -5*f = -5*o - 0*f, 3*o - 10 = 5*f. Which is smaller: o or -32/7?
o
Suppose 3*o = 5*o. Suppose -r + 4*r + 3 = o. Let h = -842/7 + 120. Are h and r nonequal?
True
Let k = 10 - 4. Let n(c) = -c**3 - 2*c**3 + 4*c**3 + 5 - 2*c**3. Let t be n(0). Is k not equal to t?
True
Let y = -17 + 17. Let f be -1 + 3/(-165)*-57. Which is smaller: f or y?
y
Let b = -0.07 - -2.17. Let k = -2 + b. Do k and -2/5 have different values?
True
Let g = 1.7 - 18.7. Let y = g - -9. Let m = -7 - y. Is m at least as big as 0.5?
True
Let v = 10.55 - 0.35. Is -2/7 <= v?
True
Let p be 3*(-1)/3*-2. Let g = 3 + 3. Let a = -4 + g. Is p > a?
False
Suppose 2*i = -2*g - 12, g - 3*g - 9 = i. Is i at least -3?
True
Let r be (88 - -2)/(5 - 3). Let f be 1/5 - (-36)/r. Is f greater than or equal to -2/47?
True
Let v = 3/94 + 167/658. Does 0.1 = v?
False
Let c(x) = -2*x - 12. Let q be c(-9). Let y be ((-1)/2 + -1)/q. Is -1 at least as big as y?
False
Let i(u) = u + 15. Let s be i(-14). Which is smaller: s or 1/4?
1/4
Let k be 9*(-3 - 21/(-9)). Is k > -6?
False
Suppose 24*w - 21*w = 0. Suppose w = -a + 2*a - 21. Is a less than 21?
False
Let x(d) = 9*d**3 - d**2 - d + 1. Let s be x(1). Let q(c) = -2*c + 12. Let g be q(s). Which is greater: -7 or g?
g
Suppose -d + 2 = 3*d + q, -d + 5*q = -11. Let r be d + (-3 - (-135)/66). Which is smaller: 0 or r?
0
Let x = -54 + 48. Let w(y) = -y**2 + 2*y + 1. Let r be w(4). Is r at least x?
False
Suppose 4*z - 110 = -s - 22, -5*z + 135 = -5*s. Suppose 4*m - 7 + z = 0. Which is smaller: -5 or m?
-5
Let q(y) = y + 14. Let u be q(-12). Let a be u/6 + (-190)/(-150). Which is greater: 1 or a?
a
Let p(n) = -n**3 + 8*n**2 + 9*n + 9. Let l be p(9). Does 7 = l?
False
Let h = 0.5 - 0.5. Let n = h - -0.5. Let w = 0.5 - n. Are -2 and w non-equal?
True
Let w = 2.06 + -0.06. Let g be (-2)/(-2) - (1 + 3). Let r be 1/(2 + g + 0). Which is bigger: r or w?
w
Let h = -1 - -1. Let c(m) be the first derivative of -m**2/2 - 2*m + 7. Let u be c(h). Is -2 at least as big as u?
True
Let q = -225 - -225. Let w(r) = -r**3 - 4*r**2 + 6*r + 1. Let k be w(-5). Which is bigger: q or k?
q
Suppose 4*b - 3 = 1. Is b greater than 1?
False
Let y = 6 + 66. Suppose p = -3*p - y. Is p bigger than -18?
False
Let h = 4 - 7. Let w = h - -4. Which is greater: w or 2/19?
w
Suppose -5*w - 10 = -5*v, 3 = 2*v - 0*v - w. Let f be 4/6*3 + (-21 - -21). Which is bigger: v or f?
f
Let