*m**2 - 8*m - 3. Let q be n(-7). Suppose q*s - 6*s = 0. Which is smaller: g or s?
g
Suppose 0 = -0*i - 3*i + g + 10, -2*i - 2*g + 4 = 0. Suppose 7*q - i*q = 8. Which is bigger: 3 or q?
3
Let z = -1.15 + 1.1. Let d = -0.23 - 0.12. Let w = d - z. Is 0 at most w?
False
Let a = -64 - -65. Do -5/11 and a have different values?
True
Let s be 3*((-48)/(-14) + -4). Is -1 at least as big as s?
True
Let g(o) = -o**2 - 4*o + 1. Let w be g(-5). Let i be 2 + w/(2/2). Let k be (-2)/(-4) - (i + 2). Which is bigger: k or 0?
k
Let v be ((-5 - -5) + 1)*0/2. Are 2/3 and v equal?
False
Let x = 2 - 0. Let m be 1 + x + 2 + -2. Which is bigger: m or 2?
m
Let p be (-2)/5 - (-306)/790. Let x = p - -86/553. Which is bigger: x or 1?
1
Let h be (6/15)/((-1)/5). Let q(n) = n**2 + 2. Let d be q(h). Is d < 6?
False
Let g be (-2)/((3 - 0) + -3 - -2). Which is smaller: g or -5/19?
g
Let z(c) = 6*c**3 - c**2 + 1. Let x be z(1). Let y be (-3)/2 - (-1)/2. Let u be y + 15/x + -2. Is -1 at least as big as u?
False
Let v = -11/59 - -619/472. Which is smaller: v or 1?
1
Let i = 39 - 38. Is 0 greater than or equal to i?
False
Let x = 9.91 - -0.09. Let t = 10.1 - x. Which is smaller: -1 or t?
-1
Suppose 0 = j + j - 8. Suppose 0 = -3*t + j*u - 12, 3*t + u + 3*u - 12 = 0. Let v be 0*((-3)/2 + 1). Is v greater than t?
False
Let j be 2/(-3)*(-630)/(-40). Which is greater: j or -10?
-10
Let c be (5 - (0 - -2)) + -3. Suppose -3*y + 2*f = -7*y + 30, f - 3 = c. Let q = 5 - y. Are q and -3/4 nonequal?
True
Let f be (4/(-16))/((-1)/4). Let g = 3 - f. Is g smaller than 2?
False
Let r be 1/(8/6 - 1). Suppose -2*n + r - 1 = 0. Which is smaller: n or 2?
n
Let v(r) be the second derivative of r**3/6 + r**2 - 2*r. Let a be v(2). Which is smaller: 3 or a?
3
Let l(d) be the first derivative of d**3/3 - 5*d**2/2 + 6*d + 3. Let g be l(4). Is 3 >= g?
True
Suppose -4*x + 16 + 0 = 0. Suppose -x*y + 2 = u - 1, 0 = -4*u - 3*y - 1. Let w be -3 - (-3 + (u - -2)). Are -2 and w non-equal?
True
Let q = 69/154 + 9/22. Let l = -29 - -30. Which is smaller: l or q?
q
Let p = -1.2 + 1.6. Which is bigger: -1 or p?
p
Suppose -j - 37 = -17. Is -18 at most j?
False
Let b be -5 + (2 + 1)/1. Let k be 0/(-1 - (b - 1)). Which is smaller: k or -3/5?
-3/5
Let h be 2*1 - (2 + -1 + 26). Is h smaller than -101/4?
False
Let c be 2/(-3) - 10/(-24). Suppose 5*o - r + 20 = -6*r, 4*r + 14 = -2*o. Which is greater: o or c?
c
Let y = 43 - 72. Is 2/7 not equal to y?
True
Let l = 101 + -1517/15. Suppose -5*c - 5 = -5*w, -3*w - 2*c = 3*c + 13. Which is smaller: l or w?
w
Let j(p) = p**3 - 6*p**2 + 7*p - 2. Let g be j(3). Let w be 10/g + (-4)/(-4). Which is smaller: w or -1?
-1
Let b be (225/(-12))/((-6)/40). Does b = 0?
False
Let h(j) = j**2 - 4*j + 6. Let x be h(5). Is x <= 12?
True
Let u be 3 + -1 - 0/(-1). Let c(s) = 3*s**3 - s**2 + 1. Suppose -q + 2 = q. Let w be c(q). Are u and w non-equal?
True
Let y(n) = 2*n**3 + 10*n**2 + 4*n - 12. Let j be y(-6). Is -108 > j?
False
Let m = -64.1 + 59. Let t = m + 5. Let i = -0.02 - -0.22. Is t != i?
True
Let t = -2/493 + -2457/1972. Suppose 0*w = w + 1. Is w at least as big as t?
True
Let z = -1.036 - -0.036. Which is greater: -0.29 or z?
-0.29
Let h be (42/(-9) - -4)/(2/21). Which is greater: h or -8?
h
Let f be 3*(3 + 7/(-3)). Suppose -f*h = 3*h. Let b(x) = x**2 - 1. Let o be b(0). Do h and o have the same value?
False
Let n(s) = s**2 + s + 1. Let f be n(-1). Is f greater than 6/103?
True
Let z = -0.11 + 0.06. Let d = 0.15 - z. Let t = -9 - -5. Which is greater: d or t?
d
Suppose l + m = 6, m - 3 = 3*l - 13. Let j(b) be the third derivative of b**4/24 - b**3/2 - 2*b**2. Let i be j(8). Which is smaller: i or l?
l
Let h = -24 + 19.6. Let d = 0.1 - -0.3. Let o = h + d. Is o not equal to 1?
True
Suppose 5*i + 4 = 3*l + 2, i + 2 = -l. Which is smaller: 4 or i?
i
Suppose 4*t - 8*t = -40. Let p(r) = -r**2 + 9*r + 9. Let i be p(t). Let x be i/(-3) - (-2)/(-18). Which is smaller: -2/3 or x?
-2/3
Let h = 620 - 19226/31. Which is bigger: -1 or h?
h
Let a = 6 - 5.6. Let f = a + -0.8. Let z = f + 1.4. Is 1 > z?
False
Let i(a) = 10*a**2. Let g be i(-1). Suppose v + v - 4*b = g, 4*v + 13 = -3*b. Is 1/5 greater than or equal to v?
True
Let a be 143/(-6) + (-4)/24. Let b be (a/(-15))/(4/10). Which is bigger: 5 or b?
5
Suppose -2*o - 8 - 12 = 0. Let r = o - -9. Suppose w - 12 = -2*w, -w + 6 = 2*j. Is j greater than r?
True
Let h(l) = 2*l + 23. Let c be h(-11). Is c > 1/7?
True
Suppose -c = 1, -5*r + c = 2*c + 1. Let f be 5 + -3 + 36/(-17). Which is smaller: r or f?
f
Suppose -5*l = i - 1, -2*l - i = 3*i - 4. Let a = 25.9 + -26. Which is smaller: l or a?
a
Let z(o) = 2*o. Suppose 4*v - 5*g = 0, 3*v - 2*g = 5*v. Let t be z(v). Which is smaller: t or 1/5?
t
Let o = -158926/77 + 2064. Is o > -1?
True
Let c = 29 + -26. Is c > 13/5?
True
Let k = 13 + -13. Let t(w) = -20*w**3 - 3*w**2 + 2*w - 2. Let r be t(2). Let i = r - -1868/11. Which is greater: i or k?
k
Let q be 17/(-5) + (-2)/(-5). Let i = 199/15 + -47/3. Which is smaller: q or i?
q
Suppose 5*x = -2*u - 64, -u + 0 + 3 = 0. Which is smaller: x or -13?
x
Suppose 0 = 5*m + 2*c - 66 - 38, m - 5*c = 10. Suppose -w = -3*r - 2*w + 2, -5*r + 3*w - m = 0. Let p be (-5)/(-3) + (1 - 3). Which is smaller: p or r?
r
Suppose 4*t - 15 = -3*w, -2*t + 8 = 3*w - 7. Suppose -w*h = -0*h - 90. Suppose -n + 3*z = -h, z = -n - z - 7. Which is greater: n or -1/4?
n
Let l(g) = -3*g**2 - 1. Let x be l(-2). Is -13 >= x?
True
Let h be (-66)/(-72) + (-2)/3. Let p = 101/9 + -11. Which is greater: p or h?
h
Let i(n) = -2*n - 7. Let m be i(-8). Is m <= 9?
True
Let s = -4 - -4. Suppose 20 = -s*z - 4*z - 5*w, 3*z + 2*w = -8. Which is greater: z or -2/7?
z
Let b be (16 + (-49)/7)*(-2)/(-6). Is 3/2 greater than b?
False
Suppose 2*x + 58 = -4*k, -x + k + k = 41. Let f be -1 + (-2)/(4/x). Let u = -17 + f. Which is greater: u or -2?
u
Let z = 20.1 + -20. Is 16 <= z?
False
Suppose 3*q + 13 = -5*z, 5*z - 42 = 2*q - 0*q. Let f = 54/5 + q. Which is smaller: f or 0?
f
Let i(f) = -2*f**3 + 4*f**2 - 3*f. Let j be i(2). Let o be 2 + -3 - 182/j. Let a = -30 + o. Which is smaller: a or -2?
-2
Let u(n) = 2*n - 3. Let r be u(16). Do r and 91/3 have the same value?
False
Let m(z) = z**2 - 7*z + 12. Let k be m(5). Let c(i) = i**3 - 4*i**2 - 4*i - 3. Let n be c(5). Are n and k equal?
True
Let w(h) = h - 3. Let b be w(-3). Let v be 17/7 - (-4 - b). Suppose f = -f + 2. Which is smaller: f or v?
v
Let l be 1/(-4) + (-12)/16. Let a = l - 0. Which is smaller: 1/11 or a?
a
Let p(g) = 5*g**3 + 10*g**2 + 3*g + 4. Let b(x) = 6*x**3 + 11*x**2 + 4*x + 4. Let h(w) = 6*b(w) - 7*p(w). Let c be h(3). Which is bigger: c or -5?
c
Suppose 4*l - 206 = 3*o, -4*o + 4*l - 9*l - 223 = 0. Which is greater: o or -1/3?
-1/3
Let k = 0.5 + -1.5. Which is bigger: k or 0.19?
0.19
Let z be 11/4 - 5*9/15. Which is smaller: z or 1/13?
z
Let k be (-1350)/(-24) - (-2)/(-8). Let h = k + -26. Let o be (4/10)/(h/(-25)). Is o greater than -1?
True
Let w = 127/34 - 4/17. Let l = w - 4. Which is greater: l or 1?
1
Let l(z) = 4*z**2 - 5*z + 13. Let v be l(10). Let d be (-2)/(-2)*22/v. Which is bigger: 1 or d?
1
Suppose 3*n = -0*n + 5*d - 11, 0 = 4*d - 4. Let r = -15 + 45. Let t be 10/8*n/r. Which is greater: 0 or t?
0
Let s be (3 - (1 + 3)) + 1. Suppose w + 5*u - 15 = 5, -2*w - u + 4 = s. Let z = w + -2. Is -2 greater than or equal to z?
True
Suppose -4*q + 10 = -9*q. Let t = 2/21 - 613/42. Let w = t - -15. Which is greater: w or q?
w
Let p = 6 - 5. Let i = p + -2. Let b be ((1*2)/(-2))/(-3). Which is greater: b or i?
b
Let o = 3.3 - 1.5. Let c = o - -1.2. Is 3 less than c?
False
Let l(c) = c + 9. Let x(m) = m + 8. Let s(h) = -6*l(h) + 7*x(h). Let n be s(0). Suppose -n*o - 32 = 2*o. Is -7 greater than or equal to o?
True
Let o(w) = -5*w + 30. Let h be o(6). Let q = -0.24 + -0.86. Is q greater than or equal to h?
False
Let a = 6.2 - -1.8. Let m = 12 - a. Let z = m + -4. Is z < 1?
True
Let t(v) = 2*v**3 - v**2 - 2*v. Let s be t(2). Is 9 at least s?
True
Let q = 89 - 83.1. Let s = 0.9 - q. Is s bigger than -0.1?
False
Let b be 876/(-172)*1 + 5. Is b at most 0?
True
Let n = 3 - 5. Suppose 2*k = k - 4. Is k at most as big as n?
True
Let n = 3 + -3.08. Which is greater: 0 or n?
0
Let s be 4 + 44/(-1) - -3. Is -37 less than s?
False
Let t(d) = 2*d - 1. Let q be