1 = -7, 0 = -2*y + 3*t - 2. Let c be (10/3 + -1)/1. Do y and c have different values?
True
Let m = 27 - 28. Which is bigger: m or 1?
1
Let k(i) = -i**2 - 5*i - 3. Suppose 5*a + 0*a = s + 9, -4*a = -2*s - 12. Let g be k(s). Let z be 1/(g - 1/(-1)). Which is smaller: 1 or z?
z
Let j = 9 - 6. Let p = -4 + j. Let g(k) = k + 2. Let z be g(p). Are 2/11 and z nonequal?
True
Let f be (-1724)/1980 + 4/18. Let w = -1/55 + f. Which is smaller: w or -2?
-2
Suppose -3*j = 7 + 2. Let r be ((j - -2)*8)/(-2). Let h = r - 2. Is h < 2?
False
Suppose -q + 0 = -1. Let r be (1 - -1) + 4/6. Let o = r + -7/6. Which is bigger: q or o?
o
Suppose -51 = 3*m + 15. Suppose a - 2*z + 26 = 0, -16*a = -18*a + z - 46. Is a != m?
False
Suppose 6*d + 4 = -2. Let f = 378/5 + -76. Which is smaller: f or d?
d
Let a(u) = -u**3 - 2*u**2 + 2*u - 3. Let o be a(-3). Let v = 15 - 18. Which is smaller: v or o?
v
Suppose 0 = 3*s + 13 - 1. Let u be 6/s*24/18. Let r = -95 - -853/9. Do r and u have different values?
True
Let s be (-4)/((-32)/(-12)) + 1. Which is greater: s or -1?
s
Suppose 0 = 2*o + k - 6 - 1, 5*o - 4*k = -15. Let n be (-1)/(3*(-29)/6). Are o and n nonequal?
True
Suppose -82*h + 88*h + 12 = 0. Which is greater: h or -21/19?
-21/19
Suppose 0 = 2*i + 4*o, -15 = -5*i + 4*i + 3*o. Suppose 0 = i*g - 11*g + 5. Are g and 1/5 unequal?
True
Suppose 11 + 1 = t. Let o be (-9)/6 + (-30)/t. Which is smaller: o or -20/7?
o
Let z = -0.4 - -0.2. Let y = 2.4 + -2.2. Do y and z have the same value?
False
Let d = -6 - -12. Suppose -d - 6 = -4*s. Let o = s - 7. Is o > -4?
False
Let y = -0.4 - -0.1. Let z = -0.4 - -1.1. Let c = 0.3 + z. Which is smaller: y or c?
y
Let s be -11 + 14 + (-13)/9. Let m be (-5 + 2)*3/(-9). Which is bigger: m or s?
s
Let k = 3.9 + -5. Let b = -0.1 - k. Is -9 < b?
True
Let c(s) = s**3 + 4*s**2 + 3*s. Let p be 12/(-2)*(-1 - -2). Let l be c(p). Let j be 4/20 + 38/l. Is j at most as big as 0?
True
Let q(d) = -d**2 + 11*d - 7. Let b be q(7). Suppose 0 = -2*j - 6, -3*p + 2*j + b = -3*j. Suppose 6 + p = 2*c. Are c and 4 equal?
True
Let a be 17/5 - 6/15. Suppose 0 = a*w - 0*w. Is w at most 1/3?
True
Let p = 10.1 - 10. Is -9 at least p?
False
Let h(u) = u**3 - u**2 + 7. Suppose -4*i = -5*i. Let d be h(i). Suppose 5 = 3*l + z, -3*l - 3*z + d + 8 = 0. Which is greater: 2/15 or l?
2/15
Let b = 6 - 5.8. Is -0.4 bigger than b?
False
Let x(a) = -2*a + 7. Let q be x(3). Is q != -2/27?
True
Let d be (-2)/(-2) - (-17)/(-1). Let l = 10 + d. Do l and -7 have different values?
True
Let g = -0.1 + -0.1. Let s = -6 - -6.3. Which is smaller: s or g?
g
Let m = -4 - -3. Is m <= 0.1?
True
Suppose -4*k + 0 = -4. Let j = 28.81 - 27.5. Let w = j + -1.3. Are k and w unequal?
True
Let m = 0.32 + -0.24. Let g = m - -2.92. Which is bigger: g or 0.1?
g
Let n = 24.9 - 25. Is 1/2 less than or equal to n?
False
Let i(p) = -p - 11. Let t be i(-6). Let w(u) = -2 + 5*u**2 - 4 + 1 + u**3 + 7*u + 3*u**2. Let k be w(-7). Is k equal to t?
True
Let o be 1*((-26)/30 - -1). Let v(k) = k**2 - 16*k - 17. Let l be v(17). Does l = o?
False
Let p = 1/30 + 3/10. Let i = -6 - -5.9. Are i and p unequal?
True
Let b = 0.04 - -2.96. Let d = 0 + b. Which is greater: d or 0?
d
Let r = 1625781/2926 + -12169/22. Let o be (-122)/38 - (-1 + 0). Let f = o + r. Is f bigger than 1?
False
Let y = -15.1 - -14. Let m = -0.1 - y. Is m smaller than 0.4?
False
Suppose b + 49 = -2*b - 5*d, -b - 3 = -d. Let i(t) = t**2 + 4*t - 1. Let w be i(-4). Let h be (w - -2)*1*-7. Which is greater: h or b?
h
Let j be 2/(4 + -2) - 7. Let b = -6 - j. Which is bigger: 0.1 or b?
0.1
Let q = -1/33 - -4/11. Let a(i) be the second derivative of -i**4/12 - 7*i**3/6 + 4*i**2 + 2*i. Let f be a(-8). Which is bigger: q or f?
q
Suppose 4 = 4*r, 5*r - 9 = -2*n + 6. Suppose 0*p = n*p - 5*g + 10, 0 = -5*p - g + 8. Which is bigger: 3 or p?
3
Suppose 3*u + 2*m = 0, 5*u - 2*m - 14 - 2 = 0. Suppose -r - 5 = -b, 0 = 5*r - u*b - 10 + 29. Is r != -8?
True
Let r be (-412)/(-28) + (-2)/(-7). Let f be (-3)/(-15) + (-3)/r. Is 5/4 != f?
True
Let c = -0.4 - 6.6. Let z = 7.1 + c. Is z greater than -1?
True
Suppose g - 5 = t - 3*t, g = -3*t + 8. Let f be 2*1*g/2. Let q = 3 - 2. Which is smaller: f or q?
f
Let p be 50/6 + 2/(-6). Let u(m) = -m**2 + 7*m + 6. Let g be u(p). Are 0 and g non-equal?
True
Suppose 0 = -l + 4*l + 18. Let d be (l + 8)*(-6)/(-16). Which is greater: 2 or d?
2
Let j = 7 + -7. Let y = 3 - j. Suppose -2*m + 5*m = -y. Is -2 at most as big as m?
True
Let d(i) = -i**2 + 15*i - 17. Let h be d(13). Let m be (h/(-30))/(18/(-5)). Which is smaller: -1 or m?
-1
Suppose 57 = 4*b - 3. Which is bigger: b or 16?
16
Let g = 304/3 - 99. Which is greater: g or -1?
g
Suppose -8*x = -3*x - 70. Which is bigger: 15 or x?
15
Suppose 2 = -3*s + s, -3*s + 8822 = 5*m. Let c = m - 63589/36. Let z = c + 10/9. Which is bigger: -1/3 or z?
z
Suppose -2*u = -0*u - 32. Let w = u - 11. Is 4 less than or equal to w?
True
Let m(u) = -u**3 + 18*u**2 - 18*u + 22. Let h be m(17). Let w = 3 - -2. Are w and h equal?
True
Suppose -7*v - 72 = -9. Does v = -10?
False
Let o = -1.5 - -1.7. Which is smaller: -2/11 or o?
-2/11
Let k = 0 + -3. Let f(n) = -n**2 - 4*n. Let m be f(-3). Let b = m + k. Is b equal to 2?
False
Let z be 2 - ((-30)/(-4))/3. Let y be 0/(2 - (9 - 4)). Is y smaller than z?
False
Suppose 2*c = -s - 8, -3*c + 4*c + 3*s = -9. Let i = -3.4 - -4. Which is smaller: c or i?
c
Suppose -2*v = p - 0*p + 12, 2*p + 9 = v. Let h be (3/(-27))/(2/p). Which is bigger: h or 0?
h
Suppose -11 - 9 = -4*q. Is q bigger than 5?
False
Suppose 0*q = -3*q + 18. Let c be (q/(-10))/(6/(-4)). Is c not equal to 1?
True
Let j = 0.25 + -12.35. Let i = j + 12. Which is greater: i or -2/3?
i
Let b(n) = 0 - 3*n**2 + 4*n**2 - 1 + 5 + 6*n. Let z be b(-5). Is z at most as big as 1/5?
True
Let x = 13.1 + 2.9. Let h = x - 15.9. Is 2/7 less than h?
False
Suppose -2*b = -5*m - 3 + 9, 5*m - b - 8 = 0. Let r(p) = 3*p**3. Let n be r(1). Which is greater: n or m?
n
Suppose -8*z = z + 16*z. Let f = 1/177 + -79/59. Which is smaller: z or f?
f
Let k be 4/(-6)*91/(-26). Let c be 1 + -1 - -1 - 0. Is k equal to c?
False
Suppose -4 = -5*k + 1. Let i be (2 - 0)*(-3)/129. Is k < i?
False
Let g be -4 - -1 - ((-1)/16 - 3). Which is smaller: g or 0?
0
Let g = 0.046 + -10.646. Let f = g + 11. Which is smaller: f or 1/4?
1/4
Let o = -8 + 8.3. Let f = -11 - -8. Let c = f + 3.1. Which is bigger: o or c?
o
Suppose n - 6*n = -3*y + 40, -3*n = -3*y + 36. Let l be (7/(-105))/(4/y). Let c = l - -2/3. Which is bigger: -0.3 or c?
c
Let u = -1 + -4. Let i = 5.3 + u. Which is smaller: -0.2 or i?
-0.2
Suppose -i - 5 = -3*x - 1, -2*i - 3*x = -19. Suppose 3 = i*q - 2. Which is bigger: -2/9 or q?
q
Let v = 5/92 + 701/644. Let h = 3 + -1. Which is smaller: h or v?
v
Suppose 6 = h + 4. Is 3/2 smaller than h?
True
Suppose 4 = 7*x + 4. Is x less than 2/279?
True
Let q = -1.6 - -1.7. Which is greater: q or -0.26?
q
Suppose -i - 4*r + 14 = i, -2*i + 2*r - 10 = 0. Let f = -137/5 - -27. Which is smaller: f or i?
i
Let p = 137 - 136.8. Is p <= -1/28?
False
Suppose -17*a + 14*a + 120 = 0. Are a and 39 nonequal?
True
Let k = -81 - -71. Is k at most as big as -13?
False
Let n = -0.126 - 0.174. Let y be (-1)/(-5) - 2/(-15). Which is bigger: n or y?
y
Let j = 1.7 - 1. Let y = j + -6.7. Let n = -4 - y. Which is greater: n or 0?
n
Let z(y) = y + 10. Let q be z(0). Suppose 5*g = -2*f + q, -5 + 1 = -3*f - 2*g. Which is smaller: f or -3/4?
-3/4
Let v be (-1)/((-3)/6) + 3. Suppose 3*y = 4*s - 1, -4*s + 0*s - y = -v. Is s greater than or equal to 1?
True
Let g be 14*1*(-4)/8. Is -2 greater than g?
True
Suppose -2*a + w + 22 = -4*a, 4*w = 5*a + 29. Let p = a + 13. Which is smaller: 5 or p?
p
Let s(u) = -u**3 + 7*u**2 + 5*u + 16. Let z be s(8). Which is bigger: z or -9?
z
Let q = 0.2 - 0.3. Do 1/12 and q have the same value?
False
Let r(a) be the first derivative of -8/3*a**3 - 1/4*a**4 + 10*a + 1/2*a**2 + 2. Let s be r(-8). Is s > 1?
True
Let z be 92/6 - (-4)/6. Let l = -10 + z. Let o be 3/l*2/5. Is -1 > o?
False
Let u = -33 + 32. Is u bigger than -1?
False
Let f = -2 + 3. Which is bigger: 4/35 or f?
f
Suppose 3*v + 6*t = t + 31, -4*v + 4*t = 12. Suppose v = i - 3*i. Suppose -7 = 3*x - 1. Is i less than x?
False
Let x be 6/4*(-12)/(-9). Let c be 1 - -1 - 2/x. Let h be (-1 - (2 + -