. Suppose 17*p - z = 13*p. Is p a multiple of 20?
True
Let f(z) = z**3 + 9*z**2 + 8*z - 7. Let o be f(-8). Let t = 118 - o. Suppose -4*r + 3*b + t = 2*b, -b + 123 = 4*r. Does 9 divide r?
False
Let x(n) = n**2 - 30*n - 235. Is 23 a factor of x(38)?
True
Let j = 668 + -412. Does 8 divide j?
True
Suppose -2*i + 960 = -994. Is 19 a factor of i?
False
Let g(w) be the first derivative of -73*w**2/2 - 15*w - 25. Is 34 a factor of g(-3)?
True
Let o(c) be the second derivative of 0 + 5/6*c**3 + 9/2*c**2 + 1/12*c**4 + 7*c. Is o(-7) a multiple of 16?
False
Suppose -t = 3*t - 8. Suppose 3*n - t*x + 7*x - 125 = 0, 2*n - 90 = -5*x. Is n a multiple of 5?
True
Let z(u) = -4*u**3 + u**2 + 2*u - 14. Let b(q) = -12*q**3 + 2*q**2 + 6*q - 41. Let n(k) = -4*b(k) + 11*z(k). Is n(3) a multiple of 22?
False
Let p(q) = -q**3 + 7*q**2 + 9*q - 14. Does 39 divide p(6)?
False
Let m(w) = 3*w + 4. Let q(p) = 2*p + 4. Let j(f) = 3*m(f) - 2*q(f). Is j(4) a multiple of 5?
False
Suppose 0 = 6*w - 0 + 30. Let a(h) = -h**2 - 12*h - 7. Does 28 divide a(w)?
True
Let m(j) = -j**3 - 14*j**2 - j + 5. Let l be m(-14). Suppose -l*n - 56 = -26*n. Is 2 a factor of n?
True
Let y(p) = 27*p + 36. Let c be y(10). Let w = 438 - c. Is w a multiple of 7?
False
Let b = 1332 + -909. Is b a multiple of 53?
False
Let t be (0 - -2)/((-6)/(-15)). Suppose t*n - 3*s + s = -106, n = -5*s - 5. Is (-8)/n*(78 + 2) a multiple of 16?
True
Suppose -3*x + 205 + 4148 = 3*t, -4*x = t - 1451. Is t a multiple of 16?
False
Let n = 1396 - 1340. Does 8 divide n?
True
Let f(p) = 3*p**3 - 5*p + 21. Is 14 a factor of f(4)?
False
Let v(b) = 77*b**2 + 2*b + 3. Does 31 divide v(-2)?
False
Let f(g) = 18*g**3 - 5*g**2 + 6*g - 3. Suppose 8*h - 16 = -0. Does 17 divide f(h)?
False
Let x(a) = a**2 - 8*a + 35. Let j(k) = k**2 - 5*k + 11. Let s be j(5). Is 7 a factor of x(s)?
False
Suppose 4*y + 40 - 8 = 0. Suppose 0 = -u - 19 - 47. Is 11 a factor of (-3 + y/(-3))*u?
True
Suppose 11*f = 9*f + 246. Is 18 a factor of f?
False
Let x = -25 - -97. Is 7 a factor of x?
False
Let n(p) = p**3 - 3*p**2 + 2*p + 365. Is 4 a factor of n(0)?
False
Let w(f) = -3*f - 33. Let g(c) = 1. Let d(p) = 3*g(p) - w(p). Does 15 divide d(11)?
False
Let f be 2 - (-1 - (0 - -6)). Let q be (-6)/(-4)*2 + 63. Is ((-18)/(-3))/(f/q) a multiple of 22?
True
Does 6 divide (-16056)/(-264) - (-4)/22?
False
Let a(t) = 8*t - 15. Let q be a(2). Is 15 a factor of ((-508*q)/(-4) - 0)/1?
False
Suppose -5*j + 27 = 62. Let p be 4/(-14) + (-79)/j. Suppose p = -2*u + 5*m + 34, 3*u - 5*m = 32. Is u a multiple of 7?
False
Suppose 2*d = 3*w + 5*d - 12, -4 = -5*w + 3*d. Suppose -r - w*u - u = -47, 5*r = 2*u + 269. Suppose c - r - 1 = 0. Does 27 divide c?
True
Suppose -3*v + 20 = 5*w, 5*v - 44 = 6*w - 9*w. Does 2 divide v?
True
Suppose -3*l + 3 = 3*j + 6, 1 = -5*l - 3*j. Is 9 a factor of (-18)/(-3)*3*l?
True
Suppose -103 = -3*o + 158. Let w = o + -75. Is w a multiple of 3?
True
Suppose -2*z = z + 9. Let l = 1 + z. Let p = 23 - l. Is 20 a factor of p?
False
Let j = 103 - 110. Is (-1)/3 - (j - (-5193)/(-27)) a multiple of 13?
False
Let a(c) = -594*c**3 + c**2 + c + 1. Does 17 divide a(-1)?
True
Suppose 5*i - 74 + 9 = 0. Suppose -3*t - 3*l + i = l, 4*t = -4*l + 20. Suppose -v + 320 = t*v. Is v a multiple of 8?
True
Let z = 8 + -3. Does 16 divide (-94 + -2)*(z + -6)?
True
Suppose 3*p + 3*o = 4*p + 12, 5*p + 4*o = 35. Suppose 2*y - 102 = p*r, y - 50 = -r + 2*r. Does 16 divide y?
True
Let b be ((-14)/28)/((-2)/32*2). Suppose -2*w - 5*q = 2*w - 227, -b*q = 4*w - 224. Is 10 a factor of w?
False
Suppose -2*h = 3*v - 2 - 64, 0 = 2*h + 4*v - 70. Suppose h + 391 = 2*i. Does 46 divide i?
False
Is 24 a factor of (-2)/4 + 1758/12 + -2?
True
Let q be (-9)/6*16/(-6). Suppose -4*n = -q*v + 252, -v + n = 4*v - 303. Let y = -36 + v. Is 8 a factor of y?
True
Is 106858/1111 + 1*4/(-22) a multiple of 6?
True
Let q be ((-10)/(-4))/((-9)/36). Let j = -8 - q. Suppose -j*g + 46 = -4*i, 4*i = -g + 3*i + 11. Does 15 divide g?
True
Let a = -239 + 402. Suppose 0*g + g = -a. Let l = 240 + g. Is l a multiple of 26?
False
Let d = -306 + 165. Let i = d - -309. Is 24 a factor of i?
True
Let j be (-112)/20 - 2/5. Let h(u) = u**3 + 6*u**2 - 5*u - 2. Does 7 divide h(j)?
True
Suppose -55*a + 54*a + 341 = -5*g, 5*a - g - 1585 = 0. Is 11 a factor of a?
False
Suppose 3 = -4*i + 5*i, -3*t - 5*i + 9 = 0. Let x be (8/(-10))/(t/80). Is 15 a factor of (x/(-12))/((-2)/39)?
False
Let a be -12 - (-3)/(-6)*0. Let t be (9/(-27))/(2/a). Suppose -340 = -3*b - t*b. Does 17 divide b?
True
Suppose -4*m + h = -1781, -m + h + 454 = -h. Suppose -m = 6*i + 216. Let p = -39 - i. Is 11 a factor of p?
False
Let d = 4448 - 2637. Does 13 divide d?
False
Suppose 24*p - 182061 = -3*p. Does 11 divide p?
True
Let p = -517 + 546. Let s(z) = -z**2 + 3*z - 1. Let f be s(5). Let k = p + f. Is k a multiple of 6?
True
Suppose 0 = -3*p - 2*l + 8, l = 1. Suppose -2*b = 0, -z - p*b = 2*z - 315. Suppose -2*r - 3*s + z = 0, r + 5*s - 255 = -4*r. Does 24 divide r?
True
Let s(g) = 40*g**3 + 1 + 2*g**3 - 2 + g. Is s(1) a multiple of 21?
True
Let y(m) = m**2 - 2*m + 510. Is y(0) a multiple of 51?
True
Suppose -65*y + 1210 = -64*y. Is 11 a factor of y?
True
Suppose -4*y = -5*a + 41, 3*a - 3*y + 0*y = 24. Let k be (-9601)/a - (-4)/(-18). Does 12 divide k/(-44) + 1/(-4)?
True
Does 21 divide -7*6*(-7 + 2)?
True
Is (-14 - 25884/24)*12/(-15) a multiple of 19?
True
Let p = -1 + 1. Suppose 2*z = -4*v + 4*z + 416, 3*v + 2*z - 326 = p. Suppose 3*y - v = -5*n, 2*y - 64 = -2*n - n. Does 20 divide n?
True
Let x(d) = -d**3 + 36*d**2 + 22*d + 63. Does 15 divide x(36)?
True
Suppose 2*n + 23 = 5. Let c(y) be the first derivative of -y**4/4 - 8*y**3/3 + 3*y**2 - 13*y - 7. Is c(n) a multiple of 14?
True
Let f(s) = -s**3 - 6*s**2 - 2*s - 5. Let a = -17 + 11. Let z be f(a). Suppose 4*y - 72 = -4*o, -o + z = -3*y + 45. Is y a multiple of 14?
True
Let l = -82 - -362. Does 14 divide l?
True
Is 42 a factor of (-9 + -495)*(-4)/6?
True
Suppose -2178 = -5*u + 4582. Is 13 a factor of u?
True
Let i(b) = 2*b**2 - 2*b - 2. Let u be i(-3). Let f be (0 + 0)*(u - 21). Suppose f = 4*w + 3 - 267. Does 33 divide w?
True
Suppose h - 6*h - 40 = 0. Let o be h/(-40) + 498/(-15). Let y = 93 + o. Is y a multiple of 14?
False
Suppose -4*w - 5*x + 401 = 0, 2*w - x - 197 = -0*x. Let g = w + -82. Is 17 a factor of g?
True
Let l = -1409 + 1865. Is l a multiple of 19?
True
Let z(f) = 36*f - 7. Let u be z(3). Suppose 5*g - 4*g - 5*p = u, 0 = -g + 4*p + 96. Is 17 a factor of g?
False
Let q(d) = 2*d**3 - 3*d**2 + 1. Let a(z) = -z**2 + z + 1. Let t be a(0). Suppose 1 = j - t. Is 3 a factor of q(j)?
False
Let v = 58 - -53. Is 24 a factor of (4 - 3)*(v - 2)?
False
Suppose -3*z = -4*h + 452, -7*h = -4*h - 2*z - 339. Let u = h - 42. Is u a multiple of 15?
False
Let w(p) = -p**2 - 16*p + 15. Let d be w(5). Let m be 10*(2 + 14/(-4)). Let o = m - d. Is o a multiple of 25?
True
Let y(r) = 4*r - 3*r + 12 - 8*r**2 + r**3 + 4*r - 2. Is y(8) a multiple of 10?
True
Let t(v) = 2*v**2 + 7*v + 7. Let j(p) = 3*p**2 + 11*p + 11. Let c(w) = 5*j(w) - 8*t(w). Let f be c(0). Does 10 divide (f/(-3))/((-9)/(-999))?
False
Let v(s) = -1 + 0*s**2 + 4*s**2 - 5*s**2 + 10*s + 18. Is 3 a factor of v(11)?
True
Let y be 42/(-10)*((-3)/(-1) + -8). Does 18 divide (2*y/(-24))/((-6)/72)?
False
Suppose -a - m = -14 - 21, 176 = 4*a - 5*m. Suppose 0 = -5*k + 2*d + a, -2*d + 9 = 3. Suppose -k = z - 51. Is z a multiple of 24?
False
Let b(q) = 57*q - 17. Is b(1) a multiple of 5?
True
Suppose -2*r + 4*l = -909 - 1531, -2444 = -2*r + 5*l. Does 12 divide r?
True
Let t(h) = 0 - 330*h + 317*h + 9. Suppose 6 = -2*r - 0. Is 12 a factor of t(r)?
True
Let r = -31 - -32. Is r + 45 - (-1 + -2 + 6) a multiple of 9?
False
Suppose -867 = -32*o + 925. Does 13 divide o?
False
Suppose -4*g - 249 = -6*f + f, f - 33 = 5*g. Suppose 0 = j + 5*r - 1 - f, -j - 4*r = -58. Is 16 a factor of j?
False
Suppose -3*m - 183 = -y - 7*m, -3*m = -3*y + 594. Suppose 480 = 2*a + 5*h, 4*a - h - y - 765 = 0. Does 20 divide a?
True
Let w = 395 - 339. Is w a multiple of 7?
True
Let q = 101 - 99. Suppose q*y = k - 19, -3*k + 6*y = 3*y - 72. Is 4 a factor of k?
False
Let m(o) = -56*o - 6. Let f be m(-3). Suppose 0*k + f = k. Let p = k - 93. Is 28 a factor of p?
False
Suppose 1673 = 36*b - 29*b. Does 4