 k(t) = 32*t + 2. Let i be k(2). Suppose 0 = -11*w + 9*w + i. Is 33 a factor of w?
True
Suppose 2*l + 2*l = 0. Suppose 2*w - 4 = l, -2*w - 58 = -4*o + 3*w. Does 17 divide o?
True
Let b(t) be the third derivative of t**5/60 - 5*t**4/24 + t**3/6 - 2*t**2. Let v be b(7). Is v/20*4*4 a multiple of 10?
False
Suppose -8*h = -4*h - 8. Suppose h*t = -0 - 4. Is t - (0 + 0) - -20 a multiple of 9?
True
Suppose 3*c + 27 = -0*c. Let l = -5 - c. Is 4 a factor of l?
True
Let s = -16 - 15. Let b = -17 - s. Is b a multiple of 7?
True
Suppose 0 = -z + 4*s + 135, z - 2*s - 100 - 29 = 0. Is 14 a factor of z?
False
Let s(l) = -2*l + 20. Does 3 divide s(-5)?
True
Suppose -4*s - 103 = -5*i + 2, 4*s + 54 = 2*i. Is i a multiple of 8?
False
Let g = 33 + -15. Suppose -4*r = -3*j + 88, -5*r + 2*j + 2*j - 110 = 0. Let x = g - r. Is 15 a factor of x?
False
Let u(s) = -2*s + 5. Let v be u(-5). Suppose -3*g = v + 15. Let r = g + 36. Is r a multiple of 9?
False
Let u be -5*(-3 + (-6 - -3)). Let m(w) = -w**3 + w**2. Let f be m(1). Suppose u = 3*s - f. Does 7 divide s?
False
Let h = -26 - -47. Does 7 divide h?
True
Let u = -135 + 69. Let w = -43 - u. Is 7 a factor of w?
False
Let y = -21 - -15. Is (-4)/y + 136/12 a multiple of 5?
False
Let z be 87/(-6) - (-3)/(-6). Does 16 divide ((-3)/(-3))/1 - z?
True
Suppose -42 = 2*h - h. Let i = -26 - h. Suppose -u = -i + 6. Is 7 a factor of u?
False
Let y(m) = m**2 - 6*m - 10. Let q be y(-9). Suppose -5*a + 211 = d, 2*d = 3*a + d - q. Does 21 divide a?
True
Let l = -116 - -244. Is 32 a factor of l?
True
Let j(z) be the first derivative of -3*z**2/2 + 3*z - 4. Does 15 divide j(-9)?
True
Suppose 0 = 4*r - r - 147. Suppose -39 = -4*x + r. Does 11 divide x?
True
Let b(g) = -g**3 + 5*g**2 + 7*g. Let v be b(6). Let z be (-8)/v*(-1 - 2). Suppose -h + 85 = z*h. Is 5 a factor of h?
False
Let l(w) = w**3 + 6*w**2 + w + 1. Let y be l(-4). Suppose -x + y = 5*a, 11 + 9 = x + 2*a. Is 14 a factor of x?
True
Let m(z) = -z**3 + 10*z**2 + 8*z + 16. Is 24 a factor of m(10)?
True
Suppose 0 = 5*m - 10, 0*f - 2*f + 110 = 4*m. Does 2 divide f?
False
Let g(i) = 3*i**2 - 18*i + 12. Does 47 divide g(12)?
False
Let p(q) = 6*q - 3. Let b be p(12). Let r = b + -36. Is r a multiple of 5?
False
Let a = 689 + -436. Is a a multiple of 48?
False
Suppose -2*a = 4*y - 14 + 2, 4*a + 4 = -y. Suppose y*g - 5*u - 35 = 0, 2*g + 2*u + u - 1 = 0. Suppose 2*s = -3*s + 15, -3*t - g*s = -69. Does 9 divide t?
True
Let c be (6/(-3))/1*14. Let q = -18 - c. Does 10 divide q?
True
Let v be (-294)/(-4)*(8 - 10). Let w = 210 + v. Does 21 divide w?
True
Let n(h) = h**2 - h - 2. Suppose 4*k - 5 = 3*k. Is 9 a factor of n(k)?
True
Let f(c) = c**3 - 13*c**2 + 15*c - 3. Is f(13) a multiple of 25?
False
Let h = -38 - -87. Is h a multiple of 10?
False
Let x = 51 + -94. Let r = -113 - -173. Let z = r + x. Is 17 a factor of z?
True
Let t(c) = 20*c**2 - c - 1. Does 5 divide t(-1)?
True
Let l(u) = u**3 - 4*u**2 + 4*u. Let p be l(3). Let g(d) = 0*d + p + 4*d - 1. Is g(2) a multiple of 4?
False
Is 9 a factor of (-2 + -2 + -23)*-1?
True
Let y be ((-187)/(-22))/((-1)/(-6)). Let b = -8 + y. Is b a multiple of 20?
False
Suppose v - 24 = 2*v. Let x = v - -43. Is x a multiple of 5?
False
Suppose 3*j - 99 = 3*o, -o = 2*o - 9. Let n = -18 + j. Is 9 a factor of (-1)/(2*(-1)/n)?
True
Let w(m) = -20*m - 20. Does 30 divide w(-7)?
True
Let l be (-3 + -25)*(-6)/8. Suppose s + 11 = -0*s - 3*x, 3*s - 3*x = -l. Let k(g) = g**3 + 7*g**2 - 8*g + 4. Is 3 a factor of k(s)?
False
Let f = 32 - 21. Is f a multiple of 11?
True
Suppose -n = -5*d + n + 327, -4*n + 191 = 3*d. Suppose -6*h + h - d = 0. Let s = h - -18. Does 2 divide s?
False
Let y(i) = 22*i. Let s be y(4). Suppose -s = -4*p + 20. Does 13 divide p?
False
Is 460/16 + (-1)/(-4) a multiple of 29?
True
Let c be (-9)/6 + (-34)/(-4). Suppose 5*k - c = 23. Is (-275)/(-7) - k/21 a multiple of 10?
False
Let x be (3 - 3)/(2/(-1)). Suppose 2*f + x*f + 78 = 3*q, -3*q + 93 = 3*f. Is q a multiple of 15?
False
Suppose -2 = -h + 2. Suppose -87 = -5*w + c, -4*w = -0*c + h*c - 60. Is w a multiple of 17?
True
Let u(x) = -4*x. Does 4 divide u(-3)?
True
Let s(v) = -2*v**2 - 8*v + 4. Let g = -3 + 12. Let u(j) = 5*j**2 + 16*j - 8. Let b(r) = g*s(r) + 4*u(r). Is 7 a factor of b(5)?
True
Suppose -5*x - 2*m - 318 = -m, 4*x = -2*m - 258. Let c = 105 + x. Is 11 a factor of c?
False
Let r(d) = d + 3. Let x be (-1)/1 + 3/3. Let h be r(x). Let q = h + -1. Does 2 divide q?
True
Let n = 61 - -10. Is n a multiple of 11?
False
Let z = 25 - -2. Suppose j = 4*j - z. Is 6 a factor of j?
False
Let h be (3 - (-2 + 2))*-1. Is 6/3 + (-150)/h a multiple of 13?
True
Suppose 0*q - 138 = -q. Is 37 a factor of q?
False
Suppose 2*l - 18 = 12. Suppose -l = -5*z + 35. Is 10 a factor of z?
True
Let t = -33 + 151. Is 25 a factor of t?
False
Suppose v = 20 + 134. Is 22 a factor of v?
True
Suppose -l + 4*t = l + 2, -20 = 5*t. Does 14 divide 12/l*(-2 + -19)?
True
Let c(v) = v**2 - 2*v + 7. Is c(0) a multiple of 7?
True
Suppose 0 = 3*d - 3*c - 21, d - 2*c - 2*c - 10 = 0. Let w be (-38)/(-6) + 4/d. Suppose -92 = 3*f - w*f. Is 13 a factor of f?
False
Let w(t) = -12*t**3 - 3*t**2 - 5*t - 4. Is 18 a factor of w(-2)?
True
Let h(v) = v**2 + v + 25. Let s be h(0). Is 9 a factor of 90/s*20/3?
False
Let a(t) = -t**2 + 10*t - 7. Let o(l) = l + 3. Let s be o(3). Is a(s) a multiple of 16?
False
Is (0/3 - -7) + 1 a multiple of 3?
False
Let q be (-9)/3 - (-3 - 2). Suppose -q = -5*d + 83. Is d a multiple of 17?
True
Let a(n) = -n**2 - 15*n + 2. Let d be a(-15). Suppose 3*o + d*k - 328 = -0*k, 5*k - 428 = -4*o. Is o a multiple of 20?
False
Let b(k) be the first derivative of k**4/2 - 7*k**3/3 + 3*k**2 + 2. Is b(4) a multiple of 24?
False
Let a(p) = -p + 14. Is a(10) even?
True
Let n = 145 + -69. Is n a multiple of 14?
False
Let d(g) = -6*g**3 + 12*g**2 - 15*g + 10. Let h(c) = -7*c**3 + 12*c**2 - 15*c + 10. Let v(m) = -6*d(m) + 5*h(m). Does 17 divide v(11)?
True
Let p(u) = 2*u**3 + 2*u**2 + u + 4. Let z(w) = 2*w**3 + 3*w**2 + w + 5. Let v(o) = -4*p(o) + 3*z(o). Is 17 a factor of v(-2)?
False
Let o(z) = -z**3 - 5*z**2 + 2. Let k be o(-5). Let r = k - 0. Suppose -r*s - 55 = -3*b, -4*s + 37 = 2*b - 5*s. Is 9 a factor of b?
False
Suppose -3*t - 4*c = -5*t - 32, 2*t + 28 = 2*c. Let m = t - -34. Is 6 a factor of m?
False
Suppose 5*r + 25 = -0*r, 0 = 4*s + 4*r + 4. Suppose -s*j + 98 = -2*j. Is 12 a factor of j?
False
Suppose -3*d - 2*d = -4*s - 21, -5*s + 10 = d. Suppose -3*i = -3*u + 2*i + 143, d*i - 179 = -4*u. Is u a multiple of 16?
False
Let c(t) = 10*t - 1. Suppose 0*g - g + 3 = 0. Is c(g) a multiple of 12?
False
Suppose 5*h = 30 - 5. Suppose -5*f + 175 = h*g, 6 = -2*f + g + 79. Does 9 divide f?
True
Let t(q) = -3*q**3 - q**2 + 3*q - 6. Let r(y) = -y**3 + y**2 - y - 1. Let i(p) = -4*r(p) + t(p). Does 11 divide i(5)?
True
Suppose 2*z - 7*z + 5 = 0. Suppose 5*p + z + 4 = 0, 70 = 3*c - 4*p. Is c a multiple of 16?
False
Is ((-18)/(-10)*-2)/(6/(-20)) a multiple of 3?
True
Let u be ((-5)/(-2) + -2)*-2. Let w(s) = 26*s**2 - 2*s - 2. Is w(u) a multiple of 13?
True
Let j(n) be the first derivative of n**4/4 + 11*n**3/3 - 5*n**2/2 + 11*n - 4. Does 22 divide j(-11)?
True
Let h(j) = j - 1. Let t be h(5). Let k be (0 - -1) + 588/t. Suppose 4*f - 16 = -p + 5, 3*p - 5*f = k. Is p a multiple of 15?
False
Let p be 2 - (2 + (106 - 1)). Let u = -6 - p. Suppose 4*j - u = 89. Is j a multiple of 18?
False
Suppose w = -w + 4*t + 6, -4*w - t + 21 = 0. Suppose -4*k = -w*p, 4*k + 12 - 44 = -3*p. Is 3 a factor of p?
False
Let t = -26 - -10. Suppose 1 = v, -3*z - 6*v - 5 = -2*v. Let u = z - t. Is 5 a factor of u?
False
Let k(m) = -3*m + 7. Let h be k(-6). Suppose -l - 1 = -4. Suppose -r = 4*r + h, 139 = l*o + r. Is o a multiple of 17?
False
Let j = 64 - -129. Is 26 a factor of j?
False
Let d be 4/6*(10 + -7). Let h be (1/2)/(2/(-20)). Does 11 divide 11*h/((-5)/d)?
True
Let c be 0/(-1) + (-6)/6. Is 2/c*65/(-10) a multiple of 13?
True
Let u be (-3)/(-6) + (-9)/(-2). Let m(a) = 3*a + 1. Let p be m(3). Suppose -3*x - u*t + 12 = 0, -p - 8 = -3*x - 3*t. Is 9 a factor of x?
True
Let q(t) = -5*t**3 - t - 2. Is 20 a factor of q(-2)?
True
Let o(z) = -z**3 - 7*z**2 - 4*z + 25. Is 25 a factor of o(-10)?
False
Let y = 43 + 3. Does 9 divide y?
False
Let m = 41 + -23. Is 12 a f