+ 32 = 2*a - 4*v, 64 = 4*a + 3*v. Does 16 divide a?
True
Let g(q) be the second derivative of q**6/120 + 13*q**3/3 + q**2 - 2*q. Let v(s) be the first derivative of g(s). Is v(0) a multiple of 13?
True
Suppose 5*p - 5*t = 4*p + 13, 0 = 3*p + 2*t - 90. Suppose n - g - p = g, 5*n + 2*g = 116. Is 7 a factor of n?
False
Suppose j = -0 + 2. Suppose 5*u - j*n - 8 + 29 = 0, -u - 4*n = -9. Is (195/20)/(u/(-8)) a multiple of 13?
True
Suppose 0 = 3*g - 3*u - 3, 2*u + 17 = 3*g + 6*u. Let b(n) = n**3 - n**2 - 4*n + 4. Does 5 divide b(g)?
True
Suppose 0*g - 4*z + 10 = g, -4*z = -2*g + 80. Does 6 divide g?
True
Suppose 2*u - 4 = 2*i, -2*i = 5*u - i - 28. Let o(h) = -h + 16. Let y be o(16). Suppose -a - 3*a + 2*d = -120, y = u*d - 20. Does 16 divide a?
True
Suppose 2*c + 3003 = 15*c. Is 33 a factor of c?
True
Is 5 a factor of 63/12 + (-7)/28?
True
Suppose b + f + 4*f = -9, -f - 15 = -2*b. Let c(a) = -a + 5. Let n be c(b). Is ((n + 6)*3)/1 a multiple of 10?
False
Suppose -2*u = -2*q - 136, -u + q - 64 = -2*u. Does 22 divide u?
True
Let y = 6 + 11. Suppose 5*z + g - 24 + 1 = 0, -2*z + y = 3*g. Suppose 5*v = 2*k - 13, 5*k - 3*v = z*k + 7. Is k even?
True
Let q(d) = d**2 + 11*d + 4. Is 4 a factor of q(-11)?
True
Let t be (2/4)/((-3)/36). Is 2 a factor of 3/(-2)*(t + 4)?
False
Let d(i) = 3*i + 10. Let p be d(8). Suppose 0 = -5*v + x - p, -37 = 4*v - 3*x - 1. Let b = 30 + v. Is 8 a factor of b?
True
Let i = 5 + -3. Suppose 2*h = 3*k + 27, h + 3*k - 33 = -i*k. Does 18 divide h?
True
Suppose -2*y = j - 2*j + 65, y - j = -30. Does 12 divide 2/(-5) - 1134/y?
False
Let y = 75 + 17. Is y a multiple of 23?
True
Suppose 85*t = 81*t + 728. Does 13 divide t?
True
Let b(q) = 2*q**2 - 8*q - 8. Let d be b(6). Suppose -d - 99 = -5*f. Does 7 divide f?
False
Suppose 124 = 5*y + 5*n - n, -2*y - 4*n = -52. Is 8 a factor of y?
True
Let w = 0 - 6. Let q be w/(-9)*-3 - -1. Does 3 divide 5 + q + (1 - 2)?
True
Suppose -6*i = -2*i - 4*y - 72, -2*i - y = -42. Is i a multiple of 4?
True
Suppose 0*a - 4*l - 8 = -2*a, -3*l + 12 = 3*a. Is a/2*(-35)/(-10) a multiple of 5?
False
Suppose 3*t + 4*y = -t + 80, y = 5. Does 4 divide (-1 + (-4)/(-3))*t?
False
Suppose 5*q + 3*f = 5*f - 31, -4*q - 4*f = 8. Let h(z) = -2*z + 7. Does 9 divide h(q)?
False
Let u(m) = 46*m - 4. Let b be u(4). Suppose b = -2*y + 6*y - 2*w, 4*w = -4*y + 180. Does 21 divide y?
False
Suppose -2 = j - 28. Does 13 divide j?
True
Let p(l) be the second derivative of 0 - l - l**2 - 3/2*l**3. Is p(-2) a multiple of 8?
True
Let j(f) = f**2 + 5*f + 3. Let u be j(-3). Let r(x) = -x**3 - 4*x**2 + 6*x - 12. Let g be r(-6). Is 9 a factor of u + 2 + g*1?
False
Suppose -4*n + 97 = 5. Does 9 divide n?
False
Suppose l - 303 = -5*i + 5*l, i - l = 61. Is i a multiple of 20?
False
Let l(s) = s - 2. Let z be l(5). Suppose 0 = -5*u - c + 25, u - 29 = -z*u + c. Suppose 3*b = d - 6 - u, 2*d + b - 17 = 0. Is 8 a factor of d?
False
Does 13 divide 0 + 20 + (-1 - (-2 + 4))?
False
Suppose v + 1 = -5*i - 2, 3*v - 3 = -3*i. Suppose -4*p + 8 = -v*p. Suppose 97 = p*b + 3*n, 2*n = 3 + 3. Does 16 divide b?
False
Let u = -7 - -1. Does 12 divide 39*u/45*-5?
False
Let p(s) = -s**3 - 3*s**2 - 3*s - 3. Is 13 a factor of p(-4)?
False
Let s = 3 - 6. Let j = s - -8. Suppose 140 = -f + j*f. Is f a multiple of 13?
False
Let x(q) = 2*q**2 + 4*q - 5. Let a be x(-5). Suppose 5*b + 8 = 53. Suppose 2*y = a - b. Does 4 divide y?
True
Let y = -2 - 1. Let s = y + 27. Is 12 a factor of s?
True
Let v = -7 - -6. Let s = 16 + v. Does 15 divide s?
True
Suppose 3*l + 5*q + 27 = 0, 3*l + 2*l + 45 = -q. Let i = l + 48. Is 13 a factor of i?
True
Let f(r) = -r + 2. Let n be f(2). Let m(p) = -p**2 + 20. Does 20 divide m(n)?
True
Suppose 2*o - 5*u - 18 = 0, -o + 5*u - 9 = -23. Let x(k) = 32*k - 6. Let n be x(o). Let p = n + -87. Does 12 divide p?
False
Let l(i) = 2*i - 9 - 2*i**2 - 3*i**2 + i**3 - i**2 - 2*i**2. Is 2 a factor of l(8)?
False
Let q(t) = -1. Let u(k) = -k**2 + k + 16. Let c(v) = 3*q(v) + u(v). Is c(0) a multiple of 3?
False
Let c(p) = p**3 - 6*p**2 + 6*p + 5. Let v be c(5). Is (12/15)/(1/v) a multiple of 4?
True
Suppose 0 = 3*j + 33 - 348. Is j a multiple of 21?
True
Suppose 11*k = 15*k - 24. Is 10 a factor of 550/15 - 4/k?
False
Let n = 186 + -71. Is 13 a factor of n?
False
Let o(u) = -u**2 + 11*u + 2. Let v(r) = 2*r**2 - 12*r - 1. Let m(y) = -3*o(y) - 2*v(y). Is m(-8) even?
True
Let i(y) = y**3 - 3*y**2 + 2*y + 1. Let n be i(2). Let m(b) = 6*b + 13*b - 2*b - n. Is m(1) a multiple of 6?
False
Let u = 0 + 0. Suppose u = 4*i - 59 + 3. Does 13 divide i?
False
Suppose 6*l = 2*l + 24. Is 6 a factor of l/6*12/2?
True
Let l be 12 + 3 + -1 - 0. Suppose 7 = 2*v - 0*v + 5*g, -27 = -4*v + 3*g. Suppose l = n - v. Is 20 a factor of n?
True
Let k(f) = -6*f**2 + 4*f. Let c(i) = 3*i**2 - 2*i. Let p(y) = 9*c(y) + 4*k(y). Let s be p(-2). Suppose d = -3*d + s. Is d even?
True
Suppose -2*n = -y - 28, 3*n + 2*n + y = 77. Does 3 divide n?
True
Let n be 1 + 3 + -3 + 3. Suppose -5*p - 5 = 0, t + n*p - 2*p - 2 = 0. Suppose -l - t*z = -4 - 14, -50 = -4*l - 5*z. Does 3 divide l?
False
Suppose -c - 165 = -3*u, 4*u - c - 168 - 53 = 0. Does 14 divide u?
True
Suppose 1025 = 5*o - 5*i, 4*i + 599 = 3*o - 11. Suppose -5*c - 5*w = -o, -w = 4*w. Suppose -c = -2*g + g. Is g a multiple of 16?
False
Let w be (2 - 3)/(3/(-186)). Suppose -w = -2*i + 38. Is 25 a factor of i?
True
Let y(h) = h**2 + h + 24. Suppose 4*n = -16, -4*k - 3*n - 12 = -2*k. Is 8 a factor of y(k)?
True
Suppose -25 = 5*h, -2*l - 4 = 4*h + 12. Suppose d - l = 1. Is d a multiple of 3?
True
Let d(r) = r**3 + 3*r**2 - r + 2. Let p be d(-3). Suppose 8 = p*g - 202. Does 14 divide g?
True
Is 14 a factor of (-1855)/(-21) - (-1 + 1/3)?
False
Let f be 22/11 + -1*29. Let x = -59 - -98. Let b = f + x. Is 5 a factor of b?
False
Suppose 4*x + 0*x - 436 = -g, 346 = 3*x - 4*g. Does 10 divide x?
True
Suppose -2*b - 7 = -81. Suppose 25 = y - b. Does 15 divide y?
False
Suppose -h + 8 = 3*h. Suppose 0 = -h*t + 5*t - 6. Is (0 - -24) + t/(-2) a multiple of 15?
False
Does 6 divide ((-2)/(-3))/((-2)/(-18))?
True
Let m(u) = 43*u**2 + 3*u - 5. Is m(2) a multiple of 9?
False
Suppose -4*z = -3*j + 7, 3*j - 8 = 2*z + 3. Suppose z*k - 5*k = -105. Does 6 divide k?
False
Suppose -b + 3*b - 10 = 4*z, -4*z = 2*b - 10. Suppose -32 = -b*m - 0*f + f, m - f = 4. Is m a multiple of 5?
False
Is 19 a factor of (54 - (1 + 5))*(-2)/(-3)?
False
Let u = -71 - -36. Is 5 a factor of (-465)/u + 2/(-7)?
False
Is 29 a factor of 25/75 - 694/(-6)?
True
Let j(f) be the second derivative of f**4/12 - f**3/3 + 3*f**2/2 + 5*f. Let u = 3 - -1. Is 4 a factor of j(u)?
False
Let a(p) = 3*p**3 + p + 1. Let r(b) = b**3 + 1. Let x(w) = -a(w) + 4*r(w). Let f be x(0). Suppose -z = -f*g + 53 - 19, 3*g = 5*z + 50. Does 8 divide g?
False
Let l(m) = -4 + 5 - 5*m**2 - m - m - m**3 - 3. Is l(-5) a multiple of 8?
True
Let f(v) = v**2 - 2*v - 3. Let z be f(5). Does 4 divide 0 + z - (0 - 2)?
False
Let r be -2*(-2 + (2 - -1)). Is 20 a factor of (-10 - -8)/(r/20)?
True
Suppose 4*c + 13 - 77 = 0. Is c a multiple of 3?
False
Let j = -7 + 12. Suppose 0 = -4*n + 2*n + 34. Suppose -j*q + 127 - n = 0. Is 11 a factor of q?
True
Let i(g) = -g**2 - 3*g. Let d be i(-2). Is 11 a factor of 2*29/d*1?
False
Suppose -4*r = -45 - 227. Suppose m - r = -m. Is 9 a factor of m?
False
Let p(m) = -5*m**2 + 12*m. Let i(l) = -l**2. Let f(a) = 6*i(a) - p(a). Is f(-9) a multiple of 7?
False
Let j(a) be the third derivative of a**4/24 - a**3/3 + 2*a**2. Let s be j(3). Suppose -4*q + 44 = -5*g, -q - 5*g = -10 - s. Is q a multiple of 4?
False
Let r = 3 - -15. Suppose -4*q - 3*d + 23 = 0, 5*q + 3*d = 7 + r. Suppose -4*y = -q*y - 20. Does 5 divide y?
True
Suppose 5*m - 2 = 28. Does 2 divide m?
True
Suppose -4*a + 5*d = -9*a - 740, a + 2*d = -146. Does 3 divide a/(-14) + (-2)/(-7)?
False
Let y(r) = -4*r**2 - 4*r - 2. Let o be y(-2). Let p be (-8)/(-20) - 296/o. Suppose -f - f + p = 0. Does 15 divide f?
True
Is -1 + 1 - -91*2*1 a multiple of 7?
True
Let g = -603 - -915. Does 39 divide g?
True
Let w = 83 - 44. Is 9 a factor of w?
False
Let r(o) be the third derivative of -o**4/24 - 4*o**3/3 - o**2. Let b be r(-10). Suppose q = -3, 4*q - b = 5*t - 44. Does 4 divide t?
False
Let o be ((-15)/6)/(1/(-2)). Suppose o*n = 3*u + 24, -3*u = -2*n + 4*n - 18