ue
Suppose -46 = -5*h + 74. Let m be 4/h - 22/(-12). Suppose -m*l - 1 + 21 = 0. Does 4 divide l?
False
Suppose 3*k + 12 = 27. Suppose 3*q + 15 = k*u - 10*u, -4*u = 5*q + 12. Let o(s) = 2*s + 10. Is 6 a factor of o(q)?
False
Is 5 + 3 + (-2472)/(-6) a multiple of 11?
False
Suppose -5*l + 3*v = -1965, 0 = -l + 4*v + 426 - 16. Does 15 divide l?
True
Let j be 2 + 1/((-5)/20). Let b = 35 + j. Is b a multiple of 12?
False
Suppose -12*x = -6*x - 24. Suppose -2*n = x, -n = 5*r - 0*n - 253. Is r a multiple of 16?
False
Suppose -3*l + 886 = -5*j, -2*l = -j - 3*j - 594. Is l a multiple of 73?
False
Let k(m) = -m**3 - 13*m**2 + 12*m - 20. Let v be k(-14). Let i = v + -5. Suppose -i*y + 68 = 4*f, -3*y = -6*y + 5*f + 104. Is 28 a factor of y?
True
Suppose 5*v + 5*c = 1170, -3*v - v + 3*c + 922 = 0. Let p = 200 + -128. Suppose 2*s + 4*i = 120, -p = 3*s - 4*i - v. Does 28 divide s?
True
Suppose -2668 = -19*b - 217. Is 43 a factor of b?
True
Let a(w) = -w**2 + 24*w + 11. Is 13 a factor of a(17)?
True
Suppose 2*q + l - 131 = 0, -l = -3*q - 0*l + 194. Suppose -8 + 58 = a + 4*g, -g - q = -a. Is a a multiple of 19?
False
Let i be -1*(3/1 - -1). Let l be 960/95 - -2*(-4)/76. Is 85/25 + i/l even?
False
Let i = -344 - -883. Suppose 3*k = -4*k + i. Is 11 a factor of k?
True
Let c be ((-7)/(-21))/((-1)/15). Let a be 2 - (c - (0 + -3)). Suppose 0*y - 20 = -a*y. Does 4 divide y?
False
Let l = 8 + -5. Does 14 divide ((-9)/l)/(4/(-24) + 0)?
False
Suppose 506 + 187 = 3*j. Suppose 5*m + 3*r - 1147 = 0, m - 4*r - j = -3*r. Let g = -164 + m. Is g a multiple of 22?
True
Let c(t) = 48*t - 5. Let m be c(2). Suppose 0 = 4*x + 3*q - m, -2*q + 41 = 2*x + q. Is x a multiple of 6?
False
Let x be 3/6*-1*-2. Let b(a) = 86*a**2 - a - 1. Let l be b(x). Suppose 2*c - 6*c + l = 0. Is c a multiple of 7?
True
Suppose 0 = 4*r - 14 - 2. Let l be r*(-3)/(-6) + 2. Suppose 184 = 3*x - 2*h, -l*x + 31 = -4*h - 217. Does 12 divide x?
True
Suppose -1 = 6*l - 19. Suppose 5*a - h = -5*h + 555, -333 = -l*a - 2*h. Does 18 divide a?
False
Let r(j) = j**3 + 34*j**2 + 45*j + 12. Is r(-31) a multiple of 30?
True
Let q be 3 - 1*1/(-1). Is q - (-11 - (-6)/2) a multiple of 4?
True
Let t be 4/14 + (-328)/(-28). Let a be t/(-10)*5/2. Let l = a - -49. Is l a multiple of 23?
True
Suppose 24*m - 30*m + 3120 = 0. Is 40 a factor of m?
True
Let c = -15 - -15. Let z be (-1)/((-3)/342*2). Suppose 5*x - 4*x - z = c. Is 19 a factor of x?
True
Let t(s) = 17*s**2 - 11*s - 16. Is t(5) a multiple of 5?
False
Suppose 7506 = 39*z - 30*z. Is z a multiple of 69?
False
Does 47 divide (-51)/10*4*(-130)/13?
False
Let t = 218 - -232. Does 15 divide t?
True
Let w be 2/1 - (-1 - 0). Suppose 0 = w*i + 3*g - 657, -3*i + 5*i + 3*g - 443 = 0. Let d = i - 151. Is 21 a factor of d?
True
Let o(x) = 2*x + 18. Let r be o(-7). Does 22 divide 20*(3 - (4 - 26/r))?
True
Suppose -279 = -5*t + 246. Let y = -74 + t. Does 6 divide y?
False
Suppose -504 + 24 = 3*s. Let x = s - -265. Suppose -12*g + 9*g = -x. Is 13 a factor of g?
False
Suppose 158 - 63 = 5*v. Let i(f) = -f**2 + 4*f + 5. Let r be i(4). Let g = r + v. Is g a multiple of 10?
False
Suppose 0 = 9*a - 1334 + 173. Is 3 a factor of a?
True
Let n be 45/5*4*2. Suppose -l + 4*l - n = 3*q, -3*l = -q - 34. Let r = q + 49. Is 10 a factor of r?
True
Does 19 divide -17*(((-8)/8 - -2) + -179)?
False
Let q(l) = 131*l - 64. Is q(4) a multiple of 16?
False
Let f = -18 - -23. Suppose -f*s = 5 - 20. Suppose -s*y + 68 = 5*t, -5 = -y - 4. Does 13 divide t?
True
Let f(m) be the third derivative of 9*m**5/20 + m**4/24 + m**3/2 + 19*m**2. Does 19 divide f(-1)?
False
Suppose -8*g = 3*n - 4*g + 10, 2*g + 12 = 2*n. Does 9 divide 4*(1/4 + n)?
True
Suppose 0 = -3*z - 2*z + 105. Let n = 8 - z. Let v = -1 - n. Does 6 divide v?
True
Let y = -87 + 127. Suppose -w + y + 40 = 0. Is 20 a factor of w?
True
Let g(k) = k**2 - 4*k - 3. Let h be g(6). Let u = h - 20. Let x(v) = -2*v + 2. Does 6 divide x(u)?
True
Let q be (4 + (-200)/12)/(4/(-24)). Suppose 210 = -4*g - 2. Let t = g + q. Is t a multiple of 6?
False
Does 12 divide ((-2574)/11)/(21/(-6) + 2)?
True
Suppose -472 = -3*c + 206. Suppose -5*f = 76 - c. Is f a multiple of 5?
True
Let h(t) be the first derivative of -t**4/4 + t**3/3 + 36*t + 13. Is h(0) a multiple of 23?
False
Suppose 17*l = 21*l - 20. Suppose 3*c - 4*y - 52 = 0, -l*y + 15 = 5*c - 130. Does 8 divide c?
True
Let b = 12 - 12. Let l be (-16)/(-12)*(b - 6). Is (-34)/(-4) - 4/l even?
False
Suppose -3*b - 965 = -5*w + 2*b, 2*w = b + 389. Suppose -4*a = -324 - w. Is 10 a factor of a?
True
Let a be -132*(-3*1)/(54/12). Suppose -4*j - 232 = -4*g, -228 = -4*g - 0*g + 3*j. Let n = a - g. Does 13 divide n?
False
Let g(p) be the third derivative of 0 + 20/3*p**3 + 3*p**2 + 1/24*p**4 + 0*p. Does 20 divide g(0)?
True
Suppose 4 = -8*v + 7*v. Let p(d) = -2*d**3 - 6*d**2 - d + 4. Is p(v) a multiple of 9?
False
Let r(f) = -f**3 + 13*f**2 + 15*f + 13. Suppose 26 + 16 = 3*x. Is r(x) a multiple of 13?
False
Let o = -21 - -23. Suppose -9*l = -o*l - 847. Does 18 divide l?
False
Suppose -6*r - 143 = 121. Let i = r + 90. Is 13 a factor of i?
False
Let x(h) = 3*h**2 + h + 2. Is 4 a factor of x(6)?
True
Let i = -89 - -47. Is 2 a factor of 6*(-28)/18*72/i?
True
Suppose 6 = -3*t, -44*t + 43*t - 1202 = -5*z. Is 10 a factor of z?
True
Let d = 158 - 43. Is d a multiple of 2?
False
Let w(p) be the first derivative of -p**4/4 - 14*p**3/3 - 7*p**2 + 12*p + 1. Let a be w(-14). Suppose -a = -9*g + 5*g. Is g a multiple of 13?
True
Let i = -169 - -266. Let f be ((-130)/(-8))/(3/(-12)). Let q = f + i. Does 7 divide q?
False
Suppose -4*y = -3*w + 454, -2*y - 398 = -5*w + 354. Is 6 a factor of w?
True
Let c(x) = -2*x**3 - 7*x**2 + 5*x - 10. Is c(-8) a multiple of 24?
False
Let y(h) = 11*h - 41. Does 10 divide y(24)?
False
Suppose -3*h + 12 = 0, -2*t - 4*h - 5472 = -17416. Is 14 a factor of t?
True
Let i = -17 + -8. Let n be 10/i + (-74)/(-10). Suppose 15 = 2*z - n. Is 7 a factor of z?
False
Let w be 1*(3 + 0) - (14 - -2). Let s = w + 40. Is s a multiple of 3?
True
Let c(w) = w**3 - 4*w**2 + 17*w - 6. Is 7 a factor of c(6)?
True
Suppose 0 = -4*q + 4*j + 1480, 3*j = -4*q - 0*j + 1501. Does 12 divide q?
False
Let w = 894 - 346. Suppose m - 538 = -2*q, 0 = 2*q - 0*q - 4*m - w. Does 54 divide q?
True
Let m(j) = 5*j**2 - 24*j + 21. Let a(c) = -c**2 + 6*c - 5. Let p(z) = -9*a(z) - 2*m(z). Let u be p(-6). Suppose -5 = u*k - 4*k. Is k a multiple of 2?
False
Suppose 24*y - 29*y + 130 = 0. Suppose 0*d - y = -2*d - 3*g, 3*d = 5*g + 58. Does 11 divide d?
False
Let o(u) be the second derivative of -u**4/12 + 7*u**3/6 - 9*u**2/2 - 5*u. Let x be o(5). Does 2 divide 4 - x - 3/(-1)?
True
Let s(x) = -x + 6 - 6*x - 2*x + x**2. Let j be s(11). Suppose 4*b = 5*d + j, -5*b - 3*d + 13 + 22 = 0. Is 2 a factor of b?
False
Suppose -5*u + 5*v + 10270 = 0, 0 = -4*u - 4*v + 8537 - 353. Is 87 a factor of u?
False
Let l = -66 - -67. Is 6 a factor of 2*9/6 + 4*l?
False
Let p be 0/(2 - (-2)/(-2)). Let w = p + 2. Suppose 0*q = w*d - 5*q - 30, 4*d + 2*q = 36. Does 3 divide d?
False
Let d = 53 + -48. Suppose 76 = o + d*g, -116 = -2*o + 4*g - 20. Does 28 divide o?
True
Let h(r) = 14*r**2 - 6*r + 4. Is 12 a factor of h(1)?
True
Let t(f) = -f**2 + 8*f + 11. Let m be t(9). Suppose 0 = -2*a + 6, 279 = 4*n - a + m*a. Is n a multiple of 11?
False
Suppose 2*p - 8*p = -666. Does 37 divide p?
True
Suppose -4*w + 23 = -9. Let v(y) = y**3 - 9*y**2 + 11*y - 5. Is v(w) a multiple of 9?
False
Let a be (-5 - -1)/(-4) + -3. Let n = 41 - a. Suppose -5*v + n = -57. Is v a multiple of 6?
False
Let i(n) = n**2 - n - 16. Let k be i(-8). Let l = 95 - k. Is 6 a factor of l?
False
Let w be (1 - 10)/((-3)/(-10)). Let u be (2/3)/(4/w). Let n = 13 + u. Does 8 divide n?
True
Suppose -2*a = -9 - 3. Suppose 4*j + 408 = a*j. Suppose -559 = -5*o - j. Is o a multiple of 15?
False
Let s(n) = -26*n**2 + 412*n + 22. Is s(9) a multiple of 116?
True
Let s(u) = 10*u - 17*u - 10 - 3*u + u**2 + 4*u**2. Is 46 a factor of s(8)?
True
Suppose -5*a - 16 = 2*n, 0 = 4*n + 4*a + a + 32. Suppose 2*l - 40 = -0. Let y = l - n. Is 15 a factor of y?
False
Let p be 2 - (-3 + 2 + -1). Suppose 3*c - 17 = k - 123, c - 359 = -p*k. Is k a multiple of 12?
False
Let x be -4*(4 - 284/16). Let w = 100 - x. Does 15 divide w?
True
Does 54 divide (-3 +