 r + 32. Let z = 7 + -7. Is n(z) a multiple of 15?
False
Let h = -219 - -308. Does 13 divide h?
False
Let h = -9 - -12. Suppose -2*z + 6*p + 29 = p, -5*z + 25 = -h*p. Suppose z*c + 0 = 22. Is 5 a factor of c?
False
Let g(p) = -p**2 + 7*p - 7. Let y(v) = -v**2 + 8*v - 8. Let i(b) = 3*g(b) - 2*y(b). Let s be i(7). Let m = 27 + s. Is 4 a factor of m?
True
Let u(o) be the second derivative of 0*o**4 + 0 + 1/10*o**5 - 2*o + 3/2*o**2 - 2/3*o**3. Is 11 a factor of u(2)?
True
Suppose -2*m + 2*g = -0*m + 2, 0 = -m + 4*g - 10. Let t(c) = c + 3. Let p be t(-4). Does 11 divide p/(m + (-86)/42)?
False
Let k(s) = s**2 + 17*s - 9. Let u be k(-17). Let f = 17 + u. Is 8 a factor of f?
True
Let g(i) = -4*i**3 - 1. Let b be g(-1). Suppose d + b*j = 12, 3*d - 3*j = 2*j + 92. Is 6 a factor of d?
True
Let l(r) be the third derivative of r**4/6 + r**3/3 - 4*r**2. Is 14 a factor of l(3)?
True
Let x = 8 - 21. Let p = -18 - x. Let v = p - -11. Does 6 divide v?
True
Let o be 2/(-2)*(-5 + 0). Suppose 0*c = 5*c + o*h - 15, -c + 3*h + 15 = 0. Does 3 divide c?
True
Let j = 81 + -123. Is 42/4*(-28)/j a multiple of 7?
True
Suppose 0 = 3*f - 2*v + 5*v - 123, 3*f - 123 = -v. Does 14 divide f?
False
Let v(j) = j**3 - j**2 - 2*j + 14. Does 6 divide v(0)?
False
Let s(h) = -4*h**2 - 3*h**2 - 2 + 6*h**2 + 4 - 9*h. Does 8 divide s(-7)?
True
Suppose 7*q - 4*q + 48 = 0. Is 3 a factor of q/88 + (-312)/(-22)?
False
Suppose -3*f + 17 = -5*y - 2, 0 = -4*y + f - 11. Does 7 divide (-6)/(4/y) - -11?
True
Let p = 11 - 7. Suppose -z - 3*z + 28 = 2*g, -z + p*g = 11. Suppose -2*f - 4*r + 130 = 3*f, -z*f = -2*r - 100. Does 10 divide f?
False
Let g(f) = -74*f. Suppose 2*y + 3 = 4*z + 11, -4*y = -2*z + 2. Let s be g(z). Suppose 0 = d + 3*q - 17, 3*q = 4*d + 79 - s. Does 16 divide d?
True
Suppose -5*t = -4*b, 2*b - 2*t = 2*t. Suppose b = -5*x + 7 + 13. Let h(z) = 3*z + 1. Is h(x) a multiple of 13?
True
Suppose 3*f + r - 2 = 0, 5*f + 10 = -5*r - 0*r. Let a(t) = 1 - 2 + 3*t**3 + f*t + 5*t**3 - t**2. Does 4 divide a(1)?
True
Let p(o) = o**3 + 5*o**2 + 2. Let q be p(-5). Suppose -4*t + q*t = 22. Let w = t - -16. Is 5 a factor of w?
True
Suppose 21 - 9 = 4*m. Is 4 a factor of 1/m - 50/(-3)?
False
Suppose -z + 175 = 2*y, -z + 3*z + 3*y - 354 = 0. Suppose -t = 2*t - z. Does 17 divide t?
False
Let g = 20 + 18. Is g a multiple of 38?
True
Let n = -166 + 273. Let o be n/7 + (-4)/14. Let b = 0 + o. Does 13 divide b?
False
Is 32 a factor of (-24)/(-32)*16*8?
True
Let z(b) = b + 3. Let x be z(7). Let v be x/(-4)*(-28)/35. Is (-12)/(-1)*v/4 a multiple of 6?
True
Suppose 0 = -5*q + 2*q + 15. Let w(h) = 2*h**2 - 6*h - 7. Let d be w(q). Let f = d + -9. Is f a multiple of 4?
True
Let h(v) = -v**3 - v. Let b(k) = 4*k**3 - k**2 + 3*k - 2. Let n(j) = b(j) + 2*h(j). Let r be n(-2). Is 20/(-3)*r/10 a multiple of 16?
True
Let n = 648 - 320. Suppose -5*j + 5*r - 3*r + n = 0, 3*j = r + 197. Suppose 18 - j = -4*k. Is k a multiple of 10?
False
Let b be (-4)/(-14) + (-19)/(-7). Let i be -1 + b + -5 + -20. Let u = 38 + i. Is u a multiple of 11?
False
Let h be (-8)/20 + (-522)/(-5). Suppose 3*d - h = -d. Does 11 divide d?
False
Let a(g) = -g**3 + g**2. Let q be a(1). Let j = q + -5. Let t(s) = s**2 + 4*s + 7. Does 12 divide t(j)?
True
Suppose 0 = -3*a + 5*a - 4. Suppose -a*v + 6*v + u = 59, 3*v = -4*u + 41. Is 15 a factor of v?
True
Let o(k) = k**2 + 2*k - 3. Let h be o(2). Let s(p) = -p - 7. Let r be s(-7). Let g = h - r. Is 3 a factor of g?
False
Suppose 5*h = 5*v + 105, h + 0 = -5. Let q be (-2)/(-3) - (-620)/15. Let u = q + v. Is u a multiple of 8?
True
Let r(z) = 2*z**3 - z**2 - z + 1. Let b be r(1). Let v = 14 + b. Is v a multiple of 15?
True
Let g(p) = -2*p + 9. Let c be g(7). Let o(q) = -q**3 - 4*q**2 + 7. Let u be o(c). Suppose 0 = -b - 0*r + 2*r + u, 0 = -5*b + 3*r + 125. Is 11 a factor of b?
True
Suppose 0 = -10*j + 28 + 1372. Does 28 divide j?
True
Let j = 11 + -8. Suppose 2*s + j*s + 50 = 0. Let v = s + 20. Is v a multiple of 7?
False
Let u = 33 + 21. Is 0 - 2 - u/(-2) a multiple of 18?
False
Suppose -4*j - 3*k + 41 = 2*k, 5*k = -2*j + 23. Suppose -a = 3, 0*g = -4*g - 4*a. Suppose -w + j = 2*v, -g*v - 2*v + 30 = 5*w. Does 3 divide w?
True
Let m = -17 - -25. Suppose a - 3*a = -m. Let g = a + 4. Does 4 divide g?
True
Let d = 4 - 2. Suppose -4 = -a - d, 5*n - 217 = 4*a. Is n a multiple of 15?
True
Suppose 0 = -4*i, 6*u = 4*u - i + 4. Suppose -2*y - u*y = -88. Is 11 a factor of y?
True
Does 16 divide (-52)/(-39)*3*8?
True
Let b(y) = y**3 - 2*y - 1. Let h(d) = 2*d**3 - 6*d - 3. Let j(k) = -7*b(k) + 2*h(k). Does 14 divide j(-2)?
False
Suppose -i + 5*i = 140. Is i a multiple of 17?
False
Suppose 0 = 3*g + 3, -2*b + 2*g = -136 - 46. Does 10 divide b?
True
Is 6 a factor of -3*(-12)/9 - -20?
True
Suppose 7*r = -4*r + 297. Is 12 a factor of r?
False
Suppose 0*h - 22 = -2*h. Is 4 a factor of h?
False
Suppose 0 = -v - 5*f + 55, v - 2*f - 40 = 22. Is 10 a factor of v?
True
Let k(j) = -j**2 + 14*j - 8. Let g be k(11). Is (20/g)/(1/45) a multiple of 13?
False
Let a(q) be the third derivative of -q**5/20 + q**4/6 - 7*q**3/6 + q**2. Let n(b) = -4*b**2 + 3*b - 8. Let x(t) = 3*a(t) - 2*n(t). Is x(4) a multiple of 3?
True
Let v = -194 + 274. Is 16 a factor of v?
True
Suppose -v + 37 = -203. Does 26 divide v?
False
Let v = 51 - 33. Is v a multiple of 9?
True
Suppose 2*l - l + 71 = 3*t, 0 = -2*t - 2*l + 58. Suppose 3*y + 55 = -u - 4*u, u = 3*y + t. Is 7 a factor of -1 - (y + -2 + -3)?
True
Suppose -2*d + 5*j + 190 = 0, 2 = -4*j - 6. Is 9 a factor of d?
True
Suppose 4*k + 12 = 2*i + 4, 4 = 2*i. Let u(g) = -55*g + 1. Let p be u(k). Suppose 0 = -4*j + 7*w - 3*w + p, 5*j - 52 = -w. Is 9 a factor of j?
False
Suppose i = 2*l - 590, -4*l + l + 2*i + 883 = 0. Is l a multiple of 27?
True
Let n = -9 - -15. Suppose 2*h = 3*h - n. Is 12 a factor of (-4)/h - (-190)/6?
False
Let d(p) = 9*p + 2. Suppose 4 - 2 = 2*r. Does 3 divide d(r)?
False
Let r be ((-3)/2)/(3/6). Let p = r - -5. Suppose 3*x - 51 = 3*s, -2*x + 7*s + 34 = p*s. Is 17 a factor of x?
True
Let b(t) = t**3 - 4*t**2 - 3*t - 6. Let s = -3 - -8. Does 4 divide b(s)?
True
Let w(t) be the second derivative of t**5/60 - t**4/12 - t**3/3 + 3*t**2/2 - 2*t. Let p(z) be the first derivative of w(z). Is 5 a factor of p(-3)?
False
Suppose 0*h - 4*h = -72. Does 6 divide h*(-1)/(-6)*2?
True
Suppose 3 = 4*b - 5, 5*y = 2*b - 4. Suppose 147 = 3*s - 5*a, -a + 3 = -y*a. Is 18 a factor of s?
True
Suppose q + 11 = 2*q. Does 4 divide q?
False
Suppose 2*z + 2*i + 602 = 5*z, -2*i - 1010 = -5*z. Suppose -8*n + z = -4*n. Does 17 divide n?
True
Suppose -c - 2*r + 13 = 0, -4*c - 5*r + 43 - 6 = 0. Suppose -4*a = -c*m + 8*m + 125, 4*m + 136 = 4*a. Let j = m + 54. Is j a multiple of 22?
False
Let l(t) = 39*t + 1. Let m be l(1). Suppose m = 2*g + 3*g. Suppose -3*c + 4*a + g = -a, -2*c = 4*a - 42. Is c a multiple of 11?
True
Let s(p) = -41*p + 3. Does 11 divide s(-1)?
True
Let g be -2*3/6*-9. Let t = 13 - g. Is 3 a factor of t?
False
Is (0 - (-312)/20)*5 a multiple of 38?
False
Let a = -61 - -110. Is 20 a factor of a?
False
Let l be (2 - 1)/(2/(-6)). Let o be (0/3)/(l - -1). Does 8 divide (o + 24)*(-3)/(-4)?
False
Suppose 3*l + 6 = 0, 61 = 2*x + 4*l - 85. Is x a multiple of 16?
False
Let o = 24 - -1. Is o a multiple of 8?
False
Let w = 5 - 6. Let r = w - -4. Suppose -f + r = -5. Is f a multiple of 4?
True
Suppose 5*s - 3 = 2*s, 28 = -4*o - 4*s. Let r = o + 52. Does 13 divide r?
False
Let f(m) = 14*m**3 - 3*m**2 + 2*m. Is f(3) a multiple of 12?
False
Let m(g) = -g**2 - 7*g + 2. Let a be m(-7). Suppose -3*h + 32 = -a*h. Does 11 divide h?
False
Suppose -48 - 136 = -4*p. Is 46 a factor of p?
True
Suppose 0*u - 4*u - 5*k = 21, 4*u = -3*k - 11. Does 4 divide ((-1)/(-2))/(u/28)?
False
Let o(d) = 16 + 8*d - 2*d**2 - 7 + d**2. Let q be o(9). Suppose q = 2*r + r - 9. Does 3 divide r?
True
Is 19 a factor of (12 - 12) + (18 - -1)?
True
Is 17 a factor of (-6)/(-36) - 479/(-6)?
False
Let m be (-8)/4 + 2 + 100. Suppose -5*j - m = -3*u, 4*u + 2*j + j = 172. Is u a multiple of 11?
False
Suppose 2*u = -f - 1, 3*u - 1 = -0*u - f. Let c = -4 + u. Let y = c - -5. Is y a multiple of 3?
True
Suppose 3*g = 5*g. Let s(v) = v - 5. Let n be s(0). Let b = g - n. Does 3 divide b?
False
Suppose -4*d = d. Suppose 5*p + d*w + 489 = -3*w, -2*w = p + 95.