-5 or z?
z
Suppose 2*t = i + t, 4*i + 3*t = 7. Does 2/43 = i?
False
Let s be 6/4 + (1 - (-3 + 6)). Are s and -2/21 equal?
False
Let k(y) = 48*y**2 - y + 4. Let s be k(-4). Let o = s + -1593/2. Let x = o - -20. Which is smaller: -2 or x?
-2
Let a(l) = l**3 + 7*l**2 + 7*l + 7. Let u be (66/(-55))/(2/10). Let s be a(u). Which is smaller: s or 2/21?
2/21
Let a(c) = 0*c**2 - 2*c - c**2 - 5*c + 5. Let y be a(-7). Suppose 0 = -5*z - w + 3*w + 30, 35 = y*z - 3*w. Which is smaller: 5 or z?
z
Let s = -1.2 + 1.2. Let k = 6 - 7. Are k and s unequal?
True
Let t = -4.01 - -0.01. Let h = -6 - t. Let a be 20/(-6) + 2 - -2. Does a = h?
False
Let o(j) = 2*j**3 - j**2 - 2*j - 1. Let g be o(-1). Let y be 2 - (-7)/((-7)/4). Is g smaller than y?
False
Let t(d) = 2*d**3 - 3*d**2 - 3. Let w be t(-3). Is w at least as big as -85?
True
Suppose 85 = 4*z + 21. Let d = 15 - z. Is -6/11 less than d?
False
Let p be ((-2)/(-3))/((-4)/(-18)). Suppose -3 = -2*g + 3. Suppose -4*n - g*d - d + 8 = 0, 4*n = -2*d + 12. Are n and p equal?
False
Let l = -92/5 + 18. Let j = -0.118 - -5.018. Let f = -5 + j. Which is bigger: l or f?
f
Suppose 0 = -5*k + 4 + 16. Let a = 3 - k. Let n be 0/(-1*(-2)/a). Is n <= -1?
False
Let j = -91.7 - -89.685. Let r = j + -0.025. Let p = -0.04 - r. Is -1/4 smaller than p?
True
Suppose 2*s + k = -3*s + 70, 3*s + 4*k - 59 = 0. Which is greater: s or 12?
s
Let c(r) = 2*r**2 - 14*r + 40. Let h be c(6). Is h < 28?
False
Let b = -1 - -0.5. Let o = 206/3 - 69. Is b less than o?
True
Let x = 577 - 35777/62. Is -1 at least x?
False
Suppose 0*f - 3*f = -2*b + 9, 5*b = 2*f + 17. Let y = -24 + 22. Which is smaller: y or f?
y
Let b be (-12)/1*(-13)/(-26). Let y be (4/b)/((-1)/6). Which is smaller: y or 2?
2
Let s = -0.1 - 0.5. Let f = s + 0.1. Let u = f + 0.3. Which is smaller: 0 or u?
u
Let o = 837/4 + -215. Is o <= -6?
False
Suppose 3*a - 5*i - 5 = 6*a, 4*a + 2*i + 2 = 0. Do -2/7 and a have the same value?
False
Let s(p) = p**2 - 4*p - 6. Suppose -4 + 9 = m. Let l be s(m). Is l at least -2/5?
False
Let h be 2 - 3 - 81/9. Are h and -10 unequal?
False
Let t be -1 - 1 - 28/(-7). Let u be t + 0 + (-32)/14. Is u less than or equal to -1?
False
Let y(q) = -q + 1. Let i be y(3). Let m = -7 - -4. Which is smaller: i or m?
m
Suppose -3*a + 21 = -2*c, 2*a + 2*a = 4*c + 28. Suppose a = -x - 7. Let n be 6/(-4) + x/4. Do -5 and n have different values?
False
Let l = 7 + -10. Are -2 and l unequal?
True
Let o(t) = -t**2 + 5*t + 1. Let r be o(5). Let h be ((-6)/22 - r) + 2. Let u = h - 18/55. Is 1 smaller than u?
False
Let p be (-1 - -1) + (-1)/(-5). Let f = -1.9 + 1.8. Which is smaller: f or p?
f
Let o be -4*1141/1120 + 1 + 3. Which is smaller: o or 0?
o
Let o = 23 + -53. Suppose 2*d + 2 + 33 = i, 0 = -5*i + 4*d + 151. Let k be -3 - 3/(i/o). Which is smaller: k or 0?
0
Suppose -t + 6 = 4*k - 30, k = -t + 9. Let x be 6/((-5)/(30/k)). Which is greater: x or -5?
x
Let l(m) = m**2 + m + 1. Let w be l(-2). Let z = 3 - w. Let i be -1*(-3 + 1)/(-2). Which is smaller: i or z?
i
Let x(o) = 6*o**2 - o - 3. Let d be x(-3). Which is smaller: 55 or d?
d
Suppose -5*r = -0*r. Suppose 5*c + 9 + 6 = r. Is -2 <= c?
False
Let h be 169/26 + 3/2. Do h and 9 have the same value?
False
Let b = -0.1 + -0.1. Let r = b - -1.2. Are -0.1 and r unequal?
True
Let k be (-25 + 1)*1/34. Let b = k + 103/170. Which is smaller: b or 0?
b
Let p be (-9)/6*(-8)/(-54). Suppose w + 0 = 4. Suppose -w*c - 25 = -5*b, 2*b - 2*c - 2 - 10 = 0. Which is greater: p or b?
b
Let s = -4 - -4. Which is bigger: 1/7 or s?
1/7
Suppose 0*t - 2*t + 16 = 0. Is 8 greater than or equal to t?
True
Let w be -17 + -4 + 1 + 6. Is w equal to -12?
False
Let f = -0.06 + 0.46. Let y = 0.3 - f. Let v = 6 - 5. Is v at least as big as y?
True
Let y be (56/6)/4 + -1. Suppose -u - 13 = 2*s, -4*u + 1 = 4*s + 21. Let i = 8 + s. Is y > i?
True
Let f(y) = -y**3 + 9*y**2 - 6*y - 15. Let s be f(8). Is 1/22 at least as big as s?
False
Let m(j) = j**3 - 7*j**2 - j - 8. Let l be m(7). Let t be (l/110)/(6/16). Is -1 <= t?
True
Suppose 11 = 2*w - 9. Suppose -w = 4*u + u. Let r be 0 + 3/(3/(-4)). Which is greater: r or u?
u
Let b = -13 - -16. Suppose -b*h + 1 = 7. Let m = 336 + -2021/6. Is m != h?
True
Let u = 0.07 + 5.93. Let b = -5.7 + u. Let r = 0 + 0. Is r bigger than b?
False
Let t be (-3 - (-72)/28) + 9/21. Which is smaller: t or -3?
-3
Let o = -17 + 26. Let z be ((-2)/o)/((-2)/3). Which is smaller: -9 or z?
-9
Let h = -39 + 27. Let s = -50 + 39. Does h = s?
False
Suppose -2*r = -5*l + 15, 9 = 5*l - r - 1. Which is smaller: 7/4 or l?
l
Suppose 3*y + 7 = -14. Which is bigger: y or -5?
-5
Let u be (-2)/(-4)*-6 - (-4 + 0). Is 2/477 greater than u?
False
Let a(z) = z**3 + 3*z**2 - z - 6. Let m be a(-3). Which is smaller: m or -2?
m
Suppose 0 = -0*p - 3*p + 2*b - 13, -26 = p - 5*b. Is 4/9 less than or equal to p?
False
Let k = 20515/258 - 2/129. Which is bigger: 80 or k?
80
Let s(x) = -x**3 - 5*x**2 + 4*x - 4. Let w be s(-6). Let a be ((-28)/w)/((-2)/4). Is a >= 6?
True
Let o = -0.13 - 6.87. Let i = 85.7 + -86. Which is greater: i or o?
i
Let r = -15 - -34. Is r >= 0.1?
True
Suppose 2 + 0 = -y. Let p = -2 + -2. Which is smaller: p or y?
p
Let c(t) = t - 15. Let l be c(14). Does 1/413 = l?
False
Let h = 49 + -49.7. Which is greater: -1 or h?
h
Let y be (-4)/(-8) - 34/(-12). Suppose 5*a - 3*j = 11, a - 4*j - 7 = -15. Is y at least as big as a?
False
Let r be (6 - 5)/((-2)/4). Let u be 2*-1*(-5)/(-2). Let t = 3 + u. Is r greater than t?
False
Let k be (6 - (2 - 4)) + 0. Let z(a) = -a + 9. Let i be z(4). Let q be i*(k/15)/4. Are 1 and q equal?
False
Suppose c + 2*x + 6 = -0*x, x + 3 = -2*c. Let y be (-2)/(-6) - (c - -1). Let n = -0.7 + 0.7. Is y at least as big as n?
False
Let a be (-2)/(3*4/(-18)). Let z be 660/(a + -5) + -3. Let k = z + 1672/5. Which is smaller: 1 or k?
1
Let i = 4 - 0. Let r be (-70)/(-30) + (-4)/(-6). Are r and i unequal?
True
Let o be 2*(-1 - 13/(-2)). Suppose -4*s + 11 = d, s + 4*s = -4*d + o. Which is bigger: d or -0.06?
-0.06
Let a be (-5)/(25/20) + 3. Which is bigger: 2/7 or a?
2/7
Let t = -6 + 12. Let p be -4 + t - 48/10. Are -4 and p unequal?
True
Let u = 2.01 + -0.01. Let x(p) = -p**2 - 4*p + 1. Let y be x(-4). Are u and y non-equal?
True
Let z be -9*(12/16 + -1). Is 1 at least as big as z?
False
Let q be -4*(-1)/2*3. Suppose h = 2*h - 2. Suppose -h*b = -4*b - q. Is -2 greater than b?
True
Let z be (-1)/(-4) + (-3)/12. Suppose 2*a = 3*a + a. Is z greater than or equal to a?
True
Let t = 8 + -4. Suppose 0 = v + v - 4*y, -4*y = -t*v. Let s be (16/(-60))/((-4)/6). Which is greater: s or v?
s
Let g be (-15)/(-6)*24/10. Let z = g + -4. Is 2 <= z?
True
Suppose -u + 13 = v, -4*v + 13 + 12 = u. Let q = -12 - -22. Which is smaller: q or u?
u
Let w(z) = -2*z + 4. Let o be w(4). Which is greater: -3 or o?
-3
Let c = 0.3 - 0.3. Let l = -0.41 - -0.01. Let h = l - -0.5. Which is smaller: c or h?
c
Let z = 47 + -58. Is -12 smaller than z?
True
Suppose 0 = 5*x + 10, 3*z - 39 = 2*x + 10. Is z > 14?
True
Suppose -d - 44 = 4*r - 8, 2*r = -4*d - 18. Let o be r/(-12) + 23/(-4). Let g be 33/(-7) + (-2)/7. Is g at least o?
True
Let f be (-20)/2 - 1*-1. Let v be 2*6/f + 2. Suppose -4*o = -15 + 7. Is v bigger than o?
False
Let b = -0.05 - -0.25. Do b and 17 have different values?
True
Let j(w) = -2*w**3 + 3*w**2 - 1. Let o be j(2). Let x(n) = n**2 + 4*n - 4. Let a be x(o). Are a and 0 equal?
False
Let i = 0 + 7. Suppose -5*l + i = -x, -23 = -0*l - 4*l - 5*x. Suppose -t = -4*s - l, -5*s - 4*t + 3*t - 7 = 0. Do s and -1/4 have the same value?
False
Let k(v) = 26*v**3 - 27*v**3 - 3*v + 4*v. Let p be k(1). Which is smaller: p or -2/23?
-2/23
Let s(t) = 8*t**3 + 2*t**2 - 2*t + 1. Let m be s(1). Let c be 3/m*5*-3. Let o = 4 + c. Is 1/5 < o?
False
Let k = 542/9 + -60. Let b(s) = -s**3 + s**2 + s - 1. Let x be b(0). Is k != x?
True
Let s be (-2)/(-3 + 1)*3. Let t = s + -4. Are -1 and t nonequal?
False
Suppose 0 = -3*a - d + 15, -a + 2*d = -2*a. Let m = 2 - a. Let h be (-3 - m)/1 + -1. Is h greater than 0?
False
Let s = 0.17 + -0.2. Let g = -0.03 - s. Let o be (-2)/(-2 - 3/(-1)). Which is smaller: o or g?
o
Let q(h) = h + 11. Let d(i) be the first derivative of -i**4/4 - 3*i**3 - 7*i**2/2 - i - 3. Let a be d(-8). Let t be q(a). Which is bigger: t or 5/2?
5/2
Suppose 4