t + 3. Is z(c) a multiple of 9?
True
Suppose 0 = -3*r - 9 - 0. Let k be (-2 - r)*-32 - 0. Let o = -18 - k. Is o a multiple of 7?
True
Suppose -3*b - 3*f = -204, 3*b - 208 - 2 = -5*f. Is 18 a factor of b?
False
Suppose i + 0*i = 25. Suppose -3*g + 6*k - 3*k + 27 = 0, -5*g + 2*k + 42 = 0. Let q = i - g. Does 13 divide q?
False
Let j(c) = -4*c + c**2 + 10 - 3*c + 3*c. Let h = -35 + 42. Is j(h) a multiple of 11?
False
Let k = 282 + -195. Suppose 36 = c - k. Is c*(-2 - 14/(-6)) a multiple of 15?
False
Suppose -3*f + 64 = -26. Is 15 a factor of f?
True
Suppose -190 = -5*u + 5*d, -3*u - 4*d + 3*d + 106 = 0. Is u a multiple of 9?
True
Does 20 divide (-2)/6 + (-2197)/(-39)?
False
Let n(j) = -1. Let t(q) = q**2 + q - 6. Let u(b) = 5*n(b) - t(b). Let w be u(2). Is 2/w - (-97)/5 a multiple of 12?
False
Suppose 3*n = -3*x + 159, 0 = -n - 3*n + 2*x + 236. Let l be 0 + n - (-1 + 1). Let o = l - 32. Does 25 divide o?
True
Suppose 2*y - 8 = i, 0 = -2*y - 3*i + 8*i. Suppose y*b + 5*q = 170, 3*q - 8*q + 65 = 2*b. Is b a multiple of 8?
False
Suppose -3*k + 12 = 0, o + 8 = 3*o + 4*k. Let t be (-6)/(-2) + (-7 - -5). Is 6 a factor of 46/8 - t/o?
True
Let b = 18 - 32. Let z = 40 + b. Does 13 divide z?
True
Suppose -5*k + l + 695 = -4*l, 5*k = 4*l + 690. Let y = -84 + k. Is y a multiple of 17?
False
Suppose -5*w + 2*f = 63, f + 27 = -w + 5*f. Let s = w + 53. Is s a multiple of 13?
False
Let n(p) = 2 - 3*p**2 + 2*p**2 + 7*p - p**3 + 4. Is n(-5) a multiple of 26?
False
Let b(x) = -x**2 - 6*x - 1. Let g be b(-7). Let u = g + 8. Suppose y + u*y - 15 = 0. Does 7 divide y?
False
Let y(j) = -j**2 - 11*j + 8. Is y(-6) a multiple of 19?
True
Let o be 12/42 + 318/14. Let m = o + -10. Does 13 divide m?
True
Let i(t) = 4*t**3 + 3*t**2 - 2*t - 1. Is 13 a factor of i(2)?
True
Let u = -256 - -421. Is u a multiple of 15?
True
Let b = 256 + -172. Is b a multiple of 19?
False
Let i(d) = 2*d**2 - 6*d - 2. Let j(x) = -x**2 + 6*x + 1. Let l be j(6). Suppose 9 + l = 2*y. Is i(y) a multiple of 18?
True
Let s be 0*((-12)/9 - -1). Let w(u) = -5*u + s + 0 + 6 + 4*u. Is w(-9) a multiple of 15?
True
Let p = -436 + 661. Suppose 15 = -7*q + p. Is q a multiple of 10?
True
Let p(q) = q**2 - 3*q - 4. Let d be p(3). Is 6 a factor of 88/5 - d/10?
True
Let s(m) = -5*m + 1. Let j = -28 + 19. Does 12 divide s(j)?
False
Suppose 0 = v - 4*v. Suppose -4*t + 0*t + 168 = v. Does 14 divide t?
True
Let d(j) = 5*j**2 + 5*j. Is d(-6) a multiple of 15?
True
Suppose -2*w = -2*u + 4*u - 138, 0 = -2*w - 2. Suppose -3*y + u = 2*t, -y + 18 = t - 6. Is 14 a factor of y?
False
Let l = 2 + 2. Suppose -l*c = -2*k - 58, -3*k = -5*c - 5*k + 68. Is c a multiple of 5?
False
Let a = -22 - -13. Let d = 22 + a. Does 13 divide d?
True
Let m = -48 - -71. Let r(u) = u - 5. Let b be r(6). Let v = b + m. Is v a multiple of 12?
True
Let i be 0 + -1 - (318 + -1). Does 10 divide i/(-27) + (-2)/(-9)?
False
Suppose -3*z + 2*z + 53 = 0. Let g = -37 + z. Is g a multiple of 4?
True
Let q be -13*(2 + -3 - 0). Suppose 0 = f - q - 3. Does 16 divide f?
True
Suppose -43 = 3*a - 1. Let x = -7 - a. Suppose 2*w - 3*k - 17 = -0, 4*w + 3*k - x = 0. Is 2 a factor of w?
True
Let o(u) = -122*u**3 - 1. Is 11 a factor of o(-1)?
True
Is 3 a factor of 1/2 + (345/6 - 1)?
True
Let d(y) = y**3 - y + 324. Let x be d(0). Suppose 2*t - x = -2*t. Suppose -2*i + m + t = 0, 5*m - 4*m = -3*i + 109. Is 19 a factor of i?
True
Let x = 6 + -4. Let p(j) = 8*j**3 + 5*j**2 - 7*j + 4. Let g be p(2). Suppose -x*a - 26 = -g. Is 10 a factor of a?
False
Let b(l) = 8*l**3 - 2*l**2 + 6*l - 6. Is 30 a factor of b(3)?
True
Let s be 16/2*6/4. Let j = s + 4. Let l = j - 8. Does 4 divide l?
True
Suppose 5*q + w = 5, 0*q + 2*q + 2*w = -6. Suppose q*b - 3*z = 138, -2*z = 4*b - 0*b - 276. Is 23 a factor of b?
True
Suppose r = 3*r. Suppose r = 3*h + 15, -2*s + 5*h + 33 = 2*s. Suppose -s*o + 11 = d, -d = 2*o - 5*o - 6. Is 9 a factor of d?
True
Let h be (-1)/(-2) + 99/6. Suppose 4*g + 4*o + h = 3*g, -4*g - o - 8 = 0. Is g*4*15/(-2) a multiple of 15?
True
Let w(k) be the third derivative of k**5/40 - k**4/6 - k**3/6 - 2*k**2. Let h(d) be the first derivative of w(d). Is h(5) a multiple of 9?
False
Suppose 0*u - 4*u + 132 = 0. Does 11 divide u?
True
Let l be 3 + (-366)/(1 - 3). Suppose 0 = -3*p + p + 2*r + 136, -3*p = 3*r - l. Is 23 a factor of p?
False
Let c be (8/(-28))/(2/(-14)). Let y be 3 + (c + -3)/(-1). Let q(h) = 3*h**2 - 6*h + 3. Is q(y) a multiple of 7?
False
Let z(p) be the third derivative of p**6/120 - p**5/20 + p**4/8 + p**3/3 - p**2. Let d be 50/18 + (-2)/(-9). Is 11 a factor of z(d)?
True
Suppose -2*x + 148 = 4*t - 20, -3*t - 485 = -5*x. Suppose 2 = -4*f - x. Let k = -14 - f. Does 10 divide k?
True
Let s(o) = 2*o + 4. Let l be s(-3). Let q(g) = 8*g**2 + 3*g. Is 13 a factor of q(l)?
True
Suppose 16 = 2*m - 3*v, 5*m - 17 - 32 = 3*v. Suppose 5*x - m - 4 = 0. Suppose 0 = x*g + 2*g + 3*r - 226, 3*r + 103 = 2*g. Does 13 divide g?
False
Suppose -2*i + 120 = 2*i. Let v = i + -19. Does 5 divide v?
False
Let x(k) = 7*k**3 + 2*k**2 - 4. Is x(2) a multiple of 13?
False
Suppose -3*u + 15 = -3*d, 2*u - 8 = -2*u. Let l(f) = 7*f**2 + 3*f - 4. Is 14 a factor of l(d)?
False
Let k = 5 - 0. Let d(u) = -u**2 + 2*u - 3. Let v be d(k). Let t = v + 38. Is 8 a factor of t?
False
Suppose u + u + 4*w + 8 = 0, 3*w = -3*u. Suppose c = -a + 11, -c = u*c + 2*a - 64. Is c a multiple of 9?
False
Let n be 108/3 - 0 - -1. Let l be n/((-5)/2 - -3). Suppose -16 - l = -5*s. Does 8 divide s?
False
Suppose 5 = -4*s - 7. Let g(y) = -2*y**3 - 4*y**2 - y - 2. Is 13 a factor of g(s)?
False
Suppose 7*i - 8*i + 66 = 0. Does 4 divide i?
False
Let m(g) = -g**2 - 6*g - 5. Let h be m(-4). Suppose 7 - h = w. Suppose 0*p = 3*p - w*b - 58, 15 = 3*b. Does 10 divide p?
False
Let f(m) = 6*m**2 - 6*m - 4*m**2 - 2*m**2 - m**2 - 7. Let c be f(-6). Let i(q) = q**3 + 6*q**2 - 10*q + 1. Is i(c) a multiple of 18?
False
Suppose g - 135 = -100. Is 18 a factor of g?
False
Let u(o) = o**2 - 10*o - 6. Does 6 divide u(12)?
True
Suppose 118 = -5*v + 4*k, -5*v - 2*k = -0*v + 106. Is 21 a factor of 1*(-2 - (v - 3))?
False
Let c = 6 + -29. Let w = -17 - c. Is w a multiple of 4?
False
Suppose 132 = 3*q - 2*d - d, 4*d = -4*q + 184. Does 15 divide q?
True
Let q = -13 + 21. Let v = 5 - 3. Does 6 divide ((-6)/q)/(v/(-24))?
False
Let c be (-48)/6*(-9)/4. Does 7 divide 4/(-18) + 382/c?
True
Suppose -1116 = -13*z + 990. Is z a multiple of 25?
False
Let a = 11 - 7. Suppose -3*n - 9 = -2*u - 21, -2*n + a*u + 8 = 0. Suppose 7*z + 4*x = n*z + 58, -x + 108 = 5*z. Is z a multiple of 15?
False
Let h be (-15)/25 - (-69)/15. Suppose -h*s + 128 = -104. Is 30 a factor of s?
False
Let t = 36 - 22. Let u be (-4)/t - (-32)/14. Let g = u - -6. Is 8 a factor of g?
True
Suppose 0 = -4*m - 2*m + 522. Is m a multiple of 6?
False
Let r(j) = 4*j - 15. Does 4 divide r(6)?
False
Does 6 divide (28/(-6) - -4)*-18?
True
Suppose -5*r = -5 - 10. Is 2 a factor of r?
False
Let o(b) = 4*b**3 + 2*b**2 - b. Let j be o(1). Let d be ((-12)/(-8))/(2/4). Suppose -y - z - 1 + 32 = 0, d*z - 163 = -j*y. Is y a multiple of 12?
False
Suppose 3*x = 8*x - 20. Suppose 0 = -2*c - x*c + 360. Is 18 a factor of c?
False
Let w(i) = i + 2. Suppose -3*x + 7*x - 12 = 0. Suppose 2 + x = f. Is 7 a factor of w(f)?
True
Let m be (-56)/(-16) + (-6)/(-4). Let g = -2 + m. Is 2 a factor of g?
False
Let b be 2/3 + (-123)/9. Let a = 70 + b. Is 16 a factor of a?
False
Let q(y) = 15*y**3 + y**2 + 5*y - 2. Let n be q(6). Let a be (-3)/(-4) + n/32. Suppose -5*z + z = -a. Is z a multiple of 10?
False
Does 4 divide (-1 - 13)*1/(-2)?
False
Let w = -2 + 2. Suppose w + 20 = 5*v. Is 4 a factor of v?
True
Suppose 3*m - 109 - 74 = 0. Let o = 85 - m. Is o a multiple of 11?
False
Suppose -17*m = -16*m - 57. Is 29 a factor of m?
False
Let t(k) = -6*k - 42. Does 12 divide t(-15)?
True
Let r(g) = 2*g**3 - 5*g**2 + 5*g - 3. Let q = -1 - -2. Suppose s - q = 0, -3*h + 2*s + 2*s + 5 = 0. Is r(h) a multiple of 17?
False
Let x = -8 - -20. Is 6 a factor of x?
True
Let t(v) be the second derivative of v**4/6 + v**3/3 - 7*v**2/2 + 2*v. Let r be t(-6). Suppose -2*f + 7*f - 2*w = r, -5*w - 50 = -5*f. Is 11 a factor of f?
True
Let v be (-1000)/(-45) - (-4)/(-18). Let m = v - 14. Let t = m - 2. Is t a multiple of 3?
True
Let m = 330 - 189. Is m a