17 + 17. Let q be s/10 - 4/10. Suppose -q*u - 2 = 4, 3*w - 20 = u. Is 5 a factor of w?
False
Let r be 0 + -1 + -4 + 17. Suppose 2*n - r = -c, -3*c + 3 - 9 = 0. Is 2 a factor of n?
False
Let h = 16 + -4. Suppose -i + 3*q + h = -5*i, -4 = 2*i + q. Suppose -2*x - 9 = -3*b - 74, 4*b + 12 = i. Is 14 a factor of x?
True
Let w = 4 + -2. Is 2 a factor of w?
True
Is ((-68)/40 - -2)*2*10 even?
True
Suppose 0 = -10*w + 13*w - 363. Does 31 divide w?
False
Suppose -3*g + 398 = 2*t, 0 = -5*g + 8*g + 3*t - 399. Is 44 a factor of g?
True
Let j be 2/((16/(-20))/(-4)). Let w(g) = 3*g - 8. Does 5 divide w(j)?
False
Let i(b) = -b**3 - 4*b**2 - 4*b - 1. Let z be i(-3). Let o = z + 22. Does 8 divide o?
True
Let q = -145 - -169. Does 18 divide q?
False
Suppose 6*r - 20 = r. Suppose 2*b + 2*x = 10, -5*x + 4 = -r*b - x. Suppose b*k + 2*k = 56. Does 7 divide k?
True
Let t(k) = -2*k**2 - k**2 + 2*k**2 + 8 - 5*k. Let p be t(-7). Let s = p - -33. Is s a multiple of 9?
True
Suppose 0 = k - 3*k + 10. Suppose x - k = 5*l - 24, 5*x = -2*l + 40. Does 3 divide x?
True
Let r(j) = j. Let k be r(2). Suppose -5*q = -c - 206, -3*q + 176 = q + k*c. Is 14 a factor of q?
True
Is 2/(-4)*-4 - -126 a multiple of 17?
False
Suppose 5*d = -0*d + 705. Is 25 a factor of d?
False
Is 8/12*(12 - -3) a multiple of 8?
False
Suppose -27 = -4*n + 3*w, -8*n - w = -3*n - 10. Suppose 0 = -n*s + y + 45, 0*y + 6 = -2*y. Does 14 divide s?
True
Let i = 15 - -28. Suppose -i = -3*q + 23. Does 12 divide q?
False
Let d(s) = -12*s + 27. Is 26 a factor of d(-9)?
False
Let a(f) = f**2 + f. Let l(k) = -3*k**3 + 2*k**2 + 2*k + 1. Let z(o) = 3*a(o) - l(o). Let g be (-1)/(2 + -3) - 0. Is z(g) a multiple of 3?
False
Suppose 0 = -h - 3*h + 16. Suppose -b = -h - 0. Suppose -b*q = -c + 4, 3*c - 12 = -3*q + 45. Is c a multiple of 7?
False
Let c(k) be the second derivative of -k**5/20 + 7*k**4/12 + 7*k**3/6 + 5*k**2 - k. Let o be c(8). Suppose -o*b = -8, a + 3*b - 102 = -4*a. Does 8 divide a?
False
Let h(d) = 2*d**2 + 3*d + 5. Is 10 a factor of h(-5)?
True
Suppose -8*g = -13*g + 280. Does 14 divide g?
True
Suppose 615 = 2*g + 167. Suppose 3*c = c + g. Suppose 0 = 5*l - l - c. Is 14 a factor of l?
True
Let s = -222 - -360. Suppose 0 = 5*c - 4*v - s, 93 = 5*c - 2*c + v. Suppose -2*u + c = u. Does 10 divide u?
True
Suppose 0 = -2*n + 271 + 157. Let u = n + -107. Suppose 4*f - 92 = c, -4*c - 19 - u = -5*f. Is f a multiple of 6?
False
Let a(n) = n**3 - 12*n**2 + 10*n + 14. Let w be a(11). Let z be ((-30)/(-25))/(w/10). Does 4 divide z/(-14) - 100/(-7)?
False
Let x(w) = -36*w - 1. Let r(t) = -t. Let z(a) = 4*r(a) - x(a). Is 11 a factor of z(1)?
True
Suppose 4*n - 167 = 205. Suppose 0 = 2*c + 17 - n. Is c a multiple of 19?
True
Let p be 1 - 0 - -59 - 3. Is p - (1 - (3 - 4)) a multiple of 8?
False
Suppose -q - 3*q = 0. Suppose -l + 7 + 11 = q. Let m = l + -6. Does 12 divide m?
True
Let s be 4*((-22)/(-8) - 2). Suppose 0 = s*k - 17 - 1. Does 5 divide 84/k - (0 + 1)?
False
Suppose 3*m = -3*t + 12, 2*t + 0 - 4 = 0. Let o be 39/15 + m/5. Suppose -o*u + 68 = 5*h, -4*u - 6 = 5*h - 70. Is 16 a factor of h?
True
Suppose -2*x = 3*o - 2 + 7, 0 = -o - 3*x + 3. Let i = o - -5. Suppose i*k - 12 = -0. Is 3 a factor of k?
True
Let j = 32 + -23. Let c be 3/(-4) + j/12. Suppose -m + 5*w + 11 = -c*w, 2*w - 22 = -4*m. Is m a multiple of 3?
True
Let u = -28 - -232. Suppose 0 = -2*o - 3*r + 82, -4*r = -o - 3*o + u. Is 11 a factor of o?
False
Suppose -3*l = -2*d + 66, -2*l = 3*d - 105 + 6. Suppose -3*b + b - d = -3*v, -4*b + 12 = 0. Does 13 divide v?
True
Is 18 a factor of 22*-9*2/(-6)?
False
Let i(v) = -v**2 - 10*v. Let n be i(-8). Suppose -4 = a - n. Let d = a + 24. Is d a multiple of 20?
False
Let d = 5 - 2. Suppose 0 = h - d*h + 156. Is (h/4)/(6/12) a multiple of 13?
True
Let h(f) = -f**3 + 5*f**2 - 2*f - 3. Let z be h(5). Let j(o) = o**2 + 10*o - 11. Does 13 divide j(z)?
False
Let b(v) = 12*v**2 + 1. Is 13 a factor of b(1)?
True
Is (-250)/(-4) + 6/4 a multiple of 16?
True
Let f = -2 - -6. Suppose f*z + 6 = 22. Suppose z*x + 0*x - 16 = 0. Is 4 a factor of x?
True
Let t(z) = -4*z + 1. Let y(w) = -7*w - 4. Let d be y(-4). Let x be d/(-9) + 4/6. Is t(x) a multiple of 9?
True
Let o(h) be the second derivative of h**3/2 - h**2 + h. Is 3 a factor of o(2)?
False
Suppose 2*c = l + 117, 2*c + 285 = 7*c - l. Does 28 divide c?
True
Let a(s) = 3*s**2 - 6*s + 4. Let u be a(7). Let c = u - 47. Suppose 5*v - 3 = c. Is 8 a factor of v?
False
Let j(d) = -2*d + 9. Does 9 divide j(-7)?
False
Let c = -6 - -6. Let r(n) = n**3 + n + 140. Let o be r(c). Suppose 5*d = -5*v + 125, 7*d - o = 2*d - 2*v. Is 11 a factor of d?
False
Suppose -u = 3, 6*h = 2*h + 3*u + 625. Does 21 divide h?
False
Does 13 divide ((-27)/6)/((-6)/32)?
False
Suppose -4*v + 118 = 3*o - 11, 0 = 2*o + 5*v - 93. Suppose 0 = 4*z - x - 49, 2*x = 3*z - x - o. Does 4 divide z?
True
Let u(a) = -2*a**2 - a. Let h be u(3). Let t = h - -12. Is (t/(-6))/((-2)/(-20)) a multiple of 8?
False
Let c(r) be the third derivative of -r**4/12 - r**3/3 + 2*r**2. Let k(l) = l**2 - 4*l + 2. Let b be k(2). Is c(b) even?
True
Suppose p + 69 + 135 = 5*m, 4*p = -3*m + 104. Is m a multiple of 9?
False
Let t be 1 + ((-2)/1)/2. Suppose -3*u + 16 = -23. Let a = u - t. Is 13 a factor of a?
True
Suppose -s + 16 = -2*j - 5, 66 = 2*s + 4*j. Suppose 0 = 3*l + s - 99. Does 12 divide l?
True
Is (2 + 47)*(2 + 2/(-2)) a multiple of 13?
False
Let s = 14 + -6. Is 7 a factor of s/(-20) + (-144)/(-10)?
True
Let s(q) = -q**3 - 7*q**2 + 9*q + 10. Let n be s(-8). Suppose -n*v = -v - 8. Is 8 a factor of v?
True
Let x be ((-2)/4)/((-2)/(-672)). Is 18 a factor of (-36)/7*x/16?
True
Suppose 3*j + 3*d - 99 = 0, 0 = 2*d + 5 + 1. Is j a multiple of 5?
False
Let l = 4 + 2. Let m = l - 4. Suppose -m*o + 2*j = -76, 3*j - 114 = -3*o - 0*o. Is 18 a factor of o?
False
Let u = 15 + -8. Let p = 0 + u. Does 3 divide p?
False
Let x = -2 - -5. Let j be 6/(-9)*x/2. Let o = 4 - j. Is o a multiple of 5?
True
Suppose -4 = 3*s + 5. Is 3 a factor of 3 - 0/(1*s)?
True
Let k be 2*-1 - (7 + -9). Let u = 9 + -6. Suppose k = u*j - j - 18. Does 4 divide j?
False
Let v(s) = -s**3 - 9*s**2 - 9*s - 11. Let r be (-14)/2 + (0 - 1). Let u be v(r). Is 11 a factor of (2/u)/((-22)/891)?
False
Suppose -4*t - 32 = -2*k + 32, -2*t = -3*k + 112. Does 5 divide k?
True
Let u be (0 + 1)/(5/25). Let g be 53/u + (-9)/15. Suppose -2*l + 5*y = -g, 6*l + 3*y - 56 = l. Does 10 divide l?
True
Suppose 3*s + 0*s - 42 = 0. Is s a multiple of 7?
True
Is (-3)/(-15) - 1768/(-10) a multiple of 10?
False
Suppose 5*w - 108 = -3*k, -88 = 2*w - 5*w + 4*k. Suppose -10 = -2*y + 8. Let t = w + y. Is 14 a factor of t?
False
Suppose 4*d + 526 = 4*w + 6*d, 685 = 5*w - 3*d. Is 27 a factor of w?
False
Let u(i) = 2*i - 6. Let z be u(4). Suppose 26 = 3*o + z. Is o a multiple of 7?
False
Let f = 3 + 2. Suppose -2*x + f*a + 35 = x, 2*a + 33 = 5*x. Let l(v) = v**2 - v + 5. Is l(x) a multiple of 25?
True
Suppose 4*h - 14 = -c, -2*c - h + 12 = -30. Does 22 divide c?
True
Suppose 3*j - 10 = -2*j. Suppose -5*l - 22 = -l - 5*f, -5*f - j = -l. Is 20 a factor of (102/8)/((-3)/l)?
False
Suppose -3*p + 5*f - 12 = 2*f, -5*p = -4*f + 16. Suppose p*m - 46 = -m. Does 29 divide m?
False
Suppose -6*q = -2*q - 124. Let n = q - 22. Does 8 divide n?
False
Suppose -3*s + 52 = -0*g - g, 3*g = -s + 14. Is 10 a factor of s?
False
Suppose -3*s - s + 158 = 5*z, 5*z - 4*s = 142. Is z a multiple of 11?
False
Let y(d) = -d + 8. Let k be y(8). Suppose 0*s - 5*s - 3*l + 90 = k, 0 = l. Does 5 divide s?
False
Let l = -50 - -85. Let a be 12/5 - 14/l. Suppose 0 = a*r - 6 - 0. Is 3 a factor of r?
True
Suppose 7*q - 2*q + 26 = 3*v, -2*v + 22 = -q. Does 12 divide v?
True
Suppose l - 42 = -v + 10, -v = 2*l - 47. Is 25 a factor of v?
False
Suppose 2*l + 99 = 2*p + 7*l, 3*p - 101 = 2*l. Let a(b) = -20*b + 1. Let r be a(-1). Let n = p - r. Is n a multiple of 16?
True
Let t(q) = -q**2 + 11*q. Let g be t(7). Suppose 4*i = 3*i. Suppose i = -4*f + 5*s + 65, 0*f + 2*f - 4*s - g = 0. Is f a multiple of 10?
True
Suppose -3 - 5 = -2*h. Let p = -3 + h. Suppose p = -2*t + 5. Is 2 a factor of t?
True
Suppose 0 = -5*f - 2*v + 23, -5*f + v - 1 = -3*v. Suppose -f*o + 110 = -52. Suppose -3*b + o = 2*i, 2 - 13 = -b - 3*i. Is 7 a factor of b?
False
Let u(d) = d**2 + 14*d + 56.