e u(b)?
False
Let l(x) = x**2 + 11*x - 2. Let z(y) = -y**2 - 12*y + 1. Let w(p) = 6*l(p) + 5*z(p). Let a be w(-8). Let o = -3 + a. Does 3 divide o?
True
Let m be (3/9)/(2/42). Let d = 12 - m. Is d a multiple of 2?
False
Let p(n) be the second derivative of -1/6*n**3 - 2*n + 0 - 3/2*n**2 + 1/12*n**4. Is 13 a factor of p(-5)?
False
Let d be 4/4*1*4. Suppose k = -n + 11, -57 = -d*n - n - 3*k. Does 12 divide n?
True
Suppose -s + 2*s + 80 = b, 0 = -2*s - 2*b - 152. Let q = s + 2. Let o = -53 - q. Does 10 divide o?
False
Suppose 10 = 5*b - 2*x - 3, 0 = -5*b - x + 16. Suppose b*h = m - 6, 0 = -m + h - 3*h + 31. Is m a multiple of 11?
False
Suppose 4*l - 5*q - 105 = -l, 4*q - 36 = -l. Does 6 divide l?
True
Let w be 81/(-15) + 15/(-25). Does 13 divide -4 - (-3)/w*-194?
False
Let b = -41 + 73. Is b a multiple of 4?
True
Suppose -g - 4 = 0, 2*h - g = -0*h + 8. Let u be 5 + (2 - 2/h). Is 15 a factor of 182/u - 1/3?
True
Suppose -17 = -h + 81. Is h a multiple of 7?
True
Suppose 342 = 2*y - 138. Does 40 divide y?
True
Let v(j) = 2*j + 6. Let w be v(-6). Does 14 divide (56/6)/((-2)/w)?
True
Suppose -4*d + 0*d + 22 = q, -2*d + 20 = 5*q. Does 14 divide q/8 - (-930)/24?
False
Suppose 10*s = 5*s. Let i be (1 - s) + 1 - 0. Is 16 a factor of 6/(-4)*i - -19?
True
Suppose -48 = -2*m - 8. Suppose -7*f - q = -3*f - 4, -f + 6 = -q. Is (10/f)/(5/m) a multiple of 20?
True
Suppose 4*m + 2*g + 2*g = 260, -4*m - g = -254. Is 14 a factor of m?
False
Does 6 divide 2 - (-34 - 5/1)?
False
Let o = 6 - -1. Suppose o = 2*t - 21. Suppose 0*x + 4*y = -x - t, y = 5*x - 35. Is 6 a factor of x?
True
Let j(u) = 66*u**2 - u. Is j(1) a multiple of 17?
False
Let f be 10/3*(1 + 2). Suppose 5*b = 2*o + 18, 3*b - 2*b - 2*o - f = 0. Suppose q = b + 12. Is 7 a factor of q?
True
Suppose h = -w + 98, 3*h = 4*w - 135 - 271. Suppose -5*t + w = -t. Does 19 divide t?
False
Does 10 divide (-7 - -5)/((-2)/23)?
False
Let s = -629 - -972. Suppose -3*z = 4*y + y - 181, 5*z - s = 2*y. Is 22 a factor of z?
False
Suppose 0 = 3*p - 3*c + 6 - 0, 3*p + 4*c = 22. Let s be p + (-2)/(-4)*2. Suppose 0 = 2*d - 5*k - s - 26, -3*k = d - 31. Is 11 a factor of d?
True
Let g = -3 + -70. Let m = g + 149. Does 19 divide m?
True
Let s(o) = o - 5. Let y be (-4)/22 - (-136)/22. Let h be s(y). Is 7*(36/21)/h a multiple of 8?
False
Suppose p = -2*a + 323, 0 = 3*a - 2*a + 5*p - 175. Suppose 0*o = o, -2*o + a = 5*z. Is z a multiple of 16?
True
Let d = 101 + -32. Does 23 divide d?
True
Suppose -31 = -4*o - 3*k, -6 = -4*o + 5*o - 2*k. Let x = -8 - -16. Suppose x = -0*m + m + o*r, 0 = 3*m + r - 57. Is m a multiple of 10?
True
Let k(o) = -o - 2. Let u(c) = -c + 1. Let m be u(1). Let y be k(m). Is 4/y - (-15 + 1) a multiple of 5?
False
Let s(z) = -z**2 - 7*z + 2. Suppose 2*w + 9 + 5 = 0. Let k be s(w). Suppose k*n + 2 = 38. Does 9 divide n?
True
Let n(y) = -y**2 + 3*y + 65. Does 13 divide n(0)?
True
Let r(w) = -w**3 + 3*w**2 - w - 2. Let l be r(2). Suppose l = 2*x + 4, 5*g + 5*x - x - 132 = 0. Does 7 divide g?
True
Let b(d) = d**3 - 7*d**2 + 5*d - 8. Does 19 divide b(7)?
False
Let q(g) = g**2 + 10*g - 3. Is 3 a factor of q(-11)?
False
Let o(l) = -l - 4. Let a be o(-6). Let c be 4/(-6) + (-32)/(-48). Suppose c = -t + a. Is t a multiple of 2?
True
Suppose 2 = c, -5*x - 2*c = -193 - 286. Does 19 divide x?
True
Suppose 13 = -2*y + 6*r - 3*r, -r - 61 = 4*y. Suppose -2*p + d = -2*d + 22, 3*p + 5*d + 14 = 0. Let n = p - y. Does 3 divide n?
True
Suppose -25 = -2*f + f. Suppose 0 = -2*a - 3*w + 96, -265 = -5*a - 4*w - f. Is 24 a factor of a?
True
Suppose -18*p + 475 = -13*p. Is p a multiple of 19?
True
Let x = 7 + -13. Let t(a) = -2*a**2 - 17*a + 3. Let u(d) = d**2 + 9*d - 2. Let c(q) = -4*t(q) - 7*u(q). Is 3 a factor of c(x)?
False
Let c = -1 + 3. Suppose 0 = -3*b - c*b. Suppose b = 3*m + 2*w - 74, 5*m - 238 + 83 = 3*w. Is 13 a factor of m?
False
Let p(n) = -4*n**2 - 2*n + 15. Let v(k) = 3*k**2 + 3*k - 14. Let l(x) = -4*p(x) - 5*v(x). Let h be l(9). Let b = h + 20. Is b a multiple of 24?
True
Suppose -5*t = -0*y + 5*y - 15, -3*t = 0. Suppose 4*l - 4*j = 152, -y*j + 105 + 54 = 4*l. Is 13 a factor of l?
True
Let b(f) be the first derivative of -f**2/2 + 4*f + 3. Does 4 divide b(0)?
True
Let o(u) = u**3 - u**2 + u + 1. Let a be o(2). Suppose -11*d = -9*d. Suppose m = -d + a. Is m a multiple of 3?
False
Suppose -2*j + 15 = -3. Let y = 6 - 3. Suppose i = y + j. Is i a multiple of 8?
False
Suppose -5*f + f = 2*x - 334, -5*x - 15 = 0. Is f a multiple of 13?
False
Suppose -2*t + 103 = -313. Is 8 a factor of t?
True
Let h(r) = -9 + 2*r - 3 - 2*r**2 - r**3 + 10. Let u = -12 - -8. Does 11 divide h(u)?
True
Let k(w) = w + 2. Let p be k(-2). Let f = 3 - p. Suppose f*a - 63 + 16 = -2*x, x + 4*a - 36 = 0. Does 5 divide x?
False
Suppose -2*t - 3*t = -130. Does 13 divide t?
True
Suppose -3*a - 4 = 41. Is ((-12)/a)/(1/10) even?
True
Let h = 0 - -3. Let k(l) = 4*l**2 - 2 - 1 + 3*l - 4*l. Does 12 divide k(h)?
False
Let l(t) = -t**2 + 5*t. Let n be l(7). Does 5 divide (n/4 + 3)*-12?
False
Let z be (4 - -1)*8/5. Let p(j) = 2*j - 2 + 1 + z*j**2 + 2*j**2 - 4*j**2. Is 21 a factor of p(3)?
False
Let m be (3/(-4))/((-6)/(-48)). Is 13 a factor of (-2 - 13)*16/m?
False
Let v be (-142)/(-10) + (-3)/15. Let k = v + -9. Does 5 divide k?
True
Let b(o) = o**3 + 18*o**2 + 19*o - 8. Is b(-16) a multiple of 28?
False
Suppose t = -2 + 34. Let x = -21 + t. Is x a multiple of 6?
False
Suppose -60 = -3*y - 4*h + 2*h, -3*y + 63 = h. Suppose 2*p - 4 = y. Is p a multiple of 10?
False
Let u = -23 + 20. Does 32 divide (12/1)/u - -67?
False
Suppose 3*f = 7*f - t - 9, -2*f = -2*t. Let w(u) = u**2. Let m(l) = 7*l**2 - 2*l + 1. Let j(c) = m(c) - 3*w(c). Is j(f) a multiple of 14?
False
Let x = -79 + 123. Let n = x - -8. Is n a multiple of 26?
True
Suppose j + j - 200 = -3*c, 136 = 2*c + 2*j. Is c a multiple of 20?
False
Let j(g) = 2*g**2 - g - 5. Let i be j(5). Suppose -4*d + 8 = w - 26, 0 = 5*w - d - 65. Let y = i - w. Does 13 divide y?
True
Suppose 9*q - 12*q - 12 = 0. Is (q/(-10))/((-3)/(-15)) a multiple of 2?
True
Let v = -29 + 43. Let z = v + 16. Is 20 a factor of z?
False
Suppose 5*h - 4*u = -13, -u + 3*u = -3*h + 1. Is (-1)/1*h + 27 a multiple of 14?
True
Let y be ((-18)/((-6)/2))/2. Suppose y*m - 64 = -16. Does 8 divide m?
True
Let v = 5 - 3. Suppose 0 = 5*w + u - 13, 3*w + 5*u - 1 + v = 0. Suppose 22 = w*a - 8. Does 5 divide a?
True
Suppose s - 1 = 7. Suppose -s = -4*k + 3*k. Is k a multiple of 8?
True
Suppose -3*x - 2*x + 80 = 0. Let f = x - 9. Does 6 divide f?
False
Suppose 0*x + 45 = 5*x. Suppose -4*y + 7 = -x. Suppose -2*o - 5*t = -43, 0 = -3*o + y*t - 2*t + 36. Does 14 divide o?
True
Let d(p) = -5*p + 6. Is d(-8) a multiple of 13?
False
Let h(u) = -u**3 + 5*u**2 + 3*u - 4. Let b be h(5). Let y = b - -6. Does 17 divide y?
True
Let u = 649 - 419. Suppose 0 = 5*j - 0*j + u. Does 13 divide (j/8)/((-1)/4)?
False
Let l = 276 - 128. Is l a multiple of 6?
False
Let b(a) = 2 + 3 - 6*a + 2*a**2 + 5*a**2 - a**3. Let u be b(6). Suppose -5*l = -3*l + 2, u*w - 2*l = 17. Does 3 divide w?
True
Let h be (4/(-6))/(2/(-9)). Suppose 5*l - 6 = -3*j - 17, -4*l = -3*j + 25. Suppose 0 = -z + 5*w - j*w + 21, h*z - 4*w - 57 = 0. Is 15 a factor of z?
True
Let w(r) = -r**2 + 3*r + 3. Let p be (3 - (3 - 4))*1. Let m be w(p). Is (-237)/(-6) - m/(-2) a multiple of 15?
False
Suppose 2*l + 3 = -1, 0 = 3*t - 4*l - 95. Suppose -2*k + t = -k. Does 9 divide k?
False
Suppose 86 = 4*p + 26. Does 15 divide p?
True
Let z(u) = -5*u**2 + 19*u - 1. Let x(q) = 3*q**2 - 10*q. Let i(r) = 7*x(r) + 4*z(r). Let t be i(-8). Does 11 divide t - (0 - 1)*-1?
True
Is ((-1)/(-2))/(7/4914) a multiple of 44?
False
Let k = 4 + 7. Is 5 a factor of k?
False
Let y(i) = -10*i + 2*i + 48 - 47. Does 17 divide y(-2)?
True
Suppose -5*q = d - 10, 2*d + 5*q = 7 + 8. Let l be d/2 - (-3)/(-6). Suppose -54 = 2*c - 7*c + u, -8 = l*u. Does 10 divide c?
True
Suppose -8 = 2*d, 4*c - 20 = 2*d - 7*d. Suppose 5*w - 15 = 10. Let o = c - w. Does 5 divide o?
True
Suppose -q = 4*k - 2, -2*k - 5*q + 10 = 2*k. Let c = k - 0. Suppose 0 = 5*z + 2*m - 111, -m = -z - c*m + 25. Does 13 divide z?
False
Let a(c) = 6*c**2 - 9*c - 3. Is 20 a factor of a(4)?
False
Suppose -v = -2*v. Suppose 5*p + 50 = 5*b, -50 = -v*b - 4*b - p. Is 6 a factor of b?
True
Let a be -3 - 3