 - 36. Does 10 divide n(r)?
False
Let p(g) = 3*g + 6 - 29*g - 28*g + 94*g. Does 34 divide p(5)?
False
Let i(h) = 2*h + 140 - 10*h**2 + 17*h**2 + h**3 - 6*h**2. Is i(0) a multiple of 10?
True
Let h(s) = -10*s - s**3 - 7*s**2 + 2*s**2 + 2 + 0*s**2 - 3*s**2. Let o be h(-7). Let g = -14 + o. Is g a multiple of 4?
False
Let y = -2072 + 5816. Is 48 a factor of y?
True
Suppose -3*s + 5 = 2*s. Let h(f) = 44*f + 1. Does 15 divide h(s)?
True
Let u be 0/1*4/8. Suppose u = 4*v + 16, -4*v + 3 = -2*z - 1. Is (-118)/z - 2/(-10) a multiple of 6?
True
Is 10 a factor of (326/(-7) - 2)/((-10)/35)?
True
Let c be (16/20 + -2)/((-1)/(-5)). Is (-164)/6*9/c a multiple of 41?
True
Let z be (-11 + -1)*(-1)/2. Suppose z*c + 124 = 10*c. Does 4 divide c?
False
Suppose -3*g + f + 9 = 0, -4*g - 2*f - 2 = -4. Suppose -g*v - 8 = -v. Does 10 divide (v/10)/((-11)/385)?
False
Let o(p) = p**2 - 14*p + 18. Let w be o(14). Suppose -14*j + w*j = -128. Let t = -11 - j. Is t a multiple of 10?
False
Let g(d) = 87*d**2 - 58*d + 430. Is 12 a factor of g(6)?
False
Does 23 divide 210 + (6/4)/(-1)*2?
True
Suppose -f = -2*n - 6, 2*n + 2*n = -4*f + 12. Suppose 2 = f*d - 34. Is 28 a factor of (2*-15)/((-3)/d)?
False
Let v = -680 - -1336. Suppose 15*j - 23*j + v = 0. Is j a multiple of 7?
False
Suppose 21*k = 18*k + 897. Suppose 4*a = -0*c - c + k, 5*a - 3*c - 361 = 0. Is a a multiple of 9?
False
Suppose 5*b - 3*o - 2397 = 0, 2*o + 495 = b + 17. Is b a multiple of 15?
True
Suppose -307 = -9*r + 512. Is 7 a factor of r?
True
Let n(b) = b**3 + 12*b**2 + 14. Let m be n(-12). Let g = m - 10. Is ((-22)/g)/((-6)/24) a multiple of 11?
True
Let w(q) = q**3 + q**2 - q - 1. Let d(b) = 3*b**3 - 2*b**2 + 5*b - 1. Let o(n) = d(n) - 2*w(n). Is o(5) a multiple of 13?
False
Suppose -4*f + 12 = -f. Suppose h + 42 = 2*v - f*h, -2*v + 4*h = -40. Let g = 20 + v. Is 9 a factor of g?
True
Suppose 3*n = -19*h + 18*h + 149, -2 = 2*h. Let k be ((-3)/2)/(2/(-4)). Suppose -q - 175 = -k*i, -n = 3*i + 5*q - 255. Does 10 divide i?
True
Suppose c + q = 1, -3*q - 4 = 8. Let t be 2/(3/(-117)*-6). Suppose -j - 6 = -3*z, 3*z = -c*j + t + 11. Is 2 a factor of j?
False
Suppose -23 = 3*t - 5*k - 296, -3*t = -3*k - 273. Does 13 divide t?
True
Let v = 118 + -221. Let s = -97 - v. Does 5 divide s?
False
Is 10 a factor of (-159)/(-7) + 3 - (-2)/7?
False
Let b(g) = 6*g + 12*g + 37 + 2*g + 4. Does 23 divide b(6)?
True
Let a be (-1)/(2/(-82)) + -2. Let z = a + 10. Is z a multiple of 7?
True
Let b = 12 - 24. Let t = -12 - b. Suppose -2*r + t*r + 132 = 0. Does 22 divide r?
True
Suppose -5*h = 2113 - 8573. Let l = h - 920. Is 7 a factor of l/27 - 8/(-36)?
True
Let c(k) be the second derivative of -k**5/20 + 7*k**4/12 - k**3/3 + 11*k. Is c(5) a multiple of 20?
True
Suppose 3*m = 19 + 2. Suppose 0 = 61*s - 59*s - 8. Suppose -s = -c + m. Is 11 a factor of c?
True
Let r(a) be the first derivative of -a**5/60 - 2*a**4/3 - 3*a**3/2 - 3*a**2 - 1. Let d(y) be the second derivative of r(y). Does 9 divide d(-13)?
False
Suppose 3*s - 700 = -163. Is 13 a factor of s?
False
Suppose -k - 4 - 9 = -d, -d = -2*k - 28. Let x = k + 13. Is x*(0 + (-212)/8) a multiple of 21?
False
Suppose 639*p = 623*p + 1808. Is 9 a factor of p?
False
Let r(d) = 13*d**2 + 7*d**2 + d**3 + 6*d**2 + 1 - 38*d**2 + d. Is r(12) a multiple of 3?
False
Suppose 288 = -39*j + 42*j. Is j/1 - (-4)/6*-3 a multiple of 14?
False
Suppose -226*g = -242*g + 21328. Does 26 divide g?
False
Let z(l) = 2*l**2 + 3. Suppose -3*r = -4*o + o - 15, -13 = -3*r + 2*o. Let p be (-3 - (-3 + r))/1. Does 6 divide z(p)?
False
Let z be (2/(-16))/(1/(-4))*0. Suppose 96 = g - 5*y, z = 4*y - 2*y - 10. Does 11 divide g?
True
Suppose 0 = -5*q + 4*d + 2368, -949 = -2*q - 0*q + d. Suppose -77 = 3*y - q. Let l = -85 + y. Is l a multiple of 24?
True
Suppose -r - 8201 + 2980 = -5*o, 3*r = 3*o - 3123. Is 55 a factor of o?
True
Let y(o) = -o**3 + 16*o**2 + 60*o + 111. Is 3 a factor of y(19)?
True
Let n(m) = -18*m**3 - m**2 - 6*m - 2. Is 3 a factor of n(-2)?
True
Let b(p) = 421*p - 5. Let w(x) = -105*x + 1. Let m(s) = 2*b(s) + 9*w(s). Is 34 a factor of m(-1)?
True
Let s(m) = -4*m + 6*m + 17*m**2 + 10*m + m**3 - 10. Is s(-16) a multiple of 12?
False
Suppose 24*q = 29*q. Suppose -3*p = -3*h - 45, 2*p + 2*h - 3*h - 35 = q. Is p a multiple of 4?
True
Let a(p) = 24*p**2 + p + 1. Does 24 divide a(2)?
False
Let k(i) = -i**2 + 7*i + 4. Let v be k(7). Suppose 0 = -v*g - 0*g - 16. Is 1 - 1 - 32/g even?
True
Suppose 6*j = j + 45. Let x(u) = 2*u + 10. Let v be x(j). Suppose -d + v = d. Does 14 divide d?
True
Let j = -22 + 8. Let n = 16 + j. Suppose -10 - 70 = -n*m. Does 20 divide m?
True
Let y(c) = 55*c + 2*c**2 + c**2 - c**3 - 49*c - 5. Does 2 divide y(4)?
False
Let z be (-2 - -2) + 62 + 3. Let c = z - 53. Does 3 divide c?
True
Let h(o) = 1 - 4 + o + 4 + 5. Let t be h(-6). Suppose 0 = -3*c + 5*r + 79, t = 5*c - 3*r - 56 - 49. Is 5 a factor of c?
False
Suppose -u - 3*v = -36, 45 = 2*u + 2*v - 15. Is 2688/54 + 6/u a multiple of 8?
False
Is 104 a factor of -195*(256/(-24))/((-8)/(-12))?
True
Suppose w + 28 = 2*w. Let v = 43 - w. Is 5 a factor of v?
True
Let a = -63 + 223. Suppose -3*k + s = -s - a, -k + 68 = 3*s. Is 14 a factor of k?
True
Let d(p) = 3*p**3 + 2*p**2 - 4*p - 26. Does 2 divide d(5)?
False
Suppose -3*v + 2 = -g + 27, 4*g - 2*v = 60. Suppose -11*d - 28 = -g*d. Is 14 a factor of d?
True
Let l(c) = 2*c + 58. Let j be l(19). Let u = j - 53. Does 9 divide u?
False
Suppose -3*u + 681 + 194 = 2*n, 5*n = -u + 270. Does 32 divide u?
False
Let f(b) = -b**2 - b + 15. Let r(v) = -v**2 - 4*v - 4. Let l be r(-2). Does 2 divide f(l)?
False
Let w = 97 + -50. Let d be -1 + -23 + (-1 - -1). Let a = w + d. Does 13 divide a?
False
Suppose s - 4*s = -6. Suppose -s*r = r. Suppose -161 = -4*v - 3*z, -4*v + 3*z + 143 = -r*z. Is v a multiple of 16?
False
Let d(p) be the first derivative of -p**4/4 + 10*p**3/3 + 23*p**2/2 + 17. Does 33 divide d(11)?
True
Let t(v) = -v**3 - v - 1. Suppose -11*u = -10*u + 1. Let x(m) = -6*m**3 - 6*m**2 - 2*m - 10. Let h(g) = u*x(g) + 5*t(g). Does 27 divide h(-5)?
False
Suppose -4*s - 84 = -0*s. Suppose -2*x - 3*f = x - 102, 5*f = 4*x - 91. Let d = x + s. Does 3 divide d?
False
Suppose 30*q = 274 + 416. Is 13 a factor of q?
False
Suppose 757 = 28*i - 1707. Does 3 divide i?
False
Let s = 728 - 376. Does 11 divide s?
True
Suppose 2*t + 0*t - 608 = -4*c, -2*t + 304 = 2*c. Is c a multiple of 10?
False
Is 18 a factor of 99/6*304/6?
False
Suppose 6*j = -3*j - 612. Let k = 91 + j. Is k a multiple of 14?
False
Let s = 822 - 717. Does 3 divide s?
True
Let o be (6/4)/(9/1602). Let b = o - 159. Does 11 divide b?
False
Let p(k) = k**2 + 3*k - 5. Suppose -n + 44 = -5*n. Let s = n + 6. Is 5 a factor of p(s)?
True
Suppose 4*i + 0*i + 1132 = 0. Let l = -164 - i. Is l a multiple of 17?
True
Let s(q) = q**3 - 9*q**2 - 42. Does 13 divide s(12)?
True
Let l = -26 + 19. Let f(i) = -4*i - 19. Is 3 a factor of f(l)?
True
Let c(k) = 4*k**2 + 6*k - 10. Does 24 divide c(-7)?
True
Let y be 1*(-80)/12*(-8 - 1). Let x = 111 - y. Is x a multiple of 10?
False
Let m(r) be the second derivative of 0*r**3 + 0 + 1/4*r**4 - 2*r**2 + 2*r. Is m(-3) a multiple of 6?
False
Let q = -524 - -1205. Suppose 3*j = -0*j + q. Does 34 divide j?
False
Suppose -3*o = -622 - 830. Is 15 a factor of o?
False
Let z = -212 + 382. Does 17 divide z?
True
Let o = -23 - -27. Suppose o*w = -5*c + 134, 5*c - 23 = 2*w + 105. Is c a multiple of 6?
False
Suppose 270*u - 266*u - 5040 = 0. Is u a multiple of 28?
True
Let k = 679 + 158. Suppose -19*z = -10*z - k. Does 17 divide z?
False
Let i(f) = -4*f - 3. Let m be i(-2). Suppose 5*h = -m*h + 600. Does 6 divide h?
True
Suppose 23*y - 18*y = 2635. Is y a multiple of 21?
False
Does 25 divide (-12)/(-150) - (-59365)/125?
True
Let a(c) = -c**2 + 18*c - 2. Let y be a(19). Does 18 divide (-1140)/y - (-4)/(-14)?
True
Suppose -5*n + 4*g = -2730, -2*n + 1351 = g + 246. Does 50 divide n?
True
Let x = 14 + -12. Let s(q) = 14 - 10*q - q**2 + x*q - 5 - 6*q. Is 9 a factor of s(-14)?
True
Suppose -343 - 63 = 7*m. Let l = 2 - m. Does 15 divide l?
True
Is 14 a factor of 55032/24 - (4 - 1 - 4)?
False
Let m = -224 + 269. Is m a multiple of 9?
True
Is 27 a factor of (2 + -23)*(2 - 11)?
True
Suppose -43*s = -46*s + 837. Does 31 divide s?
True
Let o(n) =