e
Let u = -7 - -7. Let j be 2 - (-3 + 4)*u. Suppose j*c = -2*c + 160. Does 30 divide c?
False
Suppose 41736 = 215*l - 191*l. Is l a multiple of 47?
True
Let t be 1*(10 + -2 + -2). Suppose 0 = m - 10 - 23. Suppose -t*x + m = -5*x. Is 11 a factor of x?
True
Let m = 12 + -10. Let s be (-1)/((9/m)/(-9)). Suppose -s*u + 2*l = -46, -u - l + 25 = -3*l. Is 7 a factor of u?
True
Let m(s) = 7*s - 311. Let b be m(45). Let v = 171 + -50. Suppose -2*p + 53 = -q, -b*p = 2*q - q - v. Is p a multiple of 15?
False
Let g = -63 - -149. Does 43 divide g?
True
Suppose -s - y - 18 = -6*y, -36 = 2*s + 5*y. Let j = -20 - s. Is 15 a factor of j/(-8) + 179/4?
True
Let x(h) = 6*h**2 + 2*h + 1. Let j(c) = -5*c - c - 4 - 15*c**2 + 0 - 2*c**2. Let f(g) = -4*j(g) - 11*x(g). Does 15 divide f(4)?
True
Let w(z) = z**3 + 28*z**2 + 182*z - 27. Does 58 divide w(-17)?
True
Suppose -43 = -28*d + 3093. Is 14 a factor of d?
True
Let j = 43 + -31. Suppose -2*b - 3*n + 9 = 3*b, 4*n = 2*b + j. Let d(m) = m**2 + 2*m + 10. Is 3 a factor of d(b)?
False
Let i(r) = -r**2 - 22*r - 17. Let h be i(-7). Is 8/(-2) - h/(-12)*15 a multiple of 10?
False
Let j(r) = -r**2 - r + 2. Let i be j(5). Let h = i + 78. Does 12 divide h?
False
Suppose 0 = -3*q - 4*p + 94, -4*q - p = 2*p - 116. Let m(g) = q + 7*g - g - 5. Is 12 a factor of m(9)?
False
Let y = -174 - -510. Suppose -4*h - 60 = -y. Does 12 divide h?
False
Suppose 4*k = 16, 5*q + 2*k - 448 = 55. Is q a multiple of 11?
True
Suppose 20*i - 12*i - 504 = 0. Suppose 4*p - 327 = 5*l, -p - 4*l - l = -i. Does 26 divide p?
True
Let c be (3/(-12))/((-1)/8). Is 3 a factor of 40/288*236 + c/9?
True
Let i(k) = k**3 + k**2 + k - 6. Let c be i(3). Suppose 24 = 34*q - c*q. Does 6 divide q?
True
Let y = -1426 + 2791. Suppose -y = -17*c + 12*c. Suppose -92 = -5*b + c. Is b a multiple of 20?
False
Let s = -4443 - -6398. Is 104 a factor of s?
False
Suppose 2*u - 12 = -8. Suppose 5*b + 39 = 3*g + g, b + 27 = u*g. Does 16 divide g?
True
Let q be (-2 + (2 - -74))*1. Let c be ((-4)/(-8))/((-2)/(-4)). Is (-4 - q)*c/(-2) a multiple of 6?
False
Let v(x) = 23*x**3 + 3*x**2 + 4. Does 27 divide v(3)?
False
Let a(w) = -10*w - 6. Let x be 1 - (-25 - -3)*1. Suppose 0 = -4*r - x + 3, -m = -r - 1. Is a(m) a multiple of 17?
True
Let r be (16/14)/(1/7). Suppose z + z + 2*c = r, 1 = -z + 4*c. Is z a multiple of 2?
False
Let c(u) = 41*u - 9 - 32*u + 17*u. Is 12 a factor of c(4)?
False
Suppose -v - 5*l + 1 = -3, 0 = -v - 4*l + 2. Let z = 18 + v. Suppose 14*k - 11*k = z. Does 4 divide k?
True
Let i(o) = 8*o**2 + 65*o - 508. Is i(9) a multiple of 15?
False
Let b(x) = 3*x - 28. Let w be b(-6). Let g = 76 + w. Is g a multiple of 15?
True
Suppose 2*q = 1 - 19. Let h be q/(9/2) - -292. Suppose 5*g - h = -f - 4*f, -2*g = 4*f - 240. Does 15 divide f?
False
Is 22 a factor of (-3 - -8) + 434/2?
False
Suppose j + 5*s + 0*s = 28, -4*j + 2*s + 156 = 0. Suppose y - 5*d - j = -d, 4*y + 4*d = 132. Is 6 a factor of y?
False
Does 5 divide (9 - (-1330)/20)/(2/4)?
False
Suppose 19 = 4*u + 7. Suppose 0 = -u*z + 5*z - 10. Suppose 2*a = 2*c + z*a - 31, -5*c = 5*a - 75. Is 9 a factor of c?
False
Does 6 divide (258/(-8))/(147/(-196))?
False
Suppose 3*k - 3*g = 15, k + 2 = -k - 2*g. Suppose 5*u = -3*j + 142, 0 = 3*u - 4*u + 4*j + 10. Suppose 2*v = 2*t + 20, k*v - u = t - 4. Is 12 a factor of v?
True
Let b(m) = -m**2 + 16*m - 11. Let c(x) = x**3 + 6*x**2 - 4*x - 9. Let v be c(-6). Let p be b(v). Suppose 102 = -2*j + p*j. Is j a multiple of 17?
True
Let b be 3*1/(6/28). Let t = b - 7. Does 5 divide t - (2 - 2 - 3)?
True
Let b = 2 + 6. Let n(i) = 5*i + 9 - 14*i + b*i. Is n(-11) a multiple of 11?
False
Let m = 5 - 3. Suppose m*c - 297 = 4*k + 127, 5*c - 1049 = -k. Suppose 0*g + 4*g - 3*s = c, -5*s + 64 = g. Is 18 a factor of g?
True
Suppose 169 = -r - 12*r. Suppose -3 = -3*n + 5*p + 6, 3*n = p - 3. Let j = n - r. Does 2 divide j?
False
Suppose 1 = g - 18. Suppose 3 = o, u + 2*o - 4 = 2. Suppose u = 5*z - g - 16. Is z a multiple of 2?
False
Let z(o) = o**3 - 12*o**2 + o + 7. Let h = 16 - 5. Let b be z(h). Let l = b + 163. Is 20 a factor of l?
True
Let r = -4803 + 7983. Is r a multiple of 20?
True
Suppose -9*n = n - 60. Let u(c) = 3*c**2 - 4*c - 7. Does 10 divide u(n)?
False
Let h(t) = t**2 + 16*t + 19. Let l be h(-13). Is (-32)/l*(-555)/(-6) a multiple of 37?
True
Suppose -192 = 3*l + 3*l. Let a = -22 - l. Does 5 divide a?
True
Let r(g) = -3*g + 71. Let o be r(13). Suppose 4*b = o + 28. Is b a multiple of 7?
False
Suppose -2*c + 7*c = 2*s + 8, -4 = s - 5*c. Does 38 divide 1559/9 + s/18?
False
Let j(d) = d**3 + 10*d**2 + 2*d + 20. Let b be j(-10). Suppose -5*q + 762 - 262 = b. Does 27 divide q?
False
Let c be (12/9)/((-6)/(-9)). Suppose 4*v = 5*r + 633, 3*v - c*v - r = 157. Does 43 divide v?
False
Let k(p) = 138*p + 9. Let w be k(2). Let f = w - 165. Is f a multiple of 12?
True
Is 45 a factor of (-6)/1*(-41)/(164/840)?
True
Let d(b) = -5*b**3 - 4*b**2 + 6*b + 2. Does 26 divide d(-4)?
True
Let t be (-80)/(-24) + (-2)/6. Let z = -6 - -6. Suppose z = -t*c + 5*c - 58. Is c a multiple of 11?
False
Let m(w) = -39*w - 1. Let d = -15 + 13. Let b be m(d). Suppose -g + b = g + l, l + 67 = 2*g. Is g a multiple of 7?
False
Let s(f) = 4*f**2 + 2*f - 122. Is s(-9) a multiple of 40?
False
Is 938 - (-2 - 2 - 84/(-14)) a multiple of 78?
True
Let d(l) = 8*l + 4*l**2 - 22*l + 15*l + 8*l. Does 15 divide d(-6)?
True
Suppose -5*q = 5*h - 40, 4*h + 7 = 4*q - 1. Suppose -180 = -5*l + 4*k, h*l + 3*k - 130 = k. Is 8 a factor of l?
True
Suppose -3*w = 5*m - 31, -m = 3*w - 1 - 46. Is w a multiple of 4?
False
Let w = 2 + 0. Suppose -6 = -0*y - w*y. Suppose 14 = 3*m + 4*l, 6*l + 50 = y*m + l. Is 5 a factor of m?
True
Let g(x) = -4*x - 57. Let y be g(-14). Is (-546)/9*(4 - 8 - y) a multiple of 14?
True
Let q = 21 - 16. Suppose x = -q*p - 143, 4*p - 3*x + 105 + 17 = 0. Let j = 43 + p. Is 7 a factor of j?
True
Let v be 2/4*6*21. Let l = 29 - v. Let z = l - -50. Is z a multiple of 16?
True
Suppose -3*w = 4*w - 714. Suppose i + i = -3*m + 61, 0 = 5*m + 3*i - w. Is 7 a factor of m?
True
Let p be ((-2)/4)/(2/4). Let s = -1 - p. Suppose -4*a + 137 - 33 = s. Does 9 divide a?
False
Let n = 111 - -29. Suppose -124 = -4*p + n. Suppose 2*i = p - 8. Is i a multiple of 8?
False
Let d = -10 + 16. Let g be 3/2*16/d. Let r = 27 + g. Is r a multiple of 12?
False
Suppose 15*x - 2503 = 9752. Is 37 a factor of x?
False
Let o be 1 + 1*8 + (-7 - -7). Does 8 divide (-568)/(-12) - (3/o + 0)?
False
Suppose 20*s - 19*s = 3*x - 2699, 0 = -4*x - 5*s + 3605. Does 50 divide x?
True
Is -5 + ((-12)/(-6))/6*447 a multiple of 3?
True
Let f = -23 - -34. Is 11 a factor of (1/(4/f))/(3/84)?
True
Let t(q) be the third derivative of -17*q**6/360 + q**5/60 - q**4/6 + 8*q**2. Let s(y) be the second derivative of t(y). Is s(-3) a multiple of 21?
False
Let k(v) = 3*v**2 + 11*v - 1. Let f = 5 - 15. Let a be k(f). Let d = a - 121. Does 12 divide d?
False
Let z(g) = g**2 + 13*g + 14. Let r be z(-12). Let a(q) = -1 - r*q + 0*q**2 - 8 + 0*q**2 - 5*q**2 - q**3. Is 13 a factor of a(-6)?
True
Let g = -1450 + 2973. Is g a multiple of 14?
False
Let j(v) = -v**3 - 10*v**2 - 10*v - 6. Let u be j(-9). Let c = u + 29. Is c a multiple of 8?
True
Let i(t) = t**3 + 4*t**2 + 3*t + 3. Let l be i(-3). Suppose 1 = -a + 5*y - 6, 5*y - 59 = -l*a. Does 10 divide (10/(-7))/(a/(-455))?
True
Let u(d) = 118*d - 58. Is 62 a factor of u(11)?
True
Let z(s) = -25*s + 7. Let v be z(4). Let m = -53 - v. Is 20 a factor of m?
True
Let k(g) = -g**2 - g. Let j(t) = 40*t**2 + 2*t + 4. Let c(l) = j(l) + 4*k(l). Is c(2) a multiple of 47?
False
Suppose 4*c = 4*j + 792, -2*c + 16*j - 21*j + 375 = 0. Does 4 divide c?
False
Suppose -25*b = -37*b + 2448. Is b a multiple of 12?
True
Let t be ((-5 - 8)*1)/(0 + -1). Suppose 2*y + 4 = -4*s, 4 = -0*y + 5*y + 3*s. Suppose 0 = y*k - t - 11. Is 7 a factor of k?
False
Let q = -32 + 37. Let u(o) = 6*o - 9*o - q*o - 5 - 7*o. Does 17 divide u(-6)?
True
Suppose 0 = -2*z + 6*z - 12. Suppose -z*d + 3*b - 110 = -1118, 4*d = -b + 1344. Suppose -3*x = -7*x + d. Is x a multiple of 28?
True
Let t(n) = -4*n + 4. Let p be t(1). Suppose p = 5*q - 60 + 20. Is 7 a factor of q?
False
Let c be 2 - -2*1*1. Let z = 129 - 75. Suppose -2 = -c*v + z. Does 14 divide v?
True
Let j(z) = z + 5. Let t be j(-4). Suppose