*m. Let l(w) = 11*w**2. Let j be l(1). Suppose 3*c - 5 = -j. Are c and m equal?
True
Let u = -4.7 - -1. Let z = u + -0.3. Let m = z - -4.1. Which is bigger: m or 2/7?
2/7
Let s = 0.3 - 1.3. Let q be (-2)/(-6) + (-10)/6. Which is smaller: s or q?
q
Let a = -0.27 + 1.27. Is 3/4 less than a?
True
Let b = 9627/125 - 77. Which is smaller: b or -1?
-1
Let y = 11 - 18. Let f = -4 - y. Suppose -6*m = -f*m. Which is smaller: -1 or m?
-1
Let l be 3/(-2) - 40/(-48). Is -17 equal to l?
False
Let y be ((-36)/(-42))/(1/(-7)). Let p(t) = t**3 + 7*t**2 + 6*t + 5. Let n be p(y). Suppose -4*f - 2 + 0 = 2*r, 5 = -n*r + f. Is r != 0?
True
Let c(j) be the third derivative of j**6/120 - j**5/60 + j**4/12 - j**3/2 + 5*j**2. Let i be c(0). Is -3/2 greater than i?
True
Let f be 9/2*(-22)/(-33). Let n = 0 + 3. Are f and n equal?
True
Let b = -2.57 + -14.33. Let j = b + 16. Let i = 1 + j. Is -1/3 at least as big as i?
False
Let h be (-4)/(-47 + (3 - 2)). Is 2/5 < h?
False
Suppose 2*y + 23 = -h - 3*y, 0 = 2*h - 5*y - 29. Suppose -f = -h*f. Suppose k - 5*g = 3*k + 17, -4*g - 12 = f. Is -1 at least k?
True
Suppose 9 = 2*u + 5*n, -2*n - 3 = 5*u - 15. Let l be (-28)/35 - 96/(-70). Which is greater: u or l?
u
Let i be 4/14 - 66/(-14). Is 5 bigger than i?
False
Let w(o) = -o**3 - 10*o**2. Suppose 5*v - 4*v + 10 = 0. Let s be w(v). Which is bigger: s or 2/25?
2/25
Let o = -1049/15 - -70. Is 0 less than or equal to o?
True
Let r = 111.05 + -111. Which is greater: r or 6?
6
Let t be 2/3 + (-4)/6. Let y = -7 - -12. Suppose -3*s = 8 - y. Which is bigger: t or s?
t
Let d = 53/95 + -3/19. Is d greater than or equal to 1.8?
False
Let l = 13.9 + -13. Let f = 0.1 + l. Is 1 at least as big as f?
True
Let g be (-1 - (-3)/3)/(2 - -1). Does g = 2/297?
False
Let n = 1 - 1. Suppose 2*w = 2*j - 1 - 3, 4*w = 2*j - 10. Let r be (4/42)/((-2)/w). Is n less than r?
True
Let i = -0.14 + 0.04. Is i > 7?
False
Let i be (-3)/4*(-8)/132. Is -1 at most as big as i?
True
Suppose 2*v + l = -347, -2*v - l + 2*l - 345 = 0. Is -174 at least v?
False
Let n(m) = -m**3 - 7*m**2 - 6*m. Let s be n(-6). Is s >= 1.3?
False
Suppose -3*z - 29 = 5*x, -2*z + 11 = -2*x - 3*z. Let m be (6/(-4))/((-3)/x). Which is greater: 1 or m?
1
Let d = -2.9 + 3. Which is bigger: d or -4?
d
Let x = -173/2 + 89. Let l = x + -17/6. Which is smaller: -1 or l?
-1
Suppose -5*q = -33 + 3. Do q and 7 have the same value?
False
Let o = -6 + 54. Is 1 less than or equal to o?
True
Suppose 5*g + 3*c - 7 = 3, c = 0. Suppose -w - 3*t = 0, 3*t = 2*t + g. Is -6 at least as big as w?
True
Suppose 0 = -2*a + 9 - 11. Let f be (-8)/10 - (-4 - -3). Is a less than f?
True
Let x = -46 + 58. Is 12 not equal to x?
False
Let o = 13 - 13. Let g be o + -1 - 2*1. Are g and -3 non-equal?
False
Let r = 0.43 + 0.07. Let b = r + -0.7. Is b > 0.2?
False
Let b be 3/(-4)*(-2)/3. Which is bigger: b or 4?
4
Let x = 0 + 0. Let k(o) = 4*o**2 - 5*o + 9. Let m be k(-7). Let q = 1196/5 - m. Which is bigger: x or q?
x
Let n = -1 + 0. Let z(b) be the third derivative of b**5/60 + b**4/12 + b**3/6 + 5*b**2. Let t be z(-1). Is t at most as big as n?
False
Let j be 1 + -2 + 0 + -1. Is -7/3 greater than or equal to j?
False
Suppose 6 = r + r - 4*t, -3 = -r - 5*t. Let z = -8 + 5. Let d = z + r. Is d equal to -2/25?
False
Let u be -3*(-3)/9*-6. Is u at least as big as -4?
False
Let l be ((-14)/21)/(2/21*1). Are -6 and l nonequal?
True
Let y = -39 + 27. Let h = 13 + y. Is h > -3?
True
Let a = 4 - 3.87. Let b = a + 0.07. Let w = 1.2 - b. Which is bigger: w or -2/9?
w
Let k be (-658)/(-3) + 4/6. Let n be (-95)/k + 4/22. Which is smaller: n or -0.2?
n
Let r be 1*((2 - 2) + -1). Let y(m) = m**3 + m**2 - m. Let t be y(0). Which is bigger: t or r?
t
Let w = -1.8 + -1.2. Let o = -17 - -16. Which is smaller: w or o?
w
Let i be (-7)/2*(3 - 1). Let q = -342 - -669/2. Which is smaller: q or i?
q
Let b(q) = q**2 - 11*q + 10. Let f(m) = -3*m**2 + 33*m - 29. Let i(r) = 11*b(r) + 4*f(r). Let z be i(11). Which is bigger: -1 or z?
-1
Let h(k) = -2*k + 9. Suppose 0 = d - 3 - 4. Let v be h(d). Is v < 0?
True
Suppose 2*z = j - 0*z + 1, -4*z = 2*j + 18. Let d be -1 + 2/(-1) + 1. Let k = -7 - d. Are j and k unequal?
False
Suppose -j - 3*j = d - 17, 0 = 4*j - 8. Let h be 0/(d/6*-2). Which is greater: 1 or h?
1
Let i be ((-7)/49)/(2/2498). Let t = i - -179. Is 2 at most t?
False
Suppose b - 4 = 3*v, 4*b - 22 = b + 4*v. Do 13 and b have the same value?
False
Suppose -o + s - 6 = -3, 0 = -5*o - s - 3. Does o = -1?
True
Let z = -483 - -36223/75. Which is greater: -0.1 or z?
z
Let c = 56/15 + -22/5. Is c > 2.1?
False
Suppose q + 5*z + 7 = 0, 6*q = 3*q + z + 11. Suppose -2*v + 2 = 3*n - q, n = -1. Suppose 3*m + 18 = -4*l, -5*m - 1 - 21 = v*l. Is -2 at most as big as l?
False
Let m = 32 + 10. Which is bigger: -0.2 or m?
m
Suppose 4*o - o + 2*c + 7 = 0, -5*c - 7 = -3*o. Let x(t) = 2*t. Let g be x(4). Suppose -5*b - g = -b. Is o at most b?
False
Let y = 12 - 18. Let i(x) = 2*x**2 + 9*x. Let d be i(y). Let m = d - 37/2. Which is smaller: m or -2?
-2
Let f(s) = s**2 - 7*s + 1. Let c be f(6). Let q be (-4)/10 - (-38)/c. Which is smaller: q or -2/3?
q
Let k = 106 - 62. Let v = k + -42.05. Let p = 0.05 + v. Is -1/3 equal to p?
False
Let j be (4 - 2)/(-8) + 9. Is j bigger than 9?
False
Let a = 4 + -4.3. Let i = a + 0. Let q = 1 + 0. Is q less than i?
False
Let j(d) = 55*d**3 + d - 1. Let b be j(1). Is b > 55?
False
Let f = 19 - 19. Which is smaller: 6/25 or f?
f
Let t(m) = -m**3 + 2*m**2 + m + 4. Let y be t(3). Which is bigger: y or -3?
y
Let v = 21 - 18. Which is bigger: 2/17 or v?
v
Let w = 4 + -14. Is w bigger than -11?
True
Let o = -2 - -1.8. Which is smaller: -3 or o?
-3
Suppose 0*q - 8 = 4*q. Let s be (q - (-10)/4)*-4. Is 0 at least s?
True
Let b be -3 + (-12)/(-8)*2. Does 1/15 = b?
False
Let w = -15 + 16. Let h be -3*w - (-3 + -7). Is 5 at least as big as h?
False
Let r be 28/(-70) + (-2 - 164/(-110)). Which is bigger: r or 1?
1
Let l = -1/119 + 261/2737. Is l > 2/7?
False
Suppose 4 = 6*y - 2*y. Let f be (-2 - 7*-1)*-1. Let w be 6/f*1/3. Which is bigger: y or w?
y
Let c be (-304)/150 - (11 + -13). Which is bigger: c or -1?
c
Let a = -2 - -3. Does 2 = a?
False
Let a(f) = -f**2 + 9*f + 5. Let o be a(9). Suppose 5*n + 50 = -o*u, n + 2*u + 14 + 1 = 0. Which is bigger: n or -6?
n
Suppose -3*z + 1 = j + 4, -j - z = -3. Which is smaller: 4 or j?
4
Let y = 15 + -9. Let h = y - 5. Is -1 equal to h?
False
Let w be 7/2 - (-3)/(-6). Suppose 3*c - 9 = 3*p, -c - 4 = w*p + 5. Let o = c - 1. Which is greater: 0 or o?
0
Let z be 2 + (1 - (1 - 1)). Suppose z*i = -i + 12. Suppose -5*r = -i*r. Is 2/3 greater than r?
True
Suppose 4*k - 3*y = -0*k - 7, 0 = 5*k + y + 4. Is k greater than 1/25?
False
Let t(w) = 28*w + 15. Let b be t(-4). Do b and -97 have the same value?
True
Suppose -4 = -h - 5. Suppose -6*d = -2*q - 7*d, q = d - 6. Let p = 3/2 + q. Is h greater than p?
False
Suppose 6*n = 4*n. Let l be -6 - 20/6*-2. Which is smaller: l or n?
n
Let i = -8.2 - -8. Let z = -4.8 + i. Which is greater: -1 or z?
-1
Suppose -4*b - 2*q + 68 = 0, -17 = -b - 2*q - 3*q. Let o = -26 + b. Let x be 2/o + 10/45. Is 0 > x?
False
Let i = -4.2 + 5. Let b = -1.8 + i. Which is smaller: 8 or b?
b
Let p be (-12)/6 - (-717)/7. Let y = 100 - p. Which is smaller: y or -1?
-1
Suppose -y = 4*o - 1 + 8, -4*o + 4 = 0. Is -12 greater than or equal to y?
False
Let b(y) = y - 6. Let z be b(6). Suppose 0 = 5*h - 20, 4*h - h - 800 = 4*s. Let c = s + 1381/7. Is z equal to c?
False
Let t be (-2)/((-8)/(-12)*-3) - 19. Is -20 smaller than t?
True
Let n(w) = -w**2 - 3*w - 5. Let q be n(-4). Which is greater: 3 or q?
3
Let x = 5/23 + -1/322. Let m = x - -61/42. Suppose -3*v - 10 = 2*t, -5*t - v + 0 = -1. Which is smaller: m or t?
t
Let f be 6/18*(-2 + -31). Let x = 7 + f. Which is bigger: x or -5?
x
Let b = -87.03 + 89. Let t = b - -0.03. Let y(g) = g**3 + 7*g**2 + 7*g + 4. Let j be y(-6). Which is bigger: j or t?
t
Suppose -4*l = -3*l + 3. Let u(i) = i**3 - 6*i**2 - 6*i - 2. Let o be u(7). Let r = o - 7. Is l not equal to r?
True
Let b = 4 + -1. Let n be (142/2)/(18 + b). Let a = -26/7 + n. Which is smaller: 0 or a?
a
Suppose -5*w - 2*n + 171 = 2, 2*w = -n + 68. Which is smaller: w or 32?
32
Let j = 8 - 11. Let t be -5 + (-2)/((-2)/j). Is -8 >= t?
True
Let u be (-5 + -1)