 6 - 3. Suppose s + l*f - 20 = 34, 2*f = -4*s + 176. Suppose -p - 2*p = -s. Is p a multiple of 14?
True
Let h(w) = w**3 + 24*w**2 - 5*w - 25. Does 5 divide h(-24)?
True
Let q be ((-120)/(-16))/(6/8). Let o(v) = -v**3 + 12*v**2 - 8*v - 11. Let u be o(q). Suppose -b = 5*d - u, 4*b = -3 - 1. Is d a multiple of 11?
True
Suppose -4*k + 0 = -24. Suppose -5*l = -k*l + 26. Is 13 a factor of l?
True
Suppose 6*a + 3*g = 5*a + 11, -4*a + 17 = 3*g. Let j be (140/(-8))/(-7)*34. Suppose -2 = -2*h, 2*c - h - j = -a*h. Is 15 a factor of c?
False
Suppose 3*w = 2*x - 2*w - 70, -4*x + 128 = -4*w. Is x a multiple of 5?
True
Let z(h) = h**2 - 7*h + 4. Let l be z(6). Let n be (15/2)/(-5)*l. Suppose n*w = w + 32. Does 16 divide w?
True
Let u(q) = -17*q + 17. Does 19 divide u(-5)?
False
Let w = -2 + 6. Suppose -w*j + 16 = -4*o - 16, 3*j + 3*o + 6 = 0. Suppose -2*y = -j*m - 3*y + 35, -3*m = 5*y - 55. Is 10 a factor of m?
True
Suppose 0 = 4*q + 5*u + 1, q + 3*u + 33 = 4*q. Let a(v) = 7*v - 9. Does 11 divide a(q)?
True
Suppose -5*g = -2*g - 78. Does 13 divide g?
True
Let z = -70 + 104. Is 7 a factor of z?
False
Let i(p) = 3*p**3 + p**2 + 3*p - 3. Let w be i(2). Suppose -4*o = -20, o + 4 + 3 = 4*v. Suppose 0 = -f + 6*g - g + w, -v*f + g = -65. Does 13 divide f?
False
Let k(r) = -r**3 - r + 48. Let i = -6 + 6. Is 17 a factor of k(i)?
False
Suppose 0 = 3*g - 0 - 3. Let q = 20 + g. Does 17 divide q?
False
Does 49 divide (-14 + -1435)*(-1)/3?
False
Let x be (1 + 32)*(-2)/3. Let y = x - -61. Is y - (-2)/(1 + 1) a multiple of 15?
False
Let s = -65 + 131. Let y be 2*(-3)/(-6)*0. Suppose y*h = 3*h - s. Does 11 divide h?
True
Let s(t) = 7*t - 27. Is 19 a factor of s(12)?
True
Let g be 53 + (-3)/3*-2. Suppose -v = -2*y - g, -5*v + 3*y + 108 = -3*v. Does 17 divide v?
True
Suppose 5*y - g - 558 - 158 = 0, -3*y - 2*g = -427. Is 13 a factor of y?
True
Let p(v) = -v + 10. Does 4 divide p(-5)?
False
Let o(n) = 0 + 2*n + 2 + 1. Let a be o(-3). Let w(d) = -d**3 + d**2 + 2*d. Is 15 a factor of w(a)?
True
Let f = 67 + -53. Does 2 divide f?
True
Let q(y) = y**2 + 4*y + 10. Let r(j) = -j. Let i be r(-4). Suppose 2*v + 2*v + 17 = -3*p, -p - 3*v = i. Does 12 divide q(p)?
False
Suppose 3*f + 3*d = 315, f + 2*f - 4*d = 294. Is 34 a factor of f?
True
Let p(v) be the first derivative of 3*v**3 - v**2/2 - 1. Let x = -8 + 7. Is 10 a factor of p(x)?
True
Let k(z) = 3*z - 7. Let l = 13 + -3. Is 11 a factor of k(l)?
False
Let l(f) = f**3 - 4*f**2 - 4*f + 3. Let j be l(5). Let s = -9 + 5. Does 6 divide ((-6)/s)/(1/j)?
True
Let b(q) = 8*q - 2. Let d = 9 + -6. Is b(d) a multiple of 11?
True
Let n = 83 - -5. Suppose n = -0*i + 4*i. Is i a multiple of 6?
False
Suppose 4*q = 5*u + 3 + 30, 3*q = u. Let k be ((-2)/3)/(2/u). Suppose -k*z + 7 = -11. Does 3 divide z?
True
Let n be -5 - (2 - 0) - -1. Let k(j) = -6*j - 6. Let x be k(n). Suppose 0 = -4*u + u + x. Is 8 a factor of u?
False
Suppose -2*b + 2*f = b - 324, 0 = -4*b + 5*f + 425. Let m = b - 28. Let o = m + -52. Is o a multiple of 10?
True
Suppose 2*l - 6*w + w - 50 = 0, -4*w - 1 = l. Suppose 4*s - l = -s. Suppose -2*z + s*h + 2*h = 7, 6 = 2*h. Is 2 a factor of z?
True
Let c(h) = h + 8. Let p be c(-6). Suppose 19 = p*z - v, -8 = -z - 0*z + v. Is 11 a factor of z?
True
Let z be (-12)/10*5/2. Let a be (z + 3)*(-2)/(-4). Suppose a = -d + 3*d - 10. Is 5 a factor of d?
True
Suppose -5 - 1 = 3*l. Is 18 a factor of (-73)/l - (-7)/(-14)?
True
Let o = 40 - 27. Let r = o + 15. Does 10 divide r?
False
Suppose -m + 280 = 2*j, -5*j + m = -0*j - 686. Is 23 a factor of j?
True
Let q(l) = l**2 + 2*l - 3. Is 3 a factor of q(-6)?
True
Let m(p) = 2*p - 3. Let t be m(3). Let u(h) = 4*h + 4. Let w(v) = 4*v + 3. Let s(b) = -2*u(b) + 3*w(b). Does 5 divide s(t)?
False
Let d(l) = 2*l**2 + 2*l + 1. Let o be (-4)/4 + (3 - 0). Is d(o) a multiple of 5?
False
Suppose -x = -6 + 2. Suppose -5*b + 31 = 5*d + 6, -2*d + x*b = -28. Is d a multiple of 4?
True
Let q = 4 + 0. Suppose 9*d + 100 = 5*g + q*d, -2*d = g - 17. Is 19 a factor of g?
True
Let b be 8*(1 - -3)/(-4). Let z = 16 + b. Is z a multiple of 8?
True
Let g be (-3)/(-12) + (-1183)/(-4). Let h = g + -168. Suppose -j + h = 3*j. Is 16 a factor of j?
True
Suppose 2*s = 221 - 91. Does 23 divide s?
False
Let y = -75 + 145. Does 21 divide y?
False
Let i(h) = 9*h - 3 - 3 + 3*h. Is 23 a factor of i(5)?
False
Let t = 151 + -107. Is t a multiple of 11?
True
Let d = 1 - -2. Does 2 divide -5 + -1 + d - -6?
False
Let f = 70 - -28. Is 10 a factor of f?
False
Let u be (1/(-2))/(3/(-12)). Let c(g) = g**3 - g**2 + g - 2. Does 2 divide c(u)?
True
Let t = 21 + 32. Does 12 divide t?
False
Let b(z) = -z**2 + 8*z + 7. Let y be b(8). Suppose -9 - y = -3*j + 2*w, 12 = -4*j - 4*w. Suppose f = -j*f + 48. Is f a multiple of 12?
False
Let n = -35 - -43. Is 4 a factor of n?
True
Suppose -4*j + 44 = -2*z, j - 15 = -2*j. Let n = 20 + -27. Let x = n - z. Is 5 a factor of x?
True
Let r(k) = 38*k. Let o = -2 - -3. Let m be r(o). Let j = m + -22. Is 8 a factor of j?
True
Suppose -40 = -2*l - 4*q - 6, 4*l = -4*q + 56. Does 6 divide l?
False
Suppose 0*l = l + 2*k - 15, 0 = 4*l + 5*k - 75. Does 18 divide l?
False
Suppose -2*n + 9 = -25. Does 12 divide n?
False
Let a = 240 - 42. Is a a multiple of 33?
True
Does 7 divide -4 + -1 + 1 + 11?
True
Suppose 2*j + 102 = k - 0*j, 0 = -5*k - j + 477. Is k a multiple of 12?
True
Is ((-56)/3)/(14/(-63)) a multiple of 28?
True
Let m = -137 - -195. Is m a multiple of 29?
True
Let l(x) = 5*x. Is 3 a factor of l(1)?
False
Let z = -46 + 132. Does 21 divide 0 + -1 - z/(-2)?
True
Suppose 4*q - 3*k + 4 = -k, 5*k - 10 = 2*q. Let a be 15/2*6/9. Suppose -a*i - 3*p + 195 = q, -160 = -2*i - 3*i + 4*p. Is 18 a factor of i?
True
Let f(n) be the first derivative of -n**2 + 9*n + 3. Let l be f(6). Is 3 a factor of l - (-1 + (-26)/2)?
False
Does 17 divide 48 + (-60)/(-25) + (-3)/(-5)?
True
Is 10 a factor of 16/4 - (-54 - 2)?
True
Suppose 3*d - 18 = z + 3*z, 2*d - z = 7. Suppose l = o - 2*l - 34, 0 = 5*o + d*l - 102. Is 11 a factor of o?
True
Let m(a) = -a**3 - 15*a**2 - 15*a - 7. Does 3 divide m(-14)?
False
Is 42 a factor of 3/(-15) - (-3786)/30?
True
Let l = 2 - 1. Suppose d = 3 - l. Is (2 - -28) + (d - 0) a multiple of 18?
False
Suppose 4 = -2*k + 12. Let l = -10 + 14. Suppose 2*c = -k*d + 26, -70 = -l*c - d + 2*d. Is c a multiple of 9?
False
Let f = -12 + 3. Is 110/6 - (-3)/f a multiple of 18?
True
Suppose 0*z - 762 = -4*z - 3*t, -5*t = -5*z + 935. Is z a multiple of 21?
True
Is (1/1 - -1)/((-3)/(-429)) a multiple of 11?
True
Suppose 3*l - 36 - 120 = 0. Is l a multiple of 26?
True
Let u(n) be the second derivative of n**4/12 - n**3/6 + 3*n**2/2 + n. Suppose 0 = -3*w + 14 + 1. Is 11 a factor of u(w)?
False
Let t = 1 - 1. Let f = t + -3. Is 3 a factor of (6/f - 1)*-1?
True
Does 34 divide (((-108)/8)/3)/(2/(-80))?
False
Is ((-1)/1)/(-2 + 33/18) a multiple of 4?
False
Let y = 4 + -3. Let h(b) = 0*b + 0*b - 3 + y + 4*b. Is h(2) a multiple of 6?
True
Let y(r) = -r - 6. Let d be y(-11). Suppose 15 = 2*o - 3*w, -d*w = 5*o - w - 3. Is 23 a factor of 45 - -2*o/6?
True
Suppose 1606 = 5*c - 3*h, c - 167 - 168 = -4*h. Does 17 divide c?
True
Let y(v) = v**3 - 2*v + 1. Let w = -10 + 12. Does 2 divide y(w)?
False
Let r(o) = o**2 - 8*o + 2. Let d be r(6). Does 7 divide (24/d)/((-3)/10)?
False
Suppose 0*b - b = -134. Suppose 0 = 3*f + 35 - b. Is 8 a factor of f?
False
Suppose d - 17 = 5. Suppose -3*h + 113 = -d. Does 10 divide h?
False
Let r = 32 + 8. Is r a multiple of 10?
True
Let o be 2/(-3) - 121/(-33). Is (-2)/(-2)*(0 + o) a multiple of 3?
True
Let a = 2 + 2. Let k = 14 + a. Is k a multiple of 9?
True
Let q(z) = z**3 - 10*z**2 + 7*z + 13. Let c be q(9). Let w(h) be the third derivative of -h**4/6 - h**3/3 - 2*h**2. Is w(c) a multiple of 9?
True
Let d(b) = 63*b - 10. Does 13 divide d(3)?
False
Let i = 183 - 130. Does 7 divide i?
False
Suppose 0 = 3*r - 2*r + 1. Is 12 a factor of 2*(-164)/8*r?
False
Is 45/(-6)*16/(-6) + 1 a multiple of 5?
False
Suppose 2*o + 16 = 4*z, 5*o - 2*o + 2*z = 0. Let p(m) = 1. Let v(f) = -5*f - 4. Let a(x) = p(x) + v(x). Is 7 a factor of a(o)?
True
Let j(z) = 19*z**2 - 5*z + 18. Is 38 a factor of j(-4)?
True
Suppose -2*a - a = 6. Let m(y) = -20*y**2 - 10*y + 8. Let h(t) = -t**2 - t + 1. Let x(c) = 8*h(c) - m(c). Is 22 a factor of x(