ple of 22?
False
Let m = -6 - -9. Suppose -4*i - 59 = -3*y, -i - m*i - 72 = -4*y. Suppose 2*f - 5*w + y - 71 = 0, f + 4*w - 3 = 0. Is f a multiple of 13?
False
Let p(u) = 9*u - 4 + 2 + u. Let s be p(10). Suppose -4 = -3*w + s. Is w a multiple of 15?
False
Suppose 0*z = 3*l - 2*z + 110, 0 = 5*l + 3*z + 158. Let r = -11 - l. Is 18 a factor of r?
False
Let w = -12 - -51. Is w a multiple of 7?
False
Let r be (-32)/20*1*-5. Let v = r + -24. Let q = v + 34. Does 12 divide q?
False
Let k(f) = -23*f**3 - f**2 + 2*f - 1. Is k(-2) a multiple of 20?
False
Suppose -48 = -2*i - i. Let f = 34 - i. Is 9 a factor of f?
True
Let p = 0 + -5. Let w = p + 9. Let i(q) = -q**3 + 6*q**2 - 6*q + 4. Is i(w) a multiple of 12?
True
Let n = -5 - -9. Let c(q) = -q**3 + 7*q**2 - 5*q - 4. Let d be c(n). Suppose -i + d = i. Is 12 a factor of i?
True
Suppose -3*b + 195 = -3*s, 4*b + 2*s - 266 = -0*b. Is b a multiple of 27?
False
Let v be -1 + -1 + 5 + -7. Let b(u) = u**3 + u**2 - 6*u - 1. Let r be b(v). Let q = 40 + r. Does 5 divide q?
True
Suppose y - v - 79 = 3*y, -5*v = -2*y - 49. Let p be (-4)/(8/10) - -2. Does 6 divide y/p + 2/(-6)?
True
Let z be 210*((-9)/(-6) + -1). Suppose v - 6*v = -z. Does 7 divide v?
True
Let j(o) = 10*o**2 - 9*o - 19. Does 33 divide j(-4)?
False
Let c(i) = -9*i**3 - 2*i - 1. Suppose -s = 1, -q - 6 = -s + 6*s. Is 5 a factor of c(q)?
True
Let v(m) = 6*m**2 + 5*m + 4. Let y be v(-4). Suppose 2*u - y = 8. Is 23 a factor of u?
False
Let j(v) = -8*v + 7. Let c be j(4). Let z = -16 - c. Does 2 divide z?
False
Let z(a) = 3*a**3 + 3*a**2 - 4*a - 4. Let v(p) = 4*p**3 + 2*p**2 - 3*p - 3. Let j(i) = 2*v(i) - 3*z(i). Is j(-6) a multiple of 3?
True
Is -2*(-3 + (33/6)/(-1)) a multiple of 17?
True
Suppose 0 = 4*q - p + 127, 5*q - 64 + 227 = -3*p. Let d = 3 - q. Is 9 a factor of d?
False
Suppose 2*v - 349 = -5*z, 10*v - 5*v - 3*z = 857. Is 45 a factor of v?
False
Let z be 4 - (6 + (0 - 3)). Suppose -40 = -u - z. Does 13 divide u?
True
Let q(a) = 11*a - 13. Does 5 divide q(3)?
True
Let q(p) = p**2 - 12*p + 10. Is q(13) a multiple of 23?
True
Let v = -3 + 5. Let c(n) = n**3 - n**2 - 5*n + 0*n**2 - 6*n**v - 11. Is 13 a factor of c(8)?
True
Let k(m) = -13*m + 3. Does 7 divide k(-3)?
True
Let f be (-1 - 2)/(15/(-70)). Let z = 19 - f. Is 5 a factor of z?
True
Let d(c) = 5*c**2 + 10*c + 9. Let n(k) = 11*k**2 + 21*k + 19. Let v(l) = -13*d(l) + 6*n(l). Does 4 divide v(6)?
False
Let b = 9 - 0. Is b a multiple of 9?
True
Let y(w) = -2*w - 2. Let g be y(-2). Suppose -g*s - 40 = -4*s. Does 10 divide s?
True
Let q(f) = -f**3 + 7*f**2 + 10*f - 11. Let k be q(8). Suppose k*c - 235 = -5. Is 22 a factor of c?
False
Suppose 101 = 2*w - 43. Is 12 a factor of w?
True
Suppose -d = 3*v + 26, -3*d - 5*v - 20 = 38. Does 22 divide d/2*(3 + -11)?
True
Let i be (6/(-12))/((-1)/12). Let r = 10 - i. Suppose -3*k - 36 = -r*f, -3*k - k - 22 = -f. Does 3 divide f?
True
Let z = -4 - -9. Suppose -4 = -z*u + 11. Suppose -2*d = f - 39, -f - 91 = -u*d - 25. Is 7 a factor of d?
True
Suppose 0 = -3*r + a + 194, 161 = 4*r - 4*a - 95. Does 13 divide r?
True
Let m(l) = 3*l**2 - 7*l. Does 22 divide m(6)?
True
Let f = 195 - -297. Does 29 divide f?
False
Suppose 0 = -3*c - 0 + 6. Suppose -54 = -4*w + c*w. Does 9 divide w?
True
Let v(l) = 2*l**2 - 2*l - 1. Let s be v(2). Let t be ((-1)/2)/((-3)/240). Suppose 0 = -s*q + q + t. Is 10 a factor of q?
True
Let c(z) = -2*z**3 + z**3 + 2 - 10 + 3*z**2 + 3*z**2 + 11*z. Does 17 divide c(7)?
False
Let f = -25 - -29. Is 4 a factor of f?
True
Suppose o - 292 = -3*o. Is o/4 + (-3)/12 a multiple of 10?
False
Suppose 5*y - y = 204. Let g = -3 + 5. Suppose -g*k = -k - y. Is 19 a factor of k?
False
Suppose 8*g + 30 = 3*g. Let i = -2 - g. Suppose -p = -i*k + 13, 4*k - 9 = -2*p + 1. Does 3 divide k?
True
Let k(s) = -5*s + 8. Is k(-20) a multiple of 36?
True
Suppose -5*o - i - 384 = -936, -4*o + 5*i = -430. Is 34 a factor of o?
False
Suppose 3*x = 9 + 3. Suppose 5*l - x*l = -5*k + 53, 0 = -3*k + 5*l + 43. Is 5 a factor of k?
False
Suppose 0 = -3*j + 5*j - 488. Is j a multiple of 38?
False
Is 6 a factor of (-208)/(-20) + 2/(-5)?
False
Let d = 4 - -1. Suppose o + 3 = 0, 3*j - d - 118 = -o. Does 14 divide j?
True
Suppose -4*x = -5*f + 7, 2*x + 5*f = -3*x + 25. Suppose 47 = 4*i - 5*v, x*i + 5*v = -2*i + 17. Is 4 a factor of i?
True
Let q = 29 + -19. Let y = 1 + q. Is y a multiple of 8?
False
Let x = 144 + -68. Suppose 0 = 3*a - m - x, 0 = 3*a - 0*m + 5*m - 52. Is 9 a factor of a?
False
Let l = -10 - -9. Let n = 1 - l. Suppose 0 = -3*q - 9, 3*h - n*h - 52 = 4*q. Is h a multiple of 22?
False
Let o(t) = 22*t - 31. Does 41 divide o(7)?
True
Let o(q) = 5*q - 8*q - 8*q**2 - 8 - 6*q - q**3. Is 3 a factor of o(-7)?
True
Let o(x) = x + 1. Let w be o(2). Suppose 0*s = -c + w*s + 29, 3*c - 2*s - 66 = 0. Is c a multiple of 7?
False
Let v = -6 - -10. Suppose -2*m = -34 + v. Is m a multiple of 15?
True
Let k be (-6)/(-2) + (-1)/(-1). Suppose v + 45 = 6*v + 3*y, k*v - 2*y = 14. Is 11 a factor of (v/4)/(15/220)?
True
Suppose -5*n - 576 = -2*v - 10*n, v - 285 = -n. Is 25 a factor of v?
False
Let u(k) = k**2 - 12*k + 5. Let w be u(11). Let a(d) = 11*d**2 - 7*d + 1. Let o(f) = -5*f**2 + 3*f - 1. Let t(m) = -4*a(m) - 9*o(m). Is 13 a factor of t(w)?
False
Suppose v = 5*h - 3*v - 35, h = 4*v + 7. Let i(f) = f**3 - 6*f**2 - 4*f - 9. Is 6 a factor of i(h)?
True
Does 21 divide (-4 + 1)*640/(-30)?
False
Let k = 28 + -17. Is k a multiple of 3?
False
Let p be (-14)/4*4/(-7). Let k = p - -1. Does 6 divide 4 + k + (2 - 2)?
False
Suppose 12 + 13 = 5*z. Let x = -9 + z. Let i = x + 9. Is i a multiple of 4?
False
Let g be 2 + -15 + (2 - 3). Is g*(2 + 27/(-6)) a multiple of 10?
False
Let d be (-400)/(-18) + 8/(-36). Suppose 3*u - d = 56. Does 16 divide u?
False
Let t = -145 - -229. Is 28 a factor of t?
True
Suppose -3*s - 2 = -80. Let u(c) = -c**3 + 5*c**2 + 7*c + 8. Let q be u(6). Let h = s - q. Is 5 a factor of h?
False
Is 164/12 + 32/24 a multiple of 11?
False
Suppose 2*l = 26 - 2. Suppose 0 = -2*b + l + 16. Is 7 a factor of b?
True
Let w(q) be the third derivative of -q**5/60 - 5*q**4/24 + 4*q**3/3 + 3*q**2. Let n be w(-6). Suppose -4*o + 8 = n*s, -5*o - 3*s + 4 = -o. Is o a multiple of 4?
True
Let s be (-10)/(-20)*(2 + 0). Is 15/6*(s + 11) a multiple of 15?
True
Let k = 13 + 10. Is k a multiple of 9?
False
Let t(s) = 2*s**3 + 2*s**2 - s. Let r be t(-2). Is 8 a factor of (2/r)/(16/(-2640))?
False
Let q(s) = 4*s**2 + 2*s - 2. Does 13 divide q(4)?
False
Let v(r) = r + 7. Is 6 a factor of v(7)?
False
Let z(c) = -c**3 - 7*c**2 - 7*c - 4. Let m be z(-6). Let h(s) = -s**3 - s**2. Let t be h(1). Does 3 divide (1 - (m + 5))/t?
True
Suppose 3*p + 89 = z, -3*p + 5 = 2*p. Suppose -z = -3*q + 52. Is 13 a factor of q?
False
Let o be (-2)/(-7) + 5538/21. Suppose 0 = 4*q, -7*h + 3*h + o = 4*q. Is h a multiple of 24?
False
Let p(x) = -x**3 - 6*x**2 - 4*x + 2. Let o be p(-5). Is 5 - o*6/9 a multiple of 6?
False
Suppose -11 = -j - r - 3, -5*j + 4 = -4*r. Does 15 divide (15/j)/(3/36)?
True
Let m(r) = 7*r**2 - 3*r + 10. Let w be m(4). Suppose -4*v - o = -w, 0*o = 4*v - 4*o - 120. Is v a multiple of 7?
True
Let v = 3 - -13. Does 4 divide v?
True
Let q = -5 + 7. Let g = 16 + q. Is 13 a factor of g?
False
Let m be -1 - -3*(-12)/9. Let w = 7 + m. Suppose -30 = -0*c - w*c. Is 15 a factor of c?
True
Let n = -23 + 33. Let t be n*13 - (-3 + 2). Suppose 5*l - t = 94. Does 15 divide l?
True
Let p(w) = w**2 - 3*w - 7. Let o be p(4). Suppose -33 = -l - 2*l. Let t = o + l. Is t a multiple of 4?
True
Suppose -x + 126 = 39. Does 29 divide x?
True
Let w(r) = 12*r + 6. Let g be w(6). Let d be (2 - g)/((-1)/(-1)). Let l = -47 - d. Does 12 divide l?
False
Suppose 0 = 4*q - 8*q + 8. Is 7 a factor of (2 - 0)*21/q?
True
Let y(p) = -p**2 - 21*p - 32. Is y(-8) a multiple of 18?
True
Let y(c) be the first derivative of c**5/60 + c**3/6 - c**2 - 2. Let w(t) be the second derivative of y(t). Does 5 divide w(-2)?
True
Suppose 18 = h - 3. Is h a multiple of 3?
True
Suppose 52 = -d + 2*d. Let a = d + -31. Does 7 divide a?
True
Is 0 - 1 - (-20 - 2) a multiple of 21?
True
Let f(a) = -8*a**3 - 3*a**2 + a + 2. Let o be f(-2). Let i = o - 36. Is 14 a factor of i?
False
Suppose -5 - 5 = 5*f. Does 13 divide (-2464)/(-49) - f/(-7)?
False
Let r be (21/(-4))/((-9)/24)