3 + (-3 - -3 - 3). Suppose b = -0*v - 4*v + o. Is 12 a factor of v?
True
Let k = 3 - -1. Suppose -k*z + 68 = 4*y, 3*z + 10 - 81 = y. Does 22 divide z?
True
Let h be (-4)/20 - 26/(-5). Suppose -h*t + 19 = -41. Does 6 divide t?
True
Let x(q) be the second derivative of 31*q**6/120 - q**4/24 + q**2 - 2*q. Let g(s) be the first derivative of x(s). Is 16 a factor of g(1)?
False
Let a(r) = 5*r**2 + 3*r - 4. Let k(x) be the second derivative of x**5/20 - 7*x**4/12 + 5*x**3/6 + 3*x**2/2 - x. Let o be k(6). Is 18 a factor of a(o)?
False
Let l(d) = -d**2 + 4*d - 1. Let m be l(4). Let t(h) = -20*h. Let z be t(m). Let a = 19 + z. Is a a multiple of 13?
True
Suppose -2*a + 12 = a. Let m be a/(-24) + (-33)/18. Let j(n) = -15*n - 1. Is j(m) a multiple of 15?
False
Let y(n) = -n**3 + 8*n**2 - 11*n + 12. Is y(6) a multiple of 6?
True
Suppose -3*m - 140 + 368 = 0. Is 19 a factor of m?
True
Let m be 52/6 + (-7)/(-21). Suppose -5*t + m*t - 32 = 0. Is t a multiple of 4?
True
Let j(z) = z. Let p be j(3). Suppose q - 44 = -p*q. Is q a multiple of 6?
False
Suppose 0 = -2*x + 7*x - 10. Suppose p - 3*p + x = 0. Let j = p + 5. Is 4 a factor of j?
False
Let o = -146 + 195. Is o a multiple of 8?
False
Let q = -35 + 16. Let v = 11 - q. Is 15 a factor of v?
True
Suppose h = -2*u + 3, 4*h - 6 - 6 = 3*u. Suppose -2*t + 14 + 4 = 2*f, 3*f - 2*t - 7 = u. Suppose f*n - 28 - 17 = 0. Is n a multiple of 9?
True
Let u = 1 + -1. Suppose u*m = -3*m - 12, 4*d - 5*m - 52 = 0. Is 8 a factor of d?
True
Suppose -8*j + 3*j - 10 = 0, 0 = 2*g - 2*j - 254. Suppose 4*v - g = -d, -3*v + 16 = 2*d - 74. Suppose 0*s + v = 4*s. Is s a multiple of 8?
True
Let k(t) = t**2 - 12*t - 3. Is 8 a factor of k(15)?
False
Let i(y) = -3*y + 3*y**2 - 4*y**2 - 3*y + 6 + 0*y. Is 4 a factor of i(-6)?
False
Let y = -11 - -14. Does 7 divide (y/(-6))/(3/(-246))?
False
Let f(d) = 3*d + 9 - 4*d + 7. Let i be f(7). Suppose -h = -4*g - 28, 2*g + 1 = -i. Is h a multiple of 4?
True
Suppose -m + 75 = 2*m. Suppose 5*j + 5 = 0, 2*a - m = -2*j - 3*j. Is a a multiple of 7?
False
Suppose -y + 55 = r, 72 - 297 = -4*y - 3*r. Does 30 divide y?
True
Suppose -2*i - 59 = -n, -2*i = -5*n - 0*i + 279. Does 17 divide n?
False
Let m(l) = -13*l + 7. Suppose 4*g + 7 = n - 8, 2*g + 25 = -3*n. Let y be m(g). Suppose 0 = -4*k + k + y. Does 12 divide k?
True
Let t(n) = 8 - 2*n - n**2 + 2*n + 0*n. Let a = -5 - -5. Does 8 divide t(a)?
True
Let b be 2 - 40/12*-21. Suppose 0 = -5*h + 7*h - b. Does 13 divide h?
False
Suppose 2*r - 9 = 5*r. Is 14 a factor of 21/14*(-52)/r?
False
Let h(b) = -26*b + 3. Let k be h(3). Let g be k/(-9) + 2/(-6). Is (10 + 2)/(2/g) a multiple of 19?
False
Let u = -12 + 30. Is u a multiple of 6?
True
Let n(u) = 6*u - 11. Is 17 a factor of n(8)?
False
Let v = 222 - 158. Suppose 3*y - 28 = -5*l - 3, -4*l + 20 = y. Suppose 2*m - 12 + l = -c, 0 = -4*c + 4*m + v. Is c a multiple of 13?
True
Is 16 a factor of ((-4)/(-9)*-6)/(1/(-84))?
True
Suppose -4*j = 3*j - 427. Is 7 a factor of j?
False
Let j(n) = -n + 44. Is 10 a factor of j(-8)?
False
Let u = 18 + -18. Let n(o) = o**2 + 51. Does 17 divide n(u)?
True
Suppose -61*t = -64*t + 399. Is 10 a factor of t?
False
Suppose -2*x = -4*h - 156, 0 = -x + 5*h + 7 + 80. Is x a multiple of 13?
False
Suppose 5*q - m - 90 = 0, 3*m = -m - 20. Does 17 divide q?
True
Let c(v) = v**3 - 13*v**2 + 11*v + 12. Let y be c(12). Suppose -n + 3*m + 25 = y, -2*m + m = 4. Is n a multiple of 6?
False
Let x = 6 - 5. Let r be 0 - (x*-9 - -1). Suppose 0 = 4*k - g - 39, 2*k - 2*g - 4 - r = 0. Does 5 divide k?
False
Let p(j) = -2*j**3 - j. Let o(h) = h - 5. Let n be o(4). Let t be p(n). Suppose -d - t*d + 30 = -2*c, -4*d = -5*c - 45. Does 3 divide d?
False
Suppose 3 = -w + 6, -o + 8 = -3*w. Does 4 divide o?
False
Let c = 4 + -2. Suppose -q - c = -9. Is 4 a factor of q?
False
Does 7 divide (((-57)/(-2))/3)/(1/6)?
False
Suppose 4*m + 58 = -26. Let h = 130 - 74. Let g = h + m. Does 16 divide g?
False
Suppose -4*q = -q - 162. Suppose 4*i - q - 30 = 0. Is i a multiple of 9?
False
Suppose -5 = 5*l, -4*z - 90 = 2*l - 984. Is 28 a factor of z?
True
Suppose -3*z = 15, -3*z = 5*t - z. Let c = 38 - 11. Suppose -v + c = t*v. Does 9 divide v?
True
Let v(q) be the second derivative of -2*q**3/3 + 3*q**2 - q. Let o be v(4). Let m = -1 - o. Is 9 a factor of m?
True
Suppose -d + 16 = -14. Does 19 divide d?
False
Let p(v) be the second derivative of -v**7/840 - v**6/90 - v**5/60 - v**4/6 - v**3/2 + 3*v. Let z(t) be the second derivative of p(t). Is 25 a factor of z(-5)?
False
Suppose 6*p - 5*p - 20 = 0. Is 9 a factor of p?
False
Suppose -4*x = x - 315. Is x a multiple of 9?
True
Let b(n) be the second derivative of -n**8/840 + n**6/360 + n**5/120 + n**4/4 - 2*n. Let q(g) be the third derivative of b(g). Does 7 divide q(-1)?
True
Suppose 2*w - 3*b - 9 = w, 0 = -4*w - 2*b + 78. Is 10 a factor of (-66)/w*6*-2?
False
Let v be 24/(-132) - (-3304)/22. Let r = -99 + v. Is r a multiple of 13?
False
Suppose -3 = -3*n, -3*v + 3*n = -5*v + 49. Does 13 divide v?
False
Let r(y) = 17*y**2 + 2*y + 2. Is r(2) a multiple of 8?
False
Let s = -13 + 35. Does 20 divide s?
False
Let n = 2 - -1. Suppose 2*l - 3 = -n*l + 3*v, 13 = -l + 4*v. Suppose 5*s - 3*t = 183, -3*t - 36 = -s + l. Is s a multiple of 18?
True
Let k be ((-5)/2 - -1)*10. Let w = 31 + k. Is w a multiple of 8?
True
Suppose 4 - 2 = 2*t. Let w be 1/(0 + t/4). Suppose 0 = -2*s + w*s - 10. Is 3 a factor of s?
False
Let w be (9 - 10)/((-1)/24). Let u = 41 - w. Is 7 a factor of u?
False
Let n(f) = f**3 + 7*f**2 - 7*f + 11. Let w be n(-8). Suppose 7*j - 212 = w*j. Is 19 a factor of j - (0 + 2/1)?
False
Let g = 65 - 35. Is 15 a factor of g?
True
Let v(r) = -r**3 - 4*r**2 - 6*r - 1. Let x = 2 - 6. Is v(x) a multiple of 12?
False
Let d be ((-1)/1 - 2) + 6. Suppose -21 = -d*v + 6. Is 2 a factor of v?
False
Is 4 a factor of (-28)/(-28)*2/((-4)/(-66))?
False
Suppose 4*s - 2*s - 246 = 0. Suppose s - 7 = 2*i. Does 19 divide i?
False
Suppose -48 = -2*z + 4. Is z a multiple of 13?
True
Suppose 4*u + 24 = -4*i, -4*u + 3*i - 40 = -2. Let l = u + 14. Is l a multiple of 2?
True
Let o = 54 + -36. Is o a multiple of 6?
True
Is 15 a factor of 256/16 + 0 + -1?
True
Let o(m) = -m**3 + 8*m**2 + 12*m - 6. Let v be (-220)/(-25) - 1/(-5). Is 11 a factor of o(v)?
False
Suppose 5*y + 117 = -143. Let u = -32 - y. Let t = u + -13. Is 7 a factor of t?
True
Let d(h) = h**3 + h**2 + 14. Is 14 a factor of d(0)?
True
Let w(r) = -5*r - 3*r + 4*r. Is 4 a factor of w(-2)?
True
Suppose -2 - 1 = -g. Suppose 47 + 13 = g*t. Suppose -u = u - t. Is 10 a factor of u?
True
Let z = 160 + -89. Is 24 a factor of z?
False
Let l(z) = z**2 + 4*z - 2. Let x be l(-7). Suppose 3*h - 49 = -x. Is h a multiple of 9?
False
Let d(c) = 3*c + 13. Is 5 a factor of d(4)?
True
Suppose 4*a - 3*t = 18, 0*a - 11 = -a + 4*t. Suppose 4 = -h + a, 2*c - 3*h - 7 = 0. Let v(g) = 5*g**3 - 2*g**2 - 3*g + 2. Is 14 a factor of v(c)?
True
Suppose 0 = -4*t - 0*t + 4. Let p be t/(1 - (-3)/(-6)). Suppose x + 8 = -p*d + 59, -4 = 4*x. Is d a multiple of 11?
False
Let p(d) = -d**3 + 16*d + 9. Let y(u) = -u**3 - u**2 + 15*u + 8. Let v(i) = 6*p(i) - 7*y(i). Let j = -6 + -2. Does 3 divide v(j)?
True
Let r(n) = n**2 - 8*n - 3. Does 15 divide r(11)?
True
Is 17 a factor of (-544)/(-6)*(4 + 40/(-16))?
True
Let a(x) = x - 2. Let s be a(0). Let h = s - -19. Is h a multiple of 14?
False
Let h = 80 - -11. Does 13 divide h?
True
Does 22 divide 1/(-4) + 3579/12 + -1?
False
Suppose 2*t + 2*o = 16, o = -2 + 7. Suppose -111 + 42 = -t*r. Is 4 a factor of r?
False
Let g = 8 + -2. Let j = 6 + g. Is j a multiple of 4?
True
Suppose -164 = 5*f - 9*f. Suppose -4*v + 5*v + f = 0. Let t = -23 - v. Does 7 divide t?
False
Suppose 2*y + y = 0. Suppose y = -k + 12 + 12. Does 6 divide (3/(-6))/((-1)/k)?
True
Let n(l) = 6*l + 16. Let i(d) = -2*d - 5. Let c(u) = 14*i(u) + 4*n(u). Let v = 3 - 9. Is 9 a factor of c(v)?
True
Suppose 2*m - 5*m = 6. Does 4 divide (-4)/m*8/4?
True
Let h(o) = 4*o + 8. Let f be h(-6). Let m be 0 - (f - 0/1). Suppose p = -3*p + m. Is p even?
True
Suppose -4*q + 4*z + 136 = -224, -5*q - 3*z = -450. Is q a multiple of 30?
True
Let c = -10 - -21. Suppose -65 = c*o - 16*o. Is o a multiple of 7?
False
Let y = -25 - -18. Let i = 10 - y. Is i a multiple of 5?
False
Suppose -2*c = -c + 4.