**2 + 9*y + 13. Is 15 a factor of w(14)?
False
Is 6 a factor of 1/5 + (-1490)/(-50)?
True
Let c(l) be the second derivative of 2*l**3/3 - l**2 + l. Let b be c(3). Suppose 2*i - 85 = -5*o, b = 4*o + 3*i - 58. Is o a multiple of 8?
False
Let a be (0 + 1)/((-3)/(-66)). Suppose 0*y + 2*y = j + 64, -a = -y + 3*j. Does 15 divide y/(-5)*5/(-1)?
False
Suppose 20 = u - 4*d, u + 2 - 21 = 5*d. Suppose 3*j = -0 + u. Suppose -2*z = 5*l - 90, -4*z - 156 = -j*z + 2*l. Is z a multiple of 14?
False
Let b = 4 - -2. Suppose s - b = -0*s. Is s a multiple of 3?
True
Let g = 16 - 9. Does 4 divide g?
False
Suppose -2*q + 3*j + 8 = 6*j, 0 = -q + 3*j - 5. Let r = q + -1. Suppose 5*f + r = 2*x + 128, 4*f - 100 = x. Is 14 a factor of f?
False
Is 18 a factor of -2*(-2)/(-2) - -110?
True
Let z be (0 - -1) + (0 - 15). Suppose 4*f - 9*f + 2*y = 125, -5*y = 2*f + 21. Let j = z - f. Does 8 divide j?
False
Suppose 12 = -4*l - 172. Let f = l - -81. Is f a multiple of 12?
False
Is (8/(-24))/((-1)/171) a multiple of 15?
False
Suppose -4*g = g. Suppose g = 6*c - 3*c - i - 59, -c + 19 = -i. Is 13 a factor of c?
False
Let v be 3 - (4 + -1 + -3). Suppose -m + 8 = z, 0 = -4*m + v*z - 22 + 68. Does 10 divide m?
True
Suppose 55 - 171 = -2*i. Does 20 divide i?
False
Let n be 12870/75 + (-4)/(-10). Does 25 divide 10/(n/(-60) + 3)?
True
Suppose b - 4*t = 134, 0 = 2*b - b - 3*t - 135. Suppose r - 3*r + b = 0. Is r a multiple of 15?
False
Suppose 0 = 2*g - 105 + 27. Is 5 a factor of g?
False
Let d(i) = i**3 - 4*i**2 - 4*i. Let n(v) = 10*v**2 - v - 1. Let a be n(-1). Let j be (a/(-8))/((-1)/4). Is d(j) a multiple of 5?
True
Suppose 289 = 3*k - x, -7*k + 470 = -2*k - 4*x. Does 14 divide k?
True
Suppose 2 + 13 = 3*c. Suppose c = -4*i - x, 2*x + 5 = 3*i - 5. Suppose -4*w + w + 78 = i. Is w a multiple of 13?
True
Let c = -35 - -42. Is c a multiple of 7?
True
Is (-3 + 6/30)/((-2)/5) a multiple of 2?
False
Let f = 11 - 8. Is 9 a factor of 16*1 + f/1?
False
Let f be (-38)/9 + 4/18. Let g be f/22 - (-339)/(-11). Let v = -17 - g. Does 7 divide v?
True
Suppose -4*z + z + 912 = 0. Does 19 divide z?
True
Let p = 10 - 5. Suppose -z + 13 + 3 = 3*w, z = p*w + 8. Is 6 a factor of z?
False
Let v = -30 + -1. Does 16 divide (2 - 3)*1*v?
False
Let l = 11 + -7. Suppose -6*p - l*y = -2*p - 284, -5*p + 5*y = -325. Does 34 divide p?
True
Suppose -n + 4*n - 9 = 0. Suppose -5*a = -2*h - n*a + 50, 5*h - a = 121. Does 12 divide h?
True
Suppose -k - 4 = -1. Is 3 a factor of 4/(k/((-42)/4))?
False
Let j = 11 - 7. Let v be (j/2)/(-4)*0. Is 4 a factor of -2*(-6)/3 + v?
True
Suppose 3*k - 32 + 8 = 0. Suppose -13 = -j + 2*o, -2*j - 1 = 3*o + k. Suppose -2*q - 6 = 0, -j*q + 66 = 7*t - 2*t. Is t a multiple of 13?
False
Suppose -13*y + 826 = -3464. Is 55 a factor of y?
True
Let b(a) = a**3 - 13*a**2 + 13*a - 9. Let s be b(12). Let y = 10 - s. Is y even?
False
Let c(s) = 2*s**2 + 13*s + 10. Let w(j) = j**2 + 7*j + 5. Let g(n) = 2*c(n) - 5*w(n). Let i be g(-8). Suppose 24 = -2*v + i*v. Is v a multiple of 13?
False
Let a(o) = -o**3 - 4*o**2 + 3*o + 9. Let s be a(-7). Suppose -4*n = n - s. Let i = n - 11. Is i a multiple of 5?
False
Let u = 425 + -253. Is 6 a factor of u?
False
Suppose -681 - 661 = -11*h. Is 14 a factor of h?
False
Suppose 12 - 4 = 4*c. Suppose 3*t + c*r = 7*r + 19, 2*t + r - 17 = 0. Does 4 divide t?
True
Let n = -25 - -18. Let u = n - -7. Let p = 14 + u. Does 14 divide p?
True
Is 3/1 - (-9)/3 a multiple of 2?
True
Suppose -u - 3 = 1. Is 7 a factor of (-2)/u + 405/18?
False
Let a(s) = s**2 - 7*s - 4. Let z be a(8). Suppose u + z*u + 155 = 5*x, 4*u = -2*x + 44. Is 14 a factor of x?
True
Suppose 6*s = 5*y + s - 200, 0 = -y - 5*s + 28. Let w = y - 12. Is w a multiple of 13?
True
Let z(f) = 17*f**3 + 4*f - 4. Let w(r) = 154*r**3 + 35*r - 35. Let u(g) = -4*w(g) + 35*z(g). Let t = 72 - 73. Is u(t) a multiple of 18?
False
Let z(h) = 2*h**2 - 2*h - 10. Does 7 divide z(6)?
False
Suppose -2*p - 73 - 249 = -3*f, 3*p + 119 = f. Does 31 divide f?
False
Let n = 10 + -10. Let y = 18 + n. Is y a multiple of 6?
True
Suppose 4*u - 5*u - 77 = -4*k, 41 = 2*k - u. Is 9 a factor of k?
True
Suppose r = 6*r. Suppose 0 = -4*z + 3*u + 35, -3*u + 42 = 3*z - r*u. Is (-2)/(-11) - (-97)/z a multiple of 9?
True
Let i = 60 + 129. Is 30 a factor of i?
False
Let o = 4 - 1. Let l(f) = f**3 - 2*f**2 + 4. Is 9 a factor of l(o)?
False
Let h(d) be the second derivative of d**4/12 - 7*d**3/6 - 2*d. Let i be h(6). Let f = 11 + i. Is f a multiple of 3?
False
Suppose 2*s + 3*s - 55 = 5*y, -4*y - 28 = -2*s. Is s a multiple of 8?
True
Let c = 20 + 30. Let z be -4 + (8 - 1) + -2. Is c + (-2)/2*z a multiple of 21?
False
Let h be ((-18)/(-4))/((-9)/12). Let p = h + 10. Suppose 3*o + 3*f - 57 = 0, 3*o - 49 = -p*f + 5*f. Does 6 divide o?
False
Let q = -41 + 63. Let r be q/4 + (-1)/(-2). Suppose r*j + 8 = 2*w + 3*j, -w + 4 = 4*j. Is 2 a factor of w?
True
Let s = 200 + -80. Does 8 divide s?
True
Suppose -t + 3*x - 1158 = 0, -3*x = -2*t + 4*t + 2298. Does 7 divide t/(-60) + 1/(-5)?
False
Let k = 254 - 98. Is k a multiple of 22?
False
Suppose 0 = 2*w + 3*t - 71, 0 = -2*t + 4*t - 2. Does 10 divide w?
False
Let m = 0 - -3. Suppose -m*h = -h. Suppose 4*s - 123 = -5*f, -36 = -s - h*s + 4*f. Is s a multiple of 16?
True
Let d(c) = 4*c. Let p be d(-2). Let i(a) = a**3 + 9*a**2 + 3*a - 3. Let j be i(p). Suppose -5*l = j - 117. Does 11 divide l?
False
Let y(i) = i**2 - i**3 - 5*i + 0*i + 2*i**3 + 4. Let v be y(3). Let m = v + -18. Is m a multiple of 5?
False
Suppose 4*u = 3*u + 120. Does 30 divide u?
True
Suppose -9 = -2*d - 3. Suppose -q + 37 = 2*f + 2*q, d*q = 5*f - 124. Suppose 7 = -n + f. Is 16 a factor of n?
True
Let f be 8 + -3 + 2 + -1. Let n(p) = f + 0*p**2 + p - 13*p - p**2. Is n(-7) a multiple of 15?
False
Let b(o) = -2*o**3 - o**2 - 11. Is 6 a factor of b(-4)?
False
Let h(d) = d - 9. Let z be h(9). Does 11 divide (z - 17)/(2 + -3)?
False
Suppose 5*w = 502 + 43. Suppose -3*b + w = 31. Is b a multiple of 13?
True
Suppose -4*v - 4*m = -3*v + 12, 5*v + 2*m = 12. Does 4 divide v?
True
Suppose -z = z - 86. Is 9 a factor of z?
False
Let f = -19 + -8. Suppose 2*c - c + 3*w = 60, -5*w = 5*c - 280. Let h = f + c. Is 13 a factor of h?
False
Suppose 0 = 9*b - 7*b - 216. Is 6 a factor of b?
True
Let i be (-14508)/(-126) + 2/(-14). Let r(k) = k**3 - 5*k**2 + 4*k + 4. Let j be r(4). Suppose -363 + i = -j*y. Is y a multiple of 23?
False
Let o be 60/(-5)*(-7)/4. Suppose 0 = -5*w - n + o, 4*w = -0*w + 5*n + 40. Does 3 divide w - 0/(0 - 1)?
False
Suppose -4*j + 0*j + 128 = 0. Suppose -h = 3*h + 4*v - j, -h - 5*v + 28 = 0. Suppose 3*b - 2*b = h*x - 45, 5*b - 95 = -5*x. Is x a multiple of 7?
False
Let l(c) = -14*c - 3. Let y(q) = -5*q - 1. Let o(v) = -4*l(v) + 11*y(v). Does 6 divide o(8)?
False
Is 6 a factor of (-282)/2*10/(-30)?
False
Suppose 91*v - 90*v - 11 = 0. Does 2 divide v?
False
Let a(k) = k**3 + k**2 + k + 5. Let h(o) = o**3 - 8*o**2 + 8*o - 2. Let v be h(7). Suppose 5*z + f - 1 = 1, -2*z + v*f - 10 = 0. Does 5 divide a(z)?
True
Suppose 0 = -5*y + 713 + 402. Suppose 78 = -5*o + y. Is o + 1 + 1 + 0 a multiple of 14?
False
Let q = -18 + 30. Is q a multiple of 8?
False
Is 21 a factor of 1220/16 + 9/12?
False
Let w(n) = n**2 + 0 - 1 - 2*n + n. Let u be w(-5). Suppose 0 = -2*c + 31 + u. Is 12 a factor of c?
False
Does 12 divide (-5)/(-10)*406 + 1?
True
Suppose x + x - 2 = -2*p, 0 = -5*x + 5*p - 45. Let u = x + 12. Does 4 divide u?
True
Suppose -r + 57 = -67. Is 31 a factor of r?
True
Let k be (-4)/6 - (-290)/(-6). Let g = -12 - k. Suppose -5*u = 3*y - 17 - g, 0 = -y + u + 18. Is 18 a factor of y?
True
Let w be ((-22)/(-3))/((-14)/(-63)). Suppose 2*h = -p + w, 2*p - 132 = -p + 5*h. Is 12 a factor of p?
False
Let n be 1/1 - (1 - 5). Let b = n - -5. Is 5 a factor of b?
True
Let y(w) = 2*w**2 - 5*w + 10. Let o be y(8). Suppose 0 = -4*q + o + 6. Is q a multiple of 14?
False
Let v = -12 + 21. Suppose -3*j + 0*j = -v. Suppose -j*y = -41 - 28. Is y a multiple of 23?
True
Suppose -4*w + 12 + 4 = 0. Let q = -29 + 41. Suppose -w = g - q. Does 4 divide g?
True
Suppose 4*r - 99 = 37. Does 9 divide r?
False
Let h be 1/3 - (-7)/(-21). Let u be (12 + -3 - h)*-1. Let n(k) = -k + 1. Does 10 divide n(u)?
True
Let b be (-8)/(-1) + -3 + -4. Let f = 6 - b. Is f a multiple of 2?
False
Let o be 36/10*