2*p = 10, 0 = -3*g + 4*p + 40 - 14. Let t be 1/(-2) + (-39)/(-2). Suppose 0 = -g*z - 0*z + c + t, c + 1 = 0. Is z a multiple of 9?
True
Let r be 18/15*(-20)/(-8). Does 5 divide 308/42 + (-4)/r?
False
Let c = -38 + 82. Is c a multiple of 22?
True
Suppose z + 8 = h + h, -z = 4*h - 10. Suppose 0 = 4*a + 2*i - 114, 3*a - 82 = -i + h*i. Suppose 0 = 2*r - 4*r + a. Is r a multiple of 7?
True
Let w(s) = -5*s**3 + 3*s**2 + 2*s + 1. Does 16 divide w(-2)?
False
Is 16 a factor of (-24)/21*(-42)/3?
True
Let b(p) = -2*p - 9. Let r be b(-7). Suppose -4*i = -2*w - 82, r*w - 68 = -4*i + 49. Does 11 divide i?
False
Let d(q) = 0*q**2 + 108*q + 17 - 110*q - 5 - q**2. Does 4 divide d(0)?
True
Let l(z) = z - 1. Let d be l(-3). Does 15 divide ((-2)/5)/(d/240)?
False
Let c = -51 - -71. Let w be 18*1/6*c. Does 10 divide w/(-9)*18/(-4)?
True
Suppose -w = 5 - 1, -4*a + 3*w + 220 = 0. Let n = a - -209. Does 9 divide n/15 - 6/(-10)?
True
Is (132/(-20) + 3)*-5 a multiple of 18?
True
Let i(v) be the second derivative of 0*v**3 - v + 0 + 1/12*v**4 + 7/2*v**2. Is i(6) a multiple of 16?
False
Suppose 0*p = -2*p + 30. Suppose 0 = -2*k - 2*q + 12, 3*k = -2*k - q + 26. Is 4 a factor of (8/k)/(3/p)?
True
Let l(w) = w**3 + 10*w**2. Let x be l(-10). Suppose x*q = 2*q - 6. Suppose 0 = q*c + c - 56. Is 6 a factor of c?
False
Let g(s) = s**2 + 10*s - 6. Let c(l) = -3*l**2 - l + 2. Let t be c(2). Does 8 divide g(t)?
False
Suppose -3*z = -10 - 302. Does 26 divide z?
True
Let s(v) = v - 2 + v**2 + 5 - 5*v - 2*v**2. Suppose -6*f = -2*f + 16. Is 3 a factor of s(f)?
True
Suppose -11 = -2*y + c - 0, y - 1 = -c. Let i(q) = q**2 - 4*q + 2. Let s be i(y). Does 25 divide 92/(-1)*(-1)/s?
False
Let l(f) be the third derivative of f**6/120 + 5*f**4/24 - f**3/3 - 3*f**2. Does 16 divide l(3)?
False
Let b be ((-22)/8)/(2/32). Let f be b/7 + (-6)/(-21). Is 26*((-3)/f)/1 a multiple of 12?
False
Suppose 0 = 3*r - 8*r + 105. Does 10 divide r?
False
Let b be ((-4)/10)/(-1)*55. Suppose -b - 22 = -z. Is 11 a factor of z?
True
Suppose 0 = a - x + 1, -4*a - x - 4*x = 40. Let g be (141/3)/((-1)/a). Suppose 0 = 3*p - 2 - 1, -5*i - 5*p = -g. Does 23 divide i?
True
Let h(t) = -11*t + 7. Let c be h(-9). Suppose -3*k - 13 = -c. Is 12 a factor of k?
False
Let o = -3 + 5. Suppose 3*f - o*y = 43, 2*f - 4*y + 3*y - 30 = 0. Is 17 a factor of f?
True
Let v(p) be the second derivative of 7*p**3/6 - p**2/2 - 23*p. Let z(w) = 3*w - 1. Let h be z(2). Does 17 divide v(h)?
True
Let o be 8 + -1 - (-10 + 7). Does 16 divide (-1)/(-5) - (-318)/o?
True
Suppose -3*x + 3 + 12 = 0. Suppose -x = g - 2*n, -2*g = g + 2*n - 17. Suppose -5*i + w + 58 = 0, 3*i - 5*i + 31 = -g*w. Is i a multiple of 8?
False
Suppose 16*b = 17*b - 27. Does 11 divide b?
False
Suppose s = -2*r - 7, -3*s - 26 + 2 = 3*r. Let p be ((-6)/s)/(2/(-96)). Let x = p - -47. Is 8 a factor of x?
False
Suppose 0 = -3*z - 3, v + 5*z + 3 = 1. Suppose 0 = -u - v, -6*d + 4*d = 3*u - 51. Is 10 a factor of d?
True
Suppose 0 = -m - 2*j - 2 - 3, -5*m + 2*j = 25. Let b = 5 - m. Is 4 a factor of b?
False
Let u(w) = -2*w + 2. Let p be u(-5). Let f = p - 7. Suppose f*j - 5*b = 125, 0 = -3*j - 3*b + b + 90. Does 14 divide j?
True
Suppose y - 4*y = 30. Does 12 divide (24/y)/((-2)/25)?
False
Suppose -4*a - a + 80 = 0. Let m = 10 + -5. Suppose -h + m*r = 12, -5*r + r = -a. Does 8 divide h?
True
Suppose 0*r + 5*r = 620. Let b = -70 + r. Is 18 a factor of b?
True
Suppose 98 - 26 = 2*d. Let u = 55 - d. Suppose 5*q - 101 = -2*s, -q + 12 = -5*s - u. Is 21 a factor of q?
True
Let i(o) = o**3 - 5*o**2 + 2*o + 20. Is 17 a factor of i(6)?
True
Let o(x) = x**3 + 5*x**2 + 3*x. Suppose -5*y + 30 = 4*j, -3*j - 5 = -y - 18. Suppose 9*d + 3*i + 23 = 4*d, 3 = -2*d + j*i. Is 3 a factor of o(d)?
False
Let k = 5 + -3. Is 28 a factor of 2 - (-50 - k)/2?
True
Let b = 145 - 17. Suppose b = -q + 5*q. Does 13 divide q?
False
Let s(d) = d**3 + 12*d**2 - 3*d + 22. Does 21 divide s(-10)?
True
Suppose h - 4*h - 4*m + 103 = 0, 3*m = h - 17. Is 4 a factor of h?
False
Let m(g) = 5*g**2 - 4*g - 1. Let b be m(3). Suppose -4*w + r = -17, 3*w - 19 = 3*r + 5. Suppose 2*a + b = w*i, 3*i - 2*a = -2*i + 52. Is i a multiple of 5?
True
Let g(m) = 2*m - 1. Let w be g(0). Is 19 a factor of (24 + -20)/(w/(-14))?
False
Suppose 2*l = 4*l + 2*x - 58, x + 3 = 0. Does 4 divide l?
True
Let y = -1 - 11. Let a(j) = -8*j - 22. Is 14 a factor of a(y)?
False
Suppose -69 = -3*d - 0*d. Does 11 divide d?
False
Let s = -1 - -35. Is s a multiple of 14?
False
Let n(t) = 7*t + 2. Let p be n(4). Is (3 - -4)*p/7 a multiple of 15?
True
Let c be (-25 - 0)*(0 - 1). Is 11 a factor of 167/5 - 10/c?
True
Let a(g) = g**3 - 5*g**2 - 6*g + 2. Let f be a(6). Let x = -2 - -2. Suppose x = q + f*q - 18. Is q a multiple of 3?
True
Let f = 8 + -2. Suppose -2*o + 0*o = -16. Let c = o + f. Is 7 a factor of c?
True
Suppose -a = -3*a + 84. Is a a multiple of 14?
True
Suppose 0 = j + j + 6, 0 = -4*a + 4*j + 24. Suppose -n + 44 = a*n. Does 5 divide n?
False
Let p = -196 + 302. Is 53 a factor of p?
True
Let u be 2*1*7/(-2). Let w = u - -10. Is w even?
False
Let y(b) = 3*b**2 - 6. Is 4 a factor of y(-2)?
False
Let r(o) = o**3 - 13*o**2 - o + 15. Let h be r(13). Suppose -5*v + 0*b - 3*b = -149, h*v - 54 = -4*b. Is 16 a factor of v?
False
Suppose 0 = 2*s - 2*o - 82, -3*o + 119 = 4*s + 2*o. Does 8 divide s?
False
Let v = 1 - 0. Let y = 1 - v. Suppose y = 2*b + 5*s - 49, 5*s = s + 12. Is b a multiple of 14?
False
Let l(i) = i**2 - 3*i - 2. Let z be l(4). Suppose 3*c - 10 = -z*y, 3*c - 5*y = -6 - 19. Suppose c*a - 4*a = -168. Does 14 divide a?
True
Let d(j) = -j**2 - 11*j - 5. Let z be d(-10). Suppose -3*s + 22 + z = 0. Is s a multiple of 9?
True
Suppose 0*m - 2*m + n = -159, n = 3*m - 241. Let z = -6 + m. Is z a multiple of 19?
True
Let k(y) = -y + 7. Let x be k(9). Let f = x + 13. Is 3 a factor of f?
False
Let r(b) = b**3 - 4*b**2 - 3*b - 6. Let c be r(5). Suppose -2*s + c = -0. Suppose -19 = -s*t + 25. Is 11 a factor of t?
True
Let t(x) = x**2 - 20*x + 51. Is 8 a factor of t(21)?
True
Let l(n) = 2*n**3. Let u be l(1). Does 12 divide 0 + 2 - (-8 - u)?
True
Suppose x + 4 = 5*x. Let k be (0/x + -12)*-1. Does 13 divide (-2)/(-12) + 526/k?
False
Let l = -136 - -231. Suppose 6*v - l = v. Is 6 a factor of v?
False
Suppose 15 = 5*a, o + o - 18 = -2*a. Let i = 4 + o. Is 2 a factor of i?
True
Suppose -f + 4*z + 33 + 1 = 0, -2*f + 77 = z. Is 6 a factor of f?
False
Let j(h) = -h**2 - 4*h + 4. Let w be j(-4). Let a(q) = -4*q - 10. Let z be a(-7). Is 27 a factor of 1410/z + w/6?
False
Suppose j + 5*h - 18 = 0, 22 = 3*j - j + 3*h. Suppose 9*n = 7*n + j. Let p(g) = -g**3 + 5*g**2 - 3. Is 10 a factor of p(n)?
False
Let z(q) = -1 + 2 + 0 - 27*q. Let b be z(-5). Suppose -k + 2*w = -6*k + b, w = 2*k - 58. Does 14 divide k?
True
Let r(q) = -10*q - 6. Let j be r(-5). Suppose 2*n - 2*v = j, n - 46 = -2*n - v. Is n a multiple of 8?
False
Let r be (-14)/(-4)*(-8)/(-14). Let k be r/10 - (-20)/25. Does 17 divide (-17)/(2 - (k + 2))?
True
Let u = -18 + 26. Is 2 a factor of u?
True
Suppose l = -l + 168. Suppose 12 = 4*i - l. Is i a multiple of 12?
True
Let o(t) = -t**2 + 11*t - 3 - 2 + 0*t**2. Let s(u) = 4*u**2 - u + 1. Let q be s(1). Is 9 a factor of o(q)?
False
Suppose a = 3, a = 3*h - 0*a + 114. Suppose -2*l = 11 + 41. Let x = l - h. Does 6 divide x?
False
Let m = -4 + 5. Is 6 a factor of (12/(-5))/(m/(-5))?
True
Let t(x) be the first derivative of 2*x**3/3 - x**2 - 2*x + 3. Let k be t(2). Suppose -3*a = k*a - 265. Is 20 a factor of a?
False
Let w be (6/6)/(1/2). Suppose -b = -w*b + 11. Does 11 divide b?
True
Let m = 118 + -16. Is 17 a factor of m?
True
Suppose 0 = 3*f - 0*f + 318. Let g = -51 - f. Is g a multiple of 11?
True
Let r(t) = -t**2 - 7*t. Let g be r(-7). Let c(m) = -m**3 + m**2 + m + 30. Is c(g) a multiple of 10?
True
Suppose 2*w - 6 = -0*w. Suppose -w*r - 2*r - 2*v = -116, -4*v = 3*r - 78. Suppose 3*b = -2*o + r, 11 = 4*b + 3. Does 4 divide o?
True
Let v(d) = -d**2 - 7*d - 2. Let s be v(-5). Let o be (s/(-10))/(6/(-75)). Suppose 3*g - o = 14. Is 7 a factor of g?
False
Suppose u = 3, -4*s + 2*u + 61 = 5*u. Does 8 divide s?
False
Let u(r) = 5*r - 1. Let l be u(1). Suppose -b + l*b = 30. Is ((-12)/b)/(4/(-30)) a multiple of 5?
False
Let m be (5 - 5)*1*-1. Let v = 16 + m. Suppose l + l + 4*j 