2470)/3. Suppose -v - 2*v - j = -5*b, 3*b = -3*v + 489. Is b a multiple of 14?
False
Let x(k) = -k**3 - 17*k**2 - 12*k - 32. Let w be x(-16). Let n = 196 + w. Is 16 a factor of n?
False
Let g(f) = -f**3 + 12*f**2 - 9*f - 27. Let p be g(12). Let z = 872 - p. Is 19 a factor of z?
True
Suppose 4*m = 16, -q + m - 3*m = -13. Suppose 0 = -3*x + 3*y + 48, 77 = q*x + 2*y - 6*y. Let l(r) = 2*r**2 - 12*r - 30. Is 8 a factor of l(x)?
True
Let o = 469 + -476. Let g(s) = -4*s**3 - 9*s**2 - 6*s - 4. Is g(o) a multiple of 12?
False
Suppose 6 = 28*n + 6. Suppose -202 = -4*z - 4*l + 54, -3*z - 2*l + 196 = n. Is 2 a factor of z?
True
Let p = -41 + 41. Suppose -2*x - s + 465 = p, s - 381 = -3*x + 315. Does 34 divide x?
False
Let p = -49221 - -73011. Does 39 divide p?
True
Is 15 a factor of -16 - (-4 + 1) - (-64626 - 6)?
False
Let z(j) = j + 35. Let d be (10 + -14)/((-8)/6). Suppose 15 + 9 = -d*t. Is z(t) a multiple of 3?
True
Let x = -3119 + 5914. Is 29 a factor of x?
False
Let p(x) be the third derivative of -x**6/60 - 17*x**5/60 - 3*x**4/8 - 2*x**3 - 4*x**2. Let j be p(-8). Is 32/((-50)/15 - j) a multiple of 16?
True
Let k = 8184 - 2528. Is 29 a factor of k?
False
Let a = -92 - -21. Let n = a + 147. Is n/(11/3 + -3) a multiple of 19?
True
Let o(n) = n - 1. Suppose 0 = 6*y - 8*y - 4. Let j(r) = 10*r**2 - 3*r + 9. Let m(l) = y*o(l) + j(l). Is 7 a factor of m(3)?
False
Let q(r) = 17*r**2 + 24*r + 34. Let g(b) = -34*b**2 - 46*b - 68. Let x(w) = -3*g(w) - 5*q(w). Is x(-6) a multiple of 71?
False
Suppose -q - 54 = 4*a - 296, -2*a - 230 = -q. Let i be (-5 - 153/(-34))/(2/360). Let g = q + i. Does 48 divide g?
True
Suppose 77*w + 13*w - 21*w = 717876. Is w a multiple of 139?
False
Suppose -9*i = 2*f - 7*i - 10, 5*f - 25 = -4*i. Is f*1 + (650/(-1))/(-2) a multiple of 4?
False
Let h = 4261 - 165. Does 32 divide h?
True
Let s(k) = 28*k + 1930. Is 5 a factor of s(-57)?
False
Let l = -137 + 425. Suppose -132*b + l = -124*b. Does 4 divide b?
True
Let y(t) = 2*t**2 - 33*t + 21. Let w be y(14). Let n = 67 + w. Is 3 a factor of n?
True
Suppose -4*w = -4*p + 40, -w - 2*w = -5*p + 36. Let s(h) = h**2 - 2*h - 10. Is 10 a factor of s(w)?
False
Let q = 59 + -54. Suppose -370 = -r + q*y, -r - 3*y + 1457 = 3*r. Does 18 divide r?
False
Suppose j - 19 + 4 = 0. Suppose 4*q = 1 + j. Does 22 divide -12*q/(-12)*1*22?
True
Let a be (-2)/(-12) + (4655/42)/19. Suppose -a*p + 960 = -16*p. Let k = 285 + p. Is k a multiple of 22?
False
Let g be -2*(-6632)/(-32)*-6. Let a = g + -1733. Does 26 divide a?
True
Let t(z) = -7*z**3 - 33*z**2 + 14*z + 7. Does 4 divide t(-6)?
False
Suppose -4*z - 3*d + 13353 = -z, 3*z - 13353 = 3*d. Is 13 a factor of z?
False
Suppose -3*f - 126 = -7*f + 2*w, -2*w - 95 = -3*f. Suppose -415 = -36*u + f*u. Does 3 divide u?
False
Suppose 63*w - 68*w - 3295 = -3*c, -3*c = 3*w - 3327. Does 13 divide c?
True
Is 13 a factor of (3 - 36/4) + 7360 + -26?
False
Suppose 410 = -4*j + 3*g - 5*g, -2*j + 5*g - 175 = 0. Let y = 309 - 143. Let b = y + j. Is b a multiple of 33?
True
Let i(h) be the third derivative of h**6/30 - h**5/12 - 11*h**4/24 - 5*h**3/6 - 253*h**2. Let z(v) = -2*v - 3. Let p be z(-4). Is 21 a factor of i(p)?
True
Suppose 0 = -2*q, -4*q + 0*q + 168 = 2*a. Suppose g - a = 88. Let h = -88 + g. Does 18 divide h?
False
Let s = -54 + 54. Suppose 0 + 6 = p. Suppose 4*j - 2*v = -p*v + 284, s = -2*j + v + 130. Is j a multiple of 6?
False
Let u be (-49568)/(-40) + ((-12)/(-15))/(-4). Let g = 2280 - u. Is 56 a factor of g?
False
Does 340 divide ((-199315)/(-10))/((-60)/(-88) + 14/(-77))?
False
Suppose 3*b + 60 = 5*b. Let c be (-4)/(-18) + b/(-135). Suppose 0 = -c*i + 5*i - 250. Is i a multiple of 20?
False
Let n = -2383 + 4474. Does 7 divide n?
False
Let u be -4*(-2)/(-28) - (-19100)/14. Is 11 a factor of (u/(-8))/((-6)/(-12) + -1)?
True
Let c = -35139 - -57852. Is c a multiple of 201?
True
Let a = -6058 - -26558. Is 125 a factor of a?
True
Suppose -41*k + 44*k = 588. Suppose 194*f = k*f - 522. Is f a multiple of 9?
True
Suppose 25*d - 9*d + 48 = 0. Let v(o) = 13*o**2 - o + 21. Is 3 a factor of v(d)?
True
Let d = -15 - -38. Suppose -4*z = -3*l + 22, 3*l = 3*z + 2*z + d. Is ((-10)/l)/(5/120*-4) a multiple of 5?
True
Let l(h) = 98*h**2 + 6*h + 12. Let i be l(8). Suppose 17*y - i - 3001 = 0. Is 22 a factor of y?
False
Suppose 2*o - 4*m + 6 = 0, -5*o - 11*m + 8*m = -24. Suppose -768 = -4*r + 4*a, o*r + 2*a - 421 = 140. Does 7 divide r?
True
Let k(t) = t. Let r(b) = 376*b + 10. Let f(q) = -8*k(q) + r(q). Let x be f(1). Suppose 118 = -4*g + x. Is g a multiple of 8?
False
Let y be 358/8 + -8 + 231/28. Let k = y - -176. Is 13 a factor of k?
True
Let x(v) = 6*v**2 + 11*v - 23. Let z be x(4). Suppose -z*f + 934 = -115*f. Is f a multiple of 6?
False
Suppose -51*m = -49*m. Suppose 0 = -5*g - 6*b + b + 2100, m = 3*b + 12. Does 48 divide g?
False
Suppose s = 5*s - 5*w - 2201, -4*s + 2151 = 5*w. Suppose -16*n = -8*n + s. Let d = 114 + n. Is d a multiple of 18?
False
Let g = -34 - -38. Suppose 3*l - 6 = -3*v, -4 = -3*l - v + g. Suppose -2*h + 10 = 0, -l*b + b + 3*h = -75. Does 15 divide b?
True
Let x = -65 - -68. Suppose -2*u + x*g + 281 = 4*g, -5*u - g + 707 = 0. Suppose q + 0*m = -2*m + u, 2*q = -3*m + 279. Is 18 a factor of q?
False
Suppose -4*r + 397 = 5*c, -3*r - 5*c + c = -298. Let t(k) = -k**2 + 23*k - 32. Let i be t(19). Let a = r - i. Is a a multiple of 9?
True
Let w(p) = 2*p**3 - 7*p**2 - p - 2. Let v be w(4). Is 6 a factor of (-10)/(v/(-335)*1)?
False
Let o be ((-15)/6)/(9/(36/(-5))). Suppose -h - 5*a = -467, -4*h + o*h - 5*a = -909. Is 26 a factor of h?
True
Let x(w) be the third derivative of -w**6/60 + w**5/12 + 5*w**4/12 - 13*w**3/6 + 15*w**2. Let u be x(-9). Suppose 9*o = u + 1228. Is o a multiple of 24?
False
Suppose 2*u = 3*q + 813, 5*u - q = q + 2060. Is 14 a factor of u?
False
Suppose -3*t + 1 = -41. Let w = 33 + t. Let v = w + -30. Is v a multiple of 3?
False
Let t(h) = 686*h - 1. Let q be t(2). Let o = 1995 - q. Is o a multiple of 78?
True
Suppose -d = 9*t - 13*t + 7296, 0 = -t - 3*d + 1824. Is 8 a factor of t?
True
Let s(n) = 29*n**2 - 9*n - 30. Let g be s(-9). Suppose 0 = -2*c + 4*k + 618 + 342, 2*k + g = 5*c. Is 30 a factor of c?
True
Let t(j) = -3*j - 3 + 12 - 4*j + 2*j + j**2. Let m be t(4). Let i(x) = x**3 - x**2 - 6*x - 7. Does 11 divide i(m)?
False
Let v(w) = -16*w - 76. Let f be v(-5). Suppose 110 = 5*a - 4*r, 4*a - f*r + 16 = 6*a. Does 6 divide a?
True
Let c = -431 - -431. Suppose c = 210*y - 214*y + 1100. Is 11 a factor of y?
True
Let u(n) be the second derivative of -n**3/6 + 10*n**2 + 3*n. Let x be u(15). Suppose -x*d - 2*s + 315 = 3*s, 2*s = 3*d - 174. Does 15 divide d?
True
Let m = 33080 - 32644. Is 2 a factor of m?
True
Suppose -2*r = -2*i - 6 - 14, -4*r = -3*i - 36. Suppose 0 = -13*h + 11*h + r. Suppose -100 = -5*k - o + 54, -5*k + h*o = -138. Is k a multiple of 8?
False
Let r = 81 + -33. Suppose -11*t + 268 = r. Does 5 divide t?
True
Let x(i) = i**3 - 7*i - 4. Let d be x(7). Let a be (173/19 - 2 - 2) + (-94)/893. Suppose -a = r, -3*r + d = 4*g - 271. Does 16 divide g?
True
Let c(d) = -d**3 - 13*d**2 + 66*d - 32. Let b be c(-17). Suppose 0 = -b*u - 2*x + 1276, -5*u - 4*x + 735 = -2459. Is u a multiple of 14?
False
Let f be -3 - (1 - 2 - -4). Is 7 a factor of -159*((-32)/f + -6)?
False
Suppose 10*k - 12*o + 15*o - 168873 = 0, 0 = 4*o - 4. Is 13 a factor of k?
True
Let t = -1570 - -1065. Let q = 311 + t. Let v = 351 + q. Does 11 divide v?
False
Let p be (-56)/(-22) - 2 - 25585/(-385). Suppose 12*x = p*x - 75900. Is x a multiple of 20?
True
Suppose 6*s + 4*k = 132384, 94*s - 97*s - 4*k + 66186 = 0. Does 34 divide s?
True
Let x(g) = -1596*g - 12. Let o be x(5). Let a be (-3)/15 + o/40. Let y = -128 - a. Is 36 a factor of y?
True
Suppose 0 = -5*q + 4*i - 1514, 2*q + 279 = -2*i - 323. Let y = q - -514. Suppose x + y = 5*l + 55, 0 = -4*l - x + 122. Is l a multiple of 31?
True
Let h(n) = -39*n + 1782. Is h(45) a multiple of 2?
False
Let g be -58*(3/(-5) + 76/(-40)). Suppose g = 5*i - 5*s, 4*i = 2*i - 2*s + 66. Is i a multiple of 7?
False
Suppose 0 = -d - 2*w - 48 + 4, -2*d - 5*w = 86. Let p be (d/10)/6*390/(-4). Let x = p - 48. Does 5 divide x?
True
Let q(n) = -2*n + 20. Suppose -5*l = -4*u + 39, 5*u - 2*l - 53 = -0*l. Let f be q(u). Does 26 divide (-3485)/(-