-17). Let s = -190 - x. Is 12 a factor of s?
False
Suppose 8*n - 3955 = 45. Does 6 divide n?
False
Let n(f) = -f**2 - 14*f + 8. Suppose -226 = -4*s - 5*k, -k = -2*s - 3*s + 268. Suppose 5*h - 14 + s = 0. Is n(h) a multiple of 14?
True
Let f(k) = -496*k**3 + k**2 + 2*k - 1. Does 19 divide f(-1)?
True
Let y = -6 - -9. Suppose -20 = -4*q - 2*s, -22 = -y*q - 2*s - 3*s. Suppose 0 = q*x - 105 - 87. Is 12 a factor of x?
True
Let m(g) be the third derivative of 1/15*g**5 + 0 + 7/24*g**4 - 4*g**2 + 1/2*g**3 + 0*g. Does 13 divide m(-4)?
True
Suppose 22 + 79 = t. Suppose -7 = s - t. Suppose 0 = 4*k - s - 6. Does 6 divide k?
False
Is 46 a factor of 20*145/10 - -1?
False
Suppose -628 = -4*r - 4*j, 127 = 4*r + 5*j - 498. Is r a multiple of 8?
True
Is 70 a factor of ((-84)/(-112))/((-3)/(-12804))?
False
Let f = 88 + -161. Let w = 152 + f. Is w a multiple of 27?
False
Let l(u) = 8*u - 12. Let f be l(6). Suppose r - s = f, -5*r + 162 = 3*s + s. Is 27 a factor of r?
False
Let w = -46 - -51. Suppose w*p = c - 154, 4*c - 570 = 2*p - 5*p. Is 36 a factor of c?
True
Let t = -65 - -13. Let k = t + 54. Does 2 divide k?
True
Let w(x) = 2*x + 8. Let u be w(6). Is 5 a factor of u/(-6)*(8 + (-133)/14)?
True
Let x(p) = p**3 - 3*p**2 - 7*p - 12. Does 2 divide x(5)?
False
Let v = 798 + -532. Is 15 a factor of v?
False
Suppose -3*o = -0*i - i - 10, -3*i + o + 10 = 0. Suppose -3*y = -w + 31, -i*y = -3*w + 48 + 37. Does 25 divide w?
True
Let w(o) = 2*o + 7*o**3 - 4*o**3 + 2 - 5*o. Let c(x) = -x**2 + 36*x - 179. Let t be c(6). Is w(t) even?
True
Let u = 144 + -44. Let q = u + -32. Suppose -q = -3*m + 4. Is 8 a factor of m?
True
Let o(h) = -h**2 - 17*h - 4. Suppose 2*j - 5 = -l, -l + 4*j = -5*l + 16. Suppose 0 = l*m - 5 + 44. Is o(m) a multiple of 12?
True
Let x(c) = -c**3 + c**2 - 3*c + 3. Suppose -31*d + 34*d + 9 = 0. Is x(d) a multiple of 12?
True
Let h(u) = 1 - u**2 - 6 - 4*u**2 + 14*u**2. Is h(-3) a multiple of 12?
False
Let d(p) = p**3 + 5*p**2 + 4*p + 5. Let x be d(-4). Suppose 38 = 2*m - 3*q + x, 5*m - 3*q = 78. Is m a multiple of 3?
True
Let a be (-21)/(-2)*(1 + 1). Is 20 a factor of (-3)/(-6)*6*287/a?
False
Let d(c) = c**3 - 9*c**2 - 73*c + 9. Is 10 a factor of d(17)?
True
Does 34 divide (-1 + 18)/(2169/180 - 12)?
True
Let d = 1180 - 190. Does 45 divide d?
True
Suppose -11 = -3*x - 2. Suppose i = 4*r + 86, -r - 38 = -x*i - 11. Does 6 divide ((-12)/(-7))/(r/(-147))?
True
Let u be 7/(5/((-10)/(-1))). Suppose 2*b = 4*b - u. Is 3 a factor of b?
False
Suppose 5*w - 10*w = 5*v - 400, v - 3*w = 60. Is v a multiple of 5?
True
Suppose 0 = -5*j - 5, 3*j = 8*x - 3*x - 4468. Is 31 a factor of x?
False
Let a = 2548 + -2068. Is 20 a factor of a?
True
Is 5 a factor of 2/1 - 4/((-28)/1883)?
False
Let q(p) = -2*p**2 - 14*p - 8. Let y be q(-6). Suppose -3*b - 2*b + 2 = v, -b = -y*v + 8. Does 2 divide v?
True
Let l = 103 - -137. Suppose 5*m + 3*a - l = 0, -3*m - 5*a = -6*m + 178. Is 10 a factor of m?
False
Let i(m) = m**3 - 5*m**2 + 6*m - 2. Let n be i(3). Let z(g) = -13*g**3 + 4*g**2 + 5*g + 7. Does 9 divide z(n)?
True
Let n be (6 - 3)*6*16/12. Suppose 28*u - 1120 = n*u. Does 40 divide u?
True
Let j be (-2223)/24 + 3/(-8). Let l = j + 116. Is l a multiple of 18?
False
Let p be (-6)/(0 + (-12)/8). Suppose 83 = -p*o - 13. Is 0/(0 - 1) - o a multiple of 24?
True
Is 3 a factor of (4/(-6))/(1/(-123)) - 4?
True
Suppose 2*o - 5*x - 18 = 12, 31 = 3*o - 4*x. Let r(p) = 2*p**3 - 6*p**2 + 2*p - 2. Let l be r(o). Suppose -l = -2*u - u. Does 8 divide u?
False
Does 35 divide (14/8)/(35087/(-3900) - -9)?
True
Suppose -78*s = -h - 81*s + 429, h - 3*s = 417. Is h a multiple of 3?
True
Suppose 51 = 3*t - 2*t - 3*u, 0 = -4*t + 4*u + 180. Suppose -t = -2*d - a, a + a = -d + 15. Is 14 a factor of d?
False
Let q = 193 - 186. Is 2 a factor of q?
False
Let k = 290 + 6. Does 33 divide k?
False
Suppose 2*p - 917 = -3*m, 3*m + 2*m - 907 = -2*p. Is 17 a factor of p?
False
Let h(a) = -a**3 + 8*a**2 - 2*a + 18. Let t be h(9). Let c = -61 - t. Is 10 a factor of c?
True
Let i(u) = u**2 + 9*u - 36. Does 12 divide i(12)?
True
Let s(k) = -10*k - 15. Suppose 2*g = 4*w - 16, 33 = -g - 4*g + 3*w. Is s(g) a multiple of 9?
True
Suppose -2*i - 2*z + 14 = 0, 4*z + 32 = 4*i - 4. Suppose 4 = n + x - 1, i = 2*n + x. Suppose -7*j + 128 = -n*j. Is 8 a factor of j?
True
Let z(i) = 51*i**2 + 46*i + 15. Is 95 a factor of z(5)?
True
Let p(j) be the third derivative of j**6/120 - 11*j**5/60 - 7*j**4/24 - 5*j**3/2 - j**2. Let d(x) = 28*x - 156. Let i be d(6). Is p(i) a multiple of 15?
True
Suppose 24059 = 12*k - 2509. Does 6 divide k?
True
Let u(p) = -69*p - 2. Let b(n) = -71*n - 1. Let s(y) = -3*b(y) + 4*u(y). Is 8 a factor of s(-3)?
True
Suppose 2*m + 13 = -25. Let j(i) = i**2 + 18*i - 4. Is j(m) a multiple of 4?
False
Suppose 0 = 2*s + 3*s + d - 1675, 4*d - 20 = 0. Suppose -80 - s = -6*a. Is 30 a factor of a?
False
Let k(f) = -5*f**3 - f**2 + f. Let w be k(1). Let x(i) = -i - 2. Let t be x(w). Suppose -r - 3 = 2*o - 18, 2*o + 85 = t*r. Is 13 a factor of r?
False
Let r be 5/4 + 18/24. Suppose -2*t + 7*t - r*u - 536 = 0, 5*u - 197 = -2*t. Suppose 54 = 4*d - t. Is 13 a factor of d?
False
Let x be (-4 - 0)/(2/18). Let j be x/(-28) + 8/(-28). Is (-3)/j*(-6 + 1) a multiple of 5?
True
Let n be ((-34)/4)/((-1)/(-2)). Let g = 12 - n. Is g a multiple of 7?
False
Let i = 465 - 157. Is i a multiple of 14?
True
Suppose 6*c - 580 - 1130 = 0. Is 19 a factor of c?
True
Suppose 17*h = 23154 + 3808. Is 13 a factor of h?
True
Let j(w) = 9*w**2 - 3*w - 12. Let s be (-1 - (5 + -2)) + 9. Is 9 a factor of j(s)?
True
Let z be ((-9)/(-4))/(1/(-4)). Let h be 364/16 - (-1 - 7/(-4)). Let s = h + z. Is s a multiple of 8?
False
Let p = 34 - 18. Let v = 34 - p. Does 3 divide v?
True
Does 17 divide -38 - -266 - 3*(-2 - -3)?
False
Let z be (-26)/(-4)*(-2 - -4). Suppose 0 = l - z + 1. Suppose 5*b - 3*m = -m + l, 4*m = -b + 20. Is b a multiple of 2?
True
Suppose 3 = -4*p - 21. Does 15 divide p/10 + 228/5?
True
Suppose 0 = -19*j + 4*j + 5430. Suppose -16 = -w - 3*w, j = i + 2*w. Is i a multiple of 59?
True
Suppose -4*v = -5*d - 72 + 499, 3*v = 6. Let g = d - -9. Is 11 a factor of g?
False
Let w be (18/5)/(51/(-340)). Let z be 1 + (0 + -19)*1. Let x = z - w. Is x a multiple of 2?
True
Suppose 0 = -3*i - 2 + 194. Let j = 106 - i. Does 14 divide j?
True
Let k(q) = q**3 + 6*q**2 - 7*q - 2. Let x be k(-7). Let b = 22 - x. Suppose b = 2*w - 24. Is 12 a factor of w?
True
Let b be 5/(5/(-7))*-20. Let q be (4/(-5))/((-8)/b). Let i(d) = d**3 - 15*d**2 + 18*d - 1. Is 13 a factor of i(q)?
False
Let j(o) = -5*o - 21. Let y(h) = h + 1. Let i(k) = -j(k) - 4*y(k). Let n be i(-13). Suppose n*q - 8*q + 32 = 0. Is q a multiple of 4?
True
Suppose 4558 = 61*a - 38813. Is 9 a factor of a?
True
Let n(m) = -2*m - 11. Let r be n(-5). Is (r + 7)*78/4 a multiple of 26?
False
Suppose w + 541 = -2*x, -5*w = -0*x - 3*x - 831. Is 18 a factor of 4/(-6) + x/(-3)?
True
Let j = -126 - -381. Is 17 a factor of j?
True
Let y = 2175 + -1314. Is 11 a factor of y?
False
Suppose 0 - 16 = -4*s. Suppose -537 = -s*o - c + 158, -2*o = c - 349. Is o a multiple of 24?
False
Suppose c = -2*w + 6, 0*c + 8 = c + 3*w. Suppose -3*x = 3*a - 396, -c*x + 71 = a - 58. Does 9 divide a?
True
Let v(a) = -a**3 + 21*a**2 - 112*a + 11. Let w be v(10). Let n = 1 + -1. Let m = n - w. Does 2 divide m?
False
Let r(t) = -6 - 3 - 9*t + 1 - 26*t. Let m be r(-3). Is 16 a factor of (m - 14) + (3 - 0)?
False
Let j(v) = -v**3 - 40*v**2 - 12*v - 76. Is j(-40) a multiple of 50?
False
Let a = 304 + -106. Is a a multiple of 18?
True
Let v(q) be the first derivative of -q**4/4 + 6*q**3 + 3*q**2 + 22*q + 29. Is 13 a factor of v(18)?
True
Let l = 1214 + -682. Does 38 divide l?
True
Suppose m = g + 1, -2*g + 4 = -g + 4*m. Suppose 0 = -g*b - b. Let i(n) = -n**3 + 30. Is 10 a factor of i(b)?
True
Suppose -4*g + 7 = 5*y - 8*y, -14 = -2*g - 2*y. Let s be (80/15)/((-2)/6). Is 8/s - (-98)/g a multiple of 12?
True
Suppose -3*u - 1263 = -2*y, 3*y + 30*u - 1887 = 33*u. Does 6 divide y?
True
Suppose 3*m - m = -5*d + 30, -m + 13 = 2*d. Let q be (-9)/12 + (-40)/32 - -2. Suppose 72 = d*p - q*p. Is 7 a factor of p?
False
Suppose 11*g = 30*g - 17955. Is g a multiple of 63?
True
Let o(v) = -3*v**3 - 2*v**2 - v. Let x be o(-1). Suppose -12*m - x*m = -2464. Does 16