*n = -596, -15 = r*n - 44*n. Is f less than or equal to -143?
True
Let h(j) = j**2 + 82*j + 386. Let o be h(-77). Which is smaller: o or -2/3309?
-2/3309
Let l be 9/3*(-8)/(-12). Suppose -45 = -4*s - 17. Which is bigger: s or l?
s
Suppose -5*s + 4 - 44 = 0. Let w be 4/(-3)*(-2)/(12/9). Suppose -5*f - 30 = -w*f. Which is smaller: f or s?
f
Let p(k) = 2*k**2 - 4*k + 17. Let f be p(5). Let r = f + -59. Let g be 1*((-3)/12 + (-9)/r). Is 2 less than or equal to g?
False
Suppose -d = -v - 0*v + 1, 0 = 5*d - v + 9. Let r be d + 3 - (5 - 64). Let q = 304/5 - r. Which is greater: 3 or q?
3
Suppose 0 = -4*h - h + 3*r + 383, -r = 1. Let m = 1166/27 - -6418/189. Is h equal to m?
False
Let k = -2122 - -2256.16. Let v = k + -135. Let x = -1.24 - v. Is x not equal to 2?
True
Let w = 50 + -71. Suppose 1203 - 3912 = 129*h. Let d = h - w. Is d at least 2/13?
False
Let y = -0.32 + 0.02. Let k = -41.458 + 39.458. Which is smaller: y or k?
k
Suppose 79658 + 57878 - 33256 = 40*f. Is 2607 less than or equal to f?
True
Let d(p) = -p**3 - 10*p**2 - 20*p - 1. Let m be d(-7). Let j be (189/98 - 2)/((-2)/m). Is j greater than -12?
True
Let w be 8/84*2073 + 16/28. Let q = -158 + w. Which is smaller: -1 or q?
-1
Let u be ((30/4)/(-5))/((-228)/152). Which is smaller: 735 or u?
u
Let y(u) = -43*u + 2903. Let j be y(42). Which is smaller: j or 1098?
j
Let l = 1.8 - -2.9. Let p = -5.7 + l. Which is smaller: p or 0.045?
p
Suppose -16 = 5*o - a - 3*a, -2*a = -4*o - 8. Suppose 14*z - 15*z - 147 = o. Which is smaller: z or -146?
z
Let z be (0 + 1352/48)/1. Which is greater: 29 or z?
29
Let z = -20524 + 38154. Are z and 17629 equal?
False
Suppose -4*a - 4 = -4*o, a - 8 = 3*a + 4*o. Let t be (2/(-1))/(a/13). Let u be (-63)/24*(-84)/18. Which is smaller: u or t?
u
Suppose -5*a - 111 - 354 = 5*x, 3*x - 5*a + 271 = 0. Which is smaller: x or -1.3?
x
Let g(o) be the second derivative of 2*o**3 + 33*o**2/2 - 68*o. Let x(z) = z**3 + 4*z**2 - 11*z. Let w be x(-6). Let q be g(w). Is q at most as big as -41?
False
Let m = 55.56 - 51.28. Is m > -0.3?
True
Let w = -52 - -36.9. Let o = w + 15. Do o and -2/3 have the same value?
False
Let d(g) = -1444*g + 1444. Let w be d(1). Which is smaller: 2637/10 or w?
w
Let j = 38746 + -38764. Is 515 < j?
False
Let p = -11231392/11053 + 7113/7. Is -1 > p?
False
Let a = 2857 + -2857. Which is smaller: a or 2/1137?
a
Let y = -2.32 + 2.98. Let h = y - 4.66. Which is bigger: 6/13 or h?
6/13
Let t = -449 + 447. Let o be 88 - (t + -5 - -1). Is 94 not equal to o?
False
Suppose -15*i = 5*b - 19*i - 982, b - i = 196. Is 1778/9 less than b?
True
Let f = -3521 + 2175979/618. Let w = 115/7416 - f. Are w and 0 unequal?
True
Let n = -8.63 - -8.73. Which is smaller: n or -263.8?
-263.8
Let i = 9 - 6. Suppose -i*y = -2*o + 60, -5*y + 4*o - 33 = 67. Let q = y - -32. Which is smaller: q or 13?
q
Let a = 3969 - 3969. Is a smaller than -80/83?
False
Let a be ((-102)/(-204))/((-3)/54). Let x(k) be the first derivative of -7*k**2/2 + k - 6. Let p be x(1). Which is bigger: a or p?
p
Let l = -1867 - -1934. Which is smaller: l or 596/9?
596/9
Let a = -293452982/781 - -375740. Is a greater than or equal to 0?
False
Suppose 4*d = -4*v, -3*v - d - 5*d = -9*d. Which is bigger: v or -1/301?
v
Let o = -3287 - -233373/71. Suppose z = 9*z + 8. Which is smaller: z or o?
z
Let j = 24623/54 + -456. Let k be (-6)/27 - 75/27. Let o be (-1 - -1)/(k - (-35)/7). Does o = j?
False
Let b = -5630 + 2933232/521. Let q be (0 - -3) + 688590/(-226635). Let k = q + b. Is k at least -0.1?
True
Suppose 697*d - 45468 = 661*d. Which is smaller: -1/3 or d?
-1/3
Let p = 19/622 - 1567/10574. Let s = 11/4 + -3. Which is smaller: s or p?
s
Let v be 17/2 - 18/(-12). Let d be (11 - v)*0/2. Let a = -139/3650 - 8/365. Is a >= d?
False
Let f = 339487/840 + 181/105. Let y = f + -405. Is 2 >= y?
True
Let b(x) be the third derivative of 11*x**4/24 - 19*x**3/2 - 14*x**2 + 2*x. Let s be b(5). Let q be 22/(-6) - (-2 + 0). Which is bigger: q or s?
q
Let q = -743/13 + 9601/130. Is 18 bigger than q?
True
Let q(m) = 6*m + 78. Let h(r) = -11*r - 154. Let y(s) = 6*h(s) + 13*q(s). Let l be y(-8). Does l = -18?
False
Let i = -686 + 74780/109. Suppose 62038*t = 62013*t + 25. Is i less than or equal to t?
True
Suppose -60 = -5*i + i. Suppose 7*x - i = 2*x. Suppose x*z = -q + 9, 4*z - 15 = -4*q - z. Which is bigger: q or -2/33?
q
Let j be (36/9)/((-2)/(-3)*21). Which is bigger: 80.05 or j?
80.05
Suppose 4*j + i = 27, 0 = -2*j - 15*i + 13*i + 18. Which is smaller: j or -254/9?
-254/9
Let r be (3 + -4)*374/10494. Is 0 at least r?
True
Let g(l) = l**3 + 49*l**2 - 44*l + 290. Let q be g(-50). Is q not equal to 43?
True
Suppose -8*z + 1229 = -739. Let a = 231 - z. Is -17 smaller than a?
True
Let v be -13 + 49092/3780 - (-8)/140. Let l = -2 - -1. Is v at most l?
False
Let v be 4856/40 - (1 - -1). Let f = v + -119. Let i(t) = t**2 - 2*t - 1. Let b be i(2). Which is smaller: f or b?
b
Let n = -10516 - -10342. Is -215 smaller than n?
True
Suppose 5*w + 4*k - 52 - 66 = 0, -2*k + 48 = 2*w. Let s = w - 22. Let c be (-3 - 17 - s) + 2. Which is smaller: -16 or c?
c
Let f be (2*(-9)/12)/((-1)/24). Suppose -2*v + 5*p = -f, 5*p - 73 + 1 = -4*v. Let n be (v/(-450))/((-4)/10). Are n and -1/7 nonequal?
True
Let n be (-7 + (-17)/(-5))/((-6)/(-20)). Let h(t) = -t**2 - 12*t + 30. Let w be h(n). Is 30 > w?
False
Let c be (7/42*-15)/((-2)/4). Let j(a) be the second derivative of -a**5/20 + a**4/2 - a**3 + 7*a**2/2 - 2*a. Let v be j(c). Which is smaller: 0 or v?
0
Let k(m) = -m**2 - 16*m + 4. Let s = 9 + -22. Let a be k(s). Suppose -4*f - a = -5*v, -4*v = f - 6*v + 13. Is f at least as big as -5?
False
Let f(a) = -1 + 4*a**2 - 3*a**3 + 2 + 4*a**3 + 0*a + 4*a. Let z be f(-3). Let y = 1 + z. Which is smaller: 1 or y?
y
Let f(h) = -h**3 + h**2 - h - 1. Let z(j) = -j**3 - 19*j**2 + 21*j - 10. Let w(i) = f(i) + z(i). Let m be w(-10). Is -10 smaller than m?
False
Let k(d) = -d + 10. Let p be k(0). Let b = -23 - p. Suppose -53*c = l - 57*c + 1, 4*l - c = -124. Is l bigger than b?
False
Let m(x) = -x**3 + 5*x**2 + 29*x + 15. Let r be m(-3). Is -6/1681 equal to r?
False
Let w(n) = n**2 - 38*n + 1. Let k be w(38). Which is smaller: k or -1/882?
-1/882
Let j be (-334838)/280 - (-6)/(-40). Which is bigger: -15564/13 or j?
j
Let s = -3280206/467 + 7024. Suppose 7 - 10 = -3*t. Which is smaller: t or s?
s
Let w = -0.81 - -78.81. Let i = -81 + w. Which is greater: i or 3/14?
3/14
Suppose 3*j - j - 108 = 4*m, 4*j = -2*m + 246. Let q = j - 58. Let b be 13*(-4 + q + -3 - -1). Which is greater: -50 or b?
-50
Let c(u) = u**3 + 3*u**2 - 5*u - 4. Let l be c(-4). Suppose -z + 4*r + 19 = l, -69 + 15 = -4*z + 5*r. Suppose -z*i = -7*i - 4. Does i = -1/28?
False
Suppose -5*r - 190 = v, -5*r + 2*v - 170 = -v. Let f = r - -19. Let g = f + 19. Which is bigger: g or 2?
2
Let h = -8110/13 - -623. Is -1 less than or equal to h?
True
Let i be (-4)/(-6) + 67/(-96). Let k be 4 - 15*(-1)/(-3). Let l be (k/(-2))/(-9 + 136/16). Are l and i unequal?
True
Let k(n) = n**2 - 77*n + 76. Let o be k(1). Does -1/88 = o?
False
Let y = 7 - 6. Let m = 2207 - 2267. Is m != y?
True
Let u(t) be the first derivative of t**2 - 7. Let j be u(-4). Let p be (2/j)/(14/(-56)). Which is bigger: p or 3/14?
p
Suppose -76*v + 77*v - 100 = 0. Let a = 181 - v. Let u = a - 139. Which is smaller: u or 1?
u
Suppose 5*f = -4*f + 171. Suppose -9*k + f + 26 = 0. Let r be (-4)/k + 12/10. Is -0.005 < r?
True
Let b = -20018 + 20017. Let u be 2036/(-1019) - (0 - 2). Is u greater than or equal to b?
True
Let r(j) = j**2 + 5*j - 23. Let f be r(-8). Let i be (46/(-40) + f)*(-32)/(-8). Is 10 >= i?
True
Let t be 2*11 + (11 - 12). Suppose -f = 56 + t. Let n be ((-4)/6 + 0)*(-33)/f. Which is smaller: n or -51?
-51
Let s be (2 + (-30)/14)/((-12)/(-657104)*-8). Which is greater: s or 979?
979
Let h be (-4)/(-3) - (-1465)/(-1110). Is h > 0?
True
Let d = 1.52 - -9.18. Let h = 664 - 653.18. Let z = d - h. Which is smaller: z or -2/9?
-2/9
Let g be (-4352901)/(-1141) - (2 + 2). Let x = 3811 - g. Let v = 4934 - 4934. Which is smaller: x or v?
v
Suppose m + 10*p = 6*p, 0 = -4*m - p + 30. Suppose 4*f - 2*f = 4. Let b be 5*(m/f)/4. Are -4 and b equal?
False
Let u = -149 + 125. Let z = -42 + 76. Let t = z + -33.9. Which is greater: t or u?
t
Let w =