-1 > l?
False
Suppose 1 = 3*w + 3*l - 2, -5*l = 10. Suppose -2*u + w = 3*f + 26, -2*u - 28 = 4*f. Let i = 8 - 12. Is i > f?
True
Let p = -3 + 1. Let m(a) = -a**2 + 7 - 5*a**3 - 8 + 4*a**3 + 2*a. Let k be m(p). Do k and 0 have different values?
True
Let q be ((-60)/(-40))/((-711)/4). Is 0 at most q?
False
Let n be 1/3 - 161/(-21). Let z be (-64)/31 + (n - 6). Is 0.1 smaller than z?
False
Suppose 5 = 3*g + 2*g - l, 10 = -2*g - 2*l. Suppose g = 2*f + f + 60. Is -21 != f?
True
Let s = -29/2 + 14. Let t be 26/8 + 1/(-4). Which is greater: s or t?
t
Let l be -4 + (-1)/((-4)/8). Is l <= -2?
True
Suppose 5*j = a + 34, -4*a - 4*j = a + 83. Is -19 smaller than a?
False
Let q(g) = g**3 - g**2 + g. Let u be q(0). Let t be u + (-2 + 1)/1. Is t equal to -1?
True
Let q = -4 - -9. Is -0.2 > q?
False
Suppose 4*x = u, -x + 11 = -0*x - 3*u. Is -1 bigger than x?
False
Suppose -s - 2*s + 33 = 0. Does s = 16?
False
Let k = 16.9 - 17. Are 2 and k equal?
False
Let h be (-2)/12 + 2/4. Suppose 4*j = 2*f + 18, 0 = -4*f - f - 15. Suppose 3*n = -0*n - 5*k + 2, 2*k = n + j. Which is bigger: h or n?
h
Suppose 4 = 4*o + 16. Let q = -8 - 5. Let f = 9 + q. Is f at most o?
True
Suppose 4 = -4*a - 0. Let r be (-2)/(-8) - (-6)/8. Suppose 3*c + 0 + 3 = -4*t, -2*t + r = -c. Is a != t?
True
Let t(p) = 5*p - 1. Let u be (-3)/(-6) + 177/6. Suppose -12 = 2*y - 2*b, 4*b + 11 - u = -y. Let l be t(y). Which is smaller: l or -5?
l
Let o be 3 - (-1 + (2 - 4)). Suppose 0 = -5*h - f + 2, -5*h + 3*f = -0*h + o. Is h bigger than -1?
True
Let r = -4 - -7. Suppose -r*g + 3 + 0 = 0. Let s = -9/20 - -157/260. Which is smaller: g or s?
s
Let v be (14/(-3))/((-11)/3 + 4). Which is greater: v or -38/3?
-38/3
Let w(s) = s. Let m(o) = 3*o + 1. Let f(d) = 4*m(d) - 11*w(d). Let h be f(-3). Let b be ((-2)/14)/(h/2). Which is greater: b or 1?
1
Let h be (-1*1)/(248/(-32)). Is 0 not equal to h?
True
Suppose 2*f - 4 + 2 = 0. Suppose 0 = q + f - 6. Is q at most 3?
False
Let w = 3 - 3. Suppose w = 3*m - 2*m - 6. Suppose -5*p + s - 2 = 0, -3*s = 3*p - 6*s + m. Which is greater: p or 2/9?
2/9
Let m be ((-46)/(-6))/(2/6). Let u = 33 - m. Suppose t = -4*s + 15, -4*s + 6 = -u. Is t != 0?
True
Let x = 12 - 12. Suppose -k - k = x. Are k and 1/16 unequal?
True
Let c = 31 - -29. Is 61 > c?
True
Let k be 258/(-207) + 4/3. Is 2/3 <= k?
False
Let b(i) = -4*i - 2 - 4 + 2*i**2 - 3*i**2 + 3. Let q be b(-3). Which is smaller: 4/5 or q?
q
Let s be 0*(5 + -1)*9/36. Which is smaller: s or 3/8?
s
Let d be 16/6 + (-5)/(-15). Suppose 4*r - 18 = z, 5*r + 0 = d*z + 26. Let l be 2 + -1 + z + 0. Which is greater: l or -2?
l
Let b be (154/(-4))/11*-8. Is b greater than or equal to 26?
True
Let k(x) = -3 + 0*x - x + 2*x. Let r be k(4). Which is smaller: r or 4/7?
4/7
Let r = -0.1 + -7.9. Let z = -7.9 - r. Let l = z - -0.1. Which is smaller: l or -0.2?
-0.2
Let g(j) be the first derivative of -j**2/2 + j - 4. Let v be g(0). Let r = -77/213 - -2/71. Which is greater: v or r?
v
Let q = 3 - -3. Let p(f) = f**3 - 16*f**2 + 14*f + 21. Let z be p(15). Is q bigger than z?
False
Let v = -2.98 - -3. Let w = v - 0.32. Is 1 greater than w?
True
Let n be 1*(-3)/(-18)*0. Which is smaller: n or -2/101?
-2/101
Let d = 5611790/571 - 9828. Is d > 1?
False
Suppose 0*x + 9 = -x. Suppose 0 = -6*u + 3*u - 27. Let v = x - u. Is -2/27 bigger than v?
False
Let u = -10 + 14. Suppose -2*f = -0*f. Suppose -u*l + l - 6 = f. Are l and -1 unequal?
True
Let u(i) be the second derivative of -i**3/6 - 17*i**2/2 - 6*i. Let p be u(-15). Does 4 = p?
False
Suppose 0 = -2*w - 2 - 4, 4 = -o - 3*w. Let b = o - 8. Is b greater than -4?
True
Let t be (-24)/(-10) + (-8)/20. Suppose -v = 5 - 2. Let z = t + v. Which is greater: 1 or z?
1
Let p be 8*8/(-12)*3. Which is greater: -17 or p?
p
Suppose -3*v - 2*v = -205. Suppose -v + 14 = 3*q. Do -6 and q have the same value?
False
Let z = -86 + 87.95. Let s = -2.05 - -2. Let n = z - s. Is -2 smaller than n?
True
Let j = -3 - 18. Let i be (4/(-10))/(j/15). Let k(m) = m**3 + 7*m**2 + 7*m + 7. Let p be k(-6). Which is smaller: i or p?
i
Let i = 5 + -5.4. Which is bigger: -3 or i?
i
Suppose 2*t + 2*t + 12 = 0. Does 0 = t?
False
Let x = 9 - 5. Suppose x*k = 2*c, -2*c + 9 = 6*k - k. Let r be ((-15)/(-9))/(-1) + c. Is 0 < r?
True
Suppose -3*r + 5*r = 56. Is r less than or equal to 27?
False
Let i = -2/15 + 11/15. Does 2 = i?
False
Suppose -31 = 3*n + 8. Let j = -5 - n. Which is smaller: j or 6?
6
Let g = 19 - 15. Which is bigger: 3 or g?
g
Let n(z) = z**3 + 37*z**2 - 2*z - 73. Let w be n(-37). Let l = 11/84 - -1/28. Does l = w?
False
Let y = -31 + 31. Is y at most as big as -2/21?
False
Suppose -4*j - 30 = -5*l - 0*j, -3*l + 2*j + 16 = 0. Suppose -l*n = -5*h + 10, -3*n + 5*h = h + 8. Is -2 >= n?
False
Let a = 2 - 4. Do 2/9 and a have the same value?
False
Let h(c) = -c**3 - 5*c**2 - 5*c - 2. Let z be h(-4). Suppose -1 = t - z. Let f(n) = n**2 + 5*n - 4. Let g be f(-6). Is g at least as big as t?
True
Let g(c) = c**3 + 5*c**2 - 9*c - 6. Let h be g(-6). Let u be (-80)/(-24)*h/(-10). Are u and -4 non-equal?
False
Let y = -1 - -4. Let q be y*1 + -7 + 5. Is -1 > q?
False
Let t = 389/5 + -78. Suppose r = -4*o - 3*r, -o + 5*r = -12. Let f be (2/3)/(o/(-3)). Is t less than or equal to f?
False
Let l be ((-2)/(-4))/((-2)/4). Let n be ((-2)/l)/(14/7). Which is smaller: n or -2?
-2
Let s = -26 + 15. Let m = -8 - s. Which is bigger: 0 or m?
m
Let w be (1428/20)/(2/10). Let i be 1*3*(-14)/w. Which is smaller: 1 or i?
i
Let u(y) = y**2 + 13*y - 15. Let s be u(-14). Is s not equal to -1?
False
Suppose 2*h + 8 = -3*i, -2*i - 16 = 2*i. Suppose h*x = 2*p + 10, 5*p - 3*x = -15 - 0. Let j(a) = -a. Let n be j(0). Is n > p?
False
Let u = -3 - -5. Suppose -u*m + 5*p = -19, -2*p = -p + 3. Is m greater than or equal to 0?
True
Let u = -0.09 - 0.02. Let h = u - 4.89. Let f = 1 + -1.1. Which is bigger: h or f?
f
Suppose -5*f + 3 = -2*d + 12, 3*d - 2*f - 19 = 0. Is 7 less than or equal to d?
True
Let u(d) = d**3 - d. Let j be u(-1). Let t be (4/(-25))/(2/5). Which is smaller: j or t?
t
Let h(n) = n**3 - 8*n**2 + n + 5. Let m be h(8). Suppose m = -u + 10. Is u smaller than 1?
True
Let i be (1/5)/(6/4). Let a = -81 + 81. Which is smaller: a or i?
a
Let o = -1227/7 - -175. Let x = -1 - -2. Which is smaller: o or x?
o
Let r = 2.76 - -0.24. Are -1/2 and r unequal?
True
Suppose 27 = 4*k - 3*n, 5*k - 33 = 4*n - n. Let j be 1 + 1/((-3)/k). Is j at least as big as -1/2?
False
Let a = 9 - 17/2. Suppose 0 = 5*d - 4*d - 13. Is a > d?
False
Let y = 1 + -12. Let d be (y + 0)/((-2)/2). Let a be (-2)/(-4)*12/d. Which is bigger: 2 or a?
2
Let x = 460/3 + -4573/30. Is x equal to 2?
False
Let b = 174 + -2954/17. Is b not equal to 0?
True
Let r be (2/4)/(2/238). Let l = 61 - r. Is l >= 3?
False
Let u be (-62)/40*(-8)/(-6). Let b = -5/3 - u. Which is smaller: b or 1?
b
Suppose -3*l = 4*b - 1 + 17, 5*l = 4*b + 16. Suppose -3*v - 3 = -g, -g + 38 = g + 2*v. Suppose l = 3*o - g, -j - 3*o = -4*j - 12. Is j not equal to 3?
True
Let q = -0.18 - -1.98. Let j = -0.2 - q. Let r = 49/2 - 25. Does j = r?
False
Let z = 269/4 - 67. Which is bigger: z or -60?
z
Suppose -108 = -y - 5*y. Is 17 > y?
False
Let c be (-3)/(-1) - (-25)/(-15). Is 0 < c?
True
Suppose 4*r = -3*x - 20, -x - 30 = 5*r + 4*x. Which is smaller: r or -2/3?
r
Let h = 36 + -38. Let o(d) = d - 1. Let y be o(3). Let q be (-1 - (-4 + y))/(-1). Which is smaller: q or h?
h
Let a = -34 + -20. Is a at least as big as -53?
False
Suppose -2*n = w, 6*n + 2*w - 1 = 3*n. Let y be (n/2)/((-1)/(-2)). Let a = 3.7 - 1.7. Is y > a?
False
Let b be (1 - 0)/(3/(-12)). Which is smaller: -8 or b?
-8
Suppose 3*y = -45 - 30. Let o be ((-52)/y - 2)*5. Is -1 equal to o?
False
Let n = 0.02 + 4.98. Let k(y) be the third derivative of y**6/120 + 3*y**5/20 + 7*y**4/24 - 3*y**3/2 + 3*y**2. Let w be k(-8). Which is bigger: w or n?
n
Let h = 116/165 - 2/55. Let x be (-4 + -1 + 4)/(5/2). Which is greater: x or h?
h
Suppose 0 = -2*k, 0 = -3*z + 7*k - 2*k + 21. Which is smaller: z or -2?
-2
Let x = -111/2 + 56. Which is bigger: -1 or x?
x
Let m be 169/55 - (15/25)/(-3). Is 3 bigger than m?
False
Let q = 5 + -2. Let k be (-58)/78 - (-2)/q. Is k less than -1?
False
Let m be 0 + 0 - (-136)/(-14). Let q = 368/35 + m. Let f = 7/9 - 67/63. Do f and q have the same value?
False
L