4)?
False
Let f = -57 - -93. Does 14 divide f?
False
Let d(q) = -2*q - 2. Let s be d(-5). Let z = s + -5. Is 2 a factor of z?
False
Suppose 2*j = -2*j - 24. Let y be 1/((1 - 2)/j). Is (0 - -1)/(y/264) a multiple of 18?
False
Let f(g) = g**3 - g**2 - g + 2. Let u be (1 - 1)*(0 + 1). Let x be f(u). Is x/(-8) + (-805)/(-20) a multiple of 12?
False
Let r = 52 - -12. Is 8 a factor of r?
True
Suppose 0 = -4*i + 2*i + 360. Is 6 a factor of i?
True
Let q(z) = -8*z + 12. Is q(-16) a multiple of 35?
True
Let b(g) be the second derivative of g**3/6 + g**2 - 7*g. Let s(f) = 2*f**2 - f + 2. Let i be s(2). Is 10 a factor of b(i)?
True
Let y(b) = -19 - 2*b + b**2 - 4*b + 5. Let q be 12 + 1 - (2 + 1). Is y(q) a multiple of 11?
False
Let s(m) = m**2 + 5*m - 4. Let j be s(-6). Is 8 + 4/j + -2 a multiple of 4?
True
Let w = -82 + 219. Is 32 a factor of w?
False
Let d(b) = -3*b - 3. Suppose -7 - 5 = 3*j. Is 3 a factor of d(j)?
True
Let c = -75 + 105. Is c a multiple of 4?
False
Suppose 5*c = 2*g + 47 + 94, -2*c = -4*g - 66. Does 18 divide c?
False
Suppose 216 = -7*o + 3*o. Let i be (-2)/(-8) - o/8. Suppose -i*h + 40 = -2*h. Is 4 a factor of h?
True
Let f be (-19 + 1)*16/(-24). Suppose z + 3*d - f - 4 = 0, 5*d = -5*z + 60. Does 5 divide z?
True
Let p(i) = 11*i**2 + 3*i - 6. Is p(-3) a multiple of 21?
True
Let s = 144 + -92. Does 23 divide s?
False
Is 12 a factor of 126*(-7)/(21/(-2))?
True
Suppose -5*m = -4*k + 149, -4*k + 0*m - 2*m + 114 = 0. Suppose -5*d + k = -249. Does 14 divide d?
True
Suppose 2 = h - 6. Let o be (-4)/h*(-13 - -1). Let q = 12 - o. Is q a multiple of 6?
True
Suppose p = 6*p - 10. Does 2 divide p?
True
Let s(h) = 2*h**2 - 3*h + 6. Let w be s(4). Suppose 0 = 2*i + 5*k - w, 3*i - 2*k - 1 = -0. Is 3 a factor of i?
True
Suppose -4*a = -a - 15. Suppose 3*p + 4*f + a = 0, -2*f - 4 = -3*p + 21. Is p even?
False
Let d(y) = 5*y**2 - 4*y - 1. Is 8 a factor of d(3)?
True
Let b = -15 + 20. Suppose h - 202 = -h - 2*g, -111 = -h + g. Suppose b*s = -h + 311. Is s a multiple of 13?
False
Suppose 0 = -4*b - b + 50. Suppose -12 = -3*q + d + 8, 3*q - b = -d. Does 5 divide q?
True
Let q(v) = 3*v**2 + 19*v + 10. Let u(s) = s**2 + 6*s + 3. Let x(z) = 6*q(z) - 17*u(z). Is 11 a factor of x(-13)?
True
Let v = -20 + 15. Suppose -l + 0*l + 4*g + 14 = 0, 14 = l - 3*g. Let d = l + v. Does 9 divide d?
True
Let m(u) = -5*u**3 + 7*u**2 + u - 4. Let k(p) = -14*p**3 + 20*p**2 + 3*p - 12. Let l(r) = 6*k(r) - 17*m(r). Let b be l(0). Does 5 divide 56/6 - b/(-12)?
False
Let f(k) = 6*k + 1 + k**2 + 1 + 4*k. Let a be f(-4). Let t = 34 + a. Is 6 a factor of t?
True
Let i(l) = 3*l**2 - l + 3. Does 11 divide i(-3)?
True
Let u = 7 + 49. Suppose 2*k + 3*f = u, 0 = -f - 4. Does 10 divide k?
False
Let i be ((-21)/(-28))/(2/40). Suppose 0*h + i = -5*h. Is (9/h - -34) + 3 a multiple of 17?
True
Suppose 0 = -5*i + u + 237, -u + 186 = 4*i - 3*u. Is 25 a factor of i?
False
Let z(b) = -b - 4. Let d be z(-10). Let f(i) = i + 3. Is f(d) a multiple of 9?
True
Suppose 0 = 10*d + 213 - 753. Is 3 a factor of d?
True
Let o be (1 - 3) + (-2 - -6). Suppose -1 = -i + o*m + m, -51 = -3*i - 3*m. Is 7 a factor of i?
False
Let r = -10 + 4. Let w = 50 + r. Is 22 a factor of w?
True
Let z be 0/(0/1 + -2). Suppose 109 = 5*u + 4*k, z*u + 4*k + 101 = 5*u. Does 10 divide u?
False
Suppose -5*a + 1199 = 4*d, 0 = 3*a + 2*d + 3*d - 709. Is a a multiple of 9?
True
Let j(r) = r**2 + 12*r + 13. Let x(a) = -a**3 - 4*a**2 - 4*a - 3. Let v be x(-3). Suppose f = -v*f - 11. Does 2 divide j(f)?
True
Let w(i) = -9 + 2 + 2*i + 0*i - 3*i + i**2. Is w(5) a multiple of 13?
True
Suppose -3*t = -t - 2. Is 8 a factor of t/5 + (-237)/(-15)?
True
Let z = 57 + -40. Suppose 4*p + 12 = n, -2*n + z = -0*n - p. Is 4 a factor of n?
True
Let b(n) = 31*n + 14. Is 45 a factor of b(8)?
False
Let j be 60/33 - (-4)/22. Does 23 divide (-3)/(188/(-92) + j)?
True
Let p(v) = 26*v**2 - 1. Let b be p(-1). Let x = b + -20. Is x a multiple of 2?
False
Suppose x - 4*x + 12 = 0. Is 4 a factor of x?
True
Suppose 4*z + 0 - 24 = 0. Is 2/(z/9) + 25 a multiple of 18?
False
Suppose 3*w + 410 = 5*l, -56 = 3*l - 2*w - 301. Suppose 39 + l = 4*v. Is 12 a factor of v?
False
Let q = 39 + -25. Does 9 divide q?
False
Suppose m - 58 = k + 65, -5*m + 2*k + 615 = 0. Is 56 a factor of m?
False
Suppose -r + 32 + 10 = s, 5*s = 4*r - 159. Is r a multiple of 10?
False
Is 19 a factor of 0 + -3 + 55 + 7?
False
Suppose -2*c + 28 = -2*x, 3*x - 15 - 6 = -4*c. Suppose -c = -2*i + 5*b, -5*b + 36 = 2*i - b. Is 3 a factor of i?
True
Suppose 8*c - 10 = 3*c. Let g(s) = 20*s - 3. Does 17 divide g(c)?
False
Suppose -2*h = -3*w - 108, -4*w = -0 + 8. Is h a multiple of 17?
True
Suppose 3 = -3*q, 5*q + 102 = 5*g + 3*q. Is g a multiple of 10?
True
Let j = 47 - 27. Is 10 a factor of j?
True
Let z = 137 - 93. Does 9 divide z?
False
Let w(d) = 13*d - 1. Let y be w(1). Let q(v) = -v**2 + 13*v - 10. Let o be q(y). Suppose -3*a = -o*g - 22, -2*a - 3*g = -8*g. Is a a multiple of 10?
True
Let x = 38 - 22. Does 8 divide x?
True
Suppose 3*a - 5*i - 26 = a, -16 = 4*i. Suppose 4*l - 42 = -2*j, -2*j = a*l - 15 - 22. Is 4 a factor of j?
False
Let p(m) = m**3 + 8*m**2 - 8*m - 9. Let b be 6/(-18) + 23/(-3). Does 16 divide p(b)?
False
Suppose 5*c - 26 = 3*c. Is 3 a factor of c?
False
Let n = -10 + 38. Is n a multiple of 7?
True
Suppose 0 = -2*v + 3*v - 2. Let d = v - 7. Let l = d - -14. Is 9 a factor of l?
True
Let j(z) = z**2 - 2*z - 2. Is 13 a factor of j(-3)?
True
Let o be 88/(-9) - (-14)/(-63). Is 8 a factor of (o - -2)/(4/(-8))?
True
Is 8 a factor of (-8)/(-100)*5 - (-158)/5?
True
Let c = 9 - -9. Let h = 16 + c. Is h a multiple of 15?
False
Let k be 4/10 + (-49)/35. Is 23 + (-3)/(k + 4) a multiple of 11?
True
Let v(b) = -b. Let j be v(-2). Is 3 a factor of -7*j/4*-2?
False
Let g = -3 - -101. Suppose 4*l + g = 5*m - 0*l, 4*l = m - 10. Is m a multiple of 11?
True
Suppose 3*x = 16*x - 208. Does 4 divide x?
True
Let s = 38 - -2. Is s a multiple of 5?
True
Let k = -52 + 75. Let l = k - 7. Is l a multiple of 6?
False
Is 5/2*312/60 even?
False
Let g = -6 + 8. Suppose -g*a + 4*a = 4. Suppose 5*t = 5*f - 90, 5*t - 56 = -a*f - 20. Is f a multiple of 12?
False
Let m(i) = i**2 - 11*i + 4. Let q be m(10). Let r = q - -15. Is r even?
False
Let m = -1 + 47. Let v = m - -2. Is 15 a factor of v?
False
Let c = -4 + 4. Suppose c*z - 3*z = 0. Suppose -f - 2*f + 96 = z. Does 12 divide f?
False
Let o(u) = -2*u**3 + u**2. Let j be o(1). Let n be 1 - (-2 - 33 - j). Suppose 3*q - n = 2*q. Is q a multiple of 12?
False
Suppose h + 2 + 2 = 0. Suppose -2*o + 3*a - 4 = 19, o + 3*a + 7 = 0. Does 12 divide 30*(16/o)/h?
True
Let p be (6/(-5))/(1/5). Let k = -6 - p. Suppose 2*n - 2 = k, -4*n = s - n - 13. Is s a multiple of 5?
True
Suppose 3*r + 2*r = 2*d - 51, 0 = -4*d + 5*r + 127. Does 19 divide d?
True
Let j(o) = 5*o - 1. Let t be j(-3). Let n = -3 - t. Is 12 a factor of n?
False
Does 47 divide ((-423)/(-36))/(1/12)?
True
Let q = -8 + 10. Suppose c + 35 = q*c. Is c a multiple of 10?
False
Suppose 57 = -7*k + 771. Is k a multiple of 17?
True
Let o be 3/(-9)*(-3 - 9). Suppose -41 = -o*h + 19. Does 8 divide h?
False
Let d(j) be the first derivative of 20*j**3/3 - j**2/2 + 4. Is d(1) a multiple of 4?
False
Let c = 29 - -9. Is 19 a factor of c?
True
Let s(q) = 38*q - 2. Let l be s(1). Suppose -12 = 4*r - l. Is r a multiple of 6?
True
Let l = 5 - 13. Let k = l - -11. Does 15 divide (30/7)/(k/21)?
True
Suppose s = 2*s - 4. Suppose 3*p - p - 40 = 5*q, 40 = 2*p + s*q. Does 6 divide p?
False
Suppose 14 = 4*b - 122. Suppose 3*s = -0*s + 39. Let u = b - s. Is 7 a factor of u?
True
Suppose -2*w + 3 = -19. Let a = w - 9. Suppose 4*g - 148 = 4*p, -4*g + a*p + 42 = -3*g. Is 13 a factor of g?
False
Does 5 divide (50/4)/5*4?
True
Suppose 0 = -3*o + h - 6*h, -3*o + 2*h = 0. Suppose o = -18*s + 20*s - 60. Does 13 divide s?
False
Is (-218)/(-8) + -3 + (-2)/8 a multiple of 12?
True
Let k(n) = 54*n**2 - 2*n - 1. Let y be k(-1). Let s be 1/(-2) + (-1)/(-2). Suppose -5*t = -s*t - y. Is t a multiple of 10?
False
Suppose 2*g = -10*l + 5*l + 9, 0 = g + 4*l - 6. Suppose 6 = 5*q + 1, 0 = -5*y + g*q + 8. Is y even?
True
Let w(h) = -18*h - 4. Let i be w(-4). Suppose 5*u - 2*u - 92 = -5*q, -i = -2*u - 5*q. Is 12 a factor of u?
True
Let k = 36 - 20. Is k a multiple of 1