99. Let v = -637 - c. Is v a multiple of 13?
True
Suppose 4*h + 7*q - 5456 = 0, 6820 = 5*h - 0*h - 4*q. Is h a multiple of 62?
True
Let b be (32/(-6))/(8/(-360)). Suppose -b = -r - 4*r. Is 3 a factor of r?
True
Let y = 3140 - 2399. Does 4 divide y?
False
Suppose 2*q - 2286 = 4*n, -4*q = 5*n - 2508 - 2038. Is 31 a factor of q?
False
Does 38 divide 5 + (1044/(-1))/(-4)?
True
Let v = 23 + 905. Is v a multiple of 16?
True
Is 16 a factor of (-38444)/(-35) - (-1 + 35/25)?
False
Let b(y) = 32*y**3 - y**2 - 13*y**3 - 8*y**3. Is b(2) a multiple of 8?
False
Let f = 511 + 350. Is f a multiple of 46?
False
Suppose -7*d - 2184 = -8071. Is 29 a factor of d?
True
Suppose 5*r - 5291 = 3*x, 3*r - 4*x = 4841 - 1662. Is r a multiple of 7?
True
Let i = 64 - 38. Let g be 65/(-2) + (-39)/i. Does 13 divide (221/g)/((-1)/2)?
True
Suppose 5*v - 50 - 25 = 0. Is (3 + -234)*(-5)/v a multiple of 15?
False
Let d = 11 + -9. Suppose 144 = q + d*q. Is 16 a factor of q?
True
Let d(x) = -12*x - 62. Is d(-11) a multiple of 13?
False
Suppose 3*a = r + 1221, a + 1209 = -r - 0*r. Is (-2)/(-6) - r/9 a multiple of 41?
False
Let f(g) = -g**2 + 29*g + 7. Is f(28) a multiple of 10?
False
Let h = -3 + 6. Suppose -10 = -s + h. Let l(b) = b**2 - 11*b - 5. Is 7 a factor of l(s)?
True
Let o = 4 + 0. Suppose 4*j - j = q + 10, 2 = 2*j + o*q. Does 18 divide -52*(j/(-4) - 0)?
False
Does 7 divide ((-1)/3)/(47/(-5640))?
False
Let t be ((-16)/40)/(0 + (-2)/5370). Suppose 6*a = t - 378. Does 29 divide a?
True
Suppose -v = v - 8. Suppose 107 + 5 = v*l. Is (-6)/21 + 232/l a multiple of 8?
True
Let w = -8 - -6. Does 3 divide (-231)/(-49) - w/7?
False
Suppose 0 = 2*f + 2*j + 2*j, 0 = 5*j - 10. Does 24 divide ((-170)/f - -1)*(-2)/(-3)?
False
Let y(j) = 65*j - 202. Is y(17) a multiple of 43?
True
Suppose -h + 15 = 4*c, 3*h = 8*h + 2*c - 21. Suppose -5*w = a + 3 - 1, 0 = h*a - 3*w - 12. Suppose -4*u + 57 = 5*r, 5*u + 0*r = a*r + 25. Is u a multiple of 4?
True
Let a(l) = -11 + 26 - 11 - 21*l - 3. Let m be a(-7). Suppose -f - 46 = -2*j + j, -m = -3*j - 2*f. Is 11 a factor of j?
False
Suppose 5*g = 8 - 3. Suppose b + 3*y - g = 0, b + 2*y = -2*y. Suppose 94 = 3*f - 2*p, 0 = -p + b*p + 6. Is f a multiple of 17?
False
Let j(w) = w**2 + 5*w - 42. Let u be j(-10). Let k(d) = 2*d**2 - 12. Is 29 a factor of k(u)?
True
Suppose -4*z + 16 + 6 = -c, -3*z = -c - 18. Is 6 a factor of c*10/(-3) + -1?
False
Suppose 39*u - 44*u + 20 = 0. Suppose 6*a - 702 = u*a. Is 39 a factor of a?
True
Is (-1380)/(-8)*12/10 a multiple of 16?
False
Let v be ((-2)/3)/(2/9). Let a be v - (-32 - 0)/2. Let p = a + 1. Does 5 divide p?
False
Suppose -9*g = -13*g + 16. Suppose -q - g*z + 1 = -2, 4*q + 4*z = 48. Is q a multiple of 5?
True
Suppose 54*b - 59*b = -8930. Is b a multiple of 66?
False
Let w = 191 + -85. Does 13 divide w?
False
Let q = -146 + 150. Suppose q*m - m = 204. Is m a multiple of 7?
False
Let i = 59 + -48. Does 4 divide (i/(-2))/((-19)/38)?
False
Let l(n) be the first derivative of 2*n + 1 + 2/3*n**3 + 0*n**2. Is l(2) a multiple of 5?
True
Suppose -5*l + 231 - 51 = 0. Let x = 50 - l. Is 7 a factor of x?
True
Let b(k) = -k. Let j be b(1). Let q be j + 2 - (-4 - -1). Suppose s + q = 95. Is s a multiple of 33?
False
Suppose 13 = 2*l + 3*o, -3 = -4*o + 9. Suppose 3*n + 4 = -l*n + 4*p, -1 = 5*n - p. Does 7 divide (-2 - 1) + n + 15?
False
Let q = -56 + 456. Does 10 divide q?
True
Let c be 1 - 4 - (90 - -2). Does 10 divide -4 + 2 + (-3 - c)?
True
Suppose 2*n + 9 = -n. Let a(u) = -22*u - 6. Let j be a(n). Let b = j - 32. Does 14 divide b?
True
Suppose 12 + 13 = 5*w. Let a(j) = 14*j + 15. Is a(w) a multiple of 7?
False
Let o(w) be the first derivative of w**4/4 - 4*w**3 + w**2 + 25*w - 38. Is o(12) a multiple of 6?
False
Let r(v) = -v**2 + 5*v + 9. Let a be (2 + -4 + 1)*-5. Let m be r(a). Suppose 16 = 10*i - m*i. Is 12 a factor of i?
False
Let b(i) = 687*i + 99. Is b(2) a multiple of 22?
False
Let b(c) = 5*c - 12. Let m be b(4). Is 1335/20 - (-2)/m a multiple of 14?
False
Let c = 975 - 435. Is 46 a factor of c?
False
Let h = -670 - -1020. Is 70 a factor of h?
True
Let v = 12 + -7. Suppose -4*x + 107 = -v*j, 4*j + 35 = -x + 2*x. Is x a multiple of 14?
False
Let u(d) = -5*d**3 + 5*d**2 + 13*d. Let n(w) = -4*w**3 + 6*w**2 + 12*w + 1. Let f(h) = 4*n(h) - 3*u(h). Does 10 divide f(9)?
False
Suppose -10*f = -2345 + 345. Suppose -4*w - 155 = -3*m, 5*m - 4*w = m + f. Is 9 a factor of m?
True
Let g(x) = x**2 + 3*x + 3. Let u(b) = b - 1. Let p(v) = v**2 - 4*v + 8. Let j(t) = p(t) + 6*u(t). Let k(f) = -6*g(f) + 7*j(f). Is k(-4) a multiple of 9?
False
Let c be -2*(-4 - (-279)/6). Let x = -55 - c. Let r = 69 - x. Is r a multiple of 9?
False
Let h(l) = -l**3 + l + 2. Suppose -k = 4*w + 2, 0 = -2*w + 5*w - k + 5. Let z be h(w). Does 2 divide z/4 + (-9)/(-2)?
False
Let d(m) = -2*m + 2. Let y be d(-4). Is (36/20)/(2/y) a multiple of 9?
True
Let j(n) = n**2 + 15*n - 9. Suppose -7*y + 49 = 7. Does 17 divide j(y)?
False
Let t(z) = -z + 21. Suppose 3*y = 4*i + 40, 56 = 5*y - i - 3*i. Is t(y) even?
False
Suppose -2*b + 3*g - 219 = 0, -3*b = -5*b + 4*g - 222. Let t = 158 + b. Is t a multiple of 15?
False
Suppose -4*z - q = 2*q + 7, 0 = 5*z - 4*q + 32. Is 38 a factor of 7*6 + z/(12/9)?
False
Suppose -5*o - 201 = 2*q, -q + 339 = -4*q + 5*o. Is 51 a factor of (-18 - -1)*q/(42/7)?
True
Let q(i) = -i**3 - 5*i**2 - 4*i + 4. Suppose 2*l - 6 - 42 = 0. Let d = l + -29. Does 12 divide q(d)?
True
Let d be 3*(-3 + 30/3). Is 34 a factor of (-3)/2*(-1316)/d?
False
Let j be (-2)/(-14) - (-630)/49. Suppose 2*a = f + 3*a - 3, 0 = -2*f + 5*a + j. Suppose -f*h + 257 = 17. Is h a multiple of 10?
True
Let k(i) = i**3 - 9*i**2 + i - 13. Let d be k(9). Does 3 divide (-6)/d*(-228)/(-18)?
False
Suppose 1 = p + 2. Let j be 5 + p/(-4)*0. Suppose j*v + 4*r = 20, v + 2*v - 12 = 3*r. Is v a multiple of 2?
True
Does 33 divide (-11 + 2 + 8)*(2 + -35)?
True
Suppose 0 = 2*r - 23 + 199. Suppose 4*w = 3*n + 546, -w - w - 2*n + 266 = 0. Let a = w + r. Is a a multiple of 10?
False
Let y be (-5)/(-15) + 2/(-6). Suppose 3*f + 3*u - 207 = y, 4*f - 191 = f + u. Does 12 divide f?
False
Suppose -2433 = -2*y - 4*s - 793, -3*y + 2450 = s. Is 68 a factor of y?
True
Suppose 5*u - 192 = -u. Suppose 4*n = u + 400. Is n a multiple of 12?
True
Let c = -24 + -4. Let v = 41 + c. Is 4 a factor of v?
False
Let j = -3 + 7. Suppose j*g - 392 = -24. Is g a multiple of 9?
False
Let v(y) = y**2 + y - 1. Let n(m) = 3*m**2 + 32*m + 52. Let z(x) = -n(x) + 2*v(x). Is 9 a factor of z(-25)?
False
Is 3 a factor of 36/(-66)*242/(-4)?
True
Suppose 29*h - 3648 = 17*h. Is h a multiple of 19?
True
Suppose -14*k + 15*k - 183 = 0. Is k a multiple of 3?
True
Is (-2850)/(-60) - (-2)/4 a multiple of 18?
False
Suppose 102 = 4*b - 418. Suppose 8*u = 670 + b. Is 25 a factor of u?
True
Suppose 0 = -3*m + 7 - 34. Let i be ((-222)/m - 2)*3. Let y = i + -44. Is y a multiple of 9?
False
Let i(m) be the first derivative of -m**2 + m + 8. Let w be i(-1). Suppose -w*y + 41 = 14. Is 9 a factor of y?
True
Let y = 84 - 84. Suppose 5*p - 1625 = -g - y*g, -g = p - 321. Is p a multiple of 60?
False
Let x be 4/(-3)*(-5 + 2). Let c be -3 - 1 - (-11 + x). Suppose 5*s = c*s + 42. Is 6 a factor of s?
False
Let g(k) = 38*k**2 + 15*k + 1. Let c be g(-1). Let p = -6 - 11. Let s = p + c. Is 7 a factor of s?
True
Let q(s) = -6*s**2 + s + 9. Let d(g) = 13*g**2 - g - 19. Let y(h) = -2*d(h) - 5*q(h). Let r(v) be the first derivative of y(v). Does 26 divide r(13)?
False
Let i = -26 + 82. Is i a multiple of 4?
True
Let n = 215 + 736. Is n a multiple of 5?
False
Let b be 72*(0 - (-3)/6). Let s = b + -21. Let r = 19 - s. Does 2 divide r?
True
Suppose -4*m + 4*a + 536 + 312 = 0, -m = 4*a - 202. Is 30 a factor of m?
True
Suppose 0 = 4*b, 0 = -31*t + 32*t - 4*b - 221. Does 17 divide t?
True
Let f = 41 + -36. Suppose -2*i + f*i = -5*p + 466, 3*p + 3 = 0. Is 33 a factor of i?
False
Let x(t) = 2*t**3 + 5*t**2 + 2*t + 4. Let p(k) = -k**3 - 2*k + 4*k - k. Let w(v) = p(v) + x(v). Is w(-3) a multiple of 5?
False
Is 21 a factor of (77/22)/(3/342)?
True
Suppose d = 12 - 8. Suppose -f + 3*t - 129 = -2*f, -2*f = d*t - 252. Does 15 divide f?
True
Suppose -w - c - 67 = -4*w, c = -5*w + 125. Let b = -39 + w. Let a = 0 - b. Does 4 divide a?
False
Let x(n) be the first derivative of n*