 4*t + 16, g + 2*t - 5 = 4. Is -1/17 greater than g?
True
Let x = 669 + -671.79. Let k = -1.89 - x. Is -4 at most k?
True
Let f(v) = -2*v - 19. Let m(o) = -o**3 + 15*o**2 - 10*o + 6. Let t be m(14). Suppose -7*b = 8 + t. Let w be f(b). Is -1/33 greater than or equal to w?
False
Let z = -796 + 1677. Is 882 at least as big as z?
True
Let c be (-2)/(-7) - (-178)/(-35). Let k be 9*(6/30)/(6/10). Suppose 4*u = -5*q - 17, -k*q = -4*q + 2*u - 9. Are c and q unequal?
True
Suppose -28*o + 700 = -30*o. Let z = 1049/3 + o. Which is greater: z or -0.006?
-0.006
Let q = 35.21 - 1.41. Let j = 42.2 - 8.2. Let h = j - q. Which is greater: -21 or h?
h
Let u = 78.14 + -77. Let l = -0.06 - u. Let m = 781.2 - 780.9. Is l equal to m?
False
Let u be (5/1580)/((-2)/(-4)). Let a = -1776 - -1775. Which is bigger: u or a?
u
Let j(g) = 201*g**2 - 3*g + 7. Suppose -2*l = 2*m + m - 12, m - 5 = -l. Let d be j(l). Let w = 142755/79 - d. Which is bigger: -1 or w?
w
Let t = 1734.9 + -1727. Let a = 36 - 28.2. Let w = a - t. Does w = 4?
False
Suppose -4*v = -3*z - 62 - 55, 4*v - 157 = -5*z. Let c = -81 + v. Let u = c + 31. Is u bigger than -17?
False
Suppose 9*g - 4*g - 90 = 0. Let l = -1042 - -869. Let j = -173.1 - l. Are j and g non-equal?
True
Let t = -38 + 38. Suppose 5*x + j - 162 - 60 = t, -4 = -2*j. Let s = x - -10. Which is greater: 55 or s?
55
Let l = 3/386 - -119259/1930. Does l = 62?
False
Let r = -163 + 171. Suppose -r*m = 2*f - 5*m - 54, -4*f = 3*m - 114. Which is smaller: f or 32?
f
Let g be ((-284)/(-17))/(22/(-49)) + (-2)/(-17). Let j(m) = m**3 + 17*m**2 - 16*m - 1. Let p be j(-18). Is p at least g?
True
Let c = 12 + -11.9. Let u = 0.09 - c. Let k = 168.2 + -167.9. Is u >= k?
False
Let r(w) = 43*w**2 + 27*w - 61. Let s be r(-14). Are s and 7988 equal?
False
Let y = 597 + -600.01. Let j = y - -3.08. Is 2/35 < j?
True
Let r = 3 - 0. Suppose c + 0*c - r = 0. Let j(u) = -u**3 + 21*u**2 - 12*u + 252. Let o be j(21). Is o less than c?
True
Let t(n) = -n**2 + 21*n - 56. Let m be t(20). Let h be 21/39*m/21. Which is greater: -2/7 or h?
-2/7
Let c(a) = 13*a - 17. Suppose 4 = d - 18. Let x be c(d). Let f = 4843/18 - x. Is 0 at least f?
False
Let x = 534.9 + -553. Let f = x + -160.9. Is -1 at least f?
True
Suppose 4*t = 5*t + 4, -2*t - 8 = b. Which is smaller: 2/26571 or b?
b
Let t be ((-2)/(-12))/((-125)/(-300)). Which is smaller: t or 118.86?
t
Let q = 37238 + -37237. Is q less than or equal to 161/12?
True
Let s = -465105/50979598 + -1/66553. Which is smaller: 0 or s?
s
Let p(n) = n**2 - 5*n - 2090. Let a be p(57). Is a at most as big as 873?
False
Suppose -3 - 5 = -4*c. Suppose c*t - 5 = -1. Let k(f) = -3*f**2 - 27*f - 43. Let a be k(-7). Which is greater: a or t?
t
Let k(z) = -z**3 - 42*z**2 - 264*z - 116. Let y be k(-7). Let r = 23 - 10. Which is smaller: r or y?
r
Suppose 6*j = -j - 735. Let a be (-19 + 1)*j/(-70). Is -28 equal to a?
False
Let i(h) = 5*h**2 + 15. Let l(t) = -3*t**2 - 10. Let z(n) = 5*i(n) + 8*l(n). Let b be z(3). Let w(g) = 4*g + 4. Let d be w(b). Which is bigger: d or 19?
d
Let s be 1100/(-400)*(-12)/139. Is 0 at least s?
False
Let b be ((1/(234/(-416)))/(4/6))/(-4). Is b <= 1/967?
False
Let n(l) = l**3 + 3*l**2 - 17*l + 10. Let r be n(-6). Suppose 2*s - 1 = -5*x + 2*x, 0 = r*x + 2*s - 2. Which is bigger: x or 2/105?
x
Let m = -1596 + 1597. Is m bigger than 559?
False
Let l = 4/2057978467 - -17964093553943/249272641815375. Let p = -25/323 + l. Is p at most as big as -1?
False
Suppose -201 = 60*d - 1221. Which is smaller: 75 or d?
d
Let z = 105252/11 - 357962162/37411. Is -1 greater than z?
False
Let x = -4.1167 - -0.0267. Let q = -3.09 - x. Is -11/16 > q?
False
Suppose 8*f = t + 3*f + 3, 0 = -3*t - 5*f + 11. Let p = 13 + -12. Is t smaller than p?
False
Suppose 5*t + 4*w - 9 = -21, -9 = 3*w. Is 1/9866 > t?
True
Let t(b) = -b - 13. Suppose -6*g - 58 - 14 = 0. Let j be t(g). Is 2/477 greater than or equal to j?
True
Let w be (3/4)/((-1548)/2064). Which is greater: 5/1653 or w?
5/1653
Let r be (1 + (3 - 0))/(-2). Let y be r/(-9) - (-20)/315. Is y < -6/59?
False
Suppose 0 = -2*o + 2*r - 33 + 9, -5*o = -4*r + 62. Let g(h) = 58 - 47*h**2 - 13*h + 2*h**3 - 17*h + 3*h. Let t be g(24). Are t and o equal?
True
Let h be -2 + (-1232)/(-33)*87. Which is bigger: h or 3247?
3247
Let h = 304.9315 - -0.0685. Let k = -304.9 + h. Let d = 13/7 + -25/21. Which is greater: k or d?
d
Let m = -1337 - -1357. Which is bigger: m or 1.06?
m
Let b be 3*((-1)/2 - (-6)/(-36)). Let n(y) = -y**2 - 2*y. Let u be n(b). Let d = -2/10087 - -30467/1038961. Are u and d unequal?
True
Let a(k) = -7*k - 99. Let u be a(-14). Let v be u/(-2)*(-4 + 440/95). Which is smaller: v or -0.1?
-0.1
Let r(m) = -m**3 + 12*m**2 + 9*m + 40. Let o = 293 + -280. Let g be r(o). Let l be (-1)/(42/(-22) + 2). Which is bigger: l or g?
l
Let v(l) = 6*l - 6. Let c be v(1). Suppose -4*q = -2*h - c*q, 5*h = 5*q. Suppose 2*y - 6*f - 28 = -9*f, -5*y + 3*f + 70 = h. Which is smaller: y or -3?
-3
Let z = -487 + 471. Let d be (4/(-24) + 0)/(z/744). Which is bigger: 9 or d?
9
Suppose 4*v + 92 = 4*r - v, -74 = -5*r - 4*v. Let w be (-24)/(-27) + (-4)/r. Let j(s) = -s**2 + 8*s + 65. Let y be j(13). Are w and y non-equal?
True
Let l = -36.71 - 47.28. Let b = -84 - l. Is 16 less than or equal to b?
False
Suppose 0 = c - 4*o + 312, -66*c + 1514 = -71*c - 3*o. Is -2747/9 at least c?
False
Let u = -33 - -30. Let o be (-610)/(-5 + 0) + u. Suppose -y - o = -4*y - 5*x, -3*y + 4*x = -110. Which is smaller: y or 39?
y
Suppose 5*m - 43*m - 38 = 0. Is m greater than -2/121?
False
Let k be (-1)/6735*(-132)/110. Are k and -0.2 nonequal?
True
Suppose 0 = -2*z - 2*c - 41 - 103, 0 = 2*z - 4*c + 156. Which is greater: -22 or z?
-22
Let q = 239 - 185. Suppose 30 = -4*v + q. Does 6 = v?
True
Let f = 70.5898 - 0.5898. Is -12 smaller than f?
True
Suppose -1 = 2*u - 3*u. Suppose 12 = 2*x - 2*o + 36, -3*x - 4*o - u = 0. Let k be x/(63/(-2)) + 1790/45. Which is smaller: 42 or k?
k
Let x = -53 + 74. Let q be 1*-217*102/(-1071). Which is greater: x or q?
x
Let o = 11/628 - -28679/11932. Suppose -3*a + 18 = -4*l, 0*l = -5*a + 3*l + 19. Which is smaller: o or a?
a
Suppose 0 = 19*d + 117 - 136. Is d < -1/270?
False
Let z = -9 - -10. Is 14/41 at most as big as z?
True
Suppose -6*f + 7*f = -2. Let q(a) = a - 6. Let z be q(10). Let i be (z/10)/(8/(-15)). Which is smaller: i or f?
f
Let b = -274.2 - -7.2. Let m = b + 264. Which is bigger: -67 or m?
m
Let j = -227 + 669. Let o = 356 - j. Is -4 < o?
False
Let r be (1 - (-21)/7) + 2/2. Suppose 545 + 280 = -r*h. Is 1 > h?
True
Let u(n) = 2*n**2 + 126*n + 1144. Let s be u(-11). Is 76/387 smaller than s?
False
Let l(f) = 92*f - 737. Let p be l(8). Is p greater than or equal to 8/475?
False
Let i be (-541)/((-3*(-8)/(-56))/(-3)). Is i smaller than -18939/5?
False
Let y(q) = 1540*q - 40000. Let a be y(26). Suppose g + 2*b - 40 = 0, -4*g + 82 + 78 = -2*b. Are a and g equal?
True
Let t = 1797 - 1173. Which is bigger: t or 623?
t
Suppose -3*o - 91 = -4*d - 862, -581 = 3*d - 5*o. Let s = -76 - d. Are 117 and s equal?
False
Let o = 21/187 - -69314/561. Is o greater than or equal to 124?
False
Let h = 0 - -100. Let p = 90 - h. Let z be (p/75*-3)/(48/15). Which is greater: z or -0.8?
z
Let o = 135 + -143. Let f = 22 - 22.6. Is o >= f?
False
Let w be 1/((-1)/(-2)) - 0. Suppose 4*u - 60 = -2*h, h = -w*h - 5*u + 86. Let p be (-4)/h + 92/22. Do 1 and p have different values?
True
Suppose 4*t - 14 = -292*a + 290*a, 3*a - 6 = -3*t. Which is smaller: -296/105 or a?
a
Suppose -3*g + 5*g = 1564 - 1388. Which is bigger: 111 or g?
111
Suppose 3*a = 7*s - 5*s + 51, a = 4*s + 127. Let b be (12/38)/((-22)/s) - 0. Is b less than or equal to 1?
True
Let o = -1/15269 - 2794220/106883. Let x = o - -131/5. Which is smaller: 1 or x?
x
Let k(a) be the third derivative of a**4/24 + 13*a**3/2 + 58*a**2. Let x be k(-25). Is 0 less than or equal to x?
True
Let r be (-124)/(-14) - 1/((-21)/3). Let k be -4 - (0 + 440/(-35)). Are k and r equal?
False
Let j(r) = -r**3 - 4*r**2 + 4*r + 6. Let k be j(-4). Let b be 2342/(-19907) + 3092/(-306). Which is smaller: b or k?
b
Suppose -284*f - 95 = -379. Is -21/830 smaller than f?
True
Suppose 89*g = 77*g - 48. Let m be g/14 - (-2 + (-120)/(-21)). Suppose c + 0*c + 4 = 0. Are c and m non-equal?
False
Let