18. Is 12 a factor of y?
True
Let z(y) = -y**3 - 4*y**2 + 2. Is 9 a factor of z(-5)?
True
Let s = -11 - -15. Suppose x = s*j - 3, -8*j = -3*j - 4*x - 12. Suppose -5*u + 4*c = -208, 3*u + j*c - 122 = c. Does 14 divide u?
False
Suppose -3*w = -2*w + 2. Let j be (-1)/w*(143 + 1). Let f = 102 - j. Does 13 divide f?
False
Suppose -3*d = -4*d - 1. Let g be (-3 + 6)*(0 - d). Suppose g*t - 2*m + 3*m = 50, -5*m + 10 = 0. Does 8 divide t?
True
Suppose -5*g + 35 = 2*x - x, -34 = -2*x + 2*g. Suppose -5*t + x = -7*t. Does 11 divide (7 + t)/((-6)/44)?
True
Let p(b) = b**3 + 9*b**2 - 2*b + 13. Let z be 4/(-2) + 0 + 0. Let f be -2*((-13)/z + -2). Does 9 divide p(f)?
False
Let l = -46 + 26. Let w be 2/(-10) + 156/l. Let p = 22 + w. Does 6 divide p?
False
Suppose -p + 9 + 0 = 0. Suppose 2*y - 1 = p. Suppose -5*u = -5*d - 110, y*u + 4*d + d - 140 = 0. Is u a multiple of 13?
False
Let r = 3 + -1. Suppose -4 = t, -t + 12 = -r*l + 58. Does 16 divide l?
False
Let p = -9 + 3. Suppose -5 + 13 = -4*l. Is (p - 1)/(2/l) a multiple of 7?
True
Let z(g) = 12*g**2 + 3*g - 12. Is z(-4) a multiple of 12?
True
Suppose -c + 40 = -37. Is 26 a factor of c?
False
Let s(y) = -y**3 - 3*y**2 - 2*y + 6. Is 14 a factor of s(-5)?
False
Let r(h) = 3*h**2 + 3*h + 2. Suppose -7 = 3*n - 4. Let s = -5 - n. Is 19 a factor of r(s)?
True
Does 18 divide -42*(-2 - -1) - (-20)/5?
False
Let h = -52 + 106. Does 27 divide h?
True
Suppose -33 = 5*i - 8*i. Is i even?
False
Let o(d) = -d**3 + 5*d + 5. Let a be o(-2). Suppose a*m - 4*t - 76 = 0, -5*t = -m + 5 + 2. Is m a multiple of 9?
False
Let u(i) = -i**2 - 14*i - 17. Let h be u(-12). Does 6 divide 4/(-7) + 116/h?
False
Let l(i) be the first derivative of i**3/3 - 3*i**2/2 - i + 3. Does 9 divide l(7)?
True
Suppose 2*n - n - 2 = 0. Let m(s) = 4*s**2 - 1. Does 15 divide m(n)?
True
Suppose -134 = -5*m - 49. Let p(l) = -42*l + 1. Let h be p(-1). Suppose -4*y + h = -m. Is 10 a factor of y?
False
Is 9 a factor of ((-360)/50)/((-4)/10)?
True
Let z be 2/((-15)/(-6) - 2). Let t be z/6 - (-250)/3. Suppose -t = -5*u + u. Is u a multiple of 21?
True
Let q = 13 + -9. Suppose 2*z + 2919 = 5*b, 2328 = q*b - 6*z + 2*z. Is 9 a factor of (-4)/14 - b/(-63)?
True
Let n = 128 + -103. Is 10 a factor of n?
False
Let q(c) = c - 4. Let v be q(3). Let l = v + 2. Is 10 a factor of (-6)/(13/(-10) + l)?
True
Let b(n) = -n**2 + 4 - n + 5 + 2*n**2 + 2. Is 18 a factor of b(8)?
False
Let o be 50/(-4)*16/(-10). Suppose 2*y - o = 64. Is y a multiple of 21?
True
Let k = 200 - 108. Is 23 a factor of k?
True
Suppose 4*j - w - 2*w = 8, -2*j - 4*w + 26 = 0. Suppose j*u - 229 = 1. Suppose 4*i + 30 = 6*i + 5*c, 2*i = 3*c + u. Is 10 a factor of i?
True
Let m = -67 - -38. Let a = 3 - m. Is a a multiple of 16?
True
Does 11 divide -3 + (5 - 5) - -125*1?
False
Let y(r) = -10*r + 1. Is y(-2) a multiple of 4?
False
Does 8 divide 8/(-3)*2328/(-32)?
False
Let k be -1*(-1)/(-1)*6. Let s be (-26)/(-6) + 2/k. Suppose s*z - 24 = -0*z. Is 6 a factor of z?
True
Let i(h) = -h**3 + 6*h**2 - 4*h - 3. Let q be i(5). Suppose -q*u + 43 = -45. Is u a multiple of 18?
False
Let v(w) be the third derivative of w**4/4 + w**3/2 + 2*w**2. Let q be v(7). Is 16 a factor of q + 3 - (0 - -1)?
False
Let f(h) = h**3 + 6*h**2 - h + 3. Let p be f(-6). Let s(v) = -v**3 + 10*v**2 - 8*v + 5. Is 14 a factor of s(p)?
True
Let t be 0/((8/(-2))/4). Is 26 + (t - 2/(-2)) a multiple of 9?
True
Let p = 89 - 34. Is p a multiple of 11?
True
Suppose 29*w - 35*w = -408. Does 10 divide w?
False
Let y = -16 - -32. Does 4 divide y?
True
Let w(j) = -j**2 + 16*j - 6. Is 3 a factor of w(15)?
True
Suppose 7 + 13 = 5*a. Is ((-2)/a)/((-4)/96) a multiple of 6?
True
Let x(t) = t + 23. Is 7 a factor of x(19)?
True
Suppose 0 = 7*p - 2*p - 20. Suppose -v = 1 - p. Suppose 66 = v*y - 0*y. Is y a multiple of 10?
False
Let r = 220 + -132. Does 23 divide r?
False
Suppose -4*a - 16 = 4*f, a - 3*a - 5 = 5*f. Let x = f - -6. Is x a multiple of 7?
True
Suppose -82 - 314 = -2*o + 5*u, -o - 5*u + 228 = 0. Is o a multiple of 13?
True
Let q = -16 - -11. Let b = q - -2. Is 6 a factor of (4/(-5))/(b/30)?
False
Let n(k) = k**2 - 11*k + 14. Let s be n(11). Let p = 40 - s. Does 11 divide p?
False
Let p(z) = -3*z**2 - 14. Let m(s) = -s**2 - 5. Let t(n) = -17*m(n) + 6*p(n). Let h(x) = 3*x**2 - x - 2. Let u(r) = 2*h(r) + 5*t(r). Is u(5) a multiple of 16?
True
Let a be 26/(-6) + 2/(-3). Let s(c) = c**2 + 5*c + 2. Let y be s(a). Suppose -65 = y*x - 7*x. Is x a multiple of 13?
True
Let x = -22 + 86. Is x a multiple of 16?
True
Suppose 2*w = -3 + 13. Is 2 a factor of w?
False
Suppose 5*m + 20 = 0, 5*m = -4*h + 207 - 15. Is h a multiple of 25?
False
Let c be (4 + -3)*(0 - 0). Suppose 0*f + 4*f = 4*a + 20, -3*f - 2*a = c. Suppose -3*l + 0*l = h - 16, -3*h + 70 = -f*l. Is 13 a factor of h?
False
Let w be 2/6*3*1. Let t(c) = 3*c + 0 + w + 0*c. Does 12 divide t(7)?
False
Suppose -164 = -8*d + 196. Does 9 divide d?
True
Let o(s) = s**2 + 1. Let x = 4 - 4. Let i = -1 - x. Is o(i) even?
True
Does 8 divide (-6)/(-4)*256/24?
True
Suppose 239 = -5*u + 569. Suppose 14 - u = -4*w. Let k = 22 - w. Does 3 divide k?
True
Suppose 2 = -2*u + 4*j, 4*u - 24 = j - 0. Let g(s) = -s**2 + 5*s - 6. Let w be g(u). Does 4 divide w/(-2) + 2*-1?
True
Let i = 595 + -411. Does 16 divide i?
False
Let v(t) = -t + 6. Let g be v(6). Suppose f + 1 = -g. Does 8 divide (-2)/1 - f*10?
True
Suppose -2*w = -3*b + 188, 4*b + 4*w = 237 - 13. Suppose -5*i = -2*i - b. Is i a multiple of 10?
True
Suppose 5*a + 1 = 16. Suppose -t - 44 = -a*t. Is t a multiple of 11?
True
Let g(o) = 3*o + 3*o + 9*o - 4. Let l be g(4). Suppose -44 = -5*n + l. Does 13 divide n?
False
Let y = 14 + 44. Is 3 a factor of y?
False
Suppose -7*z = -2*z - 560. Is 16 a factor of z?
True
Let x(p) = -p**3 + 13*p**2 + 22. Is 6 a factor of x(13)?
False
Let f(v) = 2*v - 4. Let d be f(2). Suppose d = 2*g - g + 5, 5*g + 36 = b. Is 9 a factor of b?
False
Suppose 0 = k + 2, 0 = 3*o + 2*o + 4*k - 252. Does 7 divide o/8 - 3/(-6)?
True
Let l = 11 + -11. Suppose l = -4*p - p + 115. Is p a multiple of 16?
False
Suppose 2*y = -2*j + j + 17, -4*j + y + 23 = 0. Does 29 divide j/((-28)/30)*-14?
False
Let h(b) = 122*b**2 + 3*b + 2. Does 29 divide h(-1)?
False
Let x(h) = -1 + 3 - 20*h + 1. Is 12 a factor of x(-2)?
False
Let z(b) = b**3 - 6*b**2 - 9*b + 16. Let a be z(7). Suppose 3*x + 5*c - 2*c + 3 = 0, 4*x - 6 = -2*c. Suppose -2*t - a*d = -10, -x*d = -4*t + 3 + 1. Is t even?
False
Suppose -2*x + 138 = -5*j, 5*j = -x + 10*j + 79. Is 15 a factor of x?
False
Let w be -2*-33*1*-1. Let n = 117 + w. Is n a multiple of 12?
False
Let s = -4 - 37. Let w = s - -69. Is 13 a factor of w?
False
Let t be 1194/((-12)/8 + 3). Is (-1)/(-5) + t/20 a multiple of 10?
True
Let a(d) = 15*d - 7. Let i(h) = -1. Suppose 0 = -4*n - 0*n + 24. Let v(o) = n*i(o) - a(o). Is 8 a factor of v(-1)?
True
Let g = -2 + 5. Suppose 0 = g*s - 15, 4*z - 3*s - 2 = -s. Suppose -112 + 10 = -z*o. Is 14 a factor of o?
False
Suppose 0 = -3*o + t + 113, -2*o + 193 = 3*o - 4*t. Suppose 13 - o = -3*s. Suppose 0 = 3*p - s*p + 110. Does 15 divide p?
False
Suppose -11 = -2*n - 3. Suppose 0 = -3*b + u + 8, -2*b - 12 = -b - n*u. Suppose b*w = -4*z + 60, -3*z + 34 = 2*w - 0*z. Does 11 divide w?
True
Let c = -5 - -7. Suppose 2*q = 3*n - c, -q + 1 = 5*n + 2. Is q*55*(-2)/5 a multiple of 11?
True
Suppose -p - 3 = -3*l + 2, -5*p = 2*l - 9. Suppose -l*x - x = 0. Suppose x = -o + 3*h + 12, h + h + 6 = 0. Is o even?
False
Suppose -2*h + f = -51, 2*f - 9 = -f. Is 15 a factor of h?
False
Let s(q) = 7*q - 3. Let v(w) = w - 5. Let c be v(5). Suppose 3*p - 5*j = p - 19, 5*p + j - 20 = c. Is s(p) a multiple of 9?
True
Suppose -2*r - 5*j + 22 - 8 = 0, -r - 4 = -3*j. Let h be -4 - -2 - (-1 - 17). Suppose -r = -q + h. Does 9 divide q?
True
Let q = -118 + 219. Does 31 divide q?
False
Let t be (3/9)/(1/12). Suppose t*w + w - 5 = 0. Suppose f = w + 7. Is f a multiple of 5?
False
Suppose -5*f + 5*t = -30, 3*f + 2*f + 5*t = 0. Suppose -3*p + g + g + 10 = 0, -f*p + 5*g = 2. Does 3 divide p?
True
Let h(a) = 2*a**2 - 8*a + 4. Let v(r) = -r**3 + 4*r**2 + 5. Let n be v(4). Is h(n) a multiple of 7?
True
Suppose 0*u + 1176 = 8*u. Is u a multiple of 21?
True
Let u = 102 + -48. Does 21 divide u?
False
Suppose 16 = -c + 106. Does 11 divide c?
False
Suppose