uppose p*c + q = -11, -k = 3*c - 30. Does 12 divide k?
False
Let p(z) = 4*z**2 + z + 1. Let l be p(-1). Let s(f) = 0*f**2 - f**3 - f**2 - l - 2*f + 1 - 3*f**2. Does 16 divide s(-5)?
True
Suppose 0 = 6*l - 2*l + 12, -2*l - 6 = -4*f. Suppose 9*r - 792 = -f*r. Is 11 a factor of r?
True
Let l = -54 + 33. Let c be 7/(-1)*30/l. Does 34 divide 736/c + 10/25?
False
Let j = -1 + 3. Suppose q - 88 = -4*m, q + j*m - 3*m - 83 = 0. Is q a multiple of 28?
True
Let u(z) = z**3 + 8*z**2 - 9*z + 7. Let o be u(-9). Let a = o - 7. Is 1 + a + (19 - -4) a multiple of 12?
True
Is 18 a factor of (-4)/(-10) - 13640/(-25)?
False
Suppose 2*t - 8 + 4 = 0. Suppose 3*c = -t*f + 28 + 18, 0 = -3*f - 12. Is c a multiple of 18?
True
Suppose 5*x + 4*k - 5 - 8 = 0, -2*x = k - 7. Suppose 2*c = x*z - 816, 5*z - 3*c + 397 - 1216 = 0. Suppose 5*s + 12 = z. Does 30 divide s?
True
Let q(d) = d**3 + 14*d**2 + 11*d + 12. Let m(p) = -p + 10. Let i be m(23). Does 4 divide q(i)?
False
Let j = -4 + 8. Let v be (202/j)/(1/2). Suppose 5*o = 10*o + 3*w - v, 51 = 3*o + 5*w. Is 11 a factor of o?
True
Suppose 0 = -6*y + y + 20. Let r(f) = -2*f + 4. Let u be r(1). Suppose 5*j = -y*s + 253, u*j = s + 5*j - 72. Is s a multiple of 19?
True
Let u(o) be the second derivative of o**5/20 + 5*o**4/12 + o**3 + o**2 + 3*o. Let g be u(-4). Does 17 divide (-333)/(-5) - g/15?
False
Let c = 19 - 16. Suppose -5*k + 3*k = -c*q - 269, k - 122 = -q. Is 32 a factor of k?
False
Let l(i) = -8*i - 82. Let n(t) = -t**2 + t - 7. Let a be n(5). Does 6 divide l(a)?
False
Suppose -46 + 44 = -u. Suppose 6*i - 420 = u*i. Is 21 a factor of i?
True
Let d = -189 + 310. Is d a multiple of 11?
True
Suppose v = -5*i + 945, 5*v - 8*v = 0. Is 2 a factor of i?
False
Suppose 1 - 9 = 2*j. Let n = 15 + j. Is 8 a factor of n?
False
Let k(g) = 2*g**2 + 55*g - 109. Is 10 a factor of k(-36)?
False
Let c(t) = t**2 - 3*t + 4. Let i be c(3). Suppose 6*g = i*g + 28. Suppose -n + g = -8. Is n a multiple of 11?
True
Suppose -t + 5*g - 35 = -6*t, t - 2*g + 5 = 0. Suppose -t*x - 15 = -b, -3*b + 2*x - 10 = 4*x. Is 24 a factor of -1 - (-50 + 1 + b)?
True
Let s(p) = p**3 + 19*p**2 - 5*p + 4. Does 44 divide s(-8)?
True
Suppose 28*o + 0*o = 3080. Does 3 divide o?
False
Suppose -12*q = -41*q + 12325. Is q a multiple of 17?
True
Let x(r) = -r**3 - 42*r**2 - 83*r - 42. Does 22 divide x(-40)?
False
Let l = 159 + 1991. Is 30 a factor of l?
False
Let t = 4907 + -1884. Is 10 a factor of t?
False
Let z(u) = -13*u + 5. Let r be z(-1). Does 10 divide ((-24)/r)/(3/(-171))?
False
Let m(c) = c**2 - 8*c - 7. Suppose -4*i = -3*q - 2*q + 43, 0 = 2*q - i - 19. Is 26 a factor of m(q)?
True
Let k(a) = -2*a + 27. Let y be k(12). Suppose y*d + 2*n + 368 = -d, -n = 5*d + 454. Let j = -17 - d. Is j a multiple of 15?
False
Suppose 4*m - 2 = -n + 3, -5*m + 5*n = -25. Let x be (m + -2)*1/(-2). Is 31 + x - (2 - 3) a multiple of 8?
True
Suppose 10*d - 381 - 1029 = 0. Does 10 divide d?
False
Let m = 19 - 32. Let d(b) = 2*b**2 + 19*b + 44. Is d(m) a multiple of 27?
True
Let m(d) = 3*d**2 - 2*d + 1. Let x = 3 + 0. Let j(g) = -g**2 + 3*g - 2. Let b be j(x). Is m(b) a multiple of 17?
True
Let i = -5 + 8. Suppose 44 = 3*b + i*d + 11, 4*d - 17 = -b. Let j = b - -27. Is 12 a factor of j?
True
Let y(z) = 4*z**3 + 7*z**2 + 4*z - 3. Let f(m) = -m**3 - m**2. Let u(x) = -6*f(x) - y(x). Let j be u(6). Is 10 a factor of ((-4)/(-10))/(5/j)?
True
Suppose 5*s = 8*s - 4*g - 56, -5*g = 3*s - 65. Is 4 a factor of s?
True
Suppose -4*c + 2768 = 3*t - 1386, c + 2*t - 1041 = 0. Is 61 a factor of c?
True
Suppose 3*s - 6 = -0*s. Suppose -27 = -s*n + n. Let l = n + 49. Is l a multiple of 28?
False
Suppose 2*n - 2*p = 14, 4*n - p + 8 = 8*n. Suppose n*i + 140 = 8*i. Is i a multiple of 15?
False
Let p(k) = k**2 + 14*k + 13. Let u be p(-10). Let v = -27 - u. Suppose v = -t + 60 - 0. Is t a multiple of 32?
False
Let g(q) = 2*q + 5. Let b be g(0). Suppose b*j - 125 - 610 = 0. Is j a multiple of 26?
False
Let y(o) = -2*o**3 - 5*o**2 + 4*o. Suppose -3*m = 2*n - n + 10, 2*n = -3*m - 14. Is 22 a factor of y(n)?
False
Let h = 10 - 3. Suppose 0 = -2*u + h*u - 490. Is 14 a factor of u?
True
Suppose -6*d + 2210 = 20*d. Is d a multiple of 17?
True
Let m = 25 + -3. Let g = m - -76. Is 15 a factor of g?
False
Does 11 divide 4160 - ((-84 - -85) + (8 - 1))?
False
Let a(h) be the first derivative of 3*h**2 + 5*h - 11. Does 18 divide a(5)?
False
Suppose 4*f - 7*f = -45. Suppose -8*g + 3*g = -f. Let u = 12 - g. Does 9 divide u?
True
Suppose -17*j = -16*j - 31. Let h = j + 4. Is 35 a factor of h?
True
Let a be 2/7 + (-48)/(-28). Suppose 18 = a*c + c. Suppose -c*g = -3*g - 66. Does 10 divide g?
False
Let a = 52 - 76. Let r = a - -36. Is 3 a factor of r?
True
Suppose -12413 - 3757 = -49*p. Is 28 a factor of p?
False
Is (23/(-3) + 9)*420 a multiple of 15?
False
Suppose 0 = 4*v + 23 + 9. Is (1 + -5 - v) + 24 a multiple of 7?
True
Let b(n) = 89*n - 384. Does 30 divide b(6)?
True
Let f = 4 + -26. Is 2*2/f - (-3372)/33 a multiple of 17?
True
Suppose -20 = -0*z - 5*z + 2*w, -4*z - w = -29. Suppose 10*n - z*n - 376 = 0. Suppose -n + 10 = -2*m. Is 21 a factor of m?
True
Let y be (-2)/((1 - 0)/(4/8)). Is (2 - y) + -4 + 5 a multiple of 3?
False
Suppose 18366 = 10*h + 4606. Does 22 divide h?
False
Let x = -2 + 94. Suppose -8*u + x = -4*u. Is u a multiple of 22?
False
Let n(l) = 2*l - 16. Let z be n(11). Suppose z = 4*p - 10. Suppose p - 10 = -4*c + 2*i, 5*c = 5*i. Is c a multiple of 3?
True
Let y(i) = 66*i**2 - 9*i - 38. Is 62 a factor of y(-4)?
True
Suppose -13*g = -14*g + 840. Is 56 a factor of g?
True
Let z = 0 + -5. Let v be (-610)/z + 3 - -4. Suppose 5*g - v = -2*r, 3*r = g - 6*g + 126. Is g a multiple of 3?
True
Is 23 a factor of 27072/28 + 6/(-7)?
True
Let b = 4 + -3. Let v be (b*-1)/(16/(-160)). Is 100*(44/v - 4) a multiple of 10?
True
Let s be 3/6 + 0 + 547/2. Suppose -m + 2 = 0, 2*b - s = 2*m - 6*m. Does 19 divide b?
True
Let h(s) be the second derivative of -s**6/360 + s**5/12 + s**4/8 - 5*s**3/6 - 6*s. Let b(i) be the second derivative of h(i). Is 5 a factor of b(9)?
False
Let d(v) = v**2 - 11. Let n be d(5). Suppose 0 = -4*o - 3*o + n. Does 13 divide (13/o)/(10/80)?
True
Let y be 0 + -6 - (-8 + 5). Let s be ((-40)/30)/(2/y). Suppose -s*k + 0*k = -102. Is k a multiple of 13?
False
Suppose 0 = 19*q - 1890 - 143. Is 5 a factor of q?
False
Suppose -2*b + 2*c = -c - 63, 0 = -3*b - 2*c + 88. Is b even?
True
Suppose -18*p = -23*p + 5, -619 = -2*x + 3*p. Is x a multiple of 24?
False
Let w(j) = j**2 + 3*j - 2. Let y = -1 + 11. Let v = 4 - y. Is 16 a factor of w(v)?
True
Let s = -502 - -581. Is s a multiple of 11?
False
Let m(y) = y**2 - 18*y + 44. Is 44 a factor of m(22)?
True
Let p = 335 - 20. Is p a multiple of 21?
True
Suppose -9*l + 4*l + 5*f + 11925 = 0, -4785 = -2*l + 5*f. Is l a multiple of 28?
True
Let a(r) = -2*r**3 + 47*r**2 - 73*r + 60. Is a(20) a multiple of 14?
True
Let a = -12 - 12. Let t be 9/(-6)*a - 0. Is (t/15)/(-3)*-5 even?
True
Let m(p) = p**3 - 25*p**2 + 62*p + 32. Does 16 divide m(23)?
True
Let j(q) = 9*q - 7. Let f(s) = -10*s + 6. Let p(y) = -6*f(y) - 5*j(y). Let z be p(2). Suppose -4*g - 5*d + 11 = 0, 3*g - 23 - z = 5*d. Is 4 a factor of g?
False
Let b = 530 + -120. Is b a multiple of 20?
False
Let o(q) = 1 + 4 + 9*q - 9 - 18 + 16*q**2. Is o(4) a multiple of 22?
False
Let a(v) = 284*v + 5. Let k be a(1). Suppose 0 = k*f - 290*f + 252. Does 12 divide f?
True
Let y(p) = -2*p**2 + 6*p + 2. Let z be y(5). Let m be (5/3)/((-6)/z). Suppose 19 = 3*f - 2*b - 6, m*f = -5*b + 75. Does 11 divide f?
True
Suppose 4*g - 5506 + 622 = -5*p, 2*p = -4*g + 1944. Is 49 a factor of p?
True
Let v be 3 + 3 + 2/(-1). Suppose -25 = 5*t, -v*t = -y + 16 + 94. Suppose -2*p - y = -4*g, 3*g + 3*p = 5*g - 39. Does 6 divide g?
True
Let y = -144 - -144. Suppose 0 = -2*b - p + 238, -p + 0*p - 4 = y. Does 8 divide b?
False
Suppose -m + v + 1 = -8, -v = 5. Let f(w) = -w**3 + 2*w**2 + 5*w. Let a be f(4). Does 16 divide ((-21)/m)/1*a?
False
Suppose 2*n = d - 1026, n - 4 + 7 = 0. Does 50 divide d?
False
Let m = -35 - -50. Suppose -m = -2*f - 3*f. Suppose 0 = l - f*g - 0*g - 39, 2*g - 19 = -l. Is 15 a factor of l?
False
Let g(n) = 5*n**3 - n**2 - 6*n - 3. Let r be g(-2). Let c = r - -84. Is c a multiple of 7?
True
Suppose -88 = -4*g - 4*u, -4*g + 2*u