*u + 6*u - 100 = -4*i, -2*u - 5*i = -r. Suppose -5*j - 98 = -l - u, l - 53 = j. Does 7 divide l?
True
Let v be 24/5*220/66. Suppose -8320 = -0*r - v*r. Does 104 divide r?
True
Suppose 9*o = 6*o. Suppose o = -15*b + 2*b + 65. Does 21 divide (-16 - b)/((-2)/12)?
True
Suppose -6*w = -3*w + 18. Let v be (-656)/w - (-4 - 40/(-12)). Suppose 3*l + 5*a = v, 0 = a - 4*a - 15. Does 14 divide l?
False
Let c = -125 + 126. Suppose n + 9 = -c. Let x = 40 + n. Does 30 divide x?
True
Let c(i) = 13*i + 41. Let d be c(-15). Let k = -295 - d. Let v = -75 - k. Is v a multiple of 16?
False
Let q be -115*(-80)/25*-1. Let b = q - -662. Does 7 divide b?
True
Let t = 203 - 407. Is 177/2*(-544)/t a multiple of 22?
False
Let g be ((-1)/3)/(1/(-753)). Let r(a) = -a**2 + 47*a + 249. Let f be r(43). Let b = f - g. Is 34 a factor of b?
True
Let t(q) = q + 1. Let z(n) = 14*n + 113. Let l(p) = -t(p) + z(p). Is l(20) a multiple of 31?
True
Let d(t) = t**2 + 14*t - 73. Let i(z) = -z**3 - 25*z**2 - 23*z + 35. Let l be i(-24). Is 4 a factor of d(l)?
False
Suppose 0 = -5*u - 152 - 53. Let a = u + 43. Suppose a*d - 86 - 50 = 0. Is 5 a factor of d?
False
Let s(f) = 10*f**3 - 61*f**2 - 9*f + 42. Let d(i) = -2*i**3 + i**2 - 1. Let w(p) = 4*d(p) + s(p). Is 21 a factor of w(29)?
False
Let f(m) = 6*m + 1. Let h be f(-4). Let g = -20 - h. Suppose 4*k - 44 - 665 = g*d, k = -5*d + 160. Is k a multiple of 22?
False
Let h(g) = 104 - 37*g + 75*g - 37*g. Is 4 a factor of h(16)?
True
Let w(k) = k**3 - 8*k**2 - 14*k + 15. Let r = 22 - 13. Let u be w(r). Is 9 a factor of -6 + 4 - (u + 1)?
True
Let a be 105*8/24 + -2. Suppose -59 = -c - 5*l, a = 3*c - 3*l - 54. Is c a multiple of 2?
True
Suppose -b - c - 6 = 0, 5*b - 10 = 5*c - 0. Let y be -9*b*1/(-2). Let k = y + 125. Is 29 a factor of k?
True
Let a(o) = 3*o**3 + 128*o**2 - 17*o + 264. Is 9 a factor of a(-39)?
True
Let w(c) = -5*c**3 - 12*c**2 + 40*c + 11. Let z(i) = i**3 - i - 1. Let d(b) = -w(b) - 4*z(b). Is d(-14) a multiple of 4?
False
Let u = 22 + -19. Suppose 0 = u*s - 33 + 21. Suppose -s*n + 62 = 5*x, 5*x + 6*n - n - 65 = 0. Is x a multiple of 3?
False
Let s(g) = 72*g - 2402. Is s(39) a multiple of 28?
False
Let n = -14 + 10. Let j(v) = -v**2 - 2*v**2 - 2*v**2 + 2113*v**3 - 4 + 3*v - 2116*v**3. Is j(n) a multiple of 12?
True
Let t = 6595 - -14330. Is 45 a factor of t?
True
Let a(i) = i**2 - 10*i + 10. Let v be a(9). Let q be (4 - 3)*123 - v. Suppose 0 = 6*m - q - 256. Is m a multiple of 7?
True
Does 7 divide (3109632/576)/((-4)/(-3))?
False
Suppose -2397 = -2*c + 3*v, 430 = 2*c + 4*v - 1974. Let p = c - 720. Is 80 a factor of p?
True
Let h be (14 - 11) + 54/2. Let z be 148/18 - h/135. Suppose -214 = -z*q + 50. Does 14 divide q?
False
Let a(v) = -v**3 - 10*v**2 + 30*v - 11. Let o be a(-11). Let w = o - -688. Is w a multiple of 12?
True
Let b be ((-10)/(-3))/((-6)/(-9)). Let v(y) = 8*y - 4. Let k(z) = 2*z + 1. Let a(i) = 10*k(i) - 2*v(i). Does 4 divide a(b)?
False
Let l(b) = -b + 1. Let z be l(0). Let p(c) = c**2 + 8*c + 14. Let n be p(-4). Does 5 divide (8 - n)*1*(z + 1)?
True
Let u = 2883 - 1952. Does 3 divide u?
False
Suppose -3*c = 11 - 11. Does 48 divide ((-243)/(-2))/(c - (-15)/160)?
True
Let q(x) be the second derivative of -7*x**3/6 - 21*x**2/2 + 2*x - 30. Does 6 divide q(-9)?
True
Suppose -6*i + 11*i - 49900 = -5*c, -2*i + 4*c + 20008 = 0. Is i a multiple of 3?
False
Suppose -2*b - 123 + 127 = 0. Suppose -3*l + 420 = -3*s, 0 = b*s - 4*s. Is l a multiple of 10?
True
Does 4 divide (-931)/(-2) - 24/16?
True
Is (8 + (-54232)/(-24) + 9)*(4 - -14) a multiple of 13?
False
Let x(v) = 286*v + 4. Let b be x(0). Let d be ((-9)/(-6))/((-1)/(-2)). Suppose -b*f - 331 = -3*z, -d*z + 3*f + 2*f + 335 = 0. Does 7 divide z?
True
Suppose 10*u + 28 = 14*u. Let t be 49/(-14)*(-4)/u. Suppose 4*l - 42 = 2*l + 2*g, t*l - 48 = -g. Does 6 divide l?
False
Let z(u) = -298*u + 2309. Is z(-38) a multiple of 30?
False
Let b(s) = -s**2 - 11*s - 7. Suppose 13 = 4*d + 45. Let i be b(d). Suppose -5*p + 253 = -3*g, 37 + i = p - 4*g. Is p a multiple of 10?
True
Let c = -15 + 25. Suppose -p = -5*v + c*v - 600, -4*p - 4*v + 2432 = 0. Is 20 a factor of p?
False
Suppose -49*q + 52*q = 1785. Suppose 10*y = q + 6605. Does 36 divide y?
True
Let n be 4/(-42) + 23693/(-609). Let m = 249 - n. Does 36 divide m?
True
Suppose 0 = 19*o - 23*o + n + 7204, -3*o - 5*n = -5403. Does 20 divide o?
False
Does 43 divide ((-4592)/(-84))/(((-4)/(-129))/(180/6))?
True
Suppose 2*f - 8 = -3*c, 4*f = -f - 3*c + 29. Let h(j) be the first derivative of -j**4/4 + 11*j**3/3 - 25*j**2/2 + 8*j + 37. Is 6 a factor of h(f)?
False
Let w(g) be the third derivative of 7*g**4/4 - 19*g**3/3 - 30*g**2. Let r be w(9). Let u = r - 210. Is 28 a factor of u?
False
Suppose -b = -4*n - 9, 0 = 3*b + 5*n - n + 21. Let j(v) = 23*v**2 - 10*v - 27. Does 35 divide j(b)?
True
Let g(b) = 3*b**2 - 6*b - 4. Let j be g(-2). Let l(o) = -o**3 + 20*o**2 + 22*o - 48. Is 49 a factor of l(j)?
True
Is 11 a factor of 86/387 - 187592/(-18)?
False
Let r be 0 + 1/((-2)/(-584)). Suppose 86 = 3*j - r. Does 18 divide j?
True
Suppose 2*h + 4*f - 89 = 49, f + 4 = 0. Let i = 133 - h. Is 0/(i/(-8)) - 130*-1 a multiple of 13?
True
Let s = -53 + 57. Suppose -s*b + 825 = 4561. Is 18 a factor of b/(-13) + 12/78?
True
Let f(u) = -48*u - 17. Let v = 101 + -112. Does 16 divide f(v)?
False
Suppose 0 = -3*i - 124 + 646. Suppose 5*p - 3*n - 1590 = 0, -2*p + 436 = 4*n - i. Is 28 a factor of p?
False
Suppose -735 = -2*n + 119. Is 61 a factor of n?
True
Suppose -308 = -3*y + 328. Let u = -51 - -54. Suppose y = u*l + 2*l - 2*k, -3*l - 4*k + 148 = 0. Does 9 divide l?
False
Let s(g) = 4*g**3 + 255*g**2 - 64*g + 285. Does 132 divide s(-62)?
False
Suppose 86*x - 1526670 - 247023 = -257513. Is x a multiple of 16?
False
Let o = -2445 + 5595. Does 10 divide o?
True
Let y(p) = 5213*p**2 + 14*p - 11. Is 18 a factor of y(1)?
False
Let b be (1 - 166)*25/(-125). Let v = 59 + b. Is v a multiple of 5?
False
Let h(o) be the third derivative of -3*o**4/4 - 5*o**3/2 + 28*o**2. Does 39 divide h(-3)?
True
Let y = -407 + 1127. Suppose 4*c + y = 20*c. Does 3 divide c?
True
Suppose -382775 = 113*p - 757368 - 590314. Does 133 divide p?
False
Let i(w) = -w**3 - 44*w**2 + 112*w - 21. Is 239 a factor of i(-59)?
False
Let o = 1 + 1. Let x be 1*((-18)/3 - -9). Suppose o*u - 4*w - 186 = 0, -5*u = -5*w - x - 457. Is u a multiple of 14?
False
Let s be (-2 - (-1 - 1)) + 25. Suppose 8100 = -0*u + s*u. Is u a multiple of 54?
True
Is (-31 + -32)*220/(-4) a multiple of 45?
True
Let n = 8909 - 7738. Is n a multiple of 7?
False
Let u = 250 - 245. Suppose 1346 = u*a + 371. Is a a multiple of 15?
True
Suppose 0 = -3*r + 4*u + 835, -3*u = -3*r - 7*u + 803. Suppose 0 = -3*a + r + 132. Does 15 divide a?
True
Suppose 2*o - 10 = -5*m, -3*o - m = -6 - 22. Suppose -o*s + 4*s = -48. Suppose s*n = 11*n - 234. Does 19 divide n?
False
Let s(a) = -92*a + 2. Suppose 4*r = -3*b + b + 40, -100 = -5*b + 3*r. Suppose b = 4*h, 4*h + 2 = -d + 21. Does 24 divide s(d)?
False
Let m be 6 + -2 + -2 + -218. Let g = -156 - m. Is g a multiple of 15?
True
Let f(o) = -o**2 + 7*o. Let n be f(7). Suppose n = -8*d + 3*d + 1605. Does 35 divide d?
False
Let x = -140 - -270. Suppose 3*f - x = 5*d, 2*d + 84 = -3*f + 5*f. Does 20 divide f?
True
Suppose 2*j = -5*z + 10, -7*z - j = -2*z - 15. Suppose -z*c - 348 = -7*c. Let l = c + -58. Is 24 a factor of l?
False
Suppose -135 = -6*n + 69. Suppose -2*h + n = 26. Suppose 5*x + 465 = 5*z, -3*x = -h*z + 439 - 72. Is z a multiple of 31?
False
Suppose 3*j - 5 = -2*q, -4*q + 2*j + 6 = 4*j. Let d(n) = 72*n**3 - n**2 + n - 1. Let m be d(q). Let s = m - 11. Is s a multiple of 10?
True
Let u(i) = -i - 17. Let g be u(-17). Let d be (-1 - -2) + g + 6 + -2. Suppose 5*b - 19 - 4 = -k, b = -d*k + 115. Is k a multiple of 2?
False
Let w be ((-9)/2)/(3/28). Let s be (168/(-35))/((-28)/(-30) + -1). Let j = s + w. Does 6 divide j?
True
Suppose -62360 - 22012 = -12*s. Does 51 divide s?
False
Suppose 5*i - 5*s = 11975, 4*i + 3*s = 8350 + 1188. Does 29 divide i?
False
Suppose -j - 15 + 4 = -4*y, 19 = y + 3*j. Suppose 6*d = 5*d + y*q + 10, 4*q = -12. Is 21 a factor of 6/(-27) - (5244/(-27) + d)?
False
Let i(b) = 20*b**2 - 83*b + 308. Is i(14) a multiple of 58?
False
Let g(h) = h**3 - 11*h**2 - 4*h + 8. Let f