9*v - 1. Let o be b(a). Suppose 4*j - o = 3*y - 6*y, 4*j - 42 = 5*y. Is 3 a factor of j?
False
Let p = 7 - -12. Let q(c) = c + 5. Let k be q(-3). Let y = p + k. Does 15 divide y?
False
Suppose 264 = -c - 2*c. Is c/(-3) - 4/(-6) a multiple of 10?
True
Let k(j) be the first derivative of 0*j**2 - 15/4*j**4 + 0*j**3 + 0*j + 2. Does 7 divide k(-1)?
False
Let t be -2 + (-4)/((-12)/15). Suppose 3*d = 2*d + t*k + 6, 10 = 5*d - 5*k. Suppose d = 11*g - 10*g - 22. Does 10 divide g?
False
Let m(g) = g**2 - 3*g - 2. Let c = 4 - -4. Is m(c) a multiple of 19?
True
Suppose 5*x = 4*c + 232, 5*c + 84 = 3*x - 50. Does 18 divide x?
False
Let b(f) = -2*f - 6. Let n be b(-4). Suppose -n*p - 10 + 38 = 0. Does 14 divide p?
True
Suppose 4*u + 0*u - 16 = -2*r, -3*u + 2*r + 19 = 0. Let w(h) = 4*h - 6. Does 6 divide w(u)?
False
Let y = -3 - -14. Suppose -k = 4*k - 20. Suppose 3*p = 2*a + 89, -y = k*p + 4*a - 143. Is 15 a factor of p?
False
Let h(n) = 0*n - 6 + 5 + n. Let x be h(5). Suppose -z = -x*t + 2*t + 15, 0 = t - 4*z - 11. Is t a multiple of 3?
False
Suppose 3*v + 4*c = 292, -5*c - 242 = -3*v + 14. Does 16 divide v?
False
Let s be (3 - 7)/(-4 + 2). Let i(z) = -10 + z**s - 4*z + 10. Is i(-4) a multiple of 18?
False
Does 22 divide (-546)/(-12) + 1 + 5/(-2)?
True
Let f = 120 + -46. Let i be 2 - (-2 + -3 + 2). Suppose 76 + f = i*y. Is y a multiple of 15?
True
Let u(f) = f**2 - 4*f - 3. Let t be u(5). Let g be (-63)/(-5) + 12/(-20). Suppose -n = -3*n - 3*q + g, 0 = t*q. Is n a multiple of 4?
False
Let k(z) = -6*z + 6. Does 12 divide k(-3)?
True
Is 11 a factor of (96/28)/1*7?
False
Let b(l) be the first derivative of -l**4/2 - 4*l**3/3 - 3*l**2/2 - 4*l - 1. Suppose -2*u + 5*x - 7 = 4, 0 = -u - 4*x + 1. Is 8 a factor of b(u)?
False
Suppose 5*y - 310 = -0*y + 5*r, 5*y + 5*r - 270 = 0. Let j = y - 31. Does 12 divide j?
False
Let y(q) = 1 - 2*q + 6 + q**2 - 5*q + 2. Let s be y(6). Let i(c) = c**3 + 2*c - 1. Does 16 divide i(s)?
True
Suppose d = -5*h + 15, -3 - 12 = 3*d. Suppose -h*m - 8 + 72 = 0. Is 8 a factor of m?
True
Let m = 761 - 443. Is 16 a factor of m?
False
Let j(i) = -i**3 - 2*i**2 + 2*i - 1. Let d be j(-3). Suppose 12 = 2*l + 2*l, -92 = -2*h - d*l. Is 17 a factor of h?
False
Is 2 a factor of (-344)/(-72) + 2/9?
False
Let l = 17 + -14. Suppose -w + 2 = -3*r + 12, 2*r + l*w - 14 = 0. Does 3 divide r?
False
Suppose 0 = -2*l + 2*q + 62, -5*q + 7 = -18. Is 8 a factor of l?
False
Let c(u) = -u - 6. Let p be c(-4). Does 6 divide (p + 3)/(1/18)?
True
Let k(w) = 2*w**2 + 2*w - 1. Let n be k(-2). Suppose 2*z = 7 - 3. Is 10 a factor of (n - z)/(-2)*-30?
False
Let y = 247 + -346. Let g = y - -169. Is g a multiple of 18?
False
Suppose -2*o - 4*a = 2*o + 12, 5*a = -2*o. Is 11 a factor of (-5)/(-25) + (-164)/o?
True
Let r(v) = v**3 + 6*v**2 - 4*v + 1. Let z be r(-6). Let g = -15 + 26. Suppose -z - g = -4*n. Is 6 a factor of n?
False
Suppose -l + 4*u - 4 = 0, -2*l + u + 35 = -4*l. Let p = -2 - l. Is p a multiple of 10?
False
Let k(r) = -8*r + 1. Let p be (-4)/2 - (1 + -4). Let i = p - 4. Does 17 divide k(i)?
False
Let r be 12 - (2 - (-2)/(-1)). Suppose -2*d + 73 = 4*j - 3*j, 0 = -4*j - r. Is d a multiple of 11?
False
Suppose -5*a - 4*b + 11 = 0, 5*b = 2*a + 27 - 5. Let i = 6 + a. Suppose -15 = -z - i*m, -2 = -3*m + 1. Is z a multiple of 5?
True
Let a(q) = -q + 11. Does 4 divide a(4)?
False
Suppose -2*m = 2*m - 2*k - 198, -5*k = -3*m + 152. Does 7 divide m?
True
Let c(w) = -w + 17. Does 12 divide c(-9)?
False
Let j(r) = 2*r + 2. Let q be j(5). Suppose 4*d - 16 = -3*l, -4*d = l - 3*l - 16. Suppose k - d = q. Does 6 divide k?
False
Suppose 0 = -2*i - i + 294. Suppose -5*v + v = 4*h - 200, -h + i = 2*v. Suppose -5*l + v = q - 33, 0 = -q + 1. Is l a multiple of 8?
True
Suppose 0 = -0*s + 4*s + 3*u - 205, 4*s + 5*u = 211. Is 7 a factor of s?
True
Let f(n) = 3*n**3 - n**2 - 3*n - 3. Let b be f(3). Suppose -b = -2*v - 2. Is 9 a factor of v?
False
Let u = -26 - -146. Is 10 a factor of u?
True
Let m = -7 + 9. Let j be (-3)/2*-1*m. Let p = j + 39. Does 16 divide p?
False
Does 3 divide (-1 + (-147)/15)/(4/(-20))?
True
Let d(m) = -2*m**2 + 2*m + 11. Let n be 1/(-3) - 40/(-12). Let g(l) = -2*l**2 + 3*l + 10. Let p(x) = n*d(x) - 4*g(x). Does 6 divide p(5)?
False
Suppose -4*v = -4*f - 84, -4*v + 4*f = -f - 79. Is v a multiple of 13?
True
Let m = 2 + -1. Let z(c) = 15*c + 1. Is 8 a factor of z(m)?
True
Let o(j) = 2*j**2 + 12*j + 22. Is o(-11) a multiple of 18?
False
Let c(w) = -w**2 - 5*w - 1. Let z be c(-2). Suppose -2*o + 3*t + 87 = 0, 6*t - 56 = -o + 5*t. Suppose z*a - o = -5*x + 9, -a = 0. Is 6 a factor of x?
True
Let g = 15 + -10. Let s(y) = y**2 - y + 6. Is s(g) a multiple of 13?
True
Suppose 0 = -5*x + 2*c + 9, 5*c = -5*x + 29 + 1. Suppose -x*b - 1 = -7. Suppose b*s - 39 = -s. Is 13 a factor of s?
True
Let z(i) = -i**3 + 9*i**2 + 11*i - 8. Let h be z(10). Suppose 7*s - h*s - 210 = 0. Does 14 divide s?
True
Let g(x) = -11*x + 1. Suppose t + 5 = 2*k - 4*t, 4*t = 5*k - 21. Let i be g(k). Let f = 76 + i. Is 11 a factor of f?
True
Let k(q) = q - 8. Let g be k(7). Let i be (-6)/1*g/2. Suppose 5*v + 2*d = -3*d + 85, 5*d = -i*v + 55. Is 15 a factor of v?
True
Let j(d) = d**2 + 6*d - 30. Does 16 divide j(-13)?
False
Suppose -8*z + 3*z + 150 = -5*o, -4*z - 4*o + 104 = 0. Suppose s + s = z. Is s a multiple of 7?
True
Suppose 4*s = 3*s + 76. Suppose s = -4*y + 6*y. Is 17 a factor of y?
False
Let f(i) = -i**3 - i - 14. Let z be f(0). Let t = z + 17. Is t a multiple of 3?
True
Let u(f) = f**2 + 5*f - 3. Let k be u(4). Suppose -2*d + 7*d - 4*v = 70, -d + k = 3*v. Suppose p - 4*p = -d. Is 4 a factor of p?
False
Let u = 132 + -196. Let y = 93 + u. Is 8 a factor of (y - (1 + 0)) + 1?
False
Let m(f) = -2 + 3*f**2 - 5 - 3 + 4*f - 2*f**2. Is 35 a factor of m(5)?
True
Suppose 16 = -0*w - 4*w. Let s(k) = k - 2. Let l be s(w). Let z(b) = -b**3 - 5*b**2 + 4*b - 5. Is z(l) a multiple of 7?
True
Suppose -3*i = -10*i + 77. Is 4 a factor of i?
False
Suppose 5*s - 5*q - 195 = -0, 5*s = -3*q + 187. Is 12 a factor of s?
False
Let r(c) = 6*c**2 - 3*c - 4. Is r(4) a multiple of 22?
False
Let p = -43 - -67. Is p a multiple of 4?
True
Suppose 910 = 5*i + 2*i. Is 18 a factor of i?
False
Let w(h) be the first derivative of -49*h**4/4 + h**3/3 + h**2 + h + 1. Does 13 divide w(-1)?
False
Let c(h) = -4*h - 4. Suppose 0 = -5*i - 20 - 10. Is 10 a factor of c(i)?
True
Let s be -2 + (5 + -1 - 0). Suppose 40 = 2*q - 0*b - 3*b, 4*q - 36 = -5*b. Suppose -q + s = -3*n. Is n a multiple of 4?
True
Suppose 5*s - 3*k = 166 - 30, 4*s = 5*k + 101. Is 5 a factor of s?
False
Let t be 30/(-4)*(-4)/3. Let v = 24 - t. Does 8 divide v?
False
Let n = 4 - 4. Suppose n*x = x - 8. Is 8 a factor of x?
True
Let b = 26 - 45. Let a = b - -35. Suppose 0*x = -2*x + a. Is x a multiple of 6?
False
Let h be (-1 - -2)*(-15)/(-3). Suppose 5*n + 25 = -v + 5*v, 3*v = h*n + 20. Is (55/10)/(n/(-2)) a multiple of 4?
False
Let l = -16 + -29. Let p = -7 - l. Is p a multiple of 7?
False
Suppose 3 = 3*n, t = -4*t + 4*n + 441. Let u be (5/4)/((-3)/(-12)). Suppose -u*a = -0*r + 4*r - t, -4*r + 72 = 4*a. Is a a multiple of 6?
False
Is -1 - 3 - 37*-4 a multiple of 36?
True
Is (19*-1 + 1)/(8 - 9) a multiple of 2?
True
Let o be (-2)/7 - (-3132)/84. Suppose -d + o - 10 = 0. Does 9 divide d?
True
Let h = 1 + -9. Let x = -4 - h. Suppose x = y - 3. Does 6 divide y?
False
Suppose 2 = 3*s - 13. Suppose 8 = -y + 4*a - s*a, 3*y + 6 = 3*a. Is 9 a factor of (-2)/(-10) + (-89)/y?
True
Is 7 a factor of 1593/45 - 4/10?
True
Suppose q - 4*q - 250 = 4*h, 2*h + 124 = -2*q. Is 10 a factor of (h/80)/((-2)/95)?
False
Let m(d) = 4*d**3 - 4*d**2 - 3*d + 2. Let s(a) = 3*a**3 - 3*a**2 - 2*a + 1. Let z(g) = -2*m(g) + 3*s(g). Let w be z(0). Is (-1 + 23)/(w - -3) a multiple of 11?
True
Suppose 0*w = -4*w + 100. Let t = 39 - 39. Let v = w - t. Does 10 divide v?
False
Let q be -2*4/(24/177). Suppose -2*c - 4*z - 87 = -29, 0 = 2*z - 10. Let o = c - q. Does 20 divide o?
True
Let v = -49 + 66. Is 17 a factor of v?
True
Suppose -312 = -3*y + l, 2*y + 6*l - 208 = l. Is y a multiple of 21?
False
Let j(i) = 2*i - 12. Let x be j(8). Suppose x*u - 27 = 3*u. Does 27 divide u?
True
Let m(x) = x**3 + 11*x**2 + 23*x - 9. Is m(-6) a multiple of 2?
False
Let s = 21 + 4. Does 25 divide s?
True
Suppose 3*p + 2*p = 45