
Let z = 184 - 128. Does 28 divide z?
True
Let j = 133 + -11. Is j a multiple of 8?
False
Does 13 divide 7/((-7)/3) - -89?
False
Let d(n) = 3*n + 18. Is d(22) a multiple of 42?
True
Suppose -17 - 8 = 5*h. Let x(r) = r**2 + 11*r + 13. Let f be x(-10). Does 3 divide h + f + 2 - -9?
True
Suppose -7 = 6*h - 3*h + 4*k, 0 = 3*h - k + 2. Let y be 23 - (h + 4) - 2. Is 2*y*6/8 a multiple of 9?
True
Let d = 7 + -12. Let w = d - -25. Is w a multiple of 17?
False
Suppose 2*j = -o - 4 - 4, 4*j = 4*o - 16. Suppose o*l + 4*l = -4*b + 80, -3*b + 60 = 5*l. Does 10 divide b?
True
Let o(p) = 5 - 1 + 8 + p**3 + 8*p + 9*p**2. Is o(-8) a multiple of 3?
True
Suppose -7*k + 12 = -5*k. Let f(c) = 2*c**2 - 5*c + 8. Does 25 divide f(k)?
True
Suppose 4*h - 766 + 70 = 0. Suppose 3*j - r - 4*r - 163 = 0, 2*r - h = -4*j. Is j a multiple of 16?
False
Let n(y) = 13*y**2 + 4*y**2 - 5*y + 4*y. Does 7 divide n(1)?
False
Suppose 4*r - 246 = 74. Is r a multiple of 16?
True
Let a(j) = 3*j**2 + 25*j - 18. Let h(c) = c**2 + 12*c - 9. Let u(q) = -2*a(q) + 5*h(q). Is 6 a factor of u(6)?
False
Let a(w) = -2 + 4*w**2 - 3*w + 2 - 3*w**2 - 4. Let z be a(4). Suppose -5*q - k + 160 = z, -3*q + 96 = -k + 5*k. Is q a multiple of 16?
True
Let t be 6*3*1/9. Let a be (-8 - -2)*(-4)/6. Suppose b = 5*h - t*b - 120, -a*b - 24 = -h. Is h a multiple of 6?
True
Let h be (-3 + (-21)/(-6))*6. Let v(s) = -s**3 - 2*s + 0*s**h - 3*s - 4*s**2 - 1. Is v(-4) a multiple of 10?
False
Let b(q) = -q**3 - q**2 - q + 50. Is b(0) a multiple of 20?
False
Let s(q) = q + 1. Let j be s(5). Suppose -3*a = -j*a + 60. Is a a multiple of 10?
True
Suppose -2*k + 4*k - 6 = 0. Suppose -o + 13 = -3*p + 4, -k*p - 6 = 0. Is 7 a factor of (-7)/9*-3*o?
True
Let v be 153/12 + 1/4. Suppose 5*o - 1 - 20 = q, -v = -o - 2*q. Does 5 divide o?
True
Suppose -5*d + 15 = 0, -5*s = -d - 39 - 13. Is 4 a factor of 30/4 + s/(-22)?
False
Suppose -o + 2*n + n = 10, -6 = 3*o - n. Let x be 5/o*2/(-5). Suppose 0 = 5*g + c - 98, 2*g + x*c = -c + 34. Is g a multiple of 10?
True
Suppose -5 = -o - a - 0, 5*o - 4*a = -2. Suppose 3*d = -3*c + 27, -o*c - 66 = -6*c + 2*d. Is 6 a factor of c?
False
Let d(x) = -18*x**3 - 2*x**2 - x. Let w be d(-1). Let y = -8 + w. Does 2 divide y?
False
Let n(g) = g**3 + 7*g**2 + 8*g + 8. Let i be n(-6). Is (i/6)/((-2)/57) a multiple of 19?
True
Let t(k) = 2*k - 3. Let x(j) = -j**2 - 6*j - 1. Let l be x(-7). Let a = 16 + l. Is t(a) a multiple of 13?
True
Let q(a) = -9*a - 8. Is 21 a factor of q(-8)?
False
Let g = -6 + -1. Is 12 a factor of (-352)/g + 2/(-7)?
False
Suppose -4*z - 2 = -18, -v - 4*z = -28. Is 7 a factor of v?
False
Suppose 35 = -6*b + b. Let r be (-49 + b)/(0 + -1). Suppose r - 20 = 3*u. Is u a multiple of 5?
False
Suppose 108 = d + 20. Let a = d - 62. Is a a multiple of 13?
True
Is (-5 - -8) + 46*1 a multiple of 13?
False
Suppose 3*b - 3 = 3*p, 0 = p + 2*p + 3. Suppose -6*c + c + 20 = b. Suppose -m = 4*m - q - 11, 4*m = c*q - 4. Is 2 a factor of m?
False
Let n(t) = t**2 + 13*t - 10. Let i be n(-14). Suppose 0*p = i*p - 36. Is p a multiple of 3?
True
Let f = 20 + -13. Suppose 37 = 2*a + f. Is 5 a factor of a?
True
Let p(j) = j - 4. Let y be p(8). Suppose -y*a + 70 = a. Suppose 0*v = v - a. Does 14 divide v?
True
Let i = -178 + 42. Let h be 2/(-6) - i/3. Suppose 5*a = 3*b + h, 5*a = 2*b + 3*b + 45. Is a a multiple of 6?
False
Let t(k) = -k**3 - k**2 + 50. Does 8 divide t(0)?
False
Let b(o) = o**3 - o**2 + 2. Let a = 2 - 2. Let j be b(a). Is 5 a factor of 20/2 + -2 + j?
True
Suppose 3*r - 7*r + 12 = 0. Suppose 0 = -0*o + 2*o - 4. Suppose -n - 49 = -r*j, -o*n + 3 = -j + 21. Does 13 divide j?
False
Let h be 108/((4/(-2))/(-2)). Suppose -h = -5*b - 18. Is 9 a factor of b?
True
Suppose j + 10 = 60. Is j a multiple of 10?
True
Let y(a) = a**2 + 2*a + 1. Let g = 11 - 6. Is 18 a factor of y(g)?
True
Suppose 81 = c - 4*a + 25, 5*a - 140 = -4*c. Is 20 a factor of c?
True
Let f = -2 - -5. Let p = f + -3. Suppose p = 3*x - 4*x + 16. Is x a multiple of 8?
True
Let n(z) = 3*z**2 + 6*z + 5. Suppose 16 = -2*b - 0*b. Let v = 4 + b. Is n(v) a multiple of 8?
False
Suppose -6*w + 52 = -5*w. Does 26 divide w?
True
Suppose -o = 2*o - 51. Suppose 5*g - 63 = o. Is g a multiple of 5?
False
Let m(o) = -2*o**3 - 4*o**2 + 3. Is 51 a factor of m(-5)?
True
Let t(s) = -s**2 + 1. Let c be t(1). Suppose c*u + u = 16. Is 12 a factor of u?
False
Is 12 a factor of 4 + -5 + 2 + 101?
False
Let z be 12/(-10)*(-10)/(-3). Suppose -6 = -a + 8. Let i = z + a. Is i a multiple of 5?
True
Suppose -c - 18 = 2*n - 5*n, 3*c + 12 = -5*n. Let z = c - -15. Is 4 a factor of z?
False
Let z(h) = -h**3 + 3*h - 4. Let p be z(-5). Let q = p + -74. Does 15 divide q?
False
Is 9 a factor of 2/(-7) - 352/(-7)?
False
Let h(l) = 5*l**2 + l. Let m be h(-1). Suppose -2*n = -n - m. Suppose y = -n + 12. Is 7 a factor of y?
False
Let h = 203 - 142. Is 13 a factor of h?
False
Suppose 0 = -2*k - 2*k. Let j(y) = 6*y + 2. Let c be j(3). Suppose r = 5*p - c, 5*r - 15 = 2*p - k*r. Does 2 divide p?
False
Let o be 5/2*(-228)/(-10). Let d = o - 1. Suppose -5*y - 5*w + 242 = -18, y + 2*w = d. Does 24 divide y?
True
Suppose -3*a - 9 = o, 2*a + 5*o - 2*o = -6. Let z be (6 + -4)/((-2)/a). Suppose -z*d = -d - 32. Is d a multiple of 10?
False
Let s = -76 + 124. Does 12 divide s?
True
Let z = 39 + -19. Does 10 divide z?
True
Suppose -y + 52 = 8. Let p = 68 - y. Is 12 a factor of p?
True
Suppose 4*g - f - 49 + 3 = 0, -4*g = 2*f - 40. Is g a multiple of 7?
False
Suppose -1555 = -9*s + 92. Is 13 a factor of s?
False
Suppose -7*r = -9*r + 100. Is 14 a factor of r - (1 + 8/(-4))?
False
Suppose -4 - 8 = 3*j. Let f(s) = -4*s - 4. Is 12 a factor of f(j)?
True
Let q = -81 - -133. Is q a multiple of 16?
False
Let v = 62 + -38. Is v a multiple of 11?
False
Let y(c) = 15 + 35*c**2 - c + c - 34*c**2 + 6*c. Is 13 a factor of y(-7)?
False
Let a = -33 + 5. Let m = a - -49. Does 14 divide m?
False
Let l be (-1 + 2 + -2)*-2. Suppose 4*v + r = -r + 18, 0 = v + l*r - 6. Does 5 divide ((-88)/(-12))/(v/6)?
False
Suppose -5*x = -10, 5*h + 4*x - 75 = -x. Is h a multiple of 13?
True
Suppose -5*w + 4 = -4*w. Suppose 0 = w*u - 3*r + 11, 5*u = -r - 28. Is 14 a factor of u/15 + (-76)/(-3)?
False
Let s(i) = i**3 + 8*i**2 + 7*i + 3. Let b be s(-7). Let q = b - 4. Let p(n) = -34*n + 1. Is p(q) a multiple of 14?
False
Let a(m) = 9*m + 5. Let t be a(4). Suppose -3*j = -2*j - t. Let q = 89 - j. Is q a multiple of 19?
False
Let x(v) = -16*v - 2. Is x(-2) a multiple of 10?
True
Let n = -12 + 87. Is 25 a factor of n?
True
Let i = 37 - 43. Let z(y) = 3 - 5 - 4*y + 4. Is 9 a factor of z(i)?
False
Let v(a) = a**2 + 8*a - 8. Let c be v(-9). Is c*(-2 + 2) - -6 a multiple of 6?
True
Suppose -v - v = -6. Suppose 0 = -2*j - 10, 5*z + 1 = -v*j + 6. Suppose n + 4*s - 28 = -s, z*s = 3*n - 65. Is 9 a factor of n?
False
Let i(f) = 11*f**2 + f - 1. Does 7 divide i(-1)?
False
Let w be -2 + 6 + (-2)/1. Let l(z) = z**w - 2 + 8 - 2*z**2 + 2*z**2. Is l(6) a multiple of 21?
True
Let l(c) = 155*c**2 - 3*c - 1. Is l(-1) a multiple of 19?
False
Suppose 347 - 93 = 2*u. Is 19 a factor of u?
False
Suppose 5*l + 6 = 21. Does 4 divide 5 + -2 + 9 + l?
False
Let o(b) = -4*b**3 - 16*b**2 - 12*b + 14. Let f(l) = -l**3 - l**2. Let z(u) = -3*f(u) + o(u). Let a be (0 - 0) + (-13 - -1). Does 7 divide z(a)?
True
Suppose 3*f - 14 = -0*n - 2*n, 4*f = n + 37. Is f/(-6)*(-255)/10 a multiple of 24?
False
Let r(s) = -s. Let v be r(-4). Suppose 5*h + l - 141 = 2*l, -v*h = 4*l - 108. Does 16 divide h?
False
Let d = -34 - 31. Let a be d/(-10) + 2/(-4). Suppose 5*w + b = a*b + 70, -4*w = -5*b - 56. Does 7 divide w?
True
Suppose 0 = -3*s - 4*p + 55, 4*p - 7 = -3. Suppose 3*u - s = -3*x + 94, 5*u - 200 = -2*x. Is 14 a factor of u?
True
Suppose -4*m = 4*s - 48, 5*s = 3*m - 0*s - 68. Suppose m = 2*l + 2*l. Suppose -13 = -2*b + l*a + 17, -3*b = -a - 45. Is 11 a factor of b?
False
Let s(c) = -29*c**3 - 5*c**2 - 5*c. Let z(w) = -28*w**3 - 4*w**2 - 4*w. Let f(a) = -5*s(a) + 6*z(a). Let q be f(-1). Let h = -12 + q. Is h a multiple of 3?
False
Let g(u) = -u**3 + 6*u**2 + u + 2. Let r be g(6). Let k = 13 - r. Suppose 42 + 202 = k*p - 2*q, -3*p = -q - 147. Is 17 a factor of p?
False
Let v(c) = c**3 - 13*c**2 + 22*c - 4. Is 13 a factor of v(12)?
False
Let z = 17 - 14. Suppose z = 3*f, d - 