6, 3*d + 5*b = -371. Which is smaller: d or -133?
-133
Suppose -4 = -3*g + 5*g + 5*n, 2*n = -g. Let r = g - 3. Suppose 3*c + 14*c - 85 = 0. Is r >= c?
True
Let l = 33 - 33. Let k be -2 - (-5)/(-4)*-1. Which is smaller: l or k?
k
Let n be (52 - 61) + 953/107. Are 0 and n non-equal?
True
Let r be (2/(-30))/(10/(-15)). Let u = 2/1947 - -4973/2596. Let v = u - 5/4. Is v equal to r?
False
Let m(k) = -k**3 + 5*k**2 - 4*k. Let j be m(4). Let q be 0 - (2 - j)/(-16). Suppose 0*t = -6*t. Which is smaller: q or t?
t
Suppose 4 = -i - 4. Suppose -168*u - 1180 = -4. Which is smaller: i or u?
i
Let g = -26/87 + -1/29. Suppose -2*a - a + 6 = 0. Let d(o) = o**3 - 3*o**2 + 2*o. Let q be d(a). Which is greater: g or q?
q
Let y be -34*(-6)/48*4. Let r be (248/160 + 3/(-4))/y. Is r at most 1?
True
Let g be 48 - 3/2*(-80)/(-24). Is g equal to 374/9?
False
Let q = 10.11 + -0.11. Let z = q + -22. Which is bigger: -2 or z?
-2
Let t be (4/(12/(-9)))/((-18)/804). Let n = t + -127. Let f be 2/4*4/10. Is f smaller than n?
True
Let x = -4 + 3. Let v be 3 + (x/(-15))/(8/(-348)). Is v <= 0?
False
Let t = -135 + 142. Let d(a) = a + 3. Let n(u) = u**3 + 7*u**2 + 5*u - 1. Let k be n(-6). Let p be d(k). Which is bigger: t or p?
p
Let z = 15 - 11. Suppose -3*w = 3*o + w - 5, -z*w = 4*o - 4. Let f = 0.29 - -5.71. Are o and f equal?
False
Let k be (-2)/(-8) - (-19)/4. Suppose -3*o + 37 = 67. Let z be k/4*o/(-50). Which is bigger: 1 or z?
1
Suppose -g + 4*g = 9. Suppose -4*c + 9*c + g*q = -36, -9 = -3*q. Let r be c/(-15)*(-15)/4. Does -1 = r?
False
Let b = 0.193 + -0.031. Is b not equal to -0.2?
True
Let w be 7/28*(-16)/(-2). Suppose 4*z - 19 = m, -6*m - 5*z = -w*m - 29. Let s be 2/(-6) - 22/(-102). Is s greater than m?
False
Let n = -5 - -10. Suppose -28 = -2*x + n*g, 2*x - 3*g = 12 + 8. Suppose p = -0*p, -8 = x*h + 5*p. Which is smaller: 1/7 or h?
h
Let o = -1282/663 + 80/39. Which is smaller: -5 or o?
-5
Let r be 16/28 + 16/(-56). Which is smaller: r or 889?
r
Suppose 3*x = -4*c - 51, -3*c + 2*x = -5*c - 24. Suppose -5 + 33 = -2*o. Which is greater: o or c?
o
Let u = 145/4 + -36. Let m = 0.9 + -0.2. Let h = m - 0.6. Is h bigger than u?
False
Let p = -3 + 18. Let o = p - 12. Let n = -5 + o. Is -2 less than or equal to n?
True
Let p be 3/(-1 - 1 - -4). Let x = 37 - 54. Let u(s) = s**3 + 17*s**2 + 3. Let y be u(x). Which is smaller: p or y?
p
Let v = 1387 - 1375. Is v greater than -0.047?
True
Let k be (-4 + (-130)/30)*3. Which is bigger: -29 or k?
k
Let q be 1 + 35/(-5) + 1 - 7. Which is bigger: q or -9?
-9
Let v(g) = g**3 + 40*g**2 - 39*g + 60. Let k be v(-41). Let n = -2 + 2. Let s = n - 0. Do k and s have the same value?
False
Let w = 115/14 + -727/28. Which is greater: -18 or w?
w
Let n = -5 - 2. Which is bigger: -39/7 or n?
-39/7
Suppose 77 = 3*h + 5*y, -2*h + 0*y + 42 = y. Let c be ((-119)/21)/(h/243). Let x = -145/2 - c. Which is smaller: 0 or x?
x
Suppose 0 = -4*k - 20, -152 = 7*s - 5*s + 2*k. Is s less than -71?
False
Let c be (0 - 1)/((-1)/(-61)). Is c equal to -61?
True
Suppose 28*t - 12*t = -16. Is t >= 2/279?
False
Let j = -88/225 + -4/75. Let o = 0.22 - 1.22. Is o at most as big as j?
True
Let f be 6/4*(-56)/252. Which is smaller: -3/8 or f?
-3/8
Let y = 6.84 - 7.7. Let a = 0.14 - y. Which is greater: 0.026 or a?
a
Let g be (-13)/((-1352)/(-1911)) + 1*-1. Which is bigger: g or -19?
-19
Let u = 4.4 + -3.4. Let o = 0.07 - -0.01. Let m = 0.02 + o. Is m less than u?
True
Let t = -8142/5 - -1618. Is t < -11?
False
Let a = 0.047 + 23.953. Let l = 1.58 - 25.78. Let t = l + a. Which is smaller: -0.02 or t?
t
Suppose 3*b - 25 = 2*w, -21 = 3*w - 6. Suppose b*q + 85 = -3*h, q + h + 24 = 7. Which is smaller: -33/2 or q?
q
Let v(m) = -11*m + 4. Let l be v(2). Is -18 at least l?
True
Let q be ((-20)/14)/((-2 - -2) + 1). Suppose -11 = 5*i - 1. Which is greater: i or q?
q
Let r = 677.96 + -697. Let o = r - -19. Let w = o - 0.96. Which is smaller: -23 or w?
-23
Let h = -15.31 + 0.31. Let y = h - 14. Let m = y - -30. Is m smaller than -7?
False
Let s(n) = n**2 - 49*n - 316. Let i be s(-6). Which is smaller: i or 12?
12
Let z be (-1)/(-2) - 9/26. Let v = 493 - 501. Which is smaller: v or z?
v
Suppose 6*c - c + 5*x + 4385 = 0, 3*x = 4*c + 3494. Is -876 at most c?
True
Let b be 3/(126/(-5682)) + (-4)/(-14). Which is smaller: 0 or b?
b
Let w be (-1 + 2)*1 - 4. Let c be (0*w/6)/1. Is -11 <= c?
True
Let x = 101 + -163. Which is smaller: -60 or x?
x
Let z be 42544/(-4254) - -3 - (13 - 20). Is z at most -1?
False
Let b = -26217/205 - 431/41. Let y = b + 138. Which is greater: -7 or y?
y
Let t(v) = -33*v + 20. Let m be t(-4). Which is greater: m or 153?
153
Suppose 10 = -2*h - 4*d, 47 = -4*h - 77*d + 78*d. Is h greater than or equal to -15?
True
Let k(u) = -u**3 - u**2 + u - 24. Let m be k(0). Let z = m - -23. Which is greater: z or -6?
z
Suppose 2*s - 35 + 360 = 3*b, 113 = b + 4*s. Let c = 115 - b. Is 0.5 bigger than c?
False
Let x be ((-1)/2)/(-2*(-21)/24). Which is bigger: x or 15/58?
15/58
Let q = -8.7 - 6.4. Let w = -14 - q. Let o = 1 - w. Is 0.7 less than o?
False
Let y be 20/(-5) - 1*37. Let f = y + 30. Is -11 not equal to f?
False
Let p(c) = -5*c - 213. Let b be p(-46). Which is smaller: b or 15?
15
Let w be ((-66)/4)/(2/8). Let x = 132 + w. Suppose -5*f = x - 21. Is -9 less than f?
False
Let m be (27/81)/((-2)/48). Which is smaller: -4 or m?
m
Let l = -0.2 + 0.1. Let i be (48/45 + -1)/(12/30). Which is bigger: l or i?
i
Suppose -2*w = -7*w + 110. Let z = w - 22. Which is bigger: z or 2.2?
2.2
Suppose -h - 10 = 3*l + 3, 2*l = -5*h - 91. Let s = h + 17. Let n(z) = z**2 - 5*z - 2. Let j be n(5). Is s at most j?
True
Let t(l) = -3*l + 5. Let x be t(7). Let g = -13 - x. Suppose -12 = 4*c - 4*f, -7 = -3*c - g*f - 2*f. Which is smaller: c or -3/4?
c
Let g(d) = -d**2 - 5*d - 4. Let k be g(-4). Let m = 0 - k. Let x = 7101 + -418957/59. Is x bigger than m?
True
Let k = -47 + 82. Let s = k - 35.4. Let q = -2.5 + -0.5. Which is smaller: s or q?
q
Suppose -24*u = -246 - 258. Which is bigger: 23 or u?
23
Let w be (-8)/(-5)*(-30)/(-12) + 3. Suppose 0 = -2*v + q + 15, -4*v + 4*q + 25 = 3*q. Which is smaller: v or w?
v
Let c = 0.17 + -0.04. Let m = 3.13 - c. Let p = 17 + -53/3. Do p and m have the same value?
False
Let v(x) = -7*x**3 - 5*x**2 - x - 4. Let f be v(-5). Let b = f - 8267/11. Let j = -0.01 + 0.01. Which is smaller: b or j?
b
Suppose -q - 2 = -15. Let s = -13 + q. Suppose 2*v - v + 11 = 0. Is v less than s?
True
Let h be (-1 - 1) + (9 - 1). Let z be h*-2*(-1)/2. Suppose -2*q - 19 = -v, -40*q + 2 = 2*v - 38*q. Is z > v?
False
Let z = -22.984 + -0.016. Let n = z + 48. Let q = -23 + n. Is -0.1 greater than or equal to q?
False
Suppose -8 = -4*d + 2*t, 5*d - t + 1 = -4*t. Let x(u) be the first derivative of -u**3/3 - 17*u**2/2 - 19*u - 5. Let p be x(-16). Which is smaller: p or d?
p
Suppose 5*h - 2 = y, 4*y + 4*h = 3*h + 55. Let l = 9 - -2. Let b = l - -2. Is b less than y?
False
Let a be (-1)/(-3) - (-380)/(-60). Let b be a*1*-5*(-14)/(-945). Is b bigger than 1?
False
Suppose 37*s = 41*s - 124. Which is greater: s or 159/5?
159/5
Let y = 154/71 + -391/213. Let n = 0.23 + -0.08. Are n and y non-equal?
True
Let a be ((-3)/6)/1*-12. Suppose 18 = n - 3*l, -5*l - 18 = -n + a. Let s = -15 + n. Is s at least as big as -6?
True
Let c = 1 - -2. Let t = 1 - c. Let a = -31/2 - -15. Is a <= t?
False
Let m(d) = 12*d**2 - d. Let s be m(1). Let j = 30164 + -30156. Is j > s?
False
Let w(a) be the second derivative of -a**4/12 - 2*a**3 - a**2/2 + 3*a. Let n be w(-12). Let j be n - -3*(-3)/(-15). Is j at most -1?
False
Suppose -3*q = 2*n + 75, 2*n + q = n - 40. Let t be 10/n*(-6)/(-2). Suppose -4*l + 5*d - 7*d = 10, -2*l - 7 = 3*d. Which is smaller: t or l?
l
Let h be ((-2)/4)/(9/888). Let r = 49 + h. Let w = -8 + 2. Is r at least w?
True
Let d = 516 - 516.16. Is d at least as big as -0.6?
True
Let c be (-880)/330*6/104. Suppose l + 4 = 3. Which is smaller: l or c?
l
Let o = 6 - 3. Let d = -0.017 + 0.077. Let l = d - 0.06. Which is smaller: o or l?
l
Suppose 3*p = 5*m - 19 + 6, -6 = -5*m - 4*p. Suppose 5*o - m*o + 18 = 0. Which is smaller: -7 or o?
-7
Let v(g) = g**2 + 7*g + 3. Let h be v(-7). Suppose 3*o - 5 = -2*u, -u = -h*o - 1 + 21. Suppose 2 = q - 2*q - a, 4*q + a = -14. Is q bigger than u?
True
Let d 