pose -3*y - y = -m. Suppose -l = -y*l. Do -1 and l have different values?
True
Let m = -39 - -39. Let z = 0 - -1/3. Which is bigger: z or m?
z
Let c(y) = y**3 + 2*y**2 + y - 28. Let s be c(0). Which is smaller: -29 or s?
-29
Let u = -185 + 187. Is u greater than 2?
False
Let s = -10.9 + 11. Let z = 1 - 1. Are z and s equal?
False
Suppose 2 = 2*h - 10. Let v = 4 - h. Is -2 smaller than v?
False
Suppose -q + 16 = 5*o, 15 = -0*o + 3*o. Let s = -37 + 29. Is q less than s?
True
Let n = -230381 - -115190367/500. Let c be 8/(-20) - 96/(-250). Let x = c - n. Is x smaller than -1?
False
Let f = -7 - -12. Suppose 4 = 3*m - 2. Suppose -f*x = -b + 10, x = m*x + 3*b + 2. Is -3 smaller than x?
True
Let y be 28*69/(-558) + 2. Let n = y - -4/31. Is -1 greater than n?
True
Let r = 107.5 - 108. Are 10 and r equal?
False
Let p = 2733/4 + -692. Which is smaller: -8 or p?
p
Let d(w) = w**2 + 5*w + 3. Let v be d(-4). Let n = 16407/7 - 2334. Let i = -235/21 + n. Do v and i have the same value?
False
Suppose -8 = -4*u - 2*a + 2, -2*a + 10 = -2*u. Is u less than -1/2?
False
Let x = 2/1739 - 1985/213897. Which is smaller: x or 1?
x
Suppose 0 = -5*w + 162 + 38. Suppose -5*y + w = 7*s - 2*s, 0 = 3*y - 5*s - 64. Let f be 12/18 + y/3. Which is greater: -1 or f?
f
Let p(l) = -l**3 + 3*l**2 + 9*l + 2. Let f be p(5). Which is greater: -0.18 or f?
-0.18
Let f = -3 - -4. Let a = f + 1. Let x(z) = -2*z - 2. Let c be x(-1). Is c at least a?
False
Let i(j) = -13*j - 2. Let c be i(-2). Suppose -4*v + d + 33 = 2*d, -c = -4*v - 4*d. Let g be (2/(-3))/((-24)/v). Which is smaller: 0.2 or g?
0.2
Let t = 42 + -53. Is t at least as big as -7?
False
Suppose -5*p - 6 + 1 = 0. Let m = -1570/1173 + 2/391. Which is bigger: m or p?
p
Let s be (4 - 3) + 426/(-10). Let l = s - -1882/45. Let x = -0.07 - -0.07. Which is smaller: l or x?
x
Let k(w) = w + 1. Let c be k(-2). Suppose -5*y = -4*h + 6, -5*h + 2*y = -4 + 5. Is h at most as big as c?
True
Let n = -64/153 + -8/17. Let j(p) = p**3 - 3*p**2 - 1. Let a be j(3). Which is smaller: n or a?
a
Let n = 34 + -42. Do n and -5 have different values?
True
Let b(m) = -m - 2. Let c be b(-6). Suppose -3*l - 4*d + 9 = 0, 0 = -c*l - 0*d - 4*d + 8. Is 0 smaller than l?
False
Let h = -1/101 + 233/3131. Is 0 at most h?
True
Suppose -3*s + 0*t = 4*t + 296, 2*s - 2*t + 202 = 0. Which is smaller: -102 or s?
-102
Let o = 6964.93 + -6661. Let v = o + -298. Let j = v - 6. Is -1 > j?
False
Let u be (-1 - 1) + (6 - 21). Is -19 less than or equal to u?
True
Let a = 39 + -13. Let d be 74/a + 4/26. Is d at most as big as -2?
False
Suppose 0 = 4*l + 4, -k + 4*l + 0 + 1 = 0. Let w(q) = q**3 + 6*q**2 + q + 4. Let r be w(-6). Which is smaller: r or k?
k
Let b(q) = q + 2. Let i be b(-6). Suppose -15*u = -3*u. Is i < u?
True
Let f(z) = -z - 2. Let c = 19 + -4. Suppose 0 = -j + 6*j + c. Let r be f(j). Is r less than 1/3?
False
Let f = -6 + -24. Let q be (f/(-20))/(102/(-8)). Which is bigger: -0.2 or q?
q
Let q = 0.05 - 0.25. Let j = 1.2 + q. Is 1 at least j?
True
Suppose -2*p - 4*m + 8 = 0, -p + m = -m. Let w be 8/90*(-5)/p. Suppose c = -4*q - 9, 3*c = -3*q + 6*q + 3. Which is smaller: w or c?
c
Let f be (-12)/7 - (-7 + 5). Let d = 12/41 + -2/287. Is f != d?
False
Suppose 4*t - 1 = 5*r, 3*r + t + 7 = 5*t. Let v(u) = -u**2 + 7*u + 4. Let f be v(6). Let l be 22/f - 1/5. Which is smaller: r or l?
l
Let m = -40.7 - -45. Let h = m - 1.3. Is 3 greater than h?
False
Let b(n) = -4*n - 7. Let k be b(1). Do -11 and k have different values?
False
Let l be (-2)/(-3) - (-55)/30. Suppose -11 - 19 = -3*g. Suppose -5*x + 0 = -z - 17, -g = -4*x - z. Which is greater: x or l?
x
Let o = -2.2 + 2.1. Which is bigger: o or 3?
3
Let j(v) = v**3 + v**2. Let s be j(0). Let o(g) = g**2 - 6*g - 9. Let d be o(7). Let f be d*(10/16)/5. Is f equal to s?
False
Let k = 2.1 + -2. Let a = 0.2 - k. Let v = -1 + 1. Which is bigger: a or v?
a
Let r = 1 + -6. Which is bigger: -4 or r?
-4
Let q = 16876/47 + -359. Is q at least 1?
False
Let w = 10/7 + -36/35. Let o(h) = h**2 - 10*h - 1. Let z be o(10). Does z = w?
False
Suppose 0 = -2*v + 3*v - 3. Suppose -d + v = 2*d. Let c = -55/7 + 509/63. Which is smaller: d or c?
c
Let t be (-102)/(-5) - 2/5. Suppose t = -3*p + 7*p. Is p >= 6?
False
Let s = 21 - 22. Let v be s/6*24/(-40). Is 1 at most v?
False
Let r(u) be the first derivative of u**3/3 + 7*u**2/2 + 6*u + 11. Suppose 3*l = -t - 16, -5*l = -3*t - 10 + 4. Let b be r(t). Do 5 and b have different values?
True
Let n be ((-3)/9)/(6/(-18)). Are -3/68 and n nonequal?
True
Let i(j) = -j + 2. Let f be i(1). Suppose -4*u + 5 - 7 = -5*y, 2*y - u = -f. Is 1 < y?
False
Suppose 3*a + 30 - 2 = -5*m, 0 = 4*a + m + 26. Let b be 9*(0 + 2)/a. Are b and -3 non-equal?
False
Suppose -3*t + 175 = 2*s, t = 5*t + 2*s - 234. Is 60 < t?
False
Let u = -2 - -1. Let q be 22/4 + (-2)/(-4). Let m be q/88 - 2/8. Are m and u unequal?
True
Suppose 5*x - 95 = -3*f, -4*x + 13 = -2*f - 41. Let c = 76/5 - x. Let p(i) = -i**3 - 5*i**2 + 7*i + 5. Let w be p(-6). Which is smaller: w or c?
w
Let g = -60.8 - -61. Which is bigger: 2/7 or g?
2/7
Let o(g) = 3*g + 2. Let p be o(5). Let i = -24 + p. Let w = i - -2. Which is greater: -4 or w?
-4
Suppose 0 = 5*x - t - t + 19, 0 = 3*x - 4*t + 17. Let y(k) = k + 4. Let z be y(x). Which is greater: z or -3/7?
z
Suppose -h = -0 - 5. Suppose -4*k - 2*d - 4 = -0*d, -10 = h*d. Suppose -t - t = k. Which is greater: t or -2?
t
Let b(z) = -z**2 - 5*z - 9. Let a be b(-8). Are -32 and a nonequal?
True
Let k = 1 - 6/5. Let t = -3/10 + k. Is t > -1?
True
Let s(d) = -d + 11. Let u = -22 - -33. Let y be s(u). Suppose -2*o - 5*m + 37 = y, 4*o - 13 - 31 = -4*m. Is o greater than or equal to 5?
True
Let h = -7.055 - -0.055. Let y = -0.04 + -5.96. Let u = y - h. Is u <= 1?
True
Let q(c) = 2*c - 8. Suppose 22 = x + 4*x + 4*o, 0 = 3*x - 4*o - 26. Let d be q(x). Let k = d - 5. Is k at most as big as -2?
False
Let r(u) = -3 + 4 - 2*u + 3*u. Let x be r(-1). Which is bigger: x or 2?
2
Suppose 3*w + 2*w - 2*p - 44 = 0, -3*w + 34 = -5*p. Let k be 68/16 + (-2)/w. Suppose -k*i = -3 - 1. Is 2 less than or equal to i?
False
Let z be (-22)/110 + ((-2)/2 - -1). Which is smaller: z or 0?
z
Let j(c) = -8*c + 3*c + 9 - 3*c + c**2. Let l be j(6). Which is bigger: -2 or l?
-2
Let q = 4 + -4.8. Let l = q - 0.2. Let i = -8 - -6. Which is greater: i or l?
l
Let y = 81 - 40. Let t = y + -329/8. Is t less than or equal to -1?
False
Let b = 3 + 0. Let r be -3*(-1)/b*-1. Which is bigger: r or -2/3?
-2/3
Suppose 3*l = 3 - 6. Suppose -2*r = -0 + 2. Is l at most r?
True
Suppose 0 = z + 4*d - 19, -2*z - d - 11 = -7*z. Suppose q + z*q = 56. Which is greater: q or 13?
q
Let h = -291/5 + 59. Let k(r) = 2*r + 1. Let v be k(1). Suppose v + 0 = 3*z. Is h >= z?
False
Suppose -5*i = -2*i - 567. Suppose 3*d - 3*w + i = 0, 0*d - 4*d - 234 = 5*w. Let k = -307/5 - d. Which is greater: k or -1?
k
Suppose 3*z = z - 6. Which is smaller: -20/9 or z?
z
Let p(r) = r. Let u be p(-2). Let v be (12/8)/(1/u). Let d be 21/(-45)*v - 1. Is d > -0.3?
True
Suppose -2*f - 7 + 9 = 0. Are f and 1/6 equal?
False
Let z = 1 - 2. Suppose 5*w = 7*w + 8. Let c be w*(-1)/8*0. Which is smaller: z or c?
z
Let m(q) = -2*q**2 - 13*q - 6. Let y be m(-6). Is 5 greater than or equal to y?
True
Let z(t) = -2*t + 9. Let v be z(5). Let p be (-66)/21 - (-1 - 2). Is p less than or equal to v?
False
Let t = -158 - -103. Let s be (-2)/(-1) + 116/t. Let c = s - 56/495. Is -1 bigger than c?
False
Let b be (-19)/(-21) - (-6)/(-18). Suppose 15 = 4*x - 9. Let j = x - 4. Which is greater: j or b?
j
Let g(h) = -h**2 - h - 3. Let a be g(-4). Do -15 and a have the same value?
True
Let g be (2/(-4))/((-5)/40). Suppose -2*d = -5*j - 12, g*d = -j - 3*j - 4. Let p be ((-4)/10)/(j/(-10)). Is -4 < p?
True
Suppose 3*g - 31 = -28. Let a = -22 - -309/14. Is g less than or equal to a?
False
Suppose 0 = -2*t - 3*c + 20, -2*t - 2*c + 7 + 9 = 0. Suppose -5*n - t = -5*p - 34, 4*n + 4*p + 16 = 0. Let h be (4/10)/(1/5). Is n at most as big as h?
True
Let i be (2 + (-5)/2)*4/11. Is i smaller than -0.4?
False
Let t be ((-3)/(-9))/(1/9). Suppose 0 = -t*f - 3*y - 6, -10 - 2 = 3*y. Suppose -i - 2 = -f*i. Is i greater than 2?
False
Let r(a) = 2*a + 3. Let k be r(3). Suppose k = 2*o + 1. Suppose -o*y + 5*v - 1 = 0, 3*y + 3*v - v = 5. Does 