et s be (-32)/n - 2/(-1). Let y = s + 8. Is y greater than 0?
False
Let t be (-31)/(-4) + (-5)/(-20). Suppose 5*d + 2 + t = 0. Let z be 0 + -1*(d - -4). Is z > -2?
False
Let v = -2.5 + 2.6. Which is greater: 0.5 or v?
0.5
Suppose 3*b = 5*o - 17, 5 = -3*o + 5*b + 28. Suppose -10 = -0*p - 5*p. Let w be (-1 - -5) + p*-1. Is w bigger than o?
True
Let k = 50.828 - -0.172. Is k equal to -2?
False
Let c be -6*2/(-2 + 0). Let x = c - 10. Suppose 0*y + 13 = -3*p + 4*y, -5*p - 12 = 3*y. Which is bigger: p or x?
p
Suppose 4*h = -4*a - 4, -32 = -6*a + 2*a + 5*h. Suppose -x = -a*x. Which is smaller: x or 1/2?
x
Let l be (7/63)/(3/(-9)). Let f be 1/2 - 3/12. Which is smaller: f or l?
l
Let t be (-2)/(-10)*7/(-28). Are t and 1 non-equal?
True
Suppose 0*v = 2*v. Suppose 3*p + 3*l + 48 = -v*p, 2*l - 80 = 5*p. Let g = p - -10. Is g greater than -7?
True
Let o be (-4)/((-72)/(-51)) - -3. Which is smaller: 1 or o?
o
Let b be ((-20)/(-12))/(1/3). Suppose 2*s - b = -3*s. Suppose -5*w + 4 = -s. Which is bigger: w or 8/5?
8/5
Let r be (-22)/(-30) + (-2)/5. Which is greater: -3 or r?
r
Let z = -201.9 - -202. Suppose -3*r = 6 + 3. Is z smaller than r?
False
Let v = 13/31 - 128/527. Which is bigger: 1 or v?
1
Let h be (-10)/(0 - (-3 + 1)). Let j be (2/1)/(-1 - h). Let t = -6.9 + 7. Do t and j have the same value?
False
Let h = -170/7 + 559/21. Which is greater: h or 3?
3
Let s = -9 - -7. Let j = s - 2. Let h = j - -4.1. Is h at least 5?
False
Let j be ((-2)/(-6))/(6/9). Let o be (-8)/(-6)*(1 + (-4)/8). Which is greater: o or j?
o
Suppose 3*d - d = 4. Are 2 and d equal?
True
Suppose 0*o + d + 25 = 5*o, 5*o = 3*d + 35. Suppose 2*u + 10 = o*a, 4*a - 12 = 4*u - 0*u. Is u not equal to -1?
False
Let g = 1 + -4. Let i be 2/g + (-16)/(-30). Are 1 and i nonequal?
True
Let o be 11/(-44)*(-56)/2. Suppose j + 2*y + o = -0*j, 3 = -y. Let f be ((-2)/3)/(4/6). Is f equal to j?
True
Let d be (-32)/80*(-10)/(-706). Let j = d + 724/3177. Do j and -1 have the same value?
False
Let x(i) = -5*i + 1. Let z be x(-1). Suppose 0 = z*h - 3*h. Let n be 40/(-44) + 1/1. Which is smaller: n or h?
h
Let i be 1 + (0 + 1)*-2. Which is smaller: -21/10 or i?
-21/10
Let o = 0.106 + -0.306. Are o and 0.14 nonequal?
True
Suppose -4 = 2*x - 6*x. Let t = 1 - x. Let k = -256/3 + 86. Are t and k non-equal?
True
Suppose -4*r + 1 = 5, 3*l = 3*r. Let j be (-8)/(-78) + ((-10)/15)/2. Which is bigger: j or l?
j
Let n = -11 + -3. Let f be 2 - (-6 + (-20)/(-4)) - 18. Is f at least as big as n?
False
Let t(w) be the third derivative of w**6/120 + w**5/30 - w**4/24 - w**3/3 + w**2. Let x be t(-2). Let q be -2*(6/4 - x). Which is smaller: q or -2?
q
Let h be (-38)/(-90) - (-2)/(-10). Let s be 2/((-10)/(1 - -4)). Which is bigger: s or h?
h
Let o be (-3)/(147/7) + (-33)/(-133). Let t(y) = -y**3 - y - 1. Let s be t(-1). Is s equal to o?
False
Let h be (-1)/(-2)*(1 + -3). Let a(z) = -z - 9. Suppose 5*t + 8 = -27. Let r be a(t). Is r bigger than h?
False
Suppose 5*d + 8 + 2 = 0. Let p be d/(-8) + 28/16. Is 3 <= p?
False
Let u(j) = -3*j**2 - 21*j - 9. Let i be u(-6). Is i equal to 11?
False
Suppose -4 = -2*y + 2. Suppose -4*v = y*n - 2 + 10, -2*v = 3*n + 10. Let m = -186/1003 + 4/59. Is v greater than m?
True
Let v(o) = -4*o. Let l be v(-6). Let f be 4/(-14) + l/84. Which is smaller: f or -1/12?
-1/12
Let v(z) = -2*z**3 + z**3 + 2 + 0*z**3 + 3*z. Let i be v(-2). Suppose -q = i*q + 5. Is -2 <= q?
True
Let c = -1/101 - 99/202. Which is smaller: -47 or c?
-47
Let g(n) = 5*n**3 - n**2 - 3*n - 3. Let x be g(-1). Is x greater than or equal to -35/6?
False
Suppose -2*k + 5*g = 128, -k - k - 120 = -g. Let w = k + 95. Let r = w - 109/3. Is r at least as big as 1?
False
Let h = 15 - 16. Let c = 0.9 + h. Which is bigger: c or -0.06?
-0.06
Let l = 0.396 - 0.296. Let n = -0.02 - -0.62. Is l >= n?
False
Suppose 0 = 3*b - 8*b - 5. Let f be 1*1/2*b. Which is bigger: -2/15 or f?
-2/15
Let x(l) = -l**3 - l**2 + l + 1. Let p be x(-1). Suppose -5*n - 5*z - 5 = p, -4*n - z + 0 - 4 = 0. Let u be (-1)/(-6) + 2/(-12). Which is smaller: n or u?
n
Let x be (2/(-5))/((-1)/2). Let u = 32 - 23. Suppose 7 = -3*d + 3*v + 2*v, 0 = -5*d - 2*v + u. Which is bigger: d or x?
d
Let q = 115 + -113. Is 24/11 less than or equal to q?
False
Let g(i) = -4*i - 15. Let s be g(-6). Which is smaller: 10 or s?
s
Suppose -3*n = -18*n + 180. Which is greater: n or 9?
n
Let z(n) = n**3 + 2*n**2 - 2*n + 3. Let g be z(-3). Suppose -5*p - 3*s + 0*s + 7 = g, 0 = -2*p + s - 6. Is -1 > p?
False
Let v = 4 + -3.9. Suppose -1 + 11 = 2*z. Let o be (0 + -1)*1 + z. Which is smaller: v or o?
v
Suppose -2*f - 2 = -3*i - 0*i, 5*f + 2*i + 5 = 0. Let o(z) = 7*z**2 + 2*z + 1. Let m be o(f). Let u = m + -6. Is u < -2/25?
False
Let r(x) = 6*x + 1. Let t be r(-2). Is -10 less than t?
False
Let n(v) = v**2 + 9*v + 4. Let b be n(-9). Suppose b*t = -t + 90. Let g be 4/t - (-11)/(-9). Do -4/9 and g have different values?
True
Let m(t) = -4*t**2 + 4*t - 20. Let d be m(-5). Do -140 and d have the same value?
True
Suppose -4*l - 28 = -4*x, -x + 4*x + l = 5. Let v = -5 + x. Let w be (-2)/v + 3/6. Which is smaller: 1 or w?
1
Let l be (0 - 0)*(-3)/(-6). Which is greater: 0.08 or l?
0.08
Suppose 5*m = f + 33, 4*f + 5*m = -143 + 36. Is -29 at least as big as f?
False
Let b be 40/6 + 11/33. Is b > 10?
False
Suppose -3*l = -5 + 2. Suppose 2*m + 1 + 5 = v, -2*m - 4 = 0. Suppose 2*q = 4 + v. Which is bigger: q or l?
q
Suppose -5*b + 12 = 2*u - 3*b, -u + 3*b - 6 = 0. Let g be 10/u + 2/(-6). Suppose -2*i + g = -1. Do 2 and i have different values?
False
Let q = 245/2241 - 6/83. Let x = q + 25/54. Let f be 0/(-2)*(1 + -2). Which is smaller: f or x?
f
Let i(w) = -8*w**2 + w. Let c be i(1). Let h = -2 - c. Suppose -5*u + 4*k - 2 = -5, 5 = h*u - 5*k. Which is greater: u or -2?
u
Suppose 32*k - 29*k = -75. Suppose h + 1 = m - 8, 2*m - 21 = 3*h. Let p be 6/(-36) - k/m. Is p greater than 4?
False
Let f(l) = -l**3 + 6*l**2 - 6*l + 6. Let p be f(5). Let t = 0.081 - -0.019. Which is smaller: p or t?
t
Suppose 2*g = -g - 60. Which is greater: -64/3 or g?
g
Let m = -1 + 3. Let n be 3/63*(m + 4). Which is smaller: n or 1/3?
n
Suppose 5*u = -2*u + 21. Let x = -258 - -1809/7. Is x at least u?
False
Let r = 1 - 3. Let n = -58 + 402/7. Which is smaller: r or n?
r
Let y = -0.1 - 0.9. Let s be (0 - (-522)/(-5))*1. Let l = s + 105. Is y <= l?
True
Suppose 5*d = -0*d + 20. Let i = d + -4. Let g be (i/(-1))/(2 + -3). Which is smaller: -1 or g?
-1
Let u = -0.2 + 0. Let q = -6 - -9. Let f = q - 3. Is f at least u?
True
Let g = -1/2 - -1/4. Is -1/5 >= g?
True
Let k = -6 + 5. Let z = 733 + -5147/7. Let v = z - -130/63. Is k at least as big as v?
False
Suppose -4*k + k = 0. Suppose 0 = -6*a + 3*a. Are a and k non-equal?
False
Let n(r) = 2*r**3 - 3*r**2 - 4*r + 7. Let w be n(2). Is w greater than -4?
True
Let u be (-92)/69 + (-8)/(-6). Let f = 41 + -19. Let k be -1 + 0 + f/18. Which is smaller: k or u?
u
Let p be (-97)/(-57) - 1 - 6/9. Do p and -2 have different values?
True
Let u(p) = 3*p**3 - 3*p**2 - 2*p + 1. Let z be u(-4). Let k be 2/3 + z/9. Is -24 equal to k?
False
Suppose 5 = a + 4*a. Let v be (0/(-3) + 4)/a. Is 4 < v?
False
Suppose c - 3*c = -3884. Let p be c/40*(1 - 3). Let m = -97 - p. Which is bigger: m or 1?
1
Let g(i) = 6*i + 32. Let y be g(-7). Which is bigger: -26/3 or y?
-26/3
Suppose -u - 1 = 4*r - r, -u - 1 = 4*r. Let w = -88 - -613/7. Is u equal to w?
False
Let d = -1.3 - -1.26. Let b = 0.96 - d. Which is bigger: b or -3?
b
Let h be 90/(-4)*64/12. Let f = h - -602/5. Which is bigger: 1 or f?
1
Suppose -2*z - 1 = -z + 3*l, 17 = -3*z + 5*l. Is z at most -3?
True
Let x = -1.96 + -0.04. Let t = -1 - -2. Does t = x?
False
Suppose -2 + 3 = -n. Let s be 6/(-4)*(-4)/3. Suppose s*x = u + 3, -2*u - 1 = 9. Is n greater than x?
False
Let v = 1427/6 + -239. Which is smaller: v or -2?
-2
Let c(q) = -8*q**2 + 1 - 2*q**3 + 3*q**3 - 2. Let u be c(8). Is -3/8 >= u?
True
Let u(d) = -18*d**2 + 2*d - 9. Let j be u(-7). Let c = j - -6350/7. Let z = 68/35 - c. Which is smaller: z or 1?
z
Let p = 6 + -5. Which is smaller: p or 6?
p
Suppose 4*u + 3 = 11. Is u >= -3?
True
Let i be 4/14 - (-48)/(-21). Let u be i + -1 + 276/88. Is -1 <= u?
True
Let g = -136 + 133. Is -4 at most g?
True
Let m be (2 + -3 - 0) + 2. Let s = -4 + m. Which is smaller: