 11)/(1 - (-245)/(-238)). Let k = -245 - c. Is k a multiple of 29?
False
Is -404*8/(-32) - 3 a multiple of 14?
True
Suppose 31 = 2*m - 109. Suppose m*f + 110 = 75*f. Is f a multiple of 3?
False
Let a be 45/35 - (-4)/(-14). Let s = 15 - a. Is s a multiple of 14?
True
Suppose -9*y = -4*y - 4*r - 668, y = -3*r + 145. Does 37 divide y?
False
Suppose 190 = g - 903. Does 8 divide g?
False
Let l(w) = -w**2 - 14*w - 13. Let r be l(-13). Let u = r + -4. Does 15 divide 8/16 + (-314)/u?
False
Suppose 5 = 2*b + l, 0*l = -4*l + 20. Let w = 5 - b. Suppose 4*i + 0*i = y - w, -5*y - 4*i + 121 = 0. Is y a multiple of 7?
True
Let f = 130 + -217. Let x = 403 + -449. Let v = x - f. Is v a multiple of 13?
False
Suppose 6*c = 66 + 102. Suppose -6*p = -c - 950. Does 29 divide p?
False
Let d(u) = 14*u - 1. Let c be d(-1). Let v be 1/3 + 5/c. Suppose -5*r + 3*r + 46 = v. Is 23 a factor of r?
True
Is 1282/4 - 2/4 a multiple of 29?
False
Suppose -222 = 3*k - 3*r, 2*k + 2*k = -r - 301. Is 34 a factor of (2 - k) + 1 + 2/(-1)?
False
Let i = 3 + -1. Is (3 - -3)*(i + 2) a multiple of 17?
False
Suppose 1750 = -0*u - 5*u. Let j = -242 - u. Is j a multiple of 39?
False
Suppose -4*h = 5*f - 2932, f + 3*h - 1758 = -2*f. Is f a multiple of 21?
True
Let z be ((-4)/(-2) - 1) + 3. Suppose -2*k - 3 = -4*p + 13, -3*p + 1 = z*k. Is 12 a factor of 107/p + (-3)/(-9)?
True
Let n = 29 + -25. Suppose 0 = 16*z - 13*z + 15, -n*s + 146 = 2*z. Is s a multiple of 22?
False
Let j be -18 - 5/(15/6). Suppose -2 = u + 1. Is 16 a factor of ((-64)/j)/(u/(-45))?
True
Suppose 0*z - 2*z = -2, -2*l + 5 = -5*z. Suppose -m - 256 = -l*m. Does 13 divide m?
False
Let l(n) = n**3 + 4*n**2 + n + 4. Let p(u) = 3*u**3 + 9*u**2 + 3*u + 8. Let t(b) = -5*l(b) + 2*p(b). Suppose -2*r = -3 - 3. Does 8 divide t(r)?
True
Suppose -3*l = -4*l + 6. Suppose 26 = 5*d + l. Suppose 43 - d = 3*u - y, 3*u + 5*y = 57. Is 7 a factor of u?
True
Suppose 11*s = 8*s. Suppose -3 = -s*t - t. Suppose -2*h - 196 = -4*b + 120, t*h = -4*b + 306. Is 30 a factor of b?
False
Let x = 17 + -17. Suppose -5*q + 4*m = -x*m - 30, -5*m = -4*q + 24. Let r(k) = k**2 - 8. Is r(q) a multiple of 7?
True
Let v(f) = -2*f**3 + 2*f**2 + 4*f + 5. Let t be v(-2). Let w = t - -113. Does 24 divide w?
False
Suppose -15 = -t - 4*t. Does 19 divide 91 - (2 + (18/t)/(-1))?
True
Let w(o) = o - 3. Let f be w(5). Let i(k) = 7*k**2 - 2*k**f - k**2 + 2*k. Does 21 divide i(3)?
True
Let h(y) = -y**3 - 12*y**2 + 10*y + 18. Let x be h(-13). Let s = x - -24. Does 27 divide s?
True
Let s = -19 - -19. Suppose l + l = 3*a + 7, -l + 3*a + 2 = s. Is 17 a factor of l/(10/74) + 1?
False
Let z(f) = f**3 - 2*f**2 - f + 10. Let x be z(0). Let y = 19 + x. Is y a multiple of 29?
True
Suppose 3*v - 105 = -2*v. Suppose 4*m - 57 - 47 = 4*g, 2*m - 72 = -2*g. Suppose -4*l + m = -v. Is l a multiple of 6?
False
Let w = 4097 + -1741. Is 38 a factor of w?
True
Let h(i) = -i**3 - 6*i**2 + 3*i + 1. Let v = -2 + -4. Let s be h(v). Let x = 20 + s. Is x a multiple of 3?
True
Let a be (1 - 2) + 1 - 1. Let d(s) = -11*s**3 - 2*s**2 + s. Let t(u) = -u**3 + u**2 - u. Let f(w) = d(w) + 2*t(w). Is 12 a factor of f(a)?
False
Suppose 0 = -219*z + 226*z - 973. Is 19 a factor of z?
False
Let f(c) = 185*c - 17. Is f(1) a multiple of 6?
True
Let j = 661 + -198. Does 10 divide j?
False
Let d(r) = -2*r - 14. Let g be d(-9). Suppose 2*y - 23 = 5*u, y - 17 + 1 = g*u. Suppose -3*m + 111 - 16 = -z, -y*m + 140 = -4*z. Does 17 divide m?
False
Suppose 3*j + 8 = 14. Suppose r = -j*i + 436, 2*i - r - 91 - 337 = 0. Does 31 divide i?
False
Let j(c) = -c**3 - 11*c**2 - 12*c - 14. Let i be j(-14). Suppose -11*u + i = -776. Is 46 a factor of u?
True
Suppose 25 = -3*k + 6*b - b, 0 = -4*k + 2*b - 24. Let q = k + 5. Suppose q*h - 290 = -5*h. Is 29 a factor of h?
True
Suppose -9*n + 487 = 172. Does 7 divide n?
True
Let h(z) = -101*z + 200. Is h(-6) a multiple of 12?
False
Let t(w) be the third derivative of w**5/60 - w**4/4 + w**3/2 - 5*w**2. Let o be t(7). Does 5 divide (16/o)/((-4)/(-40))?
False
Suppose -12 + 6 = -j. Does 34 divide (8/j)/((-12)/(-1098))?
False
Suppose 6 = n + 5. Does 6 divide (-105)/(-9) + n/3?
True
Let w be (-1698)/(-16) - 8/64. Suppose -w = -5*v - 4*k - 42, 5*v = 3*k + 57. Let i = v + 6. Is i a multiple of 9?
True
Let x(j) be the third derivative of -17*j**4/12 + 3*j**3/2 - 4*j**2. Let l be x(-4). Suppose -5*r + 388 = 3*y + 121, 0 = 3*r - 2*y - l. Is 12 a factor of r?
False
Suppose 6*a + 4*a = 670. Suppose -a = -q - 5*l, 2*l - 7*l = 5*q - 315. Is 13 a factor of q?
False
Suppose 35*p + 1140 = 39*p. Is 15 a factor of p?
True
Suppose 0 = 3*t, 12*c + 44 = 14*c + 2*t. Does 3 divide c?
False
Suppose -29*b = -31*b - 12. Is (2/b)/((-2)/444) a multiple of 5?
False
Let d(l) = -l**2 + 24*l - 20. Does 24 divide d(22)?
True
Let v = 49 - -7. Let g = 0 + v. Is g a multiple of 9?
False
Let g(m) be the first derivative of 3*m**4/4 - m**3/3 + m**2/2 - m + 4. Let r be g(1). Suppose -126 = -4*y + r*h, y - 5*h - 39 = -3. Is y a multiple of 6?
False
Let x = 140 + -7. Is x a multiple of 21?
False
Let i(p) be the third derivative of -8*p**2 - 11/6*p**3 + 0 - 7/12*p**4 - 1/60*p**5 + 0*p. Is i(-11) a multiple of 11?
True
Suppose -2*x + 13 = 9. Let b(w) = 3*w - 3. Let l be b(2). Suppose -l*c + 10 = -x*c. Does 10 divide c?
True
Let f be 10/4*4/(-10). Let x = 26 - f. Suppose 4*y = y + x. Is y a multiple of 9?
True
Let u = -217 - -123. Let q = 184 + u. Is 10 a factor of q?
True
Let k(r) = r**3 + 9*r**2 - 7*r + 1. Let i(y) = -y**3 + 8*y**2 - 10*y + 12. Let t be i(7). Is 11 a factor of k(t)?
False
Suppose -r + 21 + 249 = 0. Suppose 3*u + r = 4*b, 272 = 5*b - b - 2*u. Is b a multiple of 21?
False
Let h(n) = n**3 + 12*n**2 + 4*n - 6. Let m be h(-7). Suppose -121*v + 120*v + m = 0. Does 10 divide v?
False
Suppose 4*z + 29 = 5*y, 4*y - 5*z = -4 + 29. Suppose p + 4*p - y*u - 220 = 0, -176 = -4*p + 3*u. Does 22 divide p?
True
Let h(a) = -a**3 - 8*a**2 + 18. Let b be h(-8). Does 2 divide (-1)/2 + 135/b?
False
Let j = 80 + -112. Let b = -3 - j. Does 6 divide b?
False
Let v = 757 - 669. Is 11 a factor of v?
True
Suppose -14*t + 4*t + 550 = 0. Let i be 2 - (-1*5 - -2). Let k = t + i. Is 37 a factor of k?
False
Let p(g) = -6*g**3 - g**2 + 2*g. Let x be p(-2). Suppose -t + x = 12. Is t a multiple of 28?
True
Let z(c) = c**2 - c - 1. Let l(a) = 5*a**2 - 11*a - 7. Let w(t) = -l(t) + 6*z(t). Suppose 2*o - 24 = 5*o. Is w(o) a multiple of 12?
False
Suppose 77 + 364 = 3*r. Is r a multiple of 7?
True
Let v = -6 - 6. Let b be 110*3/v*2. Is (-505)/b + (-2)/11 a multiple of 3?
True
Let h = 72 + 294. Is 33 a factor of h?
False
Let t(a) be the second derivative of a**5/20 - a**4/4 - a**3/2 + 7*a**2/2 + a - 3. Let z = -5 + 10. Is 14 a factor of t(z)?
True
Suppose -4118 = -4*b - 2*h, 5*b - h + 902 - 6067 = 0. Is 9 a factor of b?
False
Suppose 6328 = 7*n - 1372. Does 10 divide n?
True
Let i = 23 - 14. Suppose i + 11 = l. Does 20 divide l?
True
Suppose -r - 2 = -3*r, -c - 2*r = -139. Suppose -3*d + 109 = -c. Suppose 4*k + 3*m = m + d, 5*m - 15 = 0. Is k a multiple of 12?
False
Let z = -546 + 931. Is z a multiple of 11?
True
Let t be (-1)/(3 - (-26)/(-8)). Suppose -h = -t - 15. Let p = 24 - h. Is p even?
False
Suppose -9*r - 27 = -0*r. Let v(n) = 6*n**2 + 2. Does 6 divide v(r)?
False
Let h be 2 - (-1)/(1/54). Let b be -3 - (-2 - h - -1). Suppose -4*d + 66 = 2*f - 5*f, -3*f = 4*d - b. Is d a multiple of 5?
True
Suppose -f = -b - 1023, 3*f + 976 = 2*b + 4044. Is 73 a factor of f?
True
Is 6/45*2885 - 2/3 a multiple of 12?
True
Let u = 253 - -167. Does 42 divide u?
True
Suppose 2*t - 5*z - 641 = 0, 3*t = 6*t + 3*z - 930. Is t a multiple of 51?
False
Let h(y) = 46*y**2 + 3. Does 51 divide h(-2)?
False
Let x be (-50)/10*(-16)/5. Let z be x/10 - (-2)/5. Suppose z*d = 14 + 28. Does 14 divide d?
False
Let j(f) = 134*f - 12. Let x be (-10)/55 + 180/22. Let i be j(x). Is 21 a factor of i/25 - (-4)/(-10)?
True
Let y(t) = -2*t - 53. Let m be y(-22). Let q(a) = -a**3 - 9*a**2 - 4*a + 8. Does 11 divide q(m)?
True
Let b(p) = p - 11. Let c be b(16). Suppose -2*k + 5*k = 4*n + 27, -28 = -c*k + n. Let u(o) = o**3 + o**2 - 7*o. Does 27 divide u(k)?
False
Suppose 4*k - 212 + 52 = 0. Let s = k + -16. Let u = 34 - s. Does 7 divide u?
False
Let w = -91 + 89. Let q(c) = c**3 - c**2 + c + 2. Let d 