oes 10 divide s?
False
Let q(h) = -h**2 - h + 7. Let p be q(-2). Suppose -2*y = -2*z + 6, -5*z + p*y - 2*y + 13 = 0. Suppose 0*v + 23 = v + 4*x, z = -2*v + 4*x. Does 2 divide v?
False
Let u be 6/(-2)*(11/(-3) - 0). Let s = 145 + u. Is s a multiple of 13?
True
Let o(s) = s**3 - 17*s**2 + 21. Let m be 2 + 0 + 0 + -13. Let b(d) = -2*d - 5. Let i be b(m). Does 8 divide o(i)?
False
Let b(u) = 2*u**2 - u + 14. Let v be b(0). Suppose 323 = -v*h + 5531. Suppose -3*w = 4*l - 404, l + 5*w + h = 5*l. Does 8 divide l?
False
Suppose -4*k + 3*w + 12055 + 22079 = 0, -42671 = -5*k + 2*w. Is k a multiple of 7?
False
Suppose -40 - 148 = -2*h. Suppose 5*f - 3*p - 368 = 0, -6 = -2*p - 8. Let u = h + f. Does 32 divide u?
False
Let q = -69 - -114. Suppose -2*y - 3*n + 23 = 0, -111*n + 11 = y - 109*n. Let k = q - y. Is k a multiple of 16?
True
Let z = -288 + 292. Suppose 84 + 1476 = z*s. Is 26 a factor of s?
True
Let f = -22 + 24. Suppose i = 3*i - 4*b - 954, 5*i = -f*b + 2373. Suppose -12*u + 7*u + i = 0. Is 19 a factor of u?
True
Let l = -51 - -52. Suppose -9*v - l + 1 = 0. Suppose 4*o + 3*a - 6*a - 130 = v, -2*o = -2*a - 64. Is 6 a factor of o?
False
Let r be (-4 + 4/(-3))*(-3)/2. Suppose -r*d = -45 - 11. Suppose -3*s - 3*x = -399, -1 = 4*x + d. Is s a multiple of 23?
False
Suppose 7*h - 40 = 3*h. Let f(o) = 2*o + 7. Let q be f(h). Let l = q + 68. Is 20 a factor of l?
False
Let d(w) = w**3 + 2*w - 1. Let i be d(1). Does 29 divide ((-4 - -5) + -12)/(i/(-98))?
False
Let o(f) = 52*f**2 - 97*f + 270. Does 15 divide o(21)?
True
Let y be 4/(-18) - (1352/72 - -2). Let u(x) = -4*x**2 - 105*x - 21. Is u(y) a multiple of 15?
True
Let v = 128 + -130. Does 37 divide -6*(-17)/9*(-111)/v?
True
Let x(i) = 7*i**2 + 60*i**3 - 15*i - 101*i**3 + 60*i**3 + 1 + i. Is x(3) a multiple of 29?
False
Suppose 12 = -4*d, -k - 25*d + 38463 = -30*d. Is k a multiple of 305?
False
Let f(y) = 92*y**3 - 50*y**2 + 489*y + 15. Is f(8) a multiple of 50?
False
Let j = -53 + 59. Suppose 80 = -2*z + j. Let t = -25 - z. Does 6 divide t?
True
Let h(r) = -r**2 + 24*r - 144. Let d be h(15). Is 8 a factor of (((-3321)/12)/d)/(24/512)?
True
Let y = 74840 - 48073. Is y a multiple of 28?
False
Let y be 10/((12/(-9) - -1)*-6). Suppose 3*x - 1655 = -y*a, -8*x - 545 = -9*x - 3*a. Is 35 a factor of x?
True
Let t be 10/(1 + 0)*22. Is (-11)/(t/8) - (-24)/10 even?
True
Let i be (1506/9)/(3 + (-16)/6). Let d = -298 + i. Suppose 0 = 7*l - d - 90. Is 21 a factor of l?
True
Let j be -5*120/(-25) - 0/(-2). Let l(f) = 4*f**2 - 64*f - 33. Is l(j) a multiple of 21?
True
Let z(f) = 2*f - 22. Let k be z(11). Suppose 3*v = -m + 6*m - 40, -m - 3*v - 10 = k. Suppose -m*h + 80 = 3*w + w, -4*h - 2*w + 70 = 0. Does 3 divide h?
False
Let q be -1*(-356)/(-6)*36/(-8). Suppose 3*c = -2*j + 168, 5*c + 0*j - q = j. Does 3 divide (0 - 1)*c/(-9)?
True
Let r = -592 + 853. Let p = r + -210. Is p a multiple of 2?
False
Suppose 0 = -13*c + 6*c. Suppose 19*m - 2226 - 3854 = c. Is 32 a factor of m?
True
Suppose -14*p + 15597 = 9*p + 5040. Does 9 divide p?
True
Suppose 11*n - 69006 - 33071 = 40813. Does 23 divide n?
False
Let h(t) be the second derivative of 11*t**3/3 - 4*t**2 + 4*t. Let r(l) = l**2 + 10*l + 4. Let s be r(-10). Is 20 a factor of h(s)?
True
Let b be ((-84)/10)/(-3*4/(-40)). Let t be (-4)/b + 1/(-7) - -43. Let d = 67 - t. Does 4 divide d?
True
Suppose 2*z = -2, 5*z - 3388 = j - 12351. Is 84 a factor of j?
False
Let x = 847 - 847. Suppose x = 5*l + 46*g - 49*g - 2949, 5*g - 10 = 0. Is l a multiple of 23?
False
Let r(z) = -20*z + 159. Let l be r(8). Is 11 a factor of (l - (55 - 1))/((-1)/2)?
True
Suppose -2*t + 13142 = -z, 5*t = 4*z + 3557 + 29301. Is 18 a factor of t?
True
Let f = 2 - -2. Suppose 4*z - 104 = -5*d, -f*d - 1 = -z + 4. Suppose 27*i = z*i + 36. Is i a multiple of 6?
True
Let n(r) be the second derivative of r**5/20 - 7*r**4/4 + r**3/6 - 15*r**2 + r. Let y be n(21). Let s = y + 29. Is 20 a factor of s?
True
Let w(l) = -172*l - 266. Is w(-19) a multiple of 21?
False
Let p(x) be the first derivative of -x**4/4 - 8*x**3/3 - 10*x**2 - 67*x - 286. Is 5 a factor of p(-8)?
False
Let l(m) = m**2 - 89. Suppose -15*t = k - 11*t + 22, 66 = -5*k + 2*t. Does 4 divide l(k)?
False
Let n be (-1)/(1*(-2)/4). Let g(h) = -3*h + 5. Let p(v) = -58*v + 68. Let l(c) = 28*g(c) - 2*p(c). Is l(n) a multiple of 34?
True
Suppose -160*g + 163*g = 4683. Let s = g + -745. Is s a multiple of 34?
True
Suppose 0 = -470*w + 469*w + 3. Suppose h = d + 62 + 87, w*h = d + 443. Is h a multiple of 31?
False
Suppose -2*g + 52717 = 3*y, y + 63*g = 53*g + 17647. Is 88 a factor of y?
False
Does 32 divide (39936/117)/(3*2/81)?
True
Suppose 0 = -3*u + 4*l + 67, 5*u - 5*l - 65 - 40 = 0. Suppose -3*p = u*p - 14000. Does 20 divide p?
True
Let s(q) = -q**3 + 14*q**2 + 33*q - 12. Let l be s(16). Suppose -4*z = 0, 0 = -4*n + l*z + 21 + 867. Is 56 a factor of n?
False
Let h(i) = i**3 + 55*i**2 + 37*i - 117. Is 60 a factor of h(-53)?
True
Let j = -1350 - -4459. Is 41 a factor of j?
False
Let p(d) = d**3 - 18*d**2 + 2*d - 13. Suppose 9*s + 3*s - 1200 = 0. Suppose -5*k + s = 10. Does 23 divide p(k)?
True
Suppose -72 = 5*h + 58. Let g = h - -29. Suppose 3*s = -2*r + 57, -r + 105 = 3*r - g*s. Is r a multiple of 8?
False
Let i(h) = h**3 - 166*h**2 - 129*h - 1450. Is 8 a factor of i(167)?
True
Let i = 891 + -275. Suppose a - 958 = -882. Suppose 2*h = i - a. Is 45 a factor of h?
True
Suppose -238*n = -77*n - 246926 - 8420. Does 4 divide n?
False
Suppose -20*s - 4 = -22*s. Let j(g) = -g**2 - g. Let m(r) = 47*r + 26. Let x(n) = s*j(n) - m(n). Is x(-23) a multiple of 43?
True
Suppose -4*t - 5*v = -23882, 1439 + 10475 = 2*t - 2*v. Is 51 a factor of t?
False
Let q(n) = -n**3 - 5*n**2 + 12*n + 21. Let r be q(-7). Suppose -216 = -4*h + c, -h - 5*c - r = -2*h. Is 6 a factor of h?
False
Suppose -2*y = 5*r - 2294, 0*y - 3455 = -3*y - 4*r. Suppose -2*x = -3*j + 629 + y, -j + 618 = 5*x. Is 26 a factor of j?
True
Suppose 35*b = 14*b + 14700. Suppose -b = -9*o + 632. Is o a multiple of 46?
False
Is (-31)/(-11 + (-102)/(-9))*1392/(-9) a multiple of 11?
False
Let u be (1 + 0)/(6/((-66)/(-11))). Suppose 4*y - u = 559. Is y a multiple of 28?
True
Let g(k) = -49*k - 28. Let b(l) = 2*l + 54. Let t be b(-27). Suppose 2*p - 7 = 2*q + q, -2*q - 4*p - 10 = t. Is 17 a factor of g(q)?
True
Is 6 a factor of -6 - (132/110 - 66362/10)?
False
Let w(d) = 0*d + 6*d + 2 + 2 + 8*d**2. Let q be w(-4). Let z = q + 152. Does 16 divide z?
False
Suppose -5*y = 4*s - 36749, 3*s + 22065 = 3*y + 8*s. Is y a multiple of 65?
True
Let q be (-36)/90 + (-108)/(-20). Suppose -q*j - 775 + 1570 = 0. Is 14 a factor of j?
False
Suppose -63*r + 277671 = 62*r + 102671. Is r a multiple of 49?
False
Suppose -11*x + 9*x + 76496 = 2*y, 0 = 2*x - 5*y - 76503. Does 17 divide x?
False
Let n = 3017 - -11343. Is n a multiple of 8?
True
Suppose -91*r - 111*r + 1345724 = 0. Is 4 a factor of r?
False
Suppose -10*x - 5*x + 30 = 0. Suppose -3*h = -z - 11, 5*z + 2 + 21 = -h. Suppose -4*w = x*y - 284, -h*y + 3*w + 248 = -2*w. Does 29 divide y?
False
Suppose 2*s = 5*y + 1 - 5, s - 3 = 0. Suppose -y*c - 5*m = -3*m - 14, 29 = 3*c + 5*m. Suppose -4*p + c*d + 36 = 0, -2*p + 29 = d + 1. Does 4 divide p?
True
Let s(y) = y**2 + 14*y + 10. Suppose 8*k - k - 63 = 0. Is 15 a factor of s(k)?
False
Suppose 23*k - 17*k - 10517 = -7*k. Is 4 a factor of k?
False
Let d = 25782 - 1044. Suppose -32*r - d = -53*r. Is r a multiple of 23?
False
Let n(z) = 339*z**2 - 92*z + 6. Is n(6) a multiple of 67?
True
Let t(g) = -3*g - 63. Let b(f) = 4. Let v(q) = 4*b(q) - 2*t(q). Is v(34) a multiple of 13?
False
Let c = 13375 - 7657. Is 89 a factor of c?
False
Suppose 4*g + 3 = -4*s - 1, -s + 11 = 4*g. Suppose 5*m - k + 294 = 0, -5*k + 34 = g*m + 246. Let d = -16 - m. Is d a multiple of 14?
True
Let p(f) = f**3 - 3*f**2 + 8*f - 62. Let d be p(-6). Does 11 divide d*(0 - (-6)/(-12)) - -5?
False
Let f(z) = 346 - 6*z - 266 + 5*z. Does 13 divide f(-23)?
False
Let t = -154 - -202. Suppose -7 = -8*m + 17. Let i = m + t. Does 33 divide i?
False
Is 3 a factor of 3528/36*288/28?
True
Suppose -2*k + 4*l + 126 + 100 = 0, 311 = 3*k + l. Suppose -v - k = 4*v. Let a(r) = -5*r - 47. Is a(v) a multiple of 14?
False
Let v be (10 + -5 - 5) + 1. Is 42 a factor of ((-33)/(-66))/(v/1008)?
True
Suppo