t s be y(4). Does 24 divide ((-7)/(-21))/(s/282)?
False
Let g(k) = 2*k**3 + 4*k**2 + 3*k. Let v be g(-2). Let z = 61 - 48. Let q = z + v. Does 2 divide q?
False
Let t = -323 + 1899. Is 10 a factor of t?
False
Suppose l = -5*p - 4*l, -5*p + 40 = -3*l. Suppose o + 308 = p*o. Is o a multiple of 11?
True
Let h(s) = 2*s. Let i(c) = -c. Let n(d) = 3*h(d) - 15*i(d). Is n(3) a multiple of 7?
True
Suppose -33 = -4*t - 3*j, -2*t - 4*j - 6 = -5*t. Suppose -r + 8 = t. Suppose 0 - 6 = -r*v. Is 2 a factor of v?
False
Let x(g) = 2*g + 10*g**2 + 5 - 4*g**2 - 7*g**2. Let p be x(0). Suppose p*i - 438 = -18. Does 22 divide i?
False
Let k = -99 + 105. Suppose -k*h + 147 = -753. Is 14 a factor of h?
False
Suppose 25 = 2*f - 7. Suppose -8 = 4*h - f. Is 27 a factor of 7 - -74 - 0/h?
True
Is (1360 - 6) + -13 - 10 a multiple of 121?
True
Let o = -2797 + 5014. Is 44 a factor of o?
False
Suppose -4 = 4*a + 5*m + 6, 0 = -4*a + 3*m + 6. Let z be 4*(2/2 - a). Suppose z*p - 9 = -5*g + 112, 0 = 3*g - 15. Does 12 divide p?
True
Let b(f) = -2*f - 2. Let j be b(-3). Let y(o) be the second derivative of 2*o**3/3 - o**2/2 + 10*o - 2. Is 15 a factor of y(j)?
True
Let z = 901 + -609. Suppose -3*f - 44 = -2*k + 97, -z = -4*k + 4*f. Is 13 a factor of k?
True
Does 12 divide (-1 - (0 + 0 + -346)) + 2?
False
Let w be (-1)/3*5328/(-16). Let b = w + -70. Is 6 a factor of b?
False
Suppose 189 + 324 = 19*k. Is 27 a factor of k?
True
Suppose 0 = 2*x - 30*x + 11564. Is 7 a factor of x?
True
Let q = 270 + 448. Does 3 divide q?
False
Let g(u) = -2*u**3 - 26*u**2 + 144*u - 2. Let m be g(5). Suppose -84 = 2*s + 130. Let k = s - m. Is 34 a factor of k?
False
Does 117 divide 4 + -2 + 7/(35/5360)?
False
Is (-3)/(-2)*(-36)/(-27) + 437 a multiple of 16?
False
Let y = -54 + 130. Suppose -22*p + 18*p = -y. Does 4 divide p?
False
Suppose p + x - 184 = 0, -4*p - 2*x - x + 732 = 0. Let k be (p/(-35))/(-3)*42. Is (-1)/(-4 - (-285)/k) a multiple of 8?
True
Let a(p) = p**2 - 9. Let w be a(-4). Suppose -w*b = -12*b - 100. Does 7 divide (35/b)/((-1)/4)?
True
Let o(x) = -2*x**2 - 3*x + 1. Let u be o(-3). Let w be (-36)/(-48) + 3894/u. Does 7 divide ((-2)/6)/(6/w)?
False
Let l(x) = 6*x**2 - 8*x + 23. Let d(n) = 5*n**2 - 9*n + 22. Suppose 4*j + 2 = -2*v, -2*j - 15 = 4*v - 5*v. Let w(z) = v*d(z) - 6*l(z). Is 20 a factor of w(-11)?
True
Does 7 divide ((-1)/2 + -4)*(-28)/6?
True
Let s be (-1 - -2)/((-3)/(-15)). Let o = s + 10. Let j = o - 3. Is j a multiple of 4?
True
Suppose 5*h - 3 = -33. Let d be (-939)/(-4) - h/24. Suppose l + 4*l - d = 0. Is l a multiple of 13?
False
Let q be (2 + 1)/((-6)/(-26)). Let i = q - 9. Suppose 88 = 2*m - 2*z, -105 = -i*m + 2*z + 79. Is 24 a factor of m?
True
Suppose -5*a + 0*a = -435. Let u = a + -42. Is u a multiple of 15?
True
Suppose 0 = 3*g + 4*l - 0*l + 6, 0 = 5*l + 15. Suppose g*q + 1 = 7. Suppose 0 = -2*r - 2*t + 126, q*r - 246 = -r + 2*t. Is r a multiple of 16?
False
Suppose 14*f - 303 - 873 = 0. Is 15 a factor of f?
False
Let j be ((-9)/(-9))/(3/12). Suppose -z - j = -16. Does 3 divide z?
True
Suppose 7*j - 291 = 171. Is 8 a factor of j?
False
Let g(w) = w - 5. Let u be g(-6). Let c = -45 - -22. Let o = u - c. Is 10 a factor of o?
False
Suppose -2*p = 5*d - 249, -2*p + 43*d = 38*d - 219. Is 14 a factor of p?
False
Let f(r) = -6*r**2 - 3. Let u be f(3). Let v(p) = 6*p - 100. Let n be v(0). Let c = u - n. Is 20 a factor of c?
False
Suppose -3*i = -7*i + 4992. Is i a multiple of 42?
False
Is 14 a factor of ((-224)/(-5))/((-8)/(-320))?
True
Is 24962/77 + 8/(-44) a multiple of 36?
True
Let n be (-2885)/(-20) - 1/4. Suppose -6 - 2 = -2*v. Suppose 2*s + s = 5*q - 180, v*q = -s + n. Does 9 divide q?
True
Suppose -4*r = -3*m - 28, -5*r = 2 - 7. Let v(w) = 5 - 5*w + 1 - 2. Is 11 a factor of v(m)?
True
Let c be 9/((-12)/(-992)*4). Let w = -102 + c. Is 14 a factor of w?
True
Let b(r) = r**3 + 13*r**2 - 8*r - 5. Does 14 divide b(7)?
False
Suppose 1546 = 20*o - 18*o + 5*d, 2*d = 4. Is 32 a factor of o?
True
Let n(i) = -i + 456. Does 25 divide n(31)?
True
Suppose 172*c = 142*c + 4560. Is c a multiple of 38?
True
Let r(v) = -v**2 - 14*v - 9. Let k be r(-13). Suppose 3*j = 12, -f - k*f - 5*j + 470 = 0. Is 18 a factor of f?
True
Suppose 0 = c - 193 - 203. Does 10 divide c?
False
Let o be 3/(3/(-8)*-4). Let r(w) = -4*w**o - w**3 - w**2 - 2 + 4*w**2 - w. Does 10 divide r(-4)?
True
Suppose 11*u - 13*u + 220 = -5*i, 4*i - 284 = -3*u. Is 4 a factor of u?
True
Let x(g) = 7*g + 72. Let c be x(-10). Is ((-88)/(-5))/(c/5) a multiple of 11?
True
Suppose i - 2282 = -2*a, i - 5*a - 2653 + 378 = 0. Is 76 a factor of i?
True
Suppose -14*u + 12*u - 2*y = -340, -832 = -5*u + 4*y. Is u a multiple of 21?
True
Let x(h) = 5*h - 74. Let w be x(23). Does 7 divide 8 + -11 + 0 + 3*w?
False
Let q(j) = -j**3 + 15*j**2 + 17*j. Let m be q(16). Let o = 16 - m. Suppose -2*r = 5*c - 148, -r + 4*r - 12 = o. Is c a multiple of 28?
True
Is (-20)/70 + (-15548)/(-28) a multiple of 20?
False
Let z(t) = t**2 - 3*t. Let c be z(5). Suppose 45 = c*v - 5*v. Let j = 40 + v. Is 19 a factor of j?
False
Suppose 0 = 2*d - 3*d + 5, -4*i = 3*d - 1719. Does 35 divide i?
False
Let s(z) = -z**3 - 22*z**2 + 32*z + 1. Is 77 a factor of s(-24)?
True
Let a(y) = -y**3 - y**2 - y. Let c be a(0). Let o = c - -41. Is o a multiple of 10?
False
Suppose a - 346 = 3*x - 63, -2*a + 571 = -x. Does 5 divide a?
False
Suppose 7*h + 4 = 8*h. Suppose 36 = n - a, 7*a - 116 = -4*n + h*a. Is n a multiple of 16?
True
Suppose 4*g = 5*l - 16 - 24, l = -3*g - 11. Suppose -4*j + r = 28, 0 = j - 5*r + l + 22. Let h(z) = z**3 + 5*z**2 - 5*z + 8. Is h(j) a multiple of 2?
True
Let b = 143 - 60. Suppose -3*p - z = -b, -7*z = 3*p - 2*z - 103. Let l = 3 + p. Is 8 a factor of l?
False
Let p = 11 + -1. Let h be (-18)/(-15)*p/4. Is 4 a factor of h + (11 - (5 - 3))?
True
Let h = 14 + 1. Suppose y + 1 = 3, l - h = -3*y. Let r = -1 + l. Is 6 a factor of r?
False
Let x be ((-5)/(-10))/(2/40). Let d = x - -53. Is 13 a factor of d?
False
Let x = -2 - -7. Let c = x - 8. Let q(z) = -z**3 + 2*z**2 + 3*z + 4. Is q(c) a multiple of 20?
True
Let m = 52 + -49. Let y = m - -35. Is 13 a factor of y?
False
Let w(f) = -4*f**3 + 7*f**2 - 10*f + 9. Let a(r) = -9*r**3 + 14*r**2 - 20*r + 19. Let c(b) = 3*a(b) - 7*w(b). Is c(6) a multiple of 6?
True
Let x = -115 - -178. Let c be 2/(-5) + x/45. Let m = 11 - c. Does 9 divide m?
False
Let h be (-11)/33 + 44/(-3). Does 10 divide (-1)/(-5) - 297/h?
True
Suppose d = -4*d + 40. Suppose f - 2*r - 40 = -0*r, -4*r = d. Suppose 2*t + 0*t = f. Is t a multiple of 18?
True
Let x be (-35)/(-20) - 1/(-4). Let h be (-1*1)/(8/(-16)). Suppose 0 = 2*m + 2*l - 108, x*l = h*m - 3*l - 73. Does 15 divide m?
False
Let w = 5 + 7. Suppose -97*m - 12 = -100*m. Suppose m*j + 3*u - 48 = u, j - u = w. Is j a multiple of 4?
True
Suppose -2*s + 6*s + 4 = 0. Let p(i) = -i**3 + 13*i**2 - 11*i - 3. Let j(n) = -n**2 + n - 1. Let x(b) = s*p(b) - 6*j(b). Is x(7) a multiple of 22?
True
Suppose 5*q - 5 = 90. Suppose -4*i + q = 3. Is i a multiple of 3?
False
Let i = 9 - -3. Let n(g) = g**3 - 7*g**2 + 3*g - 6. Let r be n(7). Suppose 3*s - i = r. Is 3 a factor of s?
True
Let y(m) = 3*m**2 + 22*m + 47. Is y(-17) a multiple of 30?
True
Let n = 372 - -252. Does 27 divide n?
False
Let z be 288/(-27) + 4/6. Let l = -11 - z. Is (-74 + l)*(2 + -3) a multiple of 15?
True
Suppose 4*i = -3*g + 2*i + 10, 5*g + i = 12. Suppose 0 = -12*q + 2498 - 626. Suppose v + q = g*x, -3*x + 234 = -0*x - 4*v. Does 26 divide x?
True
Suppose 35*r - 13599 = 4601. Is r a multiple of 32?
False
Suppose 18*s + 83 = h + 15*s, -4*h = -2*s - 352. Is h a multiple of 3?
False
Suppose -1 = -m - 2*s + 2, 2*s - 38 = 4*m. Let g be 28/m - (-18 + 0). Does 17 divide 54 + (4 - g/2)?
True
Suppose 0 = 45*w - 30*w - 11880. Does 24 divide w?
True
Suppose -b + 3 = -2*p - 5, 0 = 5*p. Suppose -9*j + b*j = -18. Does 6 divide j?
True
Let y(b) = b**2 - 8*b + 9. Let l be y(6). Let n be 0 - (0 + l + -43). Let v = n - 28. Is v a multiple of 10?
False
Let m(c) = -c - 2 + 14 + 6 + 2. Let q be m(18). Suppose 0 = y + 5*g - 11, -q*g - 165 = -5*y - 5*g. Does 13 divide y?
False
Suppose 2*k + 5*p + 64 = -k, -2*k + p - 21 = 0. Let f be 8/12 + (-344)/12. Let y = k - f. Does 4 divide y?
False
Let a be 119/13 - (-18)/(-117). Suppose a*n = 4*n + 130. Does 21 div