+ j. Is v a multiple of 20?
False
Let a = 14 + -9. Suppose a*u - 117 = 3*i + 137, 0 = -5*u + i + 248. Is 12 a factor of u?
False
Let i(x) = -21*x - 9. Let g be i(-5). Suppose -4*q = -52 - g. Is 10 a factor of q?
False
Does 18 divide 3*(-1)/(-6) + 1724/8?
True
Suppose -3*t + 2*q + 172 = -0*t, 5*t + 3*q - 274 = 0. Suppose t = -v + 5*v. Is v a multiple of 7?
True
Suppose 0 = p + 4*p + 90. Let v be (-4)/p - (-148)/(-18). Let d = -2 - v. Is d a multiple of 6?
True
Let i = -42 + 66. Suppose -i + 9 = -5*h. Is ((-100)/6)/(h/(-9)) a multiple of 22?
False
Let c(j) = -j + 13. Is 22 a factor of c(-9)?
True
Let r(k) = -11*k - 3. Suppose -2*j - 5 = -u, 4*j + u + 13 = -0. Is r(j) a multiple of 15?
True
Let j(l) = 6*l - 4. Let w be j(4). Suppose 0 = g + g - w. Does 3 divide g?
False
Suppose -u + 73 = 5*i, 0*u - 2 = u. Suppose j - 4*v + i = 0, 2*j - 2*v - 5 = -j. Suppose -j*h + 65 = -15. Is 16 a factor of h?
True
Is 53 a factor of 1 - -254 - (8 - (14 - 7))?
False
Let l = -2 - -3. Let x be -1 + l*39/3. Suppose 31 + 3 = t + 3*d, -4*d = -x. Does 12 divide t?
False
Suppose -4*q + 0 - 24 = 0. Let f be ((-2)/q)/((-3)/(-36)). Suppose 96 = -s + f*s. Is s a multiple of 16?
True
Let s(l) = -l**3 + l - 55. Let z be s(0). Let x = 95 + z. Is 14 a factor of x?
False
Let w = 8 - -73. Does 51 divide w?
False
Suppose 3*y - 588 = -3*a, -4*a + y = -259 - 535. Is a a multiple of 66?
True
Is 11 a factor of 4/10 + (-1098)/(-5)?
True
Suppose 2*h - h = 5*k + 32, -4*h - 5 = -k. Let a(j) = j**3 + 6*j**2 - 7*j + 3. Let b be a(k). Suppose -b*c + 0*c + 72 = 0. Is 12 a factor of c?
True
Let g(w) be the second derivative of -w**3/3 + 3*w**2/2 - w. Let o be (-6)/4*(-96)/(-18). Is g(o) a multiple of 19?
True
Let q(f) be the second derivative of -f**5/20 + 5*f**4/6 + f**3/2 - 3*f**2/2 - f. Let p(s) = -s**3 - 5*s**2 + 5*s + 4. Let r be p(-6). Is q(r) a multiple of 9?
True
Let b(v) = 43*v**3 - 2*v + 1. Does 14 divide b(1)?
True
Suppose 2*u + 7 = 1. Let g(a) = -2*a - 2 + 6 + 0. Does 8 divide g(u)?
False
Suppose 5*q + 288 = -4*w, w = -6*q + 2*q - 61. Let a = w - -51. Let p = 12 - a. Does 19 divide p?
True
Suppose -4*q = 16, -b - 14 = -0*b + 3*q. Let w be (-3 - -4)/(b/12). Does 4 divide 3*2/6 - w?
False
Let n = 34 + -15. Suppose -n = c - 2*c. Suppose -65 = -3*y + c. Is y a multiple of 14?
True
Let l = -45 + 97. Suppose 5*m - 96 = -f, -3*m + 3*f + l = 5*f. Is m a multiple of 5?
True
Suppose -5*a + 5*n = n - 645, 0 = -4*a + n + 505. Does 12 divide a?
False
Let q(w) = -w**3 - 11*w**2 + 11*w + 3. Let l be q(-12). Let f = -8 + l. Is f a multiple of 5?
False
Let k be (46 - 5) + 0/(-1). Suppose -59 = -4*m + k. Suppose -2*h + 11 + m = 0. Is h a multiple of 14?
False
Suppose 0 = -4*a + o + 52, 5*o + 8 = 3*o. Is 6 a factor of a?
True
Let c(j) = -3*j**2 - 1. Suppose -2*x - 4*k + 4 = -6, -5*k = -5*x - 20. Let t be c(x). Is 6 + t - 13*-1 a multiple of 14?
False
Suppose -2*j - 16 = -162. Is j a multiple of 13?
False
Let h = 5 + -1. Suppose 25 = -h*w + 97. Does 9 divide w?
True
Suppose -5*d = -5, -3*q = -0*q + 3*d - 15. Is q a multiple of 3?
False
Let n(m) = -22*m + 2. Let v be n(-1). Let c = -19 + v. Is c a multiple of 2?
False
Let r(w) = -3*w**3 - 2*w**2 - w - 1. Let t = 2 + -4. Let o be r(t). Let j = 25 + o. Is j a multiple of 21?
True
Is ((-15)/(-1))/(1 - 0) a multiple of 7?
False
Let k be (-15)/6 - (-3)/(-6). Let l = k - -5. Suppose -z = l - 6. Does 4 divide z?
True
Suppose 0 = -3*z - 25 - 11. Let v(s) be the third derivative of s**5/60 + 7*s**4/24 - 13*s**3/6 + 4*s**2. Is v(z) a multiple of 13?
False
Let l = 39 - 25. Does 7 divide l?
True
Suppose 2*p - 5*x - 18 = 0, -44 = -4*p - 5*x + 22. Does 14 divide p?
True
Is 20 a factor of (-5)/(-2)*26 - -3?
False
Let p be 0/(3/3) + 6. Suppose -y + 3*i = -p*y + 325, -5*y - 5*i + 315 = 0. Does 24 divide y?
False
Let q = -2 + 5. Suppose t - q*h = 42, t = -0*t - 3*h + 12. Does 9 divide t?
True
Let c(m) = m + 1. Let v(n) = -n**2 - 6*n - 17. Let u(d) = -5*c(d) - v(d). Suppose 0*k - 2*k = 0. Is u(k) a multiple of 5?
False
Let c(z) = -z**3 - 4*z**2 + 4*z - 3. Let q be c(-5). Let h = 0 - q. Does 4 divide h/(-2)*-3 - -7?
True
Let n = 6 - 0. Let k = 0 + n. Is k even?
True
Suppose q + 24 - 57 = 0. Suppose 7 + q = -5*w. Let j(y) = y**3 + 9*y**2 + 6*y - 3. Is 13 a factor of j(w)?
True
Suppose -3*f + 53 = 14. Does 13 divide f?
True
Let g = -24 - -202. Does 13 divide g?
False
Does 35 divide (618/4)/((-24)/(-32)) + 4?
True
Suppose 4*l + 4 + 16 = 0. Let i be 1/(-5) + (-101)/l. Suppose 3*t = i - 5. Does 4 divide t?
False
Suppose -3*g + 24 + 28 = 2*s, -g - 2*s = -24. Suppose -3*n - 39 = -5*w, -2*n + 2 = 2*w - 4. Suppose -g - w = -2*u. Is 4 a factor of u?
False
Is 2 a factor of (6 + -4)*1/1?
True
Let f(n) = n**3 + 9*n**2 + 13*n + 1. Is 9 a factor of f(-4)?
False
Let k(g) = -6*g**2 + 15*g + 5. Let j(z) = -3*z**2 + 7*z + 2. Let o(y) = -7*j(y) + 3*k(y). Let i = 2 + -5. Does 12 divide o(i)?
False
Suppose 13 = -u + 98. Is 18 a factor of u?
False
Suppose 5*u - 6*p = -11*p + 460, 0 = -2*u - 4*p + 192. Is 15 a factor of u?
False
Does 2 divide (72/(-1))/(-4) + 0?
True
Suppose 66 = 6*s - 150. Does 18 divide s?
True
Let v(m) = m**2 + m. Let l be v(0). Suppose -2*h - 46 = 5*k - 118, l = -3*k + h + 52. Does 16 divide k?
True
Let o(z) = z - 5. Let r be o(-4). Let f(l) = -3*l + 7. Does 17 divide f(r)?
True
Let d be 80/(-14) - (-10)/(-35). Let v(f) = -6*f - 2. Is 17 a factor of v(d)?
True
Let p be ((-6)/4)/((-6)/8). Let a(u) = 2 - p - 6 - u. Is 2 a factor of a(-10)?
True
Suppose 3*f - 18 = -0*f. Let q be (-9)/f*(-4)/6. Is ((-1)/2)/(q/(-22)) a multiple of 11?
True
Suppose -4 = -2*o - 2*o. Let c = o + -2. Is (2 + 16)*c/(-2) a multiple of 7?
False
Let h = 2 - 0. Let l(v) = h*v + 3*v**2 + v**3 - 4*v**2 - 6*v - 3. Is 18 a factor of l(4)?
False
Suppose 0 = -3*f + 4*z - 54, 5 = -f - 5*z + 2*z. Let x = 15 - f. Is x a multiple of 10?
False
Let r = 143 - 54. Is r a multiple of 16?
False
Let y(x) = -4*x**2 + 9*x + 6. Let a(h) = -3*h**2 + 9*h + 5. Let i(b) = 3*a(b) - 2*y(b). Let c be i(4). Let f = -8 + c. Does 6 divide f?
False
Let f = -2 + 7. Does 6 divide (f - 1)/((-8)/(-36))?
True
Let x = -2 + -1. Let c(t) = -5*t**3 + 3*t**2 + 4*t - 3. Let z(f) = f**3 - f. Let d(w) = c(w) + 6*z(w). Is d(x) a multiple of 2?
False
Let h = 42 + -23. Does 4 divide h?
False
Suppose -5*z + 10 = 4*v, -2 - 2 = -4*v - 2*z. Suppose -2*b - 7 + 35 = v. Is b a multiple of 14?
True
Let a(t) = 0*t**3 + 15*t**2 - 6*t**3 - 14*t + 11 + 5*t**3. Is a(14) a multiple of 3?
False
Suppose 8*l - 9*l + 6 = 0. Does 3 divide l?
True
Suppose -49 + 119 = 5*k. Is k a multiple of 5?
False
Let c be 27/6 - 2/(-4). Suppose -4*a - 4*m - m = -12, -4*a = -m - 36. Suppose d + 4*b = 14, 0 = -d - c*b + 4 + a. Is d a multiple of 11?
True
Let u = 51 - 21. Does 15 divide u?
True
Let v(d) be the third derivative of 0*d + 2/15*d**5 + 0 - 1/3*d**4 - 2/3*d**3 - 1/120*d**6 - d**2. Is 10 a factor of v(6)?
True
Let z(q) = -2*q - 7. Let d be z(-5). Let m = -23 - -38. Suppose 63 - m = d*a. Is a a multiple of 16?
True
Let f = 110 - 205. Let h = -54 - f. Does 7 divide h?
False
Let u = 5 + 0. Is 7 a factor of 35/u*(1 - 0)?
True
Let d be (4 + -6 + 2)/1. Suppose -3*z + 9 = 5*t - 82, -2*z - 2*t + 54 = d. Is z a multiple of 22?
True
Let u(f) = 0*f + 9 + 0*f - f. Is 5 a factor of u(0)?
False
Let v(u) = -4*u + 8. Is v(-13) a multiple of 20?
True
Let j(s) = s**3 - 11*s**2 - 11*s + 2. Let h(f) = -f**2 + 8*f - 3. Let n be h(5). Is j(n) a multiple of 6?
False
Let x(z) = 53*z - 10. Is x(2) a multiple of 12?
True
Suppose -t + 3*t = -4. Let c(b) = 9*b**2 + b + 2. Does 12 divide c(t)?
True
Let m be 32/12 - 2/3. Suppose -r = m*r - 189. Is r a multiple of 21?
True
Let a = 203 + -100. Suppose -2*r - 5*s + 2*s + 10 = 0, -5*r + 25 = 4*s. Suppose -4*c = -c - 4*v - 189, 2*c = -r*v + a. Does 20 divide c?
False
Let d(i) = -2*i**2 - 3*i + 3. Let h(x) = 2 - 4*x**2 - x + 3*x**2 - 2*x. Let s(y) = -2*d(y) + 3*h(y). Does 2 divide s(4)?
True
Is (6/(-9))/(3/(-225)) a multiple of 7?
False
Suppose 4*z = z. Let o be ((z - -2) + 0)/(-1). Let p = o + 25. Is 12 a factor of p?
False
Suppose 5*g + 4*a - 107 = 0, 1 = 4*g - 3*a - 66. Is 7 a factor of g?
False
Let z be 4 - (-1)/((-2)/2). Suppose 0 = 4*j + 20, -4*k - z*j + j = -90. Does 12 divide k?
False
Suppose -4*g = 3*x + 227, -8*x + 4*g = -4*x + 284. Let r = -48 - x