) + q/10?
True
Let t(q) = q**3 - 8*q**2 - 4*q + 11. Let i be t(9). Suppose -2*w - 2*g = -i, 82 = 2*w + 4*g + 30. Does 15 divide w?
True
Let g(l) = -l**3 - l**2. Let u be g(-2). Let b(n) be the first derivative of 5*n**2/2 - n + 5. Does 12 divide b(u)?
False
Suppose 4*s = 2*j + 42, -4*j - j - 65 = -5*s. Does 2 divide s?
True
Let o(v) = -3*v - v**2 + 2*v**2 + 0*v**2 + v. Let i be o(2). Suppose -h + i*h = -30. Is h a multiple of 15?
True
Is (-13)/(65/30) + 36 a multiple of 10?
True
Let j = -21 - -69. Is j a multiple of 5?
False
Let i = -3 - 1. Let v(o) = -2*o - 5. Let k be v(i). Does 15 divide (10/k)/(6/27)?
True
Let j(n) = 2. Let m(s) = -3*s - 54. Let o(c) = 54*j(c) + 2*m(c). Is o(-2) a multiple of 7?
False
Let f = 209 - 11. Is f a multiple of 51?
False
Let v(p) be the first derivative of p**3/3 - p**2/2 - 4*p + 1. Is 7 a factor of v(4)?
False
Let u be 1 + -6 + -1 + 0. Let k(s) = -s**3 - 5*s**2 + 4*s - 8. Let v be k(u). Suppose v*g - 5 = 11. Is g a multiple of 4?
True
Let i = 63 - 11. Suppose -2*g + 0*g = -i. Let m = -18 + g. Is 8 a factor of m?
True
Let m = 22 - 42. Let z = 40 + m. Suppose -z = -2*j - 3*j. Is 3 a factor of j?
False
Let b = -12 + 29. Is b a multiple of 5?
False
Suppose 9 = 3*z - 21. Let n = z - -2. Suppose 0*r + r = n. Is 12 a factor of r?
True
Let k(j) = -j + 7. Let q be k(15). Is ((-42)/24)/(2/q) a multiple of 3?
False
Suppose 0 = -7*w + 3*w + 212. Does 14 divide w?
False
Suppose 3*d - 180 = -6*d. Is d a multiple of 5?
True
Let z be (-4 - -6)/((-3)/(-36)). Is ((-18)/z)/(2/(-152)) a multiple of 17?
False
Is (-2)/10 + 1308/15 a multiple of 19?
False
Suppose l - 4*o + 3 = 0, -16 = -2*l - 0*l - 3*o. Suppose -18 = -l*f + 167. Is 16 a factor of f?
False
Is 13 a factor of (-2 - (-312)/20)*5?
False
Does 3 divide (88/20 - 2)/(3/15)?
True
Let u be 60/12*1/1. Suppose -u*f = -0*f - 330. Does 22 divide f?
True
Let a(l) = -l**2 - 7*l - 3. Let z be a(-6). Let u = -3 + z. Suppose -21 = -3*n - u*n. Is 7 a factor of n?
True
Let q = -526 - -788. Is q a multiple of 15?
False
Let h = 479 + -319. Is 32 a factor of h?
True
Let h be (48/(-18))/(2/(-36)). Let o = -28 + h. Is o a multiple of 18?
False
Suppose 0 = -5*o - 25, 4*o + 2 = -3*p - 0. Suppose -j + 5*s + p = -0*j, 3 = 2*j - s. Suppose -j = z - 13. Is 12 a factor of z?
True
Suppose -3*v + 7*v - 2*i + 12 = 0, 0 = -5*v + 3*i - 16. Let z be v*3/6 - -35. Does 17 divide z/8*(0 - -4)?
True
Suppose -2*w = -3*o + 3*w + 522, 4*w + 696 = 4*o. Is 26 a factor of o?
False
Let q(v) = 25*v**2 + 1. Let m = 1 + 0. Suppose 0 = -5*h - 3*g + m, 4*h + 1 = -g - 1. Is 19 a factor of q(h)?
False
Let c = 4 - -51. Is 11 a factor of c?
True
Let z(q) = 4*q - 9. Is z(9) a multiple of 23?
False
Let y be 0 + -2 - (-35)/7. Suppose 2*i - 170 = -y*i. Is 17 a factor of i?
True
Let m(f) = f**3 + 4*f**2 - f - 1. Let z be m(-4). Let p be 11/2 + z/6. Let r(l) = 2*l + 7. Is 10 a factor of r(p)?
False
Let y(d) = d + 4. Let p be y(10). Let o(f) = 0 + 0 - f**3 + 8*f**2 - 1 + p*f - 11. Does 11 divide o(9)?
True
Suppose -5*a + 8 = -22. Let n = 2 + 30. Suppose -a*y = -10*y + n. Is 8 a factor of y?
True
Let x(s) = s**3 - 2*s**2 - 2*s - 2. Does 22 divide x(4)?
True
Suppose 0 = x + x - 104. Is x a multiple of 13?
True
Suppose 12 = 4*s, 0 = 5*k - 2*k + 2*s - 195. Is k a multiple of 9?
True
Let q(r) = -r**2 + 1. Let k be q(0). Let n = 25 - k. Is 9 a factor of n?
False
Is 3 a factor of -2 - (-33)/(-6)*-2?
True
Let b = 3 - 3. Suppose b = -0*w + 2*w - 138. Does 23 divide w?
True
Suppose 0 = 5*k + p - 54, -2*p = -3*k - 5*p + 42. Does 2 divide k?
True
Let f(j) = -4*j + 9*j - 4*j. Let v be f(-6). Does 4 divide 15/v*-4 - -1?
False
Let n(b) = b + 9. Let q be ((-20)/2)/(2 + 0). Does 4 divide n(q)?
True
Let y be 4 + (-3)/(-3 + 0). Suppose 0 = y*a - 262 - 243. Suppose a - 5 = 2*p. Is 24 a factor of p?
True
Suppose -p + 2*p - 267 = -w, -2*p + 796 = 3*w. Is w a multiple of 38?
False
Suppose a = -t - 0*a - 56, 0 = 5*a + 25. Let f = -29 - t. Is f a multiple of 17?
False
Let o(i) = 8*i + 4. Let r be 3/((-9)/4 - -3). Is 16 a factor of o(r)?
False
Let t be 3 + -2*1/2. Is -2 + 0 + (12 - t) a multiple of 8?
True
Let w(n) = n**3 + 7*n**2 - 9*n - 1. Let g be w(-8). Suppose -b + g = -11. Does 9 divide b?
True
Let z = 83 - 30. Does 24 divide z?
False
Let w(s) = -7*s**3 + 2*s**2 - s + 1. Let k be w(-2). Suppose -k = -5*h - 7. Does 3 divide h?
True
Does 12 divide 781/5 - 3/15?
True
Let o = 27 - 13. Is o a multiple of 7?
True
Does 25 divide 115/(-2)*16/(-20)?
False
Let c = -2 - -61. Is c a multiple of 25?
False
Suppose -18 = -3*o - 4*a, -4*o + 2*a + 31 - 7 = 0. Let d(q) = q**2 - q - 2. Is 16 a factor of d(o)?
False
Suppose 5*w - 13 = 2. Let q(x) = 3 - 5 + 4 - 4*x**3 - x - w*x**2. Is 9 a factor of q(-2)?
False
Does 16 divide (15/(-4))/((-3)/64)?
True
Suppose 0 = -2*a + 7*a - 1530. Suppose -5*u + l + a = 0, 2*l - 120 = -2*u - 0*u. Does 16 divide u?
False
Suppose 0*b = -2*b + 126. Is b a multiple of 21?
True
Let r(i) = -i + 2. Let c(x) = 2*x - 1. Let u(j) = -4*c(j) - 3*r(j). Let p be (-92)/22 - (-2)/11. Is 9 a factor of u(p)?
True
Let q(b) = 36*b**2. Is q(1) a multiple of 12?
True
Let h = -172 - -343. Is 14 a factor of h?
False
Let d be (-66)/14 + (-2)/7. Let w(t) be the second derivative of -t**3/6 + 3*t**2/2 + t. Does 4 divide w(d)?
True
Let g(r) = -r**3 - 1. Let y be g(1). Does 21 divide 1 - (0/y - 41)?
True
Suppose -3*a + 39 = 9. Is 4 a factor of a?
False
Let l(x) = 7*x + 5. Let g be l(4). Let y = -6 + 71. Let b = y - g. Does 16 divide b?
True
Let b be 22/6*-9*1. Suppose 5*f = -10, -2*a - 3*f + 8*f = -18. Does 16 divide (4 - a) + (-1 - b)?
True
Suppose -2*o + 5 = -7*o. Let x = o + -17. Is 8 a factor of 2/(-4*1/x)?
False
Suppose -5*w = 1 - 41. Is w a multiple of 2?
True
Suppose 132 = 4*f - 0*f. Let i = -10 + f. Does 8 divide i?
False
Let r(c) = 0*c**2 - 2 + 3*c**2 + 2*c + 3*c + c - c**3. Let o be r(4). Suppose 150 = 5*v - 5*s, 5*s - o = -2*v + 54. Is 15 a factor of v?
True
Let b = 10 - 1. Is 46*(b/2 + -4) a multiple of 23?
True
Suppose 669 = 5*v - 4*h, 2*v - 4*h - 137 = v. Let y be (-77 + 0 + -1)*-1. Let d = v - y. Is d a multiple of 25?
False
Let s(m) = m + 1. Let b(l) = 4*l - 8. Let o(q) = b(q) - 3*s(q). Is 2 a factor of o(15)?
True
Suppose 0 = -h + 3*h - 4. Suppose 5*r - 4*y = -2*y + 102, -32 = -h*r + 3*y. Is 20 a factor of r?
False
Let l(f) = 24*f**3 + f - 1. Let r be l(1). Suppose -2*h + 62 + r = 0. Does 9 divide h?
False
Let j = 2 + -1. Suppose i + 10 = 3*l, 0*l = -4*i + l - 18. Is i/(j/((-4)/1)) a multiple of 16?
True
Suppose 96 = -6*b + 2*b - c, -5*c = 4*b + 96. Is 22 a factor of (-1 - b) + -6 + 5?
True
Let t be 2/4 + 2/(-4). Let d = 2 - t. Suppose -14 = -d*v + v. Is v a multiple of 7?
True
Suppose -14 = -5*h + 36. Let t = h + -7. Suppose 0 = 3*m + t*j - j - 14, 0 = -m + 2*j + 10. Is 4 a factor of m?
False
Let w = 29 + -8. Let p(n) = 12*n**3 + 2*n**2 - 2*n + 1. Let k be p(1). Let h = w - k. Is 3 a factor of h?
False
Suppose -6*b = -b - 375. Suppose 5*d = -5*i + b, 0 = -2*i + 5*d - 16 + 53. Is i a multiple of 10?
False
Suppose x + 4*x = 15. Suppose -x*m + 23 = -13. Is m a multiple of 6?
True
Let u(b) be the second derivative of -b**4/12 - 13*b**3/6 + 3*b**2/2 - 2*b. Is u(-12) a multiple of 5?
True
Let l(p) = p - 14. Let c be l(6). Let w = c - -10. Is 2 a factor of w?
True
Does 11 divide -7*(0 - (-44)/(-14))?
True
Let y be (4 + -4)/(2/(-1)). Suppose j + 4 - 12 = y. Does 3 divide j?
False
Suppose -4*p = -0*p + 4. Let r be 11 - (-3 - 2*p). Is 11 a factor of (r/6)/(1/10)?
False
Suppose 2*h = 5*k - 35, -5*h - 35 = k - 3*k. Let y be (-14)/(-35) + 18/5. Suppose 5*u - 41 = -3*l, -y*l + 0*l - k*u = -53. Is l a multiple of 9?
False
Let s be -3 - -1 - -7*1. Suppose 0 = 2*u - 5*p - 31, 0 = 6*p - p + s. Suppose i = 5*r - 135, 0 = -r + i + 18 + u. Is 9 a factor of r?
False
Let a be ((-1)/(-2))/((-5)/10). Let g(m) = 1 + 0*m + m - 4*m. Is g(a) a multiple of 4?
True
Suppose 2*l + 3*a + 2 = -0, -8 = 2*a. Suppose -c + 21 = -4*w, -w + 0*w + l*c - 10 = 0. Let n(f) = -2*f - 1. Does 7 divide n(w)?
False
Suppose -3*t = -9 - 9. Is 2 a factor of t?
True
Let j be ((-20)/6)/(6/117). Let c = 91 + j. Does 7 divide c?
False
Let k(h) = 2*h - 4 + 4*h**2 + 1 + 0*h + 5 + h**3. Is 6 a factor of k(-2)?
True
Let v(q) = -q + 11. Let o be v(9). Suppose 0*i = -i - o. Is 8 a factor of (-25 - i)*(0 - 1