w + 29. Let b be v(-18). Suppose n - 4*d - 8 = b, -3*d + 637 = 5*n. Does 17 divide n?
False
Let z(r) = r**3 + 5*r**2 - r - 1. Let c be z(-5). Suppose -2*t + 84 = c*k, 0 = 3*t - 0*k - 4*k - 166. Is 10 a factor of t?
True
Let t be (-1)/(-5) + (-590)/(-50). Suppose 2*s = t - 6. Suppose -s*v = v - 60. Is 5 a factor of v?
True
Suppose -66 = 2*q - 70. Is 35 a factor of ((-2)/(-6)*q)/(6/1314)?
False
Suppose 10*x + 4 = -6. Let v = 9 - x. Is 2 a factor of v?
True
Suppose -121*g = 97 + 24. Suppose -4*u = 2*f - 14, 5*f + 0*u - 4*u + 35 = 0. Is (2 - g)*(-20)/f a multiple of 4?
True
Suppose m + 460 = 5*v + 146, 0 = -4*v - 4*m + 232. Is v a multiple of 13?
False
Suppose -80 = 8*l - 13*l. Suppose -2*f + l = -44. Is 6 a factor of f?
True
Let q(o) = -2*o**3 - o**2 - o + 2. Let i be -1 - (4 - (-2 + 5)). Is 4 a factor of q(i)?
True
Suppose h - 7*n + 3*n = -97, 5*n + 610 = -5*h. Is 9 a factor of h/(-5) - 12/30?
False
Let z = 2285 - 1235. Is 14 a factor of z?
True
Let p = -16 + 31. Let x = 63 - p. Is 27 a factor of x?
False
Is (12/1)/(6*8/288) a multiple of 7?
False
Suppose 42 + 6 = 3*y + 3*z, -6 = -2*z. Let c = y + -8. Suppose c*a - 19 - 66 = 0. Is a a multiple of 17?
True
Suppose 140*y - 4236 = 128*y. Is y a multiple of 21?
False
Let l be 5 - 22/(-11)*3/(-2). Let u = 137 - l. Is 38 a factor of u?
False
Let h(d) be the third derivative of d**6/120 + 7*d**5/60 - d**4/8 - d**3/3 + 15*d**2. Is h(-7) a multiple of 19?
True
Let p = 736 - 136. Is p a multiple of 25?
True
Let r be -2 - (-4 - -1)/3. Let q(o) = 70*o**2 - 2*o - 1. Is 23 a factor of q(r)?
False
Let w be 16/6*18/24. Suppose w*a - 4*c - 48 = 0, -3*a + 5*c = -4*a + 24. Is a a multiple of 24?
True
Let b be 1 - 0 - 5 - 19/19. Let m(i) be the second derivative of -i**3 - 17*i**2/2 + i. Is 13 a factor of m(b)?
True
Let s = 327 + -317. Let d = 139 + -239. Is 20 a factor of ((-24)/s)/(8/d)?
False
Let s(m) = -745*m - 5. Is s(-1) a multiple of 74?
True
Let t(n) = 137*n + 9. Let s be t(3). Suppose -5*l = 2*l - s. Is 11 a factor of l?
False
Let g be 422/(-5) - (132/20 - 7). Let s = g + 161. Is 11 a factor of s?
True
Suppose 0 = 5*r - 5*t - 12425, 2*t - 3*t = 2*r - 4985. Does 83 divide r?
True
Let u = 36 - 35. Let b(r) = 28*r**2 + 2*r - 1. Is b(u) a multiple of 17?
False
Let b = -48 - -64. Does 8 divide b?
True
Suppose 5*o = -3*n + 33, -2*n = 2*o + n - 15. Suppose -o*t + 88 = -188. Is t a multiple of 23?
True
Let c be 9/12 + 213/(-12). Let t = c + 17. Suppose -b + 5*x - 64 = -4*b, -x - 1 = t. Does 7 divide b?
False
Suppose 4*m - 2*x + 5*x + 20 = 0, -2*m - 2*x = 12. Let o be m - (13*8)/1. Let k = -35 - o. Is 16 a factor of k?
False
Let d(p) = -1010*p**3 - 3*p**2 + 7*p + 10. Does 9 divide d(-1)?
False
Let g = 126 - 126. Suppose 13*a - 2094 - 2456 = g. Does 13 divide a?
False
Suppose -2*u + 3430 = -4*d + 7*d, 5*d - 4*u - 5724 = 0. Is d a multiple of 11?
True
Suppose -25 + 9 = -2*x. Suppose -9*f + 59 = 23. Is 2*(20 - (x - f)) a multiple of 16?
True
Let d(v) = -17*v - 9. Let w(r) = 34*r + 19. Let f(m) = 13*d(m) + 6*w(m). Suppose 0 = 2*y + 5*q - 18, 0 = -2*y - q + 11 - 9. Does 9 divide f(y)?
False
Suppose 16*f - 4327 - 6265 = 0. Does 61 divide f?
False
Suppose -10815 - 813 = -38*d. Is 102 a factor of d?
True
Let n = 32 - 27. Suppose -2*l - 5*r + 45 = 0, -2*l + 3*r + n = -0*l. Does 10 divide l?
True
Let r(q) = -137*q + 69. Does 13 divide r(-5)?
True
Let a = -3812 - -5869. Does 25 divide a?
False
Let z(t) = 0 - 3 - 5 + 7 - 5*t. Does 4 divide z(-4)?
False
Suppose -3*p = -8*p - 45. Let b be (-15)/p + 1/3. Does 7 divide (-1)/(-2) - (-41)/b?
True
Let f(j) = -j**2 + 12*j - 9. Let m be f(19). Let x = m - -306. Does 41 divide x?
True
Let s be (2/(-4) + 1)*(-7 - -15). Suppose s*p = 2*m - 10 - 6, 10 = m - 4*p. Is 2 a factor of m?
True
Let t(u) = 15*u**2 - 29*u + 124. Does 6 divide t(5)?
True
Suppose 15*v + 25296 = 46*v. Is 24 a factor of v?
True
Let s = -80 - -80. Suppose 3*t - 128 = -4*n, -t - 3*n = -s*t - 41. Does 12 divide t?
False
Suppose -4*c + 16 = -4*g, -2*c - 6 - 2 = 2*g. Suppose 3*n - 287 - 82 = c. Is 41 a factor of n?
True
Suppose 0*w - 52 = 4*w. Let y(j) = 11 - 4*j + 2*j - 8 - 20 - 1. Is 5 a factor of y(w)?
False
Is (-1683)/(-12)*(-4 + (-120)/(-18)) a multiple of 11?
True
Let d be (-2 - 12/(-8))*2. Let o = 3 + d. Suppose -2*u + 76 = o*u. Is 8 a factor of u?
False
Let l = 34 - 99. Let f be (-10)/(-2)*970/50. Let u = l + f. Is 14 a factor of u?
False
Suppose 864 = 4*o - o. Is 58 a factor of o?
False
Suppose 5*a - 3*a = -u + 16, 45 = 5*a + 5*u. Is 19 a factor of 1*(35 + a + -4)?
True
Let t = -18 + 78. Let h = t + -85. Is (-24)/10*h/10 a multiple of 3?
True
Let d(n) = -5*n. Suppose -t - 5 = -4*k + 2*t, k + 7 = -2*t. Let g be d(k). Suppose -3*w + 2*j + 26 = j, -g*w = -3*j - 42. Is 7 a factor of w?
False
Let c(t) = -t**3 + 2*t**2 + 3*t + 505. Is c(0) a multiple of 28?
False
Let n(q) = -27*q + 127. Is 22 a factor of n(-6)?
False
Let c be -3 + 2 + 0 + (-26)/(-2). Is 56 a factor of -2 - 30/c*94/(-1)?
False
Suppose -2*n + f + 504 = -0*n, 769 = 3*n + 5*f. Is n a multiple of 23?
True
Suppose 2*k - 6*k = -20. Suppose 2*x - h - 33 - 49 = 0, -k*x + 2*h = -204. Is 10 a factor of x?
True
Suppose 0 = -43*d - 13*d + 6160. Does 22 divide d?
True
Let m = 17 - 40. Let d = -12 - m. Is 4 a factor of d?
False
Suppose -2*d + 2*k = -2230, -3355 = -3*d - 3*k + 4*k. Is 112 a factor of d?
True
Let v = -3 + 5. Let i(a) = -a**v - 2*a - 2*a**3 - 2*a**2 - 2*a**2. Does 5 divide i(-3)?
True
Suppose -4*g = 26 - 6. Let j(h) = h + 10. Let y be j(g). Suppose -4*d = y*w - w - 116, w = -3*d + 23. Does 21 divide w?
False
Suppose 2*c - 1606 = -z + 223, 5*z - c - 9101 = 0. Is 20 a factor of z?
False
Let g be 6/(-15) - 7485/(-25). Suppose -2*b = -g + 77. Is 18 a factor of b?
False
Let b(n) = 23*n + 5. Let d(a) = -23*a - 5. Let k(m) = 5*b(m) + 4*d(m). Is k(3) a multiple of 14?
False
Let l(c) = 7*c**2 - 4*c - 3. Let r(v) be the third derivative of v**4/24 - 3*v**3/2 + 4*v**2. Let x be r(6). Does 24 divide l(x)?
True
Let o(n) = -n + 18. Let s be o(8). Suppose 0*i - s*i + 990 = 0. Is 11 a factor of i?
True
Let u(v) = 53*v**2 + v + 4. Let n be u(-2). Suppose -4*f - 54 = -n. Is f a multiple of 12?
False
Let s = 14 - 12. Suppose -4 = i + s*j, -18 = -4*i + 4*j + 2. Is (14 + -10)/(i/23) a multiple of 12?
False
Let i(a) = -2*a**3 + 2*a**2 - a + 3. Let z be i(3). Let c = z + 42. Suppose -c*v + 10 = -v. Is v even?
True
Let k = 2130 - 1260. Is 13 a factor of k?
False
Let x(c) = -2*c**3 + 13*c**2 + 5*c + 9. Let a be x(7). Let g(w) = -w**2 - 23*w - 7. Is 32 a factor of g(a)?
False
Let l(y) = -52*y - 32. Is 19 a factor of l(-5)?
True
Suppose -42 = -5*a - 2*c, -a - 33 = -5*a - c. Let n be ((-258)/a)/(3/96). Is 12 a factor of (4/6)/((-16)/n)?
False
Let j(g) = g**2 + 7*g + 10. Let f be (0/(-1 + -2))/1. Suppose f = -2*d + 5*d - 4*i + 44, -5*d - 50 = 5*i. Is j(d) a multiple of 18?
False
Suppose 0 = y - 2. Let b(d) = 2*d**2 - 2*d - 19. Let a be b(-3). Suppose y*r - a*r = -42. Is 14 a factor of r?
True
Let w be 0*(2/(-4))/(-1). Suppose w = -22*h + 20*h + 20. Does 9 divide h?
False
Let m = 26 - 16. Let z(f) = 6*f + 23. Let n(l) = -3*l - 12. Let q(h) = 7*n(h) + 4*z(h). Does 11 divide q(m)?
False
Suppose -3*i - 4*w + 38 = -11, 4*i + 5*w = 64. Suppose 206 = i*k - 14. Is 10 a factor of k?
True
Let d(m) = 2*m**2 + 13*m + 24. Let k be d(-4). Let a(w) = w**2 - 5*w + 31. Does 27 divide a(k)?
True
Let p be 67 + (-2 + 4)*24/16. Is 18 a factor of 4494/p - (-1)/(-5)?
False
Let u(l) be the second derivative of l**4/12 - 2*l**3 - 2*l**2 + 2*l. Let q be u(-10). Suppose 124 = 4*v + 2*h, -h = 5*v + 58 - q. Is v a multiple of 18?
False
Let w = 22 - 0. Suppose 2*n + 12 - w = 0. Does 2 divide n?
False
Suppose 24 = -4*w - 0. Is 4 a factor of 2*w/4 - -26 - 0?
False
Let l = -48 + 23. Let o = l + 17. Let p(f) = -12*f - 5. Does 16 divide p(o)?
False
Let w(k) = -11*k**2 - 29*k + 8. Let c(l) = -4*l**2 - 10*l + 3. Let v(y) = 8*c(y) - 3*w(y). Does 12 divide v(-12)?
True
Suppose 4*n = -2*i - 0*n - 168, 4*i + 306 = 2*n. Let g = 115 + i. Is g a multiple of 14?
False
Let o(q) = q - 1. Let l(b) = -3*b**2 - 3*b + 2. Let j(u) = -l(u) + 3*o(u). Does 20 divide j(5)?
True
Suppose 106*r - 1272 = 104*r. Does 19 divide r?
False
Let m = 4 - 4. Suppose -x + 3*x - 104 = m. Suppose -238 = -5*t + x. Is 16 a factor of t?
False
Let q = 55