z(h) = h - 4. Let a be z(5). Let u be -3*(60/(-9) + a). Let b = 1 + u. Is b a multiple of 13?
False
Let m be (0 - 3)/((-3)/4). Suppose -4*t = -0 - m. Suppose 11 = v + t. Is v a multiple of 10?
True
Let n(u) = -2*u - 6. Let i be n(-4). Suppose -z = 7*k - 2*k - 115, 0 = -2*k + i*z + 34. Is k a multiple of 12?
False
Let v(r) = r**3 + 3*r**2 - r. Let s be 33/(-9) + (-4)/(-6). Let j be v(s). Suppose j*w + 2*w - 240 = 0. Is 16 a factor of w?
True
Let a = 138 - 6. Suppose -a = 3*b - 7*b. Does 11 divide b?
True
Let o(v) = -v - 7. Suppose -2*z + 3*u = 12, -3*z - 4*u - 23 = -5. Let q be o(z). Let m(i) = 6*i**2 - i. Is 7 a factor of m(q)?
True
Let n = -148 + 258. Suppose 0 = 4*o - n - 38. Is 16 a factor of o?
False
Suppose -a - 17 = -2*a + d, -4*d = 4*a - 84. Is a a multiple of 19?
True
Suppose -8 = 4*u - 2*w, 2*u + u - 5*w - 8 = 0. Let d = u - -6. Suppose 0*x - 42 = -d*x. Does 10 divide x?
False
Let f(g) = 14*g**2 - 11*g + 6. Let n(x) = 5*x**2 - 4*x + 2. Let d(r) = -6*f(r) + 17*n(r). Is d(6) a multiple of 11?
True
Let q(r) = 8*r**2 + 2*r - 4. Let v be q(3). Let x = 119 - v. Is 10 a factor of x?
False
Let l be 8/6 + (-2)/6. Let g = l - -25. Is 13 a factor of g?
True
Suppose -4*x + 1201 - 241 = 0. Suppose h + 4*h = 5*j - 250, -5*h + 3*j = x. Does 6 divide (-103)/(-5) - 18/h?
False
Let n(h) = h - 25. Let x(q) = -8. Let i(k) = -2*n(k) + 7*x(k). Is i(-5) a multiple of 4?
True
Let l = 44 + -16. Suppose -3*f + l = -3*b - 2*b, -2*f = 2*b + 24. Let d = b - -16. Does 7 divide d?
False
Let u(a) = a. Let q be u(-2). Let i = -3 - q. Let r(x) = 21*x**2. Does 16 divide r(i)?
False
Let w = -3 - -17. Let l = 21 - w. Is 7 a factor of l?
True
Let u = -5 - -8. Is u*(92/12 + -1) a multiple of 5?
True
Let k(m) = -m**3 - 5*m**2 + 7*m + 8. Let x be k(-6). Suppose -x*h = -7*h. Suppose -2*u = -h*u - 6. Does 3 divide u?
True
Suppose 2*p = 4*j - 662, p - 5*p = -j + 176. Is 35 a factor of j?
False
Let s be (1 - (-3)/(-1)) + 62. Suppose 4*n = -0*n - 4*f + s, -f = 1. Does 8 divide n?
True
Suppose 5*d = 2*y + 102, -16 = -2*d - y + 23. Is 4 a factor of d?
True
Suppose -3*h + 2*b = -0*h - 242, 3*b - 237 = -3*h. Is 10 a factor of h?
True
Suppose 3*p + 2*p - 40 = -o, 0 = 3*o - 4*p - 25. Does 5 divide o?
True
Let t = 118 + 13. Is t a multiple of 28?
False
Let h = 15 + -25. Let y = h + 15. Suppose 5*g = 5*l - 90, 2*l - 4*g + 89 = y*l. Is l a multiple of 10?
False
Let m = -39 + 26. Let c = 7 + m. Is 8 a factor of 18*((-2)/c + 1)?
True
Suppose -63 - 33 = -3*i. Does 4 divide i?
True
Let j(p) = -36*p**2 + p - 1. Let m be j(1). Let s = m + 53. Is s a multiple of 11?
False
Suppose 0*j + 56 = 4*j. Does 6 divide j?
False
Let r = -100 + 148. Does 16 divide r?
True
Suppose 0*q + 5*q = 10. Suppose -3*r - 10 = q*r. Does 6 divide r/9 - (-292)/18?
False
Let q = 0 - -5. Does 10 divide ((-380)/50)/((-1)/q)?
False
Suppose a = 5*a - 2*x - 286, -5*x - 94 = -a. Is 19 a factor of a?
False
Let i(v) be the third derivative of -v**6/120 + v**5/12 + 5*v**4/24 + 7*v**3/6 + 8*v**2. Is i(5) a multiple of 8?
True
Is 19 a factor of 1*(0 - -13)*7?
False
Is 18 a factor of (-809)/(-9) - ((-2)/18 + 0)?
True
Let f(g) = -13*g**3 - g**2. Let i be f(-1). Is 11 a factor of (6/1)/(i/64)?
False
Let c(t) = -t**3. Let r be c(-1). Let w be 1 + r + 2 + 15. Suppose -w - 17 = -4*i. Is 9 a factor of i?
True
Is 18 a factor of ((-6)/8)/((-1)/72)?
True
Suppose -q = -0*q + 5*d + 31, -4 = 4*q - 4*d. Is 15 a factor of (-87)/q - (-1)/2?
True
Suppose -2*z = -4*z - 8. Is 7 a factor of 33/12*-2*z?
False
Suppose 0 = -2*h + 4, -106 = -3*p + 4*h - 3*h. Does 6 divide p?
True
Suppose 0 = -3*d - 4*u + 116, 0 = 5*d + 4*u - 99 - 89. Suppose -4*m + d = -4*y, 2*m - 41 = -2*m - y. Does 9 divide (36/(-10))/((-2)/m)?
True
Let m = 50 - 23. Does 11 divide m?
False
Let o be 128*(10/4)/5. Let y = -18 + o. Let i = -20 + y. Is i a multiple of 10?
False
Suppose 10*k - 5*k = 540. Does 27 divide k?
True
Let z be (-10)/(-2)*(-15)/(-25). Let p(l) = -1 + l**2 - 5*l**3 + l**z + 20*l**3. Is 8 a factor of p(1)?
True
Let f be 2 + (-3)/1 + 8. Let n(l) = 5*l + 5. Is 20 a factor of n(f)?
True
Suppose 6*a + 282 = 12*a. Is 18 a factor of a?
False
Let v(q) = -q**3 - 5*q**2 - 5*q - 8. Let d be v(-4). Let x(r) = r**2 + r - 5. Is x(d) even?
False
Let d be (-7)/(-42) - (-97)/(-6). Let s = -10 - d. Is 6 a factor of s?
True
Let w(a) = 2*a - 12 + a - 4 + 3. Does 11 divide w(9)?
False
Let v be ((-2)/6)/(2/(-78)). Suppose -5*b + 1 = -4. Suppose -v - b = -2*u. Is u a multiple of 7?
True
Is ((-122)/4)/((-2)/4) a multiple of 15?
False
Let f = 53 - 31. Does 22 divide f?
True
Suppose 3*i - 40 = 2*u + 18, -41 = -i + 5*u. Does 8 divide i?
True
Let i(z) = z**2 + z - 2. Let c be i(0). Let p = c + 3. Is 17 a factor of 5*p*102/15?
True
Let i = -133 + 187. Does 9 divide i?
True
Let d(u) = 5*u + 16. Does 22 divide d(16)?
False
Let v(t) = t**2 + 10*t + 11. Suppose -1 = m - 3. Suppose -m*j + 5 - 17 = 2*z, -3*j = -9. Is v(z) even?
True
Let v be 1/1 + (1 - -1). Suppose v*s = -s + 160. Is 20 a factor of s?
True
Let o(l) = -l + 2. Let t be o(2). Suppose 2*j + t*b - 21 = 5*b, -3*j = 4*b + 3. Suppose 150 = j*g + 2*w, g + 2*g - w = 159. Is 22 a factor of g?
False
Let t(g) = 21*g - 2. Let a be t(1). Suppose 2*k + k - 51 = -i, -k + a = i. Suppose -k - 7 = -l. Does 12 divide l?
False
Suppose -10*g = -13*g + 408. Does 22 divide g?
False
Let b = 70 - 53. Is b a multiple of 17?
True
Suppose 252 = 4*c + 5*f, 0*f + 4 = f. Is 7 a factor of c?
False
Let q(z) = -z - 8. Let i be q(-11). Suppose -3*m + 3 = -i. Is m a multiple of 2?
True
Let s be (-2)/(-5) - 64/10. Let b(h) = 4 + 4*h**2 - 6*h**2 + h**2 - 7*h. Does 10 divide b(s)?
True
Does 8 divide -2 + (-14)/(-8) - (-2254)/56?
True
Suppose 0 = -4*w + q - 6 + 1, 0 = -2*w + 5*q + 11. Is 54/10 + w/5 a multiple of 4?
False
Let m(a) = a - 3. Let n be m(-5). Is (-234)/n + 21/28 a multiple of 30?
True
Let r = -6 - 5. Let y = r - -19. Does 4 divide y?
True
Let h = 12 + -8. Suppose -4*p = 4*m - 76, 24 + 16 = h*m - 5*p. Is 6 a factor of m?
False
Let j = 0 - -60. Is 15 a factor of j?
True
Let i = -85 + 163. Is 6 a factor of i?
True
Let k(z) = 2*z + 1. Let r be k(2). Suppose 4*a = 5*v - r, -4*v + 0*v + 2*a = -10. Suppose -v*x + 34 = -16. Is 10 a factor of x?
True
Does 7 divide 5/(4/(11 - -1))?
False
Let b(d) = d**2 - 4*d + 3. Let c be b(4). Suppose 16 = f - c. Is 12 a factor of f?
False
Suppose -49 + 15 = v. Let h = 95 + v. Suppose 4*o + x - 49 = 3*o, -o + 3*x = -h. Is 14 a factor of o?
False
Suppose -4*r = 8, -6*m + m - 5*r + 135 = 0. Does 16 divide m?
False
Suppose 554 + 510 = 7*v. Does 18 divide v?
False
Is 5 a factor of 18/(-30) + 552/20?
False
Let a be (-12)/8 + (-19)/(-2). Let c = 16 + a. Does 13 divide c?
False
Let p(u) = 4*u + 4. Is 6 a factor of p(5)?
True
Let b(m) = m**3 - 4*m**2 - 8*m - 1. Let s(x) = -x**3 + 2*x**2 - 3*x + 3. Let q be s(2). Let n = 3 - q. Is b(n) a multiple of 14?
False
Let o(w) = -w**3 + 8*w**2 - 8. Let k be o(8). Let c(a) = -a**3 - 7*a**2 + 6*a - 4. Is c(k) a multiple of 5?
False
Let m(o) = o**2 + 38. Let v(j) = j**2 - 3*j + 2. Let l be v(2). Let z be m(l). Suppose -c = -p - 3*c + 16, 0 = -2*p + 2*c + z. Does 8 divide p?
False
Suppose 8*p = -7 + 103. Is 6 a factor of p?
True
Suppose 6*d = d - 10. Let a = d - 0. Does 9 divide a/3*(-18 - -3)?
False
Suppose 0*f + 3*f = 9. Suppose -2*n = 5*l - 44, 3*l - f*n - 39 = -0*n. Is l a multiple of 5?
True
Let a = -52 + 68. Is 8 a factor of a?
True
Does 10 divide ((-377)/65)/((-1)/(-10)*-2)?
False
Suppose -6*q = h - q - 29, 2*h + 2*q = 98. Is 27 a factor of h?
True
Suppose -2*i = 4*z + 4, -3*i - 3*z + 3 = -0*z. Let a(y) = 2*y**2 - 3*y - 5. Is a(i) a multiple of 7?
False
Suppose -w + 0*w = -118. Let c = w + -37. Is 27 a factor of c?
True
Let u(f) = -11*f**2 - 5*f + 4*f - f**3 - 4*f + 9 + 4*f. Suppose 2*x = 2*t + 22, -3*x + 0 = t + 11. Does 7 divide u(t)?
False
Let d(q) = 4*q - 8. Let r be d(6). Is 17 a factor of 628/r + 2/(-8)?
False
Let z(i) = 12*i**2 + 2*i - 1. Suppose 3*u = -0*u. Suppose u*p = -5*p + 2*g + 9, 5*g + 10 = 0. Does 13 divide z(p)?
True
Let i be 4*12/16 + -2. Suppose -n = i - 15. Does 7 divide n?
True
Let i(g) = g**3 - 9*g**2 - 10*g + 4. Let l be i(10). Suppose 0 = -3*u + 2*u + 3*o - 39, l*o - 148 = 4*u. Does 3 divide (u/10)/((-8)/20)?
True
Let x(p) = -7*p + 4. Let g be x(-8). Suppose -q + g = 5*q. Is 