s?
False
Let z = 2 - 2. Suppose 0 = -2*u - z*u - 6, -243 = -3*k + 3*u. Does 16 divide k?
False
Suppose -5*l + 27 = -a + 2*a, -40 = -4*a - 3*l. Let p = a + -3. Suppose p*b + 37 = 3*d, 5*d - 2*d + b - 62 = 0. Is d a multiple of 5?
False
Is 11 a factor of 4003/7 + 33/231?
True
Suppose 0*p + 2 = p. Suppose 0*y - 58 = -y + p*m, -2*y - 4*m + 124 = 0. Let b = 85 - y. Is b a multiple of 14?
False
Let r(d) = -2*d + 19. Let z be r(11). Is (-2 - 0) + (-498)/z a multiple of 24?
False
Suppose 0*n - 4*g = n + 13, -3*g - 1 = 2*n. Suppose 2*y - n*y + 20 = 0. Suppose 0 = y*d - 12, 0 = -2*u - 4*d + 2*d + 22. Is u even?
True
Let f = -68 + 714. Is 6 a factor of f?
False
Does 6 divide -12*91/(-98)*(-14)/(-2)?
True
Let l = 18 - 16. Suppose -l*p - 4 = -10. Suppose -3*d + 312 = p*d. Does 26 divide d?
True
Let t be (7/(-21))/(2/(-42)). Suppose 12*q - t*q = 3400. Is q/18 + 14/63 a multiple of 17?
False
Let f = -25 + 27. Suppose 0 = -h - f*h + 63. Is h a multiple of 4?
False
Suppose -1 = 3*t - 2*t - o, 0 = -4*o + 16. Is 3 a factor of t*((-33)/(-9) + (0 - -1))?
False
Suppose n = 4*s - 245, -4*s + 257 - 2 = -3*n. Is 6 a factor of s?
True
Let z(x) = -10*x**2 - x + 2. Let i(l) = l**2 - l + 1. Let d(g) = 2*i(g) - z(g). Suppose -4*y - 2 = -6. Does 11 divide d(y)?
True
Let t(n) be the second derivative of -n**4/12 - 2*n**3/3 - 3*n**2/2 - 3*n. Let b be t(-3). Suppose -6*y + 2*y + 240 = b. Does 30 divide y?
True
Let h(k) = 17*k + 57. Does 93 divide h(29)?
False
Suppose -4*h - 556 = -k + 2317, 0 = h. Is k a multiple of 13?
True
Let f be (-3*2)/(-1)*2. Suppose 2*r - 20 = -f. Suppose -83 = -r*q + 109. Does 12 divide q?
True
Let r = 59 - 50. Suppose r*v = 15*v - 720. Does 20 divide v?
True
Let b = 141 + -97. Suppose b*q - 41*q = 162. Does 18 divide q?
True
Let p(a) = a**3 + 5*a**2 - a + 9. Let z = -7 + 17. Suppose -4 = 5*r - o + 18, o + z = -3*r. Is p(r) a multiple of 19?
False
Let b(y) = 0*y**3 + 13*y**2 + y**3 - 7*y + 176 - 176. Is b(-13) a multiple of 13?
True
Let a = 3182 + -1694. Is a a multiple of 33?
False
Suppose 22*w - 21960 = -2*w. Is 9 a factor of w?
False
Suppose -4*v = 4*s - 2*v - 46, -3*s - 4*v + 47 = 0. Let q be 5*s/(-15)*-1. Suppose 0 = f + q*f - 120. Is 13 a factor of f?
False
Is 43 a factor of 1105 - -4*14/8?
False
Suppose -157 - 573 = -10*x. Suppose -5*m - x = -2*r, -r - 3*m = -18 - 35. Does 11 divide r?
True
Let t = 6305 - 4400. Is t a multiple of 17?
False
Suppose -6*t + 4*t + 540 = 4*z, -2*z - 2*t + 268 = 0. Is z a multiple of 8?
True
Let i = -205 + 371. Let n = -114 + i. Is 29 a factor of n?
False
Suppose -2*b + 4*i = -122 + 42, -5*i + 200 = 5*b. Let g be (b/(-12))/(-5)*6. Suppose -225 = -x - g*x. Is x a multiple of 15?
True
Let d(a) = 7*a - 3. Let g be d(-1). Let y = 42 + g. Is y a multiple of 10?
False
Suppose -474 = -5*w + 46. Suppose z + 2*r - w = 0, 3*z - 2*z - r = 92. Is z a multiple of 32?
True
Suppose -20 = 5*u, 0*u = 2*a - u - 690. Suppose -5*p - 100 = -y, a = 5*y - y - p. Is 17 a factor of y?
True
Is 5588/8 - 133/(-38) a multiple of 10?
False
Let n = 533 + -326. Is 13 a factor of n/4 + (-36)/48?
False
Is 26 a factor of (2 + -7 + 3)/((-8)/8796)?
False
Suppose -3*d + 574 = 2*c + d, -4*c - 3*d = -1153. Is 11 a factor of c?
False
Let d(v) = -3*v - 23. Let w be d(-9). Suppose -y - w = -9. Does 3 divide y?
False
Let s = -10 - -8. Let p be -48 - (s - (-1 + 1)). Let c = 151 + p. Is c a multiple of 22?
False
Let c = -13 + 14. Let j(d) = 5*d**2 + d - 1. Is j(c) a multiple of 5?
True
Let t = 210 - -144. Is 35 a factor of t?
False
Suppose 5*z + 5 + 10 = 0. Let o be z/(-12) - (-3)/(-12). Suppose -4*g - 2*r = -3*r - 35, 2*g - 3*r - 15 = o. Is 4 a factor of g?
False
Suppose -56*j + 12470 = -6570. Is j a multiple of 4?
True
Suppose c + 6 = -5*c. Let p(r) = -171*r**3 + 2*r**2 - r - 2. Let m be p(c). Suppose -3*i + 166 = 5*y, -m = -3*y - 2*y - i. Does 11 divide y?
False
Let m be 4/1 + 24 + -4. Let u = 33 - m. Is 2 a factor of u?
False
Let p = -40 + 42. Let h(w) = -w**3 + 7*w**2 + 3*w + 1. Let a be h(7). Suppose -a = -2*b - p. Is 3 a factor of b?
False
Let q be 18 - 18 - (-1 + (0 - 1)). Suppose k + q*v - 21 = 0, k + 3*v + 21 = 2*k. Is 7 a factor of k?
True
Suppose q = 3*b + 10, q + 13 = -5*b - 9. Let f = 5 + q. Suppose -a = 3*l - f*a - 106, 0 = -5*l - 4*a + 206. Is 11 a factor of l?
False
Suppose 22 = -5*b + 3*b. Let x = 32 + b. Suppose -y = 5*n + 7 - 32, x = 3*y - 3*n. Is y a multiple of 10?
True
Is 167 + ((-8)/(-2) - -2) a multiple of 20?
False
Let w(c) = 161*c - 458. Is 38 a factor of w(11)?
False
Suppose 38 = 4*b + 10. Let k be (-1 - (5 - 5)) + -1 + 1. Does 5 divide b/7 + 36 + k?
False
Suppose 4*y = -586 + 202. Let o = 330 + y. Is o a multiple of 26?
True
Let u(v) = v - 5. Let t be u(5). Suppose -y + 4*y - 294 = t. Is y a multiple of 24?
False
Suppose 5*p - 17 = 3. Suppose -3*y - p*x + 185 = -162, y - 115 = -2*x. Is 11 a factor of y?
False
Let m(v) = -v**3 + 4*v**2 - 4*v - 4. Let h be m(4). Let q be 2/(-3)*990/h. Suppose s + q = 2*s. Does 5 divide s?
False
Let v(u) = 1479*u**3 - 13*u + 14. Is 101 a factor of v(1)?
False
Suppose 45*b + 83 = 46*b. Does 15 divide b?
False
Let g(s) = -s**2 - s + 2*s + 18*s + 0*s**2 + 36. Is g(15) a multiple of 16?
True
Suppose -r + 5*r - 8 = -j, 0 = -4*j + r - 19. Is j/(-16) - -17*(-3)/(-4) a multiple of 8?
False
Suppose z + 33*z = 159902. Does 41 divide z?
False
Is 28 a factor of (-147)/(-8 - 125/(-16))?
True
Let s(c) = c**2 - 9*c - 10. Let i be s(-5). Suppose 18*r - 17*r = i. Is r a multiple of 10?
True
Let j(d) = -d**2 + 21*d - 31. Let r be j(19). Suppose -3*y = -2*k - r - 13, -y + 20 = 2*k. Does 5 divide y?
True
Let c = 2 - 0. Suppose -43 = -5*l + 4*p, 20 = 2*l - 3*p - 0*p. Is l/c*(7 - -7) a multiple of 13?
False
Let u be 2 + (-2 - (-771 + 3)). Suppose -y - 3*y = -u. Is 10 a factor of y/5 - (-2)/(-5)?
False
Let g = 1231 - 726. Is 5 a factor of g?
True
Let m = -4 + 0. Let d be 0*(16/m)/(-4). Let q = d - -4. Is 2 a factor of q?
True
Suppose 2*n - 18 = -3*l - 68, 0 = 4*n + 3*l + 112. Suppose -3*r = 10*r + 624. Let w = n - r. Does 5 divide w?
False
Let m(b) = b**2 + 9*b + 12. Let t(v) = -v**3 - 4*v**2 + 8*v + 7. Let i be t(-5). Let c be m(i). Suppose -c*z + 69 = -z. Is 5 a factor of z?
False
Suppose 17*t - 11560 - 6273 = 0. Is t a multiple of 35?
False
Suppose 7*l = 17 + 11. Let h be 2*(-60 + (0 - l)). Does 18 divide h/(-7) + (-10)/35?
True
Does 2 divide (-647)/(-4) + 2/(-48)*-6?
True
Suppose 0*o - 5*o - 5*n = -35, -4*n + 22 = 2*o. Suppose 3*f - o*t - 90 = 0, 0 = -0*f - f + 4*t + 42. Is f a multiple of 26?
True
Suppose -4*m = -2*v + 7*v - 35, -2*m + 13 = v. Let c = -11 + v. Is (-56)/(-3)*(-12)/c a multiple of 14?
True
Let l(f) = -2*f**3 - 21*f**2 - 2*f + 351. Is l(-15) a multiple of 137?
False
Let s = -278 - -864. Let w = s - 333. Is w a multiple of 11?
True
Suppose 459 = 3*i + 3*q, 3*q = 4*i - 0*q - 619. Suppose -5*y + i = -116. Is 10 a factor of y?
False
Let i(t) = -7*t**3 - 3*t**2 - t + 3. Does 11 divide i(-4)?
True
Let p(h) be the third derivative of -h**4/24 + 6*h**3 + 4*h**2. Does 7 divide p(15)?
True
Suppose 3*y - 10 = -2*y. Suppose -2*a + 4 + y = 0. Is (-315)/(-12) + a/4 a multiple of 15?
False
Suppose -2*d = 3*d + 50. Let f = d + 37. Suppose -2*j = -3*j + f. Is 9 a factor of j?
True
Let t = 534 - 121. Is t a multiple of 59?
True
Suppose 0 = -3*g + 3*y - 4*y - 34, 5*g + 2*y + 57 = 0. Let o(q) = -5*q - 9. Let i(d) = -d - 2. Let m(s) = g*i(s) + 2*o(s). Does 3 divide m(0)?
False
Let k(n) = 9*n**2 + 10*n + 4. Suppose 2*p + 16 = -2*p. Is 27 a factor of k(p)?
True
Suppose -8*i = -7*i - 4. Suppose 0 = -4*d - 5*j + 884, -d = -i*d + 4*j + 632. Does 18 divide d?
True
Suppose -1 = -l, -r = -3*l - l - 18. Suppose 14 + r = s. Does 18 divide s?
True
Let s(j) = -9*j + 284. Does 7 divide s(-26)?
True
Let w be 0/(4 - 1 - 4). Suppose 5*m + 4 = -3*o, w*m = -4*m - 2*o - 4. Does 17 divide m/2 + (7 - -45)?
True
Suppose 0 = 3*k + w - 27, -4*w = -3*k + 7 + 5. Suppose 0*x + k = 5*i - 4*x, 3*i + 5*x = -10. Suppose -u + 60 = -i*u. Is u a multiple of 10?
True
Let v = -78 - -22. Let l = v + 77. Is l even?
False
Let n be 1 + 6 - (-2)/((-4)/(-2)). Suppose n*w - 207 = 5*w. Does 8 divide w?
False
Let n = 440 + -98. Is 69 a factor of n?
False
Let n be (-20)/(-5) + -2 + (0 - -2). Suppose 219 = 3*x + v + 2*v, -3*x + n*v = -219. Is x a multiple of 10?
False
I