 14. Suppose g - l + 4 = 0. Is 4 a factor of g?
True
Let v be (1 + 9)/(1 + -2). Is 15/v - (-406)/4 a multiple of 20?
True
Let k(x) = -x**2 + 33*x - 7. Is 14 a factor of k(15)?
False
Let z(o) = 5*o - 9. Is z(4) a multiple of 6?
False
Suppose 12*h - 3*h - 522 = 0. Is 15 a factor of h?
False
Let d be (-8)/(-3) + 2/(-3). Suppose -m = -5*v - d*m + 36, -4 = 2*v + 5*m. Is 8 a factor of v?
True
Suppose -75 = -2*q - x + 102, 4*q = -x + 349. Does 9 divide q?
False
Is 5 a factor of (-3)/((1/(-22))/((-2)/(-4)))?
False
Suppose 4*h + 18 - 2 = 0. Let s = 8 + h. Is 1/s + (-69)/(-12) a multiple of 4?
False
Let l be (-2 - (1 - 1)) + -10. Let p = -21 - l. Let d = 29 + p. Does 10 divide d?
True
Let p(m) = -m**3 - m**2 + 5*m + 2. Let h(d) = d**2 - d + 1. Let c be h(2). Suppose c = -o - 1. Is 10 a factor of p(o)?
True
Let f(o) = -13*o - 1. Let c be f(1). Let g = c - -27. Is g a multiple of 13?
True
Let o = 0 + 6. Suppose 2*l = 3*r - 1 + 10, 0 = -l + 2*r + o. Suppose -2*m + 3*h + 8 = -3*m, -5*m - 3*h + 20 = l. Does 3 divide m?
False
Let l(m) = 1 - 6 + 5 - m. Let z be l(-4). Suppose -36 = -w + 5*b, b + 38 = z*w - w. Does 10 divide w?
False
Let r(x) = -x**2 + x + 9. Let q(t) = -t**2 + 11*t. Let n be q(11). Let z be r(n). Is (-106)/(-9) - (-2)/z a multiple of 12?
True
Let j = -14 - -7. Let g(b) = -13*b - 17. Is 22 a factor of g(j)?
False
Suppose d = -18 + 190. Does 11 divide d?
False
Let p(c) = -c**3 + c**2 + c. Let b be p(-1). Let g be (1 - b)/(-4 + 3). Let x(t) = t**3 + t**2 - t + 44. Is 13 a factor of x(g)?
False
Let s = 11 + -8. Suppose 3*n - 12 = -2*f - 3, 0 = s*f + 5*n - 16. Is 2 + (f + -14)*-2 a multiple of 18?
True
Let n = -10 + 47. Does 4 divide n?
False
Let c(z) = 16*z - 12. Let m be c(8). Let o = m - 46. Is 25 a factor of o?
False
Suppose 2*r = 3 + 7. Suppose 2*l - 51 = r. Is l a multiple of 13?
False
Is -4 - (13*-13 + 15 + -12) a multiple of 10?
False
Suppose 12 = -2*y + 3*y. Does 6 divide y?
True
Let f = 113 - 56. Is f a multiple of 11?
False
Let a(s) = 3*s - 8. Is a(4) a multiple of 4?
True
Suppose 5*x + s = -2*s + 109, -5*x - 5*s + 105 = 0. Is 7 a factor of x?
False
Let v be (8 + -6)*(-35 + -1). Let y = -42 - v. Is y a multiple of 10?
True
Let k be 74/(-26) - 2/13. Is 3 a factor of 6/(1*k) - -8?
True
Let q(w) = 4*w**2 + 2 - 2*w**2 - 1 + 2*w. Suppose 3*z + 22 = -4*y, 5*y - 2 = 3*z + 4*y. Is q(z) even?
False
Suppose -w = -104 - 7. Suppose -5*s - 152 - 183 = 3*m, -3*s - 3*m - 195 = 0. Let t = s + w. Does 17 divide t?
False
Let v(k) = -8*k - 2. Let w = 2 - 5. Is v(w) a multiple of 22?
True
Does 36 divide -11 + 11 - 236/(-2)?
False
Let o = -2 - -2. Suppose 2*d - 30 = -2*c + 3*d, 5*c + 5*d - 90 = o. Is (c/(-3))/(-2)*3 a multiple of 4?
True
Let q = 4 - 1. Suppose -q*j = j + 5*f - 64, -5*j + 80 = f. Is 8 a factor of j?
True
Suppose q = 5*g - 65, q + 20 = -g - 15. Let c = q - -15. Let v = 50 + c. Is v a multiple of 13?
False
Let h = 10 - 19. Let p = h - -29. Does 10 divide p?
True
Let m = 6 - 3. Let w(q) = q + 7. Let j(s) = 3. Let z(g) = -10*j(g) + 4*w(g). Is z(m) a multiple of 10?
True
Let z(l) be the second derivative of l**3/2 - 11*l**2/2 - 3*l. Does 17 divide z(10)?
False
Let q = -34 - -92. Is 9 a factor of q?
False
Let k be (-268)/(-20) + (-4)/10. Let m = k + -8. Let n = m - 3. Is n even?
True
Let q(a) = -a + 15. Is 4 a factor of q(0)?
False
Let r(a) = 41*a - 2. Let d be r(2). Let w = -24 + -29. Let y = d + w. Does 16 divide y?
False
Let o be (-120)/(-21) + 8/28. Let g be (2 - (-1 + -1)) + -1. Is 2 a factor of (2/g)/(1/o)?
True
Let n = -615 - -1103. Is 50 a factor of n?
False
Let d = 7 - 5. Let a(q) = -3*q + 3*q**2 - 2*q**d + 0*q**2 + 2. Is a(7) a multiple of 17?
False
Suppose 74 - 26 = 2*x. Suppose 0*r + 4*r = x. Is 4 a factor of r?
False
Let g(m) = 42*m**3 + m**2 + 2*m + 2. Let r(k) = 41*k**3 + k**2 + 3*k + 3. Let q(p) = 3*g(p) - 2*r(p). Is 17 a factor of q(1)?
False
Let n(l) = l**2 + 13*l + 6. Let a be n(-13). Let m be (-2652)/(-28) - a/(-21). Let y = -56 + m. Does 13 divide y?
True
Suppose 42 = 2*a - a. Let n = 30 + a. Is 16 a factor of n?
False
Let n(h) = 16*h - 1 - 4 - 1 + 2. Is n(3) a multiple of 12?
False
Let s = -49 + 115. Let o = s - 101. Let v = -19 - o. Does 8 divide v?
True
Let m = 6 + -1. Suppose 4*t - 2*t - 10 = 2*x, 0 = 2*t + m*x + 25. Suppose -k - 67 = -3*u - u, -3*u - 2*k + 42 = t. Is 16 a factor of u?
True
Let f = 52 - 26. Does 4 divide f?
False
Let u = 50 + -29. Does 16 divide u?
False
Let g(d) = -d**3 - 3*d**2 + d + 2. Let s(n) = -n + 12. Let z be s(10). Let t(q) = -q**3 + 2*q. Let a be t(z). Is 7 a factor of g(a)?
True
Let d(n) = 2 - 1 + n + n + 19*n**2. Let r be d(-1). Suppose r = -k + 3*k. Is k a multiple of 7?
False
Suppose 567 = 5*q + 147. Let m = q + 34. Suppose 5*j = -m + 328. Is 18 a factor of j?
False
Let v be (0 - 4)/(-4) - 1. Suppose -2*r - 2 + 18 = v. Is r a multiple of 4?
True
Suppose 0 = -0*z - 4*z. Let y(r) = -r**2 - r - 14. Let t be y(z). Let d = 23 + t. Is d a multiple of 7?
False
Suppose -d + 3 = -0*d. Suppose -p - d*r + 18 = 0, -r = -0*r + 3. Does 9 divide p?
True
Suppose u + u - 6 = 0. Let j be -7*(-39)/u + -1. Suppose 0*q + z = 2*q - j, 2*q + 4*z = 70. Is q a multiple of 18?
False
Let x(s) = s**3 + 6*s**2 - 9*s - 10. Suppose 3*o = -o - 28. Let f be x(o). Let d = f - -1. Does 5 divide d?
True
Let u be (4 - 0)*(-2)/(-4). Let o = -8 + u. Let i = -1 - o. Does 5 divide i?
True
Let l(m) = -m**3 + 6*m**2 + 2*m + 8. Suppose 0 = -4*n + 27 - 3. Is 10 a factor of l(n)?
True
Suppose -4*a - 17 = -t, 0 - 10 = t + 5*a. Is 5 a factor of t?
True
Suppose -5*u = k - 112, -104 = -k - 0*u - u. Is k a multiple of 3?
True
Suppose -5*a + 3*k + 25 = 0, -2*a = -0*k - k - 10. Suppose 12 = a*v - 2*v. Suppose 0 = 3*i - b - 97, 5*b = v*b + 5. Does 24 divide i?
False
Let t(a) = 27*a + 7. Is 8 a factor of t(3)?
True
Let t = -23 - -32. Suppose -t = -3*p + 5*u - 4, 5*u - 15 = -p. Suppose -i - 10 = -2*w - 3*i, p*i = -4*w + 17. Does 5 divide w?
False
Let q(h) = -6*h**2 - 3*h - 1. Let n(g) = -5*g**2 - 3*g. Let m(z) = -4*n(z) + 3*q(z). Is m(-4) a multiple of 17?
True
Let d = 16 - 9. Is d a multiple of 6?
False
Let i(g) = -3*g**2 + 2*g + 2. Let q(n) = 48*n**2 - 33*n - 33. Let u(c) = -33*i(c) - 2*q(c). Is 12 a factor of u(2)?
True
Suppose 4*h - 95 = h - 5*i, 0 = -3*h + i + 125. Does 8 divide h?
True
Let k(q) = -q + 1. Let r(f) = -f + 2. Let u(b) = 5*k(b) - 6*r(b). Let n be u(6). Does 9 divide (-1)/n*(0 - -23)?
False
Let u(s) = s**3 - 12*s**2 + 2*s - 14. Let h = 20 + -8. Let t be u(h). Is 28 a factor of (t + -2)*(-28)/(-4)?
True
Suppose 7*k = 2*k + 20. Suppose -k - 30 = -f. Is 14 a factor of f?
False
Let g = 4 - 1. Suppose 0 = 4*w - g*r - 2, 5*w - 1 = 3*r. Let v = w + 12. Is 11 a factor of v?
True
Let o = 6 + -3. Is 3 a factor of o*-1 + (-60)/(-6)?
False
Let f be (-1)/(-2 - (-19)/9). Suppose -r + 14 + 15 = 0. Let i = f + r. Is 10 a factor of i?
True
Suppose o - 20 = -6. Is 14 a factor of o?
True
Let g = 47 + -3. Suppose g = a + a. Does 15 divide a?
False
Let s(r) = -15*r**3 + 22*r**3 + 28*r**3. Suppose 4*g = 3 + 1. Does 12 divide s(g)?
False
Is 44 a factor of (7 + -3)/(820/(-275) + 3)?
True
Suppose 437 = 6*k - k - 2*r, 3*k = 3*r + 264. Is k a multiple of 29?
True
Suppose -i = -2*i - 6. Let b(t) = 5*t - 4. Let p be b(3). Let k = i + p. Is 5 a factor of k?
True
Suppose 31 = 2*t + g - 20, 2*g - 10 = 0. Let z be 6/15 + t/5. Suppose 215 = z*y + 60. Does 20 divide y?
False
Suppose 12 = 3*x - 12. Let a be ((-21)/28)/(2/x). Is 6 a factor of 12/(a/(-3) + 1)?
True
Suppose 0*b + 3*b - 38 = o, -4*b + 5*o = -36. Does 7 divide 1/(2/b) + 2?
False
Suppose 3*z - 459 = 4*m, 3*z - 591 + 105 = -5*m. Is z a multiple of 36?
False
Suppose -10 = -3*y + 2*x, 2*y + 7 = 3*y + 3*x. Is 4 a factor of y?
True
Let o(k) = 2*k**2 + 13*k + 13. Let a be o(-11). Suppose 0 = -2*f - 8, 0 = n + 3*n - f - a. Does 11 divide n?
False
Suppose -3*x + x = 2. Let c be 4/(-6) + x/3. Is 9 a factor of c/(3/(-51)) + 1?
True
Let p = -151 - -216. Is 10 a factor of p?
False
Let j = 8 + -3. Suppose 0 = -4*g - 4*v - 8, 2*v = g + j - 12. Suppose 0 = 5*k - g - 109. Does 11 divide k?
True
Suppose -12 = 4*j - 4*y, 0*j = j + y - 7. Let b be (3/j)/((-9)/(-24)). Let t(w) = w - 2. Is t(b) even?
True
Is 30 a factor of (-264)/(4 - 5) - -5?
False
Let p = 16 - -44. Is p a multiple of 20?
True
Let d be (3 + -1 - 5)*18. 