2. Is 19 > g?
False
Suppose 0 = -z + 4*z + 4*t - 23, -1 = t. Let g(a) = -a + 8. Let c be g(z). Let n be c*(2*-1 - -2). Is 0 at most n?
True
Let s = -444 + 11098/25. Which is greater: s or 0?
0
Let w be (-9)/(-10) - 1/2. Let c = 0.13 + 0.02. Let p = -0.05 + c. Which is smaller: p or w?
p
Suppose -3*s + 1 = 16. Let f be -2 + s/((-5)/2). Which is smaller: -1/2 or f?
-1/2
Suppose -2*y = 3*y - 15. Suppose -5*a = -u - 0 + 1, -y*u - 2*a = -3. Let o(l) = -l**2 - 7*l + 7. Let j be o(1). Which is greater: u or j?
u
Let s be ((-3 - -2) + 0)/1. Is -1 equal to s?
True
Let f(l) = l**2 - 4*l - 2. Let y be f(5). Suppose -x + y*q - 1 = -0*q, -6 = -2*q. Do x and 8 have the same value?
True
Suppose 5*d - 16 - 4 = 0. Suppose -m = -4*l - 1, 0 = 2*m + m + d*l - 19. Suppose 2*h - b + 3 = 0, -4*h + 3*b = m - 0. Which is smaller: h or -4?
-4
Let b be 2/(-6) - 10600/(-192). Let h = b - 55. Is 1 <= h?
False
Let k = -2/9 + -1/9. Let c(u) = -u**2 + 20*u - 19. Let s be c(19). Which is smaller: k or s?
k
Let l = 1.9 + -0.9. Which is bigger: 2 or l?
2
Suppose 4*p - 4 = 4. Suppose -3*a - p*a = 25. Let s = a + 5. Is -2 greater than s?
False
Let r = 29.4 + -29.3. Let t be (-2)/10 - 2/(-110). Which is bigger: t or r?
r
Let i = -13 - -9. Let a = -6.2 + 1.2. Let c = i - a. Which is bigger: c or -2/9?
c
Let w = 16 - 16.4. Let r = 0.6 + w. Which is greater: 0.01 or r?
r
Suppose p + 2 = -s - p, -2*p + 4 = 4*s. Suppose 20 = 5*n, -4*w + 3*w = 2*n - s. Let q be (2/(-3))/((-4)/w). Is q >= 0.2?
False
Let c = -0.16 - 8.84. Let n = 9 + c. Do n and 0 have different values?
False
Let a = 2 - -3. Let h = a + -7. Let x = -6 - h. Is x at least as big as -4?
True
Suppose 0 = r - 2, -5*r + 0 = 2*h - 12. Let u(v) = -v**2 - v. Let g be u(h). Let d be (-9)/6 + 2/4. Is g at least d?
False
Suppose 5*l - 3 = 7. Let b be 3 + (3 - (2 + l)). Is 6/7 at least as big as b?
False
Suppose -7*k + 25 = -2*k, 0 = 4*c + 4*k + 12. Let a be 1/1 - 2 - 6. Are c and a nonequal?
True
Let k = 3.1 + -3. Let p = 4 + -4.5. Let i = 1.5 + p. Which is smaller: i or k?
k
Let d = -41 - -14. Which is smaller: -26 or d?
d
Suppose -2*k - 3 = -3*n - 4, 16 = -3*n + 5*k. Let b = n - 3. Is 0 smaller than b?
False
Let d(t) = -2*t - 5. Let s be d(-6). Suppose 1 = -2*k + s. Let z be (-2 - 0/k) + 2. Which is smaller: -1 or z?
-1
Suppose -j - 6 + 6 = 0. Which is greater: 1/40 or j?
1/40
Let n = -0.44 - -0.24. Which is smaller: 2 or n?
n
Let i(f) = -f**2 + 7*f - 9. Let t be i(6). Let m = 7 + t. Suppose -m*z + 0*z - 4 = 0. Are -2/9 and z non-equal?
True
Let f be 6/9 + ((-4)/(-1))/(-4). Are -2/105 and f equal?
False
Let f be (12/21)/(4/182). Is 26 at least as big as f?
True
Let c = -13 + 25/2. Let w(g) = 2*g**2 - 4 - 9*g**2 + 10 + g**3 + 5*g. Let f be w(6). Which is greater: f or c?
f
Let j(r) = 2*r - r**2 + 0 + 0*r + 1. Let a be j(2). Let s = 0.73 + -0.7. Which is smaller: s or a?
s
Suppose 0*f - 5*h - 30 = -2*f, -5*f + 5*h + 60 = 0. Let w = -15 + f. Is -4 <= w?
False
Let p = 19.3 - 18.3. Let j be 4/(-10)*20/(-268). Which is smaller: p or j?
j
Let q be ((-4)/(-20))/((-1)/3). Let a = -3 - -1. Are q and a non-equal?
True
Let j = 9 + -6. Let u(t) = 3*t - 5. Let s(i) = -i + 2. Let v(w) = -8*s(w) - 3*u(w). Let k be v(j). Which is bigger: k or -3?
-3
Let z(m) = -3*m - 43. Let s be z(-14). Which is smaller: -3/56 or s?
s
Suppose 2*n - 3*c + 0*c = 0, 3*c = 4*n. Is 1/14 less than or equal to n?
False
Suppose -4*v - 3*i - 3 - 17 = 0, -4*v - 4*i = 20. Is -1 <= v?
False
Let t be (-630)/(-153) - (-4)/(-34). Let v be 16/t*2/(-10). Is v at least 1?
False
Let w be 8/(0 + (-1)/(-4)). Suppose -6*i + w = -4*i. Is 15 bigger than i?
False
Let m = -103 - -157. Do -2/7 and m have different values?
True
Let t be 64/(-14) + (-6)/14. Which is smaller: -6 or t?
-6
Let f(y) = y - 4. Let p be f(6). Let j = -3 + 2. Let z be j/3 + (-1)/(-3). Which is smaller: p or z?
z
Let z = 0.101 + 0.899. Is -2/11 greater than z?
False
Suppose -4 = f + 4. Suppose -3*b + 27 = -6*b. Which is greater: f or b?
f
Let n(p) = p**2 + 3*p - 9. Let z be n(-5). Is 5/14 at least z?
False
Let i = 1630/7 - 232. Let z(o) = -o**3 + 3*o**2 - 3*o + 3. Let q be 6*(30/9 + -3). Let f be z(q). Is f equal to i?
False
Suppose 0 = -6*n + 3*n. Let c be (-26)/(-22) + n - 1. Let u = 1 + -2. Which is smaller: u or c?
u
Suppose -13*q = -11*q - 20. Which is smaller: q or 8?
8
Let v = 0.2 - 0. Let q = -33 - -32. Which is greater: q or v?
v
Let o(i) = -i - 3. Let v be o(-3). Let f be 0*((-2)/(-4) - v). Suppose 8 = 4*s - f. Is s bigger than 1?
True
Let x(b) = b**2 - b + 4. Let f be x(0). Suppose 577 = f*t - 15. Let i = t + -448/3. Which is smaller: -1 or i?
i
Let f(n) = n**3 - n**2 - n - 17. Let y be f(0). Is y bigger than -18?
True
Suppose -7*j - 4 = -3*j. Suppose -5*u + 3*u = 0. Is j not equal to u?
True
Let c = 2.7 - -7.3. Which is smaller: 2 or c?
2
Suppose 6*k + 5*k = 7*k. Which is smaller: -2/401 or k?
-2/401
Let g = -9.2 + -1.8. Let j = 6 + g. Let b = 5 + j. Which is bigger: -2/3 or b?
b
Let s = 4 - -1. Let l = 3 - s. Let g = l - -2.08. Are -0.1 and g nonequal?
True
Let q(i) = i + 3. Let d be q(-2). Suppose -d = -s + 13. Let r be (-4)/9*7/s. Is r at least as big as 1?
False
Let i = 107/585 + 2/117. Let u(t) = t**2 + 6*t + 8. Let q be u(-4). Which is smaller: i or q?
q
Let c = -18 - -12. Let v be -2 - c/(-1 - -4). Let o = -83/12 - -20/3. Does v = o?
False
Let g = 61 + -58. Which is smaller: g or -0.04?
-0.04
Let g be (-4)/(-6)*9/6. Let i = 24/7 + -103/28. Which is smaller: g or i?
i
Let u = 3 + -3. Which is greater: u or 1/6?
1/6
Let m be 10/20 - (-14)/4. Let b(s) = -s**2 - 7*s - 6. Suppose -3*q + 2*q - 5 = 0. Let x be b(q). Is m equal to x?
True
Suppose 0 = -2*w + 26 - 2. Let p(j) = -j + 14. Let n be p(w). Is 2/3 smaller than n?
True
Let c(o) = o**2 + 12*o + 11. Let b be c(-11). Which is smaller: 1/28 or b?
b
Let p(b) = 3*b + 12. Let s be p(-11). Let q = s - -22. Which is greater: 2/39 or q?
q
Suppose -2*k - 3*k - 2*r + 15 = 0, 0 = k + r - 3. Which is smaller: k or -1?
-1
Suppose 3*y - 13 = -4. Let r(o) be the second derivative of -o**5/20 + o**4/6 + 2*o**3/3 - 2*o**2 + 15*o. Let u be r(y). Which is smaller: -2 or u?
-2
Suppose 3*u - 17 = -2. Suppose -4*d + u*d - 11 = -4*f, d = 2*f - 1. Let q = 7 - 4. Is d > q?
False
Suppose 0 = 5*x - 2 + 7. Is x <= 1?
True
Suppose 4*b = 7*i - 2*i + 76, 0 = i + 4. Suppose -31 - b = -5*z - 5*g, 20 = 5*g. Which is smaller: z or 3?
3
Let i = -329 - -2297/7. Let u = i + 11/21. Is u >= -0.1?
False
Let m = 0.03 - 1.03. Suppose b + 2*z + 2 = -0*z, 5*z - 2 = b. Are b and m non-equal?
True
Let f = -48 + 49.03. Let u = -0.03 + f. Is u < -3?
False
Let f be (2/(-6))/(3/(-18)). Let p be f/12*2/1. Which is bigger: p or 2?
2
Suppose -z = 1 + 5. Suppose 0 = q - 3*y - 27, 4*y - 114 = -3*q + 2*y. Let w = q + -42. Is w greater than or equal to z?
True
Let o(f) = f**3 - 6*f**2 + 7. Let v be o(7). Let b be (2 - 1)*v/(-4). Let w be (-2)/(-3)*(-21)/b. Which is smaller: 6/7 or w?
6/7
Let c = 0 - -1. Which is greater: c or -3?
c
Let d = 5381 - 220654/41. Let f = -15735/164 + d. Let y = 96 + f. Which is smaller: -2 or y?
-2
Suppose -2*i = 2*i + 20. Let o = i - -2. Let v = o + 4. Is v at most as big as -2/9?
False
Let j = -21 - -20. Which is smaller: -1/3 or j?
j
Suppose 50*j = 54*j + 4. Is -1 less than or equal to j?
True
Let m = -147.91 - -150. Let v = m + -0.09. Which is bigger: v or -1?
v
Let l = -4 + 5. Let z be 3 - -2*l/(-2). Is 2 less than or equal to z?
True
Suppose 70 + 182 = -2*l. Let s be 20/(-35) + (-44)/l. Let i be 2/(-9) + (-8)/(-36). Which is smaller: i or s?
s
Suppose -2*f = f - 6. Suppose -2*h - f + 12 = 0. Is 6 less than or equal to h?
False
Suppose -14*f = -17*f - 21. Is f at most -6?
True
Let g be 14*(-4)/72 + 1. Let w = 2.1 - 2. Is g <= w?
False
Let k be 2 + (-1)/2 - 0. Let r = 4 - 2. Which is greater: k or r?
r
Let s be (1/(-13))/(1/3). Let n = 25/52 + s. Suppose -b = -5, -p + 24 = 2*b + 3*b. Is n at least p?
True
Let z = -42 + 44. Let l(c) = -c**2 + 1. Let h be l(-1). Which is smaller: h or z?
h
Let l = 6 - 5. Suppose -y = -0*y - l. Is y equal to 2?
False
Let m(o) = o + 1. Let b be m(0). Let q be (-1896)/(-16)*(-4)/195. Let f = -11/5 - q. Which is greater: f or b?
b
Let b(z) = -z**3 - 4*z**2 + 4*z - 5. Suppose 2*h - 8 = -18. Let l be b(h). Are -1/3 and l non-equal?
True
Let x(n) 