 Is h a multiple of 12?
False
Does 11 divide (-9)/(-702)*13*1398?
False
Let c = -8 + 14. Suppose 3*f - 3*a = 342, c*a = 8*a - 10. Does 7 divide f?
True
Does 8 divide 6810/(-120)*(2 + 6*-1)?
False
Let i = 247 + 142. Is 47 a factor of i?
False
Let m = -116 - -186. Let s = -112 + m. Let z = s - -62. Is 9 a factor of z?
False
Is 283 - 36/6 - 7 a multiple of 27?
True
Suppose 0 = -4*q + 2*o + 1150, q - 429 = -3*o - 138. Does 32 divide q?
True
Suppose -8*p = 107 + 85. Does 8 divide 128/6*8/p*-9?
True
Let q be -3*28/6*-2. Let d = q - 20. Is d a multiple of 2?
True
Suppose -17*l + 32*l = 1695. Does 40 divide l?
False
Let u = -16 - -17. Let g = 3 - u. Suppose 5*i = 4*f - 30, g*f + 2*f - 10 = -5*i. Is 4 a factor of f?
False
Let f(j) = j**3 + 6*j**2 - 6*j + 9. Let d be f(-7). Suppose -4*n + 39 = -l, d*l = -l + 15. Suppose -w = -55 - n. Does 17 divide w?
False
Let x(f) = 4*f**2 - 3*f + 5. Let v(m) = -9*m**2 + 6*m - 11. Let a(k) = 3*v(k) + 7*x(k). Let z be (-9)/(-6 + 3) + 3. Does 10 divide a(z)?
True
Suppose 21*k = 24*k - 936. Is 6 a factor of k?
True
Let y = -14 - -19. Suppose -y*l - 2*l = 0. Does 24 divide (-8)/(-4)*(68 - l)?
False
Let p(b) = 2*b + 16*b**3 - 1 - b - 3*b - 21*b**3. Let y = 0 + -2. Is p(y) a multiple of 14?
False
Suppose -2*o = -o - 860. Is o a multiple of 43?
True
Let z(h) = -h**3 + 6*h**2 + 3. Let i be z(6). Suppose l - 2*u = -6, -4*l - i*u + u + 16 = 0. Suppose -120 = -l*v - 3*v. Does 24 divide v?
True
Let s be ((2 - 8)/3 + -1)*-1. Suppose m + 99 = 3*m - 5*f, 294 = 5*m + s*f. Does 15 divide m?
False
Let r(k) = k - 7. Let c be r(5). Let a be 0/(1 + (-1 - c)). Does 7 divide 1 + 0 + 6 + a?
True
Suppose -19*b - 28*b = -4982. Is 2 a factor of b?
True
Let d(s) = 9*s - 13. Let j be d(5). Is 10 a factor of (-217)/(-4) + (-8)/j?
False
Let m(f) = f**2 + 5*f + 58. Let b be m(-28). Let l = b - 485. Is 31 a factor of l?
True
Is 17 a factor of (1191/6)/((-7)/(-56))?
False
Let p(l) = -l**3 + l**2 - l - 1. Let d be p(-1). Suppose -36 + 88 = o + q, 2*o = -q + 100. Suppose -b - o = -d*b. Does 8 divide b?
True
Suppose -80 = -2*a + 4*n, -81 = -2*a + 3*n - 0*n. Is 21/a*(143 - -1) a multiple of 24?
True
Suppose 54*s + 38777 = 137165. Is 59 a factor of s?
False
Suppose 31*m = 27*m + 12. Suppose -3*s + 5*z = -224, 0*s + m*z = -s + 56. Is s a multiple of 17?
True
Let r = -73 - -80. Suppose -2*o + r*o - 650 = 0. Does 13 divide o?
True
Let z(f) = f**3 + 8*f**2 + 3. Let p be z(-8). Suppose 0 = -5*j + n - p*n + 457, -271 = -3*j - 2*n. Is 31 a factor of j?
True
Suppose 3*g - 896 - 196 = 0. Does 14 divide g?
True
Suppose -4*p - 847 = -15*p. Let v = 81 - p. Does 2 divide v?
True
Let k be (5/(50/48))/(84/5600). Suppose k = -0*y + 5*y. Is 16 a factor of y?
True
Suppose -4*d + 6835 + 2633 = 0. Is d a multiple of 9?
True
Let h(i) = 14*i - 11. Let v be h(18). Let o = 406 - v. Does 15 divide o?
True
Suppose 22*o - 11*o - 550 = 0. Is 8 a factor of o?
False
Is 3 a factor of 270 + -1 - 0 - (-30)/6?
False
Let a(o) = 3*o**2 - 4*o - 7. Let i be a(3). Is 8 a factor of (-85)/(-4) + (-2)/i?
False
Let k(x) = 3*x - 19. Let a = -12 - -21. Let p be k(a). Let y = 35 - p. Is 9 a factor of y?
True
Let a(b) be the third derivative of b**5/30 - 7*b**4/24 + b**3/2 + 2*b**2. Let t be a(5). Suppose 3*p + 2*h = 117, -t = -2*p + 3*h + 47. Is p a multiple of 12?
False
Let s be (-1)/2*-4*(208 - 3). Suppose 3*j = -3*p - j + s, -500 = -4*p + 4*j. Is p a multiple of 29?
False
Let b = 9 - 29. Let c = b + 23. Suppose -145 = -5*f + i, c*i - 29 = -f - 0*i. Is f a multiple of 13?
False
Let a(i) = -i**2 - 12*i - 9. Let l be a(-11). Suppose -l*r + 2674 = 284. Is r/25 + (-4)/5 a multiple of 8?
False
Let x = -4 - -8. Suppose -6*j = -j - 330. Suppose x*q = 78 + j. Is q a multiple of 8?
False
Suppose 6*b + 51 = -69. Let n = 98 + b. Is n a multiple of 19?
False
Let h(r) = -r**3 - 4*r**2 + 5*r + 4. Let m(f) = f**3 + f**2 - f - 1. Let y(u) = -h(u) - 4*m(u). Let o be y(-1). Suppose o*q = 6*q - 56. Is q a multiple of 14?
True
Let b = 16 + -10. Suppose 8*j - 12 = b*j. Does 2 divide j?
True
Let n(w) = -2*w. Let g be n(-1). Suppose 0*c - 2*t - 18 = -g*c, 5*c = -t + 75. Is 14 a factor of c?
True
Let w(c) = -1 + 0 - 6*c + 0 - 4 + 10*c. Suppose 0 = 4*n + n - 35. Is 23 a factor of w(n)?
True
Suppose -82*s + 92*s - 11400 = 0. Is s a multiple of 6?
True
Let x = -319 + 366. Is 8 a factor of x?
False
Let z(l) = 2*l**2 - 2*l + 28. Let p be z(-7). Suppose 2*s - 5*f - 158 = -0, 4*f - p = -2*s. Is s a multiple of 30?
False
Let n be (-1)/(2*1/178). Let x = -44 - n. Suppose -x = 4*p - 117. Does 6 divide p?
True
Suppose 4*x = -3*o + 2069, 2*o - 12 = -2*o. Is x a multiple of 32?
False
Suppose -v + 7*v = 0. Suppose -x = 3*x - 3*f - 452, v = -4*f - 16. Is 22 a factor of x?
True
Let o(w) = 2*w**2 - 4*w + 4. Let z be (-2)/(-2)*(9 - 7). Let h be o(z). Suppose -5*u + 3*n + 35 = 0, 0 = 3*u - h*n + 20 - 52. Is 2 a factor of u?
True
Let o(f) = f**3 + 36*f**2 - 22*f - 135. Is o(-35) a multiple of 33?
False
Let k = 33 - 58. Let o = k + 46. Does 9 divide ((-12)/10)/(o/(-490))?
False
Suppose 3*q - 42 - 12 = 0. Does 18 divide (q/24)/(3/216)?
True
Suppose -26*k + 28*k = 1142. Is 18 a factor of k?
False
Let q(x) be the second derivative of 2*x**4/3 + 4*x**3/3 - 13*x**2/2 - 9*x. Is q(4) a multiple of 21?
True
Let l be (-14)/(-8) - 2/(-8). Suppose 6*c - 24 = 4*c. Suppose l*k - 4*k + c = 0. Does 6 divide k?
True
Let b = -6 - -13. Suppose -b*s = -5*s + 30. Is 5 a factor of (-15 - -3)*s/12?
True
Let n(t) be the first derivative of 5*t**3/3 - 11*t**2/2 - 21*t + 39. Is n(-7) a multiple of 33?
False
Let i be (-12)/40*12*5/2. Does 2 divide (-20)/(-8) - i/(-6) - -3?
True
Let z(w) = -2*w - 10. Let b be z(-6). Suppose 0 = -b*l - 0*l - 5*p + 198, 4*l = -5*p + 396. Is 16 a factor of l?
False
Does 95 divide (57/(-1))/((-14)/(6860/21))?
True
Let s be (2 - 4 - -3)*-5. Let v(w) = 39*w + 18. Let o(t) = -11*t - 5. Let g(h) = s*v(h) - 18*o(h). Does 3 divide g(2)?
True
Suppose -l + 3 + 11 = 0. Suppose -l*y + 162 = -13*y - 5*f, -150 = -y - f. Is 21 a factor of y?
False
Is 13 a factor of (-903)/(-10) - 54/180?
False
Suppose 8*r - 23920 = -18*r. Does 23 divide r?
True
Does 7 divide 1 + (88/5)/((-42)/(-315))?
True
Let j(d) = 20*d - 28. Is 19 a factor of j(14)?
False
Suppose -36 = -4*s + 7*s. Let n(g) = -g**2 - 18*g - 28. Does 11 divide n(s)?
True
Let o(y) be the third derivative of y**5/60 + y**4/12 - y**3/3 + 15*y**2. Is o(6) a multiple of 12?
False
Let u be 27/21 - (-2)/(-7). Is 57 + 3 - u*3 a multiple of 28?
False
Suppose -f + 157 = -3*u, -2*f + u = 3*f - 771. Is f/4 - -2*18/24 a multiple of 10?
True
Suppose -3*c + 15 = -2*o, -3*o - 2*c + 10 = -2*o. Suppose o*l + 4*l = 8. Suppose -3*q + 4*p + 30 = -65, 0 = p + l. Is 22 a factor of q?
False
Let k(t) = 1 - 15*t + t**2 - 3 + 22. Suppose -2*s = 5*y - 62 - 10, -3*y + 2*s + 40 = 0. Is k(y) even?
True
Suppose -14438 = -32*k + 3322. Is 15 a factor of k?
True
Let d(x) = 5*x**3 + 3*x + 14. Let m(t) = t**3 + t. Let v(k) = -d(k) + 4*m(k). Let h be v(0). Let j = 30 + h. Does 14 divide j?
False
Suppose 29*o - 28 = 31*o. Does 4 divide -6*(-5 + 4)*o/(-4)?
False
Suppose 620 = g + 5*h, h = 2*g - 5*g + 1846. Is g a multiple of 5?
True
Suppose -7*v = -8*v + 4. Suppose 9 = 3*x, -3*x = v*c - x - 390. Is 16 a factor of c?
True
Let g(p) be the third derivative of 2*p**3 - 1/12*p**4 - 7*p**2 + 0 + 0*p. Does 15 divide g(-9)?
True
Let n(y) = y**2 - 10*y + 9. Let m be n(6). Let x = 32 + m. Let q = 28 - x. Is 11 a factor of q?
True
Suppose -42 = -7*x + 28. Suppose 30 + x = -5*j + 5*z, 5*j = -5*z + 10. Is 20 a factor of (54 - -3) + j/(-1)?
True
Let b = 4940 - 1748. Is b a multiple of 42?
True
Suppose 2*r + 2*k = 28, 5*r - 38 = -2*k + 38. Is r a multiple of 8?
True
Suppose 0*i = 5*i - 45. Suppose -6 = -4*j - 3*w + 27, -2*j + i = -w. Is 4 a factor of (2/j)/((-1)/(-21))?
False
Suppose -3*u + 6*k + 23 = 4*k, 0 = -4*u - 2*k + 40. Let o = u + -9. Suppose o = 2*g + 3*h - 91 - 106, 4*h = g - 126. Is 29 a factor of g?
False
Suppose 0 = 170*p - 164*p - 1236. Is 20 a factor of p?
False
Let r = 6 - 4. Suppose 25 = 3*d + l, -d + 4*l - 7 - r = 0. Suppose 4*c = 39 - d. Is 8 a factor of c?
True
Let h be ((-1)/(6/(-12)))/((-2)/41). Let m = h + 50. Is m a multiple of 3?
True
Let j = 0 + -1. Let t be ((-63)/14)/(j/(-34)). Let l = t - -279. Is l a multiple of 30?
False