 l(t) = 17*m(t) - 6*v(t). Is 15 a factor of l(-2)?
True
Let h(x) = 11*x + 3. Suppose -2 + 4 = 2*n. Let c be (-4 - n)*(-12)/15. Is h(c) a multiple of 15?
False
Let x be 6/((-4)/2 + 480/236). Suppose 0 = o + o + 3*j - 398, 4*j + x = o. Does 15 divide o?
False
Let n be -5*3/15*2. Let t be 75/10 + 3/n. Suppose t*p + 23 - 185 = 0. Does 9 divide p?
True
Let m(s) = 1396*s + 63. Is 36 a factor of m(1)?
False
Let j(b) = -b**2 - 9*b + 3. Let s(q) = q**3 - 8*q**2 + 6*q + 9. Let x be s(7). Let n be (-2)/((x - 0)/8). Is j(n) a multiple of 11?
True
Let q(h) = 0*h + 14 + h - 6 + 4. Let w be q(-9). Suppose -119 = -w*d - 47. Is d a multiple of 7?
False
Let k = 287 + 893. Is k a multiple of 9?
False
Suppose o = 5*o + 3*x + 32, 2*o + 5*x + 16 = 0. Is 13 a factor of 183/3 - (3 + 2 + o)?
False
Let r be 0*-3*(-1)/3. Suppose -10*w + 8*w + 20 = r. Is 10 a factor of w?
True
Suppose 23 + 17 = 4*h. Suppose -6*w = -h*w + 68. Is w a multiple of 6?
False
Let x be (266/(-4))/(0 - (-6)/(-60)). Let w = x + -376. Does 17 divide w?
True
Let z be (272/(-64))/(-2 + (-39)/(-20)). Let o = 148 - z. Is o a multiple of 9?
True
Suppose 28271 = 3*s + 14*s. Is 31 a factor of s?
False
Suppose 221*g - 222*g = -560. Does 5 divide g?
True
Suppose -34*h + 408 = -32*h. Is h a multiple of 6?
True
Let o(y) = 8*y**2 + 2*y - 4. Let l be o(4). Suppose 2*n + 30 = p, 3*p + p + 4*n - l = 0. Suppose -3*q + g = -14, 0*q = -2*q - 5*g + p. Does 5 divide q?
False
Suppose 3*y + 276 = 8*y - 4*d, -5*d = y - 61. Suppose -11*a + 15*a = y. Is 6 a factor of a/91 - 228/(-39)?
True
Suppose 15*c - 14 = 46. Suppose x - 3*x + 318 = 0. Suppose -x = -c*o + 49. Is o a multiple of 20?
False
Let u be -2 - 1/(4/(-24)). Suppose -s + 4*i = -27, u*s - 82 = 3*i - 0*i. Suppose 209 = 4*w - s. Is 19 a factor of w?
True
Is 24 a factor of (2044/1)/(36/54)?
False
Let g = 715 + -475. Does 10 divide g?
True
Let b(d) = 8*d + 1. Let g(i) = -9*i - 2. Let z(t) = 5*b(t) + 4*g(t). Is z(3) a multiple of 5?
False
Suppose -4*t = -5*m + 2032 + 18, 4*m + 2*t = 1614. Does 22 divide m?
False
Suppose i - 17 = -4*u, 2*i - 4*u - 46 = -6*u. Is i a multiple of 2?
False
Let y = 0 - -3. Suppose -4*n = -y*a + 12, -3*n + 6 = 2*a - 5*n. Suppose a = -5*i - 63 + 223. Does 16 divide i?
True
Let y = 95 - 57. Suppose -3*g + 21 = 3*r, 0 = 4*r + 2*g - y + 4. Let o(u) = u**3 - 10*u**2 + 8*u + 4. Is o(r) a multiple of 21?
True
Let p(v) = -v - v + 2*v + 2*v - 8*v**3. Suppose -3*l + 0 = 6. Does 20 divide p(l)?
True
Does 12 divide (-84 + 24)*1/(-3)?
False
Suppose 2*i - 2*w - 53 = 45, 4*w - 29 = -i. Is 3 a factor of i?
True
Let a(u) = -33*u + 1. Let f be a(-3). Let y = -4 - -10. Suppose -3*w - 4*k + 68 = 0, -f = -y*w + w - 4*k. Does 4 divide w?
True
Let q(p) = 3*p - 9. Let a be q(5). Suppose 0 = 5*r + 5*s - 70, -a*s = -4*s + 4. Suppose r = -5*y + 226. Is 14 a factor of y?
True
Let f(j) = 12*j - 7. Let t = -33 - -37. Suppose 4*x = 24 + t. Is 9 a factor of f(x)?
False
Suppose -2*f = -0*j + 2*j + 34, 0 = -2*f - 10. Let w = -584 + 602. Let k = j + w. Is k a multiple of 3?
True
Suppose -2743 = -4*s - 3*j, -5*s - 7*j + 3395 = -10*j. Is 32 a factor of s?
False
Let g be 3*((-10)/(-5) - 1). Suppose 5*w + 142 = g*v, 3*v + v - 182 = 3*w. Does 7 divide v?
False
Let d(m) = m**3 - 5*m**2 + 3*m + 8. Let q be d(4). Suppose -5*f = -4*l - 248, 1 = -3*f + q*l + 145. Does 5 divide f?
False
Let l(v) be the first derivative of 3*v**4/4 + v**3 - v**2 + 6*v - 44. Is l(4) a multiple of 10?
False
Suppose 5*f + 19 = -476. Let w = f - -175. Is 19 a factor of w?
True
Let w = -968 + 993. Does 25 divide w?
True
Let o(l) = -l**2 - 6*l - 5. Let k be o(-4). Suppose -2*g = -3*g + 3, 3*h = -k*g + 300. Is h a multiple of 39?
False
Let v = -6 - -9. Suppose 4*z - v*n - 9 = 6, -2*z + 4*n = -20. Suppose 3*o - 52 + 4 = z. Does 12 divide o?
False
Suppose 5*u - 2132 = -5*h + 343, -2*u + 990 = -2*h. Let l = u - 275. Does 20 divide l?
True
Suppose -4*z + 5*z = 0. Suppose m = 3*a - m - 20, -5*m - 5 = z. Does 6 divide a?
True
Let f(u) = -2*u**3 - 2*u**2 - 5*u + 3. Let j be f(-4). Does 15 divide ((-3 + j)/(-4))/(-1)?
False
Is 10 a factor of (12 - -396) + (-1 - -3)?
True
Suppose a = 5*t - a - 233, 5*t - 5*a = 245. Let o = t - 14. Does 16 divide o?
False
Let g = -34 - -58. Suppose g = -6*n + 9*n. Is 11 a factor of (-14)/(-56) - (-366)/n?
False
Let r(v) = 38*v - 5. Suppose a = -2*a + 12. Let g be r(a). Suppose -s - 2*s + g = 0. Is s a multiple of 12?
False
Suppose -m + 22 = -4*m + 2*d, -4*m = 4*d - 4. Suppose 0 = -3*g + 10*g - 168. Let u = g + m. Is u a multiple of 8?
False
Let i be 18/(-14) + 1 - 942/(-14). Suppose -2*t + 28 = -5*l - 12, 0 = 5*t + 4*l - i. Is t a multiple of 3?
True
Let p(i) = 9*i + 27. Let n(c) = c + 1. Let q(m) = 18*n(m) - p(m). Let v(d) = -d**2 + 10. Let g be v(0). Is 27 a factor of q(g)?
True
Suppose -143 + 47 = -2*j. Is j a multiple of 12?
True
Let o = -2865 - -5105. Is o a multiple of 28?
True
Let w = -1001 - -1752. Does 67 divide w?
False
Let q = -2999 - -6849. Is 11 a factor of q?
True
Let b = 120 - 80. Let a(m) = b - 2*m**2 - 36*m - m**3 + m**3 - m**3 + 35*m. Does 20 divide a(0)?
True
Let o(l) = -17*l - 28. Let x be o(19). Let r = x - -603. Is r a multiple of 42?
True
Let v = 20 + -13. Suppose -6*b - 173 = -v*b. Does 33 divide b?
False
Suppose -2*z - 2032 = -4*j, -z + 518 = j - 4*z. Is j a multiple of 28?
False
Is -7 + -1 - (-2 + -732) a multiple of 6?
True
Let l = 35 + -25. Let b(v) = 5*v + v**3 + l + 0*v**3 + 3*v + 10*v**2 + 5*v. Is b(-8) a multiple of 15?
False
Let n = -23 + 137. Suppose -154 = -2*j + n. Suppose -j + 354 = 5*t. Is t a multiple of 11?
True
Suppose 15*n = 221 + 1174. Does 2 divide n?
False
Suppose g - 4*o + 40 = 4*g, o = 2*g - 45. Suppose 0 = -h - v, -6*v - g = -2*v. Suppose -h*f + f + 72 = 0. Is 18 a factor of f?
True
Let q(a) = 3*a**2 - a + 2. Let w be q(1). Let i(g) = 2*g**3 - 7*g**2 + 5*g + 1. Does 26 divide i(w)?
False
Suppose 2*q - 2 = 5*p, -2*p = 5*q - p + 49. Let l be (78/(-5))/((-1)/5). Let i = l + q. Does 23 divide i?
True
Let r(m) = -m**3 - 2*m**2 + 7*m + 12. Let f be r(-3). Suppose 0 = -j - j - 4*s + 184, f = -s + 1. Does 30 divide j?
True
Let u = 51 + -51. Suppose u = 4*y - 6*y + 5*o + 69, 4*y = -3*o + 177. Is y a multiple of 13?
False
Suppose 3*r + 180 = -r. Is 16/(-12)*r + 0 a multiple of 30?
True
Let z(v) = 3*v**3 + 16*v**2 - 2*v + 19. Let p(b) = -5*b**3 - 31*b**2 + 4*b - 37. Let j(d) = -4*p(d) - 7*z(d). Is j(8) a multiple of 44?
False
Let c(m) be the second derivative of -3*m**5/20 - m**4/3 + 5*m**3/6 - 3*m**2/2 - 3*m. Let n be c(-4). Does 4 divide n/12 - 3/4?
True
Suppose -5*q = -o - 17, 3*q = 5*q + 3*o. Suppose -5*t + 5*w = -295, -3*t - 30 = q*w - 213. Does 15 divide t?
True
Let z(j) = -5*j**2 + 26*j + 51. Let c(r) = r**2 - 5*r - 10. Let g(m) = 22*c(m) + 4*z(m). Let k be g(7). Does 12 divide (-24 - 0)*k/(-32)?
False
Suppose -4*g + 2*g = 0. Suppose -4*r + 4*j + 36 = g, 3*j + 0*j - 22 = -4*r. Let t = 5 + r. Is 4 a factor of t?
True
Suppose l = 2*g + 7, g + 8 = 4*l - 2*g. Let q(b) = 10*b - 3 - 50*b + 27*b**2 + 42*b + 4. Is 7 a factor of q(l)?
False
Suppose 0 = 33*u - 2599 + 454. Is u a multiple of 3?
False
Let l(h) = -h**3 + 25*h**2 + 56*h + 7. Is l(26) a multiple of 44?
False
Let o be 2/9 - (-6)/(-27). Let q be 3 - 1/2*-2. Suppose 20 = -q*w - o*w, 0 = -3*d - 4*w + 37. Is 17 a factor of d?
False
Suppose -6*k = -k. Suppose -v - 266 - 124 = -5*s, s + 5*v = 78. Suppose -3*i = -b + 30, 5*b + k*b - s = -3*i. Is b a multiple of 5?
False
Let k be -2 + -2 + -2 + -4. Let d = k - -17. Does 3 divide d?
False
Let i be ((-4)/(-6))/((-4)/18). Let j = 11 - i. Is j a multiple of 4?
False
Let h(k) = k**2 + k + 4. Let q be h(-3). Suppose -18 = 4*i - q. Is (-5 + 3)*61/i a multiple of 19?
False
Suppose 8*j - 9*j = 5. Let k(r) = r**2 - 7*r - 12. Does 15 divide k(j)?
False
Suppose 106 = -2*b - 24. Let z = 41 - b. Is 22 a factor of z?
False
Suppose -2774 = -31*k + 2558. Is 27 a factor of k?
False
Let b = 1256 - 792. Suppose 5*c - 2*p = 1142, p = 2*c + 2*p - b. Does 10 divide c?
True
Suppose -6 = -2*s, 5*s - 33 = v + v. Suppose 20 - 5 = -5*b - 3*t, 2*t = 0. Is 5 a factor of (-2)/b + (-39)/v?
True
Suppose 11*g - 95*g = -483336. Is 14 a factor of g?
True
Let q = -79 - -235. Let c = q - -22. Is 31 a factor of c?
False
Let o be 10 + -5 + -2 + 4. Let n = o - 3. Suppose -n*m + 60 = -3*m