786)/(-9) - 4/18. Suppose -4*p = -2*s + v, -2*s - 6*p = -2*p - 1944. Suppose 7*x + 0*x - s = 0. Is 35 a factor of x?
True
Does 6 divide ((-576)/(-10))/(((-2)/136)/((-270)/432))?
True
Let v(u) be the second derivative of u**5/10 + 19*u**4/12 + 2*u**3/3 + 9*u**2 + 32*u - 2. Does 6 divide v(-9)?
False
Let a(l) = l**3 - 7*l**2 + 3*l - 15. Let c be a(7). Suppose -5*u = c*u. Suppose u = 2*r + 3*z - 364, 0*r + 3*z = 2*r - 364. Is r a multiple of 26?
True
Let w = -809 + 1197. Let a = -310 + w. Does 16 divide a?
False
Suppose -j = -4*j + 18. Suppose 0 = j*t + 273 - 33. Let g = t + 79. Does 26 divide g?
False
Let i(g) = 4 + 0*g**2 + 2*g - 7*g**2 + 5*g**2 - 2*g**2 + 310*g**3 - 2. Does 31 divide i(1)?
True
Let g(d) = 13*d**2 + 16*d + 42. Let j be g(9). Let n = j + -695. Is 43 a factor of n?
False
Let x = 13832 + -7964. Is 6 a factor of x?
True
Let l = 7 + -3. Let y be (-1 + 1)*(-10)/(1 - 31). Suppose 580 = -y*c + l*c. Is 18 a factor of c?
False
Let c = 10931 - 683. Is 6 a factor of c?
True
Let u be (-8918)/(-8)*1 - (-140)/112. Suppose 0 = 28*f - 2328 - u. Does 19 divide f?
False
Is (-32)/28 - 861984/(-126) a multiple of 180?
True
Let l(c) = -18*c - 54. Suppose -5*d - 585 = -520. Is l(d) a multiple of 13?
False
Suppose 24*k - 14500 = 74*k. Let x = 5 - k. Is 6 a factor of x?
False
Let j(o) = -13*o + 17. Let y be j(1). Suppose 17*k - 15*k + 2*q = 908, -k = -y*q - 479. Is k a multiple of 17?
True
Let r = 11329 + -6049. Is 20 a factor of r?
True
Let n(v) = 2*v**3 + 109*v**2 - 56*v - 12. Let h be n(-55). Let f = h - -14. Is 2 a factor of f?
False
Let a = -8645 + 14004. Does 16 divide a?
False
Is 82 a factor of 382/(4/124*2)?
False
Let m = 17 - 17. Suppose 2*t - t - 3 = m. Let g = 18 - t. Is g a multiple of 3?
True
Does 120 divide (-18)/(-54)*((-77893)/(-4) - (-1)/(-4))?
False
Does 126 divide 10/(-185) + (-53519840)/(-1480)?
True
Let f = -2542 - -13542. Is 11 a factor of f?
True
Does 26 divide 8523 - (7 - (-528)/(-110)*(-5)/(-2))?
True
Is 74 a factor of 1*-1 - -5*(-7)/((-175)/40335)?
True
Suppose 2*u - 21*u - 9*u = -431200. Does 22 divide u?
True
Suppose -141 = -4*m - r + 201, 0 = 4*r - 8. Let d be ((-63)/3)/((-192)/2240). Let z = m + d. Is 66 a factor of z?
True
Suppose 72*u - 35207 = 37*u + 89673. Is u a multiple of 17?
False
Let j(m) = m**3 + m**2 - 26*m - 5. Let g be j(5). Suppose 0*a + 5*a + 2*c + 44 = 0, -5*c + g = 0. Is 11 a factor of (-1155)/a*(-1)/(1/(-2))?
True
Let c = 352 - 159. Let k = c + 83. Is 69 a factor of k?
True
Let i = -13154 + 13793. Is i a multiple of 10?
False
Suppose 0 = -13*x + 18*x. Suppose -8*o + 81 + 503 = x. Let u = o - 66. Does 6 divide u?
False
Let r(j) be the third derivative of -7*j**4/24 + 5*j**3/3 - 25*j**2. Suppose -12 = -q + 5*h, q - 4*h = -h + 6. Is r(q) a multiple of 10?
False
Suppose -3*w - 5*f + 1 + 9 = 0, -3*w - f = -14. Suppose -k - 5*y + 10 = 0, y + 2 = 2*k + 2*y. Suppose k*v = -w*v + 180. Is v a multiple of 4?
True
Suppose -2 = 2*y + 44. Let h = y + 32. Suppose -4*d + h*d = 15. Does 3 divide d?
True
Let k(m) = 3*m**2 + 13*m + 20. Let c be k(-5). Suppose -n - 3*g + 75 = 0, -3*g + 5*g - 375 = -5*n. Let t = c + n. Does 15 divide t?
True
Let h(i) = -i**3 - 8*i**2 - 5*i - 14. Let r be h(-8). Let t = -32 + r. Let v = 46 - t. Is 13 a factor of v?
True
Let j = -30 - -36. Suppose -j*d - 5*a = -d + 110, -1 = a. Is 37 a factor of -7*-1*d/(-3)?
False
Let f = 22940 + -14602. Is f a multiple of 22?
True
Let y = 30889 - 17265. Does 104 divide y?
True
Does 45 divide 168832/56 + -1 + (-40)/(-35)?
True
Let h = 51 + -91. Let p be (6 + 0 + -1)*(-24)/h. Suppose -3*k = -2*t + 63, 2*t - p*k - k - 68 = 0. Is 3 a factor of t?
True
Suppose -8*l = 50*l - 31262. Does 11 divide l?
True
Let b(l) = -4*l - 2 + l + 12 + 10 + 22*l**2. Does 10 divide b(4)?
True
Let c(p) = p**2 - 3*p - 11. Let h be c(5). Let k be -2037*(12 + -15 - (-1 - h)). Is k/27 + (-4)/(-6) a multiple of 17?
False
Let w be 21/9 - 3/9. Let u(v) = 0*v - 72 - v**2 + 14*v**w + v + 76. Is 5 a factor of u(2)?
False
Let b(k) = k**3 + 3*k**2 + 6*k + 1. Let y(c) = 2*c - 10. Let w be y(4). Let z be b(w). Is 20 a factor of (120/(-2))/(z + 5 + 1)?
True
Suppose 0 = -327*r + 271*r + 1311800. Is r a multiple of 85?
False
Let o(x) = -2*x + 4. Let v be o(2). Suppose -2*n - 5*h + 33 = -88, n + 3*h - 58 = v. Let k = n + -37. Is k a multiple of 6?
True
Suppose 18*h = 28*h - 43730. Does 15 divide h?
False
Suppose 4*d - 66310 = -3*c, -4*c - 5*d + 6*d = -88407. Is 86 a factor of c?
True
Is (-1 - 42)/((-17)/2057) a multiple of 43?
True
Let l(i) = 21*i**3 - 41*i**2 - 52*i + 465. Is 141 a factor of l(9)?
True
Let y be (1 - (-1717)/(-5)) + (-237)/395. Let z = y + 534. Does 65 divide z?
False
Suppose 3*i - 3 = 3*x, 5*i + x = 9 + 2. Does 8 divide (1392/9)/((-5)/((-15)/i))?
True
Suppose -q - 157 = -b, -5*q + 153 = b - 4*q. Suppose -4*x - 660 = -2*i, x - 1517 = -5*i + b. Is i a multiple of 14?
False
Let x = 430 + 98. Suppose -391*t + 389*t = -x. Is t a multiple of 22?
True
Let b = -128 - -128. Suppose 4*s + b*s = 304. Is 4 a factor of s?
True
Let g be (-5 - 273/(-65))/(4/(-110)). Suppose 6 = -5*n - 9. Let f = n + g. Is f a multiple of 19?
True
Let y(c) be the second derivative of 687*c**5/20 - c**4/4 + c**3 - 2*c**2 - 78*c. Is 14 a factor of y(1)?
True
Let y(z) = z**2 + z. Let s(v) = 3*v**2 - 6*v - 11. Let n(p) = -s(p) + 2*y(p). Let r be n(7). Let h = r + 12. Is 6 a factor of h?
True
Suppose 23*w - 8*w = 405. Suppose w*y = -12*y + 57681. Does 17 divide y?
True
Let t(a) = -a**3 + 7*a**2 + 6*a + 2. Let b be 0/11 + (7 - 1). Suppose 70 - 58 = -b*n. Does 13 divide t(n)?
True
Suppose -9*k + 180874 - 31869 = -279395. Does 50 divide k?
True
Suppose -u = -c + 7, -2*c - 4*u = 3*c - 35. Suppose -c*d = -2*d + 35. Does 3 divide 16 + (2/4)/(d/(-42))?
False
Is 272947/13 - 15/20*40/(-390) a multiple of 29?
True
Suppose -52*m + 2264976 = 137*m. Does 170 divide m?
False
Let k = -98 + 133. Suppose -2*i + 5*s + 26 = 0, 0 = 19*i - 18*i + 3*s - k. Does 23 divide i?
True
Let x = 425 - 129. Suppose 15 = -3*n, 13*m + 4*n + x = 9*m. Is 8 a factor of (m/(-9) - 5)*12*3?
True
Suppose -t = -1, 5*t + 5 = -5*p - 5. Suppose -21*c - 95 = 31. Is 15 a factor of p - c - (-139 + 1)?
False
Suppose 3*d + 75243 = 4*i, 5*d - 6417 = -i + 12388. Is i a multiple of 171?
True
Suppose 12*k + 61 - 145 = 0. Suppose -k*q = 12*q - 684. Is 9 a factor of q?
True
Let c(j) = -j**3 - 4*j**2 + 10*j + 7. Let x be c(-7). Suppose -3*g + 534 = x. Let l = -42 + g. Is l a multiple of 11?
False
Let h(y) = -y + 15. Let x be h(11). Suppose 9*t - 14 = x. Suppose -6 = -2*m + t*u + 38, -3*m + 68 = -4*u. Is 10 a factor of m?
True
Suppose 5*v - 6*q + 7*q = 1090, q = v - 224. Is v a multiple of 2?
False
Let s = -22 + 24. Suppose -s*k = 18 - 26. Is 17 a factor of (-80)/(-5) - (2 - (-1 + k))?
True
Let s be 1/(-1) - 12*2/(-4). Suppose s*r = 14*r - 6795. Is r a multiple of 81?
False
Let c = 75 - 80. Does 17 divide -5*(-141)/3*(c + 6)?
False
Suppose 99*q = 40*q + 649472. Is q a multiple of 16?
True
Let d = -371 - -204. Let x = d + -9. Let g = x - -256. Is g a multiple of 8?
True
Suppose 0 = 3*z - 77665 + 60385. Does 192 divide z?
True
Suppose 0 = -37*j + 90*j - 57*j + 12232. Is j a multiple of 6?
False
Is 6 a factor of 42/(-70) - (-218713)/55?
False
Suppose 85*g + 4 = 86*g. Suppose 3*i - 1717 = -g*f, 5*i - 613 = 3*f - 1879. Does 14 divide f?
False
Suppose -35*p + 14*p + 2638896 = 3*p. Is 15 a factor of p?
False
Does 39 divide ((-2)/3 - (-928)/(-12))*38/(-2)?
True
Suppose -88*q - 252559 = 322*q - 2986849. Is q a multiple of 57?
True
Suppose 115*s - 139*s + 112896 = 0. Is 32 a factor of s?
True
Let d(s) = s**3 - 9*s**2 - 25*s + 19. Let n be d(11). Is 4 a factor of (-6116)/77*n/4?
False
Let j be (-8)/(-18)*297/66. Suppose -u - 2*h - 3*h + 508 = 0, 10 = j*h. Does 23 divide u?
True
Suppose -4*w - 3*z = -12305, 81*w - 79*w + 3*z - 6151 = 0. Is w a multiple of 20?
False
Does 7 divide (-3)/18*((-8)/4 + -150400)?
True
Suppose 0 = -3*i + h + 551 - 101, i - 160 = -3*h. Let k = 511 - i. Is k a multiple of 30?
True
Let b = -11164 - -12700. Is b a multiple of 24?
True
Let b(z) = 79*z - 46. Let d be b(8). Suppose -y - d = 5*r - 2616, -5*y - 1653 = -4*r. Is 11 a factor of r?
True
Let k be 40/(-3)*1107/18. Let p be (k/(-15))/(2/3). Suppose 5*t + 2*b - 685 = 0, p = -t - 2*b + 227. Is t a multiple of 1