pose -3*z - 8 = -u. Is z a multiple of 8?
False
Let t(i) = -5*i. Let j be t(4). Let l = j - -24. Does 26 divide (-18 + -8)/((-2)/l)?
True
Suppose 39*j = 60*j - 11592. Is j a multiple of 19?
False
Suppose 3*f - 24 = 2*t, 5 = -2*t - 1. Suppose f*k - k = 0. Let b = 25 - k. Is b a multiple of 5?
True
Suppose 618 = 3*j + 3*d, 0 = 5*j + 3*d - 246 - 782. Is 6 a factor of j?
False
Let p be (-1*12/10)/((-15)/50). Suppose -p*r + 550 = r. Does 5 divide r?
True
Let g be ((-8)/(1 - 3))/1. Suppose 0 = 2*r - 3 - 3, -4*r = g*u - 260. Suppose p + 18 = u. Is 22 a factor of p?
True
Let i(g) = -g**2 + 50*g + 134. Does 71 divide i(32)?
True
Suppose -3*h - z = -21, 27 = 8*h - 3*h - z. Is (-1 + h)/(1 + (-7)/8) a multiple of 29?
False
Let r(g) = -9*g**3 + g**2 - 3. Let l be r(3). Let p = l - -169. Let j = p - -107. Does 13 divide j?
True
Suppose -9 = 4*a - 5*a. Let d(w) = -w**2 + 9*w + 5. Let m be d(a). Suppose m*l + 24 = 204. Does 29 divide l?
False
Suppose -2 = -m, 2*m = -o + 24 + 206. Suppose -4*t + 179 = f, o = 4*t + t - f. Is 6 a factor of t?
False
Is 36/(-27)*((-6045)/(-2))/(-13) a multiple of 2?
True
Suppose 0 = 17*p - 735 - 3141. Let d = 452 - p. Does 14 divide d?
True
Let f = 224 + -196. Does 6 divide f?
False
Let f(i) = -i**3 + 10*i**2 + 8*i + 83. Is 3 a factor of f(7)?
False
Suppose h + 0*z = -z + 21, 0 = -3*h - z + 69. Suppose 12*l = 8*l + h. Let x(c) = c**3 - 4*c**2 + 8*c - 10. Is 23 a factor of x(l)?
False
Let u = 14084 - 8916. Suppose -3*v - 16*v = -u. Is v a multiple of 17?
True
Suppose -5*p - o + 66 = 0, -4*p = -2*p + 4*o - 12. Is 7 a factor of p?
True
Suppose 80 = 4*y + 440. Let i = -56 - y. Is 10 a factor of i?
False
Let m(u) = -5*u**2 - 53*u + 4. Let f(o) = -3*o**2 - 27*o + 2. Let n(t) = 7*f(t) - 4*m(t). Does 11 divide n(18)?
True
Suppose 12 = 4*r - r. Let h be 2/(-7) - 667/(-7). Suppose h = r*x - 9. Is x a multiple of 15?
False
Suppose -4 = -i, 4*v = 8*v - 2*i - 10992. Does 10 divide v?
True
Suppose 2*n = -4*x + 528, 3*x - 2*x + n - 134 = 0. Is x a multiple of 11?
False
Suppose 0*o = 2*o + 2. Let p(g) = 9*g**2 - 2*g - 2. Let z be p(o). Is 8 a factor of z/6*40/3?
False
Suppose 2 = -2*h + 8. Suppose 4*o + 10 = -o. Is 13 a factor of (h/6)/(o/(-192))?
False
Suppose -3*h - 4*b = -42 - 81, 126 = 3*h + 5*b. Let z = -47 + 32. Let i = h + z. Is i a multiple of 4?
False
Let y(z) = -481*z - 440. Is 3 a factor of y(-2)?
True
Suppose -843 = -5*r - h + 2*h, h - 837 = -5*r. Is 24 a factor of r?
True
Let s(j) = -j**3 - 5*j**2 + 10*j. Let i(n) = 2*n**3 + 10*n**2 - 21*n - 1. Let f(p) = 3*i(p) + 7*s(p). Is 7 a factor of f(-7)?
False
Let j(r) = r**3 + 19*r**2 + 13*r. Let x(d) = -9*d + 27. Let m be x(5). Does 15 divide j(m)?
True
Let o(m) = 5*m + 520. Is o(-26) a multiple of 8?
False
Let b = 11 + -22. Let x = b - -14. Suppose -x*g + 51 = -3. Does 5 divide g?
False
Let z = -1143 + 1263. Is z a multiple of 8?
True
Let j = -100 - -50. Let g = -180 + 76. Let f = j - g. Is f a multiple of 11?
False
Does 15 divide ((-290)/15)/(-2 - (-92)/48)?
False
Suppose -56*k = 3623 - 104703. Does 19 divide k?
True
Let w = -429 + 840. Suppose 48*q - w = 45*q. Does 25 divide q?
False
Let n = 36 + -33. Suppose -n*a + 364 = a. Is 13 a factor of a?
True
Suppose -6*w + 3*w = 0. Let n be (w/((-2)/(-2)))/2. Suppose n = -2*k - 3*k + 70. Is k a multiple of 4?
False
Suppose 4*x = -3*w - 3 + 2, -4*x = -3*w + 7. Does 4 divide ((-72)/(-14))/(x/70*-5)?
True
Let w(v) = -9*v - 89. Is w(-13) a multiple of 14?
True
Let g be -445 + (-4)/12 + 5/(-3). Is 2 - (2/8 + g/12) a multiple of 9?
False
Let y = 611 + -182. Is y a multiple of 11?
True
Let u = 26 - 19. Suppose -u*b - 29 = -71. Is 6 a factor of b?
True
Let i be 716/18 - (-4)/18. Let o = i - -10. Let f = o - 29. Is 21 a factor of f?
True
Suppose 14 = -2*w - 0*w - 4*d, 26 = 2*w - 4*d. Suppose 6 = 5*z - w*z. Suppose -2*s + 3*c = 3*s - 217, -2*c + 115 = z*s. Is 17 a factor of s?
False
Let i(k) = 28*k - 2. Let z(j) = -j**3 + 11*j**2 + 14*j - 17. Let q be z(12). Let a be ((-7)/(q/(-2)))/2. Does 13 divide i(a)?
True
Let h(j) = -38*j**2 + 1. Let o be h(-1). Let t = o + 36. Is 2 - t - (-58 + 1) a multiple of 15?
True
Let b(l) = 134*l - 205. Is b(5) a multiple of 31?
True
Suppose -o - 4*o = 20. Is 9 a factor of 411/9 + o/6?
True
Let y(p) = -p**2 - 44*p - 2. Does 56 divide y(-20)?
False
Let v(l) be the second derivative of l**4/12 + 2*l**3/3 - 2*l**2 - 4*l. Is 14 a factor of v(8)?
False
Let l be 0*(3/6)/(-1). Let u = 9 + l. Let b = u + 0. Is b a multiple of 4?
False
Let v(q) = 13*q**2 - 11*q - 12. Let j be v(5). Suppose 7*r = 10*r - j. Is 26 a factor of r?
False
Let t be 5 + (-6 + 3)*-1. Is 7 a factor of 1144/36 + t/36?
False
Let m(g) = -g**3 + 8*g**2 + 9*g. Suppose 3 = 2*k - 11. Is 4 a factor of m(k)?
True
Let b(p) = -p**3 + 15*p**2 + 2*p - 2. Let v be b(15). Suppose -168 = -4*x + v. Is 18 a factor of x?
False
Let m(q) = q**3 + 10*q**2 + 12*q + 12. Suppose -4*y = -9*y - 40. Let c be m(y). Is c/(-7)*35/(-10) a multiple of 11?
True
Let l(x) = 3*x**3 + 8*x**2 + 7*x - 7. Let h be l(-4). Let w = -71 - h. Does 11 divide w?
False
Let j(z) = -z**3 - 5*z**2 - 7*z - 6. Let t be j(-3). Is (-26)/39 + (-866)/t a multiple of 32?
True
Suppose 2*v + 1010 = 3*m - 3020, m - 1347 = -3*v. Is 24 a factor of m?
True
Let u = -15 + 15. Let o be (-2 - 2) + 0 + u. Is 16 a factor of (-3)/12*o + 15?
True
Let f = -15 - -18. Suppose f = 3*h - 12. Is (-8)/h*450/(-12) a multiple of 20?
True
Let s be -2 + 1 + (9 - 5). Suppose -m = s*m - 20. Suppose m*h - 73 = 217. Is h a multiple of 15?
False
Suppose 6*z - 21 = 3*z. Let i = z - -10. Suppose -2*w + f = 2*f - i, 0 = 5*w + 5*f - 50. Does 7 divide w?
True
Suppose 2*z - 3968 = 11*i - 13*i, -5*z + 9911 = 2*i. Is 34 a factor of z?
False
Let q(t) = 2*t**2 - 5*t - 4. Let s be q(-1). Suppose 0 = s*c - 3*u - 4 - 368, 2*u + 128 = c. Is c a multiple of 13?
False
Let k(f) = f**3 + 7*f**2 + 8*f + 8. Let z be k(-4). Let q = z - -148. Is q a multiple of 43?
True
Suppose 4*p + 576 = 12*p. Is p a multiple of 6?
True
Suppose 2*g = 3*g - 3*u - 172, -g - 5*u + 212 = 0. Suppose 53 + g = 6*y. Is y a multiple of 16?
False
Suppose 3*b + 8835 = 18*b. Is b a multiple of 31?
True
Let m(f) = -21*f + 3. Let p(n) = -n**2 - 6*n + 7. Let j be p(-7). Suppose j*s + 6 = -2*y + s, -6 = 2*y - 3*s. Is m(y) a multiple of 22?
True
Suppose 3*n + 24 = 267. Suppose -86 = -j + n. Does 19 divide j?
False
Suppose -2*g + 2*k = -176, 2*g + k - 90 = g. Is 3 a factor of g?
False
Suppose 0 = 5*q + 5*m - 120, m + 2*m - 97 = -4*q. Is (-44)/55*q/(-1) a multiple of 20?
True
Let r = 47 - 32. Let l(j) = -j**3 + 15*j**2 + 4*j - 15. Is 9 a factor of l(r)?
True
Let j = -65 + 93. Let w = 50 - j. Is 10 a factor of w?
False
Is 40 + 1371 + (-26)/(-2) a multiple of 18?
False
Suppose 0 = -3*j - 5*a - 16 - 9, -3*j - 15 = 3*a. Let c(n) = n**2 - 2. Let m be c(j). Does 24 divide 46 - (m + 0)/1?
True
Suppose -2*c + c - 74 = 0. Let j = 131 + c. Suppose -3*s - j = -3*t, 0 = -2*t + 3*s - 8*s + 3. Is 14 a factor of t?
True
Suppose -18 = -3*o - 6. Let m be (3 - (7 - o))/1. Is 2/(2/(m - -20)) a multiple of 18?
False
Let x(c) be the second derivative of -c**2 - 1/12*c**4 - 3/2*c**3 - 4*c + 0. Is x(-6) a multiple of 14?
False
Suppose -716*d - 102 = -718*d. Is 18 a factor of d?
False
Let c = -777 - -1157. Suppose -7*n - 5*r = -2*n - c, -r = 1. Let z = -43 + n. Is 17 a factor of z?
True
Let w(u) = u**2 + 3*u + 2. Let a be w(-4). Suppose 0 = -2*d + a*d - 8. Does 2 divide d?
True
Let j(v) = 15*v - 21. Let q be j(10). Let s = q - 38. Is 13 a factor of s?
True
Suppose 9009 = 14*z - 3*z. Does 22 divide z?
False
Let x(a) = 3*a**2 + 20*a + 16. Let o be x(-7). Suppose -o*u + 15*u = -200. Is u a multiple of 5?
True
Suppose 565 - 61 = 8*k. Is k a multiple of 2?
False
Suppose -8*n = -10*n - 20. Let c(z) = z**3 + 10*z**2 + z + 3. Let p be c(n). Let s = 5 - p. Is 8 a factor of s?
False
Let v(k) = 5*k**2 + 7*k - 29. Is 18 a factor of v(-11)?
False
Suppose -z = -w - 80 - 3358, -3*z = -4*w - 10314. Is 128 a factor of z?
False
Let c(a) = -a**3 + 2*a**2 + a. Let p be c(2). Let n = p - 2. Does 10 divide (25 - (n - -3)) + 1?
False
Let o(k) = 15*k**2 - 6*k - 6. Is o(-2) a multiple of 3?
True
Let g = -78 + 121. Suppose c + 38 = -5*x, 217 = -5*c + 2*x + 81. Let h = g - c. Is h a multiple of 21?
False
Let x(b) = -b**3 - 12*b**2 + b + 8. Let v be