t z = 100 + -70. Suppose -z = -2*i - 8*i. Suppose -93 = -4*k - p, 59 = i*k - p - 2. Is k a multiple of 5?
False
Is 9 a factor of 3136 + 40*(-10)/(-80)?
True
Let w = 12551 + -12100. Does 56 divide w?
False
Suppose 5*n = 400 - 65. Suppose -6*s + 442 = -32. Let g = s - n. Is 4 a factor of g?
True
Let z = -11236 - -33196. Is 15 a factor of z?
True
Let f = 91 + -61. Suppose 0 = c + 3*p - 11, -3*p - 9 = 3*c - f. Suppose -c*b - 3*w = -1206, -2*b + 2*w = w - 478. Does 12 divide b?
True
Suppose 17*r - 13194 = 10108 + 821. Is 11 a factor of r?
True
Let a be (-266 + 0)*(1 - 0). Let t(d) = 9*d**2 - 566*d + 118. Let i be t(62). Let n = a - i. Does 9 divide n?
False
Let l be 4/(-2) + (-110)/(-11) + -6. Does 11 divide (-2)/(l - (-240)/(-116))?
False
Suppose -30*z = -35*z + 2230. Suppose 4*x + j - z = 0, -4*x + 3*x + 104 = 4*j. Does 29 divide x?
False
Suppose b - 4*c + 249 = -2*b, -2*c + 401 = -5*b. Let r = b - -94. Does 2 divide r?
False
Let a = 4 - 14. Let v be (-24)/a*(-1260)/27. Let k = v + 255. Is 17 a factor of k?
False
Let s(w) = -2*w**2 - 37*w - 18. Let p be s(-16). Suppose -59*c - 528 = -p*c. Is 16 a factor of c?
True
Let m = -9052 - -10602. Does 15 divide m?
False
Is (1146/8)/(12/848) a multiple of 33?
False
Suppose 0 = 3*x - 3*v - 1848, -3096 = -7*x + 2*x - 3*v. Let f = -306 + x. Is f a multiple of 13?
True
Suppose 24768 = 16*n - 15*n. Suppose -n = -17*b - 7*b. Is 10 a factor of b?
False
Let c = -32 - -19. Let s(y) = -y**2 - 3*y - 7*y - 5*y - 13. Does 9 divide s(c)?
False
Let m = 9201 - -36896. Is 247 a factor of m?
False
Let j be -1*14/(-14)*(-1 + 1). Suppose -2*d - c + 1946 = 0, 10*d - 7*d + 4*c - 2909 = j. Does 13 divide d?
True
Let a(i) = -15*i - i + 27 + 308 + 3*i - 23*i. Is a(-12) a multiple of 15?
False
Suppose 0 = 70*l - 79*l + 72063. Does 17 divide l?
True
Suppose 2*y + 2*n + 6 = 0, -8 = 3*y - 4*n + 6*n. Let i be y/(-1) + (10 - 6). Suppose -25*u + 27*u = i. Is u a multiple of 2?
False
Let b = -2 + 18. Suppose -4*p + 36 = b. Suppose -p*z - 59 = -419. Does 12 divide z?
True
Let d be (-10 - (-3)/3)*(-2 - -3). Is ((-987)/(-7) + d)*3 a multiple of 9?
True
Let l be 15 + ((-8)/48 - (-51)/(-18)). Suppose 1501 + 2783 = l*f. Does 17 divide f?
True
Let v(j) = -5*j + 34*j - 8 + 28*j - 4*j**2 - 2. Is v(7) a multiple of 8?
False
Let w = 16224 - 7881. Is w a multiple of 60?
False
Let v(h) = 39*h - 103. Let z(q) = 38*q - 105. Let g(a) = 5*v(a) - 6*z(a). Does 13 divide g(-31)?
False
Let d be 246 + 42/(3 + 4). Let t = 631 - d. Is t a multiple of 53?
False
Suppose 2*s + 251 = 7*s - 4*h, 48 = s - 3*h. Is s a multiple of 4?
False
Does 101 divide 1568/224*(-10302)/(-7)?
True
Let z be (-1)/(((-20)/(-8))/5). Let l(c) = -c**2 - 5*c - 6. Let f be l(z). Suppose n - 5 - 23 = f. Is n a multiple of 7?
True
Let u = 35250 - 22370. Is 46 a factor of u?
True
Let i(y) = 693*y - 2147. Does 145 divide i(19)?
True
Let w = -217 - -221. Suppose 1045 = w*g + 133. Does 19 divide g?
True
Let c = -152 - -214. Does 31 divide c*(1 + ((-300)/8)/(-5))?
True
Let c = 129 + 165. Suppose c = -3*t + 6*t. Is t a multiple of 49?
True
Let y(b) = 2*b**2 + 16*b + 5. Let w be y(-7). Let c be ((-42)/w + -4)/(1/3). Suppose 4*v - 158 = c. Does 9 divide v?
False
Suppose j - 41*f + 42*f - 9331 = 0, -4*j + 37303 = -3*f. Does 16 divide j?
True
Is (13/6 - (-8)/(-3)) + (-2964)/(-8) a multiple of 6?
False
Let z = 19 + 6. Let j = z - 20. Suppose 0 = j*h + 3*c - 659, c + 399 = 3*h + 4*c. Is h a multiple of 26?
True
Let z(u) = -6*u + 15. Let g be z(-3). Suppose -39 = -2*x - g. Suppose 96 = x*p - 3*f, 5*f + 30 + 94 = 4*p. Is 12 a factor of p?
True
Suppose -8*g + 32686 = 3*q, 4*q + 20470 = 5*g - q. Is g a multiple of 73?
True
Let p be -1 + 3 - (5 + 1 - 7). Let r(c) = p - 82*c - 11 + 102*c - 5. Is r(9) a multiple of 36?
False
Let l(o) be the third derivative of 10/3*o**3 - 5/8*o**4 + 0 - 1/60*o**5 + 0*o + 51*o**2. Is 4 a factor of l(-11)?
True
Let q = 4440 - 3819. Does 132 divide q?
False
Let s(o) = -8*o. Let v = 58 + -50. Let g(d) = 24*d. Let m(y) = v*s(y) + 3*g(y). Does 4 divide m(1)?
True
Suppose -5*g - 2*p - 2617 = -8383, -5*g + 5763 = p. Does 18 divide g?
True
Suppose 106*g - 4036519 = -1805222 + 2809003. Is g a multiple of 25?
True
Let q(r) = 3*r + 14. Let l be q(-6). Let c(b) = -58*b - 28. Does 34 divide c(l)?
True
Let r = -57 + -2. Let q = r - -64. Suppose -6 = 2*d, -472 = -10*i + q*i - d. Is 19 a factor of i?
True
Suppose 0 = -61*l + 85*l - 344545 - 34463. Is l a multiple of 24?
True
Suppose 0 = 2*s - 0*s - 4*x, 5*s = 4*x - 12. Is 104/(-26)*18/s a multiple of 6?
True
Suppose -l = -2*g - 24, 5*l = 6*l. Let m(v) = 3*v**2 + 2*v + 25. Is m(g) a multiple of 33?
False
Suppose -2*q - 428 = -5*p - q, 12 = -4*q. Let w(f) = 2*f**2 - 5*f - 11. Let u be w(6). Let t = p - u. Is 8 a factor of t?
False
Suppose 0 = 4*v + 12 + 52. Let j be 8/v*(-1 + 1). Suppose -h + 26 + 11 = j. Is 13 a factor of h?
False
Let k(v) = 18*v + 1191. Is k(-12) a multiple of 11?
False
Suppose 0 = -f + 4*x + 31, 5*f = -x + 75 + 38. Suppose f*h - 27*h = -3660. Is h a multiple of 15?
True
Let r(q) = -5*q + 89. Let y be r(12). Suppose 7*l + 85 = y. Let o(t) = t**2 - 12. Is 26 a factor of o(l)?
True
Let a = 731 + -731. Suppose -s - l = -752 - 765, 4*s - 3*l - 6075 = a. Does 46 divide s?
True
Let c(n) be the first derivative of 19*n + 1/2*n**2 - 12. Is c(-10) a multiple of 3?
True
Let t(j) = -2 - 567*j + 559*j + 3*j**2 - 9. Let d be t(-6). Suppose n + 197 = v, -d = -3*v + 2*n + 448. Is v a multiple of 17?
False
Let b = -117 - -219. Let v = -20 + b. Suppose 0 = 2*c - v + 4. Is 13 a factor of c?
True
Let n be (18 - 15) + 0 + 0. Suppose -7*x = -2*x + 5, 4*x = -n*y + 8. Suppose -p - 4*m + 7 = -15, -y*p + 126 = -3*m. Is 2 a factor of p?
True
Let a = -10496 + 16446. Is a a multiple of 49?
False
Suppose 3*b - 4 = h + 4*h, 0 = 2*b - 4*h - 2. Suppose -5*w - b*s = -4, 0 = 2*w - 4*s - 15 + 3. Suppose w*j - 12*j + 2300 = 0. Is j a multiple of 46?
True
Let t(i) = -3*i**3 - 14*i**2 + 20*i + 60. Let s be t(-12). Is ((-6)/(-9))/(3/s) a multiple of 77?
False
Suppose -11*j = -68928 - 6729 - 11738. Is j a multiple of 13?
False
Let r(l) = -l**3 + 8*l**2 + 39*l + 16. Let t be r(12). Let u = -39 - t. Does 4 divide u?
False
Let q be -2 - (-70)/17 - 8/68. Suppose -12*p = -q*p - 50. Suppose 639 = p*w - 2*w - 2*c, -2*w + c = -427. Does 9 divide w?
False
Suppose -55*q + 1194647 + 453505 - 141812 = 0. Is 82 a factor of q?
True
Let i = -56 - -39. Let t = i - -16. Let s(u) = -125*u + 4. Does 22 divide s(t)?
False
Let t(o) = o**2 - 4*o - 12. Let q be t(6). Suppose 0 = 4*g - 4*d - 636, 2*g + 4*d - 336 = -q*g. Does 18 divide g?
True
Let t(v) = -28*v + 2347. Is t(30) even?
False
Let p(j) = -j**3 - 10*j**2 - 21*j + 4. Let a(n) = n**2 - 4*n - 12. Let m be a(5). Let l be p(m). Suppose -4*b + 140 = l. Is b a multiple of 17?
True
Suppose -92622 - 58902 = -36*x. Is x a multiple of 69?
True
Let a(s) = 21*s**2 - 125*s + 50. Does 58 divide a(-43)?
True
Let n = -6734 + 6914. Is n a multiple of 4?
True
Is 2572/(-4*(-40)/64 - 2) a multiple of 62?
False
Suppose -996 = -12*o + 7704. Let c = -620 + o. Is c a multiple of 3?
True
Let t be (12/(-10))/(66/(-3080)). Let h be 1 - 559/4 - (-42)/t. Is -3*(-2)/(-9)*h/4 a multiple of 9?
False
Let u(b) be the second derivative of b**4/3 + b**3/6 - b**2/2 - 22*b. Let c be u(-1). Suppose 4*w = 2*q - 5 - 23, q + w = c. Is 3 a factor of q?
True
Suppose 3*q = q + 550. Suppose -t + 1573 = -12*t. Let i = q + t. Does 44 divide i?
True
Suppose -25*u = -16*u - 180. Is ((-36)/63)/(2/(-7))*u a multiple of 8?
True
Let w be ((-4)/(-6))/((-4)/23550*-5). Let t = w - 524. Is t a multiple of 8?
False
Let x be 35/(-10)*(-8)/14. Let z(t) = t**x + t**2 + 352 - 6*t - 364. Is z(6) a multiple of 8?
True
Let y = -548 - 807. Let v = y - -2402. Suppose 5*s + 327 = v. Is s a multiple of 30?
False
Suppose 3*z - 4*g = 88, 3*z - 8*z + 136 = -4*g. Suppose 3*i - 4*q = i + z, 5*i = 5*q + 70. Is i a multiple of 6?
False
Is 1939 + 10*13/130 a multiple of 97?
True
Is 40 a factor of -2 - (-2481 + 6/(-6)*1)?
True
Let k = 42 + -34. Let n be 297/15 + k/(-10). Let g = 22 - n. Is g a multiple of 2?
False
Let a = 9333 + -3377. Is a a multiple of 60?
False
Let q = 1012 - -1119. Does 85 divide q?
False
Suppose -11*k - 3329 + 37759 = 0. Suppose 10*x + 600 = k. Is 11 a factor of x?
True
Let k(r) = 18