= 370*o - 28002, -5*o = r - 14007. Is r a multiple of 10?
False
Let h = -55 + -108. Let g = h + 352. Is 25 a factor of g?
False
Let j = -242 - -250. Suppose 7*t - j*t - 3 = 0, 0 = -4*h + t + 559. Is 14 a factor of h?
False
Let d(r) = -r + 8. Let c be d(4). Suppose -x - 318 = -5*u, 0*x - 255 = -c*u + x. Does 3 divide u?
True
Suppose 3*x - 36 = -2*y + 4*y, 4*x + 4*y = 28. Suppose 5*v - 2024 + x = a, 2*a = -3*v + 1198. Is v a multiple of 34?
False
Let l(g) = -179*g + 48. Is l(-22) a multiple of 13?
False
Suppose -2*c - 1770 - 1224 = -q, -4*q = -3*c - 11971. Does 136 divide q?
True
Let b be (6 - 135/20) + (-18555)/12. Let a = -975 - b. Does 44 divide a?
True
Let s = 75 + -72. Suppose 0 = -4*u + 2*u, s*u = -3*m + 21. Suppose 3*o - 324 = m*i - 2*i, i - 324 = -3*o. Does 12 divide o?
True
Does 6 divide (15/(-5) - 206/(-10))/(70/3675)?
True
Let p(v) = -8*v**3 + v**2 - 1. Let j be p(-1). Let t be (-8)/16*2/(-1)*3. Is 9 a factor of t - 7/2 - (-436)/j?
True
Let d = 52 - 50. Suppose -3*b = d*b - 180. Suppose -3 = -3*l, l = j - 31 - b. Is j a multiple of 17?
True
Suppose 4*d = 2*u + 3*u + 23, -3*d + u + 20 = 0. Let i be (d - -8)*34/6. Let s = i + -82. Is 3 a factor of s?
True
Let i be 1/(8/108) + 1/(-2). Let z(f) = -3*f + 41. Let y be z(i). Suppose -y*g = -3*p + 1276 - 303, -4*p + 5*g + 1302 = 0. Is p a multiple of 43?
False
Let v(g) = 11*g**2 - 35*g + 28. Does 16 divide v(36)?
True
Let r = 705 - 695. Suppose 324 = r*l + 34. Does 2 divide l?
False
Suppose -j + b = -3, 3*b - 11 = -j - 0*b. Let x be 3/j*(-1 + 4/(-1)). Does 32 divide -256*(x/(-6) + 2/(-2))?
True
Let x(y) = -y**2 - 4*y + 47. Let c be x(6). Let u(b) = -2*b**2 + 23*b - 52. Let l(h) = h**2 - 11*h + 26. Let s(n) = 13*l(n) + 6*u(n). Does 33 divide s(c)?
False
Suppose 0 = -n - 0*n - r + 59, -3*n - r = -171. Let i = 56 - n. Suppose i = -g + 3*g - 52. Is 13 a factor of g?
True
Let o = -2034 - -2314. Let z(j) = -j**3 - j**2 + 5*j - 6. Let r be z(-6). Let v = o - r. Is v a multiple of 17?
True
Let g(o) = o**3 + 4*o**2 + 4. Let x be g(-4). Is 0 + (x + -7 - -44) a multiple of 29?
False
Suppose 29*z = 11*z - 2862. Does 53 divide (424/z)/(2/(-279))?
False
Suppose 0 = -7*o - 160 + 11402. Is o a multiple of 97?
False
Is 15452/(-1)*29/232*-2 a multiple of 3?
False
Let k(x) = -89*x + 4745. Is k(-56) a multiple of 141?
True
Suppose -a - 147 = 23. Let s = a - -178. Does 6 divide s?
False
Let t(x) = x**2 + 35*x - 25. Suppose 0 = -z + 4*h - 2 + 26, -4*z + 66 = -h. Is 56 a factor of t(z)?
False
Suppose 44*j - 3*j - 21074 = 0. Let n = 1350 - j. Is 22 a factor of n?
True
Let c(y) = 8*y + 27. Let m be c(-3). Let b(v) = 18*v**3 + 3*v**2 - 3*v + 2. Let z be b(2). Suppose -m*h - 2*i + z = 0, 4*i = 2*i + 8. Is 12 a factor of h?
True
Let i = 685 + -680. Let o(j) = 8*j + 4. Let b be o(-3). Is 10 a factor of b/((15/(-6))/i)?
True
Let g(d) = 913*d**3 - 2*d**2 + 5*d - 4. Does 8 divide g(1)?
True
Let m = 664 + -736. Let j = 92 + m. Is 10 a factor of j?
True
Suppose -4*r + 920 = -9*r. Let a(z) = -4*z**2 + 13*z + 40. Let n be a(-8). Let l = r - n. Does 11 divide l?
False
Let r(s) = 8*s**2 + 912*s + 1113. Is 7 a factor of r(-128)?
True
Let t be 18/225*-5*(-50)/4. Suppose 1854 = t*j - 2*m, 906 + 198 = 3*j + 3*m. Does 33 divide j?
False
Suppose 36*n - 152330 = 129*n - 667550. Is n a multiple of 9?
False
Suppose -42*s + 19*s + 69 = 0. Suppose 0 = s*u, 5*k + 4*u - 3519 - 981 = 0. Does 12 divide k?
True
Let w(m) = 2*m**2 - 20*m - 6. Let q be w(16). Suppose 8*n = -50 + q. Does 16 divide 34/8*(n - 1)?
False
Let g = -198 + 222. Let f be 4/(-6)*(-45)/6. Suppose -m + 0*m = -f*a - g, -a = 2. Does 13 divide m?
False
Suppose 0 = -8*c + 18*c - 20. Suppose y - 3*t - 93 = 0, c*y = 3*y + t - 105. Suppose 2*x - 170 = -5*u + 3*x, 3*u + 4*x - y = 0. Is u a multiple of 11?
False
Let l = 6118 + -4508. Is 25 a factor of l?
False
Let m(o) = -92*o**2 - 8823*o + 141. Does 4 divide m(-94)?
False
Suppose p + o - 1651 = -1807, -3*p - 4*o - 465 = 0. Let x(h) = -143*h. Let y be x(-2). Let q = y + p. Is q a multiple of 13?
False
Is (-5)/((-15)/402) - -1 - -5 a multiple of 28?
True
Let x(y) = 294*y + 6. Let h = 117 + -116. Does 25 divide x(h)?
True
Suppose -5*j + 116 = -24. Suppose -5*d + 496 = 4*q, 2*d - 224 = -q - j. Is d a multiple of 12?
True
Let q(l) = -l**2 - l - 4. Let m be q(3). Let u be (-1)/((-7)/406) + 8 + -2. Let o = u + m. Is 15 a factor of o?
False
Let u(c) be the third derivative of c**6/40 - c**5/30 - c**4/12 + c**3/6 + 11*c**2. Let j be u(3). Let n = 119 - j. Is 27 a factor of n?
False
Let s = -313 + 332. Suppose -288 = -s*t + 16*t. Is 16 a factor of t?
True
Suppose -80583 - 193977 = -52*s. Does 60 divide s?
True
Suppose r = -36*r + 3515. Is 20 a factor of ((-114)/r)/(6/(-2900))?
True
Let x = 286 + -284. Suppose 0 = -3*h - x*t + 902, -3*h - 2*t - t + 900 = 0. Is h a multiple of 13?
False
Suppose 50*c = 161*c - 576201. Does 5 divide c?
False
Let h = -4153 - -10707. Is 113 a factor of h?
True
Suppose 1758 = g - 923 - 1960. Does 4 divide g?
False
Let z(i) = -11*i + 40. Let o be z(5). Let g = 21 - 16. Is ((-3)/9*5)/(g/o) a multiple of 3?
False
Suppose 298 = f - 3*j, 2*j + 541 = 2*f - 47. Let g = f - 39. Suppose -12*q + g = -q. Is q a multiple of 3?
False
Suppose 3*t + 77203 = 4*i, 0 = 2*t - 36 + 46. Is 13 a factor of i?
False
Let p be -4*(3 - (-17)/(-4)). Suppose 5*o - p*a - 1518 = -138, 0 = -a + 4. Does 40 divide o?
True
Let x(b) = b**3 - 27*b**2 + 94*b + 39. Is x(26) a multiple of 12?
False
Suppose -2*l + 4*t = 2*t, -4*t + 8 = 4*l. Suppose 2*b - 112 = -2*w, -230 - l = -4*b + 3*w. Is b a multiple of 3?
True
Let o = 18667 + -7153. Does 57 divide o?
True
Suppose -235363 = -37*a - 85772. Is 3 a factor of a?
False
Let o be (-2 - -4 - 3) + 4. Suppose 0 = 13*g - 0 - 78. Does 34 divide (-20)/(-15)*(o - (-351)/g)?
False
Let t(k) = 37*k + 540. Suppose -3*n + 13*n = -5*n. Does 14 divide t(n)?
False
Let b(q) = 62*q**3 + 9*q**2 - q + 12. Let v(r) = -r**2 - 2*r - 1. Let o(x) = b(x) + 4*v(x). Does 11 divide o(2)?
True
Suppose 0 = f - 5, 3*f = -280*z + 282*z - 25293. Is z a multiple of 19?
True
Suppose 8*u + 17*u - 998325 = -62*u. Is 20 a factor of u?
False
Let s(h) = -h**3 - 21*h**2 - 9*h - 11. Let v be s(-19). Let j = v - -722. Is j a multiple of 4?
True
Suppose -121272 = -3*m - 3*i, -3*m - 4*i + 151792 = 30525. Is 18 a factor of m?
False
Suppose -d + r + 4385 = 0, 76 = r + 72. Is d a multiple of 57?
True
Suppose 0 = -1134*z + 1124*z - 60. Is 33 a factor of 757 - (z - (-1)/((-6)/(-48)))?
False
Suppose -3*p + 4*n = 291, -24*p + 5*n = -19*p + 490. Let c = 125 + p. Is c a multiple of 3?
True
Suppose 45 = v - 4*g, -5*v + g + 0*g + 187 = 0. Suppose -v = -13*p + 314. Is 18 a factor of p?
False
Suppose -1 = -p, -18*p + 16*p + 6 = d. Is 6 a factor of (-3364)/(-28) - d*(-3)/(-84)?
True
Let a(c) = -112*c**3 - 12*c**2 + 19*c + 315. Is a(-5) a multiple of 24?
True
Suppose 280 = -0*d - 14*d. Is (-6)/8 + (-995)/d a multiple of 49?
True
Suppose -17693*u + 17690*u + 273521 = 18497. Does 14 divide u?
True
Suppose -4*u = -3*h + 18006, 0 = 271*h - 267*h + 3*u - 24033. Is h a multiple of 143?
True
Let q(c) = -995*c + 2208. Is 21 a factor of q(-24)?
False
Let c(z) = 122*z**2 - 2*z + 1. Let h be ((-5)/(-20))/((-3)/12) + 2. Let p be c(h). Suppose w + 27 = f + 3*w, 4*f - 5*w = p. Is f a multiple of 6?
False
Let x(n) be the third derivative of n**6/120 + n**5/60 - 5*n**4/24 + 191*n**3/6 - 12*n**2 - n. Is x(0) a multiple of 16?
False
Let a be 13 + -17 - -615*1. Suppose -5*s + 174 + a = 0. Suppose 3*c - 203 = s. Does 12 divide c?
True
Let k(d) be the second derivative of d**5/20 + d**4/12 + d**3/6 + 239*d**2/2 - 3*d. Let p(o) = -2*o**2 + 7*o + 30. Let j be p(6). Is 14 a factor of k(j)?
False
Suppose 0 = 5*q - n - 30, n + 0*n + 12 = 2*q. Suppose -o = -51 + q. Suppose -s = 2*s - o. Does 5 divide s?
True
Let t = -806 + 1832. Suppose 4749 = 21*k - t. Is 29 a factor of k?
False
Let g(q) = -43*q - 124. Let s be g(-3). Suppose -3*i + 328 = s*c + 126, 4*c - 136 = 4*i. Is c a multiple of 6?
False
Let f(o) = o**3 + 38*o**2 + 71*o - 30. Let j be f(-36). Suppose -2*s + 3*n - 2407 = -j*s, -s + 608 = 2*n. Is 13 a factor of s?
True
Suppose 3*j + 3*c = 246, -j + 89 = 4*c + 13. Let b = 31 - j. Let g = b - -73. Is 4 a factor of g?
True
Let p = 3445 + 10291. Is p a multiple of 174?
False
Let v(f) = f**3 