+ p**2 - 3*p - 2. Let u be n(-2). Suppose f*q + q - u = 0. Is 16 a factor of q?
True
Let o be 2 + -5 + (-2 - -7). Suppose 0 = -o*g - 0*g + 28. Is g a multiple of 7?
True
Suppose 0 = 5*n + 3*l + 20, 0 = -6*n + n + l. Does 25 divide 25*2 - 1 - n?
True
Suppose 4*f + 4 = -3*r + 2*r, r - 5*f = 14. Is r a multiple of 2?
True
Let b(y) = y**3 - 5*y**2 - y - 6. Let k be b(6). Let i = 24 + k. Does 13 divide i?
False
Suppose -2*t = -0*t. Suppose f + f - 12 = t. Is 3 a factor of f?
True
Is 136 + (-1)/(-1 + (-20)/(-15)) a multiple of 6?
False
Let p be (1/(-3))/((-4)/60). Suppose -4*g = p*i - 47, 0*g + 4 = -g + 4*i. Is 5 a factor of g?
False
Let n be 2/((-1)/((-5)/2)). Suppose n*g - 16 = -1. Suppose g*h + m - 12 = 51, 2*h - 41 = -m. Does 11 divide h?
True
Let r = 74 + -34. Is r a multiple of 10?
True
Let w(i) = 5*i**2 + i + 3. Let a(v) = -36*v**2 - 8*v - 22. Let m(q) = -6*a(q) - 44*w(q). Let o be m(3). Let k = o - -36. Is k a multiple of 6?
True
Suppose -4*a = -5*t + 821, 10*a = -5*t + 9*a + 826. Is 13 a factor of t?
False
Suppose 4*u - 2 = 5*d + 8, -2*d = 3*u - 19. Suppose -3*j - 91 + 253 = -3*x, u*j + 3*x - 286 = 0. Does 14 divide j?
True
Let g(w) = 13*w**2 + w + 3. Is 19 a factor of g(-3)?
False
Let a be 0 - 2/(-6)*-3. Does 5 divide a + -2 + 2*9?
True
Let r = 234 + -134. Is 20 a factor of r?
True
Suppose -w = 5, 8*w - 3*w + 17 = 4*z. Let f = z + 6. Suppose -f*v = 5*b - 56, 2*b + 0*v - 23 = -v. Does 6 divide b?
True
Suppose -3*b - 3*v = 2*b + 295, -3*b - v - 181 = 0. Let s = -38 - b. Does 12 divide s?
True
Let z be 1/((1 - 3)/(-10)). Suppose -4*p - z*k + 403 = 62, -5*p + 405 = 2*k. Does 20 divide p?
False
Suppose -273 = -4*j - 5*f, -3*f = 4*j - 2*f - 253. Suppose z - 5*i = 51, 0 = 2*z - 0*z - 2*i - j. Is 13 a factor of z?
True
Suppose 3*s + 2*s = 185. Is 13 a factor of s?
False
Let t(w) = 8*w - 44. Does 17 divide t(13)?
False
Let u(z) = -z**3 - 6*z - 4 + 3*z**2 + 15*z - 13*z**2. Does 4 divide u(-11)?
False
Let z be 1 - (-1 - -1 - 1). Suppose -2*s - f = -7 - 133, -2*f + 144 = z*s. Suppose s = 5*u - 72. Is 14 a factor of u?
True
Suppose -11 - 10 = -3*m. Let d = m + -5. Is (-6)/(-4) - (-1)/d a multiple of 2?
True
Let i(l) = -2*l + 2. Let z be i(3). Let b(n) = -10*n + 1. Does 17 divide b(z)?
False
Suppose 302 = 5*q - 4*k, 5*k - 6 = q - 58. Is q a multiple of 14?
False
Let d be (-2)/(-6) - (-1211)/21. Let x(f) = -f**3 + 6*f**2 + 2. Let u be x(4). Let i = d - u. Is 13 a factor of i?
False
Suppose -8*j + 119 = -j. Is j a multiple of 7?
False
Suppose -12*z + 1256 = -2680. Does 41 divide z?
True
Let g(p) = -p**2 - 8*p + 12. Let z be g(-9). Suppose -5*m - z*o = -101, -3 = -5*o + 7. Let v = 27 - m. Is v a multiple of 8?
True
Let w(z) = -29*z**3 + z**2 - z - 1. Let v be w(-1). Is 1/((-3)/v)*-4 a multiple of 21?
False
Suppose 0 = 2*d - 3*d + 2. Let n = d + 0. Is n/4*(26 + 0) a multiple of 13?
True
Let s(n) be the first derivative of n**4/4 + 5*n**3/3 - 7*n**2/2 + 2*n - 2. Suppose 12 = -0*b - 2*b. Is 7 a factor of s(b)?
False
Let s be ((-27)/(-12))/(9/(-24)). Does 8 divide (-406)/(-21)*s/(-4)?
False
Suppose 36 = 4*y + 4*p, 0*y + 1 = -y - 3*p. Does 12 divide y?
False
Let p be (-86)/4 + 2/4. Let i = -48 + 11. Let d = p - i. Is 8 a factor of d?
True
Let b(c) = -c**3 + c**2 + c. Let g(n) = 10*n**3 - 6*n**2 - 2*n + 2. Let k(t) = 3*b(t) + g(t). Does 24 divide k(2)?
True
Let l = -68 - -119. Is l a multiple of 17?
True
Suppose -5*o = 25, 2*j - 26 = -j + 4*o. Suppose m + 66 = 2*v, -4*v + j*m = -v - 100. Suppose -v = q - 5*q. Is q a multiple of 3?
False
Let u(t) = t**3 - 6*t + 6. Is 6 a factor of u(3)?
False
Suppose -3*w - 8 = -6*w - 2*z, w + 14 = -4*z. Suppose w = 6*v - 4*v. Let i = v + 6. Does 9 divide i?
True
Suppose -4*h + 747 = -y, -2*h + 2*y + 2*y + 370 = 0. Is 41 a factor of h?
False
Suppose 0 = p + p + 18. Let d = -3 - p. Does 5 divide d?
False
Let c = 0 + 3. Let b(q) = -q**3 + 3*q**2 - 2*q + 1. Let z be b(c). Let m = z + 29. Is m a multiple of 12?
True
Let m(z) = z + 6. Let v be m(-6). Suppose -4*n - 3*g = -24, 2*g - 16 - 14 = -5*n. Suppose -u + n + 7 = v. Is u a multiple of 13?
True
Let w(n) = n**2 + 4*n + 7. Let s be w(-3). Suppose s*o = 22 + 14. Is o a multiple of 2?
False
Suppose 4*j - 15 = -j - 5*x, 4*x - 22 = j. Let o = -4 - j. Is (o - -1)/(1/(-12)) a multiple of 12?
True
Let g = 12 + -7. Let r be 3/(-6)*(-239 + 1). Suppose -r = -g*d + q, -5*q + 51 = 2*d - 2*q. Is d a multiple of 12?
True
Let u be (0/(-2))/(0 - -1). Suppose u = -4*n + 10 + 6. Suppose n*t - 2*t = 36. Is 13 a factor of t?
False
Let t(l) = 7*l + 3. Let o(f) = -4*f - 2. Let b(v) = 5*o(v) + 3*t(v). Is 2 a factor of b(11)?
True
Let a(h) = h**3 - 3*h**2 - 4*h + 4. Let r be a(4). Let p(d) = 3*d - 6. Let f be p(r). Let m(v) = -v**2 + 6*v + 6. Is 3 a factor of m(f)?
True
Let w = -16 - -34. Suppose 3*n - w = -0. Does 4 divide n?
False
Let n(w) = -15*w + 14. Does 18 divide n(-5)?
False
Suppose 5 = -5*t, 373 = -2*l - 2*l - 5*t. Let i = 142 + l. Suppose 0 = -6*s + s + i. Is s a multiple of 4?
False
Suppose -4*z + 14 = -6. Let i = -1 + z. Suppose -x - 3*b + 0*b = -24, 2*x - 40 = -i*b. Is x a multiple of 12?
True
Let b be (-4)/6 + (-17)/(-3). Suppose -h + 1 = b*y, h - 4*y - 1 = -0*h. Is 2 a factor of h*(0 - -2) - -1?
False
Suppose -2*k - 26 = -2*s - s, 0 = s - 4*k - 2. Is 3 a factor of (-15)/s*40/(-6)?
False
Let x = -9 + 25. Does 16 divide x?
True
Let b(i) = i - 7. Let f be b(8). Let t be f*9 + (-2 - -3). Let w = t - -28. Is 18 a factor of w?
False
Is 12 a factor of 11/((-11)/(-178)) + 2?
True
Is -1 - (2 + (-54)/2) a multiple of 18?
False
Let q = 1 - -28. Let r = q - -1. Is r a multiple of 15?
True
Let a(f) = f**2 - 9*f - 2. Does 10 divide a(21)?
True
Let y(j) = 3*j**2 - 6*j - 5. Let n be y(-5). Suppose -5*p + 100 = 4*a - 7*a, a - n = -5*p. Suppose 0 = -4*w - 0 + p. Does 5 divide w?
True
Is -1 + 5 + 157 - (-6)/(-2) a multiple of 15?
False
Let t be ((-132)/(-8))/(3/4). Suppose 3*g - 2*g - t = 0. Does 20 divide g?
False
Let w(d) = 2*d**2 + 5*d + 6. Suppose 2*c - c + 4*h + 16 = 0, -28 = 4*c + 4*h. Is w(c) a multiple of 18?
True
Let x(p) = 9*p**2 - p - 9. Suppose 0 = -a + 6 - 1. Let b(i) = 22*i**2 - 2*i - 22. Let j(r) = a*b(r) - 12*x(r). Does 5 divide j(2)?
True
Let b = -180 + 360. Is 15 a factor of b?
True
Is (-6)/21 - 596/(-28) a multiple of 10?
False
Let f(g) = g**2 + 6*g + 2. Suppose 2*q = -q - 30. Is f(q) a multiple of 11?
False
Let v(a) = -a**2 - 13*a + 16. Let l be v(-14). Suppose 0 = 2*y + l*y - 148. Does 20 divide y?
False
Let p(t) = -4*t + 8. Does 4 divide p(-5)?
True
Let n(a) = -a**3 - 18*a**2 - 21*a + 10. Does 11 divide n(-17)?
False
Is (24/(-15))/(1/170*-4) a multiple of 4?
True
Let k = 12 + -17. Let a = k - -8. Suppose -3*f - 48 = -2*n, 7*n - a*n - 78 = -3*f. Is n a multiple of 21?
True
Let c(i) = -i**3 + 4*i**2 + i + 8. Let f(r) = r**3 - 7*r**2 - 6*r - 7. Let y be f(8). Let p be c(y). Does 17 divide p/(-20) + (-4)/10?
False
Let q be (-2)/(-5)*(-9 - 1). Does 17 divide 73/2 + 6/q?
False
Let w(q) = -3*q + 5. Let u(f) = -5*f + 10. Let t(i) = 6*u(i) - 11*w(i). Is t(6) a multiple of 11?
False
Let z = 14 + -9. Let v(x) = 7 + z*x**3 + x**2 - 4*x**3 + x - 3. Is 4 a factor of v(0)?
True
Let w = 5 - 8. Let n be (1104/60)/((-4)/30). Is (-1)/(w/n*-1) a multiple of 21?
False
Let o(c) = 59*c**3 + 1. Is 15 a factor of o(1)?
True
Suppose 0 = m + 3*m - 124. Does 23 divide m?
False
Let n = -2 - -10. Let c = n + 1. Does 4 divide c?
False
Let t be -2 + (-1 - 0)*0. Let r be (-1 - t)/(4/8). Suppose 3*n = r*x + 85, 0 = -2*n - 4*x + 3*x + 52. Is n a multiple of 14?
False
Does 21 divide ((48/9)/4)/((-4)/(-426))?
False
Let l be (4 - 8)/((-2)/3). Suppose 0 = 2*q + 5*o - 27, -2*q = -l*q + 2*o + 66. Does 4 divide q?
True
Let t = 116 + -45. Does 6 divide t?
False
Suppose 5*l = -20, 3*h - 68 = 6*l - l. Let u(f) = 2*f - 8. Let j be u(6). Suppose -j*v - 4 + h = 0. Is v even?
False
Suppose -3*p = 5*f - 295, p - 76 - 34 = -4*f. Does 18 divide p?
True
Suppose -3*y + 462 = 2*y + 3*s, 4*s - 16 = 0. Is y a multiple of 18?
True
Let r = 294 + -145. Is r a multiple of 21?
False
Let y be 8/3 + 6/18. Suppose 2*p + 151 = b, 0*p = 3*b - y*p - 444. Suppose 5*d = -h + b, 0 = -4*d + 4*h + 53 + 39. Is d a multiple of 14?
True
Suppose 4*n = n - 12, 4*n = 4*c - 400. Is 16 a factor of c?
True
Suppose -149*s + 143*s = -96. Is s a multiple of 4?
True
S