d be (-4)/(-14) - (-204)/(-28). Let x(j) = -j**2 - 11*j - 1. Let u(f) = -2*f**2 - 22*f - 1. Let r(k) = d*x(k) + 3*u(k). Is 2 a factor of r(-11)?
True
Let d = -172 + 270. Does 22 divide d?
False
Let p be (-54)/(-24) - (-1)/(-4). Suppose -p = -f + 36. Does 19 divide f?
True
Suppose 3*s = s + 6. Suppose -s*v = -4*v + 4. Suppose g + 118 = 5*w - 2*g, 0 = v*w - 3*g - 92. Does 13 divide w?
True
Suppose -4*z + 0*g = 3*g - 192, -z + g = -48. Is z a multiple of 12?
True
Let k be (-12)/(-2)*(-6)/(-9). Let j(y) = 2 + k*y**2 - 6 - y**3 + 0 + 2*y. Is j(4) even?
True
Suppose -5*w - 5*x - 15 + 85 = 0, -4*x + 16 = 0. Is w a multiple of 6?
False
Suppose -r + 25 = 4*r. Suppose g - 2 = -5*o, 2*g = -0*g + r*o + 79. Is 12 a factor of g?
False
Suppose -5*m - 3*t + 7 = 0, t = m + 3*t. Suppose 3*o - 44 = -2*y, -m*o = -7*o - 5*y + 80. Does 12 divide o?
True
Suppose 4*n + 49 - 265 = 0. Is 23 a factor of (3 - (-15)/(-6))*n?
False
Suppose -5*h = -3*h - 5*w - 12, 4*w = 2*h - 10. Let z = 3 + h. Suppose z*k + 5*b - 27 = 0, 0 = 3*k + b + 3*b - 19. Is 5 a factor of k?
False
Let k = 135 - 80. Suppose -2*m + k + 17 = 0. Is m a multiple of 18?
True
Let i(b) = b**3 + 7*b**2 - 3*b + 16. Is 37 a factor of i(-7)?
True
Suppose -123 = -3*r + 291. Suppose -2*l - 374 + r = 0. Does 12 divide (-16)/(-40) - l/5?
True
Suppose 0 = -10*m + 14*m - 300. Is m a multiple of 15?
True
Let b be (12/(-8))/((-3)/6). Let l = -5 + b. Let w(c) = -32*c + 2. Is w(l) a multiple of 25?
False
Suppose -560 = 8*p - 13*p. Does 6 divide (-2)/(-5) - p/(-20)?
True
Suppose 371 - 29 = 3*r. Is r a multiple of 19?
True
Let n(w) = 3*w**2 + 3*w + 53. Let f(z) = 2*z**2 + 2*z + 26. Let y(o) = -5*f(o) + 3*n(o). Is y(0) a multiple of 18?
False
Let v(k) = 8*k - 10. Is v(8) a multiple of 9?
True
Suppose 0 = -13*h + 18*h - 1260. Does 21 divide h?
True
Suppose 32*r - 480 = 29*r. Does 16 divide r?
True
Suppose 5*q = 5*x - 60, q - 60 = -5*x - 3*q. Suppose 2*u = 12 + x. Is u a multiple of 4?
True
Let k(j) = 6*j**2 + 4*j - 17. Let c(b) = -3*b**2 - 2*b + 9. Let m(r) = -11*c(r) - 6*k(r). Let x(g) be the first derivative of m(g). Does 10 divide x(-2)?
True
Suppose 4*g - 5 = 2*y - 27, -5*g - 26 = -2*y. Suppose -2*w - 3*c + 20 = 0, -w - 20 = -y*w + 5*c. Is 10 a factor of w?
True
Suppose 5*v = 2*v + g + 10, -2*g = 4*v. Suppose v*a + 0*a = 54. Let m = a + -18. Is 4 a factor of m?
False
Let x(z) = z + 6. Suppose -3*p - 4 = 8. Let t be x(p). Let q = 6 - t. Is q a multiple of 2?
True
Let j be 1 - ((3 - 6) + 1). Suppose -31 = -4*g + i, 3*g = -j*i + 19 + 8. Is g a multiple of 4?
True
Suppose -4*f = -5*f + 2*d + 28, -3*d - 90 = -3*f. Is 4 a factor of f?
True
Let k(w) = -60*w**2 + w - 2. Let b be k(2). Does 14 divide b/(-45)*21/4?
True
Suppose -2*q = -3*q. Suppose 5*h - 17 - 48 = q. Is h a multiple of 5?
False
Suppose 0 = 2*r - 0*r - 4. Let j(t) be the third derivative of t**6/40 - t**5/20 + t**4/24 - t**3/3 - 2*t**2. Is 6 a factor of j(r)?
True
Suppose -2*d + 8 = 3*c, 5*c + 2*d - 12 = -0*d. Let u = -7 + c. Is (u/(-2))/((-3)/(-18)) a multiple of 6?
False
Let s(n) be the first derivative of 10*n**3/3 - 2. Let y be s(1). Suppose -x = 4*x - y. Is x even?
True
Let d = -4 - -6. Suppose -d*m - m = 0. Suppose -3*h + 56 = x, 4*h + 2*x - 76 = -m*x. Is h a multiple of 17?
False
Suppose -3*i = -3*j - 0*i - 156, 3*j + 166 = 5*i. Let u = j + 88. Is u a multiple of 12?
False
Let s = 60 - 39. Is 7 a factor of s?
True
Suppose -2*y + 28 = 2. Let n = 31 - y. Does 9 divide n?
True
Suppose 0*w + 2*w = -5*z + 10, 6 = 3*z - w. Is (2 - z) + (3 - -1) even?
True
Let r(o) = -2*o**2 - o + 6. Let n be r(0). Let k = 6 + -11. Let v = n - k. Is v a multiple of 4?
False
Let x(u) = u**3 + 4*u**2 - 6*u - 5. Let q be x(-5). Suppose 18 = -3*d + 5*d - 2*z, d - 5*z - 1 = q. Is 4 a factor of d?
False
Let w(a) = 16*a**2 + a - 2. Is w(1) a multiple of 15?
True
Let z(h) = h**2 - 6*h - 4. Suppose 17 + 10 = 3*v. Is 23 a factor of z(v)?
True
Is 2 + (-4)/((-4)/87) a multiple of 27?
False
Suppose -4*b + 5*o - 4 = -84, -5*b + 91 = -4*o. Does 5 divide b?
True
Suppose -y + 4*c = y - 400, 400 = 2*y + 2*c. Is y/(-15)*6/(-5) a multiple of 9?
False
Suppose -a + 2 = 2*x - x, -3*x + 6 = -3*a. Suppose a = 3*m - 11 - 79. Is m a multiple of 10?
True
Let r = -8 - -14. Let q = 15 + r. Does 7 divide q?
True
Let o = -5 + 22. Is o a multiple of 7?
False
Is 231*((-8)/12)/(-1) a multiple of 22?
True
Let q(t) = t**2 + 10*t - 7. Let z be q(-11). Let d = z - -3. Is 4 a factor of d?
False
Let a = 250 - 144. Suppose -26 + a = 4*w. Is 5 a factor of w?
True
Is 14 a factor of 18 - (0 - (-2 - -2))?
False
Let p(o) = 4*o**2 - 9*o + 17. Let j(u) = -2*u**2 + 5*u - 8. Let a(h) = -5*j(h) - 2*p(h). Suppose -n + 4 = -0*n. Is a(n) a multiple of 5?
True
Let n(f) = f**3 - f - 1. Let t(k) = k**3 + 14*k**2 - 17*k + 11. Let g(u) = 2*n(u) - t(u). Does 8 divide g(13)?
False
Let g = 10 - 8. Let v(a) = a - 2. Let t be v(g). Let m = 4 + t. Is m even?
True
Suppose -4*f = 3*a - 9*f - 341, 2*f + 226 = 2*a. Suppose -6*s + a = s. Is s a multiple of 13?
False
Suppose 2*w + 76 + 22 = 0. Suppose 2*b + b = -246. Let v = w - b. Is v a multiple of 13?
False
Let u = 2 - 0. Suppose -u*n + 20 = -22. Does 7 divide n?
True
Suppose -2*u + 10 = 0, -8*q + 3*u = -4*q - 49. Does 4 divide q?
True
Let k(b) = 4*b + 3*b + 3 - 1 - 2*b. Is 10 a factor of k(4)?
False
Let i(a) = -a**2 + 7*a - 5. Let v be i(5). Let j = v - -6. Does 11 divide j?
True
Let f = 139 - 44. Suppose l - f + 38 = 0. Does 19 divide l?
True
Suppose 0 = -4*j + 322 - 38. Is j a multiple of 14?
False
Does 4 divide (-1 - -3)*-1 + (21 - -2)?
False
Let q(d) = d + 3. Let f be q(6). Suppose 2*j - f = -j. Suppose 4*p + 2*m = 58, j*p = -2*p + m + 55. Is p a multiple of 5?
False
Suppose -3*a - 10 = 2*a. Let z = a - -5. Suppose -j = -z*j + 38. Is j a multiple of 8?
False
Is 12 a factor of 22 + -19 - ((-1)/1 + -100)?
False
Let t(p) be the second derivative of p**5/5 - p**4/4 + p**3/3 - 3*p**2/2 - 4*p. Is 8 a factor of t(2)?
False
Let l(s) = 0*s**3 + s**2 + 44 + 0*s**3 + 3*s**3 - 4*s**3 - s. Is 22 a factor of l(0)?
True
Suppose 0 = -4*c - p - 3*p + 420, -5*c = 2*p - 522. Is 7 a factor of c?
False
Let c(l) = 2*l**3 - 4*l**2 + 2*l + 2. Let t be c(2). Suppose r = t*r - 30. Is 3 a factor of r?
True
Suppose 48 = 2*z + 16. Let a = -5 + z. Does 8 divide a?
False
Let v = 17 - 9. Suppose -5*h = -x + 6*x + 15, -4*x - v = 0. Is 15 - (h + 4)/3 a multiple of 7?
True
Suppose 4*c = 4*k - 16, -5*k - 2*c = -0*k - 34. Is 3 a factor of k?
True
Let r be (-3 - -3)*3/3. Suppose 0*g + 3*g + 2*w - 20 = 0, r = 2*g + 3*w - 5. Is g a multiple of 5?
True
Suppose 16 = -4*g, 2*k = -k - 5*g - 14. Suppose -3*t - 4*w + 150 = 0, 4*t - 199 = k*w - 7*w. Suppose 6 = 4*b - t. Does 13 divide b?
True
Let l = -17 - -10. Let w = 8 + l. Is 2 a factor of 1 - -5 - (3 - w)?
True
Let a = 12 + -7. Suppose a*v - 18 = -2*l, -l + 0*v + 9 = -v. Is l a multiple of 5?
False
Let i = 5 + -32. Suppose 3*n = 4*n + 39. Let b = i - n. Is 6 a factor of b?
True
Let i(r) = 22*r**3 + 1. Suppose 0*k = k + 5*c + 12, 4*c + 24 = 4*k. Let j = k - 2. Is 11 a factor of i(j)?
False
Let a be 3/(-6) + (-18)/(-4). Suppose -108 = -3*j - 4*x, -j - 5*x = a*j - 185. Is 13 a factor of j?
False
Let u be 7 + -3 + 6/3. Let v(d) = 6*d - 4. Let n be v(u). Suppose 0 = -0*h + 4*h - n. Does 5 divide h?
False
Let y be (-28)/(-12) - 2/(-3). Suppose 2*z - 150 = -y*z. Suppose -w = -6*w - 5*o + z, 0 = -5*w - o + 50. Does 4 divide w?
False
Let a be ((-20)/6)/(-5)*-3. Let p = 4 + a. Does 2 divide p?
True
Suppose 14 + 6 = 2*u. Let g = u - 16. Let j(q) = -q**2 - 6*q + 8. Is j(g) a multiple of 3?
False
Let y be (5 + -1)*(-6)/(-4). Let h = y + -6. Suppose a - 2*a + 9 = h. Does 9 divide a?
True
Let z(j) = j**3 - 8*j**2 + j - 2. Let a be z(8). Suppose -2*r - u + a*u + 95 = 0, 4*r - 145 = -5*u. Is r a multiple of 20?
True
Suppose 3*r - 2*r - 39 = 0. Is r a multiple of 13?
True
Suppose 6 = 9*h - 11*h. Is 10 a factor of (-8)/(-12) + (-142)/h?
False
Let u = -71 + 132. Is 18 a factor of u?
False
Let u(o) = -o**3 + 4*o**2 - 4*o + 2. Let v be u(2). Let k(q) = 3*q - q**3 - 3*q**2 - 5 - 3*q**2 + 2*q**v - q**2. Is 5 a factor of k(-6)?
False
Suppose 2*r = -47 + 51. Is r even?
True
Suppose -3*f + 7*f - 12 = 0. Suppose 35 + 95 = f*m - 2*k, k - 133 = -3*m. Does 17 divide m?
False
Suppose -3*p - 4*s + 1719 - 655 = 0, 4