 2*z - 372 = 88, 4*i - z = 466. Is i a multiple of 30?
False
Suppose 2 = 4*h - 122. Is 2 a factor of h?
False
Suppose 2*j - 2 - 39 = -w, 0 = 2*w + 2*j - 86. Does 15 divide w?
True
Let u(l) = l**2 - 8*l - 3. Let r be u(9). Suppose 2*w - r*w + 108 = 0. Suppose -3*j + 54 = 2*x, 5*x + j - 134 = w. Is x a multiple of 11?
True
Suppose -m + 0*m = 0. Suppose 4*j - 48 = -m*j. Is j a multiple of 6?
True
Let h be -3 + (2 + -5 - -30). Suppose h = 6*z - 3*z. Is 8 a factor of z?
True
Suppose 3*o + i + 4 = -0*i, 0 = 4*o - 4*i. Let r(j) = -j. Let s(x) = -63*x. Let t(m) = o*s(m) + 42*r(m). Is t(1) a multiple of 13?
False
Let n(d) = 14*d**2 + 3. Does 34 divide n(-2)?
False
Let h(r) = -1 - 5 - 5*r + 4. Let i be h(-12). Suppose 0 = -4*w + i - 18. Is w a multiple of 7?
False
Suppose 2*v - 26 = v - 5*w, -v - 3*w = -20. Suppose -4*h + v = -5. Let b = 0 + h. Is 2 a factor of b?
True
Suppose -4 = -5*j + 11. Suppose -4*g - 12 = -5*c + 14, 0 = j*c - 5*g - 26. Suppose -2*a - 5*o = -73, 0 = -2*a - 4*o + c*o + 76. Is a a multiple of 18?
False
Let m(q) = -q + 8. Let o be m(5). Suppose -o = -2*z + 3. Is -1*13*(2 - z) a multiple of 11?
False
Let k be (-195)/(-10)*4/6. Let l = 28 - k. Suppose -3*m - 36 - l = -3*w, -13 = -w + 5*m. Is 18 a factor of w?
True
Let w(i) = i**2 + 7*i - 14. Is 4 a factor of w(-10)?
True
Let x(g) = g + 5. Let s be x(-7). Let n = -6 - s. Is (-100)/(-6) + n/6 a multiple of 16?
True
Let j(w) = -4*w**3 + w. Let z be j(-1). Suppose z*y + y = -16. Is 38/4*(-2 - y) a multiple of 19?
True
Suppose -n = -d - 28, 0 = n + 2*d - 33 + 2. Is 29 a factor of n?
True
Suppose 20 = 2*k + 3*j, 5*k - 2*j - 28 - 22 = 0. Is 3 a factor of k?
False
Is 27 a factor of 4 - (0 - 0) - (9 + -217)?
False
Suppose 0 = d - 0*d - 23. Does 23 divide d?
True
Suppose 0 = 3*i - 3*z - 231, i + 0*i = 5*z + 65. Is 13 a factor of i?
False
Let f(c) = 9*c - 3. Let o be f(2). Let a = o - 7. Is a a multiple of 5?
False
Let d(i) = i**3 - 8*i**2 + 7*i + 4. Let z be d(7). Let p be (-4)/((1 - z) + 2). Is 9 a factor of (-54)/p*4/(-6)?
True
Let b be ((-9)/(-6))/((-9)/12). Is 13 a factor of (b - 1)/((-7)/49)?
False
Let q be ((-8)/12)/(2/(-15)). Let l(p) = 2*p + 4*p - p + 6 + 4*p**2 - p**3. Does 6 divide l(q)?
True
Suppose -7 - 22 = -3*m + q, 0 = -3*q - 15. Let t(g) = -g**3 + 8*g**2 + g - 6. Let u be t(m). Suppose -2*v + 56 = u*r, -12 = -2*r - 4. Is v a multiple of 12?
True
Suppose 10 = 4*v - 278. Is v a multiple of 8?
True
Let d = -7 + 9. Suppose 0 = -w - d. Let v = 2 - w. Is 4 a factor of v?
True
Let i(c) = 4*c - 3. Let r be i(4). Suppose r = a - 20. Is 21 a factor of a?
False
Let m(p) = p**3 - 8*p**2 + 5*p + 3. Let h be m(7). Let y(c) = c**2 + 8*c - 8. Does 24 divide y(h)?
False
Let p = -9 + 30. Does 6 divide p?
False
Let t(y) = -y**3 + 5*y**2 + 5*y + 6. Let u be t(6). Let q be 9*-11*2/(-6). Suppose -36 = -3*m + 2*j - u*j, q = 3*m - j. Is 10 a factor of m?
True
Suppose -3*x + 4 = -98. Does 8 divide x?
False
Suppose 34 = 5*d - 16. Suppose 0 = -2*s + 2*a, -s = -2*s + 3*a - d. Suppose k = s*k - 136. Is k a multiple of 10?
False
Is 2*1*(4 + (-5 - -3)) a multiple of 3?
False
Let t = -108 + 165. Let u = t + -35. Does 22 divide u?
True
Let f = -3 + -1. Is 22 a factor of 44/(2 + (f - -3))?
True
Let w be 11/44 - (-10)/(-8). Is (90/35)/(w/(-7)) a multiple of 8?
False
Suppose 7*l - 17*l + 2810 = 0. Does 19 divide l?
False
Suppose -2*c + 160 = 3*c. Is 16 a factor of c?
True
Suppose 2*a - 75 + 238 = 5*b, 2*a - 4*b + 160 = 0. Is 10 a factor of 9/12 + a/(-8)?
True
Let p(z) = -2*z**2 + z + 13. Let c(j) = -j**2 + j + 6. Let h(u) = -7*c(u) + 3*p(u). Is h(8) a multiple of 10?
False
Let a = 122 + -57. Is 17 a factor of a?
False
Suppose 0*c = c + 3. Let k(j) = 2*j**2 + 6*j + 3. Does 3 divide k(c)?
True
Suppose -2*h + 6*l - 2*l = -16, 3*h - 4*l - 16 = 0. Suppose h = -3*r + 2*z + 7 + 7, 2 = 2*r - 5*z. Is 3 a factor of r?
True
Let y(o) = o**3 - 4*o**2 - 7*o + 2. Does 15 divide y(6)?
False
Let p = -38 + 82. Suppose 2*l = 3*l - p. Is l a multiple of 22?
True
Is 17/(-119) - (-253)/7 a multiple of 18?
True
Suppose 2*q + 10 = 7*q. Suppose 5*o - q*x + 278 = 0, -4*x = -3*o - 2*x - 170. Let u = 76 + o. Does 8 divide u?
False
Suppose -h + 10 + 1 = 3*s, -5*h - 2*s = -29. Suppose h*b = -5*k + 25, -4*b - 3*k = -0*k - 23. Does 5 divide b?
False
Let s = -54 - -114. Suppose 3*o - 8*o = -s. Is o a multiple of 12?
True
Let f = 21 - 16. Suppose f*b + 5*c = 16 - 1, -25 = -3*b + 5*c. Does 5 divide b?
True
Let l = -3 - -6. Suppose 6*y - 117 = l*y. Is y a multiple of 13?
True
Let k(y) = -y**3 - 2*y**2 + y - 2. Is k(-4) a multiple of 13?
True
Suppose 0 = -2*l - 10, 3*l - 77 = -4*n + 8*l. Is 38 + 0 - (14 - n) a multiple of 30?
False
Let n be (15/(-6))/(4/(-8)). Let p = 21 - n. Is 8 a factor of p?
True
Let k be 2 + 4/10*5. Suppose -3*u + 85 = 5*w, -w + 21 = -2*u + k. Is w a multiple of 15?
False
Let i(v) = 3*v - 6. Let n be i(5). Let o(u) = -u**3 + 10*u**2 - 8*u + 3. Is o(n) a multiple of 4?
True
Let f(k) = k**2 - 10*k - 12. Is f(12) a multiple of 2?
True
Suppose 4*k - 5*i - 22 = 0, 4*k - 4*i - 7 - 13 = 0. Suppose 2*a - 14 = a + k*l, -28 = -2*a - 4*l. Is a a multiple of 7?
True
Let p(h) = 5*h**3 + 2*h**2 - 5*h - 2. Let a be p(4). Let v be ((-92)/6)/((-14)/105). Suppose 5*z = a - v. Is z a multiple of 12?
False
Suppose -5*k + 233 = 8. Suppose -162 = -3*b - k. Is b a multiple of 19?
False
Is 2 a factor of 6 + (-1 - -2) - -3?
True
Let g = -8 - -12. Suppose 104 = g*d + 2*j, 2 = -2*j - 2. Is 10 a factor of d?
False
Let i be (1 - -1)/(4/(-6)). Let u = i - 4. Let t(v) = v**3 + 7*v**2 - 4*v - 10. Does 9 divide t(u)?
True
Let l(y) = -y + 1. Let p(g) = -g**3 - 3*g**2 + 11*g - 5. Let i(z) = 3*l(z) + p(z). Is 23 a factor of i(-6)?
False
Let q(h) = -h**3 + 7*h**2 - 5*h - 3. Let s be 2 - ((-1 - 1) + -2). Let z be q(s). Suppose 0 = z*p - 7*p + 120. Does 15 divide p?
True
Suppose 36 = 3*p - 7*p. Is 8 a factor of 6/p + 62/3?
False
Let a(m) = 3*m**2 + 2*m. Let k be 1/(-3)*-12*1. Suppose -3*q + 2*q - 2*c = -2, -5*q - k*c = 2. Is a(q) a multiple of 8?
True
Let l be 3 + -3 + 6 + -1. Suppose 2 = l*d - 3, 4*t - 2*d - 26 = 0. Is 13 a factor of 2*t/(-2)*-4?
False
Let k = 4 + -2. Let c = -42 - -84. Suppose c = k*i + i. Is i a multiple of 14?
True
Suppose 0 = 2*f - 3*f + 3. Suppose 6*r - f*r = 6, 5*s = -4*r + 513. Is s a multiple of 29?
False
Let c(j) = j**3 + 5*j**2 + 5*j + 6. Let v be c(-4). Suppose 3*i = -v*i + 20. Is i a multiple of 2?
True
Let j(y) = -y**3 - y**2 - 1. Let o(d) = 6*d**3 + 10*d**2 - 8*d - 2. Let w(n) = -5*j(n) - o(n). Let r be w(-6). Is (5/(-4))/(r/20) a multiple of 3?
False
Let j(h) = h + 8. Let n be j(-8). Suppose 4*v = s - 0*s + 7, 3*s + 2*v - 21 = n. Suppose -3*r - b + 57 = 0, -s*r = b + b - 95. Does 19 divide r?
True
Let x(q) = -q**3 - 12*q**2 - 14*q - 1. Let l be x(-11). Suppose 4 = -4*j + l. Is j a multiple of 7?
True
Let u = 2 + 0. Is 14 a factor of ((-672)/(-60))/(u/10)?
True
Let d = 6 - -18. Does 6 divide d?
True
Let s(v) be the second derivative of v**6/120 - v**5/30 - v**4/24 + v**3/2 - 2*v. Let p(a) be the second derivative of s(a). Is 6 a factor of p(3)?
False
Let u be (6/4)/(15/50). Let z = u - -7. Is z a multiple of 12?
True
Suppose -4*u - 2*c = 26, 0*u - c + 15 = -5*u. Let l = u - -7. Suppose -l*w + 34 = -17. Is w a multiple of 10?
False
Let g = 9 - 13. Let a be (15/g)/((-1)/4). Is 15 a factor of 0/(2/2) + a?
True
Suppose -3*u - 36 = -186. Is 5 a factor of u?
True
Suppose 0 = -5*g - 2*y - 40, 3*g + 4*y + 0*y + 24 = 0. Let d = 30 + g. Does 6 divide d?
False
Let z = -41 - -62. Is z a multiple of 2?
False
Let r(s) = -5*s - 8. Let z = 14 + -9. Suppose 13 + 17 = -z*t. Is 11 a factor of r(t)?
True
Is (-6)/9 - ((-654)/9 + -2) a multiple of 26?
False
Suppose 0 = -4*q + 84 + 16. Does 5 divide q?
True
Let b = 88 + -62. Let i = -8 + b. Is 8 a factor of i?
False
Let u be (-1 - -2)/(3/33). Suppose -4*f = -n - u, 2*n = -4*f - 2 + 4. Suppose i - f*i + 5 = 0, -3*v + 2*i = -38. Is 8 a factor of v?
True
Suppose 3*h = -4*m + 2*h + 31, -m - 16 = 5*h. Is 2 a factor of m?
False
Let m = 120 + 3. Is 13 a factor of m?
False
Suppose -7*f + 2*f + 10 = 0. Does 13 divide (-24 - f)/((-1)/1)?
True
Suppose -68 - 55 = -t. Suppose 5*f - 2*f = -a + 212, -t = -2*f + 3*a. Does 23 divide f?
True
Let y(i) = 2*i - 9. Let v be y(9). Let l = 14 - v. Is l even?
False
Is (94 - 5)/(