c) = 12 - c**3 + 2*c + 2115*c**2 - 2108*c**2 - 15*c. Let p be h(5). Is p - -19*(-2 + 8) a multiple of 15?
False
Suppose 0 = 6*y - 4*y - 1034. Let c = y + -321. Suppose 2*l - 5*v = 172, -v + c = -2*l + 4*l. Does 12 divide l?
True
Let v(t) = -t**2 + 8*t + 4. Let s be v(6). Let b be 3/2*s/12. Suppose -3*w + 66 = -b*g + 297, 0 = 2*g - 4*w - 232. Does 23 divide g?
False
Suppose 0 = -a - 4*a - g + 481, 0 = -3*a + 4*g + 307. Let w = a - 75. Is w a multiple of 11?
True
Let n = 13752 + -9401. Is 19 a factor of n?
True
Let j be 10/(-6)*(-270)/225*47. Suppose g + 3*r - 133 = 0, -4*r - 271 = -4*g + 181. Suppose -6*a + g = j. Is 4 a factor of a?
True
Let f = 2616 + -2330. Is 143 a factor of f?
True
Is 2*95/(-20)*10276/(-14) a multiple of 71?
False
Let p(d) = 6*d + 102. Let x be ((-3)/(-4))/((-9)/(-84)). Is p(x) a multiple of 5?
False
Let f = 6275 - 2731. Does 55 divide f?
False
Suppose 3*z = -9, d = 3*z + 504 + 5680. Is 95 a factor of d?
True
Let r(j) = -17*j - 23*j - 12*j + 8*j + 75. Is r(-7) a multiple of 17?
False
Let k = 797 - 1364. Let t = -50 - k. Is t a multiple of 11?
True
Let y(q) = 25*q + 1782. Is 29 a factor of y(-19)?
False
Suppose 20 = -h + 19, -5*h = 3*w - 9928. Is w a multiple of 77?
True
Suppose -49 = -j + 2. Suppose 0 = 2*w - 47 - j. Suppose 3*o + w = 4*x, 4 - 3 = o. Is 3 a factor of x?
False
Let y(k) = -3*k + 834. Let a be y(0). Let r = a - 773. Is 37 a factor of r?
False
Does 108 divide 0 + 26130/11 + ((-1248)/132 - -10)?
True
Let u be 26/(-104) - (-34)/8. Suppose 7*s - 2607 = -u*s. Does 32 divide s?
False
Let b(z) = 925*z - 2855. Does 77 divide b(6)?
True
Let o(n) = -6*n - 48*n**2 - n + 65*n**2 + 3. Is o(3) a multiple of 59?
False
Let o(v) = -v**2 + 6*v + 4. Let s be o(5). Let w(d) = -d**2 + 10*d - 10. Let y be w(s). Let k(g) = -40*g**3 - 2*g**2 + 1. Is 13 a factor of k(y)?
True
Suppose -z - f = -1917, 4*z + 5*f - 9*f - 7660 = 0. Suppose -4*n + g - 284 = -1824, 5*n - z = -g. Is 48 a factor of n?
True
Suppose 0 = 2*r - 4 - 22. Suppose 543 = r*g - 757. Is g a multiple of 32?
False
Suppose -16 = t - 3*t. Let d be (t/(-3))/(4/(-6)). Suppose -3*c = -3*a - 91 - 17, d*c + a = 149. Is 29 a factor of c?
False
Let g(d) = -d**3 - 11*d**2 + 48*d - 12. Let b be g(-15). Is ((b/9)/4)/((-3)/(-54)) a multiple of 42?
True
Let c = -14985 + 19182. Does 52 divide c?
False
Suppose -24*i = -20*i - 2*o - 16754, i - 2*o - 4190 = 0. Is 49 a factor of i?
False
Let n(z) = -z**3 + 9*z**2 - 8*z - 20. Let y be n(10). Suppose 2*h - 684 = -2*i, 350 = h + i + 2*i. Let s = y + h. Is s a multiple of 26?
False
Suppose 0*s + 1693 = 2*s + 3*a, -2*s - 5*a = -1683. Does 61 divide s?
True
Let j(g) = g**3 - g**2 - 216*g + 41. Does 33 divide j(29)?
True
Let i be (-25)/5 + 3 - 43. Is 13 a factor of (-1)/5 - (-2973)/i*-3?
False
Let d be 6/3*(52 + -10). Let r = 142 - d. Is 2 a factor of r?
True
Let c be (-7)/(-28)*3 + 10/8. Suppose -c*i + 204 + 52 = 0. Is 8 a factor of i?
True
Let k = -262 + 454. Let l = 756 - k. Does 12 divide l?
True
Let y be (-124)/(-9) + (-6)/(-27). Let i be (-138)/(-1)*y/4. Suppose 8*c - i = c. Is c a multiple of 23?
True
Suppose 28 = 4*l + 16. Suppose 5*u - 124 - 124 = s, l*u = -2*s + 141. Is u even?
False
Let f(l) = -7422*l + 36. Is f(-2) a multiple of 40?
True
Suppose 73449*q = 73444*q + 140760. Does 8 divide q?
True
Let g(d) be the third derivative of -5*d**4/12 - 7*d**3 + 7*d**2. Let k be g(-5). Suppose 0 = -5*q - 20, -w - k + 36 = 3*q. Is w a multiple of 20?
True
Is 2398/9 + 340/(-765) a multiple of 32?
False
Let m(s) = -2*s**2 + 21*s + 5. Let g be (-1)/(-1) + 5 - 1. Suppose -c + 46 + 4 = g*x, 2*x + 3*c = 20. Is 5 a factor of m(x)?
True
Let f(z) = 1089*z**2 + 5*z + 40. Does 12 divide f(4)?
True
Let i = 1015 + -1544. Let u = i + 791. Suppose 5*m = -k + u, -5*m + 252 = -k - 3*k. Is m a multiple of 19?
False
Suppose -3*x + 5160 = -4*o, 4*x + 52*o - 6876 = 56*o. Is x a multiple of 27?
False
Suppose 3*z - 2659 = l + 3494, 4127 = 2*z - 9*l. Is 9 a factor of z?
False
Let y = 17606 + -7369. Is 29 a factor of y?
True
Suppose -4*p = -2*x - 46662, -11674 = -3*p + 2*x + 23326. Is p a multiple of 50?
False
Let i(a) = -3*a - 33. Let b(s) = -3*s - 36. Let n(h) = -6*b(h) + 5*i(h). Is 36 a factor of n(5)?
False
Suppose -5*z - 2*g = -8, g = -2*z - g + 2. Let k be z - 52/(-6)*3. Is (-9)/((-18)/k)*(0 - -1) a multiple of 3?
False
Let n = -196 - -192. Is (880/50)/(n/(-50)) a multiple of 19?
False
Suppose -269632 = -55*n + 226963. Does 145 divide n?
False
Let a(o) = o**2 - 29*o + 34. Let b be a(30). Is (b/5)/((120/550)/12) a multiple of 44?
True
Let x(g) = 5*g - 5. Let u(a) = 6*a - 5. Let c(f) = -3*u(f) + 2*x(f). Let t be c(-1). Suppose -5*s + 3*y = -183, s - 5*y = t + 28. Is 36 a factor of s?
True
Is 4 a factor of (-1 - (-385)/4)/((-1971)/(-21024))?
True
Let t be -1*24/(-18)*(-963)/6. Let n = t - -465. Is 6 a factor of n?
False
Let p(i) = 7*i - 8*i - 18 + 3 - 16*i. Let y(o) = -2*o**3 + 27*o**2 - 21*o + 97. Let a be y(13). Is 8 a factor of p(a)?
True
Is ((-273)/(-91))/((-1)/(-4416)) a multiple of 16?
True
Let m(q) = 1487*q + 350. Is m(5) a multiple of 5?
True
Let f(p) = -2*p**2 + 8*p - 1. Let a(b) = -b**2 - b + 1. Let j(v) = -2*a(v) - f(v). Let c be j(-7). Suppose -c = -4*n + 99. Is n a multiple of 12?
True
Suppose -358*h + 9977656 = 246*h - 117*h. Is 8 a factor of h?
True
Let h be -14*(-2235)/24 - 4/(-16). Suppose 11*t = 1963 + h. Does 6 divide t?
False
Let m(w) be the second derivative of w**4/12 - 17*w**3/6 - w**2/2 + 25*w. Let z be m(13). Let c = z + 230. Is c a multiple of 11?
False
Let o = 150 - 144. Suppose 230*x - 228*x - o = 0. Suppose 2*s - 477 = -5*v + x*s, v - 111 = -5*s. Does 4 divide v?
True
Let d = 2231 - -3745. Does 76 divide d?
False
Let h(l) = l**2 + 12*l + 21. Let q be h(-9). Let s(g) = -60*g + 4. Does 52 divide s(q)?
True
Suppose 113*t + 298617 = 70*t + 76*t. Does 10 divide t?
False
Let j(r) = r**3 + 5*r**2 + 4*r + 25. Let f be j(-5). Suppose 4*h + 5*x = 4*x + 3426, f*h - 4281 = -2*x. Is h a multiple of 66?
False
Let u(z) = 10*z**3 - 21*z**2 + 141*z + 57. Is u(12) a multiple of 11?
True
Let z(h) = 146*h**2 + 14*h - 89. Is 29 a factor of z(7)?
True
Suppose -6*m - 2*v = -2*m - 276, -2*m + 5*v + 126 = 0. Let s = m + -47. Suppose -18*f - 567 = -s*f. Is 21 a factor of f?
True
Let m(c) = 47*c**2 + 177*c - 1056. Is 3 a factor of m(6)?
True
Let d(h) = 52*h - 22 - 20*h - 27*h. Is 78 a factor of d(20)?
True
Let z be (-24)/(-72) - (16/(-6) + 0). Suppose 4*h - 2140 = -5*k + z*k, 5*h - 2675 = 5*k. Let g = 767 - h. Is g a multiple of 43?
False
Suppose 3*g = 10*g + 105. Let x be (g/(-6))/(3/6). Suppose 4*d - 42 = -2*k, 0 = -2*k + x*d + 2 + 4. Is 2 a factor of k?
False
Let i(x) = 621*x**3 - 2*x**2 + 2*x - 1. Let q be i(1). Suppose -22*k + q = -20*k. Does 10 divide k?
True
Let i(z) = z**3 - 12*z**2 - 12*z + 28. Let y be i(13). Let d = y + -41. Is (-1*(1 - d))/((-31)/93) a multiple of 2?
False
Let d be (-10)/(-9 + 4) - 13. Let v = 42 + d. Let q = 11 + v. Is q a multiple of 21?
True
Let b be 3/(2 + (-3)/1) + 9. Suppose 1305 = 3*r + b*r. Suppose s - r = -4*s - p, s + p = 25. Does 5 divide s?
True
Is (14/4 + -40 + 303)*10 a multiple of 7?
False
Let q = -1428 - -2126. Let m = q + -158. Is 45 a factor of m?
True
Let c = -8557 + 8555. Let i = -58 - -90. Let l = i + c. Is 6 a factor of l?
True
Suppose 2*n + 5*r = -11 - 7, 12 = -4*n + 2*r. Suppose 0 = -t - 3*j - 0*j + 6, -j = -2*t + 12. Does 12 divide 2 + 344/t + n/(-6)?
True
Suppose -3*z + 3*q = -4395, 18*q - 23*q = z - 1489. Is 107 a factor of z?
False
Suppose a + 3*u = -0*a + 19, 3*a + 8 = 4*u. Suppose -2*q - 2*k = -q - 210, 0 = a*q + 4*k - 852. Is q a multiple of 9?
True
Suppose -4 - 8 = -12*r. Is 7 a factor of 3773/28 + r/4?
False
Let r(v) = -13*v**2 + 3*v + 48. Let z(d) = -25*d**2 + 5*d + 95. Let m(p) = 11*r(p) - 6*z(p). Is m(-7) a multiple of 56?
True
Suppose -3*h + 11618 + 16052 = -5*y, -5*h = -5*y - 46090. Is h a multiple of 48?
False
Let l(f) = 5341*f + 2811. Is 29 a factor of l(3)?
False
Suppose -3*v + 94 = -5*m - 43, -5*v + 218 = 2*m. Let n(q) = -44 + 74 - 7*q - v. Is 3 a factor of n(-5)?
True
Let w(t) = -t - 7. Let g be -9 - (-30 - -5)/5. Let p(k) = k + 7. Let c(u) = g*w(u) - 3*p(u). Is 12 a factor of c(17)?
True
Suppose -365 = 7*i + 279. Let p = i - -121. Suppose 3*q + 22 = 6*u - 2*u, -p = -3*u - 4*q. Is 7 a factor