 5653/69 - m. Let z = -61/207 - n. Which is smaller: -3 or z?
-3
Suppose -5*o + 4*r - 1 - 20 = 0, -5*r = -2*o - 22. Let i = o + 1. Are 2 and i unequal?
True
Suppose -3*h - 7 + 4 = 0. Let r(c) = c - 14. Let m be r(11). Does m = h?
False
Suppose 5*t - 3*w = 4 + 5, 0 = 3*t + 3*w + 9. Let j be (-1 - (-15)/9) + (-11)/12. Which is smaller: t or j?
j
Let m = -1 + 4. Suppose 5 = m*h + 26. Let b = -3 - h. Which is smaller: b or 3?
3
Suppose 3*s - 20 = -2*s. Suppose 0 = b - 0*b - 3*l + 5, -s*b - 3*l + 25 = 0. Let a = -1 + b. Which is bigger: a or 1?
a
Suppose -o = -3*m - 140, 3*o - 5*m - 432 = -0*m. Let x be (o/6)/(42/(-12)). Let z = x + 23/3. Are 1 and z equal?
False
Let m(d) = d**2 + 6*d + 4. Let i be m(-5). Is 0 greater than or equal to i?
True
Let v(x) = x + 2. Suppose -3*w + 2*a - 29 = 4*a, -5*w + 4*a - 41 = 0. Let o be v(w). Are -7 and o nonequal?
False
Let h be ((-10)/4)/(5/(-10)). Suppose -8 = h*r - 3. Is 0 bigger than r?
True
Let i(d) = d**3 + 3*d**2 - 1. Let b be i(-2). Suppose 2*n + 3 = -b. Let u(q) = q**2 + 4*q. Let z be u(n). Which is smaller: -1/3 or z?
z
Let a be ((-2)/(-5))/(1/5). Let h be (-3)/1 - 7/(-2). Which is smaller: a or h?
h
Let j = 0.3 + -0.5. Let m = j - 2.8. Let b = m + 4. Is -2/3 at least b?
False
Let w = -115.9 + 116. Which is smaller: -3/2 or w?
-3/2
Let j = 4/145 + 14/1595. Which is smaller: 0 or j?
0
Let l(q) = -q - 21. Let m be l(-14). Let u(c) = 4*c - 2. Let f be u(-3). Let h be (-2)/(10/f + 1). Does h = m?
True
Let o be 20/10 + -2 + 1. Let h = 29/28 + -3/4. Which is greater: h or o?
o
Let i = 1 + -3/2. Let m = 9.78 + -10. Let t = m - -0.12. Is i < t?
True
Suppose 5*v - 5*h = v + 22, -5*h = v + 7. Suppose 2*b - v*b + 4 = 0. Suppose b = d + 3. Which is greater: d or 3/4?
d
Suppose 0 = 4*x - 20 + 8. Let k = -2 + x. Is 0 at least as big as k?
False
Suppose 4 = -3*p + 1. Suppose 18 = z + 4*m, 2*m - 27 = 3*z - 11. Which is bigger: p or z?
p
Let u(h) = -h**3 + 2*h**2 + 5*h - 7. Let p be u(3). Is 2/41 less than p?
False
Let m be (2/6)/((-3)/(-2)). Suppose 3*g = 5*d - 18, -3*d + 3*g + g = -2. Suppose -6*i + 0*i - d = 0. Is m at most as big as i?
False
Let k be -2 - -2 - (1 + -2). Suppose n + 71 = -o, 0*o + 289 = -4*n - 5*o. Let y = 395/6 + n. Which is bigger: k or y?
k
Let s be (3/(-120))/((-10)/(-8)). Is 0 less than s?
False
Suppose -5*i - 22 = -2*i - 2*q, -q = -i - 8. Suppose -4*p = 0, -4*u - p - 2*p = -24. Let y = i + u. Which is bigger: y or 2/11?
2/11
Suppose 5 + 10 = -2*z + 3*s, -5 = -s. Do -2/23 and z have the same value?
False
Let c be 1*(-2)/6*-3. Let i be (-1 + -1 - 0) + c. Do i and -1 have different values?
False
Suppose d = 4*d - 21. Let p(h) be the second derivative of h**3/6 - 3*h**2 + 3*h. Let g be p(d). Is 2/13 less than or equal to g?
True
Let m be (-6)/9 + (-2135)/(-45). Let u = -47 + m. Is -0.2 > u?
True
Let s = -69/2 + 35. Does s = 2?
False
Let n be (27/(-12))/(2/24). Let l(v) = -7*v - 3. Let t(u) = -48*u - 21. Let i(z) = n*l(z) + 4*t(z). Let b be i(-2). Is b at most 3?
True
Let h(a) = 2*a + 9 + 1 - a. Let i be h(-10). Which is smaller: 1/6 or i?
i
Let d = 6 + -6. Let u = 0.1 + d. Let w be (11 - 6) + (-2)/2. Which is bigger: u or w?
w
Let s = -1.3 + 2.4. Let c = s - 0.9. Is c != -0.1?
True
Let q(k) = -66*k**2 - k. Let v be q(1). Let y = 44 + v. Let s = 117/5 + y. Which is bigger: -1 or s?
s
Let r(i) = i + 4. Let c be r(0). Suppose 5*w + 4*x + 0 = -c, -5*x = 2*w + 5. Is w <= 1?
True
Let u = 24 - 24. Which is smaller: u or 2/31?
u
Let x(n) = -3 - 4*n + n**3 - 5*n**2 + 2*n + 2*n. Let g be x(5). Which is smaller: g or -1?
g
Let q = -10 + -5. Let r = 15 + q. Which is smaller: 1 or r?
r
Let m = -741.07 - -738. Let f = -0.07 - m. Let o = f + -3.1. Is -0.1 less than o?
False
Let j(v) = v + 4. Let x be j(-5). Let h be 36/(-4)*(x + 0). Let b be h/12 - 1/(-4). Which is smaller: b or 0?
0
Let c(r) be the third derivative of -r**4/24 - r**2. Let t be c(-3). Suppose -2 = y + a, 0 = t*y - 4*a - 3 - 5. Do 1/5 and y have different values?
True
Let h be 8/(-12)*(-9)/(-2). Is -5 less than h?
True
Let d = 15 + -21. Is d at most -6?
True
Let o = -55 - -36. Let v = 18 + o. Is v smaller than 1/6?
True
Let i(k) = -k**2 + 6*k - 4. Let j be i(4). Let f(a) = a - 4. Let v be f(j). Is -1/7 != v?
True
Let l(i) be the first derivative of i**4/4 + 4*i**3/3 + 2*i - 2. Let w be l(-4). Let m be ((-1)/4)/(w/(-4)). Which is greater: m or -1?
m
Let m = 2/673 - -1993/8749. Is m not equal to 1?
True
Suppose -5*c = -0*o - o + 29, -c = -o + 9. Let b be 10/o*32/20. Is b <= 4?
True
Let q = 2 + -5/2. Let o = 0 + 0. Let a = -1 - o. Is q at most a?
False
Let c = -1 - -2. Let z be ((-40)/(-15))/(2/3). Let h be (1 + -2)*8/z. Which is smaller: c or h?
h
Let b(v) = v**2 + 7*v - 2. Let z be b(-7). Let q be 1/2*z/(-4). Let t(d) = -2*d + 3. Let h be t(2). Is q equal to h?
False
Let x be (-3)/4*(-24)/6. Suppose 0 = -x*n - 2*n - 65. Is -12 greater than n?
True
Let r(n) = n + 6. Let q be r(5). Suppose i + 2*i = 2*d - 9, i = -4*d + q. Let j = d - 3. Which is greater: j or -1/2?
j
Let l = 14 - 12. Let w be (-1)/l - (-8)/(-16). Is -12/5 smaller than w?
True
Let v = 2589483/571 + -4535. Let q = 3448/6281 + v. Is 0 smaller than q?
True
Let z = 0.3 - 0.4. Let g = 92/3 - 31. Which is greater: z or g?
z
Let w(g) = 2*g + 8. Let z = -5 - 1. Let q be w(z). Let j(a) = -a**3 - 6*a**2 - 5*a - 5. Let k be j(-5). Which is bigger: q or k?
q
Let q be (3/12)/(5/(-4)). Let x be (-16)/20 + 2/(-10). Which is greater: x or q?
q
Let r = 14 - 14. Is 1 at least r?
True
Suppose -32*b + 36*b = -60. Is -14 at least b?
True
Let l = -0.06 - -16.06. Let n = l - 17. Which is bigger: -5/3 or n?
n
Suppose 40 = y + 4*y. Suppose 4*v - 8 = y. Is v > 4?
False
Suppose 6*p - p = -15, -5*o + 3*p - 1 = 0. Let s be (-35)/(-25) - (-2)/(-5). Let w(l) = -2*l**3 - 2*l**2 + 2*l - 1. Let d be w(s). Is o >= d?
True
Let n(d) = d**2 - 7*d - 1. Let q be n(7). Let m be q/(-4) + (-21)/12. Let o = -7/4 - m. Is -1 > o?
False
Let a = 3 - 1. Let t = -8 - -8. Suppose -5*y + a*d + 3 = t, -3*y + 0*d = -3*d. Is y bigger than 2?
False
Suppose -5*h + 116 = -h. Is h not equal to 29?
False
Let v(n) be the third derivative of -n**4/3 + n**3/6 - 2*n**2. Let d be v(-1). Let y be (d/(-4)*2)/6. Which is smaller: -1 or y?
-1
Suppose -15 = 4*g + g. Let x be (-7 - g)*(-6)/4. Let p(c) = -c**2 + 6*c + 2. Let s be p(x). Are s and 4 equal?
False
Suppose -4*i + 4*h + 36 = 0, 3*i + 4*h + 4 = 24. Which is smaller: 9 or i?
i
Suppose 6*d = d - 30. Is -6 >= d?
True
Let j = 254/5 + -48. Which is smaller: 4 or j?
j
Let k(j) = -j**3 - 5*j**2 - 7*j - 4. Let b be k(-3). Is b bigger than -3/13?
False
Suppose -a - 2*a - 3 = 0. Let b be ((-1 - a)/2)/2. Are 1 and b equal?
False
Let k be ((-2)/1)/(2/(-27)). Let r be k/(-33) + (-4)/(-4). Let v = 12/11 - 38/55. Is v greater than r?
True
Let v(g) be the third derivative of g**6/120 + g**5/20 + 2*g**2. Let i be v(-3). Let c = 8 - 6. Is i greater than c?
False
Let c be 12/(-4) + 0/(-2 - -1). Which is bigger: 2 or c?
2
Let s be ((-4)/28)/(2/(-7)). Let q = 2 + 5. Which is smaller: q or s?
s
Let y = 1/23 - 5/1173. Do y and 0 have different values?
True
Let v = 4/7 - 37/28. Let p = 13 - 13. Which is bigger: p or v?
p
Let c(v) = -v**2 - 4*v + 9. Let k be c(-7). Are k and -13 nonequal?
True
Suppose 2*n = -3*s - 2 - 2, 0 = -2*s - 3*n - 11. Let v be s/(-16) + (-17)/24. Is -1 > v?
False
Let w be (-2)/(-3) - 15/9. Let p = -0.07 + 0.07. Which is bigger: p or w?
p
Let c = -0.9 - 9.1. Let t = c - -14. Which is smaller: 2/7 or t?
2/7
Let m be (-580)/(-28) + 4/14. Let f = 43/2 - m. Let d = 0.145 - 0.045. Is f != d?
True
Let v = 4 - 6. Let a = 0 - v. Which is smaller: 1 or a?
1
Let j be -2 - 0 - 45/(-21). Let q = 1 - 3. Let d be (-3 + 2 - -2) + q. Which is smaller: j or d?
d
Let r be (4 + -1 + 0)/3. Let t be (1 - 21/9) + 1. Which is smaller: t or r?
t
Suppose 0 = -z - 0*z - 4. Let m be (-30)/18 + z/(-2). Does 0 = m?
False
Let l be ((-54)/(-15))/((-2)/(-5)). Suppose -5*m - 4*h + 31 = 0, l = -2*m + 4*h - 1. Suppose -w - m = 2. Is w smaller than -6?
False
Let p(a) = a**3 + 8*a**2 + 2*a + 10. Let d = 22 + -30. Let c be p(d). Which is bigger: -7 or c?
c
Suppose 3 = 6*w - 3*w. Which is bigger: -1/4 or w?
w
Let z = -0.1 - -0.2. Let m = z + -0.1. Let n = 0.1 + -0.3. Is n at most as big as m?
True
Let b = -25/2 + 12. Let c = 24 - 2