)/a a multiple of 19?
True
Suppose 0 = -6*u + 428 + 358. Is 30 a factor of u?
False
Let n = -3 - -2. Let x = -15 + 26. Let f = n + x. Does 5 divide f?
True
Suppose 2*h + 68 = 2*n - 32, 2*n = 4*h + 110. Does 9 divide n?
True
Let p(m) be the second derivative of 5*m**4/3 + 2*m. Is 7 a factor of p(1)?
False
Suppose -146 = -4*g + 330. Let s = -82 + g. Does 16 divide s?
False
Suppose -1 = 5*d - 81. Is d a multiple of 6?
False
Suppose -22 - 86 = 3*z. Let i be (-5)/(-10) + (-107)/(-2). Let w = z + i. Does 9 divide w?
True
Is 6 a factor of 3/(-6)*2 + 17?
False
Let r = 3 - -1. Does 4 divide r?
True
Let x(f) be the third derivative of f**5/60 + f**4/6 + 2*f**3/3 + f**2. Let w be x(-4). Suppose -1 = c + 2*r, -3*c = -8*c - w*r + 13. Is c a multiple of 5?
True
Let y(b) = b**2 - 15*b - 16. Let j be y(7). Is 9 a factor of (j/(-20))/((-2)/(-10))?
True
Is (18/(-5))/(6/(-30)) a multiple of 4?
False
Suppose -5*f = y - 17, y - 5*y + 4*f - 52 = 0. Let x = 0 - y. Is x a multiple of 4?
True
Let r = -21 - -31. Suppose -4 + r = 3*j. Is j even?
True
Suppose 21 = -5*i + 2*o, i + i + 12 = 2*o. Let a be 0/((9/i)/(-3)). Suppose -4*z + 146 = 2*j, 4*z + 4*j - 87 - 61 = a. Is 12 a factor of z?
True
Let v(q) = -11*q. Let r = -13 - -9. Does 22 divide v(r)?
True
Let o = 6 - 5. Suppose 0 = 2*b - 1 - o. Does 6 divide 8/((b + -2)/(-2))?
False
Is 28 a factor of (-28)/(-2*(-1)/(-4))?
True
Let i(d) = -d**3. Let j(x) = 4*x**3 + 4*x**2 + 5*x. Let m(l) = -5*i(l) - j(l). Does 21 divide m(6)?
True
Let m = 155 + -219. Let n = 103 + m. Does 13 divide n?
True
Suppose 0 = p + 4*d + 9 + 1, 4*p - d + 57 = 0. Let o = p + 36. Is o a multiple of 11?
True
Suppose -2*r = 3*r - 570. Suppose 5*u + l + 0*l = r, 0 = 5*l - 20. Does 4 divide (u/(-6))/((-2)/6)?
False
Let f(p) = 72*p**3 - p**2 + 2*p - 1. Is 9 a factor of f(1)?
True
Suppose -2*c + 31 = -c. Let v(f) = 20*f**3 + f**2 - f - 1. Let p be v(-1). Let x = p + c. Is x a multiple of 12?
True
Suppose 0 = -3*w - 15, -w = -4*m + 2*w + 711. Suppose -5*c + 303 = 3*l + 85, -4*c + m = 2*l. Is c a multiple of 27?
False
Suppose -16 = -5*c + 14. Let a(b) be the second derivative of -b**4/12 + 4*b**3/3 - 7*b**2/2 + 4*b. Is a(c) a multiple of 3?
False
Suppose 113 - 1563 = -5*h. Suppose -3*x + h = 2*x. Does 10 divide x?
False
Let o be 7/(7/6) - 2. Let c be (-108)/(-63)*42/o. Suppose -2 = -2*v + c. Does 6 divide v?
False
Is 33 a factor of (-6090)/20*(-4)/6?
False
Suppose 68 = 7*o - 37. Does 15 divide o?
True
Let j(z) = 15*z + 19. Let o(w) = 1 - 6 + 9 + 5 + 7*w. Let f(p) = -6*j(p) + 13*o(p). Does 8 divide f(5)?
True
Let r(t) = -6*t + 4. Let l be r(-5). Let f = 49 - l. Is f a multiple of 6?
False
Suppose 3*m - 3*n = n + 82, n - 18 = -m. Suppose 5*t = 2*w + 7*t - 14, -2*w + m = 4*t. Suppose 0 = -3*d - l + 13, d = w*l - 1 + 2. Does 4 divide d?
True
Let p be 1*(2 + 0) + 3. Suppose -v - 276 = -p*v. Does 23 divide v?
True
Let l = 9 - 5. Suppose -2*r + 49 = -3*h - l, 4*h = -4*r + 136. Is 26 a factor of r?
False
Suppose 2*l - 25 = 5*v, l = 2*v + 10 - 0. Suppose 0 = 4*w + 4*p - 264, l*p - 266 = -4*w - 5*p. Is 17 a factor of w?
False
Suppose 0 = j - 0*j - 17. Suppose 4*b = -3*h - 5, -2*b + 1 = -3*h + 26. Suppose j - 52 = -h*p. Does 7 divide p?
True
Let n(o) = 35*o**2 + o + 2. Suppose -2*w = 2*b + 4, 0 = 3*w - 2*b - 2*b + 13. Let h(p) = 71*p**2 + 2*p + 5. Let x(i) = w*h(i) + 7*n(i). Is 16 a factor of x(1)?
True
Let v be 820/28 + 4/(-14). Let y = v - 20. Does 9 divide y?
True
Suppose -6 = 4*n - n. Let d be 3*1 - (n - -2). Let r = d + 2. Is 5 a factor of r?
True
Let g(x) = -2*x**2 + 26*x + 15. Is 13 a factor of g(12)?
True
Let t = 7 - -11. Let n = 57 - t. Is n a multiple of 13?
True
Let y = -109 - -125. Is 8 a factor of y?
True
Suppose 83 = 5*a - 427. Is 34 a factor of a?
True
Suppose 0 = -3*c + f + 3*f + 10, c - 2*f = 0. Let s(v) = v**2 - c - v**3 + 0 - 5*v**2 - 2*v**2. Is 12 a factor of s(-7)?
False
Let x(p) = -3*p - 3. Let t be x(-2). Suppose 2*w + 5*d + 9 = 0, 17 = 4*w - t*d - 4. Is 13 a factor of 3*5 + -5 + w?
True
Suppose 5*g - 14 = -5*w + 3*w, 0 = -g + 2*w + 10. Let z be 1 - 1 - (-24 - g). Does 7 divide (z/(-8))/(1/(-2))?
True
Suppose 0 = 4*n + 12, n = v - 5*v + 9. Suppose 0 = 2*q - p - 10 - v, 2*p = -3*q + 16. Does 2 divide q?
True
Let a(l) = -17*l**3 - 4*l**2 - l - 2. Let h(g) = 18*g**3 + 5*g**2 + g + 2. Let s(z) = 7*a(z) + 6*h(z). Does 6 divide s(-1)?
True
Suppose s + 2*s - 12 = 0. Suppose -20 = -3*k + p + 8, s*k - 38 = p. Is 3 a factor of k?
False
Suppose 4*k = 68 - 12. Suppose h = -4*z - k, -2*h + 31 = -h - 5*z. Suppose 2*c = 8, -5*d - h*c + 2*c = -116. Is 8 a factor of d?
False
Let l(a) = a**3 - 9*a**2 - 4*a - 5. Is l(10) a multiple of 21?
False
Is 10 a factor of (-3 - 1)*(-186)/24?
False
Let n(i) = 5 - 5 - i**3 - 1 - 5*i**2. Let s be n(-5). Does 5 divide 13 + (2 - s/(-1))?
False
Let w = 80 - 45. Suppose 121 = 2*n + w. Is n a multiple of 12?
False
Suppose 2*w = -2*m + 8, 5*w - 3*m = 3 + 9. Suppose -5*r + w*r = 6, -15 = 5*j + 5*r. Suppose 0 = -j*o + o - 10. Is o a multiple of 5?
True
Let m(u) = u**3 - 19*u**2 + 34*u + 7. Let n be m(17). Let y(h) = 12*h - 4. Let i be y(4). Let s = n + i. Is 18 a factor of s?
False
Suppose -3*z = z + 16. Let o(i) = -i**2 - 5*i. Is o(z) a multiple of 2?
True
Suppose -5*w + 5*h = 4*h - 176, 5*w - 2*h - 172 = 0. Is 12 a factor of w?
True
Let s = -4 - -4. Suppose 0 = -s*i - 4*i + 168. Is 29 a factor of i?
False
Suppose 0*v + 5*v = -3*r + 170, -3*r - 4*v = -172. Does 12 divide r?
True
Let b be (-112)/(-2) - (0 - 2). Let q = -11 - 6. Let a = q + b. Is 11 a factor of a?
False
Suppose a = -t + 5, -4*t = -2*a - 0*a - 2. Suppose a*v = -v + 160. Is 20 a factor of v?
True
Let a = -135 - -34. Let d = a + 171. Is d a multiple of 20?
False
Let x be (-2)/6 - (-10)/(-6). Is 7 a factor of -2*((-75)/6 - x)?
True
Suppose 5*i + 3*c - 6 - 384 = 0, -3*i + 205 = -4*c. Is 15 a factor of i?
True
Suppose -2*y - 3*y + 85 = 0. Does 5 divide y?
False
Suppose a - 1 - 25 = 0. Suppose -5*b + 2*o = 6*o + a, -2*b = -o. Let z = 1 - b. Is z a multiple of 2?
False
Suppose -44 = -3*n + 127. Suppose 2*f = -f + n. Let b = 0 + f. Is b a multiple of 19?
True
Suppose -2*t - t = 4*r - 232, 0 = -3*r + t + 174. Is r a multiple of 29?
True
Let f = -9 + 30. Does 5 divide 2/(-4 - f/(-5))?
True
Let y(u) = -5*u + 3. Let n(s) = -4*s + 3. Let z(t) = 6*n(t) - 5*y(t). Let a be z(0). Suppose -a*p = -2*p - 26. Is p a multiple of 13?
True
Is 14 a factor of 574/(-7)*1/(-2)?
False
Let y = -31 + 86. Is 55 a factor of y?
True
Let q(m) = m**2 + 7*m - 9. Suppose 2*i = -0*i. Suppose i = -3*g - 35 + 8. Is q(g) a multiple of 3?
True
Let u = 363 - 248. Is 23 a factor of u?
True
Suppose 0 = -a + 4*g + 23, -3*a - g = 4*g + 16. Suppose -3*z + 6*t = a*t - 108, -4*z + 144 = -t. Is 14 a factor of z?
False
Suppose -3*u + 4 - 13 = 0, 0 = c - 3*u - 24. Suppose 3*z - 2*z = -a + c, 78 = 4*a - 2*z. Is 6 a factor of a?
True
Let l be 2/10 + 2/(-10). Suppose -2*b - 122 = -3*a, 5*b = -5*a - 0*b + 245. Suppose l*s - s = -a. Is 19 a factor of s?
False
Is (11/(-4))/((-45)/(-24) - 2) a multiple of 7?
False
Let s = 81 - 5. Is 11 a factor of s?
False
Suppose 4 + 12 = -2*q. Let j = 16 + q. Is 8 a factor of j?
True
Let x(l) be the first derivative of -l**3/3 + l**2/2 + 16*l - 1. Does 16 divide x(0)?
True
Let p(l) = -7*l + 9. Is 31 a factor of p(-7)?
False
Let l(s) be the third derivative of -s**4/24 + 7*s**3/3 + 4*s**2. Is l(-11) a multiple of 8?
False
Let n(f) = 5*f**2 - 10*f + 3. Is 4 a factor of n(3)?
False
Suppose -2*i = -4*b - 402, -3*b - 309 = -3*i - 0*i. Let x be 2/(-6) + b/(-6). Let s = x + -3. Does 4 divide s?
False
Let o = 20 - 18. Suppose o*l = r - 8 - 37, 0 = -r + 3*l + 48. Does 15 divide r?
False
Is 10 a factor of (5 - 1)/(5/25)?
True
Let d = -15 + 26. Is d a multiple of 11?
True
Let v(p) = -2*p + 12. Is v(-10) even?
True
Let o = -3 - -9. Let a = 15 + o. Does 21 divide a?
True
Suppose -7 = -2*a + 3*a. Is (-4)/(-28) + (-202)/a a multiple of 10?
False
Does 12 divide (-7472)/(-104) - (-5)/(130/4)?
True
Suppose -4*z + 0*z = -580. Is z a multiple of 29?
True
Suppose -g - 15 = -4*g. Suppose v + z - 14 = 43, -5*v + g*z = -315. Is v a multiple of 20?
True
Is 18 a factor of ((-28)/6)/(((-35)/(-135))/(-7))?
True
Suppose 5*d + 2*o = -5, 3*d = -3*o - 0*o - 12. Let s(t) = -t**3 + 4*t**2 - 2*t - 2. Let k be s(2). Does 6 div