m)/(27/5). Which is greater: k or 0?
0
Suppose -10*a - 14*a + 288 = 0. Is a at least as big as 6?
True
Suppose 0 = 4*c, -z + 0*c + 2*c = 2. Let f = 46/3 - 16. Which is smaller: z or f?
z
Suppose -2*z - 2*b = -4*b - 6, 5*z + 3*b = 7. Suppose 0 = 2*c + 3*c - 95. Suppose -4*j + 5*u = -c, -5*j - u + 3*u + 11 = 0. Is j less than z?
True
Suppose -3*w + 7 = -4*w. Is w less than -6?
True
Let j = 35 + -14. Is j at most 0?
False
Let y = -1 - -2/3. Does y = 4?
False
Suppose -5*k - a + 27 = 10, 7 = 5*k - 4*a. Let n(l) = -2*l**2 + l + 1. Let p be n(-1). Let z = p + k. Which is smaller: z or 2?
z
Let c = -12 - -12. Let b = -1 + c. Is 2/11 smaller than b?
False
Let t = -117 + 119. Let p = 0.35 + -0.3. Is p >= t?
False
Let m(k) = k**3 - 4*k**2 + 2*k + 3. Let n be m(3). Let g be n + (-2 - -16) - 1. Is 13 greater than or equal to g?
True
Let t be (15/10 - (-3)/(-2)) + 4. Which is greater: -5 or t?
t
Let q = -59/688 + 46491/44720. Let j = q + -15/13. Which is greater: j or 1?
1
Let k be 0 - ((-336)/(-10) - 2). Let r = 32 + k. Which is smaller: r or 0?
0
Let m be 608/(-24)*2/(-8). Do 5 and m have the same value?
False
Let s = 8 + -5. Suppose 6*r - 3*r = s. Is -1 >= r?
False
Suppose 5*x + 145 = -5*j, 6 = 5*j + 26. Is -25 greater than x?
False
Suppose 5*p = -w - 3*w + 20, -w = -p - 5. Let r(f) = f + 3. Let d be r(p). Which is smaller: d or 2?
2
Let g = 1 + -1. Suppose -2*x = -6*x, 2 = -2*t - 4*x. Let l = t - -3. Is l <= g?
False
Let v(c) = -c**3 + 3*c**2 + 5*c - 2. Let p be v(4). Let d = 4 + -2. Let m be p/4 - d/4. Which is smaller: m or -1?
-1
Let v = -4316 - -703506/163. Let h = -288/3097 + v. Are 1 and h non-equal?
True
Suppose 4*z - 2*z - 5 = -s, 3*s - 4*z + 15 = 0. Which is smaller: s or 3/14?
s
Suppose 2*x - 5*y + 27 = 0, x - 3*y + 20 = -4*x. Which is smaller: -4/9 or x?
x
Let j = 1 + 3. Let m = 2 - j. Is -0.1 <= m?
False
Let i(j) be the third derivative of -j**4/24 - 2*j**3/3 - 5*j**2. Let a be i(-3). Which is bigger: a or -6/13?
-6/13
Let n be (1/(-3))/((-2)/(-4)). Suppose 3*z + 0*z = 5*t + 37, -21 = 5*t + z. Are t and n non-equal?
True
Suppose 4*q - 54 = 10. Let r be ((-2)/4)/((-4)/q). Which is bigger: 1/3 or r?
r
Suppose -3*b = -2 - 4. Is b at most as big as 14/9?
False
Let g be -1*-3*(2 + -3) + 3. Let u(v) = -2*v**3 - 2*v**2 + v + 1. Let r be u(-2). Suppose -5*k - z = -r, 5*k - 3*z = -0*z - 1. Which is bigger: g or k?
k
Suppose -3*a - 7 - 26 = 0. Let l = 8 + a. Let n be (-3)/(-9) + (-14)/l. Which is smaller: 4 or n?
4
Let s = -15 - -17. Let f = 0 + s. Do f and 5/4 have the same value?
False
Let d(h) = -h**3 - 3*h**2 - 4. Let c be d(-3). Let b be (-32)/(-30) - (5 + c). Is -1 > b?
False
Let k = -0.9 + -0.7. Let s = 1.4 + k. Let b(d) = d. Let q be b(1). Which is smaller: q or s?
s
Suppose 2*f = f. Let j = 187 + -938/5. Is f equal to j?
False
Suppose 3*r + 4 + 14 = 0. Let k(h) = h**2 + 5*h - 5. Let a be k(r). Is a > -1/6?
True
Let o = 817/6 + -137. Suppose -3*d + 2*p = -4, -d + 19 = -3*p + 6. Are o and d non-equal?
True
Suppose -5*v + 24 + 51 = 0. Let m = v + -13. Is 2/15 bigger than m?
False
Let g = 1509/190 + -81/10. Is g at least as big as -1?
True
Let y = 4 - 1. Suppose -4 = 3*f - 1, f = y*c + 5. Let s = -104 + 102. Is s greater than c?
False
Let q = -30 - -23. Is -1 greater than q?
True
Suppose -4*h + 26 = 2*z, -5*h - z = 2*z - 35. Let k be -2 + h + 0/2. Let n be 2*((-3)/k - -1). Which is greater: n or 2/5?
2/5
Let z = -3 + 2. Let b(v) = v - 1. Let f be b(0). Is z less than f?
False
Let g = 15853 + -1696283/107. Let k = g + 394/1605. Is k > 0?
True
Let g = 8 - 7. Let d be (-33)/9 - g/3. Which is smaller: d or -5?
-5
Let f = 0.6 + 0.6. Let l = f + -0.2. Let k = 2.7 + -3. Which is smaller: k or l?
k
Let a(p) be the first derivative of p**2 - 6*p - 1. Let t be a(4). Let v be 9/3*t/(-3). Does -1 = v?
False
Suppose 0 = -2*y + 7*y - 15. Which is bigger: y or 2?
y
Let x = 2 + -1. Let i = 2 - x. Let a = -5 - -1. Which is greater: a or i?
i
Suppose -6*x + 2*x = -28. Suppose -5*y = -x*y - 4. Suppose -f - 4*o = -6, 3*o + 4 = -4*f - f. Is f smaller than y?
False
Let n(i) = -i**2 + 5*i - 3. Let b be n(1). Which is bigger: b or 5/3?
5/3
Let h = 2017/6 + -337. Let x be 10/(-2) - (2 - 6). Which is bigger: h or x?
h
Let u = 9 - 10. Let p = 0.6 + -0.5. Is u at most p?
True
Let l(n) = n + 3. Let p be l(-6). Let v = 3 + p. Let i = -3 + v. Which is greater: -1 or i?
-1
Let p(h) = h - 4. Let k be p(3). Let w(v) = -v - 8. Suppose -5*d + 3*u + 0*u = 33, -5*d - 2*u - 28 = 0. Let j be w(d). Is j >= k?
False
Let a(h) = h**3 + 4*h**2 + h + 4. Let i be a(-4). Suppose 11*y - 10*y + 1 = i. Which is greater: 1/5 or y?
1/5
Let l(o) = o**3 + 7*o**2 + 4*o - 13. Let f be l(-6). Which is smaller: f or 2/57?
f
Suppose -v - w - 6 = -0*v, 5*w = -4*v - 28. Let k be (0 - (-2)/v)*1. Let p be 1/(-1) - 1/(-2). Which is greater: p or k?
p
Let n = -0.87 + -0.13. Which is smaller: 2/3 or n?
n
Let c = -37 - -34. Is -2 at most as big as c?
False
Let k = -139 + 71. Do -67 and k have different values?
True
Let l be (9/(-12))/(2/16). Let z be (-2)/(-6) - (-20)/l. Suppose -4*f = 8 + 8. Does z = f?
False
Let z be 33/(-17) + 3 + -1. Let a = -10 - -16. Let t = a + -6. Which is bigger: z or t?
z
Let l = -1 - -3.5. Let h = -0.5 + l. Let f be (-6)/(-9)*6/(-4). Is h at least f?
True
Let x be 16/(-20) + 1668/2010. Are 0.1 and x nonequal?
True
Let p be (0 - -3) + (-12)/4. Suppose -2*b - 2 = -p*b. Which is smaller: 1/11 or b?
b
Let g(q) = 4*q**3 - q**2 - 5*q - 2. Let o(k) = -3*k**3 + 4*k + 2. Let i(t) = -2*g(t) - 3*o(t). Suppose 3*w + 6 = -0. Let y be i(w). Are y and 1/2 equal?
False
Let g be (-2 + 3 - -2) + 0. Let o be 1*g/15*-1. Which is greater: 3 or o?
3
Let h be ((-6)/(-1))/(3/(-2)). Suppose 2*b + 4*v - 30 = 0, 0 = -2*b + 3*b - 3*v. Let a(u) = u - 13. Let i be a(b). Does i = h?
True
Let l = 25 - 25.5. Suppose 5*i + 18 = -2. Let t be (2/i)/(3/2). Which is smaller: t or l?
l
Suppose 363 = 6*x + 111. Which is smaller: x or 41?
41
Let b = -21196/10053 + -3/1117. Which is smaller: b or -2?
b
Let c = 3 + -6. Let v = c - -2. Let u = 0.3 - 0.2. Which is greater: u or v?
u
Let s = 5 + 0. Suppose 0 = 5*x - 3*v - 2 - 31, 4*v = -3*x + 14. Is x bigger than s?
True
Let s(f) = f**3 - 2*f + 1. Let l be s(1). Let h be (l/(-2))/(-10 - -8). Do -3/5 and h have the same value?
False
Suppose -2*f + 2*r = -20, 4*f - 26 = f + r. Suppose 5*l + i - 5 = -4*i, 3*l + 4*i = f. Is l equal to -3?
False
Let g = 1.75 - -0.25. Is -10 less than g?
True
Let h = 0.1 + -6.1. Which is bigger: 3 or h?
3
Let p be (-8)/44 + (-156)/110. Which is smaller: -2 or p?
-2
Let d(c) = c**3 - 7*c**2 + 7*c - 3. Let x be d(6). Suppose 0 = 2*f - x + 5. Which is smaller: 1/6 or f?
f
Let f(w) = 2*w**2 + 3*w + 6. Let i be f(-3). Do i and 27/2 have the same value?
False
Let k be (-1 - 5)*1/(-2). Let m be 2 - 4/6*k. Suppose 5*i - 17 - 13 = m. Which is smaller: i or 5?
5
Suppose 92 = 4*m + i, 4*m = 3*i + 45 + 63. Suppose -d - 2*d = 6, 5*x - 2*d = m. Let g be 3 - (39/x)/3. Are g and 2 unequal?
True
Let f = 2.39 + -0.29. Let p = f - -7.9. Let r = p + -7. Is -1/4 at most r?
True
Let a = 25 - 23. Which is bigger: -2 or a?
a
Suppose -2 = 4*q + 6. Let p be (-2)/(-5)*6/(-4). Which is bigger: p or q?
p
Suppose -4 = h + 12. Which is smaller: -15 or h?
h
Let w(r) = r**2 - 8*r + 12. Let p be w(2). Is p >= -7/11?
True
Let y = -36 - -60. Which is smaller: 25 or y?
y
Let n be (-6)/(-9)*(-6)/17. Which is smaller: n or 1?
n
Let b = -0.1 - -0.2. Let k = 0.05 + 6.95. Let y = -7.2 + k. Is b less than y?
False
Let q(t) = 13*t**2 + t. Let g be q(1). Suppose -j - 3*u = -8, -8*u = 3*j - 4*u - g. Let a = 1 + 1. Is j greater than a?
False
Let r = 36 - 45. Which is greater: r or 0.1?
0.1
Let x(s) = -2*s**2 + 2*s - 1. Let j = 1 - 0. Let l be x(j). Are -1 and l equal?
True
Suppose 2*h + m + 5 = -2*h, 2*h + 15 = -3*m. Let w be (-2 + (-549)/(-270))/((-6)/8). Which is smaller: h or w?
w
Let w = 44 - 45. Which is smaller: w or 0.8?
w
Let s = 21 + -21. Which is smaller: 0.02 or s?
s
Suppose -7*n + 2*n = -2*q - 10, -5*q - 25 = 0. Is n less than -8/7?
False
Let r be -5*4/(-10) - 3. Which is smaller: r or 3?
r
Let v(j) = -j**3 + 7*j**2 - j + 8. Let f = 15 - 8. Let z be v(f). Let t be -1 - (z + -2 + 1). Which is greater: -2/5 or t?
-2/5
Let s = 9.3 + -10. Let a = s + -0.3. Let q = a - -1.1. Which is big