007. Is b/(-215) - (-2)/10 a multiple of 12?
True
Let j(u) be the second derivative of u**5/20 - 9*u**4/4 + 11*u**3/3 + 14*u**2 + 24*u. Let l be j(26). Let m = l + 103. Is m a multiple of 4?
False
Let l be -4 + (9 - (0 + 2)). Suppose 3*s + 2*y - 227 = 0, 3*y - 159 = -l*s + 66. Is 10 a factor of s?
False
Let n(p) = -133*p + 7886. Is n(59) a multiple of 13?
True
Let r(p) = 13*p + 112. Let u be r(0). Is 7 a factor of (-6)/5*(-17080)/u?
False
Suppose -5*o + 2*o + 2*s = -14, -5*s - 12 = 4*o. Let d be -16*(0 + o*4/(-16)). Suppose 10*h - 3*w - 152 = 5*h, 0 = -2*w - d. Does 7 divide h?
True
Suppose 176 = 3*m + 19*m. Suppose -6*h + m*h - 706 = -4*u, -h - 3 = 0. Is u a multiple of 7?
False
Let t be (6/(-4))/((-2)/(-4)). Let k be 930/12 + t/(-2). Let o = k + -35. Does 18 divide o?
False
Suppose 0 = -15*q + 20*q - 75. Suppose h = 5*r + 32, 0*r = -3*r - q. Suppose 3*v + h*v = 490. Is v a multiple of 6?
False
Suppose -93*k + 15*k - 326918 + 2291504 = 0. Is 10 a factor of k?
False
Let z(p) = -p**3 + 6*p**2 + 6*p + 15. Let q be z(7). Let i(v) = q*v + 18 - 1 + 176*v**2 - 174*v**2 + 3. Is 6 a factor of i(-5)?
True
Let y(d) = -d**2 + 51*d - 189. Let k be y(47). Let t(u) = -108*u - 15. Is t(k) a multiple of 4?
False
Let a(p) = p**2 + 25*p + 10. Let n be a(-13). Let i = n + 641. Does 15 divide i?
True
Let u(y) be the third derivative of 13*y**4/4 + 19*y**3/6 + 2*y**2. Let v be u(4). Suppose 5*f - 688 = 4*n, -3*n + 60 = -2*f + v. Does 35 divide f?
True
Let b = -243 + 259. Does 4 divide (4*b)/(61/122)?
True
Suppose 3*t - 322 = -w - 2*t, -4*t = 2*w - 656. Let o = w - 271. Is o a multiple of 4?
False
Let h(w) be the second derivative of -1/20*w**5 + 1/2*w**4 + 0 - 2*w**2 - 5*w + 7/6*w**3. Is h(5) a multiple of 7?
True
Let f = 1315 - 626. Is f a multiple of 20?
False
Suppose -11*f + 3*f - 456 = 0. Let c = 63 + f. Does 6 divide (-75)/20*(-80)/c - -4?
True
Suppose -487 = -7*m - 1768. Is ((-610)/m)/(-2*(-2)/96) a multiple of 4?
True
Suppose -8*t - 286454 = -22*t. Suppose -26*r + t = 1663. Is 67 a factor of r?
False
Suppose 11*c - 11767 - 12751 = -35*c. Does 13 divide c?
True
Let g be ((-4)/(-6))/(28/(-42)) + -153. Let x = 188 + g. Is x a multiple of 16?
False
Let a = -10359 - -10347. Let r(v) = 2*v**3 + 11*v**2 + 25*v - 36. Let s(z) = -z**3 - 5*z**2 - 13*z + 18. Let h(t) = -6*r(t) - 11*s(t). Is 41 a factor of h(a)?
True
Suppose -64 = -4*c - s, -2*c + 7*c - 80 = -4*s. Let z(a) = a**3 - 20*a**2 + 64*a + 36. Is z(c) a multiple of 9?
True
Let n(t) = 4*t - 2*t**2 + 89*t**3 + 2546 - 2550 - 3*t**2. Is 45 a factor of n(2)?
False
Suppose 0 = -43*t + 40*t + 9, -3*t - 18739 = -4*x. Does 43 divide x?
True
Let q(k) = k**3 + k**2 - k + 5. Let o = -99 - -99. Let c be q(o). Suppose 0*w = -5*w - 5*i + 1610, -c*i = -w + 334. Does 27 divide w?
True
Suppose 5*d + 4*m - 10440 = 0, -3*m = -m + 10. Suppose -1978 - d = -22*w. Is w a multiple of 8?
False
Let d = -527 + 548. Suppose -d*k + 630 = -20*k. Is 18 a factor of k?
True
Suppose 1 = 2*d - 7. Suppose -d*t = -6*t + 94. Suppose -4*h = 3*p - 125, -p = -h - 3*h - t. Is 21 a factor of p?
False
Does 41 divide 1/(-3)*-13612*54/72?
True
Suppose -2*k + 4*g + 50122 = 0, 2*k - 42139 - 7971 = 2*g. Does 52 divide k?
False
Suppose -u - 3*k + 85 = 0, -3*u + 6*u + 3*k - 273 = 0. Suppose 2*z - 5*t + u = 1077, -t + 2525 = 5*z. Does 21 divide z?
True
Let j be (14/3)/((-4)/(-6)). Let u(b) = -b + 0*b**2 - 11 + b**2 - 5 + 18 - 10. Does 27 divide u(j)?
False
Let c(g) be the second derivative of g**3/6 - 5*g**2 - 17*g. Let r(o) = -3*o + 20. Let j(b) = 10*c(b) + 6*r(b). Does 41 divide j(-11)?
False
Suppose 188*n - 186*n - 30266 = -5*p, 3*n - 45390 = -3*p. Is n a multiple of 100?
False
Let y(z) = -21*z**3 - 11*z**2 - 20*z - 357. Is 47 a factor of y(-9)?
True
Let d(h) = 220*h + 1271. Does 41 divide d(0)?
True
Let r be (-5)/((-10)/3746) + -5. Suppose 1 = m, -m + r = 4*c + 3*m. Is c a multiple of 11?
False
Let b(h) = -h**3 + 7*h**2 + 7*h - 4. Suppose q + 19 = 3*p, 14 - 2 = -3*q. Suppose -p*s + 20 = -5*v, s = 2*s - 3*v. Does 10 divide b(s)?
False
Let g be ((-222)/(-4) + -2)/(2/12). Let r = g + -171. Is r a multiple of 13?
False
Is 93 a factor of 3561 - (6 + -20 - -7)?
False
Let x = -9 - 65. Let b = x + 75. Let s(y) = 51*y**2 + y - 1. Is s(b) a multiple of 8?
False
Let i = -195 + 199. Suppose -a + 5*y = -97, 7*a - i*y + 367 = 10*a. Is 39 a factor of a?
True
Let j(d) = -199*d + 147. Let y(z) = 2*z + 2. Let w(v) = -j(v) + 6*y(v). Is w(5) a multiple of 40?
True
Suppose -16 = -4*f - 2*o, -3*f + 5*o + 20 = -f. Suppose -j = -5*b + 14, -4*b = -f*j - 4 - 3. Does 3 divide b?
True
Suppose -3*f + 48 = 13*f. Suppose -f*v + 19390 = 32*v. Does 10 divide v?
False
Suppose 5*z - 2674 - 6681 = 0. Let t = -671 + z. Is 30 a factor of t?
True
Let s = -266 + 264. Is (122/s - -4)/(-1) a multiple of 19?
True
Let n(x) = x - 34. Let p be n(12). Let k = p - -22. Suppose 305 = 2*j - 5*v, k*v - 2*v = -6. Is 32 a factor of j?
True
Suppose 1254065 = 267*d - 867517. Does 19 divide d?
False
Let l = -23 - -94. Let g(s) = -s**3 + 2*s**2 - s + 103. Let k be g(0). Let r = k - l. Does 16 divide r?
True
Let f(u) = -8937*u + 2298. Does 34 divide f(-4)?
True
Let l = 33 + -28. Suppose -2*a + 8 = 4*i, 5*i + 2*a + 3 - 14 = 0. Suppose -1 = i*d - 10, -4*r = -l*d - 49. Is r a multiple of 2?
True
Suppose 13*x - 14*x = z - 27652, 55280 = 2*x - 4*z. Does 216 divide x?
True
Let r(y) = y**3 + y**2 + y + 1. Let c(k) = -6*k**3 - 8*k**2 - 3*k - 265. Let o(d) = -c(d) - 5*r(d). Is 20 a factor of o(0)?
True
Does 18 divide ((-16)/160)/((-4)/890920)?
False
Let j(u) = -90*u - 145. Let q be 8 + 2 - 9 - (9 - 2). Is 13 a factor of j(q)?
False
Let a(w) be the second derivative of 0 - 6*w**2 - 5/3*w**3 + 8*w. Is 22 a factor of a(-9)?
False
Suppose 8*d = 2*d. Suppose 2*b + 32 = 2*y, 0 = -d*y - 3*y - 4*b + 20. Suppose -z - 3 = -y. Is z even?
False
Suppose -8*f + 42318 = -3*a, 31*f + 26454 = 36*f - a. Is 36 a factor of f?
True
Suppose -3*i + 28 = 4*l + 11, 0 = 4*i - l + 9. Let j be (-634)/(6 + i + -3). Is 15 a factor of j/(-5) - (-6)/(-15)?
False
Let l = 15656 + 8572. Is 12 a factor of l?
True
Let r(c) = 391*c - 6445. Is r(59) a multiple of 39?
False
Suppose -72*r = -833417 - 55927. Is 32 a factor of r?
True
Let p(o) = o - 83. Let y be p(0). Let h be -3 - 1 - (9 - 160). Let v = h + y. Is 9 a factor of v?
False
Suppose 0 = 29*z + 81 + 93. Let y(c) = 24*c**2 - 3*c + 53. Is y(z) a multiple of 6?
False
Suppose 3*m - 2*q = 5, 0 = 5*m - 0*q + q - 30. Is 18 a factor of m/(220/31704) - (-36)/(-66)?
True
Is ((-10848)/80 + -16)*(-1 + -9) - 4 a multiple of 18?
True
Is ((-2)/1)/((-4)/(-14)) + 2742 a multiple of 6?
False
Let f = 0 + 9. Let j(t) = 2*t - 10. Let r be j(f). Suppose r*v = 5*v + 171. Is 26 a factor of v?
False
Suppose -9 = -a - 3*d, -4*a - 4*d = -51 - 9. Let c be 18 - a - 2*-4*1. Suppose -c*p + 11*p = 90. Is 6 a factor of p?
True
Suppose 0 = -2*d + 5*x + 71938, 194123 = 5*d + x + 14386. Is 133 a factor of d?
False
Let t(d) = 18*d**2 + 869*d + 51. Is t(-51) a multiple of 52?
False
Let i be (103 + -17)/(4/(-6)). Does 7 divide (i/9 - -3)/((-8)/84)?
True
Let z be (4/7)/((-2)/(-7)). Suppose -2*x + q + 598 = 0, 3*x + 3*q = -z*q + 910. Is 12 a factor of x?
True
Let a(n) = -112*n**3 + 2*n**2 - n. Let l be a(1). Does 5 divide l*(-6)/(10 - 4)?
False
Let q(y) = 18*y - 45. Let f be q(5). Is 9 a factor of 12/(-90) + 29166/f?
True
Suppose -140*t + 15 = -135*t. Suppose -t*m = -5*d + 1222, -2*d - m = -3*d + 246. Suppose 602 = 4*p + d. Is p a multiple of 10?
True
Suppose -12*h + 16*h + 5*a - 6243 = 0, -h = 2*a - 1560. Does 4 divide h?
False
Suppose 4*y + j = 37, 2*y - 2*j - 2*j + 4 = 0. Let m(x) = -3*x - 19. Let f(k) = 2*k + 20. Let o(d) = 4*f(d) + 3*m(d). Does 7 divide o(y)?
False
Suppose -16*y = -13*y + 378. Let m = y + 144. Does 3 divide m?
True
Let w be 2*2*2375/(-76). Suppose 9*y - 6*y = -30. Does 34 divide 5/(w/y)*85?
True
Let o(l) be the third derivative of -9*l**4/8 - 15*l**3/2 - 3*l**2 + 29. Does 11 divide o(-4)?
False
Let j = -53 - -62. Suppose -340 = 4*o - j*o. Let z = o - 52. Is z a multiple of 3?
False
Suppose -104 = 5*i + 166. Let w = i - -93. Let n = w + 19. Is n a multiple of 42?
False
Suppose -4*q = 7*r - 2*q - 7971, -4*q + 4552 = 4*r. Is r a multiple of 2?
False
Suppose 5*d = u + 8, -u + 4*d - 3 - 3 = 0. Is (-854)/(-6) - u/(-3) a mult