 k have the same value?
False
Let a(y) = -2*y - 1. Suppose 3*d - 4 = -z + 7, 3*z - d = 3. Let f be a(z). Let w be (-24)/(-14) - (f - -7). Is w != 1?
True
Let q = 6 - 7. Let t be (-8)/36 - (q - -1). Which is smaller: t or -1?
-1
Let j = -45 + 41. Which is bigger: -7 or j?
j
Suppose -4*s - 12 = 4*x, -2*s + 4 = 5*x + 7. Are x and -1/98 equal?
False
Let d = -0.5 + 0.4. Which is greater: 2 or d?
2
Suppose 5*l + 3 = y, 3*y - 4*l - 10 = -1. Let a(p) = p**3 + 10*p**2 - p - 6. Let z be a(-10). Which is bigger: z or y?
z
Let j(g) = -g**3 - 10*g**2 + 11*g - 9. Let d be j(-11). Which is smaller: -10 or d?
-10
Suppose -68 = -13*t + 15*t. Which is smaller: t or -32?
t
Suppose -8 = -6*u + 2*u. Let r(l) = -l**2 - 2*l - 3. Let s be r(-2). Let a = s - -6. Is u less than a?
True
Let m(u) = -3*u - 8. Let f be m(-5). Are f and 2/5 nonequal?
True
Suppose -2*w = 2 - 14. Let r(h) = -w - h - 2*h**2 - h**3 - 4*h**2 - 1. Let t be r(-6). Is t >= 0?
False
Let b = 13 - 13. Is b bigger than -3/5?
True
Let g(w) = 2*w**2 + 8*w + 5. Let a be g(-5). Let u be (-42)/a - (3 + -6). Let f = -1 + 1. Which is smaller: u or f?
f
Let u(z) = -z + 6. Let m be u(6). Let h be (-30)/(-18) - (1 + m). Does 1 = h?
False
Let q be (-146)/15 + (-6)/(-15). Let m = q - -326/33. Is 2 < m?
False
Suppose 0*l = 5*l + 5. Let r be (4 - -1)*4/(-10). Does l = r?
False
Let f = -19 - 8. Let y = -28 - f. Which is greater: -2/9 or y?
-2/9
Suppose -b = 5*u + 15, -2*b - 6 = b + 2*u. Which is bigger: b or 3/10?
3/10
Suppose 0 = 5*i - 4*z + 38, i + z = -z - 2. Are -7 and i equal?
False
Let g = 0.033 - -0.367. Is g > 0.1?
True
Let k(i) = 4*i + 5. Let z be k(-4). Suppose -3*n - 15 - 15 = 0. Which is greater: n or z?
n
Suppose 0 = 5*o + 5*b, 0 = o - 0*o + 3*b + 6. Suppose -3*f + 1 = 2*s + 6, f - 3 = 4*s. Is o not equal to s?
True
Let k(p) = p**2. Let u be k(2). Suppose -v = 4 - 2, -u*j - 14 = 5*v. Which is smaller: 1 or j?
j
Suppose -2*o + 3*x = o, 2*o - x = -1. Let q be (-830)/3654 - (-4)/18. Let w = q + 419/2639. Is o < w?
True
Suppose -7 = -2*o + 5. Suppose 3*m = -0*m + o. Let z be 1 - (m/(-2) - -1). Is z >= 1?
True
Suppose 5*f - 4*r + 138 = 0, -2*f - 123 = 2*f + r. Is -30 at least as big as f?
True
Let u = 4.03 - 0.03. Let c = 1 - u. Is c equal to -1?
False
Suppose -2*h - 88 = 2*r, 3*h + 0*r + 2*r + 133 = 0. Let z = -223/5 - h. Is 0.4 greater than z?
False
Let o(q) = 7*q**2 + 2*q - 1. Let x be o(1). Let b be (2/(-4))/(2/x). Suppose 2*g = -5*u - 4, -4*u + 0*u + 6 = -3*g. Is u less than b?
False
Let g = 3 + -2.96. Let s = -0.36 - g. Is -1 < s?
True
Let p = 2 - 2. Let k(q) = -4*q + q**3 - 5 + p*q**2 - 3*q**2 + 0*q. Let o be k(4). Are -6 and o unequal?
True
Let g = 15 + -15. Let c(k) = -k**3 + k**2 - 8. Let l be c(g). Which is smaller: -9 or l?
-9
Let s = -11 - -15. Suppose -s*q = -q - 6. Let k be 4/(-16)*28/(-5). Which is greater: q or k?
q
Let s(v) = v + 5. Let c(p) = p**3 + 7*p**2 + 6*p - 5. Let y be c(-6). Let w be s(y). Let i = -89/175 - -2/25. Is i at least w?
False
Let j be (2 - 0 - 3)*1. Let u = j - -1. Is u >= -3/5?
True
Let s(r) = 2 + r**2 + 2 + r - 2*r - 6*r. Let u be s(6). Are -1/4 and u equal?
False
Let v be (-1)/((3/(-102))/((-1)/(-2))). Is v at most 0.1?
False
Let r be (5 + 1)/((-15)/10). Let j(k) = k**3 + 4*k**2 - k - 2. Let m be j(r). Suppose 5*i + 10 = 5*g, -1 - 3 = -m*g - 3*i. Is 3 less than or equal to g?
False
Let g = 12.94 + -13. Which is smaller: 1 or g?
g
Let t = -12760632/13 - -982049. Let y = t - 461. Which is smaller: 0 or y?
0
Let u = 4 - 6. Let q(z) = -z**3 + 11*z**2 - 10*z - 3. Let b be -3 - 1*(-2 + -11). Let g be q(b). Which is greater: g or u?
u
Let b(x) = x - 1. Let n be b(-2). Let z = -145/33 + 30/11. Do z and n have the same value?
False
Suppose -3*i - 3 + 9 = 0. Is 28 smaller than i?
False
Let w = 2 - -1. Let m = w + -2. Let v be 96/(-30) + 5 + -2. Do m and v have the same value?
False
Let c be 4 - -1*(-46)/10. Which is smaller: -1 or c?
-1
Let x = -1.12 + 9.12. Let h be 0 + -1 + (-6)/(-10). Is h smaller than x?
True
Let w = -4 - -3. Let a be 1/2 - 30/24. Which is greater: a or w?
a
Suppose 2*t + 24 = -2*t. Let m be t/(-15) - (-2)/(-5). Is m < 0?
False
Let d = 5 + -5.1. Let z = d - 0.9. Which is bigger: 4 or z?
4
Suppose 2*i - 3 = 3. Let z(h) = -h - 5. Let u = 9 + -16. Let w be z(u). Is i greater than w?
True
Suppose -s = -1 + 4. Let n be (-1 - (s + 1))*1. Is n > 4/9?
True
Let w be (-4)/(-8) + (-26)/20. Suppose 14 = -3*i - s, i + 0*i = -s - 4. Let a = -7 - i. Which is smaller: a or w?
a
Suppose -r + 1 = -1. Suppose r*s + 3*w - 7 = 0, 0*w = 2*s + 5*w - 9. Which is smaller: s or 4/5?
4/5
Suppose 3*s - 4*o - 8 = 0, -2*s - 18 = 3*o + 5. Let d be -5*s/(-2)*-1. Let a be 4/10*d/6. Is a smaller than 1/2?
False
Let h be ((-28)/(-24) + -1)*5. Which is smaller: 2 or h?
h
Suppose 3*x - n - 41 = -6*n, -5*n = 4*x - 48. Suppose d - x = -3*v - 0*v, -d + 2*v = 3. Let j = -6 - -6. Are j and d unequal?
True
Suppose -3*g - 20 = -4*n + g, 4*g = -4*n - 20. Suppose v + v = n. Suppose -5 + 2 = -u, 3*w - 3*u + 12 = v. Which is greater: w or 0.2?
0.2
Let o = 49 + -30. Suppose o = 3*b - 8. Suppose -4*g = -5*v - 12 - 3, 3*v + b = -5*g. Which is bigger: g or 1/4?
1/4
Let h(o) = o**2 - 5*o + 3. Let l be 1/(-3) + 91/21. Let r be h(l). Let c be -1 - -3 - r/(-2). Are 2 and c equal?
False
Let j be (-7)/(-670)*880/(-25). Let v = -30/67 - j. Let d(c) = c**3 - 4*c**2 - 6*c + 5. Let l be d(5). Are l and v nonequal?
True
Suppose 5*h + 4*g - 45 = 0, 5*h - 35 - 10 = 3*g. Let b be h/9*(-2)/10. Suppose r - 6*r + 5 = -5*k, -5*k - 5 = -3*r. Is k smaller than b?
True
Let j = -32 - -32.2. Which is smaller: j or 0.02?
0.02
Let i be 2/5*10/(-1). Suppose -10 = 4*w + 2*y, 5*y - 4 = 4*w - 29. Which is smaller: w or i?
i
Let o = -0.08 + -0.02. Let h = o - -0.9. Let x = h + -0.7. Is x at least 5?
False
Let g = 392 + -394. Let f(y) = -y**3 + 4*y**2 + 5*y - 6. Let w be f(5). Let t be 1/(-4)*w/(-1). Are g and t non-equal?
True
Let w = 1521574/19115 - 4/3823. Let u = w - 80. Are u and 0 unequal?
True
Suppose 4*n = 2*x - 32, -x - 3*x = 2*n - 24. Suppose 3*b + 10 = x*b. Is b > 0?
True
Let g = -1.7 + 1.72. Which is smaller: -1 or g?
-1
Let d = -92201104/21918951 - 22/128181. Let q = -8/513 + d. Let h = q - -44/9. Which is bigger: 0.1 or h?
h
Let j = -19 + 8. Let k be 0 + 2 + 40/j. Which is smaller: -1 or k?
k
Let q = -2.8 + 1.5. Let v = -1.6 - q. Which is smaller: -2/3 or v?
-2/3
Let l be 42/(-15)*(4 + 1). Which is smaller: -9 or l?
l
Let r = -0.51 - 2.39. Let k = r + 3. Is 0.03 != k?
True
Suppose -g + 4*g = -3. Let f(m) = -m + 21. Let s be f(9). Let t be g/(-6)*(-16)/s. Which is smaller: 0 or t?
t
Let v = 35/13 - 1461/533. Let x(p) = p**3 + 7*p**2 + 5*p - 6. Let b be x(-6). Is b <= v?
False
Let l be ((-20)/165)/((-2)/(-9)). Let d = -3 + 6. Suppose -d = 4*z + 1. Which is greater: z or l?
l
Suppose 7 = 4*j - 1. Suppose 2*g + 12 = 2*w, -2*g - j*g = -5*w + 27. Does g = -1?
False
Let j(k) = -37*k - 5. Let h be j(7). Let c be (1 - -5)*(-8)/h. Which is smaller: -1 or c?
-1
Let a be (2 - 4) + (0 + -3 - 0). Is -28/5 equal to a?
False
Let w = -4 - -4. Suppose -11 = -3*x + q + 4, w = 4*q + 12. Suppose 5*j - x = -4*y + 2, -4*y = -4*j - 24. Are 3 and y equal?
False
Let b be 4*(11/(-2) - -2). Let s = 21 + b. Let n = -4 + s. Do 3 and n have the same value?
True
Let s(z) = -z**3 - 5*z**2 - 3*z + 2. Let a be s(-4). Let g = 8 - 26/3. Which is greater: g or a?
g
Suppose 0 = 2*d - 0*d - 20. Let j = -13 + d. Which is smaller: -1 or j?
j
Let f = 0.018 + 0.002. Which is smaller: -0.2 or f?
-0.2
Let k = -0.47 - -0.87. Which is smaller: k or -1/4?
-1/4
Suppose b + 28 = 3*g + g, -2*b - 35 = -5*g. Is 23/3 less than g?
False
Let i(c) = -c + 7. Let x be i(7). Which is smaller: x or 12?
x
Let y(r) be the third derivative of -r**6/120 + 3*r**5/20 + r**3/3 + 3*r**2. Let u be y(9). Suppose -10 = 5*b + u*o, -o - 6 = 3*b + 3*o. Does -1 = b?
False
Let g = 0.1 + -0.35. Let o = g - -0.05. Which is smaller: o or 3?
o
Let u = 5027/74 + 58/37. Let a = u + -67. Let j(g) = g**3 + 3*g**2 - 1. Let c be j(-2). Which is smaller: c or a?
a
Suppose 9 = 3*r - 0*r. Let p = -0.12 + 0.22. Is p less than r?
True
Let p = 8 + -8. Is p greater than 0?
False
Let l = -1.8 + -0.2. Let i = 7.2 - 0.2. Let n = 6.9 - i. Is l at most as big as n?
True
Let c = 21 + -14. Let b = -4 + c. Let p = b - 3. 