ppose 0 = -4*s - 0*s - 2*a + u, 3*a - 249 = -4*s. Is 15 a factor of s?
True
Suppose 20*j + 23*j - 4601 = 0. Does 11 divide j?
False
Does 12 divide 1*(1/3)/((-3)/(-981))?
False
Is (33/(-9) + 1)*63/(-14) a multiple of 3?
True
Let l be 76/6*45/30. Suppose 73 - l = 2*j. Is j a multiple of 9?
True
Let m(z) = 31*z - 14. Let o be m(5). Let u = 259 - o. Is u a multiple of 12?
False
Let k = -9 - 29. Let q = k + 21. Let n = q - -63. Is n a multiple of 18?
False
Does 19 divide (1 - -1)*1*(-17613)/(-18)?
True
Let u(d) = 4*d + 1546*d**2 - 1503*d**2 + 0 - 4. Does 20 divide u(-2)?
True
Let d = 40 - 33. Let j(c) = c + 23. Does 15 divide j(d)?
True
Suppose 3*b + 2*o + 3218 = 7*b, 4*o - 3200 = -4*b. Is b a multiple of 21?
False
Suppose -3*f + 15 = 3*b, b - f - 1 = 2*f. Suppose -a = -b*m + 263, -m + a + 328 = 4*m. Is m a multiple of 12?
False
Suppose -2*z = t - 30, z = -2*z + t + 45. Let q = z - -6. Does 15 divide 6/4*728/q?
False
Suppose 2414 - 782 = 4*u. Is u a multiple of 4?
True
Let g(l) = -4*l - 3. Let h be g(-6). Let v(m) = m**2 - 18*m - 7. Is 19 a factor of v(h)?
False
Let r be (-290)/(-60) - (-3)/18. Suppose -3*s + 32 = o, -5*s + 13 + 117 = r*o. Is o a multiple of 2?
False
Let l(c) = -2*c**2 - 11*c + 6. Let m be l(-6). Suppose -3*b = m, 3*b - b = -s + 7. Suppose -50 = 2*i - s*i. Is 10 a factor of i?
True
Suppose n = 4*n - 768. Does 13 divide n?
False
Let g(y) = 12 + 3*y**2 + 3*y**2 + y**2 - 6*y**2 - 11*y. Let v = 20 + -9. Is 6 a factor of g(v)?
True
Suppose -5*m - 2*t = -35, 2*m = 7*m + 4*t - 45. Suppose -4*l = i - 88, 0 = -m*l + 4*i + 68 + 63. Does 3 divide l?
False
Let d(n) = -4*n + 429. Is d(26) a multiple of 25?
True
Suppose 3*g - 4*g + 18 = 5*n, -5*g - 4*n + 69 = 0. Let l(o) = 2*o**3 + 2*o**2 - 1. Let f be l(-1). Does 5 divide g + -1*(2 - f)?
True
Let v(u) = 25 - u - 3*u**3 - 9*u**2 - 24 + 2*u. Let p(s) = 2*s**3 + 2*s**2 - 3*s - 2. Let x be p(-2). Is 16 a factor of v(x)?
False
Suppose 20*p = -14*p + 12750. Does 15 divide p?
True
Let h be (1 - 13)*(-1 - 156/(-16)). Does 21 divide (-5)/(-50)*-4*h?
True
Is 6 a factor of 4 - 2 - (-45 - 13)?
True
Let t = -628 - -352. Let k = 566 + t. Is 38 a factor of k?
False
Let n = -30 - -17. Let j = n + 26. Suppose -2*q = 5*m - j - 25, -q + 39 = 5*m. Does 4 divide m?
True
Let b(h) = -3*h**2 - h. Let o be b(-1). Let w(i) = i**3 + 2*i**2 - 2*i - 1. Let q be w(o). Let p(j) = 6*j**2 + 4*j - 2. Is 14 a factor of p(q)?
False
Suppose 4*d = -8*f + 4*f + 48, -5*f = 2*d - 33. Suppose -4*x = -d*x + 165. Does 33 divide x?
True
Let q = 113 - 77. Let p = -24 + q. Does 4 divide p?
True
Let t = 1967 - 1341. Let m = t - 224. Suppose -4*p - 2*p + m = 0. Is 18 a factor of p?
False
Let i(k) = 2*k**2 + 22*k - 52. Is 13 a factor of i(-33)?
False
Suppose 0 = -5*j + 4*o + 991, j + 4*o - 187 = 2*o. Is 7 a factor of j?
False
Let k(y) = -3*y**3 - 11*y**2 + 2*y + 9. Let f be k(-5). Suppose 2*o = f + 9. Is o a multiple of 21?
False
Let q = 2635 + -1855. Is q a multiple of 12?
True
Suppose 5*l + 36 = -14. Let c(w) = 15*w**3 - 2*w**2 - 3*w - 1. Let x be c(-1). Let v = l - x. Is v a multiple of 5?
True
Suppose m = -0*a - 3*a + 123, 203 = 5*a + m. Suppose a = -3*i + 8*i + 4*h, 5*h - 23 = -4*i. Does 3 divide i?
True
Let r(h) = -2*h + 3 + 6*h - 4 - h. Let v be r(1). Suppose b + v = 8. Is 6 a factor of b?
True
Let d(m) = 3*m**2 - 6*m - 6. Let k(t) = -5*t + 1. Let q be k(-1). Let h be d(q). Suppose -5*s + 55 + h = 3*b, 0 = b + 5*s - 57. Is b a multiple of 12?
False
Let y = 476 - 314. Does 2 divide y?
True
Let j(o) = o**2 - 17*o + 1312. Does 41 divide j(0)?
True
Suppose 20 - 5 = 5*r. Suppose 2*a + 3 = 5*h - 7, -8 = -4*h + 5*a. Suppose r*n = 4*n - h. Is n even?
True
Let q = -1357 + 1907. Is q a multiple of 11?
True
Suppose 17*y - 20006 - 14130 = 0. Is y a multiple of 14?
False
Let m(d) = 77*d**2 + d + 2. Let s(a) be the first derivative of -a**4/4 + 8*a**3/3 - 3*a**2 - 8*a + 8. Let j be s(7). Does 26 divide m(j)?
True
Suppose -5*f - 4*t - 190 + 3624 = 0, 4*t + 2776 = 4*f. Is f a multiple of 30?
True
Suppose -9361 = -18*b + 3977. Is b a multiple of 17?
False
Suppose -33*d + 31*d = 2*b - 1272, 0 = -3*d + 3*b + 1932. Does 40 divide d?
True
Let j be (0 + 6)*(-224)/(-24). Let d(i) = -j*i - 14*i - 34*i + 24*i. Is d(-1) a multiple of 15?
False
Suppose -3 = -3*q + 5*y, 2*y + 2 = -4. Is q*(-7 - (-6)/2) a multiple of 5?
False
Suppose 0 = 3*r - 6*r + 5*i + 805, -2*r + 4*i + 536 = 0. Suppose 2*w - 6*h + 4*h + r = 0, -2*w - 4*h - 270 = 0. Let s = -51 - w. Is s a multiple of 28?
True
Is 6 a factor of -6*4/(-6) - -645?
False
Let y be 6 + -1 + 10/(-10). Suppose y*s + 0*s + 3*i = 341, 0 = 4*i + 20. Is 13 a factor of s?
False
Suppose -114 - 285 = -i. Does 21 divide i?
True
Let i = 762 - 541. Is i a multiple of 17?
True
Let g(h) = 6 + h**3 - 2*h**2 - h**2 - 9*h + 2 + 0*h. Let w be g(6). Suppose 220 = 2*q + 2*c, 5*c + 296 = 2*q + w. Is 12 a factor of q?
False
Let g = -29 - -5. Is 7 a factor of (-264)/99*g/(-1 - -3)?
False
Let k(m) = 2*m**3 + 4*m**2 - 3*m + 8. Let s(i) = -2*i**3 - 5*i**2 + 2*i - 7. Let c(h) = -3*k(h) - 2*s(h). Does 9 divide c(-5)?
False
Suppose 26*z + 918 = 32*z. Is 17 a factor of z?
True
Let u(g) = -2*g**2 + 15*g + 2. Let h be u(10). Does 16 divide -2 + h/(-21) + (-7370)/(-77)?
True
Suppose 2*j = 8*j - 12. Suppose -j*z - 1008 = -20*z. Is z a multiple of 8?
True
Suppose -11*b + 80 = -2351. Does 26 divide b?
False
Let k = -645 + 3220. Does 17 divide k?
False
Does 7 divide (378/(-4))/((-45)/60)?
True
Let i(m) = 6*m**3 + 3*m**2 - 2*m - 2. Let p(k) = -2*k**2 - k - 1. Let x be p(2). Let w = 13 + x. Is i(w) a multiple of 17?
False
Let i = -7 + 11. Let b be (i/(-16))/(-1)*28. Suppose -4*n - 105 = -b*n. Is 10 a factor of n?
False
Let b(z) = -17*z**3 - 5*z**2 + 14*z + 68. Is b(-4) a multiple of 51?
True
Let o(w) = 6*w + 63. Does 15 divide o(19)?
False
Suppose v = -5*i + 825, -2*v - 3*v = 2*i - 307. Suppose i = -3*d + 466. Does 17 divide d?
False
Suppose -4*z + 3*n - 24 = 0, 0 = 5*z + 2*n + 3*n - 5. Let o(p) = p**2 + 3*p + 3. Let l be o(z). Suppose -81 + 15 = -l*v. Is 8 a factor of v?
False
Let b(h) = 0*h - 3*h - 10 + 5*h - h. Let g be b(8). Let m = g - -12. Does 10 divide m?
True
Let s(y) = y**2 - 16*y + 20. Let j be s(-14). Suppose -7*z = -2*z, -4*z = -5*t + j. Does 22 divide t?
True
Suppose 15*y - 10889 = 16126. Is y a multiple of 11?
False
Suppose 2*m = -5*l + 1076, 0 = 3*m - 0*m + 4*l - 1600. Let s = m + -368. Does 16 divide s?
True
Suppose 8*q - 17 = 4*q - m, -5*m + 19 = -2*q. Suppose -q*p = b - 30, -p = -5*p - 3*b + 45. Is 2 a factor of p?
False
Let y(o) = o + 1. Let c be y(4). Suppose 5*x - 3*h = 437, c*x + h - 81 = 4*x. Is 17 a factor of x?
True
Suppose h + 4 = 2*h. Suppose 12*o + 375 = -201. Is (o/h)/(4/(-2)) even?
True
Let t(v) = 8*v**2 - 44*v + 19. Is t(-8) a multiple of 26?
False
Let a = -10 + 10. Let d = a - -12. Let r = 11 + d. Is r a multiple of 7?
False
Suppose -4*v - 145 = 3*z - 717, -4*z + 742 = -5*v. Does 21 divide z?
False
Suppose 3*d + 4*y - 34 + 7 = 0, 0 = -4*d - 4*y + 36. Let h(a) = -11*a + 12*a - 5 + a**2 - 7*a. Is 11 a factor of h(d)?
True
Let w = -461 + 481. Is 20 a factor of w?
True
Let h(k) = 3*k**2 + 4*k + 2. Let l be h(-2). Suppose o - l*o = -2*i - 84, 2 = -i. Is o even?
True
Let d(k) = -6*k**2 + 3*k - 3. Let h be d(-3). Does 11 divide h/3*12/(-3)?
True
Let n(t) = -t**2 - 15*t - 25. Let s be n(-11). Suppose 0 = -3*r - s + 514. Is 31 a factor of r?
False
Suppose -13*f + 820 = -298. Is f a multiple of 68?
False
Suppose -18*j + 7590 = -38670. Is 10 a factor of j?
True
Suppose 5*b - 35 = -0*b - 5*d, -5*b - 15 = -5*d. Suppose 120 = 5*o - t, t = b*t. Is 12 a factor of o?
True
Let h(d) = -d**2 - 30*d + 25. Let j be 5*4/50 - (-132)/(-5). Is h(j) a multiple of 43?
True
Suppose 5*c + 25 = 0, -669 = 9*p - 11*p - c. Is 74 a factor of p?
False
Let p = 11 - 8. Suppose -p = 2*b + 1. Is 10 a factor of b/(-7) - (-624)/21?
True
Let h = 12 + -9. Is (-170 - -5)*((-1)/h)/1 a multiple of 52?
False
Let w = -30 - -22. Let c(o) = -o**2 - 9*o - 3. Let m be c(w). Suppose m*x - 36 = -x. Is x a multiple of 5?
False
Let c = -5 + 7. Suppose g = c*g + 14. Does 22 divide (-113)/(-2) + 7/g?
False
Let f = 18 + -9. Let p(r) = r**2 - 10*r + 6. Let t be p(f). Let l(j) = j**3 + 5*j**2 + j + 1. Is 8 a factor of l(t)?
True
Suppose 0 = -0*q - 4*q + 4*c - 32, -c - 13 = 2*q. L