24. Suppose 0 = 3*z + 5 + 4. Is 9 a factor of s/(-27)*z + (-49)/(-3)?
False
Suppose 182 = -3*z + 194. Suppose -z*j = 3*j - 7007. Does 13 divide j?
True
Suppose -3*d + d + 12 = 0. Let r be (d/15*(0 - -15))/2. Let q(j) = 5*j**2 + j + 10. Does 29 divide q(r)?
True
Let q = -32 - 245. Let w = -85 - q. Is w a multiple of 48?
True
Suppose 4*x = 5*h - 946, -9*h + 382 = -7*h + 2*x. Let o = h + -94. Is o a multiple of 8?
True
Let d(t) = -113*t**3 + t**2 - t + 1. Let f be d(1). Let v = f - -137. Is v a multiple of 25?
True
Let j(l) = -6*l - 11. Let x be j(7). Let f = x - -58. Is 13 a factor of f + 214 + 4 + -2?
True
Suppose 5*d = 49922 + 55464 - 10026. Is 149 a factor of d?
True
Suppose -4*t + 248 = -716. Let w(d) = 242*d**3 + 22 - t*d**3 - d**2 + d + d. Is 22 a factor of w(0)?
True
Let b = -35299 + 35541. Does 22 divide b?
True
Suppose -4*d + 19042 = -5*i, -2*d - 3*i + 4242 + 5290 = 0. Is d a multiple of 17?
False
Suppose -53 = 4*p - 9*p - o, -2 = o. Is 10 a factor of ((-2)/10)/(p/(-14795))?
False
Let d = -56063 + 79614. Does 97 divide d?
False
Let r = -73 - -95. Let i = 76 + r. Is i a multiple of 3?
False
Suppose 3*f + 272 = 4*b, f + 363 = -3*f + 5*b. Let h = 181 + f. Suppose -h*m + 91*m = 230. Is 9 a factor of m?
False
Let i = 151286 + -100342. Is i a multiple of 256?
True
Does 96 divide 88*(5330/20 - -14)?
False
Let h = -205 - 243. Let m = h - -1338. Is 57 a factor of m?
False
Suppose 3*n + 4*p - 65 = 31, 0 = 4*n - 3*p - 128. Suppose n*j - 168 = 11*j. Is 7 a factor of j?
False
Does 17 divide 14714144/736 + 1/(-23)?
True
Suppose 4 - 18 = -7*j. Suppose 1608 = s + 2*g - 6*g, j*g = 5*s - 8112. Is 56 a factor of s?
True
Suppose 0 = 4*r - m - 19446 - 4723, -m - 6037 = -r. Is 21 a factor of r?
False
Suppose 0 = -132*r + 90*r + 21000. Is r a multiple of 5?
True
Let c be 2/(-11) - 0 - (-1075284)/2244. Let g = 14 + c. Does 9 divide g?
False
Suppose -j + 129 - 57 = h, 0 = -h + 2. Does 31 divide j?
False
Suppose 193*q - 2537725 = 257108. Does 13 divide q?
False
Suppose 0 = 32*v + 170*v - 98421 - 1038435. Does 57 divide v?
False
Let k(v) = -2*v. Let m be k(8). Let g(c) = -5*c + 44. Let b be g(m). Suppose -4*l = -4 - b. Is 5 a factor of l?
False
Let r be -3*4938/(-45) + 3/(-15). Suppose 5*l + r = 2*d, 0 = -3*l - 8 - 1. Does 2 divide d?
False
Let w be (-7)/(126/12) + (-11)/(-3). Let i(a) = 0*a**2 + 3*a**w - 2*a**3 - 12 + 3*a**2 - 6*a**2. Does 3 divide i(5)?
False
Suppose -4*x + 2*x = 2*i - 94, i = x - 55. Suppose -41*b + 53*b - 36 = 0. Is 3 a factor of (-2 - -3) + x/b?
True
Let o(s) be the second derivative of s**7/2520 + s**6/720 + s**5/120 - s**4/6 - 13*s. Let m(z) be the third derivative of o(z). Does 5 divide m(-4)?
False
Let w = 122 + -102. Suppose 786 = w*c - 354. Is c a multiple of 10?
False
Let p = -10765 + 19517. Is p a multiple of 11?
False
Let d(z) = -25*z + 3. Let i be d(3). Let x be (i - -4 - -1) + 0. Let o = x + 130. Does 6 divide o?
False
Let a = -216 - -341. Is 16 a factor of a - (-13 + 5 + 5)?
True
Is 17/(-68) - (6 + 8362*(-35)/56) a multiple of 87?
True
Let l(j) = 295*j**2 + 205*j - 53. Does 22 divide l(8)?
False
Let o be 346/(-6) + 1/(-3). Let h = 82 - o. Is 7 a factor of h?
True
Let v be 2/11 + 595/(-187). Let g be v/(-9)*-2*84. Let m = g - -332. Is 46 a factor of m?
True
Let w be (-16)/(-28)*(-63)/(-18). Suppose -2*m - q = -618, 71 = -w*m + 4*q + 669. Is 30 a factor of m?
False
Is (112338/(-27) + 8)*54/(-12) a multiple of 150?
False
Suppose -22 + 20 = -f. Suppose 3*s - 660 = -3*m, -m - 399 = -f*s + 47. Is 14 a factor of (-1)/((-7)/s) - (-2)/7?
False
Let z(l) = -250*l - 15. Let h be z(-2). Let k = -175 + h. Is k a multiple of 13?
False
Suppose -5*m - 35 = 245. Let n = 57 + m. Does 13 divide ((-52)/(-8))/(n/2)?
True
Let h = 7 - -1. Let o(f) = 44*f - 105. Does 14 divide o(h)?
False
Suppose 47*b - 75 = 32*b. Suppose 589 = 2*j + b*w + 202, 5 = 5*w. Does 27 divide j?
False
Suppose 17*f - 10*f - 392 = 0. Suppose 10*p + f = 3*p. Does 14 divide (-18 - -10)*286/p?
False
Suppose -p = -2*c - 2422 - 256, 3*p - 8042 = 4*c. Suppose -24*o + p - 526 = 0. Does 10 divide o?
True
Suppose 0 = 49*y - 243*y + 2261846. Is y a multiple of 21?
False
Let a be (22 + -25)/(3/21*-3). Suppose 16*z - 27 = a*z. Does 3 divide z?
True
Suppose 4*c = 247 - 79. Does 12 divide 70/c*(-4 + 1) + 59?
False
Let y = 30958 - 5881. Does 20 divide y?
False
Suppose 4*q - z + 22 + 239 = 0, 4*z = 20. Let y = 124 + q. Suppose -2*m - m = -y. Is 10 a factor of m?
True
Let b be (-10)/(-50) - 1*(-7062)/15. Let t = 809 - b. Does 54 divide t?
False
Let i = 104 - 557. Let y = i + 642. Is 23 a factor of y?
False
Let r(h) = 512*h + 2390. Is 13 a factor of r(33)?
False
Suppose 35*y = 51*y - 57408. Does 13 divide y?
True
Suppose 19 = -j - z + 573, -3*z = -4*j + 2209. Does 4 divide j?
False
Suppose 450222 = 50*d + 73472. Is 55 a factor of d?
True
Suppose 0 = -p + 5*n + 13501, -p + 13485 = 7*n - 8*n. Does 29 divide p?
False
Suppose -9*m + 2*m = -413. Suppose 0 = r - 21 - m. Suppose -4*b + 3*k = -354, b - 6*k = -k + r. Is b a multiple of 33?
False
Let o = -10779 - -12911. Does 3 divide o?
False
Let a = 6 - 4. Suppose 0*q = -a*q + 5*w + 18, 0 = -3*q + 4*w + 13. Does 4 divide ((-2)/(-6))/(q/(-63))?
False
Let o be 2/(-8) + 63669/228. Let w = o - -252. Does 37 divide w?
False
Suppose 0 = -g + 2*s + 4, -3*g = -s + 6*s - 12. Let d = 9 - g. Suppose -5*j + 10 = 0, -2*z + d*j = 9*j - 416. Is 32 a factor of z?
False
Let l(j) = j - 14 + 0*j + 0*j + 3*j. Let n = 19 + -5. Is l(n) a multiple of 11?
False
Let q(l) = -2449*l**3 + 2*l + 1. Let h be q(-1). Suppose -2*k = -5*f + 2436, 3*f - h = -2*f - 4*k. Is f a multiple of 29?
False
Let n = -36 - -81. Let t be (14/105 - 51/n)/(-1). Does 15 divide 96/6*(t - (-123)/12)?
True
Let h(x) = -2*x**2 + x**2 + 21*x - 2*x + 18. Let y be 120/(-100)*((-46)/3 + 2). Is h(y) a multiple of 8?
False
Let p = 5695 - 5165. Does 9 divide p?
False
Suppose 9*d - 14 = 2*d. Let g be ((-83)/d)/((-6)/12) - 2. Suppose -6*u = -63 - g. Does 3 divide u?
True
Suppose -u = 548*y - 545*y - 3592, 5*u - 2*y = 18062. Is u a multiple of 5?
True
Let s(t) = -t**3 + 3*t**2 + 2. Let u be s(2). Let n = 97 + -95. Suppose -n*a + 48 = u*a. Does 2 divide a?
True
Let g be (-1)/(5/(-630)) - (-5 - -1). Let k = g - -1043. Is k a multiple of 23?
True
Let x(w) = -50*w - 2. Let u(q) = 2*q + 9. Let f be u(-7). Let l(t) = 1. Let p(r) = f*l(r) - x(r). Does 3 divide p(1)?
False
Let g(b) = 5*b**3 + 41*b**2 - 10*b - 66. Let i(j) = j**3 + 8*j**2 - 2*j - 13. Let s(u) = 2*g(u) - 11*i(u). Let x be s(-6). Does 11 divide (-2)/4*x*44?
True
Let b = 19 + 6. Is b - (10 + (-4 - 0) + -2) a multiple of 20?
False
Let x = -39375 + 64431. Is 96 a factor of x?
True
Suppose 4*n - 1936 = -5*c, 0 = -5*n - 9*c + 7*c + 2437. Suppose n = r + 414. Does 3 divide r?
True
Suppose -42*w = -3*q - 37*w + 25537, 0 = 4*q - 4*w - 34068. Does 55 divide q?
False
Let c(a) be the second derivative of 1/2*a**4 + 0 - 1/20*a**5 - 24*a - 3/2*a**2 + 2/3*a**3. Is 13 a factor of c(5)?
False
Let p = -7364 + 10776. Does 5 divide p?
False
Let l(r) = -11*r - 116. Suppose -5*y = -25, 0 = 2*q + y + 15 + 10. Is l(q) a multiple of 23?
False
Let c(r) = -2*r**3 - 4*r**2 - 6*r - 7. Let j be c(-2). Let m be 5 + -4 + j/((-10)/(-654)). Let p = -214 + m. Is p a multiple of 20?
False
Suppose 0 = 2*h - 39 + 35. Suppose 0*x - 2*x - 1280 = -h*k, -2*x = 4*k - 2578. Is k a multiple of 64?
False
Let k be (-1 - -7)*1/(-4)*-4. Suppose -k*d + 4639 + 995 = 0. Suppose 4*f - d = -111. Is f a multiple of 11?
False
Let s(t) = 63*t + 24. Suppose 3*d = 3*l - 198, l + 0*l = 2*d + 130. Let u = -60 - d. Is 49 a factor of s(u)?
False
Suppose -4*z - 3*n = -18, -4*z + 4*n + 0 = -4. Suppose 4*v - 8 + 38 = 5*j, -2*j = -4*v - 24. Suppose -o = -j*i - 18, -5*i + z*i - 50 = -3*o. Does 9 divide o?
False
Is 11 a factor of 26*((12051/6)/13 - -4)?
False
Let c be 6/(-9) - (-143)/3. Suppose 57 = 2*u + c. Suppose 60 = 10*x - u*x. Is x a multiple of 3?
True
Suppose -182 - 257 = -d + 3*q, 1756 = 4*d + 3*q. Let z = 1325 - 1623. Let r = d + z. Is 27 a factor of r?
False
Suppose 0 = 4*k, -3*p + 0*p - 3*k + 24720 = -k. Is p a multiple of 20?
True
Let j = -5472 - -6032. Is j a multiple of 2?
True
Let o = -502 + 507. Suppose 906 = -o*b + 2856. Is 15 a factor of b?
True
Let m(d) = -d**2 - 44*d + 123. Let v be m(-35). Suppose 102 + v