0.11 + -2.89. Does c = k?
False
Let z(s) = -s + 3. Let y be z(5). Let t be (y - -3)/(-1) + -362. Let h = 6169/17 + t. Which is bigger: h or 0?
0
Let k be 12/20 - 16944/(-135). Let g = k - 126. Suppose 5*q - r - 4 = -2*r, -r = -3*q + 4. Is q bigger than g?
True
Let m(v) = -v - 5. Let s be m(-4). Let r be (s/9)/(2/(-4)). Let q = -1 - -2. Is q greater than or equal to r?
True
Let c = 19695/14 + -1406. Let h = 2/7 - c. Is 0.2 smaller than h?
False
Suppose -3*g = 5*s + 15, -g + 0*g + 4*s = 5. Let k(m) = m**3 + 3*m**2 - 3*m - 1. Let n be k(-4). Are n and g non-equal?
False
Let v = 8 - 10. Is -5/6 at most as big as v?
False
Suppose 0*x = -3*x + 33. Let w = 6 - x. Suppose -2*c + 4 = -3*c. Which is bigger: w or c?
c
Let i be -1*(-60)/16 + -4. Is i >= 0.6?
False
Let t(n) = -2*n - 2. Let d be t(2). Let m = 2 + d. Is m greater than -2?
False
Suppose f + 2*i - i = 9, -5*i = 4*f - 36. Is 1 at most as big as f?
True
Let n = 15 - 15. Suppose l - 2*l = n. Let t = -5 + 3. Is t smaller than l?
True
Suppose -25 = -n - 5*d, -4*n + 5 + 11 = -d. Let q = -9 - -10.2. Let o = q - 1.2. Does n = o?
False
Suppose 3*s = -0*s + 5*m + 5, 4*s = -3*m + 26. Suppose 5*f - 6 = 2*f, 0 = -4*k + 4*f. Is s < k?
False
Suppose 17 = 5*x - 4*x - 3*z, -5*x = -5*z - 45. Suppose x*q + 15 = 5*o, -3*q = -q. Let s = o - 2. Which is smaller: s or -2/27?
-2/27
Suppose -4*f = -s - 5, -3*f + 6 - 3 = 0. Is s smaller than -8/13?
True
Let n be (-4)/(-42) - 3/7. Is 13 at most n?
False
Let p(s) = s**2 + 9*s - 7. Let z be p(-10). Suppose -11 = 4*o + o - z*k, -4 = -2*k. Which is smaller: o or -6/7?
o
Suppose 3*g - 3*y = -18, -g - 4*y + 28 = -6*g. Let k = -1.9 - -2. Is k equal to g?
False
Let k be (-3)/9*(-2 + 2). Let b be (3 - (-33)/(-9))/5. Which is smaller: k or b?
b
Let y = -0.11 - -4.11. Let n = y + -3. Which is greater: n or -0.05?
n
Let h = 13 + -32. Let d = h - -20. Is -0.03 smaller than d?
True
Let t(j) = 6*j. Let w be t(1). Suppose -4 = 4*i - w*i. Let y(r) = -r**2 + 2*r. Let o be y(1). Is o <= i?
True
Let s be 4 + ((-35)/10 - -3). Suppose a + 2*j = 4, -14 = -5*a + 3*j + 6. Which is smaller: s or a?
s
Let y(q) = -4 + 3 - 6*q + q**2 - 6. Let f be y(7). Which is greater: f or -3/10?
f
Let b = 0.236 - 0.066. Are -1/5 and b nonequal?
True
Let j(z) = -z**3 + 7*z**2 - 5*z - 1. Let l be j(6). Suppose -4 = g + 5*y, l*y + 18 = 2*g - 4. Which is smaller: 3 or g?
3
Suppose 2*h = 7*h - 2*z - 16, -3*h = -3*z - 15. Let k be h/6*(-2)/2. Let b = 22 - 21. Is k < b?
True
Let t = 2.2 - 2. Let a = t - -0.8. Let j = 15 + -10. Which is bigger: a or j?
j
Let h(m) = -m - 1. Let j be (-26)/10 - (-8)/(-20). Let w be h(j). Do w and 2/7 have the same value?
False
Let c(k) = k**3 + 3*k**2 + 1. Let w be c(-3). Let v = -71/6 - -31/3. Which is greater: w or v?
w
Let q(z) = -z**2 + 7*z - 4. Let l be q(4). Which is smaller: 15/2 or l?
15/2
Suppose 0*y - 14 = 2*y + 5*h, -8 = 4*h. Let i = 4 - 0. Suppose -r - 9 = 4*n - 8*n, -2*r + n = i. Is y != r?
True
Let t(h) = -h**2 - h + 2. Let z(f) = 4*f**2 + 2*f - 7. Let d(o) = -14*t(o) - 4*z(o). Let l be d(4). Is l at least as big as -8?
True
Let h = 14/3 + -25/6. Let l be 0/(4 - (1 - -1)). Let z = -2 - l. Which is smaller: z or h?
z
Let a = 1.542 - -0.058. Does a = -0.1?
False
Let k(n) = -n**2 - 13*n - 6. Let c be k(-11). Suppose 0 = a + 3*j + c, -a + 5*j + 8 = 2*j. Let l be -4 - 0*1/3. Is a <= l?
True
Let n = 15 - 18. Do n and -6 have the same value?
False
Suppose -5*b + 19 = -5*u - 6, -4*b = -8. Is -3 < u?
False
Let r = 30 - 17. Let q = -12 + r. Let v = 0 + 0.2. Is v != q?
True
Suppose 5*g - 6 = -4*s, 2*s - 3 = -g + 3. Let n(d) = d**2 - 5*d + 3. Let a be n(s). Which is bigger: a or 2/7?
2/7
Let z be 1*(-8)/4 + (-11)/(-3). Suppose -6 = -0*b - 2*b. Are b and z nonequal?
True
Let s(m) be the second derivative of m**4/12 + m**3 + 5*m**2/2 + 4*m. Let c be s(-4). Which is smaller: -2 or c?
c
Let z(q) = 7*q - 3. Let l be z(3). Suppose -2*w + 8*n + l = 4*n, 0 = 4*w + 2*n - 6. Let m = w + -5. Is -0.1 at most m?
False
Suppose -d - 4 = -3. Let z = -66 - -323/5. Which is smaller: z or d?
z
Let u(k) = k**2 + 26*k + 91. Let q be u(-4). Let m be 1 + 2*1/2. Is q at least m?
True
Suppose -20 = 2*t + 4*q, t - 3*q + 2 = -3. Suppose -r - 7 = 1. Is r less than t?
False
Let u(n) = -n**3 + 3*n**2 + 2*n - 2. Let i be u(1). Which is smaller: i or 3?
i
Let n be 11 - 11 - 23/1. Which is bigger: -24 or n?
n
Suppose 0 = i + m, -3*i - 3*m + 21 = -7*i. Is i < -3?
False
Let p = 7 + -12. Are -8 and p equal?
False
Let y = 1.1 - 1. Is y > -2.4?
True
Let z = 11 - 11. Let q = -1.3 + 0.3. Let n = z - q. Which is smaller: -0.3 or n?
-0.3
Let w = 4.3 - 4.3. Is w smaller than 51?
True
Let s be 8/(-24) + 2/6. Suppose 0 = -3*k - 0 + 3. Let t be 5/10 + k/(-3). Is t not equal to s?
True
Let u(l) = l - 4. Let v be u(4). Suppose v = 2*i - i - 1. Is 0 equal to i?
False
Let h(j) = j**3 - 10*j**2 - 9*j + 6. Let b be h(11). Suppose -f - 3*t + 7*t - 15 = 0, -5*t = 3*f + b. Which is bigger: -10 or f?
-10
Let a be (-10)/(-4)*64/80. Is a at least -11?
True
Let h be 13/(-4) + (-1)/(-4). Suppose 2*y - 2*s = -0 - 4, y + 5 = -2*s. Let f = -5 - y. Which is greater: f or h?
f
Let v be -1 + 1 - (3 - -1). Let y = v + 4. Let o be (-9)/(-7) + (-4)/14. Is o at most as big as y?
False
Suppose 0*o - 4*o = -8. Let n be 448/288 - (-4)/(-18). Which is greater: n or o?
o
Let z = 2 - 13/6. Is -12 smaller than z?
True
Let j be (6 - 1)*(-2)/5. Let g = 12 + -11. Is g at most as big as j?
False
Let g = 4 - -5. Let l = 8 - g. Let c = -1 + 0. Is c at least l?
True
Let w = 123 + -151. Which is smaller: w or -31?
-31
Suppose 36 = 2*h - 6*h + 5*m, -m - 8 = 3*h. Which is smaller: h or -9/2?
-9/2
Let z be (-80)/(-378) - 2/7. Let l = -3 - -4. Is z at least as big as l?
False
Let p = 0.1 - 0.2. Let k = -44 + 41. Which is smaller: k or p?
k
Let b = 9679/922 - -1/461. Let f = 10 - b. Suppose -4*k = 2*n - 6, -n + 5*k - 9 = -5*n. Is n < f?
False
Let t(h) = h**3 + 3*h**2 + 6*h + 5. Let g be t(-2). Which is smaller: g or -9/5?
g
Let s = 0.02 - -0.01. Let h = 0.97 + s. Which is bigger: h or 3?
3
Let g = -115/98 + 3/98. Which is greater: g or -2?
g
Let y = 0.5 + -0.5. Let z = -0.05 + y. Is -2/7 not equal to z?
True
Let y be 1/(36/(-33) + 1). Let z = -8 - y. Let d = -9 - -13. Is z at most d?
True
Let k = -9 - -4. Let l(g) = g**2 + g - 2. Let w be l(2). Suppose 18 = -2*h - 3*m + m, 4*h - 4 = w*m. Is h not equal to k?
True
Let v be (8/((-96)/(-9)))/((-39)/(-56)). Is 2 > v?
True
Let u be -3 + 4/72*50. Suppose -4*k + 31 = -3*n - 0, 4*k - 4*n - 36 = 0. Suppose -t = 3*t - k. Is t greater than or equal to u?
True
Suppose 12 = 7*y - 3*y, 5*v + 4*y = 12. Let m be 345/66*(-4)/(-133). Let o = m - 4/77. Which is greater: o or v?
o
Let l(f) be the first derivative of f**4/2 + f**3/3 - f**2 + f + 3. Let y be l(1). Does 3 = y?
False
Suppose 0 = -5*k + 2*k - 6. Which is greater: k or -1?
-1
Let o = -18 + 19. Which is bigger: 11 or o?
11
Suppose 2*s = -5*r - 0*s - 3, 3*s = -4*r - 8. Let u = -137 - -683/5. Is r greater than or equal to u?
True
Let j(q) = q + 1. Let g be j(1). Suppose 4*m + 0*m + 4*i - 16 = 0, -3*i + 16 = -m. Let w be -6*m/3*1. Is g bigger than w?
False
Suppose -31 = -2*d - 27. Let w = 1 + 1. Suppose 4*i - 27 = 5*h, -2*i - w*h + 7*h = -21. Which is greater: d or i?
i
Let k(d) = -d - 9. Let b be k(-7). Let j = 25 - 18. Suppose -2*f + j*f = -10. Do f and b have the same value?
True
Let p be 24/42 + (-1)/1. Which is bigger: p or 1?
1
Let n(j) = 3*j**2 + 4*j + 1. Let v(b) = -b**2 - b. Let s(d) = n(d) + 2*v(d). Let m be s(-2). Let k = -1/50 + -2/25. Is m not equal to k?
True
Suppose 0 = u - 4*u - 9. Let x = u + -4. Which is smaller: -6 or x?
x
Let w = 1517/22 + -69. Let h = 3/22 - w. Which is smaller: h or 0?
0
Let z = -5 + 0. Let u = 7 + z. Is 1 not equal to u?
True
Let o = -14.7 + 22.8. Let w = -19 + 11. Let i = w + o. Which is smaller: 1/5 or i?
i
Suppose 4*j - 72 = -14*j. Let n be 4/5*(-14)/(-4). Which is greater: n or j?
j
Suppose -25 = 5*r - 5*v, 3*r - 2*v + 9 = -8. Let i be (r/21)/((-2)/6). Which is smaller: -2/11 or i?
-2/11
Let f = -8 - -33/4. Suppose -w + 5 - 4 = 0, q - 4*w + 2 = 0. Suppose 0 = r + q*n + 1, 2*r + 2*r = 2*n - 14. Which is greater: f or r?
f
Suppose -16 = j - 0*j - 2*w, 3*j + 33 = 3*w. Let o(h) = h - 12. Let z be o(-4). Let s = z - -10. Is s less than j?
Fals