q - 14 + 0 = -4*p. Suppose 2*c - 92 = -j, -3*j + 92 = q*c - 5*j. Is 23 a factor of c?
True
Let m be ((-7)/((-105)/(-12)))/((-14)/35). Suppose 20*z + 1710 = m*d + 15*z, 0 = 4*d + z - 3376. Is d a multiple of 65?
True
Let w(m) = 17*m**2 - 337*m - 66. Does 4 divide w(35)?
True
Suppose -14*z = -5*q - 13*z + 782, z = -2*q + 310. Let h = -99 + q. Does 57 divide h?
True
Suppose -9*q + 13*q - 852 = 0. Suppose 0 = 4*n - 22 - 10. Let d = n + q. Does 18 divide d?
False
Let a be (-16)/(-24)*9/(-6). Let q be 212/(a*(-2 + 1)). Suppose -v + 204 = i, -i + 0*v = -3*v - q. Is 17 a factor of i?
False
Let y(z) = 1462*z**3 + 4*z**2 - 2*z + 1. Let u be y(1). Suppose -15*b = -10*b - u. Does 50 divide b?
False
Let n(d) = -2*d**2 - 25*d - 1 + 5*d + 8. Let f be n(-14). Let w = 154 + f. Is 7 a factor of w?
True
Suppose -9*o + 10*o + 9 = 0. Let q(c) = -8*c - 31. Let x(t) = 1. Let d(g) = q(g) + 2*x(g). Is d(o) a multiple of 4?
False
Suppose 0 = 5*f + 5*h + 25, -f + h + 10 = -h. Suppose 3*z - x + 91 = 296, -4*x + 8 = f. Let i = z + -44. Is i a multiple of 3?
False
Suppose -z + 4*h + 18 = 0, z - h = -5*h - 6. Suppose 8*f - z*f = 0. Suppose f = -4*v + 2*v + 92. Does 23 divide v?
True
Let i(v) = -2*v**3 + 13*v**2 - 5*v - 3. Let n be i(6). Suppose -3*o - n = 9. Does 28 divide (o/6)/(8/30)*-56?
True
Suppose 5*m - 465 = 5*c, -8*c + 7*c + 195 = 2*m. Let p = 35 - 58. Let n = m - p. Is n a multiple of 17?
True
Suppose -z + 11*n - 7*n + 1 = 0, 0 = -2*z + 4*n - 2. Let b(d) be the first derivative of -5*d**4/4 + 2*d**3/3 - d**2/2 + 2*d - 3. Is 24 a factor of b(z)?
False
Suppose -x - 4*x + f = 4042, -3*f = 9. Let v = -585 - x. Is v a multiple of 8?
True
Let m(x) = x + 2. Let d be m(4). Suppose -3*o + 28 = 4*f, -2*f + 40 = -3*o + 8. Suppose -d*q + f*q = 520. Does 10 divide q?
True
Let p(s) = 442*s**2 + s + 6. Suppose 0 = c - n - 2, -5*c + 5*n - 10*n = 30. Does 29 divide p(c)?
False
Let y(p) be the second derivative of 335*p**3/6 + p**2/2 - 4*p + 24. Is y(1) a multiple of 8?
True
Let b(h) = -2918*h + 454. Is b(-2) a multiple of 85?
True
Is ((-32)/3)/(58/(-11310)) a multiple of 65?
True
Let h(g) be the third derivative of 5*g**4/24 + 14*g**3/3 - 14*g**2. Let j be h(-8). Is 22 a factor of (3/j)/((-2)/22)*20?
False
Let v = -73809 + 110079. Is v a multiple of 116?
False
Let j(a) = 7 + 18*a**2 - 7 - 8*a - 3*a - 16*a**2. Let n be -2 + 1 - (-1 - 10). Is j(n) a multiple of 18?
True
Let o be (-6)/27 - 346*(-362)/36. Suppose -o = -10*w - 889. Is w a multiple of 23?
False
Let m = 175 - 160. Is (-2)/m + 258382/615 a multiple of 15?
True
Let i = -103 - -105. Suppose 3*h + x - 9 = 0, 0*x - i*x = -2*h + 6. Suppose 4*r + 358 = 3*v - r, -h*r - 481 = -4*v. Is v a multiple of 11?
True
Let f(n) = -2977*n - 6065. Is 49 a factor of f(-5)?
True
Let t be (28/(-4))/(-7) + (-1)/(-1). Suppose -431 = 5*i - 10*i + t*h, h = -3*i + 263. Does 4 divide i?
False
Suppose n = 2*u - 0*n - 463, 3*u + 5*n - 662 = 0. Let i = 371 - u. Is i a multiple of 12?
False
Suppose 12868 = w - m, -3*m - 35568 = -2*w - 9838. Is 157 a factor of w?
True
Let h(b) = b**3 + 70*b**2 - 83*b - 85. Is 13 a factor of h(-71)?
True
Let v(y) = 9*y**3 - 49*y**2 + 85*y + 50. Let k(n) = 4*n**3 - 24*n**2 + 42*n + 25. Let s(q) = 7*k(q) - 3*v(q). Is s(19) a multiple of 44?
True
Let o(l) = 17*l**3 + 6*l**2 - 10*l - 28. Let y(h) = 15*h**3 + 6*h**2 - 9*h - 27. Let i(g) = 6*o(g) - 7*y(g). Does 49 divide i(-7)?
True
Let f = -1420 - -22926. Is 9 a factor of f?
False
Let a(f) = 29*f**3 + f**2 + 3*f - 3. Let d be a(1). Suppose d*z = 32*z - 268. Does 14 divide z?
False
Let m(w) = 362*w**3 - 2*w + 1. Let z = 97 + -96. Let j be m(z). Suppose j = 2*k - 175. Is 34 a factor of k?
False
Suppose 3*d + 7 - 10 = 0. Let k be (-1 + 2)*d - 11. Does 7 divide 346/4 + (0 + -5)/k?
False
Suppose 4*y - k + 1471 = 6800, 3*k = -3*y + 3978. Is 15 a factor of y?
False
Does 14 divide -2 + -14 + (-175 - -25083)?
True
Let s = -132 - -132. Let l(x) = x**3 - 5*x**2 - x - 2. Let h be l(6). Suppose s = 2*p + 2*f - 138, -p = 5*f - 93 + h. Is 11 a factor of p?
False
Let h(p) = -2842*p - 515. Does 18 divide h(-1)?
False
Let z = 7191 - 5111. Does 10 divide z?
True
Suppose 1302 + 2063 = l. Suppose 0 = 13*q + 830 - l. Is q a multiple of 17?
False
Let r(n) = -22*n + 1. Let f be r(-5). Let h = f + -76. Suppose h = 4*o - 2*a - 137, o = 3*a + 38. Is 22 a factor of o?
True
Let z = -54 - -141. Let o = -67 + z. Suppose 0 = 2*u - 156 + o. Is u a multiple of 29?
False
Let c be 957*(2 + (-32)/24). Suppose c = 5*b - 22. Does 40 divide b?
False
Let y = 1044 + 9908. Does 296 divide y?
True
Is 127 a factor of 2971605/325 - (-3)/5?
True
Let n(b) be the first derivative of b**3/3 + 7*b**2/2 + 9*b + 26. Let g be n(-6). Suppose 6 = 2*a, -2*h - 71 = -g*h + a. Does 11 divide h?
False
Let g = 1604 + -1989. Let x(r) = -7*r**2 - 5*r + 7. Let j be x(6). Let p = j - g. Is 13 a factor of p?
False
Let z be (-6)/(-8) - (9 - 1379610/(-24)). Is 24 a factor of (-2)/7 - (z/42)/3?
True
Suppose -4*n = -5*q + 41, -2*q = 4*n + 1 + 5. Suppose -c - 3*c = 2*s - 60, -q*s + 30 = 2*c. Let k = c + 4. Is 17 a factor of k?
False
Suppose -4*f + 160 = 152. Is 3/(-12) - 4205/(-40)*f a multiple of 6?
True
Suppose 5*k = -5*t + 770, 2*t - 3*k - 15 - 313 = 0. Is t a multiple of 3?
False
Let j = 38 - -33. Let q = 111 - j. Suppose q = -m + 74. Is 17 a factor of m?
True
Let y = 1991 + 406. Does 4 divide y?
False
Let l(z) = -3*z**3 + 9*z**2 - 4*z - 29. Let w be l(7). Is -9*7/21 - (w - -1) a multiple of 8?
False
Suppose 22*h - 3240 = 7*h. Let b = 279 - h. Does 7 divide b?
True
Let s be (-1939)/(-7) + -3 + -8. Suppose 0 = 2*h + s - 1214. Is 79 a factor of h?
True
Suppose -4*b = p + 25, -2*b = -0*p + p + 23. Does 5 divide 411/(-9)*-1 - (-14)/p?
True
Let m be (10 + -13)*(-1 - 2). Suppose -m = 3*l, 2*h + 3*l + 134 = 3*h. Is h a multiple of 3?
False
Is 84 a factor of 7 - (5*(-32)/1680 - 202333/21)?
False
Let l(o) be the third derivative of -o**6/360 + o**5/15 - o**4/24 - 4*o**3 + 35*o**2. Let g(n) be the first derivative of l(n). Is g(6) a multiple of 11?
True
Let j = 1143 + 573. Is j a multiple of 66?
True
Let m be 2/(-6) - 153/27. Does 8 divide 8/(-4) - (3 + m) - -8?
False
Suppose 0 = h - 10*h - 180. Let r(u) = -52*u - 130. Is r(h) a multiple of 65?
True
Let z = 16 + 9. Let f be ((-198)/(-15))/(10/z). Suppose 0 = -n - f + 237. Is n a multiple of 12?
True
Let j be (-3 + 2)/((-1)/26). Let y = -23 + j. Suppose -4*z = v - 15, -v - y*v + z = -60. Is 5 a factor of v?
True
Suppose -3 = m, -4*d - 2*m - 2*m = -20. Let l = -56 - -80. Suppose -l = -2*r + d. Is r a multiple of 2?
True
Let u(n) = -95*n - 57. Let q = 150 - 154. Is 19 a factor of u(q)?
True
Suppose 2*a - 12346 = 3*r - 3168, -9226 = -2*a - 5*r. Is 38 a factor of a?
True
Let t(x) = 1642*x**2 - 21*x + 67. Is t(3) a multiple of 38?
True
Let u be (-5 - 55/(-10))*156. Let o = u - -6. Suppose -t + 88 = -2*n, -6*t = -5*t - n - o. Does 20 divide t?
True
Let l = 975 - -727. Suppose d - 862 = -q, 5*q - 2616 - l = -d. Does 27 divide q?
True
Let t(z) = 7*z**2 - 44*z + 1267. Is 3 a factor of t(22)?
True
Let z(l) = 3*l**2 - 2*l - 5. Let o be z(-1). Suppose -1115 = -3*t + 2*v + 422, o = -5*t + 4*v + 2561. Is 13 a factor of t?
False
Let k(q) = 12*q**2 + q + 2. Suppose p + 3*t - 6*t = -10, -4*p + 12 = t. Suppose 2*r + b = -3*b - 24, -2*b = -4*r + p. Is 24 a factor of k(r)?
True
Suppose -5*k - 3*p = -2*p + 28, 0 = -5*k + 3*p - 16. Does 10 divide (75/(-4))/k*(-160)/(-3)?
True
Let w(s) = 573*s - 893. Does 52 divide w(7)?
False
Let h(y) = 3*y**2 + 13*y - 14. Let j be h(-10). Suppose u = 4*u + j. Let g = u + 109. Is 49 a factor of g?
False
Let y(m) = -m**3 + 7*m**2 - 16*m + 32. Let a be y(5). Suppose 0*g = 3*g + 4*u + 20, 2*g + 15 = -u. Is a/g + (-930)/(-40) a multiple of 9?
False
Let s(c) = 4*c + 20. Let a be s(-4). Suppose a*f - 2*f = 5*k + 28, -4*k - 2*f = 26. Let m(n) = -14*n - 11. Is 19 a factor of m(k)?
False
Suppose 40 = -5*g + 6*g + 4*p, 4*g + 5*p = 105. Suppose 5*d = -g, -4*d - 490 = -3*s - 0*d. Suppose -u - 49 = -s. Is u a multiple of 9?
False
Suppose -100*b - 53*b + 2285173 + 2843999 = 0. Is 17 a factor of b?
True
Suppose 844 = -j + 3*i, -5*j = -0*j + 4*i + 4315. Let q = j + 554. Let k = 437 + q. Is 33 a factor of k?
True
Let t be (1/(-4))/((6/(-3064))/3). Let q = -50 + t. Does 37 divide q?
True
Let q(x) = 2*x + 13