d + 12. Let j(w) = 2*w**2 + w - 9. Is 23 a factor of j(p)?
False
Suppose -3*c - 12*o + 11*o + 1117 = 0, 0 = -4*c - 4*o + 1500. Is 30 a factor of c?
False
Suppose 1064 = 9*h - 5*h. Is ((-3)/2*-4)/(57/h) a multiple of 22?
False
Let m be 2/10 - 24/20. Does 14 divide (-4)/(1*m/14)?
True
Let d(y) = y**2 + 7*y + 15. Let s be d(-6). Suppose -s*o - 324 = -12*o. Is o a multiple of 12?
True
Suppose 6*f + a - 1163 = 4*f, -4*a = -2*f + 1188. Is 73 a factor of f?
True
Let g(w) = -w**3 - 12*w**2 - 12*w + 5. Is 16 a factor of g(-11)?
True
Suppose 26 = -2*o + w + 3*w, -4*o + w - 52 = 0. Let i = 9 + o. Is 22 a factor of (-25)/(-2)*(i - -6)?
False
Let v be (-1)/6 + (-365)/(-30). Let t = -22 + v. Let o = 25 + t. Does 5 divide o?
True
Suppose 0 = 5*y + 143 - 4168. Is 23 a factor of (y/10)/(-2 - (-10)/4)?
True
Let b(s) = -s**3 + 4*s**2 - 2*s + 1. Let f be b(3). Suppose -f*y - 4*n = -704, -3*y - 3*n + 2*n + 518 = 0. Is y a multiple of 19?
True
Let i(b) = 2*b + 19. Let s be i(0). Suppose 2*l + 17 = -3*w, -l + 0*w - s = 5*w. Let v = 22 + l. Is v a multiple of 6?
True
Let p be ((-68)/(-3) + -2)*12/8. Is (-1)/(-4 - (-123)/p) a multiple of 14?
False
Suppose 0 = 5*n + 10, -5*n + 110 = -5*a + 430. Suppose 0 = -s - 6 + a. Does 28 divide s?
True
Let z = 7052 + -4430. Is 38 a factor of z?
True
Let w(q) = -4*q**2 - 70*q - 51. Does 2 divide w(-16)?
False
Let d = 169 + 429. Is d a multiple of 13?
True
Suppose -32*z + 3013 = -1435. Let b(i) = 54*i - 1. Let m be b(2). Suppose -m - z = -6*u. Is 17 a factor of u?
False
Let s(f) be the third derivative of -1/20*f**5 - 5/24*f**4 - 1/2*f**3 + 0*f + 0 + 1/120*f**6 + 8*f**2. Is s(6) a multiple of 25?
True
Is (-130696)/(-72) - 4/18 a multiple of 11?
True
Let z(y) = -3*y**3 + 4*y + 7 - 10*y**3 - y**2 - 4 + 7*y**3. Is 4 a factor of z(-2)?
False
Let f(t) = -t**3 - 9*t**2 - 10*t - 12. Let m be f(-8). Suppose 4*a - 2*a = -m. Let l(b) = -6*b**3 - b**2 + 4*b + 3. Is l(a) a multiple of 24?
False
Suppose -579 = -2*i - q + 366, -1925 = -4*i + 5*q. Is 19 a factor of i?
True
Suppose -6*d = -12*d + 2202. Does 10 divide d?
False
Let j(x) = 60*x**2 + 15*x + 36. Does 18 divide j(-4)?
True
Let p(o) = -2*o**2 + 12*o + 5. Let n be p(8). Let b = n - -55. Is b a multiple of 7?
True
Does 61 divide 10*(-2988)/(-45) + 7?
True
Let r(d) = d + 2. Let l be r(6). Let g = 7 - l. Is (-1 + (2 - 17))/g a multiple of 9?
False
Let c(t) = t**2 - t + 3. Suppose 3 = l, 0 = -5*n + 2*l + 3*l - 5. Suppose -3*d - 3*m = 39, 3*d = 2*d + 2*m + n. Does 25 divide c(d)?
True
Let q be (-2)/(0 + (-6)/15). Suppose 0 = -3*l - 4*s + 113, q*s - 10 = -0. Suppose 3*x = -2*v + l + 66, -3*x = -v + 55. Is v a multiple of 9?
False
Suppose -4408 = -0*z - 8*z. Is 36 a factor of z?
False
Suppose -4*j - 3*o + 19 = 0, 0*j = -2*j - o + 7. Let d be (46/j)/(7/(-7)). Is (-26)/(-65) - d/10 a multiple of 2?
False
Suppose -34468 = -10*d - 1408. Is 13 a factor of d?
False
Let w = -27 + 32. Suppose -6*r + w*r = -152. Let i = r + -77. Is i a multiple of 25?
True
Let k = 22 - 22. Suppose k = -13*x + 9*x - 576. Is (3/4)/((-2)/x) a multiple of 18?
True
Let a(k) = -k**3 - 11*k**2 + 22*k + 28. Let q be a(-13). Let l = q - 58. Does 2 divide l?
True
Let q = 1582 + -430. Is 64 a factor of q?
True
Let a be (2 - 2) + (-84)/(-3). Let z = a - 20. Does 8 divide z?
True
Suppose j = -5*v - 19, -j + v + 4 = -1. Let y be (0 + j)/(12/60). Suppose -y*r + 112 = -8. Is r a multiple of 9?
False
Let y be 20/2 - 26/(-26). Does 17 divide 1230/y - (-4)/22?
False
Suppose -s = -5*t + 1442, t + 0*s + s - 292 = 0. Is 17 a factor of t?
True
Let i(r) = 6*r - 5. Let g(s) = 9*s - 7. Let a(f) = 5*g(f) - 8*i(f). Is a(0) a multiple of 3?
False
Let h(a) be the third derivative of -a**6/120 - 7*a**5/60 - a**4/12 - a**3/3 + a**2. Suppose -5*r + 2 = -x, -10 = 5*x + r + 26. Is h(x) a multiple of 6?
True
Let v be 38/9 + -6*2/54. Suppose 2*b = 5*i - 0*i - 230, -184 = -v*i - 4*b. Is i a multiple of 16?
False
Suppose 147*v - 4974 = 141*v. Is 25 a factor of v?
False
Let v(w) = 21 + 3*w**3 + 9 + 4*w - 6*w**3 - 7*w**2 + 4*w**3. Is v(7) a multiple of 38?
False
Suppose -j - x + 35 = -77, 4*j - 466 = 5*x. Is 10 a factor of j?
False
Let o be -2 - (-9 + 4/1). Suppose 2*t - 2*q + 1 = o*q, 5*t - 41 = -2*q. Is 4 a factor of t?
False
Suppose -6 = 3*z - 21. Let p(o) = 15*o - 11. Is p(z) a multiple of 12?
False
Let z = -15 + 35. Suppose -2*l + 2 = z. Does 6 divide (l/(-18))/((-2)/(-56))?
False
Let t(c) = 11*c**2 + 31*c - 41. Let b(x) = 5*x**2 + 15*x - 20. Let d(q) = 13*b(q) - 6*t(q). Let p be d(6). Suppose p*w - 261 + 41 = 0. Is w a multiple of 22?
False
Suppose -2752 = -2*p + 4*a, -3*p + 5*a - 10*a = -4095. Suppose 0*m + 3*y = -5*m + p, -m + 292 = -3*y. Does 53 divide m?
False
Let c = -88 - -344. Suppose 3*t + c = -4*n, 0 = 5*t - 0*t + 2*n + 450. Let r = t - -135. Is r a multiple of 13?
False
Let n(i) = -i**2 + 10*i - 6. Let b be n(10). Let m = 1 + b. Does 7 divide ((-3)/6)/(m/220)?
False
Let t = 6164 - 3629. Is t a multiple of 65?
True
Let p(m) be the first derivative of -m**3/3 + 7*m**2 + 10*m + 8. Let u be p(15). Is 9/(-1)*(u - -2) a multiple of 27?
True
Let m(s) = -16*s**3 + 3*s + 2. Suppose 0 = -2*c + 4*c + 4*g + 6, c = -4*g - 5. Does 2 divide m(c)?
False
Is (14088/15)/4 - 20/25 a multiple of 26?
True
Let c(r) = -492*r**3 + 2*r**2 - 9*r - 11. Is c(-1) a multiple of 41?
True
Suppose -3*c - 5*c + 7104 = 0. Is c a multiple of 8?
True
Let o(z) = -2*z + 8*z - 39 + 7 - 32*z. Is o(-8) a multiple of 23?
False
Let t be (-9)/6*(1 + -5). Suppose 5*p - 3*a - 25 = 0, p + t*a - 4*a = 18. Is p even?
True
Suppose 0 = 2*s - 3*s + w + 310, 0 = 5*w + 20. Is s a multiple of 9?
True
Is 5/2*(307 + -3) a multiple of 76?
True
Suppose 8 = 59*k - 57*k. Let y be 539/35 - (-2)/(-5). Suppose -2*n + y = k*q - 17, -3*q + 4*n = -46. Is 5 a factor of q?
True
Suppose -f + 6 = -3*g + 4*f, g + 6 = 3*f. Suppose 3*p = p + g*l + 258, 20 = -5*l. Let n = -60 + p. Is 21 a factor of n?
True
Suppose 2 = 4*v + 2*i, v = -4*v + 5*i + 25. Suppose -2*o - 3*n = -223, v*n + 0 - 10 = 0. Is o a multiple of 21?
False
Suppose 0 = 4*i - 3*n - n - 32, 4*n = -5*i + 67. Suppose 4*a - 6 = 3*a. Let v = i + a. Is v a multiple of 17?
True
Suppose -3*t + 1058 = -2*r, -5*t + 1416 = -t - 4*r. Is t a multiple of 10?
True
Let x(c) = 14*c + 22. Let v(i) = -i. Let b(t) = 5*v(t) + x(t). Is b(7) a multiple of 17?
True
Is -6 - (-1391 - (28/7)/4) a multiple of 19?
False
Let r(i) = -3*i - 1. Let j be r(-2). Suppose -25 = -j*p, 0*n + 4*p + 148 = 2*n. Suppose n = 9*x - 6*x. Does 18 divide x?
False
Suppose 12*v - 14*v = -224. Is v a multiple of 7?
True
Suppose 5*v + 420 = -5*c, 4*c - 2*v = -0*v - 360. Is 10 a factor of (6*9)/((-66)/c)?
False
Let u(i) = -i**3 - 2*i**2 + 2*i - 2. Let f be u(-3). Does 4 divide 10*f - (-36)/(-9)?
False
Suppose 7*n - 60 = 2*n. Let o be (-300)/(-18)*n/(-10). Let h = o + 33. Is 13 a factor of h?
True
Let y be (-4)/(-26) - (-864)/(-39). Let k = y - -22. Suppose -2*i = 4*g - 212, 3*g + 5*i = -k*g + 166. Is 21 a factor of g?
False
Let p(o) = -5*o**3 - 20*o**2 - 82*o + 18. Does 15 divide p(-6)?
True
Let b(v) = -10*v + 637. Does 10 divide b(13)?
False
Let t = 1824 - 1554. Does 5 divide t?
True
Suppose -1569*l = -1571*l + 620. Is l a multiple of 7?
False
Let h be 1/(-1) + (-18)/(-6). Suppose -4*y + 0*s + 5*s = -305, y - h*s - 77 = 0. Is 14 a factor of y?
False
Let v be 0 - -1 - ((-30)/5)/6. Is 5 a factor of 4 + v/(-3)*-39?
True
Let c = 6 + -20. Let g = 10 - c. Is (1 - -1 - g)*-1 a multiple of 5?
False
Let b be 7/4 - 11/(-44). Let p be (7 + 0/(-2))*2. Let m = p - b. Does 12 divide m?
True
Let z be (-152)/40 - 1 - 8/(-10). Is 5 a factor of (-172)/(-17) - z/(-34)?
True
Let i(u) = -13*u**2 + 4*u + 2 + 7*u**2 - u**3 + 5*u**2. Is 8 a factor of i(-3)?
True
Let v be (-2 - -2)/(4/(-2)). Suppose v = -13*b + b + 144. Is 4 a factor of b?
True
Let v(c) = -15*c - 1. Let j(m) = -m**3 + 4*m**2 + 7*m - 11. Let s be j(5). Does 6 divide v(s)?
False
Let i = -1613 + 2437. Suppose -286 - i = -5*c. Is c a multiple of 13?
False
Let t(z) = -z. Let q(g) = -32*g - 12. Let a(l) = -q(l) + t(l). Is 37 a factor of a(2)?
True
Let o = 7300 - 4634. Is o a multiple of 30?
False
Suppose -3*i = -c + 1659, 3*c = -0*i + 3*i + 4959. Is c a multiple of 50?
True
Let q(n) = -n**3 - 5*n**2 + n + 8. Let i be q(-5). Suppose -i*p + 70 = g - 63, -g + 89 = 2*p. D