*p**3 + 15*p**2 - 14*p - 23. Let r(z) = 7*d(z) - 4*x(z). Does 11 divide r(4)?
True
Suppose 0 = 5*i - 0*f - 2*f - 145082, 2*i - 5*f = 58037. Does 234 divide i?
True
Let j(l) = -18*l + 254. Let c be j(14). Let m(z) = -5*z**3 - 5*z**2 - 5*z - 3. Let s be m(-4). Suppose k = 4*v - 211, -c*v + 7*v = -k + s. Is 26 a factor of v?
True
Suppose w = -3*y - w + 4625, 0 = 5*y + 5*w - 7715. Suppose -741 = -12*g + y. Is 19 a factor of g?
True
Suppose -4*c + 1350 = -5*j, 2*c - 2*j = 5*j + 702. Is 30 a factor of c?
True
Let i(h) = 3*h - 12. Let n be i(5). Suppose m + n*m - 2*s + 34 = 0, 2*s = -4*m - 14. Is ((-16)/m)/(34/2601) a multiple of 34?
True
Suppose 51*o - 50096 - 46831 = 687. Does 52 divide o?
False
Suppose 10*l - 3*u - 26424 = 0, 0 = 6*l - 5*l - 4*u - 2635. Is l a multiple of 46?
False
Suppose -13*m - 37 = -102. Suppose -4*g + 2788 = 3*b, -3*g - 4*b = -m*g + 1394. Is g a multiple of 41?
True
Let o be ((-278)/2)/(80/(-80)). Suppose -174 = -y + 4*b + o, -3*y = -b - 917. Is 12 a factor of y?
False
Suppose -11*p = 1076 - 7313. Suppose -v = 6*v - p. Is v a multiple of 31?
False
Suppose h - 4*h + 39 = r, -2*h = 0. Let s be -7 + 1 - 204/(0 - 6). Suppose -s*b = -29*b + r. Is b a multiple of 13?
True
Let n = 569 + -219. Is 12 a factor of n/5 - (-4)/((-4)/5)?
False
Suppose 2*n = -3*o + 13, -2*n - 12 = -10. Suppose -529 = -2*y - o*k, -9 = 7*k - 4*k. Is y a multiple of 68?
True
Let u = 5394 + 4758. Is 15 a factor of u?
False
Let y(j) = -j**3 + 6*j**2 + 19*j + 7. Let u be y(8). Suppose 19 - u = -3*b. Suppose 0 = 3*i - 9, -n + 442 = 4*n + b*i. Does 22 divide n?
False
Let o(g) = -g**3 + 40*g**2 + 45*g - 58. Let b(l) = -l**2 + 28*l - 11. Let i be b(26). Is o(i) a multiple of 11?
False
Let r = 78 + 388. Is 5 a factor of r?
False
Suppose -34 = 20*i - 22*i. Let z(m) = 18 - 9 + 16 + i*m + 17. Is 6 a factor of z(6)?
True
Suppose -99*k + 45 = -96*k. Suppose 5*u - 165 = 5*g + 600, 0 = -5*g + k. Is 26 a factor of u?
True
Suppose -71*r + 149761 = -66*r + 3*a, 0 = -4*a - 32. Does 9 divide r?
False
Suppose -2*n + n = -5*h - 18, -12 = -3*n + h. Let j(l) = 37*l**3 - 4*l**2 - 1. Is j(n) a multiple of 13?
True
Let a = -788 + 1530. Let y = a - 484. Is 4 a factor of y?
False
Let u be -2 - (-42683 + 0) - 3. Suppose u = 41*l + 3441. Does 29 divide l?
True
Suppose -289*r - 281*r = -142*r - 7302108. Is r a multiple of 63?
False
Let r be 1584/60 - (-4)/(-10). Let j = -21 + r. Suppose 2*v = j*v - 294. Is v a multiple of 14?
True
Let b = 33 - 29. Let n be 2*(-2)/b + -5. Let x(z) = -z**3 - 5*z**2 + 4*z + 14. Is x(n) a multiple of 6?
False
Suppose 54*q - 15*q = 543729 + 602325. Is 75 a factor of q?
False
Let u = 447 - 335. Let t = 616 + u. Does 50 divide t?
False
Suppose -2*r = 2*v - 20, -3*v = -4*r + 5*r - 6. Suppose 0 = -3*z + r, 14 = -4*n + 4*z - 2. Suppose -20 = -5*o, s + o - 18 - 10 = n. Is s a multiple of 8?
True
Let s(n) = -16*n - 86. Let d be s(-6). Suppose 0 = -d*b + 3291 + 379. Is b a multiple of 27?
False
Suppose -5*l = -g + 23, -5*l + 2 = 22. Suppose g*c + 48 = b, 2*c = -5*b + b + 150. Suppose 0 = -z - 2*z + b. Is 5 a factor of z?
False
Suppose 4*x - 4*q - 216 = 0, 282 = 5*x + 2*q - q. Let u be x/12 + 1*(-4)/6. Suppose u*r = 508 + 68. Is r a multiple of 12?
True
Suppose 0 = -13*t + 128450 + 92550. Is 17 a factor of t?
True
Suppose 2*m - 7560 = -22*m. Suppose -m = 24*z - 33*z. Is z a multiple of 13?
False
Let q be (-1)/3 + (-6)/9. Suppose 0 = 4*m + 3*i + 54, 3*m - 3*i + 51 = -0*i. Is (q + 13)*(1 + (-55)/m) a multiple of 14?
True
Let q(n) be the first derivative of 2/3*n**3 + 6*n + 5*n**2 + 18. Is q(-6) a multiple of 18?
True
Let s = 22685 + 27346. Is 27 a factor of s?
True
Is 45 a factor of (2 + (-7 - -2793))*21/28?
False
Suppose -624 = 5*a + 3*a. Let b = 103 + a. Suppose 21*y + 660 = b*y. Is 9 a factor of y?
False
Suppose n = 147 - 45. Let v = -99 + n. Suppose q + 10 = -s + 182, -884 = -5*q + v*s. Does 22 divide q?
False
Let k = -1898 - -3174. Let w = 2140 - k. Is 16 a factor of w?
True
Let h = -160 - -29. Let s = 173 + h. Does 7 divide s?
True
Suppose 11*k - 527 + 494 = 0. Let q(r) = 14*r**2 + 8*r - 23. Does 4 divide q(k)?
False
Let i be (-10311)/(-15) + 2 - 4/10. Let s = i - 331. Does 17 divide s?
False
Let c(l) = 301*l - 15. Let g be c(3). Let o = g + 296. Suppose 256 = 12*k - o. Is 12 a factor of k?
True
Let d = 27 + 2. Suppose 0 = 3*s - 0*v + v + d, -2*s - 41 = 5*v. Is -3 + (-406)/(-6) + s/12 a multiple of 34?
False
Suppose 22*n = 13*n + 18. Suppose 0 = -n*o, 5*r = -o - o + 2970. Does 22 divide r?
True
Suppose 5*o + 2402 = 452. Let q = 479 + o. Is 9 a factor of q?
False
Let o(c) = -3 - 6 + 2*c**2 + 0 + 63*c - 62*c. Let b be o(5). Suppose 2*r + 2*m - b = 0, -2*r + 5*m = -32 + 7. Is r a multiple of 10?
True
Let g(q) = 821*q - 37. Let w be g(1). Suppose -6*o = -1012 + w. Is 38 a factor of o?
True
Let j(n) = -n**2 + 3 - 4 + 3 + 96*n**3. Let b be j(-1). Is (-3 - 52/(-20))*b a multiple of 23?
False
Suppose 0 = 3*s + 2*s - 20. Let f be (-2 - -1)/(s/(-856)). Is 20 a factor of 57/(-76) - f/(-8)?
False
Let w be -4 + 3 + 4/1. Let j be (-75)/(-10)*4/w. Suppose 0 = 5*x - j, 5*x = -5*z + 110 - 20. Is 11 a factor of z?
False
Let j(b) be the first derivative of -42*b**2 + 356*b - 12. Does 23 divide j(-10)?
True
Let l be 10*470/44 - (-76)/418. Suppose 0 = 6*u + l - 509. Is u a multiple of 3?
False
Let f = -325 + 361. Let c = 13 - 5. Let a = c + f. Is 44 a factor of a?
True
Is (-6950)/(-575) + 2/(-23) - -4125 a multiple of 4?
False
Suppose 0 = 2*j - 7*j + 2*z - 8, 8 = 2*j + 2*z. Suppose x - 5*x + 1032 = j. Is 63 a factor of x?
False
Let m = 607 + -601. Suppose -m*j - 10 = -8*j, -3*j = 3*q - 915. Is 8 a factor of q?
False
Let t(z) = 2*z**3 + 16*z**2 - 25*z + 93. Does 99 divide t(26)?
False
Suppose 1282671 = -50*n + 89*n. Does 7 divide n?
False
Suppose -154*u + 777536 = -3320228 - 365464. Is 18 a factor of u?
False
Let s(l) = 863*l - 2871. Is 81 a factor of s(11)?
False
Suppose 206*r + 110 = 207*r. Suppose 380 = -r*z + 112*z. Is z a multiple of 17?
False
Suppose -2*u - 5*r = -1014 + 224, 0 = -3*r + 6. Let o(w) = w**3 + 4*w**2 - 2*w + 17. Let h be o(-5). Suppose -22 = h*s - u. Does 46 divide s?
True
Let b = -4874 - -11430. Is 79 a factor of b?
False
Let r(q) = -17 - 2*q + 6*q + 2*q. Suppose 36*x = -43 + 403. Is 16 a factor of r(x)?
False
Let m = 20 - -46. Let n = -62 + m. Suppose n*p + 535 = 9*p. Is 11 a factor of p?
False
Let b(c) = 14*c + 32. Let p be b(5). Suppose -p - 18 = -3*r. Suppose l + 5*n = r, -5*l = -l - 2*n - 94. Is 2 a factor of l?
False
Let x = -7642 - -16091. Does 167 divide x?
False
Let g(d) = 3*d**2 - 5*d - 41. Let t be g(12). Let x = t - 43. Is 36 a factor of x?
True
Let u(k) = -k**3 + 83*k**2 - 37*k + 1380. Does 39 divide u(82)?
True
Let y(v) = 3*v**3 - 6*v**2 + 24*v - 1. Suppose 2*l + 18 = 5*l + 4*z, -5*z = 0. Does 60 divide y(l)?
False
Let w be ((-16)/(-12))/(2*(-1)/6). Let c be 1593/4 - (-1)/w. Suppose a - 70 = 5*v, 4*a - 4*v + 54 - c = 0. Is a a multiple of 21?
False
Let f(g) = -3*g + 2. Let b be f(-1). Suppose -b*j + 1675 = -3*d, 8*j = 3*j + 5*d + 1675. Is 13 a factor of j?
False
Suppose 4*z - 4*l - 4296 = -0*z, -3*z + 2*l + 3225 = 0. Suppose 3*b + t - 3279 = 0, -5*t = -27*b + 26*b + z. Does 26 divide b?
True
Suppose 59375 = 7*z - 16281 + 3332. Does 123 divide z?
True
Let s(q) be the third derivative of q**5/30 - 9*q**4/8 - 59*q**3/6 + 2*q**2 - 10*q. Does 12 divide s(-24)?
False
Suppose -2*a + 14 = -3*n, 0 = -5*a - n + 1 - 0. Let w be ((-7)/(-4))/a*20/1. Is (324/10 - 0) + (-14)/w a multiple of 14?
False
Let l be (-48)/(-27) - 1/((-27)/6). Let j(n) = 88*n + 86*n - 189*n - 2 - n**l. Is 24 a factor of j(-10)?
True
Let u = 60 + -62. Let b be (2 + -1)/(-1 - u). Let s(p) = 28*p**2 + 1. Is 8 a factor of s(b)?
False
Suppose -3148803 = -36*u + 29*u - 56*u. Does 265 divide u?
False
Suppose 17*f - 23*f - 486 = 0. Let l(n) = 3*n**2 + 68*n - 7. Let v be l(-22). Let z = v - f. Is z a multiple of 26?
False
Suppose 146*x - 168*x + 2376 = 0. Suppose 0*i + i - 357 = 0. Suppose i = 15*n - x. Is 24 a factor of n?
False
Is 21 a factor of (850/(-6))/((-98)/294)?
False
Suppose -4*g = -6 - 14. Suppose 27*w - g*w = 528. Does 8 divide w?
True
Let g(n) = -11*n - 50. Let l be ((-12)/(-10))/(4 + 72/(-20)). Suppose -6 = -l*k + 2*q - 35, -k - 3 = q. Is g(k) a multiple of 27?
True
Let k(x) = x**3 + 