(-10). Let v = n + -76. Let m = 91 - v. Is m a multiple of 15?
True
Let t(y) = y**3 - y**2 - 3*y. Let b be -3 - (1 - 0) - -1. Let m be (b/(-1))/(1 + 0). Does 9 divide t(m)?
True
Let w(q) = 3*q + 1. Let g(s) = 10*s + 4. Let i(j) = 4*g(j) - 14*w(j). Does 13 divide i(-8)?
False
Suppose 28*o - 24*o = 288. Is 12 a factor of o?
True
Suppose 6 = 2*w - 0*w. Let f(q) be the third derivative of q**6/60 - q**5/20 - q**3/3 - 2*q**2. Does 14 divide f(w)?
False
Let t be -3 + -16*2/(-4). Suppose -286 = -3*b + t. Let s = -55 + b. Is s a multiple of 14?
True
Suppose 4*j = 3*p - 5, -2*j + 5*j - p + 5 = 0. Is j/(-3) - (-117)/27 a multiple of 5?
True
Suppose 2*l + 11 = 19. Is 4 a factor of l?
True
Suppose 0 = g + g - 2*f - 16, -3*g - 16 = 5*f. Suppose g*o = -2*o + 20. Is 13 a factor of 0 + (14*o)/2?
False
Suppose 1 + 67 = 4*z. Is z even?
False
Let c(w) = -13*w**3 - 5*w**2 - w. Let b(n) = 26*n**3 + 11*n**2 + 2*n. Let r(j) = 4*b(j) + 9*c(j). Suppose -3 = 3*d - 0. Is r(d) a multiple of 13?
True
Suppose -g + 3*o = -12, -4*o - 88 = -4*g - 2*o. Is g a multiple of 6?
True
Suppose -42 = 7*t - 364. Does 6 divide t?
False
Let z(d) = d**2 - d + 1. Let y(f) = -5*f**2 + 14*f - 5. Let u(l) = y(l) + 4*z(l). Suppose 3*h - 1 = 20. Is 10 a factor of u(h)?
True
Let d = -10 + 10. Suppose 3*s = -d*s + 24. Is 7 a factor of s?
False
Let f = 244 - 109. Does 27 divide f?
True
Is -6*(33/(-6) + -1) a multiple of 13?
True
Suppose -3*c - 2*c + 2*l = -24, 3*c = -l + 21. Suppose 8 = q + c. Does 2 divide q?
True
Let c(p) = p**2 + p. Is c(3) a multiple of 6?
True
Suppose 4*g - 3*g - 105 = 0. Does 36 divide g?
False
Suppose -3*y - 3*k + 24 = 0, 8*y - 5*y + k - 34 = 0. Is y a multiple of 13?
True
Let h = 23 - 1. Is 3 a factor of h/(8/20*5)?
False
Let g(p) = 42*p**3 - 5*p**2 + 5*p - 4. Let l(r) = 41*r**3 - 4*r**2 + 4*r - 3. Let q(z) = 4*g(z) - 5*l(z). Does 18 divide q(-1)?
True
Suppose -2*c + 199 = 43. Is c a multiple of 25?
False
Is 12/(-10)*(-760)/16 a multiple of 17?
False
Suppose 0*j - 5*x - 76 = -j, 0 = -3*j - 2*x + 194. Is j a multiple of 6?
True
Suppose -64 = -4*i - 0*i. Is 16 a factor of i?
True
Let w = -81 + 267. Is 31 a factor of w?
True
Let n = 9 + 91. Is 21 a factor of n?
False
Let u = -8 + 13. Suppose 5*p = z + 9, 2*p + 2*z - u = z. Suppose -2*n + 39 = p*n + b, -n = 2*b - 8. Is n a multiple of 5?
True
Suppose 3*f - 2*f = 3*z + 15, 21 = 2*f - 3*z. Suppose 7 = -4*x + 4*n - n, 2*n = 2*x + f. Is 8 a factor of (-12)/((3/x)/(-1))?
True
Let l(t) = 3*t - 6 - 2 + 0*t + 0. Let a be l(9). Suppose -2*n + 77 - a = 2*v, 0 = 4*v - 3*n - 102. Does 9 divide v?
True
Suppose 0 = 6*d - 3*d - 12. Suppose 0 = 3*u + y - 13 + 1, -2*y + 14 = d*u. Let f = u + 4. Is 7 a factor of f?
False
Let b(q) be the first derivative of q**2/2 + 16*q + 6. Is b(11) a multiple of 6?
False
Let m = -130 + 184. Let k = m - 27. Is 11 a factor of k?
False
Suppose 2*l = 4 - 0. Let c be (-24)/4*(-7)/l. Suppose 0*u - 2*x = u - c, 4*u + x - 84 = 0. Is 12 a factor of u?
False
Let m = 22 + -28. Let r(l) = -l**3 - 6*l**2 - 2*l + 6. Does 9 divide r(m)?
True
Let n = -2 + 2. Suppose k - 9 = -n. Does 3 divide k?
True
Let g be (6/(-12))/(2/(-4)). Suppose g - 4 = -z. Suppose -d + 3*n = 2*n - 10, 4*d + z*n - 61 = 0. Does 5 divide d?
False
Let l = 191 + -94. Suppose 0 = 5*r - 28 - l. Is r a multiple of 16?
False
Let p = -16 + 34. Let h = p + 21. Is h a multiple of 18?
False
Let s(l) be the third derivative of -l**6/120 - l**5/12 - l**4/6 + 2*l**3/3 + l**2. Let q = -2 + -3. Is s(q) a multiple of 14?
False
Let j be 0*(1 + (-3)/6). Suppose -3*q - 2*q + 25 = j, 4*t + 4*q - 136 = 0. Does 11 divide t?
False
Let w(b) = b**3 - 10*b**2 + 4*b. Does 20 divide w(10)?
True
Let h be (0 + 2)/((-1)/(-2)). Does 2 divide 7/2 + (-2)/h?
False
Let l(w) be the second derivative of 0*w**2 + 0 + 0*w**3 + 7/12*w**4 - w. Is 4 a factor of l(1)?
False
Let h = 1 + -3. Let z be (-2)/(h + 9/6). Suppose s + 5 = 0, 30 - 1 = z*i + 3*s. Is i a multiple of 7?
False
Suppose -3*n + 4*y = -n + 10, 5*y = 2*n + 15. Suppose -155 = -n*r - 2*b, -3*r + 124 = r - 3*b. Is r a multiple of 9?
False
Suppose 0 = s - 2*s - 13. Let q = -9 - s. Is 2 a factor of q?
True
Suppose 0 = n - 2*n. Let w(q) = q**2 - q + n - q - 8 + 5*q. Does 16 divide w(-8)?
True
Suppose 0 = -5*t + 92 + 88. Suppose -5*k + t + 24 = 0. Does 6 divide k?
True
Suppose u + 470 = 3*u + 5*o, -2*o + 924 = 4*u. Is 23 a factor of u?
True
Let n(j) = -j - 8. Let b be n(-8). Let p = 0 + b. Suppose h + h + 3*g - 50 = p, -5*h + 5*g = -150. Does 14 divide h?
True
Suppose 0*b - 37 = 4*b - r, -2*r = 2*b + 26. Let a = 39 + -25. Let s = b + a. Is 3 a factor of s?
False
Suppose 0 = -6*a + a + 75. Does 4 divide a?
False
Suppose 3 = -5*l - 2. Let b be (14/1)/2*l. Let d = -4 - b. Does 3 divide d?
True
Let x(l) = -4*l**2 - 2*l + 0*l**2 - 2 + l**3 + 6*l**2. Is x(2) a multiple of 5?
True
Suppose 24 = -7*d + 3*d. Let g = d - -14. Does 4 divide g?
True
Let n(k) = k**3 + 10*k**2 + 9*k. Let d be n(-9). Suppose d = -4*o - o + 5*h + 35, 3*o = 2*h + 20. Is 4 a factor of o?
False
Let k be (38 - 4)/(2/(-1)). Suppose 1 = -x, -o = x - 2 - 21. Let f = k + o. Does 7 divide f?
True
Let w(g) = 1. Let y(o) = -7*o - 13. Let n(c) = -5*w(c) + y(c). Does 13 divide n(-8)?
False
Let j(f) = -4*f - 4. Let c be j(4). Let r be (18/2)/((-6)/c). Suppose 0*z + z = r. Is 15 a factor of z?
True
Let o be 6/15 + 2/(-5). Let j be (-11 - o)*(-3)/3. Suppose -b + j - 3 = -5*m, 5*b + m - 144 = 0. Does 14 divide b?
True
Let g(p) = 79*p - 8. Is 15 a factor of g(2)?
True
Let x(v) = 1. Let i(r) = -3*r - 3. Let l(n) = i(n) + 3*x(n). Is l(-4) a multiple of 6?
True
Let g be 1/(-3) + 298/3. Let d = -47 + g. Does 14 divide d?
False
Let v = -4 + 6. Suppose -k = -5*a - 11, 2*k - 9 = -5*a + v*a. Is k a multiple of 6?
True
Suppose -3 = 3*h + 9, -82 = -2*r + 4*h. Is 28 a factor of r?
False
Let k(z) = 4*z. Let i be k(4). Let v = -4 + i. Is v a multiple of 5?
False
Let m(d) be the first derivative of -d**4/4 + 5*d**3/3 + d**2 - 6*d + 2. Let p be m(5). Suppose -p*r = -2*w + 6*w - 168, -10 = -5*w. Is 20 a factor of r?
True
Let f(w) = w**3 + 4*w**2 - w - 3. Let s be f(3). Suppose 15 + s = 4*y. Suppose y = -g + 3*g. Is 3 a factor of g?
True
Let p = 12 + 10. Is 11 a factor of p?
True
Suppose -18 = -5*p + 2*r, 0 = 5*r - 6 + 1. Suppose p*t - 15 = 53. Does 7 divide t?
False
Let d = -150 - -300. Does 14 divide d?
False
Let l(w) = -w**3 + 11*w**2 - 10*w + 7. Let h be l(10). Let p = 9 - h. Suppose -t - 45 = -p*g, -5*g - 2*t + 86 = -40. Does 12 divide g?
True
Suppose -5 = -a + 7. Does 14 divide 2028/72 - 2/a?
True
Does 24 divide 4/(-1) + 2 + 74?
True
Is 41 a factor of 5 + -3 + 43 - (2 + 2)?
True
Suppose 4 = 4*g - 2*o - 14, -3*g + 21 = -3*o. Suppose 0*d - 46 = -g*d. Suppose d = 3*j + 4*l, 0 = -3*j - 0*j + 4*l + 7. Does 3 divide j?
False
Is 6 a factor of (-20 + 0)*(-1)/2?
False
Suppose o = 9 - 4. Suppose o*p - 40 = -5*s + p, 3*p = -4*s + 31. Does 4 divide s?
True
Let g(c) = -16*c. Let o be g(1). Let w = o + 9. Is 7 a factor of w/(-2)*1*2?
True
Let r(m) = -m - 5. Let b be r(-6). Suppose l + 5*p - 6 = -l, l + 3*p = b. Let h = l + -7. Is h even?
True
Suppose -2*b = -2*v - v - 38, -b = -2*v - 18. Is 12 a factor of b?
False
Suppose 2*o - 10 = 0, 0*z - 439 = -3*z + 4*o. Is 17 a factor of z?
True
Let l(g) = 6*g**2 + 2*g. Suppose 4*z - 4*y = -6*y - 22, 3*z - y = -4. Is l(z) a multiple of 16?
True
Let c be (3/9*0)/1. Suppose -3*j + 42 + 144 = c. Is 16 a factor of j?
False
Let o(c) = -7*c - 5. Let r(m) = -m**2 - 11*m - 6. Let x be r(-11). Is o(x) a multiple of 15?
False
Suppose -3*c = -2*v + 52, 0 = -5*v + c + 42 + 62. Suppose h - v = -0*h. Is h a multiple of 20?
True
Let t = -5 - -34. Is t a multiple of 13?
False
Suppose 0 = 3*c - 5*u + 11, 46 = 5*c + 5*u + 11. Suppose 2*g - 44 = -c*d, g + 2*d - 40 = -g. Is g a multiple of 9?
False
Let o = 9 + -8. Suppose 2 = g - o. Suppose 4*l - a = 43, 2*l + 33 = 6*l - g*a. Is l a multiple of 7?
False
Suppose 0 = 5*x + 2*i - 143, -3*x + 5*i + 11 = -50. Let a = 47 - x. Is a a multiple of 8?
False
Let g = 20 - -12. Let z = g - 19. Is 5 a factor of z?
False
Let t(x) = 0 + 0*x - 2*x - 2 + 3*x. Let v be t(5). Suppose v*y = 8*y - 75. Is 10 a factor of y?
False
Let i(l) = l**2 - 5*l - 2. Let s = 10 - 4. Let f be i(s). Suppose f*z - 30 = -0*z + 2*r, 0 = -z + 5*r + 21. Is 4 a factor of z?
False
L