t b = -1 - -7. Suppose 0 = b*z - 4*z + 2. Let y = 6 + z. Are 8 and y non-equal?
True
Let z(h) = 2*h**2 - 7*h + 4. Let s(o) = o**2 - 4*o + 2. Let n(q) = 7*s(q) - 4*z(q). Suppose -k = 4*k. Let c be n(k). Is c less than 0?
True
Let a = -4.676 + -0.854. Let v = 1.57 - a. Which is greater: 1 or v?
v
Let t = -11.1 + -42.9. Let k = -52 - t. Which is smaller: k or 5?
k
Let h be (-34)/(-66) - (-10)/(-55). Which is bigger: 1/6 or h?
h
Let u be 4 - (8 - 0) - 5. Let t = u - -3. Let y be (0 + 2/(-16))*t. Which is smaller: y or 2?
y
Let f = -10088497/1188 - -8492. Are f and 0 non-equal?
True
Suppose -16*v + 797 = 685. Which is smaller: v or 43?
v
Let p be 2/(-7) + 24/84. Suppose 2*x - 18 = -4*o, -3*o - o + 3*x + 3 = p. Suppose -2*s + 6 = s. Is o equal to s?
False
Let d be -2*(4 - (-20)/(-4)). Suppose -4*i - 6 = 3*b - 1, -d*i + 4*b = -14. Is 15/11 < i?
False
Let p = 426 - 428. Is p greater than or equal to 2/71?
False
Let p(g) = -g + 8. Let r be p(-12). Suppose -q - r = -20. Which is smaller: -2/113 or q?
-2/113
Let w(u) = u**3 + 5*u**2 - 6*u - 14. Let n be w(-6). Let o = n - -11. Is 4 < o?
False
Let s = -626159/56 - -11181. Let j = -1/8 - s. Let z = 54 + -49. Does z = j?
False
Let l be (-76)/(-14) - (-36)/(-84). Suppose m - 3*w = 20, 0 = -2*m + 6*m + l*w + 5. Let g(a) = a**3 - 6*a**2 + a - 3. Let k be g(m). Is -23 greater than k?
False
Let k(c) = -c**3 - 3*c**2 + 2*c + 7. Let w be k(-3). Is -131 < w?
True
Let u = -494 + 494.2. Is u equal to -1.7?
False
Let v = -5/8 + -13/24. Let u be (9/(-6))/((-3)/(-10)). Let m be (-1 + 10/6)*15/u. Is m not equal to v?
True
Let r = -767/20 + 173/5. Let a = 1408 - 1408.2. Is r at least a?
False
Suppose 0 = -5*k + 6*k + 3*x - 77, -4*k + 318 = 2*x. Suppose 80 = 19*j - 18*j. Do j and k have the same value?
True
Suppose 5*n + 2*w - 78 = -20, -15 = -n + 3*w. Suppose 2*v + 2 = n. Suppose 0 = v*c - 4 + 9. Which is smaller: -3/10 or c?
c
Let t = 5/888 + 233233/2664. Let k = 32362/369 - t. Which is smaller: -1 or k?
-1
Suppose -26 = 5*x + 4. Is x less than or equal to 23?
True
Let y be ((-80)/(-6))/(10/(-30)). Let u = y - -44. Is u < 3?
False
Let z(j) = j**3 + 6*j**2 - 7*j - 11. Let r be z(-7). Let n = r + -12. Let f = n - -15. Which is greater: -1 or f?
-1
Let w be (-7*14/147)/((-2)/(-60)). Which is greater: w or -216/11?
-216/11
Let o be (-252)/(-10) + 1/(-5). Suppose -5*v = -o, -k = -4*v + 2*v + 15. Let h be 2/(-3)*1*6. Is k smaller than h?
True
Suppose 3*l + 2 = 2*l. Let v be l + (-1)/(-10)*-2. Suppose 0 = -a - y - 4, 52 = 5*a - 5*y + 42. Is a > v?
True
Let x = -46 - -65. Let y = -75 + 93. Is x less than or equal to y?
False
Let l be 5 + -10 + 15 + -11. Is l != -3/34?
True
Let h(a) = 3*a**2 + 40*a - 143. Let w be h(4). Is 61 at least as big as w?
False
Suppose 25*r - 15 - 10 = 0. Are -20 and r nonequal?
True
Let v(j) be the second derivative of j**5/20 - 5*j**4/6 + 7*j**3/6 + 17*j**2/2 - 15*j. Let f be v(9). Is -5 bigger than f?
False
Let x = -8.54 - -49.24. Let r = x + -39. Let d = r - 2. Do -3 and d have different values?
True
Suppose 67 = -41*s + 108*s. Is s greater than -14/51?
True
Let y = 54.7 - 66. Let v = y + 11. Do -5 and v have different values?
True
Suppose 0 = -4*t + 3*a - 5, -3*t = 5*a + 5 + 6. Let p(j) = -2*j - 6. Let v be p(t). Which is smaller: -7/4 or v?
v
Let h = -97 - -112. Is 74/5 smaller than h?
True
Let t = 5276 - 3591. Is 1685 >= t?
True
Suppose -8*n = 11*n + 361. Which is smaller: -21 or n?
-21
Let p be 1*-4 + (27 - 7)/(-4). Suppose 2*q + 5 = 3. Let f be -9*q/(-4) + 2. Which is smaller: f or p?
p
Suppose -s = 175 - 174. Which is greater: s or -1/1443?
-1/1443
Let z = -12 + 14. Suppose o + 13 = z*o. Suppose q = 5*y - 54, -7 - o = -2*y + 2*q. Do y and -1/2 have the same value?
False
Let m(u) = -u**3 - 4*u**2 - 4*u - 5. Let j be m(-3). Which is smaller: 2 or j?
j
Suppose 0 = 18*q - 29*q - 583. Which is smaller: q or -55?
-55
Let z be (-17)/165 + (-4)/20. Let t = z + 17/44. Let h be (2 + (-4 - -1))/(-1). Is t <= h?
True
Let w = -2263 + 2261. Which is smaller: -28/15 or w?
w
Let r = -10.5 + 6. Let v = 16.7 - 11.7. Let s = v + r. Does -1 = s?
False
Suppose 5*y = -2*b + 3*b - 346, 5*y + 330 = 5*b. Is -70 > y?
False
Suppose -11 = -37*q + 36*q. Are q and 34 equal?
False
Let c(m) = -m - 1. Let i be c(3). Let q(p) = -p**3 - 4*p**2 + 4*p + 14. Let a be q(i). Is -3 > a?
False
Suppose 0 = -5*t + 7*t - 30. Let x be ((40/25)/2)/((-6)/t). Which is smaller: x or -4?
-4
Let l = 11 - 8. Let z = 2.21 - 1.22. Let x = z - 2.99. Is l <= x?
False
Suppose 2*m + 8 = 0, -3*n + 2*m - 1 = -0*m. Let q be (5 - (-138)/(-24))/(n/34). Let r = -12 + 21. Is q > r?
False
Let j be 2 - 5 - 20/(-6). Which is smaller: j or 3?
j
Let p = 25602637/16 + -1599521. Let o = p + -644. Let y(r) = -r**2 - 6*r + 26. Let j be y(-9). Which is bigger: o or j?
o
Suppose 11*x + 174 - 4013 = 0. Which is smaller: 350 or x?
x
Let v be -1*2 - 3*-40. Let x = 2240/19 - v. Which is greater: 0 or x?
0
Let y = 61.8 + -62. Is -78 > y?
False
Let x(u) be the first derivative of -5*u**2/2 + 13*u + 7. Let c be x(3). Is c at least as big as -1/4?
False
Suppose -2*w + n = -4*n - 65, 0 = -4*w - 4*n + 116. Suppose b + w = -b. Let v = -23 - b. Is -9 bigger than v?
False
Let y = -219.37 - -219. Which is smaller: 1/5 or y?
y
Let d(i) = -i**2 - 35*i + 1855. Let v be d(-64). Let s be 34/35 - (-1 - -2). Is s greater than v?
True
Suppose -9*n = 361 + 125. Which is greater: -53 or n?
-53
Let w = -9 - -9.31. Let o = -9.69 - w. Which is greater: o or -2?
-2
Let p = -77 + 145. Let f = p + -67.3. Which is bigger: 2/9 or f?
f
Let m = 264 - -911. Is m > 1175?
False
Let v be 6/(-3) - (-985)/493. Let i be (-17)/(-170) + 1154*(-166)/138040. Let f = i - v. Are -1 and f unequal?
True
Let o = -33667259/3341 + 10077. Are 0 and o non-equal?
True
Let m be 9/24*(-2)/3. Suppose 5*n = 2*t + 3 + 17, 5*n + t - 20 = 0. Let k be 4/(32/6)*n. Which is smaller: m or k?
m
Let b(o) = -6*o - 24. Let h be b(-11). Suppose 4*t = -h + 78. Is 4 bigger than t?
False
Let j be 6 - (-3 - (1 + 0)). Let u be 26/10 + 0 - (-4)/j. Are u and 11/5 unequal?
True
Let f = 0.072 + -50.072. Which is greater: 0.03 or f?
0.03
Let j(o) = 7*o - 160. Let w be j(23). Which is greater: -9/19 or w?
w
Let r(s) = -9*s - 4. Let c be r(4). Let a = c - -56. Suppose n + 26 = a. Is n at most 2/3?
True
Suppose 2*k + 1062 = -4*i, i + 12*k + 264 = 11*k. Is i < -266?
True
Let o(u) = 158*u**3 - 4*u**2 - 2*u + 1. Let d be o(-1). Is d at most as big as -159?
True
Let u be (134 - 0)/(-4 - -3). Is -135 < u?
True
Let z = -1 + 17. Let c be 4*6*(-4)/z. Does c = -8?
False
Let v = -0.14 + -13.86. Let b = v - -25. Which is greater: 0 or b?
b
Let f = -378 + 377. Let o = 1.7 + -14.7. Which is smaller: o or f?
o
Let w = -224 - -50. Let q = w + 4873/28. Which is smaller: q or 0?
0
Let n(u) = 2*u + 25. Let w be n(-12). Let j be w/(-3) - 115/(-1125)*3. Which is greater: -1 or j?
j
Let y = -413 + 129. Which is smaller: -286 or y?
-286
Let i = 157 + -160. Let o be ((-8)/6)/((-2)/(-9)). Let d be (i*4/o)/(-4). Is d at most -3/5?
False
Suppose 3*k = -7 - 8. Let x be 6/(-7)*21*(-4)/18. Suppose -3*l = -v + 4, 4*l = -x*v + 12 - 28. Is l smaller than k?
False
Let i = 277/6 - 1397/30. Which is bigger: 5 or i?
5
Suppose -8 = -3*v + 1. Suppose -1 = 2*t - 5. Let p = t - v. Which is bigger: p or -2/15?
-2/15
Let s = -338/627 - -10/57. Is -1 equal to s?
False
Suppose 8*a = -4*z + 3*a - 27, 3*z - a + 6 = 0. Let y = -4 - z. Which is smaller: 1/22 or y?
y
Suppose -4*s + 3 = -9. Suppose r = 4*r + s. Which is smaller: 1/16 or r?
r
Let g be 5 - (0 - 3)/(-3). Suppose -g*x = x - 10. Suppose -5*q - 3 = -3*m + 5, -q = 3*m - 2. Which is bigger: x or q?
x
Suppose -3*o + 8*o = i - 8, 5*o + 5*i = 10. Is o equal to 7/41?
False
Let y be ((-36)/6 - 208) + 1*-4. Is y <= -217?
True
Let m be 92/(-17) + 4*1. Which is bigger: m or -2?
m
Let u be 1/((-1)/2) - 1. Let w = 2 + u. Let g = -6713/30 + 447/2. Is w smaller than g?
True
Suppose -3*z - 14*m + 11*m = 0, 5*z + 3 = -4*m. Let g be ((-9)/(-4))/(2/8). Suppose -4*j = -g*j - 15. Are z and j nonequal?
False
Suppose 0 = y + 3*l - l - 233, 5*y + 4*l = 1141. Are 226 and y equal?
False
Suppose 0 = -5*f + 69 + 201. Let v be (12/f)/((-2)/(-6)). Does v = 2?
False
Suppose -15 = 40*u - 43*u. Suppose 28 = 2*j - o - 0*o, u*o + 20 = 0. Are 12 and j non-equal?
False
L