ose -3*k = -f*k - 16. Is z(k) a multiple of 3?
True
Let h be -4*(-3)/((-18)/(-3)). Suppose 5*l - h*q = 2*q + 83, -4*q + 52 = 4*l. Does 11 divide l?
False
Let h = 75 + 33. Is h a multiple of 36?
True
Let q(o) = -o**2 + 4*o - 2. Let f be q(2). Suppose 4*n = -g - 0*g + 35, f*g + 47 = 5*n. Is n a multiple of 9?
True
Let s(m) = -m + 22. Let q = -11 + 28. Is s(q) a multiple of 5?
True
Let d = 30 - 15. Let n = 79 + d. Is 19 a factor of n?
False
Let m(y) = -y - 1. Let k(w) = -w - 3. Let z(t) = -k(t) + 2*m(t). Let l be z(2). Let q = l - -3. Is 2 a factor of q?
True
Suppose 4*u + 13 = -31. Is (-196)/u + (-4)/(-22) a multiple of 9?
True
Suppose 0 = -p - 2, -5*p = 7*a - 2*a + 20. Let g(c) = -23*c - 1. Is 23 a factor of g(a)?
False
Let p(a) = -3*a**2 + 3*a. Let v be p(2). Let g(m) = -2*m**3 + m**2 + 13*m - 16. Let y(u) = u**3 - 6*u + 8. Let k(x) = 6*g(x) + 13*y(x). Does 4 divide k(v)?
True
Suppose -y = 5*t + 13, 0*t = -5*y - t + 7. Suppose -4*m + 3*w = -29, -2*m - 5*w - 8 + 3 = 0. Suppose -y*r = -j - 30, -4*j - 17 = -m*r + 52. Does 9 divide r?
False
Let z(t) = t**3 - 7*t**2 - 4*t - 5. Suppose -2*r - 39 = -7*r - g, -4*r - g + 31 = 0. Is z(r) a multiple of 9?
True
Let f = -20 + 23. Is (24/f)/(-4) - -37 a multiple of 7?
True
Let j(t) = 23*t**2 + 6*t + 2. Is 7 a factor of j(-2)?
False
Suppose 6*c - c = 5*q - 135, 0 = -c + 2*q - 24. Does 15 divide c*((1 - 0) + -2)?
True
Suppose 14 = 2*p + 4. Suppose 0 = 2*i + 2*i. Suppose i*b = -b + p. Does 2 divide b?
False
Let v(m) = m**3 + 7*m**2 - 8*m + 5. Suppose -6 = 3*r + 2*r - 4*w, 5*r - 2*w - 2 = 0. Suppose j = -r*j - 24. Is 4 a factor of v(j)?
False
Let x = -2 + 70. Is 18 a factor of x?
False
Let o = 3 - 2. Let z(a) = a**2 - a + 1. Let m(v) = -v**3 - 7*v**2 - 5*v - 3. Let u(i) = o*z(i) + m(i). Is 3 a factor of u(-5)?
True
Let i = -53 - -104. Suppose -2*z - 5*x = -3*z + i, -112 = -4*z - 3*x. Does 11 divide z?
False
Let w be 16 + 4 + -1 + -1. Let o be (-4)/w + (-25)/9. Let z(q) = -8*q - 2. Is 11 a factor of z(o)?
True
Let s(t) = t**2 - t - 15. Does 7 divide s(-6)?
False
Let d(o) = -o**2 + 6*o - 4. Let a be d(6). Let w(k) = -10*k - 4. Let v be w(a). Does 4 divide 20/6*v/20?
False
Suppose 3*o = 2*d + 236 - 84, -2*d - 8 = 0. Does 18 divide o?
False
Let k be 2/(-9) - 145/(-45). Suppose 25 = 2*v - k*n, v - 2*n - 6 = 4. Does 19 divide v?
False
Is 30 a factor of 370*1 - (1 + 1)?
False
Let m = 29 - 5. Does 24 divide m?
True
Let o(a) = a + 19. Let v be o(0). Let q = -3 + v. Is 8 a factor of q?
True
Suppose 0*z = 4*z - 444. Suppose -3*c + 0*f - 5*f + 4 = 0, 0 = -2*f - 2. Suppose 0*t = -c*t + z. Is 11 a factor of t?
False
Suppose 3*j + 48 = -3*k, 0*k - 4*k + 4*j = 56. Is 7 a factor of (-102)/k + (-1)/(-5)?
True
Suppose -2*j + 643 + 5 = 0. Is j a multiple of 27?
True
Is (-2)/3 + 951/9 a multiple of 35?
True
Let d = 23 + -20. Suppose x + 85 = 3*a, -148 = -5*a + d*x - 5. Is 9 a factor of a?
False
Suppose -3*v + 16 = v. Suppose -30 = v*b + 5*y, -5*y + y = b + 13. Let n(w) = w**3 + 7*w**2 + 6*w + 1. Does 21 divide n(b)?
True
Let u = -86 + 135. Does 4 divide u?
False
Suppose 4*k - 4*f + 12 = 0, 3*k - 3*f = -4*f + 3. Let i = 10 - k. Is i a multiple of 10?
True
Suppose -3*g - 2*g - i = -83, g - 4*i = 25. Is 8 a factor of g?
False
Let n be (2*4)/((-4)/(-2)). Suppose -5*o = -4*d - 60, -n*d + 0*d - 44 = -3*o. Does 4 divide o?
True
Let u(p) = -p**2 + 7*p + 2. Let q be u(7). Is q/(-3)*522/(-12) a multiple of 17?
False
Suppose -2*t - 15 = -5*p, -4*p = -0*p - 20. Suppose 0 = t*u + 1 - 6. Let m(z) = 15*z**2 + 2*z - 1. Does 8 divide m(u)?
True
Suppose m - 60 = -3*m. Let q = 58 - m. Let j = q - 26. Is j a multiple of 9?
False
Is 16 a factor of (6/(-36)*2)/((-1)/333)?
False
Let o(x) = x**3 - 11*x**2 + 27*x - 6. Is o(8) a multiple of 18?
True
Is 11 a factor of (1 - (-15)/(-21)) + (-2650)/(-35)?
False
Let l = 0 - 0. Suppose l = 5*c - 22 - 108. Is 14 a factor of c?
False
Let p(k) = -29*k**2 - k + 1. Let q be p(1). Let m be 94*(2/(-4) + 1). Let i = m + q. Is 18 a factor of i?
True
Suppose 0 = 2*h - 19 + 1. Suppose q - h = 10. Is q a multiple of 19?
True
Suppose 36*x - 31*x - 455 = 0. Does 12 divide x?
False
Suppose -5*p + 288 = -17. Does 13 divide p?
False
Let n(f) = 2*f**2 - 2. Let o be n(4). Suppose -v + 2*d + 2 + 3 = 0, 3*v - o = d. Is v a multiple of 11?
True
Let r = -51 - -139. Is 15 a factor of r?
False
Let i = 6 + -21. Let v = i - -26. Is 11 a factor of v?
True
Let s = 136 - 57. Let a(y) = -y**2 - 15*y - 6. Let d be a(-12). Let w = s - d. Does 14 divide w?
False
Let q be (-16)/12*(-63)/(-6). Let t = -9 - q. Is t a multiple of 3?
False
Let z(s) = 2*s**3 + s**2 - 1. Let p be z(-1). Let q(u) = -11*u - 4. Let y be q(-3). Is 5 a factor of y/3 + p/(-6)?
True
Let a(s) = -s**2 + 7*s - 7. Let w be a(4). Suppose 0 = -4*i - 180 + 740. Suppose w*d - 40 = i. Is d a multiple of 19?
False
Suppose 339 = 5*k - 2*y, -y - 65 = -k - 2*y. Is k a multiple of 12?
False
Suppose d - 9 = o, -1 = -5*d - 2*o + 9. Suppose d*h - 20 = -h. Does 3 divide h?
False
Let b(l) = -2*l + 3. Does 4 divide b(-11)?
False
Suppose 0 = -x + 24 + 5. Does 13 divide x?
False
Is 23 a factor of (-230)/5*1/(-2)?
True
Let n = 8 + -6. Let o(d) = -10*d - d**n - 1 + 1 - 1. Is 10 a factor of o(-7)?
True
Suppose -3*w = 2*w - 180. Let x = w - 22. Does 7 divide x?
True
Let p(d) = -2 - 1 - 4*d**2 + 5*d**2. Does 8 divide p(-4)?
False
Suppose -2*v - 8*q + 3*q = -198, -263 = -3*v + q. Is v a multiple of 31?
False
Let q(z) = 15*z - 25. Is q(4) a multiple of 23?
False
Suppose 3 = 3*g - 9. Suppose g*w + 20 + 100 = 0. Let x = w + 66. Does 18 divide x?
True
Suppose 0 = -v - 0*v - 2, 4*v = h - 6. Let f be (-71)/(-2 + 1) + h. Let i = -37 + f. Is 16 a factor of i?
True
Suppose -4*t + 18 = -x + 4*x, -13 = -3*t - 2*x. Suppose -5*k = -t*b - 46, 0 = -3*k - k - 4*b + 56. Let c = 1 + k. Does 5 divide c?
False
Let t = -1 - -5. Suppose g = t*g - 9. Suppose -5*p = -m - g*p + 9, 0 = -2*p - 2. Does 7 divide m?
True
Let n(v) = -3*v**3 - v**2 + v + 1. Let y be n(-1). Suppose 0 = -0*o + y*o. Suppose 176 = 4*t - o*t. Is t a multiple of 15?
False
Let y(c) = c**2 + 3*c - 1. Let d be y(-4). Suppose 0 = -d*z + z + 4. Suppose -z*f - 2*s + 28 = -s, 4*f + 4*s - 60 = 0. Is 13 a factor of f?
True
Let f = 495 - 342. Is f a multiple of 22?
False
Suppose 141 = 5*h + 16. Is 14 a factor of h?
False
Suppose 3*t + 2*b + 28 = 0, 0 = -4*t - 0*t + 4*b - 44. Let q = t + 15. Is q even?
False
Suppose -5*k + 23 = -2*q - 17, -2*q = -3*k + 28. Is 6/((-15)/k - -3) a multiple of 12?
True
Suppose -76 = -0*g + 4*g. Let a(k) = -2*k**2 + k + 10. Let d be a(5). Let s = g - d. Is 8 a factor of s?
True
Let j(s) = 9*s**2 - 4*s - 5. Does 13 divide j(-2)?
True
Let d = 52 - -29. Does 8 divide d?
False
Let z = -7 - -21. Is 6 a factor of z?
False
Let s(t) = -2 + 2*t**3 + 0 + 7*t**2 + 4*t - t**3. Does 10 divide s(-4)?
True
Suppose -35 = -5*x + c + 112, 0 = -3*x - 4*c + 102. Suppose -5*u = -0*u - x. Is u a multiple of 3?
True
Let x(d) = -d + 7. Let q be x(10). Is -4 + 4 + 12 + q a multiple of 9?
True
Suppose 12 - 37 = -y. Is 5 a factor of y?
True
Suppose 5*d = -2*t - 79, -d + 2*t - 5 = -3*t. Does 6 divide -12*(d/6 + 2)?
True
Let j(l) = l**3 + 6*l**2 - 6*l + 4. Does 21 divide j(-5)?
False
Is 14 a factor of 2/((-8)/290)*(-336)/60?
True
Suppose 0 = -3*f - 4*s + 44, -3*f - 5*s + 27 = -16. Is 8 a factor of f?
True
Let a = 0 - 28. Is (-4)/14 - 1268/a a multiple of 10?
False
Suppose -10 = 4*r + 70. Let d = r - -28. Does 3 divide d?
False
Suppose -3*g = -9*g + 408. Suppose j - g = -5*y, 5*j + 2 = y - 22. Is 7 a factor of y?
True
Let z(s) = 4 + s**2 - s + 5 + s. Does 4 divide z(0)?
False
Suppose 11*u = 9*u + 364. Is 14 a factor of u?
True
Suppose 0 = -r - 7 + 97. Does 6 divide r?
True
Let g be (-20)/2*10/(-4). Let b = g - -41. Suppose 21 = -3*m + b. Does 6 divide m?
False
Let y = 2 - -1. Suppose -y*s = -5*o - 131, 0*s - 2*s - 4*o + 80 = 0. Suppose 0 = 2*j - 3*j + s. Is 17 a factor of j?
False
Let s(g) = -16*g - 22. Is 15 a factor of s(-7)?
True
Let v be ((-8)/(-10))/((-2)/20). Let o = v + 20. Is o a multiple of 6?
True
Suppose 0*y - 11 = -y. Is y a multiple of 5?
False
Let m be 2 - (-2 - (-2 - 1)). Let g be 228 + (0 - (-2 - m)). Is 22 a factor of (g/7)/(3/2)?
True
Let a = 6 - 2. Does 29 divide -4 + -2*(-182)/a?
True
Is ((-21)/(-14))/(2/24) a multiple of 18?
True
Suppose 2*v - 