reater: k or b?
k
Let z = 21 + -24. Do -2 and z have the same value?
False
Let u be (-4)/39*2/(-13 + 1). Which is greater: 1 or u?
1
Suppose 8 = 3*b - o - 15, 3*o = -15. Let h be (2/(-3))/(34/b). Let a = 23/51 + h. Is a equal to 1?
False
Suppose -2 = -f - 4*f + g, f + 4*g = -8. Suppose 2*p = -f + 30. Let t be 1/(-2)*(-20)/p. Which is bigger: t or -2?
t
Suppose 2 = 3*f - 4. Suppose -5*r = -4*h + 40, h - 13 = -4*r + 6*r. Let z be (r/(-50))/(f/(-10)). Is 0 less than z?
False
Let r = -158/9 + 33988/1935. Is r != 0?
True
Let q(s) = -11*s**2 - 4. Let w(n) = 22*n**2 + 9. Let i(o) = 7*q(o) + 3*w(o). Let d be i(1). Is -12 less than d?
False
Let p = 5 - 6. Let b be -1*(1 + p)/1. Let v = 1 - b. Which is greater: v or -2/5?
v
Let n(s) = s**2 - 2. Let t be n(-2). Let f(z) = -z**2 - 2*z. Let c be f(t). Let v(b) = -b**2 - 9*b - 5. Let m be v(c). Are 4 and m non-equal?
True
Suppose 3*c - 3 = 4*c + 2*x, -4*x = -4*c + 12. Let o(a) = a**3 - 7*a**2 + a + 8. Let d be o(7). Suppose -d + 3 = 4*z. Is z less than or equal to c?
True
Let j = 9.89 - -0.11. Let u = j - 10.1. Is 1/7 <= u?
False
Let n = 43 - 42.9. Which is smaller: n or 17?
n
Let n = 14.89 + -15. Let m = n - -0.01. Which is smaller: m or 0.04?
m
Let k(a) = a**3 + 2*a**2 - a + 3. Let p(m) = -m + 1. Let i be p(4). Let q be k(i). Let w be 10/(-210) + 2/(-7). Is q greater than w?
False
Suppose 0 = -5*x + 4*x + 6. Do x and 8 have the same value?
False
Let y be (-15)/6 - (2 + -7 + 2). Let q(t) = t**2 + t. Let r be q(-1). Is y <= r?
False
Let n be (-2)/5 - (-501)/15. Let f be -68*(n/(-12) - -2). Let z be 15/f*(-2)/5. Is 0 smaller than z?
False
Let n = -0.1 + 1.1. Let t = 224.89 - 227. Let l = t + 0.11. Which is bigger: l or n?
n
Suppose 4*o - 16 = 2*g, 5*o - 9 = -3*g - 0*g. Suppose 5*p = 5, 3*x - 5 = -5*p - 0. Suppose x = -0*u - u + 3. Is o != u?
False
Let n be 4/4*2*1/7. Let k = -1/236 - -74/59. Which is bigger: k or n?
k
Let a = 12 + 22. Let h be (-15)/18*80/(-2). Let l = a - h. Is -2 smaller than l?
True
Let m(o) = -3*o - 10. Let z be m(-4). Suppose z*a + 3 + 5 = 0. Is a < -13/3?
False
Let y be (-28)/(-42) - 109/(-3). Suppose -4*u - 11 = y. Is u at most as big as -12?
True
Suppose -4*x = -3*l + 31 + 43, 2*x = 2*l - 38. Are -18 and x non-equal?
True
Let c(i) = -i**2 - 8*i + 5. Let m be c(-8). Suppose -4*p - 3 - m = 0. Let y be -2*p/8*2. Is 3 > y?
True
Let j = 6 - 7. Suppose 4*z = z. Are z and j equal?
False
Let q = -0.02 + -1.98. Let t = 19 + -22. Let x = t - q. Is x bigger than -0.2?
False
Let b be (6/(-4) - -1)*0. Let v = b + 0. Suppose 4*p + 12 + v = 0. Which is smaller: 2/5 or p?
p
Let l = -2 - -4. Which is greater: -13 or l?
l
Suppose 0*t + 5 = -5*t. Which is bigger: 2/21 or t?
2/21
Let u = -1.9 + -5.6. Let o = -7 - u. Is o greater than 1/2?
False
Let r = -127 + 121. Which is greater: r or 5?
5
Let n be 10653/(-5334) - (-4)/2. Let w = 78157/26670 + n. Let p = w - 13/5. Are p and 1 non-equal?
True
Let l(x) = -4*x - 20. Let i be l(-5). Let j be 1 + (-104)/54 + 1. Which is greater: j or i?
j
Let v be 60/(-2)*(-4)/(-10). Let i = 7 + v. Is -3 greater than i?
True
Suppose 0*h = -2*h. Let f(q) = -q**2 - q + 10. Let s be f(h). Suppose 2*j + 2 + 15 = -5*x, 4*x + s = 2*j. Which is greater: x or -2?
-2
Let z(h) = h**3 + 10*h**2 + 8*h - 6. Let i be z(-9). Let v(t) = -t + 10. Let n be v(6). Let x = n - i. Is x at most 1?
True
Let a(o) = -5*o**3 + 2*o**2 - 2*o + 1. Let k be a(1). Let s = k + 0. Let w(z) = z**3 + 4*z**2 + z - 1. Let r be w(-4). Which is smaller: r or s?
r
Let b(s) = 43*s - 6. Let m be 33/6 - (-1)/2. Let v be b(m). Let o = v - 2774/11. Which is smaller: o or 0?
o
Let x = -57/55 + 7/5. Which is smaller: -1 or x?
-1
Let l = 1.8 - 2. Let g = 0.2 + l. Is g smaller than -3?
False
Let c = -3/41 - 35/82. Let u = 5/12 + -3/4. Is u not equal to c?
True
Let j = 25 - 26. Which is smaller: j or 0?
j
Let y(z) = 5*z**3 + 5*z**2 + 13*z - 6. Let h(i) = 4*i**3 + 5*i**2 + 12*i - 6. Let u(x) = -6*h(x) + 5*y(x). Let t be u(6). Which is bigger: t or 1/12?
1/12
Suppose -3*j = -0*j - 3*v - 18, -4*v = -16. Which is greater: 12 or j?
12
Suppose -3*q - 2*q + 20 = 0. Suppose -5*m - q*d = 9, 0 = -4*m - m - 5*d - 10. Let s be 0 - (0 + 4/(-22)). Which is bigger: m or s?
s
Let n be 4/(-8)*4/(1 - 2). Is -3/14 not equal to n?
True
Let h = 73/4 + -18. Let b = 78813 - 27426671/348. Let y = -2/87 - b. Is h greater than y?
True
Let j = 2906/117 + -394666/1287. Let f = j + 282. Is f < -1?
False
Let t be (8/10)/((-1)/(-5)). Suppose t*s + i - 19 = 0, 2*i = 5*s - i - 45. Let q be ((-4)/s)/(15/(-9)). Which is smaller: q or -1?
-1
Let q be -4 - ((-2)/(-8) + (-14710)/3480). Is 0.1 >= q?
True
Let b(r) = -2*r + 6. Let y be b(3). Which is smaller: -3/25 or y?
-3/25
Let a(v) = 2*v - 13. Let u be a(7). Let x be (-2)/15 - 658/(-3360). Which is greater: u or x?
u
Let w = 53 - 56. Which is smaller: -0.5 or w?
w
Let q = -8 - -6. Let x be q/4*(11 + -9). Is x at least as big as 1/8?
False
Let s be (3/2 + -1)*0. Let d be ((-6)/(-4))/((-6)/(-389)). Let l = -98 + d. Which is greater: l or s?
s
Suppose 4*r - 2*w = 30, 5*r + 2*w + 3 - 27 = 0. Let i be (2*(-3)/r)/(-1). Let a = 131/3 + -43. Which is smaller: i or a?
a
Let a(n) = -n**2 + 6*n + 4. Let q be a(8). Let j be (q/9)/((-2)/6). Is j smaller than 1?
False
Let k(i) = -5*i - 43. Let t be k(-20). Which is bigger: t or 56?
t
Let x(h) = -3*h + 3. Let j be x(2). Let u(y) be the second derivative of -y**4/6 - y**3/2 + y**2 - 2*y. Let d be u(j). Is -7 at most d?
True
Suppose -4*s - 3*q = -2*s + 6, -4*s - 40 = -q. Is -8 bigger than s?
True
Let y be 16/10*(-25)/(-10). Suppose l + 3*v + 1 = -5, 0 = y*l + v + 2. Is 2/17 less than l?
False
Let j = -8 + 11. Let n be 2/5 - 55/(-50). Is n < j?
True
Suppose -41 = 4*d + 3. Is d greater than -11?
False
Let n be ((-130)/50)/(((-36)/(-10))/(-2)). Which is greater: 2 or n?
2
Suppose 0 = 2*g - h - 4 - 3, 5*h + 25 = 0. Which is smaller: g or -1/229?
-1/229
Let m = 0.3 - -0.7. Let i = 53 + -52.6. Are m and i equal?
False
Let c = 0.7 + -0.62. Let o = c - 0.01. Is o greater than -1?
True
Let w(k) = -k**2 + 10*k + 19. Let f be w(11). Suppose 2*i - 8 - 10 = 0. Are i and f non-equal?
True
Let t = -0.4 + -0.1. Let a = -0.48 - t. Let k = a + -2.02. Is k >= 0?
False
Let d = 0.021 - -0.079. Let m = 0.34 - 0.3. Is m > d?
False
Let q(l) = 7*l - 23. Let b be q(9). Is b at most as big as 40?
True
Let u(l) = l + 1. Let x be u(-1). Suppose -3*q + 17 = 4*y, 0 = -2*y - 3*y - 5*q + 20. Suppose -y*n + n = x. Is 0 less than or equal to n?
True
Suppose -5*b - 10 = 5. Suppose -2*a = 8, -3*a + 6 = -3*f + 30. Let j(p) = -p**2 + 2*p + 5. Let q be j(f). Is q <= b?
True
Suppose 10*z + 3 + 7 = 0. Which is smaller: 2/39 or z?
z
Let y(s) = s**3 - s**2 + s - 1. Let f(k) = -6*k**2 + 4*k - 6. Let l(t) = f(t) - 5*y(t). Let m be l(-1). Are 4 and m unequal?
False
Let d be (-1634)/18 - (-22)/(-99). Is -90 less than d?
False
Suppose 3*m + 11 = 2*j, -j = -3*m - m - 8. Let n = -7/9 - m. Let w(h) = -h**3 - 8*h**2 + h + 9. Let o be w(-8). Does o = n?
False
Let s be (-5)/(-6)*(-27)/90. Is s > 0?
False
Suppose -b - b = -3*v - 51, 0 = 5*b - 5*v - 115. Is b < 17?
False
Let g = -4 - -3.99. Is -0.2 smaller than g?
True
Let d = 3 + -7. Is -5 < d?
True
Let c be 1 + ((-39)/3 - -4). Which is greater: c or -10?
c
Let h = -25/36 - -1/36. Let j be 3/44 + (-1)/4. Is j at least as big as h?
True
Let i = -0.23 + 0.13. Is 13 != i?
True
Suppose 2*i = 5*q + 15 + 53, 0 = 2*i + 3*q - 36. Let l be i/36 + 14/(-12). Is 0 >= l?
True
Let s be ((-4)/10)/(4/(-40)). Which is smaller: 3 or s?
3
Suppose 2*q + q = -2*k - 1, 3*k + 15 = 0. Suppose q*p + p + 12 = 0. Let j be 0*(p/6 - -1). Is j smaller than 0?
False
Let y = -5 + 2. Let c = y - -2. Let u = c - -5. Which is smaller: 1 or u?
1
Let n be (-4)/18 - (-120)/378. Let y = n + 55/84. Is 0 equal to y?
False
Let k be (-1)/(-3) + -14*14/21. Which is greater: k or -26/3?
-26/3
Let v = 1/47 + 87/329. Which is smaller: v or 2/3?
v
Let y = -2 - 0. Let b = -46 - -25. Let i = -21.2 - b. Which is smaller: y or i?
y
Let f(z) = -z**3 + 7*z**2 - 2*z + 10. Let a be f(7). Is -4 smaller than a?
False
Let w = 27 - 17. Let z be 2/(w/5 + -4). Suppose -2*b = 3*b. Is b at least as big as z?
True
Suppose 6*f - 3*f + 45 = 0. Let t = -9 - f. Is t < 7?
True
Let j(s) = 1 + 2 - 6*s + 2 + 6*s**2 - s**3. Let u be j(5). Let o = 2