 Let v be u(4). Let d = v - 257/3. Which is smaller: d or c?
c
Let g(v) = v - 2. Let w be g(3). Let r be (1 - w)/((-6)/3). Let n(z) = z - 5. Let a be n(6). Are r and a unequal?
True
Let m = -29 - -7. Is -1/2 < m?
False
Let y be (9/(-15))/(1/5). Let w be 3/y + 2 - 2. Let g be 7/(-45) - (-10)/45. Is w smaller than g?
True
Let h = 1.09 + 0.81. Is h at least as big as 3?
False
Let m(t) be the third derivative of -t**4/24 + t**3/6 - 3*t**2. Let b be m(1). Is 0 at most b?
True
Suppose -2*d = -3*v + 3*d + 11, -v = 2*d. Which is greater: 0 or v?
v
Let d = -1.8 + 1. Let m = 0.2 - d. Let n = m - 4. Which is smaller: n or -1/5?
n
Suppose -6*y = -3*y - 21. Let z be (y/28)/(2/(-8)). Which is greater: z or -2/45?
-2/45
Let v be 1/2 + (-2)/(-4). Let c = -16 - -17. Is v greater than c?
False
Let d = 57 - 57. Which is bigger: d or -7?
d
Let y(i) = i + 3. Let k be y(6). Suppose -5*t = -4 + k. Let j be t + (-2 - (-32)/10). Is j at least -1?
True
Let j be (4 + (-21)/6)*-2. Which is smaller: j or -11?
-11
Let l(i) = -10*i - 20. Let b(c) = -4*c - 8. Let s(z) = 12*b(z) - 5*l(z). Let n be s(-2). Which is bigger: 2 or n?
2
Let u be 4/(-10)*(-6)/((-24)/(-10)). Which is bigger: -1/4 or u?
u
Let m = 49.83 - 50. Is -0.3 smaller than m?
True
Let g = -2.1 + 2. Let a = 0.1 + 0.2. Let w = g + a. Which is smaller: 1/4 or w?
w
Let v = 0 + -0.9. Let a = 0.11 - 1.11. Let s = a - v. Which is greater: s or 3?
3
Let h be (-8)/(0/4 + -2). Let k = -1 - -4. Suppose -k*n - 1 = -h*n. Does 3/11 = n?
False
Suppose 3*y = -2*y + 25. Suppose -3*z - 5*l + 25 = 2*z, y*z + 7 = 3*l. Is z bigger than 1?
False
Let p = -2 + 5. Suppose -2 = -u + p*u. Is u at least as big as 1/9?
False
Let t = 0.14 + -0.04. Let d be 4/6*12/16. Is t != d?
True
Let d be (2/(-4))/((-11)/132). Is d at least as big as 3?
True
Suppose -3*b - 6 = 3*w + 3, 3*b + 9 = 0. Is w equal to 6?
False
Let b be (-2)/(2 + 8/(-5)). Which is bigger: b or 2/5?
2/5
Let b = 0.72 - 0.63. Which is greater: 2 or b?
2
Let k(f) = f**2 + 2*f - 3. Let t be k(-4). Suppose -o + 6*o = -t. Is o greater than or equal to 1?
False
Let i = -1286/7 + 184. Which is greater: 38 or i?
38
Let v be (-1 + (-6)/4)*-2. Suppose -4*t = -3*w - 22, -6*w + 4*w + 4 = 2*t. Is t at most as big as v?
True
Suppose -3*z - 10 = 4*t + 2*z, 2 = 4*t - z. Let j = t + -2. Let g be (4/4)/(j/(-2)). Is 1 equal to g?
True
Let i be 2 + (-160)/75 + 4/30. Is i at least as big as -4/17?
True
Let l(d) = -2 + 5 - d + 2*d. Let q be l(0). Suppose 6 + 3 = -q*w. Is -3 > w?
False
Let h = -18123/17 - -1065. Which is smaller: h or -2?
-2
Let t = -13 - -25. Let z = t + -8. Let m = -4 + z. Which is greater: 2/3 or m?
2/3
Let i = 0.249 + 3.751. Suppose -5*c = -4*b + 20 + 3, -10 = -5*b. Let t = 2 + c. Are t and i equal?
False
Let u = -26 + 94. Are u and 1 equal?
False
Let f = 32 - 42. Is -11 at most as big as f?
True
Let k = -1 - 2. Suppose -d - 25 = 4*d. Which is smaller: k or d?
d
Suppose -17*p + 5 = -12*p. Suppose -2*o = 3*f - 6, -4*o + 1 - 3 = -f. Is o greater than or equal to p?
False
Let z = -68 - -68. Suppose 2*m - o = 19, -m + 2*o + 8 = -6. Which is bigger: z or m?
m
Let x be 7/(-3 + (-2 - -6)). Let c = x + -4. Suppose 0*p + 3*i + c = 3*p, 2*p - i + 2 = 0. Which is smaller: -2 or p?
p
Suppose -2*x = 3*n - 3, -x - 4*n = 2*x - 4. Suppose -4 = -x*u - 2*u. Suppose -u = 3*i - 4*i. Which is greater: 3 or i?
3
Let y = 5 + -4.96. Suppose o + 3 = -5*b, b = -0*b + 5*o - 11. Is b at least y?
False
Let s = 22.51 + -0.51. Let w = -20 + s. Is -2 greater than w?
False
Let k = -48.1 - -48. Is k at least 17?
False
Let n(p) = p**3 + p**2 + 1. Let i(f) = -6*f**3 - 4*f**2 - f - 8. Let z(h) = -i(h) - 5*n(h). Let a be z(0). Is 4 bigger than a?
True
Suppose -6*y = -y + 3*p - 29, 0 = -2*y + 4*p + 22. Let l be 2/y + (-324)/154. Let x = l + 49/33. Is 1 < x?
False
Let m be ((-16)/21)/2*387/516. Is m smaller than -1/11?
True
Let i(u) = u**2 - 18*u + 15. Let a be i(17). Which is greater: a or -0.1?
-0.1
Let f be (-426)/1887 - 16/(-136). Which is smaller: f or 0?
f
Let v(t) = -t**2 - t + 1. Let q be v(0). Is -1/4 greater than q?
False
Let h be 6/(-27) - (-16)/153. Is -1 greater than or equal to h?
False
Let u = -1 + 2. Suppose 5*p - 2*n - 6 = 0, -6*n - 9 = -p - 3*n. Which is bigger: p or u?
u
Let p = 9 + -173/19. Let d(t) = -t**3 + 14*t**2 - 14*t + 12. Let l be d(13). Is p < l?
False
Let x be (-3)/(-4) - (0 + 1). Let s = -54 + 271/5. Is x equal to s?
False
Let t(y) = y**2 + 6*y + 2. Let v be t(-6). Suppose 3*b - v = -5. Is -2/13 at least as big as b?
True
Let q be 1*2 - 15/(-5). Suppose 4*n = 6*r - r - 4, 2*r - q = 5*n. Is r smaller than 1?
True
Let j be ((-16)/6)/(-4)*-3. Let p(d) = 2*d + 17. Let u be p(-10). Which is smaller: j or u?
u
Let x(y) = -15*y + 53. Let b be x(4). Is 0.6 at most b?
False
Suppose 6*b = b + 5. Let d be (b - 76/(-8))/6. Which is greater: 0.1 or d?
d
Let r(t) = -t - 1. Let z be r(0). Let k = z - 4. Is k at most as big as -6?
False
Let u = -1 + -5/2. Is u at most as big as -5?
False
Suppose 2*m + 3*m = 0. Which is smaller: -2/11 or m?
-2/11
Let y be (6/(-8))/(4 - (-118)/(-16)). Which is smaller: -30 or y?
-30
Let d be ((-4)/(-6))/(140/(-270)). Is -0.2 greater than or equal to d?
True
Let z be 3/(-12) + (-18)/(-8). Let o = z + 0. Is o <= 3?
True
Let i(z) = -z - 1. Let t be i(-3). Suppose 0 = -3*c + c. Suppose -3*v + c + 6 = 0. Do v and t have the same value?
True
Suppose -p = 7 + 18. Let z be (-4)/2*5/p. Is z smaller than -1?
False
Let f be 133/(-273) - (-2)/6. Let i = 3 - 3. Suppose -3*j + 0 - 1 = m, i = 2*j. Which is greater: f or m?
f
Let m be (44/(-12))/((-1)/(-3)). Is -12 bigger than m?
False
Let j(z) = z - 7. Let t be j(6). Let c be (1/3)/(11/(-6)). Is c greater than t?
True
Suppose 2*r - 3*m = 15, 3*r + 4*m = -21 + 1. Let l = r - 1. Does l = -1/9?
False
Let a be 1*(6/(-13))/3. Let d be 1*((-1 - -5) + -5). Is d less than or equal to a?
True
Let p be 1/2*1*-4. Suppose 3*z = z + 2*f - 2, 2*f + 10 = -4*z. Is p at most as big as z?
True
Let s(q) = -q**2 - 15*q + 16. Let z be s(-16). Which is smaller: z or -4?
-4
Let u be (-5 + 2 + 1)/(-8). Suppose 0 = -3*g - 5*s + 58, 0*s - 3*s + 26 = g. Which is greater: u or g?
g
Let z be 1/4 - (-385)/(-1364). Is 0 at least z?
True
Let n be ((-6)/9)/(2/(-9)). Suppose -h - 3*h - 16 = -4*j, 0 = -2*j - 4*h + 2. Let v = n - j. Which is smaller: 1/5 or v?
v
Let h = -1727/372 - 3/124. Is -2 less than or equal to h?
False
Let w be (-6 - 0)/((-16)/6). Which is greater: w or 1?
w
Let h be (-36)/1*((-42)/(-12))/(-7). Is h > 17?
True
Let c = -2 - -4. Suppose 0 = 2*b - b - c. Suppose 0 = -b*w - w - 6. Is -2 equal to w?
True
Let j(h) = h**3 + 2*h**2 + 2*h + 1. Let n be j(-3). Which is smaller: n or 0?
n
Let t = 7 - 7. Let l = 180/11 - 834/55. Is l bigger than t?
True
Let j = -4011 + 28165/7. Is 14 bigger than j?
True
Let t be (-6)/(-33) - 842/(-88). Let f = t + -191/20. Which is smaller: f or -1?
-1
Suppose 0 = 4*v - a - a + 8, -5*v + 8 = 2*a. Suppose 3*w + 4 = 2*j, -j - 3*w = -v*j + 7. Is j greater than or equal to 1/7?
False
Let g = 0.3 + -0.4. Let m be (-18 + 16)*((-11)/10 - 0). Is m at most as big as g?
False
Let k(d) = -d**3 - 9*d**2 - 6*d + 8. Let y be k(-8). Let p be (y/(-12))/((-2)/(-9)). Is 7/3 < p?
True
Let o be ((-3)/(-8))/(3/4). Which is bigger: o or 7/4?
7/4
Let y be (-3)/((-24)/(-2806)) - -1. Let j = 352 + y. Let l = 11/4 - j. Which is smaller: 1 or l?
l
Let l = -8.21 + 55.11. Let r = l - 41. Let v = r - 6. Does -0.1 = v?
True
Suppose 3*y + 0*y + 11 = -5*o, 4*o = -y - 6. Let f = -2 + 1. Let d be (-10 + 6)*1/f. Is o greater than or equal to d?
False
Let a be (-5)/(-3) + 2/6. Suppose 4*w = -16 - 12. Let i = w + 8. Which is smaller: i or a?
i
Suppose 2*q = -3*t + 2, 4*t + 10*q = 5*q + 5. Which is smaller: 3/47 or t?
t
Let d = 38 + -36. Which is smaller: d or 6?
d
Suppose 0*f = 4*f - 24. Let t be (-8 - -3)*f/(-5). Let q = 8 - t. Is q < 3?
True
Let n(x) = 7*x + 39. Let j be n(-3). Which is smaller: 19 or j?
j
Let t(z) be the third derivative of 0 - 1/30*z**5 + 4*z**2 - 1/8*z**4 - 1/6*z**3 + 0*z. Let b be t(-2). Are b and -2 non-equal?
True
Suppose 6 = 3*q - 4*v, -3*v + 14 = 3*q - 13. Let x = 8 - q. Are 2/3 and x unequal?
True
Suppose 0 = -53*m + 51*m + 6. Which is smaller: 2 or m?
2
Let b = 1728 + -98492/57. Let l = b + -134/285. Is 0 < l?
False
Let b = 3 + 1. Whic