 - 6*p**2 + 2*p - 7. Let x be n(-6). Let y = 19 + x. Suppose y = 4*k - 6 - 42. Is 12 a factor of k?
True
Let u = -20 + 24. Is (12/16)/(u/160) a multiple of 5?
True
Let q(m) = m**3 + 12*m**2 - 32*m + 4. Let h = -14 - 0. Is 10 a factor of q(h)?
True
Let s = -5 + 11. Does 26 divide -8 + 111 + (1 - s)?
False
Suppose z - k + 451 = 4*z, 0 = -4*k - 8. Let w = z + -85. Is 33 a factor of w?
True
Let s(g) = g**3 + 22*g**2 + 28*g - 42. Does 11 divide s(-20)?
True
Suppose -4*t = n + 31 + 60, t - 2*n = -34. Let c be 0 + (57 - 2/(-2)). Let z = c + t. Is 7 a factor of z?
False
Let r(s) = s**3 + 19*s**2 + 38*s - 15. Is 14 a factor of r(-12)?
False
Let x(m) = 10*m**2 - 12*m - 183. Is x(-11) a multiple of 61?
True
Suppose 2*h - 8 = -5*k - 2, 4*h = -5*k + 2. Is 17 a factor of (13 - (-2 - h)) + 4?
True
Let j(l) = 56*l - 177. Is j(20) a multiple of 41?
True
Let t(l) = 7*l - 9*l + 22*l**2 - 33*l + 10 - l**3. Is 22 a factor of t(20)?
True
Let o(u) = 26*u**2. Let f be (5 - 3) + 5/(-5). Let v be o(f). Does 24 divide (4 + 3 - 3)*v?
False
Let q(h) = -5*h + 64. Let p be q(22). Let m = p - -172. Does 42 divide m?
True
Let m(i) = i**2 - 9*i + 21. Let k be m(6). Suppose -k*t = -166 - 236. Is 31 a factor of t?
False
Suppose -7*z + 10*z = -w + 763, -w + 2*z = -763. Is 17 a factor of w?
False
Let j(q) = q**3 + 4*q**2 - 24*q - 6. Let t be j(-7). Does 17 divide (-3)/t - (-2)/((-40)/(-2684))?
False
Let b(s) = 3*s**3 + 19*s**2 - 22*s - 35. Let d(x) = -x**3 - 6*x**2 + 7*x + 12. Let v(w) = 3*b(w) + 8*d(w). Let c be v(-10). Let m = c + 33. Is 8 a factor of m?
True
Suppose -2*o + 2*y = 7*y + 8, 5*o - 15 = 5*y. Is 6 a factor of (-62)/(6/(-9)*o)?
False
Let o = 635 - 427. Is o a multiple of 26?
True
Suppose 0 = -h - 2, 0*q - 2*h = -3*q + 10. Suppose -8*i + 6 = -18. Suppose -i*s = q*s - 330. Is 11 a factor of s?
True
Let o(t) = -1 - 7*t**2 + 4 - 4 + 5 + 5*t. Let r be o(-5). Is r/(-16) + 1/(-4) a multiple of 4?
True
Is 7/(-2) + (-8330)/(-28) a multiple of 22?
False
Let f(l) = 2*l**2 - 54*l + 22. Let z be f(28). Suppose 2*q - 2*n - 88 = 0, -2*q + 3*n = -4*q + z. Does 21 divide q?
True
Suppose -a = -h - 0*h + 2, -2*h + 32 = 5*a. Let j be (2 - -2)*h/8. Is (60/(-25))/(j/(-10)) a multiple of 4?
True
Let d(u) = 5*u**3 + u**2 - u. Let l be d(1). Suppose 2*w - 805 = -l*w. Does 37 divide w?
False
Suppose 3*b + 0*b + 11 = m, 5*m + b = 7. Suppose 4*y = -3*j + 87, m*y + 4*j - 84 = -2*y. Does 6 divide y?
True
Let l(h) = -h**3 - 16*h**2 + 16*h - 12. Let w be l(-17). Suppose -w*f - 4*q + 797 = 0, 2*f - 2*q - 124 = 202. Is 23 a factor of f?
True
Does 34 divide (10/(-3))/(((-2)/459)/2)?
True
Let h(n) = n. Let f(r) = 108*r - 2. Let q(c) = -2*f(c) - 44*h(c). Does 11 divide q(-1)?
True
Let v be (-1190)/(-42) + 4/6. Suppose 4*a = 2*w - 22, -5*w - 3*a = -a - 7. Suppose -2*m + 16 = 5*f - v, -3*m + 36 = -w*f. Is m a multiple of 6?
False
Let m(j) = j**3 + 4*j**2 - 12*j - 6. Let i be m(-6). Let o be ((-160)/i)/(9/(-27)). Let g = o + 138. Is g a multiple of 29?
True
Suppose 486 - 514 = -a. Is 18 a factor of a?
False
Let z(f) = 10*f - 15*f + 15 - 12*f. Let l be z(-9). Suppose -l - 57 = -5*x + o, 4*x = 3*o + 180. Does 13 divide x?
False
Suppose 2*n - 5352 = c - 6*c, 12 = -3*n. Is c a multiple of 26?
False
Let c(b) = -16*b. Suppose 2*v = j + 3, v - 4*j = -2*j + 3. Let a be c(v). Let l = 30 + a. Is l a multiple of 7?
True
Suppose -2*s - 3*s + 140 = 0. Suppose 29*i - s = 28*i. Is i a multiple of 11?
False
Let v be (-2)/4 + 10/4. Let p(h) be the first derivative of h**4/2 + 4*h**3/3 - 3*h**2/2 + h + 56. Does 9 divide p(v)?
True
Suppose 6*l - 4*l = 6. Suppose 0 = -l*h - 3*z + 153, 9 = -z + 4. Is 45 a factor of h?
False
Let r be 6 + -2*(-3 + 4). Let c(d) = -12*d + 2. Let s be c(r). Let u = -29 - s. Is 7 a factor of u?
False
Suppose 4*o - 27*u + 30*u - 753 = 0, 4*o - 3*u = 759. Is 8 a factor of o?
False
Suppose -5 = -17*o + 165. Is 67 - (84/(-20) - (-2)/o) a multiple of 7?
False
Is 23 a factor of (1*-1 - -691)/(894/596)?
True
Let z(o) = o**3 - 9*o**2 + o - 5. Let p be z(9). Is 17 a factor of (-83 - p)*-1 + 1?
False
Let a(m) = m**2 - 9*m + 24. Let f be a(14). Suppose -2*o - 5*n = -f, 0*n + 69 = o - 3*n. Is 8 a factor of o?
False
Suppose 5*w - 10 = -0*w. Suppose -w*m = -3*m + 432. Suppose m = 6*q - 0*q. Does 24 divide q?
True
Let p be (-3)/2*(-2 + -68). Let a = p + 5. Does 20 divide a?
False
Is 18 a factor of -4 + 2616 - (5/5 + -2)?
False
Is 4 a factor of 532 + (4 - 8)/(-2 + 1)?
True
Let p(a) = 18*a**2 - 19*a**2 - 14*a + 3*a - 5. Let n be p(-10). Suppose -3*o - 295 = -n*c + 50, -5*c = -4*o - 350. Is 20 a factor of c?
False
Suppose 0 = 1300*u - 1291*u - 864. Is u a multiple of 12?
True
Suppose -2*v + 15 = -5*c - 3, 5*c + 27 = 3*v. Suppose 4*o - v*o + 5 = 0. Does 20 divide 80 + o + 48/(-12)?
False
Suppose -26 = -2*h - 22, -u = -3*h - 114. Does 3 divide u?
True
Let p(z) = 10*z**2 - 27*z - 15. Let b(c) = -15*c**2 + 41*c + 23. Let o(q) = -5*b(q) - 7*p(q). Does 19 divide o(7)?
False
Is 30 a factor of 1*33*(14 + -8 - -4)?
True
Suppose -12 = -4*r - 0, 22 = 2*m + 4*r. Suppose 1 = p, -5*k + 240 = -0*p - m*p. Is k a multiple of 49?
True
Let f(r) = 119*r - 553. Is f(17) a multiple of 42?
True
Let v(f) = f**3 - 19*f**2 + 2*f - 48. Is 54 a factor of v(20)?
False
Let x = 12 + -13. Let a be (-4 + 3 + 6)*x. Let i(c) = c**2 - c + 4. Is 11 a factor of i(a)?
False
Suppose 10*t + 187 = 537. Is t a multiple of 3?
False
Is 19 a factor of (-135)/675 + 9596/5?
True
Suppose -634 = -4*r + 6. Suppose b - 165 = -p, -b = -5*p + 665 + r. Does 24 divide p?
False
Suppose -45 = -5*o - 5*s, -s - 41 = -4*o - 6*s. Suppose o*w + 0*w = 264. Does 4 divide (w/12)/((-2)/(-4))?
False
Let m(j) be the third derivative of -149*j**6/120 - j**5/60 - j**4/4 - 2*j**3/3 - 34*j**2. Is 10 a factor of m(-1)?
True
Let g be 4/(-6 + -2)*-4. Suppose g*w - 20 = -2*w. Suppose 0 = w*l - 4*x - 62, 3*l = 2*x + 9 + 29. Is l a multiple of 5?
False
Let u(p) = -4*p**3 + 4*p + 5*p**3 - 9*p**2 + 0*p**3 + 4. Let l = -25 + 34. Is u(l) a multiple of 20?
True
Suppose -131*s = -130*s - 1360. Is 20 a factor of s?
True
Let t(i) = 2*i**2 - 2*i - 33. Let j be t(6). Suppose 0 = -23*w + j*w - 660. Does 15 divide w?
True
Let h = -1004 - -3098. Let j be (-3)/(-5) - h/(-10). Does 5 divide (-10)/2*j/(-25)?
False
Let h be (14/42)/(2/120). Let q = h - 17. Suppose -k = -5*s - 40, -q*s - 2*s = 4*k - 160. Does 20 divide k?
True
Let g = -64 - -68. Suppose -480 = -5*t - 5*r, -2*r = t + g*t - 486. Does 24 divide t?
False
Suppose -4*k = 3*z - 7*k - 69, -4*k + 3 = z. Let x = 130 - z. Is 5 a factor of x?
False
Suppose -7*o = 370 - 650. Does 4 divide o?
True
Let b(i) = 2*i**3 - 60*i**2 - 45*i - 23. Is b(31) a multiple of 63?
True
Let j = -439 - -719. Does 28 divide j?
True
Suppose -a - 698 = -857. Is 53 a factor of a?
True
Suppose -18*r + 77*r = 71744. Does 64 divide r?
True
Let t = 15 - 12. Let i be (124/(-6))/(t/(-9)). Let y = -42 + i. Is y a multiple of 13?
False
Suppose 4 = 6*v - 5*v. Suppose -2*h - 62 = v*m, 5*h - 4*m + 127 = -0*m. Let o = -14 - h. Is o a multiple of 13?
True
Suppose 2*x - 3*z = 2780, 966 = 3*x + 2*z - 3204. Does 12 divide x?
False
Let w(y) = -8*y + 41. Let d be w(-14). Suppose -j = -5*q - 25, -q + d - 28 = 5*j. Is j a multiple of 12?
False
Let d = 9 + 3. Let n(x) = -x**3 + 11*x**2 + 13*x + 14. Is n(d) a multiple of 18?
False
Suppose -14*b + 8159 = 27*b. Is b a multiple of 6?
False
Let g = -1 + -5. Let n = -4 - g. Suppose 255 = 3*c - d + n*d, d - 169 = -2*c. Does 30 divide c?
False
Suppose -4 = -j - 2. Suppose k - 1 = 3*l + j, -4*k - 5*l + 29 = 0. Is (4/k)/(8/240) a multiple of 9?
False
Let r be (-7 + 4)*4/(-6). Suppose -31 = -r*t - 7. Suppose t + 3 = 3*o. Is o a multiple of 3?
False
Let h(a) be the first derivative of a**3/3 - 25*a - 15. Is 30 a factor of h(15)?
False
Let u = 6304 - 2460. Is u a multiple of 114?
False
Let u(x) = -3*x**3 - 15*x**2 - 2*x + 5. Is u(-5) a multiple of 5?
True
Let o(s) = 12*s**2 - 5*s + 9. Let v be o(6). Is 19 a factor of (-12)/21 - v/(-21)?
True
Let z = 38 - 31. Let g be 2 - 9/3 - -3. Suppose -g*u = -2*p, 0 = -u - p + z + 1. Is 2 a factor of u?
True
Suppose -5*q - 3*n = -1640, 0 = 2*q + n - 552 - 103. Does 4 divide q?
False
Let w = 43 - 30. Suppose 0 = w*s - 10*s - 312. Is s a multiple of 35?
False
Suppose -8*v + 13*v = 20. Suppose v*j + 2*g + 3 - 157 = 0, j + 3*g 