Let r = -1 - -1. Let p = -36 + 35. Which is greater: r or p?
r
Let m be 2 + (112/34)/(-2). Is -1 >= m?
False
Let c(d) = -d**3 + 3*d**2 + 2*d + 2. Let s be c(5). Let y be 4/(-8) - s/4. Which is bigger: 11 or y?
11
Let j = -0.14 - -1.04. Is j <= 2?
True
Suppose -3*o - 8 = -5*p, o - 5 + 1 = 0. Let h = 6 + -3. Suppose p*r - r = -h. Is -2 at most as big as r?
True
Let q = -246 - -1471/6. Is q at most as big as 0?
True
Let d be (10/170)/((-2)/12). Which is bigger: 1 or d?
1
Let k = -1 - 0. Is -1 greater than or equal to k?
True
Let g(z) = z + 4. Let t be g(-3). Let w = -383 - -5747/15. Which is greater: t or w?
t
Let l(w) = -w**2 - 14*w - 2. Let b be l(-12). Which is bigger: b or 21?
b
Let q = -4 + -5. Let x = q + 9. Are x and -2 nonequal?
True
Let n(x) = -17*x - 1. Let z be n(-1). Let a be 1/(-5) - z/20. Let g be (2 - 16/6)*3. Which is smaller: a or g?
g
Let f = -1.8 - -0.8. Is -9 greater than f?
False
Let c = 7.02 + -6.9. Which is smaller: c or 3?
c
Let w(h) = 5*h + 1. Let i be w(1). Suppose -2*c - i = 0, 3*l + 11 + 4 = -4*c. Is -2/21 > l?
True
Let i = 5 + -8. Let y be (-3)/(-6) + (-277)/(-6). Let f = -47 + y. Are i and f unequal?
True
Let c(i) = -i**2 - 9*i - 14. Let n be c(-7). Is n > 1/26?
False
Suppose -5*j + 4*j - 3 = 0. Is -7 > j?
False
Let y be 1 + -2 - (-190)/(-10). Which is greater: -21 or y?
y
Let a = 1.5 + -11.5. Let q = a + 4. Let r = -189/4 + 47. Is q greater than or equal to r?
False
Let z = -198 + 2576/13. Which is greater: 1/5 or z?
1/5
Suppose -3*j = 2*t + 3*t + 47, -5*t - 38 = 2*j. Let u = j + 11. Suppose u*h + 2 + 6 = 0. Do h and -4 have the same value?
True
Let s = 99 + -97. Which is smaller: 5/7 or s?
5/7
Suppose -2*a + 27 = -11*a. Which is smaller: -31 or a?
-31
Suppose -214 = -5*n - 3*j, -4*j + 67 = 5*n - 150. Let x = -699/17 + n. Which is greater: x or 2?
2
Let i(r) = -15*r**2 - 3*r - 1. Let p be i(-1). Is p at most as big as -13?
True
Let g be 6/(-15) + (-37)/(-5). Let u = g - 5. Which is smaller: u or 3?
u
Suppose 0*j = -4*j - 16. Suppose 5*l = -2 + 7. Suppose -s = -h - 8 - l, 25 = 5*s. Are j and h nonequal?
False
Let w be 1 - (1 - 2) - 5. Let x be (0/w)/1*-1. Is 2/19 < x?
False
Suppose 3*n - 5*n = 2. Suppose -4*v = -8, 6*v - 2*v = -c + 12. Let b be 12/(-16) - (-2)/c. Which is smaller: n or b?
n
Let k = -149 + 595/4. Does k = 0?
False
Let c(h) = -h**2 - 4*h + 6. Let b be c(-5). Suppose 0 = -s - 2*s. Let d(x) = x**3 + x**2 + x + 2. Let t be d(s). Is b greater than t?
False
Let h be (37/74)/(246/244 - 1). Which is greater: h or 60?
h
Suppose 10 = 3*b + f - 16, -2*b = -5*f - 40. Which is smaller: b or 9?
9
Let q = -10 - -19. Let t = -6 + q. Let r = t + -3.2. Are 2/3 and r nonequal?
True
Let f = 4/179 - 5207/716. Which is smaller: f or -8?
-8
Suppose -3*j = 4*i - 41, -5*i - j + 31 = -4*j. Let v be 22/i + (-1)/(-4). Which is smaller: 4 or v?
v
Suppose -2*c = 8 - 0. Suppose 5*x = -11 - 9. Is x greater than or equal to c?
True
Let r(g) = g**2 - 10*g + 9. Let s be r(3). Which is smaller: s or -14?
-14
Let v = -1 - 0. Let o = -60 - -662/11. Is v equal to o?
False
Let w(g) = g**3 + 5*g**2 - 6*g + 3. Let j be w(-6). Let s = -352 - -1064/3. Which is bigger: j or s?
j
Let h = 1/8 + -7/24. Let k(x) = x - 4. Let q be k(3). Which is smaller: q or h?
q
Let f be -2 + 49*2/46. Which is bigger: -1 or f?
f
Suppose 5*f - 16 = -6. Suppose -2*h = 4 - f. Let o = h - -3. Is o less than 2?
False
Let z = 112 + -117. Which is greater: -25/6 or z?
-25/6
Let v(a) = 6*a - 3. Let i be v(-9). Let u = -685/12 - i. Do u and -1 have different values?
True
Suppose 3*k + 5 = 5*d, 0*k - 2*d = 5*k + 29. Let f = -8 - k. Are f and -2/3 non-equal?
True
Suppose -2 = 3*v - 17. Suppose 4*t = -4*u + u + 22, -16 = -2*t - 4*u. Is t smaller than v?
True
Suppose 4*v + 2*r - 1769 = -3*r, -4*v + 1767 = 3*r. Let a be 3 + -1 + -2 - 2. Let p be 28/v - a/(-7). Which is greater: 0 or p?
0
Suppose 0 = h - 5*z - 32, -48 = -6*h + 2*h + 4*z. Suppose h*c - 40 = 3*c. Is 12 bigger than c?
True
Let y(q) = 6*q**2 - q - 1. Let g be y(-1). Let c = -4 + g. Suppose -2*s - c = -0*s. Which is greater: s or 1/3?
1/3
Let t(l) = 7*l**3 + 7*l**2 + 13*l + 10. Let j(x) = -x**3 - x - 1. Let n(p) = -6*j(p) - t(p). Let z be n(-6). Which is smaller: -2 or z?
-2
Let g be ((-15)/10 - (-2)/1)*4. Suppose 0 = -6*l + 2*l. Is g < l?
False
Let c = -13 - -26. Let r = -79/6 + c. Which is greater: r or 1?
1
Let r = -3.2 - -2. Let t = 1.3 + r. Which is bigger: t or 0.03?
t
Let f(y) = y - 12. Let k be f(8). Let j be (-2)/k*1/(-2). Which is bigger: j or 1?
1
Let p = -5 + 7. Let l = p + 1. Suppose u + l*u = 2*y - 8, -3*u - 6 = -y. Which is smaller: 1 or y?
y
Let q be 3/(-3) - (-1 - 4). Do q and 4 have the same value?
True
Let d be (-1)/5 - (-6)/10. Let x(s) = 3*s - 7. Let o be x(2). Is d greater than or equal to o?
True
Let w be (-36)/(-1)*2/3. Suppose 3*g + 81 = -5*v, -2*v - 4*g - 68 = 2*v. Let u be (w/(-32))/(v/8). Is -1 < u?
True
Let r = -5 + 7. Let g be (0 + -2)/r*-2. Suppose 3*y = -0*y + 6. Is y at most g?
True
Let r = 98612/15 - 875476/135. Let z = -446/5 + r. Which is smaller: 1 or z?
z
Suppose -30 = 8*l - 5*l. Do l and -10 have different values?
False
Suppose 0*p + 8 = 8*p. Which is bigger: p or 14?
14
Suppose 0 = 2*v - 3*x + 5 - 17, 11 = v + x. Suppose 5*r - 6 = v. Suppose g = 2*m + 7, 1 - 8 = g + 5*m. Are g and r unequal?
False
Let a be ((0 - -1)/(-3))/2. Which is bigger: 0 or a?
0
Suppose -4*h - i = -0*i - 1211, -i - 1205 = -4*h. Let y = h + -8152/27. Let j = y - -7/27. Does 1 = j?
False
Let n(u) = u**3 + 6*u**2 + 8*u + 16. Let j be n(-5). Is 5/12 bigger than j?
False
Let h = 9.96 - 10. Are h and -1/6 unequal?
True
Let d = 22 + -22. Let f(s) = s**3 - 4*s**2 + s + 1. Let h be f(3). Which is greater: h or d?
d
Let s be 6/27*(-12)/(-8)*-1. Which is bigger: s or 16?
16
Let z = 2 - 3. Suppose -r - 3*r + 4*x + 4 = 0, 5*r = -5*x + 55. Let y be r/(-4)*42/45. Is z at most as big as y?
False
Let p = 0.17 - 0.12. Let k = p - 3.05. Which is bigger: k or 0?
0
Let h = 6 + -5.83. Let i = h - 0.32. Is -2/7 at least i?
False
Let f be (2/(-4))/(5/140). Which is greater: f or 0.1?
0.1
Let x = -49 - -44.3. Let z = 0.7 + x. Let c = 0 + 0.1. Which is bigger: c or z?
c
Let s(k) be the first derivative of -k**2 + 5*k - 1. Let u(o) = 2*o - 4. Let d(b) = 4*s(b) + 3*u(b). Let v be d(6). Which is smaller: -3 or v?
v
Let n = -0.06 - 17.94. Is -2/7 less than or equal to n?
False
Let k = -0.63 + 0.03. Let i = -0.21 - 0.09. Let c = k - i. Which is greater: c or -2?
c
Let r(n) = -2*n**3 - n + 1. Let y be r(1). Let u be ((-1)/y)/(2/(-12)). Let x(v) = v - 4. Let f be x(0). Which is greater: f or u?
u
Suppose 2 = 2*z - 4*r, 3*z + 2 = 4*r + 5. Which is bigger: 2 or z?
2
Suppose -4*q = 2*a - 12, -5*q = -3*a - 10 - 5. Suppose m + 0*m + 3 = a. Suppose -d - 3*i + 4 = -i, 2*i = -2*d + 2. Which is greater: m or d?
d
Let a = 8.5 + -1.5. Let h = -7 + a. Is -2/3 < h?
True
Let g(d) = -d**3 + 5*d**2 + 14*d - 79. Let r be g(6). Is r greater than -32?
True
Let b be 196/190 - -1*(-6)/15. Is 1 equal to b?
False
Let w = 23/5 - 74/15. Let l be 2/5 - (-36)/10. Which is bigger: w or l?
l
Let w = 2 - 2. Let r = w + -0.3. Let n be (-6)/(-27) + 2/(-9). Is r at most n?
True
Let n = 13.18 + -0.08. Let q = n + -13. Is q equal to -10?
False
Suppose 0 = -0*v + 3*v + 6. Do v and -2/3 have the same value?
False
Suppose 4*m = 4*t - 16, -m + 2*m = 3*t - 4. Suppose t = 2*n - 5*n. Which is smaller: n or -1/5?
-1/5
Suppose 10 = -2*j + 3*w, -j = -4*j - 5*w - 15. Which is smaller: j or -9?
-9
Suppose 3*k + 5*o + 25 = 0, 0 = 3*k + 4*o + 20. Let u = 1 - 0. Let i = u + k. Which is smaller: -1 or i?
-1
Suppose -7 = 3*d + 8. Is d smaller than 1?
True
Let k = -4 + -6. Let b = k - -20. Let o be 10/(-12)*(-3)/b. Which is bigger: o or 1?
1
Let t = 145 + -151. Do -15 and t have the same value?
False
Suppose 7*b - 48 = b. Which is bigger: 35/4 or b?
35/4
Let h = -0.7 + 0.81. Let x = h - 0.21. Let r = 1 + -1.2. Is x greater than or equal to r?
True
Suppose 0 = 3*b + 2*b. Let d = b + -2. Suppose 5*r = -3*u + 2, u + 3*r + 1 = -3*u. Is u at least d?
True
Suppose -3*c - z = -76 - 189, 5*c + 5*z - 425 = 0. Let k be 6/(-14) - c/(-700). Which is smaller: k or 0.1?
k
Let p be ((-1)/((-5)/2 + 2))/(-2). Is -2/195 smaller than p?
False
Let t(m) = 5 + m**2 - m + 13 - 2*m**2. Let a be t(0). Let h be