= 5*y - 91, -5*r = -3*y + t. Does 17 divide y?
False
Let v = -37 + 49. Let t = -6 + v. Is t a multiple of 4?
False
Let h = -37 + 109. Let j = h - -38. Is j a multiple of 21?
False
Let z(i) = 2*i**3 - 15*i**2 + 3*i - 8. Let r be z(8). Suppose 63*m = 67*m - r. Does 6 divide m?
False
Let b be -5 - (-2 - 5) - -1. Suppose -4*o - 4 = 0, -56 = b*y - 2*o - 526. Does 35 divide y?
False
Let c = -17 - -42. Suppose d - 3*m = 3, 4*m + 8 - c = -d. Does 3 divide d?
True
Suppose -2814 = -18*x + 10416. Is 13 a factor of x?
False
Suppose -5*o = -14 + 4. Let a be (-26)/(-4) - 3/o. Let k = 13 - a. Is k a multiple of 6?
False
Suppose 3*f - 6 - 15 = 0. Let q(t) = 33 - 7*t**2 + f*t**2 + t**3. Is q(0) a multiple of 11?
True
Suppose 0 = -j + 4 + 21. Let i be (36/10 + 0)*j. Suppose 2*r - 7*r = -i. Is r a multiple of 6?
True
Let i(y) = 20*y**2 - 4*y - 7. Does 27 divide i(-5)?
True
Let m(x) = x**2 + x - 13. Suppose 8*t = 13*t. Let y be m(t). Does 8 divide (-2)/y - 102/(-13)?
True
Is 8 a factor of 156/(-8)*(-2044)/21?
False
Let b(c) = 86*c**2 + 11*c - 39. Is b(4) a multiple of 10?
False
Is 48 a factor of -3 + (420 - 5 - -1)?
False
Let s(d) = -2*d**3 - 1 + d**2 - d**2 + d**2. Let u be s(-1). Suppose -2 - 7 = -x - u*k, -5*k = -2*x + 27. Is 11 a factor of x?
True
Let t = 442 - 167. Is t a multiple of 11?
True
Suppose 3*x - 3*y - 72 = 0, 0 = 2*y - 5*y + 6. Is x a multiple of 13?
True
Let p be (-1)/1 - ((-3 - 2) + -4). Let x(f) = 8*f + 1. Let q be x(1). Let w = p + q. Is w a multiple of 14?
False
Let s = -49 + 937. Is 30 a factor of s?
False
Is 8 a factor of (12/(-8))/(45/(-240))?
True
Suppose 2*i - 305 = -w - 2*i, 0 = 2*w - 4*i - 574. Is 11 a factor of (-2)/(-9) + w*25/45?
False
Let a = 580 + -74. Is 46 a factor of a?
True
Suppose 6*u = -3*l + 2*u + 897, 4*l - 3*u = 1196. Let x = l - 99. Is 20 a factor of x?
True
Let k be (-2)/2 - (0 + 5). Let y be (-24)/4*(-9)/k. Is ((-48)/8)/(1/y) a multiple of 9?
True
Let n(j) = j + 74. Let u be n(6). Suppose 0 = -0*w - 2*w + 4. Let z = u - w. Is 35 a factor of z?
False
Let c be (-9 - -9) + (-2 - -9). Suppose n - 16 = -c*n. Suppose -3*q - 140 = -n*o, o + 3*q + 14 = 66. Does 18 divide o?
False
Let o be 6/12*4*6. Let s be (-3)/o - (-23)/(-4). Is 17 a factor of ((-9)/s)/(6/204)?
True
Suppose -12*b = 9*b - 26460. Is 3 a factor of b?
True
Suppose 0 = g - 4*i - 414, 7*g - 6*g + i - 429 = 0. Is 41 a factor of g?
False
Let d be (-3)/(-5) - (-18)/(-30). Suppose 0 = -4*l + 2*t + 150, -l = t - d*t - 45. Does 8 divide l?
True
Let r = -31 + 340. Let j = r - 184. Suppose 3*s - j + 29 = 0. Is s a multiple of 8?
True
Let x = -42 + 51. Suppose -x*q = -698 - 445. Does 16 divide q?
False
Let k(v) = -v**3 + 3*v**2. Let a be k(3). Suppose w + 3*w - 496 = a. Is 14 a factor of w?
False
Is 3 a factor of 3/(-2) - ((-1715)/10 + 7)?
False
Let x(f) = -f**2 - f + 6. Let d be x(0). Let q be ((-2)/(-4))/(d/12). Is 15 a factor of 18 + 3 - (2 + q)?
False
Let a = 36 + 271. Suppose -7*f = -505 - a. Does 29 divide f?
True
Let n(s) = s**3 - 10*s**2 - 6*s - 67. Is 18 a factor of n(12)?
False
Suppose -2*a = -96 - 86. Let r = -39 + a. Is r a multiple of 16?
False
Let j be ((-2)/4)/((-1)/84). Suppose -6*r + j = -48. Suppose -2*y = y + 3*h - r, -3*y + 5*h = -39. Is 8 a factor of y?
True
Suppose -18 = 4*w - 26. Let s(q) = -2*q + w*q**3 + 2 - 1 + 7 - 4*q - 10*q**2. Does 7 divide s(6)?
False
Let c(r) = r**2 + 2*r - 4. Let s be c(-5). Let q = s + -7. Suppose -q*n + n + 54 = 0. Is 9 a factor of n?
True
Let k = -591 - -1891. Does 13 divide k?
True
Suppose 2*x + 16 = 2*n, 3*x + 0*x = -5*n + 8. Suppose 0 = n*i - 6 - 2. Suppose -i*c - 46 = -190. Does 24 divide c?
True
Suppose 3*o - 2*x - 13 = 4*o, -12 = 3*x. Let l be 4/(((-15)/9)/o). Is (-20)/12*l/(-4) a multiple of 2?
False
Let a = -1689 - -1835. Is a a multiple of 5?
False
Let k(q) = -187*q + 225. Is 29 a factor of k(-5)?
True
Let z = 159 - -36. Is z a multiple of 15?
True
Let k(r) = -r**3 - 7*r**2 + 8*r + 12. Let s be k(-8). Let w be -2 - 54/(-4)*s. Is 18 a factor of ((-33)/22)/((-6)/w)?
False
Let f(s) = -5*s**3 - 4*s**2 - 3*s. Let p be 10/10*(2 - -2). Suppose l + 10 = -p*l. Is 30 a factor of f(l)?
True
Suppose 0 = -4*o - w + 3 + 9, -3*o = -w - 16. Suppose o*t - 182 = 62. Is 7 a factor of 14/63 + t/9?
True
Suppose -m - 12 = 3*m, 0 = 2*l - 4*m + 3408. Is l/(-6)*(2 + (-12)/10) a multiple of 38?
True
Let a = 1073 - 854. Is 24 a factor of a?
False
Let z(s) = 18*s - 75. Is 15 a factor of z(10)?
True
Let c be ((-2)/6)/((-11)/66). Suppose -5*s + 151 = -s + 5*z, -3*z + 77 = c*s. Is 17 a factor of s?
True
Suppose 2*i + i = -27. Let u(g) = g**2 + 8*g - 7. Let n be u(i). Suppose 13 = n*j - 9. Is j a multiple of 2?
False
Suppose -h - 223 = 4*r, 55 = r - 2*r - h. Let i be 3 - (r - (2 - 3)). Let t = i - 6. Does 13 divide t?
True
Let x(g) = 3*g**2 + 18*g + 327. Does 10 divide x(-23)?
True
Let g be 20/(-8)*(-12)/15. Let b(q) = 4*q**3 + 3*q**2 - 2*q. Does 10 divide b(g)?
True
Let j = 156 - 67. Let h be (36/27)/(4/9). Suppose 0 = h*b + r - 101, 0 = -5*b + 2*r + 72 + j. Does 18 divide b?
False
Let c = 2691 - 1831. Does 20 divide c?
True
Let t(h) be the second derivative of 7*h**3/3 - 3*h**2 + h. Let y be t(8). Is 22 a factor of (y - 7)/((-3)/(-2))?
True
Suppose -176 - 1456 = -34*c. Is c a multiple of 4?
True
Suppose 3840 = -48*h + 50*h. Is 30 a factor of h?
True
Let l(s) = -s**3 + 76*s**2 + 49*s + 212. Is 82 a factor of l(76)?
True
Suppose 8*q = 4*q + 264. Suppose 7*u = 9*u + 54. Let l = q + u. Does 12 divide l?
False
Let c be (1218/(-10) - 1)*(2 - 7). Suppose -16*b + 18*b - c = 0. Is b a multiple of 32?
False
Let k = -8737 + 13383. Is k a multiple of 23?
True
Suppose -2115 = -3*t + p, 3*t + 3*p = 6*p + 2109. Is t a multiple of 11?
False
Let n = 928 - 31. Is n a multiple of 60?
False
Is 32 a factor of (-82)/(9/(-4) - 35/(-140))?
False
Let z = -30 + 15. Is 1/((-1)/(z - -2)) a multiple of 3?
False
Suppose 0 = 24*r - 19*r + 45. Does 4 divide 1550/90 - (-2)/r?
False
Let o = -11 + 14. Let w be 36*o*(-10)/(-20). Let c = w + -25. Does 10 divide c?
False
Let f be (6/9)/((-6)/9). Suppose -3 = -3*t - 5*h + 4*h, t = -2*h + 6. Is 15 a factor of 27 + f + t + 4?
True
Does 8 divide 6 - (2 + (-2160)/4)?
True
Let m(h) = -13*h - 10. Let k be m(-1). Suppose 8*j - 342 = k*j - 3*c, 5*j = 2*c + 347. Does 23 divide j?
True
Let q(j) = 15*j**2 + 34*j + 155. Is 40 a factor of q(-5)?
True
Let d = 1 + 1. Let u be (-118)/(-3) + (-22)/(-33). Suppose 16 = d*o - u. Is 7 a factor of o?
True
Suppose -3*g = -7*g + 8. Suppose y - 14 = -g. Is 17 a factor of (-1)/(-3)*(141 + y)?
True
Suppose -1504 = -5*g + 2*i, -g - 15 = -4*i - 305. Is 6 a factor of g?
False
Let x be (2 + -4)*12/(-4). Suppose -3*p + 24 = -x. Is p even?
True
Is 3 - (-12)/210*-7*-2590 a multiple of 17?
False
Let d = -206 + 1344. Does 12 divide d?
False
Let w = -426 + 640. Is 10 a factor of w?
False
Is 226174/260 + 3/30 a multiple of 54?
False
Let n(b) = -b**3 + 5*b**2 + 4*b - 6. Suppose -7 = -4*m + 53. Suppose 0 = -3*p - 0 + m. Does 7 divide n(p)?
True
Suppose -z - 57 = -4*z. Let t = 25 - z. Let i(r) = 3*r + 3. Is i(t) a multiple of 6?
False
Let j = -263 - -111. Let q = j + 180. Does 7 divide q?
True
Let q be (4/(-7))/(24/(-84)). Let z(f) = -3 + q - 9*f + 31*f - 5. Does 26 divide z(5)?
True
Let i be 6/12*(-1 - -1). Suppose i = -3*t + 6*u - 2*u + 2096, -2*t = -5*u - 1402. Is 13 a factor of (-12)/(-42) - t/(-14)?
False
Let u(v) = -3*v**3 - 11*v**2 - 14*v - 9. Let l(k) = -4*k**3 - 11*k**2 - 15*k - 8. Let s(n) = 2*l(n) - 3*u(n). Does 9 divide s(-5)?
False
Is 47 a factor of (1 + -2)/((-160)/15040)?
True
Let v = -10 - -19. Let w be (84/v)/((-4)/(-6)). Let p(n) = 3*n - 2. Is p(w) a multiple of 19?
False
Suppose 14*j - 11*j - 5*n = 496, n = j - 164. Does 9 divide j?
True
Let g(w) = 15*w**2 + 55*w - 25. Is g(-13) a multiple of 15?
False
Let s = 92 + -96. Is 1/(-4) + (-17)/s a multiple of 3?
False
Let b(k) = -41*k - 3. Let r be b(-2). Let a = -51 + r. Let o = a + 50. Is o a multiple of 13?
True
Let i be (-7)/((-28)/(-264)) + -1. Is (i - 17)*(-3)/4 a multiple of 15?
False
Suppose 4*n - 11 = 1017. Suppose 5*v - 2*b = n, 7*v - 11*v = 2*b - 202. Is 9 a factor of v?
False
Suppose 7*i - 5*k + 1930 = 11*i, 486 = i + 3*k. Does 32 divide i?
True
Let l = -2 + 4. Let z(y) = l*y**2 - 7 + 5 - 7*y + 6. Is z(5) a multiple of 8?
False
Suppose 10*f 