 1. Let m(k) = -76*k + 3. Let o(s) = -5*i(s) - 2*m(s). Let c be o(-1). Suppose -c = -5*v + 193. Does 23 divide v?
True
Let c be (2/(-3))/(2/(-12)). Let o be (c + -4)/1 + -1. Is ((-16)/20)/(o/5) a multiple of 4?
True
Let i(n) = 2*n + 5. Let b be i(0). Let q(m) = m**3 - 4*m**2 - 6*m + 6. Let z be q(b). Does 27 divide z/(-1) - (-416)/4?
False
Let j(d) = -d**2 - 12*d - 13. Let y be j(-11). Let u(w) = -20*w - 3. Is u(y) a multiple of 11?
False
Suppose 8*n - 5*n + 3*f + 12 = 0, -5*f = -5*n. Let p be (-18)/(-3) + 0 + n. Is 25 a factor of (3 - p)*25/(-1)?
True
Suppose i = 2*w + 2148, -4*i + 10*w - 9*w = -8606. Is 32 a factor of i?
False
Is 3 a factor of ((-495)/(-3))/(8/16)?
True
Suppose -2*w + 28 + 2 = 0. Let b(c) = -5*c + 82. Let y be b(14). Suppose -3*g = -y, 3*x - 4 = -g + w. Does 3 divide x?
False
Suppose -527 - 1648 = -5*x. Is 15 a factor of x?
True
Let d(c) = 86*c - 3. Let g be d(3). Let f = g - 165. Is f a multiple of 18?
True
Suppose 6*m = -m + 21. Suppose -m*c - 67 = -4*g, g + 2*c - 13 - 1 = 0. Is g a multiple of 13?
False
Suppose f + 7160 = 21*f. Is f a multiple of 29?
False
Suppose -4*o + 862 = 2*j, 660 = -3*o + 6*o - 3*j. Is 28 a factor of o?
False
Does 49 divide 637*(-8 - 1 - -12)?
True
Suppose -16 = d + d. Let b(y) = -y**3 - 7*y**2 + 8*y + 5. Does 5 divide b(d)?
True
Is (774/(-86))/(3/308*-2) a multiple of 11?
True
Let j = -23 + 30. Let t be (1/3)/(j/(-777)). Let z = 1 - t. Does 8 divide z?
False
Suppose -3*k + 0*k = -6. Let s(h) = 8*h**3 + 2 - 5*h**3 - 2*h**k + 6*h**2 - 2*h**2. Is 18 a factor of s(2)?
False
Does 24 divide ((-84)/(-14))/((-1)/(-632))?
True
Let b(l) = l**2 - 4*l - 2. Let s be b(5). Suppose 3*w = 2*t - 65, 5*t - s*w + 7*w = 220. Suppose -4*g + t = -4*n, 0 = -g + 4*g - n - 30. Is 3 a factor of g?
False
Let y(m) be the first derivative of -m**4/4 - 4*m**3 - 11*m**2/2 + 10*m - 4. Is y(-11) a multiple of 10?
True
Let t = 2 + 5. Let q(h) = h**3 - 2*h**2 + 11*h - 10. Is q(t) a multiple of 39?
True
Let s(u) be the first derivative of u**3/3 + 4*u**2 - 3*u - 63. Suppose 4*o = 9 + 15. Is 27 a factor of s(o)?
True
Let s(b) = b**2 + 14*b + 19. Let l be s(-8). Let v = l - -37. Is v a multiple of 2?
True
Let r be 2/(-6) + 23*4/6. Let x = -40 + 69. Let d = x + r. Is 12 a factor of d?
False
Suppose -5*s = -2*s - 33. Let i be (2 - (-3)/(-1)) + s. Suppose 15*v - i*v = 90. Does 9 divide v?
True
Suppose 0 = 213*q - 215*q + 896. Is q a multiple of 14?
True
Suppose -2*b + 7 + 5 = 0. Let o = b + -2. Suppose -2*f + f + o*a + 17 = 0, 0 = 5*f - 2*a - 31. Is f a multiple of 3?
False
Suppose -4*m + 31 = -173. Let u = m - 38. Is u a multiple of 13?
True
Let p(j) = 193*j - 1. Let r be p(-2). Let y = r + 157. Is 6 a factor of y/(-35) + (-8)/14?
True
Let c(x) = 2*x**3 + x**2 + x + 64. Suppose 0 = 7*i - 5*i. Is 32 a factor of c(i)?
True
Let t = 15 - 7. Suppose 3*x = p + 6, -4*x + 4*p = -0*p - t. Suppose -4*h + x*h = -80. Does 10 divide h?
True
Is 937 + 2 + -6 + -5 a multiple of 62?
False
Suppose 0 = l - u + 1, -l + 4 = 4*u - 0. Suppose f - 4*x + 1 = 20, -4*f + 3*x + 11 = l. Is 7 a factor of 1*11 + 1 + f?
False
Let k = -708 + 1018. Does 10 divide k?
True
Let n = 47 - 47. Let g(a) = 3*a + 65. Is g(n) a multiple of 9?
False
Let q(p) = p - 2. Let c be q(2). Let k be c/(-5) + (-1 - 1). Does 5 divide k/(-10) - 128/(-10)?
False
Let l(u) be the first derivative of u**3/3 + 3*u**2 + 25*u + 21. Is 10 a factor of l(-12)?
False
Let b(m) = 6*m - 5*m + 0*m + 7. Let v be b(-4). Is v/1 + 0 + 24 a multiple of 7?
False
Does 124 divide (-99)/297*1*3 - -4837?
True
Suppose 5*p - 63 = 2*g - 4*g, 0 = -2*p + 5*g + 31. Let l = p - 9. Let w(t) = 14*t + 4. Does 20 divide w(l)?
True
Suppose 0 = 3*p + 155 - 209. Does 6 divide p?
True
Let s = 459 + 1513. Is s a multiple of 62?
False
Suppose 7*f - 2*f = 120. Let a = f + -14. Is a a multiple of 10?
True
Suppose 2*t = -3*z + 6*t - 14, 3*z - 3*t + 9 = 0. Is 63 + (-3 - -5) + z + -1 a multiple of 6?
True
Let r(k) = 4*k + 2. Let n be r(1). Suppose 0 = -g + 12 + n. Is 8 a factor of g?
False
Suppose 3*c - 1 = 2*l, 4*l + 3*c - 20 - 23 = 0. Suppose -2*m = p + 16 - l, 5*p - 20 = 3*m. Does 6 divide 2*(78/4 + p)?
False
Suppose 518*z - 517*z = 4553. Is z a multiple of 97?
False
Is 124 a factor of 2/4 + 1809/2?
False
Let c(t) = t**2 - 2*t + 1. Let w = 16 - 15. Let o be c(w). Is 4 a factor of 1 + (o - 14/(-2))?
True
Suppose p - 2*p + 2 = 0. Let n(y) = 2*y**p + y**2 + 5*y + 3*y**2 + 4 - 5*y**2. Does 5 divide n(-6)?
True
Let i(h) = -2*h + 5*h + 3 + 12*h**2 - 6. Let a be i(-3). Suppose 3*q - a = -3*u - 30, -5*u + 5*q = -140. Is u a multiple of 13?
False
Let j be 4 - (-1 - -4) - -5. Suppose j*r - 44 = 10*r. Let t = r + 23. Is 3 a factor of t?
True
Let l(k) = -2*k**2 - 15*k + 4. Let j be l(-9). Let r = j + 28. Is 2 a factor of r?
False
Is 15 a factor of 2 + (16/56 - 4674/(-7))?
False
Let v(t) = -t**3 + 5*t**2 + 2*t - 2. Let u be v(5). Suppose 3*d + 1050 = u*d. Is d a multiple of 14?
True
Let z = -121 - -219. Is z a multiple of 7?
True
Is 43 a factor of 68/(-102) + (-7732)/(-6) + -2?
False
Let q = -19 - -9. Let c = q - 40. Let m = c + 70. Does 10 divide m?
True
Let u(i) = -i**3 + 10*i**2 + 15*i + 3. Let x be u(12). Let a = -33 - x. Is 12 a factor of a?
True
Suppose 0*t - b - 16 = -3*t, -b - 1 = 0. Suppose -2*i + 0*i = -4*x - 76, -5*x = t*i - 190. Suppose 2*q + 3*h = i, q - 3*h - 19 = 9. Is 8 a factor of q?
False
Let p(y) = -y**3 - 10*y**2 - 40*y - 37. Is p(-11) a multiple of 36?
False
Suppose u = -2 + 1. Let s(b) = -152*b**3 + 2*b. Does 30 divide s(u)?
True
Let r be (13/(-2))/((-4)/(-72)). Let m be (-26)/r + 626/18. Is (96/28)/(10/m) a multiple of 3?
True
Let g(b) = 2*b - 23. Let t be g(13). Suppose i = 0, -3*s + i + t*i + 720 = 0. Suppose z + 10 = -z, -s = -4*q + 4*z. Is 26 a factor of q?
False
Let i(b) = b**3 - 6*b**2 + b - 1. Suppose -4*h + 5*r + 16 = -3, 0 = -h + 3*r + 3. Let s be i(h). Suppose 500 = -s*m + 10*m. Does 14 divide m?
False
Let d be (-2)/(-3) + 98/(-21) + 6. Does 16 divide (-2)/(d/(-252) + 0) + 4?
True
Suppose 48576 = 14*y + 18*y. Is 66 a factor of y?
True
Let w = 30 + -25. Suppose -2*r - 6 = 4, 3*v - w*r = 31. Let b(f) = 18*f**2 + f. Is b(v) a multiple of 15?
False
Let t(u) = -u**2 - 2*u - 3. Let q be t(-3). Let o be (3 + q)*(-3 + -6). Is 18 a factor of 8/36 + 2100/o?
False
Let j(o) = -111*o - 5. Let i be j(-3). Suppose i = 15*b - 92. Is b a multiple of 28?
True
Does 40 divide ((-12)/(-8))/((-12)/(-3008))?
False
Let c(i) = -i**3 - 10*i**2 + 5*i + 9. Let w be c(-10). Let d = w + 154. Is 41 a factor of d?
False
Let m be (-2)/10 + (-1068)/(-15). Suppose 7*t - m - 69 = 0. Does 10 divide t?
True
Let j = 8 + -3. Suppose -j*b + 518 = -22. Does 27 divide b?
True
Suppose -140 = -y + 25. Is y a multiple of 55?
True
Let r(u) = -u**3 - 16*u**2 - 8*u + 79. Is 7 a factor of r(-19)?
False
Let d(j) = 56*j - 56. Is 28 a factor of d(3)?
True
Let y be 2 - (20/25)/((-2)/(-5)). Suppose y = 2*s - 92 - 70. Does 27 divide s?
True
Let u = 3102 - 1771. Is 18 a factor of u?
False
Let j be (-3)/(-9) + 93/(-9). Let d be 74/5 + (-2)/j. Let s = d - 10. Is s even?
False
Suppose -3*h = 3*p - 21, 4*p + 18 = 4*h + 3*p. Suppose l - 21 = -3*i, -6*l + h*i + 165 = -l. Let u = l - -32. Is 13 a factor of u?
False
Let h(a) = a - 1. Let z(v) = 10*v - 36. Let m(x) = 5*h(x) + z(x). Is m(8) a multiple of 8?
False
Let g be -32*((0 - -1) + -2)*1. Suppose 5*r = 2*x - 16, 4*x - g = -0*r - r. Is x a multiple of 2?
True
Suppose -3*u + 96 = c, 2*c - 2*u + 91 = 3*c. Let t = c - 49. Does 16 divide t?
True
Let j = 13 + -26. Is (-210)/j - (-8)/(-52) a multiple of 10?
False
Let f(a) = -2 + 0 + 33*a + 5. Suppose 303 - 45 = 86*d. Is 25 a factor of f(d)?
False
Let g(m) = m**2 + 23*m - 21. Is g(3) a multiple of 19?
True
Suppose 6 = 5*a - 3*a. Suppose -a*h = -0*h - 78. Suppose 2*v - 52 = h. Does 8 divide v?
False
Suppose -6630 = -186*c + 171*c. Does 13 divide c?
True
Suppose b + 280 = c - 0*b, -4*b + 840 = 3*c. Is 20 a factor of c?
True
Is 4/(-14) + (-613988)/(-406) a multiple of 18?
True
Is 12 a factor of (-6)/(-21) - 3776/(-14) - 6?
True
Suppose 4*r + 2*r = 0. Suppose 2*o - l - 43 = r, -26 = -0*o - o + 5*l. Is 10 a factor of o?
False
Let p(b) = -4*b + 5. Does 9 divide p(-6)?
False
Let c = 20 + -16. Suppose -c*f = -3*x - f + 87, 5*x = -3*f + 153. Is x a multiple of 15?
True
Let j(f) = -f**2 + 