+ c = 0. Suppose -j = -2*f + 33. Is f a multiple of 19?
True
Suppose 4*c - 15 = c. Let a = c + -3. Is ((a - -1) + 17)/1 a multiple of 20?
True
Let u(c) = 4*c - 11. Let d be u(-9). Suppose 0 = -3*l + l - 166. Let a = d - l. Is a a multiple of 11?
False
Let r = -47 - -103. Is 7 a factor of r?
True
Suppose 0 = 21*m - 9*m - 2088. Does 6 divide m?
True
Let s be 8/(-6)*21/2. Let x be s/(-6) - 4/(-6). Suppose 3*r - 38 = -2*z, 5*r - x*z = 22 + 73. Does 8 divide r?
True
Let s = 25 - -68. Is s a multiple of 31?
True
Suppose -55 - 23 = 3*a. Let q = 62 + a. Suppose 0 = s + 3*s - q. Is s a multiple of 6?
False
Let l(v) = 14*v**2 - v + 1. Does 14 divide l(1)?
True
Suppose -2*g - 2 = 3*n - 4*g, 4*g = 16. Suppose 80 = 3*l + n*l. Is 66/8*l/6 a multiple of 11?
True
Suppose -2*h = -0*h - 12. Suppose -3*m + 0*m + h = 0. Suppose 3*t - 29 = m*t. Is 18 a factor of t?
False
Suppose -5*k = 3*o - 180, -62 = -2*o - 4*k + 58. Does 30 divide o?
True
Let n = -21 + 29. Suppose -4*l + 6*l - n = 0. Does 2 divide l?
True
Suppose h = -0*h - 24. Let v = h - -51. Is v a multiple of 7?
False
Is 6/21 + (-1632)/(-21) a multiple of 13?
True
Suppose -5*h + f = -303, -66 = -2*h + f + 57. Is h a multiple of 10?
True
Let o = 15 + -6. Let r = o - 3. Does 5 divide r?
False
Let l(i) = -4*i. Let p be l(1). Let t = 23 - p. Is t a multiple of 9?
True
Does 5 divide 1/2 + ((-105)/(-2))/3?
False
Suppose 3 = -3*j, -4*j + 9 = 2*c - 11. Let p = c + 7. Does 10 divide p?
False
Let n(x) = -22*x + 2. Does 6 divide n(-1)?
True
Suppose 3*h = -4*f + 11, 5*h + 23 + 2 = 2*f. Let k(a) = 4*a**2 + 3*a - 1. Is 9 a factor of k(h)?
False
Suppose 1512 = -14*p + 22*p. Is p a multiple of 22?
False
Suppose 0 = -4*h - 5*u + 302, u = 2*u - 2. Let w = h - 27. Is w a multiple of 23?
True
Let n(x) = -14*x + 24. Does 34 divide n(-8)?
True
Suppose 4*l - l = -12. Let i be l/10 + (-202)/(-5). Suppose -i = 4*k - 9*k. Is 8 a factor of k?
True
Let t(f) = f**3 - 4*f**2 - 3*f - 6. Is t(5) a multiple of 4?
True
Suppose 8*o - 121 - 1375 = 0. Is o a multiple of 15?
False
Let n(b) = -6*b**2 + 3*b. Let w be n(2). Let k = w - -32. Does 14 divide k?
True
Let g = -52 + 179. Does 24 divide g?
False
Let z = 212 + -22. Is 19 a factor of z?
True
Is 6 a factor of ((-27)/(-15))/((-6)/(-20))?
True
Let o(g) = -g - 18. Let k(x) = -2*x - 36. Let r(h) = 4*k(h) - 9*o(h). Let z be r(0). Let v = -11 + z. Is 7 a factor of v?
True
Let m = 0 + 2. Suppose -4*f + 4 = 2*a - 0, -5*f = m*a - 6. Suppose -c - 16 = -f*c. Is 8 a factor of c?
True
Suppose -10 + 1 = 3*x. Does 14 divide (-68)/(-6)*x/(-2)?
False
Suppose -4*k - 5*w + 0*w = -129, 0 = 2*k - 5*w - 87. Does 12 divide k?
True
Suppose -5*t = -4*t. Suppose -2*q - u + 4 = 0, 2*u + t*u - 8 = 4*q. Suppose -3*i + l + 22 = q, 2*l - 16 - 6 = -5*i. Does 3 divide i?
True
Suppose -3*n + 3*d - 5 = -14, 1 = -d. Let w be 3 - (n - (-12)/(-3)). Is w - 2/(0 - -2) a multiple of 4?
True
Suppose 4*i + 0 = 4, -2*s - 2*i = -6. Is (-1 + 125)*s/4 a multiple of 31?
True
Suppose 25 = 4*r - b, -2*r - 3 = 4*b - 11. Let z(m) = m**3 - 5*m**2 - 6*m - 5. Let t be z(r). Let w(i) = i**2 + 3*i + 7. Is 12 a factor of w(t)?
False
Let c(k) = 4*k**2 + 1. Let i be c(1). Suppose i*r - h - h - 56 = 0, 0 = -3*r + h + 33. Is 5 a factor of r?
True
Suppose 7 + 4 = g - x, -2*x + 62 = 4*g. Is g a multiple of 12?
False
Suppose -2*o = 7*p - 2*p + 4, -9 = -3*o. Suppose -5*k + 8 = 3*v, 8 = -4*k + 3*k - 3*v. Let m = p + k. Is m a multiple of 2?
True
Is 20 a factor of (-56)/(-40) - 2 - 806/(-10)?
True
Let r = -49 + 93. Is 21 a factor of r?
False
Let o be (-4 - -2)*64/(-1). Suppose n - o = -7*i + 2*i, 0 = n + 2. Does 14 divide i?
False
Suppose 0 = w - 4*f - 121, w = -5*f + 40 + 108. Let y = w - 67. Does 22 divide y?
True
Is 1/((6/2)/228) a multiple of 19?
True
Is ((-20)/6)/(506/102 + -5) a multiple of 10?
False
Suppose -4*h + 8 = -0*h. Suppose 0 = -4*z + h*b - 4*b + 20, 5*b - 23 = -z. Is 16 a factor of (-2)/z - (-130)/6?
False
Let a = 20 - 7. Let u = -6 + 4. Let h = a - u. Is h a multiple of 14?
False
Let j(g) = 6*g**2 + 2*g + 1. Let q(y) = -y**3 + 5*y**2 + 7*y - 4. Let k be 4/18 - 260/(-45). Let d be q(k). Is j(d) a multiple of 14?
False
Let i(y) = y**2 - 13*y - 17. Is i(15) a multiple of 3?
False
Suppose -16 = 4*h, -h = -4*r + 7*r - 380. Does 8 divide r?
True
Does 23 divide (-2*115/30)/((-1)/21)?
True
Is 18 - ((-10)/2)/1 a multiple of 23?
True
Suppose -16 = 5*n - 76. Let w = 5 - n. Let s = 5 - w. Does 12 divide s?
True
Is 13 a factor of (-6)/3*101*(-2)/4?
False
Let p = -84 + 29. Let h = p + 133. Suppose w - 3*w = -h. Is 17 a factor of w?
False
Let t(f) = -f + 8. Suppose 2*r + 30 - 10 = 0. Is t(r) a multiple of 6?
True
Let s(q) = q**2 + 2*q + 7. Suppose -6*t = -t + 5. Let c be (2/4)/(t/14). Is s(c) a multiple of 21?
True
Let b be (-1 - 4)*(0 + -2). Suppose 0*i - 5*i - 30 = 2*p, 18 = -3*i + 3*p. Let y = b + i. Is y a multiple of 4?
True
Suppose 0 = 2*z + 4*t - 15 - 3, -3*z + 37 = 4*t. Let j = 27 - z. Let v(f) = -f**3 + 9*f**2 - 4*f - 10. Does 11 divide v(j)?
True
Suppose -2*j - j + 1 = d, -j - d = -3. Let m be 2 - j - 108/3. Let k = -16 - m. Is k a multiple of 10?
False
Let d = -39 - -140. Is 6 a factor of d?
False
Let q(p) = p**3 + 10*p**2 + 9*p - 7. Does 14 divide q(-7)?
False
Let n = -49 - -83. Is n a multiple of 17?
True
Let j(k) = k**2 + 2*k + 1. Let t be j(-3). Suppose -i + 3*v + 40 = 0, -3*v = t*i + v - 128. Does 7 divide i?
False
Suppose -4*g = x - 119, 4*g + 3*x = 6*x + 107. Is 11 a factor of g?
False
Let c(i) = i**3 + 2*i**2 + i + 1. Let l be c(-3). Let z be 1 + 28 + (1 - -1). Let d = l + z. Is 10 a factor of d?
True
Does 9 divide -394*(0 + 2)/(-4)?
False
Let o(b) = -b + 3. Suppose -f = -2*f + 5. Let a be o(f). Let q(v) = -4*v**3 + 2*v**2 + 2*v + 2. Is 19 a factor of q(a)?
True
Let l(x) = x**3 + 11*x**2 - x + 9. Let k(o) = -o**3 + o**2 - 11. Let z be k(0). Is l(z) a multiple of 20?
True
Let x(g) = g**2 - 5*g - 1. Let o be x(5). Let h = 4 - o. Suppose -5*s - 4*d = -56, 20 = 3*s + h*d - 24. Is s a multiple of 7?
False
Let b(p) = p**2 - 8*p + 9. Let j be b(8). Suppose 0 = 3*w + k - 32, -3*w + 4*k + j - 2 = 0. Suppose 66 = 3*r + w. Is 11 a factor of r?
False
Suppose 2*n + 0 = 6. Suppose -n*m + 149 = -28. Is 12 a factor of m?
False
Suppose k + 5*g = -18, -3*k + 3*g - 73 = -g. Let a = 1 - k. Is 13 a factor of a?
False
Let z(v) = v**3 - 5*v**2 + v - 2. Let k be z(5). Let c = 75 - k. Is 22 a factor of c?
False
Is ((-73 + -2)/(-5))/(1/7) a multiple of 15?
True
Let m be (-150)/(-14) - 2/(-7). Suppose 2*q - m + 3 = 0. Is q a multiple of 4?
True
Suppose -7*q + 2*q - 2*l + 38 = 0, -q + 7 = l. Suppose -3*n - 3*p = 9, 2*n = 4*p + 32 - q. Suppose -2 = n*r - 12. Is r even?
False
Let p(r) = -r**3 + 3*r**2 + 4*r + 3. Let b be p(4). Suppose b*l = -2*t + 47, 2*l - t = -2*l + 81. Is l a multiple of 8?
False
Suppose 0 = -g + 4*x + 56 + 12, 4*x + 8 = 0. Suppose 5*u + g = 255. Is u a multiple of 13?
True
Suppose -b + 297 = 2*b - 3*d, 3*b = -5*d + 321. Is b a multiple of 17?
True
Suppose 0*s = s. Suppose -3*d + s*d = -189. Is 21 a factor of d?
True
Let y(i) = -i**3 + 6*i**2 - 5*i + 2. Let z be y(4). Suppose -z = 2*d - 4*d. Suppose d*l + 4*n = 4*l + 122, -4*l - 3*n + 151 = 0. Does 17 divide l?
True
Is 11 a factor of 222/4 + (-1)/2?
True
Let d = -36 + 79. Is 12 a factor of d?
False
Let t(g) = 12*g + 30. Is t(9) a multiple of 23?
True
Suppose 2*c + 0*c = 44. Suppose -6 = f + 4*r - r, 2*f - 4*r = 8. Suppose h + f = c. Is h a multiple of 17?
False
Suppose -11 - 41 = -2*p. Does 4 divide p?
False
Is (1/3)/((-10)/(-360)) a multiple of 6?
True
Is 6 a factor of -4 - ((-38)/(5 - 3) - -2)?
False
Let t(q) = q**3 + 2*q**2 - 4*q - 4. Let o be t(-3). Let v be 5 + -2 + -2 + 1. Is (o/3)/(v/(-78)) a multiple of 7?
False
Let l be (3 + 1)*(-2 - -1). Let x = l - -2. Is 7 a factor of -2 + x + 18 - 1?
False
Let c = 84 - 39. Suppose 45 = 3*y - 5*b, -3*b + b - c = -3*y. Does 4 divide y?
False
Suppose 0 = -c + o - 10, 2*c - 5*o = 4*c + 34. Let a be (-28)/c - 2/6. Does 19 divide a + (-1 + 16 - -2)?
True
Is 7 a factor of 3 - 3 - (-7 + 0)?
True
Let f = -22 - -40. Let i = -38 - -76. Suppose q - f = h - 6, -3*q + 5*h = -i. Is 4 a factor of q?
False
Let a be -2 - (0 + 0 + -2). Suppose -5*v + v + 16 = 5*s, a = 5*v + 4*s - 20. Suppose 0*f - v*f + 36 = -g, 4*f = -3*g + 36. Is 9 a factor of f?
True
Let t(f) =