-d = -2*c + 33, 4*c + 112 = -4*d + 8*c. Let h(m) = m**3 + 3*m**2 - 3*m + 4. Let n be h(-4). Let i = n - d. Is 14 a factor of i?
False
Let w = 2 + 2. Is 22 a factor of 64 + 2/w*0?
False
Let l(i) = -21*i + 4. Let c be l(-4). Suppose 3*y = 5*m - 0*y + 307, 2*m + 119 = 5*y. Let x = m + c. Does 13 divide x?
True
Let b(t) = -2*t - 2. Let a be b(-5). Suppose -2*h + 2*o + a = 0, -o + 12 = 3*h + 3*o. Suppose l = -h*p - 9, 5*p + 17 + 7 = 3*l. Is 3 a factor of l?
True
Let a = 67 + -44. Is a even?
False
Suppose -3*c - 11 = -2*k + 60, -68 = -2*k + 2*c. Suppose 0 = 5*w + k - 136. Is w a multiple of 13?
False
Let t be 7 - 2*2/(-4). Let q(c) = c**3 - 8*c**2 + c - 4. Let b be q(t). Suppose 0*l - b*m + 89 = 3*l, 0 = 5*l + 5*m - 140. Is 23 a factor of l?
True
Suppose -d - 14 = -3*d. Let s(c) = -2*c - 1. Let z be s(d). Let t = z - -28. Is t a multiple of 13?
True
Suppose -3*w + 7*w - 56 = 0. Suppose -3*s = -2*m + 16, 3*s + 2*m + 6 = -2. Let h = w - s. Is h a multiple of 18?
True
Let n be 4/(-20) - (-9)/(-5). Let t = -1 - n. Suppose -q = -15 - t. Does 11 divide q?
False
Is 4/((-4)/(-3)) + 85 a multiple of 18?
False
Let i = 325 - 213. Is 13 a factor of i?
False
Suppose -4*a = -a - 9. Let s(j) = 6*j**2 - 2. Let v be s(a). Suppose 0*g + v = 2*g. Does 13 divide g?
True
Let s(l) = l**2 + l + 5. Let g be s(4). Let f = 61 - g. Does 10 divide f?
False
Suppose -2*h + 8 = -0*h. Let o be (0/(-2))/(-1 + 0). Suppose o = -h*x - 0*x + 64. Is x a multiple of 16?
True
Let t = 26 + -99. Let o = t - -131. Does 23 divide o?
False
Let k(c) = c**3 + 6*c**2 + 4*c - 3. Suppose -2*a = 0, 0 = -2*f - 2*a - a + 6. Let i = f - 7. Is 7 a factor of k(i)?
False
Let x be (-374)/(-14) - (-2)/7. Let i(u) = -u + 1. Let t be i(8). Let b = t + x. Is 11 a factor of b?
False
Let d(l) = l**3 - l**2 - 5*l - 1. Let w be d(4). Suppose v - 4*v = w. Let c = v + 17. Is 8 a factor of c?
True
Does 22 divide (-2 - 0) + 1 - -32?
False
Let x(l) = l**3 + 6*l**2 + 4*l + 4. Let w be x(-4). Suppose -5*u + 120 = 4*a + w, -3*a - 3*u = -72. Is 20 a factor of a?
True
Let u be (-4 - -6)*(-2 + -1). Let y(b) = -b - 1. Is 2 a factor of y(u)?
False
Suppose -2*w + 192 = 2*o - 5*w, -2*w = -o + 94. Suppose 3*c - o = 30. Is c a multiple of 11?
True
Suppose -4*z + 5*j + 391 = 0, -4*z + 288 = 5*j - 153. Let i(s) = s**3 + 4*s**2 + s - 3. Let b be i(-3). Suppose -b*o - 26 = -z. Is o a multiple of 13?
True
Suppose 16*f - 8*f - 1224 = 0. Does 28 divide f?
False
Suppose 0 = l - 4*x - 78, 2*x - 35 - 129 = -3*l. Does 13 divide l?
False
Let w(m) = 1. Let d(i) = 8*i - 12. Let p(k) = -d(k) - 12*w(k). Is 2 a factor of p(-1)?
True
Is 7 a factor of (0 + -1)/((-8)/56)?
True
Suppose -5*o = -5*b + 175, -2*o - 155 = -5*b - o. Is b a multiple of 6?
True
Let k be (2 + (-12)/9)*777. Suppose k = 5*h - 212. Suppose 0 = -c + 2*c - 4*d - 31, 4*c - 5*d = h. Is 13 a factor of c?
True
Suppose 4*r = 0, -2*p = 3*r + r - 28. Is 3 a factor of p?
False
Suppose 5*a - 2*k - 19 = 0, -2*a - k = 2 - 6. Is 5 a factor of 30/1*1/a?
True
Let n = -2 + 12. Let j = n + -5. Suppose 4*z = -4*m + 80, -3*z = -j*m + 3*m + 35. Does 19 divide m?
True
Let k(p) = -45*p - 59*p + 21*p - 1. Let w be k(3). Is w/15*(-3)/1 a multiple of 25?
True
Let a(d) = d**2 + 9*d + 11. Let q be a(-9). Let o = q + -3. Is 3 a factor of o?
False
Let u(c) = 2*c**2 - 5*c - 2. Let z be u(-3). Let g = -9 + z. Does 16 divide g?
False
Let s = 13 - 7. Let f(w) be the first derivative of w**2/2 + 5*w + 1. Is 11 a factor of f(s)?
True
Let a be (-6)/(16/(-20) - -1). Is 8 a factor of (a/9)/(1/(-3))?
False
Suppose -5 = -5*c - 2*d + 107, -5*c = -5*d - 140. Is c a multiple of 14?
False
Let o(q) = -q**3 - 6*q**2 - 5*q - 7. Does 24 divide o(-7)?
False
Suppose -4 - 2 = -2*d. Suppose 4*p - 5*p + 7 = -d*a, 5*p + 2*a - 1 = 0. Suppose -p = -v, -i + 6*i = -v + 71. Does 14 divide i?
True
Let o = 205 - 45. Is 15 a factor of o/4 - (2 - 1)?
False
Let w = 16 + -9. Does 3 divide (-18)/(-4) - w/14?
False
Suppose 202 = 4*k + 906. Let s be 18/4*k/(-12). Suppose 0 = -3*i + s + 102. Does 18 divide i?
False
Suppose -a = -5*j - 45, -92 = 4*a - 2*j - 290. Is a a multiple of 25?
True
Let a(w) = 26*w - w**2 + 13 - 23 - 17*w. Let x = -1 - -8. Is a(x) even?
True
Suppose 3*i - d = 25, -5*d - 35 = -i - 10*d. Does 8 divide i?
False
Is (5/3)/(323/(-81) + 4) a multiple of 45?
True
Let l(a) = a**2 + 2*a + 1. Let g be l(-1). Let h(j) = 53*j**2 + 2*j + 3. Let p be h(-1). Suppose 4*w + 3*n - p - 57 = g, -2*w + 73 = 5*n. Is w a multiple of 12?
True
Suppose -4*d + 1131 = -a - 2*a, 5*d + 3*a - 1434 = 0. Is d a multiple of 15?
True
Suppose -172 + 445 = j. Is j a multiple of 18?
False
Suppose -2*c - 3*w + 114 = -27, 4*c - 3*w = 291. Is c a multiple of 4?
True
Let t(z) = -z**2 + 10*z - 8. Let g be t(9). Suppose 0 = -4*o - 4, -2*v = 5*o - g - 2. Is v a multiple of 4?
True
Let k = 59 + -41. Is k a multiple of 9?
True
Suppose -h + 41 = -23. Is h a multiple of 15?
False
Let n = -72 + 165. Is n a multiple of 13?
False
Does 20 divide 91*1 + (-14 - -11)?
False
Let q(n) = -n**3 + 9*n**2 - 9*n - 7. Let u be q(7). Let g(m) = -u*m - 4 + 4 + 0. Is 14 a factor of g(-1)?
True
Let g be 3/4*(-8)/(-2). Let h be 732/90 - (-2)/(-15). Suppose 2*v - 94 = -5*o, -g*o + 5*v = h - 83. Does 10 divide o?
True
Let k(q) = q - 2. Let l be k(5). Let f be ((-3)/(-3) - 16)*-4. Suppose -f + 9 = -l*r. Does 14 divide r?
False
Suppose 8*c = 3*c + 150. Suppose -9*f - 64 = -10*f. Let b = f - c. Is 14 a factor of b?
False
Let u = 2 + 5. Is u a multiple of 5?
False
Is (-31)/(-93) + (-1)/(-3)*389 a multiple of 10?
True
Let y = 35 - 7. Does 14 divide y?
True
Let n(y) = -y**2 + 5*y + 3. Let l be n(8). Let f = l - -42. Is 9 a factor of f?
False
Does 7 divide (-1*49 + 3)/(-2)?
False
Let y be 2/3 + (-45)/27. Let t(z) = -6*z + 2. Is 4 a factor of t(y)?
True
Let t(k) be the first derivative of 37*k**3/3 + k - 4. Does 20 divide t(-1)?
False
Is 22*(1 - 0/(-4)) a multiple of 22?
True
Let n(o) = -o**2 + 7. Let y be n(5). Let q = y - -30. Is q a multiple of 12?
True
Let c = -341 + 491. Suppose -4*w + c = 46. Does 20 divide (w/6)/(1/6)?
False
Suppose -4*m + 18 = -5*u - 12, 2*u + 5*m = 21. Is 55/2 - (-3)/u a multiple of 11?
False
Suppose 242 = 8*d - 1006. Does 12 divide d?
True
Suppose 2*o = 9 + 51. Is o a multiple of 5?
True
Let g(b) = 2*b**3 - b**2 - 7*b. Let l(h) = -h**3 - h**2 - h - 1. Let c(y) = g(y) - 3*l(y). Is c(2) a multiple of 12?
False
Suppose -363 = -3*c - 81. Is c a multiple of 21?
False
Suppose -2*o = -5*i + 46, -6*o - 48 = -5*i - 5*o. Is 10 a factor of i?
True
Suppose 4*c - 481 = -141. Let w be 58/10 - (-9)/45. Suppose c = w*t - t. Does 12 divide t?
False
Let g = -60 + 24. Let h = 22 + g. Is 4/h - 368/(-14) a multiple of 19?
False
Let r(n) = -6*n + 1. Let j be r(-6). Suppose 7 = -5*x + j. Suppose 21 - x = p. Is p a multiple of 6?
False
Suppose -18 = 4*h - 6*h. Let o = h + 24. Is 11 a factor of o?
True
Does 22 divide (-48)/(-9)*66/4?
True
Suppose 0 = -4*u + 2*u + 2. Is 9 - (u + -2)/1 a multiple of 10?
True
Let x(b) = b**2 - b - 2. Let f be x(3). Suppose -f*u + 11 = -97. Is 14 a factor of u?
False
Let n(q) = q + 2. Let k be n(0). Let x = 31 - k. Is 13 a factor of x?
False
Let a(s) = -s**3 + 4*s**2 - 5*s + 1. Let z be a(4). Suppose 65 = -2*c - 3*c. Let g = c - z. Does 6 divide g?
True
Let c = -6 + 10. Let b(f) = -5*f**2 - 9*f - 4. Let x(y) = -4*y**2 - 8*y - 3. Let v(u) = -5*b(u) + 6*x(u). Is 6 a factor of v(c)?
True
Let b be 30/10 - (1 + -2). Suppose -b = a, -3*d + 3*a + 60 = -0*a. Let p = d + -10. Is 3 a factor of p?
True
Does 24 divide (1 + (-196)/4)/(-3 + 2)?
True
Let h(q) be the third derivative of -q**6/120 + 3*q**5/20 - q**4/6 + 2*q**3/3 - 5*q**2. Does 14 divide h(8)?
False
Let x be ((-3)/(-6))/(3/(-12)). Let u be x/7 + 32/14. Suppose -67 = -2*c + 3*w, u*c + 0*c - 63 = -w. Is 16 a factor of c?
True
Suppose 2*u = j + 5*u - 21, 0 = -5*j + 3*u + 87. Let v = -7 - j. Let o = -1 - v. Is o a multiple of 12?
True
Let c = 29 - 14. Suppose 0 = 2*j + j - c, -4*l + j + 59 = 0. Is 16 a factor of l?
True
Let r be 5/10 + (-38)/4. Does 13 divide (6/r)/((-3)/153)?
False
Let s = -10 + 6. Let f be 0 + 5 + 8/s. Suppose z - 24 = -f*z. Is z even?
True
Let y = -41 + 170. Suppose y - 327 = -2*c. Does 26 divide c?
False
Let s = -4 + 4. Suppose 0 = 4*u - 4*w - 88, s*w + 118 = 5*u - w. Is 8 a factor of u?
True
Let h = 1