True
Let w(o) = o**2 + 1. Let d(s) = 2*s**2 + 4*s + 7. Let c(g) = -d(g) + 3*w(g). Let n be c(-3). Let x = n - 7. Is x a multiple of 4?
False
Suppose j = 43 + 25. Is 20 a factor of j?
False
Suppose -4*v + 1100 - 268 = 0. Is 13 a factor of v?
True
Is 21 a factor of (-330)/(-9) - (-2)/(-3)?
False
Suppose 5*s - 129 = 96. Does 28 divide s?
False
Suppose -3*h + 13 = 2*v, 3*h - 3*v + 10 = -2*h. Suppose 4*l + 52 = 4*u, 16 = 4*u + l - 26. Let p = u + h. Does 5 divide p?
False
Suppose t = -2*z + 119, 5*t = 10*t - 4*z - 651. Is t a multiple of 45?
False
Let g be -2*3/6*-1. Let y(x) = 16*x - 1. Is 8 a factor of y(g)?
False
Let i(o) be the first derivative of o**4/4 - 2*o**3/3 - 3*o**2 + 4*o - 1. Let p be i(4). Suppose -p = -6*n + 3*n. Is n a multiple of 3?
False
Is (-2 - -1)/((-15)/24)*85 a multiple of 17?
True
Let v = -9 + 48. Let a = v + -19. Does 20 divide a?
True
Suppose -4*u - 3*j = -33, 0 = -5*u + 3*j + 36 - 15. Let l be 42/(-18) - 4/u. Let x(k) = 2*k**2 - 2*k - 4. Is x(l) a multiple of 20?
True
Let t(v) = -18*v - 6. Let u be t(-7). Suppose -2*s + 127 = 5*g, 0 = -5*s - 3*g + 188 + u. Does 14 divide s?
False
Let x(k) = -2*k - 12. Let v be x(-8). Let c be (7 - 7)*(-2)/v. Suppose -4 = -c*q - q. Is q a multiple of 4?
True
Is ((-4)/10)/((-11)/660) a multiple of 6?
True
Let z(o) = -o**3 + 10*o**2 + 5*o - 8. Let l(i) = i**2 + 3*i - 7. Let b be l(-5). Let g(w) = w**2 - 1. Let t(n) = b*g(n) - z(n). Is 11 a factor of t(8)?
False
Suppose -4*q + 322 + 154 = 0. Does 22 divide q?
False
Suppose -2*p = -4*k, p - k + 12 = 4*k. Let j = 18 - p. Is j a multiple of 10?
True
Let z = 18 - 15. Suppose 2*n + 4*s = 3 + 3, 3*s - 18 = -z*n. Does 9 divide n?
True
Suppose 25 = -4*s - 83. Let d = s - -45. Is d a multiple of 6?
True
Suppose 10*p - 5*p = -5*o + 130, o - 2*p - 20 = 0. Suppose 0 = 5*v - 3*n - 39, 2*n + 14 = 4*v - 18. Is 13 a factor of 3*3/v*o?
False
Let u(v) = -5 + 0 + 4*v + v**2 + 3. Suppose 4*g + 5*b = -19, 2*g - 6*g = 3*b + 21. Is 10 a factor of u(g)?
True
Suppose -11 = 2*j - 4*l + l, -3*j = 5*l - 12. Is -29*(1 + j*2) a multiple of 10?
False
Suppose 3*z - 277 = 104. Suppose -3*a - 4*x = a - 148, 3*x + z = 4*a. Suppose 0*f + 2*q + a = 5*f, -3*f = 3*q - 33. Is 3 a factor of f?
False
Let r = 8 - 3. Suppose 5*u = -n - 0*n + 48, 3*n - r*u = 64. Is n a multiple of 14?
True
Suppose -v = 3*d + d, -5*d + 42 = -4*v. Is (6/v)/(2/(-48)) a multiple of 9?
True
Suppose 3*o + 25 = 214. Let q = o - 44. Does 12 divide q?
False
Let m = -3 - -6. Suppose 0 = 3*i - m*s - 0*s + 9, i + 5*s = -21. Let n = 16 - i. Does 11 divide n?
True
Let b be 2/7 - (-2)/(-7). Suppose 5*d = b, d + 30 = 3*o - d. Is o a multiple of 5?
True
Suppose -2*y + 144 - 1 = o, 4*o - 140 = -2*y. Does 6 divide y?
True
Let n(v) = -v**2 + 21*v + 20. Is 32 a factor of n(13)?
False
Let w(s) = -s**3 + 8*s**2 - 10*s + 9. Let g be w(4). Suppose 2*n = -b - 3*b + 228, 2*n + 220 = 4*b. Let t = b - g. Does 10 divide t?
False
Let v(a) = -a + 7. Let r be v(5). Let f = r - -22. Does 12 divide f?
True
Does 11 divide (24/(-16))/(2/(-84))?
False
Suppose -45 + 10 = -5*m. Is m/(-2)*96/(-8) a multiple of 13?
False
Let p = 35 + -19. Let c = p + 14. Is 15 a factor of c?
True
Let i = -54 + 76. Is 16 a factor of i?
False
Let d = -12 - -26. Is 7 a factor of d?
True
Suppose -3*g - 4*k = 0, 4*g - 7 = -3*k - 0*k. Let h(u) = 10*u - 2. Is h(g) a multiple of 19?
True
Suppose -4*s - 212 = -4*h + h, 0 = 3*h + s - 232. Does 19 divide h?
True
Is 99/3 + (2 - 6) a multiple of 11?
False
Suppose 2*k - 3*k + 36 = 0. Let l be (-2 + 5)/((-6)/52). Let i = k + l. Is i a multiple of 10?
True
Suppose 0 = -2*n - 8*z + 4*z + 24, -2*z + 30 = 2*n. Is 18 a factor of n?
True
Let k(c) = 18*c**2 + c. Let y = 3 + -4. Is k(y) a multiple of 12?
False
Suppose 3*k - 4 = 2*k. Does 13 divide 698/18 - k/(-18)?
True
Suppose -5*z + 12 = -18. Does 6 divide z?
True
Let o(l) = -11*l + 4. Let m be o(4). Let c be ((-6)/(-5))/((-4)/m). Is 16 a factor of (-280)/12*c/(-10)?
False
Suppose -2 = 2*b, 0*b - 3*b = -5*w - 437. Let s be 692/(-12) - 2/6. Let v = s - w. Does 12 divide v?
False
Suppose 12 = -2*o + 38. Let n = o + 3. Is n a multiple of 5?
False
Let m be (-1)/(2/2)*-3. Suppose -4*v = -4*w + 272 - 24, -v + 178 = m*w. Suppose -5*i + 2*y = -w, 48 = 4*i - 7*y + 2*y. Does 12 divide i?
True
Suppose 590 = -5*s + 5*z, -6 = -2*z + 4. Let v = 35 + s. Let q = -51 - v. Is 9 a factor of q?
True
Let x = -102 + 159. Is x a multiple of 13?
False
Let d = 155 - 46. Does 24 divide d?
False
Let r be ((-1)/2)/((-4)/16). Is r/(-6) + 74/6 a multiple of 6?
True
Let k(z) = -z + 12. Let f be k(9). Suppose 0 = f*y - 18 - 15. Does 7 divide y?
False
Let t(l) = 28*l**2 - 8*l - 9. Does 4 divide t(-1)?
False
Suppose 5*h = s - 27, 2*s + 2*s = -5*h - 17. Let q be s - 4/1 - 0. Does 5 divide -1 + 5*2 + q?
False
Is 47 a factor of ((-544)/(-10))/(11/55)?
False
Let s = -3 - -6. Let j = s - 3. Suppose -b + 5*m = 2*m, -4*b - 4*m + 16 = j. Is b even?
False
Let x(t) = -t**3 - 2*t**2 + t + 46. Is x(0) a multiple of 4?
False
Suppose -3*m + 0*m = -39. Let r = m + -4. Does 2 divide r?
False
Let p = -17 - -21. Does 2 divide p?
True
Let n(w) = 6*w + 3. Let c be n(3). Let u = c - 36. Let x = u - -30. Does 10 divide x?
False
Let s = 33 - -48. Is s a multiple of 6?
False
Suppose -669 = -20*a + 1011. Is 12 a factor of a?
True
Suppose 0 = -5*w + 5*b + 185, 4*w + 2*b - 234 = -68. Is w a multiple of 10?
True
Suppose -5*o + 4*x + 324 = 0, -4*o + 2*x - 7*x + 292 = 0. Is 17 a factor of o?
True
Let z = 20 - 17. Is 14 a factor of z/(-2)*(-316)/6?
False
Let j(u) be the first derivative of u**4/4 + 10*u**3/3 - 13*u**2/2 + 2*u + 9. Does 12 divide j(-11)?
True
Let f(k) = k + 1. Let t = 10 + -6. Let p be f(t). Suppose -m - 2 = -3*w - 5, -p*w = 0. Is 3 a factor of m?
True
Let g be (-1 + 5)*1/(-2). Is 5 a factor of 18 + 6/(g + 0)?
True
Let b be -36 - 3/9*0. Let n = b + 22. Is 92/28 + 4/n a multiple of 2?
False
Let s(d) = -d + 8. Let x be s(6). Suppose -24 = -x*t + t. Does 24 divide t?
True
Does 6 divide 24/14*245/14?
True
Let q(f) = -3*f**2 + 2*f. Let t be q(2). Let z = t + 0. Is 2/z - 274/(-8) a multiple of 17?
True
Let z(m) = -m**2 - m + 1. Let y(w) = w**3 - 4*w**2 + 2*w. Let j be y(3). Let f be z(j). Let l = f - -40. Does 12 divide l?
False
Suppose 205 = 4*w + w. Suppose -9 = -5*n + w. Does 5 divide n?
True
Suppose 2*z - z = 0. Suppose -4*f + f + 78 = z. Does 26 divide f?
True
Is 4 a factor of (1 + 0)/((-48)/49 - -1)?
False
Let y be (-1)/(804/(-267) + 3). Let u = y - 59. Is 15 a factor of u?
True
Let h(k) be the first derivative of -k**4/4 + 7*k**3/3 - 3*k**2/2 + 7*k + 9. Is h(5) a multiple of 21?
True
Suppose -2*c + 0 + 4 = 0. Suppose -35 = -m - 5*d, c*m - m - 5*d = -5. Does 9 divide m?
False
Suppose 3*p - 33 = 3*c, 0*p + c + 19 = 2*p. Is 8 a factor of p?
True
Suppose 5*c = -4*q + 229, -6*c + 155 = -3*c - 2*q. Suppose c = t + m, t - 4*m - 24 = -0*m. Is 11 a factor of t?
True
Let w = 733 + -510. Is w a multiple of 37?
False
Let r = 41 - -5. Suppose -2*f - 142 = -3*o, -150 - r = -4*o + f. Is 15 a factor of o?
False
Let l be 6/15 + 4/(-10). Suppose 0 = a - l + 2. Let g(t) = 3*t**2 + t - 2. Is g(a) a multiple of 8?
True
Suppose 6*c + 58 = 2*w + 3*c, 166 = 5*w + 3*c. Is 8 a factor of w?
True
Let l be 4/((-12)/9) - 1. Let k = 10 + l. Does 6 divide k?
True
Let z(d) = -d**2 - 2*d + 4. Let j be z(-4). Let w = -4 - j. Suppose w*b - 88 = -4*b. Is b a multiple of 12?
False
Let r(s) = s**3 + 7*s**2 + 4*s - 7. Does 18 divide r(-5)?
False
Let x = -242 + 377. Suppose 3*d + d = f - 52, 5*f - x = -5*d. Is f a multiple of 8?
True
Let a(r) = r + r - 3 + r + 6. Let g be a(-8). Let s = g - -29. Is s a multiple of 8?
True
Let h = 2 - 2. Suppose 2*p - 8 + h = 0. Suppose 4*z + 66 = 2*c, -5*z + p = c - 8. Is 9 a factor of c?
True
Let i(j) = j**2 + 5*j - 4. Let d be i(-6). Suppose 4*g - 2*y - 8 = 0, -3*g - 3*y + 0*y = -15. Suppose -2*q - d*q + 24 = z, 25 = z + g*q. Is z a multiple of 14?
True
Let z = 2 + 2. Suppose 5*t - 20 = -4*y + 40, 3*y + z*t - 45 = 0. Does 6 divide y?
False
Let k(o) = -6*o**2 + o - 1. Let j be k(-2). Let t = j - -45. Is 9 a factor of t?
True
Let z(b) be the third derivative of -b**8/6720 + b**7/360 - b**5/24 + b**4/12 + 2*b**2. Let d(g) be the second derivative of z(g). Is 16 a factor of d(6)?
False
Suppose -2*v + 7 + 3 = 0. Suppose -m + 3*w + w 