 2*x = -b. Is 16 a factor of k?
False
Let q = -21 - -23. Suppose -3*d = -q*d - 3*g - 11, 0 = 3*d + 2*g - 11. Suppose -d*m + 110 = -0*m - 5*n, -74 = -5*m - 4*n. Is 11 a factor of m?
False
Suppose -2*h - 5*x = -26, 4*h + h = 4*x - 1. Suppose h*r + 5*r = 72. Does 2 divide r?
False
Let j = 57 - 58. Does 13 divide 750/15 - 2*j?
True
Let a(k) = 17*k**3 + 2*k - 9 - 16*k**3 - 6*k**2 + 2*k. Is a(6) a multiple of 5?
True
Suppose 286*m + 660 = 291*m. Is m a multiple of 11?
True
Let j = -693 + 1050. Does 21 divide j?
True
Let y = 7 - 6. Let u = -1 + y. Suppose u = -2*i + 4 + 10. Is i a multiple of 2?
False
Let r be 2/(-4)*3/(15/(-970)). Does 10 divide r + -4 + 5 + (-1)/1?
False
Let r(b) = -b**2 + 40*b - 51. Is r(27) a multiple of 25?
True
Let m(p) = -3*p**3 - 4*p**2 - 7*p - 2. Let d be m(-5). Let w = d - 151. Is w a multiple of 33?
False
Let m(w) = -115*w**2 + 2*w + 2. Let b be m(-1). Let d = b - -207. Is d a multiple of 23?
True
Is 4 a factor of 47208/136 + (-8)/68?
False
Let w = -103 + 198. Does 6 divide w?
False
Suppose 0 = z - 2*z. Suppose -5*i + 7*i = z. Suppose 0 = 2*d + 10, -f + 2*f - d - 52 = i. Is 27 a factor of f?
False
Let m(n) be the first derivative of -2*n**2 + 4*n + 12. Is 17 a factor of m(-15)?
False
Let h(b) = 4*b**3 - b**2 - 5*b + 2. Suppose 0 = -4*y + 2*y + 12. Let i(r) = -5*r**3 + 6*r - 2. Let j(o) = y*i(o) + 7*h(o). Is 24 a factor of j(-5)?
True
Is (-6 + (-1299)/(-9))/((-1)/(-6)) a multiple of 30?
False
Let l = -115 - 255. Is (9/(90/4))/((-2)/l) a multiple of 26?
False
Suppose -2*x = 4*c - 1122, 17*x - 13*x - 284 = -c. Is c a multiple of 20?
True
Is 23 a factor of (-115*(-1)/(-2))/(56/(-560))?
True
Let p be 6/1 + (38 - 58). Let b be 15*1 + (-1 - -2). Does 14 divide b*(-1)/4*p?
True
Let z = 107 - -117. Is 44 a factor of -1 + 1 + z - (10 + -6)?
True
Let o be (-21)/(-14) - (-126)/(-4). Let m = o - -34. Suppose 28 + m = 2*i. Does 2 divide i?
True
Suppose 8*l - 4*l = 212. Let f = l - 1. Let w = -5 + f. Does 15 divide w?
False
Let h(g) be the second derivative of g**5/20 + 2*g**4/3 + g**3/6 + 3*g**2/2 - 7*g. Let c be h(-7). Suppose -60 = -3*m + c. Is m a multiple of 11?
False
Suppose x - 2 + 3 = i, -2*x - 4 = -i. Let u be i/10 + (-188)/10. Does 15 divide (u - 3)/((-4)/4)?
False
Let z = -49 + 76. Suppose 2*b + z = -17. Let s = b + 45. Is 23 a factor of s?
True
Suppose 0 = -4*t + 14 + 10. Suppose -h = -t*h + 50. Is (-2 - (-26)/h)*45 a multiple of 14?
False
Let v(l) = 13*l**2 - 3*l - 4. Suppose -2*r = -3*m + 2*m - 12, -4*r = -4*m - 28. Let z be v(m). Is 3 a factor of (4/(-12))/((-2)/z)?
True
Let v = -80 + 13. Let u be 2/(-3)*15/(-6)*66. Let h = u + v. Does 11 divide h?
False
Let m = 28 + -17. Let x(n) = -4*n**3 + 6*n**2 + m*n**3 - 6*n**3 - 3. Is x(-4) a multiple of 5?
False
Suppose 64 = 4*h - 136. Is 5 a factor of h?
True
Is 23 a factor of (-2 + (-3270)/(-9))*(-15)/(-10)?
False
Let q = -618 - -806. Is q a multiple of 62?
False
Let s(q) = -q**3 - 36*q**2 + 323*q + 110. Does 66 divide s(-44)?
True
Let y = 240 - 80. Is y a multiple of 40?
True
Let y(w) = -2*w**3 + 3*w**2 - 3*w - 3. Let m be y(-3). Let s = 132 - m. Suppose -4*d + 267 + s = 0. Is d a multiple of 17?
False
Let b(c) = -65*c + 50. Is b(-8) a multiple of 57?
True
Let u(q) = -q + 7 - 2*q**2 - 2*q**2 + 2*q**2. Suppose 5*y = 2*v + 6, -y = v - 2 + 5. Is u(y) even?
False
Let i be (57/9 - 2)*-3. Suppose -6*v + 130 - 4 = 0. Let j = v + i. Does 2 divide j?
True
Let f = -48 - 6. Let q = -34 - f. Is 5 a factor of q?
True
Suppose 22 = 3*z + 7. Suppose z*n - 60 + 25 = 0. Suppose n*i = 10*i - 285. Is i a multiple of 25?
False
Let v(p) = -2*p**2 + 11*p + 13. Suppose -8*z + 13 = -35. Does 2 divide v(z)?
False
Suppose 3*c = 5*c. Suppose c = 3*o - 6 + 3. Let t(w) = 45*w**2 - 4*w + 3. Does 11 divide t(o)?
True
Let v = 202 - 65. Suppose 3*b = 5*p - v, -2*p - 5*b = 2*p - 117. Suppose 5*y - 308 = -p. Is y a multiple of 28?
True
Let i(b) be the second derivative of -b**5/20 + 2*b**4/3 - 3*b**3/2 + 9*b**2/2 + b. Let s be i(6). Suppose -s - 37 = -4*j. Is 5 a factor of j?
False
Let q(k) = -36*k + 24. Let p be (-4)/14 + (94/(-14) - 3). Does 64 divide q(p)?
True
Let o(j) = -j**2 + 9*j + 15. Let b be o(10). Suppose 5*y - 4*s = s + 5, s = -b*y + 23. Does 4 divide y?
True
Suppose z + 3*s = 25, -28*s = -31*s - 15. Is z a multiple of 8?
True
Let u(r) = -r**3 + 4*r**2 + 8*r - 11. Let b be u(5). Let q(t) = -18*t + 4. Let g(x) = -91*x + 21. Let m(z) = 2*g(z) - 11*q(z). Is 13 a factor of m(b)?
False
Suppose -55 = -2*u + 7*u. Let d(j) = j**3 + 9*j**2 - 15*j + 7. Let h be d(u). Let n = 144 + h. Does 16 divide n?
False
Suppose -7*w = -5*w + 260. Is 7 a factor of (w/(-6))/1 + 8/(-12)?
True
Suppose 0 = 2*k - 623 + 89. Suppose k = -133*o + 136*o. Is o a multiple of 17?
False
Suppose 10*u - 14 = 6. Let w(z) = -z**3 + 6*z**2 - 5*z + 3. Let a be w(5). Suppose 4*h - 50 = a*j, h = -u*h + j + 40. Is h a multiple of 2?
True
Suppose -q - 17 = -36. Let v be 1*-3*(-1)/1. Let z = q - v. Does 16 divide z?
True
Let d = -47 + 87. Let a(s) = -s**2 - 21*s - 57. Let b be a(-17). Suppose b*y - d = 6*y. Does 6 divide y?
False
Let q = -13 - -20. Let h(a) = -6 - q + 2*a**2 + 11 + 2*a. Is 2 a factor of h(-3)?
True
Let x be (12/(-2))/(8/(-12) - 0). Let g be (-4)/10 + (-24)/(-10). Suppose g*p = -2*q - 0*p + 34, 3*p + x = q. Does 6 divide q?
False
Suppose m - d - 208 = -0*m, m = 3*d + 204. Is m a multiple of 10?
True
Suppose 0 = -4*n + 146 - 10. Is (-3 - -11)/(2/(2 + n)) a multiple of 18?
True
Let v be (249/(-6))/(4/8). Let h be (-3 + 6)/(-3)*v. Let c = -47 + h. Does 6 divide c?
True
Let s = -228 + 326. Is 8 a factor of s?
False
Let t be -4 - -8 - (1 - 2). Suppose -3*x - 54 = -2*s - t*x, 4*s + x - 108 = 0. Let p = s - -45. Is 25 a factor of p?
False
Let r = 493 + -323. Is r a multiple of 34?
True
Let h(f) = 24*f - 4. Let n(p) = -2*p**2 + 18*p - 12. Let y be n(8). Is 46 a factor of h(y)?
True
Let q be 45/60 - (-35)/(-4). Let d(r) = -7*r - 2. Is d(q) a multiple of 18?
True
Let l(w) = 96*w**3 + w**2 - 1. Let t be l(-1). Let s = 177 + t. Is s a multiple of 9?
True
Let s(q) = 2*q**2 + 2*q + 17. Let w(g) = g**2 + 6*g - 1. Let h(n) = -s(n) + 3*w(n). Suppose -2*u + 5*k - 42 = 2*k, 5*u - k = -92. Is 3 a factor of h(u)?
False
Let g be 28/(-12) - 2/3. Is 13 a factor of (g - 5/2)*-10?
False
Let u(s) = -s**3 - 9*s**2 + 24*s - 43. Does 20 divide u(-18)?
False
Let a(p) be the first derivative of p**2/2 + 12*p - 18. Is 4 a factor of a(6)?
False
Let t(x) = 166*x - 136. Is t(16) a multiple of 35?
True
Let w(i) = -i**3 + 12*i**2 + 9*i + 1. Let d(r) = -r**3 + 11*r**2 + 10*r. Let h(b) = 6*d(b) - 5*w(b). Does 17 divide h(7)?
True
Let n(m) = m**3 + 30*m**2 - 30*m + 98. Does 27 divide n(-29)?
True
Suppose -3*p - o = -2684, 3*o - 7338 + 2866 = -5*p. Does 53 divide p?
False
Let v(a) = a**3 - a**2 - 3*a - 4. Let w = -6 - -9. Let m be v(w). Suppose 0*h - 95 = -m*h. Does 7 divide h?
False
Let t(c) = c**2 - 9*c - 11. Let m be t(10). Is 6 a factor of (((-45)/(-10))/(-3))/(m/8)?
True
Suppose 0 = 3*h - 4 - 2. Suppose 271 = -4*v - q - h*q, -2*q - 274 = 4*v. Does 31 divide ((-36)/10)/(4/v)?
False
Let h(i) = i + 1. Let z be h(2). Let g(b) be the second derivative of 11*b**3/6 + 3*b**2 + 8*b. Does 10 divide g(z)?
False
Suppose -24*x = -2788 - 29900. Does 39 divide x?
False
Suppose 11 = -2*a + 113. Let b(g) = 2*g. Let r be b(-1). Does 11 divide 4 + a - r/(-1)?
False
Suppose -2 = -2*p + 2. Is ((-57)/12)/(p/(-16)) a multiple of 6?
False
Suppose -3*z + 2*r = -2323, 17*z - 13*z + 5*r - 3128 = 0. Is z a multiple of 47?
False
Let k = -2769 - -4381. Does 31 divide k?
True
Let j = 34 + -26. Let p = j + -11. Does 21 divide 61 - (0 + p) - 1?
True
Let r be 178/(-1)*(-2)/4. Suppose 3*z - 6 = -c + 265, -z = c - r. Is z a multiple of 15?
False
Suppose 4632*m - 4640*m = -9800. Is m a multiple of 15?
False
Let a(n) = 36*n + 48. Does 7 divide a(5)?
False
Suppose -2*a + 5*i + 452 = 0, -2*a + 472 - 2 = 4*i. Does 33 divide a?
True
Suppose 0*d - 10*d = -3900. Is d a multiple of 6?
True
Suppose 5*n - z - 15 = 14, 20 = -5*z. Let j be 7 - n/(10/6). Suppose -48 = -j*w + w. Is w a multiple of 9?
False
Suppose -5*q + 12 = 2*f, 2*q = -3*q. Let n be 10 + f/(-2) - 2. Let t = n - -9. Does 3 divide t?
False
Suppose -s - f = -401 + 68, -s + 313 = -4*f. Does 36 divide s?
False
Let a = 48 + 52. Suppose -v = 2*v + r - 