. Is 17 a factor of v(w)?
True
Let a = 89 + -296. Let c = a + 389. Is 7 a factor of c?
True
Let j be (-2 - -8)*(-15)/(-18). Suppose c + j*g - g - 66 = 0, -60 = -c + 2*g. Let k = c - 20. Is 15 a factor of k?
False
Suppose 0 = 4*s + 3368 - 4988. Is 6 a factor of s?
False
Let p = -53 - -112. Is 10 a factor of p?
False
Suppose h + 165 + 139 = 5*t, 5*h = 3*t - 200. Is 10 a factor of t?
True
Let g(h) = 13*h - 257. Is g(30) even?
False
Let l = -15 + 13. Let m be l + 8/4 + 18. Suppose -102 = -5*h + 2*o - 4*o, -h + m = -2*o. Does 10 divide h?
True
Let o(v) = -26*v**3 + 34*v**2 + 46*v - 44. Let h(b) = -5*b**3 + 7*b**2 + 9*b - 9. Let s(t) = -11*h(t) + 2*o(t). Is s(5) a multiple of 26?
False
Let p(y) = 15*y**2 + y. Suppose 4*j + 0 = 4. Is p(j) a multiple of 10?
False
Let g(h) = -2*h + 8. Let m be g(6). Is -32*((-9)/m - 4) a multiple of 14?
True
Suppose -2*r = -2*o - 116, r - 3*o - 46 - 16 = 0. Is r a multiple of 5?
False
Suppose 2*b - 4 = b + 2*m, -b + 7 = m. Let u be (-1*b)/((-8)/4). Suppose 5*w + 10 = u*w, 5*r + w = 340. Is 23 a factor of r?
True
Suppose 703*i - 702*i - 507 = 0. Is i a multiple of 39?
True
Let f(g) = 0*g - 9*g + 0 - 2 + g**2 + 0. Let o be f(9). Is 21 a factor of (-889)/(-21) - o/(-6)?
True
Suppose -73*t + 71*t = -814. Does 15 divide t?
False
Suppose -4*q + 136 = 52. Let j = 24 - q. Suppose w - 113 = -5*c - w, -96 = -4*c - j*w. Does 21 divide c?
True
Let p = -243 + 315. Does 9 divide p?
True
Is 6 + 28/(-7) + 243 a multiple of 9?
False
Suppose -x - 50 + 402 = 0. Is 11 a factor of x?
True
Let k = 1028 + -733. Is 5 a factor of k?
True
Let v be (-16)/6*(-27)/36. Suppose -4*m - 108 = -v*l, -2*l + 2*m + 278 = 3*l. Is 14 a factor of l?
True
Let p be (-13)/(-4) + (-6)/24. Suppose 2*a - 26 = -p*l, a - l = 6*a - 52. Is a a multiple of 5?
True
Suppose 2*t - 174 = 4*q, -2*q - 3*t - 41 - 66 = 0. Is q/23 - (1 + -39) a multiple of 6?
True
Let m = -132 + 269. Suppose 2*g + m = d, 3*g = -g + 4. Is d a multiple of 39?
False
Suppose 3*y = 5*s + 1019, 14*y = 9*y + 5*s + 1715. Is 9 a factor of y?
False
Let j = -726 - -1363. Is j a multiple of 8?
False
Suppose 0 = 4*q + 2*t - 162, 12*t - 11*t = q - 45. Is 13 a factor of q?
False
Suppose 0 = 5*l + 2*l - 140. Suppose l*h - 370 = 15*h. Is 61 a factor of h?
False
Suppose 6*j + 26 = -5*q + 2*j, -5*q + 2*j - 32 = 0. Let l be -4*(q/(-8) + 0). Is 14 a factor of (-91)/l + (-2)/(-3)?
False
Suppose 2*h - 6 = -0*h, 5*h + 20 = v. Let b = v - 11. Is b a multiple of 4?
True
Let n(m) = 3*m - 48. Let a be n(17). Suppose 198 + 186 = a*u. Is u a multiple of 8?
True
Suppose 4*z - 70 - 68 = -2*u, -u - 4*z = -59. Is u a multiple of 23?
False
Let j = 1460 + -967. Does 18 divide j?
False
Let c = -614 - -796. Is 91 a factor of c?
True
Let k = -92 - 20. Let d = k + 243. Is 16 a factor of d?
False
Let m = 332 + 255. Is 4 a factor of m?
False
Suppose 4 = -4*f - 0. Does 42 divide (-175 - f)/((-1)/((-2)/(-4)))?
False
Suppose 4*h - 5*v - 165 = 55, -5*v = -3*h + 170. Suppose 4*i + 4*z - 40 = 5*z, 5*i - h = -3*z. Is i a multiple of 6?
False
Let i = -17 - -21. Suppose -d - z = -5*z - 21, 22 = 2*d - i*z. Is 24 a factor of -14 + 11 + d*73?
False
Let p(j) = 3*j + 210. Is p(-6) a multiple of 24?
True
Suppose -15*j = -11*j, -2330 = -5*h - 5*j. Is 19 a factor of h?
False
Let p(i) = 0*i**2 + i - 6*i - 59 + i**2 - 4*i. Is 23 a factor of p(20)?
True
Let q be -4*12/9*12. Let z = 105 + q. Let f = z + -21. Is f a multiple of 20?
True
Let t = 137 + -137. Let x be (-5)/((-10)/84) - 0. Suppose 0*d + d - x = t. Does 14 divide d?
True
Suppose -w + 37 = 3*t - 51, 0 = -t + w + 24. Does 2 divide t?
True
Let i be (-1)/(-1) + (-2 - -6). Suppose -i*d + 67 = -88. Does 20 divide d?
False
Let s = 10 - 16. Let a(o) = 7*o**2 + 161*o + o**3 - 160*o - 19 + 1 - 5. Is a(s) a multiple of 7?
True
Suppose 5*n - 2*j = 1922, -n = -2*j + 5*j - 398. Suppose n = 4*i - v, -3*i + 482 = 2*i - v. Suppose -4*u - 4*u = -i. Does 4 divide u?
True
Suppose 0 = 5*j + 12 - 62. Suppose -j*w - 63 = -11*w. Is 21 a factor of w?
True
Suppose -3*g - 4*h = -5, 2*h = -g + 2 + 3. Let z(b) = -39*b - 9. Let n be z(g). Suppose -4*j + d = 3*d - n, j - 33 = -5*d. Does 12 divide j?
True
Let c be ((-4)/3)/(0 + (-6)/9). Suppose -3*i = 5*q - 594, -3*q + 3*i = -c*q - 126. Does 8 divide q?
True
Let z(d) = -4*d - 4. Suppose -5*u + 0*h = 5*h - 45, 2*u = 4*h. Let n = -1 - u. Does 8 divide z(n)?
True
Suppose b = g - 393, 4*b = g - 5*g + 1548. Does 9 divide g?
False
Suppose -4*h + 25 = 5. Suppose h*j + 0*q - 440 = -2*q, -4*q - 176 = -2*j. Is j a multiple of 11?
True
Suppose -1 - 3 = 2*z. Is ((-3)/(-6))/(z/(-356)) a multiple of 18?
False
Let c(v) = -17*v + 46. Is c(-31) a multiple of 55?
False
Let t(l) = 4*l**2 - 3*l - 1. Suppose -2*o - 1 + 7 = 0. Let x be t(o). Let b = x - 1. Is b a multiple of 15?
False
Does 16 divide (1/((-4)/544))/((-10)/20)?
True
Suppose -2*k + 15 = k. Suppose -243 = -k*j - 643. Let s = 190 + j. Is 30 a factor of s?
False
Is 29 a factor of (72/(-18))/(2/698*-1)?
False
Let l = 1496 - 1397. Is 16 a factor of l?
False
Suppose 0 = -5*z + 12 - 2. Suppose -k + 7 = -z*k. Is 0/k - 1*-67 a multiple of 9?
False
Suppose 5*q = -q - 12. Does 10 divide (45 - (q + -2)) + 0?
False
Let y(m) = m**3 + 12*m**2 + 4 - 2 + 11*m + 9. Let i(f) = -3*f + 22. Let u be i(11). Does 11 divide y(u)?
True
Does 29 divide (-20)/(-15)*762/4?
False
Let z(t) = t**3 - t**2 - 2*t + 1. Let j be z(-2). Let p = j + -12. Does 19 divide p/(-1 - (-3 + 3))?
True
Let a = 876 - 518. Does 21 divide a?
False
Suppose -2*b - 28 = -6*b. Let n(g) = 2*g**2 - 12*g + 14. Is n(b) a multiple of 14?
True
Let n(f) = -3*f + 29. Let x be n(11). Let s(a) = -14*a - 5. Is 18 a factor of s(x)?
False
Let u(l) = -5*l**2 + 2*l - 1. Let q be u(1). Let y(t) be the first derivative of 2*t**3/3 + 5. Is 5 a factor of y(q)?
False
Let z be (8/2)/((-4)/14). Let u = z - -41. Does 27 divide u?
True
Let d be (22/8)/(-7 - 1228/(-176)). Let b = d + 259. Is b a multiple of 10?
False
Suppose 0 = -24*k + 7*k + 8177. Is 13 a factor of k?
True
Let h(n) = -n + 18. Let b be h(7). Suppose -3*f + b*f = 1344. Is 12 a factor of f?
True
Let v(h) = -h**2 + 2*h - 4. Let l be v(0). Let a = 12 - l. Is 5 a factor of 4/a*4 + 25?
False
Let t(j) be the first derivative of -13*j**2/2 - 6*j + 5. Does 20 divide t(-2)?
True
Suppose 10 + 113 = -3*t + 2*v, -5*t + 5*v - 210 = 0. Is 4 a factor of (1 + -2)*(t - 1)?
True
Let m(g) = -8*g + 12. Suppose -12 = -r + 3*a - 0, -4*a = 20. Let b be m(r). Suppose 5*w + b = 8*w. Is w a multiple of 6?
True
Let d(z) = -z - 1. Let j(w) = -w**2 + 16*w + 14. Let n(u) = -3*d(u) - j(u). Let v be n(14). Suppose -10 + 61 = v*k. Does 12 divide k?
False
Let d = 321 + -459. Suppose -5*m - 45 = -5*t, -19 = -t + m + 2*m. Does 9 divide d/t*6/(-9)?
False
Let f be (-1)/((-3)/(-102)*2). Let j = f - -29. Suppose 3*o + j = 4*o. Does 9 divide o?
False
Let f be 0/((-4 + 0)/(-2)). Let x = -196 + 202. Suppose 2*z - o = -x*o + 39, f = -3*o + 9. Does 11 divide z?
False
Let x = -788 + 1306. Is 74 a factor of x?
True
Let f be 1/1*(-2 - (3 - 7)). Let y(m) = 3*m**2 + 2*m. Is 14 a factor of y(f)?
False
Suppose 0 = -2*y, -4*y + 2710 = 7*h - 2*h. Is 8 a factor of h?
False
Suppose k + 3*y = 1, -5*k - 5 + 22 = 3*y. Suppose 0 = -2*p + k*p, 2*n - 160 = -2*p. Does 20 divide n?
True
Let b(o) = -o**2 - 12*o - 8. Let d be b(-9). Suppose f - d = -9. Is 6 a factor of f?
False
Let a(o) = 72*o - 8. Is a(9) a multiple of 40?
True
Let i = 96 + -16. Suppose -5*h = x - 169, 0*h + 3*x - 144 = -4*h. Let m = i - h. Is 9 a factor of m?
False
Let b(u) = u**3 + 7*u**2 + u - 7. Let s(w) = 3*w - 4*w + 22 - 3*w - 13*w**2 - 7*w**2 - 3*w**3. Let m(d) = 7*b(d) + 2*s(d). Does 3 divide m(-9)?
False
Suppose -o + 504 = 5*o. Suppose -v + o = 3*v. Is v a multiple of 10?
False
Let f(s) = s**3 - 5*s - 4. Let y be f(3). Suppose -2*d + 6 = 5*m - d, 0 = -2*m + d + y. Does 9 divide ((-30)/(-20))/(m/60)?
True
Let r = 170 + -72. Let c = r - 23. Does 36 divide c?
False
Let s(n) be the second derivative of 9*n**4/4 - n**3/6 + 2*n**2 - 7*n + 3. Is s(2) a multiple of 10?
True
Let j = 9 + -8. Is 10 a factor of j - (-2 + 9)*-7?
True
Let j(r) = -3*r**2 - 24*r + 11. Does 4 divide j(-8)?
False
Suppose r - 5*z = -16, 2*z = 5*r - 0*z + 11. Let j be r - -1 - 4*-26. Let w = j + -70. Is 17 a factor of w?
True
Let q(i) = 224*i**2 - 7*i + 3. Does 54 divi