e
Suppose 0 = 3*y + 3*j - 15, 2*y - 2*j = 13 + 13. Does 9 divide y?
True
Let b(q) = 4*q**2 + 4*q + q**3 + q**3 + 2 - 2*q. Let u be b(-3). Let j = u - -54. Does 16 divide j?
True
Let r(p) = p**2 - 4*p - 8. Let i be r(6). Suppose 0 = -n - i*n + 75. Does 15 divide n?
True
Is 18 a factor of ((-54)/4)/((-2)/((-16)/(-3)))?
True
Let z = 26 - 24. Suppose 87 = z*w + w. Is w a multiple of 11?
False
Let s(w) = w + 3. Let l be s(5). Let j(v) = -v**2 - 6*v - 4. Let f be j(-4). Suppose f = g - l. Does 9 divide g?
False
Let s(z) = 2*z + 4. Let y be s(4). Does 10 divide 5/30 - (-346)/y?
False
Let j(y) = y**3 + 7*y**2 + 4*y - 7. Let u be j(-6). Suppose -2*o - 1 + u = 0. Suppose -3*c + o*c + 4*d + 28 = 0, -5*c + d + 102 = 0. Is 7 a factor of c?
False
Suppose 4*v + 4 = -4. Let y be v/4 + (-18)/(-12). Is (16/12)/(y/12) a multiple of 7?
False
Let h(s) = 21*s - 3. Let b(o) = -20*o + 2. Let u(m) = -4*b(m) - 3*h(m). Let p(w) = -2*w - 1. Let y be p(-1). Is 11 a factor of u(y)?
False
Let a(g) = -29*g**3 + g**2. Suppose 4*i = 2*d + 6, 4*i - d = 3*d + 8. Let f be (0 + i)*(-6 - -5). Does 11 divide a(f)?
False
Let z(r) = r + 3. Let u be z(9). Is 3/(((-21)/u)/(-7)) a multiple of 9?
False
Let o(x) be the first derivative of -15*x**2/2 - 3*x + 2. Let p be o(-2). Is 129/p + (-2)/(-9) a multiple of 5?
True
Let j = 4 - -2. Let r be 0*(9/j - 2). Suppose r = 3*y - y - 38. Is y a multiple of 10?
False
Let g(k) = -42*k - 3. Let o be g(-2). Suppose 9 - o = 4*d. Let i = 0 - d. Does 7 divide i?
False
Suppose 2*d - 277 = -3*k, 2*k = 5*d - 431 - 271. Does 10 divide d?
True
Let s be (-294)/63*(-3)/2. Let u(b) = -b**2 + 10*b + 16. Does 37 divide u(s)?
True
Let j(n) = -9*n. Let k(q) = 10*q. Let m(d) = -d**2 - 4*d - 1. Let p be m(-5). Let z(y) = p*k(y) - 7*j(y). Is 6 a factor of z(2)?
True
Let o(r) = -29*r - 3. Let b(i) = 15*i + 1. Let x(k) = 9*b(k) + 4*o(k). Suppose -5*m = 2*t - 16, -3*m - 2*t + 14 = m. Does 14 divide x(m)?
False
Let k be (2/(-2))/((-2)/(-14)). Is 3 a factor of k/(-2)*(1 - -1)?
False
Let l = 56 + -30. Does 6 divide l?
False
Let y = 2 - 0. Suppose 0*h + 4*h = -2*l, -3*l + y*h = -16. Suppose 2 + l = f. Is 3 a factor of f?
True
Let u(a) = -a**2 + a - 1. Let h(d) = -d**3 - d**2 - 11*d + 7. Let l be (-1 - -1) + 2 - 8. Let n(c) = l*u(c) - h(c). Is 3 a factor of n(-6)?
False
Let j = 464 + -996. Let w = j + 767. Suppose -2*g + w = 3*g. Does 12 divide g?
False
Let p(q) = q**2 - 153. Let x be p(0). Is (x/(-3))/(0 + 1) a multiple of 16?
False
Let m(s) = -2*s + 35. Let g be m(0). Does 15 divide 4/14 - (-1215)/g?
False
Suppose 6 = v + v. Suppose 0 = 2*w - v*m - 59, 4*w = 2*w - 2*m + 34. Is 8 a factor of w?
False
Is 36 a factor of (63/7)/(0 + (-2)/(-32))?
True
Let o be (122/(-4))/((-2)/4). Let c = o - 43. Is 9 a factor of c?
True
Let j(a) = 0 + 3*a - 4*a**2 + 7*a**2 - 4. Is j(-4) a multiple of 16?
True
Let p(r) = -28*r - 34. Is 10 a factor of p(-3)?
True
Let d be (-1 + -1)*196/8. Let g = 115 + d. Is g a multiple of 22?
True
Let v = 15 - 81. Let j = v - -114. Does 14 divide j?
False
Suppose -4*m = 5*v - 71 + 27, 0 = 2*m - 3*v. Suppose -m*b = -b - 25. Suppose -6 = -b*w + 24. Is 4 a factor of w?
False
Let u(a) = a - 8. Let k be u(4). Let w(n) = -3*n + 4. Does 4 divide w(k)?
True
Suppose 3*h = 4*d + 398, 5*d - 36 = -h + 122. Is 32 a factor of h?
False
Let y(q) = -q**3 - 9*q**2 + q + 9. Let f be y(-9). Is 11 a factor of (f - -2*11)/2?
True
Suppose -3*w + 12 = 3*u, 2*w + 3*u = -3*w + 14. Suppose -w = d - 0. Does 10 divide (d + 1 - 1)*-19?
False
Suppose -3*w = -3*f - 195, -w - 75 = -2*w - f. Is w a multiple of 35?
True
Let z(g) = -91*g - 2. Is 22 a factor of z(-1)?
False
Let i = 3 - 28. Let o = i - -46. Is o a multiple of 7?
True
Let v = -471 + 709. Suppose -b + 4 = 5*n - 62, 2*n = -5*b + v. Suppose 4*k - 3*k = b. Is k a multiple of 23?
True
Suppose 4*j = 3*q - q + 20, q - 4*j = -14. Is 18 a factor of 12/(-18) + (-112)/q?
True
Suppose 0 = -2*a - 27 + 9. Is 6 a factor of (-6)/(-27) + (-106)/a?
True
Suppose 13 = b - 20. Is b a multiple of 4?
False
Let n = 5 - 3. Suppose -291 = -5*b + 4*t - 5*t, -n*t = 8. Is b a multiple of 24?
False
Suppose 0 = 16*j - 13*j - 135. Is 15 a factor of j?
True
Let o = -6 + 10. Let x be 6 - ((2 - 5) + 0). Suppose -o*s + s = -x. Is s a multiple of 2?
False
Suppose 0 = 6*z - 18*z + 4920. Does 29 divide z?
False
Let u(z) = z**3 + 2*z**2 - 3*z + 2. Let p be u(-3). Let j = p + 4. Does 6 divide j?
True
Suppose 0*v + 2*v - 56 = 0. Let t = -20 + 61. Let z = t - v. Does 11 divide z?
False
Suppose 4*s - 90 = 2*s. Does 5 divide s?
True
Suppose t - 4*q - 44 = 0, -3*t + q = -4*t + 24. Is 14 a factor of t?
True
Suppose -3*a + 5*o = -18, 0 = -2*a - 4*o + 39 - 5. Let q = a + 22. Is 14 a factor of q?
False
Suppose h - 33 = 3*h + 5*d, 2*h + 4*d + 30 = 0. Let g(t) = t**2 + 4*t + 9. Is 27 a factor of g(h)?
True
Is 21 a factor of 4/10*300/2?
False
Let a be (0 - 1)/(4/(-20)). Suppose -p + 16 = -4*g, -3*p - 2 = a*g + 1. Does 10 divide (1/g)/((-2)/66)?
False
Let w(d) be the third derivative of d**4/24 - d**3 + 11*d**2. Is w(11) even?
False
Let m = -2 - -6. Suppose -31 = -p - 0*p + m*a, -35 = -p + 2*a. Suppose 2*x = 1 + p. Does 14 divide x?
False
Let a = 6 - -17. Let p = a - 16. Let j = 5 + p. Is j a multiple of 6?
True
Let y = 14 + -6. Let v be ((-12)/y)/((-2)/196). Suppose -3*g = -7*g - 12, v = 3*t - g. Does 13 divide t?
False
Let x(k) = 2*k - 12. Let a be x(8). Suppose 3*d + 44 = z + z, -a*d = 0. Is 11 a factor of z?
True
Let u be (-26)/117 + (-58)/(-18). Suppose -5*s + 50 = 3*t - s, u*s = 5*t - 93. Is 11 a factor of t?
False
Let l be 4*(1 + -2 - -2). Suppose -l*u = -69 - 19. Does 18 divide u?
False
Suppose 5 = 2*v - 1. Let s be 18/5 - v/5. Suppose 0 = s*t - t - 14. Does 7 divide t?
True
Let b(t) = 3*t - 4*t - 14*t**2 - 8 + 8. Let d be b(-1). Let w = d + 30. Is 17 a factor of w?
True
Let q be 3/(-6) + (-524)/(-8). Let f = -41 + q. Is f a multiple of 12?
True
Is 10 a factor of 1 + -2 + (-81)/(-1)?
True
Let a = -78 - -166. Is a a multiple of 19?
False
Let s(z) = -z**3 - 3*z**2 - 4*z - 2. Let y be s(-2). Let q be ((-37)/y)/(4/(-8)). Let f = 81 - q. Is 16 a factor of f?
False
Suppose 3 = f - 0. Suppose -f*p + 17 = g - 0*g, g - 2*p = -3. Suppose g*q - 7*q = -16. Is q a multiple of 8?
True
Let f(n) = -34*n**2 - 5*n + 4. Let s be 2/4 + 21/(-6). Let r(o) = o - 1. Let i(h) = s*r(h) - f(h). Does 13 divide i(1)?
False
Suppose -3*v + 2*v = 54. Let s = v + 91. Is 10 a factor of s?
False
Let n = 4 + -3. Let k be -9*n*8/(-3). Is (-4)/k - (-170)/12 a multiple of 7?
True
Let p = 106 + -58. Does 12 divide p?
True
Is 27 a factor of (-4)/(-18) + 2330/45?
False
Suppose 3*i + 2*i = 15. Is 2 a factor of i?
False
Let s(q) = q**3 - 5*q**2 + 3*q + 2. Let b be s(4). Let y(l) = l + 2. Let i be y(b). Suppose 0*z - 3*z + g + 89 = i, -91 = -3*z + 2*g. Is 16 a factor of z?
False
Let u = -96 + 128. Does 32 divide u?
True
Suppose 24 = -4*g - 0*g. Is (g/(-4))/(3/32) a multiple of 16?
True
Suppose 5*m + 0*r - 1900 = -5*r, m - 4*r = 355. Is m a multiple of 15?
True
Suppose 3*l - 84 = 12. Is l a multiple of 32?
True
Let x be (3/2)/((-2)/4). Let k be ((-46)/3)/(1/x). Suppose -2*i - 2*w - 4 = -k, i + 5*w - 33 = 0. Does 18 divide i?
True
Suppose 62 + 40 = j. Suppose 4*t = -5*c + 303, -344 = -4*c - 3*t - j. Is c a multiple of 21?
False
Suppose 3*c + c = 244. Let h = -40 + c. Is h a multiple of 15?
False
Suppose -2*x - 5*x + 21 = 0. Is x a multiple of 2?
False
Suppose -3*d - 2*t + 170 = 0, -t + 6*t + 85 = d. Is d a multiple of 10?
True
Let l = -59 - -209. Does 30 divide l?
True
Let f = -207 - -375. Is 42 a factor of f?
True
Suppose -l - 2*l = -123. Let x = l - 8. Suppose -6*f + 3*f = -x. Is f a multiple of 11?
True
Let a(j) = 3*j. Let f(r) = -r + 1. Let c(k) = -3*a(k) - 6*f(k). Does 6 divide c(-5)?
False
Let f be 4/(2/(-4)*-4). Suppose f*w - 25 = 23. Is w a multiple of 8?
True
Let w = 9 - 4. Suppose -4*t + 2*t = 0. Suppose t = 4*y + l - 25, 2*l - 50 = -w*y - 15. Is 5 a factor of y?
True
Let l(x) = x**3 - 3*x**2 + 5*x. Let j be 1*(16/(-1))/(-4). Is l(j) a multiple of 10?
False
Suppose -4*h + 147 = 5*o - 201, 0 = -2*o + 2*h + 132. Is 17 a factor of o?
True
Let n(j) = j**3 - 3*j**2 + 2*j. Is 12 a factor of n(5)?
True
Suppose w + 3*f - 530 = 7*f, 0 = -4*w - 5*f + 2183. Let j be (-2)/(-7) - w/(-14). Suppose -h - 2*h + j = 0. Is 13 a