y be (-2)/(((-4)/n)/1). Suppose 2*j - 2*u - u = 83, -117 = -y*j - 3*u. Is 16 a factor of j?
False
Suppose 10*q - 551 = 1349. Is 32 a factor of q?
False
Suppose 5*n - 2*s - 114 = 0, -n = -2*n - 2*s + 18. Let b = n - 10. Does 6 divide b?
True
Let g(y) = y + 0 - 6 + 1. Let s be g(5). Suppose -5*k + 4*c + 55 + 32 = s, -21 = -k - c. Is 19 a factor of k?
True
Suppose 57 - 21 = -4*y. Is 5 a factor of ((-6)/y)/(2/18)?
False
Let l(g) = 2 + 0*g - g + 0. Let u(v) = -v**2 - v - 3. Let i be u(2). Does 4 divide l(i)?
False
Suppose 38 = -5*x + 4*s - 0*s, 5*s + 35 = -2*x. Does 3 divide (x - 1)/(4/(-4))?
False
Let k(a) = a + 4. Let u be k(3). Let j(v) = v**3 - 6*v**2 + v - 7. Is 11 a factor of j(u)?
False
Suppose 7 = k + 2*l - 3, -5*k + 2*l + 14 = 0. Is 2 a factor of k?
True
Suppose 612 - 159 = -3*k. Is 10 a factor of (-4)/24 + k/(-6)?
False
Suppose 50 + 22 = 4*f - 4*l, 5*l - 110 = -5*f. Is 6 a factor of f?
False
Let o(d) = 3*d**2 - 10*d - 4. Is 7 a factor of o(5)?
True
Let o = 18 - 11. Suppose o*h - 25 = 2*h. Does 5 divide h?
True
Let c(v) = -11*v + 19. Is 7 a factor of c(-4)?
True
Suppose -4*p + 36 = 5*w, -5*p - 5 = -2*w + 16. Is w a multiple of 2?
True
Let g(b) = -3*b**3 + 0*b**2 - 2*b**3 - 4 + b**3 - 4*b**2 + 3*b. Let x be g(-4). Suppose 3*c + 59 - x = 0. Is c a multiple of 17?
False
Suppose 0 = 3*p + 1 - 7. Suppose -u + 6*u - 18 = -p*n, -n - 6 = -5*u. Let m(b) = b**3 - b**2 - b - 4. Is m(n) a multiple of 13?
False
Let t(w) be the first derivative of w**5/6 - w**4/24 + w**3 + 3. Let c(v) be the third derivative of t(v). Is 19 a factor of c(1)?
True
Let c be 1 + 28/(-4) - -2. Is 15/2 - 6/c a multiple of 9?
True
Suppose -a + 1 = -12. Is 4 a factor of a?
False
Let c = 25 - 19. Suppose -288 = -c*y + 2*y. Is y a multiple of 12?
True
Let x be 4/((2/43)/2). Let i be 4 - 1/2*-2. Suppose -i*f + 3*a = -192, -7*f + 2*f - 2*a = -x. Does 12 divide f?
True
Suppose -w - 8 = -5*w. Let s be ((-62)/(-4))/((-1)/w). Let n = s - -61. Is n a multiple of 15?
True
Suppose 0 = -8*j + 609 - 193. Does 16 divide j?
False
Let a(v) = 7*v**2 + 2*v + 2. Let m(k) = -k**3 - 5*k**2 + 3*k - 8. Let l be m(-6). Let q be 4/l + 24/(-10). Does 9 divide a(q)?
False
Suppose -4*s = 3*c - 23, 4*s - 8*c + 17 = -3*c. Suppose 2*i = 2*l + 5*i + 78, 0 = 5*l + s*i + 184. Let x = -14 - l. Is x a multiple of 11?
True
Let t = -10 + 16. Suppose o - 97 = -39. Suppose -2*g - o = -5*r, -2*r + t*g = 3*g - 21. Does 12 divide r?
True
Let m be (-3)/9 - 98/(-6). Let w(x) = 8*x**2 - 4*x + 4. Let v be w(4). Suppose -5*n + v - m = 0. Is n a multiple of 10?
True
Let k(o) = -4*o + 2. Suppose 2*s = -2 - 12. Let v be k(s). Suppose -4*y + 0 = 2*n - v, -n = -1. Is y a multiple of 2?
False
Does 25 divide ((-20)/(-6))/((-152)/(-75) - 2)?
True
Let r(i) be the third derivative of -i**6/120 + i**5/15 - i**4/24 - i**3/3 + 5*i**2. Is 4 a factor of r(2)?
True
Let m(f) = f + 1. Let a be m(-3). Let d = a + 4. Does 5 divide (-2)/((d/(-9))/1)?
False
Suppose -2*s = 5*w - s - 14, 5*w + 3*s = 22. Suppose -2*u = -3*t - 0*u + 122, -w*t + 5*u + 63 = 0. Does 11 divide t?
True
Let j = 68 - 50. Is 9 a factor of j?
True
Let m be (0 + -2)*1 + 2. Suppose m*b = b. Let c(o) = o**2 - o + 12. Does 6 divide c(b)?
True
Let l(t) = t**3 + 11*t**2 - 5*t - 12. Is l(-11) a multiple of 5?
False
Let c(s) be the first derivative of s**4/4 - 4*s**3/3 + s**2 + 2*s - 2. Is 5 a factor of c(4)?
True
Let m = 539 - 352. Does 10 divide m?
False
Let u = 44 + 1. Suppose 3*r - u = -0*r. Is 6 a factor of r?
False
Suppose 2*p - 17 = 53. Let f be (-62)/7 - 5/p. Does 6 divide (-187)/f - 6/(-27)?
False
Suppose 32 = 2*l - k, 2*k + k = -3*l + 39. Suppose -2*q - 3 = -l. Is q even?
True
Let p(k) = -8 - 10*k - 5 + 11*k. Let y be p(9). Let z = 16 - y. Is z a multiple of 10?
True
Let j(x) = -x + 7. Let m be j(5). Let q = 2 - m. Suppose q = -p - 1 + 12. Does 5 divide p?
False
Suppose 4*m + 4*l - 17 = 3*m, -3*m + 51 = -4*l. Let d be 1/(3 - 2) + -12. Let s = m + d. Is 3 a factor of s?
True
Let t(d) = 3*d**2 + 3*d - 27. Does 2 divide t(-5)?
False
Suppose 2*j = -4*w + 8 - 2, 19 = 4*j + w. Is 30 a factor of (3 - j/2)*238?
False
Let o(p) = -6*p - 5. Suppose -5*c - 13 - 17 = 0. Let j = 2 + c. Is o(j) a multiple of 6?
False
Suppose 0 = -13*c + 12*c + 30. Does 10 divide c?
True
Let y = -15 + 41. Let w = y + -12. Is w a multiple of 14?
True
Let s = -5 + 6. Is 7 a factor of (21/(-9))/(s/(-6))?
True
Let t = 2 - 2. Suppose -4*s + i + 189 = t, -3*s + 0*i = 2*i - 128. Does 12 divide s?
False
Let v be ((-2)/(-3))/(2/(-3)). Let l be (4/2)/((-6)/(-36)). Is (2/(-4))/(v/l) a multiple of 6?
True
Suppose -2*w + 9 = -3. Suppose h - 27 = -2*h. Does 6 divide (-114)/(-9) - w/h?
True
Let u(o) be the second derivative of o**4/4 + o**2 + 5*o. Is u(3) a multiple of 14?
False
Suppose 0*x + 4*x - 96 = 0. Does 8 divide x?
True
Let h = -318 + 645. Is 37 a factor of h?
False
Let j = 15 - 14. Is j/4*37*4 a multiple of 28?
False
Suppose 13 = -4*y + 41. Is y a multiple of 7?
True
Let x(y) = y + 11. Is 8 a factor of x(5)?
True
Suppose -2*i = -2*o + 3*o - 46, 0 = -4*i - 3*o + 88. Let l = -7 + i. Let b = 25 - l. Does 4 divide b?
False
Let q be -50*(3 + (-4)/1). Let f = q - 35. Suppose -4*y + f + 112 = -5*r, -5*y = -5*r - 155. Is 14 a factor of y?
True
Is 2 a factor of ((-10)/20)/((-2)/48)?
True
Suppose 0 = 5*i - 3 - 2. Let d(q) = 80*q - 1. Is 16 a factor of d(i)?
False
Is 4074/56 - (1 - (-2)/(-8)) a multiple of 9?
True
Suppose -5*m + 256 = -4*p, 4*p - 30 - 50 = -2*m. Suppose 0 = 4*b + 2*k - 46, -10 - m = -5*b - 3*k. Is 11 a factor of b?
True
Suppose -4*k - k + 68 = -3*y, -5*y = -20. Is 16 a factor of k?
True
Let n(x) = -x + 30. Is 17 a factor of n(13)?
True
Let q(d) = 3*d + 1. Let z(n) = 14*n + 6. Let i(x) = 11*q(x) - 2*z(x). Let r be i(1). Suppose 5*k - 3*s - 59 = 0, 2*s = r*k + 3*s - 37. Does 4 divide k?
False
Let c(z) = 14*z - 3. Let s = -10 + 13. Is c(s) a multiple of 13?
True
Suppose c = v - 14, 3*c + 50 = 3*v + 2*v. Let d = -3 - -9. Let x = d - c. Is x a multiple of 7?
False
Let h(w) = -14*w + 323 - 323. Is 14 a factor of h(-4)?
True
Let v be 15/3*(-1)/(-5). Let j be v/(-4) + (-84)/(-16). Is 0 + 2 + -3 + j even?
True
Suppose -5*b = -q + 64, -5*b + 48 = 3*q - 44. Suppose 7*d = 3*d. Suppose 0 = -3*r + q - d. Is 10 a factor of r?
False
Let h(x) = -x + 8. Let s be h(8). Suppose -4*r = -s*r - 16. Suppose 2*b - r = -3*a + 13, 5*b + 5*a - 35 = 0. Does 3 divide b?
False
Let q = 101 - 67. Does 9 divide q?
False
Let l be (-89)/(-3) + 1/3. Suppose f = -f - l. Let s = -10 - f. Is s even?
False
Suppose 3*k - 5*t = -k + 28, 5*k + 4*t = -6. Is 2 a factor of k?
True
Suppose -5*b - 5 + 0 = 0. Is 6 a factor of 1/((-3)/69*b)?
False
Let i = -21 + 350. Does 47 divide i?
True
Let a(m) = 5*m - 1. Does 3 divide a(1)?
False
Suppose -4*k = -2*k - 44. Let l be 4/k - 39/33. Is 0 - (l - 1*20) a multiple of 14?
False
Let l(t) = t + 2. Let f be l(-4). Is (7 - 1)*f/(-3) a multiple of 2?
True
Let n(u) = u + 2. Let f(a) = 1. Let k(c) = -f(c) - n(c). Let w be k(-5). Suppose -w*j - j + 108 = 0. Is j a multiple of 13?
False
Is 14 a factor of 4*3/6*7?
True
Let b = 29 - 18. Suppose -5*p + f + b = 0, -4*f = -p - 3*p - 4. Is 2 a factor of p?
False
Let r = -6 + 6. Is (r - -3)*(-51)/(-9) a multiple of 11?
False
Suppose -2*h - 3*h + 30 = 0. Let g be 9/6*16/h. Suppose -2*t + 5*l = -103, 0*l = -g*l - 12. Is 14 a factor of t?
False
Suppose 0*b + 82 = 2*x + 5*b, 0 = -2*x + b + 106. Let y(t) = -t**2 + 4*t - 12. Let n be y(6). Let l = x + n. Is 13 a factor of l?
False
Let t(g) = 24*g - 4. Let l be t(2). Let b = l - 30. Does 3 divide b?
False
Let w = -88 - -193. Does 35 divide w?
True
Suppose 3*m = -2*j + 12, -j - 1 = -2*m - 0. Let k be j - ((-1)/(-1) - 198). Let g = k + -136. Is g a multiple of 22?
False
Let t be (-8)/(-6)*18/4. Is (28/t)/(1/6) a multiple of 14?
True
Suppose 5*y + 1 = -l + 24, -10 = 2*l - 4*y. Suppose 2*b + 4*q = 72, 5*b - l*q = 28 + 139. Is 12 a factor of b?
False
Let a be 2/7 + (-1023)/(-21). Suppose -4*l + a = 5. Suppose -155 + l = -4*w. Does 18 divide w?
True
Suppose -3*m = -4*y - 39, -4*y - 3*m = 9 - 0. Let r(o) = -4*o**2 + 3*o - 3. Let i be r(2). Let n = y - i. Is n a multiple of 6?
False
Suppose -11*c + 13*c = 0. Suppose 4 = -c*m + m. Is m a multiple of 4?
True
Let z be -1 + -3 + (-36)/3. Is 5 a factor of z/12*15/(-2)?
True
Let v(f) = -16*f -