z. Is 12 a factor of w(6)?
True
Suppose -5*g + 2*i + 90 = -g, -g + 2*i = -21. Is g a multiple of 8?
False
Let p(r) = r**3 + r**2 - 1. Let g(m) = 2*m**3 + 11*m**2 - 5*m - 7. Let k be 4/(-6)*(-15)/10. Let j(d) = k*g(d) - 3*p(d). Is j(6) a multiple of 13?
False
Suppose 5*d = -2*b + 7 + 13, -2*b = -4*d - 2. Suppose -b = 2*h - 1. Is 15 a factor of 22 - 1*(-3 - h)?
False
Suppose 37 = 6*q - 155. Does 32 divide q?
True
Let z(w) = 3*w**2 + 2*w + 11. Does 17 divide z(-3)?
False
Let p(m) = 4*m - 18. Let a(q) = -4*q + 18. Let r(i) = -3*a(i) - 2*p(i). Is 6 a factor of r(6)?
True
Does 27 divide (0 - 5/10) + (-239)/(-2)?
False
Let b = 472 - 184. Is 12 a factor of b?
True
Suppose -235 = 13*l - 976. Is l a multiple of 19?
True
Suppose -10 = 10*r - 100. Is 2 a factor of r?
False
Is (3 - 2)/(2/202) a multiple of 26?
False
Let q be (1 - 0 - 10)*-1. Suppose q = a + 2*z + 1, -z = a - 11. Is 14 a factor of a?
True
Let m = 45 - 25. Suppose 0 = -4*t + 4*i, 3*t = -t - 2*i + 30. Let j = t + m. Is j a multiple of 20?
False
Let r(a) = -a**2 + 5*a + 1. Let u be r(5). Let w be (-18)/6*13/(-3). Let v = w + u. Does 6 divide v?
False
Let a = -2 + 2. Suppose 4*t = -a*t - 4. Let b = t - -8. Is b a multiple of 5?
False
Let w(g) = g**2 - 4*g. Let x be w(6). Let i = -8 + x. Suppose -3*b + 152 = -2*s, i*s + 2 + 2 = 0. Is b a multiple of 19?
False
Let l = -20 + 30. Let k be (-2)/(-5) + 476/l. Suppose -4*d - t + k = -11, 3 = -3*t. Is 15 a factor of d?
True
Let j(m) = 4*m**3 + m**2 + 2. Let s be j(-2). Let u = s - -41. Is 5 a factor of u?
True
Let j be (-10)/(-4) + (-9)/6. Does 7 divide j/(6 + -4)*68?
False
Let t = 22 + -22. Suppose t*n = -n + 16. Is 8 a factor of n?
True
Suppose -2*k + 0*k = 2. Let r be (k/3)/((-1)/15). Suppose -9 + 79 = r*t. Does 7 divide t?
True
Let f = -285 + 533. Suppose 2*u = -2*u + 3*d + 496, 2*u = 3*d + f. Is 5 a factor of u/9 + 4/18?
False
Let k(y) = -2*y**3 - y**2 - 3*y + 56. Does 28 divide k(0)?
True
Let u = 193 - 17. Is 16 a factor of u?
True
Suppose 25 = 6*l - 35. Is l a multiple of 5?
True
Let l(f) = f**2 + 2*f - 1. Let s be l(-3). Suppose 3*q = -s*q + 200. Is 12 a factor of q?
False
Let u = -48 + 16. Let y = 45 + u. Is 8 a factor of y?
False
Suppose 25*n + 720 = 31*n. Is n a multiple of 12?
True
Suppose -b - 81 = -4*b. Is 9 a factor of (-24)/9*b/(-2)?
True
Suppose o - 2*o + 22 = 0. Let z be 14/6 - (-8)/12. Suppose -q + 4 = r, -z*q + 5*r + o = -22. Is q a multiple of 7?
False
Suppose 3*k - 21 = -9. Suppose 2*v - 2*a + 2 = 0, 6*a - 3*a - 3 = k*v. Let h(i) = i**2 + 35. Is h(v) a multiple of 12?
False
Suppose -3*z + 5*x + 8 = 0, z - 2*x + 0*x = 2. Suppose -3*w + 0*w = -z. Suppose 0 = -k - 2*v + 16, 5*k - w*v - 2*v - 52 = 0. Is 6 a factor of k?
True
Suppose -4*z - 47 = -3*k, -4*z + 2*k + 26 = 76. Let x be 340/14 + 4/(-14). Let n = z + x. Is 10 a factor of n?
True
Is (165/(-44))/(0 + 3/(-16)) a multiple of 10?
True
Let q = -50 - -78. Is q a multiple of 7?
True
Let p be ((-36)/10)/((-4)/20). Is 24*(-3)/p*-3 a multiple of 6?
True
Suppose -k + 6 = 4*q, -4*k = 5*q - 3 + 1. Is q/7 - 208/(-56) a multiple of 3?
False
Let p(r) be the first derivative of -r**4 - r**3/3 - r**2/2 + 2*r + 6. Is p(-2) a multiple of 8?
True
Suppose -4*u - 93 = 39. Does 5 divide (u/(-9))/(-1)*-6?
False
Let t = -21 - -81. Is 30 a factor of t?
True
Suppose 12 = 3*n - 0*n. Suppose n*z - 39 = 41. Suppose 0 = 3*x + 2*x - z. Is x a multiple of 4?
True
Let h = -44 - -197. Suppose h = 5*v - 137. Is 19 a factor of v?
False
Let v be 1 + (-28 - (-3)/(-3)). Let y = v - -47. Is 8 a factor of y?
False
Suppose -3*o = -4*o + 5. Suppose o*a - 4*c = 3*a + 142, 5*c + 143 = 2*a. Is 23 a factor of a?
True
Let u be (12/(-8))/((-9)/12). Suppose -u*a - 90 = -n, 0 = 5*n - 0*n - 5*a - 425. Is 22 a factor of n?
False
Suppose -4 - 5 = 3*m. Let n be 8/m*6/(-4). Let z = n + 14. Does 9 divide z?
True
Let k be (-8)/(-5)*(-10)/(-4). Suppose -4*z + 0*z = -i - 33, -k*z + 38 = -2*i. Is z a multiple of 7?
True
Let r = 4 - 3. Does 3 divide (r/(-3))/((-4)/36)?
True
Let d = -69 + 124. Is d a multiple of 5?
True
Suppose 37 - 15 = 2*o. Let t = -1 + 3. Suppose -t*a = -1 - o. Is a a multiple of 6?
True
Is 74 + -6 + 2*6/(-4) a multiple of 3?
False
Suppose 5*c - 4*y = 214, 5*c + 3*y = 299 - 92. Is c a multiple of 14?
True
Suppose 4*d = -12, 4*d + 0*d = -5*h + 118. Is 13 a factor of h?
True
Suppose 3*d - 2*m + 1 = 0, -11 = -d - m - 3. Suppose 2*p + d*w = 70, 3*w - 168 + 63 = -3*p. Let s = -16 + p. Does 19 divide s?
True
Let r(y) = y**3 - y**2 - 4*y + 1. Is r(3) even?
False
Suppose -41 = 2*m - 103. Is m a multiple of 20?
False
Let u(m) = m**3 - 8*m**2 - 4*m + 12. Let j be u(8). Let a = 2 - j. Is a a multiple of 9?
False
Let w(x) = -5*x - 12. Does 6 divide w(-8)?
False
Let m = 9 + -1. Suppose r + 4 = 3*r. Suppose 0 = r*w - 16 - m. Is 6 a factor of w?
True
Suppose 9*k - 7*k - 66 = 0. Is 10 a factor of k?
False
Let i(z) = -z**3 + 1 + 3 - z**2 - 7*z - 6*z**2. Suppose 3*k = 5*g - 43, -4*k - 29 = -0*k - g. Is 5 a factor of i(k)?
True
Let p(i) = -i**2 - 5*i - 2. Let c be p(-4). Let l(d) = d**2 - d + 1. Let s be l(c). Suppose 22 = 3*z + q, 3*q - s + 41 = 4*z. Is z a multiple of 5?
False
Let h = 6 + 2. Is 8 a factor of h?
True
Suppose 5 + 49 = -3*t. Let y = t + 32. Is y a multiple of 12?
False
Let b be (-36)/(-21)*(-224)/(-4). Does 13 divide (13/(-4))/((-6)/b)?
True
Suppose -4*f - 16 = -0. Let r be f/(-12) + 20/(-6). Let p = 13 + r. Does 5 divide p?
True
Let d be (-103)/(-2) - 1/(-2). Suppose 5*i - 22 + 7 = 0. Suppose 0 = -3*k - w + d, -2*w = -i*w + 4. Is 8 a factor of k?
True
Let f(t) = 8*t + 32. Does 23 divide f(16)?
False
Suppose -2*q + 4*d + d + 290 = 0, 2*q - 3*d = 294. Is q a multiple of 7?
False
Let c(y) = -48*y**2 + 2*y - 1. Let f be c(1). Is 1 + f*(-3 + 2) a multiple of 16?
True
Suppose -u = u + 8. Does 8 divide 570/35 + u/14?
True
Suppose 4*u = -2*v - 4 - 0, 0 = -4*u - 5*v - 16. Let w be (1/(1/(-13)))/u. Let k(d) = -d**3 - 12*d**2 + 13*d + 7. Does 4 divide k(w)?
False
Let n(h) = h**3 - 9*h**2 + 8*h + 3. Is 2 a factor of n(8)?
False
Let p be (-1 - 1)*(-9)/6. Suppose -p*w + 0*w = -81. Is 23 a factor of w?
False
Does 4 divide 4*-18*1/(-1)?
True
Suppose -r + 8 = -3*r. Let y = r - -6. Suppose -t + 5*f = -18, -6*t - f + 9 = -y*t. Does 3 divide t?
True
Does 15 divide (-3)/2 + 2 - (-3105)/18?
False
Does 4 divide (0 - -4) + (-4 - -6)?
False
Let i(x) = x + 10. Let y be i(-5). Suppose -2*f + 201 = y*n - 0*f, -4*f + 12 = 0. Is 13 a factor of n?
True
Let r(d) = -d**3 - 7*d**2 + 2*d + 4. Let z be r(-7). Let a(f) = -f**3 - 9*f**2 + 9*f - 14. Let n be a(z). Let j(i) = i**2 + 2. Does 6 divide j(n)?
True
Let i = -4 - -13. Suppose 6 = 5*w - i. Is w even?
False
Suppose -3 = 4*i - 51. Is i a multiple of 6?
True
Let w(i) = i**3 - 7*i**2 + 2*i + 4. Let z be w(5). Let j = z - -80. Is 17 a factor of j?
False
Let l(o) = -o**2 + 11*o + 13. Is 11 a factor of l(11)?
False
Suppose -5*k + 198 = 3*w + 74, k + 74 = 2*w. Suppose w = -r + 134. Is r a multiple of 32?
True
Does 8 divide (666/(-27))/((-3)/9)?
False
Let r(s) = -5*s**2 + 3 + s**2 + 3*s**2 + s**3. Let k be r(0). Is 2 a factor of 8*k/6 - 2?
True
Suppose -34 = -2*y - 0*y. Is y a multiple of 7?
False
Suppose -4*s + 24 = 5*g, 7*s = 2*s - 4*g + 30. Let c = -5 + s. Is c - (3 + 0 - 6) even?
True
Let j(n) be the first derivative of -n**4/4 - 7*n**3/3 + 3*n**2 - 5*n - 5. Is 11 a factor of j(-8)?
True
Let g(m) be the second derivative of 5*m**3/6 - 3*m**2/2 + 4*m. Suppose 29 - 9 = 4*n. Does 11 divide g(n)?
True
Let z = -13 - -8. Let m = z - -10. Does 3 divide m?
False
Suppose 0*w = -w + 17. Does 7 divide w?
False
Suppose 5*b + 10 = -0. Let v be (-504)/16*1*b. Suppose v = 3*k + 3. Is 10 a factor of k?
True
Is 18 a factor of (-480)/(-5) + -2 + 0?
False
Is (-8)/(-12) + 0 + (-620)/(-6) a multiple of 11?
False
Suppose 0 = 3*o - 5*i + 19, 3*i - 6 + 1 = 5*o. Suppose 0 = -2*k - o*t + 16, k + t = -k + 18. Suppose 25 = 4*j - 0*j - b, -2*b = 2*j - k. Does 4 divide j?
False
Let z = -4 + 28. Does 8 divide z?
True
Let r(c) = -c**3 - c**2 - 2. Suppose 4*l + 0*l - 12 = 0. Let y be (-1)/(9/l)*9. Is r(y) a multiple of 8?
True
Let d = 4 - -1. Suppose -56 = -d*t + 204. Is 26 a factor of t?
True
Let a = 4 + -6. Suppose 4*w + 5*x = -14 - 2, -2*w + 5*x - 8 = 0. Is 3/(a + 5) - w even?
False
Suppose -5*l + 0*l + 110 = 0. Does 11 divide l?
T