. Is a a multiple of 10?
False
Let r be (-1)/(-3) + 910/15. Let k = 63 - r. Is 3 a factor of (9/3 - -23)*1/k?
False
Suppose 63*p + 8107 = 127*p - 63*p. Does 67 divide p?
True
Suppose 5*h - 13 = 7. Suppose 2*k = -5*l + h, 5*k + 10*l = 5*l + 25. Suppose -k*v + 72 = -61. Is v a multiple of 2?
False
Let b(u) = -11*u + 47. Let s be b(4). Suppose 1001 = 5*i - 4*h + 3*h, 597 = 3*i + s*h. Does 40 divide i?
True
Suppose 5*p - 413*i - 84665 = -416*i, -2*i = -4*p + 67754. Is 73 a factor of p?
True
Let m(j) be the third derivative of j**6/120 - j**5/15 + 5*j**4/24 - 2*j**3/3 - j**2. Let z be m(3). Does 7 divide z + (-10)/2 - -21?
False
Let b be (60/20)/(6/8). Let y(z) = 2*z**3 - 8*z**2 + 16*z - 4. Is 15 a factor of y(b)?
True
Is 14 a factor of -42*24/(-288) + 32242/4?
True
Suppose -24904*a = -24874*a - 966570. Does 40 divide a?
False
Is (11936 - -6)*(-19)/(-38) a multiple of 19?
False
Suppose 8*y = -21 + 21. Suppose -4*n - 2*g = -1550, -n + 0*g - g + 385 = y. Does 16 divide n?
False
Let y = 23 - 5. Let h be (-40)/y - (-5)/135*6. Is ((-3)/h + 2)/((-3)/(-54)) a multiple of 25?
False
Let s(d) = 13*d**2 - d - 4. Let y = 277 + -272. Does 13 divide s(y)?
False
Suppose 2*c - 1 = 3*y, 14 = 2*c + 2*c - 2*y. Suppose c*b + 4*b = 9. Suppose -28 = -m - b. Does 4 divide m?
False
Let q(z) = -1270 + 1234 + z**2 + z + 9*z. Let l be q(-13). Suppose -298 = -2*x + 2*m, -2*x - 2*x + 601 = -l*m. Is x a multiple of 14?
True
Suppose 19 + 57 = u. Suppose 3*n - w - u = w, 0 = 2*n - w - 51. Suppose -n*x + 22*x + 112 = 0. Does 8 divide x?
False
Does 7 divide -1*1498*-15*(-17)/(-170)?
True
Let z(a) = -32*a - 88. Let b(r) = -30*r - 86. Let y(n) = -6*b(n) + 5*z(n). Is 33 a factor of y(16)?
True
Let c = -1846 + 3407. Is 6 a factor of c?
False
Let m = 24 + -22. Suppose -7 = -3*k - m*p, 2*k + 5*p + 7 + 3 = 0. Suppose -r - v = r - 62, r - k*v - 20 = 0. Is r a multiple of 6?
True
Let z be 20/4 + -5 + 3. Suppose -5*b = z*y - b + 9, 3*y + 3 = -2*b. Is 16 a factor of (10/(-8))/(y/(-192))?
True
Let b(o) be the first derivative of -53*o**2/2 - 130*o + 30. Is 22 a factor of b(-11)?
False
Let m = 38 - 61. Let l be ((-319)/174 + 1/3)/(2/(-68)). Let h = m + l. Does 7 divide h?
True
Let y(v) = 44*v. Let h be y(4). Let s be 9/((-936)/(-169)) - 3/(-8). Suppose -2*r = s*r - h. Does 8 divide r?
False
Let t(c) = c**3 + 3*c**2. Let j = 48 - 51. Let d be t(j). Suppose d = -4*u + 716 - 188. Is 33 a factor of u?
True
Let r(d) = -d**2 + 7*d - 10. Let b be r(3). Suppose -4*p + 62 = -2*l, -6*l + 4*l = -b*p + 58. Let a = l + 54. Is a a multiple of 3?
True
Let w = 12404 - 5113. Is w a multiple of 23?
True
Let x(r) = 124*r**3 - r**2 - r - 1. Let g be x(-1). Suppose 5*q + 285 = 17*a - 12*a, -5*a + 65 = -q. Let d = q - g. Does 14 divide d?
True
Let b(p) = -p**3 - 16*p**2 + 127*p + 33. Is b(-22) a multiple of 9?
False
Let p(g) = g**2 - 25*g - 10. Let h be p(19). Let a = -68 - h. Is 4 a factor of a?
True
Let y = -70 - -521. Suppose 0 = -8*a + 3*a - u + 790, 0 = 3*a - 4*u - y. Does 32 divide a?
False
Suppose 7*k - 2*k - 4*z = -1259, z - 1016 = 4*k. Let f = k + 399. Does 4 divide f?
True
Let j(p) = p**3 + 51*p**2 + 188*p + 158. Is j(-44) a multiple of 72?
False
Suppose -4*k + 24 = -0*k. Suppose 0*i + z - 2 = -2*i, 5*i + 3*z = k. Suppose 2*g + 3*n = 5*g - 87, -2*g - 5*n + 51 = i. Is 3 a factor of g?
False
Let o be (-366)/(-4)*104/39. Suppose 91 = -5*r + 2*k - o, -2*r - 134 = 3*k. Let p = -32 - r. Does 7 divide p?
True
Let f = 15590 - 4238. Does 264 divide f?
True
Let m(z) = z**2 - 6*z - 106. Let j be 273/(-12) - (-5)/(-20). Does 51 divide m(j)?
True
Let y(z) = z**3 - 3*z + 3. Let b(w) = -w**3 + 2*w - 3. Let m(o) = -4*b(o) - 3*y(o). Let a be m(0). Does 6 divide a + 3/1 - -1*3?
False
Suppose 5*m + 3*g - 225000 = 0, -3*m + 186510 - 51499 = 4*g. Does 22 divide m?
False
Let l(p) = -p**3 - 67*p**2 - 245*p + 381. Is 9 a factor of l(-66)?
True
Let l(w) = 414*w**2 - 44*w - 193. Does 80 divide l(-4)?
False
Suppose -i = m + 2497 - 6453, 0 = 2*m - i - 7927. Is 17 a factor of m?
True
Suppose 194*i + 19470 = 209*i. Is i a multiple of 22?
True
Suppose -553 - 455 = -8*t. Suppose i + 3*r = t + 82, 208 = i - r. Is 8 a factor of i?
True
Let c(j) = 4*j + 32. Suppose -7*n - 1 = 13. Let b be n/(-2) - (-1 - 10). Is 13 a factor of c(b)?
False
Let o = -302 + 24. Let y = o - -166. Let t = -76 - y. Is t a multiple of 9?
True
Let h(n) = 8*n**2 - 121*n - 1417. Is 7 a factor of h(-18)?
True
Suppose -87*p + 237697 = 164*p. Is p a multiple of 17?
False
Let j be 18*(-1 - 111/(-9)). Suppose 4*u - j = 756. Does 6 divide u?
True
Let n(l) = l**3 - 7*l**2 - 9*l + 13. Let v be n(8). Suppose -v*a + 1378 - 173 = 0. Let p = a + -103. Does 23 divide p?
True
Suppose -l - 47 = -5*h - 14, -4*l - 64 = -3*h. Let i(v) = -v**2 - 10*v - 3. Let q be i(l). Let w = q - -76. Is 13 a factor of w?
False
Let p(a) = 212*a**2 + 37*a + 66. Is p(-2) a multiple of 20?
True
Suppose -12303 - 285478 = -71*z + 100955. Does 12 divide z?
True
Suppose -10*y = 1062 - 1812. Let v be (2 + -1 + 9)*1. Is 10 a factor of (212/v)/(5*6/y)?
False
Suppose -66*d - 59 - 311 = 8*d. Let l(r) be the first derivative of r**3/3 - 5*r**2/2 + 5*r - 1. Is 11 a factor of l(d)?
True
Is ((-30075)/(-30) - 0)*4/5 a multiple of 8?
False
Suppose 0 = 4*l - 5*k - 959 - 566, 4*l + 5*k = 1555. Is (7/(l/(-66)))/((-3)/230) a multiple of 4?
True
Let w(c) = 60*c - 1035. Does 20 divide w(52)?
False
Let l(y) = 76*y - 5. Let x be l(1). Suppose -75*m + 2552 = -x*m. Is m a multiple of 29?
True
Let o be 26/3 + (-18)/(-54). Let k(l) = -l**2 - 9*l + 13. Let y(p) = -p. Let h(s) = -k(s) + 3*y(s). Is h(o) a multiple of 34?
False
Let n(r) be the third derivative of 9*r**4/4 - 2*r**3 - 3*r**2. Does 57 divide n(2)?
False
Let k = -321 + 609. Let l = k + -208. Is 40 a factor of l?
True
Let r be 3/(-1*(-4 + -2)/6). Suppose k - 3*n = 372, 0 = -2*k - r*n + 999 - 255. Does 3 divide k?
True
Let x be (-289)/(-85) - (-3)/5*1. Suppose x*f + h = 13, 0*f + 3*f - 4*h - 24 = 0. Suppose 2*t - 16 = -2*t, 2*k - 4 = f*t. Is k a multiple of 4?
False
Let w(b) = -b**2 + b - 3. Let u be w(0). Let j be 1/(-1)*-3 - 9/u. Suppose -j = -4*d + 130. Is 34 a factor of d?
True
Suppose 5*n + 9708 = 7*n - 2*m, 3*n = -4*m + 14604. Is n a multiple of 18?
True
Suppose 0 - 3 = 3*w. Let g be (-312 + -3)/5*w. Suppose 9 = 3*s, -3*x - s + 5*s = -g. Is 25 a factor of x?
True
Let c be 8/(-76) - (370/95 - 4). Suppose f - 9 = 5*i + 142, c = f - 3*i - 159. Does 9 divide f?
True
Suppose -68*b = -243*b + 2825375. Does 42 divide b?
False
Suppose 107*d = 113*d - 90. Does 2 divide (-2)/(-6)*(-292)/(-20)*d?
False
Suppose r + 2*m - 4 = 5, 0 = 4*r - 4*m. Suppose 0 = r*u - 5*p - 1046, 3*p - 1694 = -5*u - p. Is u a multiple of 19?
True
Let z(v) = 1421*v**2 - 49*v - 156. Is 142 a factor of z(-3)?
True
Let f(d) = d**2 + 560. Is 14 a factor of f(42)?
True
Suppose 37*b - 236431 + 36977 = 126257. Is b a multiple of 15?
False
Let i(y) be the first derivative of y**3/3 + y**2 - 61*y + 28. Is 4 a factor of i(-13)?
False
Let g(w) = 27*w**2 - 12*w + 13. Suppose -3*s = -6, -4*s + 5*s + 6 = -2*c. Is g(c) a multiple of 29?
True
Let r = -21677 - -26599. Is 23 a factor of r?
True
Suppose 0*v - 3*v + 6 = 0. Suppose 0*l + l + 4*r - 341 = 0, 4*l - 1274 = v*r. Does 25 divide l?
False
Let g be (-14326)/(-65) - 3/(-5). Let x = g + -125. Suppose -5*h - 520 = -5*c - 3*h, c - 2*h - x = 0. Is c a multiple of 19?
False
Let t(q) = 627*q - 1594. Is 8 a factor of t(16)?
False
Let t(v) = 104*v**2 + 16*v - 55. Let a be t(3). Let w = -208 + a. Is 60 a factor of w?
False
Let p be (-2 - 4 - -6) + (0 - -3). Suppose 2*h = -8, 558 = 3*v - p*h - 1758. Is 18 a factor of v?
False
Let o(f) = f**2 - 2*f + 1. Let g(t) = -52*t - 115. Let u(w) = g(w) - o(w). Is 11 a factor of u(-21)?
False
Suppose 3*j + 4 + 5 = 0. Let o(t) = -t + 7. Let z be o(j). Suppose z*h - 179 = 341. Does 26 divide h?
True
Suppose 4*l + 2071 = -5*u + 63305, 48982 = 4*u - 2*l. Is u a multiple of 17?
False
Let i(f) = -9*f + 8. Let h(b) be the second derivative of -9*b**3/2 + 12*b**2 - 18*b. Let z(n) = 6*h(n) - 17*i(n). Is z(-10) a multiple of 6?
False
Let i be (-4)/(-14) - (-94185)/147. Does 36 divide i/4 + 6/(-24)?
False
Let q(k) = 5*k**2 - 3*k + 1. Let v be q(1). Suppose -n = -u - u + 143, -3*n = v*u - 201. Is 7 a factor of u?
True
Suppose -4*w - j + 12553 = -62