- 34. Let s(b) = 2*g(b) + 3*v(b). Let p be s(0). Let f = -22 - p. Is 8 a factor of f?
False
Let w(a) = -2*a**2 + 2*a. Let x be w(2). Does 15 divide 1/x - (-122)/8?
True
Let u(m) = m**3 - 2*m**2 + 5*m - 4. Let v(j) = -j**2 - 14*j - 9. Let o be v(-13). Is 8 a factor of u(o)?
True
Let g = 8 + 1. Let m(i) = 2 + 3 - 14 + 2*i. Does 6 divide m(g)?
False
Suppose -5*t = s, -2*s - 2*t = s. Suppose 3*x - z - 20 = s, -x + 3*x - 4*z = 0. Is x a multiple of 7?
False
Let s be -2*4 - (0 + -3). Let a = s + 49. Does 22 divide a?
True
Let g be -4 + 1 + -3 + 3. Let i be 29 + 1*g/3. Suppose -i + 124 = 4*a. Is 8 a factor of a?
True
Suppose 0*k = k - 4*z - 114, -3*z = 4*k - 380. Is 14 a factor of k?
True
Suppose b = -3*q + 256, -3*q - 4*b + 422 = 2*q. Let u = q - 50. Is u a multiple of 18?
True
Suppose 2*u = -2*u - m + 55, -62 = -5*u + m. Let t = 0 + u. Is t a multiple of 5?
False
Let s(x) = x - 8. Let p be s(11). Is (-92)/(-1 + (-3)/p) a multiple of 17?
False
Let m = 1 + 1. Suppose -6 = -2*y + m. Is y a multiple of 2?
True
Let b be 2*-1 + (-3 - -2). Let j be (-23)/(b + 10/4). Let a = j + -27. Is a a multiple of 5?
False
Let p = 175 + -8. Suppose -q = -5*o + p, 0 = -0*o + o + 5*q - 23. Is 21 a factor of o?
False
Let l = 4 - 2. Is 10 a factor of (1 + 0)*31 - l?
False
Let t(z) = z**3 - 6*z**2 + 5*z - 8. Does 6 divide t(6)?
False
Suppose 0 = 5*z - 92 - 18. Let j(p) = 3 - 5 + 3 + z*p. Is 9 a factor of j(1)?
False
Let m be (-2)/((-3)/3)*1. Suppose -m*u = -4*u + 84. Suppose -k = 3*s - u, -2*s - s - 4*k = -33. Is s a multiple of 11?
False
Suppose 55 + 11 = b. Does 11 divide b?
True
Let y = 103 - 172. Let o be ((-70)/(-6))/(4/(-12)). Let u = o - y. Does 12 divide u?
False
Suppose 0 = -3*c - 0*c + 84. Is 14 a factor of c?
True
Suppose j + 3 = -1. Let y be (-1)/1 + j + 2. Is 5 a factor of (-2)/(-2) - y*3?
True
Let k = 11 + 21. Let o be -16 + 0 + -2*1. Let h = o + k. Is 5 a factor of h?
False
Let l(x) = x**2 - 8*x + 9. Does 18 divide l(9)?
True
Let h(w) = w**3 - 8*w**2 - 2*w + 6. Let g be h(4). Is 23 a factor of (-2)/2 + (4 - g)?
True
Suppose -2*h + 5*h + 3*c = 903, 0 = -3*h - 2*c + 902. Suppose -35 = -5*u + h. Does 20 divide u?
False
Let s(f) = 2*f**2 + 7*f - 7. Let z be s(7). Let j = z - 650. Is 8 a factor of 2/(-7) + j/(-21)?
True
Let g(n) = -n**2 - 8*n - 5. Let d be g(-7). Does 12 divide 3 - (d*-10 - 1)?
True
Suppose -5*k + 5*i = -4*k - 63, -4*k + 5*i + 177 = 0. Let s = k + -23. Does 5 divide s?
True
Let h(s) = s**3 - 32*s**2 - 25*s + 9. Does 11 divide h(33)?
False
Suppose 0 = 3*f - 3*t - 279, -2*t = -f - 2*f + 282. Does 6 divide f?
True
Let j(r) = 2*r**2 + 6. Let t be j(0). Is 4 a factor of 1/t + 213/18?
True
Suppose -15*l = -20*l + 95. Is 19 a factor of l?
True
Let v(x) = -3*x**2 + 38*x + 6. Is v(10) a multiple of 43?
True
Let p(x) = -3*x - 17. Let m be p(-6). Suppose m = -2*o + 17. Is 4 a factor of o?
True
Let k(h) = -h**2 - 7*h - 7. Let d be k(-5). Suppose 34 = d*i - 2. Suppose -4*z + i = -z. Does 2 divide z?
True
Is 8 a factor of 681/12 - (-1 + (-3)/(-4))?
False
Suppose c - 4*c = -27. Suppose -5*j - c = 1. Does 7 divide j/(-5) + (-196)/(-10)?
False
Suppose -120 - 240 = -4*h. Suppose 5*n - h = 3*n. Is n a multiple of 24?
False
Let c = -16 - -11. Let j(s) = 3*s**2 + 6*s + 3. Does 24 divide j(c)?
True
Let j(r) = 3*r**2 - 3*r. Let i be j(2). Suppose -n + 6 + i = 0. Does 12 divide n?
True
Let o = 2 + 5. Suppose 2*p - 24 = 4*s, -s - o = -4*p + 13. Is p even?
True
Suppose 3*g = -4*k + 21, 2 = -2*k - g + 15. Does 9 divide k?
True
Suppose 4*h - 22 = -6. Suppose -h*n + 0*n = -292. Does 20 divide n?
False
Let s = -19 + 22. Suppose 5*t + 38 - 253 = 5*a, 0 = s*a + 9. Is t a multiple of 23?
False
Let i = -43 - 6. Let k = i + 70. Suppose 85 = 4*f + k. Does 16 divide f?
True
Let o(n) = 2*n**2 + 6*n - 4. Is 11 a factor of o(-7)?
False
Let s(z) = z**3 + z**2 - 3. Is s(2) even?
False
Let m be (9 + -3)*1/1. Suppose -5*o + 15 = -5*i, -21 = o + 5*i + m. Is (-2)/(8/10)*o even?
False
Let x = 5 - 1. Suppose -o - 2*o + 67 = 5*y, -o - x*y = -20. Is o a multiple of 7?
False
Suppose -4*c = -4*x - 48, -c + 4*c - 5*x - 46 = 0. Is 5 a factor of c?
False
Suppose -3*p + 12 = -0. Does 13 divide (-6 + p)/((-1)/8)?
False
Let j(u) be the second derivative of -7*u**3/6 - u**2/2 - 3*u. Is j(-6) a multiple of 16?
False
Suppose 0 = -5*v + 14 + 11. Suppose v*j + d = 5*d + 135, 3*j - 81 = -2*d. Is 27 a factor of j?
True
Suppose 0*x - 2*x + 112 = 0. Does 14 divide x?
True
Let w(t) = -t**2 - t + 5. Let j be (-4 + 4)*2/(-4). Does 5 divide w(j)?
True
Let i = 5 - 3. Let d = i - 0. Suppose -d*y + 42 = -0*y. Does 13 divide y?
False
Does 14 divide 5/(1 + 4)*56?
True
Suppose -56 = 7*o - 203. Does 7 divide o?
True
Let p(c) = 3*c**2 - 3. Let s be p(3). Let x = 0 + 3. Suppose 3*t = -l + 14, 4*t + l - s = -x*l. Is 4 a factor of t?
True
Suppose -b + 149 = -5*i, 4*b - 44 - 42 = 3*i. Is 4 a factor of (-4)/(8/i) - -1?
True
Suppose -4*t + 3*m = -1991, 5*t - 1255 = 2*m + 1225. Suppose -5*c - 49 = -t. Suppose 4*s - 2*j + j - c = 0, -3*j = 4*s - 85. Is s a multiple of 10?
False
Let p(s) = 7*s + s**3 - 1 - 6*s**3 - 32*s**2 + 4*s**3 + 37*s**2. Is p(6) even?
False
Suppose g + 3*p - 31 = 0, 7*p - 2*p - 5 = 0. Does 8 divide g?
False
Let x(b) = b + 2. Let z be x(-1). Suppose 2*y - 89 = 2*j - z, 0 = -3*j - 6. Is y a multiple of 14?
True
Let m = -1 + -11. Let j = m - -17. Does 2 divide j?
False
Suppose 5*y - 19 = 131. Is y a multiple of 10?
True
Suppose -2*x - x = -855. Let a(q) = -q**3 - 5*q**2 - 2*q - 4. Let k be a(-4). Is 13 a factor of 1/4 - x/k?
False
Let l = 64 + -45. Suppose 3*y = 2*y + l. Does 6 divide y?
False
Suppose -52 = -9*q + 2. Does 6 divide q?
True
Suppose -14*g + 612 = -10*g. Is 51 a factor of g?
True
Suppose -2*a - 106 = -3*v + v, -5*a - 159 = -3*v. Is 9 a factor of v?
False
Is (-8 - -4) + -3 + 52 a multiple of 18?
False
Suppose 3*n + k - 754 = 0, k + 0 = -2. Does 19 divide n?
False
Let h = 46 + -26. Suppose 4*o + 0 = h. Suppose -o*g + 2*t = -t - 123, -16 = -4*t. Does 16 divide g?
False
Suppose 0 = -5*h - 3*a + 22, a = 2*h - 3*a + 12. Suppose -d + 93 = h*d. Does 7 divide d?
False
Let n(x) = x**2 - 5 - 4*x + 4 + x + 0*x. Is 17 a factor of n(6)?
True
Suppose -q - 2*k + 16 = -9, 4*k = 5*q - 167. Suppose -4*a + q + 40 = c, c - 53 = -3*a. Is 9 a factor of a?
True
Suppose 224 = 4*r + 2*p - 890, -537 = -2*r + 3*p. Suppose 0 = 3*v + 3*f - r, 6*f + 184 = 2*v + f. Is 24 a factor of v?
False
Suppose -2*s = -4*s + 248. Suppose 0*f = -4*f + s. Does 9 divide f?
False
Let k = -36 - -73. Let q = 12 - k. Let l = 20 - q. Is l a multiple of 15?
True
Suppose h = 6 + 3. Let t = 55 - h. Is t a multiple of 13?
False
Let y = -68 + 67. Let v(j) = 3*j - j + 1 + 0 - 25*j**3. Does 12 divide v(y)?
True
Let q be (-15)/(-10)*(-124)/(-3). Suppose -5*u + 2*r - q = 0, -u + 0*u + 3*r - 2 = 0. Does 3 divide u/((2 - 2) + -2)?
False
Let d = -13 - -23. Does 5 divide d?
True
Let b be 5*-1*1/(-1). Suppose -4*i + 3*a + 46 = 0, 0 = -b*i + 3*i - 5*a + 10. Does 4 divide i?
False
Let w be 3/6*0/(-2). Suppose 2*k - 3*a - 37 = w, 4*a = -k - a + 25. Does 10 divide k?
True
Let w(g) = g - 1. Let m be w(6). Suppose 2 + 3 = m*r. Suppose -5*u + 113 = -4*p + r, -2*p - 44 = -2*u. Is 12 a factor of u?
True
Let w be ((-6)/(-4))/(12/40). Suppose w*r - 315 = -0*r. Is r a multiple of 18?
False
Let f(i) = -3*i**3 - 6*i**2 - 12*i - 10. Is f(-4) a multiple of 22?
False
Let f be (-6 + 3)*(0 + 1). Let l(r) = -5*r - 3. Does 12 divide l(f)?
True
Let r = 3 + 2. Suppose g + r*c = 2*g - 8, 2*c + 2 = 0. Let i = g + 19. Does 11 divide i?
True
Let b(u) = 7*u + 32. Is b(18) a multiple of 11?
False
Suppose -7*q = 37 - 205. Is 24 a factor of q?
True
Let z(l) be the first derivative of 1/2*l**2 - 3*l + 1. Is 3 a factor of z(7)?
False
Let r = -373 - -641. Is 14 a factor of r?
False
Let u = 24 + -16. Suppose 0*s = -4*s + u. Suppose -3*l = -3*v - 2*v - 25, s*v = 4*l - 52. Is 8 a factor of l?
False
Let k = -12 + 51. Suppose 4*i + 117 = -5*v, 5*v + 0*v = 2*i + 51. Let t = i + k. Is 11 a factor of t?
True
Let w be (-18)/(-10) + (-1)/(-5). Suppose 19 + 29 = 3*v - 5*a, v - 27 = -w*a. Is 162/v - (-4)/14 a multiple of 6?
False
Let g be (-4)/(-12) - 28/(-6). Suppose 3*c + 0 + 10 = 2*u, 0 = 3*u + g*c - 15. Suppose -2*t = -4*p - 20, t + p - 11 = u. Does 7 divide t?
True
Let c be -4 + -3 + -34 + 3. Suppose 