. Is s a multiple of 37?
True
Let w(q) be the third derivative of -1/6*q**3 + 11*q**2 + 0 + 5/4*q**4 + 0*q. Is 34 a factor of w(9)?
False
Let h = -505 - -490. Let w(m) = -m**3 - 16*m**2 - 47*m + 7. Is w(h) a multiple of 5?
False
Let h = 100 + -97. Suppose 0 = -h*k - 9*k + 1884. Does 37 divide k?
False
Let o be 0/(7/2 - 19/38). Suppose o = -4*j + 11*j - 714. Is 6 a factor of j?
True
Let d(u) be the second derivative of u**5/20 + u**4/3 - u**3/6 + 2*u**2 - 27*u. Let w be d(-4). Does 38 divide -1 + w/(3 + 1) - -94?
False
Let y(w) = 3*w**2 - 2*w - 18. Let i be 8/5 - (-2)/5 - -4. Is 13 a factor of y(i)?
True
Let i(t) = -4*t - 21. Let l be i(-6). Suppose 2*k + 236 = l*c - 0*k, -k - 323 = -4*c. Is 41 a factor of c?
True
Let r = 999 - 637. Suppose -2*h + 5*x + r = 0, 0 = h + h + x - 338. Is h a multiple of 9?
True
Let i = 137869 - 98035. Is 48 a factor of i?
False
Let y be (2 - 10/4)*(-686)/(-7). Is (y/147)/(1/(-2814)) a multiple of 33?
False
Let q(m) = 33*m - 304. Let l be q(23). Suppose -5*g = -0*s - 2*s - l, 4*g = -2*s + 364. Is g a multiple of 3?
False
Let v = 199 - -15. Suppose -1814 + v = -16*k. Is k a multiple of 5?
True
Let n be 4 + 2*(-3)/6. Suppose n*y = 7*y + 2*y. Suppose -4*o + 307 + 61 = -4*b, y = 2*o - 5*b - 184. Does 55 divide o?
False
Suppose 0 = -64*x - 3194 + 17978. Does 7 divide x?
True
Suppose 0 = 13*q - 94 + 302. Is -1*(512/(-4) + q/4) a multiple of 12?
True
Suppose -28418 = -4*v + y + 14221, 2 = 2*y. Is v a multiple of 41?
True
Suppose 5*p + 3*y + 6 = 2*p, 3*p + 2*y + 2 = 0. Suppose -4*d + 3654 = p*d. Suppose d = 22*h - 19*h. Is 29 a factor of h?
True
Suppose -5*q + 9152 = 8*q. Suppose 4*n + 4*k - q = 0, 3*n = -5*k - 53 + 573. Suppose 0 = 12*c - 84 - n. Is c a multiple of 6?
False
Is -1*(-54)/(-126) - (-1)/((-21)/(-557685)) a multiple of 28?
False
Suppose 2538 = -10*h + 8218. Suppose m - 239 = 2*v - 35, -3*m - 5*v = -h. Does 28 divide m?
True
Let o be 276/184 + (-25)/(-2). Suppose o*t + 30 = 20330. Is t a multiple of 58?
True
Let x(a) = -a**3 + a**2 + 20. Let y be x(0). Let k be (-1 + -1)*10/y. Is 35 a factor of k*25/1*(-24 - -20)?
False
Let d = 15577 - -1108. Does 71 divide d?
True
Suppose -132 = -3*b + 102. Let l = b - -79. Is 33 a factor of l?
False
Suppose 0 = g + 8, 47*w - 5554 = 45*w + 3*g. Is 7 a factor of w?
True
Let u be 44/11*165/2. Let a = u - 157. Is 18 a factor of a?
False
Is 11 a factor of (2 - 0)*(-2)/7*(-257649)/12?
False
Suppose 74*j - 72*j - 47880 = 5*k, -3*k = -24. Is j a multiple of 120?
False
Let k be 5 + 0 - 7 - -7. Suppose 470 = k*m + 5*g, 5*m + 2*g = -2*g + 468. Is 18 a factor of m?
False
Let k = 712 + -136. Suppose -5*p = -p + k. Let w = p - -247. Is w a multiple of 9?
False
Suppose w - 5*a = 587, -3*a - 414 = -2*w + 732. Is w a multiple of 9?
True
Suppose 2*z + k = 3*z - 267, 4*z - 1044 = -4*k. Is 66 a factor of z?
True
Suppose -2*g - 3 + 8 = h, 0 = -5*g + 5*h + 20. Suppose -g*j = -4 + 19, -5*b + 55 = -4*j. Suppose -s - 84 = -b*s. Does 2 divide s?
True
Suppose -130*f = -0*f - 1138800. Does 15 divide f?
True
Let c(k) = 236*k**2 - 89*k + 408. Is 11 a factor of c(5)?
True
Let y(i) = 2*i**2 - i - 1. Let u be y(-2). Let n(s) be the second derivative of 25*s**3/6 + 11*s**2 - 86*s. Is 17 a factor of n(u)?
False
Let v(u) = -6*u**2 - 50*u + 43. Let p(c) = 2*c**2 + 16*c - 14. Let q(y) = 11*p(y) + 4*v(y). Does 2 divide q(-10)?
True
Suppose -2*t - 31768 = -4*b - b, 0 = 5*b - 3*t - 31762. Is b a multiple of 32?
False
Let t be (-2)/(-1)*30/12. Let a be 0 + -1 + 0 + 47. Suppose -97 = -4*y - t*d, -3*d = -2*y - 5*d + a. Is y even?
True
Does 49 divide (((-1360)/952)/((-8)/(-98)))/((-1)/70)?
True
Let d(h) be the third derivative of 5*h**4/12 - h**3 + 18*h**2. Let c be d(-2). Does 4 divide -6*(-2)/(-4) + (0 - c)?
False
Suppose 7*j + 8*j + 540 = 0. Let q = j - -170. Is 3 a factor of q?
False
Is (18475/15 - 3)*3 a multiple of 97?
True
Let p(y) = -2*y**3 - 35*y**2 - 41*y - 37. Let x(t) = -t**3 - 17*t**2 - 21*t - 19. Let s(r) = 4*p(r) - 9*x(r). Let u be s(-10). Let z = 86 - u. Does 13 divide z?
True
Let z be 1/((-21)/(-117))*-2*7. Let d = -202 - z. Let q = -70 - d. Does 13 divide q?
False
Let s(f) = 35*f**2 - 37*f - 36. Is 52 a factor of s(8)?
False
Let a = 4687 + -2957. Suppose -3*b = -4*f + a, f - 69 = 2*b + 366. Is f a multiple of 35?
False
Suppose -4*j + 587*u = 582*u - 9483, 0 = -2*j - 5*u + 4719. Is j a multiple of 8?
False
Suppose q + 7183 = 2*f, -2628*f + 4*q = -2629*f + 3560. Is f a multiple of 138?
True
Let u(z) = 129*z + 126. Let y be u(10). Suppose -31*a + 25*a + y = 0. Is a a multiple of 5?
False
Let s(z) = -1532*z - 1483. Is 5 a factor of s(-9)?
True
Let a(m) = -228*m + 377. Is a(-22) a multiple of 21?
False
Let d(c) = -c**2 + 18*c - 22. Let k be d(16). Does 8 divide 2034/k + 19/(855/(-18))?
False
Suppose -2*l - 2*v = -3*l + 65, 248 = 4*l + 4*v. Let u = -58 + l. Suppose x - 5*x + 2*j + 108 = 0, -140 = -u*x + 5*j. Does 13 divide x?
True
Suppose -5*n - 5*w + 54 + 6 = 0, -2*n + w = -12. Is 17 a factor of 18/(-24) - (-1622)/n?
False
Is (-23)/(552/(-69744)) + 16/(-2) a multiple of 126?
True
Let u(c) = 3*c**2 - 13*c + 64. Let o be u(-17). Suppose -2*p - p + o = 3*z, 4*z + 384 = p. Is p a multiple of 45?
False
Suppose d + 2*w - 11 = 0, -11 - 8 = -2*d - 3*w. Let h = 8 - d. Does 16 divide h/2 - (-915)/30?
True
Let w(p) = -221*p**3 - 50*p**3 - 2*p - 425*p**3 + 200*p**3 - 2 - 220*p**3 - p**2. Is w(-1) a multiple of 65?
True
Let n = 47651 - 21437. Does 8 divide n?
False
Let w(x) be the first derivative of -3*x**2/2 + 23*x - 6. Let v be w(7). Suppose -v*p - 432 = -5*p. Is 30 a factor of p?
False
Suppose p = -3*p - 3*p. Suppose -4*f + 88 + 756 = p. Suppose -189 - f = -4*b. Is 7 a factor of b?
False
Suppose 9 = i - 4*b, -i = -3*i + 3*b + 28. Let h = i + -29. Let r = h - -42. Is 10 a factor of r?
True
Does 7 divide ((-1)/3)/(2/6) + 653 + -8?
True
Let u be 35*(-5 + (-55)/(-25)). Let b = u - -113. Suppose 4*z - w = 2*w + b, w + 3 = z. Is z a multiple of 3?
True
Suppose -3*g = 5*r - 16 - 0, -3*g + 3*r = 0. Suppose 0 = -i - g + 5. Suppose -u + 48 = -2*x, 0 = -0*u - u - i*x + 28. Does 32 divide u?
False
Is (5 - (-57)/(-6))/(-1*3/5516) a multiple of 29?
False
Suppose 3*r = 3, -5*t + 4*r = 6*r - 287. Let j(y) = y**3 + 3*y**2 - 23*y - 25. Let h be j(-1). Suppose h*b + b = t. Is b a multiple of 19?
True
Suppose -30810 = 112*f - 118*f. Is 11 a factor of f?
False
Let a(v) = -183*v**3 + v**2. Let x be 1/((3 + 2)/(-5)). Let p be a(x). Suppose 26 + p = 5*c. Is 7 a factor of c?
True
Suppose 5*g = 3*u + 64572, 5*g + 495*u - 492*u - 64578 = 0. Is 21 a factor of g?
True
Let n(r) = 5*r**3 + 7*r**2 - 46*r - 6. Let k(m) = -11*m**3 - 14*m**2 + 94*m + 13. Let y(q) = 4*k(q) + 9*n(q). Is y(-10) a multiple of 26?
True
Let a(k) = 12910*k - 1620. Is a(3) a multiple of 29?
False
Let c(o) = -o**3 + 9*o**2 - 10*o + 10. Let t be c(8). Let r(f) = f**2 + 3*f - 18. Let i be r(t). Suppose -75 = -i*d - 5*d. Is 15 a factor of d?
True
Suppose 4*l - 845 = 17*l. Does 41 divide -63 - l - (1 - 69)?
False
Suppose -4*c - 3*y = -3, y - 5*y = 2*c + 6. Suppose h + 12 = -4*r - c*h, h = 4*r + 17. Is 4*110*(-1)/r a multiple of 14?
False
Let t = -170 + 175. Is 60 a factor of (t/(-2) + 5)/((-2)/(-144))?
True
Suppose -16*y + 6912 + 3728 = 0. Is 13 a factor of y?
False
Let h(n) = 0*n - 2*n**2 - 18 + 20*n + 4. Let r(w) = w**2 + w - 1. Let j(t) = h(t) + 4*r(t). Is j(-14) a multiple of 19?
True
Let p(l) = 0*l - 8 + 0 - 7 + 5*l + l**2. Suppose -d + 4*d + 24 = 0. Is 5 a factor of p(d)?
False
Let j(f) be the first derivative of 11*f**3/3 + 15*f**2/2 + 15*f - 36. Is 21 a factor of j(6)?
False
Let h be 2/((-9)/36*-8). Is 12 a factor of -2*h/((-1)/280)?
False
Let v(l) = l**2 - 8*l + 47. Let z = 957 + -974. Does 8 divide v(z)?
True
Let h(m) be the first derivative of -m**3/3 - 11*m**2/2 + 16*m - 4. Let n be h(-12). Suppose 0 = 5*o - n*z - 304, -z + 2*z = -1. Does 20 divide o?
True
Suppose -18*u + 22*u = 2932. Suppose -u = -w + p + 797, 0 = -5*w - 4*p + 7605. Does 25 divide w?
True
Suppose -8*s - 3*m = -5*s + 24, 5*s = 2*m - 47. Is 23 a factor of (69/s)/((-24)/72)?
True
Let z(p) = p**3 + p**2 - 9*p - 4. Suppose 0 = 2*u - 10 + 4. Let v be z(u). Is 19 a factor of 1/((-1)/5)*(-114)/v?
True
Let c(z) = z**2 + 10*z + 5. Let b = 36 - 45. Let h be c(b). Does 6 divide h/(-1 + (-1)/(-3))?
True
Let j