. Is j a multiple of 103?
True
Suppose -m + 31816 = -z, -m - 527 + 32391 = 5*z. Does 39 divide m?
True
Let h(j) = 126*j + 8. Let b(t) = t + 1. Let s(p) = 4*b(p) - h(p). Let v be s(-1). Let y = 172 - v. Does 6 divide y?
True
Let b be (7 - 6)/(1/(-100)). Let w = b + 108. Is w a multiple of 2?
True
Let s(h) be the third derivative of h**8/10080 + h**7/560 + 11*h**6/720 + h**5/30 - 12*h**2. Let q(x) be the third derivative of s(x). Is 7 a factor of q(-8)?
False
Let n(z) = -z. Let w be n(9). Let p be (-2914)/w - 4/(-18). Suppose -3*d = -6*d + p. Does 27 divide d?
True
Let v = 18086 + -6558. Is v a multiple of 46?
False
Let b(h) = -h**2 - 2*h. Let v(s) = 12*s**2 - 22*s - 10. Let l(z) = -8*b(z) + v(z). Is 8 a factor of l(-5)?
True
Let t = 53462 - 34567. Is t a multiple of 39?
False
Suppose -39 = -5*p + 1. Let z(g) = -g - g - p*g - 9. Does 31 divide z(-4)?
True
Let p(z) be the first derivative of -65*z**2/2 - 14*z - 29. Let s be p(-5). Does 35 divide (-6)/((-30)/5) + s?
False
Let a be (20/(-8) + 3)/(1/(-662)). Let j = -319 - a. Is 12 a factor of j?
True
Suppose -9*r = -7*r - 3128. Suppose 5*n - 4*i + 4670 = 0, -r = 2*n + 2*i + 322. Is 2/(-8) + n/(-8) + -3 a multiple of 15?
False
Is -55*((-50)/475 + 8188/(-190)) a multiple of 8?
True
Let y(g) = 16 - 28*g + 5 + 4 - 41*g. Is y(-7) a multiple of 25?
False
Suppose 0 = -5*z + 2695 + 210. Let p = 528 + -528. Suppose 9 = -3*s, s - z = -4*q - p*q. Is q a multiple of 21?
False
Let i be 117*(-4 - 4/3*-4). Suppose 2*g + 42 = g - 2*q, 0 = -4*g - 4*q - i. Let d = g + 108. Is 12 a factor of d?
True
Suppose -a - z + 28 = 0, z - 210 = -5*a - 54. Suppose -2*n = -6*n + a. Suppose -9*d + 222 = -n*d. Is 31 a factor of d?
False
Suppose 0 = -3*r + 2*f + 860, 0*f = -4*r - f + 1154. Suppose 15*i = 18*i - r. Suppose 3*a + 203 = 5*h, -5*h = -5*a - 99 - i. Is 9 a factor of h?
False
Does 7 divide 1327 + ((-44)/(-792) - 254/36)?
False
Let c(p) = -p**3 - 52*p**2 + 55*p + 1830. Is c(-55) a multiple of 40?
True
Suppose 7*j = -9139 + 32848. Is 123 a factor of j?
False
Suppose -334*l + 1731808 = -814274. Is l a multiple of 99?
True
Suppose -21*f = 5338 - 13905 - 16213. Is f a multiple of 5?
True
Let o(z) = -2*z - 63*z**2 + 33*z**2 + 32*z**2 - 8. Let v be o(4). Suppose 285 + 99 = v*g. Does 3 divide g?
True
Let d(j) = -j**3 - 10*j**2 + 12*j + 15. Let z be d(-11). Suppose 15 = -3*v, -l + 25 = 2*l + z*v. Suppose -15 = -b + l. Is b a multiple of 5?
True
Suppose -94*f + 22017 = 3*s - 97*f, -5*f = -s + 7343. Does 104 divide s?
False
Let d(q) be the second derivative of 11*q**5/40 - 21*q**4/8 - 3*q**3/2 + 31*q. Let v(y) be the second derivative of d(y). Is v(6) a multiple of 15?
True
Let c be ((-12)/4)/(-1) + -3 + 6. Suppose -c*r + 76 = -20. Let y = r + 6. Is 11 a factor of y?
True
Let u(x) = -x**3 - 5*x**2 + 7*x + 24. Let g be u(-6). Suppose 3*l - 5*q = 524, -g*q + 23*q = l - 168. Is 32 a factor of l?
False
Let g = 33 - 32. Let i be 12/(-6) - -57*g. Suppose 9*u - 14*u = -i. Is u a multiple of 11?
True
Suppose -3*r - 85*x + 87*x + 95468 = 0, 0 = 2*r + 2*x - 63652. Is r a multiple of 78?
True
Does 161 divide (-2)/(-34)*(-8 + 6) - (-6897280)/340?
True
Suppose 2*a - 14 = -4*n, -a = -0*a - 3*n + 8. Does 7 divide (-4)/(-1*a/12)?
False
Let m = -87 + 87. Let y(i) = 22*i + 9 - 3 + 3*i**2 + m*i**2 - 4*i. Is 8 a factor of y(-7)?
False
Suppose -2*l + 10*r + 204 = 9*r, -4*l - 2*r + 416 = 0. Let c = l - -19. Is c a multiple of 34?
False
Does 2 divide (-19818)/(-90) + 15/((-300)/(-16))?
False
Let b be 9351/36 + (0 - (-3)/(-4)). Let i = -105 + b. Suppose -2*l - 2*m + 162 = 0, -3*l + i = 2*m - 84. Does 27 divide l?
False
Let x(c) = -145*c**3 + 4*c**2 + 2*c - 5. Let j(i) = -217*i**3 + 6*i**2 + 3*i - 7. Let m(v) = 5*j(v) - 7*x(v). Is 3 a factor of m(-1)?
False
Is 14 a factor of (70/5)/(112/21336)?
False
Let s be (32/3)/(34/357). Let i = s - 51. Does 2 divide i?
False
Let g(u) = u**2 + 24*u + 135. Let p be (514/(-16) - -2) + (-3)/(-24). Is 45 a factor of g(p)?
True
Let a = -12634 + 33633. Is a a multiple of 83?
True
Is 69 a factor of ((-21)/(-9))/((-6)/(-1242))?
True
Suppose l + 17034 = 6*l - 2*d, 5*l + 2*d - 17006 = 0. Is l a multiple of 7?
False
Suppose -6*s + 35 = 5. Suppose 15 = -5*d - 0, -s*d = -k + 17. Suppose 4*z = 4*q + 560, -2*q + 300 = k*z + q. Is z a multiple of 8?
True
Let a = 133 - 135. Is 5 a factor of a/6 + 18/(-27)*-83?
True
Let x = -72 - -79. Suppose x*s - 5*s + 388 = q, 4*s + 8 = 0. Is 12 a factor of q?
True
Suppose -7*b + 1925 = 2*a, 49 - 24 = 5*b. Is 135 a factor of a?
True
Suppose -3*u - 36 = -4*x - 7*u, 0 = -4*u + 16. Suppose -5 = -3*h + 61. Let s = h + x. Is 8 a factor of s?
False
Let n = 2040 - 693. Suppose 0 = 12*d - 991 + 931. Suppose -5*m - q + 780 = -571, 3*q = d*m - n. Is 54 a factor of m?
True
Let j = 4802 - 3062. Is j a multiple of 5?
True
Suppose -15*j = -19*j + 4*o + 100828, 3*j - 4*o - 75628 = 0. Does 63 divide j?
True
Let c be 0/(-3) - (-2 + 7) - -342. Suppose q - 266 = -2*s + c, -284 = -s - 4*q. Is s a multiple of 7?
False
Let t be (-106794)/(-162) - (12/27)/2. Let y = 961 - t. Does 12 divide y?
False
Let d be (0 - 1)*(78 + 1). Suppose 3*a + 354 = -v + 4*v, v - 93 = -4*a. Let f = d + v. Does 7 divide f?
False
Let d(y) = 12*y**3 - 8*y**2 + 3*y - 19. Does 81 divide d(7)?
True
Suppose 4*v = 5*j + 603, -2*v + 2*j = -0*j - 302. Let w = -151 + v. Suppose -558 = -4*k + 2*c, 0 = -2*c + c + w. Is k a multiple of 6?
False
Let b = 2961 + -1177. Suppose -2*o = 374 - b. Does 15 divide o?
True
Let q = 6872 - 640. Is q a multiple of 152?
True
Let l = 1642 - 2821. Let d = 2054 + l. Is 35 a factor of d?
True
Suppose -2*v - 2*d + 5*d = -21, -5*v + 4*d + 35 = 0. Suppose 190*r - 17160 = 184*r. Suppose -v*s = 8*s - r. Is s a multiple of 52?
True
Let h be (1/3 + -1)/((-7)/42). Suppose 0 = -2*q - 3*g + 39 + 53, -148 = -h*q + 3*g. Is q a multiple of 8?
True
Suppose 179*y = 182*y - 210. Let g = -66 + y. Suppose -2*s - 94 = -g*v, s = 5*v - 87 - 32. Does 3 divide v?
True
Suppose 5*c + 143 = 38. Let v = c - -21. Suppose -2*s + v*n + n = -265, 3*n - 555 = -4*s. Does 27 divide s?
True
Suppose 2 = 5*v - 28. Let n(h) = 65*h - 25. Is n(v) a multiple of 18?
False
Let b = 4590 - 80. Suppose 0 = -8*s + 18*s - b. Is s a multiple of 30?
False
Is 3 a factor of 12/(18 + -24) - (-62 - 1)?
False
Let l(f) = 70*f**2 - f + 1. Let c = 63 + -61. Suppose -c*n = -4*h + 2, 2*h + h = 3*n. Is 10 a factor of l(n)?
True
Let s = -873 + 1960. Let a = s + -662. Is a a multiple of 53?
False
Suppose 10*x - 57 = 3. Suppose -x*v + 25 = -101. Is v a multiple of 7?
True
Let p(z) = 12*z**2 - 6*z - 2. Suppose 5*j = -0*j + 15. Let m be p(j). Let b = -53 + m. Is 5 a factor of b?
True
Let h(g) = -578*g - 4. Let w be h(-2). Suppose 0 = 2*t - 4*t + w. Suppose -2*b = -6*b + t. Is 16 a factor of b?
True
Let r(n) = -235*n + 12978. Is r(0) a multiple of 63?
True
Let j = -10520 - -13453. Is j a multiple of 16?
False
Is 6/66*(459777 - -34) a multiple of 23?
False
Is 16 a factor of (-2 + 354/(-15))*4680/(-144)?
True
Suppose 60*r - 133*r + 1345828 = 0. Is 22 a factor of r?
True
Does 44 divide 99/(-7 + (-9 - 34185/(-2136)))?
True
Let b = 451 + -187. Let u = 104 - b. Does 7 divide (2/3)/(-2)*(u + 13)?
True
Suppose -4*k + 15 + 17 = 0. Suppose k = a + 3*a + 3*t, a + 3*t - 2 = 0. Suppose 10 + 24 = a*v. Is 9 a factor of v?
False
Let a = 470 + -920. Let y = -233 - a. Does 7 divide y?
True
Is 18 a factor of 4320*(-11)/385*-14?
True
Let c = 120 + -36. Let x = 81 - c. Let q(y) = -y**3 - 2*y**2 + y + 9. Is q(x) even?
False
Let l(f) = -2*f + 18. Let n(d) = -d**2 - 10*d - 30. Let c be n(-4). Let s be l(c). Suppose -s*i + 62 = -28*i. Is 30 a factor of i?
False
Let k be (-86)/(-30) - 0 - 10/(-75). Suppose -2*i + 26 = 2*c, -k*i = -2*c + 14 + 7. Is 13 a factor of c/(-3 + 0 + 4) - -1?
True
Let j(q) = -46*q + 312. Let d(h) = -9*h + 62. Let o(b) = 16*d(b) - 3*j(b). Does 12 divide o(-9)?
False
Let v(p) = 60*p + 1401. Does 30 divide v(-15)?
False
Let u(b) = b**2 + 11*b + 27. Let x be u(-8). Suppose x*s - 519 = -m + s, -5*m - s = -2604. Does 13 divide m?
False
Let m = 7818 + -7622. Is 14 a factor of m?
True
Suppose i + 441 = -4*q - 195, 0 = 5*i + 4*q + 3164. Let l = i + 362. Is 5 a factor of l/(-7) - 24/(-56)?
False
Let w = -517 + 518. Let d(n) = 605*n**2 - 12*n + 11. Does 7 divide d(w)?
False
Suppose -5*n + 294 - 2534 =