 m = -6 - -9. Let p be 4/(-8)*(-13)/2. Let y = m - p. Is y smaller than -1/6?
True
Let j = 5/136 - 467/5304. Which is greater: j or 1?
1
Let s be (-2)/8 - 486/8. Let k = s + 243/4. Which is smaller: -2 or k?
-2
Suppose -4*s = -3*c + 83, -3*c + 6*c - 5*s - 88 = 0. Suppose q + 19 = 4*l - 18, -q = -2*l + c. Let d = -6 + l. Is d less than or equal to 0?
False
Let n(f) = -f**2 + 8*f - 1. Let y be n(8). Is 1/6 less than y?
False
Suppose 3*k - 6*k + 9 = 0. Let g(p) = 5*p**3 + 7*p**2 - 6*p - 4. Let q(s) = -s**3 + s. Let y(f) = -g(f) - 6*q(f). Let l be y(7). Is k >= l?
False
Let t be (-10)/8*8/20. Let c = -12/7 + 59/14. Which is smaller: t or c?
t
Suppose 0*s + 16 = -4*s. Suppose -4 = -4*d + 5*f, d - 1 = -0*d - 2*f. Let a be (d/5)/(s/10). Which is smaller: a or -1?
-1
Let p be (-4)/(-8) - (-122)/(-4). Let x be 2/(-10) - p/25. Is 6 at most x?
False
Suppose -5*n = -4*w - 13, -6*n - 3*w = -2*n + 2. Is n less than or equal to 3/2?
True
Suppose 5 = 2*v - 1. Which is bigger: v or 1?
v
Let v = -3/217 + 3487/1085. Let l = v - 53/15. Let m = -2 - -3. Do l and m have the same value?
False
Let c be (1 - 3/9) + (-3)/(-9). Which is smaller: c or 8/11?
8/11
Let x(l) be the third derivative of -l**5/10 - l**4/12 - l**3/6 + 2*l**2. Let w be x(-1). Let v be ((-1)/(-4))/(w/8). Is v > 0?
False
Let o be 4*(3/2 - 1). Let t(s) = -5*s**3 + s**2 + 2*s + 1. Let q be t(-1). Let f = q - 1. Is f > o?
True
Let c(w) = w**3 + 7*w**2 + w + 5. Suppose -29 = -5*g + 3*y, -2*y - 3 = g - 7*y. Let d = -14 + g. Let o be c(d). Is -2 less than or equal to o?
True
Let k = -0.18 - -0.28. Is k smaller than 4/9?
True
Let l = 7 - -27. Are l and 34 non-equal?
False
Let z = 113 - 101. Is 0.1 greater than or equal to z?
False
Suppose 4*k = -5*y + 8, k + 4 = 3*k. Let s be (1 - (y + 4))/4. Which is smaller: s or 0.1?
s
Suppose -5*r + 2 = 22. Let v(z) = -z**3 - 3*z**2 + 3*z - 4. Let o be v(r). Are -1/23 and o equal?
False
Let w(k) = -2*k - 1. Suppose 9 = -2*s - b, 5*s - b + 12 = -0*b. Let q be w(s). Suppose -4*g = 0, -3*x = 3*g - q + 2. Which is bigger: x or 3/8?
x
Let p = 18.8 + -19.93. Let u = p - -0.13. Is 4/15 not equal to u?
True
Let n be 8/3 + (-4)/6. Suppose 1 = -5*d - 4. Let u = 4 + d. Which is smaller: u or n?
n
Let g be (-8 + 9)*3/1. Suppose -f + 12 = -5*j + g*f, 6 = -5*j + 2*f. Is j less than or equal to -1/9?
False
Let m = 1 - -3. Suppose a = -m*a. Suppose a = -4*s + 4. Is s equal to -3/8?
False
Let q = 0 + 4. Suppose -q*d = -d. Suppose 3*c = -d*c + 9. Is c >= 3?
True
Let y be ((0 - -1)/((-19)/(-171)))/(-1). Let r = 1 + -2. Is y >= r?
False
Let j(m) = 2*m**3 + 2*m**2 - 2*m + 1. Let d be ((-6)/3 - -1) + 2. Let c be j(d). Let v(x) = x**3 - 5*x**2 + 3. Let z be v(5). Is c greater than or equal to z?
True
Let m(p) = p. Let h be m(-4). Let r be -3 + h/(-4 - -2). Which is smaller: r or 2/19?
r
Let t = -3 - -4. Let m = 1.4 + 0.6. Let u = m + -2.1. Which is smaller: u or t?
u
Let j be (-66)/(-9) + (-1)/3. Suppose 0 = -p - 3*k + j, -3*p = -4*p + 4*k - 7. Let c = 3 - 2. Is c less than or equal to p?
True
Let c = 107 - 125. Is c < 1?
True
Let r be (2/(-45))/((-1)/10). Let s = 1/9 - r. Which is smaller: 1 or s?
s
Let y(x) = -x**2 - x - 1. Let m be y(-2). Let h = 7 + m. Suppose 0 = -b - h + 1. Is b less than or equal to -1?
True
Let p(c) = c**2 + 10*c + 1. Let q be p(0). Let u = -0.5 - 2.5. Let g = 2 + u. Which is greater: q or g?
q
Let s = 2.04 - 0.04. Let a = -6 + s. Which is bigger: -1 or a?
-1
Suppose -2*p + 2 = -5*o + 6, -2*o + 6 = -3*p. Let k be p*(-1)/(-4)*2. Let b(f) = 2*f**2 - 1. Let t be b(k). Is t != 1/8?
True
Suppose -5*s - 51 = 29. Which is bigger: s or -18?
s
Suppose -5*o = -5*z, -3*z + 4*o = -1 - 3. Suppose -4 = k - 0. Are z and k non-equal?
False
Let t be (-4)/2*(-8)/16. Which is greater: -0.1 or t?
t
Let w be 6/(-33) - (-3288)/(-308). Let l be (543/(-252))/(2/10). Let c = l - w. Which is bigger: c or -1?
c
Let r be (-2)/10 - (-109)/945. Let o = r + 10/27. Which is smaller: 0.5 or o?
o
Let t = 393/8 - 49. Let r(s) = -s + 3. Let d be r(2). Are t and d unequal?
True
Let i be 3/2*(-16)/(-12). Suppose 28 = 4*k + i*c - 0, 21 = k + 4*c. Do k and 4 have different values?
True
Let g be 1/(-3) + (-74)/(-6). Suppose 0*u + 24 = -5*j + 4*u, -2*j + 4*u = g. Let b be 80/(-45) - j/(-18). Which is smaller: b or 1/4?
b
Let o = 47 + -47. Is 1/54 <= o?
False
Let k be (-10)/14 - 7/(-7). Which is bigger: k or 0?
k
Let n(b) = -2*b**2 + 4*b + b**2 - 5 + 11. Let h be n(5). Is h at most 2?
True
Let m(f) = f - 5. Let j be m(2). Let x be (-1 + 5/2)*-2. Is j equal to x?
True
Let l be (14 + -15)/(-2*2/264). Is 68 less than or equal to l?
False
Let t = 0.04 + -1.04. Which is smaller: -3/7 or t?
t
Suppose 2*c + 0*w = 3*w - 27, 0 = -2*c - w - 7. Which is smaller: c or -8?
-8
Suppose 6*k - 21 = -9. Is 0.2 > k?
False
Let k(p) = p**2 - 7*p + 5. Suppose 3*d + 5*s = -13, 5 = -d - 2*d - s. Let a = d + 7. Let i be k(a). Is -2/7 greater than i?
True
Suppose -4*a - 8 - 8 = 0. Is a less than 3/5?
True
Let a be 152/5 - 4/10. Suppose 5*i = 2*w + w + 28, 5*i - 5*w = a. Is 3 > i?
False
Suppose 3 = 3*r, 0*p - p - 4 = -2*r. Let k be ((-4)/40)/((-2)/(-28)). Are k and p non-equal?
True
Let m = 139/455 - 8/35. Is 1 less than m?
False
Let x = 13/42 - -1/42. Let t = 7 - 7. Suppose -4*o - p - 2 = 2, 3*p = t. Do o and x have different values?
True
Let i(z) = z**2 - 4*z. Let k be i(5). Let c = -9 + 9.1. Which is greater: c or k?
k
Let f = -21 + 18. Is f less than 1?
True
Suppose -4*k + 31 = 5*i, -7*i + 3*i + 32 = 5*k. Let m be (-2 - 2)/(2/k). Which is bigger: m or -7?
-7
Let t be -4*((-139)/46 + 3). Is t at least as big as 0?
True
Let g = 105.9 - 111. Let o = g + 5. Let r = 3 - 4. Which is smaller: r or o?
r
Let g(u) = -2*u - 4. Let a be g(-2). Which is smaller: -5/6 or a?
-5/6
Let g be -2*(3/6 + -3). Suppose -3*y = -5*w + 4, -g*y - 6 = 4*w + 13. Let q = -197/144 + 29/16. Which is smaller: w or q?
w
Let l = -241/3 + 199/12. Let d = -87 + 151. Let v = d + l. Which is bigger: 0 or v?
v
Let a = 8 - 9. Which is bigger: a or 6?
6
Suppose 10*b - 3*b - 7 = 0. Is -1/8 < b?
True
Let l(h) = -h**3 + 5*h**2 - h - 4. Let j be l(5). Let k(c) = -c**3 - 10*c**2 - 11*c - 13. Let d be k(j). Let z = d + -5. Does -1 = z?
False
Let a(m) = m - 3. Let w be a(4). Which is smaller: 1/3 or w?
1/3
Let q be -3 + (-8)/(-68) + 2/(-17). Which is bigger: q or -5?
q
Let o = 0 - -4. Let j = o + -5. Is 2/7 < j?
False
Let y(x) = 3*x**3 + x**2. Let s = -1 + 2. Let b be y(s). Suppose b*d = 5*d - 3. Which is bigger: d or 5?
5
Suppose 4*b + b - 5*r = -100, r - 5 = 0. Let a be (-7)/b + 2/(-3). Are a and 1 equal?
False
Let v be 1/(-4) - (-15)/(-4). Let r(s) = 2*s + 40. Let j be r(-22). Is j at most as big as v?
True
Let r = -0.07 - -12.07. Let x = 11.9 - r. Which is greater: x or 3?
3
Let k(c) = 3*c**2 + c - 1. Let m be k(1). Suppose 4*h = -35 + 15, m*w + 2*h = -7. Let a = 8 - 6. Which is smaller: w or a?
w
Suppose 2*h = 2*u + 3*u - 7, 4*h + 2*u + 2 = 0. Let j = 0.23 + -2.23. Which is smaller: h or j?
j
Let s = -0.3 - 0.7. Let o be 695/(-10) - 4/(-2). Let a = 66 + o. Which is bigger: s or a?
s
Let r be ((-4)/24)/((-4)/(-6)). Let h = 0 - 1. Let o be 1/(-11)*(h - 1). Which is smaller: o or r?
r
Let n = 9 - 11. Does 0 = n?
False
Suppose x + 0*x + 2 = 0. Which is smaller: x or -3?
-3
Suppose 0 = -3*b - 3 - 0. Let f be (10 - 1)*b/(-3). Which is smaller: 6 or f?
f
Suppose -p = 2*p. Which is smaller: p or -2/11?
-2/11
Let d be (4/(-6))/((-2 - -1)/(-24)). Is d less than or equal to -17?
False
Suppose -3*b - 2*b = -3*u - 39, 4*b = -3*u + 42. Suppose 3*k + b = 6*k. Let r be (-28)/(-24) - 1/6. Is k less than or equal to r?
False
Let r be 3/6 - (-44)/(-120). Which is greater: 0 or r?
r
Let m = -4 + -1. Let g = m + 6. Let u = -1 + 2. Are u and g equal?
True
Let q = -8 - -4. Let y be ((-3)/(-4))/((-5)/q). Suppose m = -m. Is y at most m?
False
Suppose -o - o = 2. Which is smaller: 2/11 or o?
o
Let c = 27 + -55/2. Suppose 5*i + 0*i = 15. Suppose i = k + 4. Are k and c non-equal?
True
Let a(s) = s**3 + 3*s**2 - 2*s. Let z be a(-3). Which is smaller: z or 7?
z
Suppose -o - 4 + 1 = 0. Let j be (-4)/(-10) + (-168)/245. Which is greater: j or o?
j
Let g(o) = o**3 + 4*o**2 + 2*o - 1. Let u be g(-2). Suppose -382 + 967 = u*t. Let n be (2 + 1)*10/t. Do 1 and n have the same value?
False
Let s be (24/(-3