z - -1. Suppose 4*o + s = 5*o. Is 3 a factor of o?
False
Let w = -5 + 5. Let x(y) = y**3 - y**2 - 3*y + 2. Let b be x(4). Let q = w + b. Is q a multiple of 19?
True
Let j(v) = 2*v + 42. Is 6 a factor of j(6)?
True
Does 2 divide 176/24 + 4/6?
True
Let s(w) = -w**3 + 3*w**2 + 5*w. Is 4 a factor of s(4)?
True
Let g(x) = -2*x - 3. Suppose 2*o = -3*o - 25. Does 6 divide g(o)?
False
Suppose -5*i = -2*b + 15, i - 5 = -4*b + 14. Let p = 24 + -15. Suppose -b*j + 2*j = -p. Is 3 a factor of j?
True
Let j = 34 - -50. Is 28 a factor of j?
True
Let j = -43 + -6. Suppose -10*r + 12*r + 38 = 0. Let d = r - j. Is 15 a factor of d?
True
Let m(z) = 6*z + 14. Does 32 divide m(5)?
False
Suppose -i + 7 = -0*i. Suppose -1 = f - i. Is f/4 + 63/6 a multiple of 6?
True
Is (0 + 1)/(5/310) a multiple of 31?
True
Let m(v) = v**3 + 7*v**2 - 2*v + 3. Let q(r) = 4*r**3 + 22*r**2 - 6*r + 8. Let g(y) = -7*m(y) + 2*q(y). Does 4 divide g(5)?
False
Let g be 4*(-3)/(24/10). Let b(x) = -3*x + 7. Let i be b(g). Let r = -9 + i. Is r a multiple of 13?
True
Suppose -2*a + 6 = -0*a. Suppose -5*g + a - 13 = 0. Is 8 a factor of (7 + -3)/((-1)/g)?
True
Let w = -70 + 32. Let n = -14 - w. Is n a multiple of 10?
False
Suppose 9*i - 356 = -95. Is i a multiple of 29?
True
Suppose 7*x - 243 - 443 = 0. Is x a multiple of 14?
True
Suppose -c + f = -45, -2*c - 5*f = -f - 102. Suppose -2*p + p = -c. Does 14 divide p?
False
Let t be ((-5)/(-10))/((-1)/(-2)). Let u(o) = 12*o. Let c be u(t). Is 3 a factor of -1*(0 + 3 - c)?
True
Let d(o) = 42*o. Let i be d(2). Suppose -2*j = -5*j + i. Is j a multiple of 9?
False
Let v(f) = -5*f**2 + 0 - 4*f + 3*f**2 + 3*f**2 - 5. Let w be v(6). Suppose 49 = 3*p - 2*y + w*y, 3*p - 37 = y. Does 13 divide p?
True
Suppose d - 77 = 20. Is 28 a factor of d?
False
Suppose 2*b + 0*b = 172. Suppose 5*v - b = -16. Is v a multiple of 14?
True
Let v(x) = -x**2 + 4*x + 9. Is v(4) a multiple of 2?
False
Let l = -136 - -248. Is l a multiple of 8?
True
Suppose -25*q + 21*q + 240 = 0. Is q a multiple of 15?
True
Let t(n) = -44*n**3 - n. Let h be t(-1). Let c = -17 + h. Is c a multiple of 12?
False
Let g be (-6)/(-15) - 286/(-10). Is 8 a factor of g + (1 + -2 - 0)?
False
Let m(a) = 4*a - 10. Let k(i) = 3*i - 11. Let d(c) = -3*k(c) + 2*m(c). Is d(0) a multiple of 5?
False
Let d(s) = 4*s**3 + s - 5*s - s**3 + 1 + s**3 - 3*s**2. Let y(q) = -5*q**3 + 4*q**2 + 5*q - 2. Let a(n) = -4*d(n) - 3*y(n). Is 13 a factor of a(-3)?
True
Let m(p) = 2*p**3 - 3*p**2 - p + 2. Let d be m(6). Suppose r + r = 3*o - d, -5*r = 5*o - 550. Suppose 3*y - o + 39 = 0. Is y a multiple of 9?
False
Let l = 2 - 10. Is 3 a factor of (-50)/l + (-15)/(-20)?
False
Let r be 12*2*1/3. Let f = -2 + r. Is f a multiple of 2?
True
Let x = -104 - -170. Does 22 divide x?
True
Let u = 8 - 9. Is 14 a factor of 29 + -2 + (u - -1)?
False
Is 42/(-12) - -4 - 50/(-4) even?
False
Is 12/(-8)*-120 + 2 a multiple of 14?
True
Is 2 a factor of (-3 - -33)/(-2 + 4)?
False
Let s = -109 + 77. Let p = s - 2. Let d = p - -51. Does 9 divide d?
False
Let l = -4 - 2. Let y = 11 + l. Is 5 a factor of y?
True
Let p(w) = -w**2 - 12*w + 1. Let y(q) = -4*q**2 - 61*q + 6. Let u(n) = 11*p(n) - 2*y(n). Let d(h) be the first derivative of u(h). Is 14 a factor of d(-7)?
False
Let i(m) = -3*m - 2. Let z be i(-6). Let p = 22 + z. Is 19 a factor of p?
True
Suppose 0 = -3*b - 3*a + 6*a - 48, 0 = -4*b + a - 49. Let w = 31 + b. Is w a multiple of 10?
True
Suppose x - 8 = 3*x. Let n = x - -9. Is n a multiple of 5?
True
Let w = 3 + 1. Let m(b) = b - 2. Let k be m(w). Suppose 0 = n + 4*d - 22, 0 = -n - k*d + 7 + 9. Does 5 divide n?
True
Let k = 39 + -19. Let p be 8/12 + (-34)/6. Let h = p + k. Is h a multiple of 7?
False
Suppose -2*n + 2 = -n. Suppose n*q = v + 34, q - 15 = 4*v + 9. Suppose q = -0*x + x. Is 8 a factor of x?
True
Let m(u) = u + 9. Is m(26) a multiple of 6?
False
Let w(s) = -s - 1. Let r be -1 + 1*-2 + -3. Let u = r - 0. Is 2 a factor of w(u)?
False
Suppose 3*n - n = 130. Suppose 2*u + 0*u - 166 = -4*x, -u + 4*x = -n. Does 15 divide u?
False
Suppose l - 1 + 7 = 0. Is 26/4*(0 - l) a multiple of 19?
False
Let d(c) = -95*c - 2. Let t be d(-2). Suppose 0 = -2*y + 4*u - t, 91 = 4*y + 2*u + 427. Is 15 a factor of (-2)/(4/y) + 1?
False
Let l(u) = -u**2 + 13*u + 2. Let x be l(5). Suppose 3*s - 90 = i, s + i - x = -16. Is 8 a factor of s?
False
Let o = 66 + -32. Is 17 a factor of o?
True
Let z(w) = 1 + 3*w + 3*w - 5*w. Suppose 0 = -0*f - 8*f + 8. Is z(f) a multiple of 2?
True
Is 174/8*13/((-117)/(-48)) a multiple of 15?
False
Suppose -2*l - 5*j + 25 = 0, 10 + 5 = -5*l + 3*j. Let h(g) = -g + 0*g**2 + 0*g + 18 + g**2 + g**3. Is 7 a factor of h(l)?
False
Suppose -l + 50 = 4*l. Suppose -29 = -f + l. Is 13 a factor of f?
True
Let l(c) = -c**2 - 27*c - 11. Is l(-7) a multiple of 43?
True
Let q be (32/40)/(4/10). Suppose -4*n + 104 = q*a, -99 = -2*a - 5*n + 9. Is a a multiple of 10?
False
Let k = 173 - 82. Does 34 divide k?
False
Let z = -37 + -9. Let o = -24 - z. Does 11 divide o?
True
Let h(l) = 15*l**2 - l. Let t(s) = -7 - 4*s - 3 + 3*s. Let k be t(-11). Is h(k) a multiple of 7?
True
Let s be (-1 - -3)/((-1)/5). Let h(z) = -2*z**2 - 8*z + 1. Let g be h(s). Is g/(-4) - 3/4 a multiple of 11?
False
Let q be (1*-53)/((-3)/9). Suppose 3*m - q = -42. Is m a multiple of 15?
False
Let g(q) = q - 3. Let z be g(3). Let l(s) = -s**3 - s + 167. Let f be l(z). Does 11 divide (-2)/5 + f/5?
True
Let z(b) = -3*b - 5. Let x be z(-4). Let t(n) = 2*n - 8. Is 3 a factor of t(x)?
True
Let s(r) = -r**2 + 1. Let v(l) = -3*l**2 - l + 3. Let o(q) = -7*s(q) + 2*v(q). Let d be o(3). Suppose 11 = 3*z + d. Is 3 a factor of z?
True
Let h(r) = 10*r**2 + 8*r + 7. Is 4 a factor of h(-1)?
False
Let u(a) = -18*a**2 - 6*a - 2. Let v be u(7). Let m be (-2)/7 + v/(-7). Is 11 a factor of (4/(-6))/((-4)/m)?
True
Suppose -d + n + 151 = 2*n, 0 = -n + 1. Is d a multiple of 29?
False
Suppose -1306 = -9*s - 478. Suppose -17 = -5*d + 8. Suppose 0 = d*m - s - 58. Is 15 a factor of m?
True
Suppose 2*p - 81 = 69. Is 25 a factor of p?
True
Is (-2 - -4)/(3/33) a multiple of 7?
False
Let n(w) = 5*w**2 - 13*w - 37. Is n(-7) a multiple of 13?
True
Let c(j) = -j**3 + 3*j**2 + 3*j + 4. Is c(3) a multiple of 9?
False
Let u(o) = -2*o**3 - 11*o**2 - 9*o + 17. Let s(p) = -2*p**2 + 3*p**2 - 4*p + 8 - 7*p**2 - p**3. Let i(w) = 9*s(w) - 4*u(w). Does 3 divide i(-10)?
False
Let a(u) = -4 + 3*u**3 + 7*u - 7*u - 4*u**2 + 4*u. Is a(3) a multiple of 10?
False
Suppose -6*s + 30 = 6. Does 2 divide s?
True
Let l = 43 - 31. Is l a multiple of 3?
True
Let v(x) = -12*x - 4. Suppose -2*i + 6*i = -16. Does 13 divide v(i)?
False
Suppose -155 = -4*r + 141. Is r a multiple of 4?
False
Suppose -102 = -3*o + 66. Suppose -64 = -5*t + o. Is t a multiple of 12?
True
Suppose -4*u = -2*c + 74, 3*c = -2*u - 0*u + 71. Let h = c - 11. Let x = 27 - h. Is x a multiple of 4?
False
Suppose -2*t - 25 = -7*t. Suppose -t*s - 4*h = -234, s + 3*s = -4*h + 184. Is s a multiple of 25?
True
Suppose 3*v + 4*v = 854. Does 18 divide v?
False
Let g(f) = -f**3 - 4*f**2 + 3*f + 5. Let i be g(-5). Suppose 0 = 3*u - i, 2*u + 24 = o + o. Is 17 a factor of o?
True
Suppose -4*v + 206 = -50. Is v a multiple of 8?
True
Let p be (-1)/(-1) + (-1 - -2). Suppose q = -p*b + 2 + 29, q = -1. Does 8 divide b?
True
Let d = -71 + 33. Suppose 1 + 1 = w. Is d*(-1)/w*1 a multiple of 10?
False
Suppose r = 4*r - 1044. Suppose 0*p = -2*p + r. Suppose -3*z + 2*g = -z - 112, p = 3*z - 5*g. Is 20 a factor of z?
False
Let x = 8 - -7. Is x a multiple of 6?
False
Let r be 104/10 + 16/(-40). Suppose -2*v + 4*t - 16 = 0, v + t - r = -3*t. Is v*-2*17/4 a multiple of 17?
True
Let a be ((-3)/2)/(2/(-80)). Suppose -a = -4*x + 4*o, x - 12 = -4*o + 13. Does 17 divide x?
True
Let x(o) = 2*o**2 - 8*o - 2. Is x(9) a multiple of 22?
True
Let y(x) = -15*x - 1. Suppose 0 = 3*q - 0*q - 3. Let r be y(q). Let k = r + 29. Is 10 a factor of k?
False
Let f = 21 - 60. Let m = f + 81. Is m a multiple of 11?
False
Is (-14 + 8)/((-2)/28) a multiple of 7?
True
Suppose 0 = l + 2*d - 39, 6*l - 76 = 4*l - 3*d. Does 2 divide l?
False
Let q be 3/((-3)/2) - -22. Suppose 0*l = -4*l + q. Suppose -l*m + b + 79 = -16, m - 28 = 2*b. Is 16 a factor of m?
False
Let t = 227 + 34. Is 9 a factor of t?
True
Is 11 a factor of (3 - 12/(-1)) 