e
Let c = -865 - -1630. Is c a multiple of 73?
False
Suppose -x - 2*s - 34 = 0, -40 = 2*x + 5*s + 31. Let a = x - -39. Suppose 125 = u + a. Is 30 a factor of u?
False
Suppose -c + 1544 = 2*y, 3*c - 8*y - 4635 = -13*y. Is c a multiple of 21?
False
Let l be (-4)/(2*-10)*0. Is 210*(l + 2)*(-1)/(-4) a multiple of 54?
False
Suppose 0 = 4*v + v + h - 148, -4*h - 68 = -2*v. Suppose 0 = -9*p + 4*p - v. Is (28/p)/(6/(-27)) a multiple of 8?
False
Let w be 1092/90 + (-4)/30. Suppose 8*f = w*f - 440. Suppose -3*i = 2*i - f. Is 8 a factor of i?
False
Let h be (-4 - -5)/((-1)/(-5)). Suppose -h*g = i - 2*i - 22, 0 = -3*g + 9. Let c = 20 + i. Is 12 a factor of c?
False
Let l = 446 + -254. Is l a multiple of 4?
True
Suppose 0 = m - 5*a + 19, 226 - 25 = -4*m - 5*a. Is 141/4 + 11/m a multiple of 7?
True
Let l(h) = h**3 + 6*h**2 - 2*h - 2. Let y be l(-6). Suppose -y - 278 = -3*f. Is 24 a factor of f?
True
Let q = -31 - -31. Suppose 2*f + q*c - c = 4, 3*f = -c - 4. Is 10 a factor of f + (-7 - -3) + 42?
False
Suppose 0 = 7*j - 2848 + 615. Does 34 divide j?
False
Let k(h) = 6*h - 18. Suppose 2*q + 4*g - 2 = 0, -g + 19 = 5*q + 2*g. Suppose q*l - 45 = -0*l. Is k(l) a multiple of 12?
True
Let p = -46 - -8. Let d = 93 + p. Is d a multiple of 11?
True
Let s be 18*(-4 + 13/3). Suppose 44 = -2*d + s*d. Is 5 a factor of d + -6*(-2)/3?
True
Suppose 3 = -2*z + 2*i - 5*i, -3 = 5*z + 3*i. Let p be (-6)/4 - 5916/(-24). Suppose 3*x - 52 = -3*b + 188, -3*b - 2*x + p = z. Does 29 divide b?
False
Let c(j) = -4*j + 35. Let p(l) = -4*l + 35. Let w(u) = -7*c(u) + 6*p(u). Does 6 divide w(24)?
False
Suppose -6 = 3*f - 0. Let z(v) = -3*v**3 - v**2 - 4*v - 3. Let i(g) = -4*g**3 - 2*g**2 - 4*g - 3. Let c(l) = -4*i(l) + 5*z(l). Does 9 divide c(f)?
True
Suppose 23*i = 18*i - 15. Let n(v) = -21*v - 2. Is n(i) a multiple of 6?
False
Let a(y) be the third derivative of 29*y**6/120 - y**5/20 + y**4/8 - y**3/6 + 4*y**2 + 1. Is 27 a factor of a(2)?
False
Suppose d + 242 = 862. Does 31 divide d?
True
Let x be 2*-1*(3 + (-8 - -4)). Suppose x*n + 306 = 5*n. Is n a multiple of 21?
False
Let m(u) = u - 1. Let y be m(5). Let g be y/8*(4 - -2). Suppose 96 = g*z + 3*o, -z - 4*o - 22 = -2*z. Does 10 divide z?
True
Let l = -26 + 21. Let t(o) = -4*o - 2. Is 9 a factor of t(l)?
True
Let v be 8/(16/90)*1. Suppose n + v = -4*n. Let h(g) = -g + 18. Is h(n) a multiple of 9?
True
Let n(a) = 11*a**2 + a + 1. Let p be n(3). Suppose 0*q - j - p = -3*q, 3*q + 2*j = 100. Does 20 divide q?
False
Suppose 2*r - 2970 = -4*b, 2*b = 6*b - 3*r - 2965. Suppose -5*c = -43 - b. Suppose -f + 43 = 2*d + d, 3*f + 2*d - c = 0. Is f a multiple of 18?
False
Suppose -4*z - f + 480 = 0, 8*z - 3*f = 5*z + 345. Is z even?
False
Let u = 67 - 83. Is 3 a factor of (-550)/u + 15/(-40)?
False
Let x = 4 + -1. Suppose 7 = -4*o + x. Is 19 + (0 - -2) + o a multiple of 14?
False
Is 60 a factor of -4*(-600)/((-5)/(-1))?
True
Suppose 7*n + n - 168 = 0. Is 9 a factor of n*((-6)/33 - (-57)/11)?
False
Let r = 227 - -131. Is 11 a factor of r?
False
Is 4 a factor of (-2)/9 + (7 - 23777/(-117))?
False
Suppose j + 11 = 39. Suppose -75*b + j = -73*b. Does 6 divide b?
False
Let o = 153 - 3. Let k = o - 82. Does 17 divide k?
True
Let k(m) = -4 + 5*m - 1 + 1 - 2 - 4. Suppose 5*a + 2*q - 7 = 0, -a - 5*q - 23 = -2*a. Does 2 divide k(a)?
False
Does 44 divide 7/((-56)/8) - -45?
True
Suppose 3*v = 74 + 34. Does 12 divide v?
True
Suppose s - 47 = 140. Suppose -3*m = -3*y + 135, 4*y + 6 = 5*m + s. Does 14 divide y?
False
Let h = 15 - 7. Suppose 0 = h*n - 3*n - 25. Suppose -26 = -n*r + 4. Is r even?
True
Let a = -13 - -11. Let h(c) = -5*c - 3. Let o be h(a). Let v(u) = u**3 - 5*u**2 - 7*u - 1. Is v(o) a multiple of 24?
True
Let v(y) = 25*y**2 - 4*y + 35. Is 14 a factor of v(4)?
False
Suppose -2*a = 3*q - 6, q - 3 = -4*a - 1. Suppose -5 = -g + q*y, 9 = -g + 6*g - 2*y. Suppose v + 24 + 19 = 5*o, 4*v = o - g. Is 6 a factor of o?
False
Let j(x) = x + 28. Let i be j(-13). Let d = i + -12. Is 16 a factor of (1 + -4)*(-16)/d?
True
Let f(h) be the third derivative of -1/12*h**4 + 0*h + 0 - 3*h**2 + 1/60*h**5 - 1/6*h**3. Is f(7) a multiple of 17?
True
Let l = -85 + 89. Does 7 divide (l*(-28)/(-32))/((-4)/(-8))?
True
Let u(i) = i**2 + 22*i - 59. Is 13 a factor of u(-26)?
False
Let n be (-3)/2*(-112)/21. Let j be (n/(-12))/((-1)/33). Suppose -122 = -3*h + j. Is 12 a factor of h?
True
Let x(j) = -3*j - 4. Let q be x(4). Let i = 20 + q. Does 13 divide 2 + (336/i)/2?
False
Let u = -3 + 42. Let g = u - 27. Is g a multiple of 2?
True
Let r(m) = -m**2 + m + 52. Let w be r(0). Let s = -47 + w. Does 3 divide s?
False
Suppose -754*u + 767*u - 10192 = 0. Is 16 a factor of u?
True
Suppose 3*x - x = 5*r + 54, 2*x = r + 6. Let j = r + 17. Suppose i + 3*k = 7*k + 22, 4 = i + j*k. Is 6 a factor of i?
False
Suppose 6 = 4*m - 10. Let v(s) = -s**2 + 8*s. Does 8 divide v(m)?
True
Let f(v) = v**3 - 7*v**2 + 12*v - 7. Let w be f(5). Suppose 150 = x + w. Is x a multiple of 9?
False
Let a be (4 + 3)/(-7) - 31. Suppose 4*u + u + 3*y - 259 = 0, -4*y + 162 = 3*u. Let j = u + a. Does 9 divide j?
True
Suppose -4*l + 24 = 5*n - 15, 0 = -2*l - 2*n + 18. Let v(j) = -j**3 + 5*j**2 + 6*j - 8. Let z be v(l). Let x = z - -25. Does 5 divide x?
False
Let o(u) = -u**2 - 18*u - 14. Let l be o(-6). Let h = 72 - l. Does 4 divide h?
False
Suppose -6000 = 2*m - 12*m. Does 72 divide m?
False
Let r = -40 - -44. Suppose -121 = -3*f + c, 7*f = r*f - 4*c + 116. Is f a multiple of 7?
False
Let q be -12 + 0 + -2 + -4. Let b = q - -124. Is 31 a factor of b?
False
Let z(h) = 21*h**3 - 50*h**3 + 36*h + 32*h**2 + 28*h**3 - 39. Is 15 a factor of z(33)?
True
Let d be (-6)/(-2 - (-5)/10). Suppose -92 = -d*r + 156. Is r a multiple of 11?
False
Suppose -k + 234 = 3*y - 281, k + 5*y - 509 = 0. Suppose -5*o - 53 + 924 = -4*c, -k = -3*o + c. Does 35 divide o?
True
Let n(a) = -63*a + 20. Let r be n(1). Let z = -1 + 1. Let c = z - r. Is c a multiple of 11?
False
Suppose 4*h = n + n + 42, -5*h + 3*n + 54 = 0. Let p(r) = -r**3 + 8*r**2 + 12*r + 3. Let u be p(h). Suppose -s + 0*s + u = 0. Is 15 a factor of s?
True
Suppose 60*u - 5*o - 3885 = 55*u, 2*o = u - 773. Does 24 divide u?
False
Let k(m) = 14*m**3 + 2*m**2 + m - 2. Let o be k(1). Is 4 a factor of 5/(o/(-21))*-4?
True
Suppose 5*u + 430 = 27*s - 23*s, -3*u + 446 = 4*s. Is s a multiple of 55?
True
Let o = -619 + 1255. Is o a multiple of 17?
False
Let x be -4 + 1/1 + 3. Is -10 - -6 - (x + -70) a multiple of 22?
True
Let u(s) = 12 - 41*s + 4 - 1 + 57*s. Let d be u(14). Suppose -4*i + d = 3*p, -5*i = -17 + 7. Is p a multiple of 23?
False
Suppose j = -3*j - 444. Let p = 162 + j. Let t = p + -18. Is 15 a factor of t?
False
Is 3 a factor of (-6308)/(-38) + 1*(3 - 10)?
True
Let u(p) = 40 + 11*p**2 + 17 - 3*p**2 - 6*p**2 - 31*p. Does 15 divide u(19)?
False
Let w be -3*(-1)/12 - 270/(-8). Suppose 3*i + a - w = 0, 3*i - 9 - 37 = 5*a. Does 8 divide i?
False
Let f(a) = a**3 + 14*a**2 - 2*a - 24. Let n be f(-14). Suppose q - 164 = -5*c, -n*c = -3 - 13. Is q a multiple of 16?
True
Let i(y) = 38 - 4*y + 9*y - 54 + 2*y**2. Let w be i(-8). Suppose 0 = -2*p - 4*t + w, 0*t - 3*t = -5*p + 193. Is p a multiple of 18?
False
Let k = -158 - -72. Let b = -72 - k. Is 4 a factor of b?
False
Suppose a - 4*a - 27 = 0. Let z = 29 + -10. Let g = z + a. Is g a multiple of 6?
False
Suppose 0 = -3*m - 4 + 10. Let h be 106/(-4)*(0 - m). Suppose 5*x - 13 - 43 = -4*n, 5*n + 2*x = h. Does 2 divide n?
False
Let b = 1 + 1. Suppose z - 3 - b = 0. Suppose z*o = o + 100. Is 7 a factor of o?
False
Suppose 2*h - 45 = 75. Does 10 divide h?
True
Suppose 13*y + 124 = 2438. Let x = y + -52. Does 37 divide x?
False
Let x be (1/2)/(2/232). Let d(k) = 2*k - 4. Let p be d(5). Let j = p + x. Is j a multiple of 13?
False
Let q(w) = -w. Let s be q(0). Let o be -6 - (s + -2 - 1). Let b(j) = -7*j + 4. Does 10 divide b(o)?
False
Let u(g) = g**2 + 12*g + 24. Let m be u(-10). Does 4 divide m*(3 - (-10)/(-5))?
True
Let f(w) be the second derivative of -w**5/120 + 7*w**4/24 - 7*w**3/6 + 7*w. Let y(o) be the second derivative of f(o). Is 5 a factor of y(-9)?
False
Let t(g) = -g**3 - 8*g**2 + 13*g + 32. Is 12 a factor of t(-11)?
True
Let i(l) = -23*l**3 + 2*l**2 + 2*l. Let k be i(-1). Suppose 45 = 26*x - k*x. Is x a multiple of 3?
True
Suppose 4*m + 3