5*b - 10. Suppose -v = -4*l - 6*v + n, 5*l - 3*v - 126 = j. Is 7 a factor of l?
False
Does 13 divide (-16)/(-440)*-5 + 7726/22?
True
Let s(x) be the second derivative of 0 - 1/6*x**3 - 1/2*x**2 + 6*x + 67/12*x**4. Is s(-1) a multiple of 19?
False
Suppose -1340 = -532*u + 530*u. Does 136 divide u?
False
Let y(i) = 7*i - 50. Is y(30) a multiple of 11?
False
Is 20 a factor of -1 - ((-9)/(-3) + -564)?
True
Let i(x) be the first derivative of -3*x**4/4 + x**3 + x**2 - 2*x + 7. Let z be i(-2). Suppose z + 18 = l + 2*k, 0 = -4*l - 3*k + 212. Is l a multiple of 14?
True
Let q(a) = a**3 - a**2 - 2*a + 1. Let u be q(1). Is 6 a factor of u/(-3) + 3230/30?
True
Let j(l) = -165*l**2 + 80*l**2 - 30*l - 9 + 84*l**2. Is j(-27) a multiple of 9?
True
Let b(q) = q**3 + 25*q**2 + 6*q + 85. Is b(-23) a multiple of 24?
False
Suppose 0 = 463*q - 464*q + 282. Does 15 divide q?
False
Is 110 a factor of 1554 - 6*14/21?
False
Let o(w) = -6*w**3 - 14*w**2 - 9*w - 2. Is 18 a factor of o(-4)?
False
Is 11 a factor of (-1)/(-17) - (-214458)/527?
True
Let g(h) = -h**3 - 2*h**2 - 2*h + 3. Let m be g(-3). Let u(f) = 2*f**3 - 2*f**2 - 2*f + 2. Let x be u(3). Let y = x - m. Does 6 divide y?
False
Let h be 10 - 3 - (8 - 6). Suppose h*z + 3*b - 223 = 0, 3*b + 134 = 3*z + 5*b. Is z a multiple of 44?
True
Let c be (-6)/(-27) + ((-44)/(-36))/(-1). Does 13 divide (-494)/(-19)*(0 - c)?
True
Let g(h) = -2*h - 12. Let x be g(6). Let y = 72 + x. Is 6 a factor of y?
True
Suppose 0 = -3*t + 4*t + g + 15, -5*g + 30 = -2*t. Let n be 854/22 + 6/33. Let w = n + t. Is 23 a factor of w?
False
Let d = 709 - 250. Suppose -5*o = 4*o - d. Is 19 a factor of o?
False
Let g = -324 + 229. Let x = -80 - g. Does 14 divide x?
False
Let t be (-2 - -1)/(1/(-4)). Suppose 12 = -0*l + t*l. Suppose l*n - 16 - 2 = 0. Does 3 divide n?
True
Does 32 divide -30*102*49/(-70)?
False
Suppose 0 = 9*t - 244 - 1781. Does 15 divide t?
True
Let b(w) = w**2 + 12*w + 5. Let o be b(-26). Suppose 0 = -4*y - 2*l + 284, -5*y + 0*l + l = -o. Does 27 divide y?
False
Suppose 3475 = 4*i + 5*w, 2*w - 1 = 5. Is i a multiple of 14?
False
Let b be 7*4*6/8. Suppose 4*i - 247 = b. Suppose -3*a = -11 - i. Is 13 a factor of a?
True
Let c(t) = -18*t - 8*t + 21*t**2 - 4*t**2 + 51 - 48. Is 9 a factor of c(4)?
True
Let k = 193 - 203. Suppose 5*j + 45 = 5*f, -3*j - 3 = -2*j. Is 15 a factor of f*k/(-8)*6?
True
Let h(c) = 3*c**2 - 16*c - 4. Let f be h(6). Is (2/f*(142 - -6))/1 a multiple of 10?
False
Suppose 0 = 3*y - 0*g + 5*g - 871, 0 = 3*y + 4*g - 869. Does 4 divide y?
False
Suppose -3616 = -9*s + 5*s. Suppose 6*r - 272 = s. Does 33 divide r?
False
Let x = 747 + -274. Is 20 a factor of x?
False
Let g(n) = -n**2 - 7*n - 9. Let a be g(-4). Suppose a*d + 0*p + p = 112, 0 = d - 4*p - 46. Does 19 divide d?
True
Let l be ((-564)/20)/((-1)/5). Suppose 2*r = -r + l. Does 47 divide r?
True
Suppose 4*i = d + 19 + 34, 2*i = -2*d + 24. Let w be 47/2 + i/(-26). Is w*(-1)/2*-2 a multiple of 7?
False
Suppose q + q - 6 = 0. Let k be 0 + q - 2 - -17. Suppose m = -m + k. Is m a multiple of 5?
False
Let y be 12/(-3) - (0 + -1). Let j be -4*(y - (-180)/(-16)). Suppose b = 4*o + 60, -5*b + 311 = 3*o + j. Is 13 a factor of b?
True
Suppose -d = 5*g - 283, 3*d - 280 = -3*g + 557. Is d a multiple of 12?
False
Suppose 3*s - 3*u - 594 = 0, 4*s - 794 = -u + 3*u. Let z = 19 - 14. Suppose 4*q - 77 + 264 = z*o, 2*q - s = -5*o. Does 9 divide o?
False
Suppose -9*d + 919 + 1583 = 0. Let x = d - -24. Does 44 divide x?
False
Let v be (-6)/(-3 + (-1)/(-1)). Suppose -6*b + v*b = 0. Suppose b = 10*n - 15*n + 210. Does 21 divide n?
True
Is 14 a factor of ((-115)/(-10))/(10/20)?
False
Let h(w) = 15*w**2 - 20*w - 102. Is 13 a factor of h(-4)?
False
Suppose -5*u = 3*y - 172, 0 = 2*y - 9*u + 4*u - 73. Is y a multiple of 31?
False
Let q(i) = 2*i**2 - 8*i + 9. Let h be q(1). Let f(u) = -3*u**2 - 3*u + 4. Let o(j) = -9*j**2 - 8*j + 12. Let z(m) = 11*f(m) - 4*o(m). Is z(h) a multiple of 10?
True
Let l(r) = 6*r - 40. Let c(p) = 2*p - 25. Let g be c(24). Is 7 a factor of l(g)?
True
Is 348 - (-7)/((-35)/7 + 6) a multiple of 71?
True
Let i(t) = 3*t**2 + 8*t - 15. Is i(3) a multiple of 9?
True
Is 73 a factor of (-2093)/26*(-2 + -6)?
False
Let w be (-5)/(-5) - 3*-83. Is 19 a factor of 10/35 + w/7?
False
Suppose 0 = -13*r + 16*r - c - 842, 3*r = -c + 832. Is 24 a factor of r?
False
Let n = 38 - 33. Suppose 0 = n*t + 29 - 54. Suppose 0*b - 121 = -5*g - 2*b, -t*b + 38 = g. Does 8 divide g?
False
Let j be 205/1*(0 - 6 - -7). Suppose -2*z + 37 + 24 = -3*b, -j = -5*z - 3*b. Is 19 a factor of z?
True
Let b(n) = 111*n**2 + 20*n - 51. Does 18 divide b(3)?
True
Let k(a) = -a**3 - 9*a**2 - 1. Let i be k(-9). Let l be -2 + 3 + i - 0. Is 10 a factor of -3 + 17*(l - -1)?
False
Let h = -20 + 24. Suppose -9*j + 1264 = h. Is 20 a factor of j?
True
Let y be (-4)/(-10) + (-986)/(-10). Suppose 3*q = 3*t - y, -3*t - 42 = 5*q - 157. Does 7 divide t?
True
Let d(j) = j**3 + j + 21. Let p(u) = -u**3 + 2*u**2 + u - 1. Let h be p(2). Let b be (0 + 0)/(h*-2). Is d(b) a multiple of 7?
True
Let w(a) = 2*a**2 + 3*a - 3. Let d be w(5). Let q = 97 - -85. Suppose -q = -4*m + d. Does 28 divide m?
False
Suppose -4*x = -2*x - 2740. Suppose -5*f = 5*l - x, 1374 = 5*l - f + 5*f. Let n = -129 + l. Is n a multiple of 38?
False
Suppose 1027 = 3*i + 4*g, 0*i + 3*i - 1031 = -2*g. Is i a multiple of 23?
True
Let h = 2269 - 1759. Is h a multiple of 54?
False
Suppose 5*s - 7447 = 4*g, -13*s - 5*g = -14*s + 1481. Is s a multiple of 31?
False
Let i(r) = r. Let b(v) = 5*v**2 - v + 9. Let a(l) = b(l) + 2*i(l). Does 8 divide a(-3)?
False
Let c = -1244 - -2874. Is 17 a factor of c?
False
Let a(k) be the second derivative of -k**5/20 - 7*k**4/6 - k**3 - 8*k**2 - k. Suppose -7*i + 4*i - 2*j - 44 = 0, 4*i - j + 55 = 0. Is 9 a factor of a(i)?
False
Suppose 4*y = x + 4*x + 30, 4*x - 18 = -y. Suppose -13*t + y*t = -360. Suppose -2*o + t = o. Is o a multiple of 10?
True
Let h be 0*(-1)/2*-2. Suppose -4*z + 308 = -4*n, -n + 2 - 7 = h. Is z a multiple of 8?
True
Let d = -445 - -1572. Does 73 divide d?
False
Let d(w) = 16*w + 9 - 5*w - 1 - w**2. Let j be d(6). Suppose -22 = -5*f + j. Is f a multiple of 5?
False
Let p = -79 - -72. Does 34 divide (15 + p)/(1/17)?
True
Suppose -4*s = -0*s + 312. Let b = 30 - s. Does 18 divide b?
True
Let b = 40 - -78. Does 3 divide b?
False
Let j(w) = 2*w - 11. Let s be j(13). Suppose -r - 4*r = -s, 3*r = -2*b + 35. Does 8 divide b?
False
Is 11 a factor of ((-838)/(-4))/(1/2) - 1?
True
Suppose 3*b = 2*d - 31, -d + 4*b = -4*d + 4. Let c be 9*(1 - d/12). Suppose -c*m - 5*k - 1 = 0, -8 = 4*k + 12. Is 8 a factor of m?
True
Suppose 3*r + 2*u - 15 = 0, 5*r - 3*u - 21 = -5*u. Let d(j) = 5*j**3 - 7*j**3 + 2*j**r - 2*j**3 + 4. Is d(-2) a multiple of 10?
True
Let i be -3*(30/(-9))/5. Suppose 0 = -i*n + 5*y + 304, -3*y + 618 = 4*n - 8*y. Suppose -4*m - n = -3*z + m, 0 = -2*z - 3*m + 73. Is 14 a factor of z?
False
Let g(w) = 967*w - 15. Does 7 divide g(1)?
True
Let y be (-180)/5*(-2)/4. Let i(a) = 19*a**3 + 8 - y*a**3 - 2 + 11*a**2 - 13*a. Is i(-12) a multiple of 9?
True
Let i be ((-44)/8)/11*-4. Is 29 a factor of ((-36)/45)/(i/(-435))?
True
Suppose 6*w - b - 22 = w, -8 = 4*b. Suppose 9*y = w*y + 985. Is 44 a factor of y?
False
Let y(m) = m - 1. Let c(h) = -12*h + 11. Let j(p) = -c(p) - 5*y(p). Let i be j(3). Let l = i + 5. Does 10 divide l?
True
Let b = 130 - -236. Is b a multiple of 31?
False
Suppose -4*y + 65 = 3*a - 242, y = a + 68. Let n = y - 52. Does 13 divide n?
False
Let n(j) = -j**3 - 5*j**2 + 6*j + 3. Let l be n(-6). Let v(c) = -l*c**2 - 5*c**2 + 4*c + 0*c**2 + c**3 + 1 + 0*c**3. Is v(8) a multiple of 11?
True
Does 2 divide 16/40 + (-1165)/(-25)?
False
Let h(l) = 57*l**2 - 3*l. Is 26 a factor of h(-2)?
True
Suppose -134 - 286 = -15*k. Suppose 31*z + k = 38*z. Is z a multiple of 4?
True
Let c(z) = -4*z - 3. Let y(b) be the third derivative of b**4/24 + b**3/3 - b**2. Let n be y(-9). Is 11 a factor of c(n)?
False
Suppose 8*w - 2*w = -42. Let c be -3*(-3)/(2 - w). Let v(i) = 41*i**3 - i**2 - i + 1. Is v(c) a multiple of 8?
True
Let w = -47 - -310. Does 4 divide w?
False
Suppose -5*c = -31 + 1. Is c a multiple of 2?
True
Let a(d) = -d**3 - 6*d**2 - d + 20. Let o be a(-6). Is 13 a factor of (1/(-3) - o/(-39))*897?
True
Let n(a) be th