45, 2*d = 4*o - 14. Let t(g) = -2*g**3 - 29*g**2 + 7*g - 19. Is t(d) a multiple of 5?
False
Suppose c + q + 17 = 0, 5*q - 4*q = -5*c - 93. Let v = c - -24. Suppose -2*y + 19 = 3*o, 3*o + o - 58 = -v*y. Does 3 divide y?
False
Suppose 3*l + 16 = -4*c, 0*l = 4*l - c + 53. Let d = -15 + l. Is 48/(-3 + d/(-6)) a multiple of 11?
False
Suppose 0 = 2*s - 4*v - 484, -10*s + 5*s + 1175 = -3*v. Is s a multiple of 58?
True
Let v(h) = h**2 + h - 4. Let z be v(-3). Let b = 4 - -31. Suppose -z*f + b = -29. Is 8 a factor of f?
True
Let s = 622 + -523. Is s a multiple of 3?
True
Suppose 0 = -0*m - 2*m + 4. Suppose -m*j + 8*j - 900 = 0. Is j a multiple of 30?
True
Let s(y) = y**2 - 13*y - 8. Let q be s(14). Suppose q*o + 1859 = 17*o. Is 13 a factor of o?
True
Let v be ((-20)/(-8) - 1)*2. Suppose -192 = -2*u - 4*p, u - v*p - 96 = -2*p. Is u a multiple of 12?
True
Suppose -l - 5*z + 415 = 4*l, 4 = -4*z. Suppose -444 = -39*w + 2*w. Suppose 0 = p - 4*n - 8 - l, 0 = 3*n + w. Does 19 divide p?
True
Let i = 0 + 3. Suppose -2*j - i = -3*j. Suppose -j*n = 23 - 101. Is 26 a factor of n?
True
Let g(p) = p**3 + 20*p**2 - 35*p - 4. Is g(-20) a multiple of 60?
False
Suppose -3*s - 6946 = -5*h, -41*h + 36*h + 5*s + 6940 = 0. Is h a multiple of 11?
False
Suppose -3*s - 2*s + 15 = 0. Suppose -s*z = -0*z. Suppose -p + 116 = 4*a + 3*p, -4*a - 3*p + 118 = z. Is 10 a factor of a?
False
Let v be 8 - (3 - (2 + -2)). Suppose -5*k - v*q = 10, 4*q + 9 = 3*k + 2*q. Is (k - -25)/(6/9) a multiple of 7?
False
Let p(d) = 4*d**2 - 21*d + 12. Is p(16) a multiple of 14?
True
Is 26 a factor of 4/6 - (-17)/(-3) - -536?
False
Let s = -182 - -272. Is s a multiple of 18?
True
Does 15 divide 2/5*(-6 + 12)*1225?
True
Let o(y) = y**3 - 29*y**2 + 5*y - 106. Is o(29) a multiple of 8?
False
Let j(i) = -i**3 - i**2 + 7*i + 6. Suppose -3*p + 3 = -2*p. Suppose 2*u - 17 = 5*c + p*u, c = u - 7. Is j(c) a multiple of 26?
True
Is 7 a factor of (-39 - 109)*(38/8)/(-1)?
False
Let b = -223 + 418. Is 39 a factor of b?
True
Let j be (-70)/(-16)*34 - (-1)/4. Let r = j - 29. Does 12 divide r?
True
Suppose 3*n - 1 = -4. Let s = 2 - n. Suppose 4*z + 3*w = 215, 3*z - 2*w + s*w - 155 = 0. Does 10 divide z?
True
Let f = -725 + 1561. Is 19 a factor of f?
True
Suppose -2*v + 190 = -4*g, 140 = -3*g - v + 5*v. Let s = g - -78. Is 22 a factor of s?
False
Let z(o) = o**3 - 4*o**2 - 12*o + 4. Let w be z(6). Suppose w*v - 12 = 396. Is 17 a factor of v?
True
Suppose 0 = -7*g + 19 + 9. Suppose 4*u = g*d + 20, -2*u + 8 = 2*d - 3*d. Does 16 divide (-792)/(-16) - (-3)/d?
True
Suppose -12*r + 10*r = 0. Suppose 3*w - 329 + r = -v, 2*v = -3*w + 325. Is 21 a factor of w?
False
Is 1*-4 + 6 + 166 a multiple of 7?
True
Let p = -529 - -852. Suppose -4*d - 217 = -2*h - 3*d, -p = -3*h + d. Does 29 divide h?
False
Let f(n) be the first derivative of 2*n**3/3 - 12*n**2 + 4*n + 3. Is 12 a factor of f(16)?
True
Let u be -2 + (-1 + 6 - 3). Suppose u = 5*r - 149 - 291. Does 23 divide r?
False
Let s(k) = 11*k**2 + 35*k + 170. Does 18 divide s(-5)?
True
Let h(g) be the second derivative of 0 + 2/3*g**3 - 9*g**2 + 6*g. Is 14 a factor of h(8)?
True
Suppose -c + 1498 = 5*k - 1132, -2645 = -5*k + 2*c. Is k a multiple of 31?
True
Let r = 41 + -37. Suppose -182 = -2*t - 5*c, -2*t - r*c + 108 = -70. Is t a multiple of 9?
True
Let s(i) = i + 17. Let h be s(-14). Suppose 394 = h*u - c, -3*c = -5*u + 2*c + 660. Does 27 divide u?
False
Let w(j) = -j**3 + 32*j**2 - 8*j + 26. Is w(9) a multiple of 79?
True
Let s = 209 + -25. Does 8 divide s?
True
Let i = -37 - -31. Is 17 a factor of 9/(-6)*376/i?
False
Does 14 divide -3 + 2*-129*-2?
False
Let b(w) = w**2 - 2*w + 7. Does 5 divide b(-11)?
True
Let b(h) = -5*h**3 - 7*h**2 - 3*h + 2. Let c be b(-5). Suppose 0 = -4*z - 163 + c. Does 14 divide z?
False
Let y be 0 + (1 - 10*-2). Let v be 4/(-3)*y/(-28). Is 36*v/((-4)/(-2)) a multiple of 6?
True
Let m = -894 - -969. Does 8 divide m?
False
Suppose -4*y = -7*y + 6. Let l be (4 - y - 2)*-1. Suppose 6 = f - l*f. Is 3 a factor of f?
True
Suppose 73 = 3*s - 2. Suppose m - 4*d + 2*d = -7, 5*m = -2*d + s. Suppose 0 = -m*n + 74 + 76. Does 10 divide n?
True
Let v be 1/(-3*(-2)/24). Let u(n) = 0*n**3 + 0*n**3 - 16*n - 15*n**2 - v*n**3 + 3*n**3 - 21. Is u(-14) a multiple of 3?
False
Let a(v) = 34*v**3 + 12*v**2 - 10*v - 3. Does 3 divide a(3)?
True
Let a = -100 + 250. Does 50 divide a?
True
Suppose 0 = -3*h - 574 + 2038. Does 3 divide h?
False
Suppose -1162 = -33*p + 19*p. Does 14 divide p?
False
Let s be (-1 + 7)*(-3)/(-9). Suppose -s + 10 = 2*y. Suppose -y*j + 228 = -0*j. Is j a multiple of 20?
False
Let m(y) = 4*y**3 + 4*y - 4. Is 18 a factor of m(2)?
True
Suppose 2*b = -2 + 4. Suppose 0 = 2*t + 4, -b + 7 = -5*n - 3*t. Suppose n = -4*y + 3*y - 3*o + 57, 2*y - 108 = -4*o. Is 12 a factor of y?
True
Let v(h) = -h**3 + 18*h**2 + 12*h + 2. Suppose 4*q + f = 71, 0*f = -4*q - 3*f + 69. Does 32 divide v(q)?
False
Suppose -4*m = -m + 5*v + 5, m = -v + 1. Suppose 0 = -9*d + 4*d, -4*d + 100 = m*z. Is z a multiple of 5?
True
Let d(g) = g + 7. Let w be d(5). Let o(r) = 2*r - 8. Let h(k) = 2*k - 7. Let m(v) = 6*h(v) - 4*o(v). Does 16 divide m(w)?
False
Let h = -115 + 237. Is 13 a factor of h?
False
Suppose -2*z = -4, -60 = n - 5*n + 2*z. Suppose n = -h + 4. Let b(m) = -m**2 - 12*m + 16. Is 16 a factor of b(h)?
True
Suppose -17*v - 16 = -19*v. Let s(u) = u**3 - 8*u**2 - u + 15. Is s(v) a multiple of 3?
False
Let c(k) = 6*k + 243. Does 87 divide c(-26)?
True
Suppose -2*q = 3*h - 28, -2*h + 5*h + q - 29 = 0. Let k = h - 4. Is 18 a factor of (96/40)/(k/220)?
False
Does 51 divide (-13 - -1)*(-810)/24?
False
Suppose 2*l + 5*b = -0*l + 145, 0 = -l + 4*b + 79. Is 5 a factor of l?
True
Let z(i) = 4*i**3 + 12 + 10*i**2 - 2*i**2 - 9*i + 0*i**3 + i. Let n(b) = -9*b**3 - 16*b**2 + 17*b - 25. Let w(s) = -3*n(s) - 7*z(s). Is 6 a factor of w(-9)?
False
Let d be 1363/13 + -2 - 2/(-13). Let r = 215 - d. Does 20 divide r?
False
Let k be ((-2058)/15)/(-7) - (-2)/5. Suppose 21*h = k*h + 207. Is h a multiple of 33?
False
Suppose -49 = z - 3*j - 166, -2*j + 482 = 4*z. Is 4 a factor of z?
True
Suppose 3*f - 21 - 21 = 0. Let c be (-22)/((f/(-4))/7). Suppose -14*v - c = -15*v. Is v a multiple of 22?
True
Let c = -6 + 13. Let h(r) = -5*r + 18*r**2 - 19*r**2 + 17*r - c. Is 8 a factor of h(7)?
False
Suppose -4*p + 3*u = -2605, 2*p - 985 = -3*u + 322. Does 24 divide p?
False
Suppose -j + 0*j = -21. Is 3 a factor of 111/j + (-8)/28?
False
Suppose -73*r + 2886 = -82524. Is 5 a factor of r?
True
Let s(q) = q**2 + 4*q - 3. Let t be s(-4). Is 6 a factor of (6/t)/(-2) - -17?
True
Let r(d) = 401*d - 175. Is 28 a factor of r(5)?
False
Let s(u) = -u**3 + 4*u**2 - 2*u + 8. Let y be s(4). Suppose y = -19*j + 14*j + 255. Is j a multiple of 17?
True
Suppose -r = -5*r - a + 3273, 5*r + 4*a = 4083. Does 21 divide r?
True
Suppose 16 = d - 2. Suppose 0 = 2*m + 4*l - d, -18 = -m - l - 5. Is 11 a factor of m?
False
Let w = 37 + -31. Suppose w*k - 175 = -k. Is k a multiple of 13?
False
Suppose -3*j + 160 = 2*b, 5*j - 3*b = 106 + 129. Let p = -99 + j. Let c = 7 - p. Is 10 a factor of c?
False
Suppose 4*s = -4*c + 249 + 135, -480 = -5*s - 4*c. Is s a multiple of 32?
True
Suppose 4*r + 9*f - 4*f - 5493 = 0, r - 2*f = 1383. Is r a multiple of 16?
False
Let u(x) be the third derivative of x**4/24 + 8*x**3/3 + 14*x**2. Let j be u(-13). Suppose -6*i + q = -2*i - 223, -j*i - 4*q = -191. Is 19 a factor of i?
True
Suppose 4*b + 30 = -b. Let n be (-2)/3 - b/9. Suppose 17 = 3*q - 2*d, n*q + 5*q + 4*d = 43. Is 5 a factor of q?
False
Suppose 0 = 4*t - 16, -2*c + t + 1908 + 1294 = 0. Does 28 divide c?
False
Let k(u) = -21*u**3 - 5*u**2 - u + 40. Does 15 divide k(-6)?
False
Let g(y) = -2661*y**3 - 18*y**2 - 18*y - 1. Is 19 a factor of g(-1)?
True
Let h(r) be the third derivative of -29*r**4/24 - r**3/2 - 10*r**2. Does 31 divide h(-3)?
False
Suppose 4*r = -r - 40. Let y = -8 - r. Suppose 0*d - 2*d + 42 = y. Does 7 divide d?
True
Suppose 4*i - 2692 = -260. Does 20 divide i?
False
Let v(c) = c - 15. Let g be v(12). Is 15 a factor of 284/11 - g/((-66)/(-4))?
False
Let a = 14 + -29. Let n = a - -59. Does 10 divide n?
False
Let i(w) = -6 - 36 - 33*w - w**2 - 3. Is 13 a factor of i(-27)?
True
Let l(d) = d**2 + 2*d + 1. Let z be l(-1). Suppose 2*s - 3*s + 33 = -4*u,