vative of 8/3*f**3 + 0 - 1/6*f**4 - 4*f**2 - 15*f. Is x(6) a multiple of 8?
True
Suppose -5*y = -s - 4*y + 298, -s + 5*y + 290 = 0. Does 25 divide s?
True
Let s = -30 - -63. Let g = -25 + s. Let m(k) = 2*k**2 - 13*k + 8. Is m(g) a multiple of 10?
False
Suppose j + 2108 + 90131 = 5*y, -8 = 2*j. Does 39 divide y?
True
Suppose 6*c - 4*c - 200 = 0. Let w = -97 + c. Does 3 divide w*(711/63 + (-2)/7)?
True
Does 15 divide ((14/(336/7674))/(1/(-4)))/(-1)?
False
Let h = 35 + -73. Let k = 398 + h. Does 20 divide k?
True
Suppose -38*m + 26*m = 48. Let b(a) = -182*a - 26. Is 13 a factor of b(m)?
True
Is 2/3 - ((-415)/3 + 9) a multiple of 26?
True
Suppose 0 = 31*v + 41*v - 76713 - 16599. Does 12 divide v?
True
Let f(h) = 11*h**2 + 12*h + 147. Is f(-14) even?
False
Is ((-3825)/2 + -4)/((-27)/540) a multiple of 201?
False
Suppose -20*h = -30*h + 4860. Is h/(-10)*(-100)/30 a multiple of 18?
True
Let h(l) = 237*l + 252*l - 545*l + 16. Is 23 a factor of h(-3)?
True
Let s = -439 - -443. Let w(m) = -24*m**3 - 4*m**2 - m + 2. Let r be w(-2). Suppose q + r = s*q. Does 30 divide q?
True
Let u(h) = -h**3 + 34*h**2 + 167*h + 48. Is u(36) a multiple of 34?
True
Suppose -6*u = 2*k - u - 5853, 0 = 5*u - 25. Suppose 0 = 2*g - 2*o + 3*o - 1447, 4*g = 2*o + k. Does 11 divide g?
True
Let j(g) be the first derivative of g**4/6 - 10*g**3/3 + 6*g**2 - 6. Let m(z) be the second derivative of j(z). Is m(9) a multiple of 12?
False
Does 31 divide (558/72)/(10/(-8)*3/(-1635))?
True
Suppose -10*i = 13978 - 77768. Is 16 a factor of i?
False
Let p(u) = 0*u**2 - 37 - 2*u**2 - 7 - 50*u + 46*u + u**3. Is 25 a factor of p(7)?
False
Suppose -3*m = 3*u - 25254, 4*u - 24*u - 4*m = -168472. Is 8 a factor of u?
False
Let u be (-15)/60 + (-97)/(-4). Does 30 divide 3/6*-125*u/(-5)?
True
Let h(n) = -n - 5. Let m(c) = -4*c - 20. Let p(a) = -26*h(a) + 6*m(a). Let z be p(-5). Suppose z = r - 4*i - 174 - 10, -4*i = 3*r - 632. Is 26 a factor of r?
False
Let n(r) = 11*r**2 - 12*r - 873. Is n(-31) a multiple of 10?
True
Let x = 1102 + -1545. Let l = 763 + x. Is 10 a factor of l?
True
Suppose 2*a - 5*l = -1044, 5*a + 947 + 1593 = -5*l. Let p = a - -670. Is p a multiple of 7?
False
Let k(s) = 215*s + 117. Let f be 10/35 + (2 - 12/(-7)). Is 18 a factor of k(f)?
False
Let n be (-3)/6*(1 + -1). Suppose n = 2*w + 3*w - 180. Is 1428/w - 1/(-3) a multiple of 4?
True
Let v(g) = g**3 - 7*g**2 - 27*g - 22. Let i be v(10). Suppose 0 = i*q - 1698 + 418. Does 33 divide q?
False
Suppose -4*i + 154 = 6*a - 7*a, -4*a - 46 = -i. Suppose -q + i = -5*x - 956, -3*q + x + 3024 = 0. Is q a multiple of 10?
False
Let x(i) = 2*i**3 - 2*i**2 + i + 2. Let n be x(1). Does 11 divide 0 - (-2 + n - 432)?
False
Suppose -4 = 2*v - 2*g, 2 = -0*v - 5*v - 3*g. Let l = -492 - -494. Does 13 divide 172/l - 0/(v/(-1))?
False
Let f be (3032/(-56) - -1)/((-2)/14). Suppose 71*c - 65*c = f. Is c a multiple of 13?
False
Let z be -4 + -5*5/(-25). Let h be (-201)/(z/12*6). Let d = h + 11. Is 29 a factor of d?
True
Let n = 4855 - 1330. Is n a multiple of 18?
False
Suppose -11*l + 32175 = 2*l. Let w = l + -1243. Is 16 a factor of w?
True
Let f = -3492 - -8541. Does 6 divide f?
False
Suppose 30473 = 5*s - 4*a, -4*s - 6085 = -5*s + 4*a. Does 13 divide s?
True
Let l = 7431 - 1209. Is l a multiple of 122?
True
Let f be 1 + 13*5 + 0/15. Let t = 68 - f. Suppose -6*x + 160 = t*x. Is x a multiple of 20?
True
Let c = 2932 - 153. Does 13 divide c?
False
Is 28/(-8) - 549731/(-26) a multiple of 28?
True
Suppose 4*v - 19840 = 4*o, -58*o - 4972 = -v - 59*o. Does 13 divide v?
True
Suppose -30*v - 4345098 = -112*v. Does 164 divide v?
False
Suppose 12*z = 48839 + 41485. Does 153 divide z?
False
Let n be 8/(-20)*(-8 - 2). Suppose -5*a = -n*z + 816, 5*a = 7 + 13. Is z a multiple of 19?
True
Let j = 380 - 340. Suppose 38*a + 192 = j*a - 5*k, -2*a = 3*k - 192. Is 11 a factor of a?
False
Suppose -15*p = -22*p + 21. Suppose 14*a + 5*m + 65 = 16*a, -p*m - 115 = -5*a. Does 2 divide a?
True
Let k(x) = -x**3 + 4*x**2 + 5*x - 9. Let g be k(4). Suppose -g*m = -5*m - 2166. Does 13 divide m?
False
Let b = -8 - -18. Let p(n) = n**3 - 11*n**2 + 11*n - 10. Let f be p(b). Suppose -7*s + 8*s - 18 = f. Is s a multiple of 7?
False
Let r(a) = 10*a**2 + 10*a + 3753. Is 4 a factor of r(0)?
False
Let k be ((-34)/(-187) - 42/(-11)) + -6. Let q(i) be the first derivative of -27*i**2 - 16*i - 4. Is q(k) a multiple of 46?
True
Let n(v) = 28*v - 37. Let y be n(11). Let b = 379 - y. Suppose -p + b = 8*p. Does 4 divide p?
True
Suppose 6*y = 1 + 35. Suppose y*k - 23*k = -629. Does 6 divide k?
False
Let y(p) = -p**2 - p. Let d(x) = 10*x**2 + 8*x - 6. Let i(h) = d(h) + 6*y(h). Let m be i(9). Is 15 a factor of ((-15)/4)/((-12)/m)?
True
Suppose 0 = -h - 2*h + 2*i + 178, 305 = 5*h - 5*i. Let k = 59 - h. Suppose -3*l - 5*q = -190, k*l = -l - 3*q + 235. Is 5 a factor of l?
True
Is 50 a factor of (-1904)/32*(-2328)/42?
False
Is 1970 - (22/14 - (-24)/(-42)) a multiple of 9?
False
Suppose 4*y - 62 = 4*h + 22, 9 = y + 2*h. Let i(g) = g - 19. Let z be i(y). Does 42 divide (z + -3)*(-126)/5?
True
Let i(z) = -38*z**2 + 2. Let r(g) = g**2 - g. Let u(a) = -i(a) - 12*r(a). Is 61 a factor of u(3)?
False
Let k(g) = -2*g**3 - 30*g**2 + 20*g - 81. Does 37 divide k(-22)?
False
Suppose 5*h + 35 = 4*n - n, 2*n = 2*h + 22. Let w(z) = z**2 - 7*z - 8. Let a be w(n). Is (a - 3) + 1 + 4 a multiple of 3?
True
Let y = -3767 - -4588. Does 2 divide y?
False
Let v(j) = -3*j**3 + 13*j**2 + 27*j - 9. Let h(k) = k**3 + 2*k**2 + k - 2. Let q(s) = 4*h(s) + v(s). Is 11 a factor of q(-15)?
False
Suppose -258*g = -1256962 + 154012. Is 40 a factor of g?
False
Let s be (-1 - 0)/1 - 1/(-1). Suppose 35*v - 38*v + 30 = s. Let w = 33 - v. Is 2 a factor of w?
False
Let h(z) = 4*z**3 - 8*z**2 - 7*z - 18. Let s be h(9). Suppose 0 = 2*a + 7*a - s. Is a a multiple of 29?
False
Suppose 3*x + 40 = -128. Let y = 46 + x. Does 13 divide (((-240)/25)/1)/(3/y)?
False
Let r(m) = m**2 - 16*m - 2. Suppose -2*j = 4*w - 12, 4*w = -0*w - 20. Let d be r(j). Is 103 - (0/d - (8 - 5)) a multiple of 7?
False
Let n = 36982 - 36709. Is n a multiple of 26?
False
Let l(t) = 3*t**2 + 12*t - 6. Let c = 1 - -10. Let i = c - 18. Is l(i) a multiple of 10?
False
Let f(c) = 16*c - 182. Is f(44) a multiple of 3?
True
Suppose 21*n + 6 = -15. Is (-13 + n)*(45/(-2) + 8) a multiple of 7?
True
Let n be 2037/84 + 6/8. Suppose -13*k = -n*k + 2304. Does 2 divide k?
True
Let h(q) = 2*q**2 - 22*q + 479. Is 9 a factor of h(21)?
False
Suppose -6*m - 259 = 95. Let y be m - (-3)/12*0. Does 6 divide (893/6 - -1) + y/(-354)?
True
Let g be ((-3)/(-2))/((-30)/4760) + -2. Let y = 386 + g. Does 56 divide y?
False
Let m(t) = t + 2. Let b(y) = 7*y**2 - 9*y - 19. Let o(l) = b(l) + 8*m(l). Let w(a) = -a - 8. Let q be w(-6). Does 8 divide o(q)?
False
Suppose 38*q - 67049 = -3817. Does 3 divide q?
False
Suppose 0 = -3*z - 4*t + 17, -21 = z - 6*z - 3*t. Let r be (-5 + 2)*(-71)/z. Let n = r - 34. Is n a multiple of 10?
False
Is 20664/(-828) - -25 - 1804532/(-46) a multiple of 48?
False
Let k(r) = 56*r - 381. Let m be k(7). Suppose -m*c + 888 = -10*c. Does 12 divide c?
True
Suppose -18 = -2*g + 2*h, -4*g + 3*h + 39 = 8. Suppose 7*c - 234 = -3*x + g*c, x - 4*c = 63. Is 17 a factor of x?
False
Let q = 8 + -3. Let m(d) = -d**2 + 2*d + 1. Let v be m(0). Is (q - 6)/(1/(-2)*v) a multiple of 2?
True
Let g = 260 - 122. Suppose -4*j + 2*w = -690, w + 33 = j - g. Is 38 a factor of j?
False
Let d(u) = 7*u**2 - 52*u - 6. Suppose 1 + 11 = -4*c. Let s(f) = 6*f**2 - 51*f - 5. Let g(v) = c*d(v) + 4*s(v). Is g(20) a multiple of 20?
False
Suppose 7*v - 42 = 4*v + 3*z, -z = -3*v + 32. Let b be (1*1/(-3))/(v/(-567)). Does 14 divide (-2 - 1)/(b/(-238))?
False
Suppose 6*q - 20340 + 17334 = 0. Is q a multiple of 3?
True
Let y(k) = 432*k**2 + 4*k - 1. Let t be y(1). Is (t/116)/((-6)/(-160)) a multiple of 3?
False
Let x(i) = -2*i**3 + i**2 + 8*i + 4. Suppose -4*m - 3 = 9. Is x(m) even?
False
Let d be (-5 - 0)/(((-18)/(-201))/(-6)). Let m = d - 96. Is m a multiple of 14?
False
Suppose -44 = -3*l - 2*g, -2*l - g + 12 = -17. Suppose 29*q - 60 = l*q. Is q a multiple of 4?
True
Let g be -5*1 - (5 - -473) - 1. Let b = g + 900. Is b a multiple of 18?
False
Let m(x) = x**3 + x**2 + x + 5. Let k be (-3 + 4 + -1)/2. Let i be m(k). Is (i*-4)/