j, -3*b + 88 = b - r*j. Is b a multiple of 6?
False
Suppose -3*z - 310 - 59 = 0. Let c = z + 223. Is 12 a factor of c/3 - 3/9?
False
Suppose 5*k = -w + 133, 4*w = -2*k + 3*k - 35. Is k a multiple of 12?
False
Let c(w) = -4*w + 4. Is c(-6) a multiple of 12?
False
Suppose -3*i = -5*v + 19, 0*i = 4*i + 12. Suppose -4*t - 4 - 12 = v*r, 0 = 2*r - t - 9. Suppose -3*q - q + 7 = a, a - q - r = 0. Does 3 divide a?
True
Let v = -42 - -77. Is 6 a factor of v?
False
Let k be 645/35 - (-4)/7. Suppose -45 = -x + k. Is x a multiple of 16?
True
Let u(r) = 13*r - 3. Is 22 a factor of u(3)?
False
Let t be (-6)/5*5/(-2). Suppose t*h = 2*z - 11 + 33, 0 = 2*h + 2*z + 2. Suppose -13 = u + 5*i, -12 - 32 = -4*u + h*i. Does 4 divide u?
False
Let j = 452 - 272. Suppose 75 + j = 5*u. Does 15 divide u?
False
Let f = -20 - -20. Suppose -5*o + 2*o + 36 = f. Is o a multiple of 4?
True
Let h(q) be the third derivative of 1/120*q**6 + 1/6*q**3 + 1/15*q**5 - q**2 - 1/24*q**4 + 0 + 0*q. Does 4 divide h(-2)?
False
Suppose 0 = -2*k - k. Suppose -o = -k*o - 27. Is 8 a factor of (o/6 - -2)*2?
False
Let p(x) = 1 + 3*x**2 + 2*x**2 + x**3 - 2*x**2 + 3*x. Let f be p(-2). Let n = f + 6. Does 2 divide n?
False
Let p be -3 - -22 - (-4)/(-2). Suppose -f - 5 = 4*k - 3, k = -5*f - 29. Let q = f + p. Is q a multiple of 7?
False
Let x = 3 - 0. Suppose -5*f + 54 = 2*t, -x*t - 4*f + 97 - 23 = 0. Is 22 a factor of t?
True
Let b be (-6)/2*1/(-1). Suppose -s + 2*j = b*s - 32, 0 = 2*s + j - 8. Does 10 divide (1*s)/3 + 25?
False
Suppose 14 = 3*y + y - 2*k, -y = -5*k - 17. Let u(j) = -6*j - j + 0 + y + 1. Is 12 a factor of u(-3)?
True
Suppose 0 = 3*p + 4*v - 44, 2*p + 2*p = 4*v + 40. Does 24 divide -2 + (p/(-4) - -96)?
False
Let z be 6/33 - (-86)/11. Let h(k) = 5*k**2 - 11*k - 5. Let w(b) = -14*b**2 + 32*b + 15. Let x(s) = -11*h(s) - 4*w(s). Is 3 a factor of x(z)?
True
Let k(w) = -w**2 - 9*w - 9. Let p(g) = -g - 2. Let a be -8*-2*1/4. Let y be p(a). Is k(y) a multiple of 4?
False
Let a = 12 - 7. Suppose -2*t = -5*d - 3*t + 231, a*t = 4*d - 208. Let x = d + -26. Does 6 divide x?
False
Let y(v) = -2*v - 4. Let p be y(-4). Suppose 60 = 4*t - p*u, 0*t + 60 = 4*t + 2*u. Does 15 divide t?
True
Does 33 divide (-3942)/(-24) + 9/12?
True
Let j = 254 + -140. Is 19 a factor of j?
True
Suppose -6 + 1 = -u. Does 2 divide u?
False
Let u = -1 - -2. Is 6 a factor of u/2 - 70/(-4)?
True
Let n(j) = -j**3 - j**2 - 2. Let i be n(-2). Suppose 0 = 4*d - o - 202, -i*d + 30 + 66 = -3*o. Does 16 divide d?
False
Let u = 12 + -8. Suppose -u*w + 0 = 8. Does 14 divide (-42)/(-1 + w) + 3?
False
Suppose -7 = -w - 3. Suppose -3*j + w*j = 2. Suppose 0 = -j*p + 6*p - 144. Does 18 divide p?
True
Suppose 3*r + 2 = 17. Suppose -b = 1 + 2, 4*b + 15 = f. Suppose -r*z + f*l = -92, -5*z + 72 = -6*l + 8*l. Is 16 a factor of z?
True
Let p = -3 + 3. Let r(x) be the third derivative of x**5/60 + 7*x**3/3 - x**2. Is 5 a factor of r(p)?
False
Let c(m) be the second derivative of -m**5/10 - m**4/4 - 2*m**3/3 - 3*m**2/2 - 2*m. Is c(-3) a multiple of 14?
False
Let j = -9 - -29. Suppose t = -5*d + j, -5*t + 7*d - 2*d = -70. Is 8 a factor of t?
False
Let y(w) be the first derivative of -w**2/2 - 2*w + 2. Let f be y(0). Let c = f - -4. Does 2 divide c?
True
Let p(q) = 2*q**2 + 5*q + 7. Does 8 divide p(-5)?
True
Let x(v) = -3*v. Suppose 0 = q - 2*c - 5 - 0, -q + 5*c + 14 = 0. Does 3 divide x(q)?
True
Let u(l) = 3*l + 3. Let c be u(5). Suppose -n - n = -c. Is n a multiple of 5?
False
Suppose 0 = -4*j + 226 + 34. Let r = -35 + j. Does 12 divide r?
False
Suppose -t = -24 + 22. Let b(z) = -5*z**3 - 2*z - 1. Let h be b(-1). Is ((-22)/h)/(t/(-18)) a multiple of 11?
True
Let x(n) = n**2 - 3*n - 3. Let f be 1 - -1*(4 + -2). Suppose -5*z - 5*t + 10 = 0, 2*z - 5*t + 18 = f*z. Is 7 a factor of x(z)?
True
Suppose 5*k = -4*g + 2*g + 34, -4*g - k = -68. Let m(d) = 2*d + 6. Let s be m(-3). Suppose -5*a + 48 + g = s. Is a a multiple of 5?
False
Let q(f) = -5*f + 2*f + 3 + 2*f + 3*f**2. Let n be q(-3). Let t = -18 + n. Is 5 a factor of t?
True
Suppose 3*t = -2*t - 5. Let v be ((-33)/(-12))/(t/(-40)). Suppose -2*x - v = -7*x. Does 11 divide x?
True
Suppose j = -2*s - 0*s + 48, -4*s + 96 = -2*j. Is 12 a factor of s?
True
Suppose -n = o - 19, -4*n + 14 = o - 8. Is o a multiple of 9?
True
Suppose -2*a + 132 = 2*a. Is a a multiple of 11?
True
Suppose -7*x - 435 = -12*x. Does 26 divide x?
False
Suppose -3*s = -2*h + 14, -2*h - s = -0*h - 6. Let z be (1 - -1) + (-40)/10. Is 8 a factor of 8 + h + -2 + z?
True
Is 14 a factor of -1 + (-78)/(-66) - (-4299)/11?
False
Let o = 19 - 13. Is o/(-15)*5*-45 a multiple of 30?
True
Let y(z) be the second derivative of 2/3*z**4 + 1/20*z**5 - 9/2*z**2 + 0 + 1/2*z**3 - 2*z. Does 7 divide y(-7)?
False
Suppose n - 10 = -2. Suppose 3*p + 50 + 52 = 2*b, -n = -2*p. Is 19 a factor of b?
True
Does 9 divide (6/5)/(2/735*7)?
True
Let x(f) = f**3 - 2*f**2 + f. Let v be x(2). Suppose -4*h + 5*s + 113 = 0, -s = 6*h - 3*h - 80. Suppose 16 = -6*j + v*j, -z + h = -4*j. Does 6 divide z?
False
Let q = 63 - 42. Is 7 a factor of q?
True
Let p = -113 + 203. Is p a multiple of 18?
True
Let n(h) = 2*h**3 + h**2 + h + 19. Let o(q) = -q**3 - q - 10. Let j(u) = -4*n(u) - 7*o(u). Let s be j(-5). Suppose 0 = s*c - 115 - 5. Does 15 divide c?
True
Suppose i = 5*y - 0*i - 144, 136 = 5*y + i. Let b(o) = o**2 - 3*o. Let r be b(4). Let x = y - r. Is 14 a factor of x?
False
Let x(o) = -o**3 - 13*o**2 + o + 15. Let p be x(-13). Suppose p*a - 5*i - 129 = -2*a, 0 = 3*a + 2*i - 68. Is 16 a factor of a?
False
Let i be (-36)/(-10) + (-18)/30. Suppose -i = j - 9. Is j a multiple of 3?
True
Let w(p) = -7*p - 1. Let j be w(-4). Let g = j - -6. Is 11 a factor of g?
True
Suppose 4*t + 5*c = 102, -5*t = -0*c + 5*c - 130. Is 12 a factor of t?
False
Let g(t) = t**3 + 4*t**2 - t + 5. Let q = 1 - 5. Is 5 a factor of g(q)?
False
Suppose 0 = -d - d + 10. Suppose d*v - 113 = -2*o, v + 48 = 5*o - 167. Does 22 divide o?
True
Let q = -77 - -51. Let f = 46 + q. Is f a multiple of 7?
False
Suppose -p - 72 = -5*p. Is p a multiple of 8?
False
Let g = -22 + -13. Let h be (2/(-6))/(3/225). Let z = h - g. Does 10 divide z?
True
Suppose -z = -2*z. Let i(b) = -b**2 + 1 + 5 + 6. Does 5 divide i(z)?
False
Let q be 1/(-4) + (-1)/(-4). Suppose q = c - 1 - 5. Suppose -48 = 3*g - c*g. Does 8 divide g?
True
Let r be -4*1 - 1/(-1). Let o be (-1)/(1*r/6). Suppose -25 = -2*j - o*h + 11, h + 36 = 2*j. Is j a multiple of 18?
True
Let z be 246/22 - (-4)/(-22). Suppose 3*l - z - 55 = 0. Does 11 divide l?
True
Suppose -5*y = -125 - 120. Suppose -f - f + 5*k + y = 0, -k = f - 42. Is f a multiple of 10?
False
Suppose 3*p = 4*p - 4*o - 170, 3*o + 850 = 5*p. Suppose -9*l = -4*l - p. Is l a multiple of 9?
False
Suppose 4 + 21 = 5*q. Let b = 10 + q. Is 8 a factor of b?
False
Suppose 0 = -4*y - y + 20. Suppose -r + 0*r = -y*q - 6, -q = -r + 12. Is 4 a factor of r?
False
Let n be 6*(-3)/6 - 6. Let p = n + 21. Does 7 divide p?
False
Let o = -108 - -270. Does 10 divide o?
False
Suppose -x + 2*x = 50. Let r = x - 23. Is r a multiple of 14?
False
Suppose -17 + 85 = 3*w - p, 0 = 3*w - 2*p - 70. Is 11 a factor of w?
True
Suppose -12*s + 251 = -445. Is s a multiple of 9?
False
Let p(u) = u**3 + 24*u**2 + 24*u + 44. Is p(-23) a multiple of 7?
True
Let b = -6 + 4. Let g = 1 - b. Suppose u - 22 = g. Is 18 a factor of u?
False
Let b = -7 - -9. Suppose 2*y = -2*y + 5*o + 55, 3*y - b*o - 36 = 0. Let a = -6 + y. Is a a multiple of 2?
True
Let z(x) = x**3 - 3*x**2 - 3*x + 1. Let y be z(4). Suppose 0 = -o, 3*r - 14 = r + y*o. Is r a multiple of 3?
False
Let s be (2/(-3))/((-2)/(-3)). Let c be s + 3 + -4 + 2. Let d = c + 36. Does 18 divide d?
True
Let j(z) = -7*z + 6. Let o be j(-12). Suppose -3*n + 91 = n - 3*a, o = 5*n + a. Is 18 a factor of n?
False
Suppose -2*w = -3*i + 42, -w + 15 = i - 2*w. Is 9 a factor of i?
False
Let y = -5 + 4. Is 12 a factor of (2 + y)*(10 + 2)?
True
Suppose -g - 4*k = -9, -3*k - 6 = -4*g - 4*k. Suppose -76 + 26 = -5*q. Let o = g + q. Is o a multiple of 5?
False
Let m = 52 + -30. Is 5 a factor of m?
False
Let a(q) = -q + 31. Suppose 0 = 2*x + 2*x. Is 8 a factor of a(x)?
False
Let f = 391 - 258. Does 7 divide f?
True
Suppose -2*u + 3*o - 2500 = 3*u, 0 = 3*o. Does 25 divide (u/(-15))/((-2)/(-3))?
True
Let c be (-4 + 