-51 + v. Is 29 a factor of w?
True
Let s be (-18)/(-24) + 3/12. Is 0 - s - (11 - 53) a multiple of 27?
False
Suppose -4*l + 12 = -l. Suppose 0 = l*x + 3*x - 2415. Suppose -i - x = -6*i + 5*q, 0 = -3*i - 4*q + 193. Is i a multiple of 14?
False
Let j(f) be the third derivative of f**4/24 + 19*f**3/6 - 24*f**2. Is j(-11) even?
True
Let a(p) = -5*p - 13. Suppose 4*c - 10 = 2, u + 2*c + 3 = 0. Let f be a(u). Let x = -15 + f. Is 7 a factor of x?
False
Let o(u) = u**2 + 15*u - 6. Suppose 4*x = 4*q + 25 - 1, -5*x + 2*q + 30 = 0. Is o(x) a multiple of 11?
False
Suppose 96 - 97 = -s, 4*s - 17332 = -4*q. Does 31 divide q?
False
Suppose l - 246 = -2*l. Let g(v) = -v**3 - 24*v**2 + 23*v - 11. Let p be g(-25). Let c = l - p. Is 13 a factor of c?
False
Suppose 162 = d - 5*w, 7*w = 4*d + 4*w - 631. Suppose d + 308 = 5*z. Is 13 a factor of z?
False
Let f = -508 - -981. Is f a multiple of 50?
False
Let y = 586 - -179. Is y a multiple of 11?
False
Let s = 42 + -37. Suppose -161 = -s*a + 2*y, 9 = -4*y - 3. Is a a multiple of 16?
False
Let w(j) be the first derivative of j**6/360 + j**5/15 - 5*j**4/24 + 4*j**3/3 - 6. Let p(o) be the third derivative of w(o). Does 20 divide p(5)?
True
Suppose -4*o = -51 - 13. Let v be ((-5)/(-4))/(4/o). Suppose v*l - 53 = 7. Is 12 a factor of l?
True
Suppose -68*h - 4685 = -4*q - 73*h, 5*h - 1175 = -q. Is q a multiple of 13?
True
Suppose 0 = -p + 4*o + 1 - 2, 4*o - 19 = -5*p. Suppose 0 = -p*x - 2*x + 30. Suppose -3*i + 65 = -x*n + n, -n + 19 = i. Is 9 a factor of i?
False
Let r(p) = -p + 50. Is r(2) a multiple of 4?
True
Suppose -4*z = -4*c + 1940, 0 = -7*z + 3*z + 3*c - 1937. Let y = z + 287. Let m = -124 - y. Is m a multiple of 11?
False
Suppose 377 + 1452 = 31*a. Is 3 a factor of a?
False
Is 24*(-4 - 171/(-12)) - 0 a multiple of 9?
False
Let i(y) = -y**2 + 17*y - 19. Let r be i(13). Let w = 138 - r. Let q = w - 45. Is 20 a factor of q?
True
Suppose 3*i = 244 + 521. Is 58 a factor of i?
False
Let j(c) be the second derivative of 1/6*c**4 - 9/2*c**2 - 11*c + 2/3*c**3 + 0. Does 7 divide j(-5)?
True
Suppose 4*z + 3*w + 3 = 0, z + 28 = 2*z - 5*w. Suppose -8 + 2 = -z*d. Suppose -5*h = -d*j - 146, h + 2 = j + 33. Does 14 divide h?
True
Let p = 18 - 24. Let r(w) = w**3 + 4*w**2 - 3*w + 7. Let o(x) = -x**3 - 3*x**2 + 2*x - 6. Let s(n) = p*r(n) - 5*o(n). Does 2 divide s(-10)?
True
Suppose -5*r - 4*f + 3068 = -0*f, f = r - 619. Suppose -4*z = -u - r, 4*z = 2*u + u + 616. Is 23 a factor of z?
False
Suppose 0 = j + 4, -3*p + 4*p + 4*j = -12. Suppose v + 62 = p*q + 23, -4*q + 3*v + 45 = 0. Suppose q*x = 12*x - 279. Is 35 a factor of x?
False
Suppose q - 19 = -4*q - 4*u, -4*q - u = -13. Let k be 0/((-1)/(q/6)). Suppose k = 3*h + 3*l - 222, -2*h + 220 = h + 2*l. Is 24 a factor of h?
True
Let c = -27 - -32. Suppose 0 = 2*x + 2, -4*y + 3*x = -87 - 292. Suppose y - 4 = c*w. Does 9 divide w?
True
Let d = 31 - 6. Suppose 2*b = 3*j + d, 3*b + 1 = -3*j - 14. Is 14/(-21)*(j + 1) a multiple of 2?
True
Let l be (-5 - -2) + 10 + -3. Suppose l*k + 2*p = -2, -5*k + 2*p = -0*p - 20. Is -17*(-2 + -1 + k) a multiple of 12?
False
Suppose -5*o - 103 - 317 = 0. Let f = o + 163. Suppose -5*d - 251 + 636 = 5*y, -y = 2*d - f. Is y a multiple of 15?
True
Suppose 0 = -8*i - 2*i + 8200. Does 20 divide i?
True
Let s be 6*((-20)/(-6))/5. Suppose 0 = s*o - 3 - 5. Suppose 0 = -a + o. Is a a multiple of 2?
True
Suppose -2*z + 10 = -5*n - 21, 27 = 4*z - 3*n. Suppose z*y - 3*v = -0*y + 123, v = 5*y - 201. Does 40 divide y?
True
Let q = 4 + -2. Is 8 a factor of q/2*41*(-3 + 4)?
False
Suppose -12*u + 1562 - 86 = 0. Suppose -3*y - 2*q + 240 = -133, -y - 2*q = -u. Is y a multiple of 25?
True
Let c be 18/63 + 4/(-14). Suppose -3*h - 81 = -c*h. Let i = -7 - h. Is 10 a factor of i?
True
Let c = -41 + 47. Does 13 divide ((-3)/c)/(3/(-2106)*3)?
True
Let k be -4 + ((-4)/9)/(10/(-45)). Is k/4 + 3363/38 a multiple of 8?
True
Let d be 2*(21/6 - 1). Let y(l) = l**3 - 5*l**2 + 6*l - 6. Is y(d) a multiple of 8?
True
Let l(x) = -22*x**3 + 4*x**2 + 3*x + 22. Is 42 a factor of l(-5)?
False
Suppose 8490 = -15*g + 42270. Is 11 a factor of g?
False
Is 6 a factor of 75 + (2 + -4)/(-1)?
False
Let p be (45/10)/((-1)/(-2)). Suppose 0 = -3*h + 159 + 120. Suppose -g + p = -4*l, -g - h = -6*g + 4*l. Is 6 a factor of g?
False
Let j = -674 + 912. Is 4 a factor of j?
False
Suppose 2*d - 9 = -d. Let x be -4*((-33)/12 - d). Suppose 0 = -4*o + 107 - x. Does 7 divide o?
True
Let n(z) = -4*z**2 + 3*z**2 - 4*z - 4*z + 7 - z. Is n(-4) a multiple of 27?
True
Let f(q) = 3*q**2 + 56*q + 217. Is f(-4) even?
False
Suppose -v - 213 = -2*v. Suppose -n - 2*a = -45, 0*n - 3*a - v = -4*n. Is n a multiple of 5?
False
Suppose 0 = -8*z + 45*z - 7585. Is 17 a factor of z?
False
Let i(x) = 210*x**2 + 1. Let j be i(-1). Let m = j + 14. Is m a multiple of 25?
True
Suppose 18 = -15*m + 6*m. Does 17 divide 1/(9/54*m/(-17))?
True
Let g = 3 - -11. Let j = 70 - g. Let m = j - 14. Is 9 a factor of m?
False
Suppose 0 = 6*g - 472 + 178. Let y = g + 55. Does 16 divide y?
False
Suppose 0 = 13*h - 14126 - 57. Is h a multiple of 9?
False
Suppose 318 = 37*c - 19477. Is 29 a factor of c?
False
Let n(r) = 3*r - 23. Let b be n(8). Let s be 100 - (-2 + 0)*b. Is (18/(-27))/((-1)/s) a multiple of 17?
True
Let c(q) = 48*q**2 + 9*q - 20. Does 77 divide c(3)?
False
Let h = -86 - -167. Let p = 149 - h. Does 12 divide p?
False
Suppose 3*k = 5*k - 4. Is 28 a factor of 76/(2/k*4/8)?
False
Is 72 a factor of 48516/26 + -2 + 3 + -8?
False
Let p(c) = 74*c - 20. Is 26 a factor of p(8)?
True
Suppose 28*a - 34*a = -444. Let w(x) = 22*x**2 + 1. Let r be w(1). Let y = a - r. Is 17 a factor of y?
True
Let m(o) = -2*o**2 + 6*o**2 - 2*o + 4*o. Let x be ((-3)/(-4))/(-5 + 57/12). Does 10 divide m(x)?
True
Let q = 75 - 29. Let s = q - 27. Is s a multiple of 19?
True
Suppose l + l - 98 = -2*c, 2*l - 104 = c. Let t = l + 49. Does 25 divide t?
True
Suppose u - x = 10, 5*x = -5*u + 46 + 54. Suppose j = 4*v + v + 117, 0 = -v + 3*j - u. Let t = -7 - v. Is 12 a factor of t?
False
Let x = 155 + -88. Let n be (22 - (1 + -1))*-1. Let t = n + x. Does 14 divide t?
False
Suppose 6*m - 3*m = 45. Suppose 0 = 2*k - 2*b - 102, 5*b - m = -k + 18. Is 16 a factor of k?
True
Suppose 0 = -c + 11*c - 100. Suppose 0 = -3*h - c + 1, 0 = -4*k - h + 449. Is k a multiple of 19?
False
Let j be (-559)/(-52) + (-2)/(-8). Let c be (j - 12)/(2/(-8)). Suppose -c*t + 176 = -104. Does 23 divide t?
False
Let s = -485 - -680. Suppose 3*z = -3*t + 42, -z - 3*t + 31 = z. Suppose -16*j + s = -z*j. Is 13 a factor of j?
True
Let v(t) = -2 - 7*t + t**2 + 3 + 1. Let q be v(7). Let u = 44 - q. Is u a multiple of 7?
True
Let n be (-2)/7 + (-60)/84 + 18. Suppose 5*t = 2*b - 34, -5*t = -b - 3*t + 17. Let r = b + n. Is 11 a factor of r?
False
Let v be (4 + -1 + -56)*-5. Suppose 0 = 4*g - 4*c - 9 - 11, 0 = -2*c. Suppose 127 = 4*o - o + 5*p, -5*o + v = -g*p. Is o a multiple of 14?
False
Let c(p) = -p**2 - 3*p + 11. Let s be c(-5). Does 19 divide (s/2)/((-5)/950*-5)?
True
Let p = -1 - 3. Is 10 a factor of 23 - -4*3/p?
True
Let z(i) be the third derivative of -i**6/60 - i**5/15 + i**3/6 + 27*i**2. Let o be (-1 - 0)/(2/6). Does 9 divide z(o)?
False
Let j(s) = 2*s - 1. Let y(z) = -2*z - 3. Let d be y(-2). Let i(f) = 4*f - 1. Let n be i(d). Is 4 a factor of j(n)?
False
Suppose -4*l - 4*n + 22 = -7*n, 0 = -3*l + 5*n + 11. Suppose -l + 3 = -4*q. Is (2/q + 0)*20 a multiple of 10?
True
Does 14 divide (-648)/(-9) - (4 + -1)?
False
Let z = -958 + 1542. Does 8 divide z?
True
Let o(a) = 10*a**2 + 30*a + 22. Does 19 divide o(-12)?
True
Let z be 93/33 - 4/(-22). Suppose -4*b + 58 = -z*b. Is b a multiple of 10?
False
Suppose 84*k = 133714 + 71414. Is k a multiple of 22?
True
Let o(n) = -n**2 + 18*n - 3. Let c be o(10). Let f = 140 - c. Is f a multiple of 16?
False
Suppose -s + 3*i - 4*i + 24 = 0, -4*s - 3*i = -93. Is s a multiple of 7?
True
Suppose 9*k + 16 = 13*k. Does 18 divide (-1 - k)*3/(15/(-148))?
False
Suppose -4*d = 5*v - 1177, 5 = 2*v - v. Does 18 divide (d/28)/((-1)/(-28)*2)?
True
Let l(k) = 2*k + 2022. Let m be l(0). Does 30 divide 3/5 + (-1)/((-30)/m)?
False
Suppose -9 = a + 17. Let d = a + 32. Does 2 divide 50/15 - 2/d?
False
Let f(h) = 10*h - 8. Let a be f(5). Let d be (-6)/4*(-8)/6. Suppose -2*q - a = -4*i, 0 = 2*i - 