170 + k. Does 57 divide j?
False
Let m(f) = -f**2 - 9*f + 19. Suppose 155 - 200 = 5*v. Is m(v) a multiple of 9?
False
Let m = 12 + 34. Let d = m - 12. Is d a multiple of 7?
False
Is (-14)/(252/(-27)) - (-10986)/4 a multiple of 12?
True
Let z be 16*(2 + 0)*1. Suppose 7*j - 5*j - z = 0. Suppose -j*d + 21*d - 420 = 0. Is d a multiple of 18?
False
Let d be 3/2*12/9. Let x(q) = -45*q**3 + 5*q**2 + q - 2. Let p be x(-1). Suppose c + z - p = -d*c, 4*c - z = 58. Does 15 divide c?
True
Suppose 19*h - 7161 = -12*h. Does 33 divide h?
True
Let h(u) = -u**2 + 7*u - 1. Let n be h(5). Suppose 0 = 5*r + n + 1. Does 15 divide 30/(-8)*(r - 10)?
True
Let w be 14/(-16)*58 - 8/32. Let i = w + 170. Is i a multiple of 17?
True
Let l = 4 - -1. Suppose 0 = l*d - 2*d - 81. Let u = -11 + d. Is u a multiple of 8?
True
Let m(g) = -4*g + 49. Let u be m(11). Is -5 - (-5 + u) - -243 a multiple of 14?
True
Let g be ((-84)/(-14))/(3/2). Let v(c) = 3 + 5*c - 12*c + 7*c + g*c. Is v(11) a multiple of 8?
False
Let o(s) = 11*s - 7. Let a(t) = -38 + 46 - 5*t - 7*t. Let h(r) = -5*a(r) - 6*o(r). Is 3 a factor of h(-2)?
False
Let t = 1283 + -280. Is 17 a factor of t?
True
Suppose 17*u - 26*u + 1674 = 0. Does 6 divide u?
True
Let v be 372/(-217)*21/(-9). Suppose 3*f - 34 = 17. Suppose 0 = v*p - f - 43. Does 15 divide p?
True
Suppose 0 = -5*y + 4*h + 30, 0 = -4*y + 3*h + 12 + 11. Suppose -y*o - o + 63 = 0. Let r = 87 + o. Does 27 divide r?
True
Let g be 14/(-35) + (-99)/15. Let h(s) = -s**3 - 7*s**2 - s - 3. Is 4 a factor of h(g)?
True
Suppose -13*o + 42900 = 26*o. Does 55 divide o?
True
Suppose -2*q + q + 3 = 0. Suppose -l = -q*l + 432. Suppose -l = -2*u + w, u = -u - 4*w + 236. Is u a multiple of 19?
False
Suppose -22*j + 4 = -84. Suppose 7*f = -j*f + 418. Is f even?
True
Let n(h) = -h**3 + 7*h**2 - 3*h - 8. Let t be n(6). Let k = -38 + t. Is 4 a factor of 4/(-14) + (-372)/k?
False
Suppose 0 = h - 2 - 0. Let q be (-3 + h)*12/(-2). Is (3/(-1))/(q/(-124)) a multiple of 31?
True
Let t = -1444 - -3214. Is t a multiple of 35?
False
Suppose 2*b + 4 - 24 = 0. Let a = b + -17. Does 7 divide 26 + a + -2*1?
False
Let t be 6*4*(-1)/(-8). Is 5 a factor of t + 5/((-10)/(-6))*1?
False
Suppose 60 = 5*i - 3*v, -2*i + 33 = -v - 2*v. Suppose 6*h - i*h + 15 = 0. Suppose 5*l - 13 = 4*c - 123, 0 = h*c + l - 152. Is 15 a factor of c?
True
Let f = 825 + -216. Is 7 a factor of f?
True
Let y(i) = 120*i - 579. Does 9 divide y(7)?
True
Let y(h) be the second derivative of 3*h**3/2 - 19*h**2/2 - 11*h. Let p be y(6). Is 12 a factor of 826/p + 2/5?
True
Is (-10)/(120/(-5319))*(-20)/(-5) a multiple of 67?
False
Let d = 1802 - 1702. Does 29 divide d?
False
Let y be (15 - 16)/(0 - 1/2). Suppose -4*r - 72 = -y*x + 204, 2*x + 4*r = 236. Does 32 divide x?
True
Let a(j) = -j**3 - 5*j**2 - 5*j - 1. Let u be a(-4). Suppose 36 = u*r - r. Let m = -10 + r. Is m a multiple of 3?
False
Suppose 0 = 5*d - 133 + 13. Suppose 5*u + d = -16. Is 8 a factor of u/4 - (-35 + 2)?
False
Let f = 760 + 62. Does 74 divide f?
False
Let c = -24 + 26. Suppose 0 = -5*z + 2*n + 136, c*n - 148 = -5*z - 2*n. Is z a multiple of 4?
True
Suppose 0*m = -9*m + 45. Suppose -3*j + 2*j - 3*h + 35 = 0, 65 = 2*j + m*h. Does 5 divide j?
True
Let r(p) = -2*p - 2. Let c be r(-1). Suppose -5*g = -c*q - 2*q + 229, -4*q + 5*g = -463. Is 13 a factor of q?
True
Let t = 6059 + -3595. Is 13 a factor of t?
False
Suppose 52*y + 15708 = 69*y. Does 21 divide y?
True
Let w(q) = -123*q + 171. Is 20 a factor of w(-3)?
True
Let x(c) = -2*c - 14. Let w be x(7). Let s = 44 + w. Is s/20 + (-63)/(-15) even?
False
Suppose 5*x - 2 = 118. Let t be (-8)/(-8) + x/(-2). Let c = t + 19. Is c even?
True
Let h(q) = 13*q - 5. Let v(o) = 20*o - 7. Suppose 5*c - 25 = -0*c. Let f(p) = c*v(p) - 7*h(p). Does 6 divide f(2)?
True
Let b be (-9 - 7)*(-2)/8. Suppose b*i + 4*j - 100 = 0, -2*i + 43 = -0*i - 5*j. Is 11 a factor of i?
False
Suppose x - 5*x - 116 = 4*z, -2*z = -x + 61. Let j = z - -100. Is j a multiple of 7?
True
Suppose 150*z - 139*z - 7480 = 0. Is z a multiple of 40?
True
Does 23 divide (-461)/((-98)/(-21) - 5)?
False
Let x(k) = 2*k + 18. Let z be x(-18). Is 12 a factor of (-1852)/(-22) - z/(-99)?
True
Does 112 divide (1382/10 + 1)/((-18)/(-420))?
True
Suppose x - 5*x = -72. Is (-9)/(x/(-4)) + 40 a multiple of 21?
True
Is 13 a factor of (-4)/(-14) - 25466/(-49)?
True
Suppose 7*m - 16 = 19. Suppose 4*z + 55 = l, m*l - z - 229 - 46 = 0. Is 4*3/12*l a multiple of 14?
False
Suppose 5*r - 44 = -19. Suppose 2*x + 6*q - 2*q - 46 = 0, 0 = -r*x + 2*q + 151. Is 8 a factor of x?
False
Let z be 12866/(-42) + (-2)/3. Let t = z - -571. Is t a multiple of 61?
False
Is (3 + 21/(-6))*(-841 - -5) a multiple of 19?
True
Let t be (-4)/(-6) - (-129)/9. Suppose -2*n = 3*n - t. Suppose h = 5 + n. Does 4 divide h?
True
Let b be 1/4 - 35/(-20). Is b/(-4) + -1*308/(-8) a multiple of 11?
False
Suppose 5*q = -4*n + 17, 4*n - 9 = 2*n - 3*q. Suppose -4*b + n*t + 192 = 0, -t = -3*b - 6*t + 115. Is 6 a factor of b?
False
Suppose -5*c + c = 0. Suppose 4*a - 5*i + 2*i - 8 = 0, -4*a + i + 8 = c. Suppose 0 = 5*p - a*q - 127, 155 = 5*p + q + 4*q. Does 9 divide p?
True
Let i(f) = 13*f**2 - 4*f + 17. Let o be i(-7). Suppose -3*s + 528 = -10*w + 6*w, 4*s + 2*w - o = 0. Does 43 divide s?
True
Let j = 53 - 49. Suppose -j*z + 4*u = -1260, 3*z + u - 305 = 2*z. Is 23 a factor of z?
False
Suppose -5*h - 1456 = -4*w, 8*w - 5*w - 4*h - 1092 = 0. Is w a multiple of 52?
True
Suppose -3*o = 2*p - 1434, -1112 = -2*p - 4*o + 320. Is p a multiple of 15?
True
Let k(s) = s**3 + 11*s**2 + 9*s + 9. Suppose -8 - 19 = 3*c. Does 18 divide k(c)?
True
Let y = 1335 - 1240. Is y a multiple of 23?
False
Suppose 4*y - y + 798 = 3*f, y - 5*f = -254. Let k = -169 - y. Is 15 a factor of k?
False
Suppose -9*z - 272 = 322. Let h = z + 137. Does 12 divide h?
False
Suppose -2*b - 3*b + 20 = 5*g, -b = 2*g - 9. Let u = g - 4. Suppose 52 = 3*j + u. Is 13 a factor of j?
False
Let k = 18 - 15. Suppose k*o = 4*n - o + 24, -3*o = 4*n - 4. Is 8/n + 112/4 a multiple of 6?
True
Suppose 5*x + 1255 + 415 = 5*f, 310 = f + 5*x. Does 55 divide f?
True
Let d be (12/8)/(9/12). Is 8 a factor of 4*((-118)/(-2) + 3)/d?
False
Let p(s) = 19*s**3 - 15 - 18*s**3 + 408*s**2 - 396*s**2 + 7*s. Let u = -7 - 4. Is p(u) a multiple of 7?
False
Let r be -4 - (0 + (-1 - 8)). Suppose -j - r*x = 3*j + 63, -j + x - 27 = 0. Does 10 divide j/(-77) - (-500)/14?
False
Let w(c) = -2*c**3 - 2*c - 5. Is w(-5) a multiple of 51?
True
Let j = -444 - -221. Let n = j + 343. Is 29 a factor of n?
False
Suppose 0 = -5*p - 2*z - 30, 4*p + 3*z - 7 + 24 = 0. Let t = -5 - p. Suppose t*d - 22 = -2*y + 17, -2*y - 2*d = -40. Is y a multiple of 5?
False
Suppose -3*a - s = -5*a - 11, 0 = -3*a + 3*s - 15. Let q(p) = p**2 - 6*p + 8. Is q(a) a multiple of 16?
True
Suppose 0 = 45*a - 44*a + 2. Is (4 - 1 - -55) + a a multiple of 23?
False
Suppose 0 = z - 2*z + 60. Suppose 4*a - z = 4*k, -2*a - 120 = -7*a - 4*k. Is a a multiple of 5?
True
Let q = 36 - 33. Suppose s + 4 = -4. Is 5 a factor of q/6 + (-132)/s?
False
Suppose -36 = -4*k + 4716. Is 11 a factor of k?
True
Let o = 73 + 460. Does 17 divide o?
False
Let l be 2/(((-3)/(-12))/((-9)/(-8))). Let j be (3 + -1)*(-1)/(-2). Let z = j + l. Is 4 a factor of z?
False
Suppose 4*h - 18 = 5*a, 5*h + 7*a - 4 = 4*a. Suppose 2*v - 5*i - 208 = -i, 5*v - h*i - 528 = 0. Is v a multiple of 8?
False
Let f(k) = k**3 - 11*k**2 - 14*k - 12. Let i be f(12). Let g = i + 56. Is 8 a factor of (3 - 4) + g - 3?
True
Let m be 1/(7 + -2 - 4). Let j(u) = -u**2 + 4*u**2 + 3 - 2 + u + m. Is j(4) a multiple of 18?
True
Let y = 243 + 305. Does 137 divide y?
True
Suppose 0 = 3*m - r - 729 + 79, 5*m - 1110 = -5*r. Is m a multiple of 11?
False
Let y = -32 + 58. Suppose i = 2*i + 3*b - y, 0 = 4*b - 12. Let u = -11 + i. Is u even?
True
Let k(c) be the third derivative of 1/40*c**6 + 1/6*c**3 - 2*c**2 - 1/20*c**5 + 0 + 0*c - 1/24*c**4. Is 24 a factor of k(3)?
False
Suppose -3*h + 670 = 5*o, 0*h - 1090 = -5*h + 5*o. Suppose 3*m = s + 120, 5*m + 4*s = -s + h. Let i = -24 + m. Does 6 divide i?
False
Is 473*4/((-20)/(-5)) a multiple of 43?
True
Let n = 44 - 3. Suppose 4*m + t - 59 + 22 = 0, 5*t = -4*m + n. Does 3 divide m?
True
Suppose -4*i + 0*i + 16 = 0. Suppose -y + 2*z + 8 = i*z, y + 5*z = 11. Suppose 4*x 