ple of 15?
False
Let n(u) = u**3 + 9*u**2 + 6*u - 4. Let a be (0 - -6)/2 + -11. Does 4 divide n(a)?
True
Let n = -61 - -157. Is n a multiple of 16?
True
Let w = 6 - 8. Is 27 a factor of w + (1 - -29) + -1?
True
Suppose -2*a - 33 = -5*c, 0*a + 4*a = -3*c - 1. Suppose -4*j - j + 115 = -c*u, 41 = 2*j - 3*u. Does 6 divide j?
False
Let z(i) = i**2 + 8*i + 4. Let r be z(-5). Let w = r - -19. Is (-1)/1*(3 - w) a multiple of 2?
False
Let k(r) = r + 1. Let n be k(-6). Let b = -5 - n. Let d = 2 - b. Is d a multiple of 2?
True
Let t = 22 + -17. Suppose 2*m - 2*z - 10 = -0*m, 2*m - t*z - 10 = 0. Does 4 divide m?
False
Let b(n) = n + 4 - n**2 - 3*n + 0*n - n. Let j be b(-4). Suppose j = 4*z - 0*z - 28. Is z a multiple of 5?
False
Let i be (-9)/(-15) + 24/10. Let l = 10 - i. Suppose -4*p - 2*u + 54 = 0, 2 + l = p + 2*u. Is 5 a factor of p?
True
Let c(l) = -5*l**3 + l. Let x be c(-1). Is 13 a factor of 195/6 - 2/x?
False
Let i(d) = -d - 4. Let h be i(-5). Let y be 2 + -1 + 2/h. Suppose 0 = -y*a - a - w + 88, a - 22 = -3*w. Does 8 divide a?
False
Suppose 12 = 4*q - 176. Suppose -53 - q = -5*r. Suppose -3 = -5*p - s + r, -4*p + s + 13 = 0. Is 3 a factor of p?
False
Let r be (0 - (-2 - -6))*-1. Suppose r*z = 2*z + 10. Suppose -z*s + 34 = -c, 2*s + c = s + 8. Is s a multiple of 7?
True
Let f be 1 - (0 - 23)*4. Let t = f - 56. Is 10 a factor of t?
False
Suppose 0*w = -3*w + 267. Let t = w + -51. Is 19 a factor of t?
True
Is 13 a factor of 2/(5*4/390)?
True
Does 2 divide (-40)/5*(-2)/4?
True
Let b(j) be the first derivative of j**2/2 + 25*j - 1. Let q be b(0). Suppose -2*d = q - 101. Is 11 a factor of d?
False
Let l(r) = r**2 - 5*r + 4. Is 10 a factor of l(6)?
True
Let x = 2 - -1. Suppose v - 36 - x = 0. Is 13 a factor of v?
True
Suppose -18 = -b - 3*p - 2, -34 = -4*b - 2*p. Suppose -b*o + 3*o = -k - 52, -2*o + 5*k = -8. Let s = 21 - o. Does 7 divide s?
True
Let d(w) = -w**2 + w + 42. Suppose -3*h + 14 = -3*b + 2, -h = 5*b + 2. Let p = b + 1. Is 14 a factor of d(p)?
True
Let w(p) = 13*p + 2. Let j be (2/8)/((-6)/(-48)). Is 14 a factor of w(j)?
True
Let f(q) = 21 - 2*q - 7 + 6*q - 3*q. Is 3 a factor of f(-7)?
False
Let m(k) = k + 5. Let c be m(0). Suppose -y - 5 = -2*y + 2*w, -w - 4 = 0. Let l = c + y. Is 2 a factor of l?
True
Let i(o) = 11*o - 4. Let b(d) = 12*d - 5. Let l(v) = 4*b(v) - 3*i(v). Does 13 divide l(4)?
True
Is 4 a factor of (3 + (-2 - -5))*20/6?
True
Let v(n) = -42*n. Let z = 6 - 5. Let t be v(z). Let k = 71 + t. Does 8 divide k?
False
Suppose 0*n - 2*z - 478 = -4*n, -2*n = -5*z - 219. Does 22 divide n?
False
Suppose -5*d + d - 60 = 0. Suppose -6 = 4*r + 2. Does 12 divide (10/d)/(r/114)?
False
Let k(t) be the second derivative of -t**5/20 + t**4/2 + t**3/6 - t**2/2 - 3*t. Is 15 a factor of k(4)?
False
Let z(g) = -g**2 - 11*g - 6. Let j be z(-11). Let b be j/(-4)*(-4)/(-3). Let i = 8 - b. Is 6 a factor of i?
True
Let j(b) = -b**3 - b**2 - b - 1. Let v be j(0). Let f = v + 3. Suppose f = d - 0*d. Does 2 divide d?
True
Is 6/(-4) + 470/20 a multiple of 11?
True
Let u(z) = -9*z - 5. Let c be 0 - (3 + -2) - -10. Let j = c + -13. Is 21 a factor of u(j)?
False
Let u be (32/10)/((-5)/(-75)). Suppose 5*j = 3*n - 132, n - u = 4*j - 4. Is 22 a factor of n?
True
Suppose 0*d + 32 = -4*d. Does 14 divide (84/d)/(3/(-8))?
True
Let j(u) be the third derivative of -u**6/120 - u**5/15 - u**4/4 - u**3/3 - 4*u**2. Does 11 divide j(-4)?
True
Let j(m) = m**3 + 8*m**2 - 11*m - 16. Is 18 a factor of j(-8)?
True
Suppose 5*f - f = 16, 36 = -4*s + 4*f. Let x(d) = 5 - 8 - 5*d - 2 + d. Is x(s) a multiple of 10?
False
Let p(t) = 4*t**2 + t + 1. Let j be p(-1). Suppose -2*v = -j*v + 16. Is 4 a factor of v?
True
Suppose 24 + 96 = 2*w. Is 12 a factor of w?
True
Suppose 2*r - 8 = -2. Suppose 0*o + 70 = 2*v - 2*o, 5*v - 179 = r*o. Is 10 a factor of v?
False
Suppose -2*g + 52 = 4*p, -23 = -g - 4*p + 3*p. Is g a multiple of 20?
True
Let v(h) = 6*h**2 - 9*h + 4. Does 12 divide v(4)?
False
Let v(y) = y - 5. Let m be v(7). Suppose 2*w = -5*f + 49, m*f + 70 = 5*w - 3*f. Is w a multiple of 14?
False
Let m(g) = g**3 + 9*g**2 + 2*g + 1. Let b be m(-9). Does 9 divide (b/4)/((-3)/24)?
False
Suppose 5*g + 2*h = -6, h + 6 = 4*g - h. Suppose -4*q = -5*z + 262, g*z - 62 = -z - 4*q. Does 12 divide z?
False
Let i(d) = -45*d. Let s(x) = -13*x. Let v(b) = -5*i(b) + 18*s(b). Let z = 1 - 4. Is 11 a factor of v(z)?
False
Let x be (48 - -1) + (-4 - -1). Is 12 a factor of (-3)/(12/x)*-2?
False
Suppose 0 = -6*j + 2*j. Suppose j*c + 84 = 4*c. Let f = 37 - c. Does 16 divide f?
True
Let p(i) = 33*i**3 - 3*i**2 + 7*i - 2. Does 24 divide p(2)?
True
Let j(g) be the third derivative of -5*g**4/24 - 5*g**3/6 - g**2. Let w be 45/10*4/(-3). Is j(w) a multiple of 9?
False
Let t = 62 - 92. Let c = t + 54. Is c a multiple of 10?
False
Let k = -33 + 96. Let z be 581/k - 4/18. Suppose 0 = q - z - 24. Does 14 divide q?
False
Does 10 divide (3 - -47) + -3 + -4?
False
Is 6 a factor of (0 - 61)/(-1*(3 + -2))?
False
Let n(f) = f**3 - 7*f**2 + 5. Let h be n(7). Suppose h*r - 36 = r. Let x = r - 0. Is x a multiple of 9?
True
Let s be (-2)/8 - (-201)/(-12). Let p(n) = n**3 - 7*n**2 - 5*n + 4. Let r be p(7). Let q = s - r. Is q a multiple of 14?
True
Let f(g) = -6 - 2 - 2*g + 3*g. Let s be f(10). Suppose -8 = -s*q + 2. Does 4 divide q?
False
Suppose 0 = 2*o - 7*o + v + 5, 4*o + 7 = 3*v. Suppose l - 4 - o = 0. Is 6 a factor of l?
True
Let u(z) = 2*z - 7. Let f(t) = -t**3 - 5*t**2 + 2*t - 1. Let m be f(-3). Let w = -15 - m. Is 6 a factor of u(w)?
False
Let j(c) = c + 1. Let w(h) = 15*h + 10. Let o(k) = 10*j(k) - w(k). Does 15 divide o(-3)?
True
Let g(b) = 123*b**2 + 3*b - 2. Is g(1) a multiple of 31?
True
Let u(w) = -w**2 - 2 + 5 + w + w**3 + 0*w**3. Let p be u(0). Is ((-2)/(-3))/(p/72) a multiple of 6?
False
Suppose 4*c - 39 = -3*x, 5*x = -0*x - 5*c + 65. Does 13 divide x?
True
Let y(h) be the third derivative of -h**9/5040 + h**8/10080 + h**7/5040 - h**5/30 - 2*h**2. Let n(b) be the third derivative of y(b). Is 13 a factor of n(-1)?
True
Suppose s - 1 = 0, -3*s + 2 + 4 = 3*r. Let x be ((-2)/(-3))/(r/6). Suppose 9*g - 20 = x*g. Is 4 a factor of g?
True
Let c(z) = -z. Let p be c(-4). Suppose -44 = l - 5*l - p*a, 5*l = 3*a + 71. Suppose -3*q = -l - 26. Is 13 a factor of q?
True
Let y(x) be the third derivative of 17*x**5/30 + x**4/12 - x**3/6 + 5*x**2. Let s be 1 - (1 - 1)/1. Does 15 divide y(s)?
False
Suppose 3*f + 4*s = 37, -4*f + 3*s = -2*s - 8. Let t(l) = -17*l + 58*l - 19*l - 10 - 15*l. Is t(f) a multiple of 13?
True
Let j(m) = m**3 - 6*m**2 + 6*m - 2. Let r be j(5). Suppose r*x - 96 = -x. Is x a multiple of 8?
True
Let k = -106 - -228. Is k a multiple of 44?
False
Let x(g) = -g**3 - 9*g**2 + g + 12. Let s be x(-9). Suppose -75 = -2*v - s. Is 18 a factor of v?
True
Let w = 2 + -7. Let c(x) = x**2 - x. Let f(p) = 2*p**2 + 2*p + 2. Let a(u) = -c(u) + f(u). Is 12 a factor of a(w)?
True
Suppose 3*m - 21 = -3*b, -4*m - 2*b = -0*b - 20. Let h = m - -22. Let w = h + -6. Is w a multiple of 19?
True
Suppose 3*l + 0 = 3. Suppose 10 = t - l. Is 7 a factor of t?
False
Let d(i) = 26*i - 12. Does 27 divide d(2)?
False
Suppose 5*u - 124 = 446. Does 23 divide u?
False
Let c = 466 + 25. Is c a multiple of 22?
False
Suppose -2*c = -5*c - h - 397, -4*c - 525 = -3*h. Let t = c - -186. Does 18 divide t?
True
Let p(n) = -n**2 + n - 6. Let o be p(6). Let y(v) = -7*v**2 + 2*v + 1. Let m be y(3). Let h = o - m. Is h a multiple of 10?
True
Let b be (6 - 4) + 2*11. Is ((-2)/(-3))/(b/2196) a multiple of 29?
False
Suppose -4*x - 12 = -3*d, -8*d + 3*d - 3 = x. Suppose d*w = 5*w - 15, -3*m = -w - 93. Is 16 a factor of m?
True
Let p = -10 + -13. Let w = p + 51. Is 6 a factor of (72/w)/((-2)/(-14))?
True
Suppose q + 2*q = 60. Does 11 divide q?
False
Let h be 62*((-3)/3 - -2). Suppose 0 = -3*a + 248 - h. Is a a multiple of 9?
False
Let t = 7 - 4. Suppose -5*x = -t*j - 4, -6*j + x = -j + 14. Does 2 divide (5 - 0)/((-3)/j)?
False
Suppose 3 + 7 = -5*h. Suppose -58 = 3*p - 13. Is 14 a factor of (-1)/(-2)*h - p?
True
Let o(w) = -w**2 + 10*w + 7. Is o(9) a multiple of 3?
False
Suppose 5*m + 4 = -86. Let t = m + -38. Is 11 a factor of t/(-3) + (-4)/6?
False
Let p = 9 - 6. Is 3 a factor of p?
True
Does 4 divide 1 - 3/((-9)/39)?
False
Suppose -27 = j + 14. Let t = 12 + 6