k be (-6)/9 - z/(-6). Suppose -3*p - 5*b + 18 = -b, 4*p - 24 = -k*b. Is 5 a factor of p?
False
Let f = 273 + -133. Is 35 a factor of f?
True
Is 25 a factor of 4512/10 + (-87)/435?
False
Is (-614)/(-6) - (-8)/12 a multiple of 7?
False
Let w = 23 + -18. Suppose 2*i = -6, -77 + 309 = w*t + i. Suppose 0 = -5*b - 4*d + 134 - t, 2*d = -4. Does 9 divide b?
False
Let s = 393 - -110. Does 51 divide s?
False
Suppose 0 = -2*a - a + 3*g + 6, 2*g + 7 = 3*a. Let z be (2/5)/((-1)/5). Is 2 + z + 13 + a a multiple of 11?
False
Let w = 975 - 618. Is 51 a factor of w?
True
Let b be (-8)/20 + (-24)/(-10). Let t be (2/4)/((-6)/(-264)). Suppose 66 = b*g - t. Is g a multiple of 16?
False
Let f = -19 - -9. Let a = -10 - f. Let i = a - -12. Is i a multiple of 4?
True
Suppose -2*d - 3*d - 35 = 0. Let n(w) = 5 - 3*w**3 + 6*w**2 + 4*w**3 - 2 + 3*w**2 + 9*w. Does 19 divide n(d)?
True
Suppose -3*u - 6 = 0, 0 = y - 5*u + 2*u - 67. Suppose 4*t - y = -2*b + 3, 3*b - 4*t = 136. Is b a multiple of 20?
True
Let m = -3 - -29. Let g be (129/3)/((-2)/(-2)). Suppose -4*u - c - 4*c + g = 0, -2*u = -2*c - m. Is 11 a factor of u?
False
Is ((-625)/20 - -5)*-4 a multiple of 17?
False
Suppose 690 = 6*n + 300. Does 2 divide n?
False
Let j(x) = x - 2. Let v be j(1). Let n = v + 19. Is ((-141)/(-2))/(n/24) a multiple of 15?
False
Suppose 12*d + 36 = 16*d. Suppose d*l - 222 = 156. Is l a multiple of 21?
True
Suppose 10 = -5*w + 20, 0 = 3*f + 2*w - 1771. Does 47 divide f?
False
Suppose g + 2*g + 21 = 5*q, -5*q = 4*g - 7. Suppose 0*z = -q*z. Suppose -5*j - 33 + 258 = z. Is 15 a factor of j?
True
Let s(t) = 3*t**2 + 47*t + 56. Does 13 divide s(-18)?
True
Let g(u) = 2*u**2 + 2*u. Let z be g(-2). Suppose 5*o - 2*o = 9, -z*o + 8 = -2*b. Suppose -b*l + 3*l = 51. Does 18 divide l?
False
Let q(m) = m**3 - 13*m**2 + 2*m - 15. Let b be q(13). Let c(g) = 25*g - 10. Does 16 divide c(b)?
False
Suppose -2*s + 6*s + 3*p - 9 = 0, 0 = -3*s + 5*p - 15. Suppose -2*o + 11 + 9 = s. Is 8 a factor of 2/o + (-119)/(-5)?
True
Suppose 2*p - w = 27, -w - 3*w = 2*p - 22. Let n = p - 20. Does 24 divide 2*n/(28/(-48))?
True
Suppose -2*m + 207*k + 129 = 208*k, -3 = 3*k. Is 6 a factor of m?
False
Let s be 6/(26 - 2) + 22/8. Suppose -4*b = b + s*z - 231, 0 = 4*b - 5*z - 207. Is 12 a factor of b?
True
Let x be 2/((24/90)/(10*-1)). Let s = 96 + x. Is s a multiple of 3?
True
Suppose 4*q = 3*f - 137, 4*f + 4*q = -q + 224. Suppose 3*l = 192 - f. Is 14 a factor of l?
False
Does 20 divide 2 + (156/1)/4?
False
Let m = -326 + 578. Does 36 divide m?
True
Suppose a - 2*q = 507, -5*a + 2*q = 7*q - 2610. Is a a multiple of 32?
False
Let k(w) = -w**2 + 22*w. Let z be k(22). Suppose 4*y - x = 209, z*x + 77 = 2*y + 5*x. Does 15 divide y?
False
Does 6 divide (169/(-39) - -1)*51/(-2)?
False
Suppose 0 = i - 5*g - 334, 0 = -2*g + 7 - 13. Is 11 a factor of i?
True
Suppose 5*d = -p + 101, -5*d - 2*p + 105 = 3*p. Let z(v) = 49 - d + 8*v + 8*v - 26. Does 21 divide z(7)?
False
Suppose 139 = 8*i - 397. Suppose 2*y - 5*a + i = 3*y, -a - 226 = -4*y. Does 14 divide y?
False
Suppose -5*d = -4*d - 1. Suppose -5*m = -2*s - 35, -s + 4 = 5*m - d. Is 13 a factor of 9 + 5/(s/(-8))?
True
Let b(z) = 3*z**2 + 19*z + 11. Let k(o) = 7*o**2 + 39*o + 21. Let u(g) = 5*b(g) - 2*k(g). Does 3 divide u(-17)?
False
Suppose w = -5*m + 9, 5 = -2*m - 5*w + 4. Suppose s = 5*k - 3 + m, -4*k - 100 = -5*s. Is s a multiple of 7?
False
Let d(m) = 2*m**2 - m - 4. Let r(h) = 4*h**2 - 2*h - 8. Let w be 0 + (2 - 7) + 3. Let c(x) = w*r(x) + 5*d(x). Does 22 divide c(-5)?
False
Does 34 divide (-2)/(-3) + (-6 - (-5840)/24)?
True
Let z(a) = a**2 - 17*a + 68. Is z(21) a multiple of 19?
True
Suppose 2*h = -3*h + 140. Suppose -2*n - 224 = -4*p, 0 = 3*p + 2*n - h - 140. Is 14 a factor of p?
True
Let p(d) = d**3 + 9*d**2 + 10*d + 16. Let y be p(-8). Suppose y = -4*i - 5*h + 259, 0*i = -2*i - h + 125. Is i a multiple of 5?
False
Let j = 35 - 35. Suppose x = -4*g + 2*x + 107, -5*g - 5*x + 165 = j. Is g a multiple of 4?
True
Let b(n) be the second derivative of n**5/20 - 5*n**4/4 + 7*n**3/3 + 7*n**2/2 + 49*n. Let m be (7/4)/(1/8). Does 2 divide b(m)?
False
Suppose -3*n + 0*p - 3*p = -858, -2*p - 1444 = -5*n. Let y = 415 - n. Let l = y + -85. Is l a multiple of 21?
True
Suppose -5*s - 8 = 2*v - 35, 23 = 2*v + s. Suppose 2*n + 2*n = l + v, 0 = 2*n + l - 1. Suppose 4*t - 10 = n*t. Is 5 a factor of t?
True
Let m = -1744 - -3022. Does 6 divide m?
True
Let d be 28/(-8)*80/(-28). Let n be 25*(24/d)/6. Does 23 divide 2*115/n*1?
True
Let m(c) = -c**3 - 8*c**2 + 10*c + 13. Let q be m(-9). Suppose -4*a - 105 = -q*i + 135, a = -4*i + 225. Is 10 a factor of i?
False
Suppose 24500 = 12*w + 16*w. Does 38 divide w?
False
Let p = -10 - -16. Is -3 + 52/(p/3) a multiple of 8?
False
Let s(r) be the first derivative of -r**5/20 + 3*r**4/4 - 2*r**3/3 + 3*r**2 - r - 2. Let b(u) be the first derivative of s(u). Does 19 divide b(7)?
True
Suppose 0 = v + 7*v - 96. Suppose 0*o + v = o. Does 3 divide o?
True
Suppose 0 = -3*n + n - h - 4, -4*n + 4*h + 16 = 0. Suppose -2*l - 2 = n, 6*l - 2*l - 116 = -c. Is 30 a factor of c?
True
Is (-2)/((66/760)/(-33)) a multiple of 50?
False
Let h be (4/(-10))/(5/(-50)). Let q(s) = 7*s - 13. Let z be q(h). Suppose -l + 19 + z = 0. Does 17 divide l?
True
Let p(c) = -2*c**3 + 2*c**2 + 8*c + 11. Let y = -32 + 37. Let h(x) = x**3 - x**2 - 4*x - 6. Let z(b) = y*h(b) + 2*p(b). Does 24 divide z(5)?
True
Let g(i) = -2*i**3 + 17*i**2 + 7*i + 8. Let a(q) = 5*q**3 - 51*q**2 - 20*q - 24. Let p(z) = 3*a(z) + 8*g(z). Is 20 a factor of p(-17)?
True
Is 7 a factor of (4 - (0 - -6 - -1)) + 1360?
False
Let j(a) be the third derivative of -9*a**4/4 + a**3/3 + 4*a**2. Let w be j(-2). Let k = -20 + w. Is 30 a factor of k?
True
Let w(a) = -a**3 - 4*a**2 + 14*a + 32. Let k be w(-6). Does 16 divide (((-408)/k)/(-3))/(1/40)?
True
Let y be (55/(-5))/(-2*2/28). Let a = 117 - y. Does 8 divide a?
True
Let k = 2764 + -1558. Does 67 divide k?
True
Let p be (-2242)/(-8) - (-2)/(-8). Let l(o) = 2*o + 3. Let w be l(0). Suppose -p = -w*y - 2*y. Does 14 divide y?
True
Suppose -2*l - 2 = -10. Let i be l + -2 - (36 - 2). Let c = -18 - i. Is c a multiple of 5?
False
Let v be (72/(-3))/(1 - 15/13). Suppose -v = -10*l + 1944. Is l a multiple of 42?
True
Suppose -5*z + 1240 = -5*u, -133 = z - 2*u - 382. Is 8 a factor of z?
False
Let w(z) = -z**3 - 2*z**2 - 54*z + 35. Is 43 a factor of w(-16)?
False
Suppose 0 = -5*u - 1425 - 4965. Does 33 divide 9/(-12) + u/(-8)?
False
Let b be (3 - 2)*(3 - (-2 - 2)). Suppose -2700 = b*t - 19*t. Is t a multiple of 15?
True
Let i be -3 - -2 - (-5 - -1). Let m be (i*40/(-12))/(-2). Suppose -w + 2*z = -14 + 5, 3*z = -m*w + 32. Does 7 divide w?
True
Suppose -4*m + 2833 - 97 = 0. Is 38 a factor of m?
True
Let q = -3154 - -4562. Is q a multiple of 44?
True
Let l = -279 + 666. Is l a multiple of 3?
True
Suppose 2*s - 5*s + 4 = k, 20 = 5*k + s. Let t(h) = 11*h + 1. Does 15 divide t(k)?
True
Suppose 0 = 2*b - h - 1019, 5*b - 2*h = -0*b + 2545. Is b a multiple of 12?
False
Suppose 37*j - 28*j - 540 = 0. Does 7 divide j?
False
Is 16 a factor of 12845/7 + 42/6 + 6?
False
Suppose 0 = 21*f - 22*f + v + 252, -3*v = -3. Is f a multiple of 15?
False
Let g = -423 - -1006. Is g a multiple of 56?
False
Suppose 6 = 3*x - 0*x. Let g = 9 - x. Suppose -2*j + 4*d = 0, 5*j - 4*d - g - 5 = 0. Is j a multiple of 2?
True
Let w be (-2704)/(-12) + 1/(-3). Suppose -55 + w = 5*z. Is 17 a factor of z?
True
Suppose 4*u = f - 81, -6 = u - 4*f + 33. Let b = 35 + u. Does 9 divide b?
False
Suppose -276 - 890 = -22*c. Does 2 divide c?
False
Let z(o) = 2*o**2 - 5*o - 4. Let j be z(-1). Suppose -j*i + 161 = 4*i. Is i a multiple of 23?
True
Let b = -262 + 2634. Is b a multiple of 128?
False
Is 6 a factor of 3/(3/(-30)*-5)?
True
Suppose 0*n - 4*l = -n - 24, -3*l = -15. Let w = 4 - n. Does 29 divide 1 - -52 - (w + -7)?
False
Let y = 2421 + -1829. Is y a multiple of 74?
True
Let j be (2/(-10))/(1/(-5)*1). Let q(n) = 118*n**3 - 1. Is q(j) a multiple of 39?
True
Let v = -40 + 37. Does 11 divide ((-20)/(-50))/(v/(-165))?
True
Let r(y) = 8*y + 26. Let v be r(-5). Is 9 a factor of (-1 - -2)/((-1)/v)?
False
Is 10 a factor of 18/(-3) - -2050 - -6?
True
Suppose -4*r - 388 = -j - j, r - 915 = -5*j. Suppose -358 = -2*c + 2*g, -j = -c - 4*g - 0. Is c a m