 c = -22 + v. Is 3 a factor of c?
True
Let s be 4 - ((-2 - -3) + 3). Suppose -3*f + s*d = 5*d - 190, 0 = 3*f - 3*d - 198. Does 5 divide f?
True
Let l be (-6)/(-51) - (-66)/17. Suppose 3*n = 4*s - 7, -7*n = -l*s - 2*n + 17. Is 9 a factor of s + 2 - (-30 + 5)?
False
Suppose -8*z + 3*z = 3*l - 14, z = -4*l - 4. Let n(m) = 5*m**2 + 4*m + 1. Does 25 divide n(z)?
False
Let s be 5/2 - 5/(-10). Suppose s*j = j - 2*f + 42, 5*j = -4*f + 106. Is j a multiple of 18?
False
Suppose -n - 5*v + 24 = 0, 0*n + 2*v - 13 = 3*n. Let l be (-3 + -1)*n + 3. Suppose -2*k + l = -23. Is 4 a factor of k?
False
Let x = 378 - 193. Suppose -5*q = -k + 5*k - 309, -3*q - 2*k + x = 0. Suppose 4*z - q = 3. Is 8 a factor of z?
True
Let h(s) = 8*s - 13. Suppose 19*p - 22*p = -18. Let y be h(p). Let n = y + 10. Is n a multiple of 15?
True
Let r(x) = -x**2 + x + 66. Let t(m) = m**3 + 3*m**2. Let s be t(-3). Suppose -4*i - i = s. Is 22 a factor of r(i)?
True
Suppose -b + 6 = -2*z + 3*z, 0 = -4*b + 2*z + 6. Suppose 1 = -b*i + 2*l + 19, -4*i + l = -19. Does 2 divide i?
True
Suppose 11*x = 15*x - 76. Let f = x + -2. Does 6 divide f?
False
Suppose 2*q - 4*v = 480, -21*q + 20*q - v = -255. Is q a multiple of 57?
False
Does 11 divide (0 - 4) + (-11 - -165) + -7?
True
Let j(x) = -x + 2. Let q be j(6). Let f be 0/(q - 0) + 4. Let a = f - -20. Is 8 a factor of a?
True
Let n(m) = -m**2 + 21*m + 8. Let k be n(15). Suppose 2*p - 190 = k. Is 24 a factor of p?
True
Let q be 4/(-6)*(1 - -2) + 2. Suppose 21*w + 105 - 693 = q. Is w even?
True
Let m(r) = -20*r - 6. Let o be m(-4). Let j be 4/6*(o + 7). Let t = 1 + j. Does 21 divide t?
False
Let g(q) = q**3 + 7*q**2 + 6*q. Let t be g(-6). Suppose t = 3*o, -3*k - 6 = -o - 27. Let m = k - 4. Does 2 divide m?
False
Let m = 30 + -13. Let j be m + 1/(-3)*-3. Is (-64)/(-12)*j/8 a multiple of 4?
True
Suppose 5*d = 4*d - 4. Let n = 6 + d. Suppose -n*g + g + 4 = 0. Does 4 divide g?
True
Let o be 6/(-10) - 8704/85. Let s = o - -207. Suppose -2*x = 4 - s. Is 10 a factor of x?
True
Is 52 a factor of (4/(-2) - 2)/(7/(-287))?
False
Suppose 2*s = s - 41. Let u = -16 - s. Is u a multiple of 25?
True
Suppose 2*x - x = -4. Let p(w) = w**2 - w - 6. Let j be p(x). Does 17 divide (480/(-56))/((-2)/j)?
False
Let u(m) = -m - 18. Let v be u(-16). Is ((-9176)/(-28))/2 + v/(-14) a multiple of 41?
True
Let d = -62 + 87. Suppose 4*z = 5*s - 5 + d, 5*s + 25 = 5*z. Suppose 4*n + s = 60. Does 5 divide n?
True
Let j(w) = 6*w - 4. Let q be j(4). Let x be (23 + -13)*(6 + -2). Let a = x - q. Does 10 divide a?
True
Let l = 17 - 14. Suppose 4*z + 309 = -5*a, 0 = -5*a + 2*a - l. Let f = z - -142. Is 22 a factor of f?
True
Let t(j) = -279*j + 264. Does 79 divide t(-5)?
True
Let g = 445 - 242. Suppose 2*h - g = 35. Is 41 a factor of h?
False
Suppose 0 = n + 4*t - 408, -5*t - 1280 - 12 = -3*n. Is 4 a factor of n?
True
Is 43 a factor of -3*((25 - 21) + (-98)/3)?
True
Suppose -c = 4*w - 301, -2*c + 0*w + 4*w + 554 = 0. Is (1 - c/6)*(-4)/3 a multiple of 24?
False
Suppose -2*w - 4*r - 4 = 32, 5*w = -3*r - 62. Does 36 divide (150 + -6)/((-4)/w)?
True
Suppose 411*g + 5490 = 416*g. Does 5 divide g?
False
Let q(f) be the third derivative of f**7/56 + f**5/120 - f**4/24 - f**3 + 10*f**2. Let d(p) be the first derivative of q(p). Is 11 a factor of d(1)?
False
Suppose 8*l = 4*l + 3000. Does 50 divide l?
True
Let z(w) = -3*w**2 + 9*w - 2. Let s = -8 - -14. Let r be z(s). Let i = -12 - r. Does 10 divide i?
False
Let y = -2240 - -3592. Does 104 divide y?
True
Let y(b) = -59*b**3 + 1. Let z be y(-1). Suppose 2*i - z = -3*i - 2*r, -5*r - 12 = -i. Does 12 divide i?
True
Let v = 99 - 166. Let o = 121 + v. Is 27 a factor of o?
True
Let r be (-14076)/(-30) + -3 + 2/(-10). Suppose 3*h - 5*b - 223 = 51, -r = -5*h - b. Is h a multiple of 31?
True
Let q = -8 + -6. Let m = -11 - q. Suppose m*r - 35 = -g, -g - 4*g = -25. Is r a multiple of 5?
True
Let i(q) = q**2 - 8*q + 6. Let n be i(7). Let o = 19 - n. Does 3 divide o?
False
Let w(s) = -34*s**3 - 2*s**2 - 5*s - 3. Let d(i) = 68*i**3 + 4*i**2 + 11*i + 7. Let j(t) = 2*d(t) + 5*w(t). Is 5 a factor of j(-1)?
False
Let m(c) = 120*c + 102. Does 18 divide m(11)?
True
Let v(u) = 4*u - 2. Let j be v(-2). Let h = -2 - j. Is h a multiple of 3?
False
Let z(i) = -i - 6. Let o be z(-8). Suppose -3*q = -o*q - 1. Let g(f) = 11*f**2 - 1. Is 10 a factor of g(q)?
True
Let o = 4505 - 1787. Is 151 a factor of o?
True
Let c = -14 + 17. Suppose 0 = -c*p + 56 + 106. Is 9 a factor of p?
True
Let m(o) = 2*o**2 - 7*o + 1. Does 2 divide m(-5)?
True
Let g(a) = -a**2 - 50 + 0*a**2 + 24*a + 8. Is g(18) a multiple of 11?
True
Let z(l) = -6*l**3 - l**2 - 2*l + 4. Let d be z(2). Let x = 10 - d. Is x a multiple of 15?
False
Let l(p) = 258*p**2 - 2*p + 8. Is 31 a factor of l(-3)?
False
Let j(i) = 12*i**2 + 8*i - 2. Is 10 a factor of j(-6)?
False
Let b = 1438 + -606. Is b a multiple of 51?
False
Let y = 744 - 85. Is 6 a factor of y?
False
Let j(f) = -3*f**3 + 15*f**2 + 17*f - 3. Does 21 divide j(-5)?
False
Is 39/65 - 11674/(-10) a multiple of 76?
False
Let i = -10 + 14. Suppose -17 = -0*p + p + 3*y, 2*y + i = 3*p. Does 4 divide ((-16)/14 - p)*14?
True
Suppose 3*i = -0*i + 2*o + 492, 5*i - 5*o = 825. Is 24 a factor of i?
False
Let d(u) = -27*u + 34. Let x be d(7). Let f = x - -327. Is 26 a factor of f?
False
Suppose 6*n + 3594 = 3*c, 2529 = 4*c + n - 2272. Does 32 divide c?
False
Let p(y) = 16*y - 37. Let f be p(11). Suppose -f = -3*o + 233. Is 31 a factor of o?
True
Does 14 divide 228/24 + -12 - (-1097)/2?
True
Let z(h) = 336*h - 15. Does 36 divide z(1)?
False
Is (0 - 3)/((-39736)/(-3976) - 10) a multiple of 42?
False
Let j be 74/8 - 2 - 11/44. Is 358/8 - j/(-28) a multiple of 6?
False
Let x = 9 + -6. Suppose -t - x*u = -3*t + 329, t - 4*u = 172. Is 20 a factor of t?
True
Suppose 4*k + k = 40. Suppose -8*h + h = 0. Suppose 5*c - 5*s - 60 = h, 3 = -2*c - 5*s - k. Does 4 divide c?
False
Let g(p) = -59*p - 35. Does 24 divide g(-25)?
True
Suppose 0 = -6*l + 2*l + 300. Let c = -37 + l. Does 19 divide c?
True
Let s(l) = 332*l**2 - 15*l - 14. Is 15 a factor of s(-1)?
False
Let x = 313 - -138. Does 41 divide x?
True
Let k be (30/24)/(2/8). Let f be k/(1/(-136)*-2). Suppose -6*u + u = -f. Is u a multiple of 17?
True
Let c = -5 - -2. Let q be c/((1 - 3) + 3). Is 2/q + 376/24 a multiple of 15?
True
Does 8 divide 528/(6 + 3 - 7)?
True
Let s(i) = 13*i**2 + 8*i - 17. Let b(j) = -4*j**2 - 3*j + 6. Let n(y) = -8*b(y) - 3*s(y). Let z be n(5). Is 10 a factor of 4/(-6) + z/(-6)?
False
Let i(s) = 3*s**2 - 6*s + 28. Is i(12) a multiple of 52?
False
Let r = 531 - -518. Does 77 divide r?
False
Suppose 650 = -26*z + 31*z. Does 65 divide z?
True
Let a be (-1 + 2 - -1) + -27 + 9. Let l = 44 - a. Does 30 divide l?
True
Let g = 4 + -1. Suppose g*z = -8*z + 1430. Does 13 divide z?
True
Let q be -1 + 5/((-20)/(-16)). Suppose 5*y + g - 134 = 251, -q*y - 5*g + 209 = 0. Let w = y + -45. Is w a multiple of 22?
False
Suppose -5*m + 2*o - 23 = 0, 0 = -3*m + 6*m - 4*o + 11. Let j = m + 25. Is 20 a factor of j?
True
Suppose 0 = 5*g - 4*f - 14 - 0, 3*g + 4*f - 34 = 0. Suppose y + 48 = 4*l, g*y = 2*y. Is 7 a factor of l?
False
Let q = -6 + 6. Suppose q = -3*o - 2*h + 233, -2*o - 2*h + 5 = -151. Does 11 divide o?
True
Let k = 101 + -69. Is k a multiple of 8?
True
Let w(j) = 25*j + 4. Let s be w(-4). Does 24 divide (-1 + -1)/(2/s)?
True
Let f = -99 - -337. Is f a multiple of 5?
False
Suppose 0 = 5*m + 77 + 88. Let l(g) = g**3 + 15*g**2 + 4*g + 10. Let h be l(-15). Let n = m - h. Does 8 divide n?
False
Let a be ((-2)/4)/((-1)/(-4)). Let d be 6 + a - (-1 + -7). Suppose 11*p - d*p + 21 = 0. Is p a multiple of 8?
False
Suppose -x - 1497 = -4*q, 3*x + 746 = 2*q + 5*x. Is 17 a factor of q?
True
Let u(s) = -3*s**3 - 6*s**2 + 74*s + 11. Is u(-7) a multiple of 19?
True
Suppose 5*b + 25 = 0, 16 + 7 = 2*g - 3*b. Suppose 0*y - 20 = -g*y. Suppose 3*c - 22 = -y*k, 3*c + 2*k + 3 = 19. Is c a multiple of 2?
True
Let v(t) be the first derivative of 7*t**2/2 - 21*t - 4. Is v(15) a multiple of 12?
True
Suppose -5*k = 2*w - 81, -2*k + 5 = -w + 23. Let r = 14 + w. Is 21 a factor of r?
True
Suppose -4*h + 3*z = -1, 3*z - z - 6 = h. Suppose h*w = 2*y + w - 57, -4*w - 87 = -3*y. Is 18 a factor of y?
False
Let m be (-2 - (-20)/6)/((-2)/(-45)). Suppose -c - 4 + 3