-2. Let n = 44 + v. Is 25 a factor of n?
True
Let s = 79 + -79. Suppose s = -3*k + 10 + 779. Is k a multiple of 13?
False
Suppose 3*r - 10 = -64. Let w = 63 - r. Does 27 divide w?
True
Suppose -29*u + 34*u = 35. Let h = 123 + u. Does 26 divide h?
True
Let w(f) be the first derivative of -f**4/4 + 19*f**3/3 + 21*f**2/2 + 16*f + 9. Is w(20) a multiple of 12?
True
Let c(s) = 98*s - 13. Let g be c(-4). Is 36 a factor of (-6)/(10/g*3)?
False
Suppose 2*h + 5 = 3*b, -1 = -5*b + 5*h + 14. Let x(c) = 12*c + 1. Let v be x(b). Let w = v - -43. Is w a multiple of 16?
True
Suppose -8*h = -36*h + 9744. Does 6 divide h?
True
Suppose 3*d - 6 = -f, 4*f - 4*d - 56 = -0. Let x be f/3 + 4/(-1). Let m(t) = t**2 + t + 78. Is 25 a factor of m(x)?
False
Let q = -14 - -10. Let t(m) = 2*m**2 + 7*m - 6. Let f(r) = -2*r**2 - 6*r + 5. Let l(y) = q*t(y) - 5*f(y). Does 4 divide l(2)?
False
Suppose d = l + 1 - 10, 5*l = 3*d + 35. Let o be (0 - 26) + (l - 6). Is 4/(-14) - 764/o a multiple of 9?
True
Suppose 8*i - 1856 = -8*i. Is 28 a factor of i?
False
Let f(s) = -2*s - 21 + 4*s + 15 + s**2. Let k be f(-4). Is 5 a factor of k/(-13) - (-985)/65?
True
Let t(g) = g**2 + 2*g + 1. Let h be t(-2). Let l be -1*(76 + (-1 - h)). Let s = 134 + l. Does 20 divide s?
True
Suppose 14 = -k - 5*g, 0 = k - 4*g - 35 + 13. Let p = k + 19. Let v = 63 - p. Does 10 divide v?
False
Suppose -50*f - 726 = -56*f. Does 6 divide f?
False
Suppose -2*n - 3*n - 450 = 0. Let h = -66 - n. Is 9 a factor of h?
False
Is 7350/12 + 2/(-4) a multiple of 34?
True
Suppose -4*k + 5*f + 2605 = 0, 5*k - 123*f + 128*f = 3245. Does 36 divide k?
False
Let p(a) = -a**2 - 11*a - 16. Let t be p(-8). Suppose -2*x + 0*x - t = -2*w, -4*x + 5*w = 14. Let k = x + 11. Is 2 a factor of k?
False
Let v = 425 - 131. Does 15 divide v?
False
Let v be (2 - -26) + (-1 - 1)/(-1). Suppose 3*y + v = 4*k - 29, -2*y - 72 = -5*k. Is 14 a factor of k?
True
Is 26 a factor of (-12*(-258)/(-90))/(6/(-285))?
False
Let v be (51/34)/((-6)/208). Let h = v + 84. Is 32 a factor of h?
True
Let w(m) = 4*m - 2. Let k(f) = 7*f - 3. Let i(o) = 3*k(o) - 5*w(o). Let v be i(-2). Let t = 1 - v. Is t even?
True
Suppose 5*c - 5497 = 1903. Does 74 divide c?
True
Let h = 13 + -9. Suppose -9 = -f - h. Suppose f*z + 60 = 7*z. Is 15 a factor of z?
True
Let d = -96 + 95. Does 13 divide (15/45)/(d/(-237))?
False
Let i be -157 + 2 + (-1 - 4). Let w = -123 - i. Is w a multiple of 37?
True
Let k be (6/(-18))/((-1)/(-3)). Let g = -3 + k. Does 9 divide (-2 - 26/g)*12?
True
Let q be 3 + (-1 - 0) - (3 + -4). Suppose -3*n + 5 = -4*v - 70, -q*v = -3*n + 78. Does 4 divide n?
False
Suppose 0 = -5*o - 130 - 310. Let x = o + 170. Does 13 divide x?
False
Let d(x) = 14*x**3 - 3*x**2 - 11*x + 2. Let m(a) = -13*a**3 + 2*a**2 + 10*a - 3. Let z(s) = -4*d(s) - 5*m(s). Is z(3) a multiple of 25?
True
Let v = -2 + 3. Suppose -3*l - 9 = 0, 3*b - 5*l + 5 = -b. Is 7 a factor of v*45 - (b - -8)?
True
Suppose 3*b - 42 = 6*b. Let p = 30 + b. Does 3 divide p?
False
Let l(p) = -p + 4. Suppose -5*k = 15, 2*a - k + 0 - 3 = 0. Let m be l(a). Suppose 11*f - 189 = m*f. Is f a multiple of 5?
False
Let d be 3 + (-1)/(2/88). Let w = 0 - d. Does 20 divide w?
False
Suppose 0 = -2*u - 2*u + 124. Let s = u + 6. Suppose -3*g = c - s, 3*c + 5*g = 44 + 79. Is 23 a factor of c?
True
Let s = 28 + -19. Suppose -s*o + 60 + 48 = 0. Is o a multiple of 6?
True
Suppose -499 = -2*r - 5*m, 0 = -30*r + 32*r + 3*m - 493. Is 3 a factor of r?
False
Suppose -195*b + 201*b = 390. Does 13 divide b?
True
Suppose -2*k + 2*q = -q - 786, 2*k + 2*q - 796 = 0. Suppose -5*w = 15, -4*w - 76 = -4*v + k. Is 23 a factor of v?
True
Let d(j) = -1. Let m(w) = 29*w**2 - w + 7. Let x(h) = 6*d(h) + m(h). Let f(g) = -g**3 - 2*g**2 + 1. Let o be f(-2). Is x(o) a multiple of 12?
False
Suppose 9*b = 30*b - 2205. Let m = b + -73. Is m a multiple of 10?
False
Is 13 a factor of (1 - (-5742)/14) + 32/(-224)?
False
Let v = 1922 + -928. Is v a multiple of 14?
True
Let s be ((-108)/(-5))/((-13)/(-130)). Suppose 0 = 5*n - 3*n - s. Is n a multiple of 36?
True
Let t = -160 + 162. Suppose 3*k - 3*u + 4*u = 45, -t*k - 3*u + 30 = 0. Is 5 a factor of k?
True
Suppose -5*z + 3*i = -9, 2*z - 5*i = -2*i. Let m(p) = 1 + 4 - 4 - 22*p + z. Is m(-2) a multiple of 16?
True
Does 34 divide 1360/6*24/10?
True
Let d(s) = -s**2 + 2*s + 4. Let a be d(4). Let y = 13 + a. Is y a multiple of 4?
False
Let r(c) = -c**3 - 11*c**2 - 20*c - 7. Let g be r(-9). Let k(o) = -o**3 + 12*o**2 - 5*o - 16. Is 14 a factor of k(g)?
False
Let y(v) = v**3 + 7*v**2 - v + 1. Let w(j) = -j**2 + 11*j - 4. Let o be w(9). Suppose -7*r = -5*r + o. Is y(r) a multiple of 8?
True
Let n = -104 - -149. Suppose 5*h = 4*h + n. Does 12 divide h?
False
Let w = 2736 - 484. Is w a multiple of 24?
False
Let t(y) = 21*y**3 - 7*y + 7. Is 20 a factor of t(3)?
False
Let m = 106 + 1200. Does 42 divide m?
False
Let u(j) = -50*j - 203. Is u(-76) a multiple of 12?
False
Let f = -4 - -4. Suppose 250 = 5*c + 3*j, c + f*j - 37 = 2*j. Suppose 7 + c = 3*a. Does 8 divide a?
False
Suppose 119*a = 121*a. Suppose a = -7*j + j + 276. Is 23 a factor of j?
True
Let s(c) = -5*c**2 - c - 4. Let f(y) = 14*y**2 + 3*y + 11. Let k(a) = -6*f(a) - 17*s(a). Let v be k(7). Suppose b - 44 = v. Does 13 divide b?
False
Let a(i) = 2*i**3 + 5*i**2 - 9*i - 7. Let y(l) = -l**3 - 2*l**2 + 5*l + 4. Let g(p) = 3*a(p) + 5*y(p). Let r be g(-5). Does 9 divide 98/3 + 3/r?
False
Let f(b) be the second derivative of -b**5/20 - b**4/2 + 13*b**3/3 - 3*b**2/2 - 44*b. Is 6 a factor of f(-10)?
False
Suppose -2*i - 3*y = -y - 722, i - 345 = -5*y. Is i a multiple of 26?
False
Suppose 5*h = -0*h + 20. Suppose -15*d + h*d + 550 = 0. Is d a multiple of 10?
True
Suppose 13*h - 6746 = 6423. Is 17 a factor of h?
False
Let l(r) = r**3 - 13*r**2 - 17*r - 9. Let u(m) = 4*m - 6. Let a be u(5). Let g be l(a). Let b = g - -100. Is b a multiple of 15?
False
Suppose -7 = -x - l, 3*x - 3*l + 1 = 4. Suppose 0*g - 12 = -x*g. Does 22 divide g + -3 - (-66 + 0)?
True
Let a(m) = 32 - 16*m - 3*m**2 + 5*m**2 + 0*m - 9. Is 18 a factor of a(11)?
False
Let r be ((-350)/(-36) - 18/81)*10. Let a = r + -39. Is a a multiple of 13?
False
Suppose -3*j + 5*m = -127, 4*j = m + m + 174. Suppose f + s = 52, 2*f + s = 3*f - j. Suppose 0 = 5*q - 4*g - f, 2*q + 2*g = 6 + 6. Does 8 divide q?
True
Suppose 5*q = n + 2154, -16*n + 2134 = 5*q - 12*n. Is 5 a factor of q?
True
Let x = -410 - -540. Is x a multiple of 32?
False
Let s = 5944 + -3979. Does 15 divide s?
True
Let i = 85 - -5. Let q be 12/(-10)*i/36. Is 4 a factor of 4/((q - 0)/(-15))?
True
Let p(d) = -d**2 + 41*d + 13. Is 7 a factor of p(4)?
True
Is 2*(-20283)/(-39) + (-78)/507 a multiple of 22?
False
Suppose r = -5*q - 0*q + 458, 0 = 4*q - 8. Is r a multiple of 14?
True
Let y be -9*(-1 - 2/(-3)). Let b = 16 - y. Is 13 a factor of b?
True
Let j be -5*(-4 + (-46)/5). Let p = j + -7. Is p a multiple of 7?
False
Is (85/(-2))/((-470)/1128) a multiple of 2?
True
Suppose 3*h - s - 1175 = -2*h, 0 = 4*h - 2*s - 940. Suppose 7*k = h - 11. Is 7 a factor of k?
False
Let l(h) = h**2 - 53*h + 604. Does 4 divide l(13)?
True
Let x = 659 - 503. Is 15 a factor of x?
False
Let q(x) be the second derivative of -x**5/20 + 17*x**4/24 + x**3/6 + x. Let p(z) be the second derivative of q(z). Does 7 divide p(-4)?
False
Suppose 359*x = 337*x + 3520. Is 6 a factor of x?
False
Let l be (-2 - -2)/(0 - -1). Suppose l = -18*c + 14*c + 640. Suppose 156 = 4*m + 2*z - 0*z, -c = -4*m - 3*z. Is m a multiple of 8?
False
Suppose 41*y - 28252 = 8894. Does 34 divide y?
False
Suppose 3*y + 12 = d, 2*d = 3*d - 5*y - 20. Suppose 0 = 4*i + 2*f - 4*f - 606, 3*i - 4*f - 457 = 0. Suppose -4*q + 49 + i = d. Is q a multiple of 15?
False
Let y = -30 + -1428. Does 14 divide (-4)/26 - y/13?
True
Let k be ((-18)/(-8))/9 + (-598)/(-8). Suppose -k = -4*s + 5*w, 5*s = -5*w + 69 + 36. Does 13 divide s?
False
Let q = 11 + -17. Let g be (0 - -45)*(-2)/q. Let b = 3 + g. Is b a multiple of 9?
True
Does 18 divide 5/(400/65792) - 3/(-5)?
False
Let o(k) = 2*k**3 - 4*k**2 - 5*k + 4. Is 5 a factor of o(5)?
False
Suppose 0 = -31*v + 9154 + 15274. Is 11 a factor of v?
False
Does 10 divide (1 - 61)/(-8 + 155/20)?
True
Suppose -2*b - 44 = -6*b. Let q(c) = 0*c + 5 - 2*c + c + 2*c. Does 8 divide q(b)?
True
Let l(w) = -w**2