6. Is u a multiple of 6?
False
Suppose -4*t + 2*p = -154, 2*p - p = 5*t - 185. Let l(x) = -x - 13. Let g be l(-8). Let i = t + g. Is 22 a factor of i?
False
Let y = -19 - -25. Is 9 a factor of y + -4 - -66 - -2?
False
Let z(m) = -3*m**2 - 6*m - 3. Let i be z(-4). Let f be 8/(-4) - 2 - i. Suppose h = -2*h + p + 24, -2*h = -3*p - f. Is h a multiple of 2?
False
Suppose -12 = 5*y - 2. Let p be (-3 - 6)/(y - -1). Does 28 divide (-3)/(p/(-168)*2)?
True
Let w(x) = 7*x**3 - 5*x**2 + 11*x - 6. Let y(l) = -15*l**3 + 9*l**2 - 23*l + 12. Let z(c) = -13*w(c) - 6*y(c). Is 26 a factor of z(6)?
True
Let r = -4 - -6. Let m be (r - 5 - -3) + 6. Is 1 - 4/m*-21 a multiple of 10?
False
Suppose 4*r - 4*o = 444, 3*r + 3*o - 147 = 186. Is r a multiple of 29?
False
Let k(l) be the second derivative of -13*l**4/24 - 17*l**3/6 - l**2 + 6*l. Let d(t) be the first derivative of k(t). Is d(-5) a multiple of 12?
True
Suppose 0 = 2*r + r. Suppose -2*w - 5*q = -85, -20 = -3*w - 3*q + 85. Suppose -2*o + w + 50 = r. Is o a multiple of 10?
True
Let n(m) = -3*m**3 - m**2 - 6. Let h(y) = 4*y**3 + y + 6. Let u(x) = -2*h(x) - 3*n(x). Is u(3) a multiple of 9?
True
Suppose -17199 = -33*b - 6*b. Is b a multiple of 63?
True
Suppose -591 + 3471 = 8*j. Does 6 divide j?
True
Suppose -10*g = -3*g + 420. Suppose -4*k + 282 = -3*r - k, 0 = -5*r + 2*k - 482. Let q = g - r. Is q a multiple of 11?
False
Suppose -7*u + 8496 = 29*u. Is u a multiple of 5?
False
Let l(g) = 2*g**3 - 6*g**2 + 5*g - 3. Let i be l(8). Let z = -283 + i. Is 13/(-52) - z/(-8) a multiple of 13?
False
Suppose 2*m - 6*m = 4*h - 296, h - 3*m = 94. Let b = h + 1. Does 40 divide b?
True
Let o(p) = -p**2 + 14*p - 6. Suppose 4*y = -4*k + 60, -y - y + 36 = 4*k. Is o(y) a multiple of 6?
True
Suppose 3*k + 3*z = 552, -k = -2*z - 114 - 58. Does 20 divide k?
True
Let a = 10 - 10. Suppose -4*i - 20 = -4*r, -4*i - 4*r + a*r + 4 = 0. Let n(v) = -22*v - 3. Is 11 a factor of n(i)?
False
Suppose -5*u = j - 400, 4*j + 5*u + 1073 = 2643. Is j a multiple of 28?
False
Let r(b) = b**3 + 9*b**2 - 10*b + 2. Let y be r(-10). Suppose 0 = -5*j - y*u + 266, -3*j = 2*j + u - 268. Is 14 a factor of j?
False
Let y = 12 - 23. Let n = -723 + 742. Let w = n - y. Is 10 a factor of w?
True
Let j be (1 - (-5)/3)*33. Suppose 2*z - 36 = -2*f, -5*z + j = -6*f + 9*f. Does 17 divide z?
True
Let v(k) be the first derivative of 2*k**5/15 - k**4/6 - 5*k**3/3 - 3. Let x(i) be the third derivative of v(i). Does 31 divide x(7)?
False
Let x(v) be the third derivative of -v**6/120 + v**5/12 + v**4/4 + 4*v**3/3 + 4*v**2. Is 8 a factor of x(6)?
True
Let m(p) = 10*p**2 + 10*p + 9*p**3 + 3 + 5*p**3 - 13*p**3. Does 16 divide m(-7)?
True
Let n(t) = -5*t - 30. Let s be n(-5). Let d(m) = 5*m + 1. Let q be d(1). Is ((-48)/s)/(q/20) a multiple of 16?
True
Let z(u) = u**3 - 3*u**2 - 2*u + 4. Let d be (-16)/6*3/(-2). Does 6 divide z(d)?
True
Suppose 0 = 41*n - 43*n + 234. Is n a multiple of 40?
False
Let p(w) = -2*w + 44. Let h be p(19). Suppose -h*f + f = -135. Does 9 divide f?
True
Suppose 156 = 7*y - 11*y. Let s = y + 41. Is 29 a factor of 33 + (-8)/(s + 0)?
True
Suppose 6*t = 3*t. Suppose -2*p + t*p - 176 = 5*g, 2*g - 2*p + 76 = 0. Is 18 a factor of (-8)/g - 662/(-18)?
False
Suppose 4*i + 8 = -5*h + h, -3*h - 15 = 0. Suppose -i*j = j - 300. Does 15 divide j?
True
Suppose 0 = 4*i + i - 35. Suppose 2*r = i*r + 75. Let u(j) = j**2 + 15*j + 5. Is 5 a factor of u(r)?
True
Let p = -11 - -16. Let i be 754/8 - 153/(-204). Suppose -p*d + 295 + i = 0. Does 16 divide d?
False
Let a(h) = -h - 2. Let x be a(-2). Suppose 3*n = z - 3, -3*n - z + 0*z - 9 = x. Let o(t) = -3*t**3 - 2*t**2 - 3*t - 1. Is 21 a factor of o(n)?
True
Let t = -43 + 24. Let z be (t - 11) + (-2 - -4). Is (-8)/z + (-515)/(-35) a multiple of 3?
True
Let g = -10 - -11. Is (-3 - -1 - g)*-4 a multiple of 3?
True
Suppose 0*g = -g. Suppose v = -g - 9. Is 10 a factor of (-15)/2*24/v?
True
Suppose 0 = 508*t - 509*t + 1100. Is t a multiple of 29?
False
Let k = 4 + -5. Let d(o) = -1. Let t(n) = n**2 - 16*n - 10. Let m(h) = k*t(h) + 3*d(h). Does 11 divide m(15)?
True
Let n(t) = 39*t - 127. Does 27 divide n(10)?
False
Suppose 3*u - 1562 = -4*p, -8*u + 3*u = p - 2609. Does 9 divide u?
True
Suppose -18 = -5*b - 2*c, -3*c = -b - 0*b + 7. Suppose -b*f + 36 + 12 = 0. Suppose z + 1 = f. Is 4 a factor of z?
False
Let l = 81 + -76. Suppose 5*q + 2*d = 1140, l*q = 10*d - 5*d + 1105. Is q a multiple of 39?
False
Let j(o) = 485*o - 55. Is j(2) a multiple of 16?
False
Suppose 5*t + 36 = 416. Suppose -2*c - 46 = -t. Is 3 a factor of c?
True
Let j = -179 - -108. Let o = j + 106. Suppose -c + 2*c = o. Is c a multiple of 13?
False
Let t = -34 + 146. Does 14 divide t?
True
Suppose -8*s = -4*s - 396. Let f = s - 19. Is f a multiple of 10?
True
Let s be 4/18 + 342/(-81). Let a(g) = g - 60. Let m be a(0). Is (0 - s)*m/(-8) a multiple of 15?
True
Suppose -5*y - 4*z + 1139 = 0, 714 - 1877 = -5*y + 2*z. Is y a multiple of 11?
True
Let j(s) = 4*s**3 + 12*s**2 - 45*s - 25. Is j(6) a multiple of 26?
False
Does 6 divide (-8)/20 + 7584/60?
True
Suppose 0 = -79*j + 78*j + 356. Is j a multiple of 42?
False
Suppose -2*x + 25 = -3*b + 9, x = 3*b + 2. Let m(s) = s**2 + 4*s - 10. Let v be m(2). Suppose 5*t = -4*d + x, -v*d + 0*d - 32 = -4*t. Is t a multiple of 2?
True
Suppose 0 = -5*v + 10, -2*v = 2*p + p - 16. Suppose p*n = n + 87. Is 8 a factor of n?
False
Suppose -6 = 3*t, m + 5*t = 62 - 19. Suppose -2*s = -3*g - 11, -s - 2*g - 1 = 3*g. Suppose 0 = s*i - m - 3. Is i a multiple of 12?
False
Suppose 66*l = 30895 + 455. Is l a multiple of 25?
True
Let h = 15 + -25. Let z(f) = f**3 + 12*f**2 + 10*f + 8. Let c be z(h). Suppose 0*s = 2*s - c. Is 27 a factor of s?
True
Suppose 0 + 3 = 4*c - 5*h, h - 3 = -c. Is 9 a factor of (-18)/(-12)*((c - -5) + -1)?
True
Suppose 2*c - 1156 = 4*h, 0 = 2*h + 1 - 5. Is 7 a factor of c?
False
Suppose -2*z + z = -33. Suppose z - 9 = -4*w. Let d(n) = -4*n - 7. Is d(w) a multiple of 4?
False
Let q = 1435 - 1297. Is q even?
True
Suppose -5*n = 5*d - 1010, -5*n - 781 = -4*d - 0*d. Let f be ((-24)/4)/((-6)/(-93)). Let r = d + f. Is 18 a factor of r?
False
Let z(a) be the second derivative of a**4/24 + a**3/3 + 5*a**2/2 + 12*a. Let t(m) be the first derivative of z(m). Is t(8) a multiple of 2?
True
Let d(c) = c**3 + 9*c**2 + 2*c - 15. Is d(-7) a multiple of 13?
False
Let f(l) = -2*l + 8. Let n be f(-8). Suppose -n = -3*p + 24. Is 7 a factor of p?
False
Suppose -w = 1 - 6. Suppose w*b + 15 = -0, 4*f - 314 = -2*b. Let y = -9 + f. Does 21 divide y?
False
Suppose 12*s - 6*s = -342. Let v = s + 71. Is v a multiple of 7?
True
Let f = 47 + -38. Suppose 0 = f*g - 12*g + 387. Does 15 divide g?
False
Suppose -16*j + 24*j - 5672 = 0. Is 29 a factor of j?
False
Suppose 7*v + 5460 = 33*v. Is v a multiple of 42?
True
Let a = 60 + -4. Suppose 2*n + 5*y + 42 = 7*y, -3*n - 4*y = 28. Is 14 a factor of 296/7 + n/a?
True
Is 8 a factor of (2*(-1 - -9))/(13/104)?
True
Let b(i) = 47*i**2 - i - 1. Let l(w) = -w**3 + 7*w**2 - 5*w - 8. Let q be l(6). Let m be b(q). Suppose 18 = -3*x + m. Does 19 divide x?
True
Suppose -4*h + 41 = -559. Suppose h = 2*u + 2*m, 2*u + 15 = 5*m + 130. Is u a multiple of 28?
False
Does 47 divide -2*(-96 + -2 - -4) - 0?
True
Suppose -5*c = -5*d + 1430, 3*c + 1146 = 8*d - 4*d. Suppose 14*z + d = 18*z. Is 36 a factor of z?
True
Let y(r) = r**2 + 6*r + 1. Suppose p + p + 44 = 4*v, p = 4*v - 32. Does 23 divide y(p)?
False
Suppose v = 2*v - 14. Does 5 divide (10/(-3))/(v/(-42))?
True
Let v be (-18)/(1/84*-2). Suppose 0 = 12*n + 9*n - v. Is n a multiple of 12?
True
Let r = -69 + 82. Suppose 829 + 1108 = r*p. Does 36 divide p?
False
Let h = 3 + 63. Does 6 divide h?
True
Let h(q) = -q + 5. Let y(m) = -1. Let x(i) = h(i) - 3*y(i). Let d be x(7). Is 17 a factor of (-71 + 3)*d/(-2)?
True
Let j = -179 - -277. Suppose -o + 2 = 0, 0 = 5*s - o - 30 - j. Is s a multiple of 8?
False
Is 8 a factor of (-8)/(1 - (-3)/18*-9)?
True
Let a(b) = -b**2 - b + 5. Let n be a(-6). Does 12 divide (-135)/6*80/n?
True
Let q(o) = 2*o + 8 - 7 - 4*o. Let d be q(-1). Suppose -3*t + 62 = 3*c + t, -d*t = -3*c + 27. Is c a multiple of 13?
False
Let u be 2/(-7) - 372/21. Does 17 divide (68/6)/(u/(-27))?
True
Does 12 divide 1 + 1324/8 + 2/(-4)?
False
Let y = 260 - 152. Let p = y + -71