x(p). Let f = -9 + 20. Is 9 a factor of j(f)?
False
Let a be 129/(-9) + 2/6. Does 4 divide 4/a + (-1100)/(-77)?
False
Suppose -60 = -t - 2*d, 130 = 4*t - 4*d - 50. Is t a multiple of 10?
True
Suppose 6*l - 8*l = -34. Does 15 divide l?
False
Let n = 22 + -14. Does 4 divide n?
True
Suppose x - 99 = -3*n, x - 2*n + 101 = 2*x. Is 28 a factor of x?
False
Suppose -5*x - z = -155, x - 7*z - 31 = -3*z. Does 9 divide x?
False
Let n = 18 - 9. Does 9 divide n?
True
Let w(x) be the third derivative of 9*x**4/8 - x**3/6 + 3*x**2. Is w(2) a multiple of 25?
False
Suppose -18 = -a - 5. Let r = a + -8. Suppose -n + r + 3 = 0. Is n a multiple of 6?
False
Does 17 divide ((-2)/(-4))/(2 + 99/(-50))?
False
Does 7 divide 1 - (1 - -1) - (1 - 80)?
False
Suppose -f + 615 = 4*i, -4*i + 5*f + 180 + 465 = 0. Does 21 divide i?
False
Let a be (-4)/(-6)*(8 - 5). Suppose -b - 3 = a*n, -5*n + 0*n - 3 = -2*b. Let d = 22 + n. Does 8 divide d?
False
Suppose 0 = -2*i - i. Suppose -2*c - 2*n + 112 = i, 4*c - 21 = -n + 194. Is 19 a factor of c?
False
Suppose -d = -k - 5, 2*k = 4*d - 10 - 4. Suppose d*l = -l + 51. Is l a multiple of 17?
True
Let a(q) = 0*q**2 - 1 + q**2 - 7*q - 8. Is a(10) a multiple of 6?
False
Is 21 a factor of (2 + 1)*(2 + 12)?
True
Let l be 6/14 + (-55)/(-35). Does 3 divide (1/3)/(l/66)?
False
Suppose -5*a + b = -3*b - 50, 0 = a + 5*b + 19. Suppose 0 = -2*p - p + a. Suppose -p*r + 57 = -5*i, i = -7 + 4. Does 20 divide r?
False
Suppose -44*n + 140 = -42*n. Is 24 a factor of n?
False
Suppose -2*t - 1 = -o + 27, 2*o + 4*t - 72 = 0. Does 16 divide o*((-8)/(-4))/2?
True
Suppose -4 - 10 = -a + 5*j, 4*a - 3*j = 5. Let h = a - -4. Suppose -2*o + 105 = h*o. Is o a multiple of 21?
True
Let s be (-15)/(-6)*8/10. Let j(f) = f. Let a be j(s). Suppose a*r + 2 = l, -5*r + 4 = -1. Is l a multiple of 2?
True
Is (-3)/(-6) - 39/(-6) a multiple of 7?
True
Suppose 0 = q - 57 - 38. Let m = q + -55. Does 19 divide m?
False
Let x(j) = 4*j - 12. Suppose 5*c + 0*c = 45. Is x(c) a multiple of 8?
True
Let c(m) = m**2 + 7*m - 10. Let b(k) be the second derivative of -k**4/12 - 7*k**3/6 + 11*k**2/2 + 2*k. Let n(j) = -2*b(j) - 3*c(j). Does 4 divide n(-7)?
True
Let v(j) be the second derivative of j**8/1120 - j**6/360 - j**4/12 + 2*j. Let q(a) be the third derivative of v(a). Does 22 divide q(2)?
True
Let r be 2/(-6)*(1 + -1). Suppose i + 3 = 0, r = 3*w - 2*i + 3*i - 132. Does 16 divide w?
False
Does 14 divide (-3)/((45/258)/(-5)) + -3?
False
Let k be 28/10 + 3/15. Suppose 0 = -6*l + 3*l - k. Does 20 divide (52 - l)/(3 - 2)?
False
Suppose -5*j + 4*o + 21 = -16, -2*j = 4*o + 2. Is j a multiple of 5?
True
Let a = 0 + -11. Let u = a - -19. Does 8 divide u?
True
Suppose -4 = 2*u + 4. Let w = 12 + u. Is 8 a factor of w?
True
Let v(k) = 3 - 3*k + 4*k**3 - 3 + 1. Does 9 divide v(2)?
True
Let z be -6 - (-2 - 0/(-1)). Let x = z + 4. Suppose 3*p - p - 36 = x. Is 18 a factor of p?
True
Let b = -25 - -15. Let g = -5 - b. Does 3 divide g?
False
Let s(m) = -5*m**3. Let r = 0 + -2. Does 23 divide s(r)?
False
Suppose 8*m - 3*m + 5 = 0, 5*s + 10 = 5*m. Let w(d) = -d + 3. Let o(x) = -x. Let y(c) = 3*o(c) - w(c). Is 3 a factor of y(s)?
True
Let k be 10 - (-6)/(-4)*-2. Suppose 0*y - 2*y + 12 = 0. Let u = k - y. Is 6 a factor of u?
False
Suppose 12 = -3*q, 2*q = z + 3*z - 28. Suppose 54 + 96 = z*i. Suppose 3*d - 1 = 5*w - i, 3*w - 6 = -2*d. Does 4 divide w?
True
Let y = -31 + 58. Is 9 a factor of y?
True
Let v(j) = j - 23*j**3 - 44*j**3 - 2*j**2 - 2*j. Does 22 divide v(-1)?
True
Is 434/10 - (28/20 - 1) a multiple of 9?
False
Let m be 10/15*(-93)/(-2). Suppose 5*p - 6*p + m = 0. Does 8 divide p?
False
Let c be (1 - -1)*-1 - 2. Let b(u) = -7*u - 5. Is b(c) a multiple of 11?
False
Suppose 7*q = 2*q + 80. Let j = -71 - q. Let b = -39 - j. Does 13 divide b?
False
Suppose 2*j = 87 - 3. Is 14 a factor of j?
True
Let q(g) = -4*g - 9. Let c = -9 + 2. Is q(c) a multiple of 18?
False
Let d = -71 + 155. Is d a multiple of 21?
True
Let v(t) = -2*t - 2. Let l be ((-6)/10)/(4/20). Is 2 a factor of v(l)?
True
Let k be (-8)/(-2)*(-2)/(-4). Suppose -t - 125 = -k*n, -4*n + 5*t = -212 - 35. Does 16 divide n?
False
Let g = -24 - -8. Suppose 0 = -4*u + 7*u - 78. Let w = g + u. Is w a multiple of 10?
True
Let s(w) = 35*w**3 + w**2 - 2*w. Does 5 divide s(1)?
False
Let q = -3 - -12. Is 9 a factor of q?
True
Suppose 0 = -2*b + 12 - 2. Suppose -12 = -b*h + 13. Is h a multiple of 5?
True
Suppose -a - 5 = 0, b - 1339 = -2*b - 4*a. Is 22 a factor of b?
False
Suppose 0*j = -3*j + 132. Suppose 2*o = -0 + j. Does 6 divide o?
False
Suppose -r - 3 = -5*v - 77, -r = 2*v - 109. Is r a multiple of 11?
True
Is 195/(-15)*-2*1 a multiple of 13?
True
Let c(q) = q**3 - 8*q**2 + 4*q - 2. Let w be c(7). Let i = 4 + w. Let x = i + 45. Does 10 divide x?
False
Let d(u) = -2*u - 5. Let o be d(5). Let s be 890/o*6/(-4). Let c = s + -50. Does 17 divide c?
False
Let z be 3/(-6)*-1*4. Suppose g = 2*t + 7, 0 = 3*g + g - z*t - 16. Does 3 divide g?
True
Suppose o + 5 = -4*m + 21, -o - 2*m + 12 = 0. Is 8 a factor of o?
True
Let f = 7 - 9. Let l = f + 12. Does 10 divide l?
True
Let g(v) = -29*v + 1. Let u be g(-1). Suppose 0*x + 3*d - 12 = -4*x, -3*x = -3*d - u. Let z = -1 + x. Is 3 a factor of z?
False
Let c = 46 - 31. Suppose -i + c = -38. Let a = -30 + i. Is a a multiple of 8?
False
Let z = 337 + -241. Suppose -3*v = -7*v + z. Does 24 divide v?
True
Let k(u) = 51*u + 20. Is 43 a factor of k(4)?
False
Suppose 0*n - 2*n - 2*m + 34 = 0, 0 = 2*n - 2*m - 54. Is n a multiple of 22?
True
Let o = -220 - -460. Is 48 a factor of o?
True
Suppose 5*d - 16 = 4*d. Suppose -3*u - u = d. Let k(b) = -3*b - 6. Is 2 a factor of k(u)?
True
Let d(q) = q**2 + 9*q - 8. Let k be d(-10). Suppose k*v + 2 = 24. Does 11 divide v?
True
Let u be (-1464)/28 - 2/(-7). Let p = 81 + u. Suppose 3 = 4*v - p. Is v a multiple of 4?
True
Suppose -18 - 6 = -4*p. Let r = p - -6. Does 12 divide r?
True
Suppose -7*q + 40 = -3*q. Suppose -3*z + q = 2*z. Is 9 a factor of 1 + 17 + z + -2?
True
Let t(x) = 8*x**3 + 4*x**2 - 2*x - 4. Let k(w) = w - w**3 - w**2 + 0*w + 2 - 3 + 2. Let z(h) = 3*k(h) + t(h). Is 3 a factor of z(1)?
True
Let j(n) = -12*n + 1. Let y = 1 + -4. Let x = y + 1. Does 14 divide j(x)?
False
Let x = 51 + -92. Let q be -183*5/(-3*5). Let g = q + x. Is g a multiple of 10?
True
Suppose -o - 2457 = -8*o. Is 13 a factor of o?
True
Let w(a) = a**3 - 4*a**2 + 4*a + 1. Let t be w(3). Let o = t - -6. Is 10 a factor of o?
True
Suppose -3*b + 8*b - 10 = 0. Suppose 5*j = 4*j + b. Let a = j - -26. Is a a multiple of 23?
False
Let g = -133 - -378. Suppose 6 = s - 3*l, 5*l + 3 + 2 = 0. Suppose g = s*r + 2*r. Is r a multiple of 17?
False
Suppose 0 = a + 3, -8*u = -11*u + a + 1263. Does 15 divide u?
True
Suppose 16 = -q + 5*q. Let g(o) = 6*o - 6. Is g(q) a multiple of 13?
False
Let g be (1 + -5)/(18/(-9)). Suppose 4 = i - g. Is i a multiple of 3?
True
Let i(a) = a**3 + 7*a**2 - 2*a - 4. Let j be i(-7). Let l(y) = -y**3 + 12*y**2 - 15*y + 1. Is l(j) a multiple of 17?
True
Let q(r) = -5*r + 7. Let y be (-1)/4 + 69/(-12). Let w be q(y). Suppose -2*g + w + 29 = 0. Is 12 a factor of g?
False
Let i be (-1)/(-4) + 110/8. Let z = i + -26. Is (64/z)/(1/(-3)) a multiple of 8?
True
Suppose 0*j + 92 = 2*j. Suppose j + 14 = 3*s. Is s a multiple of 7?
False
Let p(g) = 5*g - 2. Let s be p(4). Suppose 3*f + 2*t - 24 - s = 0, -2*t + 14 = f. Is 7 a factor of f?
True
Let r(p) = -p**3 - p**2 - 2*p + 35. Let b be 2/(-3) + (-28)/(-42). Does 13 divide r(b)?
False
Suppose d = -5*m - 34 + 12, d + 3*m = -18. Let f = d + 20. Is 5 a factor of f?
False
Is (-21 + 23)/(4/30) a multiple of 13?
False
Let i(n) = 6*n - 5. Does 4 divide i(4)?
False
Let j = 79 - 42. Is 10 a factor of j?
False
Let l = 71 + -22. Suppose 0*c = 3*c + 2*i - l, c - 2*i = 11. Is 4 a factor of c?
False
Let m(v) = -v**3 - v. Suppose -4*y + 5*p - 5 = 0, 0 = 5*y + 5*p - 8 + 3. Let j be m(y). Suppose j*a + 84 = 2*a. Does 21 divide a?
True
Let p(g) = -g**3 + 5*g**2 + 12*g - 4. Suppose 4*b - 18 = b. Is p(b) a multiple of 32?
True
Let f = 364 - 0. Is f a multiple of 63?
False
Let t be (-32)/10*(-7 - -2). Does 11 divide 460/t + 2/8?
False
Suppose 0 = 5*l + 2*i + i - 12, -2*i = 2*l - 4. Suppose 1 - 34 = -l*x. Is x a multiple of 7?
False
Let l be (2 - (-2 + 2))/1. Is (l + 1)/(2/4)