-10. Does 3 divide -4 - -17 - x/2?
True
Is 30 a factor of ((-552)/(-10))/(-12*6/(-240))?
False
Suppose 0 = 3*l - 84 - 96. Is l a multiple of 18?
False
Let d = 43 - -81. Is 19 a factor of d?
False
Suppose -s - 8 = -2*s. Let f(r) be the second derivative of -r**5/20 + 2*r**4/3 + r**3/3 + 3*r**2 - r. Is 11 a factor of f(s)?
True
Let w = -67 + 94. Is w a multiple of 3?
True
Let w(o) = -o**2 + 33. Is 12 a factor of w(0)?
False
Suppose 4*j - 57 = 31. Let f = j - -34. Suppose 3*h + 12 = 0, h - 2*h + f = 4*x. Does 5 divide x?
True
Let b = 47 + -13. Does 10 divide b?
False
Does 13 divide 1 - (3 + -52 - 2)?
True
Suppose -5*z - 3*n + 1472 = -396, 5*z = n + 1864. Is z a multiple of 13?
False
Let q be 3 + 0 + -5 + -4. Does 16 divide (-103)/(-2) + q/4?
False
Let t be 3*2/3 - -3. Suppose -w + 5*n = -18, 30 = 5*w + t*n - 0*n. Let d = w + 0. Is d a multiple of 8?
True
Let n be 4/12 + (-17)/(-3). Let q = 11 + n. Is 5 a factor of q?
False
Suppose -4*u + 9 = -7. Does 6 divide 14/u*60/21?
False
Is (2 + -1 - -2) + 115 + 8 a multiple of 18?
True
Suppose -j - 3*j + 3*z = -47, -3*j + 36 = -2*z. Is j a multiple of 7?
True
Suppose -4*k = -3*o - 526 + 181, 5*k = 3*o + 429. Is k a multiple of 28?
True
Let u = -16 + 26. Is (-8)/u - 2112/(-40) a multiple of 9?
False
Let c = 259 + -159. Is 27 a factor of c?
False
Let j = 11 - 9. Let n(k) = 6*k**2 - 2*k - 1. Does 6 divide n(j)?
False
Let z(r) = 4*r**2 + 1. Let h be z(2). Let d = 21 - h. Does 2 divide d?
True
Suppose 3*j + 78 = -0*s - 5*s, 5*s - 2*j = -98. Is s/(-81) + (-590)/(-18) a multiple of 11?
True
Let h(q) = q + 4. Let k be h(-6). Is 8 a factor of (-33)/3*k - -1?
False
Let f be (-6)/(-33) - 128/(-22). Let q(p) = -p**2 + 3*p + 2. Let i be q(f). Let d = i - -28. Does 5 divide d?
False
Is 605/10 + 3/6 a multiple of 17?
False
Let g(l) = -15*l - 7. Let p be g(9). Let s = -85 - p. Is s a multiple of 23?
False
Let k be 7 + (-4)/((-12)/(-9)). Suppose -7 = -5*b - 3*r, 0 = -k*b + r + r + 10. Suppose -5*h = -4*h - b*c - 25, -4*h - 2*c = -100. Does 14 divide h?
False
Let t(c) = -c**3 - c**2 + 3*c - 4. Let v be t(-3). Suppose -v = 2*r + 4*n - 43, -4*n = 12. Is 25 a factor of r?
True
Suppose 4*f = -2*u + 116, -2*u + 66 = -u + 4*f. Is u a multiple of 5?
True
Let i be (-312)/10 + (-1)/(-5). Let a = i + 9. Let o = a + 40. Is 16 a factor of o?
False
Let f(v) = 74*v**2 - v - 1. Let c be 1/((-3 - -2) + 0). Is 25 a factor of f(c)?
False
Suppose -2*k = -3*h + 370, -5*h - 3*k + 718 = 76. Is h a multiple of 12?
False
Suppose -4*p = -f - 5, 29 - 4 = 4*f - p. Suppose -f*g + 2*g = -3*w - 132, -84 = -4*g - 3*w. Does 10 divide g?
False
Let q(k) = 68*k. Is 17 a factor of q(3)?
True
Let j = -1 + 83. Let s be (-1 - -2)/(1/3). Suppose 4*g = 2*r - 53 + 1, -4*r = s*g - j. Is r a multiple of 11?
True
Does 16 divide ((-56)/(-21))/(2/24)?
True
Suppose 2*x - x = 5. Suppose -x*u = 2*i - 127, i + 2*i = 5*u - 147. Does 12 divide u?
False
Suppose -2*w = o - 8, -w = -4*o + 2*w - 12. Suppose p + o*p = 2. Suppose -51 = -f + 4*i, 3*f - 38 = p*i + 65. Is 13 a factor of f?
False
Is (-13)/39*108/(-2) a multiple of 9?
True
Let y(x) = 5*x**3 - 4*x**2 + 3*x. Is y(2) a multiple of 10?
True
Let n(h) = 2*h - 2*h + 34*h**2 + 1 - h. Does 17 divide n(1)?
True
Is 2 a factor of (1/(-2))/((-3)/66)?
False
Let n(i) = -4*i - 12. Let p = -11 + 3. Does 10 divide n(p)?
True
Let s(a) = -9*a + 13. Suppose 5*y + 3*m = -54, -3 = 2*m + 3. Let w be s(y). Suppose 71 = 3*b - 4*h, -3*b - w = -7*b + 5*h. Is 7 a factor of b?
True
Let l be ((-2)/(-4))/(10/100). Let h(o) = o. Let b be h(-3). Let a = l + b. Is a even?
True
Suppose -2*n = -5*s + 282, s + n - 3*n - 58 = 0. Let r be 6/(-18) + s/6. Let t(v) = -v**3 + 9*v**2 - v + 12. Is t(r) a multiple of 2?
False
Is 2 a factor of (-6)/(-5)*240/9 + 2?
True
Suppose -n = -4*s - 0*n + 31, 5*s + 5*n = 20. Let d = s - -13. Suppose -l - 3*i = 11, -10 - d = -5*l + 2*i. Is l a multiple of 2?
True
Let r(l) = l**2 + 6*l - 9. Let z be r(-7). Let x be -1 + (54 - (z + 4)). Suppose 19 - x = -4*c. Does 6 divide c?
False
Let i(c) = 12*c**2 + 4*c - 10. Is 22 a factor of i(3)?
True
Let k(g) = -2*g + 19. Suppose -2*l - 2 = -l - 4*n, l - 14 = -4*n. Is k(l) even?
False
Let b(u) = -u - 4. Let m be b(-5). Is 9 a factor of (-84)/6*-2*m?
False
Suppose 44 = 3*b + 11. Is (-3 - b/3)*-3 a multiple of 10?
True
Let q(n) = -n**3 - 8*n**2 + 9*n - 2. Let g be q(-9). Let k = g + 42. Is k a multiple of 20?
True
Let r be 9/(-2)*(-10)/15. Let s = r + 9. Is 10 a factor of s?
False
Let l(w) = 8*w - 2. Let o(d) = -d + 1. Let m be o(-2). Let g be l(m). Suppose -2*r + 34 = -g. Is 14 a factor of r?
True
Suppose 4*a - 5*f - 31 = 0, 2*a = -2*a - 4*f + 4. Suppose -156 = -4*z - a*o, 2*z - 3*o - 122 + 39 = 0. Is 20 a factor of z?
True
Let r = 18 - 11. Let i = r - 4. Suppose 0 = i*d + 16 - 4, 3*c = 4*d + 55. Is 13 a factor of c?
True
Let x be 9/(-2*3/(-6)). Is (x + -8)/((-2)/(-34)) a multiple of 17?
True
Let h = -7 + 11. Is (-12 + 6)/(h/(-10)) a multiple of 15?
True
Let c(a) = a**2 - 13*a - 16. Let m be c(13). Let z = 61 - 35. Let n = z + m. Is 5 a factor of n?
True
Suppose -3*m - 4 = -c, -4*c = 4*m - 2*m - 2. Let d be -4*(c + -2 + 0). Let i(p) = p**3 - 2*p**2 - 6*p + 2. Is 10 a factor of i(d)?
True
Let w be (6 + -3)/(1/(-3)). Let l be 31*3/(w/(-3)). Let i = l - 4. Is i a multiple of 12?
False
Let t = 4 + -5. Let h(l) = -10*l**3 + l**2 + 2*l + 1. Does 3 divide h(t)?
False
Suppose 0*k = -2*k. Let a be (-2)/(-6)*k*1. Suppose a = 3*d + d + 5*u - 172, -3*d = -5*u - 164. Is 17 a factor of d?
False
Suppose y - 28 - 152 = 0. Does 45 divide y?
True
Let q = -1 - -1. Suppose q = 4*x - c + 5*c - 60, 0 = -5*c + 5. Does 7 divide x?
True
Let a be (-237)/(-6) - 4/8. Suppose -3*v = -3*l - a, 2*v + 3*l + 61 = 7*v. Does 3 divide v?
False
Suppose 2*w + 20 = -5*h, -w - 4 = -3*h + w. Let t = -11 - h. Is 8 a factor of (5 + -1)/((-2)/t)?
False
Let n be (-2 - (-10)/4)*-26. Let u = n - -16. Does 3 divide u?
True
Suppose 0 = 4*s - m - 37, -2*m + 0*m = -6. Let u = -1 + s. Does 2 divide u?
False
Let d = 9 - 4. Is d a multiple of 2?
False
Let l = 19 + -15. Suppose -g + 33 = l. Is g a multiple of 15?
False
Let d = 705 + -419. Does 13 divide d?
True
Suppose 0 = 3*m - 5*y - 28, -5*m + 5*y + 23 = -7. Suppose -5*l - 5*q = -m + 6, -3*l - 9 = 5*q. Suppose -20 = -7*b + l*b. Does 2 divide b?
True
Suppose -2*s + 8 = -78. Is s a multiple of 8?
False
Let d = -18 - -2. Let u = -8 - d. Is u a multiple of 6?
False
Let f(s) = s**3 + 5*s**2 - 3*s - 7. Let r be f(-5). Is (2 + r)*3/2 a multiple of 6?
False
Let c = -3 + 28. Is 5 a factor of c?
True
Let m be 5/(-20) - (-94)/(-8). Let d = -8 - m. Does 4 divide (5 + d)/(6/8)?
True
Let v(u) = 2*u**2 + u - 1. Let t be v(2). Does 16 divide -3*1*(-60)/t?
False
Let g(w) be the third derivative of w**5/30 - w**4/3 + 4*w**3/3 - 4*w**2. Is g(6) a multiple of 16?
True
Suppose -160 = -4*z + 3*z - 5*k, -5*k = 4*z - 700. Is z a multiple of 10?
True
Suppose 5*g - 9*o - 253 = -13*o, -5*o - 88 = -2*g. Is 14 a factor of g?
False
Let k(p) = 3*p**2 - 3*p - 14. Is 28 a factor of k(-6)?
True
Let l be -3*(3/1 + -2). Let q = l + 6. Suppose -p = q*p - 36. Is p a multiple of 4?
False
Is 26 a factor of (2 - 4)*219/(-6)?
False
Let r(z) = z**2 - 6*z - 6. Let k be r(5). Let g = -8 - k. Suppose -2*v + 2 = -g*v, 3*n + 5*v - 41 = 0. Is n a multiple of 17?
True
Let y = -5 + 9. Let b be 22/8 + 2/8. Suppose b*i + 4 = y*i. Is 4 a factor of i?
True
Let v(z) = -7*z + 2. Let o(f) = -13*f + 4. Let c(l) = -3*o(l) + 7*v(l). Let p = -2 - 0. Is 22 a factor of c(p)?
True
Let v(z) = -z**3 + 8*z**2 - 9*z. Does 18 divide v(6)?
True
Let n be 1/6 - (-122)/(-12). Suppose 0 = 4*f - 0*f - 112. Let p = n + f. Is 7 a factor of p?
False
Let v(k) = k**2 + 7*k - 11. Let t(s) = 1. Let f(r) = 4*t(r) + v(r). Let c be f(-8). Let x = 2 + c. Is 3 a factor of x?
True
Suppose s = -2*y + 48, -y + 3*s = -2*y + 14. Is 7 a factor of y?
False
Let o(j) = -3*j**3 - 2*j**2 + 5*j - 1. Let d(c) = -7*c**3 - 4*c**2 + 11*c - 2. Let f(p) = -2*d(p) + 5*o(p). Is f(-4) a multiple of 9?
False
Suppose -2*p + 2 = 2*l, -l - 11 - 18 = -4*p. Let t be 1*(-1 + (-1 - 1)). Is 5 a factor of p + (3 + t)/1?
False
Let g be (28/(-6))/((-4)/(-138)). Is (-1)/(-2) - g/14 a multiple of 4?
True
Let p(r) = r. Let w be p(2). Suppose -4*o - w*q + 100 = 0, 4*q - 15 = -3*o + 55. Does 13 divide o?
True
Su