u) = 33*u + 3. Is 26 a factor of a(1)?
False
Suppose 0 = -0*o - 2*o - 6. Let y(g) = 3*g**2 - 3. Is 16 a factor of y(o)?
False
Let r = 13 - 11. Suppose m = r - 13. Let b = 19 + m. Does 8 divide b?
True
Let q = 4 + 7. Is q a multiple of 11?
True
Let w = 4 - -3. Let l(c) = -c**3 + 7*c**2 + 2*c + 6. Is l(w) a multiple of 10?
True
Suppose 12 - 2 = 2*x. Let n(j) = j - 1. Let q be n(x). Suppose 13 = i - 0*v - 2*v, -3*i - q*v - 1 = 0. Is i even?
False
Let k(n) be the second derivative of n**3/3 + 7*n**2/2 - n. Let t be k(-5). Is 10 a factor of (-1 + -2)*20/t?
True
Let u(z) = 53*z - 8. Let a be u(4). Suppose -60 + a = 4*y. Is 12 a factor of y?
True
Suppose 3*s - 3 = z - 5, 2 = z + 2*s. Suppose z*v = -4, 0 = p + 2*v - 0*v. Let q = p - 1. Is q a multiple of 3?
True
Let d = 14 - -135. Let n = 19 - -20. Suppose -n = -4*a + d. Does 13 divide a?
False
Let o(s) = -2*s + 18 - 2*s + 3*s + 2*s. Is 14 a factor of o(0)?
False
Let y(x) = 2*x**3 - 2*x**2 - x + 1. Let u(w) = w + 9. Let c be u(-7). Does 2 divide y(c)?
False
Let o(s) = -3*s + 33. Is o(4) even?
False
Does 2 divide (-4)/(-12)*3 - -4?
False
Let l be (-1)/(20/(-18) - -1). Suppose 0 = -3*v + 120 - l. Is 16 a factor of v?
False
Let w(i) = -25*i**3 - 2*i**2 - 2*i - 1. Let b be w(-1). Suppose -164 + b = -5*s. Suppose -4*x + 3*u + 20 = -s, 3*x - 49 = -u. Is x a multiple of 11?
False
Let n = 213 - 56. Does 6 divide n?
False
Let j = -2 - -6. Let l = 10 + -5. Suppose l*q + 3*i = 17, -j*q = -5*q - 2*i + 2. Does 4 divide q?
True
Suppose -3*n = -2*n. Suppose -s = -n*s. Suppose 4*u - 115 + 35 = s. Is u a multiple of 10?
True
Suppose 29 = 2*s - 21. Let b be 256/10 + (-15)/s. Suppose 3*r - b = -2*r. Is 5 a factor of r?
True
Let d be -3*1 - (-37 + -1). Let z = 62 - d. Does 12 divide z?
False
Suppose 18 = -2*i - i - 3*p, 2 = -2*i + 3*p. Let k be (10/i + 2)*-12. Is 10 a factor of ((-9)/k)/(2/(-28))?
False
Let s(i) = -6*i - 1. Let k(j) = 2*j + 1. Let z(q) = -9*k(q) - 4*s(q). Suppose -7*y + 24 = -3*y. Does 15 divide z(y)?
False
Let g(o) = o - 5. Let i be g(7). Suppose -7*r + i*r = -65. Is r a multiple of 13?
True
Let m = -9 - 24. Let p = 18 + m. Does 8 divide (35/p)/(1/(-6))?
False
Let f(t) = -t**2 - 3*t. Let r be f(-3). Suppose 0 = -2*h - 2, -2*h + 113 = 5*m - r*h. Let a = m + -4. Does 9 divide a?
False
Suppose 3*r = 7*r + 120. Let a = 48 + r. Is a a multiple of 9?
True
Let d(a) = -a**3 - 4*a**2 + a + 4. Let x be d(-5). Suppose -x = -4*i - 0*i - 4*w, -w = -4. Suppose -r = i*r - 51. Does 8 divide r?
False
Let f(u) be the third derivative of u**8/10080 - u**7/840 - 7*u**6/720 + u**5/20 - 2*u**2. Let r(t) be the third derivative of f(t). Is 15 a factor of r(6)?
False
Suppose -2*b + 6*b - 12 = 0. Is 143/b - 6/(-18) a multiple of 16?
True
Let d = 24 - 17. Suppose -3*s + d*s - 168 = 0. Is s a multiple of 14?
True
Let a(o) = -9*o - 11. Is a(-3) a multiple of 3?
False
Suppose 5*f = 5*o - 255, o = 3*f - f + 52. Does 15 divide (12/(-5))/((-4)/o)?
True
Does 4 divide 2/2*(25 + -3)?
False
Let g(x) = -x**2 + 10*x - 8. Let c be g(6). Suppose -k - 54 = -5*m + c, -5*m = 4*k - 95. Is m a multiple of 10?
False
Let j be 117/5 - (-8)/(-20). Let t = 12 - j. Let v = t + 22. Is v a multiple of 5?
False
Is 17 a factor of (-4064)/(-80) - (-1)/5?
True
Let z(v) = v**2 + 5*v + 9. Does 5 divide z(-6)?
True
Let x be 2/(-3)*(-9)/(-6). Let d = -1 - x. Suppose 3*z - 4*i - 25 = -d*i, -4*i - 32 = -4*z. Is 4 a factor of z?
False
Let x(p) = -p**3 - 11*p**2 + p + 13. Let u be x(-11). Suppose -2 = -u*y + 4. Is 2 a factor of y?
False
Let l = -1 + -1. Is 10 a factor of (-155)/(-5) - (1 + l)?
False
Let a = -1 + 5. Suppose d = -2*x + x - 30, -a*d + 4*x - 112 = 0. Let u = d + 69. Is u a multiple of 19?
False
Let f = -118 + 269. Is f a multiple of 23?
False
Let a(p) = -2*p. Let d(u) = u. Let z(c) = 2*a(c) + 5*d(c). Is z(13) a multiple of 12?
False
Let n(m) = m**2 - 2 + 5 - 3*m - m + 0. Does 15 divide n(6)?
True
Suppose -2 = 2*y + 98. Let p be 6/9 + 2/(-3) - -105. Let l = p + y. Is l a multiple of 15?
False
Let p(u) = -u**3 + 4*u**2 + 2*u - 4. Let t be p(4). Suppose -t*q - 2*o + 4 = -16, -o - 2 = -q. Does 4 divide q?
True
Is (-4192)/(-208) + (1 - 15/13) even?
True
Let c(f) = -9*f**2 + f - 29. Let s(h) = 5*h**2 + 15. Let w(t) = 6*c(t) + 11*s(t). Let m be (-94)/10 + (-18)/(-45). Is w(m) a multiple of 13?
False
Let w(q) = q**2 + 29*q + 15. Is 23 a factor of w(10)?
False
Let f = 174 + -27. Is 7 a factor of f?
True
Suppose 0 = 2*g + g. Let t(q) = 7*q - q**2 + 4*q + g*q**2 - 2*q - 1. Does 7 divide t(6)?
False
Suppose -a + 4*a = 9. Suppose -5*g + 63 = -2*g - a*c, g = -2*c + 15. Is 6 a factor of g?
False
Suppose o - 101 = 5*t, -3*o + o - 58 = 3*t. Suppose 2*l = y + 5, -14 = 3*y - 8*l + 3*l. Is (-16)/y*(-75)/t a multiple of 10?
True
Let x be (3 + -6)/(3/(-4)). Let p = 0 + x. Let z = p + 11. Is 15 a factor of z?
True
Let y = -40 - -84. Let f = y + -26. Is 18 a factor of f?
True
Let p be -213*(-2)/6 + -2. Does 15 divide 6/12*(1 + p)?
False
Let m(q) = -2*q**3 + 3*q**3 - q**2 + 6*q + 6*q**3 - 5*q. Is m(1) a multiple of 5?
False
Let g = -6 - -11. Suppose -g*u + 24 = -3*u - t, 0 = -5*u - 2*t + 69. Is 9 a factor of u?
False
Let n = 13 + 1. Let o = n + 1. Suppose 2*l = o + 33. Is 14 a factor of l?
False
Let c(z) = 4*z**3 - 3*z**2. Let q(p) = -3 + 2*p - p + 5. Let k be q(0). Is c(k) a multiple of 16?
False
Let r(d) = -2*d**2 + 1. Let y be r(1). Let a = 2 - y. Suppose 2*x = a*x - 27. Is x a multiple of 12?
False
Suppose -2*n + 172 = h - 35, -h = 5*n - 522. Is 15 a factor of n?
True
Suppose 0 = 2*n - 0 - 2. Let u be 5 - (n - (1 + 0)). Suppose -4*b = -3*r - 24, 2*r + 0*r + 23 = u*b. Is b a multiple of 2?
False
Suppose -2*f + 32 = -5*b, -f + 4*f - 5*b - 53 = 0. Is 9 a factor of f?
False
Suppose -20 = -x - m + 47, -3*m - 114 = -2*x. Is x a multiple of 9?
True
Suppose -5*j = 2*b + b - 11, -4*b = -8. Suppose 3*m + 5*g = 2, g + 1 + j = 0. Suppose 4*o + 4*t - 24 = 0, -m*t + 15 = -o + 2*o. Does 3 divide o?
True
Let g be 3*1 + 1*-1. Let l = -24 + 27. Suppose l = g*j - 5. Is j even?
True
Let a(r) be the second derivative of 13*r**4/4 + 5*r. Let b = -3 - -4. Is a(b) a multiple of 13?
True
Let t = 166 + -68. Is 7 a factor of t?
True
Let i(n) = 2*n**2 + 13*n + 3. Let r(h) be the third derivative of h**5/60 + h**4/2 + 2*h**3/3 - 3*h**2. Let k(b) = -2*i(b) + 3*r(b). Is k(9) a multiple of 9?
False
Let b(u) = u**2 - 13*u + 22. Is b(15) a multiple of 4?
True
Suppose -2*m - 17 = -4*z + m, 4*z = m + 11. Is 21 a factor of -2 + 55 + (4 - z)?
False
Let o = 21 - -1. Is 6 a factor of o?
False
Does 21 divide 1/(-1*(-4)/332)?
False
Suppose -5*n + 4 = -4*n. Suppose 12 = x - 4*l, 12 = n*x - 5*l + l. Suppose x = -g - 4*y + 11, 32 = -5*g + 2*y + 175. Does 12 divide g?
False
Let p(m) = -m**3 - 13*m**2 - 9*m - 4. Let k be p(-6). Suppose -3*c - 9 = -4*c. Does 13 divide 3/c + k/(-6)?
False
Let y(g) be the first derivative of g**3/3 - 2*g**2 - 4*g - 2. Let i be y(8). Is 15 a factor of i - (-1 + (-1)/1)?
True
Suppose -p - 4*p = -65. Let u = p + -8. Let v = u - 0. Is v a multiple of 4?
False
Let m(n) = 6*n + 4. Let b(x) = -x - 1. Let r(g) = -11*b(g) - 2*m(g). Suppose 2 = 2*h + 8. Is 3 a factor of r(h)?
True
Let d(f) = -f**3 - 29*f**2 - 62*f - 34. Does 14 divide d(-27)?
True
Let n be (-6 - -5)/((-2)/28). Does 4 divide 15*(n/(-10) - -2)?
False
Let t be ((-2)/2)/((-3)/(-15)). Let y be t/(5/(-2))*1. Suppose -i + 14 = -k, -y*k + 50 = 5*i - 3*k. Does 8 divide i?
False
Suppose 0*r - 6*r + 336 = 0. Is r a multiple of 14?
True
Let k = 9 - 6. Let g = 2 + k. Suppose g*n - 3*n = 26. Does 4 divide n?
False
Let v = -24 - -46. Is v a multiple of 6?
False
Let h(b) = b + 24. Suppose 2*l - 82 = 24. Suppose 5*x + l = -3*f, 0*x + 15 = -x - 5*f. Does 6 divide h(x)?
False
Let r(l) = -l + 1. Let g be r(-3). Suppose -4*m + 5*z = -10, -3*m + 17 = -3*z + g*z. Suppose m*k = 207 + 48. Does 16 divide k?
False
Suppose -j = 2*k - 68, 0*j + 3*k = -2*j + 138. Is j a multiple of 15?
False
Suppose 0 = -a - 0*a. Suppose a*t = -2*t + 28. Is t a multiple of 4?
False
Suppose -2*j = -0*j + r - 40, 32 = 2*j + 3*r. Does 11 divide j?
True
Let r(b) = b**2 - 2. Let k be r(-2). Suppose k*f = 6*f - 88. Does 14 divide f?
False
Suppose 2*h - 4 = 6*h - 5*d, -3*d = -5*h - 5. Let c = 2 - h. Suppose j = -y + 12, j + 0*j = -c*y + 12. Is 6 a factor of j?
True
Suppose -5*v + a