*u**2 + 10*u + 8. Let a be i(-6). Suppose 5*z = 6 - a. Does 9 divide (-1 - z)/(2/4)?
True
Suppose -13*c + 9*c + 20 = 0. Is 5 a factor of c?
True
Let w(x) = -11*x**3 + 2*x + 2. Let n be w(-2). Let y = 122 - n. Is 12 a factor of y?
True
Suppose 0 = -g - g + 40. Does 10 divide g?
True
Does 21 divide 2*(420/18 + (-2)/6)?
False
Let b = -954 + 1379. Is 54 a factor of b?
False
Let n(s) = s**3 - 4*s**2 - 8*s + 19. Is n(7) a multiple of 11?
True
Let s be (2*1)/(2/3). Let f = 2 + s. Is f even?
False
Let n = 10 - 7. Suppose -76 = -2*f + 2*b, -8*b + 20 = -n*b. Is f a multiple of 14?
True
Let g be 48 + (2 - 0) + 0. Suppose -s + g = b, 3*b + s - 63 = 83. Is b a multiple of 13?
False
Let p = 44 + -8. Does 14 divide p?
False
Let j be (-6)/8*6*2. Let c be (-3 + (-33)/j)*-57. Let a = 0 - c. Is a a multiple of 12?
False
Let w(b) = -7*b + 11. Let o be w(-10). Let k = o + -45. Is k a multiple of 19?
False
Let x(g) be the first derivative of 6*g + 2 - 5/2*g**2. Is 18 a factor of x(-6)?
True
Let m be 1 + 2 + 1 + 0. Let v(n) = 2*n - 4. Let b be v(m). Let f(p) = -p**3 + 3*p**2 + 7*p - 5. Does 4 divide f(b)?
False
Suppose 1 = 2*g - 9. Is (2/(-1))/((-2)/g) even?
False
Suppose 0 = -7*g + 2*g + 165. Suppose 0 = -f - 2*f - g. Let m = -6 - f. Is m a multiple of 3?
False
Let l(v) = -v**3 + v**2 - v + 35. Let m be l(0). Suppose w + m = -4*w. Does 16 divide w/7*5*-6?
False
Let l be 6/(-10) + 840/25. Let t = l + -23. Is 10 a factor of t?
True
Suppose 9*s = 13*s - 164. Does 3 divide s?
False
Let a(o) = -o**3 + 6*o**2 + o - 2. Let j be a(6). Suppose g = j*z - 4, 5*g - 2*g + 2*z = 2. Does 17 divide (2 + g)/((-2)/(-17))?
True
Suppose 2 + 4 = -2*v. Let c be -5*(v/15 + 1). Does 4 divide c/10 - 94/(-10)?
False
Let x be -3*(-1 + 69/(-9)). Suppose 3*z - x - 82 = 0. Does 19 divide z?
False
Let h be (-4)/(8/(-14)) - 3. Suppose n + h = -3*s + 80, -5*n = 10. Does 13 divide s?
True
Let a(l) = 5*l - 5. Let s be a(-15). Let c = -49 - s. Is c a multiple of 14?
False
Suppose 4*d + 0*d - 225 = z, 0 = 4*d - 5*z - 213. Suppose d = 3*c - u, -2*u = -3*c + c + 38. Let n = c - 0. Is 10 a factor of n?
False
Suppose h = 3*h - 16. Does 23 divide (114/h)/(2/8)?
False
Let v be (3 - -10) + (0 - -1). Suppose -3*i + 94 = -v. Is 10 a factor of i?
False
Does 2 divide (3*(-46)/(-6))/1?
False
Let w(q) be the third derivative of q**5/30 + 5*q**4/24 + 3*q**2. Is w(-4) a multiple of 8?
False
Let m = -25 - -28. Suppose -7*k + 168 = -m*k. Is 21 a factor of k?
True
Suppose -3*x + 2*x = 6. Let u(p) be the first derivative of p**3/3 + 5*p**2/2 + 6*p - 1. Does 12 divide u(x)?
True
Let o(q) = 2*q**3 - 2*q**2 + 1. Suppose l - 5 = -3. Is 7 a factor of o(l)?
False
Let y(w) = 2*w**3 - 8*w**2 + 11*w - 1. Does 26 divide y(5)?
True
Let i(k) = -k**3 - 3*k**2 - 5*k + 25. Is i(-8) a multiple of 55?
True
Let t be -2 - 9/3*-1. Suppose -r - 2 = 2*h - 4*h, 2*r + 3*h = 24. Is 3 a factor of r/(t - 3)*-1?
True
Let m(s) = -2*s + 4. Let w be m(13). Let l = -13 - w. Is l even?
False
Let l = 27 - 10. Is 4 a factor of l?
False
Suppose 5*a + 5*i = 5, -a - 2*a - 4*i - 1 = 0. Suppose -a*k = -7 + 2. Let m(c) = 30*c**2 - c + 1. Is 15 a factor of m(k)?
True
Let x = -22 + 39. Suppose 0 = 2*s - x + 7. Does 3 divide s?
False
Suppose 43 = 2*o - 13. Let n = o + -4. Suppose 0 = -5*i + k + 60, 3*i - i = -5*k + n. Is 12 a factor of i?
True
Let y(f) = 4*f**3 - 6*f**2 - 2*f - 6. Let j(g) = g**2 + 1. Let s(i) = -6*j(i) - y(i). Does 14 divide s(-2)?
True
Let p(c) = -11*c - 7. Let b be (1 - 6) + 0/(-2). Let f be p(b). Suppose h = -3*h + f. Is 12 a factor of h?
True
Let v(d) = -4*d**3 + d**2 + 3. Let k be v(-3). Suppose 6*l - k = l. Suppose -r = 5*m - 38, 2*r - 5*m = -2*m + l. Is r a multiple of 9?
True
Let q be (-7)/((-1)/(-2 - -1)). Is 18 a factor of (-5)/(-2)*q*-2?
False
Suppose -5*i + 17 = -2*b + b, 2*i = 8. Suppose -b*z = 5*r - 152, -4*z - r = -78 - 119. Let m = z + -32. Is 11 a factor of m?
False
Suppose -5 = -0*u - u. Let c(y) = -y - 3*y + 3 + u*y. Does 3 divide c(0)?
True
Let l be 12/3 + 0/(-3). Does 9 divide (-12)/10*(-90)/l?
True
Suppose 0 = 3*m - 0*t + t - 410, 408 = 3*m + 3*t. Let h = -95 + m. Is h a multiple of 14?
True
Suppose 0 = -2*y - 6 - 10. Let w(k) = -k**2 - 8*k + 9. Is w(y) a multiple of 9?
True
Suppose -3*z - f + 36 = 0, 0*z + 1 = z + 4*f. Is z a multiple of 13?
True
Suppose -4*t + 2 = 6, -o = -4*t - 31. Suppose 0 = -2*f + f + o. Does 9 divide f?
True
Suppose 5*x + j - 252 = 0, 3*j = -2 + 8. Does 25 divide x?
True
Let k(g) = 4*g**2 - 5*g. Does 6 divide k(3)?
False
Suppose 5*y - 4*q = 95, -5*y - 6*q = -q - 95. Does 4 divide y?
False
Is 3 a factor of 153/5 - (-14)/35?
False
Suppose 10 = -5*x, 3*k - 137 = 2*x + 47. Is 15 a factor of k?
True
Let w(i) = -i**3 + i - 2. Let c be w(0). Let r = 27 + 0. Let o = r - c. Does 18 divide o?
False
Suppose 10*t - 211 - 989 = 0. Does 12 divide t?
True
Let r = -18 - -31. Is 5 a factor of r?
False
Let h be (-42)/(-4)*(-1 + 3). Suppose -17*k + h*k = 160. Does 11 divide k?
False
Let d be 4 - (3 + -3 - 3). Let i(l) = l**3 - 6*l**2 - 2*l - 7. Let h be i(d). Let o = h - 14. Is o a multiple of 7?
True
Let b(d) = d. Let t(u) = 21*u. Let p(r) = 2*b(r) - t(r). Let w(i) = i**3 - 8*i**2 + 8*i - 8. Let l be w(7). Is p(l) a multiple of 19?
True
Suppose 4*a - 160 = -0*a + 2*w, 0 = -5*w + 10. Is 22 a factor of a?
False
Let w(a) = -a**2 - 10*a. Let x be w(-11). Let p(s) = s**3 + 13*s**2 + 16*s + 16. Is p(x) a multiple of 22?
False
Let h(a) be the third derivative of a**6/120 - a**5/20 - 5*a**4/24 + a**3/3 - a**2. Let p be h(5). Let k = p - 18. Is 9 a factor of k?
True
Let g = 61 - 16. Does 9 divide g?
True
Suppose 73 + 179 = 3*n. Is n a multiple of 21?
True
Let j = -4 + 13. Suppose -j = -3*f, 36 = 2*w + 4*f + 2. Is w a multiple of 5?
False
Let j = 19 + -17. Suppose j*s = -3*s + 70. Does 14 divide s?
True
Let l be 3/2 + 15/(-10). Does 15 divide 3 - (18/(-1) + l)?
False
Let a = -58 + 202. Is a a multiple of 25?
False
Suppose -5 - 7 = -f - 3*s, -4*f + 3*s + 78 = 0. Does 14 divide f?
False
Let h(z) = -9*z - 2. Let l be h(-2). Suppose 2*u = -a - 0*u + 12, -a - l = -5*u. Is 2 a factor of a?
True
Is (-6)/4 + (-83)/(-2) a multiple of 20?
True
Suppose 2*r - 2*h = 46, 4*h = -5*r - 36 + 160. Is 8 a factor of r?
True
Let g(u) = -u**2 - 6*u - 5. Let t be g(-4). Suppose -x - 2*j + t = 0, 0*j = -3*x + j - 5. Is x/((-2 - -3)/(-19)) a multiple of 15?
False
Let g = -41 - -61. Is g a multiple of 4?
True
Suppose 2*z = 7*z - 15. Let t = -4 + z. Let p = 22 + t. Does 11 divide p?
False
Let j = 192 + -85. Suppose -3*y + j + 148 = -3*t, 0 = -y + 3*t + 77. Suppose 5*r + 2*a - y = 0, -2*r + 3*a = -5 - 42. Is 15 a factor of r?
False
Let b = -288 + 405. Is b a multiple of 16?
False
Let s(y) = 2*y + 1. Let h be s(2). Is 9 a factor of -5*(-1 - 7/h)?
False
Let p = 12 - 8. Suppose -2*m + 7 + 14 = 5*z, p*m - 15 = -z. Suppose -m*o - 1 + 31 = 0. Is 10 a factor of o?
True
Is 14/(-63) + (-920)/(-9) a multiple of 23?
False
Suppose -15 = -3*l - 2*i, 2*l + l + 3*i - 18 = 0. Suppose 0 = -l*s - s + 88. Is s a multiple of 11?
True
Let o = -4 + 106. Is o a multiple of 17?
True
Suppose -t + 17 = -2*n, 2*t - 39 = -t + 2*n. Suppose 1 = x, -35 = -2*p - 2*x - t. Is 8 a factor of p?
False
Let f(h) = -9*h - 2. Let c be (-3)/(-5 + 4)*-1. Is f(c) a multiple of 7?
False
Let a = -1 - -9. Let t be 10 - (-1*2 + 0). Suppose -j + t = -a. Is j a multiple of 10?
True
Suppose -g - 5 = 3*q, -3*g - 15 = -q - 3*q. Suppose q = -0*o - o. Suppose 5*f - 125 = x, -3*f - 2*x + 0*x + 62 = o. Is 12 a factor of f?
True
Let i(v) = -v + 1. Let g(q) = q**3 - 11*q**2 + 10*q - 6. Let a be g(10). Let y be a/15 - (-18)/(-5). Is i(y) a multiple of 2?
False
Suppose -3*p = -0*p + 54. Let k be ((-1)/3)/(2/p). Suppose 0 = -k*m - 2*t - 2*t + 1, 0 = -t - 2. Is m a multiple of 3?
True
Suppose -42 - 350 = -4*n. Does 14 divide n?
True
Let b(r) = -36*r + 50. Does 11 divide b(-5)?
False
Let l = 53 + -35. Let q be 1*3*30/l. Suppose 0 = -0*u - q*u + 85. Is 17 a factor of u?
True
Let u be 2 - 2/(4/38). Let p = u - -10. Does 11 divide (-156)/p - (-2)/(-7)?
True
Let w(d) = -d**2 - 6*d + 12. Does 4 divide w(-7)?
False
Suppose 4*u = -3*v - 16, 2*v + 0*v = -4*u - 12. Let m(o) = -o**3 - 3*o**2 + 4*o - 1. Let i be m(v). Is 202/10 + i/5 a multiple of 10?
True
Let r = 9 + -6. Let c(n) = 2*n + 1. Is 4 a factor of c(r)?
False
Let