vide (-15)/(-2)*24/z?
True
Is (-48)/9*6/(-4) a multiple of 3?
False
Let f(z) = -z - 1. Let y be f(-3). Suppose 5*j = y*j + 72. Is 12 a factor of j?
True
Let p(r) = 27*r - 1. Let y be p(-2). Let t = -22 - y. Is 12 a factor of t?
False
Let g = 168 + -92. Does 19 divide g?
True
Is 1/((4 + 0)/260) a multiple of 19?
False
Does 13 divide (91/(-28))/((-3)/24)?
True
Let s(m) = -m**2 + 5*m - 2. Let f(l) = l**2 - l. Let j(i) = 6*f(i) + s(i). Let k(x) be the first derivative of j(x). Does 14 divide k(2)?
False
Let c(u) = u**2 + 228. Let t be c(0). Suppose r - 24 = -5*j, -5*r + 0*j = -2*j - t. Is r a multiple of 12?
False
Suppose 26 = -5*o - 84. Let m be (-2)/(-6) - o/6. Suppose -m*q + 7 = -17. Does 6 divide q?
True
Let g = 34 + -8. Is 13 a factor of g?
True
Suppose 83 = -4*g + 383. Suppose -a - 2*a = g. Is (90/a)/((-2)/10) a multiple of 9?
True
Suppose 0 = -2*s - 2*f + 12 + 26, -3*s + 5*f = -17. Does 2 divide s?
True
Suppose 0 + 12 = -2*a. Let q(x) = -x**3 - 7*x**2 - 6*x + 3. Let c be q(a). Suppose 6*f - 75 = c*f. Is 12 a factor of f?
False
Suppose -5*m - 15 = -5*w, 0 = -3*m + 2 + 1. Suppose 5*p - 90 = -w*v, -5*p - v - 3 = -108. Is 11 a factor of p?
True
Let r(h) = -h**3 + 4*h**2 + 4*h. Let n(c) = -c**3 - c**2 - 2*c - 3. Let d be n(-2). Let m be r(d). Let l = m + 8. Does 3 divide l?
True
Let r(c) be the third derivative of -c**5/120 + 3*c**4/8 - 2*c**3/3 - 2*c**2. Let n(o) be the first derivative of r(o). Is 16 a factor of n(-7)?
True
Is 13 a factor of (0 - 13)*(-2 + -1)?
True
Let s = 24 - 14. Suppose -l = 4*o - 3, 3*l - 51 - s = o. Let t = l - 13. Is t even?
True
Suppose -91 - 285 = 4*z. Let f = 6 - z. Does 25 divide f?
True
Suppose 127 = 5*s - 18. Does 4 divide s?
False
Let f = 8 - 5. Suppose 27 = f*d - 0*d. Suppose -4*m - d = -41. Is m a multiple of 8?
True
Suppose -4*n - 6 = -7*n. Suppose 109 + 7 = n*i. Is i a multiple of 18?
False
Does 20 divide (-969)/(-9) + (-6)/(-18)?
False
Suppose 0*m - 3*m + 87 = 0. Let p(c) = 17*c**3 + 2*c**2 - 1. Let d be p(-1). Let g = m + d. Does 8 divide g?
False
Let c(j) = -5*j - 6. Let h be c(-8). Suppose -4*r = -3*k - h, 0*r = -2*r - 2*k + 24. Is r a multiple of 5?
True
Let c(l) = 9*l + 51. Does 11 divide c(9)?
True
Suppose 2*w - 61 = -15. Suppose 0 = -3*o - w + 8, 52 = 2*q + 2*o. Is q a multiple of 8?
False
Let q(c) = -6 + 12*c + 4*c**2 - 3*c**2 + 0*c**2. Let r be q(-9). Let z = -18 - r. Does 6 divide z?
False
Let z = 521 - 313. Is z a multiple of 16?
True
Let a = -14 - 2. Let c = -9 - a. Is 166/c - (-2)/7 a multiple of 9?
False
Let c(j) = 1 + 0 - 40*j - 3*j. Does 12 divide c(-1)?
False
Suppose 0 = 11*s - 15*s + 120. Is s a multiple of 16?
False
Suppose 4*o = 2*o - 18. Let d(y) = y**2 + 9*y + 10. Is 3 a factor of d(o)?
False
Suppose 105 = 21*g - 18*g. Is 7 a factor of g?
True
Let m(p) = -p**3 + p**2 + 25. Let l be m(0). Suppose 0*j - 6 = -j. Is l/2 + (-3)/j a multiple of 12?
True
Let s(h) = h + 2. Let g be s(0). Let i be 1 - g - (-88 - 0). Suppose -2*l - i = -5*l. Is l a multiple of 21?
False
Let q(r) = -r + 6. Let j(x) = -x + 1. Let n be j(-4). Let a be q(n). Is 20 a factor of ((-2)/5)/(a/(-100))?
True
Let f(k) = 13*k. Let v be f(1). Suppose -4*b + 33 = v. Suppose 27 - 82 = -b*a. Is a a multiple of 11?
True
Suppose -8*d + 6*d = -40. Is d a multiple of 10?
True
Is 9 a factor of 18/(-81) - ((-292)/18 + 2)?
False
Let z(v) = v + 29. Let g be z(-13). Suppose 0 = 2*j - g - 32. Is 12 a factor of j?
True
Let d(c) = -5*c**3 + c - 1 + 0*c**2 + c**2 + c**2. Let x be d(-3). Suppose -x = -4*p - 37. Is p a multiple of 11?
False
Let z(i) = -i**2 - 7*i + 8. Let h be z(-8). Suppose 3*w + 1 - 31 = h. Does 10 divide w?
True
Let d(x) = 3*x**3 - 5*x**2 + 6*x - 6. Is d(3) a multiple of 24?
True
Let t(p) = 2*p**2 + p - 1. Let n be t(-2). Suppose 16 = 2*o + 2*x + 2*x, -3*o + 20 = n*x. Suppose o = -2*m - 0*m + 44. Does 19 divide m?
False
Suppose -2*m = -8 - 12. Is m a multiple of 3?
False
Let z(k) = 4*k**2 - 3*k + 1. Let b be 3/12 + (-2)/8. Suppose b = -o + 3 - 1. Is z(o) a multiple of 11?
True
Suppose -6*l = -2*l. Suppose -2*n + 10 = 2*y, n + 2*y = -l*y + 6. Suppose s + 4*j - 25 = 0, 100 = s + 3*s + n*j. Is 11 a factor of s?
False
Let i(d) be the second derivative of -13*d**5/20 - d**4/12 + d**3/6 + d**2/2 + 3*d. Is i(-1) a multiple of 10?
False
Let y(c) = 1 - 6*c - 4*c + 0*c. Does 10 divide y(-2)?
False
Suppose 6*t - 234 = 3*t. Suppose -5*w = -2*w - t. Is w a multiple of 10?
False
Let h = -85 + 142. Does 19 divide h?
True
Let l = 52 + -1. Let o = l - 23. Does 14 divide o?
True
Suppose 5*x + r - 87 = 0, 0 = 5*x - r - r - 81. Does 4 divide x?
False
Let p be 3/2*4/(-3). Let t(d) = 2*d + 3. Let w be t(p). Is 60/(w - -4) - -1 a multiple of 13?
False
Let h(d) = -4*d - 9. Does 13 divide h(-9)?
False
Suppose -g + 0*g = 0. Let t = g + 0. Suppose t*u + u - 25 = 0. Does 10 divide u?
False
Suppose -x + 2 = n - 5, 4*x + 36 = 4*n. Is 12*2/n*10 a multiple of 10?
True
Suppose -3*u - v = -49, 4*v + 0*v = -2*u + 36. Is 4 a factor of u?
True
Let m be (0 - -1) + 10 + -14. Let l(c) = 3*c - 2. Let p(n) = -3*n + 2. Let i(g) = 4*l(g) + 5*p(g). Is i(m) a multiple of 7?
False
Suppose 4*m = -n - 42, m = 4*n + 91 + 9. Let y = 14 - n. Is y a multiple of 20?
True
Let o(l) = l**3 - 8*l**2 - 13. Is 34 a factor of o(9)?
True
Let z = 7 - 2. Suppose 0 = -3*x - 3*j - 36, 0*x - z*j = -2*x - 45. Let y = 19 - x. Is 17 a factor of y?
True
Let w(k) = -4*k - 2. Let n be w(-2). Let y = n + -4. Suppose y*d - 12 = d. Is 5 a factor of d?
False
Let w = 406 - 234. Is w a multiple of 43?
True
Let n = -4 - -3. Let i(w) = 14*w**3 + 2*w**2 + w - 2. Let q(u) = 13*u**3 + 2*u**2 + u - 3. Let b(v) = -3*i(v) + 2*q(v). Is b(n) a multiple of 10?
False
Let h = -76 + 85. Is 4 a factor of h?
False
Suppose 5*v - 2*f = v + 66, -v + 4*f = -6. Does 9 divide v?
True
Let a = -282 - -416. Suppose 5*v + 4*l - 11 = 12, 0 = 3*v - 4*l - 1. Suppose u - a = -v*u + h, -u + 43 = -5*h. Is u a multiple of 18?
False
Let i(a) = 2*a**3 + a**2 + 2*a - 2. Let t be i(1). Suppose -5*c - 4*s = -t*c, 3*c + s - 25 = 0. Is c a multiple of 5?
True
Suppose -39 = -5*t + 266. Is t a multiple of 5?
False
Suppose 2*u = 2*v - 58, 3*v - 4*u - 22 - 65 = 0. Does 15 divide v?
False
Let n = -1 + 3. Let y be 1 - n/4*0. Is 6 a factor of (4/2 - -13)*y?
False
Let v = 10 - 7. Suppose -6 + 53 = 4*r + v*h, -3*r = 3*h - 36. Is r a multiple of 10?
False
Suppose 0 = -2*r - 3*y + 25, -2*y = 4*r - 6*y - 20. Suppose -5*t + 37 = -r. Is 9 a factor of t?
True
Let n = -21 + 5. Let j be ((-3)/(-2))/((-12)/n). Suppose 2*q + j = -i + 3, -q - 2 = i. Is q a multiple of 2?
False
Is 0 - (-3236)/20 - 1/(-5) a multiple of 7?
False
Let u(w) = -2*w - 10. Suppose 2*l + 23 = -3*b + 4*l, 0 = -2*b + 3*l - 12. Is u(b) a multiple of 6?
False
Suppose -19*d - 500 = -24*d. Is d a multiple of 50?
True
Suppose -h + 4*j + 8 = 2, -2*h + 5 = -j. Let d be 125*(-2 - (-6 - -3)). Suppose 0 = 5*n + h*k - d, 5*k - 2*k = -2*n + 61. Does 9 divide n?
False
Let g = 145 - 70. Is 37 a factor of g?
False
Let k(f) = f**3 + 14*f**2 + 11*f + 18. Does 31 divide k(-13)?
False
Let s(z) = z**3 + 4*z**2 + 5*z + 3. Suppose -g - 3 = -0*g. Let n be s(g). Let u(d) = 4*d**2 - 3*d - 3. Is 21 a factor of u(n)?
True
Let y(u) = -u + 11. Let t(v) = -v + 10. Let k(r) = 4*t(r) - 3*y(r). Let n(a) = 2*a + 3. Let f be n(-4). Is k(f) a multiple of 7?
False
Suppose 3*h - 6 = 0, -3*c - 1 - 9 = -5*h. Suppose 2*d + 0*d + 3*l - 63 = c, -5*d + l = -132. Does 9 divide d?
True
Suppose 3*u - 47 - 13 = -3*q, 68 = 4*u + q. Is u a multiple of 5?
False
Let a = -5 - 1. Does 9 divide (6 - 2)/(a/(-27))?
True
Let y(s) = -6*s**3 - 4*s**2 - 2*s + 2. Let q be y(-2). Let v = 60 + 6. Let a = v - q. Is 18 a factor of a?
False
Let v be 6/5*(151 - 1). Suppose h - v = -3*h. Is h a multiple of 15?
True
Let k(p) = -2*p + 3. Let s(t) = -t**3 - 2*t**2 + 4*t + 3. Let f be s(-3). Suppose f = -3*r - 29 + 8. Is k(r) a multiple of 17?
True
Suppose 3*l + 5*h - 79 = 0, 0 = -l - h + 10 + 17. Suppose -5*o + l = -o. Suppose 0 = -3*x + o + 23. Does 5 divide x?
True
Suppose 0*r - 24 = 5*r - 2*m, 2*m + 18 = -2*r. Let g = 18 - 4. Does 5 divide (g/r)/((-3)/9)?
False
Let c = -71 - -138. Does 11 divide c?
False
Suppose 26 + 118 = 5*k + 4*f, -5 = -5*f. Does 6 divide k?
False
Suppose -18 = -5*i + 2. Let y = i + 4. Does 5 divide y?
False
Let i(b) be the second d