 12*r + 43. Let k be a(8). Let z = 171 + k. Is 4 a factor of z?
False
Let f = 1487 - 577. Let k = f + -533. Is k a multiple of 16?
False
Suppose 78*i - 150*i + 80712 = 0. Is i a multiple of 19?
True
Let b = 680 - -8126. Does 32 divide b?
False
Suppose 5*i = -4193*o + 4196*o - 11525, -2*i = 2*o - 7646. Is 33 a factor of o?
False
Suppose -2*s + 10 = -0*s. Suppose -5*d - 37 = -5*o + 613, 4*o + 3*d - 548 = 0. Suppose -s = z, -z - 26 = -5*w + o. Is w a multiple of 19?
False
Let i be 1 - 10/6 - 304/(-6). Suppose i*w = 43*w + 2345. Is 17 a factor of w?
False
Let w = 36 + -32. Suppose 5*a + 3*l = -0*a + 44, 0 = 2*l + w. Does 9 divide 5/a*-2 + 63?
False
Let x = -622 - -656. Suppose -w = -c - 8, -3*w + 2*w - 2 = c. Suppose -38 = -w*a + x. Is 12 a factor of a?
True
Let k be 6 + (-6)/(7 - 6). Is (40/(-14) + k)/((-16)/728) a multiple of 7?
False
Let r = -553 - -329. Let i = 414 + r. Does 22 divide i?
False
Let p(y) = -5*y - 28. Let j be p(-13). Let c = j + -55. Let f = -12 - c. Is f a multiple of 3?
True
Suppose -2*b = 5*k + 15 - 0, -k - 2*b - 11 = 0. Let q(f) be the first derivative of 16*f**3 + f**2/2 + 2*f - 4. Is q(k) a multiple of 7?
True
Let u(v) = 14*v - 73. Let t be u(-6). Suppose 0 = 4*f - 255 + 1375. Let d = t - f. Is d a multiple of 5?
False
Let d be 2 + (-315)/(-5)*8. Let q = -280 + d. Suppose -4*w + q = -454. Is w a multiple of 17?
True
Let c(b) = b**3 - 10*b**2 + 9*b + 20. Suppose -3*y = 13 + 5. Let z be (-56)/y + 10/15. Is 10 a factor of c(z)?
True
Let t be (-453)/(-4) - (-2)/(-8). Suppose -30*f = -150*f + 1440. Suppose 67 + t = f*k. Does 3 divide k?
True
Let z(y) be the second derivative of -41*y**3/6 - y**2 + 6*y. Let h be z(-1). Is 33 a factor of 23680/130 - (12/h)/2?
False
Suppose s = 4*b - 15 - 36, -3*s = -b - 1. Suppose -i + 5*h = -124, 3*i = 11*h - b*h + 336. Is i a multiple of 13?
False
Let z be (-6)/(3 + (-9)/2). Is ((-238)/z)/((-76)/8 - -9) a multiple of 5?
False
Suppose -887*p + 20 = -882*p. Suppose -341 = -w - p*q, -3*q = -3 + 6. Is 69 a factor of w?
True
Suppose 28*a - 11904 = 1296984. Is 62 a factor of a?
False
Is (680/(-425))/((-2)/6560) a multiple of 128?
True
Let v be (-4 + 102/21)*(-42)/(-9). Suppose -v*m + 172 = -56. Let y = 161 - m. Does 13 divide y?
True
Let s(n) = n**2 - 14*n + 36. Let i be 252/24*16/12. Does 2 divide s(i)?
True
Let y(t) = t**2 + t + 2. Suppose 0 = 2*z + 4*v + 2, 5*z = 2*v + 3*v - 5. Is y(z) a multiple of 2?
True
Let j = -89 + 171. Suppose 671 = j*d - 71*d. Is 14 a factor of d?
False
Suppose -30*x = -28*x - 10. Suppose 0 = -3*n - 5*z + 1897, 2*z = x - 1. Does 37 divide n?
True
Suppose 0 = -5*b + 4*j + 41059, 66*b - 70*b - 4*j + 32840 = 0. Is 21 a factor of b?
True
Let k = 2290 + 190. Suppose 17*r - k = 9*r. Is r a multiple of 5?
True
Let f(q) = -q**3 + 3*q + 12 + 13*q - 3 - 11*q**2. Suppose 21*z - y - 61 = 26*z, -3*z = -5*y + 59. Does 25 divide f(z)?
False
Let y(q) = -q**3 + 15*q**2 - 14*q + 3. Let x be y(14). Suppose x*k = -3*i + 1440, -k - 230 = -4*i + 1690. Suppose 4*p - i = -124. Is 51 a factor of p?
False
Suppose -3*i = i - 2*w - 26, 3*i = 5*w + 37. Let h(u) = -9*u - 7 - 7 - i*u + 0*u. Does 14 divide h(-5)?
False
Suppose -135*j - 15411 = -146*j. Does 176 divide j?
False
Suppose 88986 - 8168 = 7*t - 5667. Is t a multiple of 7?
True
Let b be -3 + 8 + 4*9/(-12). Suppose b*a - i = i + 712, 3*a + i - 1084 = 0. Is a a multiple of 45?
True
Does 14 divide -8*(-3*10/105 + 3582/(-252))?
False
Let t(b) = 833*b + 1757. Is t(6) a multiple of 90?
False
Suppose 0 = h + p - 198 - 31, 0 = p + 1. Let j = h + -188. Is j a multiple of 5?
False
Let r = 16304 - 9622. Is 67 a factor of r?
False
Let a = 16519 + 4749. Is a a multiple of 11?
False
Let c = 2448 + 1430. Is 10 a factor of c?
False
Does 9 divide 122910/66 - (-33)/(-121)?
False
Suppose 3*f + 5 = m, 3*m = -m + 2*f + 20. Suppose -3 = 3*j - 2*i - m, 5*j - 3 = 3*i. Suppose j = -5*w + 54 + 51. Is w a multiple of 7?
True
Let h be (-95)/(-25) - 1/(-5). Suppose h*u - 645 = 383. Suppose -43 - u = -5*b. Is 12 a factor of b?
True
Suppose -3*z + 2*n + 12921 = 0, 2*z - 3*n = 1744 + 6880. Does 13 divide z?
True
Let l be (1 - 7) + 1640/41. Suppose -48*q + 4284 = -l*q. Is q a multiple of 38?
False
Suppose -3 = -t + 4*d, t - 17 = -2*t + 4*d. Let v = t + 8. Suppose -2772 = -v*p + 6*p. Is 36 a factor of p?
False
Let h(k) = k**3 - k**2 - k + 1. Let l(r) = -4*r**3 + 19*r**2 + 26*r - 8. Let t(m) = -2*h(m) - l(m). Is t(10) a multiple of 33?
True
Let k(a) = -a**2 - 91*a + 1390. Is k(-92) a multiple of 118?
True
Suppose 9*z - 440 = 11*z - 4*b, 0 = 4*z - 2*b + 868. Is 31 a factor of ((-58)/(4 + -2))/(18/z)?
False
Let v(s) = 2*s**2 + 10*s + 18. Let x = -68 - -63. Let l be v(x). Suppose d - l = 119. Is 22 a factor of d?
False
Suppose 4*u - 12 + 12 = 0. Suppose -3*y + 65 + 22 = u. Is y a multiple of 11?
False
Let m(k) = -14 + 18*k**2 - 67*k + 82*k - 11. Is m(4) a multiple of 47?
False
Let d(f) = 1388*f**2 - f. Is d(1) a multiple of 10?
False
Suppose -10 = -5*y - 0. Suppose -2*f - 2 = 0, -3*o + 766 = -0*o + y*f. Is o a multiple of 16?
True
Let l = -1379 + 1502. Is l a multiple of 7?
False
Let c be (984/30)/(3/(-60)). Let k be c/3*30/(-20). Suppose 4*p - 4*i = k, 5*p - 408 = i + 2*i. Is 9 a factor of p?
True
Let j = 247 + -241. Is 97 a factor of (4236 - 4)*j/(17 + -5)?
False
Let v(h) = 748*h - 5786. Is 165 a factor of v(32)?
True
Let h be (-1)/(2*(-4 - 195/(-50))). Suppose h*d - 4*s - 642 = 0, d + 3*d = -s + 501. Is d a multiple of 21?
True
Let x(a) = -a**2 - a + 3. Let r be x(0). Suppose -g - 1 = -4*p, -2*g + 1 = 5*p - r*g. Suppose m - 39 = -u, 4*u - 3*u + 4*m - 42 = p. Does 10 divide u?
False
Suppose 9 = -t + 11. Suppose -t*h - 9 = 3*w, 3*h = w + 2*w + 9. Does 5 divide (-48)/(-14)*(7 - h)?
False
Let d = 31692 - 23472. Does 12 divide d?
True
Let l(q) = q**2 - 2. Let n(t) = -35*t**3 + 8*t**2 - 4*t - 18. Let j(b) = -6*l(b) + n(b). Does 10 divide j(-2)?
True
Let k be ((-11)/2)/(1/(-2)). Let i(a) = 2*a**3 - 22*a**2 + 9*a - 14. Is 17 a factor of i(k)?
True
Let f(w) = -w**2 - 108*w - 1682. Is f(-29) a multiple of 21?
True
Let p = 32 + -27. Suppose -p*b = -5*k - 1425, 4*b + 2*k - 1020 = 126. Does 13 divide b?
True
Let b = 32 + -27. Let f(c) be the first derivative of -5*c**2 + 65*c + 70. Is 3 a factor of f(b)?
True
Let n be 1/2*(-12)/30*-10. Suppose 0 = 2*a + 2*t - 90, -a - n*t + 38 = -12. Is 2 a factor of a?
True
Suppose 2*s - 19*d = -20*d + 53, -3*d - 116 = -5*s. Let q(n) = n**3 - 24*n**2 - 21*n - 5. Is 2 a factor of q(s)?
False
Let n be (39/(-6))/((-6)/84). Suppose 127 = q + n. Is 6 a factor of q?
True
Suppose -3*q = 12, -2*b + 494 = -5*q - 48. Suppose -1926 = -27*o + b. Does 20 divide o?
False
Let t(l) = l**2 + l. Let c(q) = q**3 + 17*q**2 + 12*q. Let p(m) = -c(m) + 5*t(m). Let b be p(-11). Is (b + 1)*(-1 - 5) a multiple of 16?
False
Let b = 989 + 829. Is b a multiple of 18?
True
Let m(h) = h**2 - 13*h + 21. Let q be m(11). Is q - -2 - -5 - -529 a multiple of 13?
False
Suppose 3*h = 5*n - 2945, -436 = h - 441. Is 4 a factor of n?
True
Let a(d) = 2833*d - 10. Let j be a(2). Suppose -8*w = -j - 3360. Is w a multiple of 49?
True
Let s(m) = -231*m - 2506. Is 22 a factor of s(-85)?
False
Suppose -5*g - 5*w = -35, -6*g + g = -5*w + 5. Suppose -g*o + 438 = 3*a, 3*a - 3*o + 69 - 489 = 0. Is a a multiple of 3?
False
Let z = 8328 + -970. Is 13 a factor of z?
True
Let a(f) = 13078*f**2 + 124*f + 124. Is 13 a factor of a(-1)?
True
Suppose 4*a - 640 = -16*f + 12*f, -4*a = -3*f + 480. Let n be (148/6)/((-4)/12). Let q = n + f. Is q a multiple of 43?
True
Let j(b) = 6*b**2 + 2*b - 30. Let c be j(15). Suppose 33*n + c = 39*n. Is n a multiple of 26?
False
Let f(x) = 2*x**3 + 14*x**2 - 13*x + 7. Let g(d) = 5*d**3 + 29*d**2 - 26*d + 13. Let j(l) = 7*f(l) - 3*g(l). Does 67 divide j(8)?
False
Let r be (6/2)/((4/3)/(-4)). Let g = r - -11. Does 18 divide (36/(-7))/(g/(-7))?
True
Suppose -76*n = -5279 - 11504 - 5485. Does 13 divide n?
False
Let b(d) be the third derivative of -7/3*d**3 + 0*d - 5/24*d**4 + 0 - 6*d**2. Does 5 divide b(-5)?
False
Let y be 9*-1*(48/18)/(-8). Suppose -d + y*z - 726 = -4*d, -5*d + 1180 = -z. Is 5 a factor of d?
False
Let t(g) = 38*g - 28. Let f be -1 + (-2)/(-4) + 185/(-2). Let q = f + 96. Is 6 a factor of t(q)?
False
Let c be 8 - (-2 + 296 - 3). Is 4 a factor of (2 - (c + 0)) + 18/(-1