i(q) = -q**2 + 14*q + 11. Does 9 divide i(11)?
False
Let c = 18 - 11. Let z(p) = 2*p + 2. Is 16 a factor of z(c)?
True
Let p be (-1 + 4)*(2 - -3). Suppose -5*d = p, 115 = -4*c + 4*d + 43. Does 14 divide c*(-1)/3*2?
True
Is 10 a factor of (-793)/(-78) + 1/(-6)?
True
Suppose 5 = 5*z, -4 + 64 = 4*x + 4*z. Does 7 divide x?
True
Let l(g) be the second derivative of g**4/12 - g**3/6 + 2*g**2 - 2*g. Is l(9) a multiple of 19?
True
Let f = 538 - 273. Is f a multiple of 13?
False
Suppose -5*x + 590 - 172 = f, -2 = f. Is 17 a factor of x?
False
Is 12 a factor of 2 - (-3 - 57/((-3)/(-1)))?
True
Does 8 divide 26/(4 - (4 - 1))?
False
Is 736/6 + -2 - 10/15 a multiple of 30?
True
Let g(c) = 4*c**2 + c - 27. Is 9 a factor of g(-5)?
False
Suppose k = -5*k + 216. Is 18 a factor of k?
True
Let c(y) = -y - 5. Let j be c(-5). Suppose j = -4*s + 17 + 15. Suppose v - s - 2 = 0. Is 4 a factor of v?
False
Suppose -3*m + 1 = -35. Is 6 a factor of m?
True
Is 46 - 0 - (-16 + 18) a multiple of 5?
False
Let v(s) = -s**3 + s**2 + 20. Let f be v(0). Suppose 0*j - 2*j + f = -4*w, 0 = -3*j - 4*w - 20. Suppose -3*i + 31 = k, 94 = 4*k - j*i + 2*i. Does 11 divide k?
True
Suppose 5*b + 0*u - 241 = u, -3*u = 3*b - 159. Is b a multiple of 12?
False
Suppose 2*g + 13 - 41 = 0. Let o = 9 - g. Is 5 + 1 - (3 + o) a multiple of 8?
True
Let x be 158/(-14) - 2/(-7). Let j = 16 + x. Let i = 6 + j. Is i a multiple of 11?
True
Let f(s) be the second derivative of -s**8/2240 + s**7/630 + s**6/180 + s**5/40 + s**4/6 + 2*s. Let l(z) be the third derivative of f(z). Does 12 divide l(-2)?
False
Let s be 20/35*7/2. Suppose 3*a = 4*a + s*u, -14 = -a + 5*u. Is 4 a factor of a?
True
Let y = -1 + 1. Suppose -4*d + 2*a + 6 = y, -5*d = -4*d - 5*a + 3. Suppose -18 = -d*f - 6. Does 3 divide f?
True
Suppose 7*n - 404 = 3*n. Does 37 divide n?
False
Suppose 0*l + 4 = 2*l. Suppose l*p = 3*p - 4. Suppose 0*j = j + p*r - 34, 3*r - 43 = -2*j. Is 8 a factor of j?
False
Suppose -x = 3*u - 7, 2*x - 3 = 4*u + 1. Suppose 0 = 5*y + 15, x*r + 31 = 8*r + 3*y. Is r a multiple of 10?
True
Let m(o) = o**3 + 3*o**2 - 4*o + 2. Let f be m(-4). Is 19 a factor of (40 - 2)*1/f?
True
Let v(w) = -2*w**2 - 3*w + 1. Let m be v(-3). Is (-131)/(-4) + 6/m a multiple of 16?
True
Let n(k) = -3*k**2 + 9*k - 1. Let q(w) = w**2 - 5*w + 1. Let l(t) = -3*n(t) - 5*q(t). Is 9 a factor of l(2)?
False
Suppose -3 - 2 = -q. Suppose -q*u + 1097 = 122. Suppose u = 2*l + 3*l. Does 15 divide l?
False
Let o(h) = -8*h**3 - 4*h**2 - 4*h - 1. Let q be o(-3). Suppose -2 = p - q. Suppose -v = 4*d - p, -42 - 3 = -d + 2*v. Is d a multiple of 13?
False
Let i(l) = -l**2 - 17*l - 14. Is i(-14) a multiple of 14?
True
Let p be (11 - 1)*(-3)/(-6). Let x be (-732)/(-14) + 6/(-21) + -1. Suppose 2*f + 2*i = 20, 0 = 4*f + p*i + 9 - x. Is 6 a factor of f?
False
Let b be 423/81 - (-4)/(-18). Suppose -y - 172 = -b*y. Is y a multiple of 9?
False
Is (0 - (28 - -2))/((-6)/4) a multiple of 10?
True
Let x(q) = q**2 + 2*q + 13. Is x(6) a multiple of 8?
False
Suppose 4*i = -6*j + 2*j + 100, 2*j - 8 = 0. Let a be i/6 + (-1)/2. Suppose -a*q - 11 + 47 = 0. Is q a multiple of 12?
True
Suppose -10 - 10 = -4*k. Suppose -k*v = -25 + 5. Let j = 4 + v. Is j a multiple of 6?
False
Let r = 28 - 9. Does 10 divide r?
False
Let n = -82 + 45. Let o = n + 54. Does 6 divide o?
False
Let p = 31 - 11. Let l be (8/p)/(1/100). Let r = l - 24. Does 8 divide r?
True
Let f(t) = 2*t**2 + 3*t - 3. Is f(-3) a multiple of 6?
True
Let i be (2/4)/(2/16). Let v(n) = 5*n**2 - 13*n - 1. Let s(u) = -6*u**2 + 14*u + 2. Let t(y) = -4*s(y) - 5*v(y). Is 9 a factor of t(i)?
False
Let q be 21/3 - (0 - -2). Suppose 0 = -0*c - c + q. Is 3 a factor of c?
False
Is (11/2)/(6/24) a multiple of 8?
False
Let v be (3/(-1))/(2/14). Suppose -42 - 3 = 5*l. Let f = l - v. Is f a multiple of 6?
True
Suppose -5*n = -8*n + 555. Does 37 divide n?
True
Let h(r) = -r + 13. Is h(-11) a multiple of 8?
True
Let w(o) = 1 - 3*o + 6*o**2 - 4 - 1 + 1. Is 7 a factor of w(3)?
True
Suppose -11 = 5*l + 14. Let i = 3 + l. Is 11 a factor of 23 - 1/(i/(-4))?
False
Let n(u) = u + 1. Let l be n(9). Let b = l - 7. Suppose -104 = -b*w + 22. Is 14 a factor of w?
True
Let k(v) = v**2 + 4*v. Let d be (16/12)/((-2)/6). Let m be k(d). Let g = 23 + m. Does 12 divide g?
False
Let m = 0 + 2. Let s be 2/((-1)/1 + m). Suppose 49 = s*w + 7. Does 7 divide w?
True
Suppose y - 3*p + 3 = -p, -3*y = 4*p + 19. Let b be 1 - -115 - (5 + y). Suppose 4*i + z - b = -i, 76 = 3*i - z. Is i a multiple of 12?
True
Suppose 4*d = s - d - 51, 3*d + 15 = 0. Is s a multiple of 4?
False
Let j(s) = -4*s - 1. Is j(-6) a multiple of 23?
True
Let c(g) = g**2 - 5*g - 13. Is 15 a factor of c(10)?
False
Let x(k) = k + k**2 - 8*k - 2 + 0. Let p be x(-10). Suppose p = 5*n - z, -2*n + 35 = 5*z - 43. Does 17 divide n?
True
Is (48/20)/((-2)/(-25)) a multiple of 10?
True
Let m(g) = g**2 - 7*g + 9. Let u be m(7). Let z = 32 - u. Is z a multiple of 21?
False
Let m = 6 + -1. Suppose -2*j - 21 = m*q, 3*j - q + 9 = -4*q. Suppose 32 = g - 3*o, 3*o - 72 = -j*g + 5*o. Is 19 a factor of g?
True
Let i(z) = 33*z**2 - z + 1. Is 10 a factor of i(1)?
False
Suppose 3*n - 44 = 25. Is n a multiple of 16?
False
Suppose -12*f = -1295 + 455. Does 8 divide f?
False
Suppose 2*n = 5*j, 0 = -n - 3*n. Suppose 4 = -2*v + 2*s, 2*v - 4*s + 4 + 6 = j. Is 15 a factor of v/2 + 118/4?
True
Let n(r) = r**2 - 7*r + 10. Is 13 a factor of n(8)?
False
Let s(d) = d**2 + d - 7. Let i be s(0). Let p = i + 17. Suppose 0 = 2*w - 4*w + p. Does 3 divide w?
False
Let s(m) = -3*m - m**2 + 3*m - 8 - 5*m - 8*m. Suppose 27 = -5*l - 13. Is s(l) a multiple of 16?
True
Let i(x) = -x - 8. Let z be i(-10). Suppose -z*g = 5*u + g - 176, -9 = 3*g. Is u a multiple of 8?
False
Suppose 0*x - 24 = -x. Is x a multiple of 12?
True
Suppose -8*b + 150 = -2*b. Is b a multiple of 7?
False
Suppose 8*n - 61 = 35. Is n a multiple of 4?
True
Let h = 5 - -25. Suppose 3*g + 15 = 0, -5*g - h = -2*o + 11. Is 8 a factor of o?
True
Let t be ((-10)/(-15))/((-2)/(-6)). Suppose v - 183 - 11 = -5*x, 0 = -3*x + t*v + 106. Does 17 divide x?
False
Is (-1)/(388/130 + -3) a multiple of 9?
False
Let n(q) = -q**3 - 7*q**2 - 6*q + 8. Let j be n(-6). Let h(d) = d**3 - d**2 - 2*d - 1. Let w be h(-1). Let t = w + j. Is 7 a factor of t?
True
Let y be (-4)/2*2/4. Let i(h) = 5*h**3 - 1. Let m be i(y). Is (-25)/(-3) - m/(-18) a multiple of 3?
False
Let l(a) be the second derivative of -a**5/20 + a**4/2 - 5*a**3/6 + 3*a**2 + 3*a. Is 5 a factor of l(5)?
False
Let x(p) = p. Let k be x(-6). Does 13 divide k/(-9) - (-152)/6?
True
Suppose 5*u = h + 329, -u - 3*h + 0 + 69 = 0. Is u a multiple of 8?
False
Let h = -25 - -37. Does 10 divide h?
False
Let d be 0 - (22 + (-6)/2). Does 19 divide (1 + 0 + -2)*d?
True
Let b(o) = o**3 + 3*o**2 - 12*o - 9. Let s(h) = h**3 + 3*h**2 - 13*h - 10. Let c(g) = -6*b(g) + 5*s(g). Is 13 a factor of c(-6)?
False
Let s = 7 + -8. Is (s + 0)/(2/(-20)) a multiple of 10?
True
Let v = -2 + 35. Does 11 divide v?
True
Is 13 a factor of 1/((-32)/(-5416)) - (-1)/(-4)?
True
Suppose 7*p - 29 = 671. Is p a multiple of 25?
True
Suppose 0 = 5*z - 2 - 18. Suppose -z*c + 12 + 0 = 0, -k - 1 = -c. Is ((-19)/2)/((-1)/k) a multiple of 15?
False
Does 17 divide 1/3*-1*(-514 + 7)?
False
Let y be -2 + 2 + (0 - -1). Let q be -3 + (-1)/(y/(-11)). Suppose 5*h = 28 - q. Does 4 divide h?
True
Let x = 1 + 10. Suppose -2*n + 3 = -x. Is n a multiple of 4?
False
Let i(z) be the first derivative of -z**4/4 + 2*z**3 + 5*z**2/2 - 8*z - 8. Does 22 divide i(6)?
True
Is (-1 + 13)*((2 - -10) + -6) a multiple of 36?
True
Let f = -11 - -11. Suppose -3*h + 26 = -f*h + n, 4*h - 52 = 3*n. Is 7 a factor of h?
False
Suppose z - 5*z - 4*o = -20, 15 = 3*o. Let x(q) = 2*q + 28*q**2 + 0 + 1 + z. Is x(-1) a multiple of 11?
False
Let y be (68 - 0)*(-2)/(-8). Suppose -4*w + 31 = 2*t + w, -4*t + 5*w = -y. Is 3 a factor of t?
False
Let f(j) = j**2 + 7*j + 8. Let w be f(-6). Let s(n) = 4*n**2 + 1. Let x be s(1). Suppose -4*h - w*k - 39 = -155, -x*k = 2*h - 58. Is 11 a factor of h?
False
Let t be 0 + (-2 + 1)*-4. Let f(b) = 10*b + 2. Is 14 a factor of f(t)?
True
Let u be (0 - -74)*1/2. Let w = -25 + u. Is 3 a factor of w?
True
Let c = 9 - 4. Suppose c*y = -9 - 1. Does 15 divide (-75)/(-2) - 1/y?
False
Let u(t) = t**2 + 9*t - 