k(r) = r**3 + 6*r**2 - 6*r + 10. Let w be k(-7). Is z(w) a multiple of 2?
False
Suppose 0 = -4*k + k + 195. Suppose -3*x + d = -d - k, 4*d = 2*x - 46. Is 7 a factor of x?
True
Let s = 25 - 37. Let i = s - -6. Is 8 a factor of (-64)/(-6) - 2/i?
False
Let g(i) = 5*i - 7. Let p be g(7). Let f = p + 15. Is 20 a factor of f?
False
Suppose -15 = -3*z - 5*c + 9, -5*c = -15. Suppose 18 - 196 = -z*g + 4*o, 0 = -3*g + 5*o + 176. Is g a multiple of 20?
False
Suppose -12*k = -10*k - 36. Is 9 a factor of k?
True
Let z(n) = 2*n**2 - 3*n + 2. Let j be z(2). Let p = 1 + j. Suppose 3*t + 104 = 5*a, -p*a + 61 = -a + 5*t. Is 19 a factor of a?
True
Suppose -4*m - 920 = -5*y, -4*y - 2*m + 700 = 2*m. Is 30 a factor of y?
True
Suppose 9 = 5*w - 1, -j = -3*w - 52. Let s = j - 32. Is s a multiple of 13?
True
Let h = 1 - 0. Suppose 0 = 3*a - h - 5. Suppose -4 = -g - a. Is 2 a factor of g?
True
Suppose -5*r - 31 - 794 = 0. Is 2/3*r/(-10) a multiple of 4?
False
Suppose 2 = 2*g - 2. Suppose -5*c + g*c = -12. Suppose 5*l = 4*d + 140, 0*l + 4*l = c*d + 116. Does 12 divide l?
True
Let k(s) = 3*s**2 + 8*s + 5. Does 13 divide k(-6)?
True
Suppose 0 = 3*x - 5*c - 29, -3*x - 5*c + c - 7 = 0. Let i be (-13)/(1/(1 - x)). Suppose -2*s - i = -3*s. Does 13 divide s?
True
Let f = 46 - -19. Is f a multiple of 5?
True
Let w(y) = -y**3 - 9*y**2 - 4*y. Is 28 a factor of w(-10)?
True
Suppose 4*b = 7*b - 3. Let i be 1*(0 + b - 5). Is (-103)/i - 7/(-28) a multiple of 12?
False
Let s(q) = -q**2 - 12*q + 1. Suppose 12 = 4*c, -c = -5*w - 6*c - 40. Does 4 divide s(w)?
True
Let v be (-1 + 2 + -5)*-1. Suppose -w + v = -2*w. Does 15 divide 1/w - 543/(-12)?
True
Does 15 divide 40/(-1)*(-9)/3?
True
Let u = -5 + 2. Let k(h) be the second derivative of h**5/20 + 5*h**4/12 + 2*h**3/3 + h**2 + h. Does 4 divide k(u)?
True
Let l be 2/7 + 82/7. Suppose 11*m + 0*m + 22 = 0. Is m/8 - (-123)/l a multiple of 5?
True
Let p be ((-9)/(-3))/((-2)/(-4)). Suppose 2*b - 2 = k + 2, 3*k - 6 = -3*b. Suppose b*y = 3*w - p, y + 4*y - 19 = -w. Is 2 a factor of y?
False
Let a(j) = 2*j**2 - j + 48. Is 28 a factor of a(0)?
False
Does 32 divide 1/((-12)/(-128))*(10 - 1)?
True
Let x be -1 + (3 - 2) - -4. Suppose 4*g + x*d = 9 + 31, -2*g + 8 = -2*d. Does 2 divide g?
False
Let z(y) = y**3 + 8*y**2 + 7*y + 9. Let m be (-4)/(-5)*(-10)/(-4). Suppose 0*h = m*h + 14. Does 6 divide z(h)?
False
Let x be (0 + -4 - 0) + 0. Is 5 a factor of x/(-14) - 384/(-28)?
False
Suppose -6*d = -2*d - 5*u + 215, 2*d + 5*u = -145. Let t be d/(-8)*(-4)/(-6). Suppose 0 = -t*o + 20, -o - 1 = g - 9. Is g a multiple of 3?
False
Let n(i) = 8*i. Let d be n(-1). Let c be 5/(-15) + (-120)/(-9). Let a = c + d. Is a a multiple of 4?
False
Suppose 2*w - 4*w + p = -68, 0 = -w + 2*p + 37. Is w a multiple of 13?
False
Suppose 4*o - 6*o = -5*m - 4, 0 = o - 3*m - 2. Let v(f) be the third derivative of f**5/30 - f**3/3 + 2*f**2. Is 6 a factor of v(o)?
True
Suppose -10 = -4*a + 2*j, -5*a + 2*j + 17 = j. Suppose -a*r = -74 - 78. Is r a multiple of 19?
True
Let m be (-2)/(-4) - 5/(-2). Let j = 39 - m. Is (j/(2/2))/1 a multiple of 15?
False
Let g(b) = -b + 5. Let x be g(-12). Let w = 33 - x. Is w a multiple of 16?
True
Is ((-16)/(-5))/(12/120) a multiple of 13?
False
Let v(t) = t**2 + 3*t + 3. Let y be v(-4). Suppose 0 = -y*c + 5*c + 228. Suppose -i - 2*i = -c. Is i a multiple of 19?
True
Let b be 2/8 - (-115)/20. Does 13 divide 81/b + 3/(-6)?
True
Let j(y) = -y**3 + 4*y**2 - y. Let q be j(3). Suppose 0 = 2*p + p - q. Suppose -p*t - 66 = -4*t. Is 27 a factor of t?
False
Let c = -74 - -146. Is c a multiple of 18?
True
Suppose -3*s = -2*h - h + 201, -h = -3*s - 63. Is 20 a factor of h?
False
Let t(l) = -l**2 - 5*l + 7. Let s be t(-5). Let b(x) = -x**2 + 8*x - 8. Let a be b(s). Let f(c) = -12*c - 1. Is f(a) a multiple of 6?
False
Let d(k) = -18 + 4 - 8*k + 4. Is d(-6) a multiple of 15?
False
Let n = 6 + 14. Is n a multiple of 4?
True
Suppose 79 + 169 = 2*h. Suppose 3*b = -b + h. Does 20 divide b?
False
Let b = 2 - -2. Suppose -2 = f - b. Suppose 39 = 3*z + m + f*m, -4*z + 53 = 3*m. Does 10 divide z?
False
Let a be (3/2)/(6/16). Let k(b) = -4*b**2 + 3*b**2 + b + b**3 - 3 + 0*b**2 - 2*b**2. Does 12 divide k(a)?
False
Let w be 1/(-5)*-3*5. Let u(v) = 2*v**2 + 0 + v**w + 0 + 0*v - 2*v. Does 10 divide u(2)?
False
Suppose 2*l + 126 = 4*l. Does 9 divide l?
True
Let d = 7 - 5. Suppose -4*c + 83 = d*m - c, 5 = -5*c. Does 12 divide m?
False
Let n(m) = -m**2 - 4*m + 7. Let f be n(-5). Suppose -66 = -4*t + f*t. Is t a multiple of 12?
False
Let k be 3 + (-1 + 2)*-1. Suppose 0 = -3*g - k*x - 0*x + 29, 3*g - 17 = x. Does 7 divide g?
True
Suppose j + 2*b - 424 = 0, j - 295 = 5*b + 108. Does 39 divide j?
False
Let p = 4 + -3. Let c = 1 + p. Suppose c*a + 60 = 7*a. Does 7 divide a?
False
Let b = -16 - -8. Let d = b + 16. Is d a multiple of 3?
False
Suppose 10 = 2*s + 32. Let v(i) = -i**2 - 11*i + 3. Is v(s) a multiple of 2?
False
Let f(q) = q**2 + 5*q - 1. Let c be f(-6). Suppose -c*s + 0 = -4*i + 16, 0 = -2*s. Suppose -163 = -7*m + 3*m - k, -i*m - 3*k + 169 = 0. Does 21 divide m?
False
Suppose -5*u = 4*v - 2*u - 20, -5*v - 4*u = -25. Suppose -2*m - 31 = -0*m - 3*a, a + 69 = -v*m. Let s = -6 - m. Does 4 divide s?
True
Let d = 6 + -1. Suppose -4*y - d = y. Is (-1015)/(-21) + y/3 a multiple of 17?
False
Let z(i) = 2*i**2 - 4*i + 2. Does 16 divide z(5)?
True
Let t(k) = -k**2 + 14*k + 13. Suppose s = -3*s + 48. Is t(s) a multiple of 11?
False
Let g(f) = -4 - 2 + 1 + 1 + 2*f. Does 6 divide g(8)?
True
Let l be ((-4)/(-5))/(4/10). Suppose 0 = l*d - 2 - 6. Is d a multiple of 4?
True
Let k = 8 + 6. Is k a multiple of 14?
True
Let g(w) = -2*w**3 - 2*w**2 + 2*w. Is g(-3) a multiple of 30?
True
Let q be 2 - (1 - (2 - 1)). Suppose -3*c + q*c + 15 = 0. Is 15 a factor of c?
True
Let d(c) be the third derivative of -c**5/60 - c**4/24 + 25*c**3/6 - 3*c**2. Let r be d(0). Suppose -g + 8 = u, 4*u - 6 = -5*g + r. Does 4 divide u?
False
Suppose -7*z + 702 = -4*z. Does 26 divide z?
True
Suppose 53 = 5*d - 177. Is d a multiple of 14?
False
Let v = -13 - -41. Is v a multiple of 28?
True
Suppose 5*d + 25 = -2*n, -n - 8*d + 3*d - 25 = 0. Suppose n = -5*v + 58 + 2. Does 3 divide ((-21)/v)/((-2)/8)?
False
Is (-1 - 3/1)*-30 a multiple of 8?
True
Let y(j) = 56*j**2 + 1. Let m be y(-1). Let f be 36 - (-1 + (3 - 2)). Let u = m - f. Is 12 a factor of u?
False
Let c(f) = 11*f**2 + f**3 + 10*f - 7 + 6 - 2*f + 11. Let s be (-2)/(-5) + 52/(-5). Is c(s) a multiple of 10?
True
Let s = 90 - 0. Is 9 a factor of s?
True
Let t = -1 - -5. Let v be 2/t*-2 + 18. Suppose 2*w - 11 - v = 4*n, 29 = 4*w + n. Is 3 a factor of w?
False
Suppose -5*d + 18 = -m - 78, 5*m = d. Does 12 divide d?
False
Suppose 2*u + 0*y + 3*y = -5, 0 = u + y + 1. Suppose 4*s + u*p = 20, 9 = s - 2*s + 3*p. Suppose s*n - 29 = 25. Is 18 a factor of n?
True
Let b(k) = -280*k - 8. Does 16 divide b(-1)?
True
Let f = -1 + 51. Does 10 divide f?
True
Suppose -n + 3*g + 267 = 2*n, 164 = 2*n + 5*g. Is 23 a factor of n?
False
Suppose -2*x - 3*l = 1, -3*x - 3*l = l. Let y(z) = 2*z**2 + 1. Is 11 a factor of y(x)?
True
Suppose -4*k = -4*r - 268, 4*k - r = -5*r + 236. Is 15 a factor of k?
False
Let u = 626 + -126. Is 50 a factor of u?
True
Does 11 divide (106/4)/(13/26)?
False
Suppose 88 = 4*w - 3*w + 4*j, 0 = 2*w + 2*j - 170. Is w a multiple of 42?
True
Let j = -4 - -6. Let f(b) = -7*b**j - 3 + 6*b**2 + 2*b - 5*b + 3*b**2. Is f(5) a multiple of 16?
True
Let w be (-2)/11 - 93/33. Is 15 a factor of -2 - 1 - (-47 - w)?
False
Let y be ((-18)/5)/((-2)/(-10)). Let w = y - -78. Does 11 divide w?
False
Suppose 4*b + 8 = 0, 5*v - 23 = b + 39. Does 6 divide v?
True
Suppose 0*i + i = -3. Let j = 0 - i. Does 2 divide j?
False
Let w(p) = 2*p**3 + 2*p**2 - 4*p + 4. Is 4 a factor of w(2)?
True
Let j(o) = o**3 - 4*o**2 + 3*o. Let p(x) = x**2 - 8*x + 9. Let t be p(7). Suppose -3*n = -t - 10. Does 12 divide j(n)?
True
Suppose -5*c + 5 = -15. Let a be (-3)/(-1) - (-1 - -2). Suppose 5*p = -c*m + 202, -146 = -4*p + a*m - 0*m. Is p a multiple of 19?
True
Suppose 0 = -2*r - 2*r + 20. Suppose 175 = r*g - 5*o - 40, g + 2*o - 58 = 0. Does 12 divide g?
True
Is 8 a factor of (4/(-10) - 0)*(-81 + -19)?
True
Let a(c) = -c + 9. Let v = -18 - -7. Let u be a(v). Let w = 44 - u. Is w a multiple of 24?
True
Let g(f)