e q(6). Suppose -n = k*v - 7 - 4, -5*n + v = -11. Suppose 234 = n*x + 87. Does 10 divide x?
False
Let v(x) = x**3 + 8*x**2 - 4*x - 11. Let c be v(-6). Let a = c - -30. Is 23 a factor of a?
True
Suppose -231 = -5*n + 3*z + 12, n = 5*z + 31. Is 5 a factor of n?
False
Suppose -4*j + 12 = 0, 0 = -5*x + 6*j - 8*j + 3151. Is x a multiple of 42?
False
Suppose 19 = 7*i - 2. Suppose -2480 = -7*d - i*d. Is d a multiple of 62?
True
Let i be (60/(2 - -2))/(-1). Let n = -10 - i. Suppose -3*z - 7 = -s, n*z - 22 = -7. Is 16 a factor of s?
True
Suppose 2*y - 4*y = -1536. Is 6 a factor of y?
True
Let l be -2*(-2 + (-15)/(-2)). Let g be (-2)/l + 10512/(-99). Let w = g - -170. Is 16 a factor of w?
True
Let z be 4/(-14) - 111/(-21). Suppose q - 49 = -3*n + 2*q, 5*n - 75 = z*q. Is 17 a factor of n?
True
Let v(k) = -k**3 - k + 26. Let g be (-8)/12 + 69/9. Let x(h) = h - 7. Let f be x(g). Is 8 a factor of v(f)?
False
Suppose -d - 15 = -6*d. Suppose 0 = -2*m + 5*r + 8, 3*m = d*r - 1 + 4. Is m + 34 + 7 + -6 a multiple of 13?
False
Let x = 104 - 101. Suppose t = -4*d + 641, -565 = -x*d + 3*t - 88. Is d a multiple of 16?
True
Does 17 divide (-1239 - (-11 - -7))*-1?
False
Let c be (11 - 9) + 1 + -1. Let b be (-108)/(-20) + c/(-5). Is 3 a factor of (3/b)/((-9)/(-135))?
True
Let f = -79 - -820. Is 42 a factor of f?
False
Suppose 0 = -6*d + 4*d + 48. Does 6 divide (1 - (1 - 1))*d?
True
Suppose -69*c = -68*c - 38. Suppose 9*x - c = 34. Does 2 divide x?
True
Suppose -2*l - 5*o + 1975 = 0, 0*l = 3*l - 3*o - 3015. Does 10 divide l?
True
Let w(r) = r**2 - 41 + 4*r + 0*r**2 + 38. Is w(3) a multiple of 6?
True
Let m(a) = 2*a**2 + 13 + 4 + 6*a - 3*a. Let f be m(-9). Suppose 4*d = -4*w + f, 3*d + 2*d = w + 190. Is 7 a factor of d?
False
Suppose -g + 10 = -2*p, 3 + 2 = 5*g + 5*p. Suppose -m + g*m - 105 = 0. Let x = 103 - m. Is 15 a factor of x?
False
Suppose 7*v = 2*v + 390. Suppose d = -d - v. Let w = -23 - d. Is w a multiple of 8?
True
Suppose 2*l = 2*d + 138, -l + 3*d = -0*d - 75. Is l a multiple of 6?
True
Suppose 27 - 3 = 2*u. Does 7 divide (-8)/u*(-198)/2?
False
Let q(d) = 7*d**2 - 60*d - 29. Is 40 a factor of q(-6)?
False
Suppose -9*i = -32131 + 946. Is i a multiple of 33?
True
Let x = 136 + -198. Let y = 107 + x. Is y a multiple of 5?
True
Let u = -171 + 421. Suppose 8*k - u = 3*k. Is 13 a factor of k?
False
Suppose 0 = -5*y - 7 + 72. Let x = y - 12. Let r = x - -43. Is 11 a factor of r?
True
Let m(v) = -3*v**3 - 3*v**2 - 2*v + 8. Let c be m(6). Let l = 1067 + c. Is 32 a factor of l?
False
Let l = 274 - 49. Suppose -c + l = 4*c. Let b = 80 - c. Is 21 a factor of b?
False
Suppose -16 = u - k - 64, -60 = -u + 4*k. Does 28 divide u?
False
Let s(u) = -2*u**3 - 23*u**2 + 13*u + 34. Let h(l) = -3*l**3 - 35*l**2 + 19*l + 51. Let m(g) = 5*h(g) - 8*s(g). Does 23 divide m(-8)?
False
Let m(c) = -28*c - 1. Let r be m(-1). Let n = 21 + r. Does 8 divide n?
True
Suppose a = h + 91, 0*a - 4*h = -a + 100. Let g = a + -55. Let z = g - 17. Is z a multiple of 9?
False
Let j = 1155 - 553. Is j a multiple of 43?
True
Let i(q) = -27*q - 1. Let m be i(2). Is 13 a factor of (-10)/3*1056/m?
False
Suppose 20*d - 1932 = -3*d. Does 14 divide d?
True
Let z(r) = 203*r**2 - 22*r - 95. Is z(-4) a multiple of 15?
False
Let o be (-2)/(-12) + 4/(-24). Suppose t + 0*t - 96 = o. Is 25 a factor of t?
False
Let q(v) = 3*v**2 - 3*v - 19. Does 6 divide q(-6)?
False
Is (-18)/24 - (-6965)/28 a multiple of 3?
False
Suppose 0*a + 2*a - 3*h - 9 = 0, -4*a + 3*h = -3. Let k(r) = 2*r - 2 + 2*r**2 + 1 - 6*r. Is 13 a factor of k(a)?
False
Does 2 divide 0/(-1) - 1/((-2)/148)?
True
Let a = 15 - 12. Let l be 77 + -2 + -1*a. Suppose 2*m = -2*m + l. Is m a multiple of 9?
True
Suppose -2*b = -0*b + 4*l - 184, -4*l = 3*b - 286. Let m = 178 - b. Is 38 a factor of m?
True
Let r = 6 - -1. Let k(q) = q**2 - 3*q - 8. Let u be k(r). Suppose -m - u = -5*w + 3*m, -3*w = -3*m - 12. Is w even?
True
Suppose -150 = 8*m - 3*m. Is 18 a factor of m*-1*9/15?
True
Suppose -32*k + 150 = -27*k. Let f = 272 + -428. Does 7 divide (f/k)/((-2)/5)?
False
Let l(g) = 2*g**2 - 19*g - 14. Is 12 a factor of l(11)?
False
Let f(o) = o**2 - 10*o - 12. Let j = -18 - -30. Is f(j) a multiple of 12?
True
Let h = 104 - 189. Let f = 123 + h. Suppose 4*j + n = 158, 0 = -j + 3*n - 4*n + f. Does 13 divide j?
False
Let q be (1 - (3 + -8))/2. Suppose 3*m = -4*h + 185, -h = -5*h + q*m + 191. Is 8 a factor of h?
False
Let i = -223 - -293. Is 18 a factor of i?
False
Suppose -4*o = 5*y - 3277, -4093 = -5*o - 4*y + y. Let r = -576 + o. Is r a multiple of 37?
False
Let r = 1270 - 386. Is r a multiple of 34?
True
Suppose -4*h = f - 6, 0*h = 3*f - 4*h - 2. Suppose 2*q + 67 - 282 = -5*y, -f*y + 230 = 2*q. Does 24 divide q?
True
Is 14/7 - -516 - -4 a multiple of 6?
True
Suppose 5*m - 87 = -3*b, -2*b - 39 = -2*m + b. Does 13 divide 238 + -3*12/m?
False
Let q be (1/4)/((-8)/(-32)). Suppose -4*i = 3*j + 8, -j + i + 3 = q. Suppose j = -4*x - 0*x + 204. Is x a multiple of 17?
True
Suppose 5*t + 2*h - 15650 = 0, 6*h - 8*h - 3130 = -t. Does 39 divide t?
False
Suppose 5*p - 81*d = -83*d + 3116, -2*d = 3*p - 1872. Is p a multiple of 96?
False
Suppose 0 = -2*r + 8, 7*z + 250 = 4*z - 2*r. Let v = 158 + z. Is 14 a factor of v?
False
Let z(x) = -2*x + 9. Let k be z(6). Is 3*k*55/(-33) a multiple of 4?
False
Suppose 4*z + 3018 = 3*m, 2*m + 5*z - 987 = m. Does 7 divide m?
False
Let a = -268 + 477. Does 14 divide a?
False
Let q(d) be the first derivative of 33*d**2/2 - 33*d + 38. Is 11 a factor of q(8)?
True
Suppose -4*t + 325 = 69. Does 3 divide t?
False
Let h be (1 + -3)*1 - (11 - 107). Suppose -5*q + 129 = -2*q. Suppose 0 = g + 4*r - q, 3*g + r = -4*r + h. Is g a multiple of 9?
False
Let q be (-1812)/15*(-10)/4. Suppose -n + 4*m - 2*m = -q, 6 = -2*m. Suppose -3*s = s - n. Does 21 divide s?
False
Let q be (-6)/9 - 200/(-12). Suppose 5*f + q = 116. Does 10 divide (f/(-14))/(1/(-7))?
True
Let l(t) = -61*t + 427. Does 12 divide l(-29)?
True
Let j = 19 - 17. Let u = j + 0. Suppose i + 10 = u*i. Is i a multiple of 6?
False
Let q = 42 + 28. Does 23 divide q?
False
Let g = 37 + -34. Suppose -3*y - 2*r = -167, 4*y - 4*r = -g*r + 208. Does 8 divide y?
False
Suppose 0 = -h - 5*m + 167, 0*h - 5*h + 2*m = -916. Is 13 a factor of h?
True
Suppose -4*p - 4*n + 1584 = 0, 0 = 2*p - p + 2*n - 399. Suppose 9*i + p = 2049. Is i a multiple of 10?
False
Let o(b) = -9*b - 55. Let a be o(24). Let s = -184 - a. Does 9 divide s?
False
Let d = -54 + 76. Let q = -73 - -79. Suppose 0 = 2*s - 3*m - d, q*s - 3*s - 3*m = 33. Does 11 divide s?
True
Let j = -15 - -70. Does 5 divide j?
True
Suppose -4*j + 9 - 1 = 0. Suppose -v = -2, -4*d - j*v = 2*v - 296. Is d a multiple of 13?
False
Let o(n) = 5*n**3 + 17*n**2 + 9*n - 4. Let d(s) = 2*s**3 + 6*s**2 + 3*s - 1. Let a(f) = 8*d(f) - 3*o(f). Does 8 divide a(4)?
True
Let j(z) = z - 12. Let t be j(5). Let s(n) = 4*n**2 - 9*n - 1. Let h(r) = -3*r**2 + 9*r + 1. Let q(k) = -5*h(k) - 4*s(k). Does 13 divide q(t)?
True
Suppose 8616 = 7*b - 7708. Is b a multiple of 53?
True
Let o(q) = q**3 - 6*q**2 - 6*q + 10. Let b be (1 + 9/(-6))*2. Let y = b - -8. Is 12 a factor of o(y)?
False
Suppose -1608 = -4*d - 3*p, 2*d - 4*p - 2010 = -3*d. Suppose -d = -b - 5*b. Is 5 a factor of b?
False
Suppose -3*f - 6*v + v = 3, 2*v - 6 = -3*f. Let s(g) = g**2 + f*g - 9 + 9*g - 10*g. Is 7 a factor of s(-8)?
False
Suppose 4*u + 3*k + 39 = 0, 5*u + 0*k = -2*k - 40. Let p = u + 70. Let f = p + 17. Does 27 divide f?
True
Let y(a) = 2*a**2 - 4*a + 4. Let q be y(3). Suppose r - q = -7. Is 3 a factor of r?
True
Let v be (-14)/63 - 8/(-36). Suppose -2*n + 292 = -v*n. Is n a multiple of 15?
False
Suppose -3*l + 2333 = -5*f + 67, 3*f + 15 = 0. Does 30 divide l?
False
Let l(d) = -3*d + 78. Let m be l(21). Suppose r + 0 = 44. Is 10 a factor of r - (-3 + m)/3?
True
Suppose -48 = 13*w - 17*w. Does 32 divide w/18 + (-3)/((-9)/382)?
True
Suppose -q - 3*c = 9, 3*q - 2*q - c = 7. Suppose 0 = 7*r + q*r - 1920. Does 12 divide r?
True
Let v(j) be the first derivative of -j**2/2 + 45*j + 1. Does 3 divide v(6)?
True
Let b = 0 + 0. Suppose -43*v + 48*v - 260 = b. Does 13 divide v?
True
Suppose 5*t + 1055 = d, -4*t - 366 = -2*d + 1756. Is 26 a factor of d?
False
Let g(s) = 17*s + 3. Let v be g(-4). Suppose -552 = 11*r + r. Let y = r - v.