ple of 13?
False
Let p = 52 + -21. Let s = 45 - p. Suppose -6 = -4*c + s. Is c a multiple of 5?
True
Is (-40)/32*-36*1 a multiple of 5?
True
Let g be (-3)/(-1) - (2 - 0). Let l(a) = 2*a + 6*a**2 + 2 - 6 - 4*a**3 + g + 3*a**3. Does 3 divide l(6)?
True
Let z = 12 + -9. Suppose -105 = -z*c - 30. Does 8 divide c?
False
Does 8 divide 0 + 3 + 0 + 9*2?
False
Let a(d) be the third derivative of -d**4/24 + 16*d**3/3 + d**2. Let c(u) = u**2 + 5*u - 6. Let s be c(-6). Does 12 divide a(s)?
False
Let w = -111 - -313. Suppose -b + 3*b = w. Is 29 a factor of b?
False
Suppose 4*u + 12 = -2*d, 2*d - 4*u - 1 - 3 = 0. Does 2 divide (56/21)/(d/(-3))?
True
Let b(a) = -a**3 + 2*a**2 + 7*a - 3. Is 8 a factor of b(-4)?
False
Suppose -2*w - 5*z = -225, -7*w + 4*w - 2*z + 365 = 0. Is w a multiple of 26?
False
Let d(c) = -2*c - 2*c - 3*c**2 + 2*c**2 - 3*c. Let w be d(-5). Let u = w + 28. Is u a multiple of 16?
False
Let u(r) = -r**2 + 14*r - 11. Does 8 divide u(10)?
False
Let i = -11 - -27. Suppose -i = -g - 1. Is 10 a factor of g?
False
Suppose -5*q = -5*t + 4*t - 11, -3*q = -3. Suppose -3*s + 43 = -5*x + x, 34 = 3*s + 5*x. Is 9 a factor of s/(15/t + 3)?
False
Suppose 2 = -x - 1, 0 = 2*a - 4*x - 18. Suppose w - 5 = -i, -2*i - 5 = -a*w - 0*i. Suppose w*z + 2*d - 12 = 66, 0 = 2*z - d - 52. Does 12 divide z?
False
Let r(j) = -21*j + 2. Does 11 divide r(-2)?
True
Let j = -6 - -3. Let h = -2 + j. Does 14 divide (84/(-15))/(2/h)?
True
Let s(h) be the first derivative of h**4/4 - 11*h**3/3 + h**2/2 - 3*h + 8. Is s(11) a multiple of 3?
False
Let u(z) be the third derivative of z**7/840 - z**6/180 - z**5/120 + z**4/6 - z**3/3 + z**2. Let d(b) be the first derivative of u(b). Is d(3) a multiple of 10?
True
Is 4 a factor of (3 + -7)/(1/(-2))?
True
Is 7 a factor of 72/10*(4 - 27/(-2))?
True
Suppose -16 = 5*p + 64. Is 20 a factor of (p - 1)/(4/(-8))?
False
Suppose k = -r + 65, -2*r - 3*k + 2 = -132. Does 19 divide r?
False
Let h be 2/4*(1 + 5). Let m be (h/(-6))/((-2)/20). Suppose m*q - 19 = -4. Is 3 a factor of q?
True
Let b(r) = r**3 + 3*r**2 - 2*r. Suppose -5*y - 21 + 6 = 0. Is b(y) a multiple of 5?
False
Suppose 0 = 3*t - 5*j - 91 - 190, 0 = -4*t + 3*j + 393. Let h = t - 49. Is h a multiple of 25?
False
Let s(y) = 20 - 9 - 9 + 16*y. Does 22 divide s(4)?
True
Let s be ((-1 + 7)/(-3))/(-2). Is 0 + s - 37*-1 a multiple of 23?
False
Let b(i) = -i**3 - 5*i - 3. Let y be b(-3). Suppose -q = -y - 6. Does 7 divide q?
False
Suppose -2*l + q = -2, l + 4*q - 6 = 4. Suppose -67 = -l*f + 5. Is 14 a factor of f?
False
Suppose -g + 3*l + 40 = -0*g, -2*l = -4*g + 150. Is g a multiple of 4?
False
Let h be 1*(3 + -3 + -2). Does 10 divide ((-29)/5)/(h/10)?
False
Suppose 0 = 4*l - 278 - 442. Is l a multiple of 15?
True
Suppose -20 = -i - 4*i. Suppose 38 = 4*f + z + z, -53 = -i*f - 5*z. Is 19 a factor of f*3 + (-4 - -2)?
True
Suppose h = 6*h - 10. Suppose 4 = -0*m + h*m. Is (m/4)/(2/36) a multiple of 4?
False
Suppose y = 4*t - 4, -2*t - 17 - 21 = -3*y. Is 16 a factor of y?
True
Let n = 19 - 7. Is n a multiple of 6?
True
Let x(n) = -2*n - 14. Let r be x(-8). Suppose 0 = r*p - 3*c - 14, 0 = 5*p - 5*c - 11 - 29. Is p a multiple of 5?
True
Let f be (21/(-7))/((-3)/4). Suppose 5*y - f*j = -9*j + 155, 4*y = j + 139. Suppose v = l - 7, -5*v + 5 - y = -3*l. Does 3 divide l?
True
Suppose q + q = 516. Is 32 a factor of q?
False
Let g(d) = -d**2 + 5. Let n be g(-4). Let t = 37 + n. Is t a multiple of 13?
True
Let v(r) = 14*r + 7. Let a be v(-3). Does 7 divide a/(-3) + 36/27?
False
Let k = 19 + -1. Does 9 divide k?
True
Let c(p) = p**2 + p**2 + 1 - 5*p**3 + 2*p - 7*p**3 - 9*p**3. Does 11 divide c(-1)?
True
Suppose 4*z + v = 98, 5*v - 2 = 8. Does 12 divide z?
True
Let n = -24 - -18. Does 3 divide 0/n + 0 + 12?
True
Let b(d) = d**3 + 6*d**2 - d - 7. Let k be b(-6). Let i be 45/60*8/6. Does 11 divide k/(-3)*(i - -32)?
True
Let k(g) = -3*g**2 - 5*g + 6. Let h(i) = -7*i**2 - 11*i + 13. Let p(l) = -4*h(l) + 9*k(l). Does 14 divide p(-3)?
True
Is 44 a factor of 24/5*(-200)/(-16)?
False
Let d = 105 - 198. Let r = d + 133. Does 20 divide r?
True
Is 14 a factor of (3/(-2))/(3/(-196))?
True
Let w(s) = s**2 - 2*s - 7. Is 3 a factor of w(6)?
False
Let a = 15 - -3. Suppose -x = -a + 8. Is x a multiple of 9?
False
Suppose 0*i - 2*i + 40 = 0. Let w = -13 + 29. Let o = w + i. Is o a multiple of 12?
True
Suppose 2*v + y + 59 = 3*v, -6 = 3*y. Is v a multiple of 12?
False
Let h = 0 - -2. Suppose -h*s = 2*q - 32 - 0, 3*q + 2*s - 45 = 0. Does 8 divide q?
False
Suppose 4*w - 18 = k, 4*w - 4*k - 24 = -0*w. Suppose 54 = 4*v + 2*p, v - w*p - 5 = 31. Is 8 a factor of v?
True
Suppose -5*m - 2*n + 65 = 0, -4*m + 3*n + 85 = -2*n. Is 5 a factor of m - -1 - (-6 - -6)?
False
Let q(y) = -9*y + 1. Let x be q(-1). Let r = -4 + x. Is 3 a factor of r?
True
Suppose -c - 2 = -16. Is c a multiple of 7?
True
Suppose 4*t + 386 = 5*i, 5*t - 136 = -2*i + 2*t. Is i a multiple of 14?
False
Let o be 12/5 + (-2)/5. Suppose 3*x - o*x - 2*n = 21, 0 = x + 2*n - 33. Is 9 a factor of x?
True
Suppose 16 = b - 3*w - 4, 2*b + 5*w = -15. Let t(f) = -f**3 + 5*f**2 + 3*f - 5. Is 3 a factor of t(b)?
False
Suppose -3*a = -3*f + 30, -4*a - 1 = -13. Suppose 5 = s, -k - 4*s - f = -4*k. Is k a multiple of 5?
False
Let w = 203 - 91. Is w a multiple of 16?
True
Suppose 5*f - j - 27 - 18 = 0, 5*f - 5*j - 65 = 0. Let i = f - 4. Suppose -2*y = 5*s - 7, i*y + 8*s - 3*s = 19. Does 3 divide y?
True
Let p(c) = 4*c + 9. Let g(h) = -h - 1. Let k(l) = -24*g(l) - 3*p(l). Let d(m) = 3*m**3 - m**2. Let q be d(1). Is 21 a factor of k(q)?
True
Let a be ((-6)/15)/((-2)/10). Let r(w) be the first derivative of 3*w**4/4 + w**2/2 - w + 1. Is r(a) a multiple of 12?
False
Let x = 7 - -20. Is x a multiple of 5?
False
Let p = 5 - 35. Suppose -7*n + 2*n + 415 = 0. Let k = n + p. Is 18 a factor of k?
False
Let l(b) = -5*b**2. Let h = 2 + -1. Let t be l(h). Let z(s) = -s**3 - s**2 + 7*s + 3. Is 24 a factor of z(t)?
False
Is 4/(-6) - 450/(-27) a multiple of 7?
False
Suppose 0 = -i + u + 130, 3*i + 82 = -4*u + 465. Is i a multiple of 43?
True
Let d(o) be the third derivative of -o**5/12 + o**4/6 - o**3/6 + 2*o**2. Let c(u) = -u**2 - u - 1. Let n(s) = 6*c(s) - d(s). Does 7 divide n(-4)?
False
Let j = 14 - 12. Does 18 divide (-1155)/(-28) + j/(-8)?
False
Let p be 6/10 + 4/10. Suppose 3 = w + p. Suppose -w = 4*t - 22. Does 5 divide t?
True
Suppose 2*m = 7*m - 10, -4*t + 22 = -m. Is t a multiple of 2?
True
Let l(s) = 6*s + 3. Is l(6) a multiple of 39?
True
Suppose m = 4*m + 15, -3*j = -m - 113. Is 12 a factor of j?
True
Let w(m) = m**2 + 8*m - 3. Let f = -13 + 1. Is 13 a factor of w(f)?
False
Let g be 3/(-6) + (-123)/2. Let n = 94 + g. Suppose -5*f = -n + 12. Is f a multiple of 4?
True
Let w = 1 + 0. Let k be (2/(-4))/(w/166). Is 11 a factor of k/(-3) + 2/(-3)?
False
Let h = 14 + 4. Is 6 a factor of h?
True
Let f be (-2)/(4*4/32). Let x = 13 - f. Does 7 divide x?
False
Let o be 9/4*(-24)/(-9). Let i be o/(-2)*4/(-6). Suppose -i*b = v - 12, v = -3*b + 4 + 7. Is v a multiple of 14?
True
Let z = 2 + 0. Suppose 5 + 87 = z*y. Let w = 68 - y. Is 11 a factor of w?
True
Suppose -36 = -4*s - 4*v, -5*v + 20 + 21 = 4*s. Does 12 divide (-173)/(-5) - s/(-10)?
False
Suppose 0 = -3*h + 7*h - 28. Suppose -5 = -3*t + h. Suppose -t*q - 2 = 4*c + 2, -4*q = -2*c - 14. Does 2 divide q?
True
Let n be (-21 - -1)*(-4)/(-10). Let q = -8 - n. Suppose 16 + q = 4*i. Is 2 a factor of i?
True
Let t(b) = -b**2 - 2*b - 1. Let h be 35/(-25) + (-2)/(-5). Let c be t(h). Suppose 5*v = -2*q + 78 - 13, c = 2*q + 4*v - 68. Is q a multiple of 20?
True
Let i be (20/(-6))/((-2)/3). Suppose -1300 = -i*q + 2*k, -q + 3*k + 339 - 66 = 0. Is q/8 + (-7)/28 a multiple of 24?
False
Suppose -3*l = -4*a + 99, -l - 111 = -4*a - 2*l. Does 27 divide a?
True
Let m(d) = 2*d**2 - 4*d - 3. Suppose -1 - 5 = 3*g. Is m(g) a multiple of 7?
False
Let p(w) = w - 4. Let v be p(8). Suppose 5*m - 432 = 353. Suppose 3*f + 119 = 4*n, f = n + v*n - m. Does 12 divide n?
False
Suppose 0 = t + 3*o - 141 - 8, 0 = 3*t - 4*o - 382. Suppose 3*c - t - 7 = 0. Let k = c + -27. Is 10 a factor of k?
True
Does 26 divide -26*1*(13 + -18)?
True
Let u be 44/3 + (-1)/(-3). Let q = u + -10. Suppose -11 + 165 = 4*z + f, -5*z + 180 = -q*f. Is z a multiple of 19?
True
Let l(y) = y + 1. Let h be