 0 = -3*m - 20, -m = -k*b + 30. Let a be 7/2*2/b. Is 2 smaller than a?
False
Let u = 0.65 + 4.35. Let q = 12 - 8. Let r = q - 5. Is u less than r?
False
Suppose -10*j = -l - 11*j + 163, -3*j = -3*l + 465. Suppose 156*d = l*d. Which is bigger: d or -1/9?
d
Let k = -1094 - -208955/191. Are k and -1 nonequal?
True
Let u be (-1 - -2)*-2 - (-1304)/650. Do -1 and u have the same value?
False
Let n = -23 - -23. Let i be (6 + n + -2)/(8/(-4)). Does -3 = i?
False
Let x(a) = a**2 + a + 1. Let m(h) = 14*h**2 + h - 2. Let q(t) = m(t) + x(t). Let v be q(1). Which is smaller: 15 or v?
15
Let s(x) be the third derivative of x**5/20 - 5*x**4/24 - x**3 - 13*x**2 - 1. Let l be s(-1). Suppose 3*m + m - 8 = 0. Is m >= l?
True
Let o(k) = -k**3 + 19*k**2 + 20*k + 3. Let r be o(20). Suppose 3*v - 2*g + 9 = 2*v, 2 = -r*v + g. Which is greater: -1/42 or v?
v
Let i = 15 + -1.6. Let p = i - -10.6. Do p and -1/4 have the same value?
False
Let p(z) be the second derivative of z**3/3 + 17*z**2/2 + 8*z. Let v be p(-9). Which is smaller: -5/24 or v?
v
Let b(l) = l**2 - 8*l + 10. Let a be b(5). Let g be (a/(-20))/((-6)/40). Which is smaller: g or -2?
-2
Let o = 8768/3 - 2951. Is -29 smaller than o?
True
Let m be 36/1 + (-34)/(-68)*(1 - 5). Let j(o) = -9*o - 1. Let z be j(-4). Is z greater than m?
True
Suppose 0 = 4*l + 5 - 1. Let q be (2 - (l - -6)) + 84/22. Let w(c) = -c**2 + 5*c + 2. Let o be w(5). Is q smaller than o?
True
Suppose -4*p = -i + 16, -2 - 9 = -2*i + p. Let o(l) = -l**3 + 3*l**2 - l + 9. Let u be o(i). Let f(s) = s**3 - 5*s**2 + 2*s - 2. Let r be f(4). Is r != u?
True
Suppose -3*q = -3*l - 219, -l + 6*l = -5*q + 325. Let k = -137/2 + q. Let j be 6/10*5/(-2). Is j smaller than k?
True
Let k = 58/221 + -6/221. Which is bigger: 2/31 or k?
k
Let g = 20.17 - 20. Let p = 0.052 - -22.948. Let q = -22.9 + p. Is q at least as big as g?
False
Let x(w) = 2*w + 6. Let k be x(6). Suppose 0 = -5*t - 20, -2*m = -m - 3*t - k. Suppose v + y - 3*y + 7 = 0, m = -3*v + y. Is v equal to 2/25?
False
Let y = -34 + -14. Let r = -53 - y. Are -2 and r non-equal?
True
Let j be (8/70)/((-1566)/609). Which is smaller: 3 or j?
j
Let w(c) = -5*c + 140. Let i be w(28). Is i less than 12/53?
True
Let u = 59 + 49. Suppose 3*j + u = -3*j. Let o = j + 15. Is -4 smaller than o?
True
Let k(x) = -x**3 + 17*x**2 + x - 20. Let i be k(17). Let u = 7 + i. Are u and 3 equal?
False
Let w be 2/(-3) + 8/21. Let v be (-5)/(1/1*1). Let f be 2*((-20)/(-8))/v. Are f and w equal?
False
Let p = 31 + -32. Let d be (-85)/68 - p/4. Which is bigger: -2 or d?
d
Let z be 1/((3/(-99))/(-1)). Which is bigger: -12 or z?
z
Let u = 4 - 6.1. Let v = -1.1 - u. Which is greater: 0.1 or v?
v
Let s(w) = 7*w**2 + 4*w - 3. Let u(h) = h**3 + 17*h**2 - h - 15. Let j be u(-17). Let n be s(j). Is n at most as big as 32?
False
Suppose 4*b + 18 = 2*a, 5*a = -2*b + 12 - 3. Suppose -3*j - 6*j = -27. Suppose j*m + 15 = 3*n - 9, 4*n = -2*m + 2. Are a and n nonequal?
False
Let d(t) = -2*t**3 - 9*t**2 - 8*t + 8. Let x be d(-7). Let c = x + -5251/17. Which is smaller: c or 0?
0
Let x(l) = -l**2 - 5*l - 1. Let b be x(-2). Suppose 3*q + 0*q = -2*u - 853, 0 = q + b*u + 267. Let o = q - -5459/19. Is o <= -1?
False
Suppose 180 = 5*k + 3*b, -6*k - 5*b - 41 = -8*k. Which is smaller: k or 19?
19
Suppose q + 5*q + 12 = 0. Let l be q/4*(-60)/(-50). Is 1.2 at least as big as l?
True
Let s(m) = m**3 - 8*m**2 + 10*m + 14. Let o be s(6). Suppose 0 = 7*k - o*k + 15. Which is bigger: 0 or k?
0
Suppose 2*s = -2*s + 28. Suppose -3*i = 3*p, s*i + p + 4 = 2*i. Let a be -1 - 3/i - 2. Is a < -1?
False
Suppose -6 = -9*c + 6*c. Suppose 5*l - 33 = -c*k, 5*l + k = 15 + 19. Let n = l - 9. Which is greater: n or -1?
-1
Let t(f) = f**3 + 12*f**2 + 26*f - 17. Let o be t(-8). Is o bigger than 40?
False
Let y = -12.38 - 0.62. Which is bigger: 3/4 or y?
3/4
Suppose 4*w - b = -0*w + 3, -2*w - 3*b + 5 = 0. Let a be w/(-2) - 81/(-126). Which is greater: a or -2/7?
a
Let m be ((-8)/6)/((-8)/(-4)). Let f be (-33)/(-44) - 554/(-8). Suppose -f = j + 4*j. Which is smaller: m or j?
j
Let s = -27 + 15. Let d = s + 7. Let q = d - -13. Which is bigger: q or 1?
q
Let q be (-3)/39*(0 - -1). Suppose 21*f = 2*f - 3*f. Which is smaller: f or q?
q
Suppose -3*x - 4*u = -21 - 4, -2*x = -2*u + 2. Let v(i) = i**2 + 16*i - 17. Let m be v(-17). Are x and m equal?
False
Let q = 848.003 + -848. Which is bigger: -0.4 or q?
q
Suppose -q - 7 = -2*q. Suppose 0 = -4*a + 2*s - 4*s + 20, 0 = 5*a - 2*s - 7. Suppose -r = -2*z - a - q, -2*z - 6 = r. Is r smaller than 2?
False
Suppose 0 = -4*q - 12, -4*k + 22*q - 351 = 27*q. Which is smaller: k or 1?
k
Let x = 1 + 6. Let c = 4/75 + -29/75. Which is bigger: x or c?
x
Let f(u) = u**3 - 8*u**2 - 11*u + 12. Suppose 24 = -5*h - 46. Let m = h + 23. Let s be f(m). Is -5 bigger than s?
True
Let p = -4 - -3. Let o = 1376 - 1231.2. Let w = o - 145. Is w equal to p?
False
Let d be (52/(-64))/((-2)/(-8)). Let g = 17 + -24. Let y = g + 5. Are d and y nonequal?
True
Suppose -18*b - 9 = -15*b. Let x(f) be the third derivative of f**5/60 - 3*f**4/8 + 7*f**3/6 - f**2. Let g be x(8). Is g less than b?
False
Let t be (-1 - (-130)/25)*-5. Let b be t/(-9) - 1/3. Suppose -5*p = w - 0 - 2, -b*p - 5*w = 13. Are 7/10 and p equal?
False
Let t be (7/28)/(10/(-20466)). Let b = 2691/5 + t. Let s = -124/5 + b. Which is bigger: 3 or s?
3
Let o = -2812 + 2117. Is o smaller than -696?
False
Let r be (6/(-4))/(5/10). Let d be (r + 1)*(-18)/(-12). Does 0 = d?
False
Let i be (45/(-57))/(1/(-2)). Is 1 greater than or equal to i?
False
Let s = 0.08 + -0.01. Let h = -20 + 21. Suppose -f - 2*f = j - 9, 4*f = 3*j - h. Is s <= j?
True
Suppose 11*u + 19 - 8 = 0. Let l be (-4)/6 - (7/(-6))/u. Is -1 > l?
True
Let t = -64 + 66. Let n = -2 - t. Which is smaller: -3 or n?
n
Let x be (1 - 0)*(-6 - (-2 + 0)). Let h(t) = -3*t - 19. Let b be h(x). Let k be (-6)/21 - 80/14. Which is greater: k or b?
k
Let m = -5 - -7. Suppose -d - 4 = d + 5*n, -8 = -4*d - 2*n. Which is smaller: m or d?
m
Let f be 2/(-4*(-1)/6). Suppose f*u = -12 - 0. Is -11/3 not equal to u?
True
Let l(p) = -4*p + 24. Let u be l(4). Is -3.3 bigger than u?
False
Let y = 23 - 111. Is -1/4 bigger than y?
True
Let h(b) = -b**3 + 1 + 9*b**2 - b**3 - 2*b**3 + 3*b**3. Let x be h(9). Is x < 1/4?
False
Let v = -143 + 142.89. Which is bigger: v or -51?
v
Let c(z) = z**2 - 9*z + 18. Let n be c(7). Suppose 0 = 4*u - 0*u + n. Is 1/38 > u?
True
Let j be ((-2)/(-116))/((-2)/(-4)). Let o = -83/116 - j. Which is bigger: -2 or o?
o
Let a be (-6)/21 + 32/14. Let j = -6 - -10. Let w be (2/j)/(1 - 3). Which is smaller: w or a?
w
Let j = -0.0344 + -80.9656. Are j and -2/5 equal?
False
Let l be 54/81 + (-62)/84. Is l equal to 0?
False
Let u be (-20)/(-7)*(-14)/18. Let n = 197 + -356. Let x = -159.1 - n. Which is smaller: u or x?
u
Let z = -166 + 213. Which is smaller: z or 594/13?
594/13
Let u = -4.068 - -0.068. Let x = u + 4.07. Which is bigger: x or -2/7?
x
Let u = -69 - -139/2. Let o = -501/3605 - 2/515. Which is smaller: o or u?
o
Let p be (-2)/1 + 803/(-363). Let b = p - -50/11. Is b at most as big as 0?
False
Suppose 5 = 5*p - 5*a, 2*p - 3*a = 2 + 3. Let f = p - -1. Let h = 3.9 + -1.9. Does f = h?
False
Let p be (-1)/8*1184/(-8). Which is greater: p or 19?
19
Let i = -2623 - -34101/13. Suppose -6*q + 5*q - 4 = -2*p, 0 = 5*q - 5*p. Are q and i nonequal?
True
Let f be 6 + (-1)/((-1)/4). Let s be f/20 + (-30)/4. Suppose -2*j - 15 = j. Is s bigger than j?
False
Let w(m) = -m**2 + 4*m + 3. Let g be w(6). Let f = g - -8. Let b = -3 - f. Is -3 >= b?
False
Let d = 16 - 17. Let p(f) = f + 57. Let z be p(0). Let j be (-4)/(84/z) + 3. Is j greater than or equal to d?
True
Let n = -24.57 + 22.96. Does n = -6?
False
Let c be ((-656)/(-2132))/(2 - 1). Suppose 7*g = 3*g. Is g at least as big as c?
False
Let t = 256.98 - -59.12. Let h = -338 + t. Let w = 22 + h. Which is greater: -20 or w?
w
Let f(k) = 4*k + 43. Let g be f(-12). Let z = 2 - 1. Let w be (z*2)/((-6)/15). Are w and g equal?
True
Let d = -8447/8673 - -48/49. Is 0.1 smaller than d?
False
Let h be (5/(-10))/((-636)/(-24)). Which is smaller: h or -0.1?
-0.1
Let q be (564/(-108))/((-2)/18). Is q < 46?
False
Let q be (-2)/(1 - 9 - -9). Which is smaller: q or 0?
q
Let r = -1 - 0. Let u be (6/4 + r)/(-2). Suppose m - 1