oes 12 divide w?
True
Let i(x) = -x**2 - 4*x. Let w be i(-4). Suppose 3*h - 3 - 15 = w. Is 3 a factor of h?
True
Let q(i) = 2*i**2 - i - 1. Let a(b) = -b + 8. Let h be a(9). Let z be q(h). Suppose 0*u = 5*u + 15, z*n + 5*u = 1. Is n a multiple of 6?
False
Let p = 161 + -36. Is p a multiple of 14?
False
Suppose -13 + 7 = -3*l. Suppose -l*v + 35 = 5*b, 0*v + 2*v - 4*b = 80. Is 11 a factor of v?
False
Suppose a + 16 = 3*c, 3*c - 6*c = -2*a - 17. Suppose 0*x + 82 = c*n - x, -n - 5*x + 6 = 0. Is 16 a factor of n?
True
Let y(p) = p**2 - 2*p + 31. Let w be y(0). Suppose -2*d = 3*d + 3*b - w, -5*d = 4*b - 33. Is d even?
False
Let b = -5 + 2. Is 2 a factor of (1 - 0)*9 + b?
True
Let f(j) = 2*j**2 - 7*j - 1. Let b be f(5). Let u = b + -23. Is (-2)/3 + (-60)/u a multiple of 6?
True
Suppose 94 = 4*f - 42. Is 2 a factor of f?
True
Let u(c) = -2*c**2 - c + 80. Is u(0) a multiple of 11?
False
Let d = -20 - -50. Is 15 a factor of d?
True
Suppose 39 = g + c, 4*g + 5*c = 3*c + 164. Is g a multiple of 12?
False
Let y(a) = 13*a + 5. Let r(t) = 3*t + 1. Let j(l) = 9*r(l) - 2*y(l). Is 4 a factor of j(5)?
True
Let o be (-7376)/(-56) + (-6)/(-21). Suppose 9*m - o = 5*m. Is 11 a factor of m?
True
Suppose 0 = -0*v - 3*v. Suppose 2*a - 26 - 12 = v. Is a a multiple of 13?
False
Let b be 3 - 2 - (2 - (-2 - -3)). Suppose 2*h - 224 = -2*h. Suppose -a + h = -b*a. Does 15 divide a?
False
Let i(p) = -p - 1. Let r be i(-4). Suppose -r*o - 10 = -8*o. Does 4 divide 1/(-2)*o*-4?
True
Let d be (-63)/5 - 3/(-5). Let b = -24 - d. Let g = b + 21. Does 8 divide g?
False
Let d = -4 - -6. Let b(l) = -10 + 5*l**2 - l - 5*l - l**3 + 4*l**d. Is 6 a factor of b(8)?
True
Suppose -4*s + 2 - 18 = 0. Let i be (s - -8) + 2/(-1). Suppose 45 = i*t + t. Does 15 divide t?
True
Let b be (-1)/4 + 26/8. Suppose -b*m + 10 = 2*m. Suppose 0 = -m*f + 7*f - 70. Is 7 a factor of f?
True
Let g(v) = v**3 + 6*v**2 - v + 5. Let z be g(-6). Let i = -6 + z. Suppose -i*d + 0 = -70. Is 9 a factor of d?
False
Suppose 5*v + 3*m = 219 + 263, 4*v - m - 372 = 0. Suppose 0 = 5*w - 156 - v. Does 16 divide w?
False
Let t(w) = -6*w - 1. Let l be t(-1). Let d be -1 - (2/(-2) + -4). Suppose 31 = d*p - l. Is p a multiple of 9?
True
Let p = 114 + -68. Is p a multiple of 7?
False
Suppose 16 = -0*y + 4*y. Suppose 2*n - 2*f = 10, 36 + 11 = y*n + 5*f. Let u = -5 + n. Is u a multiple of 2?
False
Suppose 0 = -4*x - 4*t + 104 + 432, x - 2*t - 134 = 0. Is x a multiple of 20?
False
Suppose -2*b - 5*u + 7 = 0, 3*u = 3*b - 4*b + 1. Suppose b = 3*k - 2*k. Is 13 a factor of k?
False
Suppose 5*r - 2*x + 6*x - 113 = 0, 3*x = -3*r + 66. Is 4 a factor of r?
False
Suppose 34 - 124 = -5*z. Let n = z + -12. Suppose -9*d + n*d + 18 = 0. Is 6 a factor of d?
True
Let a = -28 + 131. Is 31 a factor of a?
False
Suppose 49 = -7*d + 329. Is 40 a factor of d?
True
Is 14 a factor of 39 - (0 + -1 - 2)?
True
Let p be -2 - (-2)/2*-2. Let w be (p - (-1 + 0)) + 3. Suppose w = -4*c - c + 115. Is 9 a factor of c?
False
Let n(f) = 6*f**2 + f - 1. Let a be n(-2). Suppose 0 = -5*i + 1 - a. Is (-128)/(-22) - i/22 a multiple of 3?
True
Suppose 0 = 5*u - 0*u + 4*l - 585, 2*u + 4*l = 222. Is u a multiple of 6?
False
Let d(o) = -52*o**2 + 2*o. Let r(c) = 78*c**2 - 3*c. Let g(n) = -8*d(n) - 5*r(n). Does 9 divide g(1)?
False
Let a be (-3)/12 + (-42)/(-8). Suppose -4*d + 229 = a*s, -58 - 142 = -4*s + d. Is 12 a factor of s?
False
Let a = 2 - -15. Let n = 31 - a. Does 14 divide n?
True
Let q = -3 + 4. Let g be 6/(2 - 0) - q. Suppose -68 = -3*b - 0*h - 4*h, 0 = 2*b - g*h - 22. Does 8 divide b?
True
Let z = 3 + -8. Let j = -3 - z. Let p = 12 + j. Is p a multiple of 14?
True
Suppose 0*w = -4*s + 2*w + 14, 3*s + 12 = -3*w. Is s*83 + -4 + 2 a multiple of 26?
False
Suppose 0 = -5*o + g + 237, o - 3*g - 4 = 49. Is 13 a factor of o?
False
Suppose 6*k - 47 = 493. Is 18 a factor of k?
True
Is 6 a factor of (62/4)/(((-36)/8)/(-9))?
False
Suppose -10*z + 5*z = -165. Is 18 a factor of z?
False
Suppose -4*i - 108 = -i. Suppose 4*x = 2 + 2. Does 10 divide (i/(-30))/(x/10)?
False
Let c = 35 - 13. Suppose -c = -x - 1. Is x a multiple of 7?
True
Let l(t) = t**2 - 11*t - 17. Let q be l(13). Let n(r) = 5*r**2 + 1. Let b be n(-1). Does 6 divide q + (-3 + b - 0)?
True
Let k(n) = -2*n**2 + 9*n - 6. Let u be k(4). Is 12 a factor of u/4 + (-402)/(-12)?
False
Let t(l) = -l**3 + 5*l**2 - 5*l + 2. Let z be t(4). Is 17 a factor of 260/6 + z/(-3)?
False
Let q = 7 - 2. Suppose -2*c - 94 = -q*j, -j - 46 = -3*j + 5*c. Is 9 a factor of j?
True
Suppose b - 2*d - 28 = 0, 5*b + 55 = 3*d + 216. Is b a multiple of 9?
False
Let a(i) = i**3 + 6*i**2 + i + 1. Suppose 5*j + 2 - 10 = 4*s, 0 = -3*j + 4*s. Suppose -2*n - 2 = 2*o, -j*n + 2*n + 13 = -3*o. Is a(o) a multiple of 7?
False
Suppose 10 = -3*t - 5*i, -5*t - 6*i + 3*i = 22. Is 13 a factor of 43*(-3 - (1 + t))?
False
Let c(j) = j**2 + 10*j - 9. Let n be c(-11). Suppose 3*v - 88 = n. Is v a multiple of 9?
False
Let i(f) = 0 + 2 - 1 - 82*f**3 - 5*f**2 + 3*f**2. Let k be i(-1). Let x = k - 54. Does 7 divide x?
False
Suppose -4*m - 54 = -342. Is 12 a factor of m?
True
Does 14 divide 4/((-1)/7*-2)?
True
Suppose -2*z + 5*k + 2 = z, 26 = 5*z + 3*k. Does 4 divide z?
True
Let m(j) be the first derivative of j**3/3 - 3*j**2/2 - 3*j - 1. Let y = 2 + -4. Does 7 divide m(y)?
True
Let z(j) = 2*j**2 + 6*j + 5. Let p be z(-4). Suppose -5*y - p = v, 2*v + 2*v = -y + 43. Is v a multiple of 9?
False
Let c(j) = 25*j - 5. Let v(n) = -5*n + 1. Let u(f) = 4*c(f) + 22*v(f). Does 11 divide u(-4)?
False
Suppose 64 = -2*f + 4*f - 4*v, 8 = -2*v. Does 3 divide f?
True
Suppose -6 = 2*m + 32. Let g = 3 + m. Let p = 38 + g. Does 11 divide p?
True
Is 2 + 183 + 8/2 a multiple of 42?
False
Suppose 10*u - 546 = -16. Is 28 a factor of u?
False
Let x(a) = -15*a**2 - 6*a + 17. Let h(j) = 5*j**2 + 2*j - 6. Let l(n) = -11*h(n) - 4*x(n). Is l(2) a multiple of 11?
True
Let g be 0/(2/1 - 1). Let p be 3/(3 + 0)*-1. Does 24 divide (g - p) + -1 + 24?
True
Let j be -3 + (-1)/(-1) - -3. Is 13 a factor of (3 - j) + 30 + -1?
False
Let m be 2*(-3)/((-6)/5). Suppose 0 = m*d + j - 35, 0*j + 1 = d - j. Is d a multiple of 6?
True
Let n = 9 - 1. Does 4 divide n?
True
Let s(q) be the second derivative of 4*q + 7/6*q**3 + 0 - 3/2*q**2. Is s(4) a multiple of 9?
False
Suppose 114 = -2*m + 3*m. Does 39 divide m?
False
Is 6/(-21) + 2 + 5540/35 a multiple of 10?
True
Let z(f) = 2*f**2 + 2*f - 1. Let o be z(-2). Let u(a) = 2*a**3 + o*a**3 + 7*a**2 + 4*a - 4*a**3 + 4 + a. Is u(-3) a multiple of 9?
False
Let o be (3 + -4)/(1/(-33)). Suppose -3*g - o = -6*g. Is g a multiple of 5?
False
Let z = 87 + -30. Suppose y - 25 - 1 = 0. Let b = z - y. Is b a multiple of 15?
False
Let k(x) = -3 + x**3 + 8 + 11*x**2 + 7 + 0*x**3 + x. Let u be k(-11). Suppose -16 = -d - u. Does 15 divide d?
True
Let p be 1/5 + 9/5. Let u be (-2)/(-10) + 121/(-55). Is 6 a factor of p + -15*u/3?
True
Let q be (-1)/4 - 249/12. Let x = q - -11. Does 10 divide x/((-2)/(1 - -1))?
True
Let x = 3 + 47. Is x a multiple of 10?
True
Let o(b) = -b**3 + 9*b**2 - 8*b + 15. Is 11 a factor of o(5)?
False
Suppose 0 = 5*i - 8 - 2. Suppose -k = -5*d - 0*d - 146, i*d = -5*k - 80. Let w = 48 + d. Is 9 a factor of w?
True
Let f(g) = g**3 - 11*g**2 - 2*g - 31. Is 14 a factor of f(12)?
False
Suppose 0 = -3*y + 1 + 8. Suppose 2*u - y*s = 25, -5*s + 2 = 3*u + 12. Suppose -5*q - 44 = -0*b - 3*b, -u*b = -2*q - 48. Does 3 divide b?
False
Does 35 divide 1 + -2 + 2 + 69?
True
Let a = 2 - -3. Suppose -276 = -2*r - 0*r. Suppose -t = -0*s + s - 33, -4*s = -a*t + r. Is 19 a factor of t?
False
Let x be (15/(-6))/(1/(-2)). Suppose -19 = x*i + 5*k - 54, -4*i - 5*k + 33 = 0. Suppose 2*s = -i + 66. Is 13 a factor of s?
False
Let x(f) = -f**2 + 5*f - 4. Let a be x(3). Suppose 87 = 5*d - a*d. Is 23 a factor of d?
False
Let c(l) be the first derivative of -33*l**2/2 - 2*l + 1. Let z be c(-2). Does 6 divide 2/(-5) - z/(-10)?
True
Let m = -45 - -81. Does 22 divide m?
False
Let z(b) = -b**2 - 6*b - 1. Let r be z(-6). Let j = r - -1. Suppose -3*m = -j*m - 126. Does 21 divide m?
True
Suppose -7 - 41 = 4*v. Let n = 2 - v. Does 6 divide n?
False
Let l = -38 + 53. Suppose 8*w = 3*w + l. Does 3 divide w?
True
Let d = 10 - 5. Suppose d*i = 2*a + 2 - 11, -a = -3*i - 5. Is a even?
True
Suppose 3*p - 5*b = -3676 