Suppose -p + 3*h = u*h - 166, 0 = -p + 3*h + 150. Suppose -p = -5*a - 3*o, a + 127 = 5*a + 5*o. Does 11 divide a?
True
Is 8/(-44) + 864/33 a multiple of 23?
False
Let y(i) be the third derivative of i**7/2520 + i**6/144 + i**5/15 + i**4/8 + i**2. Let d(q) be the second derivative of y(q). Is 13 a factor of d(-7)?
False
Suppose -2*b = -11 - 1. Let m(q) = -q**3 + 7*q**2 + 7*q - 4. Let t be m(b). Let y = t - 51. Is y a multiple of 17?
False
Let a(m) = 3*m**2 + 7*m - 6. Let b(p) = p**2 + p + 1. Let x(q) = a(q) - 2*b(q). Let y be x(-6). Is 12 a factor of y/(-7) - 192/(-14)?
False
Let g(v) = 7*v + 4. Is g(4) a multiple of 14?
False
Suppose y + z - 2 = 0, z + 16 = 5*y - 3*y. Suppose y*h = 3*h - 18. Let f(q) = -3*q. Does 9 divide f(h)?
True
Suppose -2*d - 128 = -3*b, 73 = b + 4*d + 21. Does 10 divide b?
False
Suppose 2*m - 12 = -3*t, 2*m - 8 = -2*t + 6*m. Suppose -i + 230 = t*i. Is 16 a factor of i?
False
Let u(k) = k**3 + k**2 + k. Suppose -4*r = -4*a + 4, -2*a + 0*r - 3*r - 8 = 0. Let x be u(a). Is x - (52/(-2) + 0) a multiple of 19?
False
Let g(t) = -3*t - 7. Let q be g(-4). Let w(x) = x**2 - x - 4. Is w(q) a multiple of 8?
True
Let s be (-1 - 6/(-3)) + -5. Let a(z) = -z**2 - 8. Let c be a(0). Does 17 divide (-70)/s + 4/c?
True
Let c(m) = -15*m**2 + m + 1. Let b be c(2). Let f = b - -41. Let u = 27 + f. Is u a multiple of 10?
False
Suppose -20 = 10*u - 15*u. Let a = 3 + 10. Suppose -u*m + 19 = 4*n + m, 4*m = -3*n + a. Does 11 divide n?
True
Suppose 0 = 5*s - m - 84, -2*s + 82 = 3*s - 3*m. Is 6 a factor of s?
False
Is (1 + 26)*22/33 a multiple of 3?
True
Suppose -4*r - 2*w + 384 = -978, -348 = -r - 3*w. Is r a multiple of 15?
False
Suppose -27 + 9 = -2*v. Suppose -5*l + 125 = 4*t - v, 128 = 5*l - 2*t. Is l a multiple of 14?
False
Suppose -l - 5 + 71 = 0. Is 11 a factor of l?
True
Suppose l + 2 = 0, 0*l = -2*u - 4*l + 46. Is 4 a factor of u?
False
Suppose 5*t - 440 = -3*t. Is t even?
False
Let q = 21 + -12. Does 13 divide (-2)/q - (-245)/9?
False
Suppose -2*w = 4*f - 11 - 1, 0 = -3*w - 4*f + 14. Let c(k) = 11*k**3 + k**2 + 2*k - 3. Let j be c(w). Suppose -j + 21 = -4*m. Is 9 a factor of m?
True
Let k = -11 - -7. Let z(n) = n**3 + 5*n**2 + 4*n - 1. Let b be z(k). Is (25 - (2 + b)) + 2 a multiple of 13?
True
Suppose 4*t - 108 = -0*t + 4*v, -2*t = -v - 59. Is 16 a factor of t?
True
Suppose -4*j + 89 = -19. Is j a multiple of 9?
True
Let g(o) = 11 - 11*o**3 - 8*o**2 - 2*o**3 + 6*o + 6*o**3 + 6*o**3. Suppose 2*w + j - 34 = 6*w, 10 = -2*w + 4*j. Is 21 a factor of g(w)?
False
Suppose 8*o - 77 = -5. Is o a multiple of 6?
False
Let z = 1 + 2. Is 21 a factor of (-2)/3*-24*z?
False
Suppose 0 = -2*w - 0*w + 218. Suppose -3*r = -23 - w. Is r a multiple of 17?
False
Suppose 0 = 3*a + 5*t - 8*t - 3, 0 = -a - 2*t + 1. Let d = 17 + a. Is d a multiple of 17?
False
Suppose 0 = -f + 2*f + 5*l + 2, 0 = -3*f - 3*l + 54. Let o = f + -10. Is 13 a factor of o?
True
Let u(f) = f**3 + 7*f**2 + 5*f - 2. Let p be u(-6). Let g be (-6)/p*(-94 - 0). Suppose -4*d = -4*y - 84, 0*y - g = -5*d - 4*y. Is d a multiple of 12?
False
Let y(t) = -2*t**3 - 5*t**2 - t + 3. Let u(m) = 4*m**3 + 9*m**2 + m - 6. Let i(q) = -3*u(q) - 5*y(q). Is 2 a factor of i(-2)?
False
Suppose -3*w + 4*h - 3 = -0*w, -4*h = 5*w + 5. Does 15 divide w - -50 - (-7 + 4)?
False
Let o = 136 - 46. Suppose 9*g - o = 4*g. Does 8 divide g?
False
Is 18 a factor of (5 - 7 - (-7 - -2)) + 213?
True
Suppose 4*d + 3 + 13 = 2*n, -2*d = -4*n + 14. Suppose n*m = -l + 108, m + l + 24 = 77. Is m a multiple of 20?
False
Suppose -2*m + 51 = 5*k, -3*m + 58 + 56 = -5*k. Is m a multiple of 19?
False
Let p(d) = 27*d + 5. Suppose -b - 8 + 10 = 0. Does 16 divide p(b)?
False
Let k(f) = f + 10. Let t be k(-14). Let p = t + 10. Is p even?
True
Let m = 7 - 0. Does 3 divide m?
False
Let x be 3/5 + (-51)/(-15). Suppose 2*a + 33 = 105. Suppose 0 = 2*t + x - a. Is t a multiple of 15?
False
Let n = 181 + -122. Is 18 a factor of n?
False
Is 7 a factor of 23 - 2/(1 - 0)?
True
Let r(q) = 7*q**2 - 5*q - 10. Suppose 3*z + 12 = 5*a, -a + 16 = z + 4*a. Let f(b) = -b**2 + b + 1. Let s(y) = z*r(y) + 6*f(y). Does 6 divide s(4)?
False
Let f be 5/(-2)*8/(-10). Let c be ((-1)/f)/((-6)/72). Is 8*3/c*5 a multiple of 10?
True
Let v(s) = s + 9. Let y be v(-6). Suppose 5*w + 59 = y*n, 0 = 3*n + 2*w - 33 - 19. Does 9 divide n?
True
Suppose -2*s + 66 + 6 = 0. Suppose 0 = -x - 4*i + 14 + 20, -4*x + 5*i + 94 = 0. Let t = s - x. Is 10 a factor of t?
True
Suppose -2*p = z + 2*p + 18, -31 = -3*z + 5*p. Suppose c = 2*g - 6, 1 - 4 = -g - z*c. Is 40/g - (-2)/3 a multiple of 7?
True
Let t = 257 - -10. Is t a multiple of 44?
False
Let q(y) = 15*y - 9. Is q(11) a multiple of 26?
True
Let h(l) = 8*l - 9. Let w(q) = -7*q + 8. Let v(n) = -5*h(n) - 6*w(n). Let z be v(3). Let y = 2 + z. Is 4 a factor of y?
False
Let j(s) = 2*s + 2. Let u be j(8). Suppose 3*q = -3*v + u, 3*v + 0*v = 5*q - 54. Does 7 divide q?
False
Let p be (-52)/(-20) + (-6)/(-15). Let l = p - -12. Is 15 a factor of l?
True
Let r = 1 + -1. Suppose r*s = 2*s. Suppose 3*k = -7*f + 3*f + 20, s = -k + f + 16. Does 6 divide k?
True
Let a(s) = -3*s**3 + 20*s**2 + 7*s - 18. Is a(6) a multiple of 4?
True
Let k(x) = -5*x**2 + 4*x + 3. Let j(r) = -6*r**2 + 5*r + 2. Let t(b) = -4*j(b) + 5*k(b). Let d be t(0). Suppose 0 = -d*n + 2*n + 110. Is 11 a factor of n?
True
Suppose 0 = -4*n + 8 + 28. Is 3 a factor of n?
True
Let i = 3 + 1. Suppose -5*g = 14 - i. Is 8 a factor of (-1)/g*(-48)/(-2)?
False
Let j = 22 - -128. Suppose j = -p + 3*p. Let s = -39 + p. Is 14 a factor of s?
False
Let y = 2 - -17. Let s be 5/7 - (-8)/28. Let z = y + s. Does 10 divide z?
True
Let x be (-1 - -1)/((-4)/(-2)). Suppose x = 3*c - 5*t + 3*t - 65, 2*c = 3*t + 40. Is c a multiple of 12?
False
Suppose 22 = 2*g + 4*p - 0*p, -4*g + 2*p = -34. Let l(y) = 6*y + 4. Is 32 a factor of l(g)?
False
Let j(c) = -4*c**3 - c**3 + 4*c**3 + 3. Let l be j(3). Is (26/(-8))/(6/l) a multiple of 13?
True
Let g = -59 + 135. Is 11 a factor of g?
False
Let m(u) = 3 - 5*u**2 - u**3 + 7*u - 3*u - 2 + u**2. Does 2 divide m(-5)?
True
Let p = 10 + -8. Is 15 a factor of 3/(-1) - (-31 - p)?
True
Let l(o) be the second derivative of o**5/10 - 3*o**4/4 + 5*o**3/6 - 9*o**2/2 - o. Let y be l(6). Suppose h = 4*h - y. Does 16 divide h?
False
Suppose 4*h = 3*h + 32. Is 16 a factor of h?
True
Let f be 3 - 3*(-2)/3. Let v = 132 - -30. Suppose 0 = 5*u - 4*z - 96, z - v = -f*u - 61. Is u a multiple of 10?
True
Let i(x) be the second derivative of x**5/20 + 7*x**4/12 + x**3/3 - 3*x**2 + 2*x. Is i(-5) a multiple of 17?
True
Let s = 112 - 75. Is s a multiple of 14?
False
Suppose 2*w - 16 - 58 = 0. Suppose w = 2*o - 23. Suppose 3*p = 4*y - 26, -5*y - 3*p + 8*p = -o. Is 6 a factor of y?
False
Suppose 99 + 1 = 4*j. Is 7 a factor of j?
False
Let l = -46 + 84. Let x = l - 14. Is 8 a factor of x?
True
Suppose 1085 = 2*u + 3*u + 5*w, 3*u = w + 667. Is 17 a factor of u?
True
Let x = -5 - -8. Let u be (-18)/1*(-10)/x. Suppose 4*c = 2*c + u. Is c a multiple of 15?
True
Let i(q) = q**2 + 8*q + 3. Is 12 a factor of i(-9)?
True
Let g = 0 - -2. Let s = 7 + g. Is s a multiple of 3?
True
Suppose 33 = c + 11. Does 19 divide c?
False
Suppose 8*h = 14*h - 300. Is 9 a factor of h?
False
Let w(x) = x + 7. Let u be w(-4). Suppose 9 + 6 = u*k. Suppose -k*h - 68 = -9*h. Does 17 divide h?
True
Let d(w) = 9*w + 2. Let y be d(-3). Let t = 9 - y. Does 7 divide t?
False
Let n be 8/10*10/4. Suppose -n*j + 200 = -100. Does 9 divide (-9)/12 - j/(-8)?
True
Suppose 2*v + 3*g = -6, 4 = -5*v + 3*v - 2*g. Let h be (-3 + v)*5/(-3). Suppose 305 = h*t + 95. Does 11 divide t?
False
Let g(l) = -l + l + l + 0. Let w be g(-2). Does 10 divide -10*(-1)/w*-2?
True
Let k = -2 + 20. Suppose -p + k = 6. Is p a multiple of 4?
True
Let i = 456 + -206. Let p be 2/(3 - 2) - i. Is p/(-20) + 4/(-10) a multiple of 5?
False
Suppose 0 = 2*c - c + i - 4, 4*c - 5*i + 20 = 0. Let g = c - -3. Suppose 19 = g*s - 11. Is 5 a factor of s?
True
Let x be (-196)/(-10) - 16/(-40). Suppose 40 = 5*h - x. Is h a multiple of 12?
True
Let s(a) = 3*a**2 + 12*a + 3. Let h be 22/(-4) + 1/2. Does 18 divide s(h)?
True
Let y(v) = v**2 - 5*v + 9. Is y(-5) a multiple of 13?
False
Let m be -15 + 2 - (-2 + 5). Let k = 36 + m. Is 10 a factor of k?
True
Suppose -8*b = b - 936. Is b a m