r(-5). Suppose -2*z - 146 = -4*p, -s*p - z + 179 = -0*p. Is p a multiple of 13?
False
Let o(l) = -23*l + 6. Is o(-3) a multiple of 13?
False
Suppose 2*k + 5*h = 111 + 251, 0 = 3*h. Is k a multiple of 10?
False
Let k = -21 - -15. Let p(j) = -8*j - 1. Is p(k) a multiple of 17?
False
Suppose -7*p = -3*p + 128. Let x = 12 - p. Is x a multiple of 12?
False
Let m(t) = 1. Let z(h) = 2*h**2 + 5*h + 11. Let u(q) = -6*m(q) + z(q). Let a be u(-5). Suppose 0 = 4*r - a - 50. Does 20 divide r?
True
Suppose 3*w - 5*w = 0. Suppose w*g + 3*g + 4*h = 64, -h + 79 = 3*g. Let y = g + 8. Does 18 divide y?
True
Let f(j) = 2*j**3 - 4*j**2 + j + 2. Let y be f(2). Suppose 2*d = y*d - 96. Does 20 divide d?
False
Let h(i) = -3*i**2 - i - 7. Let b be h(6). Let l = b - -66. Let s = l - -103. Is s a multiple of 20?
False
Suppose -4*b + 10 = 5*d - 5*b, 0 = d - b - 6. Suppose -r + d = 9. Let c = r - -30. Is c a multiple of 13?
False
Let r(s) = s - 1. Let d(o) = -3*o**2 - o + 1. Let h(i) = -d(i) - r(i). Let v be h(-1). Is -1*2 - (v - 11) a multiple of 6?
True
Let k = 117 - -199. Is k a multiple of 12?
False
Suppose 0 = 2*i + i. Suppose -4*f = -i*f + 24. Is 74/(f/(-3)) + -1 a multiple of 12?
True
Suppose 7*p = p + 264. Does 11 divide p?
True
Suppose 3*s + 10 = 79. Is 8 a factor of s?
False
Suppose 0 = -7*k + 2*k - 10, 5*q + k + 27 = 0. Let s be (-3 + 5 + -3)*q. Suppose s = 5*y - 55. Is 7 a factor of y?
False
Let b(v) = v**3 - 12*v**2 - 3*v. Let h(y) = -y**2 - y + 1. Let n(i) = b(i) - 5*h(i). Is n(7) a multiple of 9?
True
Let y = 38 + -35. Let j = 15 - 11. Suppose -4*z - 2*s = -z - 106, j*z + y*s = 141. Is 12 a factor of z?
True
Suppose 2*j - 246 = -5*s, -5*s = -2*s + 5*j - 140. Does 10 divide s?
True
Let v(i) = 0*i**2 + 3*i**3 - i**2 - 4*i**3. Let o be v(-1). Suppose o = 2*n + n + 3*p - 90, -n = -5*p - 42. Does 16 divide n?
True
Suppose 3*t = 2*p - 0*p + 7, -3*p = 4*t - 15. Suppose 3*q - 156 = -t*v, -v = q + 3*q - 64. Is 16 a factor of v?
True
Let a(f) = -f**2 - 27*f + 20. Let y be a(-15). Suppose -i - 2*d + 28 = 0, 0*i = 5*i - 5*d - y. Is i a multiple of 7?
False
Let k(p) = -45*p**3 - p**2 - p - 1. Let s be (-6)/2*(-4)/4. Suppose -y = -s*y - 2. Does 17 divide k(y)?
False
Let j(q) = 3*q**2 + 2 - 4 - 2*q - 1. Let c be j(-2). Suppose b = k - 30, -k + 1 = 3*b - c. Does 9 divide k?
False
Suppose 0 = -5*i + i + 40. Is 3 a factor of ((-36)/i - -3)*-15?
True
Let x = -111 - 3. Let a = -75 - x. Does 13 divide a?
True
Let i be -1 + 6/3 - -1. Suppose -i*t + 7 = -5. Is t a multiple of 2?
True
Let c(j) = -j**3 + 3*j**2 + 6*j - 3. Let p be c(4). Suppose -5*i + 2*m + 38 = 0, p*i - 35 = 4*m + m. Is 2 a factor of i?
True
Suppose 0*r - 3*r + 165 = 0. Let i = r - 16. Is i a multiple of 13?
True
Let u(c) = 33*c + 1. Let x = 1 + 0. Does 15 divide u(x)?
False
Suppose 16 = 2*s - 4*t, -2*s + 5*t = -4*s - 20. Let q = s + -9. Is (-190)/(-6) + (-3)/q a multiple of 16?
True
Let l(z) = -z**2 + 5*z + 8. Let t be l(6). Suppose -t*n + n = -14. Suppose n = 5*h - 91. Is h a multiple of 18?
False
Let z = -1 - -4. Is 23 a factor of (-68 + -1)/(z + -4)?
True
Is 5 a factor of 65/(-26)*88/(-10)?
False
Let m = -98 + 196. Is 14 a factor of m?
True
Let w(d) = 31*d - 5. Is 30 a factor of w(4)?
False
Is 6 a factor of 16/(-4) + (-120)/(-3)?
True
Let p(i) = -i**3 + 11*i**2 - 9*i + 12. Let w be (-40)/(-2)*(0 - 1). Let d = w + 30. Does 11 divide p(d)?
True
Let w = -49 - -80. Is w a multiple of 10?
False
Let g(i) = 4*i + 1. Let m be g(1). Let y be 2 - m/(5/18). Is 95/4 + (-4)/y a multiple of 13?
False
Let l be (-1 - (1 - 1))*1. Let b(g) = -6*g. Let j be b(-2). Let p = j + l. Is 11 a factor of p?
True
Suppose -5*w - 590 = -10*w. Does 14 divide w?
False
Let v(p) = p - 9. Let i(l) = -l**2 + 7*l - 1. Let d be i(3). Is 2 a factor of v(d)?
True
Let h = 26 + -50. Let r = h + 45. Suppose -15 = -t + n, 3*t + 2*n = 9 + r. Is t a multiple of 12?
True
Does 2 divide 1/2*(-1 + 13)?
True
Let f = 3 + -3. Is 3/12*f - -11 a multiple of 4?
False
Let m(g) = -g**3 - 7*g**2 - 2*g - 3. Let l = 3 + -1. Suppose u + 31 = -5*h + 5*u, l*h = -2*u - 16. Does 11 divide m(h)?
True
Let j(s) = s**2 - 7*s - 9. Does 5 divide j(9)?
False
Let v be (-1 + -15)*(-1 - -2). Let i be ((-81)/12)/(6/v). Is 3 a factor of 116/36 - 4/i?
True
Suppose -8 = 2*h, 2*i - i + 5*h - 45 = 0. Let q = i + -92. Let g = 47 + q. Does 20 divide g?
True
Let b(t) = -3*t - 4. Suppose 18 = -3*r + d, 0 = 2*r - 2*d - 2*d + 12. Let i be b(r). Is 9 a factor of ((-36)/14)/((-2)/i)?
True
Let n(d) = -d**3 - 4*d**2 - 2*d + 3. Let m be n(-3). Suppose m*h = 4*o - 5*h - 40, -o + h = -9. Is 5 a factor of o?
True
Suppose 5*o + 11 - 31 = 0. Is (-582)/(-24) - 1/o a multiple of 6?
True
Let m(j) = j**2 + 4*j + 2. Let y be m(-2). Let a = 50 + y. Is 12 a factor of a?
True
Let r be 2*(-6)/(-2) - 2. Suppose r*o = 41 + 55. Suppose -3*q = q - o. Does 6 divide q?
True
Let r(y) = y**2 + 6*y. Let h be r(-6). Suppose h = 3*p - 2*p. Let v = p + 3. Is v a multiple of 3?
True
Let s be (12/(-16))/((-2)/88). Suppose 3 = c + t, 5*t + 0 = 3*c - s. Does 3 divide c?
True
Is 35*4*((-108)/30 + 4) a multiple of 28?
True
Suppose 2*g = 6*g - 16. Suppose -2*o = 3*z + 15 - 81, -g*o + 152 = -4*z. Is o a multiple of 18?
True
Let m(b) = 7*b + 19. Let n be m(14). Suppose n = -3*d + 6*d. Is 22 a factor of d?
False
Suppose -2*k + 4*u = k + 31, -2*k - 19 = -3*u. Let y = k + 32. Does 15 divide y?
True
Suppose -3*w = -4*w + 96. Is 16 a factor of w/(-9)*6/(-4)?
True
Suppose u - 4*u + 15 = 0. Suppose -2*r - 3*r - 280 = -v, -2*r = 2*v + 100. Does 16 divide r/u*(-4)/2?
False
Suppose 4*v = 2*i + 8, v + 5*i - 32 = -2*v. Is v even?
True
Suppose 5*o - 1 = -6. Is 19 a factor of o - 100/(-3 + 1)?
False
Suppose -12 = -3*z - 0, -4*d - 5*z + 32 = 0. Suppose -d*c + 4*c = 0. Suppose 3*a - 81 = -4*h + 41, -5*h - 2*a + 156 = c. Is 12 a factor of h?
False
Suppose -y + 24 = 3*y. Let l(v) = 3*v - 13. Does 5 divide l(y)?
True
Let q(t) = t. Let u be q(0). Suppose u*l - 3*l = -111. Does 10 divide l?
False
Let c = -174 - -294. Is 8 a factor of c?
True
Let g(w) = -w**2 - 6*w. Let a be g(-5). Suppose a*j + 3*q = 231, -84 = -2*j + 3*q - 0*q. Is 15 a factor of j?
True
Let v = 6 + -2. Suppose 5*m - 20 = -2*d, 5*m + v*d - 24 = 6. Does 2 divide m?
True
Let l = 62 - 99. Let t = 57 + l. Is t a multiple of 10?
True
Let r(k) = -5*k - 14. Is 4 a factor of r(-6)?
True
Let v(o) = -68*o + 2. Is 16 a factor of v(-4)?
False
Let h be 136/32 + 2/(-8). Suppose -5*u = -41 - h. Is u a multiple of 9?
True
Let y(c) = 3*c**2 + 2*c**3 - 4*c**2 - 7*c + 0*c**3 + 6*c. Is y(2) a multiple of 10?
True
Let n(x) = -17*x - 22. Is n(-9) a multiple of 17?
False
Let a(k) = -k**2 + 22*k + 54. Is a(23) a multiple of 6?
False
Suppose -u + o = -3*u + 147, -217 = -3*u + 2*o. Is u a multiple of 26?
False
Let w = 5 - 8. Is 6 a factor of -2 + w*7*-2?
False
Suppose -m + 0*x + 57 = -2*x, -293 = -5*m + 2*x. Let y = 102 - m. Let r = y + -25. Is r a multiple of 18?
True
Let j be (32/3)/(2/3). Let n = j + -12. Does 2 divide n?
True
Let h(d) = 17*d + 5. Let y be h(-4). Let i be y/15 + 2/10. Let r = i + 6. Does 2 divide r?
True
Let p = 17 - 17. Suppose 47 = 5*d + 4*s, p = s + 3*s - 12. Does 5 divide d?
False
Suppose -4*x = x - 20, 4*d - 4*x = -8. Suppose 0 = d*f - 42 + 6. Let n = -9 + f. Is n a multiple of 9?
True
Suppose -48 - 24 = -4*z. Let d be 1*(-5)/(15/z). Let c(f) = f**2 + 2*f - 6. Does 18 divide c(d)?
True
Is 716/18 + (2/9 - 0) a multiple of 20?
True
Let q = 1054 - 566. Suppose -5*w + w + q = 0. Is w/5 - 4/10 a multiple of 14?
False
Suppose -6 - 14 = 4*n, 0 = -5*y - 3*n. Let i(u) = 6*u**2 - u - 2. Let s be i(y). Let c = s + -33. Does 11 divide c?
False
Let p = -41 + 69. Is 11 a factor of p?
False
Suppose 76 = -2*v - 4*p, 110 = -v - 2*v - 2*p. Does 6 divide (-9)/(-6) + v/(-8)?
True
Suppose -48*w = -51*w + 966. Is 11 a factor of w?
False
Is 3*11 - (-2 + -1)/3 a multiple of 14?
False
Let d(h) = -h**3 + 5*h**2 - 3*h + 1. Let w be d(4). Suppose w*f = -5*p + 190, 0 = 3*p + p - 2*f - 182. Is 11 a factor of p?
False
Does 17 divide (-1)/(-5) + (-4 - (-1028)/10)?
False
Is (12/1)/(2/(104/6)) a multiple of 26?
True
Let w be (-1 + 2 + 0)/1. Let t be (w + 5)/(-2) + 0. Is (t/9)/(2/(-84)) a multiple of 5?
False
Does 14 divide 28/(-35)*(-1750)/4?
True
Suppose -4*a = -16, 0*m - 52 = 4*m - 2*a. Does 12 divide 2*-1*m/1?
False
