 or t?
o
Let x be (-4)/(-6) - 154/(-21). Is 8 bigger than x?
False
Let j be (1 + (-2)/4)*2. Let o be 6 + -5 + 2/j. Let n = o - 2. Which is bigger: n or -1?
n
Suppose 0 = 4*w + 3*h - 16, 8 - 24 = -4*w + 5*h. Suppose 4 = 2*x - 0*x. Suppose -w*c = x + 2. Which is smaller: 0 or c?
c
Let y be (-8)/117 - (-40)/(-260). Let m(l) = -3*l**3 - l. Let w be m(1). Let b be 16/6 + w/2. Which is smaller: b or y?
y
Suppose -3*r - 9 = -0*t + t, -5*t + 4*r - 64 = 0. Suppose -13 = v - 1. Is v greater than or equal to t?
True
Let q be (-9)/(27/12) + -5. Is q >= -15?
True
Let t(p) = -p**3 + 6*p**2 - p - 2. Let a be t(4). Suppose 4*c - 2*c - a = -5*s, -4*s + 7 = -3*c. Let n(j) = j**2 - 35*j + 2. Let w be n(35). Is c bigger than w?
True
Suppose -186 = 5*i - 161. Suppose 10 = 2*a, 2*a = r - 2*r + 6. Is i > r?
False
Let l = 20 + -24. Are -16/5 and l non-equal?
True
Let p = -39137/916 + -11/458. Let l = -43 + 0. Let q = p - l. Is q less than 1?
True
Let z = -0.05 - -0.45. Let t = z - -0.6. Which is bigger: t or 2?
2
Let v(r) be the second derivative of r**5/20 - r**4/2 + 5*r**3/6 + 2*r**2 + 2*r. Let h be v(5). Suppose h*z + 2 = 6. Is z greater than 1?
False
Let j = 2/2615 - 31414/44455. Let q = -65/68 - j. Which is bigger: q or 0?
0
Suppose -23 = -2*q + 1. Let a be (q/(-40))/((-6)/5). Which is smaller: -3 or a?
-3
Let b be ((-32)/96)/(10/(-24)). Which is bigger: b or 0?
b
Let h be (-28)/6*66/(-77). Is h >= 2?
True
Let h be (-1 - (2 + -4)) + 7. Let y be (2/h)/(1/2). Let x be -3 + 5/(15/(-6)) + 3. Which is smaller: x or y?
x
Let q = -0.5 - -3. Let c = -3 + q. Let z = 0.5 - c. Is -2 less than z?
True
Let u(x) = 2*x**3 + 8*x**2 + 3. Let m be u(-4). Is m bigger than 3?
False
Let m be (-6)/(-4)*(-4)/(-69). Let x = -2.42 + 2.8. Let y = x + -0.28. Is y != m?
True
Let y(g) = 3*g + 6. Let d be y(5). Let z be (-4)/14 - 36/d. Let s be (2/6)/(z/(-3)). Are s and 2 unequal?
True
Let w be 45/(-6) - ((-6)/(-12))/(-1). Which is smaller: -8 or w?
-8
Let y = -9 + 15. Suppose -y*f = -4*f - 2. Which is smaller: -1/7 or f?
-1/7
Let v(a) = -a**3 - 2*a**2 + 1. Let x be v(1). Let p = x - -2. Let f(g) = g**2 - 5*g - 6. Let m be f(6). Is p greater than m?
False
Let v be ((-27)/6 - -3)*-2. Which is greater: 2 or v?
v
Suppose 4*w - 6*w = -8. Suppose -w*r = -2*r. Do r and -0.3 have different values?
True
Let a = 0.529 - 0.129. Is a != -5?
True
Let f be 19/10 + 15/(-30) + -2. Is 0 <= f?
False
Let z = -35 + 177/5. Is 1 at least z?
True
Let p = 83/2 + -491/12. Let d = p + -1/12. Let l be -1 + 1 - 0/2. Is d less than or equal to l?
False
Suppose -2 = -4*v + 2*n + 8, 3*v = n + 6. Which is bigger: v or 3/28?
v
Let m = -1 + 3. Let g = m - 3.5. Let b = 0.5 + g. Is b >= 0.04?
False
Let h be ((-14)/(-4))/((-66)/36 - -2). Is h at least as big as 21?
True
Let q be 15*(0 - (-2)/5). Is q not equal to 6?
False
Let g = -0.07 - -0.17. Let m(u) = u**2 + u. Let d be m(-3). Let b be (-9)/12*2/d. Is b greater than g?
False
Let m = -112 - -102. Which is bigger: m or -1?
-1
Let l = -19343/21 - -2777/3. Are l and 4 nonequal?
True
Let b = -1217/9 - -135. Let x be (19/(-190))/(8/10). Is x bigger than b?
True
Let b = -1.1 + 1. Let m = 0.01 - -4.99. Let s = 3 - m. Is s at most as big as b?
True
Suppose -6*b - 2 + 8 = 0. Is b > 1/16?
True
Suppose -5*p - 20 = 0, -2*z + 7*z = 3*p + 7. Let w(c) = c - 11. Let v be w(8). Let o be v/(15/(-6) + 1). Which is bigger: o or z?
o
Let s(k) = -2*k + 2. Let t be s(-4). Suppose r = -t + 26. Suppose 2*m = -4*y + r, y - 3*y = -10. Is m at most -3/5?
True
Let o = -3/244 + -461/2196. Let s = 8 + -9. Which is smaller: o or s?
s
Let r be 2/5*(-35)/42. Which is greater: -4 or r?
r
Let v(f) = f**2 - 5*f + 2. Suppose -3*c + 31 = -2*s - 7, -4*s - 56 = -4*c. Let q be (2 + -5)/((-6)/c). Let n be v(q). Is 3 not equal to n?
True
Let x = 3 - -10. Let a(i) = -2*i**3 - i**2 + i + 2. Let z be a(-1). Is z at most as big as x?
True
Let y be -8 + (4 - (3 - 3)). Which is smaller: -3 or y?
y
Suppose 0 = 4*r - 5*g + 5 + 79, 72 = -4*r + 2*g. Let t(z) = -z**3 - 15*z**2 + 16*z + 2. Let o be t(r). Which is greater: o or -2?
o
Let l = -8 + 3. Let u = l - -5.1. Which is smaller: u or -2/3?
-2/3
Let i be ((-7)/6)/(26/9). Let d = i - -2/13. Let j = -103/42 - -13/6. Is j at least as big as d?
False
Suppose 0*f + 4*c = -2*f - 12, 3*f - 2*c - 22 = 0. Suppose 0 = -0*v - f*v. Is v at least as big as 7/5?
False
Let d(l) = 10*l - 12. Let x be d(4). Is 29 equal to x?
False
Let h = -98/3 - -36. Do 0 and h have different values?
True
Let o = -5 - -3. Let s = 3 - 2. Let f = s - 2. Do f and o have different values?
True
Suppose 5*r - g + 35 = 0, r = -0*r - 3*g + 9. Let t = -7 - r. Are -8/9 and t unequal?
True
Let c be 3 - 4*(2 + -4). Let q be 22/c*(-1)/(-2). Are 0 and q nonequal?
True
Let f(q) = -2*q - 28. Let o be f(-16). Let r = 0.6 - 0.9. Which is bigger: r or o?
o
Suppose 0 = -4*v + 5*p, 5*v - 2*p = v. Suppose -u = -4*s + 1, s + v*s = -u - 1. Let j be 1/(-2)*(-4 + 4). Do j and u have the same value?
False
Suppose j = 2*j - 3, 5*t = -2*j - 4. Let c be (t - (-9)/6) + -1. Is -1 less than or equal to c?
False
Let f be 203/(-35) - 3*(0 - -1). Do f and -8 have the same value?
False
Suppose -3*b + 37 = -5*y - 3, 3*y = -4*b + 34. Let o = b + -7. Do 2 and o have the same value?
False
Let n be 0*3/(-9)*1. Suppose 5*g = v + 8, 3*v = -n*v - g - 24. Are v and -9 nonequal?
True
Let k = -1.61 + 1.6. Is k at least as big as 2?
False
Suppose -2*a + 5*a = 4*y + 7, -5*a = -5*y - 10. Let q be -3*(1 + 1) - a. Let v(i) = i**3 + 6*i**2 - 6*i + 8. Let o be v(q). Is o <= 1?
True
Let o be 1/(-4) + 33/68. Suppose -6*n + 0 - 6 = 0. Is o != n?
True
Suppose f - 2 + 5 = 0. Let x = -2 - f. Suppose 3*s = 3*b + 11 + x, 4*b = 3*s - 14. Is 2 smaller than s?
False
Let x = 82560 - 742301/9. Let f = x - 82. Is 0 smaller than f?
True
Let u = 120086/20405 + 52232/265. Let k = u + -203. Let b = 15/77 + k. Are 1 and b equal?
False
Suppose 0*v - 4*v + 8 = 0. Let r(f) = -8 + f - 6 - v*f. Let p be r(-12). Are p and -1/2 non-equal?
True
Let r be 3 - (2/2 + 0). Let t(m) = -m**3 - 7*m**r - 1 + 0*m**2 + 0*m**3. Let x be t(-7). Which is greater: x or -2?
x
Suppose -4*x - 14 = -2*v, 3*v - 3*x + 8*x = -12. Which is bigger: -2 or v?
v
Let m(l) = l**3 + 4*l**2 - l - 2. Let s be m(-4). Let b = 11 - 20. Let h = 10 + b. Does h = s?
False
Let k = 0.111 + -0.011. Which is smaller: 10.9 or k?
k
Let p(b) = b - 4. Let f be p(5). Suppose 5*g + 2 = a - 0, 5*g - 2*a = f. Which is smaller: g or -2?
-2
Suppose w = 5*w + 4. Let k be 1*3 - (-1 - w). Suppose 3*n = 2*p + 4*n - 8, -k*p = 3*n - 18. Which is smaller: p or -0.1?
-0.1
Let a = 0.8 - 4.4. Let b = 1.6 + a. Which is smaller: b or 0.2?
b
Let m = -13 - -10. Let x be (5/(-40))/((-2)/(-60)). Which is smaller: m or x?
x
Suppose 0 = 5*v - 2*s - 10, -4*v - 2*s + 26 = 0. Let g = 5 - v. Let o be (-1)/2*(-6)/(-7). Which is greater: g or o?
g
Let v(i) = i**2 + i - 1. Let x(r) = r**3 + 8*r**2 + 7*r - 3. Let z(j) = 4*v(j) - x(j). Let s be z(-3). Let l be (-16)/(-12)*(-3)/(-14). Is l at most s?
False
Let s = 5/2 - 1. Are s and 2/5 unequal?
True
Let p = 1 + 3. Suppose 4*r + r - 6 = -2*h, p*h - 12 = 4*r. Which is smaller: 1 or r?
r
Suppose -512 + 26 = -9*h. Is 54 equal to h?
True
Let f = 28 + -46. Let s = -569/4 + 142. Do f and s have the same value?
False
Let c be (1/5)/((-112)/(-80)). Suppose 2*p + 0*p = 0. Is c smaller than p?
False
Suppose -5 = -3*a - 2. Suppose -2*t + 3*t = a. Is t smaller than -5/4?
False
Suppose -6 = 18*p - 16*p. Let z = -2 + 1. Is p at least z?
False
Let b(p) be the second derivative of -p**4/12 + 4*p**3/3 - p**2 + 2*p. Let n be b(7). Suppose s + 3*y = 14 + 1, y - n = 3*s. Which is bigger: -1/6 or s?
s
Let f = 41.87 - 42. Are f and -0.1 non-equal?
True
Let c(n) = -5*n + 1. Suppose 0 = 2*j + 4, 2*l + 3*j = -2*l - 2. Let b be c(l). Is b not equal to -4?
False
Let r(b) = -b + 3. Let n be r(3). Suppose -7*x - f + 7 = -3*x, n = -5*x - 3*f. Suppose x*y - 5*p = -0*p - 9, p = 5*y - 7. Is y smaller than -2/7?
False
Let b be (-8)/(-16) - 22/(-4). Let r = b + -6. Is 2 greater than r?
True
Let k = 1/252 - 6059/2772. Let s = 164/55 + k. Which is greater: 0 or s?
s
Let g = -2.8 + 3. Let f be 12/(-8)*2 + 0. Let l = -1 - f. Is l smaller than g?
False
Let w(x) = x - 3. Let r be w(8). Let t = 1 - -3. Is t bigger than r?
False
Let o be 2/(-11) + (-106