*m**2 + 12 - 4*m**3 + 5*m**3 + 0*m**2. Is f(-9) a multiple of 9?
False
Suppose 5*k = 36 + 24. Suppose 4*v + 0*v - k = 0. Suppose -138 = h - v*h. Is h a multiple of 23?
True
Let p = -463 + 472. Is p a multiple of 7?
False
Let p = -25 - -437. Is 17 a factor of p?
False
Let u(r) = r**2 - 22*r + 136. Is u(32) a multiple of 57?
True
Let n be -3 - (-5)/((-20)/(-36)). Suppose 0 = -n*v + 2*v. Let h = v + 9. Is 4 a factor of h?
False
Let x = 1 + -15. Let i be (8/6)/(x/(-21)). Suppose -4*w = i - 54. Is w a multiple of 5?
False
Let y(b) = -55*b + 1. Let h(a) = a. Let t be 1/(-7) - (-24)/21. Let x(w) = t*y(w) + 3*h(w). Is 35 a factor of x(-2)?
True
Let p(g) = -g**2 - 14*g - 3. Let a be p(-13). Let k = 53 + a. Is k a multiple of 21?
True
Let c be -19 - -17 - (-5 + -1). Suppose c*i = g + 112, 4*i - 120 = -5*g - 32. Is 5 a factor of i?
False
Suppose 15*a = 193 + 1007. Is a a multiple of 4?
True
Let b = -2 + 19. Suppose -306 = 14*m - b*m. Does 34 divide m?
True
Let h = -16 + 14. Let v be (h/3)/(2/(-15)). Suppose o = 3*s + 2*o - 37, -v*s + 2*o = -58. Does 4 divide s?
True
Let f = 2 - 17. Let n be (-50)/f*(-3)/(-2). Suppose 0 = 4*b + 20, 2*z + 2*z - n*b = 201. Does 11 divide z?
True
Let a(g) be the third derivative of 0*g + 5/12*g**4 + 0 - 4/3*g**3 - 2*g**2. Is 8 a factor of a(4)?
True
Let t be ((-4)/6)/(8/12). Let k be ((-12)/7)/(t/7). Does 3 divide k - 0 - (-4)/(-2)?
False
Let q(l) = -18*l - 52. Is 40 a factor of q(-14)?
True
Let s = -24 - -32. Suppose 0 = 3*y - 1 - s. Suppose y + 4 = o. Is 7 a factor of o?
True
Suppose m - 4*m = -2826. Suppose 8*q - 402 - m = 0. Is q a multiple of 42?
True
Does 14 divide ((-136)/(-12) - -3)/((-5)/(-90))?
False
Let r(z) = 4*z**2 + 7*z - 10. Let k(b) = b**3 + 9*b**2 + 9*b + 2. Let x be k(-8). Is 23 a factor of r(x)?
True
Suppose 2*s - 127 - 223 = -5*n, 0 = -3*s - 2*n + 503. Is s a multiple of 5?
True
Let m(i) = 13*i**2 - 27*i + 630. Does 50 divide m(14)?
True
Let c = -726 + 477. Does 21 divide 4 - (c - 1) - 2?
True
Suppose 0 = -5*i + 2*t + 685, -5*t + 386 - 112 = 2*i. Suppose -4*z - i = -4*y - 5*z, -2*y + 67 = z. Is y a multiple of 6?
False
Suppose 12 + 3 = 5*b. Suppose -b = 3*c + 15. Does 7 divide (-34)/((-4)/c*-3)?
False
Let d(i) = i**2 + 3*i - 14. Let p be d(-6). Suppose p*j - 15 + 3 = 0. Suppose 4*w = k - 33, -j*k - 2*w + 86 = -k. Does 9 divide k?
False
Let i(p) = 10*p**2 + 5*p + 1. Let g be i(4). Let h = g + -104. Is h a multiple of 19?
False
Let h(s) = 2*s**2 - 3*s - 4. Let b(c) = -4*c - 18. Let j be b(-6). Let y be h(j). Suppose -32 = -3*x - 0*x - 2*z, y = 5*x + 4*z. Is x a multiple of 11?
False
Let z(u) = -12*u**2 - 2. Let d be z(-8). Is 10 a factor of d/28*(1 - 3)?
False
Let x(w) = 10*w + 3*w - w**3 + 2*w - 7 - 15*w**2. Let i be 30/6*1 - 21. Does 9 divide x(i)?
True
Suppose 0 = -d - 2*o + 114, 11*d = 15*d - 3*o - 423. Is 6 a factor of d?
True
Let r = 2062 - 1766. Is 8 a factor of r?
True
Let h(l) be the second derivative of -5/2*l**2 + 0 + 1/12*l**4 + 11/6*l**3 - 6*l. Is h(-12) a multiple of 6?
False
Suppose 5280 = 4*h - 5*u, 3*u + 5280 = 4*h + 8*u. Is h a multiple of 11?
True
Suppose -5*v + 2*k = 26, 0*k = -2*v + 2*k - 14. Let y = v + 4. Suppose y = -x + 6*x - 20. Is x a multiple of 2?
True
Let m(d) = -4*d**3 + 13*d**2 + 22*d + 15. Let c(n) = 3*n**3 - 13*n**2 - 21*n - 16. Let r(q) = -3*c(q) - 2*m(q). Is 17 a factor of r(14)?
False
Let s be (-438)/9*6/(-4). Suppose 3*z + 2*j = 43, 2*z + 3*z - s = -4*j. Let i = 3 + z. Does 16 divide i?
True
Let a(b) = -b**3 - 4*b**2 + 6*b + 8. Let p be a(-5). Suppose -3*g = -p*m + 84, -2*g + 0*g + 52 = 2*m. Is 6 a factor of m?
False
Suppose -24*h = 4*h - 10920. Is h a multiple of 4?
False
Let k(v) = 2*v + 0 + v**2 + 3 - 3*v + 2*v. Let g(w) = -w**3 + 10*w**2 + 10*w + 8. Let b be g(11). Is 2 a factor of k(b)?
False
Let w = 4202 + -982. Does 161 divide w?
True
Let t be (-4 + 1)*(-680)/(-51). Let b = -38 - t. Is 2 a factor of b?
True
Suppose -5*u - 1 + 16 = 0. Suppose -8*o + 5*o + 54 = u*y, 3*y - 39 = 2*o. Does 26 divide (30/(-2))/(y/(-90))?
False
Let p(j) = j**2 - 5*j. Let l be p(5). Suppose 2*z = -l*z. Suppose z*w + w = 117. Is w a multiple of 32?
False
Let s = 10 + -16. Is (s/4)/(2/(-20)) a multiple of 2?
False
Is 52 a factor of 3/2*(301 - -15)?
False
Let i = 105 + 12. Let p = 398 - i. Suppose p = 3*h + 2*h - 2*n, 4*h - 211 = -3*n. Does 17 divide h?
False
Let j(k) = -k**3 + 9*k**2 + 2*k + 6. Suppose 0 = -3*m + 9*m - 24. Does 16 divide j(m)?
False
Suppose 462 = -6233*k + 6240*k. Is k a multiple of 2?
True
Let f(b) = 4 - 7*b + 21*b**2 - 5 - 11*b + 17*b. Suppose q + w + 2 = 0, 3*q - q + 6 = -4*w. Does 14 divide f(q)?
False
Suppose -5*t = -2*v - 22, -3*t + 0*v + 8 = 4*v. Suppose y + t = 2*i + 25, -5*i = 15. Let g = 33 - y. Is g a multiple of 5?
False
Let b(w) = 106*w - 33. Is 65 a factor of b(23)?
True
Suppose -4*x = 4 - 12. Suppose -1 = v - 0*v, x*d + 2*v = 46. Is 8 a factor of d?
True
Suppose -290*b = -298*b + 1048. Does 10 divide b?
False
Suppose 1092 = 4*f - 6*p + 2*p, 2*f - 4*p = 542. Is f a multiple of 17?
False
Let o(j) = j - 2. Let g be o(3). Let h(x) be the third derivative of 7*x**4/8 + x**3/3 - 4*x**2 - 15*x. Is h(g) a multiple of 4?
False
Let g = -28 - -1. Let w be g/(-21) - 8/28. Let h(a) = 5*a**2 + a. Is h(w) a multiple of 6?
True
Let h(j) = -j**3 + 2*j**2 + 3*j - 21. Let f(i) = i + 1. Let t(p) = 3*f(p) - h(p). Does 3 divide t(0)?
True
Is 60/220 + 12534/22 a multiple of 15?
True
Suppose 0*u - 95 = -5*u. Let y = u + 126. Suppose -w - 75 = -2*a, y = 2*a + a + 5*w. Does 12 divide a?
False
Suppose -m - 3*a + 1054 = 0, m + 4*a - 1292 = -233. Is 14 a factor of m?
False
Let s = 281 - 193. Is s a multiple of 22?
True
Let k = 0 + 5. Let x be 7/((-140)/(-348))*k. Is (-2)/((-267)/x - -3) a multiple of 22?
False
Suppose -8 - 12 = -5*r. Is 23 a factor of ((-4)/(-5))/(r/160)?
False
Let o be (2 - 9)*(-24)/7. Does 12 divide 2/(-6) + 296/o?
True
Suppose 4*n - 26 = -g, 3*n - g + 5 = 21. Let x(i) = 10*i - 2. Is 18 a factor of x(n)?
False
Let h = 57 + -21. Let l = h + -32. Does 4 divide l?
True
Let u = 5 - 14. Let z(j) = 0*j - 3*j + 3*j - 1 - j. Is 3 a factor of z(u)?
False
Let o = 8 - 8. Suppose 0 = p - 3*s - 17 - 22, 4*p - 3*s - 147 = o. Is p a multiple of 18?
True
Suppose -s - 5*t = -1768, -4*s + 4*t = -9*s + 8840. Does 20 divide s?
False
Let y(z) = -z**3 + 36*z**2 + 43*z + 16. Is 34 a factor of y(37)?
True
Suppose 0 = -v - u + 3, 3*u - 8*u - 45 = -5*v. Let o be v*3/(-24)*-4. Suppose -o*c - 6*f + 207 = -2*f, -3*c - 3*f = -207. Is c a multiple of 23?
True
Suppose -779 - 719 = -7*i. Let w = i + -33. Is w a multiple of 11?
False
Let g(z) = -z**3 - 3*z - 1. Let l be g(-2). Suppose -5*m + 2*c + 158 = l, 3*c = -5*m + 120. Is m a multiple of 6?
False
Let l be -5 + 1 - (0 - 3). Let p be 5*l - (-10)/5. Is 3/1 + (p - -9) a multiple of 6?
False
Let k(t) = 15*t**3 + 5*t**2 - 3*t - 1. Let m(p) = 14*p**3 + 4*p**2 - 2*p - 1. Let l(r) = -4*k(r) + 5*m(r). Let q be l(2). Let j = q + -56. Does 9 divide j?
True
Suppose -4*n - 8 = 4*c, 0 = -2*n - 3*n - c + 6. Suppose 0 = n*h - 7*h - 525. Is 5 a factor of ((-8)/(-5))/((-6)/h)?
False
Let p(o) = 2*o**2 - 16*o - 11. Let s be p(12). Suppose -5*i + 246 + s = -a, -83 = -i - 4*a. Is i a multiple of 10?
False
Let q(c) = c**3 - 2*c**2 - c. Let x be q(3). Is 24/(-4 + 33/x) a multiple of 8?
True
Suppose 0 = 6*r - 4*r - 66. Suppose 0 = 2*y - z - r, 17 = 3*y + 2*z + 3*z. Does 12 divide y?
False
Suppose -23 = 6*d + 1. Let x be -6*3/(-12)*d. Is 19 a factor of (1 - 136/x)*3?
False
Let u(f) be the first derivative of -3/2*f**2 + 0*f + 2/3*f**3 - 3. Is u(2) even?
True
Does 8 divide ((-2176)/(-48))/(3/45)?
True
Is 9/24 + (-61525)/(-200) a multiple of 3?
False
Suppose 15*o = 12*o + 576. Is o a multiple of 16?
True
Let d = -474 + 690. Is 54 a factor of d?
True
Let d be 3 - 0 - (-4 + 5). Is (-48)/12 + 43*d a multiple of 32?
False
Suppose -3*a + 411 = 4*c - 2*a, -5*c = -2*a - 504. Let s = c + -31. Is s a multiple of 11?
False
Let a(n) = n**2 + 3*n - 30. Is 38 a factor of a(24)?
False
Suppose -j = -4, -5*b + 17 = 4*j - 9. Suppose -4*l + 80 = -b*l. Is 18 a factor of l?
False
Suppose 5*k + 25 = 0, 3*n - 14 - 243 = 4*k. Let r = n + -39. Is (-4)/(-10) - (-1504)/r a multiple of 19?
True
Let o(z) = 7*z**3 - 22*z**2 + 24*z + 36. Let u(x) = x**3 - x**2 + x + 1. Let f(j) = o(j) - 6*u(j). Is 7