*2 - 8*u + 2. Let x be q(3). Let t(g) = g**2 + 12*g - 12. Let o be t(x). Which is greater: o or 2?
2
Suppose 0 = -2*m - 10, 3*m = -2*j + 5*j - 24. Suppose 3*d = -5*q + 3, 5*q = j*d + 2*d - 45. Suppose -4*z - d - 18 = 0. Is z less than or equal to -7?
False
Let p = -9 - -8.8. Is p bigger than -8?
True
Let z = 5 - 15. Let v be 2 + (-3 - 28/z). Is v at least as big as 1?
True
Let o be (-2)/2*5/(-75). Which is greater: 0 or o?
o
Let l(p) = -p**3 + 9*p**2 - 6*p - 10. Let u be l(8). Let o be (-15)/18*2/(-5). Which is smaller: u or o?
o
Let l = -16 - -14. Is -2 <= l?
True
Let o = 148 + -146. Which is bigger: o or 4?
4
Let f be (-7 - -8)*(3 + -1). Let x be 6/14*(-35)/(-20). Which is greater: f or x?
f
Let o be (4/(-6))/((-3)/27). Is 6 less than or equal to o?
True
Let o = 1/1078 - 4329/18326. Are -1 and o nonequal?
True
Let l = 6.2 + -5. Let u = l + -0.2. Is u at most 0.1?
False
Let r = -2/91 - 128/2457. Are -1 and r unequal?
True
Let j = 22 - 56. Which is greater: j or -1?
-1
Let m be 2/(-3) - (-80)/(-6). Let p = -2.84 + 3.84. Is p greater than m?
True
Suppose -2*w - 9 - 1 = -4*h, -w - 11 = 4*h. Let d(g) = g**3 + 7*g**2 + g + 9. Let m be d(w). Let t = 3 - m. Are t and -1 unequal?
True
Let m = 14 - 14. Which is smaller: m or 3?
m
Let g = 10 + -8. Which is greater: 7 or g?
7
Suppose -15 = b - 6. Which is smaller: b or -8?
b
Let q be (-7)/6 + (-3)/(-18). Is -2/99 bigger than q?
True
Let l = 9 - -8. Let p = l - 13. Is 2 equal to p?
False
Let p(k) = -k + 2. Let d be p(7). Let f = -17 - 57. Let b be f/14 - (-10)/35. Is b != d?
False
Let d = -2.3 - -2.3. Which is smaller: -12 or d?
-12
Suppose -22 + 34 = 12*j. Which is smaller: j or -9/23?
-9/23
Suppose 3*z = -5*u + 15, -4*z - u = -4*u + 9. Suppose 2*m + z*p - 8 = 2*p, 2*m - 5*p - 17 = 0. Suppose -6*n = -n - 2*f + 3, 2*n - 4*f + 14 = 0. Is m <= n?
True
Let i = 7 + -8. Let t(c) = -3*c. Let y be t(i). Suppose 6*s - 6 = 3*s. Which is smaller: s or y?
s
Suppose 4*g - 19 = 29. Suppose u + 2*u + g = 0. Let v be 4*(-2)/u - 2. Does v = 0?
True
Let f = 1 - 1. Let l be ((-5)/(-270))/(4/(-822)). Let j = l - -32/9. Which is bigger: j or f?
f
Let c be (-16)/90 + 2/(-9). Which is smaller: 1 or c?
c
Let n be (-2)/(-3) - (-5)/(-30). Let s(c) = -c**2 - 3*c. Let i be s(-3). Is n bigger than i?
True
Suppose -u - 8 = -3*u. Suppose -3 - 1 = -u*h. Is -1/16 != h?
True
Let b = -0.347 + 0.047. Is b at least -3/2?
True
Let m = -14/15 + 4/3. Let c = 185/4 + -3893/84. Is m equal to c?
False
Suppose 0 = m + 2*a + 41, 5*m + 2*a + 249 = 28. Which is smaller: m or -46?
-46
Let w(g) = -g**3 + g + 3. Let k be w(0). Let o be (1 + 1)*k/21. Is o less than or equal to 2/7?
True
Let n be (-163)/(-11) + (-16)/(-88). Which is smaller: n or 16?
n
Let d = 0.3 - 0.4. Let v = 6.8 + 2.2. Let y = -7 + v. Which is smaller: y or d?
d
Let h be ((-12)/(-2)*1)/((-10)/(-5)). Which is smaller: h or 4?
h
Suppose -4*q = 3*r - 4*r - 2, -3*q = 4*r - 11. Which is smaller: 13/4 or r?
r
Suppose -54 - 58 = 4*g. Is g at most -109/4?
True
Let h be (18/5 + -3)/(-1). Suppose 6*p - 2*p = 0. Do p and h have the same value?
False
Let o be (-128)/1060 + 8/60. Which is bigger: o or -1?
o
Let t = -8.93 - 0.07. Which is bigger: 5 or t?
5
Let t be (-3)/(-6)*(3 + -3). Let z be (-33)/(-12) + 3/(-4). Suppose f - z = 2*x, -x - 5*f - 2 + 12 = t. Which is smaller: 1 or x?
x
Let s = -5 + 9. Let q be (-10)/7*(-7)/4. Which is bigger: s or q?
s
Let a = 10 - 6. Let w be ((-8)/(-18))/(a/6). Let k be (24/(-10) - -2)*-5. Which is greater: k or w?
k
Let o(z) = -z**2 - 9*z + 7. Let b(s) = -s**3 + 8*s**2 - 8*s - 3. Let h be b(7). Let u be o(h). Let j be 1/u + 70/30. Is j at most as big as 2?
True
Let y be (-6)/(-4)*2/(-3). Let p be y/5*10/(-4). Let o = -15 - -14.9. Are p and o equal?
False
Let c = 6 + -3. Suppose c = m + 2. Is 1/5 >= m?
False
Let m = 0.8 + -0.77. Let c = 0.13 - m. Let v = 3 + -4. Are c and v unequal?
True
Let k = 0.87 - -0.03. Let w = k + -1. Let i = 1 - 3. Does i = w?
False
Let y(r) = -r**2 + 6 + 4 - 11 + 3*r. Let g be y(2). Let m be 1/(-7)*(0 + 1). Is m less than or equal to g?
True
Suppose 3*k + v + 15 = 0, -4*k - v - 31 = 4*v. Let s be (-10)/k*4/(-15). Which is bigger: s or -4?
s
Let u be 2/(-3) - (-848)/600. Let i = -14202/25 - -568. Let j = u + i. Is j not equal to 2?
True
Let x = -74 + 100. Which is bigger: x or 27?
27
Let x be 2/3*3/(-2). Let y = -19/3 + 6. Which is smaller: y or x?
x
Suppose 3 = 5*c - 2. Let d be 64/(-48) - c/(-3). Is 0 greater than d?
True
Let q = 1/67 + 131/201. Which is smaller: 0 or q?
0
Suppose 0*r - 16 = -4*r, -v = 4*r - 19. Suppose 4*p + 3*s + 11 = -p, -v = -p + 2*s. Is p equal to -1/12?
False
Let b = -14 - -1. Let z = -27/2 - b. Is -1 equal to z?
False
Let y = 19 + -32. Let s be 6/y*(-2)/(-6). Is 0 greater than s?
True
Let n = -13 + 14. Let s(j) = -j. Let c be s(-1). Let u be (2 + (c - -2))/n. Which is smaller: 6 or u?
u
Suppose -5*c + 3 = -4*c. Let k(y) = -y - 2*y + y**2 + 1 + 6*y**c + y. Let r be k(1). Is r equal to 6?
True
Let b = 13 - 11.8. Let v = b + -1. Is v greater than 0.2?
False
Let w be (-4)/16 - ((-57)/(-12) + -2). Which is bigger: -9/4 or w?
-9/4
Suppose t + 8 = 3*t. Let p be 12/t + (3 - 0). Let r = -7 + p. Do -5 and r have the same value?
False
Suppose -v = -1, -s - 5*v + 15 = -2*s. Let g be 13/2 + (-5)/s. Suppose 2*j - 15 = g*j. Do j and -1 have different values?
True
Let a = -17 + 17.06. Let i = -47/4 + 12. Is a < i?
True
Let l = -107 - -213/2. Suppose 2*r - 2*o + 0 = -8, 18 = -4*r + 5*o. Is l greater than r?
True
Let p be (-2)/(-4) - (-24)/(-16). Let l = 8.2 + -15.5. Let y = l + 7. Is y less than p?
False
Suppose -2*y - 10 = -4*y. Suppose 5*x - g + 4*g + 9 = 0, -10 = -y*g. Let d = -8 - -6. Which is smaller: d or x?
x
Let j be 8 + -6 + -1 + 4. Let r be 0/(j - 9/3). Which is smaller: -1/14 or r?
-1/14
Suppose 4*i + 56 = -4*g, g - 6 = 3*g. Is -0.2 at most i?
False
Let t(k) be the first derivative of -k**4/4 + 7*k**3/3 - 5*k**2/2 - 8*k + 2. Let i be t(6). Which is smaller: -6 or i?
-6
Let l(c) = 5*c**3 - 3*c**2 - 1. Let g(m) = 14*m**3 - 10*m**2 + m - 2. Let z(b) = 4*g(b) - 11*l(b). Let k be z(6). Let w = k + 11. Is w bigger than 2?
False
Let v(x) = -x**3 - 5*x**2 + 6*x - 2. Suppose -3*a - 16 = 2*n - 4*n, 5*a = n - 29. Let c be v(a). Is c at least as big as -2?
True
Suppose -f - 7 = -3*i, 4*f + 17 = -4*i + 5*i. Suppose 2*q + 1 = -i. Suppose 3*p + 3*u = -2*u - 15, 4*p - 2*u - 6 = 0. Which is smaller: q or p?
q
Let y = -5 + 8. Let v be (y - 2)/(1/4). Let j = -3 + v. Which is smaller: 3 or j?
j
Suppose -k - 4 = -5*h + 6, 0 = h. Let i be k/(-15) - 16/42. Suppose -4*y + 6 = 2. Is i at most as big as y?
True
Let a be ((5 - 7)*(-1)/2)/3. Is a at least as big as 2?
False
Let l be ((-3 - 4)*1)/(-1). Which is smaller: l or 0?
0
Let r = 135588/1105 + -23/221. Let f = r + -123. Which is bigger: f or 3?
3
Let s be (1/6)/(2/(-16)). Let x be (-9)/27 - 14/(-6). Suppose 8 = -u - 4*g + g, -4*u + x = -5*g. Which is bigger: u or s?
s
Let y = 1/15786 + 1894313/110502. Suppose 6*k - k = 85. Let s = y - k. Is s <= 2?
True
Let q = 13/2 + -95/14. Is -1/12 smaller than q?
False
Let r = -1.1 - -2.4. Let o = 1.2 - r. Which is greater: o or 0.04?
0.04
Let y = -3013/222 + -7/74. Let t = y - -319/24. Is 1 >= t?
True
Let v = 589/4862 + -1/286. Suppose -5*f - 2 = -3*f. Is v != f?
True
Let k = -13.9 + 14. Which is smaller: k or 4/3?
k
Suppose -6*n - 12 = -n + o, 3*n + 3*o + 12 = 0. Suppose g - 2*y - 6 = 0, 3*y - 7 = -3*g - 2*y. Let u be n/g - (-12)/8. Which is bigger: -1/6 or u?
u
Let d(g) = g**3 - 7*g**2 + 10*g - 9. Let s be (12/10)/((-5)/(-25)). Let f be d(s). Suppose 0 = -4*c - 3 + f. Which is bigger: 1 or c?
c
Let n = -43 + 46. Let q = 15 + -11. Which is smaller: q or n?
n
Let h = 8/45 - -2/45. Let d(b) = -b**3 + 2*b**2 + 3*b. Let n be d(3). Is n smaller than h?
True
Let d(m) = 3*m**2 - 3*m. Let a be d(2). Let k be a/4*2 + 1. Which is smaller: 5 or k?
k
Let m(s) be the first derivative of s**3/3 + 7*s**2/2 + 4. Let j be m(-6). Let n be j/(-3) + 2/(-2). Is n greater than or equal to 1?
True
Let h = -3 + 2. Let s = 432/43 - 10. Do h and s have different values?
True
Let y(h) = -2*h. Let l be y(3). Let d = 6 + l. Which is smaller: d or -1/2?
-1/2
Let t = -62 - -62. Do -1.7 and t have the same value?
False
Let g(z) = 3*z - 1. Let l be g(3). Suppose -8*o + l = -4*