4. Let x be g(6). Let c = -52 - x. Is c a multiple of 12?
False
Suppose -6*g - 36 = -10*g. Let t(s) = -10 + 10*s + 3*s**2 - 4*s**2 + 3*s. Does 12 divide t(g)?
False
Let a(f) = f + 7. Let j be a(-6). Suppose 5*u = -u - 6. Is ((u - -4) + j)*10 a multiple of 26?
False
Let q = 3 + 2. Suppose -v = q*v - 114. Is v a multiple of 11?
False
Suppose 3 + 3 = -2*l. Is 5 a factor of l + (-3 - -17) + 2?
False
Let f be 1 + -4 - -4 - -1. Suppose 6*r - 2*r = -8, f*r = 5*v - 129. Is 11 a factor of v?
False
Suppose -5*n + 78 = -4*n - 3*p, -5*n - 5*p = -330. Is 16 a factor of n?
False
Let x = 25 - 18. Suppose i = v - 1 + 8, 5*i = -v + 35. Let w = i + x. Does 14 divide w?
True
Suppose b + 3 = 6. Suppose 3 = -0*t + t, -b*d - 5*t + 123 = 0. Is 18 a factor of d?
True
Is 11 a factor of (-10)/8*(7 - 51)?
True
Suppose -2*v + v = 20. Let j = v - -28. Is 5 a factor of j?
False
Let u = 54 + -45. Is 2 a factor of u?
False
Is 7 a factor of 15 - ((-10)/5)/(-2)?
True
Is (2 - 84)*(-4)/8 a multiple of 4?
False
Let b(x) = x - 5. Let n be b(5). Suppose 0*q - 4*q + 36 = n. Suppose q = i - 0. Is i a multiple of 6?
False
Let y(k) = k**2 + 7*k - 13. Is y(3) a multiple of 11?
False
Suppose 5*m = -124 + 304. Suppose -z + 3*s - 5 = 19, 0 = -z + s - 20. Let h = m + z. Does 18 divide h?
True
Suppose 3*i + 4 = -5. Is -14*3*i/6 a multiple of 11?
False
Let n(v) = -2*v**2 + v - 5. Let w(f) = -3*f**2 + 2*f - 10. Let g(s) = -5*n(s) + 3*w(s). Is g(-7) a multiple of 10?
False
Let q = 176 - 99. Let i = -85 + 59. Let t = q + i. Is t a multiple of 20?
False
Let i be 2/7 - (-18)/(-14). Let s = i - -9. Does 4 divide s?
True
Suppose 9*i - 238 = 2*i. Is 12 a factor of i?
False
Let c(j) be the second derivative of -j**5/60 - j**4/8 + j**3/2 + j**2/2 - j. Let t(i) be the first derivative of c(i). Is t(-3) even?
False
Suppose l + 4*h - 2 = 2*l, 2*h - 36 = -3*l. Let v(m) = 2*m + 4. Is v(l) a multiple of 12?
True
Let b = -8 - -12. Suppose -5*q + 0*s = s - 55, 0 = -4*q - b*s + 44. Suppose 0 = h - q - 5. Does 10 divide h?
False
Let g(t) = -t**3 - 8*t**2 + 9*t + 18. Let n be 9/12 - 117/12. Does 9 divide g(n)?
True
Let d(l) = l**2 - l - 1. Let p be d(1). Let f be p/(-1) - (-29 - 1). Let i = f + -19. Does 6 divide i?
True
Suppose -f + 68 = 5*i - 17, -2*i - 170 = -3*f. Is f a multiple of 12?
True
Let b(y) = y**3 + 112. Let t be b(0). Suppose -z - 3*z = 4*q - t, 0 = 3*q - 2*z - 109. Is 11 a factor of q?
True
Let c(u) = 568*u**2 + 7*u - 6. Is 25 a factor of c(1)?
False
Suppose 10 = -3*d - 2*d. Let f = -2 - d. Let j(p) = -p**2 + 11. Does 11 divide j(f)?
True
Let n be 21*(-3 + (-30)/(-9)). Suppose 143 = w - 3*g, -2*w = -2*g + n - 281. Suppose -4*v + w = 50. Is 8 a factor of v?
False
Let k(d) = d**2 + 3*d + 4. Let w be k(-3). Let f = w - 4. Suppose g - 18 = -f*g. Does 18 divide g?
True
Let s = -8 + 18. Suppose -14*o + s*o = -72. Is 6 a factor of o?
True
Let z(l) be the first derivative of -l**4/4 - l**3 + 2*l**2 + 5*l + 1. Let m be -4 + 4 + -6 + 2. Is z(m) even?
False
Let t(b) = 12*b - 5. Suppose 2 = s - 3. Is t(s) a multiple of 11?
True
Let a(p) = 72*p**3 - 3 + 3 - p**2 - 1 + 2*p**2. Is 24 a factor of a(1)?
True
Suppose m = -0*m + 5. Suppose -z - 22 + 166 = 0. Suppose -m*q + z = -q. Is q a multiple of 12?
True
Suppose -5*i + 2*p + 3*p + 265 = 0, 5*i - 2*p = 259. Is i a multiple of 17?
True
Is 8 a factor of -2 + 615/18 + (-2)/12?
True
Let g(a) = a**3 + 9*a**2 + 7*a - 8. Let c be g(-8). Is 9 a factor of c + 1/(-2)*-34?
False
Suppose 0 = -q - f + 5*f + 16, -f = -5*q + 99. Is q a multiple of 10?
True
Let r(m) = -2*m**3 - 5*m**2 - 3*m - 1. Let y be r(-3). Suppose h - 15 = 18. Let p = h - y. Is 7 a factor of p?
False
Let f be -1 + 9/(9/3). Suppose -3*s = f*s. Suppose s = -5*o - b + 93, -3*o = -4*o - 2*b + 24. Is 9 a factor of o?
True
Let h = 69 - 34. Is 9 a factor of h?
False
Does 43 divide (-4)/3*546/(-4)?
False
Let y be -4 - -2 - (-6 - -1). Suppose -p = y*p. Let a = 6 + p. Does 6 divide a?
True
Is 10 a factor of -8*1/2 + 155?
False
Let s = -162 - -217. Does 3 divide s?
False
Suppose 2*d + 0*d + 4 = 0. Let a = 2 - d. Suppose 0*v + a = -j - 5*v, 10 = 2*j + v. Is 6 a factor of j?
True
Let y = 16 - 25. Let q be (-224)/(-6) - 6/y. Suppose 3*u = -u - 3*o + q, o = 4*u - 46. Is u a multiple of 4?
False
Let c be 9*4/(8/38). Is 6 a factor of 16/(-104) + c/13?
False
Suppose 7*s - 4*s = 45. Is s a multiple of 3?
True
Let m(x) = -4*x**2 - 5*x. Let s(u) = -7*u**2 - 9*u. Let z(q) = -11*m(q) + 6*s(q). Does 3 divide z(-2)?
True
Suppose 7 = -2*o + 1. Is 14 a factor of (3 + 292/(-12))*o?
False
Let w(m) = m**2 - 7*m. Let l(a) = -a**2 + 9*a - 1. Let b be l(8). Let z be w(b). Suppose -3*f - 4*p + 22 = 0, -4*p = -3*f - z*f + 38. Is 4 a factor of f?
False
Let f = 59 + -39. Does 11 divide f?
False
Suppose -5*b - 3 + 13 = 0. Suppose -133 = 4*k + d, -2*k - 5*d - 9 = 44. Let o = b - k. Does 18 divide o?
True
Let t(n) = -13*n - 14. Let a(i) = -6*i - 7. Let g(c) = 9*a(c) - 4*t(c). Is g(-5) even?
False
Let m be 2/3*(0 - 72). Suppose 3*t - 273 = -5*i, -3*t = -6*t + i + 255. Let s = t + m. Does 15 divide s?
False
Let g = -389 + 639. Is 50 a factor of g?
True
Does 16 divide (189/(-6) + 4)/((-3)/6)?
False
Suppose 0*p = -y - 2*p + 12, 2*y - 5*p = 15. Suppose -y = 5*f - 90. Is 16 a factor of f?
True
Let m(p) = -6*p**2 - 44*p. Let c(l) = -2*l**2 - 15*l. Let h(a) = 14*c(a) - 5*m(a). Let t(f) = 4*f**2 + 20*f. Let g(i) = 5*h(i) - 2*t(i). Does 12 divide g(-7)?
False
Let q = 1 + -2. Let z be 38*(q - -2) - 1. Suppose z = 4*w - 7. Is w a multiple of 8?
False
Suppose 3*n + 1 = 64. Let j = 11 + n. Is j a multiple of 21?
False
Let j(v) = -v**3 + v**2 + 4*v - 2. Let g be j(3). Let c = -4 - g. Is 2 a factor of c?
True
Suppose 0 = 3*u + d + 2*d - 207, 5*u + 2*d - 354 = 0. Is 11 a factor of u?
False
Suppose 0 = -l + 2*l. Let m = l + 0. Suppose m = 3*u - 25 - 32. Is 19 a factor of u?
True
Suppose 2*o + 48 = 4*v + 6*o, v = 4*o + 12. Does 6 divide v?
True
Suppose d - 4*d = -6, 0 = 3*o - 4*d + 2. Suppose o*f - 42 = 46. Does 11 divide f?
True
Let l(p) = -p**2 - 8*p - 9. Let f be l(-6). Suppose 60 = -f*u + 6*u. Does 9 divide u?
False
Suppose 0 = -2*w + 3*w - 54. Is w a multiple of 9?
True
Let p(o) = -7*o. Let n be p(2). Let b = n - -27. Does 12 divide b?
False
Suppose 6*s = 2*s - 5*n + 783, 4*s + n - 771 = 0. Does 24 divide s?
True
Suppose 0*r + 68 = -2*r. Let x = 47 + r. Suppose -3*p - 5*d = 2, 41 = 2*p - 4*d + x. Does 4 divide p?
False
Let m = -159 - -282. Is m a multiple of 25?
False
Is 13 a factor of (-2 + 1)*(1 - 76)?
False
Is 2 + 0 + (-2 - -15) a multiple of 5?
True
Let h(a) = -5*a - 45 + 66 + a**2 - 10*a. Is h(14) even?
False
Suppose 3*h - 8 = -0*h - 5*u, u - 28 = -5*h. Suppose h*l - 30 = l. Does 2 divide (-2)/4 + 33/l?
False
Let v(a) = -a**3 + 8*a**2 + a - 5. Let m be v(8). Let f(g) = 6*g - 1. Is f(m) a multiple of 9?
False
Suppose 3*u - 1043 = 175. Is u a multiple of 30?
False
Suppose 0 = -7*t + 96 + 72. Is t a multiple of 6?
True
Suppose -5*s = 504 - 1484. Does 11 divide s?
False
Let q be ((-8)/(-10))/(1/(-5)). Let j = q - -9. Is 2 a factor of j?
False
Let w be (-111)/4 - (-4)/(-16). Is (35/(-4))/(7/w) a multiple of 15?
False
Suppose 3*w = -3*p + 15, 3*p + 0*p - 15 = 3*w. Suppose 133 = p*f + 23. Is 11 a factor of f?
True
Suppose 3*r + 3 = 4*r. Suppose -2*s + 108 = -0*s - 2*c, 0 = r*c. Is 18 a factor of s?
True
Let x(i) = i + 3. Let f be x(0). Suppose w = f*w - 16. Is 4 a factor of w?
True
Let u(w) = -w. Let o(d) = d**2 + 10*d + 8. Let s(y) = -o(y) - 2*u(y). Let l be s(-6). Is 2/(1*l/58) a multiple of 10?
False
Let a be (-10)/2*-2 + 1. Let k(j) = -j - 25. Let m(o) = -6. Let p(y) = -2*k(y) + 9*m(y). Is 5 a factor of p(a)?
False
Let i(h) = -3*h**2 + 2*h. Let c be 3/((-14)/4 - -2). Let l be i(c). Let q = l - -28. Is 12 a factor of q?
True
Suppose 140 = 3*g - 187. Suppose -4*k + g = x, -2*x + x - 115 = -4*k. Does 14 divide k?
True
Let w = 7 - 2. Suppose 0 = 2*u + u + 3*g - 93, -g = w*u - 163. Is u a multiple of 17?
False
Let w(m) = m - 26. Suppose 0 = -v - v. Let o be w(v). Let b = 40 + o. Is 7 a factor of b?
True
Let d = 0 + 3. Suppose 3*m + 2*b = 19, -2*m + d*b = 3*m - 19. Is m even?
False
Let b(l) = l**3 + 5*l**2 - 8*l - 3. Let n be b(-6). Suppose 0 = 4*k + n - 57. Let t = k - -19. Is 17 a factor of t?
False
Suppose -d + z = 3*z - 16, 0 = -4*d - z + 29. Let p be 15/d