
True
Suppose l + 2 = -0*l - 3*x, -l - 4*x - 2 = 0. Let k(v) be the first derivative of -9*v**2/2 + 2*v - 1. Is 7 a factor of k(l)?
False
Suppose -4*l - 3*q = -335, -4*q - 60 = -l - 0*l. Does 40 divide l?
True
Let l = 67 - 39. Let k = l - 4. Let x = -6 + k. Is 9 a factor of x?
True
Let w = 2 - 0. Suppose -j - 15 = w*j. Is 8 a factor of 112/5 - (-2)/j?
False
Suppose -2*p = -k + 8, -k + 0*p + 23 = p. Is k even?
True
Let l = -3 - 1. Let n = l + 0. Let h = 7 + n. Is h a multiple of 3?
True
Suppose 0 = 2*q - 52 - 0. Is q a multiple of 8?
False
Suppose -3*b + 5 = -4*b. Let o(j) be the first derivative of j**4/4 + 5*j**3/3 - j**2 + j + 1. Is o(b) a multiple of 11?
True
Let f be ((-6)/21)/((-1)/7). Let u = 1 + f. Suppose -4*t + u*h + 80 = h, 3*h = -2*t + 24. Is 12 a factor of t?
False
Suppose c = 5*q - 3*c - 30, 0 = 4*q + c - 3. Suppose -q*r - 3*y = 15, 4*y + 55 = -r - 4*r. Let s = r + 31. Is s a multiple of 8?
True
Let m be (3 + -13)/(-1*2). Suppose -m*k - 2*q = -19, -k - q - 2*q = -9. Suppose -2*d = k*d - 115. Is d a multiple of 11?
False
Let z(o) = -o**2 + 10*o - 10. Let m be z(8). Suppose m*y - 2*r = y + 161, -4*y = -4*r - 124. Is y a multiple of 11?
True
Let j = -3 + 3. Suppose -36 = -j*h - 3*h. Does 6 divide h?
True
Let x(g) = -g**3 + 9*g**2 - 10*g + 9. Does 37 divide x(7)?
True
Suppose 2*g = -2*g. Suppose 4*t - 25 = -g*t + q, 0 = 5*t - 4*q - 45. Suppose r = -n + 3, -4*r - 5 = -t*n + r. Does 2 divide n?
True
Let t be ((-40)/12)/((-4)/6). Suppose t*w - 15 - 205 = 0. Is 15 a factor of w?
False
Let i(l) = l**2 + 3*l - 2. Does 15 divide i(6)?
False
Let m(g) = 2*g**2 + 7*g + 7. Let n be -3 + (-2 - 0/(-3)). Is m(n) a multiple of 11?
True
Let s(n) = 2*n + 7. Suppose -3*o = -2*o. Let a = 5 - o. Is 6 a factor of s(a)?
False
Suppose t - 107 = -t + 5*v, 4*t - 169 = v. Is t a multiple of 12?
False
Let d = -3 - -7. Suppose d*u - 2*u - 28 = 0. Does 8 divide u?
False
Let o(a) = 2*a**2 + 23*a - 9. Is o(-16) a multiple of 27?
True
Suppose -10*f + 0*f - 260 = 0. Suppose 3*z - z = 20. Let q = z - f. Does 12 divide q?
True
Suppose j = -4 + 7, 119 = -2*b + j. Let n = -30 - b. Does 7 divide n?
True
Suppose 3*r + 40 - 5 = 4*l, l - 17 = -2*r. Is l a multiple of 6?
False
Is -1 + (0 - 84/(-3)) a multiple of 15?
False
Suppose 2*j + 3*f + 14 = f, 0 = f - 1. Does 20 divide (-48)/18*90/j?
False
Let m = 110 - 54. Does 8 divide m?
True
Let i = 3 + 1. Let w = 64 - 58. Suppose w*d - 24 = i*d. Is 12 a factor of d?
True
Let n = -30 - -45. Does 4 divide n?
False
Let f(i) = -1. Suppose 12 = 6*k - 4*k. Let p(b) = -6*b**2 + b - 6. Let c(g) = k*f(g) - p(g). Is 11 a factor of c(2)?
True
Suppose 4*b - 77 = -5*g - 16, 0 = 2*b + 2*g - 28. Does 9 divide b?
True
Let j(u) = 3*u - 1. Let n be j(-1). Let g be n/(2*(-2)/4). Suppose 5*h + 8 = 4*y - 17, -g*y - 2*h + 18 = 0. Is y a multiple of 2?
False
Does 29 divide 8/(-176)*-4 - 1274/(-11)?
True
Let d = -17 + 32. Is d a multiple of 15?
True
Let d = 0 + -1. Let i be 0 + d - (-6)/(-2). Does 5 divide (-3 - 1)/(i/10)?
True
Suppose -11*x + 304 = -92. Is x a multiple of 9?
True
Let t(k) = k**2 + k + 1. Let c(y) = 4*y**2 + y + 1. Let w be c(-1). Is 14 a factor of t(w)?
False
Suppose -v + 399 = 63. Is v a multiple of 14?
True
Let h = 0 + 2. Suppose n + b = h*n - 47, 2*n - 4*b = 104. Is 21 a factor of n?
True
Let f be (-33 + 12)*(-24)/7. Suppose -f - 48 = -2*v. Does 20 divide v?
True
Let w(u) = 2*u**3 - u**2 + u - 2. Let r(i) = i**3 + 2*i - 2. Let f(h) = -3*r(h) + 2*w(h). Is f(4) a multiple of 9?
True
Let y(q) be the third derivative of 4/3*q**3 + 0 - 1/60*q**5 + 7/24*q**4 + 0*q + 2*q**2. Does 12 divide y(6)?
False
Suppose -5*t - 27 = -97. Suppose 3*l - t = l + s, -s + 1 = l. Suppose 0 = o - l, -2*o - o = 5*w - 75. Is 5 a factor of w?
False
Let g be (-60)/(-25) - 3/(-5). Let a be (1/g)/(1/12). Let c(o) = -o**3 + 5*o**2 - o + 1. Is 13 a factor of c(a)?
True
Let b be 0 - (4 + 4/(-2)). Let y = b - -9. Is 7 a factor of y?
True
Suppose -2*x = -4*d + 4, -5*d + 3*d + 2 = -2*x. Let f = x + 4. Suppose f*k = k + 27. Is k a multiple of 9?
True
Suppose x - 9 = 2. Suppose 9 = 3*v - 0*v. Let z = x - v. Is 4 a factor of z?
True
Let m = 85 - -18. Is 27 a factor of m?
False
Suppose b - 4*v = -0*b + 39, 2*b + 4*v = 90. Is b a multiple of 27?
False
Let t = 80 + -44. Does 7 divide t?
False
Suppose -3*l - 5*h + 138 = -47, 4*h + 8 = 0. Suppose 2*i + 3*i = l. Is 4 a factor of i?
False
Let n(k) = -9*k. Let r = 5 + -3. Suppose -s + 1 = r. Is n(s) a multiple of 9?
True
Suppose 0*q = -4*q - 24. Let a(c) = 3 + 6*c**2 - 5*c + 0 - 1 + c**3. Is 15 a factor of a(q)?
False
Let z be 3 + -1*(2 + 5). Is 32 a factor of (-58 - 6)*2/z?
True
Let v(g) = g**2 + 4*g - 6. Suppose -5*w - 2*p = 40, -3*w - 2*p - 24 = 2*p. Is 10 a factor of v(w)?
False
Let h be 15/(-6)*(-4 - -2). Suppose 5*y + 5*z - 25 = 0, z + 16 = h*y - 3*z. Let a = -2 + y. Is a a multiple of 2?
True
Let y be 83 - (1 + 2 + -2). Is 13 a factor of (y/(-4))/((-10)/20)?
False
Let c = 4 - 2. Suppose -c*j = -4*j. Suppose -2*u = -j*u + g - 32, -4*u + 5*g = -64. Does 16 divide u?
True
Let s = -6 - -8. Is 3 a factor of (-2)/(s - 5/2)?
False
Is (-100)/8*-2 - 0 a multiple of 11?
False
Let w(d) = d + 8. Let a be w(-6). Let j be a*-1*10/(-4). Suppose -2*o = -j*v - 69, -3*o - 2*v + 32 + 43 = 0. Is 12 a factor of o?
False
Let m be 100/(-14) - (-7)/49. Does 12 divide 3/(((-7)/16)/m)?
True
Let x(p) = p**3 + 4*p**2 - 2*p - 8. Is x(4) a multiple of 16?
True
Is (-8)/36 + (-164)/(-9) a multiple of 18?
True
Let s(l) = l**3 - 4*l**2 + l + 1. Suppose 2*w + 1 = -3. Let d be ((-16)/6)/(w/3). Is s(d) a multiple of 3?
False
Let j(b) = 7*b**2 - 5 + 4 - 6*b**2 - b. Does 11 divide j(4)?
True
Suppose 2*d - 6*d = -4. Does 32 divide (47/d + -4)/1?
False
Suppose -73 = -11*j + 70. Is j a multiple of 9?
False
Let d(w) = -w**2 + 10*w + 3. Let h be d(9). Let s = 7 + h. Does 19 divide s?
True
Let b(f) = f**3 + f**2 - 3*f + 2. Let v be b(2). Suppose 2*l + 2 = n, 4*l + 0*l = 4*n - v. Suppose -n*i + 0*i + a = -52, -5*i - a = -144. Is 15 a factor of i?
False
Let j(u) = -3*u - 9. Suppose 0 = -2*h + 2*f - 18, -h - 24 = 4*h + 2*f. Is 9 a factor of j(h)?
True
Suppose 4*a = 181 + 47. Does 21 divide a?
False
Suppose 0 = -2*t + w + 231, 2*w + w = -2*t + 243. Is t a multiple of 25?
False
Let c(g) = g**3 + 4*g**2 - 5*g + 5. Let b be c(-5). Let a(r) = -r**2 + 6*r - 2. Let s be a(b). Suppose 0 = s*k - 219 + 81. Is 22 a factor of k?
False
Suppose -2*p = 2*x - 160, -x - 225 = -3*p + x. Is p a multiple of 17?
False
Suppose i - 30 = 4*i. Does 6 divide 56/10 - 4/i?
True
Suppose s - 49 = 21. Is s a multiple of 35?
True
Let l = -8 - -6. Let m = 13 - l. Is 15 a factor of m?
True
Is 13 a factor of (-76)/(-6) - (-15)/45?
True
Suppose m = -3*m + 92. Does 5 divide m?
False
Let r(i) be the second derivative of 5*i**3/3 - i**2/2 + 3*i. Is r(1) a multiple of 9?
True
Let q = -1 + 3. Suppose 2*f + 0 = 10, q*h + 5*f = 31. Suppose h*k + 2*k = 165. Does 12 divide k?
False
Let h(z) = -z**2 - 10*z - 11. Let x be h(-10). Let n = 6 + x. Does 4 divide 3/1*1 - n?
True
Let w(a) = -76*a + 4. Let h be w(-4). Suppose 5*n - n = h. Is n a multiple of 27?
False
Let i(f) = -f**3 + 9*f**2 - 5*f + 6. Is i(7) a multiple of 21?
False
Let p(b) = -9*b + 7. Let k be p(-5). Let q(v) = -13 + k - v**2 + 0*v**2. Does 19 divide q(0)?
False
Suppose -a = -v - 2*v + 9, -5*a - 2*v + 23 = 0. Suppose 3*g - 9 = a. Is g a multiple of 4?
True
Does 5 divide 71 + 18/(-8) + (-18)/24?
False
Suppose -y - 3*l + 38 = -156, 2*l - 796 = -4*y. Does 25 divide y?
True
Let n = 5 + 17. Let x = 32 - n. Is 5 a factor of x?
True
Let o(u) = -u**2 + 9*u + 8. Let g be o(7). Suppose -5*r = -3*r - g. Does 5 divide r?
False
Let u = 10 - 4. Suppose -u + 28 = a. Is 9 a factor of a?
False
Suppose -5*w = -3*y + 160, -y + 5*w = y - 110. Is 23 a factor of y?
False
Suppose -c - h = 0, 2*c = h + 7 + 5. Suppose 0 = -s + c*s + 15. Let j(d) = -4*d - 2. Is j(s) a multiple of 13?
False
Let j be (3/(-4))/((-1)/(-4)). Let z(a) = -32*a + 4. Let u be z(j). Suppose -3*x + u = 2*x. Is 10 a factor of x?
True
Let b = -32 + 78. Is 23 a factor of b?
True
Let t = 125 - 108. Is t a multiple of 3?
False
Let d(a) = a**3 - 15*a**2 + 3. Let p be d(15). Suppose 0 = -4*x - p*k + 270, -5*x = k - 361 + 29. Is x a multiple of 22?
True
Let b(f) = -f**3 - 11*f**2 - 10*f + 12. Is 5 a factor of b