-2*i - 21 = 2*l - 65, 2*i - 4*l - 74 = 0. Suppose -v - 8*v + i = 0. Suppose -v*a + 162 = 75. Is a a multiple of 7?
False
Let b = -54 + 247. Suppose b*z - 840 = 186*z. Does 6 divide z?
True
Let a(p) = -3*p**2 - 17*p - 16. Let r(b) = b**2. Let f(z) = a(z) + 2*r(z). Let q be f(-11). Suppose 23*w = 18*w + q. Is 10 a factor of w?
True
Let q(k) = 3*k**2 + 12. Let x be q(11). Suppose 4*z = -147 + x. Is 10 a factor of ((-19)/z)/((-2)/168)?
False
Let f = -17472 - -20937. Does 9 divide f?
True
Let m be (-7 - -97)/((-6)/(-9)). Let a = m + -79. Suppose -5*p + a + 84 = 0. Is 14 a factor of p?
True
Suppose -3*t + 6*t - 5*u = 10529, 2*t - 5*u = 7026. Let a = t + -2405. Does 61 divide a?
True
Let y be 2 + (-225)/(-1) - 2. Let s be 31/(-93) + (-5)/((-30)/(-16)). Is -2*(s + y/(-10)) a multiple of 9?
False
Suppose -5*a + 4*q - 51 = 0, 3*q + 1 = -2*a - 1. Let u(j) = j**3 + 5*j**2 - 17*j - 9. Let g be u(a). Is -3*3/g - 486/(-8) a multiple of 6?
True
Suppose 67*j + 63159 - 3905 = 80*j. Is j a multiple of 18?
False
Let c be -3*602*3/(-9). Let x = c - 4. Is 60 a factor of x?
False
Let n(o) = o**3 - 6*o**2 - 10*o + 5. Let m be n(8). Let y = -45 + 49. Suppose y*q - 251 = m. Is 12 a factor of q?
False
Let r(t) = 3*t + 41. Let l be 6/(0 + 18/(-4) + 4). Let s be r(l). Let u(y) = 9*y - 24. Is 3 a factor of u(s)?
True
Let p = -15516 + 17438. Does 62 divide p?
True
Suppose -q + 119 = -58. Let f = 20 + q. Is f a multiple of 36?
False
Is 4 a factor of (1 + -727)*((-200)/210 + 2/7)?
True
Let p(k) = 2*k**3 - 2*k**2 + k + 4. Let s = 5 - 3. Let a be p(s). Does 4 divide (188/10)/(a/35)?
False
Let q = -1834 + 90. Is 6/(-15) + q/(-10) a multiple of 8?
False
Suppose -2*a + 0*w + 2571 = w, 2*a - 2*w - 2586 = 0. Does 14 divide a?
True
Suppose 0 = -20*k + 172 + 68. Does 52 divide -26*k/(-15)*50?
True
Let m(a) = a**3 + 13*a**2 + 30*a + 5. Let y be m(-10). Suppose 3*i = 3*g - 1206, y*g + 5*i - 6*i = 2010. Is 10 a factor of g?
False
Let o = 1 + 20. Let j = o - 28. Is 14 a factor of (-168)/(-1) - (3 + 4 + j)?
True
Let t(f) = -f**3 - 2*f**2 + 12*f + 6. Let i be t(-6). Suppose -o = -14*o - i. Does 3 divide (o/33 + 625/110)*2?
False
Suppose 21*o - 98*o - 1001 = 0. Let g(y) = -137*y - 191. Is g(o) a multiple of 104?
False
Let j(s) = -435*s + 6 + 21 - 14. Is j(-1) a multiple of 7?
True
Let n = 557 - -20962. Is 9 a factor of n?
True
Suppose 0 = j - 3*k - 4931, -6*k - 1930 = 5*j - 26648. Is 76 a factor of j?
True
Is 3 a factor of 7539/4 - -2*3/24?
False
Suppose -x + 0 + 11 = 0. Suppose 3*c + k - 1678 = 0, -4*k = -x*c + 10*c + 555. Does 67 divide c?
False
Suppose 29 = -d + 30. Let t be d/(-2)*(-6 + 0). Suppose -5*j = 2*w - 383, -t*j - 2*w = 3*w - 245. Does 15 divide j?
True
Let b = 174 + -169. Suppose -b*r + 2168 - 33 = 0. Is r a multiple of 42?
False
Suppose -4*t + 2 = 4*c + 6, 3*c = t - 11. Does 4 divide (-126)/(-7)*(-1 - c)?
True
Let f(d) = -67*d**3 - 5*d**2 + 10*d + 2. Let l(r) = 2 + 10*r**3 - 43*r**3 + 9*r - 24*r**3 - 9*r**3 - 4*r**2. Let p(v) = -5*f(v) + 6*l(v). Does 30 divide p(-1)?
True
Suppose 5 = 5*v - 3*t + 4, 5*t - 7 = 4*v. Suppose 7*z - k = 8*z - 1, -3*z + 5*k - 21 = 0. Is (315/10 + z)*v a multiple of 38?
False
Suppose 90*y = 100*y - 6010. Is y a multiple of 95?
False
Suppose 4*i + 4 = 0, 2*i = 4*s + 626 - 8228. Suppose 23*g - s = 193. Is g a multiple of 7?
True
Let n(y) = 6*y - 10. Suppose 33 = 5*h - 167. Let v = h - 27. Is 3 a factor of n(v)?
False
Let c(d) = -d**2 - 8*d - 2. Let h be c(-8). Let t be ((-6)/2 - h)*-3. Suppose -2*a - t*k = -208, -a = -k - 81 - 23. Is a a multiple of 16?
False
Let x = -29247 - -48579. Is x a multiple of 179?
True
Let z(c) = -c - 8. Let k be z(-4). Is 8 a factor of (-252)/30*5/(4/k)?
False
Suppose 4*g - 2 = 5*t - 5, -g = t - 6. Suppose g*n = -23 + 14. Let p(s) = -s - 1. Does 2 divide p(n)?
True
Suppose -o = -17 - 44. Let h = 62 - o. Is 200/75*(-1 + h - -12) a multiple of 8?
True
Let d = 490 + -486. Suppose -4*j + 478 = -v, -d*v - 7 = -15. Is 17 a factor of j?
False
Suppose 8*s = 31 + 9. Suppose 0 = -s*b + 336 - 1191. Let g = 270 + b. Is g a multiple of 20?
False
Suppose -6*a - 25226 = -2534. Let r = -2490 - a. Is r a multiple of 18?
False
Let d(t) = -105*t + 13 - 34 - 46. Does 72 divide d(-5)?
False
Let d(g) = 7*g**2 - 8 - 3*g + 1 + 2. Let q be ((-8)/(-32))/((-3)/24). Does 29 divide d(q)?
True
Suppose -6*v + 3*v = -141. Suppose -v*k + 45*k + 50 = 0. Suppose -29*y + k*y = -304. Does 19 divide y?
True
Let z(a) = -5*a - 105. Let d be z(-19). Is 7 a factor of (-4 - (1248/(-10))/(-6))*d?
False
Let i = 29 - 27. Let q be 2/(-4) + 9/i - -1. Suppose 305 = q*p - 150. Is 7 a factor of p?
True
Suppose 6*x - 2*x - 4*c = 63096, 7*c - 7 = 0. Does 25 divide x?
True
Suppose -4*p - 64 = -0*p + 5*l, 4*p = -3*l - 72. Is (-1 - 4209/p) + (-8)/(-14) a multiple of 40?
True
Suppose -7*u - 209 = -104. Is 27 a factor of (27/u)/((8/420)/(-2))?
True
Suppose -9*m + 7*m = 4*u - 10096, 2*u - 25240 = -5*m. Suppose 4*j = -4*l + m, -4*l - 5*j = -3*l - 1270. Is l a multiple of 30?
True
Let x(i) = 13*i**2 - 2*i + 3044. Is x(40) a multiple of 13?
True
Suppose 3*q + 1864 = 2419. Let v = q + 1564. Is v a multiple of 53?
True
Let l(w) = -41*w + 31. Let j be l(1). Does 53 divide (-47705)/(-45) - j/(-90)?
True
Suppose 42*s - 75816 = -48*s + 77*s. Does 8 divide s?
True
Suppose 2*r - 80584 = -4*f, -40288 = -r + 86*f - 89*f. Is r a multiple of 31?
True
Let h = -446 - -462. Suppose -8065 - 2175 = -h*b. Is b a multiple of 29?
False
Suppose -4*x + 484 = -4*f, 3*x = f + 163 + 210. Is 6 a factor of x?
True
Suppose -18 + 7 = -q + 4*b, -3*q - 47 = 4*b. Let u be (-4)/12 + (-984)/q + 1. Is (-9)/11 + (-20)/u - -19 a multiple of 14?
False
Let h(g) = g**3 - 23*g**2 + 3*g - 42. Let s(d) = -2*d**2 - 14*d + 4. Let y be s(-6). Suppose 11*f + 115 = y*f. Does 18 divide h(f)?
False
Let p(o) = 4*o**3 + o**2 + 2*o. Let v(j) = j**3 - 15*j**2 - 19*j + 50. Let g be v(16). Is p(g) even?
True
Suppose 12500 = 50*y - 0*y. Is y a multiple of 47?
False
Let x = 85526 - 50453. Is x a multiple of 27?
True
Let m(z) = z**3 - 35*z**2 + 3*z - 116. Is 80 a factor of m(44)?
True
Let h = -103 + 103. Suppose h = 36*t - 34*t - 336. Is 21 a factor of t?
True
Let f = 14410 + -8320. Does 42 divide f?
True
Let u = 3115 - -18038. Is 33 a factor of u?
True
Let a = -10667 - -16395. Does 32 divide a?
True
Does 13 divide 10195617/261 - (-2)/(-3)?
False
Is 4 a factor of -4 - 2946/(-36) - (-2)/12?
False
Let a = -3401 + 10417. Does 6 divide a?
False
Let y = 9237 - 4720. Does 27 divide y?
False
Let w be 6/2 + -3 + 5498. Suppose w - 25748 = -27*l. Is l a multiple of 44?
False
Suppose -5*t = 2*c - 1090, -c - 4*t + 446 = -105. Suppose -5*w - 3*m = -535, -5*w - 5*m = -0*w - c. Is w a multiple of 6?
False
Suppose -5*x - 38*i + 15960 = -43*i, -6390 = -2*x + i. Is x a multiple of 82?
True
Suppose 3*p = -z - 8 - 5, -15 = 5*p. Let l(a) = -68*a - 102. Is l(z) a multiple of 17?
True
Let a(d) be the first derivative of 3*d**3 - d**2 - 64. Does 8 divide a(-4)?
True
Let q(x) = 205*x**3 + 344*x**2 - 1369*x - 4. Is 127 a factor of q(4)?
False
Let b(t) = 249*t - 10. Let p(v) = 746*v - 30. Let l(q) = 16*b(q) - 5*p(q). Let a be l(1). Let m = -60 + a. Is 46 a factor of m?
True
Let j be (-7)/(77/(-44)) - (0 - -1). Suppose 4*n + 1468 = j*x, 4*x - 16 - 1931 = -5*n. Does 61 divide x?
True
Is -102 + 129 + (15 - 0) a multiple of 7?
True
Let m(y) = y**3 + 19*y**2 + 34*y - 25. Let b be m(-17). Let o = -22 - b. Suppose 0 = o*n - 729 - 27. Does 29 divide n?
False
Suppose 90*o + 23*o = -41*o + 765072. Is 40 a factor of o?
False
Let l(q) be the second derivative of -q**5/20 + 7*q**4/6 - 3*q**3/2 - 45*q**2/2 + 5*q. Let a be l(13). Is ((-234)/(42/a))/(0 + -1) a multiple of 4?
False
Let d = 1052 + 76. Is 11 a factor of d?
False
Suppose -5*z + 67 - 52 = 0. Suppose p = 3*f - z*p - 2510, -3 = -3*p. Is f a multiple of 22?
False
Let i(q) = -q**3 - 8*q**2 - q + 15. Let b(o) = o**2 - 20*o + 55. Let x be b(16). Does 5 divide i(x)?
True
Let o(f) = f**3 - 4*f**2 + 8*f - 7. Let t be o(6). Suppose 0*y + t = y. Suppose 0 = -4*r + 5*b + 452, r + 2*b = -2*b + y. Is r a multiple of 19?
False
Let m = -5189 - -6025. Is m a multiple of 16?
False
Let j(g) = 6*g**2 - 2*g. Let w = 46 - 45. Let t be 0/(-3)*w - (4 - 3). Is 4 a factor of j(t)?
True
Is 53 a factor of 7254/(-156)*((-2)/5)/(4/1100)?
False
Let z