. Is u(-1) a multiple of 15?
True
Let k be 1/2 - (-18)/4. Let y = k + -3. Suppose j + 20 = y*j. Is 5 a factor of j?
True
Let o be 2 + (-8)/4 + -133. Does 22 divide 22/(-7)*o/19?
True
Suppose -8*a + 3*a = 4*z - 748, z = 4*a - 590. Is a a multiple of 55?
False
Suppose 1 = 3*a + h - 15, h = 4. Let u = -74 - -79. Suppose 5*p - 23 = -2*f, 0 = p + a*p + u*f - 20. Is p even?
False
Suppose 2*q - 3610 = 4*v, -3*v = 4*q - 6*v - 7245. Is q a multiple of 15?
True
Suppose 5*a = -4*z + 2*z + 17, 5*z - 3*a + 4 = 0. Let k be (-1)/(-3)*0 - z. Does 11 divide 11 - (k - (0 - 1))?
True
Suppose 5*u + 15 = 0, -4*u = 4*h - 2*u - 2. Suppose b - 17 = 4*b + 4*r, 0 = -5*b + h*r - 11. Does 10 divide (13/3)/((-1)/b)?
False
Suppose 2*d = 4 - 0. Let a(u) = 1 - 7*u**2 + 6*u**d + 67*u**2. Is a(1) a multiple of 35?
False
Suppose 0 = -55*i + 5614 + 129576. Is 15 a factor of i?
False
Suppose -5*r = 3*p - 365, 0*p + 3*r = -p + 127. Suppose 0 = 3*x - p - 44. Does 13 divide x?
False
Let w(f) = -f**2 + 1. Let g be w(-3). Let r(s) = 101*s - 2 - 204*s - 4 + 96*s. Does 13 divide r(g)?
False
Suppose -26*f + 4546 + 8688 = 0. Does 6 divide f?
False
Let x(w) = -403*w + 82. Is 77 a factor of x(-4)?
True
Suppose -21*g = -24*g. Suppose 6*u - u + 385 = g. Let d = -47 - u. Is 10 a factor of d?
True
Let k(h) be the second derivative of -6*h**3 - 7*h**2 + 8*h. Let w(j) = -24*j - 9. Let f(v) = -5*k(v) + 8*w(v). Is 4 a factor of f(-2)?
False
Suppose 3*r - 3*y = 159, -4*y = -5*r - 76 + 342. Let a = r - 28. Let g = a + -10. Does 6 divide g?
False
Let b(i) = 13*i - 15. Let v(h) = -53*h + 61. Let d(t) = 9*b(t) + 2*v(t). Is 16 a factor of d(7)?
True
Suppose -2*l = -5*l + 798. Suppose l = 3*t - 58. Suppose -14*h + 10*h + t = 0. Is 22 a factor of h?
False
Suppose a = -4*y - 1421, y = -4*a + 19 - 378. Let b be y/7 - 6/21. Is b/(-2) + (-5)/10 a multiple of 14?
False
Let j(x) = 2*x - 2. Let s be j(3). Suppose 0 = 2*q - 6 - 0. Suppose n - q = s. Is n a multiple of 2?
False
Let p(r) = -61*r + 2. Let h be p(-2). Let t be (-30)/(-18)*(-1 - -4). Is 13 a factor of 3/t + h/10?
True
Suppose -5*h = -8*h + 162. Suppose 0 = -3*a + 3*x + 3, -5*a + 2*x = 7*x - 15. Suppose -a*s = s - h. Does 9 divide s?
True
Suppose 10 = 2*d, d = 5*z - 3*d - 1540. Does 12 divide z?
True
Let d(k) be the third derivative of 1/15*k**5 - 2/3*k**3 + 4*k**2 + 0 - 7/24*k**4 + 0*k + 1/120*k**6. Is d(-5) a multiple of 6?
True
Let i = -1 + 0. Let r be -143 + -2 - 0 - i. Let z = r - -228. Is z a multiple of 21?
True
Suppose -3*u = 3*u. Suppose m - 3*m + 94 = u. Let b = m + -15. Is b a multiple of 16?
True
Suppose -3*j - 15*u + 13*u = -1439, 4*u = -20. Is j a multiple of 21?
True
Suppose 57*f - 10 = 55*f. Suppose 4*p + 81 = v - 45, -4*v + f*p = -460. Does 10 divide v?
True
Let g(i) = i**3 - 14*i**2 + 24*i + 22. Let x be g(14). Suppose 3*h + 712 = 4*z, 5*z = 3*z + 2*h + x. Is 25 a factor of z?
True
Let t(y) be the third derivative of y**4/12 + 5*y**3/6 + 5*y**2. Let k be t(0). Suppose k*c + b - 38 = 2*c, 3*b = -c + 26. Is c a multiple of 4?
False
Suppose -4*m - 14 = -2*j, -7*m - 6 = -4*m. Suppose j = a + g, -g + 6*g - 15 = -3*a. Suppose a*i = 3*i - 54. Is i a multiple of 9?
True
Suppose -2*u = -5*q + 10790, -3*u - 12668 = -5*q - 1878. Is 26 a factor of q?
True
Let t(w) be the first derivative of -6*w + 1/2*w**2 - 2/3*w**3 - 1/4*w**4 - 1. Is t(-5) a multiple of 32?
True
Let d(s) = s**3 + 6*s**2 - 5*s - 7. Suppose 5*x - x - 20 = 2*v, 16 = -v + 4*x. Is d(v) a multiple of 15?
True
Let s(c) = c**3 + 19*c**2 - c - 21. Let b be s(-19). Is 6 a factor of b/9 + 2990/90?
False
Let g = 92 - 37. Does 11 divide g?
True
Suppose 39 - 12 = -3*r. Is 12 a factor of 6118/253 + -1 + r/(-11)?
True
Suppose 8*v = 11*v - 210. Let k = -2 - -4. Suppose h - k*j + 3*j = 23, -v = -5*h + 4*j. Does 6 divide h?
True
Suppose 4*j = f + 46, 0 = 4*j - 0*f - 4*f - 52. Let w be 0/((-2)/(-3)*-3). Suppose w = -2*v + 5 + j. Is v a multiple of 6?
False
Let x(o) = -o + 15. Let n be x(10). Suppose -n*t + 17*t - 288 = 0. Is 2 a factor of t?
True
Let i = -1931 - -2045. Does 6 divide i?
True
Let u(r) = r**3 + 4*r**2 - 3*r - 7. Let k be u(-4). Suppose k*h = 2*f - 83, f + 32 - 96 = -2*h. Let g = f - 25. Is g a multiple of 12?
False
Is 10555/25 + 28/35 a multiple of 10?
False
Let s = -3153 - -4985. Is 8 a factor of s?
True
Let n(i) = i**3 - 24*i**2 + 28*i - 17. Suppose -5*p + 115 = 4*o, o + 15 = 2*p - 31. Is n(p) a multiple of 13?
False
Let j(r) = -15*r**2 - 3 + 12*r**2 + 1 - r**3. Let m be j(-5). Suppose m = 2*l - 48. Is 24 a factor of l?
True
Suppose -4*d + 3*v = 147 - 567, -2*v = 2*d - 210. Suppose -2*n - d = 2*g - 307, -g = 1. Is n a multiple of 17?
True
Let c be 2/(-6) - (-44)/(-12). Let j(m) = m**2 + m + 4. Is 3 a factor of j(c)?
False
Let f be (-102)/(-24) - 1/4. Suppose f*m = m + 81. Is m a multiple of 26?
False
Let w(x) = -x**3 + 8*x**2 - 13*x + 6. Let p be w(6). Suppose 83 = 4*h - b - 2*b, p = h - 3*b - 23. Does 10 divide h?
True
Let z = 665 + -389. Does 19 divide z?
False
Let z = 95 - 51. Let b = z - 31. Does 5 divide b?
False
Let i = 1324 - 1124. Is i a multiple of 23?
False
Let s be -1 + 5 + -1 - -12. Suppose -30 = 4*k + 3*a, 0 = -4*k - a - 11 - s. Is (-2)/k + 35/3 a multiple of 12?
True
Suppose -y + 562 = 2*x, y = -5*x + 781 - 234. Is 52 a factor of y?
True
Let f(k) = k**2 - 4*k - 4. Let q be f(5). Let c(x) = 48*x**3 - 2*x + 2. Is 8 a factor of c(q)?
True
Let h(o) = -6*o**3 - 40*o**2 - 61*o + 41. Let p(j) = -j**3 - 8*j**2 - 12*j + 8. Let n(a) = 2*h(a) - 11*p(a). Is 14 a factor of n(7)?
False
Is 7 a factor of (10920/(-240))/(0 - 1/22)?
True
Let u = -2279 + 2794. Is u a multiple of 5?
True
Let l be -1 + (2 + 1 - 38). Is 8/l + 3/(27/344) a multiple of 13?
False
Let i(z) be the second derivative of 29*z**3/6 + 27*z**2/2 + 19*z. Does 10 divide i(7)?
True
Suppose -5*c + 4*b + 3039 = 0, -3*c - 5*b = 116 - 1932. Is 31 a factor of c?
False
Suppose -21*x - 264 = -22*x. Suppose 3*d = -d + x. Is d a multiple of 22?
True
Suppose 2*d = -20 - 10. Let o(v) = v + 29. Is 3 a factor of o(d)?
False
Let d = 393 - 228. Suppose 3*u - d = -0*u. Is 11 a factor of u?
True
Let w(r) = 11*r - 180. Does 6 divide w(55)?
False
Suppose -2*m + 3*i = 1, i + 1 = 3*m - 2*m. Suppose 5*h - 357 - 14 = -m*j, 5*h = -2*j + 193. Does 15 divide j?
False
Suppose 8 = 4*g - 4*j, -8 = -4*g + 3*g - j. Suppose g*k + 0*k = 775. Is 25 a factor of k?
False
Let a(s) = 61*s + 1. Let f(h) = h + 1. Let c(u) = a(u) - 2*f(u). Let o be c(2). Suppose x - 4*x + o = 0. Is x a multiple of 13?
True
Suppose 0 = 3*f - 12, 4*o - 84 = -5*f + 108. Is o a multiple of 9?
False
Let r(v) = -12*v + 21. Suppose -h + 2*k = 3*k + 8, -5*h + 5*k - 70 = 0. Is 12 a factor of r(h)?
False
Suppose -166*k + 39 = -165*k. Does 7 divide k?
False
Let d be 15/10*-2 - -107. Let m = d - 81. Is 8 a factor of m?
False
Let p = 84 + -115. Let u = 93 + p. Does 31 divide u?
True
Suppose -15*d + 17*d + z - 4666 = 0, z = 5*d - 11658. Is d a multiple of 11?
True
Does 35 divide (80/32)/((-4)/(-840))?
True
Let z(u) be the first derivative of u**3/3 - 3*u**2/2 - 4*u + 6. Let v be z(4). Suppose v = -6*m + 11*m - 90. Does 9 divide m?
True
Let x = -627 - -883. Is 14 a factor of x?
False
Suppose 14*h - 13*h = 7. Suppose 4*c + 2*j - 158 = h*j, c - 50 = -4*j. Suppose c = i + i - s, -s = -5*i + 105. Is 15 a factor of i?
False
Suppose -3*y = y - 12. Suppose 2 = y*z - 4. Suppose r + 42 = z*h, -5*h + 99 = -0*h - 4*r. Is h a multiple of 10?
False
Suppose 2*g = 127 + 7. Let t be g + ((-4)/(-1) - 1). Let d = 100 - t. Is 10 a factor of d?
True
Let r(y) = y**3 - 5*y**2 - 7*y + 6. Let u(m) = -3*m - 2. Suppose -8 = n - x, 0 - 4 = -2*n - 2*x. Let p be u(n). Is 12 a factor of r(p)?
False
Suppose -f = -2*q + 61, -4*f = 3*q - 3*f - 84. Let u be (3/6)/(1/(-28)). Let m = q + u. Is m a multiple of 9?
False
Let s(k) be the second derivative of 20*k**3/3 - 6*k. Does 9 divide s(1)?
False
Suppose -4*l = -2*l - 972. Suppose 0 = k + 5*s - 162, 2*s = -3*k + 7*s + l. Is 31 a factor of k?
False
Let s(c) be the second derivative of c**6/90 - c**5/60 + c**4/24 + 2*c**3/3 - 4*c. Let l(j) be the second derivative of s(j). Is l(-3) a multiple of 16?
False
Suppose 0 = -3*a - n + 1211, -2*n + 1201 = 3*a - 3*n. Does 7 divide a?
False
Let y(a) = a**3 + 10*a**2 - 3*a - 10. Let k(n) = 2*n**2 + 11*n - 5. Let c be k(-5). Is 5 a fact