 = 9 - p**3 + 3*p**3 - 5*p**2 - 3*p**3 - p. Is 7 a factor of a(c)?
True
Let k(x) = 2028*x**2 - 20*x + 44. Let a be k(2). Suppose -17*i - 109 = -a. Does 11 divide i?
False
Let h(l) = -l**3 + 15*l**2 - 12*l - 14. Let m(d) = -d**2 - 5*d + 20. Let u be m(-6). Let a be h(u). Suppose -13*i - 43 = -a*i. Is 13 a factor of i?
False
Let b(l) be the second derivative of 5*l**4/12 + 3*l**3 + 63*l**2/2 - 2*l - 19. Is b(-4) a multiple of 13?
False
Suppose -5*t + 0*t + 3*q = -2585, 0 = -5*q. Does 27 divide t/5 + (-4)/10?
False
Let i(a) = 1156*a**2 + 6*a + 8. Let p be i(-1). Suppose -2*r = 0, -5*r + p = 3*f - 438. Does 38 divide f?
True
Let c = 19371 - 11403. Is 107 a factor of c?
False
Let g = 343 - 340. Suppose -2*u - 6*l + 121 = -g*l, 4*l - 299 = -5*u. Is 41 a factor of u?
False
Suppose 192*i = 215*i - 18239. Is i a multiple of 68?
False
Suppose 46080 = -42*j + 66*j. Is j a multiple of 22?
False
Let f be 600/450*(2 + (-26)/4). Let b(h) = -75*h + 7. Is b(f) a multiple of 11?
False
Suppose -s = 15*s. Suppose s = 2*p - 281 - 19. Does 25 divide p?
True
Let z(d) = d - 209. Let w = -34 - -34. Let t be z(w). Let v = 328 + t. Is v a multiple of 17?
True
Suppose -3*w + 93 + 249 = 0. Let c = -55 + w. Let b = 79 - c. Is 10 a factor of b?
True
Let t(z) = 61*z + 1412. Is t(-19) a multiple of 11?
True
Suppose 0 = 3*q - 6*k - 39786, -8*k + 7*k - 39781 = -3*q. Is q a multiple of 68?
True
Let x(v) = 21*v - 55. Let n be x(3). Suppose n*g - 558 = -10*g. Does 2 divide g?
False
Let l(y) = y**3 - 7*y**2 + 7*y + 4. Let j be l(6). Suppose s - 293 = -j. Is s a multiple of 6?
False
Suppose 3*h - 12 = -0*h. Suppose 5*u + 103 = k + 75, -u = 4*k - 7. Suppose -y = -4*o + 35, 2*y - k + 37 = h*o. Is 3 a factor of o?
True
Let l(z) = z**3 - 117*z**2 - 330*z - 402. Is l(120) a multiple of 82?
True
Suppose -5*v = -3*u - 247123, -4*u + 247081 = 952*v - 947*v. Does 41 divide v?
False
Let x = -829 - -1123. Is 7 a factor of x?
True
Let y be (149 - 8)/(2/(-6)). Let h = -191 - y. Suppose -3*x + h = -308. Does 30 divide x?
True
Suppose -p = -30*a + 29*a - 9, 3*p + 5*a + 13 = 0. Let f(m) = -m - 1. Let l be f(-5). Suppose -v + 50 = 3*q + 4*v, 0 = l*q + p*v - 72. Is 10 a factor of q?
True
Suppose 0 = 3*y - 6, 5*o - 7 = -0*y - y. Suppose -o = 3*q - 16. Suppose 2*u - 91 = q. Does 16 divide u?
True
Suppose -70*i = -75*i + 2445. Let c = 673 - i. Does 2 divide c?
True
Suppose -3*q - 1 - 17 = 0. Let g be ((-69)/(-9))/(17/(-102)). Does 15 divide (2 + q/2)/1 - g?
True
Let c(w) = -213*w**3 - 7*w**2 + 24*w - 8. Is c(-4) a multiple of 43?
True
Let j(x) = x**3 + 7*x**2 - 7*x - 1. Let n be j(1). Suppose n = -20*h + 333 - 113. Is 2 a factor of h?
False
Suppose 5*t + 2*q - 3133 = 0, 5*t - 993 = -5*q + 2152. Is -2*(t/(-150))/(2/6) a multiple of 9?
False
Let p = 1192 - 537. Let y = p + -383. Does 60 divide y?
False
Let v = -16214 + 20694. Does 49 divide v?
False
Suppose k - 2770 = 3*j, -29*j - 5540 = -2*k - 28*j. Does 78 divide k?
False
Let v(a) = a**3 - 5*a**2 - 3*a + 4. Let b be v(6). Let g(c) = 10 + 2*c**2 - b*c + 2 - 21. Is g(12) a multiple of 10?
False
Let l(n) = 2 + 0 - 7 - 44*n + 1. Let z be ((-10)/(-10))/(1/(-2)). Is 21 a factor of l(z)?
True
Suppose 4*l - 48 = -5*k - 11, -5*l + 40 = 5*k. Suppose -1936 = -l*f - 8*f. Suppose -3*m - 55 + 15 = -y, 3*y + 5*m = f. Does 4 divide y?
True
Suppose 7 = -3*o - 2, -2*p = 2*o - 19714. Suppose -1359*v + 1349*v = -p. Is v a multiple of 17?
True
Is (-330 - -340) + (-1 - -3512) a multiple of 7?
True
Let b(g) = 12*g**2 - 962*g + 76. Is 67 a factor of b(86)?
False
Suppose 0 = 34*m - 2*m. Suppose -39*g + 35*g + 204 = m. Is 3 a factor of g?
True
Suppose 3*n - 30 = 8*n. Let w = -17 + 11. Does 7 divide (-526)/w + (-2)/n?
False
Let f = 121 + -66. Let k = f - -40. Is 5 a factor of k?
True
Let j be (6/(-12))/(4/(-232)) + -4. Suppose j + 185 = 2*d. Is 34 a factor of d?
False
Suppose -20182 + 7598 = -200*v + 25616. Does 10 divide v?
False
Let a(h) = -4*h**3 + h**2 - h + 3. Let s be 2/1 + (-3 - (-4 + 1)). Let u be a(s). Let o = u - -86. Does 4 divide o?
False
Suppose -5*k = a - 23, -4*a - 12*k = -8*k - 28. Suppose -5*y + 156 = -a*j, 4*j = -y + 2*j + 26. Is 2 a factor of y?
True
Suppose -4*n - f = -29, -2*n - f = 4*f - 19. Let i = 130 - n. Does 13 divide i?
False
Suppose -s + 5*z + 1165 = 0, -123*s = -119*s + 4*z - 4540. Is s a multiple of 30?
True
Let l = -5475 + 10526. Is l a multiple of 120?
False
Let v(b) = 19 + 21 - 14*b + 4*b - 52. Is v(-3) even?
True
Suppose -271*r + 1494234 + 2173209 = 0. Does 13 divide r?
True
Let u be -14*(1 + (-125)/35 - -2). Suppose -u*h - 7*h = -12900. Is 11 a factor of h?
False
Let y be 6/(-18) + (-16)/(-3). Suppose -11 - 14 = -y*r - 5*c, 2*r - 3*c = 0. Suppose 4*g - 235 = -5*u, u = -0*g + r*g - 162. Is g a multiple of 5?
True
Let r = 235 - 132. Suppose 5*c - b - r = 0, -2*b - 66 = -3*c - 0*c. Suppose -c*t - 26 = -22*t. Is t a multiple of 4?
False
Suppose 24*k - 137424 = -k + k. Does 42 divide k?
False
Is 136 a factor of (-164)/(-2)*(74 + -3 + -3)?
True
Suppose l + 3*l + 2*c - 2 = 0, 2 = -5*l - 4*c. Suppose 0 = -l*o - o + 6. Suppose -x = -o*p - 24, 3*x + 0*p = -p + 51. Is x a multiple of 9?
True
Let s(c) be the third derivative of c**5/60 - 7*c**4/24 - 11*c**3/6 - c**2. Let z be 20/8 + -3 + (-27)/(-2). Is 12 a factor of s(z)?
False
Let x be 4 + 0 - (-7 + 1 + -4). Suppose x*a - 15*a + 241 = 0. Is 14 a factor of a?
False
Let l = -10721 - -13169. Is l a multiple of 9?
True
Let u be (-2 - (-2)/(-4))/(1/2). Let a(v) = -4*v - 16. Let f be a(u). Suppose f*l = -g - 0*g + 13, -23 = -2*g - 5*l. Does 9 divide g?
True
Let m(v) = -v**2 + 22*v - 82. Let j be m(17). Let q(d) = -2*d - 4. Let o be q(-3). Is 12 a factor of 1 + o - -28*j?
False
Suppose t - 4*c = -1, 3*t - 2*t + c = 19. Let f = 5 + t. Does 4 divide f?
True
Suppose 295*u = 291*u + 24, -3*i - 4*u = -72. Suppose 3*h + 4 = -q, -3*h - 2*q + 2 = 7. Let f = i + h. Is 2 a factor of f?
False
Suppose 6204 = 4*n - 3444. Suppose b = -4*b - 3*j + n, -2404 = -5*b - j. Is b a multiple of 40?
True
Suppose 34*y - 45070 = 24*y. Is y a multiple of 54?
False
Is 13 + (253125/15)/15 a multiple of 10?
False
Let k be (1 + -2)/((-3)/75 + 0). Suppose k - 7 = 9*r. Suppose -d = 3*d - 3*z - 538, -5*d = r*z - 661. Is 8 a factor of d?
False
Let h(z) = 626*z**3 + 3*z**2 + 67*z - 274. Does 11 divide h(4)?
True
Let b = 110 + -108. Let r be 17 + 0 - b/(4/6). Is 6 a factor of 4/r - (-12892)/154?
True
Let b(m) = 20*m**2 - 859*m - 14. Is b(-13) a multiple of 3?
False
Let z(a) = -5*a**3 + 2*a**2 - 5*a + 8. Let v be z(-4). Suppose -8*m + v = -4*m. Does 13 divide m?
False
Is 32 a factor of 2389/(-25*3/(-75))?
False
Suppose -6*l = -4*c - 5*l + 59, 64 = 4*c + 4*l. Let u be 3/(-9) + (-1330)/c. Is u/(2 - (-12)/16*-4) a multiple of 15?
False
Let b(h) = h**2 + 51*h + 122. Does 5 divide b(-65)?
False
Let b(s) = 396*s - 5562. Is b(34) a multiple of 18?
True
Let z(o) = 121*o - 261. Let v be z(12). Suppose -3*q - u + v = -6*u, 810 = 2*q + 2*u. Is 5 a factor of q?
False
Does 46 divide 15 + 9281 + 15 + -14?
False
Suppose -4*l = 4*b - b - 769, -4*b - 6*l + 1024 = 0. Is b a multiple of 10?
False
Let c be (-96)/216*(-9)/2. Suppose 0 = -c*h - 3*x + 135, -x - 4*x = 3*h - 201. Let j = -40 + h. Is j a multiple of 14?
False
Let d = 232 - -3. Suppose d = g + 188. Is 5 a factor of g?
False
Let n be -3 - 24/(-6) - -446. Suppose 5*m = -2*l + n, -2*m - 5*l = -0*m - 162. Is 37 a factor of m?
False
Suppose -2481 = -2*j + 759. Is j a multiple of 18?
True
Suppose 0 = -1980*v + 1899*v + 1439451. Is v a multiple of 135?
False
Is 51 a factor of ((-24)/100*5)/((-18)/678555)?
True
Suppose 0 = 3*x + 5*z - 34372 + 5240, 13*x + 2*z = 126101. Is x a multiple of 183?
True
Suppose -p - 3*g + 34 = 0, 2*g + 136 = 3*p + p. Let a = 34 - p. Let o = a + 36. Is 26 a factor of o?
False
Let m(n) = -8*n - 28. Let c be m(-4). Let j be c/(1/((-3)/6)). Does 11 divide 2/(-5)*(j + (-50 - 3))?
True
Suppose 2*v - 9385 = -5*w, -3*v = -3*w - 17017 + 2887. Is v a multiple of 63?
False
Suppose 3*m - 6*q - 3357 = -8*q, -4*m + q + 4465 = 0. Is m a multiple of 28?
False
Suppose 59*b = 3*b + 13944. Is b a multiple of 28?
False
Let d = -286 - 1953. Let f = -1542 - d. Does 15 divide f?
False
Suppose 35*k + 0*k - 5880 = 0. Suppose 4*m - k = m - 3*g, -115 = -2*m - 3*g. Is 3 a factor of m?
False
Let z = -6634 + 1129