 2*s - 13 = -o, 5*o - 7 - p = -3*s. Does 3 divide s?
False
Let u = 294 - 84. Is 35 a factor of u?
True
Suppose 14171 = 15*f - 11749. Does 16 divide f?
True
Let j be 2/(-10) - 189/(-45). Let s(k) = 10 + k**2 - j - k + 2. Does 10 divide s(6)?
False
Suppose -3*z = -g + 123 + 189, 5*g - 405 = 4*z. Let u = -28 - z. Is 17 a factor of u?
False
Suppose -1452 = -5*w + 3*h, -w = -h - h - 296. Suppose 0 = 3*u - w + 36. Is 15 a factor of u?
False
Let a(d) = -d**3 - 16*d**2 + 12*d + 10. Suppose -9*k - 151 - 2 = 0. Is a(k) a multiple of 5?
True
Let s(p) = -p**3 + 27*p**2 - 115*p - 23. Does 69 divide s(20)?
False
Suppose -2*w = -3*d + w + 1110, 3*d - 2*w = 1115. Is 25 a factor of d?
True
Suppose 10 - 2 = w. Let l(j) = -w - 3*j - 3 + 7. Is 11 a factor of l(-5)?
True
Suppose 28 = -v - 5*l, 5*v + 3*l + 2 = -50. Let t be 4*2/(v/(-10)). Suppose -5 - t = -x. Is 13 a factor of x?
False
Let z = 342 - 258. Is z a multiple of 3?
True
Suppose 4*c - 84 = -g, -4*g + g - 68 = -4*c. Suppose -140 = -2*h - c. Does 15 divide h?
True
Let m(x) = -x**3 + 26*x**2 - 43*x + 31. Is 9 a factor of m(24)?
False
Let v(u) be the third derivative of -u**4/8 - 10*u**3/3 + 2*u**2. Let i be v(-8). Suppose -s = -0*s - 3*y - 92, -i*y + 134 = 2*s. Is s a multiple of 14?
False
Let y be 4 - (-3 + -4 + 5). Suppose -4*u + 4 = y*o - o, 2*o - 3*u - 20 = 0. Is 5 + (-4 - -3) + o a multiple of 8?
True
Let x be (-9)/(-15) - 232/(-5). Let u = -11 + x. Suppose -u = -2*w - 5*m + 31, 2*w - 74 = 2*m. Is 9 a factor of w?
True
Let i be ((-27)/(-18))/((-1)/(-2)). Suppose -4*l = -4*n + i - 123, 130 = 4*l - 2*n. Suppose -6*h + l = -5*h. Is h a multiple of 15?
False
Suppose -f = -20*f + 12426. Does 22 divide f?
False
Let p(r) be the first derivative of 2*r**2 - 17. Does 5 divide p(2)?
False
Let g(s) = -s**2 - s + 11. Let n be g(4). Let d(j) = -j**2 - 12*j - 5. Is 11 a factor of d(n)?
True
Is (-2472)/(-4) + 1 - 12/4 a multiple of 4?
True
Let q be 2 + -2 - (1 - 4). Suppose 2*l = -q*l + 3*s + 414, -3*l + 262 = 5*s. Does 12 divide l?
True
Suppose -9*a = -7*a - 56. Suppose 5*c - a = -i, -2*i = -9 + 3. Is c a multiple of 5?
True
Let h = 78 + -74. Let l = 34 - h. Is l a multiple of 3?
True
Does 12 divide 4/(0 + -2) - 2*-823?
True
Suppose -26 = -2*x + 5*b, 0*x - b + 8 = 4*x. Suppose -x*m = 2*m - 260. Does 4 divide m?
True
Let y = 309 - 215. Does 10 divide (-6)/(-10) - y/(-10)?
True
Let l(u) = 4*u**2 - 30*u + 617. Does 9 divide l(14)?
True
Let r(d) = -d**3 + 7*d**2 + 10*d - 1. Let j be 6/(-12)*(0 - 0). Suppose j = -3*a + 5 + 19. Is r(a) a multiple of 3?
True
Let m be (-1108)/(-3) + (-8)/(-12). Suppose 4*n - 2*y - 764 = 0, 2*n + 7*y - m = 2*y. Is n a multiple of 19?
True
Let u(q) = -7 - 3*q**3 + 3*q**2 + 0*q**2 - 7*q**2 + 2*q + 2*q**3. Let g be u(-6). Let z = -21 + g. Does 8 divide z?
True
Let d(h) = -h**3 + h**2 - h + 8. Suppose 2*v = 8*v + 3*v. Is 5 a factor of d(v)?
False
Suppose -2*y - 17 = l, -l = -2*y + 29 - 0. Let s = 28 + l. Is s a multiple of 2?
False
Suppose -l - 16 = -11. Let c(w) = 7*w**2 + 5*w + 10. Is 22 a factor of c(l)?
False
Suppose 176*z - 693 = 167*z. Is 3 a factor of z?
False
Suppose 2*c = 2493 - 533. Suppose -41*i = -36*i - c. Does 14 divide i?
True
Let s be 3 + -11 + 220 - (1 - 3). Let t(m) = 39*m + 6. Let x be t(-4). Let d = x + s. Does 15 divide d?
False
Let l(o) be the third derivative of o**5/12 + o**4/8 - 4*o**2. Let a be l(5). Suppose -3*w - a = -7*w. Is 9 a factor of w?
False
Let f(o) = 57*o + 101. Is f(27) a multiple of 29?
False
Suppose -5*z + 2*z = 4*x - 9, 4*z - 5*x - 12 = 0. Suppose -2*q = z*q. Is 25 - 1 - q/(-3) a multiple of 8?
True
Suppose 292 + 394 = b. Is b a multiple of 21?
False
Let b(z) = z**3 - 13*z**2 + 13*z - 9. Let h be b(12). Suppose -138 = -h*l - 3. Does 16 divide l?
False
Let i = -128 - -197. Suppose -h = 2*h + 3*b - 36, 0 = 3*b + 6. Suppose h = 2*l + 3*p, 5*l = -p + 2*p + i. Is l a multiple of 3?
False
Let z(f) = -f**3 + 11*f**2 - 6*f - 13. Let p be -9*(-2)/3 + (-2 - -6). Is 11 a factor of z(p)?
False
Let q(z) = 2 - z + 2 - 3*z. Let k(n) = 3*n - 4. Let x(g) = -3*k(g) - 2*q(g). Is 4 a factor of x(-4)?
True
Suppose -33034 = -25*j + 25016. Is j a multiple of 17?
False
Let d(j) = -2*j**2 - j - 1. Let y be d(-3). Let l be (-1152)/(-20) - (-4)/10. Let q = l + y. Is q a multiple of 7?
True
Let n = -10 - -12. Suppose 5*s - 5*t - 195 = 0, -t - 17 = n*s - 101. Is s a multiple of 6?
False
Let t = 38 - 32. Is t*-1*(-224)/24 a multiple of 14?
True
Suppose 0 = -2*a + v + 1846, -23*v = -6*a - 28*v + 5538. Is 9 a factor of a?
False
Let b(c) be the third derivative of -c**4/12 + 4*c**3/3 + 4*c**2. Does 2 divide b(-7)?
True
Let t(u) = -u**3 + 17*u**2 - 16*u + 24. Is 24 a factor of t(12)?
True
Suppose j + 14 = 18. Suppose -h - 2*h = j*p - 433, -5*h = 3*p - 333. Is p a multiple of 19?
False
Suppose -54 = -4*t + 34. Let h = t + -10. Let m(l) = l + 1. Does 4 divide m(h)?
False
Let r be ((-1)/(-4))/((-2)/(-8)). Suppose b - 1 - r = -3*f, 0 = 2*f + b. Suppose f*g + 0 - 10 = 0. Is g even?
False
Suppose 3*n = 0, 2*n = 2*o + n - 1680. Suppose 7*t = 12*t - o. Is t a multiple of 42?
True
Let v(r) = r**2 + 12*r - 49. Is v(7) a multiple of 28?
True
Suppose -6*u = -2 - 28. Suppose -u*g + 248 = -17. Does 34 divide g?
False
Suppose -d = -2*a + 63, 5*d + 170 = 4*a + a. Suppose -9 + a = 5*k. Suppose -y + 170 = k*y. Does 27 divide y?
False
Suppose 0 = -3*i + 7*i - 244. Suppose 4*y + 27 + 18 = 3*l, 2*y + i = 5*l. Suppose 2*g + 72 = 4*o, -2 = o + 4*g - l. Is o a multiple of 5?
False
Let l = 579 + -540. Is 4 a factor of l?
False
Let h(f) = f**3 + 5*f**2 + 4*f + 5. Let t be h(-4). Suppose -24 - 66 = -t*s. Is s a multiple of 4?
False
Let y be 6 - ((-62)/(-14) - (-6)/(-14)). Suppose -4*u = 5*f - 390, 0*f = -y*f + u + 143. Is f a multiple of 17?
False
Let a = 25 - 19. Let n = a + -9. Does 27 divide n + -1 - (-5 - 98)?
False
Suppose 2*n = -2*a - 6, 0*n - 3*n - a = 11. Suppose -21 - 23 = -2*c. Is 11/c - 38/n a multiple of 6?
False
Is (810/(-75))/((-6)/140) a multiple of 21?
True
Let r(y) = -4*y - 39. Let k be r(-11). Suppose q - 8 = -q. Suppose -a = -q*u - 69, -2*a + 11 = -k*u - 121. Does 17 divide a?
False
Does 13 divide (-2 + 2277)/(-5)*-3?
True
Let t(n) = 2*n - 5. Let k(y) = -y**3 + y - 2. Suppose 0 = -d - 26 + 24. Let f be k(d). Does 2 divide t(f)?
False
Suppose 18*a - 2699 = 71569. Does 87 divide a?
False
Suppose -4*u - 323 = 4*i + u, 0 = -5*i - 5*u - 410. Let p = i + 168. Is p a multiple of 19?
False
Let w = -894 + 2005. Is 68 a factor of w?
False
Let n be 2 + -5 + (38 - -1). Suppose -4*w + n = -3*y, -2*w - 2*y - 32 = -6*w. Is 2 a factor of w?
True
Let m(h) = 2*h**3 + h**2 - 2*h + 1. Let z be 9/3 + 0 + -2. Let v be m(z). Suppose 0 = -3*r - v*r + 60. Does 7 divide r?
False
Suppose -5*m = -f - 13, 10 = 5*m + f + 3. Let n be 1/m*(-11 + -9). Is -65*((-8)/n)/(-2) a multiple of 13?
True
Suppose 7*y = -15*y + 2112. Is y a multiple of 4?
True
Suppose 0 = -m - 5, -4*s - 11 = 3*m - 0*m. Let w be s/(-3) + (-8)/(-6). Is 11 a factor of 2 + 9*w/1?
True
Let s(q) = -q**2 + 7*q + 12. Let m be s(10). Is 1 - (-4 + 3)/((-2)/m) a multiple of 5?
True
Let l(k) = 2*k**2 + 10*k + 4. Let v be l(-7). Let g = -199 - -206. Suppose 5*w = g*w - v. Is w a multiple of 12?
False
Let y = -64 + 74. Suppose -7*k = -y*k + 366. Is k a multiple of 22?
False
Let y(h) be the first derivative of -3*h + 13/3*h**3 + 1/2*h**2 - 6. Does 8 divide y(2)?
False
Let a be (0 - 5/(-2))*2. Suppose 195 = a*l - o, 3*l + 4*o = 37 + 57. Is l a multiple of 3?
False
Let s(u) = -3 + 5 + 4 - 7*u. Let i be s(5). Let q = i + 41. Is q a multiple of 5?
False
Suppose -v - 4*v = 5. Let j(g) = -44*g**3 + g**2 + g. Let r be j(v). Suppose -4*i + 7*i + r = b, 5*b - 220 = -4*i. Is b a multiple of 22?
True
Let r(d) = -2*d**2 + 3*d + 1. Let h be r(4). Let k(b) = b**2 + 9*b - 2. Let f be k(-8). Let s = f - h. Is s a multiple of 5?
False
Suppose 0 = -17*a + a + 128. Let p = 24 - a. Does 6 divide p?
False
Let q(d) = -d**3 - 10*d**2 - 15*d - 6. Is 5 a factor of q(-9)?
False
Suppose -3625 = -5*y - 0*s - 5*s, -5*y + 3633 = -3*s. Is y a multiple of 66?
True
Let c(z) be the third derivative of -z**5/60 + 5*z**4/12 - 7*z**3/6 + 15*z**2. Does 11 divide c(6)?
False
Suppose -5*w + 165 = 2*c, 2*w + 3*c - 4*c - 66 = 0. Let r = 3 + w. Suppose -4*n = 2*h - 120, -n = h + h - r. Is 11 a factor of n?
Fal