 10?
True
Let x(w) = -5*w - 7. Let z be x(-5). Suppose -3*v - 5*q - z = -0*q, 3*q = 0. Is 16 a factor of (-1521)/(-27) - 4/v?
False
Suppose 0 = -12*u - 26 + 74. Let j be 4/((-2 - 0)/4). Is ((j - 4) + u)*-9 a multiple of 12?
True
Suppose -3*w + 4*b = -11, 0 = -w - 2*b - b + 8. Suppose -5*c + w*t + 70 = 0, -4*t + t = 5*c - 30. Suppose -10*u + 16 = -c*u. Is 4 a factor of u?
True
Let q(f) = 8*f**2 + f - 1. Let v(j) = 16*j**2 + 3*j - 3. Let g(r) = 5*q(r) - 2*v(r). Let d be g(2). Suppose -6*l = 1 - d. Is l even?
False
Suppose -90 = -17*w + 11*w. Is (10/w)/((-262)/264 - -1) a multiple of 11?
True
Let z be (-6)/(-9)*3 + -9. Let r = -1 - z. Suppose -3*j + 3*d + 102 = 0, 3*j - 100 = -d + r*d. Is j a multiple of 9?
False
Suppose -5*a = -4*x - 2, 5*a + 8 = a. Let l(j) = -j**3 - j. Let o(b) = 8*b**3 + 3*b**2 + b - 1. Let g(z) = -5*l(z) - o(z). Is g(x) a multiple of 15?
False
Suppose -4*q + 428 = -2*x + 6*x, -211 = -2*x - 5*q. Let o = 333 - x. Is 24 a factor of o?
False
Let n(w) = -4*w - 4. Let t be n(-4). Suppose -d = -6*d + 40. Let a = t - d. Does 2 divide a?
True
Let h(l) be the first derivative of 25*l**3/3 - 3*l**2/2 - 2*l + 3. Let b be h(-3). Suppose -n + 5*n = b. Does 16 divide n?
False
Let k = 318 - 109. Suppose -k = -4*c + 27. Is c a multiple of 6?
False
Let o be 5/(-30) - 1027/(-6). Let g be (-1)/(-2) - o/(-18). Suppose c - 23 = -g. Does 7 divide c?
False
Let v be (-12)/(((-6)/(-8))/(-1)). Suppose v = -4*o - 8. Is 8 a factor of 3 + (o - -1) + 18?
True
Suppose -6*x - 2 = -7*x. Suppose -2*f = 2*a - 12, -2*f = 3*f - 2*a - x. Suppose f*z = 10 + 14. Does 6 divide z?
True
Let f = 10 - 8. Let d be f - 1 - -2*24. Suppose d + 61 = 2*m. Is 24 a factor of m?
False
Suppose 0 = -6*p + 27 + 3. Let q = 1 + 1. Suppose 0*c - q = c, p*c - 215 = -3*u. Is u a multiple of 15?
True
Suppose -15*z + 12*z = -282. Let r = z - 30. Suppose 4*v - r = 72. Is 17 a factor of v?
True
Let k(c) = 2769*c**2 - 34*c - 35. Is 16 a factor of k(-1)?
True
Let y(b) = -12*b**3 + 6*b**3 - b**2 + 0*b**3. Let i be y(-1). Let q = 8 + i. Is q a multiple of 12?
False
Let o = -43 - -45. Suppose -o*c - 29 + 73 = 0. Does 6 divide c?
False
Suppose -r + 6 = 2*r. Suppose 4*l - 175 = -3*o, 7*l + 3*o - 215 = r*l. Is 8 a factor of l?
True
Let d be (24/14)/(36/126). Let z(l) = l**2 - 3*l + 2. Is 10 a factor of z(d)?
True
Let o be -615*3/18*(-3 + 1). Let y = 293 - o. Is 12 a factor of y?
False
Let k(l) = 212*l**2 + l + 1. Let o be k(1). Suppose -9*g + 11*g - o = 0. Is 14 a factor of g?
False
Let h(y) be the third derivative of 13*y**6/120 - y**4/24 + y**3/6 - 28*y**2. Is 2 a factor of h(1)?
False
Let t(w) = -w**3 - 3*w**2 + 3*w - 3. Let n be t(-4). Let q = 2 - n. Does 5 divide 60/(-18)*(-3)/q?
True
Let j(o) = 2*o**3 - 2*o**2 - 2. Let g be j(2). Suppose 2*m + 100 = g*m. Suppose -6*s + s + m = 0. Is 4 a factor of s?
False
Suppose s - 8967 = -2*x, -5*s + 9326 = 4*x - 8599. Is 65 a factor of x?
True
Suppose -5*r - 51 = 4*w, -3*r = 2*w - 5*w + 9. Let n(c) = c**2 + 6*c + 13. Is n(r) a multiple of 20?
True
Let b(o) = 3*o**2 + 123*o - 253*o - 14 + 123*o. Is b(-8) a multiple of 18?
True
Suppose 2*n - 1878 = 5*r, 2*n - r = -0*r + 1894. Is 51 a factor of n?
False
Is 4 a factor of (2 - -212)/2 + -6?
False
Suppose 0*h + 16 = -2*h + 4*o, -o + 11 = 3*h. Let y(j) = -2*j**2 - 10*j - 43. Let v be y(-6). Is h*(-1)/(-2) - v a multiple of 8?
True
Let j = 967 + 2543. Does 13 divide j?
True
Let a = 257 + 110. Does 12 divide a?
False
Let z(q) = -4*q**3 + q + q**3 - q - 3*q**2 + 6. Is z(-3) a multiple of 10?
True
Suppose 0 = 7*j + 31 + 368. Is 16 a factor of j/(-2)*(-3 + 5)?
False
Suppose -16033 = -23*r - 1865. Does 14 divide r?
True
Let o(m) = 7*m**3 + 4*m**2 + 3*m. Let g(t) = -t**3 + t**2 + 1. Let s(x) = -6*g(x) - o(x). Does 24 divide s(-10)?
True
Let n(q) = 4*q. Let x be n(-7). Let b = 15 - x. Is 13 a factor of b?
False
Let f = -197 - -301. Let m = f + -63. Does 10 divide m?
False
Is 3/(-6) - (-6435)/18 a multiple of 21?
True
Let x = 17 - 14. Suppose -p = -3*p + 8, -x*s = -4*p - 14. Suppose -y + s = -2*b, 0 = b - 5 - 0. Is y a multiple of 14?
False
Let q be 1 + 1 + 0 + 1. Is 31 a factor of -2 + (108/q - 3)?
True
Let f = -11 + 8. Let p be 6/(-9) + (-68)/f. Suppose 6*z - 32 = p. Is z a multiple of 3?
True
Let p be -2 + 4 - 0/1. Suppose -c + 2*u = p, 7*c = 4*c + u - 16. Is -2*(-9)/c - -33 a multiple of 15?
True
Suppose d + 0*d = 5. Suppose 0 = -d*o + o + 4. Suppose 2*c = -2*q + 64, 2*c = o - 3. Is 15 a factor of q?
False
Let q(a) = -79*a**2 - 2*a + 12. Let h(s) = -26*s**2 - s + 4. Let p(z) = 7*h(z) - 2*q(z). Let j be p(-3). Let n = j - -309. Does 16 divide n?
False
Suppose x = -x - 4. Is -6 + 75 + (x - 2) a multiple of 12?
False
Let k(u) = -u**2 + 12*u - 12. Let y be 84/10 + 8/(-20). Let n = y - 0. Is 8 a factor of k(n)?
False
Suppose -4*w + 1539 = f, 8*w - 5*w - 1143 = -3*f. Is w a multiple of 66?
False
Let y(m) be the second derivative of -23*m**3/6 + m**2/2 - m + 89. Let j(i) = i**3 - 5*i**2 - 5*i - 8. Let s be j(6). Does 26 divide y(s)?
False
Let j(p) = p**3 - p**2 + 2*p + 2. Let a be j(3). Suppose 4*k + 4*g = 16, 3*k = -2*k - 2*g + a. Does 2 divide k?
True
Suppose -10*a - 42 = -3*a. Let m(b) = b**2 + 3*b + 1. Does 19 divide m(a)?
True
Let j(o) = 3*o**3 + 5*o**2 + 8*o + 9. Let c(b) = -4*b**3 - 5*b**2 - 7*b - 8. Let u(d) = -2*c(d) - 3*j(d). Is 16 a factor of u(-6)?
False
Let r = -8 - -10. Suppose r*l = 5 + 1. Suppose 0 = -b + 11 + l. Is b a multiple of 7?
True
Suppose -6*i = -i + 5. Let g be i + (-5)/(15/(-174)). Let j = g - -5. Is 20 a factor of j?
False
Let m = 2270 - 1550. Is 4 a factor of m?
True
Let u = -5 - -9. Suppose -6 = -3*l - 2*g, 0*l + 15 = -u*l + 5*g. Let k(q) = q**3 - q**2 - q + 15. Is k(l) a multiple of 5?
True
Let s be 4/4 - (-3 - (-1 - -3)). Suppose s*b = -b + 140. Is b a multiple of 18?
False
Let z = 484 - 55. Is z a multiple of 59?
False
Let r(o) = -25*o. Let y be r(-1). Suppose -6*l = -l - y. Suppose 3*s = 12, -7*f + 2*f - l*s = -390. Is 19 a factor of f?
False
Let j(w) be the second derivative of w**5/20 - w**4/3 + 2*w**3/3 - 2*w**2 + 6*w. Let r be j(3). Is 20 a factor of r/(-2 - (-119)/60)?
True
Suppose 0 = 5*b + 2*m - 6, 8 + 4 = 4*b - 2*m. Let u(f) = 4*f + 2. Let w be u(b). Is 11 a factor of ((-295)/w)/((-2)/4)?
False
Let z be ((-349)/(-5) + -5)*(-5)/(-1). Suppose z = 3*t - 24. Is 20 a factor of t?
False
Let f be (1965/(-60))/(2/8). Let v = f + 221. Is 30 a factor of v?
True
Let s(i) = -7*i**2 + 3*i + 1. Let k be s(4). Let u = -17 - k. Does 22 divide u?
False
Let h(q) = -2*q**3 - 25*q**2 - 8*q + 31. Does 21 divide h(-14)?
False
Let g = 32 - -19. Let r be 32/(-18) + 6/(-27). Does 7 divide (4 + r)/(6/g)?
False
Suppose 4*m + 0*t - t - 1973 = 0, 0 = -m + 5*t + 479. Is 10 a factor of m?
False
Suppose 30*o - 25*o - 30 = 0. Suppose -3*p + 6 = 0, 3*a - p - 73 = -o*p. Is 3 a factor of a?
True
Let b be (-7)/(-28) + 238/8. Suppose 4*w + b = 350. Is w a multiple of 10?
True
Suppose 0*g = -3*g - 15. Does 6 divide (-10)/3*9/g?
True
Let i(g) = -g**3 - 11*g**2 - 10*g + 2. Let d be i(-10). Suppose -d*f + 0*f + 40 = 4*q, 0 = 4*f - q - 98. Suppose -5*x + f = -6. Is 5 a factor of x?
False
Let i(h) = -h**3 + 9*h**2 - h - 8. Let n be i(4). Let w = n + -9. Is 33 a factor of w?
False
Suppose 0 = 3*n + n + f - 15, 0 = 2*n + 4*f - 4. Let h be (3/(-2))/(n/8). Does 12 divide 132/(-8)*(h + 1)?
False
Let l(i) = 16*i**2 - 19*i - 36. Let d(p) = 3*p**2 - 4*p - 7. Let t(k) = 11*d(k) - 2*l(k). Is 18 a factor of t(-5)?
False
Suppose -902 = -2*w + 5*b, b - 586 = 4*w - 2372. Is w a multiple of 34?
False
Let r(k) = 2*k**3 - 3*k**2 + k + 5. Let z be r(7). Suppose 0 = 4*o + 5*s - 735, o + 2*o + 4*s = z. Is 37 a factor of o?
True
Let s(k) = 1380*k - 4 - 1385*k + k**3 - 4 + 4*k**2. Does 12 divide s(-4)?
True
Let x(b) = 12*b**2 - 34*b - 1. Let m(g) = 18*g**2 - 51*g - 1. Let l(p) = 5*m(p) - 7*x(p). Does 13 divide l(7)?
False
Let k be (-4)/(-8) + 1614/12. Suppose 0 = 7*i - 2*i - k. Does 9 divide i?
True
Suppose 0 = j + h - 23, -2*j - 3*h = -4*h - 61. Is 28 a factor of j?
True
Let d(g) = 2*g**2 + 11*g - 15. Suppose 4*k + 4*v = -9 - 15, 36 = -5*k - 3*v. Does 16 divide d(k)?
True
Let b = 24 + -21. Suppose b*d + 2*h = h + 316, -h = 4*d - 422. Does 24 divide d?
False
Suppose 0 = -2*a + 3*u + 5554, 0 = -5*u + 4 - 14. Is 138 a factor of a?
False
Let k(m