5 divide c?
True
Let w(h) = -h**2 + h + 2. Let p be w(-1). Suppose 2*l + 2*l - a - 430 = p, -536 = -5*l + 2*a. Is 14 a factor of l?
False
Suppose -3*o - 20 = 346. Let k be (-10)/45 + (-68)/18. Is 12 a factor of o/(-5) - k/(-10)?
True
Suppose 3 = 5*d - 4*d. Suppose 0 = 4*i - 5*a - 73, -40 = 4*i - d*a - 111. Suppose 3 = -m, -i = -5*b + 3*b - 5*m. Is 6 a factor of b?
False
Let m be 9/36 - 990/(-8). Let u be 1 - (-2)/((-6)/(-261)). Let z = m - u. Does 9 divide z?
True
Let r be (-102)/(-27) - (-4)/18. Suppose 3*g = -r*f, -5*g = -2*f - f. Suppose 2*y = -g*y + 58. Does 11 divide y?
False
Let r(b) be the second derivative of b**4/6 - b**3/6 + 3*b**2/2 - b. Let x be 10*-2*1/(-5). Is r(x) a multiple of 14?
False
Is 14 a factor of 0/(-1) - (-90 + -8)?
True
Let x be 2 - 4/6 - (-26)/(-6). Let c(i) be the first derivative of i**3 - i**2 - 5*i - 2. Is c(x) a multiple of 6?
False
Suppose 63*w - 56*w - 728 = 0. Is 6 a factor of w?
False
Does 9 divide (-110)/(-4*(-3)/(-54))?
True
Let i(c) = c**3 + 11*c**2 - 11*c + 15. Suppose -2*w - w - 36 = 0. Does 2 divide i(w)?
False
Suppose 788 = 5*f - j - 1850, 5*j + 1046 = 2*f. Is f a multiple of 33?
True
Suppose j - 4*j = 3*q + 642, -666 = 3*q - 3*j. Let i = 458 + q. Suppose 0 = -2*w - 3*w + i. Does 16 divide w?
True
Let y be 1/(5/8)*-5. Let r(v) = -7*v**2 + 3*v - 5 - 4 + v - v**3. Is r(y) a multiple of 20?
False
Let m = -784 + 1120. Is m a multiple of 14?
True
Let j(m) = 149*m + 34. Let z be j(6). Let k = -608 + z. Is k a multiple of 32?
True
Let l = -32 + 36. Suppose -75 = l*a + 61. Does 4 divide 2 - (-2 + 4 + a)?
False
Let x(y) = y**2 - 2*y + 160. Does 23 divide x(19)?
True
Suppose 0 = 5*w - 3*t - 2038, -3*t + 144 = 2*w - 667. Is 7 a factor of w?
False
Let l = -205 - -493. Is 16 a factor of l?
True
Let i(c) = c**3 + 16*c**2 + 30. Let j(l) = -20*l + 4. Let k be j(1). Is 3 a factor of i(k)?
True
Suppose -5*m - 5*o = 0, 5*m + 5*o = o + 2. Suppose -9*i + 14*i = 15. Suppose 3*c - 42 = m*n, c - 6*c + 70 = i*n. Is 6 a factor of c?
False
Let h(a) = a**3 - 5*a**2 + 2*a - 5. Let u be h(5). Suppose -240 = -u*r - 0*r. Is r a multiple of 9?
False
Let h(n) be the second derivative of -n**8/6720 + n**7/504 + n**6/240 + n**5/120 - 3*n**4/4 + n. Let s(p) be the third derivative of h(p). Does 7 divide s(4)?
False
Let o be 146/12 + 4*(-2)/48. Suppose -4*w + 14 = w + 4*f, f = 4*w - 28. Let v = o - w. Is v a multiple of 3?
True
Let k(y) = -5*y**3 + 4*y**3 + 1 - 1 + 5*y**2 + 2*y. Suppose -5 = f - 10. Is k(f) a multiple of 4?
False
Let c(r) = -26*r - 27*r - 3*r**2 - 4 - r**3 + 47*r. Is c(-4) a multiple of 18?
True
Suppose -12*s - 1024 = -z - 8*s, 0 = 4*s + 16. Does 18 divide z?
True
Let c(o) be the second derivative of 1/2*o**2 - 1/20*o**5 + 0*o**4 + 0 - o + 0*o**3. Does 33 divide c(-4)?
False
Let v(p) = p**3 - 15*p**2 + 2*p - 28. Let n be v(15). Suppose -2*j - n*m + 6*m + 84 = 0, 3*m - 77 = -2*j. Does 10 divide j?
True
Suppose 2*x = 3*b - 10 - 41, 0 = -4*b + 4*x + 72. Let z = 5 - -5. Is (-6)/b + 114/z a multiple of 6?
False
Let a(z) = -z**2 + 15*z - 8. Suppose 2*b + 39 = 3*k - b, -3*b - 9 = 0. Is 14 a factor of a(k)?
True
Suppose -6 = 3*m - 6*m. Suppose -7*z = -5*z - 5*i - 96, -i + 96 = m*z. Is z a multiple of 8?
True
Suppose 5*v = -0*v + 20. Suppose -4*w + l = -42, -2*w + w + v = 3*l. Is 10 a factor of w?
True
Let x be ((-32)/10)/((-4)/10). Let h be (-4)/(2 + -6) + 3. Suppose -h*z + x*z = 76. Is z a multiple of 4?
False
Let d = 6 + -3. Suppose -27 = -s - 4*n + 9, d*n - 3 = 0. Suppose s = 4*u + 2*r, 32 = 2*u + 2*u + 5*r. Is 4 a factor of u?
True
Let s = 9 - 8. Is 3*s - (-19 - -2) a multiple of 18?
False
Let s(d) = -2*d**3 - 15*d**2 - 5*d - 18. Is s(-9) a multiple of 10?
True
Let r(v) = -v + 1. Let l(a) = -1. Let d(i) = -2*l(i) - r(i). Let s be d(3). Suppose -3*t = z - 23, -5*t + 0*z + 29 = s*z. Is 4 a factor of t?
False
Suppose -3*l = -14 + 2. Let g be 1 + (-1 - l/4). Is g/7 + (-155)/(-7) a multiple of 22?
True
Suppose -5*n = -u - 2954, 12*n - 1754 = 9*n - 4*u. Does 6 divide n?
False
Let b = 0 - -9. Let a = b - 6. Is 8 a factor of 11/((-30)/(-9) - a)?
False
Let y = 227 - 134. Is 24 a factor of y?
False
Let c = 928 - -88. Does 8 divide c?
True
Suppose 5*t - 679 = 4*g + 701, g = -4*t + 1104. Suppose 9*n = 5*n + t. Is 15 a factor of n?
False
Let p = -493 + 507. Does 11 divide p?
False
Let r(m) = 86*m**2 + 2*m - 6. Let z be r(2). Suppose -17*p = -20*p + z. Does 19 divide p?
True
Suppose 8 = 3*n - 5*m, 3*m = -2*n + 8*m + 2. Let r = 73 - 73. Suppose n*p - 2*p - 48 = r. Does 6 divide p?
True
Suppose 3*i - 5*j - 275 = 0, 6*j - 2*j - 176 = -2*i. Does 15 divide i?
True
Suppose -5*m = 5*x - 436 - 474, 730 = 4*x + 5*m. Does 18 divide x?
True
Suppose -15*f - 24*f = -897. Is f a multiple of 3?
False
Let x(f) = 2*f**2 - 1. Let k(m) = -m**3 + 7*m**2 + 3*m + 4. Let o(h) = k(h) - 3*x(h). Suppose 2*t - 3 = 3*t. Is o(t) a multiple of 7?
False
Suppose 0*n = 2*n - 6. Suppose 0*d - 15 = n*d. Let f = d - -59. Is 18 a factor of f?
True
Let h = -47 - -16. Let o = h + 62. Is o a multiple of 31?
True
Let v(w) = w**2 + 11*w + 4. Suppose -d - 3*l - 7 = 0, -d + 3*l + 8 = 21. Let u be v(d). Let i = 26 + u. Is i a multiple of 5?
True
Suppose 5*o + 5*d = 2*d + 23, 0 = 4*d - 4. Let n = 16 + -7. Let s = o + n. Does 13 divide s?
True
Is 61 a factor of (-366)/12*10/(-1)?
True
Suppose -u - 1 = 2*g, 2*g + 3 = -3*u - 2*g. Does 3 divide ((-6)/8)/(u/16)?
True
Suppose -3*b + 3*n = 2*n - 152, 0 = -2*n - 4. Is 4 a factor of b?
False
Suppose 4*o + o = 0. Suppose -3*x - 5*m + 5 = o, -5*m - 5 = x - 2*m. Let b = 17 - x. Is b a multiple of 7?
True
Suppose 0 = 51*c - 59*c + 360. Is 45 a factor of c?
True
Let v(u) = 38*u - 36. Let s be v(6). Let x = s + -40. Is x a multiple of 13?
False
Let c = -345 + 669. Does 41 divide c?
False
Suppose 9*r = 13*r - 340. Is (-2 - r/(-20))*52 a multiple of 15?
False
Let j(z) = 7*z**3 - 3*z**2 + 20*z + 12. Does 48 divide j(5)?
True
Let a(h) = 322*h - 98. Does 35 divide a(4)?
True
Let t be -55 - (-2 - (3 + -2)). Let k = -20 - t. Is 8 a factor of k?
True
Let f be (-2)/6 + (-2)/3. Does 14 divide (-2004)/(-24) + f/(-2)?
True
Suppose 14*w - 53 - 1347 = 0. Is 3 a factor of w?
False
Let f be 2/8 - (-668)/16. Let y = 67 - f. Does 5 divide y?
True
Suppose -4*b = 5*h + 15, 4*h + h = 4*b - 15. Let t = 2 - b. Suppose 2*k - 52 = -t*p, -5*p + 4 - 24 = 0. Is k a multiple of 10?
True
Suppose -7 - 33 = -8*n. Suppose 95 = n*b + i, b - 33 = 2*i - 5*i. Is b a multiple of 13?
False
Let z be -2 - (-4 + 84/3). Is (-1)/(1/2)*429/z a multiple of 15?
False
Let f(d) = 2*d**2 - 9*d - 5. Is 17 a factor of f(22)?
True
Let o(b) = -b**2 + 10*b - 21. Let q be o(5). Suppose -432 = -q*p - 4*l, -3*p + 213 = -2*l - 96. Does 21 divide p?
True
Suppose -175*a - 1098 = -184*a. Is a a multiple of 2?
True
Let y(a) = 34*a - 9. Suppose 5*d - 2*u - 5 = -7*u, 25 = -5*u. Is y(d) a multiple of 42?
False
Suppose 0 = 12*d + 1076 - 7508. Does 9 divide d?
False
Suppose -99 = 5*z - 5*q + 8*q, 0 = -5*q + 10. Suppose -35 = 2*k + 21. Is (k/z)/((-1)/(-12)) a multiple of 4?
True
Let x = -431 - -604. Does 7 divide x?
False
Let c be (8/6)/((77/(-42))/(-11)). Suppose -3*p - 9 = -w, 11*w = c*w - p + 57. Is 18 a factor of w?
True
Suppose 5*y + f - 7 = 0, 4*y + 5*f - 12 - 2 = 0. Let r be (-7)/y*(0 + -1). Suppose -5*q + r*q - 24 = 0. Is 4 a factor of q?
True
Let a = 38 + -38. Suppose 8*t + a*t - 864 = 0. Does 36 divide t?
True
Suppose 162*b = 132*b + 18480. Does 129 divide b?
False
Is (-615)/(-5) + 6/(-1) a multiple of 10?
False
Suppose -433*p + 422*p = -53394. Is 87 a factor of p?
False
Let s = -31 - -52. Let z be (-1)/(-7) + (-3)/s. Suppose 3*a - 57 - 114 = z. Is 19 a factor of a?
True
Let x(w) = w**2 + 1. Let l(k) = -2*k**2 - 2. Let j(v) = 6*l(v) + 11*x(v). Let p be j(1). Is (-7)/((p + 1)*1) a multiple of 7?
True
Suppose f - 98 = 2*m, -4*m = 5*f + m - 550. Suppose -2*z + 4*z = f. Is z a multiple of 31?
False
Let q = -207 - -581. Is q a multiple of 17?
True
Let c = -17 + 20. Let t be 2 + (c - 6*14). Let l = 148 + t. Is 27 a factor of l?
False
Let m be 9/(-3) - -3*3. Suppose q + 4 = m. Let k = 28 - q. Is 12 a factor of k?
False
Let g(p) = -98*p + 39. Is 19 a factor of g(-5)?
False
Suppose -8*g = -439 - 1425. Is 13 a factor of g?
False
Let v(y) = y**3 + 2*y**2 + 27. Let h be v(0). Suppose -13*k = -16*k - h. Let c(n) = 