s(d) = -2*d + d**2 + 10 + 6 - 16 + 1. Let l be s(r). Do 0 and l have different values?
True
Suppose 9 = y - 5*j, 2*j - 54 = y - 3*y. Suppose -14 = -z - y. Let f be 45/z + 3/(-2). Is 2 >= f?
True
Let g be (1 + 8658/(-1236))/(117/(-18)). Let i = 8/103 - g. Let u(m) = m**2 + 7*m + 6. Let h be u(-6). Which is smaller: i or h?
i
Suppose 3*s - 5*t = 46, -5*s + 6*t - 5*t = -106. Let m be (3*83)/(s/4 - 4). Which is smaller: m or 165?
165
Suppose -8086 = -26*v - 13*v + 26*v. Which is smaller: v or 623?
v
Let p(k) = 3*k**3 - 67*k**2 - 25*k + 76. Let l be p(26). Which is greater: l or 6863?
6863
Let h(k) = -110*k - 549. Let r be h(-5). Which is bigger: r or 4/277?
r
Let o(s) = s**3 + 7*s**2 - 5*s - 6. Let m be o(6). Suppose -l + 225 = -0*l - 4*p, 2*l - 2*p = m. Suppose -208*j - 265 = -l*j. Is 52 greater than or equal to j?
False
Let n = -13.6 + 14.4. Let z = -8.2 - n. Let i = 0.14 + -0.04. Is i < z?
False
Let f = -65 + 62.9. Let a = f - -46.1. Let h = -54 + 54. Which is greater: a or h?
a
Let n = 10018 - 9792.58. Let y = 224 - n. Which is greater: y or 1/3?
1/3
Let v be (-8)/(96/9)*-1*4. Suppose f = v*f - 4*b + 20, 3*f + 2*b = 10. Which is bigger: f or -2/255?
f
Let p = -81904/3 + 25512. Is p greater than 0.1?
False
Let a = 2671/1070 - -2/535. Which is smaller: a or -0.011?
-0.011
Let x be -18 - (0 + -4 + -1). Let f(w) = w**3 + 15*w**2 + 24*w + 2. Let c be f(x). Is 28 less than c?
False
Let o be (2/4)/((57/(-75620))/((-18)/5)). Is o not equal to 2389?
True
Let q be ((-2)/(-20))/((112/1680)/((-10)/18)). Which is smaller: -0.35 or q?
q
Suppose 3*s - 14 = -5*u, -300*u + 296*u = 5*s - 19. Which is bigger: u or -13/210?
u
Suppose -4*z + z = -24. Let o be 1 + (-21)/z - -2. Suppose u + 2*n = 1, 0 = 9*n - 4*n. Is u > o?
True
Let q(y) = 379*y + 10755. Let w be q(-40). Is w > -4405?
False
Let p(x) = 34*x + 263. Let a be p(-7). Let i(q) = -q**2 + 37*q - 186. Let b be i(a). Is 114 smaller than b?
False
Let t be (-11 + 17)*(7/(-28) - 1/(-2)). Suppose l + 3*l = 4*n, -4*l + 12 = 0. Which is greater: t or n?
n
Let a(k) = -9*k**3 + 48*k**2 - 14*k - 5. Let g be a(5). Which is bigger: g or 1/3022?
1/3022
Let w = -29.9 + 30. Let q be -1 - 164/(-52) - 4/26. Let h(s) = -7*s**2 - 3*s + 11. Let v be h(q). Is v greater than or equal to w?
False
Let l = 21608/9 + -2392. Let x be (-425 - -434) + -1 + (-1)/(-1). Which is bigger: l or x?
x
Let c = -48 + 54. Which is smaller: -158 or c?
-158
Let v = 90 - 57. Let w = -8.50837 - -7.50837. Are v and w equal?
False
Let l = -41 + 106. Suppose -10*x + 11*x = 0. Suppose -l*y + 63*y - 36 = x. Which is smaller: -35/2 or y?
y
Let h(w) = 1874*w - 11033. Let m be h(6). Suppose 2*p - 10 = 0, -1098 = -4*k + 3*p - 273. Which is greater: k or m?
m
Let y(g) = g**2 - 1. Let v be y(-2). Suppose -7*n + 16 = -v*n. Suppose n*o = 5*o + 8. Is o greater than -8?
False
Suppose 5*k - 13 = 3*b - 33, 0 = 4*b + 5*k + 20. Suppose 3*w = -76 + 88. Suppose 4 = -w*i - b. Which is smaller: i or 13?
i
Suppose 575*z - 254 + 829 = 0. Let w be (-2 - -3)/((-61)/(-3)). Is w greater than z?
True
Let r be (3/5)/(12165/50). Which is smaller: 1 or r?
r
Let u(f) = 55*f + 8. Let g be u(6). Let z = g + -633. Is z <= 0?
True
Let p be (-1 - -3) + -3 - -3. Suppose 0*z + 837 = p*z - u, -3*z + 1251 = -3*u. Let a be -22*(-6)/z + (-4)/(-14). Is a less than or equal to 2?
True
Let f = -0.18901 - 13648.81099. Which is smaller: -1 or f?
f
Let g(z) be the second derivative of -z**5/20 + 2*z**4/3 + 13*z**2/2 + 19*z. Let s be g(8). Let q = s - 48. Is -34 at least as big as q?
True
Let d(h) = -3*h**2 + 14*h - 10. Let v be d(4). Let z be -1*((-104)/v)/(-4) - -1. Let w(b) = 4*b - 8. Let t be w(6). Is t >= z?
True
Let g(r) = -r**2 + 10*r - 23. Let d be g(6). Let z be d/((-1)/(-4)) - 3. Which is greater: 5 or z?
5
Let h be (-232)/48 + 2/(-12). Let o be (-12 + h)/((-2)/(2*5)). Let b be (40/o)/(-2)*(-5)/(-4). Does b = 1?
False
Let g = 9045 + -9155.59. Which is smaller: g or -1?
g
Let g = -1.9 + 2. Suppose 5*k + 97 = -2*a, -88 = 4*a + 4*k + 76. Which is smaller: a or g?
a
Let l = -0.02 - -0.02. Let f be -11 + 10 - (2 - 3)*-6. Let p be 26/f + 4 + (-612)/1995. Which is greater: p or l?
l
Suppose k + 89 = 2. Let o = k + 80. Let f be 72/(-150)*(-2 - o). Is 0 less than f?
False
Let p = 19013/228132 + -1/114066. Let n be 1 - (-1)/2*0. Which is smaller: p or n?
p
Let z(q) = 2*q**2 - 139*q - 70. Let o be z(70). Is 11/344 equal to o?
False
Let f = 0.614 - 0.214. Let k = -0.22 + f. Is k at least as big as 0.4?
False
Let s be 13376/(-3135)*(-2)/24*2. Are s and 0 equal?
False
Let w(u) = -u**2 - 5*u + 4. Suppose 5*r + 25 = 0, -44 = 4*k + 3*r + r. Let l be w(k). Is -144 equal to l?
False
Let x be (44/7 - 6)*(-2)/(32/(-14)). Which is bigger: -810 or x?
x
Suppose 368 = 11*y - 4560. Suppose -y = -50*j + 34*j. Which is smaller: j or 6?
6
Let y = -0.05195 + -0.34805. Let q be 15/12*-2*-2. Are y and q equal?
False
Let s(i) = -i**3 - 7*i**2 - 6*i. Let n be s(-6). Let r = 70414 - 353909/5. Let j = r + 368. Is n >= j?
False
Suppose -1104 = 3*w + 3*s, 0*w + 4*s + 732 = -2*w. Let n = w - -354. Suppose -h - h = 0. Is n != h?
True
Let o = -24181/9 + 2684. Let k be (4 - 36/8)/(4/4288). Let a = -539 - k. Is o at most as big as a?
False
Let j = 297878/2049 - 30/683. Let i = j + -145. Is i < -28?
False
Let s = -411.6 + 67.6. Let m = 343 + s. Which is smaller: m or -3?
-3
Let o = -2449 - -2447. Is o less than 3097?
True
Let u be (((-12)/9)/((-8)/1578))/(2/2). Is u != 267?
True
Let k = 407 - 441. Let g be ((-2)/230)/(221/k). Which is smaller: 0 or g?
0
Suppose 108 + 109 = -31*k. Let c be k*((-220)/28 - -8). Are 203 and c non-equal?
True
Let i = 155.38 - -1.62. Let b = i - 336. Which is bigger: b or 1/2?
1/2
Let f be ((-11)/((-33)/(-30)))/(-1*2). Let m be (((-455)/21)/f)/((-2)/6). Which is bigger: m or 23/2?
m
Suppose -4 = -2*t + 6. Let o(f) = -f**3 + 7*f**2 - 8*f + 2. Let g be o(6). Let h be 312/63 - -3*g/105. Is t less than h?
False
Suppose -62*v = 385 + 111. Let q be (133/(-91))/((2/(-12))/(-1)). Which is bigger: q or v?
v
Let r = -0.5 + 0.7. Let f = 9.8 + r. Let l be 5 - (4 + 8) - (-5)/((-195)/(-279)). Which is greater: l or f?
f
Suppose 3*w - 2843 = 2*i + 1735, -12 = 3*w. Let p be 44/242 + (i/(-33))/(-3). Is p less than 1?
True
Let t be (-14)/8 - 1 - (-11)/(77/21). Which is bigger: t or 504?
504
Let w = 756.963 + -756. Let g = w - -0.037. Which is bigger: -1.6 or g?
g
Let f be -2 + -6 + 4297881/540792. Let b be ((-2)/(-10))/((-1392)/10). Let j = b + f. Is -1 at least as big as j?
False
Let p(r) be the first derivative of 3*r**2 + 49*r - 8. Let h be p(-6). Suppose q - 85 = -h. Is q > 71?
True
Let w be 5 + (-11 - 17) + 8. Is w smaller than -2?
True
Let c = 0.028 - -13.172. Let y = c + -10.2. Let k = -1.3 + 0.3. Which is smaller: k or y?
k
Let i = -147795 - -1034563/7. Let u = 1.8 - 1.1. Let b = u - -0.3. Does i = b?
False
Let j be (-28)/72 + 2 - -27*2/12. Which is greater: j or -60?
j
Let p(k) = -k**2 + 7*k - 1. Let a be p(5). Suppose -94 = -a*f - 58. Let s be 4 + -2 - 1/(-1). Are f and s equal?
False
Suppose 0 = 2*f + 3*m + 8, f - 8 + 13 = -2*m. Which is bigger: f or 6/1141?
6/1141
Let z = -3470 - -3470. Is 0.1662 bigger than z?
True
Let c = 12646 - 12647. Which is greater: c or 1/3887?
1/3887
Suppose -13*n + 2 = -14*n. Let m be (46/6 + n)/((-720)/216). Which is greater: m or -1?
-1
Let d(q) = 17*q - 862. Let x be d(32). Is -2230/7 at most as big as x?
True
Let w(x) = -36*x**3 + x**2 - 5*x + 12. Let r be w(4). Let m = -32117/14 - r. Which is smaller: m or 3?
m
Let d = 13 - -1. Suppose -3*c - 2*s + 427 = 0, -16*c - 3*s = -d*c - 283. Are c and 143 equal?
True
Suppose 6*x + 3 - 315 = 0. Let w = -48 + x. Suppose -4*b - w - 26 = -2*k, -5*b - 60 = -5*k. Is k greater than 10?
False
Let n be 4/(-24) + (-1362)/36. Let f be 1/(-260)*n - (-32)/208. Is f less than or equal to -0.03?
False
Let d = -14.9 + -51.1. Let a = 66.31 + d. Let p = 1.69 + a. Is 0.11 greater than p?
False
Suppose 2*w = -w + 4*k + 17, 9 = -4*w - k. Let l = 1/1093 + 1053/43720. Is w <= l?
True
Let d be -3 + 32/(-18) + (-12)/54 + 4. Is d bigger than 1/89?
False
Let i = 1.6686 + -1.5686. Let v(a) = a**3 - 11*a**2 - 8*a - 10. Let h be v(11). Do h and i have the same value?
False
Let w(y) = y**2 + 40*y - 583. Let l be w(11). Is -24 < l?
True
Let b = -1477.08 - -1477. Let g