e
Let v = -47 - -118. Let m = -39 + v. Is m a multiple of 16?
True
Is 12 a factor of (496/(-24))/((-6)/9)?
False
Suppose 40*l = 41*l - 12. Let u = -11 - -19. Suppose l = 2*r - u. Is r a multiple of 5?
True
Let w = 35 - 16. Let g = -11 + w. Let f = 10 - g. Is f a multiple of 2?
True
Let q be (-7 - -5)*5/(-2). Suppose 57 = 5*r - 2*r + 3*l, -3*r = -q*l - 73. Is 7 a factor of r?
True
Suppose -3*h + 6 = 21. Does 16 divide (-97)/(-3) - h/(-15)?
True
Let u(v) = -v - v - 5*v + 5. Is u(-4) a multiple of 13?
False
Let x = 95 + -55. Is x a multiple of 20?
True
Suppose -2*y = -0*y + 2*t - 76, -3*y = -4*t - 86. Suppose 3*g + 5*u = y, 0 = 5*g - 3*u + 7*u - 35. Suppose -g*r = r - 44. Is r a multiple of 5?
False
Is 4/10 + ((-5832)/(-5))/9 a multiple of 18?
False
Let p(b) = b**2 - 7*b. Let a be p(5). Let o = a + 7. Is (4/6)/(o/(-45)) a multiple of 6?
False
Does 17 divide (-12)/(-5) + -2 - (-338)/5?
True
Let b(c) = -c**2 - 12*c + 4. Let r be b(-12). Let u(t) = 2*t + 7. Is u(r) a multiple of 6?
False
Let z(x) = 4*x**2 - 8*x + 2. Let m(v) = -v. Let a(h) = -10*m(h) + z(h). Let l = -23 + 20. Does 16 divide a(l)?
True
Let m(f) = 15*f - 2. Let d be m(-2). Let w = d + 58. Does 13 divide w?
True
Suppose 4*n + 3*d - 3 = -18, n + 5*d = -25. Suppose n = s - 2*s + 27. Is s a multiple of 10?
False
Let h(a) = -a + 7. Let i be h(5). Suppose 5*r + 4*z = 226, i*z - 136 = 3*r - 6*r. Is 13 a factor of r?
False
Suppose 5 + 7 = p. Suppose -4*z + p + 16 = 0. Suppose -3*v = -2*n - 56, -2*n - 27 = -v - z. Does 6 divide v?
True
Is 22 a factor of 17 - -4 - -3 - 2?
True
Let h(g) = 7*g + 5. Let d be h(-5). Let r = -12 - d. Is 6 a factor of r?
True
Let q(v) = 3*v**3 + 1. Let b be q(1). Suppose -50 = -b*r - r. Is 3 a factor of r?
False
Let l = -25 - -33. Does 3 divide l?
False
Suppose 0 = 5*p - 4*x + 134 - 653, 0 = 5*x + 5. Let h = p + -74. Is h a multiple of 10?
False
Suppose i + 2*i = 2*d - 188, -5*i = d - 120. Does 11 divide d?
False
Suppose -8*h + 256 = -4*h. Is 8 a factor of h?
True
Let q = -43 - -95. Is q a multiple of 8?
False
Suppose 5*h + 20 = a, 2*a + 16 = 4*a - 4*h. Suppose -4*c = -a*c - 132. Is 9 a factor of c?
False
Let x be 3/(-6)*-2*-11. Suppose -3*j + 11 = 4*b, 3*b + 6 = 4*j + 4*b. Is (j - (x + -1)) + 1 a multiple of 10?
False
Let m = 4 + -1. Let y(u) = 4*u - 1. Let s be y(1). Suppose -5*h = s*q - 137, -h + m*q + 87 = 2*h. Is 28 a factor of h?
True
Let c be (6 + -3)/(2 + -1). Suppose -3 = 3*t, 0 = 2*l - c*t + 9. Is 6 a factor of (-3)/l*-2 - -10?
False
Let i(w) = w**3 - 4*w**2 + 2*w - 1. Is 13 a factor of i(5)?
False
Suppose 2*n - 12 - 4 = 0. Is 4/5*60/n a multiple of 3?
True
Let v be (10/(-4))/((-1)/2). Suppose 3*r = -4*w + v, 2*r + 3*w - w = 0. Let q(y) = y**3 + 6*y**2 - y - 4. Is q(r) a multiple of 13?
True
Let q(r) = r**3 + 5*r**2 + 4*r + 4. Let z be q(-4). Suppose 0*j - j = -z. Is j a multiple of 4?
True
Let i(b) = b**3 + 25. Does 5 divide i(0)?
True
Let p be (-54)/(-42) + 4/(-14). Is 1*((p - 2) + 30) a multiple of 29?
True
Let j(s) = -s + 2. Let m be j(-6). Suppose 2*p + 3 = p, 2*p = r - m. Let k(o) = 14*o - 3. Is 15 a factor of k(r)?
False
Let t(q) = q**2 - 12*q + 4. Does 2 divide t(12)?
True
Let f(h) = 21*h**2 + 13*h - 7. Let m(g) be the third derivative of -11*g**5/60 - g**4/4 + g**3/2 - g**2. Let r(p) = -4*f(p) - 9*m(p). Is 6 a factor of r(-1)?
False
Let g be (-6 - -9)*(-4)/(-3). Suppose -7 - 21 = -g*p. Is p a multiple of 2?
False
Let r = 2 + -3. Let n(k) be the second derivative of k**4/3 + k**3/6 - 4*k. Is n(r) a multiple of 3?
True
Suppose 5*c = 3*k + 23 + 20, 3*k + 33 = 3*c. Let d = 17 + k. Does 3 divide d?
False
Let b(y) = y + 5. Let x be b(0). Let d(r) = r**3 - 5*r**2 + 7*r - 5. Is d(x) a multiple of 10?
True
Let v be 12/((-2)/4*1). Suppose 17*b - 12*b + 190 = 0. Let x = v - b. Does 7 divide x?
True
Let k(u) = -u**3 + 13*u**2 - 11*u - 7. Let p be k(12). Suppose 144 = p*q - q. Does 11 divide q?
False
Let b(d) = d**2 - 8*d - 9. Does 8 divide b(11)?
True
Suppose 5*p + 3*w = 2*p + 138, -3*p - 5*w = -142. Suppose -4*t + p = -2*t. Is t a multiple of 6?
False
Let q = -9 + 16. Is 2 a factor of q?
False
Let z = 272 - 152. Is z a multiple of 10?
True
Let a be 4/18 - 44/36. Let h = a - -26. Is 15 a factor of h?
False
Suppose -5*a = 3 - 18, -4*b + 2*a + 102 = 0. Does 7 divide b?
False
Let b = 12 - 9. Is (-111)/(-2) - b/6 a multiple of 14?
False
Let k = 18 + -63. Let n = -20 - k. Does 16 divide n?
False
Let u(c) = 7*c**3 - c**2 + 2*c - 2. Let z be u(2). Let t = 78 - z. Is t a multiple of 12?
True
Suppose -3 + 43 = -5*v. Is (v/20)/((-1)/30) a multiple of 12?
True
Let a = -22 - -68. Is a a multiple of 12?
False
Does 15 divide (34/(-4))/(9/(-18))?
False
Let m(g) = -g - 7. Let c be m(-8). Suppose -4*z + 23 = -13. Suppose b = z + c. Is 9 a factor of b?
False
Let r = -42 + 79. Let q(i) = 26*i**2 - 1. Let m be q(-1). Let z = r - m. Is z a multiple of 12?
True
Let b(p) = p**3 - 4*p**2 + 2*p + 7. Let r be (-4)/(-2) + (-13 - -1). Let j = -5 - r. Is 19 a factor of b(j)?
False
Let s(h) = h**3 - 9*h**2 + h - 7. Let n be s(9). Suppose -70 = -n*r - 3*r. Does 6 divide r?
False
Let b = 217 - 26. Is 26 a factor of b?
False
Suppose k - 4*s + 6 = 0, 0*k = -2*k + 5*s - 6. Suppose 7*c = 2*c + 90. Suppose k*u - 4 - c = 0. Is u a multiple of 6?
False
Suppose -3*u - 2*l + 9 = 0, -2*u - 4*l = -u - 13. Let w = 14 - u. Is 12 a factor of w?
False
Let r = 67 - -30. Suppose -2*x = 6, 0 = -0*z - 2*z + 3*x + r. Is 12 a factor of z?
False
Suppose 0*f - 2*i - 15 = -3*f, -3*f = 5*i + 6. Suppose -f*k + 52 = 10. Is 14 a factor of k?
True
Let r = 4 + -2. Suppose -25 = r*p - 119. Does 22 divide p?
False
Suppose -2*j - j + 27 = 0. Suppose -j = -k - 0. Is 9 a factor of k?
True
Let p be 8/(-36) + (-4)/(-18). Suppose p = c + c. Suppose -5*m - 27 + 187 = c. Does 19 divide m?
False
Let z = 219 - 96. Is z a multiple of 23?
False
Let c be (0/(-1))/(-2*1). Let s = 11 - 8. Suppose c = -q + 21 + s. Is q a multiple of 12?
True
Suppose -2*t = -2*a + 28, 5*a + 2*t - 3*t = 50. Is 9 a factor of a?
True
Let d = -389 - -562. Is d a multiple of 30?
False
Let w = -1 - -3. Suppose w*z - 2*t = z, -2*t = -2. Suppose -z*b + 40 - 4 = 0. Is 7 a factor of b?
False
Suppose 3*w - 19 - 2 = 0. Suppose 4*s + 14 = -3*i, 5*s = 2*i - 22 - w. Suppose i*z - 32 = -2*z. Is 5 a factor of z?
False
Let r be (-3 - (-2 + -3)) + -37. Let a be -5*(-7)/(r/(-138)). Suppose -2*p - p = -a. Is p a multiple of 23?
True
Suppose q - 15 = 3. Is q a multiple of 14?
False
Suppose -2*s = -s - 6. Let u(w) = s*w + 21*w**2 - 6*w. Does 9 divide u(-1)?
False
Let q(u) = -u**2 + 12. Let w be q(0). Suppose -93 = -3*f + 3*o + 36, 4*o + w = 0. Suppose f = 4*y - i, 6*i = -y + i - 11. Does 9 divide y?
True
Let h(s) = s**2 - 4. Let l be h(4). Is 2 a factor of 0 + 2 + (l - 8)?
True
Suppose -5*w + 0*w + 5 = 0. Let s be (w/2)/((-3)/168). Let j = 4 - s. Is j a multiple of 16?
True
Suppose 0*i = 3*i. Suppose -u + 15 + 5 = i. Is u a multiple of 10?
True
Suppose 0*u + 64 = u. Is 13 a factor of u?
False
Let q(m) = -m**3 + 7*m**2 + 9*m - 2. Let v be q(8). Suppose 0*h = v*h - 288. Is h a multiple of 12?
True
Let o be 2*1*6/3. Suppose 3*t - z = -o*z + 54, z = 0. Does 14 divide t?
False
Suppose -3*q - 12 = 15. Let d = q + 11. Is d a multiple of 2?
True
Suppose 3*c + m - 38 = -0*m, -5*c - 3*m = -66. Is 37 a factor of (-3)/(c/(-404)) - -3?
False
Let u(c) = c**3 + 4*c**2 - 2*c - 2. Let j be u(-4). Let x(h) = h**2 - 2*h + 2. Does 13 divide x(j)?
True
Let m = -45 - -64. Is 8 a factor of m?
False
Suppose 4*y = -2*f + 40, 2*f = -y - 2*f + 17. Is y a multiple of 9?
True
Suppose -5*b - 5*p = -70, 4*b + 8 = -5*p + 61. Is b a multiple of 6?
False
Suppose l = -4*l + 205. Is 15 a factor of l?
False
Suppose 8*q = 12*q - 88. Does 11 divide q?
True
Let u(x) = 1 - 130*x**2 + 130*x**2 + 3*x - 3*x**3 + 0. Suppose 6 = -2*m - m. Is u(m) a multiple of 12?
False
Let q be (4/(-5))/2*-60. Let a = q - -19. Does 25 divide a?
False
Let r = 0 - 0. Let v be (9/(-27))/(1/6). Is r/v + 3 + 32 a multiple of 14?
False
Let v = -8 - -13. Suppose -v*k + 91 = -359. Is 23 a factor of k?
False
Suppose u + 4*w - 42 = -8, -2*u = -2*w - 18. Does 3 divide u?
False
Suppose 8*r - 52 = 4*r. Is r a multiple of 13?
True
Let m(a) = a**3 - 6*a**2 + 3*a + 8. Let d be m(6). Let p = 23 + d. Is (-4)/8 - p/(-2) a multiple of 13?
False
Let n be 