- 17 + 0 = 4*f, c - 26 = 5*f. Let t = f + 5. Suppose -3*k = 3*j - 9, -9 = -t*k - 2*k + j. Is k a multiple of 4?
True
Suppose 0 = -7*d + 10*d - 15. Suppose l - 3*o - 20 = 9, -d*l + 73 = 3*o. Is l a multiple of 8?
False
Let x(j) = j**2 - 3*j - 8. Let k be x(5). Let w(p) = 7*p**3 + 2*p**2 + 2. Does 22 divide w(k)?
True
Let u = -1 + 3. Let h(k) = k**2 - 2*k - 1. Let m be h(u). Is 1 - 0/(-1) - m even?
True
Let z be (-1)/(-5) + (-78)/(-10). Suppose -3*t + z = -7. Suppose j + 2*y = t*y + 15, -3*j = -y - 61. Is j a multiple of 21?
True
Let f be 4/(-6) - (-17)/3. Let a(q) = -q**3 + 4*q**2 + 6*q - 1. Is 4 a factor of a(f)?
True
Let r = 183 + -91. Suppose t = 3*t - r. Does 18 divide t?
False
Let b(i) = i**2 + 2*i. Suppose -3*a + 14 - 2 = 0. Is 12 a factor of b(a)?
True
Let z = 97 + 15. Is z a multiple of 9?
False
Suppose 0 = 2*o + 5*w - 22, 0*w - 4*w = -3*o + 10. Let x(j) = 6*j - 4 + j - 4*j + 2*j. Does 13 divide x(o)?
True
Let n(v) be the first derivative of v**4 - 2*v**3/3 - v**2/2 - 3. Is 8 a factor of n(2)?
False
Is 30 a factor of 179/3 - (-8)/24?
True
Suppose 2*w + 2*p = 86, 3*w - 5*p = 5*w - 77. Is w a multiple of 24?
False
Let l(c) = -c**2 - 4*c + 5. Let m be l(-5). Suppose 0*q + q + 2*d = 13, -4*d + 16 = m. Is q a multiple of 2?
False
Suppose 3*w - 172 - 80 = 0. Suppose -5*q - 32 = -u, 7*u - 4*u - 3*q = w. Is 10 a factor of u?
False
Suppose -5*p = r - 8*p - 62, -4*r = 5*p - 333. Let b be 246/21 + (-2)/(-7). Suppose -x + r = 4*x - l, -b = -4*l. Does 9 divide x?
False
Let c(a) = -a - 11. Let j be c(-8). Let u = 52 - j. Suppose 3*h = -2*h + u. Is 11 a factor of h?
True
Is (-2*7)/(2/(-6)) a multiple of 10?
False
Let z be (-3 - 0) + 5/1. Suppose 0*j - 4*q = -j - 2, 5 = 4*j - 3*q. Suppose 0 = 5*h - z*l - j*l - 100, 4*l + 76 = 4*h. Is 12 a factor of h?
True
Let o = -116 + 277. Is 12 a factor of o?
False
Suppose -57 = -4*m - p, 0 = 4*p - 4 - 0. Suppose m = 5*n - 6. Suppose -2*c = -c - n. Is c a multiple of 3?
False
Let q be (-16)/(-40) + (-12)/5. Is q/(((-14)/8)/7) a multiple of 3?
False
Suppose 5*b = -4*q, -b + 5*q - 11 = 18. Suppose 1 = v - 2*v. Let m = v - b. Is 3 a factor of m?
True
Suppose -2*p - 5 + 1 = 0. Let g(u) = 14*u**2 + 3*u. Does 20 divide g(p)?
False
Suppose 8*l = 10*l - 166. Is 23 a factor of l?
False
Let t = 608 + -426. Is t a multiple of 13?
True
Let g be 12/(-7) + (-2)/7. Does 7 divide g/3 + 46/6?
True
Let n(u) = -u**2 - 4*u - 2. Let r be n(-4). Let f = -3 - r. Let y(z) = -20*z**3 - 2*z**2 - z. Is y(f) a multiple of 14?
False
Suppose 4*w - 20 = 4*t, -10 = 3*t + 3*w + 11. Is (54/(-45))/(t/140) a multiple of 15?
False
Suppose -u - 31 = -3*i, 2*u - 3*i = -u - 63. Does 9 divide 56/u*(-7 - 1)?
False
Suppose 7*z - 312 = z. Does 4 divide z?
True
Let i(r) = 2*r - 1. Let o = 9 + -7. Suppose -4*f + 2*l + 14 = -o*f, -4*l - 19 = -3*f. Is i(f) a multiple of 6?
False
Is 9 a factor of -2*(-20)/(-8)*-2?
False
Let z(c) = c. Let j be z(3). Is 14 a factor of 2 - (j - 6 - 16)?
False
Let r(y) = 5*y**2 - 24*y - 8. Let i be r(7). Let u = -1 - -1. Suppose u*v = -4*v - l + i, -3*v + 45 = 3*l. Is v a multiple of 13?
False
Let h(f) = f**2 - 4. Let g be h(-3). Does 2 divide -2 + (g - -2) - 3?
True
Suppose 0*p + 8*p - 224 = 0. Does 14 divide p?
True
Let h be (1*3)/((-42)/(-28)). Suppose -7 = -h*y + 5*o, -y - 4*o = 2*y - 45. Is y a multiple of 2?
False
Let i be (-3*1)/((-12)/32). Suppose 0 = -2*f + i + 2. Suppose c - 2*y = -y + 2, -5*y + 50 = f*c. Is c a multiple of 2?
True
Let l(d) = 206*d**2 - 3*d - 5. Does 11 divide l(-1)?
False
Let g be (-2)/3 - (-184)/6. Is g/(-5)*(-22)/4 a multiple of 11?
True
Suppose 3*b = 5*x + 10, -3*x + 5*x = 4*b + 10. Let l(s) = 4*s**2 + 5*s + 5. Is 29 a factor of l(b)?
False
Suppose 3*h + 2 + 13 = 0, 2*r + 14 = -4*h. Suppose 0*g = -r*g + 9. Is 10 a factor of 20*1 - 0 - g?
False
Let c be (-3)/12 + 5/4. Let n(u) = u**2 - 6*u - 4. Let a be n(7). Suppose c + 8 = a*q. Does 2 divide q?
False
Let u(a) = -25*a + 2. Let w be u(-5). Let x = w - 82. Suppose 9 = 2*c - 5*c, 3*c = 4*t - x. Is t a multiple of 9?
True
Let k be (0 - -4)*(-3)/(-6). Suppose -k*n + 6*n = 124. Is n a multiple of 14?
False
Let s = -459 - -676. Let z = -37 + s. Suppose -3*r + z = r. Is r a multiple of 20?
False
Let t(p) = 4*p**3 - 15*p**2 + 18*p - 6. Is 27 a factor of t(5)?
False
Let u = 659 - 471. Is 20 a factor of u?
False
Let c = 6 - -10. Does 8 divide c?
True
Let g(s) be the second derivative of -s**4/12 + s**3/6 + 45*s**2/2 - s. Is g(0) a multiple of 12?
False
Let b be (3 - 1)/2 + 55. Let r = 105 - b. Is r a multiple of 16?
False
Suppose 2*y = -w + 5*y + 32, 3*y - 143 = -4*w. Is w a multiple of 7?
True
Let i = 0 + 0. Suppose -2*k + 0*k + 140 = i. Suppose -5*v = 3*c - 49 - 15, -4*c + v + k = 0. Is c a multiple of 6?
True
Let g(n) = 2*n**3 - n**2 - 2*n + 3. Suppose -2 = -2*b + b. Let t be g(b). Let z = 20 - t. Is z a multiple of 9?
True
Let z(c) be the third derivative of -c**5/60 - 11*c**4/24 - c**3 - c**2. Let a be z(-8). Let q = -7 + a. Is q a multiple of 11?
True
Let i(m) = m**3 + 6*m**2 - 2*m - 10. Let v be i(-6). Let t(z) = 3*z**3 - z**2 - 2*z + 3. Is 19 a factor of t(v)?
True
Suppose -4*g + g - 7 = 4*b, 3*b - 16 = 2*g. Suppose b*w - 6 = -w. Is -1 + (0 - (-18 + w)) a multiple of 11?
False
Let w(z) = 3*z**2 - 2*z + 2. Let d be w(2). Let l = d - -5. Is l a multiple of 5?
True
Let c(n) = 18*n**3 - 2*n**2 - 3*n + 2. Does 11 divide c(2)?
True
Let w(o) be the third derivative of o**6/120 + o**5/60 - o**4/24 + 2*o**3/3 - 3*o**2. Is w(0) a multiple of 2?
True
Let i(o) = -o**3 + o**2 - 1. Let n be i(1). Let y be n/(-3) - (-2)/(-6). Suppose y*t = -5*t + 20. Is 3 a factor of t?
False
Suppose -3*l - 4*n - 11 = 0, -2*n - 6 = 3*l + n. Suppose -l*h = h. Is 6 a factor of (-1)/2*(h - 24)?
True
Let s = -1 - -3. Suppose s*i - 3 = 5*i. Let o(y) = -9*y**3 - y**2 - y. Is 9 a factor of o(i)?
True
Let o(p) = 7*p - 17. Is 14 a factor of o(12)?
False
Let z = 8 + 5. Is 5 a factor of z?
False
Suppose -2*g = -4*g + 2. Let b be (15 - 0)/(6/(-4)). Does 6 divide ((-85)/b)/(g/2)?
False
Let o = 263 + -182. Does 9 divide o?
True
Does 18 divide (-2 - 2*-3) + 14?
True
Is 11 a factor of (132 + 2 + 0)/2?
False
Suppose 12 = -a - 2*a, -5*a = 2*x + 14. Let v be (x/(-2))/(1/(-2)). Suppose u = -2*k + 26, u - 8 = -k + v*u. Is 7 a factor of k?
False
Let v(g) = g**2 + 3*g - 1. Suppose -3*k - 9 - 6 = 0. Let d be v(k). Suppose -4*n = 5*w - 30 - d, -n - 3 = -3*w. Does 5 divide n?
False
Let c = 71 + -49. Let b = 11 + c. Is 11 a factor of b?
True
Suppose m + 1021 = 4*r + 247, -3096 = 4*m + 3*r. Is 9 a factor of (-4)/22 - m/22?
False
Suppose 3*r + 63 = 3*h, -39 - 24 = -3*h - 5*r. Suppose -1 + h = 2*t. Does 10 divide t?
True
Let g(w) = -w**2 - 7*w - 3. Let f be g(-3). Let r be (-1 - -2) + 0 + f. Suppose 3*j = 4*j - r. Is j a multiple of 5?
True
Suppose 10*f + 372 = 13*f. Does 22 divide f?
False
Let t = -48 + -3. Let q = -25 - t. Is q a multiple of 26?
True
Let a(g) = g**3 + 5*g**2 - 2*g - 3. Let m(d) = 3 - d**3 - 2*d**2 + 2*d**2 + d + d**2 - 4. Let c be m(2). Does 7 divide a(c)?
True
Let z be (-2 + 1)/(-1) + -4. Suppose -5*n + 2*r = 45, -75 = 5*n + 2*r + 2*r. Let c = z - n. Is 8 a factor of c?
True
Let x be -5*(4 + -3 + 0). Let z = -16 + 8. Let f = x - z. Is 2 a factor of f?
False
Let t(p) = 244*p. Does 54 divide t(1)?
False
Let i(b) = b**2 + 7*b - 6. Is 27 a factor of i(4)?
False
Let y be (55/(-10))/(1/2). Does 17 divide (-1860)/(-55) + (-2)/y?
True
Let w(l) = 3*l**2 - 2*l - 6. Is 7 a factor of w(-2)?
False
Let d(y) = -y**2 - 14*y - 6. Let q be d(-10). Let l = q + -16. Does 16 divide l?
False
Suppose -2*w + 3*o - 3 = 0, -3*o + 12 = 3*w - 2*w. Is w + (-16)/12*-15 a multiple of 23?
True
Let j = -5 + -16. Let u = 33 + j. Is u a multiple of 4?
True
Let f be 2/(-1) + 72/3. Suppose u - 14 - 18 = 0. Let p = u - f. Is p a multiple of 4?
False
Suppose 0 = -l - 9 + 52. Is 17 a factor of l?
False
Suppose -3*q - 117 = -0*q. Let v(o) = o**3 - o**2 + o + 1. Let u be v(0). Is (-1 - q)/(u - 0) a multiple of 19?
True
Let f(n) = -n**3 + 2*n**2 + n - 2. Suppose -3 = -4*m + 5. Let k be f(m). Suppose -4*o + k*z = -4*z, 0 = 5*o + 4*z - 36. Is 2 a factor of o?
True
Suppose 118 + 314 = 4*n. Is n a multiple of 27?
True
Suppose 67 = 2*m - 9. Is m a multiple of 19?
True
Let n = -5 + -1. Let b be (n - -58)*(2 - 1). Let q = b - 15. Is q a mult