erivative of -5*z**4/6 - z**3/6 + z**2 - 22*z. Let v be r(3). Let m = -54 - v. Does 21 divide m?
False
Suppose -10 = -2*t, 3*r - 1256 = t + t. Does 23 divide r?
False
Let a(o) = -8*o**3 - 166*o**2 - 8*o - 290. Is a(-30) a multiple of 11?
True
Suppose 0*g = 2*g - 186. Let y be 21/(-4) + 6 - 9/12. Suppose y = 89*o - g*o + 88. Is o a multiple of 22?
True
Let n = -9867 + 22592. Does 25 divide n?
True
Let b = 10260 - 9806. Is 8 a factor of b?
False
Is 3815/21*(6 - -18) a multiple of 40?
True
Let v(l) = -2*l**3 - 11*l**2 - 4*l + 20. Let g be (-9)/(-6 - (-35)/5). Does 32 divide v(g)?
False
Suppose 0 = -2*x + 21*m - 16*m + 6511, m = -6*x + 19517. Is x a multiple of 16?
False
Let s be 40/(-4)*15/(-2). Let r = s + -71. Is 29 a factor of (r/12)/(1 + 2468/(-2472))?
False
Let b(a) = 34*a**2 - 12. Suppose -23*l - 42 = -2*l. Is b(l) a multiple of 13?
False
Let a = 373 - 381. Let w(j) = -11*j - 3*j**3 + 0 + 0 + 7*j**2 + 4*j**3. Is 8 a factor of w(a)?
True
Suppose 14*j - 8*j = 30. Suppose 5*r - j*b = 735, r - 52 - 75 = 5*b. Is r a multiple of 40?
False
Let o(f) = 587 - 155 - 2*f - 2*f + f. Let i be o(0). Suppose 2*w = -2*w + i. Is 21 a factor of w?
False
Let h be 2/(-4 - -10) - (-22)/6. Suppose 2*u + 3*f - 600 = 7*f, 3*u - h*f - 904 = 0. Suppose -9*s + 5*s - 16 = 0, 5*d - s = u. Is 3 a factor of d?
True
Let r be ((-1)/(-3))/((6/2)/297). Suppose -25*p - 408 = -r*p. Does 17 divide p?
True
Let w(v) = 3*v**2 + 21*v - 11. Suppose 0 = -26*b + 24*b - 18. Is w(b) a multiple of 37?
False
Suppose 8 = -5*f - 7. Is (45/(-12))/f*20 a multiple of 16?
False
Let f = -529 + 529. Suppose f = -49*v - 15698 + 100076. Is 23 a factor of v?
False
Suppose 0 = -10*m + 2555 - 425. Let q = 5 + m. Is q a multiple of 56?
False
Suppose 0 = -16*z + 104*z - 250272. Is z a multiple of 75?
False
Let n be 2204/10 + (-14)/35. Let i = n + 110. Does 66 divide i?
True
Suppose -6 = -2*q, 28*q - 153451 = -5*v + 26*q. Is 123 a factor of v?
False
Is 20 a factor of (-7502)/(-3 + 2) - (-30 + 32)?
True
Let z(v) = 136*v**2 + 82*v - 157. Does 16 divide z(7)?
False
Let p(z) = -z**3 + 9*z**2 - 7*z + 6. Let q be p(8). Let y be (-2)/3 - 295/(-15). Let s = y + q. Is 4 a factor of s?
False
Let l(k) be the second derivative of 52*k**3/3 - 23*k**2/2 - 2*k + 183. Is 27 a factor of l(1)?
True
Let q = 80 + -78. Suppose -q = c + g, 4 + 12 = -3*c - 5*g. Suppose -75 = -2*k + c. Is 16 a factor of k?
False
Let k(s) = s**3 - s**2 - 3*s - 6. Let j be k(3). Let b(i) = -11 + j*i - 7*i + 18 + i**2. Is 5 a factor of b(5)?
False
Is (-13)/130 + (-5)/(450/(-1643409)) a multiple of 26?
False
Let a(g) = -18*g + 107. Let m be a(6). Is 83 a factor of m/3 - 76178/(-123)?
False
Let i(o) = 70*o**3 - 117*o**2 + 875*o + 4. Is i(9) a multiple of 74?
True
Suppose b = j - 6851, -32*b + 37*b = j - 6879. Is j a multiple of 28?
False
Let g(q) = -3*q**2 + 0*q - 4*q + 4*q**2 - 19. Let l be g(-3). Suppose -l*a = 137 - 555. Is a a multiple of 12?
False
Let f be (-90)/(-20)*(-6)/(-9). Suppose 0 = -3*p - t + 141 + 335, 2*p + f*t - 308 = 0. Does 16 divide p?
True
Let n(w) = -2*w**3 + 22*w**2 - 178*w - 3286. Is 61 a factor of n(-22)?
True
Suppose -d + 157 = 35*t - 31*t, 2*t = -d + 167. Let f = 269 + -38. Suppose -8*b + f = -d. Is b a multiple of 17?
True
Let g be (-1 - 1 - 1) + (325 - 1). Suppose 79*w - g = 78*w. Is w a multiple of 17?
False
Let i = 1079 + 478. Suppose 1806 = -1554*f + i*f. Is 14 a factor of f?
True
Suppose -4*b - 3*z = -33689, -4*b = -4*z + 14453 - 48177. Does 22 divide b?
True
Suppose -627 + 4741 = -3*p + 14*p. Is 12 a factor of p?
False
Suppose -25*m + 55*m + 30 = 0. Is (-8 + -2 - -386)*m/(-2) a multiple of 109?
False
Suppose 5*g + 5*y = 10, 2*g = -y + 11 - 7. Suppose -n - 1438 = -2*l + 1733, g*l - 3153 = -5*n. Is l a multiple of 72?
True
Is ((-3)/((-18)/(-6)))/((-425290)/60755 + 7) a multiple of 3?
False
Does 13 divide (33/(-11))/(3 - 4) - -5665?
True
Suppose 12 = -78*q + 82*q. Suppose 0 = -q*s - t + 5*t + 174, 45 = s + 3*t. Let g = -42 + s. Is 4 a factor of g?
True
Let g(c) be the first derivative of 10*c - 1/3*c**3 + 20 + 21/2*c**2. Does 15 divide g(11)?
True
Let u(y) = 543*y**2 - y - 5. Let l be ((-2)/(-2) - 2) + (6 - 6). Is u(l) a multiple of 11?
True
Let z(t) = 14*t**2 + 70*t - 556. Is 39 a factor of z(40)?
False
Let v = -81 - -83. Suppose 6 = -3*z - 5*n, z + n + n + v = 0. Is 19 a factor of 4/(-4)*4 + (-274)/z?
True
Suppose 10713 = 24*h - 3159. Is h a multiple of 11?
False
Suppose -2323 = -12*p + 15689. Is 32 a factor of p?
False
Suppose 9 = 3*l - 3*r, -5*l + 0*r = -3*r - 19. Suppose l*t - 40 - 120 = 0. Is 10*(t/(-10) - -4) a multiple of 6?
False
Let l = -54 + 9. Let m = 209 + l. Does 41 divide m?
True
Let k(j) = -1. Let l(w) = -10*w - 6*w + 2*w - 16*w - 29. Let u(d) = 2*k(d) + l(d). Does 16 divide u(-6)?
False
Let i(a) be the third derivative of a**5/60 + a**4/8 - 7*a**3/3 - 19*a**2. Let t be i(-6). Suppose -2*l - 55 = -p, 6*p - 2*p = t*l + 236. Is 21 a factor of p?
True
Let o = -1385 + 2961. Is 8 a factor of o?
True
Let i = -23 + 26. Suppose -3 = i*h, -3*k + k + 2*h = -18. Suppose k*y = 4*y + 5*p + 283, 0 = 4*p - 20. Does 16 divide y?
False
Let j(g) = -1236*g**3 + 5*g**2 - 4*g - 8. Is 19 a factor of j(-1)?
False
Let w = -57 + 94. Let d be ((-5)/10)/(1/(-118)). Let r = d + w. Is r a multiple of 16?
True
Let h(v) = 739*v - 1513. Does 18 divide h(7)?
False
Let i(t) = t + 5*t + 1839 - 1773. Is i(-5) a multiple of 2?
True
Let z be ((-90)/(-24))/((-3)/(-12)). Let v(b) = -z + b**3 + 3*b**2 + 13*b - 3*b**2 + 5*b**2 + 8*b**2. Is 20 a factor of v(-11)?
False
Suppose -7*u + 5924 = -13480. Suppose u = -5*a + 16*a. Does 7 divide a?
True
Suppose 196 = 30*i - 104. Suppose -505 - 525 = -i*x. Is x a multiple of 15?
False
Let m(c) = -c**3 + 26*c**2 - c + 38. Suppose -5*o - 4*k + 37 = 0, -3*k + 6 = -k. Suppose -5*v + 140 = -3*q - 2*q, -o*v - 4*q = -122. Is m(v) a multiple of 3?
True
Let q(j) = j**3 + 4*j**2 - j. Let c be q(-4). Suppose 540 = 5*p + 5*w, -p - c*w + 100 = -w. Is 13 a factor of p?
False
Let v be 197 - 5/(2 - -3). Suppose 0 = h + 2*h + 2*i + v, -5*h + 2*i = 300. Is (-2)/1 - h/1 a multiple of 12?
True
Let d = 48 + -78. Let i be (-4)/d + 3832/60. Let s = i + -54. Is 6 a factor of s?
False
Let n = 29 - 197. Let s = -72 - n. Is s a multiple of 8?
True
Suppose -258 = -u + 2*u. Let t = -504 - u. Let s = -66 - t. Is s a multiple of 36?
True
Is (-13748)/(-8)*(-252)/(-686)*7 a multiple of 5?
False
Suppose 0 = -4*r + 6*r. Suppose -a = r, -a = b - 3*a - 570. Suppose 3*p = 2*f - 245, 5*p + 30 = 5*f - b. Does 15 divide f?
False
Let p(q) = -q**3 + 7*q**2 - 10. Let w be p(7). Let y(d) = 562*d - 358*d - 15 - 205*d - 9*d**2 - d**3. Is 15 a factor of y(w)?
False
Let u = -612 + 812. Suppose -198*o = -u*o + 108. Is o even?
True
Suppose -2*o + 3*n = -1166, 0 = 5*o + 3*n - 288 - 2585. Let v = o + -527. Does 3 divide v?
False
Let z(x) = -x**2 - 11*x - 8. Let c be z(-10). Suppose -48 = -2*i + 4*d, i = 2*i + c*d - 28. Suppose -i = -5*r + 34. Is r a multiple of 4?
True
Let s = 18022 + -14402. Does 4 divide s?
True
Suppose -m + 9 = 2*d + 3*d, 4*d = -2*m + 12. Suppose 0 = -3*p - d + 7. Is p + (-4 - (2 - 3)) - -57 a multiple of 8?
True
Suppose 333*d - 68*d - 428248 = -4*d. Is d a multiple of 26?
False
Let a(u) = 56*u**2 - 88*u + 51. Is 15 a factor of a(-6)?
True
Suppose -2*w - 8924 = -5*k + 51026, 0 = 2*k - 3*w - 23969. Does 93 divide k?
False
Let d be 417/4 + 1/(-4). Let v be 4 + -1 + 0 - 2. Is (-3*d/18)/(v/(-3)) a multiple of 13?
True
Let l(x) = 2*x**2 - 20*x + 121. Suppose -58 + 210 = 8*p. Is 10 a factor of l(p)?
False
Let r be -19 + 12 - (-3968 - -1). Suppose -54*y = -66*y + r. Is y a multiple of 22?
True
Let n(q) = -q**2 + 16*q - 17. Let p be n(15). Let w be p + 920/3*(-9)/(-6). Suppose 5*f - 2*t - w = 0, -5*t + t = 5*f - 434. Does 18 divide f?
True
Let u = -472 + 3324. Suppose 7*x = 3*x + q + u, 4*x = -2*q + 2840. Is 3/9 - x/(-6) - 2 a multiple of 23?
False
Suppose -5*s + 6937 = 2*n, 10*s - 6*s + 17392 = 5*n. Is n a multiple of 22?
True
Suppose 32*j - 27*j + 50 = 0. Let a(y) = y**3 + 14*y**2 - 5*y + 13. Let h be a(j). Let c = -319 + h. Is c a multiple of 30?
False
Let p(l) = 16*l**2 + 12*l - 26. Let x be p(8). Suppose -7*n + 362 = -x. Is 52 a factor of n?
True
Suppose 0 = -4*b + 5 + 7. Suppose b = 4*s - 3*s. Suppose s*j - 17 = 127. Is 16 a factor of 