 9 + 11. Suppose k + 4*q - 3 = 1, 20 = 5*k - c*q. Suppose -h + 3 = 0, k*i + 2*h = 5*h + 407. Does 29 divide i?
False
Suppose 17*w = -651 + 2453. Is 2 a factor of w?
True
Let p = -392 + 178. Suppose -z - 4*z - 4*c + 1872 = 0, 4*c = 12. Let l = z + p. Is 25 a factor of l?
False
Let t(p) = p**3 + 12*p**2 + 6*p + 16. Let r be t(-12). Suppose -3*l - 42 = -9*l. Let f = l - r. Does 9 divide f?
True
Suppose i - 6*i + u + 6444 = 0, -4*i + 5*u = -5130. Is 21 a factor of i?
False
Suppose -4*z = -2*q - 1482 + 32686, q = 3*z + 15595. Is 33 a factor of q?
False
Suppose -12*w - 21634 = -2*i - 16*w, 21634 = 2*i - w. Is i a multiple of 44?
False
Suppose 3*b + 2*k + 8 = 0, 8 = 2*k - 2. Let q(y) = 2*y**2 + 5*y + 10. Does 23 divide q(b)?
False
Let d(b) = -3*b**3 + 7*b**2 - 20*b + 87. Let x be d(5). Is -1 - x/2*10 a multiple of 17?
False
Let y be (203/(-28))/((-1)/8). Suppose -2*t = u + y, 31 = -2*t + 5*u - 39. Is 9 a factor of (39/65)/((-2)/t)?
True
Suppose 4*w - 29832 = -4*p, -p - 4*w - 29872 = -5*p. Does 17 divide p?
True
Suppose -8*u = -3*u - 2*a - 390, -3*u - 5*a + 265 = 0. Is 7 a factor of u?
False
Is 3*((-72)/(-9) - 7085/(-15)) a multiple of 8?
False
Let k be 40*4 + (-1 - (1 + -3)). Suppose 0 = -15*u + 94 + k. Is u a multiple of 4?
False
Let j = -205 - -260. Suppose 0*k = -3*w + 3*k + 30, 4*k = 5*w - 54. Suppose j = n + w. Does 5 divide n?
False
Let g(z) = -z**3 - 21*z**2 + 23*z + 156. Is 168 a factor of g(-35)?
False
Let v = 919 + 4523. Does 6 divide v?
True
Let x(d) = -d**3 + 12*d**2 + 39*d - 15. Let v be 98/8 + (1 - 4/16). Does 9 divide x(v)?
False
Let n be (-3)/(-9)*(-2 + 6/3). Let l be ((-6)/5 + n)/(4/(-10)). Does 6 divide (-1 + 9)*l/24*54?
True
Let r(s) = 73*s - 253*s - 7 - 221*s. Is 52 a factor of r(-1)?
False
Let f = 4595 - 2115. Does 28 divide f?
False
Suppose 2*s - 1602 = 5*y + 3644, y + 2 = 0. Is s a multiple of 22?
True
Let f = -25911 + 27717. Is 129 a factor of f?
True
Suppose -2*j = -4*h + 3*j + 311, -5*j = 8*h - 697. Is 6 a factor of h?
True
Let j(m) = -133*m - 7. Let x(i) = 5*i - 46. Let s be x(9). Is 7 a factor of j(s)?
True
Let q(j) = 25*j - 50. Let p be q(2). Suppose -2*n - 247 = -g, -g + p*g - n + 232 = 0. Is g a multiple of 31?
False
Suppose 0*l - 3*l = 4*u - 2, 0 = -2*l + 4*u + 8. Suppose 4*t = 3*s + 265, -3*t - l*t = -s - 323. Does 2 divide t?
True
Let h = 253 - 131. Suppose -3*u + h + 517 = 3*c, -3*u - 201 = -c. Is c a multiple of 10?
True
Suppose 0 = -3*c + 4*a + 3114 - 454, 0 = 3*c + 4*a - 2644. Does 17 divide c?
True
Let m = 2571 + -2468. Is m a multiple of 24?
False
Let w(t) = t + 31. Let x be w(8). Is (-45)/(2 - x/18) a multiple of 15?
True
Suppose 0 = -4*a + 3*x + x + 16, -2*x - 8 = 3*a. Let k(p) = 4*p - 42. Let l(w) = 1. Let c(q) = -k(q) + 3*l(q). Is 5 a factor of c(a)?
True
Suppose o - 3*g = 99, -o - 4*g + 118 + 2 = 0. Let s be 12*(o/(-16))/(-9). Suppose 2*d - s = 3. Is 4 a factor of d?
False
Suppose 28 + 44 = y. Let o = 179 + -72. Let f = o - y. Does 3 divide f?
False
Let y = 1432 + 458. Does 30 divide y?
True
Is 12 a factor of 4431 + 2*7/14?
False
Let o = -5681 - -8201. Suppose -13*l = l - o. Is l a multiple of 15?
True
Let z(l) = -l**3 - 7*l**2 + 29*l + 35. Let d be z(-17). Suppose -j = 3*j, -4*g + d = -3*j. Is g a multiple of 32?
True
Let y(n) = 5*n + 65. Let u be y(-12). Suppose 4499 = 5*s - u*a - 576, -5*a = 4*s - 4105. Is s a multiple of 19?
False
Suppose 0 = 4*o - 4*c - 24, 0 = -3*o + 2*o + 3*c + 12. Suppose -5*k + 9*f - 5*f = 592, 0 = 3*k + o*f + 339. Let q = k - -126. Is q a multiple of 4?
False
Let o(r) = -6*r**3 - 5*r**2 - 132*r - 30. Does 25 divide o(-15)?
True
Let p be -11 + 6 + 3 - 1360. Does 57 divide (-5 - -6) + p/(-6)?
True
Suppose -3*h - 24 = 39. Let y = -15 - h. Does 13 divide 690/y - 4/(-2)?
True
Suppose -24504425 = -814*o - 21598282 + 54200027. Is o a multiple of 123?
False
Let d = -200 + 205. Suppose -d*j - j + 1050 = 0. Is 14 a factor of j?
False
Let n = -79 - -90. Is 23 a factor of 230/2*(14 - n)?
True
Suppose -3*h + 1824 = 3*d, -h - 4*d + 349 = -262. Suppose 0 = -6*k + 839 + h. Does 40 divide k?
False
Suppose a + 96 = -3*a + u, -5*a - u - 129 = 0. Suppose 0 = -v + 3, -13*q - 218 = -8*q - v. Let x = a - q. Does 18 divide x?
True
Let t = 1188 + -880. Is 2 a factor of t?
True
Let u(o) = 4*o**2 - 11*o - 883. Does 77 divide u(58)?
True
Suppose -3*n = 4*l + 103, -3*l - 56 - 16 = 4*n. Let h be (-162)/14 - 16/l. Is (h/3)/(3/(-27)) a multiple of 7?
False
Suppose i - 44 + 2 = 0. Suppose 0 = 4*p - i*p + 5206. Is 20 a factor of p?
False
Let r = -24677 - -34721. Is r a multiple of 93?
True
Let k(m) = 6*m - 5. Let s be k(6). Let x = -11 + s. Is 7 a factor of x?
False
Is 14 a factor of 39*((-1746)/27)/(-1)?
False
Does 13 divide 1183885/388 + 3/4?
False
Let a = 14001 - -33530. Is a a multiple of 11?
True
Let w(t) = -4*t**3. Let j be w(-1). Let x(p) = -p**2 + 6*p - 6. Let v be x(j). Suppose 0 = -2*h - v*h + 144. Does 9 divide h?
True
Suppose -f = 740 - 747, -5*y + 35522 = -4*f. Is 15 a factor of y?
True
Let c be (-24)/(-16)*(160 + 0). Suppose 604 = 2*d + i, -4*d = 3*i - 968 - c. Is 22 a factor of d?
False
Suppose -b - 5*m - 15 = 0, -8*m = -b - 4*m + 3. Does 21 divide b - (-108)/(2 + -1)?
False
Let o = 44470 - 30382. Is o a multiple of 12?
True
Let h(c) = -25*c - 420. Does 28 divide h(-29)?
False
Suppose -304683 + 86955 = 17525*i - 17549*i. Does 8 divide i?
True
Let v(z) = -2*z + 20. Let h be v(9). Suppose 3*t - h*w = 119, -t = -5*w - 21 - 10. Suppose -2*g + 7 = -t. Does 4 divide g?
True
Let j = 7 + -5. Suppose j*b + 6 = -2*g, 5*g + 17 = -5*b + b. Suppose -174 = -3*v - v + b*i, 4*i + 180 = 4*v. Is 7 a factor of v?
True
Let i be 1 - (-55 - (-2 + 4)). Suppose z - 23 = -4*t, 0 = -z + 2*t - 7*t + 28. Suppose z*j = 8 + i. Is j a multiple of 11?
True
Let y(o) = -28*o**2 - 17*o + 127. Let v(j) = -4*j**2 - j + 1. Let l(g) = -3*v(g) - y(g). Is 13 a factor of l(5)?
False
Let g(m) = 35*m + 5. Let c(r) = -16*r - 3. Let y(f) = 13*c(f) + 6*g(f). Let v(u) = 3*u**3 - 4*u + 3. Let w be v(2). Is y(w) a multiple of 24?
False
Let g = 17382 + -6954. Does 33 divide g?
True
Let r be 2/(24/27 - 16/72). Suppose 187 = 2*q + c, -3*q = -r*c + c - 298. Let l = 78 + q. Does 58 divide l?
True
Let w(v) be the second derivative of v**4/12 + 19*v**3/6 + 10*v**2 - 31*v. Let j be w(-18). Is (9/j)/((-7)/(-28)) a multiple of 9?
True
Suppose -3*i + 5929 = -4061. Does 15 divide i?
True
Let u = 10476 - -11780. Is u a multiple of 52?
True
Let v(a) = 3*a**3 + 24*a**2 + 44*a - 36. Is v(14) a multiple of 31?
True
Let w(s) = 6*s - 2. Let m be w(-6). Let p = m - -136. Suppose 0 = -3*d + 4*i + p, -11 = 2*d + 4*i - 103. Is 19 a factor of d?
True
Let c be 7*14/(-147) - 20/6. Let y(f) = -23*f**3 - 7*f**2 + f + 4. Is y(c) a multiple of 68?
True
Suppose 0 = -4*t + p - 19 + 160, 4*t - 138 = -2*p. Let h(c) = -c**3 + 35*c**2 + c + 18. Is 13 a factor of h(t)?
False
Is 195 a factor of (2 - -2221)/((-29)/(-145))?
True
Let b(o) be the second derivative of -7*o**3/6 - 3*o**2/2 - o + 2. Let g = 26 + -41. Does 16 divide b(g)?
False
Suppose 0 = 19*t - 21*t + 2588. Is 14 a factor of t?
False
Suppose 455*g - 9983203 - 22962672 = -916150. Is g a multiple of 247?
True
Let p(c) = 5*c**2 + 68*c - 12. Let z be p(-21). Suppose 2*r = -6, 3*v - z = -5*r + 2*r. Is v a multiple of 36?
False
Let c(n) = n**3 - 30*n**2 - 64*n + 5. Let i be c(32). Suppose i = w, 0*w = -5*g + 3*w + 1885. Is 20 a factor of g?
True
Let z(w) = 17*w**2 - 19*w - 62. Let c be z(-10). Let m = -1225 + c. Does 23 divide m?
False
Let j = 28106 - 13946. Is 236 a factor of j?
True
Let j(f) = f**2 + 8*f + 12. Let d be j(-6). Suppose d*l = 5*c - 4*l - 772, 775 = 5*c - 5*l. Is 38 a factor of c?
True
Suppose 0 = -4*t + 37*x - 35*x + 2138, -1075 = -2*t - 5*x. Does 5 divide t?
True
Let z = 7 - 14. Let p(k) be the third derivative of -k**6/40 - 17*k**5/60 + k**4/12 - 4*k**3/3 - 6*k**2 + 1. Does 29 divide p(z)?
True
Suppose 61*o = 1918790 - 201030. Does 40 divide o?
True
Is 4171476/(-2175)*100/(-8) a multiple of 15?
False
Suppose 31*v = 1230531 - 298361. Does 242 divide v?
False
Let t = -4151 - -17504. Is t a multiple of 15?
False
Suppose 7248 = 2*a - 2*h - 608, 2*h = a - 3928. Does 113 divide a?
False
Let s(v) = v**2 - 15. Let h be s(5). Suppose -5*a = 2*o - 2080, 6*a = h*a - 2*o - 1682. Is 38 a factor of a?
True
Suppose 74*f -