 92 = 2*l - 100. Suppose -v + 65 = 3*j - 0*v, v = 4*j - l. Is j a multiple of 18?
False
Suppose -124 = -2*d + 2*c - c, -3*c = 0. Suppose -d = -4*f + 82. Does 12 divide f?
True
Let q(n) = 3*n. Let i(k) = -3*k. Let z(p) = -6*i(p) - 5*q(p). Does 6 divide z(4)?
True
Is 6 a factor of 4 + (4 + -6 - -20)?
False
Does 12 divide ((-3)/(-2))/((-1)/(-146))?
False
Let i = 48 - 111. Does 6 divide i/(-5) + (-6)/10?
True
Let n(p) = p**2 + 3*p + 2. Let a be n(-2). Suppose -6*w + 39 + 63 = a. Is w a multiple of 13?
False
Suppose 2*t + 5*c = -0*t - 29, -3*t + c = 1. Let o be -2 + (-2 - t - -3). Is o*(1/1 + 8) a multiple of 5?
False
Let y be 12/7 - (-6)/21. Suppose -1 = -y*z + 3. Suppose l - 3*l - 18 = -2*t, -z*t = 2*l - 22. Is 4 a factor of t?
False
Let n(a) = 2*a**2 + 17*a - 3. Is n(-15) a multiple of 33?
False
Suppose 4*f + 10*r = 14*r + 76, 0 = -5*f - r + 65. Is f a multiple of 4?
False
Suppose 4*p - 12 = d, 4*p - 4*d + 0*d = 0. Let a = 13 - p. Is 6 a factor of a?
False
Let j = -11 - -10. Suppose v + 5*f = -1 - 11, -2*f + 12 = -v. Is v/((j/2)/1) a multiple of 12?
True
Suppose 2*z + 251 = 449. Does 11 divide z?
True
Let a be ((-34)/6)/((-3)/9). Suppose 0*q - a = -4*q + 3*u, 0 = 5*u + 15. Suppose l = -2*f + 46, f + l = q*f - 20. Is f a multiple of 11?
True
Is 3/(-6) + (-3 - (-799)/2) a multiple of 44?
True
Suppose 108 = -10*t + 13*t. Does 9 divide t?
True
Suppose 4 = 3*l - 11. Suppose -3*n + 348 = -0. Suppose c = l*c - n. Is c a multiple of 11?
False
Let v be 5/25 + (-2)/10. Suppose v*h = -h - 2. Is 6 a factor of 18*h/(-2) + -1?
False
Is 2 a factor of 21/6*2 - 2?
False
Suppose -z + 59 = -5*d - 46, d = z - 109. Is 22 a factor of z?
True
Let k(s) = 39*s + 8. Does 32 divide k(5)?
False
Let y(j) = -j + 28. Let i = -2 + 2. Suppose -o + 4*o = i. Is y(o) a multiple of 13?
False
Suppose -55 = -s - 5*v, -v = v - 6. Let f = s - 19. Does 16 divide f?
False
Suppose 0*r = 2*r + 4. Let y = 6 + r. Is 2 a factor of y?
True
Let u = -1 - -5. Let m(x) = 8*x. Is 12 a factor of m(u)?
False
Is 27 a factor of (0 - -23)*(0 - -3)?
False
Let k = 0 + 3. Suppose 0 = -k*v - 0*v + 5*i - 20, 4*i - 16 = -v. Suppose v = 2*c - 6*c + 48. Is c a multiple of 12?
True
Suppose -5*f + t + 148 = 0, -3*f - t + 105 = 13. Suppose j = 4*z - 0*z + 6, -5*j = -z - f. Does 6 divide j?
True
Suppose -2*g = -k - 65 + 284, 4*k = 5*g + 870. Let f = k + -154. Does 21 divide f?
False
Suppose 0 = -6*f - f + 231. Does 24 divide f?
False
Let z = -149 - -84. Let f be z/(-4) - 1/4. Is (f/10)/(2/25) a multiple of 13?
False
Let c = -246 + 412. Is 21 a factor of c?
False
Let j(d) = d**2 - 2*d + 1. Let x be j(3). Suppose -5*k + 35 = -z, z = -x*k + 3*z + 22. Does 7 divide k?
False
Suppose 8 = -2*y, -2*i + 7*y = 2*y - 188. Is 31 a factor of i?
False
Let x = 5 - 1. Let j be -1 + -1 + x/2. Does 22 divide (-1)/3*j + 41?
False
Let b(r) = r + 4. Let m be b(-4). Let k be (-112)/(-21) + -5 - 16/(-6). Suppose -80 = -5*p - k*q, m*p + 80 = 5*p + 2*q. Is 8 a factor of p?
True
Let c = 267 - 83. Is c a multiple of 46?
True
Suppose -2*c + 8 = -4*p, 6*c - 75 = c - p. Suppose -3*u + 110 = c. Suppose -u = -2*n + 12. Is n a multiple of 10?
False
Suppose 2*v = -5*y + 28, 0 = -v - 5*y + 2*y + 15. Let h = 40 - v. Is h a multiple of 31?
True
Let q(a) = -7*a**3 + 2*a**2 + 2*a - 2. Let l be q(2). Does 11 divide 1/(l/(-22) - 2)?
True
Suppose -5*c = -3*v + 18, -c = 2*v - 0 + 1. Let o be v/((-2)/4) - -10. Let b = -2 + o. Is b a multiple of 3?
True
Let z(i) = 4*i**2 - 4*i + 48. Is 12 a factor of z(6)?
True
Let l(d) = -16*d + 2. Suppose -17 = 4*a + r, 5*a = 4*r - 2*r - 5. Let x be l(a). Let o = 70 - x. Is 20 a factor of o?
True
Let n be (-24)/(-10) - 4/10. Suppose -n*j = j - 15. Suppose 0 = -j*b + 10, -52 = -4*c - 0*b + 4*b. Is 6 a factor of c?
False
Suppose 5*g + 5 = 0, -2*b = -5*g - 13 - 4. Let t(p) = p**3 - 5*p**2 - 3*p - 5. Is t(b) a multiple of 7?
False
Let t(k) = 53*k + 6. Does 28 divide t(2)?
True
Suppose 3*j - 6*j + 3*q + 12 = 0, 0 = q - 1. Let t = j - 3. Is 2 a factor of (t/3)/((-4)/(-12))?
True
Suppose 4*y - 179 = -7. Let t = 5 - -25. Let c = y - t. Is 7 a factor of c?
False
Suppose 90 = 2*r + 5*z - 94, -5*r + 5*z = -390. Is r a multiple of 11?
False
Let c(h) = h - 8. Let q be c(8). Suppose q = t + 2*t - 285. Is t a multiple of 19?
True
Let w be -1 - 3/(-6)*-8. Let x be (4 - -10)*w/(-2). Suppose x = 6*c - c. Does 3 divide c?
False
Let f = 1 + -2. Let q be 92/2 - 0/f. Does 7 divide q/6 + 2/(-3)?
True
Is 148/5 - (-18)/45 a multiple of 6?
True
Let o = 221 + -95. Does 18 divide o?
True
Suppose 2*f - 8 = f + 4*u, 0 = 4*f + 2*u + 22. Let d(w) = -w + 7. Let x be d(5). Is 3 a factor of (1/x)/(f/(-48))?
True
Let f(z) be the second derivative of 5*z**3/3 - z**2/2 + z. Is 17 a factor of f(9)?
False
Let v(t) be the third derivative of -5*t**4/12 + t**3/3 - 10*t**2. Does 6 divide v(-4)?
True
Suppose 5*y = 3*y - 448. Let j = -136 - y. Let z = j - 62. Is z a multiple of 13?
True
Let p be 12/18 - (-74)/(-3). Is 32 a factor of (p/(-9))/((-1)/(-24))?
True
Suppose -2*z = -4*s + 78 + 14, 174 = -4*z - 2*s. Suppose 4*g - 63 - 257 = 0. Let c = z + g. Is c a multiple of 21?
False
Does 4 divide -8*(((-9)/6)/1)/3?
True
Let i(l) = l**2 - 9*l + 2. Let o be i(9). Suppose x = -o*x + 9. Suppose x*d = 6*d - 27. Does 9 divide d?
True
Let w = -100 - -313. Does 11 divide w?
False
Is 0/2 - -1 - -68 a multiple of 23?
True
Let w(i) = 3*i**2 + 4*i - 5. Let u(v) = -v + 13. Let t be u(9). Is 18 a factor of w(t)?
False
Suppose -2*w = l - 1, -2*w - 2 = 4*l - 0. Let k(v) = 6*v**3 + v**2 - v + 1. Let o be k(w). Suppose 4*a - 22 = 2*z, -2*a = 2*z - o*z + 9. Does 8 divide a?
True
Let w(i) = -2 - 3 - i**3 - i**2 + 6. Is w(-2) even?
False
Suppose 0*d - 3*d + 537 = 0. Does 12 divide d/5 + 1/5?
True
Let h be (-1*4)/2 - -1. Let k be h + 2 + 2/1. Let y(t) = t**2 + 4. Is y(k) a multiple of 5?
False
Let q = -9 + 11. Suppose 0 = -w - q*t + 34 + 27, -4*w = -3*t - 189. Is 17 a factor of w?
True
Let o be 4*-8 + (0 - -2). Is 2/1*o/(-12) a multiple of 5?
True
Let j(q) = q**2 - 2. Let t be j(2). Suppose 31 = 3*a - 5*p, -2*p - t*p + 4 = 0. Suppose 6*o = 2*o + a. Does 3 divide o?
True
Does 20 divide (-18)/(-63) - 418/(-7)?
True
Let l(u) = -u**2 + 20*u - 10. Is 19 a factor of l(17)?
False
Let u be ((-2)/6)/(1/(-6)). Suppose a - u*a = -3. Suppose -a*w = -2*x - 129, -2*x = 2*x. Is 13 a factor of w?
False
Let q(x) = 4*x**2 + 7*x - 1. Is 21 a factor of q(-5)?
False
Let o(t) = -6*t - 13. Let w be o(9). Let q = w - -111. Is q a multiple of 11?
True
Suppose -3 = -5*y + 2*c, 5*y - 5 = 4*y - 4*c. Is 11 a factor of (39/4)/(y/4)?
False
Let g(v) = 3*v - 5 + 7*v - 8*v. Let j be g(4). Is 7 a factor of (-4)/(-12) + 35/j?
False
Does 6 divide (3/2)/((-91)/(-22) - 4)?
False
Suppose -120 = -0*s - 5*s. Does 6 divide s?
True
Let g = 167 - 58. Is g a multiple of 7?
False
Let b(i) = i**3 + 5*i**2 - i - 3. Let w be b(-5). Suppose w*k + 2*k = 4. Is -2 - (27 + k)/(-1) a multiple of 13?
True
Suppose 0*x = -8*x + 104. Does 11 divide x?
False
Let f(u) = u + 5. Let g be f(-4). Is 15 a factor of (11 - g)/((-2)/(-6))?
True
Let d = 42 - -63. Is d a multiple of 21?
True
Suppose 4*i - 125 + 5 = 0. Is i a multiple of 5?
True
Let l(r) = -r**2 - 9*r - 2. Let k be l(-9). Let u = -7 + 15. Let y = k + u. Does 2 divide y?
True
Let d(q) = q**2 + 2*q - 3. Is 5 a factor of d(2)?
True
Let j be 1*(-2 - -10 - 0). Suppose -7 = -3*z + j. Suppose 1 - z = -2*f, w - 3*f = -3. Is w a multiple of 3?
True
Suppose -5*m - 2*w = -170, -6*w = 3*m - 3*w - 111. Is m a multiple of 16?
True
Let x(n) = -29*n**2 - 2*n - 1. Let l be x(-1). Let f = l + 51. Is f a multiple of 22?
False
Suppose -18 = -3*x + 27. Is x a multiple of 11?
False
Suppose -3*x - 2*x - 70 = -5*f, 0 = 4*f - 5*x - 56. Does 13 divide f?
False
Suppose 5*a - 45 = -0. Is 5 a factor of (a/4)/((-9)/(-120))?
True
Let l(z) = -z**3 + 5*z**2 + 2*z. Is 12 a factor of l(3)?
True
Let f = -26 - -49. Is f a multiple of 17?
False
Suppose -9 = -4*h - 1. Suppose -5*u + 132 - h = 0. Does 13 divide u?
True
Let w(p) = -4*p + 5. Let a(h) = h - 1. Suppose -4*o = 3*f - 4*f + 19, 4*o = 5*f - 15. Let t(r) = f*a(r) - w(r). Is 4 a factor of t(4)?
True
Let f(b) = 0*b + 0 + 4*b**2 - 3*b - 3 - b**3. Let z be f(3). Let p = z + 23. Is 10 a factor of p?
True
Let h(w) = 6*w**2 - 1. Let p be h(2). Let k = -99 + p. Let m = -50 - k. Is m