9*l - 14. Let x be r(10). Is (19/4)/(x/(-16)) a multiple of 8?
False
Let k be (-2)/3 - (-33)/9. Let d = k - -55. Suppose -d - 22 = -2*i. Does 20 divide i?
True
Suppose 0*b - 2*b + 10 = 0. Suppose -4*r - b*v + 31 = 0, 4*r - 5*r + 39 = -5*v. Is 14 a factor of r?
True
Suppose 90 = 2*y - 0*y - 2*t, -5*y + t + 205 = 0. Is 12 a factor of y?
False
Let p be 26 - -6*2/4. Suppose 2*u = -s + 31, -4*s + 103 + 6 = 5*u. Let m = p - s. Is 7 a factor of m?
False
Suppose -3*b - 5*l + 0*l = 66, 0 = -b + 2*l - 11. Let y be ((-2)/3)/(3/(-9)). Let v = y - b. Does 19 divide v?
True
Let k(m) = -m**3 - 3*m**2 + 4. Let q be k(-3). Suppose 0 = -q*n - 0*n + 8. Suppose 75 = j + n*j. Does 16 divide j?
False
Let t = 6 - 1. Suppose -3*g - t + 77 = 0. Is g a multiple of 12?
True
Is 5/(25/(-30)) - -404 a multiple of 37?
False
Let k(z) = -z**3 - z**2 + 1. Let t be k(-1). Let d = -27 - -31. Let m = d - t. Is m a multiple of 3?
True
Let n = -19 + 22. Suppose 0 = n*t - 92 + 17. Is t a multiple of 10?
False
Let c(h) = h + 2. Let x be c(4). Suppose 0 = -f + 2*g + 112, -2*f + 2*g + 226 = -g. Suppose 2*l - 57 = -y, -5*l - f = -x*y + 3*y. Does 16 divide y?
False
Let v(c) = c**2 + c - 2. Let w(t) = -t**3 - 5*t**2 - 4*t - 5. Let k be w(-4). Is v(k) a multiple of 14?
False
Is 37*((5 - -1 - 4) + 1) a multiple of 17?
False
Let p(y) = -y**2 - 22*y - 10. Is p(-9) a multiple of 13?
False
Suppose 3*c - 24 = 3*i, c - 33 = -i - 3*i. Suppose 5*x - c = 92. Is 40/14*x/6 a multiple of 9?
False
Let s be (-43 - -1)*(-6)/4. Suppose -s = -4*j - 19. Is j a multiple of 5?
False
Let b = 23 - 8. Is 133/15 + 2/b a multiple of 8?
False
Suppose 0*t = 3*z - 4*t, 0 = 2*t - 6. Suppose 4*p + 7 = -y, 2*p + 0 + 26 = z*y. Let b = 21 - y. Does 16 divide b?
True
Let m(q) = q**2 - 2*q - 3. Let p be m(-2). Suppose 38 - p = 3*t. Does 3 divide t?
False
Suppose -7*s = -4*s + 24. Let c be (124/s)/(2/(-12)). Suppose -28 = -x + 4*w + 2, -w = -5*x + c. Does 14 divide x?
False
Let c(l) = -l**3 + l**2 - 3*l + 13. Is 58 a factor of c(-3)?
True
Let j(q) = -q**3 + 10*q**2 - 2*q + 9. Is 12 a factor of j(9)?
True
Let b = 32 + -7. Does 8 divide b?
False
Suppose 2*d + 3*i - 68 = 0, -d + 5*i = -3*d + 72. Let u = d - 3. Is u a multiple of 14?
True
Suppose -5*c + 1 - 6 = 0, 3*c - 629 = -4*m. Suppose 0 = -5*f + m + 2. Does 24 divide f?
False
Is 9 a factor of 6/(-2)*(-13)/3?
False
Suppose -t - 211 + 83 = -4*j, 4*t = 2*j - 64. Is 8 a factor of j?
True
Let n = 54 + -37. Suppose r - n = -3. Is 7 a factor of r?
True
Let c(o) = o**3 + 2*o**2 - 3*o. Let b be c(2). Suppose 2*h - 7*h = -b. Suppose h*v = 4*p - 3*v - 65, 3*p - v = 35. Is 7 a factor of p?
False
Suppose 0 = -2*w + 4 + 4. Is w even?
True
Suppose -70 - 45 = -2*t + m, t - m = 58. Let x(p) = p**2 - 17*p + 5. Let l be x(15). Let a = t + l. Is 16 a factor of a?
True
Let i(p) = -2*p + 2. Let w be i(2). Let q = 4 + w. Suppose 3*a - 39 = 4*x - q*x, -4*a = -4*x - 48. Is 12 a factor of a?
False
Let p(r) = r**2 + 4*r + 4. Let n = -6 - -2. Let s be p(n). Does 8 divide 15 + (s - (6 + -3))?
True
Let n(b) = 0 - b + 0*b**2 + 2 + b**2. Let j be n(-4). Let q = -11 + j. Is 11 a factor of q?
True
Let a = -1 + 5. Suppose -w + a = -0*w. Suppose 59 = q - 5*o, 5*q - w*o - 51 = 139. Is q a multiple of 12?
False
Let d(n) = -3*n - 3 - 6*n - n**2 + 4 - 3*n. Is d(-9) a multiple of 16?
False
Let u(k) = 2*k - k + 0*k - 1. Let y be u(5). Suppose -4*z - 3*o - 7 + 84 = 0, -24 = -z + y*o. Is z a multiple of 10?
True
Let w = 5 + 36. Suppose -5*z - 72 = -z. Let g = z + w. Does 9 divide g?
False
Suppose -5*b + 605 = -2*f + f, -2*f = b - 110. Is b a multiple of 20?
True
Let u = -18 + 18. Suppose -72 = -3*x - u*x. Does 12 divide x?
True
Suppose -4*c - 10 + 178 = 0. Let g = 60 - c. Does 5 divide g?
False
Suppose -u + 8 + 2 = -i, 3*i - 20 = -2*u. Suppose -u = -q + 18. Is q a multiple of 7?
True
Suppose -16 = -4*j + 132. Suppose j = 2*f + 5*r, 3*f + 2*f + 4*r - 84 = 0. Is 5 a factor of f?
False
Suppose -2*b = 2*h - 407 - 3, 2*b - 2*h = 418. Does 28 divide b?
False
Let u(n) = n**3 + 10*n**2 - 11*n + 15. Is u(-11) a multiple of 15?
True
Let j(m) = m**3 - 8*m**2 + 3*m + 2. Let c be j(8). Suppose c = 5*o - 19. Let p = 18 - o. Does 6 divide p?
False
Let g(k) = 14*k**2. Let d(c) = -c**2 - 5*c - 3. Let r(l) = -l**2 + 3*l - 4. Let y be r(3). Let w be d(y). Does 4 divide g(w)?
False
Let x be (-646)/(-8) + 1/4. Let k = 150 - x. Does 34 divide k?
False
Suppose 0 = -4*o + 21 - 1. Suppose 4 - 19 = -o*g. Is g even?
False
Let n(u) = -5*u**2 + 3*u + 5. Let z(b) = 14*b**2 - 8*b - 14. Let k(i) = 11*n(i) + 4*z(i). Is k(2) a multiple of 5?
True
Let w = 70 + -40. Does 30 divide w?
True
Suppose -2*x - 81 + 7 = -4*k, -3*k + 66 = -5*x. Is 10 a factor of k?
False
Let r be (-5)/(-1 - (-1 - -1)). Suppose 2*n = -g + 15, -3*g + 25 = r*n - 22. Is g a multiple of 18?
False
Is 12 a factor of (30/4)/((-26)/(-208))?
True
Let a = 4 - 0. Suppose -2*h = -a*h + 12. Is h a multiple of 3?
True
Let z(f) = f**3 + 9*f**2 + 10. Suppose -3*x + 32 = -4*r, -3*r - x - 21 - 3 = 0. Does 37 divide z(r)?
True
Let u be (4 + (-2 - 1))*0. Let q(d) = d**3 - d**2 + d + 3. Is q(u) even?
False
Let n = 396 + -183. Does 28 divide n?
False
Suppose 123 = 5*v - t, -4*t + 11 = v - 22. Let d = 41 - v. Is d a multiple of 8?
True
Does 15 divide 1 + (1 - (-3 + -87))?
False
Suppose 3*i - 554 = 2*c - 4*c, -4*i = 8. Is c a multiple of 14?
True
Is (-159)/9*(-6)/2 a multiple of 5?
False
Let d(i) = i**3 + 8*i**2 - 7*i. Is 32 a factor of d(-8)?
False
Suppose 5*i = -32 - 78. Suppose -l = -3*v + 569, -5*v + 3*l - 257 + 1208 = 0. Does 13 divide 4/i + v/11?
False
Suppose -3*z - p - p - 17 = 0, 0 = -3*p - 12. Does 2 divide z*1*(-10)/15?
True
Let d be 4*(-1 - 0)/(-1). Suppose -d*h + 280 = h. Does 14 divide h?
True
Suppose -289 = -4*o + 5*r, -2*o + r + 119 + 18 = 0. Is o a multiple of 22?
True
Suppose -q - 24 = -3*q. Suppose 3*v + v - q = 0. Suppose 2*x = -v*x + 60. Is 8 a factor of x?
False
Let x(h) = 14*h**2 - 39*h - 17. Let j(i) = -i. Let d(a) = 2*j(a) + x(a). Let k(l) = 5*l**2 - 14*l - 6. Let p(f) = 6*d(f) - 17*k(f). Does 11 divide p(-6)?
False
Suppose 9 = -5*m - 16. Let z = m + 8. Let p(y) = 7*y + 3. Is p(z) a multiple of 6?
True
Suppose f + f = 174. Suppose 0*x - f = -3*x. Is x a multiple of 13?
False
Let c be 8/12*9/2. Let r = 121 - 65. Suppose -4*z + r = -c*z. Is 28 a factor of z?
True
Let c be 1 + 0 - 85/(-5). Let i = c - -5. Let z = i + 7. Is z a multiple of 15?
True
Let f(i) = -30*i + 5. Let s be f(-5). Suppose -4*y - 7 = -q, 0*y = 5*q + 4*y - s. Is q a multiple of 12?
False
Let j = 6 - 4. Suppose 3*q + h = 61, 2*q + j*h - 54 = -2*h. Is q a multiple of 14?
False
Let a(v) = 5*v - 1. Let k be a(-1). Let u(y) = y**3 + 9*y**2 - 5*y + 2. Let j be u(k). Suppose 0*g + j = 4*g. Is g a multiple of 9?
False
Let x(s) = -s**2 + 7*s + 4. Is x(7) even?
True
Let f(x) = 28*x**2 + 3*x + 2. Is 3 a factor of f(-1)?
True
Let f be 164/20 - 2/10. Suppose -4 = 4*h + f. Is (1/h)/(1/(-33)) a multiple of 11?
True
Let v(u) be the first derivative of u**7/840 - u**6/72 - u**5/40 + u**4/4 - u**3/3 + 1. Let m(p) be the third derivative of v(p). Is m(6) a multiple of 12?
True
Let a = -46 + 84. Does 19 divide a?
True
Let w be (2 - 3) + 6 + -1. Let u = w + 23. Suppose -k + u = -0*k. Does 14 divide k?
False
Is 16 a factor of 794/16 + 18/48?
False
Is 12 a factor of (32/28 + -2)*-14?
True
Let p be 18*(68/3 + -2). Suppose p - 152 = 4*o. Is 19 a factor of o?
False
Suppose 4*b = -b + 10. Suppose -k + 6*k = c + 312, -b*c = 5*k - 321. Is 26 a factor of k?
False
Let l(u) = -133*u**2 + 3*u + 2. Let c be l(-1). Let a(d) = -d - 5. Let m be a(5). Does 8 divide c/m + 8/(-20)?
False
Suppose 5*k + 20 = 0, 4*k = 5*t + 513 - 69. Let d = -48 - t. Suppose 2*p - d = -2*p. Does 6 divide p?
False
Let q(w) = w**3 - 7*w**2 - 8*w + 2. Let k be q(8). Let t = -4 + 4. Suppose t*l + k*l = 28. Is 7 a factor of l?
True
Suppose -5*f + 4 + 6 = 0, 48 = -4*z - 2*f. Let n(k) = -k + 2. Does 15 divide n(z)?
True
Let t = 68 - 21. Is 19 a factor of t?
False
Suppose 2*b - 11 - 15 = 0. Is 3 a factor of b?
False
Let u(r) = -r + 8. Let b be u(8). Let p be (b/2)/((-10)/5). Suppose 2*d - 6 = -p. Does 3 divide d?
True
Let h be 6/(-4)*1264/(-12). Suppose 4 = 3*o - f - h, -3*o + 2*f = -165. Is o a multiple of 18?
False
Let d(t) = t**2 - 16*t + 8. Let k be d(9). Does 7 divide k