
Let f = -11 + 180. Let l(p) = -2*p**3 - 16*p**2 + 553*p + 78. Let r be l(13). Is r greater than or equal to f?
True
Let d = 0.214 + -0.034. Let n = -61.18 + d. Let f = -60.8 - n. Does f = -1/2?
False
Let f = -30 + 68. Suppose -n - 2*j + 25 = 0, 3*n = -2*j + 53 + f. Let c = -34 + n. Is 2/15 greater than or equal to c?
True
Suppose 0 = 5*f - 30, -4*b + 5*f - 202 = -0*b. Which is smaller: -64 or b?
-64
Let t(x) = x**2 - 10*x - 8. Let g be t(11). Suppose -3*m - 147 = -2*q, -g*m - 187 + 19 = 5*q. Is -52 at most as big as m?
True
Let b be ((-492)/(-10))/(-12*5/1500). Which is smaller: b or -1231?
-1231
Let i = 264 + -267. Let a be (1/i)/(26/(-13806)). Are 179 and a unequal?
True
Suppose 186 = -8*a - 8010 + 28. Are -1020 and a nonequal?
True
Suppose 8*q + 371 = -2*q - 119. Let y = -82 + 80. Which is smaller: q or y?
q
Let p = 201 - 191. Let h be (50/75 - p/6)*0. Which is greater: h or 2/13?
2/13
Suppose 561 = 4*o + 13*o. Let a = 92 - 117. Let k be 5 + (-5)/(a/135). Which is greater: k or o?
o
Let f(u) = u**2 + u. Let g(h) = -6*h**2 + 28*h - 141. Let v(k) = 5*f(k) + g(k). Let c be v(27). Which is smaller: 24 or c?
c
Let t be -36*(-3 + 5/2). Let n be 0/(t/3) - -2. Is 6/7 < n?
True
Let k = 7/765 - -4261/35955. Is -63 at most as big as k?
True
Suppose 162 = 8*y + 130. Suppose 10 = -5*l, -2*t + y*l + 0 = -6. Is -2/55 smaller than t?
False
Let v = -306 - -306. Let i be (-1)/((-6)/(-264)) - v. Is -43 > i?
True
Let v = 1.74 - 38.74. Is v >= 0?
False
Let d = -370.9509 - -371. Let l = d - 0.1491. Which is smaller: 1/106 or l?
l
Let l = -6.96 - 151.04. Let q = l + 157.97. Which is smaller: -73 or q?
-73
Let t(n) be the third derivative of 0*n - 11/60*n**5 + 1/2*n**4 + 0 - 18*n**2 - 1/120*n**6 + 13/6*n**3. Let k be t(-12). Which is bigger: -1 or k?
k
Suppose -3*s + 7152 = 5*s. Let h be (-1)/(((-4)/s)/(8/12)). Let f = h + -89. Which is smaller: -0.1 or f?
-0.1
Let a be 4 + (585/(-325))/((-6)/(-30)). Let y = 7 - 11. Let v be y/(-10) + 26/(-40). Which is smaller: v or a?
a
Let w(n) = -n + 8. Let p be w(6). Suppose -4*l = -3*m + 113, -2*m + 0*m + 47 = 3*l. Let h = 34 - m. Which is smaller: p or h?
p
Let g = -1479 - -1457. Which is smaller: g or 36?
g
Let h be (54/12)/((-2)/(-4)). Let t(y) = y**3 + 15*y**2 - 16*y - 42. Let d be t(-14). Let u = d - 369. Is u >= h?
True
Suppose v + r - 21 = 58, 9*r = -5*v + 371. Is 84 < v?
True
Let f = 6682 + -6162. Is f equal to 520?
True
Let r(c) = 3*c**2 + 6*c - 1380. Let t be r(70). Which is greater: t or 13741?
13741
Let j be 10729/(-555) + (16/(-40))/2. Let g = -32/37 - j. Do g and 20 have the same value?
False
Suppose -v + 3*b - 5 = 0, -5*v - b + 1 = 26. Let g be v + 15/3 + -4. Suppose 11*q = 6*q - 10. Is q >= g?
True
Let g(q) = -q**3 - 12*q**2 + 15*q + 70. Let t be g(-13). Is t at least 579/13?
False
Let l(o) = 2*o - 22. Suppose y = 0, -r - 4*y - 9 = 2*r. Let d be l(r). Let i = d + 31. Which is smaller: 1 or i?
1
Let p = 20152 + -19535.96. Let f = p - 616. Let y be ((-2)/(-4))/(1/(-9)). Is y less than or equal to f?
True
Let a(i) = i**2 - 24*i + 25. Let f = -8 - -31. Let h be a(f). Suppose -h*r + 6 = -x, 23 = 5*r - 4*x + 2. Are 0.1 and r non-equal?
True
Let y = -37 - -823. Let s = -787 + y. Is -443 at least s?
False
Suppose 0 = 3*o - 3*y - 51, 3*y + 16 + 11 = o. Let j be 330/81*13/((-130)/o). Is 1 < j?
False
Let a be -3 + (-122000)/(-42156) - ((-56)/63)/8. Which is smaller: a or 1?
a
Let k(m) = -m**2 - 31*m - 343. Let c be k(-23). Which is smaller: -475/3 or c?
c
Let p = -108 - -49. Let n(a) = -4*a - 57. Let s be n(0). Is p > s?
False
Let m be (-19863)/(-6)*2/12 - 223/(-892). Which is smaller: 547 or m?
547
Let c = 7154/115 + -1440/23. Which is greater: 4112 or c?
4112
Let r(a) = 32*a - 65. Let j be r(2). Is j < -4/135?
True
Let f be (-6)/(-2)*(3 + 39/(-9)). Let x be (f - (16 + 0))/((-18)/10). Is x at most 11?
False
Let x = 202 - 2023/10. Let h = -433 - -426. Is x less than or equal to h?
False
Let d be (-8)/12 - (-608)/12. Let n be ((-1)/((-3)/(-111)))/(-1). Suppose 147 = n*y - 34*y. Which is greater: y or d?
d
Suppose 10 = 12*x - 7*x. Let u(c) = 5 + 11*c - 7*c**x - 2*c + 6*c**2. Let s be u(9). Is 11/3 equal to s?
False
Let n be (-1)/1 - 18/(-6). Suppose x - 2*f = 21, -4*x - 4*f = -n*f - 124. Suppose -4*p = s - x, 2*s = -2*s + 4. Which is greater: 9 or p?
9
Suppose 48 = 3*s + 4*u - 35, 0 = -4*s - u + 102. Let q = -11 + 32. Suppose q*t - s = 16*t. Which is greater: t or 8?
8
Suppose 3*m + 206 = 3*g + 1262, 5*m = 3*g + 1756. Let a = 6619712 - 304522853/46. Let w = a + m. Is w < -1?
False
Let i = -12272 + 13129.6. Which is smaller: -1/4 or i?
-1/4
Let a(c) = 2*c**3 + 110*c**2 + 36*c + 28. Let b be a(-56). Is b at most -8260?
True
Let i = 3.178 + -0.398. Let s = i + 0.06. Does s = -0.1?
False
Let j(f) be the third derivative of f**5/30 - 17*f**4/24 - 3*f**3/2 + 10*f**2. Let x be j(9). Suppose x = -g - 2*m - m, -4*m = 5*g. Which is smaller: g or 1/44?
g
Suppose 230*w - 228*w + 82 = 0. Let s be -82*(-2 - (-3)/2). Let v = w + s. Is 2/85 at most v?
False
Let m(t) = -2*t**2 - t. Let w be m(0). Suppose w = 3*x + 2*x - 10. Let p be (x - 1) + -1 + -6. Is p at least as big as -5?
False
Suppose 0 = -34*t + 1906 - 206. Which is smaller: 116 or t?
t
Let l be 75/(-50)*(-6)/(-9). Which is smaller: 8/935 or l?
l
Let d = -153 + 66. Let u = 86.6 + d. Let n = u + 0.1. Are 6/7 and n unequal?
True
Let m be (-17)/1156*19484 - -19. Is m at least -267?
False
Suppose -2*r - 5*d = 2*r + 135, 0 = -2*r - 3*d - 69. Let t be (-18)/(-20) + 15/r. Which is bigger: 1/7 or t?
t
Let s = 0.00697 + 43.19303. Which is smaller: 26 or s?
26
Let n = 1430.8 - 1431. Which is smaller: 1122 or n?
n
Let c = -12 + 14. Suppose c*q + w = -13 - 64, -q + 2*w - 26 = 0. Let h(n) = -17*n - 307. Let i be h(-16). Which is greater: i or q?
i
Let x(i) = 3*i - 11. Let o be x(4). Let r be 2/(o/(44/8)). Suppose -195 = r*l - 6*l. Is l less than -40?
False
Let g be ((-38)/132)/(63/(-18)). Are 0 and g equal?
False
Let c(b) = -38*b - 479. Let t be c(14). Let v = 656 + t. Are v and -354 non-equal?
True
Let s be (-2*(-2)/(-14))/(368/112). Suppose -4*j + 3 - 12 = 3*x, -2*j - 7 = -x. Which is bigger: s or x?
x
Let a(u) = 34*u - 17. Let m be a(2). Suppose -63*h + m*h = -12. Are h and -16/77 nonequal?
True
Suppose 4*k = 7 + 1. Let g be 1/k + 129/(-6) + 1. Is g < -20?
False
Suppose -9 = c - 43. Let o be 66/(-120) + -4 + c/10. Which is smaller: 0 or o?
o
Let h be (2/((-8)/36))/1. Let s be h/(-4) - (-10 + 5)/(-20). Which is bigger: s or -9?
s
Let q(d) be the second derivative of d**3/3 - 5*d**2/2 - 14*d. Let o be q(3). Let i = -2/467 - 2744/13543. Is o bigger than i?
True
Let a(u) = -134*u + 893. Let y be a(5). Is 1567/7 != y?
True
Let n = 10.42 + -8014.42. Is n greater than or equal to 0.1?
False
Suppose 2*t + t = 135. Let b = -41 + t. Suppose -2*r = b*r - r. Is r greater than -2/261?
True
Let x = 10984 - 11198. Is x <= -209?
True
Let q(u) = -u**2 - 15. Let o be q(6). Let x = 38 - 26. Suppose -10*c = -x*c - 104. Is c bigger than o?
False
Suppose -5*p = 2*v - 18 - 1, -9 = -3*v - p. Suppose 0 = v*w - 6*y + 10*y - 18, -y + 7 = -2*w. Which is smaller: -5/49 or w?
w
Let f be (2 - -7 - 5)*3/48. Let d = -9.5 - -18.8. Which is greater: d or f?
d
Let x(l) = -5*l + 1. Let b(q) = -q - 12. Let k be b(-6). Let h be x(k). Suppose -8*j - 263 = -26*j + 313. Which is smaller: j or h?
h
Let i be 90/165 - 40428/66. Is i < -617?
False
Suppose 21*u + 4*x - 19 = 22*u, -u - 4*x + 21 = 0. Let f(q) = q**3 + 9*q**2 + 7*q + 4. Let p be f(-8). Suppose -10*s = -11*s - p. Is s <= u?
True
Let a be (-64)/20*(-50)/(-70). Let y = 1.42 + -1.6. Let j = y + 0.18. Is j less than a?
False
Suppose -33*y = -198 + 594. Let h be ((-3)/(-34))/((-69)/y + -6). Which is bigger: h or 7?
7
Let h = -36041 - -32541. Is -3501 less than or equal to h?
True
Let w = -87 - -91.2. Let c = w - 4.63. Let o = c - 1.57. Is o at least -8/5?
False
Let s be 4/(-2)*2/6. Let w be 1230/40 - 2/(-8). Let c be 95/w + 75/(-25). Which is bigger: s or c?
c
Let w be 472/(-1416) - 29/3. Suppose -491 = 5*z - 2*i - 2197, 5*z - 1709 = 3*i. Let y be z/(-35) + 4/(-14). Does w = y?
True
Let h be (6/24)/((-35014)/(-492)). Which is greater: 2/5 or h?
2/5
Suppose 107577 = 166*o - 58921. Are 1006 and o non-equal?
True
Let m(s) = -s**3 + 14*s**2 + s - 9. Let x be m(14). Let z(i) =