pose 0 = -c*j + 3876 - 1440. Is j a multiple of 10?
False
Suppose 4*p + 5*l = 108, -p + 29 - 2 = -4*l. Is 4 a factor of p?
False
Let v(z) = 12*z + 36. Let q be v(-14). Let l be q/(-990) - ((-358)/15 - 1). Suppose y - 66 = -4*o, -4*y = -4*o + l + 31. Is 2 a factor of o?
True
Suppose -4*d - d + 10 = 0. Let g = -3111 + 3116. Suppose n - g = v + 36, -3*n = -d*v - 118. Does 18 divide n?
True
Suppose 5*m = -3*b + 6*b - 23831, -4*b + m = -31786. Is b a multiple of 9?
True
Let q = 48659 - -733. Is 98 a factor of q?
True
Suppose 4*a = -471*g + 467*g + 13140, 5*g = -a + 16409. Is g a multiple of 17?
True
Let n be 8/(-6)*(-26 - -2). Let d = 188 + -44. Suppose -n*i - d = -34*i. Is i a multiple of 32?
False
Suppose w = -5*t + 68 - 11, -4*t = 5*w - 33. Suppose d - t*d = -55. Suppose -d*h + 2*i + 134 = 0, -18 = -h - 0*i - 4*i. Is h a multiple of 13?
True
Let n = -666 - -266. Let x = 412 + n. Does 5 divide x?
False
Let w(y) = -y**2 - 5*y + 53. Let k be w(-10). Suppose -4*t - 1978 = -k*x, 2*x = 5*x - 2*t - 1988. Is 37 a factor of x?
True
Suppose 253*n + 20*n - 264555 = 1620. Does 13 divide n?
True
Let z be ((-90)/24)/((-80)/64). Suppose -5*c + 320 = -4*j, 5*c - 3*j - 325 = 2*j. Suppose 0 = -z*v + 6*v - c. Does 5 divide v?
True
Let g(w) = 77*w - 35. Let l be g(10). Suppose 9*n = 4*n + l. Is 7 a factor of n?
True
Let z be ((-8)/(-16))/((-1)/2). Let m be -7 + 8 + (0 - z). Does 8 divide m/(-9) - 1518/(-27)?
True
Let l be 48/(48/3) + (-126)/1. Suppose -3*g + g = -496. Let c = g + l. Is c a multiple of 13?
False
Let d = -516 + 737. Suppose -4*i - 5*o = -227, -2*i = 2*i + 3*o - d. Does 8 divide i?
False
Suppose -2*w + 1156 = 236. Does 23 divide w?
True
Suppose 3*i - 12 = -v, -4*v - 2*i = -8 - 10. Let s be (v*1)/((-9)/(-12)). Suppose -19 = -x + s*d, 0 = -3*x - 3*d + d + 57. Is x a multiple of 19?
True
Let q(n) = 104*n - 1932. Is q(60) a multiple of 54?
False
Suppose -v = 30 - 34. Suppose 4*d + 1824 = -v*d. Is 10/15*d/(-8) a multiple of 19?
True
Let a(l) = -119*l + 115. Let f(u) = -122*u + 114. Let y(j) = -3*a(j) + 4*f(j). Is y(-6) a multiple of 11?
False
Let v(r) = -8*r**3 + 2*r**2 - 3*r - 4. Let b be v(-2). Suppose z = b + 38. Suppose -x + 148 = -z. Is 27 a factor of x?
False
Suppose 0 = -31*h - 70635 + 311535 + 108935. Is 87 a factor of h?
False
Let i be 10/6 + (-70)/42. Suppose i = -4*w + 3*f + 1475, 0 = 2*w + 12*f - 14*f - 736. Is 20 a factor of w?
False
Suppose -13*t + 8*t + 33854 = g, -5*g + 3*t + 169158 = 0. Is 16 a factor of g?
False
Let a be -1 + -1*3350/(-5). Suppose -4*d - 5*r = 17, 0*d - 4*r = 5*d + 10. Suppose d*i + i - a = -3*g, 2 = g. Is i a multiple of 17?
True
Let a = 17494 + -11142. Is a a multiple of 38?
False
Suppose l = -5*b - 3006, 4*b - 8*l + 6*l = -2402. Let v = b + 1186. Does 73 divide v?
False
Let d be (-394 - -14) + -2*3. Suppose 5*m - 10 = -5*b, -2*m - 5*b + 0*b + 19 = 0. Does 13 divide 1*d/(-4) - m/2?
False
Let w(v) = v**3 - v**2 - 9*v. Let p be w(-5). Let t = 104 + p. Is -53*(6/(-2) + t) a multiple of 39?
False
Suppose -118*m = -129*m + 17963. Let n = m - 1163. Is n a multiple of 29?
False
Let s(h) = -3*h**3 - 29*h**2 + 11*h + 1. Let q be s(-10). Does 7 divide -2 + 1*(333 - (q - -5))?
False
Suppose 148 + 392 = 12*k. Let u = 40 - k. Let x(h) = -h**2 - 10*h + 2. Is 4 a factor of x(u)?
False
Let u = 3 + 2. Suppose -35 - 330 = -3*d - 2*z, 615 = u*d + 2*z. Is d a multiple of 3?
False
Suppose -10*l = 6*l - 21*l + 62220. Does 61 divide l?
True
Suppose -5*f = -4*g + 21923, 17*g - 16*g = 18*f + 5464. Is g a multiple of 26?
False
Suppose 13*f + 253 = 201. Let p(k) be the second derivative of -5*k**3/3 - 23*k**2/2 + 2*k. Is 10 a factor of p(f)?
False
Let w = -191 - -196. Suppose -w*d - 116 = -4*v - 412, v = 5*d - 284. Does 15 divide d?
False
Is (16/(-18) - (-16)/72)/((-1)/5409) a multiple of 14?
False
Let f = 27 + -19. Let r(t) = -3*t + 32. Let z be r(f). Let a(k) = -k**3 + 7*k**2 + 7*k + 18. Is 5 a factor of a(z)?
True
Let p = -480 + 496. Let z(g) = -g**3 + 15*g**2 + 25*g + 7. Is 2 a factor of z(p)?
False
Suppose -4*j - 4*q = -j - 10, -j = 2*q - 2. Suppose j*w = 10*w - 504. Suppose -y = -7*y + w. Does 7 divide y?
True
Suppose 2*q - 2*m = 10 - 0, m + 20 = 4*q. Let o(s) = 45*s + q*s - 10*s + 7 - 5. Is 14 a factor of o(1)?
True
Let j(z) = 8*z - 14. Let v be 4 + -87 + -3*(-12)/(-9). Let y = -81 - v. Is 14 a factor of j(y)?
False
Suppose 3*c - 4073 = 5*r, -3*r - 92 = -107. Does 17 divide c?
False
Let d(o) = -2*o**2 - o + 1. Let n be d(-1). Suppose -s + 4*x = -22, -2*s - x + n - 1 = 0. Is s/(-11) + 2412/198 a multiple of 8?
False
Let f = -52 - -54. Let u(r) = 3*r - f*r + 7*r + 0 + 1. Does 19 divide u(7)?
True
Let v be (7 + -4)*(-10)/3. Let b = -20 - v. Is 33 a factor of ((-248)/b)/((-2)/(-5))?
False
Suppose 10 = h + h. Suppose -3*s - h = -5*l, -6*l = -4*s - l. Suppose -2*a = -4*n - 20, -29 = -s*a - 2*n + 57. Is a a multiple of 8?
True
Suppose 1921 + 1477 = 2*o + 4*c, -5*o + c = -8495. Is 30 a factor of o?
False
Suppose -6*q - 11*q + 6001 = 0. Let x = -190 + q. Is 9 a factor of x?
False
Suppose 73*y - 84*y = -13442. Is 94 a factor of y?
True
Suppose 51*z - 1253688 = -114129 + 1043853. Does 278 divide z?
True
Let f(r) be the second derivative of r**3/6 + 7*r**2 - 2*r. Let w be f(13). Let p = 68 - w. Does 11 divide p?
False
Suppose -11*m - 19609 + 64995 = 0. Is 40 a factor of m?
False
Let a(j) = 2*j**2 - 2*j + 1. Let n be a(2). Let z(s) = -3*s + 2 + 7*s - n*s + 5*s**2 + s**3 - 5. Is z(-2) a multiple of 5?
False
Let l be 60/4*(-4 - -5). Let u be -4*(l/4)/(-5). Suppose -6*p = -u*p - 12. Is 2 a factor of p?
True
Suppose 2*c + 3420 = -0*c - 5*w, -3*c - 5141 = 2*w. Let o = c + 3015. Is 79 a factor of o?
False
Let d = 11276 + -11230. Suppose 2*r = -0*r + 82. Suppose -r*j - 125 = -d*j. Is 7 a factor of j?
False
Suppose -3*a - 3130 = -3*t + 1463, 4*t + 5*a - 6169 = 0. Is 5 a factor of t?
False
Let w(t) = -10*t + 11. Let f(l) = -l. Let r(d) = -5*f(d) + w(d). Let x be r(2). Does 9 divide (4 + -7 + x)*-67?
False
Let y be 1/(-5) - 92*(-15)/(-100). Let r be 13/(-4) - y/56. Is 4/((-4)/(-61)) - r a multiple of 10?
False
Let n(y) = 4*y**2 - 2*y + 1. Let s be n(1). Suppose -s = x - 7. Is 5 a factor of (-37)/(-2) + -2*1/x?
False
Let h = 11074 + -1053. Does 8 divide h?
False
Is 18 a factor of 2 + 35/(4 - 11) - -11739?
True
Let x = 333 - 216. Let j = -39 + x. Is (70/20)/(3/j) a multiple of 34?
False
Let b(q) = -312*q + 648. Is 84 a factor of b(1)?
True
Let m = 317 - 315. Suppose -5*k - 5*w = -m*k - 1982, 0 = -3*k - 2*w + 1997. Is 20 a factor of k?
False
Suppose -71280 - 71687 = -41*i. Is i a multiple of 15?
False
Let k(l) be the second derivative of -3*l**5/20 - 17*l**4/12 + 4*l**2 - 23*l. Let n(d) = -d**3 + d**2 + d. Let x(p) = k(p) - 2*n(p). Is x(-19) a multiple of 12?
False
Let p(k) = 2*k**3 + 8*k**2 + 6*k - 16. Let v be p(-6). Let i be (-6)/21 + 7/(v/(-176)). Suppose 11*o - 800 = i*o. Is 21 a factor of o?
False
Let s be (159/6)/(-3 - 25/(-8)). Let g(n) = -3*n**2 + 30*n - 9. Let u be g(12). Let b = s + u. Is 12 a factor of b?
False
Suppose 8*l = 23 + 25. Suppose -c - 2*f = -l, -5*c = 3*f - 74 + 16. Is 22 a factor of 646/(-51)*(-6)/8*c?
False
Let b be 202/(-18) - (-48)/216. Let i(d) = -d**3 - 11*d**2 - 15*d - 23. Let q be i(b). Let c = q + -96. Is c a multiple of 12?
False
Let g be -1*(1 - 22 - 3). Let r(l) = g - 10 + 2*l**2 - 5 - 5. Does 12 divide r(-4)?
True
Let q(p) = 5*p**3 - 3*p**2 - 4. Let a be q(3). Let x(g) = g**2 - 73*g + 975. Let d be x(53). Let u = a + d. Does 2 divide u?
False
Let m be (27/(-6) - -1)*(-25 - 1). Let b = 115 - m. Suppose -2*h + b = -20. Is h a multiple of 4?
False
Suppose -15*u = -13*u - 306. Suppose 7*n - 218 = u. Is 3 a factor of n?
False
Let q(c) = -6*c - 28. Let n be q(-10). Let r be ((-24)/n)/((-2)/(-24)). Does 13 divide 12 + 5/(-4 - r)?
True
Let g(z) = 7*z**2 + 141*z - 57. Is g(-45) a multiple of 5?
False
Suppose 17*y - 19*y = -4*c - 8086, -c = -6*y + 24258. Is 4 a factor of y?
False
Suppose 8*v + 10 = -22. Let i(l) = -5*l**2 - 6*l - 7. Let n be i(v). Let h = -50 - n. Does 6 divide h?
False
Suppose -2*d + 3 = 13. Is ((-1132)/(-28) - d)*7 a multiple of 53?
True
Suppose r + 3*q = 2136, 4*r - 10287 = -4*q - 1751. Suppose -21*s + 12*s + r = 0. Is s a multiple of 39?
False
Let o(v) = 444*v - 1 - 1 - 219*v**3 - 447*v. Does 20 divide o(-1)?
Tru