 -31*v + 35*v - 3*f - 276, -4*f - 344 = -5*v. Does 24 divide v?
True
Let i = -531 + 349. Does 12 divide (-7)/21*(-1 + i)?
False
Let v(y) = y**2 - y. Let w(p) = -3*p. Let x(f) = -v(f) + w(f). Let k be x(3). Let s = k + 31. Is 4 a factor of s?
True
Suppose 0 = 5*d + 25, -5*p - 4*d + 2537 + 1293 = 0. Does 22 divide p?
True
Let a be 610/(2/5 - 3/(-5)). Let g = a - 430. Is 10 a factor of g?
True
Let q be (-1)/2 - (-4)/8. Suppose 0 = 2*p + s - q*s - 150, 3*p = -3*s + 222. Let x = p + -20. Does 28 divide x?
True
Let z(c) = c**3 - 2*c**2 - 2*c + 6. Let y be z(2). Suppose -1659 + 59 = -5*d - w, -311 = -d - y*w. Is 14 a factor of d?
False
Let f(a) = 6*a + a + 3*a + 3 - 4*a. Does 15 divide f(7)?
True
Let i(c) = -3*c - 6. Let h be 12*(2 - 10/4). Let o be (h/(-8) - 0)*-16. Is i(o) a multiple of 15?
True
Let v(d) = 4*d + 5. Let t be v(6). Let u = t + -17. Is u a multiple of 12?
True
Let u(y) = 40*y + 15. Let k be (-10)/(-2) + -4 - 2*-1. Is u(k) a multiple of 31?
False
Let c(d) = 42*d - 3. Let i(m) = 1. Let p(l) = c(l) - 3*i(l). Let v be p(3). Suppose 0 = -o - 3*o + v. Does 15 divide o?
True
Let k = -12 + 11. Is 21 a factor of -2 + 45 - k/(-1)?
True
Let r(l) be the first derivative of l**4/4 + 8*l**3/3 + 2*l**2 - 9*l - 2. Let k be r(-7). Suppose 4*a + k = 5*a. Does 12 divide a?
True
Suppose 5*m - 2*m + 3*c = -21, 0 = m - 2*c + 16. Let u(p) = p**3 + 11*p**2 + 5*p - 20. Does 10 divide u(m)?
True
Let u(x) = x**2 + 9*x - 2. Let h be u(-9). Let t(c) = 1094*c + 8. Let p be t(h). Does 21 divide p/(-26) + 48/312?
True
Let b(u) = -u**3 + 17*u**2 - 11. Let h be b(17). Let z = h - -95. Does 6 divide z?
True
Let w(i) = -i**3 + 2*i**2 + 2*i + 4. Let a be w(3). Let z(m) be the third derivative of 23*m**4/12 - m**3/3 - m**2. Is 15 a factor of z(a)?
False
Is 12 a factor of ((-526)/(-7))/((-156)/(-546))?
False
Let g(y) = y**2 + 26*y + 45. Let d be g(-24). Is 9 a factor of 278/6 + d/9?
False
Let n(p) = 33*p - 2. Let o be -1*(-3 + 2/(-2)*1). Is 13 a factor of n(o)?
True
Let k(m) = 42*m**3 + 3*m - 15 - 41*m**3 - 2*m. Let p be k(0). Let q = -9 - p. Does 5 divide q?
False
Let s = -497 - -966. Is 3 a factor of s?
False
Suppose -2*a + 327 = -53. Suppose a + 30 = 4*w. Does 11 divide w?
True
Suppose -5*x = -0*x - 405. Let f = x + 7. Is f a multiple of 11?
True
Let y(m) = -m + 2. Let d be y(-3). Suppose -g + 15 = -4*g. Let i = d - g. Is i a multiple of 10?
True
Let b = -5 - -8. Suppose b*c + 93 = 6*c. Let j = -13 + c. Does 3 divide j?
True
Let g(a) = -a + 16. Let s be g(6). Suppose -251 - 429 = -s*u. Does 34 divide u?
True
Let b = 132 + 37. Is 13 a factor of (b/(-52))/((-2)/88)?
True
Let t = -17 - -21. Suppose -t*x = 3*j - 114, 5*x - 16 - 53 = -2*j. Let s = 111 - j. Is 10 a factor of s?
False
Is 2/(5/55 - 790/8811) a multiple of 23?
False
Let x(v) = -v**2. Let a(z) = z**3 + 11*z**2 + z + 5. Let k(p) = -a(p) - 6*x(p). Let t be k(-5). Is 27 a factor of (1 - 1) + 77 + t?
False
Let u be ((0/1)/(-3))/(-1). Suppose u = -0*n + 3*n - 2*j, -4*n - 4*j = -20. Suppose -98 = -n*r + 48. Is 21 a factor of r?
False
Suppose 5*y = 3*r - 1284, r + 16*y = 18*y + 429. Is 10 a factor of r?
False
Let h(l) = l**3 + 7*l**2 - l - 4. Let f be h(-7). Suppose 4*t + 100 = y, 2*y - 231 = f*t - 6. Is y a multiple of 20?
True
Let v = -43 - -18. Let p = -33 - v. Let k = -6 - p. Is k even?
True
Is 11 a factor of 0 - -1818 - (15/5)/(-3)?
False
Let a(i) = 3*i**2 - 6*i + 3. Let s(z) = z - 3. Let k be s(8). Let f be a(k). Is 0 + (1 - 3) + f a multiple of 18?
False
Let r(z) = z**3 + 9*z**2 + z - 13. Let j be r(-9). Does 4 divide 0/(-1) - -3 - j?
False
Let v(w) = -2*w**2 + 20*w - 11. Let d be (40/25)/(2/10). Let m be v(d). Suppose -5*r = -20, 2*q - m = -2*r + 9. Is q a multiple of 2?
False
Suppose 5*z + 4*s + 495 = 0, -3*s + s - 495 = 5*z. Let p be -1 + 2/((-6)/z). Suppose 4*w = 3*w + p. Is w a multiple of 16?
True
Let y be ((-18)/(-8))/((-1)/(-4)). Let z(m) = 19*m + 9. Does 15 divide z(y)?
True
Let d be (-40)/15 - 2/6. Let c(a) = a**3 + 7*a**2 + 7*a + 2. Is c(d) a multiple of 10?
False
Suppose 5*c + 32 = 2*q, 0 = -3*q + 5*c + 6 + 52. Let v = -9 + q. Is v a multiple of 17?
True
Let r = 762 + -656. Does 7 divide r?
False
Let s(w) = -142*w**3 + w + 1. Let o be s(-1). Let x = o - 259. Let q = x - -170. Is q a multiple of 35?
False
Let a = 5756 - 3716. Is a a multiple of 24?
True
Let b(s) = -s**3 + 9*s**2 - 8*s + 8. Let c be b(8). Suppose -56 = 6*j - c*j. Is j a multiple of 7?
True
Suppose 5*f - 51 = 2*t, -5*f = -10*f - 15. Is 17 a factor of ((-1067)/t)/((-2)/(-6))?
False
Let g(f) = 2*f + 1. Let o be g(0). Suppose 5*m + 3 = -2. Is (46 - (m - 0)) + o a multiple of 12?
True
Let q(j) = 5*j**2 + j - 1. Let s(c) = c - 11. Let f be s(6). Does 26 divide q(f)?
False
Let k = 18 + -27. Let w(l) = -l + 28. Does 3 divide w(k)?
False
Let n(t) = -t**2 + 5*t + 6. Let b(k) = k**3 + 6*k**2 + 6. Let o be b(-6). Let z be n(o). Suppose -5*r + z*r + 105 = 0. Does 21 divide r?
True
Suppose 0*m + 2*m - 266 = 0. Let s = -13 + m. Is 40 a factor of s?
True
Is ((-29754)/(-285))/(2/15) a multiple of 10?
False
Suppose 0 = -5*p + 20, -t + 4*p - 52 = t. Let o = t - -12. Let v(q) = q**3 + 6*q**2 - q + 2. Does 5 divide v(o)?
False
Let k be (-17)/(-5) - (-6)/(-15). Let b be -12*4/(-8) - k. Is 9 a factor of (b - (18 - -3))/(-2)?
True
Let q = 69 + -77. Does 2 divide (-122)/(-12) - q/(-48)?
True
Suppose 0*n = -n + 115. Suppose 0 = 15*c - 20*c + n. Is c a multiple of 3?
False
Does 11 divide ((-6)/12)/(3/(-126))?
False
Is 9 a factor of -7 - 424/16*-4?
True
Suppose -8*q + 2259 + 4245 = 0. Does 19 divide q?
False
Let y be ((-63)/6)/(3/(-18)). Let c = 21 + y. Is c a multiple of 14?
True
Let f(q) be the second derivative of -7*q**3/6 - 15*q**2/2 - q. Let x(j) = -3*j + 9. Let r be x(5). Is f(r) a multiple of 9?
True
Let f = -1434 - -2624. Suppose 9*x = -8*x + f. Is x a multiple of 10?
True
Let h be ((-1)/(0 - 1))/1. Let g(a) = 239*a. Let u be g(h). Suppose 4*y = q + u, -7*y + 296 = -2*y - 4*q. Does 20 divide y?
True
Suppose -185 = -4*f + 5*x, -4*f - 2*x - 27 = -233. Does 2 divide f?
True
Suppose 2*s - 26 = 8. Let f = s + -63. Let j = -22 - f. Is 8 a factor of j?
True
Let c be (-2)/4 - 0 - 2142/28. Is (c/7)/((-3)/30*1) a multiple of 22?
True
Suppose -g = -4 - 1. Suppose -770 = -2*r + 2*j, r - 1120 = -2*r - 4*j. Suppose 5*v - 7*f - r = -2*f, g*v + 3*f = 372. Is 25 a factor of v?
True
Let l(g) = g**3 - 2*g**2 - 2*g + 203. Is l(0) a multiple of 7?
True
Let z(o) = 3*o**2 - 10*o + 13. Let b = -22 + 29. Is 11 a factor of z(b)?
False
Let n = 13 + 62. Suppose 74*r + 21 = n*r. Is 2 a factor of r?
False
Suppose 0 = 7*z + 30*z - 6438. Is z a multiple of 29?
True
Let m(t) be the second derivative of 11*t**3/6 + 5*t**2/2 + 3*t. Is 14 a factor of m(5)?
False
Suppose 5*d - 3*d = -2*n - 14, -2*d = -8. Let k = -5 - n. Suppose -5*j + 2*b + 91 = 0, k*b + 3 = 5*b. Is j a multiple of 17?
True
Suppose 11*j - 9 = -3*h + 6*j, 0 = j. Suppose 2*w = -3*o + 35, -2*w + 3*o + 35 = 3*w. Suppose h*c - c = w. Is 5 a factor of c?
True
Suppose 0 = 4*u - 16, o - 8 = 5*o - 4*u. Suppose n = -o*b - 3*b + 3, 0 = -b. Suppose 3*m + 0*t = t + 113, -5*m + 207 = n*t. Is 22 a factor of m?
False
Suppose -41*k = -48*k + 2436. Is k a multiple of 33?
False
Let j = 485 + -373. Is j a multiple of 16?
True
Suppose 2*t - 3*j = 6*t - 81, 4*j + 68 = 2*t. Suppose -p = b - t, -5*p + 72 = -2*b - 20. Is p a multiple of 5?
True
Suppose -5*y + 1 + 19 = 4*m, 2*y - 5 = -m. Let p = -9 - -12. Suppose 2*l = -p*x + 34, -m*l = -3*l - x - 42. Does 10 divide l?
True
Suppose 2*t - 6 = -t. Suppose -a + 14 = 5*d, -t*d + 4*a - 18 = -3*d. Suppose d*s - 14 = 2. Does 6 divide s?
False
Suppose 0 = -40*n + 132312 - 10352. Is 47 a factor of n?
False
Let w(p) = p**2 + 5*p + 6. Let c be (-2)/6 - (-7)/3. Suppose 5 = -c*o + o. Is 3 a factor of w(o)?
True
Let x(h) = h**2 + 6*h + 1. Does 34 divide x(9)?
True
Let v(g) = 29*g**3 + g**2 - 1. Let l be v(-1). Let d = 24 + l. Is 25 a factor of ((-114)/(-10))/(d/(-50))?
False
Let p be (9/4 - 6)/((-2)/8). Let o(h) = 2*h + 18. Is o(p) a multiple of 6?
True
Let m(n) = 3*n**2 + 21*n - 5. Is 3 a factor of m(-9)?
False
Let f = -70 + 71. Let h(i) = 62*i**3 - 2*i**2 - 2*i + 2. Does 6 divide h(f)?
True
Suppose -4*h + j + 8163 = 0, 0 = -5*h - 43*j + 48*j + 10215. Is 17 a factor of h?
True
Let j = 1164 + -665. Does 10 di