 c - 5. Suppose -s*z - b + 6*b = -9, b = -1. Suppose 0 = -5*g + 3*v + 23, -z*v + 8 = 5*g - 35. Is g a multiple of 7?
True
Let k(d) = 5*d - 55. Is 6 a factor of k(14)?
False
Suppose -2*p = -5*p - 9. Let k(w) = 7*w**2 + 3*w. Is k(p) a multiple of 9?
True
Let p(r) = 4*r**3 - 4*r - 3. Let y be p(-1). Is 5 + (-78)/18 - 241/y a multiple of 11?
False
Let t = -455 + 491. Is 21 a factor of t?
False
Suppose 0 = -43*s + 43000 - 6192. Is s a multiple of 22?
False
Let p = 115 + -112. Suppose 5*t + p*x - 1471 = 0, 0*t - 897 = -3*t + 3*x. Is t a multiple of 15?
False
Let b(k) = k**2 - 6*k - 13. Let u(c) = -c**2 + 5*c - 1. Let r be u(3). Suppose r*a = -5*d + 45, 3*a + d - 10 = 17. Is 7 a factor of b(a)?
True
Let a(o) be the third derivative of -o**5/60 + 7*o**4/24 + 3*o**2. Let b be a(9). Does 30 divide 4/b - (-6860)/90?
False
Let d(l) = -l**3 + 5*l**2 + 8*l - 3. Let p be d(6). Let n(w) = 2*w**2 - 14*w + 9. Does 8 divide n(p)?
False
Let n = 364 + -168. Suppose -6*q = -4*q - n. Is 14 a factor of q?
True
Let w(p) = 115*p**2 - 4*p - 12. Is 40 a factor of w(-2)?
False
Suppose -2*b - 20 = f, -b = 4 - 1. Let m be (-385)/f + (-2)/4. Let l = m - 2. Is 15 a factor of l?
False
Let b(s) = -4*s - 92. Is b(-33) a multiple of 4?
True
Suppose 9*v = 5*v + 8. Suppose -k + 159 = 3*g - 106, v*g - 168 = -5*k. Is g a multiple of 13?
False
Let u be 3 - (4/(-1) + 7). Suppose u*f = f. Suppose f = 2*j - 80 + 12. Is 17 a factor of j?
True
Let w = 14 - 22. Does 2 divide (-98)/w + 2/(-8)?
True
Suppose 2*n - 298 = -3*r + 2*r, -3*n + 437 = -r. Is n a multiple of 8?
False
Let l be 21/3 - (0 - -5). Suppose 2*i - 35 = l*j - j, i + j - 25 = 0. Does 12 divide i?
False
Suppose 16 = -3*k + 4*k. Let u(d) = -d**3 + 15*d**2 + 18*d - 19. Is u(k) a multiple of 5?
False
Let i = -55 - -57. Suppose 5*y - 387 = i*m, -2*y = -3*y - 5*m + 72. Is y a multiple of 6?
False
Suppose 0 = 4*r - 20 - 0. Suppose 2*x - 8 = 7*m - 2*m, 0 = 5*m - 20. Suppose x = r*s - c - 17, -3 = -s + c. Does 6 divide s?
False
Suppose -5*y = -2*t - 82, -3*y + 5*t - 22 = -75. Is y a multiple of 4?
True
Let b(t) = -12*t - 11 - 7 + 25 - 1 + 8*t**2. Is b(6) a multiple of 31?
False
Is ((-399)/6)/(39/(-78)) a multiple of 11?
False
Suppose -3*v = -5*v + 4. Suppose 3*z + 16 = -v. Let n(a) = a**2 + 5*a - 2. Does 2 divide n(z)?
True
Suppose -458 = -q + 351. Suppose -6*w + 37 = -q. Let p = w + -72. Does 16 divide p?
False
Let v(k) = 5*k**2 + 8*k - 66. Is v(-14) a multiple of 23?
False
Let d(o) = -22*o + 284. Does 65 divide d(6)?
False
Let g(x) = -x**2 + 70 - 2*x + 3*x - 14. Suppose -2*o = -z - 4*z + 10, -z - 4*o - 20 = 0. Is g(z) a multiple of 14?
True
Let c(z) = -z**2 - z + 49. Let x be c(-7). Does 10 divide 4/(-14) + 261/x?
False
Suppose -5*g + 75 = y, -y + 5*g = 2*g - 51. Suppose -5*l = 40 + y. Is 17 a factor of (l/16)/(4/(-80))?
False
Let b = 667 - -858. Does 61 divide b?
True
Let v(y) = 51*y**2 - y - 3. Does 5 divide v(-2)?
False
Suppose -12*l + 6 = -9*l. Let t = 0 + l. Suppose -t*x - 3*x + 165 = 0. Is 11 a factor of x?
True
Suppose 214 = 2*w - 5*g, -5*w = 5*g - 292 - 313. Is 9 a factor of w?
True
Suppose 0 = -r - 5*i - 8 - 8, -4*r = 5*i + 4. Suppose -96 = -r*v + 3*v. Is 3 a factor of 2/(-3) + v/9?
False
Let h(k) = -2*k**3 - 6*k**2 + 5*k - 7. Suppose 0 = 5*t + s + 34, 2*s - 20 = 2*t + 4*s. Let f be h(t). Suppose -5*q + 376 + f = 0. Is 14 a factor of q?
False
Let y = -27 + 26. Let a(n) = -111*n - 1. Does 20 divide a(y)?
False
Suppose -17*x - 12495 = -34*x. Is 15 a factor of x?
True
Let i(b) = -7*b + 0*b - 2*b. Let o(k) = k**3 - 39*k**2 + 75*k - 43. Let s be o(37). Is 18 a factor of i(s)?
True
Let h = 29 - 41. Is 1*(1/6 + (-454)/h) a multiple of 5?
False
Let k be 4*1*9/18. Suppose -3*y = -k*y - 4. Suppose -y*b = q - 143, -5*q + 26 = b - 5. Is b a multiple of 13?
False
Let u = 2 + -2. Suppose u*n = -5*n. Suppose n = g + 2, -3*g = -a + 15 + 4. Does 13 divide a?
True
Is 3*2/(2 - -10)*1042 a multiple of 4?
False
Let y(m) = -2*m**3 - 28*m**2 - 15*m - 19. Is 17 a factor of y(-14)?
False
Let p(i) be the third derivative of i**5/15 - i**4/6 + 3*i**3/2 - 3*i**2. Let k be p(-7). Suppose 5*o - k = 62. Is 11 a factor of o?
False
Let u = -655 + 1231. Is 36 a factor of u?
True
Suppose 0 = -4*v + 2*l + 402, 2*l + 500 = 5*v - 0*v. Does 4 divide v?
False
Suppose -14*m + 11*m + 4*d = -119, m = 7*d + 34. Is m even?
False
Suppose -b + 51 = 7. Suppose 5*i + 10 = 4*j, 4*j = 2*i - 6*i - b. Does 19 divide (-20)/i*126/15?
False
Let y = 5204 - 2157. Does 22 divide y?
False
Let n(y) = 2*y**2 + 65*y + 18. Does 9 divide n(9)?
True
Let q(w) = 82*w + 518. Is q(29) a multiple of 59?
False
Let v = -166 + 169. Suppose -158 - 109 = -v*f. Is f a multiple of 35?
False
Suppose -2*b + l - 8 = 0, -2*b + 4*l - 24 = 2*b. Is (229/2)/(b/(-2 - 2)) a multiple of 26?
False
Let z(y) = -y**3 - 5*y**2 + 5*y - 2. Let c be z(-6). Is 9 a factor of (-46)/(-3)*6/c?
False
Suppose 5*w + 230 = 5*a, -2*a + w = -48 - 45. Suppose r - a = 2*k, -5*k + 29 - 73 = -r. Is 12 a factor of r?
False
Let p(d) = 2*d**2 - 2*d + 1. Let t be p(3). Let x = 4 - t. Let y(o) = 2*o**2 + 6*o - 20. Is 22 a factor of y(x)?
True
Let p(i) = 117*i**2 - 3*i + i**3 + 0*i**3 + 107*i**2 - 4 - 219*i**2. Let l = -13 - -8. Is p(l) a multiple of 3?
False
Let g(s) = -50*s**3 - s**2 - s - 1. Suppose -4*m + 2*m = 2. Is 11 a factor of g(m)?
False
Suppose 2*d = 3*d - 2*i, -d - 4*i = 0. Suppose 2*y - y - 5*f + 12 = d, -8 = -2*f. Is 3 a factor of y?
False
Let n be -7 + 9 + 214/(-2). Let s be (10/3)/((-7)/n). Let x = s - 28. Is 11 a factor of x?
True
Suppose 47*h - 37*h - 5060 = 0. Is h a multiple of 11?
True
Is (-741750)/(-1104) + (-1)/(-8) a multiple of 12?
True
Suppose -4*t = -2*u - 5*t + 85, 0 = 2*u + 3*t - 79. Suppose u = p + 3*p. Is 4 a factor of p?
False
Let g(z) = -z**2 + 13*z + 52. Is 32 a factor of g(12)?
True
Let r(a) = -86*a - 4. Is 10 a factor of r(-1)?
False
Let z(p) = -132*p - 98. Does 26 divide z(-10)?
True
Suppose 0 = 2*a + 15 - 49. Let h be -2*(3 - -3) - -7. Let t = a - h. Is t a multiple of 3?
False
Let o(k) = 7*k**2 - 11*k - 11*k**2 + 2 + 2*k**2. Is o(-5) a multiple of 7?
True
Let n(t) = 11*t**2 + 4*t + 2. Let x be n(-2). Suppose -c + 3*p = c - 80, -p - x = -c. Suppose -4*a = -122 - c. Is a a multiple of 13?
True
Let a(x) = x + 1. Let d(m) = 8*m + 32. Let f(n) = 16*a(n) - d(n). Is 4 a factor of f(6)?
True
Suppose -77*b + 5*b + 55296 = 0. Is 16 a factor of b?
True
Suppose -5*a = 5*p - 3945, 37*p + 5*a = 39*p - 1599. Is 12 a factor of p?
True
Let s(z) = -183*z**3 - 1. Let f(v) = v**2 + 4*v + 2. Let p be f(-3). Let r be s(p). Suppose r - 58 = 4*l + 4*a, a = 5*l - 143. Is l a multiple of 9?
False
Let p(o) = -o - 4. Let r be p(-4). Suppose -8*c + 39 = -4*c - j, -5*c + 49 = -j. Suppose r = -12*f + c*f + 34. Is 8 a factor of f?
False
Let i(r) = r**2 - 5*r - 2. Suppose -5*x = -5*d - 25, -4*d = 3*x - 2*x - 10. Let k be i(x). Let l = 26 + k. Is 6 a factor of l?
True
Let v(j) = 9*j**2 - 4*j + 4. Let t be v(-4). Let c = t - 94. Suppose -c = -q + 17. Is 17 a factor of q?
False
Suppose -5*l + 559 + 486 = 0. Is 20 a factor of l?
False
Suppose -45*x = -41*x - 84. Is 21 a factor of x?
True
Suppose 2*c + 0*c = -i - 770, -3100 = 4*i - 2*c. Let k = -553 - i. Is k a multiple of 44?
False
Let u = -555 + 1334. Is u a multiple of 41?
True
Suppose -g + 3*g - 62 = 0. Suppose 0 = -4*v + g + 257. Suppose -v = -a + d, -2*d - 10 = 3*d. Is a a multiple of 20?
False
Let i be 108/14 - (-8)/28. Let b be (-10)/40 - (-2)/i. Does 14 divide (1 - -29) + (-2 - b)?
True
Let x be (-21)/(-56) + (-5)/(-8). Let v be 2 - (1 - x) - 2. Suppose v = -5*p + 5*n + 335, 3*n = 2*p - 58 - 74. Is p a multiple of 20?
False
Suppose 3*b - 9 = -3. Suppose 2*d = x - 20, -4*x + 1 = b*d - 69. Suppose 0 = -t - 0*t + x. Does 5 divide t?
False
Let r = -3142 - -6674. Is 15 a factor of r?
False
Let p be (-7)/21*-3*75. Is 7 a factor of (-2)/15 - (-1510)/p?
False
Let l = 497 + -219. Let u = -120 + l. Is 14 a factor of u?
False
Let o(u) = -u**2 + 7*u + 2. Suppose -4*q = -11 - 13. Let i be o(q). Let w = -4 + i. Does 2 divide w?
True
Let b(o) = 5*o**2 - 4. Suppose -w = 3*w - 8. Suppose -3 = x, -w*x - 1 = 5*z - 5. Is b(z) a multiple of 5?
False
Let c be 3/9 + 85/15. Suppose -3*i = -c - 6. Suppose -i*g - 36 = -132. Does 8 divide g?
True
Suppose 6*m - 5*m + 8484 = 5*q, -q + 5*m + 1716 = 0. Does