 Which is greater: y or m?
m
Let s = 39 + -38. Let c be (-1)/(-3) - 60/(-9). Let h = -59/8 + c. Which is bigger: h or s?
s
Let r(p) = p**3 + 4*p**2 - 8*p - 12. Let w be r(-5). Which is smaller: 0 or w?
0
Suppose -2*z - 3*z - 2 = -4*s, s - 1 = z. Let p(f) = -f + 2. Let o be p(5). Let n = s + o. Is n smaller than 0?
False
Let w = 13 - 9. Let g be 2/4 - (w - 2). Let f = -23 - -21. Is f > g?
False
Let z = -1.08 - 0.12. Let h = z - -0.2. Is -3/7 smaller than h?
False
Let k = 3 + -1. Let n = k + -3. Are n and -1/2 nonequal?
True
Let g(k) = -k**3 + 6*k**2 + 7*k + 1. Let i be g(7). Let a = -4 - -4.4. Let u = a + -2.4. Which is smaller: u or i?
u
Let m(f) = -f**2 + 6*f. Let g be m(5). Suppose -z + 3 = 0, 21 = -g*y + 3*z - 53. Which is greater: 1/4 or y?
1/4
Let c(p) = -p**2 + 2*p + 1. Let r be c(-1). Let x be (r/4)/(1/6). Which is greater: x or -0.3?
-0.3
Let b = 61 - 916/15. Suppose 3*x + 2*x = -35. Let j = x + 6. Is j at least b?
False
Let y be -115*(48/(-20) + 2). Suppose -y = -5*j - 1. Is 10 equal to j?
False
Suppose x + 2*k + 0 = -1, 3*x + 5*k + 1 = 0. Suppose -2*f = -10 - 8. Suppose f = -4*s + 7*s. Is s greater than or equal to x?
True
Let q = 18 + -17. Which is greater: q or 3?
3
Let j = 40 - 44. Is -4 != j?
False
Let v(p) = -p**3 - 7*p**2 - p - 1 + 9*p - 2. Let i be v(-8). Is -7/3 less than i?
False
Suppose -m - 4*t = 0, m - 2*t + t - 5 = 0. Is m less than or equal to 6?
True
Let h = 2 - 1. Let z = 0 - 0.3. Let m = -0.3 - z. Is m > h?
False
Suppose -8*s + s = 7. Is -3/29 bigger than s?
True
Let a be -26 + (-12)/(-4) - 4. Let h be a/105 - 2/(-5). Which is greater: h or -1?
h
Let h be 4/10 - 644/10. Let z = h - -194/3. Let w be 0 + (2 - -2) - (4 + -1). Does z = w?
False
Let a(g) = 5*g - 19. Let s be a(10). Is 31 at least s?
True
Let m = 13 + -9. Let k be ((-3)/m)/(63/48). Which is smaller: -2 or k?
-2
Let o = 11 + -12. Is o at most -8?
False
Let y(q) = 3 + q**2 - 3 + 8*q. Let w be y(-8). Let t(a) = a**2 - a. Let x be t(0). Is w >= x?
True
Let f be (-22)/(-6) + -1 + -2. Suppose 23*c = 21*c - 2. Which is smaller: f or c?
c
Let f be (6/(-4))/(4/(-8)). Let p be (-2)/2 + 2/f. Does p = 2/5?
False
Suppose -4*k + 4*c = 12, c - 23 = -4*k - 2*c. Which is greater: k or 3?
3
Let f = 114 + -911/8. Let u = 4 + -4. Is u < f?
True
Let o = -1 + -5. Which is bigger: -1/4 or o?
-1/4
Suppose -3*v + v - 4*y = 8, -5*v - 4*y - 2 = 0. Is 6 at most v?
False
Let j(t) = t**2 - t - t - t + 6*t. Let v be j(-3). Is v < -3/5?
False
Let d = -4.064 + 0.064. Is -2/23 < d?
False
Let k(d) = -d**2 - 2*d + 5. Let o be k(-4). Let q be (-4)/2 - 9/o. Which is bigger: 2 or q?
2
Suppose -15 = x - 5*t, -4*t - 5 = -3*x + t. Is x equal to 9?
False
Let r = 90 + -125. Which is greater: r or -33?
-33
Let h be (-2)/(-4) + (-15)/(-30). Which is bigger: h or 2/291?
h
Let h be 1*(20 + 2 + 3). Suppose s = 2*s - h. Which is smaller: s or 24?
24
Let z = 3 - 4. Let f = 2/109 - 115/327. Do f and z have the same value?
False
Let l(d) = d**2 - 5*d + 3. Let v be 6 + (-2)/((-6)/(-9)). Let c be l(v). Which is smaller: -2 or c?
c
Suppose -5*f + 8 = -2*c - f, 3*f - 5 = 2*c. Is c smaller than 5/3?
False
Let z = -8 - -11. Let l be (-1464)/(-756) - 6/27. Is l < z?
True
Suppose 0 = -2*r + 2*x + 74, -6*r + r = -2*x - 182. Is r at most 36?
True
Let t = -25 - -17. Is t greater than -8?
False
Let o = -164/5 - -33. Is o > 1?
False
Let t = -9 - -17. Suppose -3*m = -t + 2. Which is bigger: -2 or m?
m
Let n = 20.1 - 20. Which is greater: n or 2/13?
2/13
Let d(l) = l**2 - 4*l - 3. Let q be d(7). Suppose q = 2*w - 2*f - 2*f, 5*f - 60 = -3*w. Are w and 16 nonequal?
True
Suppose -3*d - 2*f - 4 = 0, -d + 2*f + 8 = -2*f. Which is bigger: d or -6/5?
d
Let v be 1 - (-4 + 4)/(-4). Which is smaller: -12 or v?
-12
Let i be (-316)/14*(-1)/(-2). Let w = i - -11. Which is smaller: w or 9?
w
Let j be -4 + 3 - -3*1. Suppose -s - j*s = 4*x - 10, -x = 2*s. Which is bigger: -5/6 or s?
-5/6
Let u(p) = p**2 + 5*p - 2. Let q be u(-6). Suppose -4*s - 5*g - 15 = 0, -5*g - 19 + q = 0. Let b be (-2)/9 - 22/(-99). Is s greater than b?
False
Let l be ((-48)/30)/(18/75). Which is smaller: l or -6?
l
Let s = 6.6 - 0.6. Let m = -6 + s. Which is greater: m or 0.1?
0.1
Let k be (-14)/(-36)*4/7. Which is bigger: k or 0?
k
Let v = -12 + 30. Is -2 at least as big as v?
False
Let w = 0.07 + -0.1. Let b = -0.07 + w. Which is greater: -8 or b?
b
Let t(c) = 5*c + 2*c**2 + 0*c**2 - c**2 - 4. Let f be t(-5). Let n be -2 + 0 + f/(-2). Which is greater: n or 3/2?
3/2
Let i = 89 - 167/2. Which is smaller: i or 7?
i
Suppose 16*q + 5 = 17*q. Suppose -q*a = 43 + 12. Which is bigger: -10 or a?
-10
Let p be 8/36 + 37376/(-252). Let n = p + 148. Suppose -9 = -5*o - 4. Which is smaller: n or o?
n
Let v = 206 - 209. Suppose -3*q - 11 = 2*l, 0 = -l + 3*q - 0 - 1. Do l and v have different values?
True
Let t = 9 - 17. Let a(f) = f**2 + 4*f + 4. Let b be a(-3). Let m be (-2)/b*(-4)/t. Which is greater: m or 2/7?
2/7
Let u = -21 + 21.1. Is -2 at most as big as u?
True
Let w(f) = f**3 + 13*f**2 - 16*f - 29. Let y be w(-14). Let p = -205/72 + 21/8. Is p < y?
False
Suppose 2*i + i = 0. Which is greater: i or 1?
1
Let c = -95 + 103. Which is smaller: 3 or c?
3
Let z = -5.5 + 5. Let w(j) = j**2 - 3*j - 4. Let d be w(4). Is z >= d?
False
Let q be (-21)/12 - (-3)/6. Let s(v) = 3*v**2 - 21*v - 2. Let m be s(7). Is q greater than or equal to m?
True
Let f(m) be the first derivative of -m**3/3 - 2*m**2 - 3*m + 2. Let v be f(-2). Is 0 at most as big as v?
True
Let a = -1 + 6. Suppose -2*i + 12 = -0*h + 2*h, a*i - 2*h = 16. Which is smaller: i or 3?
3
Let j = 0.01 + 1.99. Let x = -3 + j. Let p = 28 - 27. Which is bigger: p or x?
p
Let f = -0.984 - -0.014. Let u = f - 0.03. Does u = 2/5?
False
Let f(u) = -2*u**3 + u**2 + u. Let h be f(2). Let m(n) = 2*n - 13*n - 4 - n**2 - 6. Let d be m(h). Which is greater: -3/4 or d?
d
Suppose 0 = -8*m + 4*m - 104. Which is smaller: -24 or m?
m
Let o = 26 + -22. Suppose -2*w = k + 2*w - o, 5*k = 3*w + 89. Is 17 > k?
True
Suppose -6 = v - 4*v. Let t be v - 6/(2 - -1). Let f be 2/12*(-1 + t). Is 1 equal to f?
False
Let v = -864/5 + 173. Suppose u + 2*u + 2*q - 2 = 0, 5 = -u + 5*q. Is v bigger than u?
True
Suppose -y - 4 = -2*y. Suppose h + 0 = -y. Let c be h - -3 - (-1 + 0). Is c at most -3/4?
False
Let o(y) = -3*y**2 + y - 1. Let d be o(1). Is -6 not equal to d?
True
Suppose -3 + 11 = 2*p. Let q = -22 + p. Which is bigger: q or -19?
q
Let z = -16 + 16. Are z and 2 non-equal?
True
Let f be 4/16 - (-119)/(-444). Let c = f + -208/777. Let l = -0.05 - 1.95. Is l at least c?
False
Let y = 2 - 1. Let x(p) = p - 1. Let r be x(-9). Let q = r + 10. Which is smaller: y or q?
q
Suppose 2*d = 3*d + 3*h - 8, -3*d + 19 = 4*h. Suppose -t + d*t = 0. Do t and 6/11 have the same value?
False
Let j be -1*(22 - 3) - 0. Is j at most -19?
True
Suppose 2*n + 6 = 0, -5*p - 4*n - 5 - 2 = 0. Is 28 smaller than p?
False
Suppose i - 2*u + 5 = 0, 5*u = -3*i + 4*u + 6. Which is smaller: i or -1/25?
-1/25
Let p(x) = -3*x**3 + x - 1. Let r be p(1). Let w = r - -3. Suppose 2*l = 2 - w. Which is bigger: 6/5 or l?
6/5
Let q(h) = h - 3. Let w be q(3). Is -1 bigger than w?
False
Let q be (-1)/(-17)*(-1)/(-2 + 3). Which is greater: -1 or q?
q
Let h = -12 - -8. Suppose 0 = 4*b + 13 + 11. Which is smaller: b or h?
b
Suppose 4*x - 5*x = -2. Suppose 4*d = -5*t - 10, -t - 6 = 2*d + x. Suppose t*m + 3*u - 8 = 0, -8 - 2 = -2*m - 4*u. Is m greater than 0?
True
Let j(l) = 0*l**2 - l**2 + 3 + l**3 + l - 1. Let r be j(0). Let h(g) = -g**2 + 4*g + 3. Let c be h(0). Which is smaller: r or c?
r
Let i be -18 + 19 + (-1)/6*-2. Are i and 5 equal?
False
Let v(y) = y**2 - y - 3. Let d be v(0). Let w be (-23)/7 + 0 + 0. Let p = w - d. Is -1/4 equal to p?
False
Let u be 5/(-10) + (-2)/4. Let g be 10/4*u/(-25). Let k be ((-4)/6)/((-4)/6). Which is greater: g or k?
k
Let x(o) = 1 - 25*o + 23*o + 10. Let p be x(9). Let n be (4/2)/(-2)*p. Which is greater: 8 or n?
8
Suppose 0 = -3*c - 0*c - 3. Are 0 and c equal?
False
Let z(p) = -2*p + 33. Let h be z(22). Which is bigger: h or 2/17?
2/17
Suppose 6*q = q + 15. Let v = q + 9. Suppose -k + 2 = -4*g + 5, 4*k - 4*g + v = 0. Which is greater: -1 or k?
-1
Let b be (-2)/10 + 2136/(-45). Let f = b + 48. Let x = -0.04 - -0.14. Which is greater: f or x?
f
Let f = 25 + -31. 