c) = c**3 + 2*c - 1. Let g be t(1). Is 3 a factor of (g - 3)/((-2)/22)?
False
Let v(r) be the second derivative of -r**3/6 - 4*r**2 + 3*r. Let b be v(-11). Suppose -32 = -2*y - 4*t, 2*t + b*t - 25 = -y. Is y a multiple of 4?
False
Suppose 0 - 6 = -3*p. Suppose -p*h + 37 = 7. Is h a multiple of 3?
True
Let y(j) = -j**3 + 6*j**2 + 3*j + 2. Let k(l) = 2*l**3 - 4*l**2 + 3*l. Let t be k(2). Is y(t) a multiple of 8?
False
Suppose 2*v = -0 + 8. Does 4 divide v?
True
Suppose -8*l = -268 - 52. Does 6 divide l?
False
Suppose d = 5*z - 79, -16 + 2 = -2*z - 4*d. Is 5 a factor of z?
True
Let y = -9 + 8. Let c be 3/y*24/(-18). Is ((-27)/(-12))/(1/c) a multiple of 5?
False
Let f be (-21)/(-1) - -1*3. Let y(r) = -3 - 3 + 1 + 2 - f*r. Is y(-2) a multiple of 18?
False
Let t be 3/((-9)/5)*-3. Let l(o) = -t + 3 - 6*o**2 + o**3 - 6*o + o. Is 8 a factor of l(7)?
False
Let b = 1 - 1. Suppose q + 2*k = 52, 4*q + 3*k + 4 - 202 = b. Is 12 a factor of q?
True
Suppose 5*w = 15, -2*w - 108 = -4*n - 6*w. Does 4 divide n?
True
Let u(s) be the third derivative of -s**4/24 + s**3/6 - 2*s**2. Let d(p) = -p**2 + p - 17. Let r(i) = -d(i) - u(i). Is r(0) a multiple of 6?
False
Let u = -5 + 14. Suppose 4 = 2*x - 3*b, -5*x - 3*b - 11 = -0*b. Is u - (2 + (x - -1)) a multiple of 7?
True
Suppose -z + 20 = -16. Is z a multiple of 9?
True
Suppose 125 = 3*f - 31. Is f a multiple of 13?
True
Let l be 45/(-18)*(-44)/10. Is 17 a factor of (-1480)/(-88) + 2/l?
True
Let k(o) = -24*o + 8. Let z be k(-6). Let v = 98 - z. Is 11 a factor of 16/6*v/(-4)?
False
Let s be (-4)/3*(-15)/10. Let k be s*(4 + 1 + 1). Suppose 1 = f - k. Is 9 a factor of f?
False
Let y(g) = -6*g + 6. Is 8 a factor of y(-3)?
True
Suppose -5*y = -y - 16. Suppose -26 = -4*o + m + m, -3*o + y*m = -32. Suppose -78 = -o*u + u. Is u a multiple of 13?
True
Let j(z) = z**2 + 11*z + 10. Let x be j(-10). Let l be x/(1 + (-1 - 1)). Suppose 0 = a - n - 14 - 12, 5*a - n - 122 = l. Does 8 divide a?
True
Let h(z) be the third derivative of -z**4/24 + 17*z**3/3 + 2*z**2. Does 14 divide h(0)?
False
Suppose 2*w = 6*w - 5*j - 37, -j = 5*w - 10. Suppose -5*k + 130 = -2*x, 3*x - 26 = -k + 17. Suppose i + k = w*i. Is 14 a factor of i?
True
Let q = -256 + 871. Suppose q + 57 = 3*j. Suppose -4*x + 2*o = -j, -3*x - 6*o + 5*o = -158. Is x a multiple of 18?
True
Let i be 12/(-8) - 1/2. Let f be -1 + 1 + (-2 - i). Suppose -o = -f - 8. Does 4 divide o?
True
Let y be 2/5 + 4/(-10). Suppose 4*q - 51 = -39. Suppose -q*k + 2*i + 108 = y, -4*k + 4*i + 42 = -102. Is 16 a factor of k?
False
Let k(m) = m**2 - 7. Let y be (-2 - 10/(-3))*6. Is k(y) a multiple of 19?
True
Let d = -5 + 10. Suppose 3*n + 2*s + 3*s + d = 0, -2*s = -5*n + 33. Is 3 a factor of n?
False
Let b(p) = -p**3 + 4*p**2 + 2*p + 2. Let m be b(4). Suppose 5*h + 3*i + m = 0, h + 0*h - 2*i = 11. Let z(n) = 18*n**3 + n**2. Does 13 divide z(h)?
False
Let k be ((-6)/9)/((-2)/6). Suppose -k*m - 9 = -3*m. Is 9 a factor of m?
True
Let w = -25 - -23. Let h(d) = 4*d**2 - d + 4. Let z(r) = -9*r**2 + 2*r - 7. Let p(u) = -7*h(u) - 4*z(u). Is 15 a factor of p(w)?
False
Let v(k) = 6*k**2 + 11*k + 8. Is v(-4) a multiple of 9?
False
Let j = -18 - -14. Let c = 25 + -7. Is 6 a factor of (c/(-1))/(6/j)?
True
Let j = 115 + -52. Suppose -4*z + 1 = -2*o + 37, -5*z - j = -4*o. Is o a multiple of 12?
True
Let t(r) = 35*r**2 + 2*r - 2. Does 7 divide t(1)?
True
Suppose -116*y = -115*y - 241. Is y a multiple of 11?
False
Let t(k) = 7*k**2 - 2*k + 1. Let r be t(2). Suppose -w + r = -3. Does 14 divide w?
True
Suppose 0 = 9*u + u - 160. Does 2 divide u?
True
Let y = -2 - -1. Let x(s) = 44*s**3 - 2*s**2 - 7*s + 11. Let u(t) = -22*t**3 + t**2 + 3*t - 5. Let g(j) = 9*u(j) + 4*x(j). Is g(y) a multiple of 12?
False
Let i be 1/(2/3)*-2. Suppose j = 36 - 6. Let c = j + i. Does 7 divide c?
False
Suppose 12 + 44 = a. Does 13 divide a?
False
Let p(u) = -u**2 - 10*u - 15. Let x be p(-10). Let r be x/2*4/(-6). Suppose -3*h - y + 3*y = -113, -r*y = h - 49. Is h a multiple of 13?
True
Let p(s) = 12*s + 3. Let i be p(4). Suppose 4*o - o = i. Does 8 divide o?
False
Let g be (-3)/(2*(-2)/4). Suppose -5*i - 15 = 4*l + g, 5*l - 4*i + 2 = 0. Is 19 a factor of -1 - 50/(1*l)?
False
Let t = 122 - -158. Is 23 a factor of t?
False
Let o = 8 - 5. Let q(f) = f - 2*f**3 + f**o - 4*f - 2 + 5*f**2. Is q(3) a multiple of 7?
True
Let j(o) = 16*o**2 + 3*o - 1. Let s be j(2). Suppose -5 = 4*x - s. Is 16 a factor of x?
True
Suppose v = -v - 4*i + 6, 0 = -4*i. Let h(z) = -z**3 + 2*z**2 + 3*z - 1. Let o be h(v). Does 22 divide -4*(o + -13 + 3)?
True
Let c(n) = n + 10. Let f be (8/(-2))/(1/2). Let u be c(f). Does 12 divide u/(-3)*-12*3?
True
Suppose -5*a = -2*o - 83, -4*a - 16 = -5*a + o. Let s = a + -10. Suppose 0 = -r + s + 17. Is 7 a factor of r?
False
Let z = -29 - -37. Does 21 divide ((-38)/z)/(8/(-160))?
False
Suppose -6 = -2*i - 0. Let y(w) = -w + 6. Let k be y(i). Is (-106)/(-3) - (-2)/k a multiple of 18?
True
Suppose -24 = -0*s + 2*s. Is 16 a factor of (s/10)/((-15)/400)?
True
Let w(a) = -a**2 - 4. Let x(c) = c**2 + c + 1. Let o(i) = w(i) + 4*x(i). Is 16 a factor of o(-4)?
True
Suppose -3*s + 219 = 4*n, 4*n = -s + 29 + 52. Is 4 a factor of s/6 - 6/4?
False
Suppose -23 = -3*f + 2*b + 2*b, 0 = -4*f - 5*b + 10. Suppose 4*h - 8 = 4*i, 0 = -2*i - 4*h + f + 15. Is 6 a factor of (6/9)/(i/45)?
False
Suppose 31*i - 30*i - 17 = 0. Does 17 divide i?
True
Let r be (3 - 1) + (-8 - -2). Is 4/(-8) + (-82)/r a multiple of 6?
False
Suppose 3*g - 2001 = -5*o, 7*g - 3*g + 391 = o. Does 57 divide o?
True
Suppose -5*j - 2*m + 575 = 0, -4*m - 326 = -3*j - 9*m. Is 24 a factor of j?
False
Suppose 6*w - 11 = 13. Let b(v) = 4*v + 3. Does 4 divide b(w)?
False
Is 1/(1/(-58)*-2) a multiple of 8?
False
Let b(u) = -u**3 + 11*u**2 + 11*u + 12. Let o be b(12). Suppose 0 = i + f - 16, f + 2*f = o. Is i a multiple of 8?
True
Let j = 15 + 36. Let r = j + 36. Is r a multiple of 19?
False
Is 7 a factor of ((-140)/(-30))/((-14)/(-6) + -2)?
True
Suppose 3*v + 5*b - 55 = 8*v, -4*b = 0. Let q = v - -5. Is (21 + 3)*q/(-9) a multiple of 16?
True
Let c(f) = 4*f**2. Let u be c(1). Suppose 5 = u*s + s. Let r(b) = 7*b**2 - b + 1. Is r(s) a multiple of 3?
False
Let h(n) = -n**2 - n - 1. Let s(b) = 3*b**2 + b + 8. Let v(w) = 4*h(w) + s(w). Let i be v(-3). Suppose -3*q + 3*z = i*z - 28, z = -4*q + 37. Is 5 a factor of q?
False
Suppose h + h = 8. Suppose 4*d - 3*m - 12 = 0, -3*m = -h*m. Does 7 divide 1 + (0 - (-60)/d)?
True
Suppose -3*p + 3 = -6*p, 4*p = k - 9. Suppose -k + 1 = -2*y. Suppose 0 = y*g + x - 11, 0 = -0*g - g + 2*x - 2. Is g even?
True
Suppose j = -2*j + 51. Let r = j + -9. Is r a multiple of 3?
False
Let h(a) be the second derivative of -a**4/12 + 7*a**3/6 + 9*a**2/2 + a. Let t be h(8). Does 4 divide (1 - -4) + (0 - t)?
True
Let n(p) = 24*p**2 + p - 1. Let a(k) = -k - 3. Let h be a(-4). Is 8 a factor of n(h)?
True
Suppose -i + 107 = 4*j, 3*i - 5*i + j + 178 = 0. Is i a multiple of 5?
False
Let x(k) = 2*k - 5. Let t be x(5). Let w = 6 - 9. Let u = t + w. Is u even?
True
Let a(d) = 2*d**3 - 7*d**2 + 8*d + 6. Does 25 divide a(5)?
False
Suppose -28 = 2*q - 10. Let i be 2 + 0 + -1 + q. Let p(b) = -b**2 - 10*b - 10. Does 3 divide p(i)?
True
Suppose 0*p = 4*p - 448. Suppose l + 3*g = -0*l + 78, -5*g = -2*l + p. Does 24 divide l?
False
Let z be (1 - -4) + -1 + 2. Suppose 4*a - 38 = -4*l + 10, 0 = -2*a + z. Does 2 divide l?
False
Let z(h) = -3*h**3 + h**2. Let d be z(1). Let t be d*11/(-2) - 1. Let x = 24 - t. Is 8 a factor of x?
False
Let v be 1 + (1 - (-142 + 3)). Suppose -f = 4*b - 41, -2*f = -5*f - 3*b + v. Is 24 a factor of f?
False
Let x be (-384)/(-36)*3/1. Is 29 a factor of (x - 1 - 0) + -2?
True
Let g = 3 - 0. Suppose x - g*z + 14 = 2*z, 3*x - 5*z + 12 = 0. Suppose x - 26 = -5*w. Does 4 divide w?
False
Let r = 176 + -148. Does 5 divide r?
False
Let p = 63 + 87. Suppose 0 = -2*l - 3*l + p. Is 9 a factor of l?
False
Let l(t) be the third derivative of -t**4/12 - t**3/6 + t**2. Let n be l(-1). Is 9 a factor of 36*(n - (-3)/(-6))?
True
Let z(v) be the third derivative of 0*v + 0 + 1/60*v**5 + 1/40*v**6 - 1/6*v**3 + 3*v**2 + 0*v**4. Does 3 divide z(1)?
True
Suppose -260 = 3*k - 7*k. Is 16 a factor of k?
False
Let z = -29 - -111. Let q = z - 45. Does 26 divide q?
False
Let a = -36 - -88. Is a 