t r be m(5). Let k be w(r). Let y be 5 - 485/95*(0 - -1). Which is bigger: y or k?
k
Let k = 0.9 - 0.7. Let t = -6007 - -6014. Is k equal to t?
False
Let b be ((-116)/(-4) + -1)*1. Suppose -4*c - 184 = -72. Let z = c + b. Which is greater: -4/3 or z?
z
Let o = -0.222 - 0.808. Let j = 0.37 - -0.26. Let h = o + j. Which is greater: h or 1?
1
Let u(t) be the second derivative of -t**5/20 - 11*t**4/6 + 13*t**3 + 75*t**2/2 - 32*t. Let f be u(-25). Is 11/16 less than or equal to f?
False
Suppose -21*w - 3 = -20*w + q, 0 = -4*w + 2*q + 24. Let r(p) = -5*p + p**2 - 1 + 2 + p. Let f be r(w). Which is bigger: 0 or f?
0
Suppose 4*p - p = -p. Suppose p = 5*d - 2*c - 333, c - 52 - 204 = -4*d. Let k = -65 + d. Are k and -2/29 non-equal?
True
Let w = 557 - 322. Let b = w + -350. Are 0.2 and b equal?
False
Let t be 5 - (-2 - (-7 - -3)). Suppose -t*k - 5*j = -2*j - 15, 19 = -k + 5*j. Let d = 115 - 1613/14. Is k bigger than d?
True
Let a be -14 - 70/28*(1 + 1). Which is greater: a or -202/11?
-202/11
Let o = 36 + -34. Suppose -33 = -o*w + k + 9, 5*k - 10 = -w. Suppose -17*h = -w*h + 3. Which is smaller: 6/7 or h?
6/7
Let g = 2.3922 - 2.7444. Which is smaller: g or 0.2?
g
Suppose 2*r - 4449 = -132*q + 135*q, 0 = 4*q - 3*r + 5930. Which is smaller: -1484 or q?
q
Let z = -126.95 - -126. Let k = z + 1.15. Which is smaller: k or 6?
k
Let u(x) = -x**2 + 14*x - 37. Let s be u(5). Let g be (28/3 + 1)*(-11 + s). Which is greater: g or -28?
-28
Let u = 681.3 - 327.3. Is u < 0.1?
False
Let s = -9/1573 + 149849/72358. Which is bigger: 3 or s?
3
Suppose -3*j = 5*r + 473, 0*r - r + 779 = -5*j. Suppose -21*b - 1421 = 1855. Is b greater than j?
False
Let k be -6 - (-442)/39 - (-10)/15. Let o be (-120)/(-16) + 1/(-4). Is o greater than or equal to k?
True
Let g be 1206/(-60)*(-34)/(-51). Let m(d) = 4*d + 4. Let n be m(-4). Is g less than n?
True
Let b be 6/((-5)/(-4170)*-9). Let u = b - -511. Is -45 smaller than u?
False
Let a = 29 - 13. Let d = 24 - a. Is d greater than or equal to -3?
True
Let u be (-10)/(-589610)*(-2 - (-15)/(-10)). Is u smaller than 1?
True
Let l = 6891.57 - 6893. Is 19 at most as big as l?
False
Let i = 14 - 13. Let y = -16.922 + 17. Which is bigger: y or i?
i
Let q = -1681 - -956. Is q greater than -1/3?
False
Let v be ((-21)/6 - 1)*2*(-90 - -91). Are v and -375 non-equal?
True
Let d be 4*((-54)/(-8) + -6). Suppose 3*c = 3*j + c, 3*j = d*c. Are 14 and j unequal?
True
Let p(c) = -c**3 - 10*c**2 - 7*c + 17. Let t be p(-9). Let k be (-430)/(-20) + 12 + 1 + t. Is 34 bigger than k?
True
Let k = 0.12011 + -0.12011. Is -544 greater than k?
False
Let l = -271 - -271.3. Are 0.059 and l non-equal?
True
Let n = -1194 + 968331/811. Let g = n - 17019/3244. Let d = g + 5. Is d at most -40?
False
Let s = -2/135 + -56/2295. Suppose 0 = -63*n - 12 - 51. Do n and s have different values?
True
Let p(f) = -f**3 + 10*f**2 + 2*f - 19. Let t = 51 - 41. Let d be p(t). Is d > -6/43?
True
Suppose 0 = 46*r - 34*r + 696. Let o be 8/20 + 2376/(-40). Is r at most as big as o?
False
Let h(v) = v**3 + 10*v**2 - 11*v + 7. Let d be h(-11). Let s = 28 + -17. Suppose -s = -j - d. Does 0 = j?
False
Let b be (-4 - 39/(-10))*(26 + -29). Let t = -0.07 + -1.85. Let o = t + -0.08. Is o less than b?
True
Let d = 23396 + -23388. Which is bigger: d or 48?
48
Suppose 4*d = 20, -2*n + 103*d = 100*d + 13. Which is smaller: -38 or n?
-38
Let d = 83/68 - 1995/2108. Which is greater: -1 or d?
d
Let n be (144/(-45))/(35/(-25)). Is -0.37 bigger than n?
False
Let g(a) = 915*a - 79. Let q be g(-1). Is -995 < q?
True
Let g(k) = 849*k - 3491. Let j be g(-13). Which is smaller: -14529 or j?
-14529
Let h be -3*(-2955)/(-9)*(-364)/35. Let m = -4230770/413 + h. Is m < -1?
False
Suppose 4*t = 9*a - 5*a - 332, -t + 83 = a. Let b be 2997/(-36) - (-1)/4. Let x = a + b. Which is smaller: -1/66 or x?
-1/66
Let n(s) = 7*s**2 - 1. Suppose 0 = 9*j + 8*j + 17. Let x be n(j). Suppose -a - 11 = -2*m, -5*a + 4*m - x = 67. Which is bigger: -2/11 or a?
-2/11
Let f = 1772 - 1771.712. Is 5 less than or equal to f?
False
Let n = -3251445 + 55302958/17. Let f = 1671 - n. Are f and 0 non-equal?
True
Let u be (-130)/75 - ((-4)/(-15))/(48/(-72)). Let q(t) = t - 7. Let s = 6 + -1. Let j be q(s). Which is greater: u or j?
u
Let w = 131/12 + -16231/1500. Which is smaller: 0 or w?
0
Let s = -95 + 100. Let z be 27/7 - (-3)/(26 - s). Let f be (-3)/((-206)/z - -5). Which is greater: 0.2 or f?
0.2
Let c be (-372)/(-30) - 4*3/30. Let j(m) = 2*m**3 + 16*m**2 + 12*m - 4. Let o be (-3)/2*-1 + 68/(-8). Let a be j(o). Is c less than or equal to a?
False
Let j = 892/5 + -10639/60. Which is smaller: 2 or j?
j
Suppose -1162 = 3*g + 4*f - 95, -4*g = 4*f + 1420. Let a = 495 - 494. Which is smaller: a or g?
g
Let n = -41 - 8. Let x be (n - -53)/((-4)/(-3)). Is -1 less than x?
True
Suppose t = 4*j - 9, 7*j = 6*j + t. Suppose 4 = 2*g + j*u, 6*g - 3*g + 2*u - 6 = 0. Suppose -3*m + 19 = 4*q, g*m + 0 = -q + 6. Which is greater: q or 19/7?
q
Let l(x) = 5*x**2 - x**3 + 21*x + 11*x - 18*x. Suppose 12*w - 10*w - 14 = 0. Let n be l(w). Which is smaller: -0.05 or n?
-0.05
Suppose 1 + 24 = -5*l, -5*w = -l - 20800. Is 4158 != w?
True
Suppose 0 = -5*x + i + 86, 3*x + 2*i - 80 = -x. Let l be -3 - (-3)/(x/16). Let r = 193/12 + -49/3. Is r less than or equal to l?
False
Let y = -629 + 634. Let p(a) = -a**2 - 8*a - 8. Let l be p(-6). Which is greater: l or y?
y
Let n = -118946332/22725081 - -138172/8119. Let h = 106/9 - n. Which is bigger: h or 0?
0
Let b be 59/(-2 + -1 + 4). Let z be 15*(-20)/30 - -2. Let c be (z - 124/(-16)) + (-44)/(-48). Is c greater than b?
False
Let a(m) = -7*m**2 - 218*m + 351. Let u be a(-39). Which is bigger: -0.9 or u?
-0.9
Let p = 5434 - 5345. Which is smaller: 4.5 or p?
4.5
Suppose 0*i + 3*t - 42 = -2*i, 0 = 4*i - 3*t - 120. Let q = -22 + 26. Suppose 21 = q*s - 87. Are i and s equal?
True
Let z = 31890939 - 16647064153/522. Let w = z - 1/261. Let u = -25 + 37. Which is smaller: u or w?
w
Let k be (-118)/(-177) + 15/(-9). Are k and 4/633 equal?
False
Let y = 31 + -29. Suppose -2*q = -y*l + 140, 2*q + 243 = -4*l + 85. Let d = q - -73. Is -3/7 smaller than d?
True
Let i = 15302 + -15294. Is 73.1 not equal to i?
True
Let n = 9 - -21. Suppose 0 = -5*q - 0*q - 3*r + n, -q + 2*r = 7. Let l be -44*(q/(-1) + 4). Which is smaller: -43 or l?
l
Let w(f) = f**2 - 6*f - 8. Let u be w(7). Let i be (415/(-498) + (-3814)/(-4548))/1. Which is bigger: i or u?
i
Suppose 5*y - 588 = -108. Suppose 0 = -5*l + v + 300 + 196, -2*l = -5*v - 226. Which is smaller: l or y?
y
Let r = 12 - 17. Let j be 2/6 + (-186992)/348. Let o = -4835/9 - j. Which is smaller: o or r?
r
Suppose -2*s + 5*h + 17 = 0, 5*s + 5*h - 25 = -0. Suppose -2*w + 4*c - 19790 = -4084, 3*w - 4*c + 23565 = 0. Let k = w - -86509/11. Which is greater: s or k?
s
Let j = 48315707/299 + -161591. Let u = 2 + -2. Is u at least j?
True
Let y(c) = -c**3 + 387*c**2 - 1531*c - 5. Let f be y(4). Which is bigger: f or -49/23?
f
Suppose -2*y + 4*y + 12 = 0. Let q be 1 + 2 + 3/y*6. Let m be (-100)/45 + q + 2. Is m at least as big as -1?
True
Let k be (-8)/6*(-5)/(-4)*120/500. Suppose -4*s - 6 = -2, -4*l = -3*s + 57. Let b be 2/24*l/(-2). Which is greater: b or k?
b
Suppose -o = 3*b + 7, 4*b = 18*o - 19*o - 2. Which is bigger: o or -708/31?
o
Suppose -516 = 7*b - 4562. Let h = b + -567. Is -21 greater than h?
False
Let c = -425 + 428. Let g(o) = -2*o + 17. Let q be g(28). Which is smaller: c or q?
q
Let y(l) be the third derivative of l**6/120 - 3*l**5/5 - 29*l**4/24 - 15*l**3 - 14*l**2 - 6. Let n be y(37). Does n = 206?
True
Suppose 142*y - 141*y - 252 = 0. Let f = y + -253. Is -1/8 at most as big as f?
False
Let u(q) = -2*q**3 + 24*q**2 + 21*q + 77. Let s be u(23). Let a = -9250131/835 - s. Which is greater: a or 0?
0
Let s = -0.7 + 30.7. Let m = 144 + -143. Is s at most as big as m?
False
Suppose 0 = -6*u + u - 4*g + 3, -4*u = 5*g - 6. Which is bigger: -2785 or u?
u
Let c be (-24)/27 + 37214/41886. Which is bigger: -0.1 or c?
c
Let b = -37 + 24. Let z be (-12*(-6 + 2))/((-9)/6). Let h be (((-45)/2)/5)/((-12)/z). Are b and h unequal?
True
Suppose -7*o + 11*o + 17 = -f, 2*f - 4*o = 26. Suppose f*s - l = -2, 3*l - 7 + 1 = 5*s. Which is smaller: -4/5 or s?
-4/5
Let c(m) = -m**3 + 29*m**2 - 9*m + 276. Let v be c(29). L