True
Let t(n) = n**3 + 18*n**2 - 4*n - 40. Is t(-17) a multiple of 13?
False
Let q(j) = 5*j - 3. Let w be q(1). Suppose -a = -4*t - 62 - 58, 4*a = -w*t + 534. Suppose -5*g = 2*n - 288, -3*n + 104 = 4*g - a. Is g a multiple of 28?
True
Let j(y) = 8*y**3 + 5*y**2 + 3*y + 24. Is j(6) a multiple of 9?
False
Suppose 0 = n + 4*n - 195. Let i = -35 + n. Does 3 divide i?
False
Let a(u) = -16*u**3 - 3*u**2 + 5*u + 2. Does 44 divide a(-3)?
False
Let f = -533 + 1180. Does 29 divide f?
False
Let h be (2 - 27) + -5 + 2. Let f = -10 - -12. Let j = f - h. Is 7 a factor of j?
False
Let k be (-6 - -3) + (4 - 2). Let r(x) = 2*x**2 + 1. Let t be r(1). Is (3/t - 24)*k a multiple of 5?
False
Suppose 4*y + 6*y - 8900 = 0. Is 89 a factor of y?
True
Let o = -2949 + 4749. Is o a multiple of 90?
True
Suppose 244*a = 237*a - 371. Let f = 33 - 59. Let y = f - a. Does 9 divide y?
True
Let a(q) = -3*q - 5. Let r be a(-9). Let n = 26 - r. Is 21 a factor of (-2 + n + 8)*8?
False
Let q = -90 + -13. Let n = 89 - q. Suppose 512 - n = 4*m. Does 16 divide m?
True
Let b = -124 + 68. Let i = b + 78. Is i a multiple of 10?
False
Suppose 4*v - 6540 = -3*h, -2*h + 7*v + 4361 = 10*v. Is 64 a factor of h?
True
Let m(h) = -h**2 - h - 1. Let v(t) = -3*t + 4. Let x(g) = -2*m(g) + v(g). Does 7 divide x(3)?
True
Let l = -188 + 279. Is 13 a factor of l?
True
Let d(n) be the first derivative of 4*n**3/3 + n**2/2 - 9*n - 7. Does 6 divide d(-3)?
True
Let f = 167 - 153. Is f a multiple of 7?
True
Let i = 1561 + -918. Is 8 a factor of i?
False
Let k(z) = 122*z + 144. Is 26 a factor of k(5)?
True
Let v = 245 - -2099. Does 13 divide v?
False
Let u = -998 - -3528. Is 110 a factor of u?
True
Let v(w) = 6*w**2 + 33*w + 18. Is v(-18) a multiple of 9?
True
Suppose x + 4*f + 11 = -7, 25 = -5*f. Let o = 0 - -7. Is 13 a factor of (-6 + o)*x*26?
True
Let r(w) = -21*w + 29. Does 5 divide r(-8)?
False
Suppose 0 = -4*v - 6 + 18. Let m be (-57)/(9/v) + 3. Is 5 a factor of (-16)/(-128) + (-318)/m?
True
Suppose 4*s = 3*s - 14. Let n = s + 22. Let g = 80 + n. Is 20 a factor of g?
False
Is 1 + (-11)/7 + 216788/364 a multiple of 17?
True
Suppose 2*v + 4*y = 3*v - 304, 1469 = 5*v - 3*y. Suppose 0 = 4*n + 3*z + z - v, 69 = n - 3*z. Suppose 5*q + 0*p = 4*p + n, 0 = q + 5*p + 3. Is 10 a factor of q?
False
Let v = -927 + 1839. Is v a multiple of 76?
True
Let g = 122 - 70. Is 2 a factor of g?
True
Let x(n) = 2*n - 3*n - 7 + 4. Let o(i) = -6*i - 15. Let c(h) = 2*o(h) - 11*x(h). Is c(-6) a multiple of 3?
True
Suppose -5*n + 47 + 13 = 0. Does 6 divide (n/8)/(4/96)?
True
Let q(b) = -b + 15. Let n be q(10). Suppose -n*s + 408 = 48. Is 24 a factor of s?
True
Let p(w) be the second derivative of 0 - 6*w - 7/3*w**3 + 2*w**2. Is 20 a factor of p(-4)?
True
Suppose -4*m = 70 - 2. Let w(f) = -6*f - 41. Is 12 a factor of w(m)?
False
Let b = 1110 - 676. Does 41 divide b?
False
Suppose -3*q = 3*i - 2118, -3*i + q - 491 + 2589 = 0. Is i a multiple of 9?
False
Suppose 2*r + 4*u + 10 = 0, 5*r - u = -11 - 3. Is -3 + -1 + r/(12/(-464)) a multiple of 7?
True
Let j(d) = 8*d + 51. Let i be j(-6). Suppose -13*o + 960 = -i*o. Is o a multiple of 48?
True
Let u = -53 + 72. Does 15 divide u?
False
Let m = 810 + -415. Suppose -10*k = -1105 - m. Is 25 a factor of k?
True
Let l(h) = 21*h**2 - 141*h - 1. Is l(10) a multiple of 21?
False
Let d(a) = a**3 - a**2 - a + 8. Let r be d(0). Let u be -1*4/r*-8. Suppose -2*p - k = -25, u*p - p - k = 45. Is p a multiple of 3?
False
Let w = -310 - -221. Let c = w - -129. Is 20 a factor of c?
True
Suppose 0 = j + w - 0*w - 292, 3*j - 5*w = 844. Is j a multiple of 16?
True
Let d = 616 + 644. Does 15 divide d?
True
Suppose -4*o + 133 = -4*u - 247, 3*u + 190 = 2*o. Does 10 divide o?
False
Suppose 2*c + 20 = -3*o + 4*c, -4*c = -3*o - 22. Is 14 a factor of (2 + 32)*(-15)/o?
False
Suppose n + 75 = 2*n. Let o be -8*(n/20 + -4). Suppose 64 = -o*g + 196. Is g a multiple of 22?
True
Let h be (-4)/(-2) + 0 - (-16)/(-8). Is 7 a factor of (h - -4)/((-8)/(-42))?
True
Let p(h) = 6*h**2 + 3*h + 12. Is p(-8) a multiple of 17?
False
Let z = -209 - -245. Is 12 a factor of z?
True
Suppose 4*v + 783 = 13*v. Let i = v + -39. Is i a multiple of 25?
False
Suppose 709 = 3*g - 2*k, -247 - 230 = -2*g - 3*k. Let b = g + -161. Suppose -x - 3*i = -66, -4*i + 9*i = -x + b. Is x a multiple of 17?
True
Suppose 0 = -8*v - 3*v + 2288. Does 26 divide v?
True
Let c = -25 - -39. Let j = c - -60. Does 9 divide j?
False
Let d be 7098/15 - 4/20. Suppose 4*p = d - 125. Is p a multiple of 10?
False
Let a(b) = 2*b - 14. Let n be a(7). Suppose n = 3*c - c - 212. Suppose 2*d - c = -0*d. Is 11 a factor of d?
False
Let m = 1716 + 278. Is 22 a factor of m?
False
Suppose -22 = -26*k + 24*k. Suppose k*i - 243 = 8*i. Is 14 a factor of i?
False
Let k = -199 - -280. Does 5 divide k?
False
Suppose -209 = 12*y - 785. Is y a multiple of 16?
True
Let n = 13 + 5. Suppose n = 4*r + 2*r. Suppose 3*h - r*c = 345, 2*h = -3*c + 107 + 113. Is 23 a factor of h?
False
Let b = 1452 - 490. Is b a multiple of 37?
True
Suppose -5*x = 2*t - 42, 0*t + 30 = 4*x - 2*t. Does 17 divide 2/x - 1139/(-68)?
True
Let x(a) = 2*a - a + 7 - 5 + 13. Does 6 divide x(14)?
False
Suppose -2*p = m + m - 532, -p - 790 = -3*m. Does 24 divide m?
True
Suppose 15*h - 18*h + 108 = 0. Suppose -186 = -2*v - h. Does 20 divide v?
False
Suppose 0 = 4*u - 2 - 2. Suppose -4*s + u = 5. Let p(r) = 24*r**2 - r - 1. Is p(s) a multiple of 5?
False
Suppose -7*h = -9*h + 20. Suppose 7*z + h = 2*z. Does 23 divide (-164)/(-6)*(-3)/z?
False
Let h(z) = -z**3 + 8 + 3*z**3 + 9*z - 3*z**3 - 5*z**2. Let d be h(-6). Let f(j) = -2*j + 3. Is 13 a factor of f(d)?
False
Suppose 2*i = 3*j - 346, 0*j - 2*j + 3*i = -224. Let z = j + -95. Is 19 a factor of z?
False
Suppose -r = c - 2*c - 168, 5*r + 5*c = 800. Let s = -52 + 192. Suppose -r = -8*w + s. Does 20 divide w?
False
Suppose 0*o = 5*u + o - 484, 5*o + 76 = u. Does 16 divide u?
True
Let k(u) = -2*u**3 - 17*u**2 + 18*u - 21. Does 19 divide k(-10)?
False
Suppose 1102 = -18*q + 21*q - 5*d, -1480 = -4*q + 4*d. Does 42 divide q?
False
Suppose -5*q - 4*k + 30 = k, 3*q - 23 = -4*k. Does 4 divide q + 1 + 16 + -6?
True
Let f(d) be the third derivative of d**5/30 + 5*d**4/24 + 2*d**3 + 6*d**2. Is 20 a factor of f(-8)?
True
Let b(k) = -k**3 - 3*k - 2. Let d = 21 + -18. Suppose -4*h - m - 9 = 0, d*m = -3*h - m + 3. Is 34 a factor of b(h)?
True
Suppose 5*x + 3020 = -2*o + 9197, o + 1241 = x. Does 31 divide x?
False
Let o(g) = -3*g**2 - 3*g - 4 + 21*g**3 - g + 9*g. Is o(2) a multiple of 18?
True
Suppose -2*u + 1178 + 67 = -5*z, -2*u + 1254 = -2*z. Is u a multiple of 35?
True
Let s = 203 + 37. Does 40 divide s?
True
Suppose 0*v + 4*v - 320 = 0. Suppose 0 = 2*q + 4*g - v, 2*q - g - 80 = g. Does 5 divide q?
True
Let w(g) = 3*g - 7. Let c be w(3). Let k(j) = -j**2 - 12*j + 2. Let f(a) = -a**2. Let x(s) = c*f(s) - k(s). Is x(6) a multiple of 20?
False
Let l(t) = -t**2 - 15*t - 2. Let o be l(-23). Is o/4*(-2 + 0) a multiple of 11?
False
Suppose 0 = -2*n - 4*b + 2, -5*n - 2*b = -4*b - 17. Let y = n + 62. Suppose -5*u + y + 65 = 0. Does 13 divide u?
True
Let t = 4575 + -2529. Is 11 a factor of t?
True
Let n = 1661 + -761. Does 75 divide n?
True
Let t = 6 + 12. Suppose -2*b + 22 = -t. Does 15 divide 0 - (b*-1 - 2)?
False
Suppose 0 = -22*t + 28*t - 1512. Does 28 divide t?
True
Let b be -2 + 0 + 5 + -108. Let d = b - -176. Is d a multiple of 17?
False
Suppose 0*z - 5 = -z, -3*r - 5*z = -31. Suppose -r*y = v + 2, -2*v + 23 = -0*y - 5*y. Suppose v*f - u = 173 + 31, -36 = -f + 4*u. Is 13 a factor of f?
True
Suppose m - 50 = 8. Is m even?
True
Let d = 4405 - 3026. Does 23 divide d?
False
Suppose 2*s = 2*n, s - 4*n - 11 = 4. Let d be s/2*4/(-5). Is 23 a factor of (17/3)/(d/12)?
False
Is 4 a factor of (-520)/78*(-24)/10?
True
Suppose -4*w - 124 = -3*h, 4*h + w - 194 = 3. Is 10 a factor of h?
False
Suppose -3*w + x = -2*w - 287, -w - 2*x + 272 = 0. Suppose -42 = 2*i - w. Does 30 divide i?
True
Let j = 435 - 358. Is j a multiple of 19?
False
Is 43 a factor of (1 + 0)/(10 + (-13190)/1320)?
False
Let m(j) = -j**3 + 24*j**2 + 37*j - 34. Is m(25) a multiple of 7?
True
Suppose -m + 451 = 3*p, -2*m + 1321 = 3*p + 413. Is m a multiple of 6?
False
Let l(d) = 2*d**2 - 16*d - 12. Let u be l(9). Suppose 71 = -u*s + 317. Is s