+ p - 10*p - p**3 + 4*p - 5*p**2. Is 5 a factor of c(-6)?
True
Suppose -5*z - 169 = -a, -3*a + 493 = -0*z - z. Let w be a/(-8) + (-2)/(-4). Let r = 5 - w. Is r a multiple of 12?
False
Suppose -4*m + 0 + 12 = 0. Suppose 2*y - y + 3*l = -17, 0 = 5*y + m*l + 25. Let q(w) = 3*w**2 - 2. Is 5 a factor of q(y)?
True
Let k be (-3)/(-2)*8/(-12). Is 22 a factor of k/1*(-118)/2?
False
Suppose -4*u + 26 = -478. Is 10 a factor of u?
False
Let a(j) = -j**3 - 6*j**2 + 3*j - 8. Let w be a(-7). Suppose c + w = 5*c. Suppose 0 = c*l - 154 - 166. Does 22 divide l?
False
Suppose 2*r = -0*r - 14. Let z = r + 22. Does 15 divide z?
True
Suppose 3 = j, -5*j = 2*y - 2 + 3. Is 21 a factor of (42/y)/((-3)/24)?
True
Is 9 a factor of (210 - 1) + 13/(52/(-12))?
False
Let d(m) = -3*m**3 + 4 + 4*m**3 + 8*m + 7*m**2 - 2*m**3. Let h be d(9). Let i = 120 + h. Does 17 divide i?
True
Suppose -3*n + 6 = -2*n. Let x = n - 2. Let w = 17 + x. Does 21 divide w?
True
Let o(m) = m**2 + 6*m + 4. Suppose 3*t - 2*y + 19 = 0, -53 = 3*t + 3*y - 14. Is o(t) a multiple of 18?
False
Suppose 0 = -5*c + 60. Suppose -22 = -s + c. Is 12 a factor of s?
False
Suppose 5*n - 8*n = -3. Is 14 a factor of 32 - (2 - (n + 2))?
False
Let r = -55 - -88. Suppose r = 2*a + 11. Is a a multiple of 11?
True
Let q = 143 - 38. Does 21 divide q?
True
Let p(z) = -z + 2. Let b be p(4). Let l be (0 - b)/((-2)/(-52)). Suppose 4*j = -0*j + l. Does 9 divide j?
False
Let t(b) = 2*b**2 + 5*b - 5. Let i be t(-5). Let z = 4 - i. Let c = -10 - z. Is 3 a factor of c?
True
Let j = 120 + -77. Is j a multiple of 17?
False
Suppose 4*x + 0*x - 36 = 0. Suppose 0 = j + 2*j - x. Suppose j*n = 6*n - 24. Does 3 divide n?
False
Suppose -2*j = 3*q - 584, -4*j = -q + 74 + 102. Does 32 divide q?
True
Suppose -3*a - 73 = -4*a. Is a a multiple of 44?
False
Does 16 divide (14 + 94)*4/3?
True
Let g be (-19)/(((-2)/21)/2). Let m = 235 - g. Is 9 a factor of (-6)/15 + m/(-10)?
False
Let l = -48 + 67. Is l a multiple of 4?
False
Let b be (-4)/(-18) + 4/(-18). Suppose y - 5*j - 20 = 0, 7 = -3*j - 2. Suppose b = 3*c - y*d - 42, -c + 0*d + 5*d + 4 = 0. Is c a multiple of 12?
False
Suppose -7*y = -5*y - 72. Is 6 a factor of y?
True
Suppose x + 69 = 2*x + 4*i, -5*x + i = -408. Is 4/3*x/18 a multiple of 3?
True
Suppose -x - 5*k = -55, 2*k + 18 = x - 37. Suppose -3*z = 2*z + x. Let p = z + 42. Is p a multiple of 15?
False
Let u(a) = -15*a - 2. Let n = -4 + 2. Is u(n) a multiple of 15?
False
Suppose -3*q = -4*q - 2*c + 12, 0 = -2*q + 2*c + 30. Suppose -5*k = 4*w - 70, k - 3*w - q = -6*w. Does 9 divide k?
False
Let t(d) = d**3 + 6*d**2 + 4*d + 11. Is t(-5) a multiple of 8?
True
Is 9 a factor of (-17)/(((-3)/(-2))/(-3)) - -2?
True
Let i = -11 + 16. Suppose 1373 + 1582 = i*z. Is 13 a factor of z/15 + 2/(-5)?
True
Let l = -14 - -10. Is 16 a factor of (6/l)/((-9)/162)?
False
Is 1/(-8) - ((-4226)/16 + -1) a multiple of 36?
False
Is -3 + 8/2 - (-4 - 155) a multiple of 16?
True
Let a(z) = 19*z + 4. Does 20 divide a(4)?
True
Let k(o) = -5*o**3 - 16*o**2 - 17*o - 15. Let y(w) = w**3 + w**2 + w + 1. Let r(d) = k(d) + 4*y(d). Is r(-11) a multiple of 11?
True
Let x be 5/((-5)/(-26)) - -2. Suppose 0 = 5*s + 4*m - 40 + 11, -4*s + x = 2*m. Suppose 5*h + n - 104 = -s, 0 = -3*h + n + 65. Is 10 a factor of h?
True
Let r be 2 + (1 - 2) + 3. Suppose -3*y + 0 + 48 = 0. Let l = y - r. Is 11 a factor of l?
False
Let n(m) = 47*m**2 - 2*m - 3. Does 12 divide n(-1)?
False
Let t = 109 + 155. Is t a multiple of 50?
False
Suppose 4*r - 117 = r. Is 13 a factor of 3 - (-1 + -1*r)?
False
Let s(w) = w**3 - 13 + 30 - 7*w - 12 - 7*w**2. Is s(8) a multiple of 13?
True
Let r be -1 - ((-1 - 0) + -3). Suppose 7*y - 140 = r*y. Does 7 divide y?
True
Suppose -4*b = 3*m - 132, 2*b = m + 3*b - 45. Does 4 divide m?
True
Let q(j) = 2*j**2 - 2*j + 5. Is q(-3) a multiple of 6?
False
Let y = -9 - -20. Let r = 9 + y. Is 12 a factor of r?
False
Let v = -65 + 100. Is 11 a factor of v?
False
Let f(q) = -q**3 + 2*q**2 - 3*q + 1. Let w be (-4)/2 + 8/2. Let k be f(w). Is 5/(k/(-4))*8 a multiple of 16?
True
Let y be 3/(-5) - 69/(-15). Suppose -5*v - 5 = -j - 24, -y*j + 49 = 5*v. Is 3 a factor of j?
True
Does 11 divide 8/3*99/6?
True
Suppose -156 = 8*k - 11*k. Is 29 a factor of k?
False
Suppose 3*f - 78 - 7 = -5*l, -3*l = -4*f + 152. Suppose -f = -5*j + 20. Does 7 divide j?
False
Let m be (30/20)/((-3)/(-4)). Suppose -w = -4*w + 3*u + 51, -3*u + 14 = m*w. Does 13 divide w?
True
Let z be 66*3/((-6)/(-4)). Suppose 4*n + 4*c - z = 0, -4*n - 3*c - 2*c + 127 = 0. Does 17 divide n?
False
Let w(m) = m + 7. Let i be w(0). Let n(t) = t - 4. Let h be n(i). Is -1 + (-2 + 11 - h) even?
False
Suppose -17 = -q + 5. Is 15 a factor of q?
False
Let b be 1*(-3 - (1 + 1)). Let u = b - -9. Suppose 102 = u*k - 122. Is 21 a factor of k?
False
Is 9 a factor of -2 + (-20)/(4/(-4))?
True
Let s(j) = -j**2 + 9*j - 8. Let u be s(6). Let a(f) = 12*f + 16. Is a(u) a multiple of 38?
False
Let u = -72 - -112. Is 8 a factor of u?
True
Is (1*(12 - -1))/(2/4) a multiple of 13?
True
Let f = -12 + 27. Let y = f + -9. Is 4 a factor of y?
False
Suppose -7*j = -944 + 153. Is 14 a factor of j?
False
Suppose -n + 4 - 10 = 0. Let u be (-392)/n - (-4)/6. Suppose 2*y = u + 18. Is y a multiple of 21?
True
Suppose -60 = -3*d - 3*k, 6*d - 3*k - 100 = d. Is 5 a factor of d?
True
Suppose 0 = y + 4*k - 120, 4*k - k = -3*y + 324. Suppose 3*b + 5*j - y = 0, b + 4*j = -4*b + 182. Does 11 divide b?
False
Suppose 3*f + i = 14 + 20, -3*f + i + 38 = 0. Is 12 a factor of f?
True
Suppose 7*f - 16 = 3*f. Suppose 0 = 4*y - 0*y + f*l - 48, -y + 2*l = -15. Is y a multiple of 5?
False
Let a(i) = -12*i**3 - 2*i**2 - 5*i - 8. Is a(-2) a multiple of 15?
True
Let l = -80 - -249. Is 15 a factor of l?
False
Let q = 10 + -14. Let y = 0 + q. Is (-2)/(-4) - 18/y a multiple of 3?
False
Let k be 2/3 + (-2)/(-6). Let r(s) = -s**2 - 3*s**3 - s**3 + 9*s**3 + 2*s**2. Does 4 divide r(k)?
False
Is 18 a factor of 3/18 - (-215)/6?
True
Let u(t) = 4*t + 2. Suppose 1 - 4 = -x. Does 5 divide u(x)?
False
Let z(n) = -n**3 - 3*n**2 - n + 3. Is 6 a factor of z(-3)?
True
Let l(j) = 0*j + 2 - 1 - 4 + j. Let h be l(6). Does 3 divide h - 0 - (0 - 0)?
True
Suppose -140 = -2*v - 12. Does 17 divide v?
False
Let h be 166 - 1 - (-1 - 1). Suppose 4*o - 4*x = 72, -5*o - x - 53 = -h. Is o a multiple of 8?
False
Let u = -8 - -2. Is 12 a factor of (-313)/(-7) + u/(-21)?
False
Suppose 0 = -0*h - 3*h + 6, -2*l = -5*h + 2. Suppose 4*p = 5*p - l. Is 3 a factor of p?
False
Is (-3014)/(-33) - 2/6 a multiple of 22?
False
Suppose 2*y - 3*y = -3. Suppose -q - y*q = -36. Is q a multiple of 3?
True
Let k = 1 - -13. Is 14 a factor of k?
True
Let j(k) = -5*k**2 + 0 + 3*k**2 + k - 3*k**3 - 1 - 1. Is j(-2) a multiple of 4?
True
Let q(r) = -7*r**2 - 23*r - 29. Let s(v) = 4*v**2 + 12*v + 15. Let g(a) = -3*q(a) - 5*s(a). Is g(-9) a multiple of 6?
True
Is (135/6)/(4/8) a multiple of 5?
True
Let z(n) = -9*n - 5. Does 7 divide z(-7)?
False
Let b(l) = -l**2 - 9*l + 2. Let d(q) = q. Let j(g) = -b(g) - 3*d(g). Suppose 2*h = -5*z + 12, z + h - 12 = 3*h. Is 19 a factor of j(z)?
True
Let t = -16 + 47. Is 11 a factor of t?
False
Let r = 7 + 11. Does 6 divide r?
True
Is ((-10)/4)/((-3)/12) a multiple of 5?
True
Let s(m) = 2*m**2 - 3*m + 6. Let l(y) = y**2 - 3*y + 5. Let u(z) = -4*l(z) + 3*s(z). Suppose 4*k + 4 = -12. Is 7 a factor of u(k)?
False
Suppose 4*n - 25 = -s, -2*n - 10 = -4*s + 2*s. Let o(k) = -3 - s + 0 - 3*k. Is o(-8) a multiple of 12?
True
Let c be 4/(-14) + 58/7. Let b(x) = x**2 - x - 12. Let l be b(-4). Let w = l + c. Is w a multiple of 8?
True
Let r(w) = -21*w**2 + 15*w + 15. Let t(s) = -11*s**2 + 8*s + 8. Let q(a) = -6*r(a) + 11*t(a). Is 3 a factor of q(-1)?
False
Suppose 20 = 2*k + 3*k. Suppose 0 = -k*s + 16 - 4. Is s even?
False
Suppose -2*l + 2 = -0*l. Suppose -59 = -3*a + l. Is 20 a factor of a?
True
Let n(y) = y**3 - 11*y**2 + 11*y - 7. Let j be n(10). Suppose -7*d - 4*a + 56 = -j*d, 5*d = 4*a + 34. Let b = 19 - d. Is b a multiple of 9?
True
Suppose 2*j = 4*s - 0*j - 2, j - 5 = -s. Let t(w) = 6*w**2 - w - 1. Let c be t(s). Let p = c - 5. Does 7 divide p?
False
Let a = 36 + -24. Does 4 divide a?
True
Suppose 3*b + 5 = h - 21, 3*h + 3*b - 78 = 0. Is h a multiple of 13?
True
Let l = 10 - 5. Let j = 10 + l. Is j a multiple of 