30. Is 14 a factor of g(z)?
False
Suppose -4 = -5*p - 4*f, f - 5*f + 4 = 0. Suppose -135 = -5*r - p*r. Does 25 divide r?
False
Suppose -5*u + 14 = 4*o, 6*o + u = 3*o + 16. Does 6 divide o?
True
Let b(o) = o**3 + 11*o**2 + 13*o + 5. Let y be b(-9). Suppose -4*d + 2*r - y - 32 = 0, -5*r = -2*d - 61. Is (-1 + -1)/(4/d) a multiple of 6?
False
Let y(t) = t**2 + 25. Let i(g) = g**2 + g - 2. Let v be i(-2). Is 11 a factor of y(v)?
False
Is 6 a factor of (-28)/(-3) - (-16)/24?
False
Suppose -2*v + 24 = 4*v. Is v even?
True
Suppose -16*l = -3*l - 702. Is 6 a factor of l?
True
Let y(q) = q**3 + 7*q**2 + 8*q + 4. Let u be y(-5). Suppose -2*i = -3*n + u + 20, 5*i = -2*n + 10. Is 6 a factor of n?
False
Let z = -10 - -3. Let w = 12 + z. Let h = 5 + w. Is 5 a factor of h?
True
Let p = -40 - -240. Is 12 a factor of p?
False
Let v(y) = -2 + y + 2. Let m be v(2). Suppose 5*c - 2*z - 21 = 29, -m*c + 20 = 2*z. Is c a multiple of 4?
False
Let h(i) = 11 - 9*i - 6 - 10. Is 6 a factor of h(-3)?
False
Suppose -t - 20 = -5*u, -3*u + 20 = -3*t - 4. Does 12 divide (129/(-15) - 1)*t?
True
Suppose 7*u - 3*u - 20 = 0. Let k = u + 8. Suppose i - k = -0. Is 12 a factor of i?
False
Let n(t) = 28*t**2 + t. Let p be (-1)/4 + (-15)/(-12). Let k be p - (1 - 2) - 1. Is 10 a factor of n(k)?
False
Let z be ((-18)/12)/(6/(-16)). Suppose 0*u + 5 = -u, -2*u - 4 = 3*c. Suppose z*m - c*m = 10. Is m even?
False
Let i(d) be the first derivative of -d**4/4 - 2*d**3 - 5*d**2/2 + 3*d - 2. Suppose 0 = 4*t - 8 + 28. Is i(t) a multiple of 2?
False
Suppose q = -0*q + 4. Let u(x) = -x**3 - 3*x**2 - 4*x - 3. Let y be u(-2). Does 3 divide (9/12)/(y/q)?
True
Let g be 1/(-4) + (-516)/(-16). Suppose r = 3*r - g. Does 16 divide r?
True
Let i = 8 + 34. Suppose 0 = -5*h + h - 2*c + i, 5*c - 6 = -h. Suppose -37 = -5*l + 2*p - h, -4*l = -2*p - 22. Is l a multiple of 2?
True
Let c be 1*2 - (-1 - 1). Suppose -4*p - 292 = -0*v + 2*v, -87 = p + c*v. Let r = p + 103. Is 16 a factor of r?
True
Let t(w) = -w - 1. Let b be t(-9). Suppose 2*v - 4*f = b, 5*f - 3*f - 8 = 0. Is v a multiple of 3?
True
Suppose 5*s = -5*j + 230, 0 = s - 4*j + 10 - 31. Suppose -5*d + 3*o = -144, -d + s + 1 = -5*o. Is 7 a factor of d?
False
Let r(b) = -b**3 - 6*b**2 - 4*b + 7. Let x be r(-5). Is (1 - -1 - -21) + x a multiple of 15?
False
Let n(z) = -z**2 - 4*z + 2. Let i be n(-4). Suppose -44 = -3*h - l - 210, -i*l = 2. Does 16 divide (-2)/11 + (-890)/h?
True
Let c(f) = 7*f**3 + f**2 - 5*f + 2. Let o be c(3). Suppose 0*s + o = 5*s. Is 20 a factor of s?
False
Suppose -4*r + 53 = 1. Let u be r + ((-9)/(-3))/3. Suppose g + 1 = u. Does 13 divide g?
True
Suppose -i + 14 = 1. Suppose 14 = 3*t - i. Let g(q) = 3*q - 12. Is 15 a factor of g(t)?
True
Let d be ((-3)/6)/((-1)/4). Suppose d*s = 0, s = -5*u + 3*s - 10. Is 13 a factor of (-21 - (1 + u))/(-1)?
False
Suppose 2*a = a - 2*k + 10, 0 = 3*k - 15. Let x be 2/(-1) + a + 1. Is -2 - 1/(x/13) a multiple of 4?
False
Let g(t) = -16*t**3 - 2*t**2 - t. Let v(d) = d**2 - 7*d + 3. Let j be v(7). Suppose -2*f - f = j. Is 5 a factor of g(f)?
True
Suppose 0 = m - 5*m + 5*c + 89, 0 = 3*m + 5*c - 23. Suppose 2*d + 8 = -m. Let f = d + 38. Does 12 divide f?
False
Suppose -5*p = 4*k - 136, -3*p - 5*k + 139 - 47 = 0. Does 6 divide p?
True
Suppose -5*o - 2*n + 294 = 0, 5*n - 242 = -4*o - 0*o. Does 23 divide o?
False
Let w(o) = 85*o**2 + 1. Does 24 divide w(-1)?
False
Let u(m) = -16*m - 3. Let r(k) = 48*k + 8. Let w(s) = -4*r(s) - 11*u(s). Is 17 a factor of w(-1)?
True
Let f = 14 - 8. Is 3 a factor of f?
True
Let s(w) = w**3 + w**2 + 4. Let r be s(0). Suppose -5*t + 2 + 1 = -r*u, 4*t - u - 9 = 0. Suppose t*n = -0*n + 6. Is n a multiple of 2?
True
Suppose 0 = 5*l + 3*i - 162, 6*l - l - 3*i - 138 = 0. Does 5 divide l?
True
Suppose 0 = -5*y + x + 96, 6*y + 3*x - 112 = y. Is y a multiple of 20?
True
Let w(v) = 3*v**2 - 9*v - 4. Let a be w(11). Suppose 0 = -6*u + 2*u + a. Suppose 0 = 2*m + 19 - u. Does 8 divide m?
False
Suppose 2*c + 0*c = 18. Suppose 3*i = c - 21. Is 8 a factor of 31/4 + (-1)/i?
True
Suppose -3*u - 4*k + 11 = 0, -17 = 3*u - 6*u + 2*k. Suppose 0 = -u*y + 41 + 9. Is y a multiple of 7?
False
Let m = -19 - -21. Let d be 4/(-10) - (-4)/10. Suppose d*v + m*v = -2*b + 20, b = v + 2. Is b even?
True
Let v = -5 - -7. Let j = 0 + v. Suppose 30 = -u + j*u. Does 15 divide u?
True
Let a(z) = -2*z - 6. Let k be a(-5). Let x(s) = -k*s - 4 - 3 + 2 + 2. Does 2 divide x(-2)?
False
Suppose i + g - 40 = -0*i, -5*g = -4*i + 133. Does 8 divide i?
False
Suppose 23 = -5*s + 148. Is s a multiple of 3?
False
Let y(t) = t + 6. Let h = 1 + -5. Let v be y(h). Suppose -106 = -5*u + a, v*a = -2*u - 3*u + 103. Is 14 a factor of u?
False
Let t be 2/(8/(-12)) - 19. Let c = 35 - t. Is 19 a factor of c?
True
Suppose -2*l + 64 = 10. Suppose -75 = -3*p - a, -p + 2*a = 3*a - l. Is 6 a factor of p?
True
Suppose 4*f = -2 + 14. Suppose -2*p = -f*q - 4, 3*p - 7 = -q + 5*q. Suppose q*x - 20 = -3*x. Is x a multiple of 3?
False
Does 14 divide 5 + (144 - (-3)/1)?
False
Suppose -3*y = -5*y. Suppose -6*v + 3*v - 2*n + 11 = y, 0 = -4*v + 4*n + 8. Is 3 a factor of v?
True
Let g = -4 + 7. Is 6/g - -1*8 a multiple of 4?
False
Let g be 82/3 + (-3)/9. Suppose -f = 107 - g. Does 16 divide 2/5*(0 - f)?
True
Let q(d) = -2*d + 53. Is 3 a factor of q(10)?
True
Let t(g) = 2*g - 2. Let b(m) = m**2 - 1. Let o(i) = b(i) + t(i). Does 2 divide o(-4)?
False
Suppose -3*k - 63 = -3*n, 3*n = -5*k - 2*n - 115. Let x be (-20)/11 - (-4)/k. Let i = x - -7. Does 2 divide i?
False
Suppose 5*g = 9 - 24. Is 9/(-3)*22/g a multiple of 6?
False
Suppose -6*b = -3*b - 3. Does 10 divide b + 1 + (10 - 1)?
False
Let n(f) = -3*f + 3*f + 1 - f**2 - 8*f**3. Is n(-1) a multiple of 7?
False
Let r be (-1)/((6/(-27))/2). Does 25 divide 741/r - 2/6?
False
Let x(q) = 12*q**2 - 3*q - 8. Let v(p) = 4*p**2 - p - 3. Let o(j) = -17*v(j) + 6*x(j). Does 13 divide o(3)?
False
Let b(n) = n**3 + 8*n**2 + 5*n - 12. Does 6 divide b(-6)?
True
Does 8 divide (-32)/3*9/(-6)?
True
Let u(d) = 4*d. Let k = -3 - -6. Is 12 a factor of u(k)?
True
Let f = 26 + -57. Let x be 58 - (-2 + 4 - 1). Let m = f + x. Does 14 divide m?
False
Let x = 30 + -21. Let s(a) = a**3 - 8*a**2 - 9*a - 2. Let b be s(x). Does 2 divide (-2)/b*(5 + -2)?
False
Let w(o) = 10*o + 3. Let f be w(1). Let h = f + -3. Is h a multiple of 5?
True
Suppose -4*o = q + 3*q - 88, -o - 3*q + 24 = 0. Suppose 3*w - 3*c = o, -c + 4*c + 3 = 0. Is (5 - w)*22/(-2) a multiple of 11?
True
Let v(m) = m**2 - 4*m - 2. Let w(r) = r**2 + r - 1. Let g(j) = -v(j) + 2*w(j). Is g(-10) a multiple of 20?
True
Is 20 a factor of 60*12/9*1?
True
Let f(x) = 2*x**2 + 5 - x + 7*x + 3*x. Is 23 a factor of f(-9)?
False
Let k(o) = 3*o + 1. Let y = 8 - 12. Let r = y - -7. Is 5 a factor of k(r)?
True
Let c(m) = m**2 + 12*m + 4. Let h be c(-12). Suppose h*o = 8*o - 124. Is o a multiple of 15?
False
Suppose 20 = 4*w, -4*g + 3 = -2*w + 5. Let i be (-4)/((-3 - -6) + -4). Let z = g + i. Is 3 a factor of z?
True
Suppose 0 = -j - 4*j + 165. Is 11 a factor of j?
True
Let j(v) = -v**2 + 10*v - 4. Is j(6) a multiple of 6?
False
Let t = -6 + 8. Suppose 5*d = 3*m - 113, 3*m - t*d - 9 = 101. Is m a multiple of 18?
True
Let z be 4/(-18) + 5532/108. Is (-2*2)/((-6)/z) a multiple of 10?
False
Let w = -9 - -2. Let u(j) = -4*j + 5*j - 2*j. Is 4 a factor of u(w)?
False
Let f = -17 - -38. Is f a multiple of 21?
True
Let v(l) = l**2 + 6*l - 7. Let d be v(-7). Let h(y) = y + 17. Is 12 a factor of h(d)?
False
Let z(f) = -f**2 + 11*f + 7. Let b be z(11). Suppose 118 = i - b*n + 2*n, i = n + 106. Let j = i - 43. Is 16 a factor of j?
False
Let s = 31 + -18. Is s a multiple of 13?
True
Let o(r) = 35*r**2 + r. Is 5 a factor of o(1)?
False
Let i be (-9)/4*(-8 + 4). Does 3 divide (4/2)/(6/i)?
True
Let w(m) = m**2 - 3*m - 10. Does 17 divide w(-6)?
False
Suppose 0 = 4*d - d - 6. Suppose -d*q - r = -3 - 2, -4*q + 9 = 3*r. Is q a multiple of 3?
True
Suppose 2*q + 148 = 5*c, -4*c + 4*q + 49 + 79 = 0. Let g = 8 + c. Does 18 divide g?
True
Suppose -18 = 2*n + i, -2*n + 3*i - 10 = -0*i. Let v(w) = -7*w + 8. Is v(n) a multiple of 22?
False
Suppose 0 = -8*u + 4*u + 16. Suppose 5*y = u*y + 39. Is y a multiple of 11?
False
Let l(o) = -o**3 - 8*o**2 - 9*o - 8. Let z be l(-7). Suppose -z*n + 100 = -n. Does 8 divide n?
False
Let