u) = 6*u - 50. Let m be d(8). Let r be n(m). Let v = 96 + r. Is 6 a factor of v?
False
Is 28 a factor of ((-8)/(-32) - 58/8) + 30 + 2321?
False
Suppose 3*h - 5*z - 7 = 0, -z = -4*h - 8 + 23. Let f(t) = 233*t + 3. Let w be f(1). Suppose g = u + w, -1325 = -h*g + u - 375. Does 11 divide g?
False
Suppose 13 = b + 8, -h + 8899 = 3*b. Does 63 divide h?
False
Suppose 13*d - 7*d - 186 = 0. Suppose d*t - 12*t = 2432. Is t a multiple of 12?
False
Suppose 4*y + 65 = 5*z, -3*z + 4*y - 2*y = -37. Suppose -3*w = -u + 99, 5*w = z + 1. Is 15 a factor of u/14*3*6?
True
Let d = -294 + 298. Suppose -3*h = 4*g - 5242, 4112 = 4*g - d*h - 1144. Is 84 a factor of g?
False
Suppose 2*c + 8 = 2*z, 16 = -8*c + 6*c + 4*z. Let h = 53 + -51. Suppose c = 2*s + h*i - 214, -3*s + 467 - 156 = -2*i. Is s a multiple of 35?
True
Suppose -409777 = -88*g + 693215. Is 43 a factor of g?
False
Let m = 19623 - 6708. Is m a multiple of 52?
False
Suppose -2*d + 6*v = 5*v + 1165, -2*v = -3*d - 1749. Let m = 730 + d. Is 12 a factor of m?
False
Let u be 8 - ((-60)/105 + (-25)/(-7)). Suppose 2*r - 6*r + 633 = -u*t, 0 = -5*t + 15. Does 9 divide r?
True
Let y(k) = k**3 - 20*k**2 + k - 17. Let z be y(20). Suppose z*p + 3 = 2*t - 1, 4*t - 20 = 0. Suppose p*a + 4*j = 218, 0*a + j + 208 = 2*a. Is 35 a factor of a?
True
Let w = -55 - -70. Let x be (-1092)/(-30) + 2*(-3)/w. Suppose 2*u + x = 5*u. Is u a multiple of 3?
True
Suppose -3*n + 2658 = -5*u, 14*u = 2*n + 13*u - 1779. Does 2 divide n?
False
Suppose -3*m = 2*u - 22, -5*m - 3*u + 42 = -5*u. Suppose z - m*a = -6*a + 135, -3*z - 3*a = -432. Suppose 600 = 146*r - z*r. Is 12 a factor of r?
True
Let m(k) = 2*k**2 + 40*k + 53. Suppose 80 = -4*j - 36. Is 25 a factor of m(j)?
True
Suppose -2*i = 3*l - 28, 8 = -14*l + 13*l - 5*i. Suppose l = 11*d - 5*d. Suppose -3*z = -b - 139, -4*z + 106 = -2*z + d*b. Is z a multiple of 6?
True
Let h(w) = 3*w**2 + 7*w. Let s be h(-5). Suppose -46*a + 66 = -s*a. Suppose -2390 = -a*b + 569. Is 26 a factor of b?
False
Let o(u) be the first derivative of 7*u**3/3 - 9*u**2/2 - 17*u + 152. Is o(5) a multiple of 13?
False
Let j(r) = -4*r**3 - 69*r**2 - 241*r + 254. Does 42 divide j(-24)?
False
Suppose -111*h = -104*h - 64470. Is 15 a factor of h?
True
Suppose -3*a + 3*k - k + 657 = 0, 3*a - 648 = 5*k. Suppose -3*g - 5 = -20, g = -3*x + a. Let d = x - -37. Is d a multiple of 40?
False
Suppose 5*t - 56617 = -5*h + 18803, 3*h - 45252 = 4*t. Is h a multiple of 9?
True
Let b be 3/(-6) - (-1)/2. Let l(t) = 112*t - 555. Let k be l(5). Suppose v + 3*h = 207, -4*v + k*h + b*h = -845. Does 18 divide v?
False
Suppose -6*l + 264 + 516 = 0. Let x be 550/(-14) + (-2)/(-7). Let w = x + l. Is w a multiple of 7?
True
Let m(v) = -10*v - 40. Suppose l + 76 = -k - 2*k, 5*k - 4*l + 138 = 0. Let a = -35 - k. Does 25 divide m(a)?
True
Let y = 10088 - 2362. Is 19 a factor of y?
False
Suppose 3*c + 221 = -7. Let r = 74 - c. Does 25 divide r?
True
Suppose 2*w - 22935 = 3*h - 107832, -4*h + 113194 = -3*w. Is 66 a factor of h?
False
Is 2045 + 5 - (4 - 6/2) a multiple of 19?
False
Suppose -24 = q - 65. Let b = q + 83. Does 31 divide b?
True
Let y(p) = 76*p**2 - 9*p + 63. Let u be y(7). Suppose -58*l + u = -54*l. Is l a multiple of 25?
False
Let t = 719 + -1976. Let a = -399 - t. Is a a multiple of 26?
True
Let f(x) = 7*x - 3. Let t = 82 + -143. Let q = 73 + t. Is 27 a factor of f(q)?
True
Let r = 10630 - 6151. Does 3 divide r?
True
Let v(x) = -x + 120. Suppose 0 = -5*p + 5*y + 115, 0 = -p - 0*p - y + 27. Is v(p) a multiple of 9?
False
Let n be (-12)/(-7)*182/52. Suppose 0 = -6*a + a - 10, s - n = 2*a. Suppose -5*m + 0*p = -s*p - 127, -3*m + 71 = 4*p. Is m a multiple of 12?
False
Let j = 1426 - 1390. Suppose -3*o = v - 188, 5*v - 3*o - 358 = 3*v. Let b = v + j. Is b a multiple of 13?
False
Suppose 3229 + 750 = 3*n - 2*k, 3*n + 5*k - 4007 = 0. Suppose 2*r - 526 = -2*p, 6*p - 4*p + n = 5*r. Is r a multiple of 32?
False
Let r(c) = c**2 - 2*c - 3. Let b be r(4). Suppose -10 = -b*u + 3*n + 2*n, 0 = 3*u - n - 8. Suppose p = 5*v - 0*p - 616, u*v = -3*p + 366. Does 41 divide v?
True
Let m = 266 - 261. Suppose -3*w = -0*w - 3*i - 306, -m*i - 411 = -4*w. Is 6 a factor of w?
False
Let d be 1 - (5 + -80)/5. Suppose 4*f - 11 = 3*y, y + d = 5*f + 5. Suppose 67 = f*q - 69. Is q a multiple of 17?
True
Let l(o) = o**3 - 9*o**2 + 30*o - 6. Let q be l(9). Does 30 divide (q/16)/((-3)/(-180))?
True
Let y = 17501 + -7631. Is y a multiple of 70?
True
Let n(j) = j**2 + 12*j + 15. Suppose -17*s + 3*s = 154. Let u be n(s). Let f = 13 - u. Is 3 a factor of f?
True
Let d(i) = i**2 - 7*i + 14. Let a be d(4). Suppose 0*p + a*p = 910. Suppose 0*r + 5*r = p. Does 13 divide r?
True
Suppose -4*o + 2*l = -43958, 43962 = -18*o + 22*o + 2*l. Is 14 a factor of o?
True
Let p = 969 + -629. Suppose 6*g - p = 836. Does 38 divide g?
False
Let t(r) = 7*r**2 - 37*r - 3. Let x be 12/(-18) + 75/(-9). Does 65 divide t(x)?
False
Let g = 24263 - 20796. Does 13 divide g?
False
Suppose 4*x = x + 336. Suppose 0*a - 2*a + x = 0. Suppose -36 = -j + a. Does 29 divide j?
False
Let p(j) = -j**2 + 15*j - 14. Let i(b) = 2*b**2 - 6 - b - b**2 + b - b. Let k be i(4). Is p(k) a multiple of 22?
False
Let q(x) = x**3 + 19*x**2 - 31*x - 22. Suppose 20*w - 912 = 4*w. Let a = 37 - w. Is q(a) a multiple of 22?
True
Suppose -4*l - z = l - 131, l - 31 = z. Let k = l - -71. Does 7 divide k?
True
Suppose -2*o = -2*h + 232 - 5322, o = 5*h + 2565. Suppose 4*w - o = y, 4*w - 4*y - 2071 = 457. Is w a multiple of 13?
False
Suppose 0 = 5*m + 588 + 42. Let f = -402 + 352. Let j = f - m. Does 21 divide j?
False
Let f(c) = 2*c**2 + 10*c + 11. Suppose -40 = 17*i - 12*i. Is 4 a factor of f(i)?
False
Suppose 0 = -14*v + 12*v + 4. Suppose 64 = 4*z - s, -z = v*z - s - 47. Suppose 22*q - z*q - 495 = 0. Does 24 divide q?
False
Does 49 divide 566441/10 - (-30)/(-300)?
True
Suppose -6 = -w - i + 6, 0 = -2*w + 3*i + 29. Suppose k - 4*g = -2*k - 24, -3*g + w = -k. Is k/6 + 1/(3/245) a multiple of 9?
True
Let i = 51 - 63. Let f be (-2)/(3/(i/2)). Is 11 a factor of (f/8)/((-1)/(-22))?
True
Let o = 93 - 72. Let d be (-48)/28 - 6/o. Is 19 a factor of (-473)/(-5) + (-1 - d/5)?
False
Suppose 0 = -4*y - y + 236 + 5714. Is 10 a factor of y?
True
Let o(l) = l**3 + 3*l**2 - 4*l + 3. Let b = -49 + 89. Let k = b - 36. Does 20 divide o(k)?
False
Let y be (-2)/8 + (-84)/(-16) + 1. Is 14 a factor of y + -11 + 106 + -3?
True
Suppose 628584 + 868346 = 59*q + 148367. Does 46 divide q?
False
Suppose -h - 526 = -v + 532, -5*v = 5*h + 5270. Let k = 349 - h. Is k a multiple of 13?
False
Suppose 0 = -6*j + j. Suppose j = z + 3*v, 0 = 4*z - 0*z - v - 39. Let y(c) = c**3 - 10*c**2 + 9*c + 20. Is y(z) a multiple of 13?
False
Let y = 90 - 10. Suppose 0 = 4*i + i - y. Is i a multiple of 16?
True
Let o = 24 + -20. Suppose 2*g - 1217 = -2*g - 3*y, -y = -o*g + 1221. Is 61 a factor of g?
True
Suppose 3*g + 5*m - 3035 = g, 3*m = 15. Let u = 2569 - g. Is 76 a factor of u?
True
Let p(j) = -157*j + 98. Is p(-9) a multiple of 24?
False
Let i = -11149 - -22914. Is i a multiple of 10?
False
Suppose -3*g + 6*b - 3*b + 405 = 0, 4*g - 565 = -b. Let z(i) = 9*i - 264. Let w be z(20). Let d = w + g. Is d a multiple of 11?
False
Suppose 3*s = 2148*m - 2145*m - 8586, -m = 5*s - 2826. Does 51 divide m?
True
Let s be (108/(-63))/(2 + (-15)/7). Suppose -348 = -s*j + 564. Is j a multiple of 4?
True
Let n = -88 - -29. Let x = 112 + n. Let o = x - -54. Is o a multiple of 7?
False
Let u be 3 + (-11)/3 + (-2279)/(-3). Let f = u + -612. Is 49 a factor of f?
True
Suppose 146 = 4*w - 2*j, 87 = -3*w + 6*w + 3*j. Suppose w + 30 = h. Is h a multiple of 16?
True
Suppose 177 = -23*p - 53. Is 12 a factor of (-2)/(-10) - 2*7739/p?
True
Suppose -4*p + 4*y = 8, -2*y - 2 - 6 = p. Is 4/18 + 4416/54 + p a multiple of 9?
False
Let w(c) = c**3 + 6*c**2 + 5*c + 1. Let a be w(-4). Suppose 2584 = 6*i + a*i. Is 17 a factor of i?
True
Let g = -8291 + 13028. Is g a multiple of 12?
False
Let y = -21 - -33. Let g be (4*1/y)/(1/(-21)). Is 4 a factor of 28/(-8)*40/g?
True
Let u(h) be the first derivative of -3*h - 1305 - 3*h - 2*h + 1266 - 14*h**2. Does 34 divide u(-10)?
True
Let d(v) = 4*v**2 - 2*v. Suppose 0 = z - 11. Suppose -2*i + z = 3, w + 5*i = 22. Is d(w) a multiple of 4?
True
Does 12 divide 64444/30 - (4 + 522/