ltiple of 7?
False
Let n(q) be the second derivative of q**4/4 - q**3/2 + q**2 + 83*q. Is 5 a factor of n(-2)?
True
Let a(c) be the first derivative of 5*c**3/3 - 19*c**2 + 173*c - 122. Is 4 a factor of a(5)?
True
Let w be 2/5 + 16/(-40). Suppose 0 = v - 4*n + 51, 0 = -4*n - w*n. Is 91 + (-17)/v*(-3)/(-1) a multiple of 9?
False
Let r be 0*(-3)/6 + 4. Suppose -10 = 5*t + r*j, j + 2 = -t - 1. Suppose o + t*o - 42 = 0. Is o a multiple of 9?
False
Let v = 1870 + -1071. Is 19 a factor of v?
False
Suppose -x + 44 = 5*s, 0 = -3*s + 5*s - 6. Suppose 4*d = 5*g + 7 - 45, 0 = 2*g + 3*d - x. Suppose -5*n + 16 = q, -g = 4*n + 6. Does 4 divide q?
True
Suppose -2*l - 1150 = -2*m + 2*l, 4*l = -m + 605. Suppose -m = 371*d - 376*d. Is d a multiple of 13?
True
Is (-58)/(-18 + 16)*80 a multiple of 10?
True
Let c(x) = -x**2 + 24*x + 5. Let f be 1*(2 + (-1 - 4)). Let o be 2*(110/20 + (-1 - f)). Does 7 divide c(o)?
True
Suppose 500*v - 178*v - 58282 = 0. Let t(s) = 47*s - 3. Let k be t(3). Suppose 2*u = -5*q + v, 5*q - 34 = u + k. Is 35 a factor of q?
True
Suppose -50*i + 1708476 = 27*i. Does 20 divide i?
False
Suppose 0 = 5*v + 2*l + 2*l - 9685, -3*v - 5*l + 5824 = 0. Does 78 divide v?
False
Suppose 96*g - 4 = 94*g. Suppose 0 = -g*r + n + 162, 5*r + 2*n = n + 419. Is r a multiple of 52?
False
Let z(x) = 28 + 17 - 31*x - 14 + 27*x. Let u be z(7). Suppose w + o = 0, o + u*o = -3*w - 5. Does 4 divide w?
False
Suppose -2*w + 1170 = 5*s + 3*w, -702 = -3*s - w. Let y = s - 196. Is 12 a factor of y?
False
Let q = -12063 + 25060. Is q a multiple of 11?
False
Let t be (-48)/(-168)*(9 + -2). Let b = 3842 - 5516. Is 16 a factor of 3/15*t - b/15?
True
Suppose -534000 = -211*r + 201*r. Is 30 a factor of r?
True
Suppose -78*v + 82*v = -5*x + 52541, 0 = x - v - 10501. Does 11 divide x?
True
Suppose 3*v = 5*o + 990, 24*o - 27*o + 641 = 2*v. Suppose -3*i - 16 = -124. Suppose 4*t + i - 320 = -4*p, 5*t = p + v. Is t a multiple of 11?
True
Let g = -30443 - -40237. Does 10 divide g?
False
Let l(f) = 11*f - 14. Let h be l(7). Let x = h + -18. Is 42 a factor of x?
False
Let w(g) = -17*g**3 - 27*g**2 - 20*g - 273. Does 43 divide w(-11)?
True
Let m(h) = 3*h**2 - 4*h - 18. Let b be m(-3). Suppose o - b = -87. Let f = 152 + o. Is f a multiple of 19?
False
Let q(o) = 46*o**2 + 15. Let w be q(-4). Suppose 4*i - 1427 = -5*f, 5*f + w = -0*i + 2*i. Does 33 divide i?
True
Suppose -h + 638 = 2*z - 3*h, 952 = 3*z - 4*h. Let k = -162 + z. Is k a multiple of 4?
False
Let a(u) = -241*u - 271. Does 4 divide a(-10)?
False
Let t(l) = -30*l + 269. Let y(f) = -29*f + 265. Let j(k) = -6*t(k) + 7*y(k). Does 34 divide j(0)?
False
Let h = -338 + 356. Suppose 1837 = h*t - 17*t. Is t a multiple of 16?
False
Suppose 12 = -2*o, -62*h + 59*h + 1359 = 2*o. Is h a multiple of 13?
False
Let t = -37 - 17. Let v = t + 63. Suppose v*z - 365 = 571. Is z a multiple of 8?
True
Suppose 0 = 77*b - 93*b + 37152. Does 25 divide b?
False
Suppose -5*v + 3 + 70 = -2*c, -5*v + 77 = 2*c. Suppose v*g = 11*g + 24. Let p(i) = 20*i. Is p(g) a multiple of 20?
True
Let l(n) = -1607*n - 36. Does 13 divide l(-2)?
False
Let l(a) = 211*a + 957. Is 12 a factor of l(33)?
True
Let f be (-9 - (0 + -9))/(6/3). Suppose -4*l - 124*m + 584 = -120*m, -2*l - 5*m + 289 = f. Is 10 a factor of l?
False
Let y(b) = 29*b**2 + 4*b + 187. Does 21 divide y(-9)?
False
Let b be ((-195)/12)/((-1)/(-8)). Let v be 3 + 24/(-4) - b. Suppose t + 2*k + 37 = v, t - k - 75 = 0. Is t a multiple of 21?
False
Let u be (-106)/(-477) - (-3242)/(-9). Let w = 298 - u. Does 47 divide w?
True
Let x be 0 + -82 - (-2)/(-1)*2. Let q = x + 86. Suppose 3*v + 79 = 4*r - 344, q = 4*r - 5*v - 425. Is r a multiple of 15?
True
Suppose -2*i - t - 3*t = -42, 4*i - 2*t - 44 = 0. Suppose -2*w + 2 = 3*o - 1, -5*w = 2*o - i. Suppose 4*g - 35 = -w. Does 5 divide g?
False
Suppose -297*r + 394*r = 350946. Does 27 divide r?
True
Let y = -7553 + 16374. Is y a multiple of 125?
False
Suppose j = -q + 1504, 22*q - 4488 = -3*j + 27*q. Does 9 divide j?
False
Suppose -43*f - 12 = -44*f. Suppose 3*p = -f*p + 6990. Does 43 divide p?
False
Let k(l) = -l + 38. Let f(w) = -w**2 + 9*w - 9. Let z be f(4). Suppose -z*b - 48 = -14*b. Is 14 a factor of k(b)?
False
Suppose -77*b - 9153 = -86*b. Let j = b + -887. Is j a multiple of 26?
True
Let c(b) = b**3 + 15*b**2 - 17*b - 10. Let z(n) = n**3 + 16*n**2 - 6*n + 16. Let j be z(-16). Suppose -14*l + 7*l - j = 0. Is 3 a factor of c(l)?
True
Let v(j) = -2*j**2 - 3*j + 7. Let x be v(-3). Let p = -145 - -149. Is 367/x*(-4)/8*p a multiple of 62?
False
Is (-761893)/33*(-3)/9 - 1/(-9) a multiple of 20?
False
Let r = 501 - 499. Let x = 12 + -10. Suppose 3*l - 15 = 0, r*s = -x*s + 5*l + 635. Does 33 divide s?
True
Let h(t) = -18*t + 64. Let b be h(3). Let p(k) = 2*k**3 - 3*k**2 - k + 2. Let a be p(2). Suppose 3*y = 2*g - 29, 5*y - b + 67 = a*g. Is g a multiple of 4?
False
Suppose 3*f = -12, -3*a + 16 - 3 = -f. Suppose 0 = -2*n - a*n - 2*l + 2704, 2154 = 4*n - 3*l. Is 36 a factor of n?
True
Let o(r) = r**2 + 8*r - 16. Let p be o(-10). Suppose -p*d = -5*d + 2*d. Suppose 3*l + 3 = d, 0 = 5*i + l + 4*l - 85. Does 4 divide i?
False
Let y(f) = -2*f. Let t be y(1). Let g(v) = 48*v**2 + 6*v. Is g(t) a multiple of 4?
True
Let r(b) = -b**3 - 6*b**2 + 6*b + 8. Let w be r(-7). Suppose -11*i + w*i - 1372 = 0. Is 57 a factor of i?
False
Let d(z) = -z**2 - 39*z - 64. Let c(a) = -3*a + 12. Let y be c(9). Is d(y) a multiple of 37?
True
Suppose 2*w - 367 = 3*q, 4*w + 3*q = 9*w - 895. Suppose w*c - 1338 = 174*c. Is 23 a factor of c?
False
Let s be (510/9)/((-4)/(-216)). Let u be (-2)/((-3)/(s/(-8) + -3)). Let g = u + 361. Is 11 a factor of g?
False
Suppose 526*x = 101*x + 14541800. Is 94 a factor of x?
True
Suppose 44 + 4 = 3*c. Suppose 2*f = -0*f + c. Suppose r = 48 - f. Is 12 a factor of r?
False
Suppose -17138 = -5*c - 8*y + 10*y, -4*c + y = -13714. Does 49 divide c?
True
Let h = 226 + -520. Let z = -202 - h. Is 7 a factor of z?
False
Is (-176 + 222)/((-1)/(-22)*(-4)/(-70)) a multiple of 10?
True
Suppose 2*s = 3*r + 87, 2*r + s + 51 = -0*r. Is 11 a factor of r/(-63) + (-3329)/(-7) + -1?
False
Suppose 3*u = -27, 40089 = -5*b + u + 295353. Does 17 divide b?
True
Suppose -3*z + b + 2556 = -2*z, -3*z = -b - 7666. Does 97 divide z?
False
Suppose -o = -8*l + 12*l + 8, -2*o - 12 = 4*l. Does 28 divide 40/o*36/(-3)?
False
Let i(u) = 35*u**2 - 9*u + 3. Let f be i(3). Suppose -v - 316 = -3*v + 4*s, -2*v - s + f = 0. Is 12 a factor of (-1 + v)/1 - (15 - 12)?
True
Let s(m) = 60*m + 65. Let k be s(7). Let o = k + -147. Is 32 a factor of o?
False
Suppose 4 = -s + 8. Suppose 0 = -v - 3*v - 12, 0 = s*o + 3*v + 81. Let g = 27 - o. Does 9 divide g?
True
Let x(o) = o**3 + 11*o**2 + 9*o - 22. Let d be x(6). Suppose -19*l = -6705 + d. Is l a multiple of 29?
True
Suppose -83457 = -55*d + 24783. Does 11 divide d?
False
Let f(q) = -q**2 - 54*q - 28. Suppose g + 4*w + 27 = 0, -w + 6*w - 9 = g. Is 49 a factor of f(g)?
True
Suppose -39438 = -122*d + 116*d. Is d a multiple of 21?
True
Let b be (-147)/(-5) + (92/20 - 5). Suppose b + 25 = q. Is q a multiple of 7?
False
Let c be 6/3 + (0 - -7). Let g(r) = r**3 - 10*r**2 + 12*r - 4. Let a be g(c). Suppose x - a = -3*k + 49, -4*k + 91 = 3*x. Is k a multiple of 9?
False
Let q(x) be the third derivative of -73*x**4/24 + 149*x**3/6 - 189*x**2. Does 13 divide q(-8)?
False
Let i(s) = -21*s - 19. Let u be i(-1). Suppose 14*x = 2*t + 18*x - 132, -t + u*x = -78. Is t a multiple of 24?
True
Is 11/((-165)/(-3680))*18 a multiple of 23?
True
Suppose -112 = -103*o + 95*o. Suppose 5894 - 686 = o*l. Is l a multiple of 57?
False
Let a be 21/14*2*(-2)/(-3). Suppose -2*l - a*h + 1072 = 0, -4*l + h + 2132 = 2*h. Suppose 39*q - 43*q + l = 0. Is q a multiple of 18?
False
Suppose -4*l - l = -b - 217, 5*l = -5. Let o = 438 + b. Is 16 a factor of o?
False
Let r = 68185 + 1689. Is r a multiple of 161?
True
Let i be (-183)/122 - 26/(-4). Suppose -i*y - 912 = 5*d - 3802, -1 = y. Is d a multiple of 13?
False
Suppose 5*w = 2*p - 35, 5*p = 2*w + 2*w + 45. Suppose 0 = p*v - 1348 - 2332. Suppose s = -3*q + 7*q + 256, -3*s = -4*q - v. Is 16 a factor of s?
True
Let d = -1583 + 1797. Is 10 a factor of d?
False
Is (-483)/(-92)*4 + 6979 a multiple of 56?
True
Suppose -2281*y + 2262*y = -186143. Does 97 divide 