 -5*m. Does -4 = m?
True
Let l = -16 + 25. Are 8 and l equal?
False
Let s be (134/(-34))/1 - -4. Is 1 less than or equal to s?
False
Suppose 2*d + 2*d - 117 = -3*n, -3*d + 87 = 3*n. Let q be (4/d)/(8/(-18)). Do q and 2/5 have the same value?
False
Let d(n) = -4 - 4*n**2 + n**2 - 3*n - 3 + n**3 + 2. Let x be d(4). Let m be (4/(-3) + 0)/14. Which is greater: x or m?
m
Let c be (-2 + -13)/((-6)/8). Let h be c/18*8/40. Suppose 4*l + 5 = -l. Which is smaller: h or l?
l
Let k = -339 + 561. Let h be (-16)/k*9/(-12). Which is smaller: h or 1?
h
Suppose 7*o - 2*o + 4*r - 109 = 0, -61 = -3*o + 2*r. Let z be o/(-4) - (-5)/20. Let w = z + 17/3. Is w less than or equal to 1?
True
Suppose 0 = -2*n, 2*n + 2 = -a - 2*n. Let g(y) = -4*y - 4*y**2 - 3*y**3 - 2 + 2*y**3 + 0. Let l be g(a). Is l equal to -1?
False
Let n = -7.2 + 7. Let w = 0 + n. Let u = w + 0.3. Is u equal to 1?
False
Let a be (-19)/7 + 6/(-21). Which is greater: -2 or a?
-2
Let p = 41 + -39. Is 1 > p?
False
Let y = -6 + 11. Suppose -y*a + 5 = -r - 122, r = -3*a + 73. Suppose 0 = -x - 5*g - 8 + 34, a = 5*x + 4*g. Is x > -2/9?
True
Let w = 9 - 9. Let i be 1/(-1)*(-3 - -1). Suppose 0 = -i*b + 2 - 0. Are b and w nonequal?
True
Let l = -65 - -50. Is l bigger than -15?
False
Let l = 163 - 163. Which is bigger: 3.9 or l?
3.9
Suppose 2*u - 21 = y, -3*y - 32 = -3*u + 1. Is 10 < u?
False
Suppose 3*p + 4*o - 293 = 0, 3*o + 240 = 3*p - 39. Is p > 95?
False
Let d = 0.17 - -6.83. Let z = -7.1 + d. Is z at most as big as 3?
True
Let h be (-4*(-1)/4)/1. Let v = 2 - 2. Is v at most as big as h?
True
Let b be (-4)/6 + (-50)/(-66). Which is greater: b or 1?
1
Let y be 0/(-2) + 13361/6. Let z = y + -70243/30. Let m = z - -115. Which is smaller: m or 1?
m
Suppose -5*m + 2*b = 17, 3*m = -m - 4*b - 8. Which is greater: m or -21?
m
Let b = 1880 - 2860. Let g = b + 12734/13. Do g and 0 have the same value?
False
Suppose -4*n = a - 11, a + 1 = n - 2*n. Is n at least as big as 4?
True
Let q = -18 - -17. Is q != 1/31?
True
Suppose -6*y + 2*y + 4 = -3*i, 3*y - 10 = 4*i. Let o be (6/4 - 2)*-1. Are y and o non-equal?
True
Let d be 1*4 - 378/112. Is -0.2 smaller than d?
True
Let x = -2.7 + 1.8. Let u = 4.9 + x. Let r = u - 6. Is r bigger than -2?
False
Let o(v) = v - 8. Let s be o(5). Are -2 and s equal?
False
Suppose 2*q - 4*n - 52 = 0, -4*q - q = -3*n - 95. Let c(z) = -z**2 + 17*z - 9. Let y be c(q). Which is smaller: -1/2 or y?
-1/2
Let y = 1132/1337 - -2/191. Let t = -44 + 45. Is t greater than or equal to y?
True
Let w = 62 + -58. Are w and 11 nonequal?
True
Let h = 1820366/27 + -67378. Let b = -74323/1674 + h. Let y = b + -2/31. Which is bigger: -3 or y?
y
Let a = -40 + 40.1. Is 20 > a?
True
Let g = -55 - -58. Is 4 less than g?
False
Let d(b) = 2 - 11*b**2 - 3*b**3 + 3*b**2 - b**3 + b + 3*b**3. Let u be d(-8). Let f(l) = -l**2 - 4*l. Let s be f(-5). Is s smaller than u?
False
Suppose b = -5*k - 16, -4*b - 3*k - 2 + 6 = 0. Suppose 3*f + 15 = -3. Let z = f + b. Which is smaller: z or -2/3?
z
Let i = 7 - 3. Suppose 0 = -2*w + 5*p - 10, 0 = 2*w - 0*p - i*p + 8. Which is greater: -2/13 or w?
w
Let v(k) = k**3 - 2*k**2 - k + 1. Let b be v(2). Let c(p) = -p**3 + p + 1. Let u be c(b). Which is smaller: u or 2?
u
Let m = -35/33 - -8/11. Let v = 1 - 1.1. Is v < m?
False
Suppose -7*l + 2*l = 120. Let o = l - -21. Which is smaller: o or -2?
o
Let m = 10 + -4. Let i be (-85)/15 + (-2)/m. Is -6 at most i?
True
Let g = 106 + -125. Which is bigger: g or 0.3?
0.3
Let o = -18 + 15. Let n be (-2)/(-52)*(-2 - 8). Let h = 1/65 - n. Which is bigger: h or o?
h
Let n(g) = g - 2. Let m be n(-2). Let f(k) = k + 3. Let l be f(m). Let b be -3*44/48 - 6/(-4). Is l <= b?
False
Let c = -2.8 - -3. Let y = 0 + c. Is y greater than 0.2?
False
Let p be ((-5)/(430/(-4)))/(-1). Which is smaller: 1 or p?
p
Suppose -3*g = -g + 2. Let s = -9 + g. Is -10 greater than or equal to s?
True
Let q be 4/18*-21 + 4. Let b be (-1 + 1 + 1)*3. Suppose -b*i + 2 = 8. Which is smaller: q or i?
i
Let j be (9/42)/(6/(-8)). Let d = 1.3 - 0.5. Let a = -0.6 + d. Is j at most as big as a?
True
Let v = 4 + 0. Let k = -3 + v. Let f be k/((-30)/(-3))*4. Are 0 and f non-equal?
True
Suppose 0 = -4*h + 5*b + 6, 9 = -5*b - 1. Let y = 7614/17 + -448. Is h <= y?
True
Suppose -2*x + 3 - 5 = 0. Does 1 = x?
False
Let g be -3 - 2/4*-46. Suppose -3*o = 2*o + g. Which is bigger: -5 or o?
o
Suppose 3*z = -c + 15, -4*z + 3*c - 1 = -8. Suppose -5*o + 5 = -w + 10, o = 4*w - 20. Is z less than w?
True
Let l = -7 + 5.8. Let q = l + 0.2. Let b be 4/6 + 1 + -1. Which is greater: q or b?
b
Let w be (4/6)/((-2)/(-3)). Let h(q) be the first derivative of q**2/2 - 5*q + 1. Let i be h(5). Is i greater than or equal to w?
False
Let z = -3/206 + -803/1442. Let i(l) = l**2 - 9*l + 18 - 18. Let n be i(9). Which is smaller: n or z?
z
Let c(p) = p**3 - 5*p**2 - p + 5. Let i be c(4). Let v be (6/i)/((-16)/10). Let k be 34/72 + 4/(-16). Which is smaller: v or k?
k
Let c = -0.35 - -0.4. Let g = 9 - 8. Which is bigger: g or c?
g
Suppose 14 = 3*i - i + 2*z, 4*z = 5*i - 53. Let q = i + -13. Let f be (-15)/(-28) - q/(-16). Is f greater than -2/5?
True
Let z = 1.8 + -2. Let s = -0.4 - z. Let m = s + 0.2. Which is bigger: 3 or m?
3
Suppose 3*w = -3*y - 132, 3*y - 5*w = -w - 132. Is -44 > y?
False
Suppose -2 = 3*q - 5*h + 1, -q + 5*h + 9 = 0. Let v = q - -6. Is v greater than 2/7?
False
Let f be (4/(-5))/((-4)/30). Let o be f*(2 + 0)/28. Which is smaller: 1 or o?
o
Let a be 1*(-2 + -1 + 2). Let g be 6/a*8/(-12). Which is greater: 1 or g?
g
Suppose -a + 122 = 4*a + f, 0 = -4*a - 2*f + 100. Is 25 less than a?
False
Let m = -5391/1435 + 188/41. Let y = m - -4/7. Let w be 10/(-8) + 26/(-16)*-2. Which is smaller: y or w?
y
Let n be 1134/35 - (-4)/(-10). Let t be n/(-12) - 4/(-6). Which is smaller: -13/4 or t?
-13/4
Let g = -1168/5 - -232. Which is smaller: 0 or g?
g
Let c(q) = 4*q + 4. Let k be c(5). Suppose -4*z = 5*o - 70, 5*o - 46 = -3*z + k. Which is smaller: o or -0.1?
-0.1
Let j be 2/(-2) + (-39)/(-57). Let p = j + 5/76. Which is greater: p or -1?
p
Let f = -2 - -4. Suppose -2*p = 2*z - 12, 3*p + 5 - 3 = 2*z. Is p < f?
False
Let t(w) = w + 13. Let d be t(-7). Suppose u - d = -4. Is u < 3/4?
False
Let x(b) = -11*b**3 + b**2 - 2*b + 1. Let o be x(1). Let j be ((-28)/12 + 3)/((-2)/39). Which is smaller: j or o?
j
Let i(m) = -m**3 - 5*m**2 + 7*m + 6. Let z be i(-6). Let y = -268/3 + 88. Is z greater than y?
True
Let a be (-2)/3 - (-2)/6. Let n = -7 + 5. Which is greater: n or a?
a
Suppose 3*o = -5*h - 10, -2*o - 2 - 2 = 4*h. Does -12 = o?
False
Let m = -0.31 + 0.06. Which is smaller: m or 0?
m
Suppose 17*x - 5*x + 132 = 0. Is x > -15?
True
Let k = 40/23 + -532/253. Which is smaller: k or 1?
k
Let y be (-15)/45 + -1*(-2)/15. Is -27 at least y?
False
Let i(l) = -3*l + 2*l**2 + 1 + l**2 - 5*l**2. Let w(r) = -r**2 - 2*r. Let f(z) = 2*i(z) - 3*w(z). Let d be f(0). Is d < 2?
False
Let r(q) = -q**3 + 9*q**2 - 1. Let s(a) = a**2 - a - 1. Let m be s(-2). Suppose m*u - 36 = u. Let g be r(u). Do -1 and g have different values?
False
Let m be (-2)/(-5) - 15/100. Is 0 less than or equal to m?
True
Let q be -10 - -8 - (-1 + -1). Which is bigger: 7/5 or q?
7/5
Let p(r) = 3*r + 7. Let f be p(-3). Is f greater than -15/8?
False
Let u = 0.8 + -1. Let b = 25 + -20. Which is smaller: u or b?
u
Let s = 173/110 - 4/55. Suppose -5*c = -5*z - 15, 5*z + 1 = -c + 4. Is s > c?
False
Suppose 0 - 3 = -j. Let k(d) = 5*d**2 - 3 - 4*d**2 + 9 - 2 + 3*d. Let l be k(-3). Is l less than or equal to j?
False
Let i be ((-2)/6)/(-3 - -4). Let p(c) = -c**2 + 4. Let n be p(0). Which is smaller: n or i?
i
Let p = 3 + -6. Let a = p + 2. Are a and 2/9 non-equal?
True
Suppose 0 = -5*w + 5*u + 55, -w + 3*u - 1 = -4. Suppose -5*n = -w - 0. Suppose -n*x + 2 = -x. Which is bigger: x or 3/4?
x
Let g(x) = -x**2 - 6*x - 7. Let h be g(-5). Let a be -2 + (-39)/(-12) + h. Is a at most as big as 0?
True
Suppose 2*w - 10 = 38. Let j be w/32 - (2 + -2). Which is greater: 1 or j?
1
Let z = 22 + -29.8. Let o = 7 + z. Let g = 0.5 + o. Which is smaller: 0 or g?
g
Suppose -4*u + 3*u + 3 = 0. Let v = 3 - 0. Suppose -v*b = 2*b - 20. Which is bigger: u or b?
b
Let i = -13 - -22. Let m be i - ((-2 - -2) + 2). Is 6 at most m?
True
Let z = -11 - -9. Let q be 58/10 - z/10. Does q = 4?
Fals