se
Suppose 0 = -2*j - 3 + 1. Let l = j - -5. Does 6 divide 2/l*(-48)/(-4)?
True
Suppose -s + 4 = -0, -2*t - s = -116. Let y = t + -26. Is y a multiple of 10?
True
Suppose -4*w - w = 105. Let f = 50 - 18. Let p = f + w. Is p a multiple of 4?
False
Suppose -c - 3*c + 8 = 0. Let b be c + 1 - (5 + -6). Suppose 12 = -b*r, -a - 3 = 2*r + r. Is 6 a factor of a?
True
Suppose -72 = -5*s + 4*z + 167, s - 3*z = 39. Does 23 divide s?
False
Let k = -49 - -76. Is 6 a factor of k?
False
Let j be (-3 + 3)/(0 + 3). Suppose -3*c + j = -3. Suppose -10 = -t + c. Does 11 divide t?
True
Suppose 108 = 2*w - 2*q - 258, -544 = -3*w + 4*q. Is w a multiple of 14?
False
Let f(t) = -t**2 - 4*t + 7. Let i be f(-5). Suppose -4*c + i = -5*c. Is (c + 0)*(-55)/10 a multiple of 5?
False
Suppose -2*b - 2*z = -4, -4*z = -5*b - 0*z - 8. Let u(t) = t. Let n(w) = -5*w + 13. Let h(l) = n(l) + 6*u(l). Is h(b) a multiple of 13?
True
Let z(l) = -l**2 - 7*l - 1. Is z(-6) even?
False
Let s = 0 + 23. Does 15 divide s?
False
Suppose -2*s = -5*p - 1 + 9, 0 = -4*p + 4*s + 16. Let m(d) = 3*d - d + 1 + p*d. Does 2 divide m(1)?
False
Suppose -55 = x - 71. Does 16 divide x?
True
Suppose -3 = -x + 2. Let j = x - 3. Is 13 a factor of 22 + 2 - j/(-1)?
True
Let s = -30 - -15. Let y = -12 - s. Is 2 a factor of y?
False
Let i be (3 - -2)*2/2. Suppose -i*k - g = -61, 7*g - 19 = -3*k + 2*g. Is 10 a factor of k?
False
Let m = -187 + 292. Does 15 divide m?
True
Let c(t) = t**2 - 10*t + 17. Let v be c(8). Is v*5/(5/23) a multiple of 18?
False
Let s = -70 + 205. Does 27 divide s?
True
Suppose -2*j + 10*l - 5*l = -15, 3*l = 9. Is 6 a factor of j?
False
Let d(b) = b**3 - b**2 + b + 42. Let g(u) = -u**2 + 11*u. Let k be g(11). Is 14 a factor of d(k)?
True
Suppose 159 = -y + 4*y. Does 15 divide y?
False
Let p = -2 + 4. Suppose p*u - 7 = -j, 14 = 2*j - 0*u - 2*u. Does 6 divide j?
False
Let f(k) = 4 + k - 1 - 1 + 0*k**2 + 4*k**2. Is f(-2) a multiple of 8?
True
Let m = 36 + -12. Does 12 divide m?
True
Let l be 8/(-14) + 5136/21. Suppose 0 = -4*g + 172 + l. Is g a multiple of 21?
False
Let l(p) = 6*p + 9. Let v be l(-7). Let y = -11 - v. Does 11 divide y?
True
Let w = 21 + 167. Is 47 a factor of w?
True
Let q(z) = z**3 + 4*z**2 - 4*z - 6. Let c be q(-5). Let m be 4/(-2) + (8 - 3). Let y = m - c. Does 7 divide y?
True
Suppose 2*j - 5*t = 8 + 2, j + 2*t = 5. Suppose -p - 27 = -2*p. Let v = p - j. Is v a multiple of 11?
True
Let j = 0 + -4. Let k = 5 - j. Does 3 divide k?
True
Let u(p) = -p**3 + 2*p**2 + 2*p + 3. Suppose -4*k + 5*r = -7, 3*k + r - 5 = 5*r. Let o be u(k). Suppose -a + o + 5 = 0. Does 2 divide a?
False
Let j(f) = 19*f**2 - 1. Let r(o) = o**2 + 6*o - 6. Let b be r(-7). Is j(b) a multiple of 6?
True
Let u = -64 + 113. Is u a multiple of 16?
False
Is (-1)/(6/(-5) - -1) a multiple of 5?
True
Is 5 a factor of -3 + 170/3*12/10?
True
Let c be 1*(1 + (-1 - 1)). Let p = c - -3. Is 6 a factor of (5 + -1)/(p/6)?
True
Let d = -3 - -27. Does 2 divide d?
True
Let g = -167 - -250. Let n(j) = -7*j - 4. Let u be n(6). Let t = g + u. Does 19 divide t?
False
Does 6 divide 50 - (-2 - (0 - (4 - 3)))?
False
Suppose 15 - 38 = -z. Is z a multiple of 3?
False
Let w = 0 - -1. Is 0/w + (4 - -49) a multiple of 14?
False
Let r(j) = -j**3 - 14*j**2 + 15*j + 4. Is r(-15) a multiple of 2?
True
Let u = 19 - -33. Is 12 a factor of u?
False
Let n(b) = 9*b + 10. Let p(f) = -8*f - 10. Let l(x) = 6*n(x) + 7*p(x). Is l(-9) a multiple of 4?
True
Suppose -299 = 3*b + l, -b + 4*l - 304 = 2*b. Let c = 179 + b. Does 22 divide c?
False
Suppose 80 = 2*d - 4*s, 4*d - s = s + 172. Does 22 divide d?
True
Let p be 40*(2 + (-33)/12). Let a = p - -47. Is a a multiple of 7?
False
Let u(d) = -2*d + 0*d - 6 + 0*d. Suppose 3*c - c = -14. Is 3 a factor of u(c)?
False
Let r = -199 - -284. Suppose 0 = -4*o + r - 25. Is o a multiple of 8?
False
Suppose -15 = -3*g - w - 0*w, 5*g + 3*w = 25. Suppose g*r = -0*r + 200. Is 19 a factor of r?
False
Does 12 divide (-32)/(-80) - (-423)/5?
False
Suppose 15*p = 905 + 1390. Is 9 a factor of p?
True
Suppose -22 + 110 = f. Is f a multiple of 22?
True
Let v(f) = -4*f**2 - 11*f + 8. Let b(s) = -3*s**2 - 7*s + 5. Let g(q) = -7*b(q) + 5*v(q). Does 28 divide g(-7)?
False
Suppose 4*r + r - 25 = 0. Let s = -4 + r. Is (s - 1/2)*26 a multiple of 13?
True
Let i be 15*(-1)/((-6)/100). Let b = -116 + i. Suppose -b = -3*k + 4*d, -3*k + 5*d + 85 + 54 = 0. Does 19 divide k?
True
Is 13 a factor of (-3)/5 - 4704/(-40)?
True
Suppose 2*a - 5*a = -39. Is 6 a factor of a?
False
Suppose -4*o + 3*o - m = -65, 0 = 2*m - 10. Let t be -2*(1 + (-41)/2). Let n = o - t. Does 11 divide n?
False
Suppose -17 = -u + 5*y, -22 = -3*u - y + 13. Suppose 3*j + u = 0, 3*h + 10 = -2*h + 5*j. Let i(t) = t**2 + 5*t - 1. Does 5 divide i(h)?
True
Let p be 9/6 - (-1)/2. Suppose -23 = -3*o - p*v - 8, 0 = -o + v + 5. Suppose i - 2*c + 22 = 5*i, 17 = 2*i - o*c. Does 6 divide i?
True
Let k(y) = 3*y - 3. Let f be k(3). Let m = f - -3. Is (12/m)/((-2)/(-9)) a multiple of 3?
True
Suppose 3*h = -h + 608. Is h a multiple of 38?
True
Let g = -3 + 3. Does 11 divide (1 - g) + 9 - -1?
True
Suppose 0*y - y - 2*h = 22, -5*y + 4*h - 68 = 0. Let x = 49 + y. Is x a multiple of 11?
True
Let f be (1 - -1) + 7 - -2. Let p(a) = -a**3 + 10*a**2 + 12*a - 1. Let t be p(f). Suppose y - 45 = -t. Does 13 divide y?
False
Let m = 6 + -27. Is (-508)/(-14) - (-6)/m a multiple of 18?
True
Suppose 0 = -5*a + 5*s + 15, 3*s + 1 + 4 = 2*a. Is 2418/54 + a/18 a multiple of 15?
True
Let c(j) = j**3 - 3*j**2 - 7*j + 9. Let i = -8 - -14. Is c(i) a multiple of 15?
True
Does 7 divide 7660/220 + 4/22?
True
Is 8 a factor of 30/((15/(-6))/(-5))?
False
Is 38 a factor of 322/4 + -3*(-1)/(-6)?
False
Suppose -w + 232 = -0*w. Is w/9 - (-4)/18 a multiple of 11?
False
Let j(d) = -10*d + 6. Is 12 a factor of j(-3)?
True
Suppose 25 = 2*c + 3*c. Suppose 2*z - 2*l = -9 + 1, 4*z - 20 = -c*l. Suppose z = 3*o + 3*r - 36, o - 4*r = 6 + 26. Does 16 divide o?
True
Suppose 0 = -3*m + 2*q + 166, 4*m - 307 = -3*q - 80. Is 12 a factor of m?
False
Let a be 5 - 0*1/(-2). Let x be (a/(-10))/((-2)/368). Suppose 0*c = -4*c + x. Is 10 a factor of c?
False
Let p(i) be the second derivative of 5*i**4/12 - 2*i**3/3 + 5*i**2/2 - 5*i. Does 15 divide p(4)?
False
Suppose -2*c - 4 = -4*c. Suppose -c*t - 49 = -3*t. Does 13 divide t?
False
Suppose -2*z + 1 = 15. Let c = z + 7. Suppose -3*r + 2*d + 111 = -2*d, -4*d = c. Is r a multiple of 11?
False
Suppose 0 = -0*d + 2*d - 3*y + 15, -y = -1. Let x be (30/4)/((-3)/d). Let s = x - -2. Is s a multiple of 12?
False
Suppose 2*k - 3*k - 178 = -2*a, -3*a - 3*k = -276. Does 29 divide a?
False
Let u(s) = -4*s**3 + s**2 + 2*s + 1. Let m be u(-1). Let d be m/(-10) + (-68)/(-20). Is 4 a factor of d/(-9) + 37/3?
True
Suppose v = r + 7, -v + 6*v - 15 = -5*r. Let b be (-1)/((r + 0)/2). Is b*10 - 2/1 a multiple of 8?
True
Is 0 - (1 - 56 - -1) a multiple of 9?
True
Let k(a) = -60*a - 1. Let p be k(-1). Let l = p + -32. Is l a multiple of 9?
True
Suppose 3*a + a = 2*v - 68, 5*v - 155 = 5*a. Is v a multiple of 14?
True
Let x = 47 - 5. Is x a multiple of 21?
True
Let p(y) = -y**2 + 5*y. Let n be p(5). Suppose -3*r + 4*r = -3*w + 135, -4*r = n. Let h = 80 - w. Does 12 divide h?
False
Let n(d) be the second derivative of -d**4/12 - 5*d**3/2 - 15*d**2/2 + d. Let a be n(-10). Suppose -a + 107 = 3*i. Is 16 a factor of i?
False
Let x be 3/(-18)*-2*6. Suppose -2*l + x*p = l + 16, 0 = 2*l + 3*p + 15. Does 17 divide (-47)/(-2) + 3/l?
False
Let n(w) = w**2 + 75. Let u be n(0). Let m = u - 51. Is m a multiple of 8?
True
Let a be (-1)/(-2 + 206/102). Let f = a + 86. Is f a multiple of 16?
False
Suppose -2*y - y = 4*w + 103, -95 = 3*y + 2*w. Does 3 divide y/(-9) + 2/(-9)?
True
Let l = 13 + 9. Is 11 a factor of l?
True
Let k = -3 - -9. Is 7 a factor of ((-56)/k)/(5/(-15))?
True
Let a = 186 + -101. Does 23 divide a?
False
Suppose -5*c + 18 = -2. Suppose 71 = c*f - 0*f + 3*a, 5*a = 25. Is 14 a factor of f?
True
Is 2*(1 + -2)*724/(-8) a multiple of 16?
False
Let u(q) = q**2 + 3*q - 6. Suppose -30 = 5*b - 3*a - a, -4*b + 2*a - 24 = 0. Is 10 a factor of u(b)?
False
Let d be (-9)/2*(-2)/3. Let p be 2*(d/2 - -1). Suppose 0*a + 8 = 4*a, -p*w = 5*a - 70. Is 12 a factor of w?
True
Let c = 73 - 16. Does 24 divide c?
False
Let u(p) = -3 - 99*p*