. Let z be j(-121). Suppose 0 = -t + s + z. Is t a multiple of 6?
True
Let c = -6507 + 9487. Does 6 divide c?
False
Suppose 0 = f - 6*u - 16044, -4*u = f - 1632 - 14432. Is 36 a factor of f?
True
Let a = 19977 - -4793. Is 10 a factor of a?
True
Let w(u) be the second derivative of 17*u**5/20 + u**3/6 - u**2/2 - u + 4. Is 10 a factor of w(1)?
False
Let n(b) = -b**3 + 3*b - 2. Let m be n(1). Let s(d) = d + 3. Let l be s(m). Is (l + 78)*(1 - (-16)/6) a multiple of 27?
True
Suppose -25000 = -4*z - 4*p, 17*z + p = 14*z + 18746. Does 32 divide z?
False
Let l = -470 - -474. Is (-3)/l - (3954/(-24))/1 a multiple of 2?
True
Let l = 416 - 413. Suppose -l*a + 98 = 4*t, 0*t - t = -2*a + 80. Is a a multiple of 2?
True
Suppose 4592 - 14842 = -41*m. Is 25 a factor of m?
True
Let b be -365 - (-2 + 4 + -8). Does 6 divide 4/(-20)*b + 1/5?
True
Suppose -8*q - 255 + 95 = 0. Let p be (-2 - (-165)/q)*-24. Suppose -3*y = 33 - p. Is 8 a factor of y?
False
Suppose 4*i = -127 + 19. Let s = -171 - i. Let r = s + 229. Does 40 divide r?
False
Suppose 6*q + 5*q - 66 = 0. Suppose 0 = 5*x - 4 - q. Let a(p) = 8*p**3 - 6*p**2 - 2*p - 1. Is 3 a factor of a(x)?
False
Suppose -5*d + 8 = -d, -16 = 4*c - 4*d. Let f(x) be the third derivative of -x**6/30 + x**5/30 + x**4/24 + x**3/3 + 19*x**2. Is f(c) a multiple of 10?
True
Let m be 24/11 - (-14)/(-77). Is -4 - (m + (-208 - 5)) a multiple of 47?
False
Suppose 0 = -7*q + 14*q - 245. Suppose 3*a + q = 137. Is 5 a factor of a?
False
Let k be ((-56)/12 - -4)*-6. Let f be (1 - 2)*(1 - k/2). Does 9 divide (f/(-2))/(3/(-1458))?
True
Let w(t) = 2*t - 21. Let i be w(10). Let f be 6/8 + i - (-203)/28. Suppose -8 = -9*s + f*s. Is s a multiple of 3?
False
Let y = 451 + 4181. Does 12 divide y?
True
Suppose -3*w + 223 = 2*v - 0, -w + v = -71. Let c(o) = -o**2 + 19*o - 28. Let j be c(14). Let z = w - j. Is 6 a factor of z?
False
Let a(h) = -2*h - 10. Let x be a(-10). Suppose 12*k - 720 = x*k. Suppose 5*s - k = -5*l, s + 0*s + 2 = 0. Is l a multiple of 11?
False
Suppose 14847 = -1671*h + 1772*h. Does 7 divide h?
True
Let q = 401 + -594. Let g = 635 + q. Is g a multiple of 13?
True
Suppose 26*b - 1330 = 19*b. Let t = 429 - b. Is 15 a factor of t?
False
Let p(z) = 2*z + 8. Let w be p(-4). Suppose -2*u + 4 + 18 = w. Does 9 divide u?
False
Suppose 31481 = 11*w - 31725. Is 34 a factor of w?
True
Suppose 0 = c - 36 - 12. Suppose c*k = 49*k - 3. Does 3 divide -2*(k - (-60)/(-8))?
True
Suppose -5*b + 37522 = -2*z + 4563, 4*z = 5*b - 32963. Is b a multiple of 34?
False
Suppose 19*y - 97524 = -67*y. Does 21 divide y?
True
Suppose 2*y = -4*l - 3304, 0 = -2*y - 22*l + 17*l - 3299. Let q = y + 2846. Is 16 a factor of q?
True
Suppose 8*h = 5*h - 3*m - 465, -160 = h + 2*m. Is (4 + h/42)*14 a multiple of 4?
False
Let i be 30/(-285) + (-3260)/76. Let w = i - -356. Does 14 divide w?
False
Let n(y) = y**3 + 11*y**2 + 9*y + 11. Let c(w) = w**3 + 5*w**2 - 4*w - 8. Let k be c(-6). Let o = 10 + k. Is 10 a factor of n(o)?
False
Suppose -2*a + 10 = -12. Suppose a*p = -253 - 605. Let c = p - -90. Is 6 a factor of c?
True
Let a be (1/(-3))/((-6)/36). Let s(c) = 18*c**3 - 6*c**2 + 8*c - 10. Let h be s(4). Suppose a*f = -9*f + h. Is 25 a factor of f?
False
Suppose -2149406 = 175*d - 2363725 - 7065506. Is d a multiple of 18?
False
Let w(m) = m**3 + 14*m**2 - m - 9. Let a be w(-14). Suppose -10 = a*f, -2*f + 0*f = -4*h + 120. Let s = -5 + h. Is s a multiple of 6?
True
Suppose 2935 + 1665 = 4*q. Is q a multiple of 12?
False
Let d(g) = 146*g**2 + 31*g - 127. Does 93 divide d(5)?
False
Let s = -3921 + 4181. Is 13 a factor of s?
True
Let m = -531 - -535. Let n(p) = 16*p - 54. Does 10 divide n(m)?
True
Suppose -3*j + 2*x + 1893 = 0, 2*j + 4*x - 617 = j. Suppose -j = -3*v + 61. Is v a multiple of 7?
False
Suppose -6*p - 211883 - 687463 = 0. Is 34 a factor of p/(-294) - (-2 + 1)/6?
True
Suppose -4011 = 207*t - 15477261. Does 23 divide t?
True
Let a(p) = 232*p**3 + 5*p**2 + 8*p - 29. Is a(2) a multiple of 4?
False
Suppose -3158*q + 3196*q = 2560896. Is 96 a factor of q?
True
Let b = 90 + -86. Suppose 0 = 4*f - b*s + 6*s - 392, 180 = 2*f - 3*s. Is f a multiple of 24?
True
Suppose -2*s - 45*o + 50*o = -19, 4*o = 3*s - 18. Suppose 0 = -s*m - 0*m + 10, -3*y - 3*m + 897 = 0. Is 21 a factor of y?
True
Suppose -3*h - h - 4*a - 7340 = 0, -h + a = 1825. Is (-16)/(-3)*h/(-80)*4 a multiple of 8?
True
Let y(x) = -43*x - 12. Let f(n) = -44*n - 14. Let p(o) = -3*f(o) + 2*y(o). Is p(5) a multiple of 62?
True
Suppose 3*h = 6, 0 = -11*t + 16*t + 4*h + 2687. Let m = t + 827. Is 12 a factor of m?
True
Let o = -77 - -79. Suppose o*h + 2*n - 908 = 4*n, h - 470 = -3*n. Suppose -t = s - 93, -5*t + 2*s = -0*s - h. Does 18 divide t?
False
Suppose 4*w = 64 - 20. Let f(a) = 15*a**2 - 6*a + 4. Let z be f(-3). Suppose -415 = -w*c + z. Does 20 divide c?
False
Suppose -4*k + 7688 = -4*c, -8*c + 9*c = 4*k - 7673. Is 27 a factor of k?
True
Suppose 3*o = 9*o - 348. Let m be o/18 - ((-60)/(-27) - 2). Suppose -4*l + 0*k = k - 661, 0 = -2*l - m*k + 323. Is 17 a factor of l?
False
Suppose 0 = -43*q + 63192 + 156495. Is q a multiple of 39?
True
Let f be 8/1 - 112/14. Suppose f = -551*k + 556*k - 2240. Is k a multiple of 13?
False
Suppose -5*h - 5394 = -2*l + 1091, 3*l + 3*h - 9696 = 0. Does 105 divide l?
False
Let n = 174 - 170. Suppose -i - 3*z + 0*z = -290, n*z = 4*i - 1192. Does 21 divide i?
False
Let c = -198 - -207. Suppose 3*j - 88 = -2*x, -67 + c = -2*j - x. Is 14 a factor of j?
True
Suppose 4*f - 6*h + 255 = -h, 257 = -4*f + 3*h. Let z be (175/14*-2)/((-1)/5). Let l = f + z. Is l a multiple of 30?
True
Suppose -5*v - 1392 = 3*o - o, 8 = 4*v. Let l = -639 - o. Is l a multiple of 18?
False
Let h = -4025 + 6148. Does 54 divide h?
False
Suppose -112 = 13*f + 1344. Is 670/14 - 16/f a multiple of 3?
True
Let h(l) = l - 7. Let w be h(7). Suppose w = 6*u - 12052 + 4102. Is 25 a factor of u?
True
Suppose -3*i - 2*i - 3*g = -8096, -g = -2*i + 3234. Suppose 8*f = i + 286. Is f a multiple of 34?
True
Let z(v) = 1971*v + 3357. Does 138 divide z(13)?
True
Is 98 a factor of (-413 + 128)*98/(-5)?
True
Suppose -5*s + 23811 + 29251 = -11968. Is 80 a factor of s?
False
Let d(a) = a + 12*a - 2 + 5. Let c be d(-17). Does 6 divide c/(-4) + 6/4?
False
Let y be 31 - (28/(-20) + (-36)/(-90)). Suppose 2 = -a + 2*c - 2, 4*a = 2*c + 2. Suppose -4*t - t = -a*f + y, -t - 16 = -f. Is f a multiple of 3?
False
Let g be (130/30)/(-1 - (-10)/9). Suppose 10*j - g - 11 = 0. Suppose -j*t + 228 = -432. Is t a multiple of 12?
True
Suppose 0 = x - g - 5835 - 4024, 2*g = -4*x + 39484. Does 39 divide x?
True
Let t = 6489 - 1728. Is t a multiple of 69?
True
Suppose 2*a - 26 + 0 = 0. Let d = a - 16. Is 6 a factor of ((-192)/20)/(d/15)?
True
Let m = 2526 - 2067. Is 56 a factor of m?
False
Suppose 6*b = -277 - 1121. Let f = 241 + b. Is 6 a factor of f?
False
Let b = 48 - 33. Let u be -1*((-3)/b + 3918/(-10)). Let a = -225 + u. Is a a multiple of 37?
False
Suppose 0*v - 2*v + 32 = 0. Suppose 0 = -v*l + 20*l - 60. Let r = l - -49. Is r a multiple of 6?
False
Let v(d) = -d**3 - 6*d**2 + 5*d - 14. Let a be v(-7). Suppose a = 5*y - 10*y + 10, -5*y - 638 = -3*q. Suppose -2*w + 234 = -q. Is w a multiple of 45?
True
Let w = -483 + 532. Suppose -6 = -3*u - 303. Does 14 divide (-5)/(u/w - -2)?
False
Let r(s) be the first derivative of s**6/120 + s**5/5 + 5*s**4/12 + s**3/2 - 2*s**2 - 14. Let z(w) be the second derivative of r(w). Does 25 divide z(-4)?
False
Let h(r) be the first derivative of r + 6*r**4 + 3/2*r**2 + 3 + 1/3*r**3. Does 47 divide h(2)?
False
Let o(u) = -178*u + 7. Suppose -13*k + 6 - 32 = 0. Is 11 a factor of o(k)?
True
Let c be (-24)/10*(15/2)/(-3). Suppose -2894 = -3*d - k, 10*d - c*d - k - 3861 = 0. Is d a multiple of 32?
False
Let i be (-3688)/20 - ((-18)/15)/3. Does 13 divide 7/(-49) + i/(-14)?
True
Is 82 a factor of 6/2 - (14 - 5823)?
False
Let m(q) = q**2 - 10*q + 7. Let j be m(10). Does 17 divide j/(196/(-21)) + 142/8?
True
Let p = 27 - 27. Suppose p = -31*z + 13*z + 4554. Is z a multiple of 11?
True
Let i be (-11048)/(-10) + -1 + (-12)/(-10). Suppose -663 = -17*o + i. Does 8 divide o?
True
Let o = -867 - -1793. Suppose -s + o = 4*a, s - 135 = -a + 98. Suppose -4*n + a = 55. Is 7 a factor of n?
False
Let j(u) = -12*u**3 - 21*u**2 - 100*u - 47. I