+ 9 = -0*q + 4*q, -5*q = -4*z + j. Is z a multiple of 5?
False
Suppose -3*v - 2 = -v. Let b = 57 + -55. Does 11 divide -44*(v + b/8)?
True
Let h = 43 - 13. Suppose -u + h = -12. Is 21 a factor of u?
True
Suppose -2*z = 3*z. Suppose -3*q - 15 = 0, 4*q + 10 = -2*f - z*q. Suppose 158 = f*o - 2*i, 3 = i + 2. Does 13 divide o?
False
Let f be 0 + 2 + -5 - -4. Is 9 a factor of -25*(f + 0)*-1?
False
Let x = -32 + 36. Is x even?
True
Suppose -f - 2*f - 5*o = -283, -2*o - 109 = -f. Is 9 a factor of f?
False
Suppose -5*k + 48 - 8 = 0. Let o(t) = 6*t - 2. Let p be o(k). Let y = p - 15. Is 13 a factor of y?
False
Let h(x) = 2*x**3 + x**2. Let y be h(1). Let i = -1 - y. Let s = i + 11. Is 3 a factor of s?
False
Suppose -f + 3*f - 34 = 0. Is f a multiple of 17?
True
Suppose o - 2*w = -12, -5*o + 3*w - 7*w = -10. Let x = 0 - o. Is -1 + -3 + x - -11 a multiple of 5?
False
Let d(v) = -v**2 + 7*v - 4. Let c be d(4). Is c/((-84)/45 + 2) a multiple of 17?
False
Let q(j) = -j**2 + 5*j + 3. Let y be q(6). Let l be (10/4)/((-1)/(-2)). Let f = l - y. Does 4 divide f?
True
Let n = 198 - 106. Is n a multiple of 27?
False
Let s be -4 - 3/((-9)/3). Let b be -2 + s + -2 + -11. Is (-112)/(-6) - b/(-27) a multiple of 10?
False
Suppose -2*x + 202 = 4*u, 2*x = 2 - 0. Let l(q) = q**3 - 7*q**2 + 2*q + 6. Let d be l(6). Let v = u + d. Does 16 divide v?
True
Let j(a) = 14*a - 14. Does 8 divide j(4)?
False
Let b = -32 - -286. Does 10 divide b?
False
Let j(f) = -f**2 + 28*f + 21. Does 27 divide j(13)?
True
Let o = -171 - -261. Suppose -3*b + 6*b = o. Does 8 divide b?
False
Suppose -4*o + 12 = -0*o. Let d(t) = -o*t**3 + 8*t**2 + 3*t - 2 + 2*t**3 + 2*t**3. Is 13 a factor of d(-3)?
False
Let u be 6/3 + -4 - -10. Let y(w) = w**3 - 6*w**2 - 4*w + 7. Is 27 a factor of y(u)?
False
Let a = -57 - -117. Is a a multiple of 10?
True
Let v = 16 + -18. Is 21 a factor of (-106)/(-2*v/(-2))?
False
Suppose 72 = -3*h + 225. Is h a multiple of 17?
True
Let x be (-6)/(-21) + 355/7. Let g be (-3 - -2)*0/2. Suppose g*o = -o + x. Is o a multiple of 18?
False
Let i = -112 + 142. Is 27 a factor of i?
False
Let r be -34 + 6*(-2)/3. Let w be 7*9 - (2 - 2). Let o = r + w. Is 14 a factor of o?
False
Let i(p) = -p + 6. Let c be i(4). Suppose -3*m = 2*l - 14, -c = m + 5*l - 11. Let t(g) = g**2 + g + 1. Is t(m) a multiple of 11?
False
Let f = -92 - -56. Let w be (-110)/6 - 2/(-6). Let g = w - f. Is 9 a factor of g?
True
Let g be -5*(1 + (-6)/3). Let q(v) = -v - g + 13*v + 0*v + 0. Is q(5) a multiple of 18?
False
Suppose n = 2*i + 4*n - 9, n = i + 3. Let c = 30 - i. Is 11 a factor of c?
False
Let z(o) = -o**3 - 8*o**2 + 9*o + 5. Let d be z(-9). Suppose 4*a - 1 = -9, d*q = 5*a + 70. Suppose 0 = 5*y + q - 72. Is 12 a factor of y?
True
Suppose 288 = -0*a + 4*a. Is 25 a factor of a?
False
Let p(z) = -z**3 - z**2 - z + 51. Is p(0) a multiple of 17?
True
Let q(n) = 10*n**3 + n**2 - 2*n + 1. Is 27 a factor of q(2)?
True
Let j(y) = y**2 - 6*y - 2. Let t be j(6). Let k = 23 + t. Is k a multiple of 8?
False
Suppose 2*s = s + 39. Let a(r) = r**2 - 19. Let i be a(0). Let x = s + i. Is 8 a factor of x?
False
Let f be (-4 - 1)/(2/22). Suppose 4*b = -3*k - 25 - 70, 0 = -4*k + 12. Let o = b - f. Does 14 divide o?
False
Let z(l) = l**2 - l - 6. Is z(7) a multiple of 11?
False
Let k(c) = -10*c**3 + 4*c**2 + 14*c - 21. Let m(h) = 3*h**3 - h**2 - 5*h + 7. Let a(b) = -2*k(b) - 7*m(b). Let o be a(-6). Let z = o + -87. Is 19 a factor of z?
False
Let z = 146 - 38. Is 29 a factor of z?
False
Let d(g) = g**3 + 3*g**2 - 3*g - 3. Let x be d(-3). Suppose -2*a = 2*u - x*a + 16, 4*u = 4*a - 12. Is 3 - 1 - (-16 + u) a multiple of 8?
True
Let r be 0*3*1/6. Let b be (-9)/(-4 - -1) + r. Suppose 5*x - 3*z - 51 = z, -b*z + 58 = 5*x. Is x a multiple of 4?
False
Let m = 13 - -9. Suppose -2*l - 2 + m = 0. Does 2 divide l/4*(-24)/(-15)?
True
Suppose -2*o - 4*b = -9*b - 52, -2*o = 3*b - 68. Does 8 divide o?
False
Let u = 78 - -126. Suppose -5*d = -d - u. Is d a multiple of 17?
True
Let n be 12*(-2)/(-1 - 5). Is n/8 + 26/4 a multiple of 2?
False
Suppose 2*g = -14 - 22. Let i be (-4)/g - (-140)/18. Suppose -i = -0*x - x. Is x a multiple of 8?
True
Let o(b) = b**3 + 6*b**2 + 2*b - 4. Suppose -5*j = 5*g + 85, 5*g + 27 = -2*j - 22. Let f be j/8*24/9. Is o(f) a multiple of 10?
True
Let m(t) be the first derivative of 3*t**2/2 + 4*t - 1. Is m(4) a multiple of 11?
False
Let l(f) = f**3 + 11*f**2 + 9*f - 8. Let q be l(-10). Does 24 divide q - 344/(-4 - 0)?
False
Let t(p) = -5*p - 3. Is t(-6) a multiple of 9?
True
Suppose 26*n - 67 = 25*n. Does 21 divide n?
False
Let f = 8 - 8. Suppose f*z + 15 = 3*z. Does 4 divide z?
False
Let h(d) = 9*d - 9. Let z(c) = -55*c + 55. Let x(k) = 25*h(k) + 4*z(k). Suppose 11 = r - 2*t, 2*r - 20 = r + 5*t. Is x(r) a multiple of 7?
False
Suppose 5*o + 21 = 66. Let l be 12 - o/6*2. Is 10 a factor of 7 - 1/((-3)/l)?
True
Suppose -x + 2*h = -8, -3*x + 2*h + 0 = -12. Suppose -6*m + 2*m = x*b + 18, -13 = 3*m + b. Is m/5*5/(-2) even?
True
Suppose 5*p + 56 = -2*x, -4*x - 4 = 3*p - 2*p. Suppose 0 = 4*k - 3*h + 65, 8*k - 5*h = 3*k - 75. Let t = p - k. Is 4 a factor of t?
True
Let q = 128 - 90. Is q a multiple of 19?
True
Is (-54)/(-8) + -3 - (-3)/12 even?
True
Let p be 0/1 + 4 + -1. Let l(z) be the third derivative of z**4/6 + 4*z**2. Does 12 divide l(p)?
True
Let r be 1 - 0/(-2) - 13. Let a = 25 - 45. Let i = r - a. Is i a multiple of 4?
True
Suppose 2*i = 7*i - 5. Does 5 divide 1/1 - (-5 + i)?
True
Let n = 1 - -1. Let z be (0/n - -33) + 2. Let o = z + -22. Does 13 divide o?
True
Suppose 3*r + 5*k - 128 = 16, 0 = -5*r + 4*k + 277. Is r a multiple of 8?
False
Let a = -8 - -11. Suppose -2*u + a*l = 5 - 13, 2*u = -5*l + 24. Is 7 a factor of u?
True
Let h(p) = -p**3 + 7*p**2 - 5*p - 1. Does 9 divide h(4)?
True
Let s(h) = 5*h**3 + 7*h**2 - 6*h - 4. Let u(l) = -l**3 + l. Let y(o) = s(o) + 4*u(o). Suppose c = -4*q - 19, 5*c + 49 = -4*q + 2. Is 7 a factor of y(c)?
False
Suppose -9 = -5*o + 2*o. Suppose 2*g + 2 = 4*t, -t + 3 = -o*g - 0*g. Let v(j) = j + 6. Is v(t) a multiple of 6?
True
Let q(v) = -v**3 - 2*v**2 - 2*v - 1. Let x(s) = s**3 - 5*s**2 - 7*s + 4. Let i be x(6). Let d be q(i). Suppose -31 = -d*r + 17. Is r a multiple of 6?
False
Let y be (-10)/4*32/(-20). Suppose -4*m = -5*t + 15, -13 = -y*t + 2*m + m. Let k = 35 - t. Is 14 a factor of k?
True
Suppose 0 = 5*t + 3*o - 16, o = -4*t - o + 12. Suppose 9 = -2*z - 5*c + 49, 5*z - 4*c = 34. Suppose z = -t*d + 3*d. Does 10 divide d?
True
Let i be (-10)/(-55) + 62/22. Let h be i - 2*(-2)/4. Is h/(-24) - 62/(-12) a multiple of 5?
True
Let s = -117 + 198. Does 9 divide s?
True
Let q = -8 + 10. Suppose q*u + 150 = 7*u. Is u a multiple of 10?
True
Suppose -58 = -2*z + 86. Does 36 divide z?
True
Suppose 4*p = -p + 215. Is p a multiple of 15?
False
Let d(t) = -t**3 + 5*t**2 + 7*t + 3. Let l be d(6). Suppose n = 49 - l. Suppose 2*q = -3*q + n. Is 3 a factor of q?
False
Let t(c) = 11*c - 15. Does 21 divide t(9)?
True
Let g = -42 - -24. Let j = 38 + g. Is j a multiple of 20?
True
Let u(p) be the second derivative of p**4/12 - 5*p**3/3 + 2*p**2 + 3*p. Let d be u(10). Suppose -23 = -3*b - d*h, h + 47 = 3*b - h. Is b a multiple of 5?
False
Suppose -3*x + 12 = 0, -5*t + 4*x - 6 = -0*x. Suppose 0 = 3*c + t*c + 5*d - 125, 4*c - 4*d = 60. Does 5 divide c?
True
Suppose 3*r + 3*m + 300 = 0, -106 = r - 3*m + m. Let o = -71 - r. Is o a multiple of 10?
False
Suppose -5*p = 2*d - 146, 0*d + 87 = 3*p + d. Does 2 divide p?
True
Let r(t) = 10*t**2 + 0*t**2 - 6*t**2 + t**3 - 3*t - 4. Does 3 divide r(-4)?
False
Let y = 1 + 2. Suppose 11 = -y*v + 5. Is -3 - -1 - v - -18 a multiple of 7?
False
Suppose 3*c - 5*c = -18. Suppose -3*s - c = 0, 5*s = 2*l - 89 - 172. Let g = l + -87. Is g a multiple of 18?
True
Suppose 0 = -s - w, -2*s - 2*s = -w. Let f(m) = -2 - m**2 + m + 20 + 4*m**3 - 3*m**3. Is 18 a factor of f(s)?
True
Suppose -67 = -h + 3*v, -3*h = -0*h + 4*v - 201. Is h a multiple of 18?
False
Suppose -3*l = 8 + 1. Let p(v) = v + 7. Let b be p(l). Is (-124)/(-10) - b/10 a multiple of 12?
True
Let y(x) be the second derivative of -x**3/6 + 3*x**2/2 + 3*x. Let b be y(0). Suppose 38 = b*d - d. Does 5 divide d?
False
Suppose -4*k = -2*k - 144. Does 24 divide k?
True
Let t(f) = f**2 - 11*f + 14. Let z be (-22)/((1 + -3)*1). Is 14 