 = 18. Are a and l equal?
False
Let c = -4 - -4. Suppose 0*s + 2*s = 4*z + 2, 2*z + 2*s - 2 = c. Let g = 0 + z. Which is bigger: g or -1/3?
g
Let x = -2 - -1. Let u = x + 3. Suppose -p - u*p = 5*i + 20, -3*p = -3*i - 12. Is -3 > i?
True
Let z be (-4 + -2)*-4 + 4. Is 27 >= z?
False
Suppose 0 = -n - 1 + 2. Let d be (n - (-2 - 1))/2. Suppose d*h = -h. Which is bigger: h or 1/17?
1/17
Let j = 107 - 59. Let l be (-11)/((-220)/j) + -2. Which is bigger: l or -1?
l
Let i be 1*0/(4 - 3). Is 0 at least as big as i?
True
Suppose -m = -6*m - u - 3, 0 = 4*m + 4*u + 12. Which is bigger: m or 1?
1
Let m = 108 + -108. Is m < 3/106?
True
Let b be 210/72 + (-12)/(-9)*-3. Which is greater: -1 or b?
-1
Let r be (112/60 + -1)*(-6)/2. Is 2/3 at least as big as r?
True
Let f be (6/70)/((-27)/18). Is f < -1?
False
Let l be 3/(3*4/(-12)). Let w be 5*(-1 + l + 3). Do -5 and w have different values?
False
Let h = -98 - -56. Is -42 > h?
False
Suppose 4 = w + 2*w - 2*q, -5*w + 4*q + 4 = 0. Let b be -9 + (-1)/(-4)*w. Is -9 < b?
True
Suppose 0 = -3*u - 0*u. Let w(m) = -2*m - 6 + u*m - m**2 - m - 4*m. Let y be w(-7). Is y at most -5?
True
Suppose 53 - 55 = -v. Let o(m) = -15*m + 10. Let j(x) = 5*x - 3. Let p(c) = -7*j(c) - 2*o(c). Let b be p(-1). Which is smaller: b or v?
v
Let f = 92 + -73. Is f greater than 20?
False
Let v(r) be the second derivative of r**4/12 - r**3/2 - 7*r**2/2 - 7*r. Suppose 22 = 5*d - 3. Let m be v(d). Are 3 and m nonequal?
False
Let k be 7/((-28)/8)*1. Let l be ((-2)/2)/((-6)/k). Is -4 >= l?
False
Suppose o = 2*z + 32, -5*o + 4*o = -5*z - 86. Is z at most as big as 1/3?
True
Let j be 1 + -3*2/2. Let k(p) = 2*p - 1. Let w be k(-1). Let q = w - j. Which is smaller: 0 or q?
q
Suppose i - 2 = -0. Suppose -18 = -4*l + i*l. Is 10 less than l?
False
Suppose 0 = -5*r + 5, 4*s - 3*r = -r + 30. Is 8 > s?
False
Let h be (1 + -1)*10/10. Which is bigger: h or 3?
3
Let j = -16.016 - -0.016. Which is smaller: -0.1 or j?
j
Suppose 0 = 2*s - 4*g, 1 + 4 = -2*s - g. Which is bigger: -3/5 or s?
-3/5
Let b(j) be the second derivative of j**4/12 - j**3 + 5*j**2/2 + 2*j. Let q be b(5). Let y be q - 6*(-2)/(-20). Which is smaller: y or 1?
y
Let z = 40 - 31. Suppose 3*t - 50 = -2*t. Which is smaller: t or z?
z
Let f = -6 + 15. Let p be 697/(-9) + (-3)/f. Let h = 78 + p. Does 0.2 = h?
False
Let n be (-4)/14 - 58/42. Let o be 1/((-5)/(-2))*-5. Which is smaller: n or o?
o
Let t = -1/31 - -97/124. Which is greater: 0 or t?
t
Let y = -1 - 0. Suppose 5*k = -4*v - 6 - 5, -3*k - 5*v - 4 = 0. Is y at least as big as k?
True
Let c be (-2)/(-3) - 118/(-3). Suppose -c = -4*t - 4*a, -2*t + t = -3*a + 10. Let g = -4 + t. Are g and -1/5 non-equal?
True
Let k = -5.3 + -1.7. Let x = k + 9. Which is greater: 3 or x?
3
Let c = -5.3 + 5. Let b = 0.2 - 0.1. Let z = b + c. Is 1/2 smaller than z?
False
Suppose -w = -t + 3, w - 5*t + 31 = 4*w. Let d = w - -1. Suppose 0 = 2*a + l - 3, 5*a - l + 0*l = 18. Is a less than d?
False
Let t be (-2 - 0)*(-1 - 1). Suppose -v = 3*v - t. Which is bigger: v or 2/23?
v
Let f = 0 + 3. Let w(q) = q**3 + q**2 + 2*q + 1. Let u be w(-1). Let b be (1 - u)/(-2) + 5. Which is bigger: f or b?
b
Suppose -b = -2*k + 2*b + 58, -4*b = 4*k - 116. Suppose 4*c = 3*a + k, -20 = -0*a + 4*a + 4*c. Is a bigger than -8?
True
Let v = -171 - -117. Is -54 smaller than v?
False
Let t be -3 + (-1 - (23 + 2)). Let s = t - -155. Let f be (-2)/7 + 15/s. Is f >= 1?
False
Let i = -7852/15 + 524. Which is greater: 2 or i?
2
Suppose -3*w + s = -1, -5*w + 0*s + 2*s = -3. Which is smaller: w or 13?
w
Let y = -0.2 - -7.2. Is 0 at most as big as y?
True
Let q(c) be the third derivative of c**4/24 - c**3/2 - 2*c**2. Let o be q(2). Is o < 0?
True
Suppose 2*i + 2 = -4. Do -6 and i have the same value?
False
Let z = 2449/4 + -616. Which is greater: -5 or z?
z
Suppose 4*b - 2*d = -6, -3*b - 14 = 3*d + 13. Let v be (b/4 - 0)*-1. Let n = -2378/11 + 216. Is n > v?
False
Let h = -42 - -44. Let z(d) = -d**2 + 3*d + 5. Let w be z(4). Are h and w equal?
False
Let b = 5 - 3. Is -0.5 at least b?
False
Suppose 4*o - 14 = -o + 2*t, 5*t - 19 = -o. Let a(y) = y**3 - 2*y**2 - 6*y + 1. Let d be a(o). Are 8 and d unequal?
True
Let o = -2017/1335 - -23/15. Does o = 0?
False
Let k be 1 - (-45)/(-5) - (1 - 1). Does -3 = k?
False
Let b(l) = l**2 - 10*l. Let a be b(10). Which is smaller: 3.6 or a?
a
Let m = 0.06 + -0.36. Let t = 0.4 + m. Let j = 1 - 0.9. Do t and j have the same value?
True
Let m = 18.05 + -18. Which is smaller: m or 2/3?
m
Suppose 4*k - 5*c = -0*c + 40, -5*c = 0. Let j be (-72)/(-30)*k/3. Is j not equal to 9?
True
Suppose -21 = -5*i + 3*a, 3*a + 0*a = -6. Suppose 3*r + p = 5*p + 32, 17 = i*r - p. Which is bigger: 1 or r?
r
Let l = -23317/3 + 7871. Let p = 100 - l. Let g(c) = -c**3 + 10*c**2 + 2. Let b be g(10). Which is smaller: p or b?
p
Suppose -3*p = 3*t - 12, 4*t - 5*t + 12 = 3*p. Let m = 0 + -2. Are t and m non-equal?
True
Let j(u) = -6*u**3 - u**2 + u + 1. Let o be j(-1). Which is smaller: 7 or o?
o
Let s be 3064/56 - (1 - 27/21). Is s < 56?
True
Let y be (-4)/(-11 - -3) + (-51)/6. Suppose 3*z - 3 = q - 1, -2*z - 4 = -2*q. Let w be q/10 + 32/(-30). Is w less than or equal to y?
False
Let m(j) = j**2 + 8. Let w be m(6). Which is bigger: w or 43?
w
Let b(t) = t**3 + 7*t**2 + t - 35. Let m be b(-6). Suppose -5*y + y + 32 = 0. Suppose 3*h - 3*d - 4 = -d, 0 = h + 4*d + y. Is m > h?
False
Let s = -4 - -8. Suppose -s*y = -4*o, -4*o - 1 = -3*y - 0*o. Does -1/8 = y?
False
Let d be (-40)/300 + (-34)/(-180). Let z = 76 + -682/9. Let l = d - z. Do l and -1 have the same value?
False
Let q = -9 - -11. Suppose 3*o + 16 = -p, 0 = q*o - 7 + 17. Is p at least 2/21?
False
Let z = 155 - 116. Is z smaller than 39?
False
Let p be (-1)/1*(-2)/6. Let u(i) = 2*i**2 + 6*i - 2. Let d be u(5). Let b be (-8)/d*(-6)/4. Is b at most p?
True
Let a = -37 + 38. Is a less than or equal to -1/38?
False
Let w = 1 + 11. Is 0 greater than or equal to w?
False
Let b = -77 - -71. Which is smaller: b or -1?
b
Let m be (-5)/6 - 395/30. Which is smaller: -12 or m?
m
Suppose -3*i - 4*l - 19 = 0, 0*l = i - 2*l - 7. Which is smaller: -2/5 or i?
i
Suppose -5*w = 3*s - 14, 0*w - 3*w = 4*s - 15. Is -3/26 bigger than w?
False
Let j(f) = f**3 - f**2 + 1. Let l(u) be the first derivative of -u**4/2 + 4*u**3 + u**2/2 + 9*u + 2. Let t(m) = -3*j(m) - l(m). Let v be t(-9). Is -1 <= v?
False
Let k be (-5)/50*2*-2. Which is smaller: k or -0.4?
-0.4
Let t be 6/(-8)*(0 - 20). Suppose 0 = -3*y + 3*m + t, 3*y = -4*m - 3 - 3. Suppose 0 = j - y*j. Are j and -1 non-equal?
True
Let r be (2 - 1 - 2)*1. Let g = -60 + 62. Is g less than r?
False
Let t(b) = b**2 + 2*b - 2. Let z be t(-3). Let i be 2/(-38)*(10 + -8). Which is smaller: i or z?
i
Suppose 0 = -r + 4*r - 18. Suppose -r*t + 9 = -2*t + 5*p, 2*p = -t + 3. Which is smaller: t or -2/27?
-2/27
Let a = 17180/19 + -904. Which is greater: a or 1?
1
Let w(d) = d**2 - 12*d + 11. Suppose 0 = 5*f - 16 - 4. Suppose -g = 5*i - 12 - 24, -f*g = 3*i - 59. Let p be w(g). Is 1/4 less than p?
False
Let x be ((-18)/6)/(183/(-2)). Which is smaller: 0 or x?
0
Let j be 8 + -2 + -2 + 2. Let w = -6 + j. Suppose 2*v + 0*v = 0. Is v at most w?
True
Let j = -235 - -1650/7. Is j greater than or equal to 2?
False
Let k(l) = l**3 + 5*l**2 + 4*l - 1. Let p = -11 + 16. Let g be (-4)/(-10) - 22/p. Let v be k(g). Which is bigger: v or 1/5?
1/5
Let i(d) = -4*d**3 - d**2 + 1. Let g be i(1). Let w = g + 9. Suppose 3*f - 12 - 3 = 0. Is w at least f?
True
Let r be (-2 + 4)*(-4)/8. Let x be (4/(-10))/(r/5). Let c be x/(-8)*(-16)/2. Is c at most as big as 0.3?
False
Let c = 23 + -23. Is c equal to 1/9?
False
Let s(c) = -5*c**3 - 13*c**2 - 14*c - 2. Let a(u) = -14*u**3 - 38*u**2 - 41*u - 7. Let w(k) = 6*a(k) - 17*s(k). Let z be w(8). Is z <= -8?
True
Suppose 37*v = 32*v + 35. Is 17/3 bigger than v?
False
Suppose 4*c + 6 = -2*x - 4, -x = c + 3. Do x and -4/53 have the same value?
False
Suppose -3*j + 6 = 33. Let z be 761/9 - (-2)/j. Let d = -85 + z. Which is bigger: d or 1?
1
Let o = 9 + -10. Do o and -11 have the same value?
False
Let q = -3 + 2. Let f be ((-169)/(-24))/(3/9). Let y = -21 + f. Which is smaller: y or q?
q
Let t = 60 - 19. Which is greater: t or 39?
t
Let k(u) = -u - 2. Let h(v) = v + 3. Let o(l) = 3*h(l) + 2*k(l). Let x be 1/(-1 +