pose -399 = c*d - 13*d. Is d a multiple of 9?
False
Suppose -306 = -281*j + 272*j. Suppose 0 = 25*w - j*w + 90. Is w a multiple of 10?
True
Let y(s) = s**3 + 174*s - 18 - 6*s**2 - 9*s**2 - 168*s. Is y(15) a multiple of 9?
True
Let n(o) = 823*o - 846. Is 19 a factor of n(11)?
False
Suppose -2*v - 4 = 4*p, -5*v - 13 = -3. Suppose -3*b + 379 - 37 = p. Is 7 a factor of b?
False
Suppose 3*p - 4*h - 1353 = 0, -3*p + 8*p + 3*h = 2255. Let s = 1537 - 1771. Let u = s + p. Does 31 divide u?
True
Let g be -3 + (2 - -268) + -6 + 3. Suppose -g*w = -257*w - 336. Is w a multiple of 4?
True
Let p(a) = -a**3 - a**2 + 3*a + 3. Let x be p(-2). Let q(r) = -4 + 2*r - 3*r**2 + 47*r**2 + 3*r + 0*r. Is 32 a factor of q(x)?
False
Suppose z = 5*r - 1189, 3*z = 30*r - 26*r - 960. Suppose -119 = -d + 4*w + 114, -d = -5*w - r. Is d a multiple of 15?
False
Suppose -14 = p - 2*z - 106, -4*p + 2*z + 386 = 0. Suppose -x - p = -d, 4*x - 2*d = -x - 484. Let v = x - -158. Is v a multiple of 34?
False
Let a = 157 + -141. Suppose -a*h + 6*h + 5200 = 0. Does 25 divide h?
False
Let r(s) = s + 20. Let w be r(-15). Let i be -1 + -3*(-5)/w. Is 13 a factor of 21 + 5 + i + 0 + -2?
True
Let d(h) = -2*h**3 + h**2 - 3*h - 8. Let k be d(-8). Suppose -30*a + 36*a = k. Is a a multiple of 46?
True
Let q be 73 + (-3)/(-3) + -1. Let h = q - 69. Suppose 272 = 4*p + h*j, -360 = -5*p + j + 4*j. Is 10 a factor of p?
True
Let v be 2/((6/673)/3). Suppose -1045 = 2*x - 95. Let z = x + v. Does 22 divide z?
True
Let h = -37 - -40. Suppose -h*y = y, g + y - 9 = 0. Let f(q) = 2*q - 12. Is f(g) even?
True
Suppose -10 = 2*t, d - 24 + 0 = 4*t. Suppose 3*l + 840 = d*v, -4*v - 2*l + 848 = -3*l. Is 21 a factor of v + 5/(-1 + -4)?
False
Let c = -18729 + 23017. Is c a multiple of 9?
False
Suppose -4*p + p - 483 = 0. Let i = -65 - p. Let m = 39 + i. Is m a multiple of 27?
True
Let z = -370 - -108. Let q = -136 - z. Is q a multiple of 9?
True
Let w be (-52)/((-2)/(-5) + (-1)/(-10)). Let y = -100 - w. Let x = 28 - y. Is x a multiple of 6?
True
Suppose -5*j = -4*m + 125420, 125456 = 4*m + 11*j - 7*j. Is m a multiple of 112?
True
Suppose -4*u = -13*v + 9*v - 10924, 0 = -5*v - 20. Is 67 a factor of u?
False
Let t(b) = 3*b + 17. Let k be t(-5). Suppose 212 = q + 5*f, 7*q - 11*q = -k*f - 782. Does 21 divide q?
False
Let c be ((-44)/3)/((-10)/15). Suppose d - c = 12. Let r = d - 10. Does 9 divide r?
False
Let r(u) be the third derivative of u**6/120 - 29*u**5/60 + 5*u**4/2 + 13*u**3/6 - 76*u**2. Does 2 divide r(27)?
False
Is 42 a factor of (11/4 - 2) + 1260270/88?
True
Let a be 61 + 4 + 4 - -1. Suppose 7*l = a - 21. Let y = 24 - l. Is 17 a factor of y?
True
Let m(f) = 15*f**2 + 8*f - 19. Let v = 26 - 21. Suppose 4*a + 3*d = 5*d + 24, 0 = -3*a - v*d - 8. Does 33 divide m(a)?
False
Let s = 22970 + -18710. Is s a multiple of 30?
True
Let r = 1181 + -801. Let t = r - 191. Does 10 divide t?
False
Let l be (6 + -3 - 1) + 4. Let t be (8/3)/(l/54). Suppose j - 3 = t. Is 4 a factor of j?
False
Let f = -50 + -663. Let y = 1185 + f. Is 23 a factor of y?
False
Let y(n) = -17*n + 2. Let t be y(-3). Suppose -214*f + 253*f = -2379. Let b = t - f. Is 19 a factor of b?
True
Let u be (21 + 73)*(-1)/(-2). Suppose -s = -3*n + u, n + 4*s - 13 = 7*s. Suppose -4250 = -n*q - q. Does 50 divide q?
True
Let q = 82 - 160. Let r = q + 212. Suppose k + 4*c - 130 = 0, -436 = -5*k - 4*c + r. Is 10 a factor of k?
True
Let k be ((-6)/3)/((-14)/(-77)). Let v(o) = o**3 + 11*o**2 + 4. Let n be v(k). Suppose -n*w + 51 = -3*w. Does 22 divide w?
False
Let i(d) = d - 5. Let k(r) = r**2 - 8*r - 26. Let a be k(11). Let u be i(a). Suppose 3*p + w - 17 = 0, -5*w = -u*p - 3*w + 22. Does 3 divide p?
False
Suppose -1045200 = -347*g + 295*g. Is g a multiple of 12?
True
Let p be -5 - 152/(-16)*18. Let j = p + -90. Does 19 divide j?
True
Suppose -3*c - 6549 = -3*m, -8*m = -7*m - 5*c - 2211. Does 68 divide m?
True
Let h be (67/2)/(1/(-2)). Let d(o) = -2*o**2 - 63*o - 247. Let l be d(-14). Let x = h + l. Is x a multiple of 22?
True
Let f = -89 - -27. Suppose 8*z - 92 = 188. Let y = z - f. Is y a multiple of 25?
False
Let t be (-5)/(-1 - -6) + 3. Suppose -t*v + 3 = 5, 418 = 4*d + 2*v. Does 3 divide d?
True
Suppose -j - 10832 = -5*o + 3*j, 0 = -o - j + 2161. Let a = o - 880. Suppose -8*p + a + 388 = 0. Does 11 divide p?
True
Suppose -3*c + 4*y + 17504 = 0, y = 2*c + 5001 - 16667. Suppose 332*g - 324*g = c. Does 27 divide g?
True
Suppose -69359 = -5*l - 4*m - 19554, 5*m = 5*l - 49850. Does 21 divide l?
False
Let z = -55 - -55. Suppose 63 = 4*v + w, -3*w - w - 20 = z. Suppose -v*r - 16 = -594. Is 17 a factor of r?
True
Let i(l) = 2 + l + 8 - 4. Let c be i(-3). Suppose 4*o - c*o - 50 = 0. Does 25 divide o?
True
Let r be 4*(-20)/24*18/(-15). Suppose -r*f + 1450 = -678. Is 25 a factor of f?
False
Let r(a) = a**3 + 4*a**2 - 5*a + 4. Let m be r(-5). Suppose -4*l + 82 = 2*q, 0*q + 4*q = -m. Does 8 divide 2/(-7) - (1 - 2043/l)?
True
Let l(u) = -1438*u - 2866. Does 18 divide l(-16)?
True
Let g(r) = r**2 - 7*r + 2. Let n be g(0). Let d be 6/n - 62/2. Let l = d + 81. Is l a multiple of 5?
False
Suppose 3*z - 151 = 2*b - 2*z, 0 = 4*b - 2*z + 326. Let k = -77 - b. Is 10 a factor of (7 + k + -3)*1?
True
Is 3/15 + ((-1)/5)/(42/(-1474158)) a multiple of 39?
True
Let a(i) = -i**2 + 10*i + 99. Let r be a(0). Suppose -111*d + r*d = -2760. Is d a multiple of 7?
False
Let x = 349 + -365. Let j(f) = -8*f - 79. Does 10 divide j(x)?
False
Suppose 10*s = 27 + 3. Suppose -5*c - 2133 = -3*b, s*b - 1741 = -c + 374. Does 10 divide b?
False
Let y = -4683 - -8848. Does 16 divide y?
False
Let u = -1191 + 4810. Does 18 divide u?
False
Let r(d) = 38*d**2 + 2*d - 4. Let w be r(2). Suppose -140*k = -142*k + w. Does 4 divide k?
True
Suppose 10150*c - 23144 = 10128*c. Does 6 divide c?
False
Let f = -708 - -1167. Suppose 7*a = f + 325. Does 32 divide a?
False
Does 10 divide ((-1491)/(-284))/((-7)/(-120))*(-1 + 444)?
True
Suppose 2*z - 7145 = -3*y, -2*z + 0*y = 4*y - 7148. Is 9 a factor of z?
False
Suppose -47 = -3*q + 3*c - 8*c, -2*q = -2*c - 58. Is (16/q - 4)*-84 a multiple of 20?
True
Let s(x) be the third derivative of x**5/60 + 5*x**4/8 + 11*x**3/3 + 7*x**2. Let v be (6/9)/(8/(-6))*44. Is 18 a factor of s(v)?
False
Let f = 47 + -43. Suppose -140 = -3*g - 2*c, 2*c - c - f = 0. Let w = g + -30. Is 14 a factor of w?
True
Suppose -86 = -4*m - 70. Suppose 1233 = m*x - 3*l, 6*l - 10*l - 604 = -2*x. Does 2 divide x?
True
Let l(c) = 17*c**2 - 64*c + 46. Let v be l(20). Suppose -10*j + v = -424. Is j a multiple of 74?
False
Suppose -8135 + 2127 = -4*f + 4*o, 5*o + 1502 = f. Is 4 a factor of f?
False
Suppose -3*d - 18524 = 2*k - 62167, -4*k - 3*d = -87295. Is 80 a factor of k?
False
Suppose 3*n + 13 = 2*v, -2*n = -4*v - 7*n - 7. Suppose v*g - 1771 = -137. Suppose g = 5*j - 103. Is j a multiple of 22?
False
Suppose -5*m - 131 = -386. Let d = m + -61. Let j = d + 53. Is j a multiple of 10?
False
Is 26 a factor of ((-576)/(-15))/(3/585)?
True
Let j(w) be the second derivative of w**5/20 - w**4/4 + w**3/6 - w**2/2 - 40*w. Let v be j(3). Is v/7 + (0 - (-3710)/49) a multiple of 9?
False
Suppose s + 4*p = 2*p + 2, s = -5*p + 8. Does 7 divide (-6369)/(-77) + s/(-7)?
False
Let p = -924 + 13410. Is 256 a factor of p?
False
Suppose 3*q = 12, -2*u + 3*q = -14984 + 1554. Does 143 divide u?
True
Let j = 92 - -33. Suppose -3*t + q + 127 = -0*q, -q = 3*t - j. Is t a multiple of 14?
True
Suppose 21914 = 123*b - 448662 + 48932. Is 98 a factor of b?
False
Let p = -1142 + 5809. Is 8 a factor of p?
False
Let d = 244 + -36. Let h = d - 160. Does 4 divide h?
True
Let s = -2423 + 9339. Is 10 a factor of s?
False
Let g(v) = -v**2 + 6*v + 11. Let w be g(8). Let m be (-4 - 19/w) + (-122)/(-10). Suppose 2*p + 1 - m = 3*d, -p + 11 = 4*d. Is p a multiple of 5?
False
Let j(v) = -2*v**2 + 20*v + 12. Let h be j(10). Suppose h*u + 0*u = 1344. Does 7 divide u?
True
Let l(g) = -9*g**3 + 4*g**2 + 3*g + 1. Let j(u) = -4*u**3 + 2*u**2 + u + 1. Let a(m) = -5*j(m) + 2*l(m). Let z be a(4). Let y = -1 + z. Does 32 divide y?
True
Let y = 7688 - 6815. Is y a multiple of 9?
True
Suppose 37*i = -10*i - 235. Let x(y) be the second derivative of y**4/12 + y**3/6 + 2*y. Does 8 divide x(i)?
False
Let r(v) = 2*v**2 + 14*v + 71. Let y be r(-16). Suppose -y = -4*d + a, d