53. Which is bigger: l or 0?
0
Let p = 14 + -13. Which is greater: p or 0?
p
Let i = -35 - -32.1. Let n = i - -1.9. Is n > 2/13?
False
Suppose 1 - 51 = 5*q. Let b be (-60)/18*12/q. Which is bigger: 6 or b?
6
Let u = -131380/81 - -1622. Is u bigger than 1?
False
Suppose -3*k + 4 = -5. Suppose 3*i - 1 = d, -5*i - 6*d = -2*d - 30. Let p be i/k + (-10)/6. Which is smaller: p or -2/7?
p
Suppose 0*j = 3*w + j + 15, -2*w - 4*j = 10. Which is greater: w or -1?
-1
Let c be (-1)/(-3)*(-1)/(-6). Let b(p) = p**3 - 3*p**2 + 3*p - 2. Let v be b(1). Which is smaller: c or v?
v
Let r = 12 - 11. Are 2/85 and r equal?
False
Let f = 6 - 4. Suppose -f*n - 11 + 3 = 0. Are -4 and n non-equal?
False
Suppose q + 4 = y + 7, 5*y = -2*q + 6. Let n = 2 - q. Suppose 0*o = 3*o. Which is greater: n or o?
o
Let i = -0.05 - -0.45. Let k be 10/(-12)*((-270)/(-125) + -2). Which is smaller: i or k?
k
Let k be (1*7)/((-8)/104). Let c = -17 - k. Let m be 1*(-2 + c/36). Which is smaller: m or 1?
m
Let l = -18.3 + 18. Suppose 0 = -3*c + 5*c - 8. Is l equal to c?
False
Let s = 17/16 - 9/8. Which is smaller: 1 or s?
s
Let n be (1 - 1)/((-4)/(-2)). Suppose 0 = -4*b - r + 2, 3*b - 2*b - 9 = 4*r. Let f be 2 - (2 - -1)*b. Is f >= n?
False
Suppose 5*x = 19 + 1. Suppose -q + x*q = 24. Is q <= 9?
True
Let j = 1.1 + -1.16. Which is smaller: j or -2?
-2
Let k be (-3)/2 + 0 + (-143)/(-22). Let h = -7 + 12. Suppose 6*b = k*b + h. Is b less than 5?
False
Suppose -2*b - 8 = 0, -b - 24 = -3*d - 2. Let p be (-2)/d - 8/(-24). Is p bigger than 3/5?
False
Suppose 0 = t - 2 + 1. Let i(q) = -q**3 + 11*q**2 + 13*q - 12. Let u be i(12). Suppose -4*r + 2*r + 2 = u. Is t < r?
False
Let s = -1.3 + 1. Is -1/4 at least s?
True
Let d = 4.2 - -14.8. Let t = -21 + d. Which is smaller: -6 or t?
-6
Let s = -78/23 - -1372/391. Let b(l) = -l**2 - 7*l - 2. Let j be b(-6). Suppose -j*v + 2 = -6*v. Which is smaller: s or v?
v
Let x(k) = -k + 6. Let i be x(6). Suppose w + 4 - 3 = i. Let d be (-2 - (-6)/2)/w. Which is smaller: 2 or d?
d
Let t(q) = -q - q - 3 + 2. Let p be t(-1). Suppose 11 - p = -5*y. Is y > -2?
False
Let q = 10 + -6. Let o = 0.16 + -1.16. Which is bigger: q or o?
q
Let r be ((-6)/8)/((-15)/10). Which is bigger: 2 or r?
2
Suppose z + 2*z = 0. Let g = -1.69 - -1.7. Let r = -0.11 + g. Are r and z nonequal?
True
Let w = 56.3 + -56. Let y = 5.99 + 0.01. Which is greater: y or w?
y
Suppose 6 = m + 5*g - 24, -5*m + 15 = -2*g. Suppose 6*f - 2*f + 50 = -2*j, 3 = j - m*f. Let u = 52/3 + j. Is 0 smaller than u?
True
Suppose -6 = 5*r + 4. Let u(s) = s**3 + 2*s**2 - s - 2. Let b be u(r). Do b and 3/2 have the same value?
False
Let l be (-4)/(-6) - 16/6. Let z = l + 4. Is 2/3 greater than z?
False
Let s = -1/91 - -281/728. Which is smaller: -1 or s?
-1
Let l be ((-15)/9)/((-12)/(-9)). Let a = 1 + -8. Let b = 6 + a. Is b equal to l?
False
Suppose 0 = -2*d + n + 6, -2*d + d = -3*n - 8. Suppose 0 = -4*m + d*m. Which is smaller: m or -2/15?
-2/15
Let a = -22 + 24. Which is smaller: a or 7/4?
7/4
Let z be 3/7 - (-40)/(-28). Let f be 1 + 2/(-4) - 2. Is f <= z?
True
Let a(q) = 16*q**3 - q**2 + 2*q - 1. Let p be a(1). Is 15 less than or equal to p?
True
Let p be ((-16)/100*-5)/((-1)/25). Which is greater: p or -22?
p
Suppose 4*y - 2*y + 46 = 3*x, 5*y = 3*x - 34. Suppose d = 4*d + x. Which is greater: d or -5?
-5
Let b be (-2)/((-9)/(-6) - 2). Let p = 4 - b. Let w = p + -1. Which is greater: 1 or w?
1
Suppose 4*a + 2*h - 6 = 0, a + 2*h = 6*a + 6. Is a greater than 1/6?
False
Suppose -4*a = -20, 4*b - 2*a + 15 = a. Is b bigger than -2/157?
True
Let n be (-70)/51 - (-2)/(-9)*-3. Which is greater: -2/5 or n?
-2/5
Let v(h) = h**2 - h. Let i be v(2). Suppose u - i*u = 1. Is 2/29 >= u?
True
Let h(n) be the second derivative of -n**3/6 + 5*n**2/2 - 4*n. Let t be h(5). Suppose t*d = -d. Are -1 and d nonequal?
True
Suppose -22 = 3*l + 4*j, -5*l - j = 2*j + 33. Do -6 and l have the same value?
True
Let o = 8 - 4. Let f = 9 - 13. Let q = f + o. Which is greater: -0.6 or q?
q
Let l = -1740/13 - -134. Let o be -8 + 5 - -2*2. Which is smaller: l or o?
l
Suppose -3*f - 13 + 5 = -2*d, 0 = -2*d - f. Let z(p) = p**3 - 6*p**2 + 5*p + 6. Let y be z(5). Let i be 2/27*y*d. Is i greater than -1?
True
Let g(d) = 2*d - 11. Let b be g(9). Suppose -7 = 3*f - 4*o, 3*o - o + b = 5*f. Is -1 greater than or equal to f?
False
Let g(b) = -b**3 + 9*b**2 - 8*b - 1. Let z = 7 - -1. Let l be g(z). Let u = -2 - l. Is 0 > u?
True
Suppose -2*m + 0*j - 25 = -3*j, -4*j - 20 = 4*m. Do m and -5 have the same value?
False
Let x(m) = -22*m**3 - 3*m**2 + 1. Let y be x(1). Is y greater than -23?
False
Let l(m) = -m. Let y(z) = 3*z - 4. Let n(b) = -l(b) - y(b). Let d be n(3). Do d and 0 have the same value?
False
Let d(a) = 11*a**3 - 2*a**2 + 17*a + 18. Let p be d(-1). Let c(h) = -h**3 + 2*h**2 + 6*h - 3. Let r be c(4). Which is greater: p or r?
r
Let k(a) = a + 13. Let h be (-4)/6 - (-33)/9. Suppose 5*f + 4*g + 45 = 0, -5*g + g + 27 = -h*f. Let y be k(f). Which is smaller: 3 or y?
3
Let a = 11 - 7. Let v = a - 9. Suppose -k = 3*k + 16. Is k at least v?
True
Let h = -1 + -4. Let w = h - -5. Which is greater: 1 or w?
1
Suppose -5*s - 25 = 0, 6*s = -m + s + 90. Let u = -1033/9 + m. Are 1/4 and u non-equal?
True
Let o be (-2)/((-2)/3 + 2). Is -1 smaller than o?
False
Let b = -0.11 - -0.01. Is b greater than 6?
False
Let s = -13 + 20. Is s not equal to 7?
False
Let i = -166 - -828/5. Which is bigger: i or 14?
14
Let q be ((-6)/(-3) + -11)/(16/(-2)). Which is greater: q or 0?
q
Let s = 75 - 50. Are s and 26 non-equal?
True
Let q = 3 + -4. Let z = -1.1 - q. Are 2 and z equal?
False
Let f = -85/4 + 3833/180. Are 1 and f equal?
False
Let x be 78/24 - 1/4. Suppose 1 + 5 = x*c. Which is bigger: 1 or c?
c
Let j(o) = 2*o**3 + 3*o**2 + 4*o + 0*o - 1 - 3*o**3. Let x be j(4). Is -3/7 < x?
False
Let i = -0.03 - -8.03. Let t = i + -9. Is t smaller than -1?
False
Let t be (-6)/(-8) + 123/12. Let s be (-57)/t - (-2)/11. Let m = s + 6. Is -4/9 greater than or equal to m?
False
Let l(f) = -f**2 + 10*f - 2. Let n be l(4). Is n smaller than 20?
False
Let t be ((-6)/2)/(2/4). Let f be 10/3*t/(-5). Suppose -w = -3*w - i - 10, -5*w + f*i + 1 = 0. Is 0 < w?
False
Let k be 30/(-56) - (-1)/4. Suppose 0 = w + 3, 3*w + 51 = -5*a + w. Let t = -8 - a. Is t less than or equal to k?
False
Let f = -0.2 - -0.1. Let y = f - -0.3. Let h = -58 + 58. Is h smaller than y?
True
Let o = 87 + -62. Suppose -8*a + 3*a - o = 0. Is a less than -5?
False
Suppose -2*i = 5*p - 27, 2*i - 19 = -2*i - 3*p. Let y = i + 3. Suppose 0*d + y*d = -12. Do -2 and d have different values?
True
Let a be 4/(216/(-21)) + 2/9. Are 0 and a unequal?
True
Let t = -1 - -3. Let w = t - -1. Let r be 2/(-10) + w/15. Which is greater: r or 1/4?
1/4
Let z = 35 - -7. Let p be (-10)/(-14) + 12/z. Suppose x + p = -1. Is -2/3 not equal to x?
True
Let f(q) = -q**2 + 1. Let a be f(1). Suppose -2*p - 2*o = a, p - 2*o = -1 - 2. Let c = 4 + -2. Are c and p unequal?
True
Let t = -2.3 - 1.7. Is t <= -1/5?
True
Let v = -5975/29 + 206. Which is smaller: v or 1?
v
Let m(l) be the second derivative of l**3/6 + 2*l**2 + 2*l. Let t be m(0). Suppose 2*d - t*w = w + 18, -d - 3*w - 2 = 0. Is 2 bigger than d?
False
Suppose 2 - 4 = l, -2*o = -3*l - 12. Let n be (-1)/(-1) + -2 + -51. Let y be 0 - o - 148/n. Which is greater: 0 or y?
0
Let w be (-301)/12 - (-11)/33. Let t = 25 + w. Does t = 1/4?
True
Let m(u) = -u**3 + 6*u**2 + 2*u + 1. Let x be m(5). Let t be (-4)/18 - 1/x. Do t and 1 have the same value?
False
Let q be (5/(-105))/((-1)/(-6)). Which is smaller: 0.41 or q?
q
Let g = 0.15 - -19.85. Let i = -19.93 + g. Is i equal to -0.2?
False
Suppose 0 = -3*n + 3*z + 42, -3*n = -6*n - 5*z + 34. Are 14 and n equal?
False
Let a = 13 + 2. Suppose -2*h - a = -5, -2*j + h = -11. Suppose -4*r + 5*r = -1. Which is greater: j or r?
j
Let h = -3.2 + 3. Let t = 6 - 6. Let u = h - t. Is 1/3 not equal to u?
True
Let y = 0.01 - 1.21. Let p = 0.2 + y. Is p greater than 2/7?
False
Let f = 1.38 + -1.37. Let i = 3 + -5. Is i >= f?
False
Let q(a) = -6*a**2 + 4*a. Let f be q(3). Is 2 >= f?
True
Let u be -5*(-1 + (-10)/(-11)). Are u and -1 nonequal?
True
Suppose 2*d = 3*d - 2. Suppose -2*b - 2 = -6*z + d*z, z = -b + 2. Is -1 at most z?
True
Let g = 2.49 - 0.49. Let r = -0.3 - -0.5. Let m =