n be (-35)/45 + (-2)/c. Is 0 <= n?
False
Suppose -1 = -2*p - 3*m + 6, p + m = 5. Let d(z) = z**2 - 4*z - 3. Let h be d(-2). Which is smaller: h or p?
p
Suppose -3*s - 3*d = -9, -2*d + 13 = s - 6*d. Suppose -4*q = -3*c + 23, 6*c - 25 = s*q + c. Let b(h) = -h - 7. Let k be b(q). Which is smaller: 3 or k?
k
Suppose -l = l + 2. Which is greater: 1 or l?
1
Let t = -14.8 + 15. Does t = 0.5?
False
Let h(u) = u**3 - 8*u**2 + 8*u - 5. Let d be h(7). Suppose -d = -i + 1. Which is bigger: i or 2?
i
Let c = -2 + 3. Let n be (-4)/10 + (-6)/(-15). Suppose n = m + m. Is m > c?
False
Suppose -13 = -2*a + 5*n + 8, -2*a + n = -17. Let z(t) be the second derivative of t**4/12 - 3*t**3/2 + 4*t**2 - 5*t. Let j be z(a). Is -2/3 less than j?
True
Let m be 3 + ((-16)/12 - 3). Is m less than 0?
True
Let v be 1*(-3 - -2) - -9. Suppose v - 4 = -2*g. Which is greater: -9/8 or g?
-9/8
Let b be (-6)/(-5)*20/6. Suppose 2 = -2*u - g - b, -2 = -2*u + 3*g. Suppose 0 = 6*c - c + 10. Is u at least c?
True
Let u = -4.4 - -4. Let k = -0.2 - u. Is k < 1/5?
False
Suppose -3*d + 30 = -5*v - 9, -5*d - 9 = 4*v. Which is greater: -2 or v?
-2
Suppose 0 = -0*n - 5*n + 15. Suppose n*k - 2 = k. Let y be 12 - (-333)/(-30) - 4/10. Which is greater: k or y?
k
Let q(z) = -2*z**3 + 19*z**2 - 9*z. Let n be q(9). Which is bigger: 6 or n?
6
Let u = -0.87 - -0.78. Is -2/3 at most as big as u?
True
Let h = -151/435 - -2/145. Which is smaller: h or -11?
-11
Suppose 2*x - 25 + 7 = 0. Let p(j) = j - 4. Let u be p(x). Suppose -5*n = u*k - 5, 2*k + 2 - 4 = n. Which is greater: -1 or n?
n
Let p = -96 - -96. Suppose 0 = x + 4*x + 10. Which is greater: p or x?
p
Let w = 7 - 6. Which is smaller: w or -3/13?
-3/13
Suppose 0 = 7*x - 3*x. Let k be -2*(2 - 0/(-2)). Let q = -3 - k. Which is smaller: x or q?
x
Let w(s) = -s**2 + s + 2. Let h be w(-4). Let r be ((-6)/h)/(6/2). Is r at least 1?
False
Let m = 340/3 + -113. Which is smaller: m or 27?
m
Suppose -6*t + 33 = 5*t. Are t and 11/4 nonequal?
True
Let t = 78 - 388/5. Let n be 2/(-6) + 1/3. Let m be (-3)/(-2 - -5) - n. Which is bigger: m or t?
t
Let t = 2/439 - 892/3073. Let w be (-2)/6 + (-1)/(-3). Is t at most as big as w?
True
Suppose -c - 1 = 2*x + 7, -2*c + 3*x = 30. Let w(u) = -u - 12. Let f be w(c). Which is greater: 3/11 or f?
3/11
Let h be 7/9 - (-10)/45. Which is smaller: 3/16 or h?
3/16
Let r be 4 + 305/(-50) + 2. Let x = 3 + -4. Is r greater than or equal to x?
True
Let p = -2 - -1.8. Let t = -3536/33 + 304/3. Let w = t - -6. Which is smaller: p or w?
p
Let r = -8 - -12. Which is smaller: r or -2?
-2
Let j(o) = o**3 + 10*o**2 - 10*o + 11. Let q be j(-11). Let m(f) = -f**3 + 3*f**2 + f + 3. Let g be m(3). Let t be (-2)/g*3/4. Which is greater: t or q?
q
Let o be ((-6)/(-60))/((-8)/10). Is -2/5 equal to o?
False
Let d = -0.3 + 0.2. Suppose -t - 10 = -3*t. Suppose -t*a - 10 = g + 10, -2*a - 8 = 5*g. Which is smaller: g or d?
d
Let c be (-10)/(-4 - -9) - (-12)/14. Let j be (6/(-9))/(2/6). Which is bigger: c or j?
c
Let h = -1 - -4. Suppose -5*g + 10 = 0, 4*t - 2*g - h*g - 6 = 0. Let m = 23 + -17. Which is smaller: m or t?
t
Let u(j) = -j**3 + 6*j**2 - 4. Let d be u(6). Let y = -6 - d. Let a = -2 + y. Is a at most as big as -3?
True
Let y = 4 - 6. Let b be 1/1*(y + 2). Let z = -2 - -2. Is b != z?
False
Suppose 0 = -0*v - 3*v + 6. Let x = 6 - 4. Is v smaller than x?
False
Suppose w - 1 = -3*h, w = -4*h - 0*w. Do h and 6/13 have the same value?
False
Let x(h) = -5*h**2 + 1. Let k be x(2). Let t = -12 - k. Are -0.1 and t unequal?
True
Suppose -10*s = -4*s - 48. Let r be (s - 5) + 3/(-1). Do 0 and r have different values?
False
Let b = 11386463 + -3655059890/321. Let k = -8/107 - b. Let d = k - 16. Is 0 bigger than d?
False
Let t(j) = -j**3 + 3*j**2 - 4*j + 5. Let i be t(2). Is 4/17 bigger than i?
False
Let k = 297 + -209. Which is smaller: k or 2/3?
2/3
Let q(d) = -d + 7. Let o(g) = -g**3 + 6*g**2 + 8*g - 3. Let m be o(7). Let v be q(m). Is v at least as big as 2?
True
Let u = 134/5 - 27. Is -1 greater than u?
False
Let r(i) = 10*i + 3. Let o be r(-2). Let a = 16 + o. Does 1 = a?
False
Let v(x) = x**2 + 4*x - 5. Let i be v(-5). Let b = -0.056 - -2.056. Do b and i have different values?
True
Let g = 2.05 - 0.05. Let b = g - 1. Let y = b + -1.1. Is -0.1 at most y?
True
Suppose 0 = -3*m - 12, 4*m + 27 - 7 = 4*y. Suppose d + 5 = y. Let c be -2 - -2 - d/8. Which is smaller: 2 or c?
c
Suppose 5 = 5*s - 2*b, -3*s + 7 = -b - b. Suppose 7*u = 11*u. Is s > u?
False
Let t(f) = -f**2 - 5*f - 5. Let m be t(-3). Let i = 4 + m. Is 3 < i?
True
Let d(f) = -6*f**3 - 8*f - 6. Let o(x) = 5*x**3 - x**2 + 8*x + 5. Let n(a) = -6*d(a) - 7*o(a). Let v be n(-8). Let z = -1/41 - 35/246. Is z <= v?
True
Let d(u) = 3*u**2 + 9*u - 3. Let t(o) = -7*o**2 - 17*o + 7. Let i(p) = 5*d(p) + 2*t(p). Let a be i(-11). Which is smaller: 1/14 or a?
a
Let t(b) = b**2 - 16*b - 23. Let z be t(15). Is z greater than -40?
True
Let a(n) = -n**2 - 7*n - 4. Suppose p = -y + 1, 5*p - 2*y + 13 + 10 = 0. Let z be a(p). Is 9 greater than z?
True
Let o be (-16)/(-20) + 56/(-20). Are -1 and o non-equal?
True
Let a = 7 + -9. Let h be (a/(-14))/(2/7). Which is greater: h or 1?
1
Suppose 2*u + 4*l - 68 = -0, -20 = -u + 5*l. Let m be 20*(-3)/(u/(-4)). Suppose 3*a + 4*x + 19 = 0, 1 = -a + 2*x + m. Is a at most -1?
True
Let v be 3*4*3/(-18). Let t = v - -2. Let j = 25/153 - -1/17. Is j equal to t?
False
Let f be (2/(-4))/((-1)/2). Let m be (-1)/21*60/40. Which is bigger: f or m?
f
Suppose -3*j + 5 - 23 = 0. Let f be (-4)/28 - (-58)/14. Suppose 0 = f*p + 3*b + 17, 9 = -p + 2*b + 2*b. Which is greater: p or j?
p
Let m = -2118 - -27666/13. Let y = -2139943 - -306010371/143. Let x = y + m. Is 0.1 >= x?
True
Let c(f) = f - 7. Let w be c(9). Suppose -w*z + z + 4 = 0. Does z = 2?
False
Let t = -19 - -18.7. Are t and 0.6 non-equal?
True
Suppose 10 - 61 = -3*n. Do 17 and n have the same value?
True
Let u = 7 + -2. Let l = 6 - u. Let k = -0.7 + 1. Which is smaller: l or k?
k
Suppose 2*q + 20 = -3*q. Is q != -2?
True
Let t be 2 + 3 + (-87)/33. Let o = t - 212/99. Let z = -6 - -6. Is o smaller than z?
False
Suppose 2*n = -2*q - n - 14, -n - 2 = 0. Let s = q - -5. Let k be 0/(-2 - (-1 + s)). Is -2/13 less than or equal to k?
True
Let q = -13/33 - -541/1122. Which is greater: q or -1?
q
Let d = 8.7 - 8.4. Which is greater: d or -31?
d
Let d = 11.198 + -0.198. Which is greater: d or -1?
d
Let s(n) = -7*n - 7. Let h(y) = 20*y + 20. Let d(p) = -6*h(p) - 17*s(p). Let m be d(-2). Let j be 8/4 + (0 - 1). Is j greater than m?
False
Suppose -5*y = 5*q - 0*q + 375, 5*y + 5 = 0. Is -74 greater than q?
False
Let q = -2 + 2.1. Let d = -26.17 - -26. Let p = d + 0.17. Which is smaller: q or p?
p
Suppose 3*f + 8 = -0*t + 4*t, f = -t + 2. Let u be t/(0 - 1) - 8. Let q be (-3)/5 - (-4)/u. Is q greater than or equal to 2/7?
False
Let z = -12 - -12. Which is greater: z or 1/31?
1/31
Let r = -0.051 - -21.051. Let n = r + -23. Let l(p) = -p**2 + 8*p - 6. Let t be l(7). Is n <= t?
True
Suppose -3*h = -4*b - b - 17, -2*h + 3*b = -11. Suppose -h*r - 2*l = -22, -31 = -4*r + 2*r - 5*l. Let c = -2 + r. Which is smaller: c or 2/3?
2/3
Let o = 0 - -1. Does o = 3?
False
Let d be (3/(-6) - -1)*2. Let h = -3 - -1. Let o be 2/h*(-3)/(-15). Is d > o?
True
Let y = -1237712/15 + 82471. Let m = -43 - y. Suppose 0 = z - 5*z + 4. Is m >= z?
False
Let y be 20/14*(-5 - -12). Suppose 11 = -o + 2*z, -4*o - 5*z - 2 = -y. Which is smaller: -5 or o?
-5
Let n be 76/10 - 8/(-20). Suppose -28 = -5*x + x. Do n and x have the same value?
False
Suppose 5 = -5*v - 35. Is v less than -10?
False
Let d be (1/(-9))/((-1)/3). Let t = 0 - 1. Which is smaller: d or t?
t
Suppose 1 = -2*h - 5. Let a(v) = v + 4. Let b be a(h). Is -2/9 greater than or equal to b?
False
Suppose 0 = -2*o - 5 + 3. Which is bigger: o or -3/4?
-3/4
Let j = 0.34 + -0.3. Let x = j - 0.04. Let w = -805/11 + 73. Is w > x?
False
Let l(w) = w**2 - 2*w - 1. Let p be l(-1). Which is smaller: -4 or p?
-4
Suppose -5*c = -67 - 33. Suppose -7*n + c = -11*n. Is -5 < n?
False
Let u = -4 + 6. Suppose 7*v - 3*v + u*j - 22 = 0, 2*v - 20 = -4*j. Is v < 4?
False
Let d = -446 - -5792/13. Suppose -1 = -5*o - 6, -o - 6 = 5*w. Which is smaller: d or w?
w
Let n = 0.066 - 0.066. Is n bigger than 40?
False
Suppose -5 - 5 = -o. Suppose 0