 - z. Is z/(-2) - (5 + -4) a multiple of 19?
False
Let y(f) = f + 8. Let r be y(-6). Suppose r*j + 0*j = 50. Is 12 a factor of (-1 - j)/(-1 + -1)?
False
Is 0 - -2 - (-8 - 32) a multiple of 13?
False
Suppose -c = -2 - 2. Suppose -b = -c*b + 150. Is b a multiple of 17?
False
Let n(p) = -p**3 + 4*p**2. Let u be n(4). Suppose 2*q = -u*q + 5*v + 29, -v - 61 = -5*q. Is q a multiple of 6?
True
Suppose 6*k + 384 = 120. Let n = -29 - k. Is n a multiple of 5?
True
Let y(j) = 10*j**3 + 1. Let v be y(-1). Let z = v + 19. Does 5 divide z?
True
Let i(h) = -h + 1. Let f be i(0). Suppose -m = 3 - f. Does 3 divide (-2 + m)/(0 - 1)?
False
Let v = 34 + -9. Let o = v - 3. Does 12 divide o?
False
Let n be 5/((-5)/(-3)) + -3. Suppose n*w = 2*w - 18. Is w a multiple of 3?
True
Let z(s) = -3*s**3 - s**2 + 1. Let o be z(-1). Let q be o/(1*6/8). Suppose -q*j - l + 72 = 0, 0*l + 72 = 4*j - 3*l. Is j a multiple of 18?
True
Does 9 divide (4/(-2) + -54)/(-10 - -9)?
False
Suppose 5*l - 52 = 2*h, 35 = 4*l + h + 4*h. Let y = l - 8. Suppose 3*s = f - 3, -y*f - s + 36 = -5. Does 7 divide f?
False
Let t = 0 + 3. Suppose k + 16 = -t*k. Let q = 8 - k. Is q a multiple of 12?
True
Let j(w) = 6*w**2 + 5*w - 7. Is j(2) a multiple of 9?
True
Let s(d) = -4*d. Let k(p) = 14*p**3 + 2*p**2 - 17*p - 5. Let u(t) = 5*t**3 + t**2 - 6*t - 2. Let m(l) = 4*k(l) - 11*u(l). Let v be m(3). Does 7 divide s(v)?
False
Does 31 divide 217/(-3)*5/((-25)/15)?
True
Let c = -60 - -28. Is 8 a factor of 6*c/18*-3?
True
Let u be (-51)/(-15) + 4/(-10). Suppose -u*h + 3 = -4*h, 2*a - 5*h + 145 = 0. Let k = -42 - a. Is k a multiple of 14?
False
Let k be 1/((-2)/(32/(-2))). Let i be k/3 + 3/9. Suppose -2*m = -13 - i. Is m a multiple of 6?
False
Let r = 4 + -4. Suppose -32 = -r*p - 4*p. Is 8 a factor of p?
True
Suppose -4*j = -z - z + 152, 4*z - 282 = -3*j. Is z a multiple of 12?
True
Suppose -10 + 4 = 2*f. Does 5 divide (-2 + -1)*22/f?
False
Let h(b) = 2*b**2 - b. Let t be h(2). Suppose -t*n = -n - 80. Is n a multiple of 8?
True
Let a be (-4)/(-22) - (-765)/(-33). Let t = a + 33. Is t a multiple of 5?
True
Suppose -x = -0 - 9. Is x a multiple of 7?
False
Let g = 9 + 15. Suppose w + g = -3*w. Let a = w - -17. Is 5 a factor of a?
False
Suppose 3*g + g + 228 = 5*a, -a - 3*g = -57. Does 12 divide a?
True
Let k = 6 - 4. Suppose 0 = -4*q - 5*z + 111, 0*q + z = -4*q + 131. Suppose a - q = -a - 2*t, -k*t + 8 = 0. Does 13 divide a?
True
Let x be 0 - (0 - (0 - -25)). Suppose 4*a = -3*l - 0 + x, -4*a - l + 35 = 0. Does 3 divide a?
False
Let p = 26 + -38. Is (-8)/p*(-198)/(-4) a multiple of 11?
True
Suppose -2*d - 12 = -d. Let c = -4 - d. Let w(b) = -b**2 + 11*b - 10. Does 6 divide w(c)?
False
Let r(k) = k. Suppose -2*x + 3*b + 1 = 0, 29 = 3*x + x + 3*b. Suppose 4*d - 31 - 9 = -4*v, 0 = -4*v + x*d + 40. Is r(v) a multiple of 7?
False
Let c = -5 - -10. Suppose -d = -c, 4*f + 0*d = d + 207. Let y = f + 9. Is y a multiple of 21?
False
Suppose -9 = -4*f + 3*f + 4*g, -3*f + 2*g = -17. Suppose f*c - 10 = 5. Is c even?
False
Suppose 8*p - 5 = 7*p. Does 2 divide p?
False
Let i(u) = -2*u + 6. Let r be i(3). Suppose -y - 3*y + 20 = 0. Suppose r = y*n - 143 + 13. Is 14 a factor of n?
False
Suppose 3*g - 151 = 89. Is g a multiple of 20?
True
Suppose 0*y - 4*y + 12 = 0. Suppose p + 4 = -2*p + m, y*m = -3*p - 24. Let q = p + 15. Is q a multiple of 5?
False
Let r = -5 + 3. Let m = 9 - 5. Let h = r + m. Is h a multiple of 2?
True
Let z(q) = -q + 4. Let m = 14 - 8. Let l be z(m). Does 5 divide 15/(l/(2/(-1)))?
True
Let r(o) be the second derivative of -o**2 - 1/3*o**3 + 3*o + 0. Is r(-6) a multiple of 10?
True
Suppose -7*t + 80 = -3*t. Suppose -3*n = 4*x - 89, 2*n - 85 = 3*x - t. Does 13 divide n?
False
Suppose -224 = -2*y - 64. Does 20 divide y?
True
Let a = 32 + -39. Let w be (13/(-3))/((-1)/(-3)). Let o = a - w. Is o a multiple of 4?
False
Let a = 22 - -50. Let t = a - 51. Does 7 divide t?
True
Is 45/2*30/25 a multiple of 27?
True
Let x(f) = 1 + 5 - 1 + 15*f + 1. Is 24 a factor of x(6)?
True
Suppose -3*g + 4*g - 229 = -4*v, -2*g - 55 = -v. Does 19 divide v?
True
Suppose 0 = -5*n - 0*n + 45. Is 9 a factor of n?
True
Let a = -67 + 45. Let t = 16 + a. Is (26 - -1) + (-6 - t) a multiple of 14?
False
Let q(m) = -6*m - 12. Is q(-3) a multiple of 6?
True
Suppose -5*s + 4*s = 0. Let k = 5 + s. Suppose k*w = 2*f - 45, 20 = -6*w + 2*w. Does 10 divide f?
True
Let i = 344 - 219. Suppose -5*x - i = 80. Let s = -25 - x. Does 8 divide s?
True
Let y(m) = m**3 + 7*m**2 + 4*m + 3. Let o be (6/9 + -1)*15. Does 10 divide y(o)?
False
Suppose 3*o = 8*o - 255. Is 16 a factor of o?
False
Suppose -3*i = -a - 2*i + 23, -8 = 2*i. Let l = -61 + 62. Does 19 divide (-1 - (-3 + l))*a?
True
Let p(y) = 3 - 4*y - 9 - 3 + y**2 + 0*y. Is p(7) a multiple of 6?
True
Is (15/(-12))/((-4)/16) a multiple of 5?
True
Let v be 14/(1*6/129). Suppose 0 = -5*z - 76 + v. Is z a multiple of 15?
True
Suppose 3*c = 5*f + 61, -7*c + 2*c + f + 65 = 0. Suppose -3*t - r - r + 34 = 0, -r + c = t. Is t a multiple of 10?
True
Suppose -5*u = -9*u + 656. Is u a multiple of 41?
True
Let c(v) = -v + 4. Let i be c(10). Let k = 19 + i. Is 6 a factor of k?
False
Let f(s) = -s**3 + 2*s**2 + 11*s + 9. Does 19 divide f(-5)?
False
Suppose 63 = -3*n + 6*n. Let o be -2 + (3 + -3 - 0) + -256. Is 2/(-7) - o/n a multiple of 6?
True
Let h(t) = 1 - t**3 - 3*t**3 + 0*t**3 + 3*t. Let g be h(-2). Suppose -5*z + 158 = -g. Does 21 divide z?
False
Let d = -47 - -31. Suppose -79 = -3*r + 4*m, r + r + 3*m = 47. Let l = r + d. Is 8 a factor of l?
False
Let b = -34 - -112. Suppose -5*l + b = -82. Suppose l = 2*a - 34. Is a a multiple of 11?
True
Let u = -7 - 4. Let r be (-4)/(-22) + 2/u. Suppose 0 = -4*i - r*i + 112. Is 10 a factor of i?
False
Let i = 2 - 7. Let b(w) = -w**2 - 6*w + 2. Does 5 divide b(i)?
False
Suppose 3*h - 4 + 15 = -j, -j = h + 7. Does 3 divide 46/14 - h/(-7)?
True
Let c be 8/(-28) - (-384)/21. Does 5 divide c - (6/(-2) + 2)?
False
Let c(q) = q - 5. Is c(13) even?
True
Suppose 4*z - 28 = 68. Let g(b) = b**2 + 5*b + 5. Let t be g(-5). Suppose -5*s - t = k - 0*s, 3*k = -2*s + z. Does 6 divide k?
False
Suppose 3*f = -y + 27, 5*y + 0*y - 5*f = 35. Let t = 32 - y. Is 10 a factor of t?
True
Suppose 7*m = 4*m. Suppose m*a - 28 = -a + g, -3*g - 36 = -a. Is a a multiple of 12?
True
Suppose 3*p + 4 = 2*q + 5*p, q = 3*p + 22. Suppose -3*x + 8 = -q. Does 3 divide x?
False
Let y = 33 - 20. Suppose 4*z = -4*t + 16, -z - 8*t + 4*t = -y. Is z*-10*4/(-8) a multiple of 5?
True
Suppose 3*m = -2*m + 20. Suppose 9*d - m*d = 525. Let j = d - 75. Is 11 a factor of j?
False
Suppose -2*j = -j + 2*h - 14, -3*j + 4*h = -12. Does 8 divide j?
True
Let r(j) = -2*j + 9. Let w be r(5). Is 25 a factor of ((-3)/w)/1 + 63?
False
Let x = 117 - 71. Does 8 divide x?
False
Let j(q) = q + 7. Suppose 2*x = 15 + 7. Is j(x) a multiple of 10?
False
Let s(l) = 11*l**2 - 2*l + 1. Let g be 18 - 19 - (-1 + 2). Is 32 a factor of s(g)?
False
Let n(c) = c**2 + 7*c + 11. Is n(-8) a multiple of 19?
True
Let a = -3 - -9. Let m be 26/10 - a/(-15). Let d = 13 + m. Does 7 divide d?
False
Let o = 51 - -75. Is 14 a factor of o?
True
Suppose 0 = -2*d + 10, d - 112 = -4*n + 13. Does 8 divide n?
False
Suppose 3*i + 4 = -i. Let v be 12*(-6)/(-9)*i. Does 19 divide v/(-12) + (-110)/(-6)?
True
Let x(c) = -90*c + 12. Does 8 divide x(-1)?
False
Let n(w) = -w**3 - w + 25. Let k be 0/((-4)/6*3). Let o be n(k). Suppose -3 = 5*f + s - 38, 0 = -5*s - o. Does 8 divide f?
True
Does 21 divide (18/8)/(15/280)?
True
Suppose -2*l + 112 = -22. Is l a multiple of 13?
False
Let w(x) = -x**3 + 4*x**2 + 4. Let q be w(-3). Let n = q - 31. Does 21 divide n?
False
Let r = -6 - -21. Let u = r + 13. Is 14 a factor of u?
True
Let c = 353 - 20. Does 37 divide c?
True
Let f be 1/(-3) + (-233)/3. Let c = 139 + f. Is c a multiple of 15?
False
Let x(l) = -l**3 - 7*l**2 + 6*l - 12. Does 16 divide x(-9)?
True
Let t(n) = n**3 - n**2 + 5. Let s be t(0). Suppose 0 = -s*g + 162 + 38. Does 8 divide g?
True
Let i = -11 + 9. Suppose 0 = -5*s - 26 - 24. Is i/(-4) + (-65)/s a multiple of 3?
False
Suppose -3*t + 65 + 25 = 0. Let w = t + 6. Is w a multiple of 6?
True
Let t(p) = p + 13. Let o be t(-11). Let g(k) = 4*k**2 + k. Let s be g(-1). Suppose 4*r - 25 = -s*f + 26, -o*r + 15 = f. Is f a multiple of 11?
