i = -7314/77 + r. Is 9 at least as big as i?
True
Let s(q) be the first derivative of -3/2*q**2 + 9*q - 1/3*q**3 + 14. Let u be s(-5). Is 31 smaller than u?
False
Let a be 2*(24/3)/2. Suppose -11 + a = -n. Suppose 5*y - n*w + 0*w + 253 = 0, 0 = y - 2*w + 45. Which is bigger: -54 or y?
y
Let g = -1224 + 2214. Let j be g/2060 - (-1)/(-2). Which is greater: j or 1?
1
Let g = -870 - -1226. Let i = -355.98 + g. Which is smaller: i or 11?
i
Let v be (1 - 27)*548/(-33154). Which is smaller: 0.1 or v?
0.1
Let q = -7/2 - -3. Let n(g) = -13*g**2 + 1511*g - 550. Let k be n(116). Which is bigger: k or q?
q
Let r = -0.3471 - -0.1471. Suppose 2*o - 32 = -2*f - o, f + 10 = 5*o. Which is smaller: r or f?
r
Let o = -1990 + 8203/4. Do o and 4 have different values?
True
Let t = -17077 + 17037. Suppose -108 = 4*i + 3*a + 53, -3*a = -4*i - 167. Are t and i equal?
False
Suppose 0 = 5*z, -w = -3*w + 5*z - 86. Let t(n) = -2*n**3 + 4*n**2 - 5. Let o be t(5). Let c = o - -112. Is w < c?
False
Let o be 2*1/((-24)/(-45)). Let t(f) = 39*f + 120. Let w be t(-11). Let x = w - -929/3. Which is greater: o or x?
o
Let c = -20 + 24. Suppose -5*o + 3*d + 73 = 0, -c*d + 67 = 5*o - d. Suppose -3*u + 60 = 2*u. Is o less than u?
False
Let k = 12290.99 - 12291. Which is greater: 976 or k?
976
Let k = 13421/2992 + -9/187. Are 3 and k unequal?
True
Let n(z) = z**3 - 23*z**2 - z + 25. Let v be n(23). Suppose 1 = o + y, -v*y - 1 = -y. Is o <= 12/23?
False
Let s(j) = -7*j + 8. Let q be s(2). Let w(k) = -k**3 - 5*k**2 + 5*k - 6. Let c be w(q). Suppose c = d - 5 - 5. Does 10 = d?
True
Suppose -3*x + 5*i - 147 = 0, -98 = x + x - 3*i. Suppose -6*h = -2*h - 232. Let g = h - 106. Which is smaller: g or x?
x
Let c = -223 + 297. Suppose 71*j - c*j = 0. Let p = 2312/99 - 252/11. Which is smaller: j or p?
j
Let x = 15883 - 15882. Is x at least -23/660?
True
Suppose -2*w = 0, -6 = -2*k - k - 5*w. Let b(p) = 7*p - 1. Let o be b(k). Suppose 6*h - 75 = h. Which is bigger: h or o?
h
Let p be ((-20)/(-6))/((-14)/6). Suppose -2*k - 1182 = -3*b, 3*b - 18*k + 15*k = 1185. Let w = b + -393. Is p > w?
False
Let r(j) = j**3 + 8*j**2 - 11*j - 17. Let g be r(-9). Let y be (-3 - -23) + g - (-6)/3. Which is greater: y or 30?
30
Let y(c) = -15*c + 220. Let x be y(14). Let a(o) be the second derivative of o**4/12 - 2*o**3 + 19*o**2/2 - o. Let w be a(x). Which is smaller: w or -14/15?
w
Let v = 122925/56 - 2195. Let w = 11/104 - v. Which is greater: -1 or w?
w
Let v = -21.4851 + 2.4851. Is v > -0.0342?
False
Let v = 276 - 304. Let i(h) be the second derivative of -h**5/10 + h**4/6 + h**3/3 + 3*h**2/2 + 4*h. Let g be i(3). Is g less than or equal to v?
False
Let j be (3 - (5 + (0 - 3)))*0. Suppose -63 = 3*l + 5*r, j = 2*l + l + r + 63. Is -22 equal to l?
False
Let x be ((2 + -1)*(9 - 8))/((-5)/12310). Are x and -2462 unequal?
False
Let l = 60118/59 - 1019. Suppose -3724 = 4*h - 652. Let n = h + 768. Are n and l unequal?
True
Let g(y) = -y**2 - 21*y - 19. Let h be g(-20). Let o be ((-6)/(-9))/((-9)/((-54)/1046)). Does o = h?
False
Let l be (105/20)/((-45)/(-660)). Which is bigger: 78 or l?
78
Let o(t) be the first derivative of -t**3/3 + t**2 - 2*t + 6. Let c be o(3). Suppose -8 = 3*w + 13. Which is smaller: c or w?
w
Let t be (-4)/10 - 2388/30. Let n be (-16)/t + 2964/5. Let x = n - 4205/7. Is x less than or equal to -9?
False
Let b(y) = -51*y**2 - 45*y + 217. Let a be b(5). Does a = -2567/2?
False
Let q be -6*12/20*585/81. Let d be 1 - (-2 + (-621)/(-21)). Which is smaller: d or q?
d
Let a = -393 - -412. Suppose -a*g + 309 = 1050. Let z = 2 - 1.9. Which is smaller: z or g?
g
Let f = -337 + 337. Suppose f = 4*g + 14 - 18. Is 1/524 less than g?
True
Suppose 4*g + 22 = -2*s, -330*g + 20 = -4*s - 334*g. Is s at most 17/1518?
False
Let h(o) = -85*o - 1270. Let y be h(17). Is -2716 > y?
False
Let n(v) be the second derivative of 0 + 1/3*v**3 + 0*v**2 - 5*v - 5/12*v**4. Let m be n(2). Is m bigger than -16?
False
Let w = 44583414789/50958110 - -1/1643810. Let o(a) = -8*a**2 - 53*a - 490. Let g be o(-11). Let f = w + g. Which is smaller: f or 0?
f
Let d = 110 - 98. Let u be ((-177)/d)/(2*(-3)/(-24)). Which is smaller: -57 or u?
u
Let r be (3 + -3)*44/(-198)*3/(-2). Which is greater: r or -1/1960?
r
Let o = 41 - 48. Let i = 5 + 3. Let q be -7 - 2/(i/(-6)). Which is greater: o or q?
q
Let w = 399.34 - 390. Let y = w + -9.14. Which is bigger: -0.076 or y?
y
Let f = -11338 + 11325. Are f and 56 unequal?
True
Let u = 73 + -41. Let z = -17 + u. Let f = -36.11 - -36.41. Is z greater than f?
True
Let m be -4 + 4 - (-6 + 92/20). Is 48 > m?
True
Let o = -361 + 149. Let r = o + 150. Is r smaller than 0.1?
True
Let n(a) = a**3 + 18*a**2 - 102*a - 12. Let y be n(-23). Are -358 and y nonequal?
True
Let r = -77 - -72. Let a be (r + 12 - 2) + -1. Suppose 5*o + 20 = 4*i, -4*i - 2*o - 2 + 22 = 0. Which is smaller: a or i?
a
Let p = -34 + 37. Let k be ((-12)/33)/(14/(-77)). Is k greater than p?
False
Suppose 1866 = -20*j + 3466. Is j > 113?
False
Suppose -f - 21*f - 6387 = 122159. Is f >= 1/2?
False
Let q(s) = -11*s + 50 - 67 + 7*s - 48 - 12*s. Let d be q(-4). Which is greater: 2/213 or d?
2/213
Let g(b) = -b**2 - 3*b + 14. Let v be g(-6). Let j be (-112)/(-102) - v/(-24)*-4. Let h = -347/187 + j. Which is smaller: 1 or h?
h
Let q = -5828.99496 - -5829. Is 0 at most as big as q?
True
Suppose 43*d + 4458 + 20568 = 0. Let a = -583 - d. Which is greater: a or 6/25?
6/25
Let b = -4.4993 + 0.4993. Let q = 0.24 + -2.92. Let m = q - -2.6. Which is greater: b or m?
m
Let i(j) = -9*j - 36. Let t be i(-11). Let h = 112 - t. Suppose 6*q + h = -11. Is q greater than or equal to -9?
False
Let t = 0.3443 - 0.0433. Let a = t + -0.061. Let c = 23.24 - a. Which is greater: c or 0.1?
c
Suppose 2*y = 6, d - 2*y = -0*y - 7. Let f be (-2 + -12*4)*d. Let u be ((-45)/(-475))/(15/f). Is 0.2 bigger than u?
False
Let j = -9.6 - 5.4. Let c = 113 + -128.6. Let x = j - c. Which is greater: x or 1?
1
Let l(w) = -2 + 9 + w**2 - 9*w + 2. Let t be l(6). Let f = 0.93683 + 0.06317. Do t and f have different values?
True
Let s(q) = 422*q**3 + 2*q**2 + 9*q + 9. Let b be s(-1). Which is greater: b or -419?
-419
Let a = -36 + 48. Let q be 2*(-6)/(a/(-5)). Let p be (-5 - (q - 5)) + 15. Is 5 at least as big as p?
False
Let i(q) = -q**2 + 32*q - 160. Let r be i(6). Is -2 smaller than r?
False
Suppose -15 = -3*i, 2*i = -19*x + 22*x - 278. Suppose x*h + 570 = 115*h. Is h at most 32?
True
Let y = 48909 + -440203/9. Let r(s) = 6*s**2 + s. Let c be r(-1). Let j = -7 + c. Which is smaller: y or j?
y
Suppose 0*h = -2*h. Let w = 96750/3955847 - -2/24269. Do w and h have the same value?
False
Let v(c) be the first derivative of -c**3/3 - 9*c**2/2 + 41*c + 93. Let x be v(6). Which is smaller: -51 or x?
-51
Let j = 1 + -1. Suppose 4*y - 49 = 23. Let s be -2 - (6/y + 20/(-6)). Is s < j?
False
Let z = 9 - 8. Let t be (-6)/972*(-4)/6. Let w = -725/972 - t. Which is smaller: z or w?
w
Let a be 21/1725 - (2 + -3). Let m = -35634/25 + 1424. Let v = m + a. Is 1 greater than or equal to v?
True
Suppose 13*g = 5*g - 752. Let r = g + 97. Let w be (r/6)/(4/32). Which is greater: -3/4 or w?
w
Let v = 8191 - 8192. Which is bigger: 20/107 or v?
20/107
Suppose -g = -5*p - 11, 4*p - 6 = -g - 22. Let u(s) = s**3 - 14*s**2 - 14*s - 19. Let y be (-2 + 5)/1 + 12. Let v be u(y). Are v and p nonequal?
True
Let t = -190 - -192.71. Let x = t - -1.49. Let m = -2 - -1. Is x less than or equal to m?
False
Let z(s) = -s**3 + 2*s**2 - 5*s + 5. Let a = 55 + -53. Suppose -5 = -a*p - 1. Let u be z(p). Which is smaller: -2 or u?
u
Let z(j) = -j - 45. Let m be -4*10/(100/(-45)). Let b be z(m). Which is bigger: -65 or b?
b
Let g = -2.03159 + 0.03159. Suppose -5*k + 0*k - 4*s = -183, k - 4*s - 51 = 0. Is k greater than g?
True
Let r be 2 - ((-60)/(-16) - (-9 - -7)). Let l = -9.1 + 9.2. Is l < r?
False
Let m = 196 - 187. Suppose 2*d - 9 = d. Let n be d/3*(1 + 2). Is m bigger than n?
False
Let b = -358 + 372. Suppose -51 = 2*o - 17*x + b*x, -x + 3 = 0. Which is greater: -11 or o?
-11
Suppose 15*n + 23 - 8 = 0. Let f(h) = -7*h**2 - 1. Let w = 7 - 6. Let b be f(w). Is n at least b?
True
Suppose 38*i = 36*i + 22. Suppose -6 = 3*j, -4*u - i*j + 13*j + 24 = 0. Which is smaller: u or -4?
-4
Let p = 1882 - 227728/121. Let a = 802 + -8