 d(c) = -2*c + 101. Let a be d(-39). Is 0 < a?
True
Suppose 13 - 8 = x. Suppose -3*z - 2*z + 24 = -a, -x*a + 25 = 4*z. Is -11 less than a?
True
Let s = 228 + -227. Which is smaller: 3/17 or s?
3/17
Let v = -24 - -28. Suppose t - u - 46 = 0, -t - u + 42 = -v*u. Which is smaller: 50 or t?
t
Let d be -4 + (-4)/(-3)*48. Suppose -4*x = -10*x - d. Suppose 3 = -j - 6. Which is greater: j or x?
j
Let g = 33 - 33. Which is greater: g or -1/356?
g
Suppose -115*j + u + 156 = -119*j, 117 = -3*j - 5*u. Is j at least as big as -37?
False
Let x be 9/(-2)*(1936/24)/(-11). Let d be x/(-22) - (-7)/10. Which is smaller: d or -1?
-1
Let x = 169.1 + -161. Let f = x - 8.1. Which is greater: f or 15?
15
Let l = 1.3 - 1.08. Let w = -0.32 + l. Which is greater: 2 or w?
2
Let j = 142 - 135. Let w = j + -7.1. Which is smaller: -0.009 or w?
w
Suppose -11 = 3*m - 2*j + 29, 2*m = 4*j - 16. Let d be 2 - 22/6 - -1. Which is bigger: d or m?
d
Let x = -0.078 - -9.378. Let w = x - 9. Let s = w + -1. Which is bigger: s or -1?
s
Let c be (-1)/((-21)/182)*3. Is 26 less than or equal to c?
True
Let i = 6 - 8. Let b = -28 + 8.9. Let t = b + 19. Do t and i have the same value?
False
Let z(g) = g**2 - 18*g - 1. Suppose 0 = 15*f - 8*f - 126. Let d be z(f). Let h = 5 - 16/3. Which is smaller: h or d?
d
Let z = 33.9 + -34. Is z at most -0.045?
True
Let h = -2.3886 + 2.345. Which is smaller: h or 2/3?
h
Let n = -41 - -83. Let a be ((-25)/15)/5*-123. Are a and n nonequal?
True
Suppose -68 = -0*c - 4*c. Let z(b) = 38 - 12 - c - 3*b. Let w be z(0). Are w and 7 equal?
False
Let s = 325 + -325. Is -232 at most s?
True
Suppose 43*l = 48*l + 55. Suppose -4*d + d = 9. Does l = d?
False
Let a = -2626 + 2624.043. Let x = a - 0.043. Which is smaller: x or 8?
x
Let l be 22/(-121) + 59051/(-770) + -1. Let u = 873/10 + l. Which is smaller: u or 10?
u
Let d = 165 + -164. Let s = 485/6 + -49979/618. Is d at least as big as s?
True
Let f(m) = -m**2 - 12*m - 23. Let d be f(-9). Suppose 4*n - 2*n - 3*b = -3, -4*n = -d*b + 4. Are 0.03 and n equal?
False
Let k be (-369)/6 - (-7 - -6). Which is greater: -61 or k?
k
Let s = -14411/10 - -1431. Is s bigger than -10?
False
Let o = -31 + -30. Let b = o - -60. Is 16 greater than b?
True
Let u = -167.9 - -168. Let s = -33 - -33.26. Which is greater: u or s?
s
Let s = -132203 + 1982197/15. Let t = s - -56. Is t less than -2?
False
Suppose 5*l + 5 + 5 = -5*f, 2*f + l + 2 = 0. Let i be 176/(-24)*(f + 3). Is -4 < i?
False
Suppose 0 = -0*h - 8*h - 200. Is -2 at least h?
True
Suppose -2*x - x = 42. Let o be (-4)/14 + (-88)/x. Let k(q) = q**3 - 34*q**2 - 114*q + 117. Let r be k(37). Is o less than r?
False
Let l be 5*12/(-270) + 40/18. Suppose 0*w - 3*w = 4*g - l, -1 = 3*g + w. Which is bigger: 1 or g?
1
Suppose 7*x - 14*x - 238 = 0. Let g = -43 - x. Is -9 <= g?
True
Let t be (-364)/3332 + (-2)/(-7). Which is smaller: 0 or t?
0
Suppose -2*m + 2*u + 4 = -0, 6 = -2*u. Is 2/1379 bigger than m?
True
Suppose v = -0*v. Suppose v = 2*i + 10, -3*m = 2*i - i - 55. Let w be (m/(-195))/(4/(-18)). Is w at least 0?
True
Suppose 43*m - 2 = 41*m. Let c be -2 - -28*(-4)/(-55). Which is smaller: m or c?
c
Suppose 10 = 4*x - 2. Let s(n) = -6*n**2 + 1 + 6 - n**3 - 3*n**2 + 11*n - x. Let d be s(-10). Is 0 greater than d?
True
Let r be (-60)/(-18)*(-6)/5 + -2. Let y be (-2 - r - 3)/(-1*146). Is y at most as big as -1?
False
Suppose -2*s - 663 = -1803. Let l = -5135/9 + s. Is l > 0?
False
Let g(v) = v + 8. Let m be g(-5). Let f be 21/12*(-1 - m). Suppose -36 = 5*a + a. Is a < f?
False
Let j be 0 - (-10 + (-8 - -19)). Is j >= -4/201?
False
Let q = -0.52 + 0.46. Is 2/57 greater than q?
True
Let u be 6016/(-18) - 92/(-414). Is u less than -332?
True
Let s = -52 - -104. Let r = s + -52. Are 58 and r unequal?
True
Let g = -227 + 228. Which is smaller: -43 or g?
-43
Let m = -7682 + 76759/10. Is m at least -6?
False
Suppose 0 = -6*c + 53 + 145. Is c bigger than -4?
True
Let q = 34384 + -70199/2. Is q smaller than -715?
True
Let a be 20430/80 - 18/48. Which is bigger: a or 251?
a
Let v = -133 + 35. Let x(n) = -3*n**2 - 11*n + 31. Let a be x(5). Is v greater than a?
True
Suppose -2*b = -2*h + 12, -b - 14 = -6*h + 3*h. Let n = h - 25/6. Is n <= -1?
False
Let c be (9/(-6))/(10/(-4) + 2). Suppose 5*m - g - 1 = 3*g, c*m - 2*g - 1 = 0. Which is smaller: -0.3 or m?
-0.3
Let b be -2*(0 - 6/(-4)). Let u be (2868/20)/((-3)/9). Let d = u - -428. Which is bigger: b or d?
d
Let u(y) = -43*y - 301. Let w be u(-7). Is w less than or equal to -1/398?
False
Let a(j) = -j**2 - 8*j. Let q be a(-8). Let g(w) = 0 - 2*w - 5 + q*w. Let s be g(-4). Which is bigger: s or 3/2?
s
Suppose 47 = -14*t + 33. Is 1/657 equal to t?
False
Suppose y - 5*y = -28. Let a(f) = 5*f - 11. Let n be a(6). Suppose -n*h + 17*h + 10 = 0. Is h greater than y?
False
Suppose -1 - 3 = -g. Let r be 16/(-10) + g/(-10). Let l be 0 - ((-4)/(-12))/(1417/(-234) + 6). Which is bigger: r or l?
l
Suppose 53*b + 4*g - 96 = 57*b, 20 = -2*b - 5*g. Suppose 2*y = -2*y - 76. Which is greater: b or y?
y
Let v be 3 + -1 - (-23 - 1). Let b = -47 + v. Let h be ((-3)/b)/(2/12). Are 1 and h equal?
False
Suppose 0 = -5*l - 4*d - 85 + 98, -5*l - 1 = -3*d. Which is bigger: l or -8/39?
l
Let q = 0.118 - 0.718. Which is greater: q or -17?
q
Let x be 54/(-180) - (2 + (-18)/10). Is -1 >= x?
False
Suppose -3*q = 2*q + 5. Let h = 4/85 + -123/4420. Is h smaller than q?
False
Let c = 32 - 158/5. Let o = -667.16 - -667. Which is smaller: c or o?
o
Suppose 2*n + 0*n - 6 = 0. Let y = n + 0. Let c = -4 + y. Which is smaller: -3 or c?
-3
Let a = 0.5 + -0.9. Let u = 0.758 - 0.158. Is a at least as big as u?
False
Suppose -418 = 6*x - 4. Is x less than -70?
False
Let l = 132 + -130. Suppose 14 + 10 = 4*d + 4*u, -4*u + 16 = 0. Suppose -k = d*c + 10, 4*c + 8 = 2*k + l*k. Is c != -3?
True
Let y = 83 + -85. Let i be (-6)/47*y/(-3). Is -1 equal to i?
False
Suppose 0 = 2*o - 4 - 2. Let f be ((-128)/(-60) + 1/5)*21. Suppose -3*y - o*l - f = 2*l, 4*y = 2*l - 48. Is -13 at least y?
True
Let c = 212589/2 - 114691829/1079. Let b = 3/166 - c. Which is bigger: -1 or b?
b
Let a = -22 - -23. Let o be -2*a*(-4)/8. Which is smaller: o or -2/155?
-2/155
Let r be 1 - 4*(-15)/10. Let i(q) = -2*q + 14. Let x be i(r). Is -2/55 bigger than x?
False
Let j be 0*(3 + (-7)/2). Let p(u) = u**3 - u + 1. Let r be p(1). Let l be r*2 + 119/(-56). Is l greater than j?
False
Let h be 4/(-6)*(-102 + 0). Which is smaller: 205/3 or h?
h
Let y(q) = q + 2. Let t be y(-2). Suppose 0 = 12*c - 10 - 74. Suppose 0 = 12*g - c*g - 5. Which is greater: g or t?
g
Suppose 0 = -2*t - 2*t - 4. Let i(r) = 2*r**3 + 2*r**2 - 2*r - 2. Let v be i(2). Suppose -3*s - o - 15 = -2*o, 3*s = 2*o - v. Which is bigger: t or s?
t
Suppose 0 = k - r + 60, 0 = -3*k + 2*k - 5*r - 78. Let t = k - -565/9. Which is smaller: t or 19?
t
Suppose 0 = 3*y - 5*y + 32. Let j be y/20*(-5)/(-18). Which is smaller: 1 or j?
j
Suppose -4*i = i. Suppose -4*t + 18 = t - 3*j, 0 = -3*j - 3. Let b be 2/3 + (-1)/t. Does b = i?
False
Let y(u) be the second derivative of -u**4/12 - 5*u**3/6 - 6*u. Let j be y(-5). Let g = 0.3 + -0.4. Which is bigger: g or j?
j
Suppose 0 = x - p + 3, -x + 8 = -5*p + 23. Let k be 20/14 - (x + 0). Which is greater: 2 or k?
2
Suppose 0 = 4*p + r + 1138, -14*p + 15*p + r = -283. Is -286 != p?
True
Let k = -3.65 - -0.05. Let s = 3.4 + k. Suppose 19 = 5*o - 11. Is o > s?
True
Suppose 9*a - 54 = 3*a. Suppose 6 = -a*o + 11*o. Is 3 > o?
False
Let m be (3 + -1)*(-8)/(-28 + 4). Suppose 0*d = -d + 6. Is m less than d?
True
Let a = 74 - 889/12. Does 1 = a?
False
Let x be 10/15*18/4. Let u = x + -3. Suppose -6*q = -u*q + 132. Is q smaller than -21?
True
Let d = -44110953163/59694954 - -1/1808938. Let p = d - -739. Which is greater: p or 0?
p
Let p(q) = 2*q + 1. Let x be p(-3). Let z be 2/x - (-844)/10. Let k be 2 - (2 + (-8)/z). Which is bigger: k or 1?
1
Let z = -114 + 150. Let t = z - 37. Is -3/98 bigger than t?
True
Let b(a) = 2*a - 16. Let r be b(9). Let x be (r/7)/(-6 - -8). Let c(d) = d**2 - 4*d + 2. Let p be c(3). Which is smaller: p or x?
p
Let g = -546.9 - -547. Which is smaller: g or 26?
g
Let v(s) = s**2 + 7*s - 2. Let g be v(-8). Let j be (-1)/g - 5/42. Which is bigger: 15 or j?
15
Suppose 2*i - 4*q = q + 31, i + 2*q = 2. Let r = 4 + -4. Suppose 3