. Does 33 divide d?
True
Let z(q) be the third derivative of 5*q**5/6 + q**4/8 + q**3/2 - 7*q**2. Let a be z(-2). Suppose -i + 3*w + 49 = 3, -w + a = 4*i. Does 4 divide i?
False
Let s be 5 - -1 - (2 + -1). Suppose -u = s*u - 276. Let g = 17 + u. Is g a multiple of 15?
False
Suppose -65*h + 78991 = 102*h. Is h a multiple of 43?
True
Suppose 23154 = 48*p - 28686. Is 6 a factor of p?
True
Suppose -3*c + 17 = 2, 622 = -f - 2*c. Let y = -387 - f. Is 10 a factor of y?
False
Suppose 0 = -7*f + 11*f - 20. Suppose 2*u = f*b + 3103, -3*u - 5*b + 6*b + 4661 = 0. Is 53 a factor of u?
False
Let z(l) = 3*l**2 - 54*l - 69. Is 76 a factor of z(-51)?
True
Suppose 19*q = 4*o + 22*q - 2439, 2*o - 1230 = 2*q. Suppose 3*p - 972 = o. Is p a multiple of 33?
True
Let a = -3293 - -3686. Is a a multiple of 82?
False
Let x be 55 - (-3 + 7 + -2). Suppose -3*c - 57 = -3*l + 2*c, 0 = 4*l + c - x. Is 11 a factor of -2*((-4)/l - 916/28)?
True
Suppose -865*o + 51459 = -848*o. Is 9 a factor of o?
False
Let g(o) = -2*o**3 + 28*o**2 + 94*o - 9. Is 8 a factor of g(12)?
False
Let c(q) = q**2 + 38*q + 12. Let r(k) = -k**2 + 2*k - 1. Let p(s) = c(s) + 3*r(s). Does 7 divide p(21)?
False
Is 1445 + (-2 - -14)/3 a multiple of 7?
True
Suppose 4*h - 412*c - 15638 = -410*c, h - 5*c = 3887. Is 21 a factor of h?
False
Let u = 15733 - 15525. Does 16 divide u?
True
Suppose 43 = 6*c + 7. Suppose -c*v + 661 = 43. Is 23 a factor of v?
False
Let j = 54953 - 32555. Is 62 a factor of j?
False
Let k(v) = v**3 + 10*v**2 + v - 4. Let l be k(-10). Let x = l + 18. Let m(r) = 17*r + 2. Does 7 divide m(x)?
True
Let i = -601 + 1907. Is 116 a factor of i?
False
Suppose -29 = -i + 1. Suppose -i = z + 7. Let v = z - -48. Does 10 divide v?
False
Suppose 3*m = -5*b + 24, -m + 8 = 4*b - b. Let w(h) = h**3 - 6*h - 17. Does 19 divide w(m)?
False
Let j(q) = 78*q**3 + q**2 - q - 7. Let t be j(2). Suppose -k + 1 = 0, 4*w - k = 2*w + t. Is 88 a factor of w?
False
Let h = 664 + 26. Suppose 13*o - 7*o - h = 0. Is o a multiple of 5?
True
Suppose 0 = 4*k + 2*v - 40, 0 = 2*k - v - 35 + 11. Let c(j) = -2*j**2 + 16 + 11*j + 0*j**2 + j**2. Does 3 divide c(k)?
False
Let j = -1503 - -7729. Does 12 divide j?
False
Let v(b) = 9*b - 7. Let s be v(1). Suppose -2*i = -2*m - 2, 5 - 6 = s*i - 5*m. Suppose 3*n - 132 = i*h - 0*h, 0 = -4*n + h + 176. Is n a multiple of 5?
False
Let r = 81 - 186. Is 14 a factor of (147 - -1)*r/(-30)?
True
Suppose -189*k + 7308 = -187*k. Is 130 a factor of k?
False
Suppose 821*i = 817*i - 76. Suppose r - 43 = -9. Let j = r + i. Does 3 divide j?
True
Suppose 5*u - 4*d = 12768, 5*u - 13*d + 16*d = 12719. Does 52 divide u?
True
Let d be ((-6)/(-2) - 1) + 3*1. Let h(a) = 4*a + 83. Let v(j) = -2*j - 42. Let c(p) = d*v(p) + 3*h(p). Is c(13) a multiple of 15?
False
Suppose 5*f + 21*n - 10242 = 18*n, 0 = -4*f - 3*n + 8190. Does 12 divide f?
True
Is 41 a factor of (-2 - 1)/(146/(-6862))?
False
Let v(n) = -n**3 + 6*n**2 + 5*n - 14. Let w be v(6). Let a(f) = -f**2 + 14*f + 23. Let o be a(w). Let s(x) = x**2 - x - 6. Does 42 divide s(o)?
True
Let b be ((-21)/(-9))/((-1)/(-3)). Suppose -23 = -10*i + b. Suppose 783 = 4*l - 3*y - 57, -5*y - 630 = -i*l. Is 30 a factor of l?
True
Let y(m) = -2*m**3 - 4*m**2 - 5*m - 1. Let i be y(-2). Suppose 2*l + 4*q = -3*l + 69, -l = 2*q - i. Suppose -l*g + 13*g = -128. Is g a multiple of 8?
True
Suppose 0 = 12*b - 14*b + 624. Suppose -u = w + u - b, u - 1542 = -5*w. Is 6*(1 + 0 - w/(-12)) a multiple of 40?
True
Let c(m) be the second derivative of 85*m**4/12 + m**3/2 - m**2 - 206*m. Is 8 a factor of c(1)?
False
Suppose m = 4 - 0, 0 = a - 4*m + 20. Let d(g) = -15*g**2 + 7*g + 4. Let h(p) = -16*p**2 + 6*p + 3. Let i(n) = a*h(n) + 3*d(n). Is 36 a factor of i(-3)?
True
Let k(z) = -z**3 + 16*z**2 - 21*z - 34. Let b be k(12). Let r = -230 + b. Is r a multiple of 30?
True
Suppose -2*m - 21029 = -8*q - 69703, -24343 = -m + 2*q. Is 226 a factor of m?
False
Let q(c) = 17*c**2 + 47*c - 803. Let n be q(18). Let o be 1*65/(2/2). Is 18 a factor of n/o - 2/5?
False
Suppose -4*n = -5*x + 6 + 3, 2*n - x = 3. Let b = -32 + 16. Let u = n - b. Is 5 a factor of u?
True
Let h = -33 + 39. Let d(b) = -4 + h + 8*b + 1 - 5. Does 10 divide d(7)?
False
Suppose -3*x + 5*x + 69 = -5*j, -84 = 5*j - 3*x. Let m = j - -14. Is (-35 + m)*24/(-18) a multiple of 6?
True
Is 26 a factor of 5/((-75)/(-12)) + ((-19401552)/10)/(-36)?
False
Let l(a) = 8*a - 41. Let z be l(5). Does 16 divide ((-6435)/(-18))/11 - z/(-2)?
True
Let c(u) = -240*u + 3354. Is c(-13) a multiple of 99?
False
Let c(y) = y**3 + 3*y**2 + 13*y - 6. Let a be (-111)/(-15) - 8/20. Is 25 a factor of c(a)?
True
Let u(k) = -28*k + 13. Let s(m) = -195*m + 90. Let b(l) = 3*s(l) - 20*u(l). Let a be b(3). Let q = 84 + a. Is 2 a factor of q?
False
Let z(w) = -w**2 + 9*w - 16. Let l(h) = -3*h**2 + 27*h - 48. Let c(k) = -4*l(k) + 11*z(k). Suppose 5*t + y = 45, 12 = 39*t - 35*t - 4*y. Does 6 divide c(t)?
False
Let q(s) = -281*s**3 - s**2 - s + 14. Does 155 divide q(-3)?
True
Does 91 divide (5 + 3 + 11)/(15/4095)?
True
Is 102 a factor of (-6 - 11/(495/(-324)))/(1/14670)?
False
Let t = 28 - 32. Let h be 112/18 + t/18. Suppose h*o = 16*o - 250. Does 6 divide o?
False
Suppose 2*t = 3*p + 1 - 17, p = 4. Let a be (-25)/t*((-4)/5 + 2). Suppose a - 3 = 3*y. Is 4 a factor of y?
True
Let s(w) = -3*w**3 - 2*w**2 + 8*w + 7. Let y be s(-5). Let z(f) = 2*f**3 - 6*f**2 - 29*f + 16. Let n be z(8). Let c = n - y. Is c a multiple of 33?
True
Let i(n) = 2*n**2 + 32*n + 97. Let t be i(-25). Let h = t + -357. Is 18 a factor of h?
False
Let b be (((-9)/(-6))/3)/(6/516). Suppose b - 103 = -4*q. Is 8 a factor of q?
False
Let l = 234 - 228. Let t(m) = 6*m**2 + 35*m - 41. Let p(n) = -n**2 - 6*n + 7. Let c(w) = 34*p(w) + 6*t(w). Is 10 a factor of c(l)?
True
Suppose -11*i = -47223 - 33620 + 14370. Is 59 a factor of i?
False
Let z(v) = -11*v + 154. Let a be z(13). Suppose -j - 3 = 0, -9*j + 492 = 3*w - a*j. Does 27 divide w?
True
Let r = 553 + -611. Let f = r + 101. Is 43 a factor of f?
True
Suppose -2*m + j + 164 = -1026, -16 = -4*j. Is ((-12)/9)/(m/(-594) + 1) a multiple of 52?
False
Let r = 10 - -23. Let m = r - 88. Let i = m - -167. Does 14 divide i?
True
Suppose 2*v - v - 4 = 0. Let w = 608 + -604. Suppose -266 = -3*r + w*d, -r = v*d - 0*d - 94. Is 15 a factor of r?
True
Let x = 8181 + -6175. Is x a multiple of 31?
False
Let b(c) = 156 - 71 + 6*c - 50. Let d be b(-5). Suppose 3*u = 2*z + 87, -2*u = -3*u - d*z + 12. Is u a multiple of 4?
False
Let v(j) = 306*j**2 + 249*j + 14. Does 81 divide v(-6)?
False
Let k = -52 - -54. Suppose 2*l + 7*s - 356 = k*s, -3*s - 492 = -3*l. Suppose 50*o - 54*o = -l. Does 14 divide o?
True
Suppose d = 6*d - 25. Suppose 2*j = -2*f + d*f - 4, 5*j = -3*f + 32. Suppose -3*a + 4*s = s - 96, 104 = f*a + 4*s. Is 4 a factor of a?
False
Let s(c) = 178*c**2 + 3*c + 2. Let x(v) = -v**3 + 5*v**2 + 3*v - 3. Let q be x(4). Suppose -5*o = 4*a + a + q, -5*a = 4*o + 21. Is s(a) a multiple of 13?
False
Let d(v) = 19*v + 178. Is d(15) a multiple of 2?
False
Let x(k) = -8*k + 27. Let c(u) = 7*u - 27. Let l(w) = -3*c(w) - 4*x(w). Let g(h) = -21*h + 53. Let o(s) = -4*g(s) - 7*l(s). Is o(10) a multiple of 26?
False
Let i = 25658 - 12608. Is 174 a factor of i?
True
Let x = -187 + 192. Is 17 a factor of (16575/12)/x + 5/(-20)?
False
Suppose -86452 = -211*n + 713334 + 534578. Is n a multiple of 62?
True
Suppose -12*a + 14*a + y = 4542, 2*a - y = 4546. Is 16 a factor of a?
True
Suppose 3*h = -3*g, 4*h - 2*g = 2 + 10. Suppose -h*o - 3*m - 358 = -4*o, -o + 184 = -4*m. Is o a multiple of 16?
True
Suppose 0 = 13*c - 5 - 8, c + 20467 = r. Is r a multiple of 34?
True
Let t be -8 + (-4)/(-1) + 8. Let l be (-24)/(-5)*(t + 1). Is 15 a factor of l/(((-40)/(-25))/4)?
True
Let l = -5408 + 5703. Is 59 a factor of l?
True
Suppose -14*m = -1094 - 1538. Suppose 2*y - m = 336. Let g = y - 136. Is 21 a factor of g?
True
Let q(r) = -r**2 + 9*r - 7. Let z(k) = 3*k**2 + 9 - 10*k + 2 - 3 - k**2. Let v(f) = 3*q(f) + 2*z(f). Is v(-14) a multiple of 24?
False
Let f = 35 + -30. Suppose -21 = -2*a + 3*q, a + q + 4*q + 22 = 0. Suppose 26 = -2*r - f*s + 394, a*s = 3*r - 531. Is 40 a factor of r?
False
Suppose -2*y + 16 = -b, -3*y + 2*b + 23 = b. Is (-1004)/(-18) + (1 - y/9) a multiple of 7?
True
Suppose -56 = -373*b +