 1/12*j**4 + 1/30*j**5. Does 10 divide n(3)?
True
Let w(j) = -j**3 + 6*j**2 + 2*j - 2. Let b(u) = 7*u**3 - u**2. Suppose -q - 2*q + 3 = 0. Let n be b(q). Does 4 divide w(n)?
False
Suppose 3*f + 273 = 3*d, -4*d - f + 400 = 4*f. Suppose -5*x = -d - 25. Is x a multiple of 20?
False
Let d = 5 - 2. Suppose 5*s + 9 = -2*j, 3*j = -d*s + 4*j - 1. Is 15 a factor of (-1)/s*(3 + 27)?
True
Let k be ((-12)/18)/((-2)/75). Suppose -5*i - h + k = 0, -4*i + 5*h = -0*h - 20. Suppose 6*q = i*q + 39. Does 13 divide q?
True
Suppose 2*u = -3*u. Let j(m) = -m**2 + 2. Does 2 divide j(u)?
True
Let r(a) = -a**2 + 5*a - 4. Let t be r(3). Let j = -4 + t. Let o(s) = -2*s - 1. Is o(j) a multiple of 3?
True
Is 4 a factor of ((-8)/5)/(4/(-30))?
True
Suppose -5*x + 574 = 2*x. Does 19 divide x?
False
Suppose y = -13 + 214. Suppose 4*p - 12 = 4*r, 4*p + r = -2*r + 26. Suppose p*c - y = 139. Is 26 a factor of c?
False
Let a = 13 + 2. Suppose -m = -a + 58. Is 1 + -3 - (m + 5) a multiple of 20?
False
Let i(l) = l**3 + 3*l**2 - 2*l + 5. Let j be i(-4). Let d = j - -6. Let q(b) = 3*b + 4. Is q(d) a multiple of 13?
True
Let f(m) = 5*m + 54. Does 14 divide f(0)?
False
Suppose v - 6 = 14. Is v a multiple of 8?
False
Let b(v) = -v**2 + 6*v + 2. Let k be b(6). Suppose -k*w = -3*w - 3*l + 30, 5*w - 5*l = 190. Suppose -w = -2*x - 0*x. Does 5 divide x?
False
Let i(u) = -u**3 - 3*u**2 + 2*u - 3. Let y be i(-4). Suppose 2*v - 16 - 3 = 3*w, v + y*w = 3. Does 5 divide v?
False
Let z(g) = -3*g**3 - 3*g**2 - 2*g - 3. Let i be z(-3). Let q = i - 27. Is q a multiple of 17?
False
Suppose -3*p = 2*p. Let y = 4 - p. Is 2 a factor of y?
True
Let w(b) = -b**3 + 18*b**2 - 31*b - 1. Is 15 a factor of w(16)?
True
Suppose -n - 18 = -4*u, n - 3*u - 1 = -14. Suppose f = 2*s - 38 - 45, 10 = n*f. Is s a multiple of 11?
True
Let p(q) = -2*q - 2*q - 3 + 6*q. Let s be p(-8). Is 11 a factor of (-1 - s)/2 + 2?
True
Does 19 divide 3*-2*(-95)/10?
True
Let b be (8/3 + -2)*9. Suppose 2*z - h = b*z - 57, -h = -1. Does 7 divide z?
True
Suppose 45*z - 16 = 44*z. Is z a multiple of 16?
True
Let q = 123 + -71. Is 16 a factor of q?
False
Suppose 2*o + 2*o = 80. Is o a multiple of 3?
False
Let h be -9*-56*3/9. Let f = -117 + h. Is f a multiple of 24?
False
Let f = -4 - -9. Let q = 8 - f. Suppose 5*j - q = 17. Is 2 a factor of j?
True
Suppose 3*o - 406 - 8 = 0. Suppose -3*s - t + 36 = -o, 177 = 3*s + 2*t. Is 19 a factor of s?
True
Suppose 3*m + 4*w = 13, 4*m + 4*w = -0*w + 24. Let u = m - -23. Does 17 divide u?
True
Let x(r) be the first derivative of 8*r**3/3 + r**2/2 - r - 1. Let g(u) = u**3 - u**2 + u. Let t be g(1). Is x(t) a multiple of 8?
True
Suppose 7*t + 0*t - 399 = 0. Does 19 divide t?
True
Suppose 2*k + 135 = 7*k. Does 3 divide k?
True
Let j = 34 + 1. Suppose 2*p = j - 9. Is p a multiple of 5?
False
Let a be (-3)/(-15) + 222/(-10). Let r = 143 + -66. Does 3 divide 602/r + (-4)/a?
False
Let t be ((-12)/8)/((-3)/4). Is 19 a factor of 17*(t - 0) - 3?
False
Let f(u) = -u + 1. Let r be -3*(-6)/(-27)*3. Let y(c) = -35*c + 45. Let x(a) = r*y(a) + 90*f(a). Is x(-1) a multiple of 20?
True
Suppose 2*p = 3*p - 1. Let y = p + 2. Suppose 134 = 2*s - 0*s - 3*u, -3*u + 171 = y*s. Is 22 a factor of s?
False
Let r = 19 - 12. Is r a multiple of 2?
False
Suppose 3*y - 10 = y. Does 4 divide y?
False
Suppose -2*g - 5*c + 552 = 0, 3*g - 3*c - 2*c - 803 = 0. Suppose t - 3*t = -4, 3*a + 2*t = g. Is 18 a factor of a?
False
Is 11640/100 + 2/(-5) a multiple of 29?
True
Suppose 0 = -3*w - 2*w. Suppose 5*c + 5*t - 12 + 2 = w, 2 = -2*c - 5*t. Is c a multiple of 3?
False
Suppose -10 = 5*c, 4*c = -3*q - q + 12. Suppose -2 = r - q. Suppose 0 = r*h - 0*h - 48. Is 8 a factor of h?
True
Let b(h) = 2*h**2 - h + 3. Let z be b(7). Suppose -2*a - 5*g = -z - 12, -8 = -4*g. Does 16 divide a?
True
Suppose 4*b - 1256 = -2*h, 5*b = h - 3*h + 1568. Is b a multiple of 23?
False
Let y(j) = -j**3 + 3*j**2 - j + 1. Let f be y(2). Let r(l) = 4 + 0*l**f + 4*l + l**3 + 5*l**2 - l. Does 9 divide r(-3)?
False
Let x(p) = -p**3 - 4*p**2 + 5*p - 4. Let o be x(-7). Suppose 72 + o = 6*h. Is h a multiple of 6?
True
Suppose -4*r - 2*r = 0. Suppose -4*d + u = -r*u - 375, -4 = -4*u. Is 31 a factor of d?
False
Suppose 0 = 3*r - 2*r. Let n = 18 - r. Is 18 a factor of n?
True
Let p(y) = -8*y**3 - y. Let m be p(-1). Let n = m + -5. Suppose 33 = n*h - 71. Does 13 divide h?
True
Let m(t) = -t**2 - t - 2. Let z be m(-2). Let y = z + 9. Suppose -5*o - d + 27 = -8, -o - y*d - 17 = 0. Is 3 a factor of o?
False
Let q(n) = -n**3 + 13*n**2 - 10*n + 9. Does 8 divide q(12)?
False
Suppose 2*o - 52 = 3*k + k, -76 = -2*o - 4*k. Is 16 a factor of o?
True
Let q(y) = 11*y**2 - 4*y - 7. Is q(-2) a multiple of 5?
True
Suppose -54*p + 57*p = 144. Is p a multiple of 6?
True
Let k be 1 + (-1)/(-2)*-6. Let l(m) = 9*m**2 + 3*m + 1. Is 12 a factor of l(k)?
False
Let i(k) = -k**2 - 8*k - 8. Let t be i(-5). Suppose 0 = -3*a - 15, -u - t = -0*u + 3*a. Does 8 divide u?
True
Suppose -8*g + 1723 - 395 = 0. Is g a multiple of 32?
False
Suppose c - 5*x = 38, -2*c + 36 = -5*x - 20. Is 20 a factor of c/7*(-70)/(-3)?
True
Let v(c) = 12*c. Let k be v(1). Suppose 2*g - k = -2*a + g, 2*g = a - 16. Is a a multiple of 4?
True
Let j = 3 + 0. Suppose j*t - 32 = 2*t. Is t a multiple of 13?
False
Let u(q) = -20*q**2 + 3*q - 62. Let p(i) = -7*i**2 + i - 21. Suppose -3*g - 5*l = -46, 3*g - l - 75 = -23. Let d(t) = g*p(t) - 6*u(t). Is 15 a factor of d(0)?
True
Let a = 56 - 14. Is 7 a factor of a?
True
Suppose 3*k - 176 = -4*b, -2*k + 5*k - 158 = 5*b. Suppose -7*a = -5*a - k. Is 14 a factor of a?
True
Let b be (2 - 1 - 1) + 3. Suppose 42 = b*w - 48. Is 15 a factor of w?
True
Let k be (40/(-25))/(1/(-5)). Suppose 3*s - 5*r - k = 0, 2*s + s + r = 20. Let c(l) = 3*l + 1. Is c(s) a multiple of 19?
True
Let l be ((-12)/(-4))/(3/2). Suppose -l = -3*y + 16. Is 3 a factor of y?
True
Suppose 90 = -0*r + 2*r + 2*d, 3*r - 5*d - 151 = 0. Is 19 a factor of r?
False
Let w = -14 - -9. Let i = 0 - w. Suppose -3*y = 0, 3*p - i*y - 11 = 2*p. Is 5 a factor of p?
False
Suppose -158 = -4*m - 34. Is m a multiple of 4?
False
Suppose -r = -1, 22 = y - 5*r + 4*r. Is 7 a factor of y?
False
Let t = 368 - 176. Does 37 divide t?
False
Let i be ((-1)/2)/((-3)/66). Let m be (-2)/10 + i/5. Suppose -s - m = -9. Is s a multiple of 2?
False
Suppose -33 = -2*z - z. Suppose 0 = 6*c - 4*c - 10. Let k = z + c. Is 16 a factor of k?
True
Suppose 0*z + 2 = 2*z. Let i(a) = -35*a**3 - 5*a**2 + 3*a - 3. Let m(d) = 23*d**3 + 3*d**2 - 2*d + 2. Let n(u) = 5*i(u) + 8*m(u). Does 3 divide n(z)?
False
Suppose 7*i - 2*i - 5*l = 5, 4*i - l - 10 = 0. Suppose 0 = -3*u - 0*u - i. Is (5 + 2/u)*7 a multiple of 19?
False
Let o(s) = -17*s**3 - s**2 + 1. Suppose 0 = -x + 4*d + 3 + 4, -4*x - 12 = 4*d. Is o(x) a multiple of 17?
True
Let j be (0 - -2)/((-6)/21). Let y(i) = -10*i - 8. Does 19 divide y(j)?
False
Suppose 8*w = 4*w + 24. Suppose -s - w*k + 20 = -3*k, -3*s + 4*k + 34 = 0. Is 7 a factor of s?
True
Let b(i) = 8*i**3 - 2*i**2 + 2*i. Let y be b(2). Let w = y + -31. Is w a multiple of 9?
False
Let n be (-2)/(-8) - 162/8. Let b = 31 + n. Let d(w) = w**2 - 8*w - 9. Is d(b) a multiple of 15?
False
Let a(g) = 9*g**3 - g**2 - g + 1. Is a(1) a multiple of 7?
False
Let q(h) = 2*h**2 - 2*h - 4. Let i be (2 + 1)*2/3. Suppose 0 = i*b - 3*x + 7, b + 20 + 1 = 5*x. Is q(b) a multiple of 10?
True
Let k(g) = -g**2 + 7*g - 4. Let s be -22*3*1/6. Let o be s/(-4) + (-1)/(-4). Is 3 a factor of k(o)?
False
Suppose 5*j - 946 - 274 = -4*n, 5*j - 3*n - 1220 = 0. Does 16 divide j?
False
Let i be (2 + (-24)/9)*-15. Let x = 14 - i. Is 3 a factor of x?
False
Suppose 396 = 3*o - 24. Suppose 0 = 6*p - 2*p - o. Is 19 a factor of (-2)/(-7) + 865/p?
False
Suppose -3*r = -4*k - 338, -5 = -9*k + 4*k. Does 32 divide r?
False
Let j = -25 - -19. Does 21 divide 1/(-3) - 380/j?
True
Suppose -h - 3*h = -5*k + 15, h - 6 = -2*k. Suppose -25 = -k*z - s, -2*s + s = z - 9. Is 4 a factor of z?
True
Suppose -3*r - 84 - 17 = -4*x, 5*r - 3*x = -183. Let u = 4 - r. Suppose -4*d = -1 - u. Is 4 a factor of d?
False
Let i be 7/(-28) - 379/4. Let h = i + 135. Is h a multiple of 8?
True
Suppose -4*k = 5 + 39. Let x = k + 23. Does 11 divide x?
False
Does 9 divide (-6)/(1 - -1) + 15?
False
Let s(h) = -4*h + 12. Is 18 a factor of s(-6)?
Tru