*b**2 - 4*b - 4. Let h be t(6). Let s = -54 - -28. Let n = h - s. Is n a multiple of 15?
False
Let q = -455 - -560. Is q a multiple of 21?
True
Let v(o) = -o**3 + 18*o**2 - 14*o - 39. Is 25 a factor of v(12)?
False
Let z = 31 + -30. Is 31/z + (2 - 4 - -1) a multiple of 6?
True
Is 1 + 2/((-16)/(-264)) a multiple of 16?
False
Let b be 11 + -12 - (271 - 1). Let r = b + 51. Does 11 divide 27/15*r/(-12)?
True
Let q(p) = p**3 + 2*p - 92. Let g be q(0). Let h = g - -158. Is 16 a factor of h?
False
Let s = -781 - -421. Is 24 a factor of s/2*(-32)/48?
True
Let w(g) = -g**3 + 8*g**2 + 10*g + 6. Let x be (-64)/(-7) + 2/(-14). Let p be w(x). Suppose -5*j + 56 + 11 = 3*r, -3*j + p = 0. Is r a multiple of 7?
True
Suppose -4*j - 64 = -2*j. Let x = -16 - j. Does 4 divide x?
True
Let v(q) = -q + 13. Suppose 5*c - 21 = -3*g, -c + 3 = 3*g - 6. Let l = 2 - g. Is 4 a factor of v(l)?
False
Suppose 12*o - 20 = 376. Suppose o*x - 30 = 30*x. Is x even?
True
Is -2 + (-12707)/(-4) - (-131)/524 a multiple of 51?
False
Let x(g) = 20*g**2 - 5*g - 3. Let c be x(-2). Let o = 146 - c. Let n = -26 + o. Is n a multiple of 11?
True
Let g(v) = 25*v**2 - 1. Let a be g(3). Suppose 5*m - 21 = -4*q + 27, 2*q = 2*m - 30. Suppose m*u - 4*u - a = 0. Is 9 a factor of u?
False
Suppose 0 = -5*c + 3*o, -4*c - 2 = -2*o - 4. Let z = 6 - c. Suppose z*j - 100 = -j. Does 15 divide j?
False
Let z(x) = 2*x**3 - 2*x**2 + 3*x + 3. Let w be (-3)/48*-4 - (-11)/4. Does 6 divide z(w)?
True
Suppose d + 2*d - 4 = -2*b, 0 = 5*d + 5*b. Suppose 5*x - 416 = -d*y, 2*x = -5*y + 2*y + 319. Does 33 divide y?
False
Suppose 0 = -2*p + 3*z + 18, -4*z + 16 = -0*z. Let a be (-1 + -1)/((-10)/p). Suppose 3 = 2*k + 3*j, -k + 1 = j - a. Is k a multiple of 3?
True
Suppose 0 = 2*i - 73 + 25. Is 6 a factor of i?
True
Let h be (-36)/(-27)*((-26)/(-4) - -1). Suppose -32 = 2*v - h*v. Is v a multiple of 2?
True
Let v(g) = 39*g**2 - 45*g + 2. Does 68 divide v(5)?
False
Let h = 245 - -1099. Is 64 a factor of h?
True
Let d = 26 + -151. Let m = d + 227. Is m a multiple of 34?
True
Let g(x) = x**2 - x + 1. Let o be g(4). Suppose 3*l - 65 = o. Is l a multiple of 13?
True
Let d(c) = c**3 + 10*c**2 + 5*c + 1. Let x be d(-5). Let u be x - 0*(-1)/(-2). Let o = -62 + u. Does 13 divide o?
True
Suppose 4*z = -3*j + 2451, -4*z - 9*j + 2453 = -4*j. Is 18 a factor of z?
True
Let z(y) = 12*y + 48. Is 9 a factor of z(9)?
False
Let b(q) = 55*q**2 - 2*q + 5. Let m(x) = -54*x**2 + x - 4. Let z be ((-20)/25)/(2/10). Let h(s) = z*m(s) - 3*b(s). Does 14 divide h(-1)?
False
Let q(n) = -n**3 - 5*n**2 - n + 4. Is 5 a factor of q(-6)?
False
Suppose -2*o = 2*o - 704. Suppose 4*s = -o + 16. Does 16 divide s/3*(-48)/10?
True
Let c(l) = l**2 - 1. Let y be c(0). Let s be (y + -2)/(1 + -2). Does 11 divide (s + -14)/((-2)/4)?
True
Suppose -15*n + 2*n = -988. Is n a multiple of 4?
True
Suppose 0 = -9*d + 52 + 47. Suppose -d*l + 6*l + 720 = 0. Is l a multiple of 16?
True
Let v(i) = -22*i + 1. Let z(o) = 111*o - 5. Let y(w) = 11*v(w) + 2*z(w). Let n = -28 + 27. Is 9 a factor of y(n)?
False
Suppose -2*w + 606 = -3*s, 4*w + 4*s = -362 + 1554. Suppose 3*k - 380 = -f, -f + 206 + w = 4*k. Does 21 divide k?
True
Let q(o) = 2*o**2 - 22*o - 18. Let n(y) = 3*y**2 - 23*y - 18. Let r(b) = -3*n(b) + 4*q(b). Let p be r(-16). Is 200/p*(-9)/(-2) a multiple of 10?
True
Suppose 3*p - 46 = -16. Let m = -7 + p. Suppose -m*w + 60 = 3*c, -w - 1 = 5*c - 5. Is w a multiple of 8?
True
Is 782/7 + 18/63 a multiple of 5?
False
Let k = 13 + -10. Let h(l) = 0*l**3 + l**3 - k*l**2 + 3*l**2 - l**2 + 3 - 5*l. Does 6 divide h(3)?
True
Let o(a) = a**2 - a + 2. Let v(h) = 3*h**2 - 2*h + 3. Let c(m) = -11*o(m) + 6*v(m). Does 10 divide c(3)?
False
Suppose -4*v + 224 = -5*n, 0 = -v + 2*n - 0*n + 56. Suppose -1 = 2*a + 1, a = -4*h - 5. Does 16 divide h/(-1)*v/2?
False
Suppose 0*b - 4*a = 2*b - 156, 4*b - 2*a - 362 = 0. Suppose 2*s - 95 = 5*y, 2*y - b = 2*s - 4*s. Let f = 105 - s. Is 20 a factor of f?
True
Suppose -10*t = -715 - 245. Let p = t + -53. Is p a multiple of 17?
False
Suppose 8 + 6 = 2*z + 2*c, 4*c = 3*z + 7. Suppose 0*b = -2*b, b = -z*j - 36. Is 3/((-2)/j*1) a multiple of 9?
True
Let b = 5 - -7. Let h be (-18)/b*(-2 + 0). Let q(i) = 5*i**2 - i + 4. Is q(h) a multiple of 13?
False
Let r(n) = -7*n**3 + 2*n - 1. Let w be r(1). Is (284/w)/((-4)/18) a multiple of 16?
False
Suppose 0 = -3*p + 2*c + 3482 + 956, -5*p = -c - 7385. Is 11 a factor of p?
False
Let b = 53 - 17. Suppose 0 = -z - z - b. Let i = 5 - z. Is i a multiple of 5?
False
Suppose 0 = 5*g + 67 - 537. Suppose -r + 121 - 24 = 4*b, -2*r = 4*b - g. Does 15 divide b?
False
Let y(s) = -s**3 - 12*s**2 - 11*s + 2. Let d be y(-12). Suppose p - 4*p - q + d = 0, 4*q + 168 = 4*p. Is p a multiple of 22?
True
Let f(n) = 2*n**3 - 35*n**2 + 18*n - 5. Let y(h) = h**3 - 17*h**2 + 9*h - 2. Let c(u) = -2*f(u) + 5*y(u). Does 37 divide c(16)?
False
Suppose -29*f = -117*f + 81840. Is f a multiple of 5?
True
Suppose 2*g + 5*w + 15 = 0, -5 = -3*g + 7*g + 5*w. Suppose -2*q + 5*r = -125, -2*r - 85 = -2*q - g*r. Does 7 divide q?
False
Let f(n) = n. Let a be f(-7). Let r(y) be the first derivative of y**3/3 + 5*y**2/2 - 8*y - 7. Does 2 divide r(a)?
True
Suppose -3*n = -2*n - 5, 3*f - 299 = 5*n. Is f a multiple of 36?
True
Let i(l) = l**2 - 4*l. Let m(k) = k**2 + 8*k + 5. Let u be m(-8). Let j be i(u). Suppose -3*a = -j*c - 62, -2*c = 2*a - c - 50. Does 8 divide a?
True
Let v = -51 - -35. Let z = 21 + v. Let x(b) = b**3 - 3*b**2 - 5*b + 1. Is x(z) a multiple of 25?
False
Let t(x) = x**3 + 11*x**2 + 14*x - 4. Does 23 divide t(-6)?
True
Let y(t) = t + 8. Let j be y(-6). Suppose 15 + 36 = 5*g - 3*d, 0 = 5*g + j*d - 41. Does 9 divide g?
True
Let d(v) = 31*v - 110. Does 14 divide d(18)?
True
Suppose 0 = 3*l - l. Let d be (2 - l) + 24/(-12). Suppose -n - 2*n + 30 = d. Is n a multiple of 5?
True
Suppose 7*j = -j + 48. Is 23 a factor of 115/(-20)*2*j/(-1)?
True
Let m be 1/4 + 1071/(-28). Let s = m + 221. Is 23 a factor of s?
False
Let u(l) = 7*l**3 - 3*l**2 + 3*l - 2. Let n(j) = -6*j + 44. Let x be n(7). Is 12 a factor of u(x)?
True
Suppose -19*t = -14*t + 5. Is 40 a factor of (172/6)/(t*2/(-12))?
False
Suppose 1779 = 4*j - 5*m, 4*m + 2438 - 221 = 5*j. Is j a multiple of 20?
False
Suppose -5*o + h = 26, -3*o - 28 = 2*o - 3*h. Let i(y) = 7*y + 2*y**2 - 3 + 0*y + 0 + 2. Is i(o) a multiple of 3?
False
Let f = -40 - -700. Is f a multiple of 44?
True
Is (3*(-2)/5)/((-14)/14420) a multiple of 13?
False
Let w(m) = 55*m + 4. Suppose 6*u = u + 15. Let k be w(u). Suppose -5*v - 2*s + k = 0, s - 10 = -4*s. Does 11 divide v?
True
Suppose 4*d - 705 = d. Suppose 0 = -0*k + 5*k - d. Suppose 4*f + 16 = 5*s + k, -5*s - 3 = -2*f. Is 7 a factor of f?
True
Let z(f) = -f - 14. Let q be z(-10). Is 9/(126/q) - (-424)/14 a multiple of 6?
True
Let w = -85 - -87. Suppose w*a = 25 - 7. Is 4 a factor of a?
False
Suppose 5*x = 20, -3123 + 7 = -4*y + x. Does 52 divide y?
True
Let w be 2/(-3)*63/14 + -10. Let l(m) = -2*m - 8. Is 6 a factor of l(w)?
True
Let y(o) = -o**2 - 35*o + 146. Does 14 divide y(-36)?
False
Suppose -5*w + 198 = -4*t, 3*w + 3*t - 138 = -t. Is w/(-4)*320/(-60) a multiple of 7?
True
Suppose -139*z = -143*z + 7304. Is z a multiple of 18?
False
Suppose 3*t = r - t - 13, 3*r - 74 = 5*t. Let h(x) = x**3 - 3*x**2 - 7*x - 6. Let j be h(6). Let g = j - r. Is g a multiple of 9?
True
Let n be 15*(5 - (1 - -3)). Let u(m) = -m**3 + m + 1. Let s(h) = -5*h**3 + 14*h**2 + 18*h + 5. Let z(g) = -s(g) + 4*u(g). Is 4 a factor of z(n)?
False
Let o = 665 - -138. Does 11 divide o?
True
Let z(u) = u - 9 + 0*u**2 + 0*u**2 + u**2. Let h be z(-4). Suppose -60 = s - 3*s + 2*x, h*s = x + 100. Is 35 a factor of s?
True
Suppose -4*f + 5*v = -283, -v - 234 + 19 = -3*f. Suppose 4*o - j = 156, -o + f = o - 2*j. Is o a multiple of 8?
True
Let s = -350 + 559. Does 19 divide s?
True
Let z(s) be the first derivative of s**4 - 2*s**3/3 + 2*s - 16. Is z(2) a multiple of 8?
False
Let h(l) = 3*l - 2*l - 2 + 0 + 0. Let z be h(-1). Does 10 divide (-4)/6 + (-32)/z?
True
Let t(d) = 2*d**2 + d + 56. Does 7 divide t(7)?
True
Let b be 5*((-42)/15 + 0). Let z = b + 14. Suppose 4 = m + q, -m - 3*q - 6 = -z*m. Does 3 divide m?
True
Let a(b) = -b**3 - b**2 + 7*b - 2. Let l be a(-5). Let s = 33 + l. Is 16 a factor of s?
True
Let z