 - 7*k + 5. Let p be c(-5). Is (-260)/15*p/(-10) a multiple of 3?
False
Let n be (3/(-6))/((-11)/(-6) - 2). Suppose -x + 0*x + 730 = 2*z, -4*z - 2230 = -n*x. Does 18 divide x?
True
Let r(t) = -166*t - 1892. Is 90 a factor of r(-32)?
True
Let w(v) = 1 + 0 + 6 - 6*v**2 - 5*v - v**3. Is 13 a factor of w(-7)?
True
Let g be ((-46)/(-6) - 1)*-3. Let a = g - -63. Suppose -a = -z + 16. Does 6 divide z?
False
Let q(g) = -g**3 - g**2 - 13*g - 24. Let c be (-246)/54 + (-4)/(-72)*-8. Is q(c) a multiple of 64?
False
Let w be -3*(-1)/(-6) + 92/(-8). Let d(b) be the third derivative of b**6/120 + 13*b**5/60 + 11*b**4/24 + b**3/2 - b**2. Is 2 a factor of d(w)?
False
Suppose 5*l - 468*b - 11672 = -465*b, -4*l + 3*b + 9340 = 0. Does 4 divide l?
True
Let f = 409 + -407. Suppose 0 = 2*v - 2*d - 914, 967 = f*v - 5*d + 59. Is v a multiple of 27?
True
Let w be ((-18)/(-8))/((-76)/(-64) + -1). Suppose m + 1683 = w*m. Suppose 3*s = -m + 846. Is 21 a factor of s?
True
Let y(z) = -z**3 + 6*z**2 - z - 10. Let q be y(5). Does 15 divide (q/12*2)/((-67)/(-2613))?
False
Suppose 2*m = 5*d - 3, d + 4*d + 4*m = -21. Is (77/(-3) + d)/((-2)/21) a multiple of 14?
True
Let s = -41 - -32. Is 23 a factor of -1*1*2142/(-15 - s)?
False
Suppose f = -2, 2*f = 2*r - r + 6. Let h be (-76)/r + (-12)/(-30). Suppose -h*z = -750 + 110. Does 8 divide z?
True
Let l = 1076 - -7441. Is 122 a factor of l?
False
Suppose 348*d + 40170 = 353*d. Is d a multiple of 103?
True
Let b = 73 - 71. Let z(t) = -4*t - t**2 - t + 0*t + 8*t**b + 1. Does 3 divide z(2)?
False
Suppose 19*a = 16*a + 5*y + 25179, 0 = 4*y - 12. Does 17 divide a?
True
Suppose 61*r - 19073 = 38511. Does 4 divide r?
True
Let l(b) = -10*b - 121. Is l(-69) a multiple of 7?
False
Let v(k) = 4*k**2 - 10*k - 2. Let b(y) = -4*y**2 + 9*y + 1. Let p(h) = -5*b(h) - 4*v(h). Let g = 45 - 49. Is 29 a factor of p(g)?
True
Let p = 74 + 186. Does 12 divide (144/10)/(39/p)?
True
Suppose -2*q + 1 + 2 = 5*z, 5*q = z + 21. Let o be z/(-7) - 2596/(-154). Suppose o*i - 12*i = 480. Is 16 a factor of i?
True
Let y = -4404 + 6308. Is 68 a factor of y?
True
Let d = -511 - -511. Suppose d = 36*n - 40*n + 1572. Is n a multiple of 5?
False
Suppose 24*u + 3*w = 25*u - 779, -4*u + w + 3083 = 0. Is 7 a factor of u?
True
Let r be (-1)/(-2)*0/(-5) + 1488. Suppose u - 501 + 12 = -2*k, 3*u - k - r = 0. Suppose -10*a + u = a. Does 15 divide a?
True
Let y = -39 + 33. Let c be 8/(-6)*99/y + 2. Is 2 a factor of ((-4)/(-5))/(c/60)?
True
Let y = 252 - 140. Suppose y = -2*c + 4*c + 4*a, 2*c = 5*a + 103. Is 30 a factor of c?
False
Let n(o) = 10*o**2 + o - 1. Suppose 7*b - 7 - 105 = 0. Suppose 0 = 4*p - 20 + b. Is n(p) a multiple of 5?
True
Let n = -18 + 38. Let c(l) = l**3 - 21*l**2 + 26*l + 12. Is c(n) a multiple of 22?
True
Let r(f) = -8*f + 138 + 16*f - 98. Does 46 divide r(5)?
False
Let i be -15*(-2 - -3)/(-3). Suppose 4*n = -5*t + 6, 4 = 5*t + 2*n - 4. Suppose -i*a + 921 = -3*j, -4*a - 154 + 904 = t*j. Is a a multiple of 48?
False
Let s(y) = 10*y**3 + 3*y**2 - 15*y - 7. Let o be s(3). Is (-6 - 3/(-3)) + o a multiple of 15?
True
Let w(g) = g**2 + 46*g + 88. Let n be w(-44). Let v(s) = -44*s. Let b be v(-2). Suppose -10*t + 8*t + b = n. Does 22 divide t?
True
Let r(c) = -3*c + 57. Let a be r(18). Suppose a*g = -j + 3529, 6*j = 2*j + 4. Is 84 a factor of g?
True
Suppose -4*g + 359 = 4*n - 25, -3*g + 3 = 0. Suppose 4*k + 68 = -4*i, 5*i + 4*k + n = 9*k. Is -10 - -12 - (i - 0) a multiple of 7?
False
Let o = -71 + 77. Suppose -o*f = 87 - 687. Does 4 divide f?
True
Suppose 1192 = q - 4*r, 11*q + 5*r - 4894 = 7*q. Is q a multiple of 32?
True
Let m(d) = 4*d + 3. Let j(o) = o**2 + 4*o + 3. Let q(s) = 3*j(s) - 4*m(s). Let c be q(-3). Suppose -4*x = 4*z - c, x - z = -0*z + 15. Is x a multiple of 6?
True
Let i(x) = -2*x**3 + 3*x**2 + 4*x + 1. Let w be i(3). Is 9 a factor of (-16)/(-6)*(-231)/w?
False
Let g be ((-8)/(-14))/((-6)/(-126)). Suppose -4*j = 4*m - 1956, -g*m = -17*m - j + 2437. Is m a multiple of 25?
False
Suppose 0 = -5*z + 10, -5*a = -3*a + 2*z - 500. Suppose 0 = -l + 5*g + 99, a = 3*l + 2*g - 100. Suppose -2*u - 34 = p - l, 3*u - 123 = -3*p. Does 10 divide u?
False
Suppose -4 + 8 = 4*z, -l + 4 = z. Suppose -5*c - x + 16 = -49, -l*c = 5*x - 39. Let y = c + 16. Is y a multiple of 17?
False
Let n = 14165 - -20013. Is 34 a factor of n?
False
Suppose 0 = -177*h + 173*h. Suppose -4*t = 5*o - 104, h = -6*t + 3*t + 3. Does 5 divide o?
True
Suppose 3*c + 586 = p, -p + 0*c = 2*c - 601. Suppose -5*x = -p + 45. Is x a multiple of 5?
True
Let b(i) be the third derivative of -i**4/12 + i**3 + 15*i**2. Let d be b(7). Let q = 28 - d. Is q a multiple of 11?
False
Let j(x) = -x**2 - 12*x - 10. Let r be j(-10). Let c be 2/r + (-10)/50. Suppose 0 = 4*h + 4*g - 80, c*h + g = 2*h - 40. Is 10 a factor of h?
True
Let k be (2/(-4))/(1/(-36)). Suppose 624*i = 611*i + 4108. Suppose 20*w - k*w - i = 0. Is 26 a factor of w?
False
Suppose 2*v + 18 = 4*n, -v = -5*n - 4*v - 5. Suppose 650 = -4*j + n*w, 2*j - w = 6*j + 635. Does 8 divide j*(-2 - 1 - 52/(-20))?
True
Let a(f) be the second derivative of -f**5/20 + f**4/2 - 7*f**3/6 + 5*f**2/2 + 6*f. Let u be a(5). Let r(p) = -p**3 - 4*p**2 + 2*p + 6. Does 6 divide r(u)?
False
Let d(q) = 16*q**2 - 11 - 4*q - 14 + q**3 - 12 + 9*q**2. Let h be d(-25). Suppose -6*a + 1719 = h. Does 23 divide a?
True
Is (-1467879)/(-51) + (-153)/(-2601) a multiple of 246?
True
Let a(w) be the third derivative of -31*w**4/24 - 8*w**3/3 - 11*w**2. Suppose -g - 6 = g. Does 24 divide a(g)?
False
Let s(w) = -2*w**3 + 63*w**2 - 66*w + 33. Does 11 divide s(20)?
False
Let s(w) = -163*w + 8684. Is 49 a factor of s(-5)?
False
Suppose -348*q + 285*q = -89019. Is q even?
False
Suppose -3*z = 12754 - 95113. Is z a multiple of 116?
False
Is (260239/(-147))/((-5)/15) even?
False
Suppose -4*i - 10 = n, 4*n + 0*i - 5*i - 44 = 0. Suppose 151 = n*l - 269. Is l a multiple of 7?
True
Let u = -3680 - -4961. Does 7 divide u?
True
Suppose y = -t + 87, -t + 5*y + 115 = 10. Suppose 0 = 10*f - 13*f + t. Does 6 divide f?
True
Suppose 0 = -3*i - 3, 4*c = -0*c - i + 7. Suppose -c*p = -4*f - 72, -5*p + 340 = 4*f + 90. Let k = p - 10. Is k a multiple of 9?
True
Let z be 11 + -10 - (-1 + -2). Suppose -z*k = -0*k + 4*t + 12, -14 = 3*k + 2*t. Is 14 a factor of (21/(-2))/(3/k)?
True
Let r be -1 + 4 + 2 + -7. Let i be (-1 + -55)/(-1 - r). Let u = i + 70. Does 14 divide u?
True
Let d(l) be the first derivative of 7*l**3/3 + 43*l**2/2 - 17*l + 158. Is d(-10) a multiple of 4?
False
Let w be (-2 - -9) + -1 + 2 + -2. Suppose 10*p = w*p. Suppose 4*k + 2*d - 400 = 0, p = 2*k - d - 268 + 72. Does 11 divide k?
True
Let f(x) = 19*x**2 - 77*x + 12. Let y be f(14). Suppose 44*u = 38*u + y. Does 17 divide u?
False
Suppose -q + 12556 = 5*u, 0*u + q + 7540 = 3*u. Does 8 divide u?
True
Suppose -190013 = -81*j - 69323. Is j a multiple of 6?
False
Does 49 divide 196*2/(-2 + 2 + 16/364)?
True
Let y(b) = 180 + 3*b**2 + 45*b - 51*b - 4*b**2 + 2*b**2. Is 27 a factor of y(0)?
False
Let z(y) = 195*y + 702. Let o(d) = -7*d - 25. Let m(w) = 169*o(w) + 6*z(w). Is m(-6) a multiple of 15?
False
Suppose -5*j + 16*z - 10*z = -55054, 0 = 2*z + 8. Does 123 divide j?
False
Let r(p) = 3*p + 4841. Does 4 divide r(131)?
False
Let g = 448 + -476. Is (32/2)/(g/(-2170)) a multiple of 69?
False
Let t(v) = 2*v**2 - 24*v + 40. Let s be t(10). Suppose s = 7*h - 51 + 114. Is 7 a factor of h/(-6)*(3 + (13 - 2))?
True
Let m(f) = -f**2 - 10*f - 22. Let p be m(-15). Is -4 + 4 - -3 - (-4 + p) a multiple of 14?
False
Let x(b) = 27*b**2 + 45*b - 80. Does 10 divide x(9)?
False
Does 11 divide ((-3725)/(-20))/((-25)/(-940))?
False
Let y(q) be the first derivative of -q**3/3 - 27*q**2/2 - 10*q + 59. Let a be (-99)/5 + (-1)/5. Is y(a) a multiple of 10?
True
Suppose -3*g + g - 85 = -3*l, 4*l + 4*g - 140 = 0. Let v = 34 - l. Suppose w - r + 137 = v*w, 3*r + 359 = 5*w. Is 9 a factor of w?
False
Let k = -37617 + 59367. Is 67 a factor of k?
False
Let n(o) = -155*o + 3969. Does 11 divide n(-181)?
False
Suppose 1782*t + 569430 = 1839*t. Is 54 a factor of t?
True
Let s(j) be the first derivative of -7*j**5/120 - 5*j**4/8 + j**3/3 - 2. Let r(x) be the third derivative of s(x). Does 5 divide r(-5)?
True
Suppose -m - 1025 + 4701 = p, -3*m = 2*p - 11033. Is m a multiple of 29?
False