- 6*v**2 - 6*v. Let i(j) = j**2 - 11*j - 6. Let d(o) = 5*i(o) + 3*n(o). Is d(9) a multiple of 7?
True
Let z(h) = -h - 1. Let x be z(-13). Let l = x - -42. Does 13 divide l?
False
Let s = 35 - -274. Suppose -339 - s = -12*i. Is 18 a factor of i?
True
Let s(n) = 25*n. Let d(k) = -3*k + 2. Let m(z) = z - 1. Let o(l) = d(l) + 2*m(l). Let p(w) = -2*o(w) - s(w). Is 13 a factor of p(-1)?
False
Let t(b) = -34*b - 14. Is t(-7) a multiple of 16?
True
Let o = -110 - -126. Is 8 a factor of o?
True
Let c = 360 + -282. Does 24 divide c?
False
Let p = -532 - -1489. Does 12 divide p?
False
Let w(r) = 5*r**2 + 2*r. Let x be w(2). Let c = x + -19. Suppose 4*j - j + 4 = 5*p, 5*j = c*p. Is p even?
True
Suppose 0 = -2*w - 3*s + 16, 5*s + 10 = -4*w + 8*w. Suppose -3*t - 970 = -4*d, -5*t + 54 - 1264 = -w*d. Let o = d + -153. Is 28 a factor of o?
False
Let f be 48/20 - 2 - 28/(-5). Suppose 131 = -f*j + 353. Is j a multiple of 37?
True
Let u(n) = n - 15. Let c be u(13). Let k be (-2)/c + (-12 - -1). Does 18 divide 270/12*(-16)/k?
True
Let i = -11 + 16. Suppose 14 - 4 = i*t. Is 10 a factor of (-489)/(-15) - t/(-5)?
False
Suppose 3*s - 699 = -4*c + 150, -2*s - 5*c + 573 = 0. Is s a multiple of 13?
False
Let s = 129 + -123. Is s*(38/4 - -5) a multiple of 11?
False
Let a be 4 - ((-30)/(-34) - (-4)/34). Suppose -w - 2 - 9 = 0. Let i = a - w. Is 14 a factor of i?
True
Let i(v) = -v**2 - v - 1. Let c(z) = -z**3 + z**2 + 5*z. Let d(w) = c(w) + i(w). Does 12 divide d(-4)?
False
Let d = 683 - 224. Does 25 divide d?
False
Let i(w) = 3*w**2 - w**3 + 2*w**2 + 3*w - 18 + 11*w**2. Let p be i(16). Suppose 7*x - p = 4*x. Is x a multiple of 6?
False
Let b = 30 - 28. Suppose -y - 5 = 0, 2*l = -b*y - 2*y - 32. Is 18 a factor of ((-316)/l)/(26/39)?
False
Let p(v) = -5*v - 8. Let k be p(-6). Suppose -k = -2*b + b. Suppose l - 11 - b = 0. Is 11 a factor of l?
True
Suppose 5*u + 30 + 30 = 0. Let h = 31 + u. Is 4 a factor of h?
False
Let k(r) = -5*r**2 - 2*r - 1. Let a be k(-1). Suppose -3*t - f - 4 = 0, 5*t + 8 = -3*f - 4. Does 5 divide (t + -1)*(-15 + a)?
False
Suppose -q - 7 = x, x = q + 3*x + 7. Let p be (2 + 4)/(-2) - q. Suppose p*r - 80 = 100. Is 15 a factor of r?
True
Let w(v) = -4*v + 4. Let j be w(12). Let g = j - -104. Does 15 divide g?
True
Suppose -w - f + 601 = -0*f, -3*w = f - 1801. Let k be w/(-13) - 4/(-26). Let h = k - -79. Is h a multiple of 16?
False
Is (2744/21)/7*18 a multiple of 12?
True
Let a = -18 - -19. Suppose -a = -5*r + 14. Suppose -5*g + 61 = -r*u, 3*u - 19 - 30 = -5*g. Does 11 divide g?
True
Let w = -8 - -10. Does 23 divide (20 - -3)/(3 - w)?
True
Suppose 7*q - 264 = 275. Suppose -q = -6*r - 5*r. Does 5 divide r?
False
Let g(h) = -3*h - 14. Let p = -17 - -11. Let k be g(p). Let a = k - -3. Does 7 divide a?
True
Let i be (-9)/(9/(-4)) + 1. Suppose 5*y - 3*x - 65 - 22 = 0, i*x = -2*y + 41. Does 3 divide y?
True
Let p(s) = s**3 + 14*s**2 + 14*s + 15. Let t be p(-13). Suppose 21 = t*o - 63. Does 17 divide o?
False
Is 30 a factor of 3/(-8) + ((-2895)/(-40) - -6)?
False
Let j(s) = s**2 + s + 1. Let z(a) = -7*a**2 - 5*a - 2. Let h(y) = -3*j(y) - z(y). Is h(4) a multiple of 47?
False
Does 36 divide 16/24*(6851/2 + -4)?
False
Suppose -s + 2*u = -9, 0 = -s - 4*u - 0 - 15. Does 11 divide 85 - (1 + 3 + -5 - s)?
False
Does 19 divide (58/(-4))/(6/(-12))?
False
Let v(q) = 28*q - 1. Suppose -4*a - 2 = -5*s, -3*a + 8 = 2. Does 11 divide v(s)?
True
Let x(f) = -f + 11. Let t be x(10). Let m be -867 - t*(3 + 0). Does 19 divide m/(-12) + 1/(-2)?
False
Suppose -3*r + 291 = 8*n - 5*n, 2*r = 2*n - 178. Let u = 173 - n. Does 11 divide u?
False
Let g be (-3)/((-9)/42*2). Let l be (g - 3)/(1*-1). Does 3 divide 18/l*(-6)/3?
True
Let l be (5/(-5))/((2/8)/(-1)). Suppose 2*k = -l*z + 410, 4*k - 5*k + 5 = 0. Is z a multiple of 25?
True
Let y = 1879 - 1142. Is y a multiple of 20?
False
Suppose 6*v + 601 = x + v, -5*v + 1262 = 2*x. Is 4 a factor of x?
False
Let t be (18/4)/((-3)/(-8)). Let p = t - -5. Is 6 a factor of p?
False
Let o = -48 + 28. Let i = 29 + o. Let t(y) = -y**2 + 11*y + 2. Is 20 a factor of t(i)?
True
Does 27 divide (-1)/6*-1612 - 2/3?
False
Suppose 0*g = -3*g + 1305. Let b = -279 + g. Does 27 divide b?
False
Let f = -49 - -171. Suppose 2*q - 30 = -2*w + f, -4*w = -q + 101. Is q a multiple of 13?
False
Suppose 24 = 5*n - 4*n. Suppose 4*r = r + n. Suppose -100 = 6*f - r*f. Is 10 a factor of f?
True
Let i = 4809 - 2081. Is i a multiple of 15?
False
Let n(x) = -4*x - 8. Let w be n(3). Let r be (-2712)/w + 2/5. Suppose r = 4*a - 4. Is 6 a factor of a?
False
Let w(q) = q + 5. Let z be w(-5). Suppose 4 = 2*p - z*p. Suppose -2*g - h = -36, 3*g - 5*h + 4 = p*g. Is g a multiple of 9?
False
Does 34 divide 1/(-8) + -3 + (-2276)/(-32)?
True
Is ((-11)/(-1) + -14)*-87 a multiple of 29?
True
Let q(s) = 5*s + 10. Let k be (-1)/4 + 26/8. Let t(w) = -11*w - 19. Let x(f) = k*t(f) + 7*q(f). Is x(10) a multiple of 13?
False
Let l = -7 - -160. Does 34 divide l?
False
Let t = 475 + -105. Does 20 divide t?
False
Suppose 12*j - 20*j = -3552. Suppose -2*u = 2*w - j, -w + 895 = 4*u - 4*w. Does 44 divide u?
False
Let a be (74/(-4))/((-1)/2). Suppose -5641*d - 368 = -5649*d. Let n = d - a. Is 2 a factor of n?
False
Let r(h) = 5*h - 1. Let k be r(1). Let n(x) = x**3 + 5*x**2 - 4*x - 8. Does 18 divide n(k)?
False
Suppose 96 = 8*m - 0*m. Is 2 a factor of m?
True
Is 5 a factor of (-18357)/(-24) - 33/(-264)?
True
Let b(l) be the second derivative of -l**5/20 + l**4 - 5*l**3/3 + 7*l**2/2 + 4*l. Is b(11) a multiple of 5?
False
Suppose -7*n = 51 + 33. Is (-1194)/n - (-3)/(-2) a multiple of 18?
False
Let r(v) = 1 - 2*v**2 + 3*v - 3*v**3 - 9*v**3 + 11*v**3. Is 5 a factor of r(-4)?
False
Is 34219/76 + (-1)/4 a multiple of 10?
True
Let a(v) = v + 42. Let j be (1/(-4)*0)/1. Suppose j = -2*z + 4*z. Is 14 a factor of a(z)?
True
Suppose 3*r = -2*o + 11 - 3, r + 1 = 3*o. Suppose 0 = -r*t + t. Suppose 2*z + 5*c = 1, t*z = 5*z + 5*c - 25. Is z a multiple of 7?
False
Let x(s) = s**2 + 3*s - 10. Suppose -5 = 5*b - 45. Is x(b) a multiple of 13?
True
Suppose 5*f + 13 = -12, 3*d - f - 923 = 0. Is d/(-12)*(-12)/3 a multiple of 9?
False
Suppose -3*y + 0*y - 9 = 0, 4*t = 5*y + 171. Let b be t/15 + 4/10. Is b/((-12)/8)*-14 a multiple of 14?
True
Let m = 2020 + -676. Is 56 a factor of m?
True
Suppose 0 = -2*c + r + 8, -9 = -3*c + 3*r. Suppose -c*t - 3*m = -0*m - 96, -3*t = m - 60. Does 8 divide t?
False
Let m be 2/(-4) + 35/(-14). Let r be (11/(-2))/(m/42). Suppose -4*g + 3*g + 5*n = -r, 61 = g + 3*n. Is 23 a factor of g?
False
Let a(l) = -7*l - 1. Let r be a(5). Is 112/3 - 24/r a multiple of 19?
True
Let c = 0 + -6. Let x be ((-1)/2)/(3/c). Is (-1)/x + -4 + 19 a multiple of 4?
False
Is 17 a factor of ((-10)/1 - -9)*(-837 - 0)?
False
Let z(v) be the second derivative of 0 - 5/6*v**3 + 3/2*v**2 + 1/12*v**4 - 5*v. Is 23 a factor of z(-6)?
True
Let g = -536 - -1633. Is 12 a factor of g?
False
Suppose -12 = -3*c, 4*d - 4*c + 3*c = 12. Suppose -5*y = -2*v + 30, -19 = -y + 4*y - v. Is 16 a factor of d/y + (-51)/(-2)?
False
Let v be (-16)/1*((-22)/(-4) - 3). Does 15 divide (v/6)/((-4)/18)?
True
Suppose 2*i = -3*i + 3380. Is i a multiple of 15?
False
Is 5 a factor of 272/(-6)*99/(-33) + 5?
False
Let s = 99 - -944. Suppose z = 2*z + 3, 0 = -5*p + z + s. Is 16 a factor of p?
True
Let b(a) be the third derivative of -a**5/60 - a**4/12 + 27*a**3 + 4*a**2. Let o be b(0). Let k = o + -79. Is 25 a factor of k?
False
Let y(p) = -24*p - 95. Does 9 divide y(-7)?
False
Let l(q) be the second derivative of 7/12*q**4 - 1/3*q**3 + q**2 + 9*q + 0. Is 6 a factor of l(1)?
False
Let t = 475 - -600. Is t a multiple of 25?
True
Let l = 12 + -5. Let j(c) = l - 4*c + 2*c + c - 2*c. Does 7 divide j(-5)?
False
Let r = 158 + -44. Suppose 2*w = -k - r, 5*w + 266 + 34 = 5*k. Let t = 103 + w. Is 23 a factor of t?
False
Is 12 a factor of -2*(-9)/24 + 15453/68?
True
Let l(h) = -h - 1. Let r(u) = -8*u - 4. Let f(z) = 18*l(z) - 2*r(z). Let s be f(-7). Suppose 4 = x - s. Is 4 a factor of x?
True
Suppose 2*l + 27 = 5*l. Let z be (18/l)/((-2)/(-3)). Suppose 5*n + 52 = z*c - 125, 268 = 4*c + 4*n. Does 32 divide c?
True
Let q(c) be the second derivative of 13*c**3/3 + c**2 - 5*c. Let j be q(6). Is 8 a factor of j/10 + (-6)/(-30)?
True
Suppose -4*i = -5*i. Suppose -3*f + g + g 