 4/24*-3. Let s = m - 145. Is 5 a factor of s?
False
Let v(k) = k**2 + 12. Let n be v(0). Let m(z) = -z**3 + 12*z**2 - z + 16. Let r be m(n). Suppose -l + r*l = 27. Is l a multiple of 5?
False
Let c(n) = -7*n - 11. Let b be c(-2). Let d(f) = 14*f**2 + f - 4. Is d(b) a multiple of 20?
False
Suppose 7*m + 10 = 5*m. Let u(k) = -k**3 + 2*k**2 + 2*k - 12. Is 51 a factor of u(m)?
True
Let o(g) = 3*g - 3. Let x(u) = -u**2 - 11*u + 13. Let j(h) = -9*o(h) - 2*x(h). Let w = -18 - -22. Is 5 a factor of j(w)?
False
Is 46 a factor of 370290/115 - (-14)/161?
True
Let n(g) = -g**2 + 10*g - 9. Let o be n(6). Suppose -3*y = 3*f + 12, -3*y - 5*f - 4 - 10 = 0. Let r = o - y. Does 6 divide r?
True
Let k be 164*(12/(-8))/(-3). Suppose 0 = -x + 19 + 3. Let g = x + k. Is g a multiple of 23?
False
Let y = 13 + -20. Let p = y + 9. Suppose 3*v - 37 = -2*x, -17 = -p*x + 3*v + 2. Does 7 divide x?
True
Let m(h) = -1015*h**3 - 2*h**2 - 5*h - 4. Does 39 divide m(-1)?
True
Let o be (-17)/(-6) - (-4)/24. Let l be 49 + (1 - -1) + o. Suppose k - l = -k. Is k a multiple of 9?
True
Let j(r) = -111*r**3 + r**2 - 1. Let v be j(-1). Suppose 0 = -d - 4*k + 102, 0*d - 5*k - v = -d. Is d a multiple of 13?
False
Let q(r) be the second derivative of r**6/240 + r**5/30 - r**4/2 + 2*r. Let b(a) be the third derivative of q(a). Does 7 divide b(7)?
False
Suppose 0*p + 350 = 2*p. Suppose 1685 + p = 5*j. Suppose 4*u = -144 + j. Is 19 a factor of u?
True
Let h be 8/2 + (-4 - -17). Suppose -q = 7 - h. Is q a multiple of 2?
True
Let q(v) be the third derivative of v**6/24 - v**5/60 - v**4/24 + v**3/2 - 4*v**2. Is q(3) a multiple of 21?
True
Suppose 0 = -2*h + 7*h - 150. Is ((-15)/h)/(2/(-344)) a multiple of 8?
False
Suppose -242 = 13*a - 567. Is 9 a factor of a?
False
Suppose 0 = -d + 5*d. Let k be (d + -2 - -5) + 64. Suppose 3*j - 66 = -2*r + 3, k = 2*r + 5*j. Is r a multiple of 18?
True
Suppose -11 = z - 13. Let m be 7/14 - (-5)/z. Suppose -74 = y - 6*y - m*a, -5*y + 80 = 5*a. Does 13 divide y?
True
Suppose -4*n = q - 6*n - 487, n - 1984 = -4*q. Let i = -236 + q. Is i a multiple of 37?
True
Let d(h) = 5*h**2 + 8*h + 9. Let f(b) = -b**3 + 7*b**2 - 7*b - 1. Let k be f(6). Let j be d(k). Does 9 divide j/8 + (-9)/12?
False
Let l(u) = 14*u**2 - 38*u + 20. Does 52 divide l(6)?
False
Let z be 1/((-127)/(-469) + (-24)/84). Let y = -55 - z. Is y a multiple of 4?
True
Does 7 divide (2/2)/((-43)/(-2279))?
False
Suppose -3*f = -2*f - 6. Let i be (f/(-12))/((-1)/132). Suppose -3*n + i = -0*n. Is n a multiple of 4?
False
Let c(d) = -3*d + 18. Let m be c(5). Let q(z) = 14*z**2 - 6*z + 12. Is q(m) a multiple of 20?
True
Let a = 12 + -8. Suppose -4*n = -0*n + a. Is 5 a factor of n/(-4) - (-78)/8?
True
Suppose -a + 2*d - 36 = 0, 0 = -3*a + 3*d - d - 100. Let o = -30 - a. Suppose -o = -2*z + 18. Is z a multiple of 3?
False
Let w(f) be the first derivative of -f**4/4 - 10*f**3/3 + 5*f**2 - 9*f + 9. Let p be w(-11). Suppose -d + 11 = p. Is 3 a factor of d?
True
Is 1 - 5544/(-16 + 8) a multiple of 8?
False
Suppose -2*w + 2*x = -2*x - 12, 3*x = 3*w - 12. Suppose w*l + 41 = 15. Let j = l - -27. Does 7 divide j?
True
Let i(d) = -237*d - 39. Does 15 divide i(-2)?
True
Let r = 15 - 9. Let q(w) = -w**3 - 8*w**2 - 8*w - 2. Let g be q(-7). Let u = r + g. Is u a multiple of 11?
True
Suppose 6 = 4*t - 2. Suppose 2*q = -3*y + 352, -t*q - 531 = -5*q - 3*y. Is 38 a factor of q?
False
Suppose -2*f = 2*o - 590, 5*o - 1104 = 4*f + 326. Does 2 divide o?
True
Let u = 6 - 14. Does 11 divide u/28 - (-312)/14?
True
Let d = 6 + -2. Suppose 3*b = d*b - 5. Suppose -5*n + 3*q = -127, -b*n + q = 3*q - 107. Is n a multiple of 23?
True
Is (8 - 20 - -1688) + -12 a multiple of 26?
True
Let k(s) = -8*s**3 + s**2 - 2*s + 1. Let q be k(1). Let j be (8/(-6))/(q/12). Suppose 7*r - j*r - 39 = g, 3 = r - 5*g. Is r a multiple of 8?
True
Does 8 divide ((-130)/(-15))/((-5)/(-20))*3?
True
Suppose -5*n - 2*l = 710, 3*l + 88 = -3*n - 329. Let x = n + 156. Is x a multiple of 6?
True
Suppose 3*m = -107 + 530. Is m a multiple of 47?
True
Let z be 3*1 - (4 - (-6 + 7)). Suppose z = 3*b - 113 - 4. Is b a multiple of 39?
True
Let q(p) = 7 + 0*p**2 + 13*p**2 - p**2 - 10*p**2. Does 13 divide q(4)?
True
Suppose -116*x + 14868 = -80*x. Is x a multiple of 31?
False
Is 36 a factor of 2/13 + 16824/156?
True
Suppose -5*x + 45 = 2*z + 3*z, 0 = 3*x - z - 15. Suppose 3*u - x = -5*y, -3*u + 3 = 4*y - 0*u. Is (-1 + y/2)*210 a multiple of 21?
True
Suppose -4 = -3*a + 2*d - 2, 0 = -3*a - 4*d + 14. Suppose -a*o - p = -4, 2 + 8 = 5*o - 5*p. Does 2 divide o?
True
Suppose 7*x - 2*x = -50. Does 6 divide x*3/15*-4?
False
Let j(c) = 3*c**2 + 13. Let a be j(4). Suppose -4*q = a - 457. Is 7 a factor of q?
False
Let v(f) = -3*f + 19. Let s be v(-13). Let w be (s/(-3))/(10/(-45)). Suppose -198 = -3*m + w. Is m a multiple of 16?
False
Let i(r) be the third derivative of 0*r**3 - 31/24*r**4 + 0 + 0*r + r**2. Is 30 a factor of i(-3)?
False
Let o be ((-1)/(-2))/((-15)/(-90)). Suppose 464 = o*x + 5*x. Does 29 divide x?
True
Is (-1254)/76*28/(-6) a multiple of 7?
True
Is 8 a factor of (258/(-4))/((-42)/224)?
True
Suppose 4*x + 2*j + 312 + 200 = 0, -4*j = 2*x + 256. Let l = 414 - 504. Let m = l - x. Is 19 a factor of m?
True
Let w = 3 + 0. Suppose 0 = w*p - 2*p - 3. Does 13 divide 51 + (p - 3) + 1?
True
Let g be (1 - -67) + -14 + 12. Let s = g + 35. Is 31 a factor of s?
False
Let k(c) = 24*c + 479. Is 10 a factor of k(0)?
False
Let o(w) = w**3 - 9*w**2 + 7*w + 3. Let m be o(8). Let q = 4 + m. Does 28 divide -1*255/(-3) + q?
True
Suppose -12 = 4*v - 5*p, 2*p = -3*v - 5 + 19. Let b(x) = 22*x**3 - x**2 - x + 2. Does 43 divide b(v)?
True
Suppose 8*y = 7*y + 11. Suppose 4*t = 5*x - 86, -9 = -x - 2*t + y. Is 17 a factor of x?
False
Suppose 3*z = 3*l - 249, -96*z + 92*z - 68 = -l. Is 11 a factor of l?
True
Let i(s) = s**3 + 29*s**2 + 37*s + 66. Is 33 a factor of i(-22)?
True
Let z(t) = t**3 + 14*t**2 + 2. Let a be z(-14). Let m = 65 - a. Does 5 divide m?
False
Suppose 0 = 8*j - 11*j + 18. Is 6 a factor of ((-50)/30 + 4/j)*-7?
False
Let i(d) = d**2 + 6*d + 9. Let b be i(-9). Let y = 53 - b. Is 7 a factor of y?
False
Let c(l) be the first derivative of 12*l**2 - 5*l + 17. Does 8 divide c(3)?
False
Let z(t) = -2*t**3 + 33*t**2 - 10*t - 15. Is 9 a factor of z(16)?
True
Let n(o) = o**2 - 2*o - 10. Let p(f) = -f**2 + 6*f + 9. Let b be p(7). Suppose -3*j - b*j = -35. Is 9 a factor of n(j)?
False
Suppose 665 = -5*v + d, 5*d + 137 + 234 = -3*v. Let a = -114 - v. Does 6 divide a?
True
Let s(g) be the third derivative of 1/3*g**4 - 3*g**2 + 0*g + 0 - 2*g**3. Does 17 divide s(7)?
False
Suppose 0 = 4*k - 7*k + 477. Does 10 divide k?
False
Let v(i) = 0*i**3 + 9 - 8*i**3 + 9*i + 0*i + 11*i**2 + 9*i**3. Is 4 a factor of v(-10)?
False
Let c = -47 + 68. Suppose 15*r = c*r - 282. Does 8 divide r?
False
Let z(u) = 8*u + 81. Let y be z(9). Let f be (-1 - 13)/(-2) - 0. Suppose 0 = -f*n + 699 - y. Is 17 a factor of n?
False
Let k(r) = r**3 - 5*r**2 + 12*r - 6. Let y = 30 - 25. Does 28 divide k(y)?
False
Let x(b) be the second derivative of 3*b**3/2 + 2*b**2 - 9*b. Is x(4) a multiple of 8?
True
Let u = -37 + 40. Suppose 0 = -4*b - b - u*j + 529, 2*b - 196 = 4*j. Is b a multiple of 8?
True
Let d(n) = 64*n**2 + n + 6*n**2 + 2*n + 2. Is d(-1) a multiple of 22?
False
Let d(x) = 228*x**2 - 24*x + 63. Is 28 a factor of d(3)?
False
Suppose f = 2*t - 3503, -3*t = -0*t - 4*f - 5262. Is t a multiple of 25?
True
Is 2 a factor of (-714)/(-9) - 4/(12 - 0)?
False
Suppose 4*w - f + 5*f = 740, -w + 197 = -2*f. Let x = w - 85. Is x a multiple of 8?
True
Suppose 3*o - 3*v = 8*o - 502, 4*v = -3*o + 310. Let c = -19 + o. Does 14 divide c?
False
Let g(l) = -2*l - 3. Let o(h) = 2*h**2 + 4*h + 3. Let f be o(-2). Let k be g(f). Let w = 39 + k. Is 15 a factor of w?
True
Suppose -3*r + 99 = t - 388, 2*r + 2*t - 318 = 0. Is 20 a factor of r?
False
Suppose 0 = -3*i - 5*v + 982, 1554 = 4*i - 4*v + 298. Suppose 0 = -y - 4*n + 113, 3*y - i = -0*y - 2*n. Is 22 a factor of y?
False
Let i = -6 - -4. Let x(m) = 5*m - 82. Let b be x(2). Is b/(-14)*(-7)/i a multiple of 9?
True
Let f(k) = k**2 + 8*k + 8. Let d be f(-7). Let v be 4/4 + -2 + d. Suppose -b = -3*h - 65, -4*b - 4*h + 172 + 168 = v. Is b a multiple of 20?
True
Suppose -m - 10*h = -9*h - 1562, -4*h =