 Is w a multiple of 4?
True
Let m(n) = 15*n + 6*n + 10*n - 3*n. Is m(2) a multiple of 14?
True
Let n(k) = 10*k - 38. Is n(8) a multiple of 14?
True
Let t be (9/(-6))/(3/8). Is 21 a factor of (-42)/(-2)*(-3 - t)?
True
Let u(h) = -5*h - 2. Is 17 a factor of u(-14)?
True
Suppose 5*z + 5*f - 1123 = 4*f, -3*z = -4*f - 660. Does 16 divide z?
True
Let i = 192 + -65. Suppose 2*y - i = -9. Let w = y - 25. Does 17 divide w?
True
Let h(s) = -s**2 - 7*s + 5. Let u be h(-7). Suppose 180 = u*a + 30. Is 11 a factor of a?
False
Let q(z) = -z + 4. Let h be q(0). Suppose h = 4*b - 12. Suppose -n - b = -8. Is 4 a factor of n?
True
Let w(i) = 9*i. Let l be w(-1). Let b(m) = -m**3 - 10*m**2 - 13*m - 10. Is 13 a factor of b(l)?
True
Suppose -4*c + 156 = -4*r, 0*c + 4*r + 24 = c. Is 22 a factor of c?
True
Suppose 0 = 3*s - 12*s + 1197. Is s a multiple of 11?
False
Suppose 0 = 2*j - 2, 0 = -0*z - 5*z - 5*j - 840. Let b = -119 - z. Does 25 divide b?
True
Is 26 a factor of (-2)/(-15) - (-10630)/150?
False
Let d(p) = -10*p - 15. Is 15 a factor of d(-6)?
True
Suppose -2*a + 3*p - 2*p + 643 = 0, 2*a = -5*p + 613. Suppose 0 = -2*x - 5*h + 101, -3*h + a = 5*x + 76. Is 17 a factor of x?
False
Suppose l = 2*n + 2, 1 = 3*n + l - 1. Suppose 3*c = 4*u + 378 + 10, c - 3*u - 136 = n. Suppose d = -3*d + c. Is 10 a factor of d?
False
Let b(p) be the second derivative of -10*p**3/3 - p**2 + p. Is 12 a factor of b(-2)?
False
Let q(y) = y**2 - y - 1. Let g be q(2). Let u = 4 - g. Suppose -j + 14 = -4*f, -2*j + f = u*f - 58. Is j a multiple of 13?
True
Let n(k) = -k**3 + 3*k**2 - k + 6. Let s be n(3). Suppose 5*g - 17 + 42 = 0. Let v = s - g. Is v a multiple of 8?
True
Let s(d) be the third derivative of 11*d**4/8 - d**3/6 + d**2. Let z be s(1). Suppose -b = b - z. Is 8 a factor of b?
True
Let u be (-15)/(-4) + (-1)/(-4). Suppose u*t - 6 = 2. Does 2 divide t?
True
Suppose h = -2*d - 4*h + 175, -d + 4*h = -120. Is 49 a factor of d?
False
Is ((-330)/(-33))/(14/13 + -1) a multiple of 13?
True
Suppose 3*t - 49 - 21 = -5*a, 0 = -a + t + 6. Is a a multiple of 11?
True
Let b be (0 - 9/(-6))*2. Suppose -4*x + 160 = 4*h, b*x = 2*h - 103 + 8. Suppose -4*o + r = -67, 4*o = 2*r + 27 + h. Does 13 divide o?
False
Let o = 25 + -2. Is 5 a factor of o?
False
Let w be 2/(-4) + (-28)/(-8). Let d = 0 + w. Suppose 2*a - 3*v - 7 - 6 = 0, d*a - 3*v = 21. Is a a multiple of 7?
False
Let b be (-1 + 4/2)*1. Let t be 61/b + (3 - 4). Suppose 6*x = x + t. Does 6 divide x?
True
Let q = 27 + -27. Suppose q = -7*z + 11*z - 128. Is 16 a factor of z?
True
Let a(i) be the second derivative of -i**5/20 - 5*i**4/12 + i**3/6 + 4*i. Is 11 a factor of a(-6)?
False
Suppose 0 = -4*r + 4*n + 416, -2*n - 84 = -r + 22. Does 34 divide r?
True
Suppose 4*h + 3*f - 21 = -6, -5*h + 12 = -3*f. Suppose 5*t + 4*a - 92 = 0, 0 = -h*t + 7*t + 4*a - 76. Does 10 divide t?
False
Suppose -5*w = 5*m - 185, -m - 2*m + 119 = -5*w. Suppose -3*r + 5*r + m = 2*d, 2*d + 19 = -r. Let u = r + 27. Is u a multiple of 4?
True
Suppose -4*z = -3*d - 0*z + 108, 4*d + z = 144. Does 9 divide d?
True
Let g = -134 + 294. Does 32 divide g?
True
Suppose -22 + 7 = -w. Let p = w + 0. Does 15 divide p?
True
Let w = 87 - 59. Does 7 divide w?
True
Let o(p) = -p**3 + 3*p**2 + 6*p - 6. Let l be o(4). Suppose 102 = l*h + 2*c, -3*c - 15 = 2*c. Is h a multiple of 14?
False
Let m(j) = -j**3 + 4*j**2 + 8*j - 5. Let d be m(5). Does 6 divide (-4)/d + 57/5?
False
Suppose j = i + 2 + 4, 5*j + 4*i - 30 = 0. Does 3 divide j?
True
Suppose -2*a = -227 - 99. Suppose a = 3*j - 203. Does 25 divide j?
False
Let d = 10 + -6. Suppose d*c - 33 = 7. Is c a multiple of 10?
True
Suppose 0 + 246 = 2*y. Is 16 a factor of y?
False
Let w(q) = q**3 - 4*q**2 - 7*q + 3. Suppose 3*x - 3*z - 5 - 10 = 0, 3*x - 2*z - 16 = 0. Does 11 divide w(x)?
True
Suppose -5*p + 22 = w - 2*p, 81 = 3*w + 4*p. Is 15 a factor of w?
False
Let x be 0/2*-1 - -39. Suppose 2*r + x - 14 = 5*m, 0 = -2*m + 10. Suppose a = -r*a + 12. Is 12 a factor of a?
True
Let a be (-1 - (-9)/12)*4. Suppose -2*f + 14 = -0. Does 14 divide (1 - a) + f*5?
False
Let v(y) = -5*y**3 - 4*y + 6. Is v(-3) a multiple of 17?
True
Let d(t) = -t**2 - t + 49. Let l be d(0). Suppose 4*p + 312 = 4*z, 0*z = 3*z + 2*p - 229. Let c = z - l. Does 15 divide c?
False
Suppose k - 4*k = 0. Suppose 3*c = -k*c + 18. Is c a multiple of 3?
True
Let f(d) = 9*d**2 - 8*d + 18. Is f(4) a multiple of 18?
False
Suppose z + 3*z - 8 = 0. Suppose 2*n = 5*j - 35, -5 + 19 = z*j + n. Is j a multiple of 7?
True
Let n(y) = 5*y**2 - 3*y + 2. Let d(s) = -9*s**2 + 6*s - 3. Let u(c) = 3*d(c) + 5*n(c). Let m be u(5). Let b = -18 - m. Does 8 divide b?
True
Let p(c) = c**2 + 4*c - 1. Let h(t) = -t**2 - 5*t - 1. Let k be h(-4). Does 12 divide p(k)?
False
Suppose -4*t + 114 = -2*j, 3*t + 3*j + 2*j - 118 = 0. Is t a multiple of 14?
False
Let c(t) = -t**3 - 7*t**2 + 7*t - 3. Let o = -17 - -10. Let m(f) = f**3 + 6*f**2 - 7*f - 8. Let h be m(o). Is c(h) a multiple of 5?
True
Suppose 3*g + 2*g = -2*a - 19, -2*a = -3*g - 21. Let m = g - -8. Does 2 divide m?
False
Suppose -5*l + 245 = -0*t + 3*t, -4*t + 5*l + 280 = 0. Let c = t + -30. Is c a multiple of 16?
False
Let o be (40/(-12))/(2/(-3)). Let t = -1 - -3. Let m = o - t. Is 3 a factor of m?
True
Let g(a) = -a**3 - 8*a**2 - 6*a + 3. Does 3 divide g(-8)?
True
Suppose -15*o - 595 = -20*o. Is 14 a factor of o?
False
Let s = -371 + 577. Is 28 a factor of s?
False
Let q be -515 + -2*2/4. Let f = q - -306. Is 2/6 + f/(-18) a multiple of 6?
True
Let z = -1 - -4. Suppose -z*c + 10 = -c. Is c a multiple of 2?
False
Suppose -504 = -4*l + 4*m, 0*m - 3*m = -4*l + 500. Is l a multiple of 18?
False
Let f be 0 + 4/((-4)/(-161)). Suppose 0*d + f = d. Suppose -3*r - 2*r = 2*o - d, -3*o = -r + 22. Does 14 divide r?
False
Suppose 293 = 5*u - 1077. Is 33 a factor of u?
False
Suppose 5*v - j - 330 = 4*j, 0 = 4*v - j - 258. Is 16 a factor of v?
True
Let j be 2/(-10) - 26/(-5). Let i = 27 - j. Is i a multiple of 11?
True
Suppose -5*b + 18 = 4*c - 1862, 4*b = -3*c + 1504. Does 34 divide b?
False
Let i = -3 + 3. Is 6 a factor of (i - 9)*(-4)/3?
True
Is 2*(749/14 - (-4)/(-2)) a multiple of 16?
False
Suppose 0 = 4*w + 16, 5*w = n + 4*w - 9. Does 3 divide n?
False
Suppose -5*x - 282 = -4*c, 0*c + 5*x - 330 = -5*c. Is c a multiple of 9?
False
Suppose -2*z + 2*n - 6 = -4*z, 0 = -3*z - 5*n + 11. Suppose -2*q + 2*y = -0*q - 28, z*y - 48 = -2*q. Suppose -3*w + 50 + q = 0. Does 9 divide w?
False
Let p(t) = -t**3 - 3*t**2 - 4*t - 2. Let f be p(-2). Suppose 5*m = 12 + 3. Is 12 a factor of (m + 21)*1/f?
True
Let r(m) = -m**3 + 11*m**2 + 16*m - 15. Is r(12) a multiple of 11?
True
Suppose -a + 112 = 3*a. Is 14 a factor of a?
True
Suppose -5*h + c - 6*c + 150 = 0, c = -4*h + 120. Is 10 a factor of h?
True
Let u(g) = 43*g + 3. Let q be u(4). Suppose 5*t + 0*t - q = 0. Is t a multiple of 17?
False
Let q = -4 + 26. Suppose 0 = -0*i + 2*i - q. Is 11 a factor of i?
True
Let h = -20 + 30. Does 4 divide h?
False
Let t be ((-6)/9)/((-2)/267). Suppose 3 - t = -l. Is 9 a factor of 4/10 + l/10?
True
Let x(r) = 3*r**2 + 4*r + 2 - 2*r**2 + 2*r**2 - r. Is 10 a factor of x(3)?
False
Suppose 9*y - 130 = 4*y. Is y a multiple of 9?
False
Does 17 divide 34 + (1 - (0 + 1))?
True
Suppose 5*u - 1 + 11 = 0. Let s(i) = 12*i + 1. Let q be s(u). Let c = -10 - q. Is 13 a factor of c?
True
Let r be (2 + -2)*2/(-4). Suppose r = 2*b - 43 - 9. Is 13 a factor of b?
True
Suppose 2*n = -n + 12. Suppose -n*u + 140 = -0*u. Is 12 a factor of u?
False
Is 8 a factor of (7 + -15)*(-2 + 0)?
True
Let h be (-5 + 7)/(2/20). Suppose 2*r - 108 = h. Is 14 a factor of r?
False
Let w = 158 + -58. Suppose -w = -4*h + 88. Does 13 divide h?
False
Suppose 0*l - 4*t + 30 = 5*l, -t = -5*l + 5. Suppose 0 = 4*h - 2*a - 166, -2*a - l = -4. Does 13 divide h?
False
Let w = -18 - -12. Is 2*((-9)/w + 0) a multiple of 3?
True
Suppose -2*b = -5*y + b + 250, 4*y = -b + 200. Suppose 0 = -2*a + 7*a - y. Suppose 0 = z - a - 13. Does 23 divide z?
True
Let s(g) = g**3 - 6*g**2 - g + 8. Suppose 0 = -3*n + 5*h + 33, -3*n + 10 + 11 = -h. Let a be s(n). Suppose 47 = a*q + 5*t, t + 59 = 4*q - 2. Does 6 divide q?
False
Let a(v) = -v**2 - v + 1. Let u be a(1). Let b = 1 + u. Suppose 2*s + 0*s - 30 = b. Does 15 divide s?
True
Suppose 5 - 2 = d. Let k be (-3)/(-