1). Let m = -14 + d. Which is smaller: 2 or m?
m
Let m = -0.13 - 6.87. Let y = -49 - -42. Let p = y - m. Which is greater: p or -0.05?
p
Let t = -5488 - -27337/5. Is -20 greater than t?
True
Let f be 1217/(-9) - 0/4. Let d = f + 135. Is d < 0.1?
True
Let g = -0.02 + 1.02. Let s = g + 1. Is 2 != s?
False
Let y = -18.14 - -18. Let w = -0.04 - y. Which is bigger: -0.3 or w?
w
Let g be (6/184)/((-5)/(-20)). Is g greater than 1?
False
Let c be 30/(-9)*18/5. Let o be c/(-28) - (-12)/21. Is -1/22 > o?
False
Let s = -5 - -5. Suppose s = -0*k + k. Let y be -2 + k - (-1)/1. Which is smaller: 1/5 or y?
y
Suppose -4*t - d = -8, 4*d - d - 11 = t. Let x(w) = -w**2 - 4*w + 3. Let l be x(-4). Let v be (t - l)/(10*-1). Is v greater than 1?
False
Let g be -4*1/(-4)*1. Let s be (g - 0)/((-13)/78). Which is smaller: -8 or s?
-8
Suppose 5*q = -3*l - 18, 2*l = -0*q - 2*q - 8. Is q equal to 0?
False
Suppose 18 + 0 = -3*r. Suppose 32 = -4*h + 2*t - 6*t, -2*t - 1 = -h. Do h and r have the same value?
False
Suppose -5*j - 2 - 2 = 4*y, -5*y - 5 = -5*j. Let f be (-1)/(-1) + (-20)/24 - 1. Is f < y?
False
Let h = 6 - 11. Which is smaller: h or -3?
h
Suppose 3*g + 0 = 9. Suppose -g*r + 0 = 3. Let q(j) = -2*j**3 - 2*j**2 - j. Let d be q(-1). Which is smaller: d or r?
r
Suppose 6*n + y - 70 = 3*n, -2*n + 49 = 3*y. Is n less than 21?
False
Let x be 2/(-26)*(1 + -13). Which is smaller: 1 or x?
x
Suppose 0 = -f - 2, 4*f + 2 = -5*y + 3*y. Let t = 1 + y. Suppose 0 = 3*l - t*a - 7 + 24, 20 = 4*a. Which is smaller: l or -2/13?
-2/13
Suppose -10 = -k - 4*o, 2*k - o = 6*k - 10. Suppose -3 = -3*u + 5*s, -3*u = -k*s - 0*s - 3. Which is greater: -3 or u?
u
Let l be (6 + 2)*10/(-55). Which is smaller: 0.1 or l?
l
Let s be 1/1 - (-2)/2. Suppose s*v + 10 = -0*j - 2*j, 3*v + 9 = 3*j. Let y(n) = -n**3 + 3*n**2 - 2*n. Let x be y(2). Is j not equal to x?
True
Let t(k) = -k**3 - 5*k**2 + 7*k + 9. Let u = 5 - 11. Let v be t(u). Is v at least as big as 7/3?
True
Suppose -2*g + 5*n = -74, 2*g - 4*n = g + 37. Suppose 0 = 3*u + p - g, -u + p + 7 = -12. Suppose -j = -4*v + u + 10, -3 = -3*v - 3*j. Is 5 smaller than v?
False
Suppose -11 = -2*p - 15. Which is smaller: -0.5 or p?
p
Suppose -2*b - 3 = -b, 4*n - 43 = 5*b. Which is smaller: 6 or n?
6
Let h = -352/9 + 39. Suppose 2*s - 3*t + 8 = -3, t + 2 = -5*s. Is h at least as big as s?
True
Let a(f) = 2*f**2 + 2*f - 2. Let n be a(-2). Let w = 2.05 + -0.05. Let i = -2 + w. Is i at most n?
True
Let d be 3/(-5) + (-118)/(-30). Which is greater: d or 3?
d
Let m = 58 - 109/2. Are 4 and m nonequal?
True
Suppose 0 = 2*i - 3 + 1. Let v be (-1)/8 - (-3)/12. Which is smaller: i or v?
v
Suppose -4*h + h - 25 = 5*f, -f - 5 = -3*h. Suppose 5*a - a + 12 = h. Is -2 > a?
True
Let w = -0.049 + 3.649. Let u = -10 - -14. Let i = w - u. Is i equal to -0.1?
False
Let k be ((-12)/(-24))/(3/(7 + -1)). Let i be 50/(-4)*(-24)/15. Suppose 2*q = -5*a + 20, 4*q = 5*a - 0*a - i. Is q bigger than k?
False
Let m(f) = -f**3 + 2*f. Let d be m(2). Let z = d + 3. Which is greater: z or -0.1?
-0.1
Let x = 2/5 - 3/20. Is x < 0.3?
True
Let i = 1.4 - 0.4. Let k = -0.09 - 0.01. Is k less than i?
True
Let a be 6/18 + (-105)/(-9). Let q be (-7)/a + (-33)/(-44). Is q less than or equal to -1/4?
False
Let r(z) = z**2 + 2*z + 1. Let v be r(-1). Suppose v = 2*w - 0*w - 12. Which is smaller: w or 5?
5
Let o(v) = -2*v**2 - 22*v - 21. Let t be o(-10). Let y be -3 + 2 + (-6)/(-14). Is t equal to y?
False
Suppose 2*a = -5*p - 4 + 1, 3 = p + 4*a. Suppose -2*o + 7*o + 20 = 0. Let m be 3/2*2/o. Are p and m non-equal?
True
Let x = -235 + 3053/13. Which is greater: 1 or x?
1
Let z = 59.41 + -59. Let m = -0.01 + z. Let r = -62/7 - -241/28. Is r >= m?
False
Let y = 14.4 - 14.3. Is -87 less than y?
True
Suppose 30 = 3*j + 6. Let i = -4 + j. Suppose 12 = 2*w + i*c, -w - c + 3 = 2*w. Is w at least as big as 0?
True
Let d be ((-1)/2)/(8/10). Let v = 302 + -2421/8. Let y = v + d. Do -1 and y have different values?
True
Let n = 106 - 143. Is n bigger than -113/3?
True
Let x = 1 - 76. Let u be ((-16)/10)/((-6)/x). Is u bigger than -19?
False
Let a(y) be the first derivative of -y**4/4 - 10*y**3/3 - 4*y**2 + 9*y + 3. Let i be a(-9). Which is smaller: 0.01 or i?
i
Let x be 2/6 - 76/(-42). Let n = x - 13/7. Are 1 and n non-equal?
True
Let x be 1*(2 + -5) + -11. Let j = 4 + x. Let h = j + 15. Which is greater: h or 4?
h
Let f(k) = -k**3 - 11*k**2 - k - 2. Let t be f(-11). Let w = t - 9. Which is smaller: 6 or w?
w
Suppose -9*z + 4*z = 65. Which is smaller: -15 or z?
-15
Let t = 16 - 12. Which is greater: t or 8/3?
t
Let o = -1 + 3. Let l(u) = -u + 8. Let a be l(7). Let d be 1/(a - o) + 1. Is -2 at least d?
False
Let o be 1/(((-3)/(-6))/1). Let y be 1*o/(-4) + 1. Let i = 27 - 109/4. Is i >= y?
False
Let d(n) = -n**2 + 7*n - 8. Let f be d(6). Let w be 4 + 0 + -1 - f. Is 6 at most as big as w?
False
Let i(v) be the third derivative of -v**6/120 + v**5/12 - v**4/12 + 2*v**2. Let p be i(5). Let y be 5/15 + p/(-6). Which is greater: y or 1?
y
Let a = -18 - -14. Let c be a/6 - (-20)/3. Suppose -5*w + 39 = 4*p, -7 = -4*w + 5. Is c > p?
False
Let b be (15/4)/(6/24). Which is smaller: 14 or b?
14
Suppose -4 = -3*j + 2*l, -j + 3*j + 5*l + 29 = 0. Let u be (-4)/12 - j/6. Let o = 4 + -8. Is o greater than or equal to u?
False
Let b(k) = -k - 6. Let m be 2/5*(3 - 18). Let d be b(m). Suppose -3*x - 24 = -3*q + x, 2*q - 5*x - 23 = d. Which is smaller: 2 or q?
2
Let z be ((-3)/(-4))/(2/8). Suppose -11 - 7 = z*f. Is f less than or equal to -7?
False
Suppose -3*f + 9 = -0*f. Which is greater: -1 or f?
f
Let w(v) = -v**3 - 9*v**2 - v - 13. Suppose 25 = -5*h - 20. Let a be w(h). Let o be 18/8 - (-1)/a. Is 3 greater than or equal to o?
True
Let z be (-1)/(-4) + (-6)/(-8). Let t = z + 0. Suppose 3*w + t = -2*o - 0*o, 3*o = 5*w + 8. Is o greater than 0?
True
Let j be 2/4*18/(-6). Which is smaller: j or 0?
j
Suppose -4*l - 2 - 8 = -2*i, -i = -5. Suppose b + 5*c - 4 = 0, 3*b - 3*c - 4 = 2*b. Let m be 1/b*(-1)/2. Which is greater: m or l?
l
Let i be 0/1 + 1/(-4). Let m(v) = v**2 - 13*v + 14. Let d be m(12). Is d less than i?
False
Let u = -0.4 - -1.4. Let y = 42 - 20. Let h = 16 - y. Which is bigger: u or h?
u
Let j = 2.855 - -0.045. Let w = 1.9 - j. Which is smaller: 0.02 or w?
w
Let j = -184 + 186. Are -0.27 and j unequal?
True
Let z be (14/35)/((-2)/(-80)). Let o be (-16 - -13) + 30/z. Which is smaller: o or 0?
o
Let i be 2 + (-14 - (-6)/(-2)). Let b = i - -16. Which is greater: b or -3/11?
b
Let i(c) = -2*c + 7. Let n be i(5). Suppose -j = -2*g - 7, 2*j = -3*g - 0 - 7. Is n > j?
False
Suppose 2*y - 7*y + 4*c = 0, 5*y = -c. Let f(v) = 18*v. Let u be f(1). Let p be (-4)/u*(-6)/4. Which is smaller: p or y?
y
Suppose 5*q + 2*s + s - 7 = 0, -5*q + 11 = -s. Let x = q - 4. Which is greater: x or -5?
x
Let s = 4 - 10. Let g = s + 6. Let v be -1 + 2 + (-11)/9. Is g bigger than v?
True
Suppose 3*u - 4*t - 6 = 13, 5*u = 5*t + 25. Suppose -u - 3 = -2*f. Let m = 100/123 - 6/41. Is f smaller than m?
False
Let r = -6 - -1. Let q = -7 - -10. Let o = q + r. Which is bigger: o or -1?
-1
Let d = 37 + -31. Are d and 0.1 equal?
False
Suppose 2*w - 26 = 5*m, 0*m = 4*w + 4*m - 80. Let j be (1/4)/(w/(-16)). Which is bigger: j or 0?
0
Let s = -1 - 1. Let t = -2 + 0. Let c be -3 + (s - (t + -1)). Is -4/5 at most c?
False
Let t = -6 + 2. Let m be t/(-6)*(2 + -5). Which is bigger: -3/5 or m?
-3/5
Let a be (-48)/(-22) + (-18)/99. Suppose 0 = a*z - 2*y + 2 - 14, 2*z = -y - 3. Which is bigger: -1/10 or z?
z
Suppose -h - 7 = 4*y - 3, 2*h = -3*y - 3. Suppose -48 = t - 0. Let o be (-1)/((-27)/t) + 2. Which is bigger: o or y?
o
Let c = -4/11 - -1/33. Let q = 0.08 + 1.02. Let m = q + -1. Are c and m non-equal?
True
Suppose -3 = 5*t + 2. Which is smaller: t or -2/35?
t
Suppose -8 = -2*n - 4. Let g = -4 - n. Let s be ((-2)/(-7))/(g/(-14)). Which is greater: s or 0?
s
Suppose -4*p - 3*v + 27 = 0, -3*p = -4*v + 2 - 16. Are p and 6 equal?
True
Suppose -5*s - 4*j = -0*s - 7, 5*s = 5*j - 20. Let i = s + 9. Suppose 2*p = 2*h + i, -6*p + 7 = -3*h - 4*p. Is -1 equal to h?
False
Let p = -43/3 + 218/15. Is -0.4 not equal to p?
True
Let y = 0 + 6. Let t be ((-6)/9)/((-10)/y). Which is bigger: t or 0?
t
Let f = -3291 + 46145/14. Let l = f + -25/7. Which is smaller: 1 or l?
1
Let q be 62*(