 Is 11 a factor of l?
False
Suppose -r + 77 = 5*v, 10*v - 2*r = 5*v + 71. Is 2/6 + 265/v a multiple of 6?
True
Let d = 209 - 133. Is 38 a factor of d?
True
Let j(g) = -g**2 + 8*g + 10. Let a(c) = c + 1. Let w be a(1). Suppose w*i - 40 = -3*i. Does 5 divide j(i)?
True
Suppose -5*b + 2*b = -18. Does 20 divide 43 - -3*(-4)/b?
False
Let u be (-1)/((-2)/4) + 0. Suppose -u*f = f - 36. Let w = -2 + f. Is 4 a factor of w?
False
Let u = -25 - -21. Let n(h) = h**2 + 3*h + 6. Is 5 a factor of n(u)?
True
Does 3 divide (13/(-4))/(2/(-16))?
False
Suppose -11*c - 36 = -13*c. Is c a multiple of 3?
True
Suppose 2*i = -3*i + 15. Let p = 64 + -26. Suppose u - i*u = -p. Is u a multiple of 8?
False
Suppose 2*b + 260 = -0*b. Let o = 205 + b. Suppose 5*h = o - 10. Is h a multiple of 13?
True
Suppose -2*l + 452 = 5*u, 2*u - 5*u - 3*l = -273. Is 9 a factor of u?
True
Suppose 3*x = 3*n - 48, 3*n = 2*x - 0*x + 50. Does 12 divide n?
False
Is ((-2)/(-4))/((-4)/(-320)) a multiple of 12?
False
Let v(u) = 7*u + 1. Let z be v(6). Suppose 2*d + z = 191. Does 19 divide d?
False
Suppose -3*k = 3*t - 15, -1 = -2*k + 4*t + 27. Suppose p - 41 = -k. Suppose -2*j = -5*j - 3*l + p, -2*l = 2. Is 5 a factor of j?
False
Let i be 178/1 + 2/2. Suppose -41 = -v + 5*g, 3*v + 4*g - 5*g - i = 0. Is v a multiple of 19?
False
Suppose -3*p - x = -320, -8*x + 3*x = -p + 112. Suppose 3 = -i - 5*w - 12, -5*w - 20 = 0. Suppose -i*a + p = 32. Is a a multiple of 15?
True
Suppose 2*q + 4*f + 126 = 0, 2*q + 0*q + 2*f = -124. Let l = -31 - q. Is l a multiple of 15?
True
Let g(d) = -d**2 + d + 3. Let z be g(0). Suppose 15 + z = 3*h. Suppose 0 = c - h*c + 110. Does 8 divide c?
False
Let j(i) = -i**3 + i**2 + 2*i + 8. Is j(-5) a multiple of 18?
False
Let r(t) = -4*t**3 - 7*t**2. Is r(-3) a multiple of 5?
True
Let d be (24/20)/((-2)/(-5)). Is 5 a factor of (-10)/15 - (-44)/d?
False
Let j be 26/65 + 2/(-5). Suppose 3*v + v - 232 = j. Is v a multiple of 26?
False
Let k(z) = -z**3 + 6*z**2 - 2*z + 6. Let g be k(6). Let q be (4/(-10))/(g/720). Suppose 0 = -3*v + 5*v - q. Is v a multiple of 12?
True
Let h(m) = m**3 + 5*m**2 + 3*m + 1. Let q be h(-4). Suppose 0 = -t - 5*y - 0*y + 1, -q*y - 17 = 3*t. Is 13 a factor of (-3)/t - (-136)/6?
False
Let i be 4/(-14) + 348/42. Suppose 4*k = 3*y + 103, i*k + y - 115 = 4*k. Does 14 divide k?
True
Suppose -3*r - 4*s + 4 = -7, -3*s = r - 2. Suppose -u - u - 4 = r*z, 16 = -u + z. Is 3 a factor of (33/u)/(1/(-4))?
False
Let n(v) = -v**2 + 4*v. Let u be n(3). Let s(m) = 11*m**3 + 3*m**2 - m + 1. Let g be s(2). Suppose g = 3*w - u*r, 75 + 42 = 4*w - r. Is 13 a factor of w?
False
Let t(y) = -y**2 - 7*y - 4. Let k be t(-6). Let n be 3*(-1)/(3/4). Is 21/(-6)*n/k a multiple of 7?
True
Let t = 297 + -165. Is 44 a factor of t?
True
Suppose 5*c = -3*w + 16, 9*c - 4*c + 56 = 3*w. Let i = 18 - w. Does 3 divide i?
True
Is (-263)/(-9) + (-24)/108 a multiple of 15?
False
Let p(d) = d**2 + 3*d + 5. Let u(m) = 5*m + 1. Let c be u(-1). Is p(c) a multiple of 9?
True
Let g = 67 - 9. Is g a multiple of 14?
False
Let n be (220 + (-1 - 1))*-1. Let p = -125 - n. Suppose -5*s - 2*h + p = -5*h, -5*h = -2*s + 22. Is 17 a factor of s?
False
Suppose -4*w + 13 + 59 = 0. Is w a multiple of 9?
True
Let w(r) = -7*r + 8. Let y(u) = 8*u - 9. Let f(b) = -3*w(b) - 2*y(b). Is f(4) a multiple of 14?
True
Let z(q) = 15*q - 27. Does 48 divide z(21)?
True
Let m(z) be the first derivative of 2*z + 2 - 2*z**2 + 5/3*z**3. Is m(2) a multiple of 7?
True
Let p = 9 - -19. Is p a multiple of 6?
False
Let a be (1 + -4 + 2)*-4. Suppose 71 = o + 4*h, -a*o + 5*h - h + 204 = 0. Let s = 79 - o. Is s a multiple of 14?
False
Suppose 3*q + 2*i = -33, -4*q = 3*i - 8*i + 21. Let b = -3 - q. Is 6 a factor of b?
True
Suppose -2*l + 16 = 4*x, -2*l + 5*x = l - 13. Suppose -2 = -2*y + l. Suppose 4*t + y*m = 68, 2*t + 0*t + 5*m - 40 = 0. Does 11 divide t?
False
Let t(p) = -3 + 9*p - 2*p**2 + p**3 - 6*p - 3*p**3. Is t(-3) a multiple of 19?
False
Let r(b) = 47*b**2 + 3*b + 2. Does 21 divide r(-1)?
False
Suppose 132 = 3*v + m, -4*m + 104 = 2*v + 26. Is 9 a factor of v?
True
Suppose 2*w - 4*w - f + 52 = 0, -2*w + 2*f + 64 = 0. Does 4 divide 62/8 - (-7)/w?
True
Suppose -180 = -h - h. Is h a multiple of 18?
True
Let x(l) = l**3 - 4*l**2 - 10*l - 1. Let m be x(8). Suppose -a - 4*a = -m. Does 16 divide a?
False
Suppose 22 = s - 5*l - 62, 2*s - 196 = 3*l. Does 27 divide s?
False
Let b(i) be the first derivative of 1/4*i**4 - 5/2*i**2 + 5/3*i**3 + 3*i - 2. Is 11 a factor of b(-5)?
False
Suppose 0 = 6*y - 11*y + 40. Let w = y - 2. Is w a multiple of 3?
True
Let f(p) = 27*p - 12. Let b be f(-4). Does 18 divide ((-14)/(-4))/((-6)/b)?
False
Suppose -5*k + 210 = 5*u, 0 = -4*u + 2*u - 3*k + 79. Does 16 divide u?
False
Is 2 a factor of 7/((-28)/(-16)) - -3?
False
Let g(x) be the third derivative of -x**4/4 + 2*x**3/3 + 3*x**2. Does 7 divide g(-4)?
True
Suppose -r - 5*r + 48 = 0. Let b = r + 109. Is 35 a factor of b?
False
Suppose 5*l - 7 = 63. Is l a multiple of 7?
True
Does 11 divide 1 - (-269 + (-2 - 3))?
True
Let l(s) = 4*s**3 - s + 1. Let w be l(1). Suppose 2*h - 218 = -5*a + 4*h, -226 = -5*a + w*h. Is a a multiple of 11?
False
Let h(i) = i**2 + 2*i + 9. Is 18 a factor of h(-6)?
False
Suppose -5*x + 751 = -44. Suppose -4*t = -x - 17. Is 26 a factor of t?
False
Suppose -5*c + 507 = 187. Is c a multiple of 14?
False
Let u(m) be the third derivative of -m**4/24 + m**3 - 6*m**2. Is 3 a factor of u(-7)?
False
Suppose f = -2*z - 4 + 13, 0 = 5*f + 3*z - 10. Let o be (19/4)/(f/(-4)). Suppose 5*r + o = 139. Is 8 a factor of r?
True
Suppose -5*l + 24 = 2*m + m, -5*l + 15 = 0. Suppose -m*k - 2*c = 2*c - 52, -5*c = 3*k - 50. Is 14 a factor of k?
False
Suppose 2*j - 3*j = 0. Suppose j*p + p = 3. Suppose -2*y + p*n + 33 = -0*y, 5*n = -2*y + 41. Is y a multiple of 7?
False
Let q(u) be the third derivative of u**7/280 - u**5/30 + u**4/8 + u**3/3 + u**2. Let b(n) be the first derivative of q(n). Is 13 a factor of b(2)?
False
Suppose -2*t = 0, 0*s = 2*s + t - 36. Suppose -4*j = -110 + s. Let y = j + -9. Does 7 divide y?
True
Let x(s) = -s**3 + 9*s**2 - 6*s + 2. Let h be (-3)/(2 - 11)*24. Let b be x(h). Is 6 a factor of 10/(-2)*b/(-15)?
True
Let g be (-8)/4*(-6)/4. Is (-1)/g*6*-8 a multiple of 16?
True
Let z(q) = -q**3 - q**2 - 2*q + 2. Let n be z(-3). Let c = -11 + n. Suppose 4*w - c = -w. Is 3 a factor of w?
True
Suppose 4*n - 2*y = 72, -n + 5*y = -1 - 8. Is n a multiple of 19?
True
Suppose 3*b - 15 = -2*b. Suppose 2*f + b*f - 290 = 0. Does 24 divide f?
False
Suppose -f + 7*p + 138 = 3*p, 5*f = 2*p + 690. Is 23 a factor of f?
True
Suppose -2*d = -3*k + 2, 4*k - 5*k + 14 = 2*d. Suppose -k*u - 4*v = -80, -2*u + 7*v - 2*v + 5 = 0. Is u a multiple of 5?
True
Let x(p) = -p**3 - 5*p**2 - 2*p - 1. Let m be x(-5). Let s = m + -2. Is 7 a factor of s?
True
Let b(x) = 6*x - 5. Let c be b(5). Let l be c/(-10)*12/(-10). Does 11 divide (2/l)/(4/102)?
False
Suppose -3*k + 167 + 43 = 0. Suppose -3*d + k = -2*d. Let b = -39 + d. Is 16 a factor of b?
False
Let j = 7 + -3. Let w be j*(-96)/(-2 + -1). Suppose 5*c - w = 142. Does 20 divide c?
False
Let t(c) = 2*c - 8. Let k be t(10). Suppose 236 = -k*b + 16*b. Is b a multiple of 13?
False
Let p(y) be the first derivative of -y**3/3 + 11*y**2/2 + 14*y - 5. Is p(10) a multiple of 16?
False
Suppose m + 157 = s + 11, -2*s + 310 = 4*m. Suppose 0 = 5*b + 5*y - 195, -4*y + 7*y = 4*b - s. Is 6 a factor of b?
False
Suppose u + 4*u = 15. Suppose 2*d = m - 0*m + 46, -u*m + 2*d - 142 = 0. Let z = 68 + m. Is 12 a factor of z?
False
Let a(k) = k**3 + 17*k**2 - 22*k - 6. Suppose -j - 4*j = 90. Does 11 divide a(j)?
True
Let s be 236/(-9) - 4/(-18). Let u = s - -44. Suppose -2*g = -0*g - u. Is g a multiple of 9?
True
Let n(b) = -b**3 + b + 3. Let f(y) = -y**3 - 2*y**2 + 1. Let u be f(-1). Let s be n(u). Suppose 3*k - k = -s*m + 103, 156 = 3*k + 5*m. Does 17 divide k?
False
Let o = -128 + 168. Is 2 a factor of o?
True
Suppose -51 + 6 = -3*m. Does 6 divide m?
False
Suppose -r - h = h - 2, -3*h = 3*r - 15. Let p be (3/2)/(3/r). Suppose -p*o + 33 = -15. Is o a multiple of 10?
False
Let p(n) = -n**3 - 8*n**2 - 7*n - 8. Let c be p(-7). Let u(v) = v**2 + 5*v - 12. Does 4 divide u(c)?
True
Let a(o) = o + 3. Let y be a(-9). Let w be 1/((1 - -1)/y). Let t = w + 23. 