o t and k have different values?
False
Let g be (31 + -22)*(0 + 4/(-6)). Let c be ((-3 - g) + 0)/((-6)/(-8)). Which is greater: c or -4?
c
Let n = -10.8 + -3.8. Let w = n - -4.6. Is -1 != w?
True
Let w be 0 + -11 + (-510)/(-48). Let m = 3 + -4. Which is smaller: m or w?
m
Let j = 516/221 - 41/17. Is -35 at most as big as j?
True
Let l = 8899 + -8895. Let q = -0.1 - -1.6. Is l at most as big as q?
False
Let l be 15/10*(-2)/(-193). Let d = l - 986/1351. Is d bigger than -2?
True
Let d = -116/3 - -746/21. Suppose -77*t + 25*t = 156. Which is bigger: t or d?
t
Let a = 7.1 + -7. Do a and -28.6 have the same value?
False
Let d = -10501/35 - -1760/7. Let v = d + 2653/55. Does v = 1?
False
Let g = 7987/17 + -470. Let l be ((-6)/(-4))/(3/2). Which is greater: g or l?
l
Suppose 15 = 5*o - p + 54, -5*p - 5 = 0. Let n be 10/20*o/(-174). Which is bigger: n or 0?
n
Let f = 1 + -99. Let s = 101 + f. Which is smaller: s or 8?
s
Let p(f) = -f**2 + 175*f - 678. Let b be p(4). Let c = -19 + 12. Let a = c - -15. Which is smaller: b or a?
b
Let l = 747 + -1245. Which is smaller: l or -499?
-499
Let j(y) = y**2 - 4*y - 1. Let a be j(6). Let f(o) = 42*o**2 + o**3 - 8 + 18 - 54*o**2 + 10*o. Let q be f(a). Does q = 3?
False
Let l(t) = -t + 17. Let m be l(-10). Suppose -3*z - 99 = -m. Let v = -74 - -50. Is v greater than or equal to z?
True
Let s be ((-51)/68)/(6/(-16)). Suppose -s*i + 10 = -0. Which is smaller: i or 6?
i
Let s = -110/483 + -4/69. Let c = 19.1 + -22. Is s smaller than c?
False
Let v(s) = s**2 - s. Let j be v(0). Suppose 50 = -l - 3*u, -4*l - 86 = 3*u + 159. Let o = -131/2 - l. Which is greater: j or o?
j
Let n = 33/2 + -17. Let h be (2 - (-44)/(-21))*6. Is h < n?
True
Let p = 24 + -743/31. Is 0 less than or equal to p?
True
Let g be -17 + -11 + 1/1. Let x = 109/4 + g. Which is smaller: 2/23 or x?
2/23
Let i = 314 + -409. Does i = 0?
False
Let r(n) = 56*n**2 + 2*n - 2. Let t be r(1). Let k = -839/15 + t. Let w = 1 + -2. Which is smaller: k or w?
w
Let v = 2.1 + -3.1. Let m = -1.2 - v. Let p = m + 0.21. Are p and 0.1 equal?
False
Let i = 52 - 49. Suppose -b + 11 = 5*j, 10 = -i*j - 2*j. Is 19 greater than b?
False
Let m(p) = p**3 + 9*p**2 - 54*p - 422. Let k be m(-10). Which is greater: 204/11 or k?
204/11
Let z be 1*(-10)/(-15)*-2 + 2. Are z and -0.015 equal?
False
Let y = 47 + -24. Suppose 0*s + 29 = -u - s, 2*u - 5*s + y = 0. Let a = -24 - u. Is a greater than or equal to 0.4?
False
Let y(p) = -p**2 - p. Let w(n) = -n**3 - 9*n**2 - 7*n + 1. Let b(x) = -w(x) + 5*y(x). Let m be b(-3). Suppose 6 = 2*q + m*v, -3*q + 3*v + 13 = 7*v. Is q >= 3/7?
False
Suppose 5 = 5*j + 4*u - 7, -j - u = -3. Is j less than -8/97?
False
Suppose -2*u + 1 = 5. Let r be (-26)/7 + u/7. Let d(k) = k**3 + k - 5. Let g be d(0). Which is greater: r or g?
r
Let p = 12789/2 - 16843105/2634. Let s = -94804/6585 - p. Let x = -16 - s. Which is bigger: -3 or x?
x
Suppose 49*w - 44*w = -75. Which is smaller: -21 or w?
-21
Suppose -36 = 23*s - 1462. Let d(p) = -7*p**3 + 2*p**2 + p. Let a be d(-2). Do s and a have the same value?
True
Suppose -3*w = 4*w + 1120. Is -160 <= w?
True
Let c be (-2)/(-11) + (-296688)/(-25102) + -12. Is c smaller than 0?
False
Let g = 0.131 + 0.729. Which is smaller: 0 or g?
0
Let l(x) be the third derivative of -x**6/120 + 7*x**5/60 - 5*x**4/24 + x**3/3 + 8*x**2. Let b be l(6). Is b smaller than 0.1?
False
Suppose 3*m + 2*m - 487 = -2*t, 0 = -3*t - 12. Let o = m - 82. Which is smaller: 4 or o?
4
Suppose -2*s = -s - 10. Suppose 5*d + 16031 = 16061. Which is greater: d or s?
s
Let o(w) = -w**3 - 5*w**2 + 7*w + 7. Let v be o(-6). Suppose 0 = -t + 6 - 21. Let h = -13 - t. Is h greater than v?
True
Let i = -10 - 19. Let s be i/(-8) - (0 - -4). Which is greater: -8 or s?
s
Suppose -2*p + 2*z = 6, -7*p + 9*p = -4*z + 12. Which is bigger: p or 12/13?
12/13
Suppose 2*s + 1224520 = -5*h, 0 = s + s. Let c = h - -2696846/11. Let j = c - 264. Which is greater: -1 or j?
j
Let n = 0.0934 + 0.0066. Let d = 7 - 6.7. Which is bigger: n or d?
d
Let q(h) = -h**3 + 5*h**2 + 6*h + 6. Let o be q(6). Suppose -2*l + 2*y = 0, -o*l + l = 3*y - 16. Is 3 < l?
False
Let j(r) = r + 18. Let d be j(-15). Suppose -3*b + l + 23 = -21, 57 = 4*b - d*l. Which is greater: 1/4 or b?
b
Let h be (-9)/(-6)*(-4)/(-6). Suppose 3*p = -h - 5. Let o = -25 + 173/7. Which is smaller: p or o?
p
Let c = 5 + -11. Let m = c + 7. Let p be (-48)/1716 + 2/11. Does m = p?
False
Let h be -6*10/570 + 9057/85500. Which is smaller: h or 1?
h
Let w be 4/(-18) + 11/9. Let s = 5489/17 - 323. Is w less than s?
False
Let d be (-1)/(-1)*-2 + -1. Let a(s) = 34*s - 345. Let z be a(10). Does d = z?
False
Let n(s) = 2*s**3 - 2*s - 1. Let a be n(-1). Let i = -205/1009 - -1051019/77693. Let d = i - 92/7. Is a greater than d?
False
Suppose 0 = -5*g - 15, 5*g = -q + 26. Let b = 74 - q. Which is smaller: 32 or b?
32
Suppose -3*z = -5*k - 222, 296 = 14*z - 10*z - 4*k. Is z > 145/2?
True
Let r be (-3)/((-36)/(-24)) + 3. Which is smaller: -1/2803 or r?
-1/2803
Let g be (42/270)/(-3 + 136/40). Which is bigger: 1 or g?
1
Let n = -777 - -777.43. Is n < -3/10?
False
Let r(c) = 2*c**2 - 6*c + 9. Let q be r(2). Let l = -5 + q. Which is smaller: l or -1?
-1
Let y = 0.73 + -0.6. Let a = -3.13 + y. Do -3 and a have different values?
False
Let a be (-15 - -17)/(2/15). Suppose j - 12 = -a. Let f = 1 - j. Are f and 5 nonequal?
True
Let g be (-325)/(-13) + 0 + (-1 - -3). Which is smaller: g or 1?
1
Suppose 4*z - 3*c + 0*c = 17, -4*z + 18 = -2*c. Suppose t - z*t - 198 = -2*f, 3*t + 131 = 5*f. Let d = -261/5 - t. Are 1 and d unequal?
True
Suppose -2*f - 16 = -10*f. Suppose -2*l + 2 = -3*j + 21, -3*j + 35 = f*l. Which is smaller: j or 6?
6
Suppose 20 = 5*k - k. Suppose -2*q + 21 = -2*c - 3*c, 0 = -k*q - 3*c + 68. Let o = q - 10. Which is smaller: 0 or o?
0
Let f be (40/15)/((-2)/(-6)). Let z be (-24)/32 + (22/f - 1). Let a = 67/4 + -619/36. Which is greater: a or z?
z
Let o = -131 + 181. Let n(d) = -d**3 + 2*d**2 + 49. Let k be n(0). Are k and o unequal?
True
Suppose -4*k - 4*y = 4, 41*y - 43*y = -2. Is k at most -16/5?
False
Let z be 3/(-5)*(-4)/(-6). Let s = z - -1/15. Is s != 0.3?
True
Let w be 96/9 + ((-4)/(-3) - 1). Let f = 28 - w. Suppose 6*p - 3*n = 3*p + 51, n = 2*p - 33. Which is smaller: f or p?
p
Let j = -28 + 31. Suppose 5*f = 25, -17 = -2*g + g - j*f. Is 4/5 at least as big as g?
False
Let s = -53818741/2571 + 20933. Let z = 5548/521913 - s. Let i = z - -179/2436. Are -1 and i non-equal?
True
Let v = 2217/7 - 315. Let r = v + -111/77. Suppose 3*j - 7*j = 0. Is r greater than j?
True
Suppose -2*g - 12 = 2*g. Let q = -2 - g. Let h = 19/72 + -3/8. Is h greater than or equal to q?
False
Let i(t) = t**3 - 6*t**2 - 21*t + 12. Let a be i(8). Is a smaller than -25?
True
Suppose -4*a + 1 = -7. Suppose -z = -a*i + 3*z + 30, 4*i = 4*z + 60. Are i and 16 nonequal?
True
Let r(l) = -8*l - 303. Let w be r(-38). Which is smaller: w or 16/59?
16/59
Let u = -0.18 - -8.18. Let z = u + -14. Let t = z + 6.1. Which is bigger: t or -0.08?
t
Let f = 10.95 + -11. Suppose 37*d - 21 = 40*d. Which is bigger: f or d?
f
Suppose -6*b - 297 = 3*b. Is -65/2 at least as big as b?
True
Suppose 3*d - 5*l - 14 = 0, 0 = 3*d + 13*l - 9*l + 22. Let s(h) = h**2 - 5*h - 6. Let q be s(6). Is q at most as big as d?
False
Let f = -1/30 - 113/210. Let d = 1624 + -1626. Which is smaller: f or d?
d
Let v = -58.12 + 1.12. Let m = 57 + v. Which is smaller: 0.8 or m?
m
Let l = 660 - -12. Is 671 greater than l?
False
Suppose -w = -x - 85, -x + 37 = -4*w + 380. Let h = 125 - w. Is 39 at least as big as h?
True
Suppose -5*z + 0 - 14 = -n, 5*z = 4*n + 19. Let f(h) = 6*h + 2. Suppose -9 = 3*v, -v - 10 = 2*j - 3. Let g be f(j). Which is greater: n or g?
g
Let h(s) = 7*s**3 - 14*s**2 - 13*s - 32. Let n(o) = -4*o**3 + 7*o**2 + 6*o + 16. Let g(c) = 3*h(c) + 5*n(c). Let d be g(8). Which is smaller: d or -25?
-25
Let j = 0.121 + -0.591. Is 2 > j?
True
Let r be (3 + -4)/(2/92). Suppose 49 + 356 = -9*h. Which is smaller: h or r?
r
Let w be 0/(2 + 1 + -11). Which is smaller: 4/307 or w?
w
Let v be (16 - 17) + (-1)/(-2). Let y = 3.3 - 1. Is y < v?
False
Let w = -0.09 - -0.01. Let z = w + -11.92. Let d = 7 + z. Which is smaller: 1 or d?
d
Let o = 20.7 + -22. Let f = -0.7 + o. Let j be ((9/3)/1)/(-5). Which 