ppose -5*o + 5*c = c - 127, -2*o - 3*c + 60 = 0. Let p be o/21 + -1 - 57/(-21). Suppose 2*u - 2*v - 92 = 0, 2*u = p*v + 78 + 12. Is u a multiple of 8?
True
Let y(i) = -465*i + 503. Is 113 a factor of y(-14)?
False
Let h = -400 + 1253. Let m = h + -334. Is 27 a factor of m?
False
Suppose 10028 = 3*q + 2*i, -q + 12*i = 15*i - 3338. Is 22 a factor of q?
True
Suppose 215 = -3*a - 5*o, 0*a - 4*o = 4*a + 292. Let w = -75 - a. Suppose r - 15 - 9 = w. Does 3 divide r?
True
Let j(z) = -8*z - 9. Let u be j(-3). Suppose 3*t - 3*n - 25 = 2*t, -u = -4*t - 5*n. Suppose g - 25 = -4*k, t = 2*g - 0*g. Is 2 a factor of k?
False
Suppose 24*d = -44*d + 16*d + 43992. Is 3 a factor of d?
True
Let j(b) = 719*b**3 + 2*b**2 + 31*b + 19. Let m(o) = -359*o**3 - o**2 - 15*o - 10. Let l(f) = 2*j(f) + 5*m(f). Does 52 divide l(-1)?
False
Suppose -168*l = 6*l - 2865084. Is l a multiple of 14?
False
Let z(t) = 2*t**3 - 8*t**2 - 5*t + 12. Let f be z(7). Let q = -178 + f. Is 3 a factor of q?
True
Suppose -12*x = -3*x - 2601. Let k = x - 191. Is k a multiple of 49?
True
Suppose -22 + 61 = -3*d. Let z be -8 + 4 - d*1. Suppose 4*b - z*b = -125. Does 3 divide b?
False
Let n be 1/((-1 - 0)/(-2)). Let l(k) = -2*k**3 - 42*k**2 + 2*k + 106. Let a be l(-21). Suppose -2*x + 4 = n, 0 = -2*h + 4*x + a. Is h a multiple of 11?
False
Let l be (-18)/(-5) - (1 - (-28)/(-20)). Suppose -3*q = k - 28 - 11, 3*q - 147 = -l*k. Does 18 divide k?
True
Let g(z) = 135*z**2 + 10*z + 4. Let t = -370 - -369. Is g(t) a multiple of 23?
False
Let t = 34 - 16. Let f be (9/t)/(1/8). Suppose 3*p + m = -m + 413, 0 = -p - f*m + 151. Is 26 a factor of p?
False
Does 37 divide (12 - (-270)/(-25))*185?
True
Suppose 5*v - 4 = -k, -5*k = 2*v - 5*v - 20. Let s(i) = -29*i - 37. Let g(m) = 10*m + 12. Let y(w) = -11*g(w) - 4*s(w). Is 5 a factor of y(k)?
True
Suppose 61567 = 5*f + 7*z, 5*z + 24658 = 71*f - 69*f. Is f a multiple of 15?
False
Let z = -301 - -462. Let u = -18 + z. Does 4 divide u?
False
Let i be (-24960)/182 + (-2)/(-14). Let n be (-5)/(30/237)*6. Let l = i - n. Is 12 a factor of l?
False
Let d(j) = -118*j**3 - 6*j**2 - 51. Does 20 divide d(-6)?
False
Let t(a) = 49 - 7 - 39*a - 8505*a**2 + 8507*a**2. Is 10 a factor of t(21)?
False
Let l = 41 - 29. Let b be (-16)/(-6)*243/l. Suppose 8*y + 6 = b. Does 5 divide y?
False
Let c = -1445 - -1736. Is c a multiple of 97?
True
Suppose 537469 - 91397 = 85*o - 11*o. Is o a multiple of 14?
False
Let p(a) be the first derivative of 62*a**3/3 + a**2/2 + 3. Suppose -5*w - 6 = -1. Does 33 divide p(w)?
False
Let q be (-13)/4 - (-12)/48 - 82. Let n = 146 - q. Does 17 divide n?
False
Suppose -98*d + 4*d = -1141536. Does 103 divide d?
False
Let m be 22/3 - ((-78)/(-18) - 4). Suppose 5*d = 6*d - m. Suppose 60 = -6*s + d*s. Does 6 divide s?
True
Is 88 a factor of ((-1243680)/360)/((-2)/6)?
False
Suppose u - 93 = -4*q, -104 = 5*u - 3*q - 684. Suppose 4*a - a = -159. Let r = a + u. Is r a multiple of 18?
False
Let l(h) = -4*h**3 + 4*h**2 - 8*h + 6. Is 58 a factor of l(-3)?
True
Let n(l) = 5*l + 7 + 9*l + 10*l + 11*l**2 - 21*l. Let o be n(5). Suppose 0 = 5*r - 258 - o. Does 35 divide r?
False
Let c = 45106 + -21456. Is c a multiple of 215?
True
Suppose 3*m - 31041 = -9*c - 7914, 4*m = -2*c + 30776. Does 80 divide m?
False
Suppose -5*i - 238 = -5*j + 267, -422 = -4*j - 5*i. Let h = j + -94. Suppose 0 = 10*v - h*v - 28. Is 14 a factor of v?
True
Suppose 68801 = 42*d - 9319. Does 60 divide d?
True
Suppose g + 108 = m + 522, 0 = -3*g + m + 1238. Let q be (-11)/(-3) + (-1)/(-3). Suppose -3*a + g = -k, -q*a + 6*k - k + 564 = 0. Is 29 a factor of a?
False
Let p(b) = 1 + 47*b**2 - 5*b - b**3 - 94*b**2 + 53*b**2 + 2. Let r be p(4). Suppose 4*o = 137 + r. Is o a multiple of 19?
True
Suppose 0 = -2*t + d + 13, -2*d - d = 2*t + 7. Suppose 4*o = 2*q - 152, t*q - 7*o + 2*o = 289. Is 12 a factor of (q/(-10))/(12/15 + -1)?
False
Does 24 divide 8/((-64)/40) - (7 + 90)*-351?
False
Let q = 43 - 38. Suppose p = -3*r - q - 8, 0 = -2*p + r + 2. Let l(j) = -10*j + 2. Is l(p) a multiple of 3?
True
Suppose 238*s = 233*s + 1895. Let o = s + -249. Is 3 a factor of o?
False
Suppose 3059 = 5*v + 29. Suppose 44*r - v - 1066 = 0. Is 37 a factor of r?
False
Let w(m) = -m**3 + 10*m**2 - 26*m + 80. Let c be w(8). Let t = -4 + 15. Suppose -t*b + c*b = -429. Is b a multiple of 13?
True
Suppose -10*f + 6*f = -40. Suppose 9*c + 11 = f*c. Suppose 81 = g - c. Does 11 divide g?
False
Let a(i) = -3*i**3 - 21*i**2 + 24*i - 15. Let t(y) = 4*y**3 + 31*y**2 - 36*y + 23. Let z(u) = 7*a(u) + 5*t(u). Let o be z(8). Does 25 divide (1 + o/8)/((-3)/8)?
False
Does 18 divide 168*((-485)/97 - ((-626)/4 - 0))?
True
Let q = -20269 - -9879. Is (2/(-8))/(q/(-3464) + -3) a multiple of 26?
False
Suppose -2*v - 5*p + 26110 = 0, 5*v + p + 12196 - 77425 = 0. Does 81 divide v?
False
Suppose 0*w + 6 = w. Suppose 6*b - 26*b + 6400 = 0. Is (w/8)/(2/b) a multiple of 30?
True
Suppose -95510 - 33548 = -97*o + 27597. Is o a multiple of 8?
False
Is (-14288)/18*-10 - (-18)/(-567)*-7 a multiple of 21?
True
Let v(w) = 49*w - 25. Let x be v(23). Suppose 5*i - 2800 = -4*d + 3*d, 4*d - x = -2*i. Is i a multiple of 15?
False
Suppose -l - 4*l + 5*x = -75, -3*l + x = -39. Let j(p) = 5*p**2 - 17*p + 12. Let y be j(l). Let k = y + -333. Does 15 divide k?
True
Let r = 361 - 339. Suppose -2*u + 1573 = -r*t + 27*t, -5*t + 2352 = 3*u. Is 41 a factor of u?
True
Let b(q) = -q**3 + 37*q**2 - 78*q. Suppose 27 - 435 = -12*r. Is b(r) a multiple of 40?
False
Let u(p) be the second derivative of 199*p**4/12 + 2*p**3/3 + 3*p**2/2 + 2*p - 7. Does 22 divide u(-1)?
True
Let s(g) = 1645*g - 1726. Is s(3) a multiple of 101?
False
Let t(u) = u**2 - 67*u - 2689. Is t(143) a multiple of 28?
False
Let t = 36 + 66. Suppose 3*n - 2466 = -t. Suppose 8*r - 4*r = n. Does 29 divide r?
False
Suppose 95*r = 83*r + 14904. Let n = -210 + r. Is 86 a factor of n?
True
Does 8 divide 864/(-14)*1232/(-264)?
True
Suppose l - 2*k = 2*k + 15, 4*l - 48 = 4*k. Suppose -6*i = -i + 5*x - 40, 2*i + x - l = 0. Suppose 428 = i*g + t + 4*t, -2*t = -2*g + 264. Is 24 a factor of g?
False
Let t be 249*(-327)/(-45) + (-12)/(-20). Let o = 2760 - t. Is o a multiple of 50?
True
Let q(s) = -2*s**2 + 16*s + 19. Let m(a) = -3*a**2 + 17*a + 18. Let x(d) = 3*m(d) - 4*q(d). Let g be x(-10). Suppose 0 = -10*h - g + 608. Is h a multiple of 12?
True
Let k be ((-7)/3 + 1)*6675/10. Let d = k - -1304. Is d a multiple of 9?
True
Suppose -4*r + 2*h + 12866 = 0, 4*h + 16081 = 5*r + 3*h. Is r a multiple of 29?
False
Let c = -16636 - -26250. Is 22 a factor of c?
True
Let z(m) = -104*m + 30. Let v(f) = -2*f**2 - 6*f + 19. Let k be v(-5). Is 14 a factor of z(k)?
False
Suppose -96*o = -67058 + 338. Does 2 divide o?
False
Let t(o) = -15*o + 221. Let w be t(14). Suppose -16*r + 3591 = w*r. Is 19 a factor of r?
True
Let x(i) = 1310*i**3 - 23*i**2 + 4*i - 21. Is x(3) a multiple of 14?
True
Let q = 19 - 19. Let b(k) = 8*k - 30. Let v be b(4). Suppose -6 = -v*o, q = 2*z - 0*z - 4*o. Is 5 a factor of z?
False
Let c(s) = -s**3 + 9*s**2 - 7*s + 7. Let n be c(7). Suppose -5*b - 497 = -y - n, -2*y = 2*b - 906. Is 41 a factor of y?
True
Let v(z) = z + 31. Let y be (35 - 0)*3/3. Let d = y + -49. Does 17 divide v(d)?
True
Suppose -43*x - 5*x + 748503 = 61*x. Does 33 divide x?
False
Is ((-5)/90*-6)/((-7)/(-107289)) a multiple of 6?
False
Let h(x) = 10*x**2 + 231*x - 5956. Is h(42) a multiple of 34?
True
Suppose 61*r + 559674 = 154*r. Does 66 divide r?
False
Suppose 15*q + 884 = 19*q. Let u = q + -191. Is u a multiple of 3?
True
Let v be 11/(385/13990) - 8/(-28). Suppose -93*f - v = -94*f. Does 25 divide f?
True
Let v be 6/(12/64*4). Suppose -v = l - 3*l - 2*a, 3*a = -2*l + 7. Suppose l*p = 3*p + 42. Is p a multiple of 3?
True
Let d(r) = r**2 + 58. Suppose -z = n + 2, -4*n - 8 = -3*n + 4*z. Let p be d(n). Let o = p - 43. Does 5 divide o?
True
Suppose 67978 + 13614 = 14*q. Is 31 a factor of q?
True
Is 12 a factor of (1703130/10725)/(-1 - (-411)/410)?
False
Let k = 3681 + -2985. Does 58 divide k?
True
Let s(o) be the second derivative of o**5/10 + 41*o**4/12 + o**3/6 + 8*o**2 - 16*o + 2. Does 44 divide s(-20)?
True
Let d be 13 + (6 - 4 - -4) + -8. Let r(c) = 29*c + 6. Let j be r(6). Suppose 7*w + j = d*w. Does 15 divide w?
True
Suppose 0 = 5*r + 3*s + 13, 