e 4 = 3*i - 0*i - g, -4*i + 2*g = -4. Let u be ((-45)/(-42))/3 + i/(-7). Let s = 57 + -57. Which is smaller: s or u?
s
Let x be (3/4)/(3/60). Let r be (-4 + 2)/(-2) - 214/(-38). Let w = r + 439/57. Is w bigger than x?
False
Let i be 6 - -1425*(-14)/42. Is -467 >= i?
True
Let y be (2*1)/((-122)/(-9577)). Is y less than or equal to 158?
True
Let c be 4/10 + 1614558/(-2970). Let d = -543 - c. Suppose 0 = 3*m - 6, 5*m = -i + 4*m. Is i greater than d?
False
Let w = -4797.2 - -4797. Is w smaller than 17.6?
True
Suppose -33*s = -64*s - 5394. Which is greater: s or 0?
0
Let n = 25/19 + -2263/1691. Let c = -30061 - -30061. Which is smaller: c or n?
n
Let n(b) be the third derivative of b**4/4 + 7*b**3/2 + 19*b**2. Let s be n(5). Let t be -2 + 122/s + (-3)/9. Is t > 0?
True
Suppose -21582 = 26*o + 10632. Which is bigger: -1246 or o?
o
Let v = 4/579 + -1639157/1158. Is -1417 bigger than v?
False
Let i be ((4/(-10))/1)/(66401/(-115)). Does i = -1?
False
Let m = 276 - 171. Let y be 189/m - ((-1)/5 - 0). Suppose 19 = 2*u + 3*c, y*u + 5*c - 7 - 10 = 0. Is 9 >= u?
False
Let n = -555.47 - -555.6. Which is greater: -197 or n?
n
Let k be ((-5)/(-25))/((-8)/(-16)). Let a = -48/95 + k. Do 0.2 and a have the same value?
False
Let r = -4 - -40/11. Let n = -49 - -51. Suppose 5*a - 14 = 4*s + 2, n*s - 2*a + 6 = 0. Is r bigger than s?
False
Let p(n) = -3. Let t(b) = 7*b + 174. Let m(j) = -6*p(j) - t(j). Let d be m(19). Which is bigger: d or -290?
d
Let j = -0.3537 - -0.0547. Let t = -2.601 + j. Which is greater: 4 or t?
4
Let v be 7 - (-4 - 28/(-4)). Let z = 10 - v. Let g be z/(-14)*(-16)/12. Is g equal to 0?
False
Let u(g) = g**3 + 7*g**2. Suppose 14 = -9*x - 49. Let r be u(x). Let o(h) = 2*h - 19. Let j be o(r). Is j equal to -19?
True
Let w(q) = q**2 + 4*q - 11. Let x be w(-6). Let r = -143831/104 - -1383. Is x greater than r?
True
Let u = 22908 - 22908.054. Are u and -27 unequal?
True
Let h be (5242/20)/((324/(-90))/(-9)). Let j = h - 649. Let r be -1*2 + 3 + 5. Which is smaller: r or j?
r
Suppose -4*h - 13 = -3*h. Let n be 15*(-6 + (-70)/(-15)). Let k be (5/n - (-6)/(-8))/h. Which is bigger: 1 or k?
1
Suppose -11*n + 18*n + 280 = 0. Let u = n + 233. Is u equal to 192?
False
Let t = -3985 - -4002.87. Let g = -21 - -21.13. Let l = t + g. Which is greater: 0 or l?
l
Let u(d) = d + 196. Let g be u(48). Is g at most 224?
False
Let o = -19733 - -10497953/532. Which is smaller: o or -1?
-1
Let t = -1767.37 + -0.63. Let b = 1773.065 + t. Let w = b - 0.065. Is w at least 0.2?
True
Suppose 61*y - 72*y + 1496 = 0. Suppose 10*f - 6*f - y = 0. Let v be (1 - (-14)/(-4))*-14. Which is smaller: v or f?
f
Suppose 3*t - d + 20 = -20, -5*d = 2*t + 4. Let i be (t/(-16))/(3615/40). Which is bigger: i or 0.1?
0.1
Let w(k) = 2*k**3 - k**2 + 2*k - 1. Let d(p) = 221*p**3 - 5*p**2 + p + 4. Let b(a) = d(a) - 4*w(a). Let n be b(1). Is n equal to 212?
False
Let c = -68848 + 68857. Let s be (-19)/(-2) - 2/4. Is c less than s?
False
Let f(x) = -x + 20. Suppose -5*c = 5*c + 50. Let b be f(c). Let p = b - 221/8. Is -2 greater than or equal to p?
True
Suppose -22*f + 5649 = -f. Suppose -m - 2*z = -14, -m + 5*m + 2*z - 26 = 0. Suppose -l + 0*l = -m*n - f, -2*n + l = 133. Which is smaller: 0 or n?
n
Suppose -8*i = -12*i + 3*f + 249, 2*i = 3*f + 123. Which is bigger: i or 69?
69
Suppose 2 = -n - l + 1, -22 = -2*n + 4*l. Let h be (-60)/(-4) - -3 - n. Which is smaller: 14 or h?
14
Let k = 36 - 35. Let r = 196387/13 - 15121. Let j = r + 2007/143. Which is bigger: k or j?
k
Let l be ((-15)/(-10) - 1)*-6. Let o be 45/((-30)/6) + l + 2. Is -9 < o?
False
Let r be ((-1)/(-5))/((-1684)/(-8420)). Let j be (-68)/189 - (-2)/7. Is r at least as big as j?
True
Let g(i) be the second derivative of i**5/5 - i**4/4 + i**3/6 - i**2 + 7*i. Let j be g(2). Let h = j + -25. Is -36/7 != h?
True
Let g be -4 + -7 + 1280/116. Suppose -x - 9 = 8*x. Which is greater: g or x?
g
Let x be -3 + -13 + 3 + 13. Are x and 2/1787 non-equal?
True
Let x = -6654 + 6654. Is x smaller than 1/2798?
True
Let j be (-2)/(-16)*-2 - (-207)/(-36). Let o be (-1 + -1)*4*j/3. Is 14 < o?
True
Suppose m = 4*k + 202, -6*k + 4*k + m = 104. Which is bigger: -652/13 or k?
k
Let l be -30*1*((-3)/(-6) - (-239)/10). Is -729 at least l?
True
Let a = 738.62 - 722. Let t = a + -18. Which is bigger: 0 or t?
0
Let b(s) = -11*s - 177. Let y be -12*(20/6 + (-8)/4). Let u be b(y). Is u at most 7/16?
True
Let d = -2.39 - -4.39. Which is greater: d or -397?
d
Let w = 0.916 + -0.116. Let q be 18/(-15) - (-4)/(-5). Let f be (q - (-2 - 0)) + 0. Is w > f?
True
Let w = -56740602/1387 - -802177/19. Suppose -59*c + 10333 = -67016. Let y = w - c. Which is bigger: y or 0?
0
Let a = -275 - -257.6. Let b = a + 22.4. Which is greater: 15 or b?
15
Let b be 8/(18*120/(-45630)). Suppose 4*a + 314 = -354. Which is greater: b or a?
a
Let g = 25533 + -26033. Which is greater: -498 or g?
-498
Let k = 77 - 74. Suppose 2*f + 2*s - 220 = 0, -3*f + f + k*s = -200. Let a = 50 - f. Is -1 at least a?
True
Suppose 0*o = -4*o + 12, -1095 = -5*k + 5*o. Let w = k + -263. Is -42 at most as big as w?
True
Let c be (6/(-132))/(4/1409456*-2). Let s = 7999 - c. Is -10 at least as big as s?
False
Suppose -4*c + 15 + 13 = 0. Let w(t) = t**3 + 12*t**2 + 21*t + 11. Let p be w(-10). Let k be 11 + (-4)/p + 2. Do k and c have different values?
True
Let l be (-16)/(-20) + (-4848)/(-40). Suppose -2*f - 92 = 2*h, 29*f - l = 32*f - 5*h. Is f >= -43?
False
Suppose -4*c - 23594 = -2*p, -2*c = 4*p - 25391 - 21807. Which is bigger: -0.1 or p?
p
Let v = 11741/39 - 301. Let i be ((-32)/40)/(2/(-5)). Suppose -2*l + p = -2, i*l + 5*p + 4 = -6. Which is greater: v or l?
v
Let g be (-1)/1 - (10 - 13). Suppose -3*v + 4*m = 8, 10 = 2*v + 7*m - g*m. Suppose -2*n - 3*s + 9 = v, -n = 4*n - s - 48. Which is smaller: n or 11?
n
Let l = -516 + 571.7. Let a = l + -56. Which is greater: 4/21 or a?
4/21
Let l = 0.08 + 324.92. Let c = l + -173. Which is smaller: c or 0?
0
Suppose -3*z = -0*z + h - 268, 4*z + h = 358. Suppose 5*o = s + 8*o + 46, 0 = 3*o + 3. Let j = z + s. Is j less than 47?
False
Let p(o) = -5*o + 18. Let b be p(5). Let l be b/((-3)/(-3)*1). Let u be (8/72)/(1 - l/(-3)). Which is smaller: u or 1?
u
Let g(b) = -8*b**2 + 11*b + 23. Let s be g(6). Suppose -3*u - 176 = 421. Is u at most s?
True
Let g = 574.9 - 601. Let f = 26 + g. Which is greater: f or 8?
8
Let x = -142.63158 + 0.04158. Let j = -142 - x. Let m = -0.91 - j. Is m equal to 1/4?
False
Suppose -2*x = 4*x - 84. Suppose x*s = 11*s. Suppose -3*d + s = -6. Is d greater than 1?
True
Suppose 2*v - 296*m + 301*m + 99 = 0, 0 = 4*v - m + 33. Suppose 0 = -2*h + 3*h - 4. Suppose h*r + 16 = -28. Which is smaller: r or v?
v
Suppose 0 = -5*j - h + 35603, j + 20*h - 21*h - 7123 = 0. Which is greater: 7122 or j?
7122
Suppose -3*y = 5*c - 105, -3*c + c - 4*y = -28. Let s(i) = -21*i + 130. Let v be s(5). Is c < v?
True
Let c(y) = -19*y - 81. Let k be c(-9). Let n be 3 - 2 - 86/k. Is n not equal to -1?
True
Let h be ((-28)/40)/(6/(-10)). Suppose -2*y = f - 1 - 3, 3*f + 3*y - 15 = 0. Let b be (-2 - (4 - f))/(-2). Which is smaller: b or h?
b
Let z = 58 - -16. Let v be (19 + z)/((-130)/2). Let r = 16/13 + v. Are 0.09 and r equal?
False
Suppose 3*l = -5*r + 115, l = r - 1 + 26. Suppose 5*v = 3*v + l. Suppose -30 = -10*k + 8*k - 5*t, 2*t = 4*k - 60. Is k less than v?
False
Let j(g) = -g + 13. Let t be j(9). Suppose -3*u + 33 = -t*u. Let r be (8/(-240)*-6)/(7/(-1085)). Which is greater: r or u?
r
Let c = 63 - 30. Let l = 136 - 132. Let g be -7*90/504 - (-137)/l. Are c and g non-equal?
False
Let l be (4/(-6))/(12/(-216)). Let m be 14/(-2)*l/(-9). Let h = 9 - m. Which is bigger: 1 or h?
1
Suppose -4*f - i = -6*f - 3, 4*f + 5*i + 27 = 0. Let x = 27.18 - 27. Let d = 0.28 - x. Is d bigger than f?
True
Let h(b) = -b. Let l(y) = -6*y - 30. Let r(s) = -4*h(s) + l(s). Let d be r(-13). Which is greater: d or -0.5?
-0.5
Let s be (28/(-24))/(-7) + 4018/12. Let m be -4 - -2*1/((-20)/s). Do m and -37 have the same value?
False
Suppose -63 = -3*d + 6. Let y be (-4)/(-5) + 3737/185. Which is smaller: d or y?
y
Let b = -22 - -28. Let u = -1.578 + 1.278. Is b greater than u?
True
Let d(h) = -h**3 - h**2 + h - 1. Let n(l) = -l**3 - 3*l**2 - l + 2. Let o(u) = -d(u) - n(u). Let p be o(-2). Is -3/229 s