e
Let h = -69 + 48. Let l be (-132)/(-21) + 6/h. Suppose 0 = -d + l*d - 2*c - 13, -d - 5*c = -8. Is 3 a factor of d?
True
Does 12 divide 24/(1*-3 - 95/(-30))?
True
Let x be 20/(((-6)/(-5))/3). Suppose x = h - 3*a + a, 3*h + 4*a = 160. Is h a multiple of 13?
True
Let i(b) = b - 5. Let y(g) = -g + 4. Let o(r) = 2*i(r) + 3*y(r). Let s = 5 + -10. Is 7 a factor of o(s)?
True
Suppose -i + 104 = 3*v - 341, 4*i + 620 = 4*v. Is v a multiple of 13?
False
Let w be 6/15 - (-16)/10. Suppose 3*j + 2*a = -j + 8, 0 = -5*j + w*a + 19. Suppose t - j = 41. Does 18 divide t?
False
Let r(w) = -w**3 - 2*w + 15. Is 3 a factor of r(0)?
True
Suppose 3*s - 187 = -s - 5*b, 145 = 3*s - b. Is 6 a factor of s?
True
Suppose p - 5*j + 3 + 2 = 0, 10 = 5*j. Suppose p*d + 4*q = -25, -2*q = -d - 3*q - 5. Let o = d - -21. Is 8 a factor of o?
True
Suppose -35 = -3*q - 4*u, -3*q + u = -2*u. Suppose -q*w + 47 = -4*w. Does 18 divide w?
False
Let a be (12/(-10))/((-3)/10). Let y be 1 + (a/(-2) - -4). Suppose 4*j + 4*s - 2 = 70, -y*s + 94 = 5*j. Does 9 divide j?
False
Let r = 35 - 13. Let v = -14 + r. Is 3 a factor of v?
False
Let x be (-15)/10*10/(-3). Suppose -2*m + 10*r - x*r + 118 = 0, 3*m - 184 = 4*r. Is 32 a factor of m?
True
Suppose -5*u + 4*k = 4, -3 = -7*u + 2*u - 3*k. Let l be (-1 - u)/(-1) - -35. Let r = 72 - l. Is r a multiple of 14?
False
Let v(h) = 4*h**2 - 4*h - 8. Does 7 divide v(4)?
False
Let t be (-1 - 2/1)*5. Let q = t + 38. Is 6 a factor of q?
False
Is 13 a factor of 1/((-152)/(-50) - 3)?
False
Let r(m) = 3*m - 4*m - 4 + 2*m**2 - 3*m + 0. Let b be r(4). Suppose y + b = 2*y. Is y a multiple of 8?
False
Suppose 2*u - 12 = 12. Is 6 a factor of u?
True
Is 3 a factor of 6 + 59 + (-1 - 1)?
True
Suppose -5*z - 277 = 113. Let t = z - -51. Is 166/6 - 9/t a multiple of 14?
True
Let v(r) be the first derivative of -r**4/4 + 8*r**3/3 - r**2/2 + 11*r + 2. Does 2 divide v(8)?
False
Suppose 2*i + 34 + 26 = 0. Let h = 43 + i. Suppose -3*z - h = -4*z - 3*q, -2*q - 13 = -z. Is z a multiple of 13?
True
Let c(n) = n + 11. Let a(r) = -r**3 + 4*r + 4. Let q be a(-3). Let s = q - 11. Is c(s) a multiple of 12?
False
Let s = 2 - 4. Let t(j) = -7*j**2 + 2*j - 1. Let h be t(s). Let l = -20 - h. Is 13 a factor of l?
True
Is 15 a factor of 14 - (0 - (-12)/(-4))?
False
Let m be (1 + 4)*16/(-5). Let u = -10 - m. Does 3 divide u?
True
Suppose 71 + 163 = 2*k. Suppose 2*y - 35 = k. Suppose 2*v = 6*v - y. Does 9 divide v?
False
Suppose -5*u + 2*x = -230, 3*u - 6*x - 138 = -3*x. Does 23 divide u?
True
Let f(h) = -h**3 + h**2 + 3*h - 3. Let a be f(-3). Does 8 divide (2 - a/15)*20?
True
Let p be (0 - -6)/(6/(-4)). Let g be (p/5)/(6/(-705)). Suppose 4*q + 5*y = g, -8*q + 108 = -4*q - 2*y. Is 10 a factor of q?
False
Let w(t) = -5*t - 14. Is w(-11) a multiple of 18?
False
Let u = -3 - -5. Suppose 0 = -2*o - u*q + 10, 2*q - 12 = 2*o - 2. Is 3 a factor of o + 6/(-3) + 9?
False
Suppose 2*v - 4 = 2. Is (11/v)/((-5)/(-30)) a multiple of 13?
False
Let z(q) = -q + 10. Let g be z(-9). Suppose -5*j + 1 = -g. Is j/10 + (-48)/(-5) a multiple of 5?
True
Let a be (-2)/(-3) - (-190)/30. Let v = a + -3. Suppose v*k + 0*l = -3*l + 157, 3*l - 83 = -2*k. Is 12 a factor of k?
False
Is 3 a factor of (-2)/12 + (-57)/(-18)?
True
Suppose a = -4*z - 35, 4*a + 86 = -5*z + 1. Let j = a + 21. Is 5 a factor of j?
False
Suppose 7*w - 14 = 5*w. Let f = w - -2. Is f a multiple of 3?
True
Let x be 11 + -5 + 6/3. Suppose -x*i + 6*i + 52 = 0. Suppose -i = -2*m + 5*h - 0*h, -5*h - 65 = -5*m. Is 4 a factor of m?
False
Let u(k) = 86*k**2 + 4*k + 1. Is u(1) a multiple of 4?
False
Suppose 0 = 3*g - 8*g + 4*f + 235, 3*f = 4*g - 188. Let i = g + -25. Does 22 divide i?
True
Let g(u) = 3*u - 1. Is g(3) even?
True
Suppose 0 = 12*k - 4*k - 216. Is 19 a factor of k?
False
Let c be ((-1 - 3)/(-4))/1. Is 5/(c*4/24) a multiple of 10?
True
Suppose 0 = 4*x - 99 - 109. Let a be 4/14 + x/14. Is 11 a factor of (a/8)/(1/54)?
False
Suppose -9*h - 330 + 1032 = 0. Is 6 a factor of h?
True
Suppose 0 = 5*s - 0*s - 10. Suppose 2*z - 41 = 3*f, 4*z = -s*f - 1 + 59. Suppose -20 - z = -4*w. Is 9 a factor of w?
True
Suppose 5*t = -r + 13, 3*t + t - 16 = -r. Does 4 divide r?
True
Suppose -3*l = -0*i + i - 246, -3*l = -i - 252. Is l a multiple of 29?
False
Let b(g) = -g**2 - 3*g - 1. Let c be b(-2). Suppose a + 3 = -c. Let f(x) = -4*x + 4. Is f(a) a multiple of 9?
False
Let o be 4/(-3)*(-36)/(-8). Let z = o + 9. Is 3 a factor of z?
True
Suppose -4*b + 4*l = l + 105, -3*b + 3*l - 78 = 0. Is 12 a factor of (b/(-2))/((-9)/(-24))?
True
Let s = -38 + 53. Suppose -s = -5*k - 55. Is 10 a factor of (60/(-8))/(6/k)?
True
Suppose -5*m + 0*m + 125 = 0. Does 11 divide m?
False
Let c be (-4)/((-8)/(-6)) + -21. Let n = 69 + c. Is n a multiple of 9?
True
Let w = -58 - -78. Is w a multiple of 4?
True
Is 11 a factor of 3/((-9)/696*-4)?
False
Let k = -1 + 3. Let o = k - 5. Let j = o - -5. Is j even?
True
Let q = 721 + -446. Does 25 divide q?
True
Let b = -3 - -10. Let f(p) = -p**2 + 0*p**3 - 9 - b*p**2 + 7*p - p**3. Is f(-9) a multiple of 9?
True
Let t = 518 + -325. Is t a multiple of 33?
False
Let f = -28 - -68. Is f a multiple of 20?
True
Let i(a) = -34*a - 2. Does 22 divide i(-2)?
True
Let l(w) = 2*w - 7. Let d be l(6). Suppose 0*c = -c - 2*v, 3*v = d*c - 52. Is c a multiple of 8?
True
Let b(x) = 2*x - 7. Let c be b(7). Suppose -4*o = -c - 13. Is 4 a factor of o?
False
Suppose 3*m = 3*a - 6, a = -3*m - 3*a + 29. Suppose y - m*y + 48 = 0. Is y a multiple of 12?
True
Suppose t - 31 = 4*p - 4*t, 0 = 3*t + 3. Let v(u) = -u - 3. Is 2 a factor of v(p)?
True
Is (24/36)/((-2)/(-165)) a multiple of 7?
False
Let j(r) be the second derivative of r**5/20 - r**4/4 + r**3/6 + 2*r**2 + 2*r. Is 8 a factor of j(4)?
True
Let o = -86 - -150. Is o a multiple of 8?
True
Suppose 0 = -5*f + 128 - 23. Let r(c) = c**2 - 8*c + 16. Let a be r(6). Suppose -2*o + 3*t = -f, a*t + 6 = 2*t. Does 6 divide o?
True
Suppose -5*f - x + 403 = 2*x, -3*f + 5*x + 269 = 0. Suppose -133 = -2*o + f. Is 30 a factor of o?
False
Let t = 49 - 27. Is t a multiple of 9?
False
Is 9 a factor of (-9)/(-2)*(-2 + 4)?
True
Let n = 1 - 2. Let u be 10/15 + 10/(-6). Is 2 a factor of (2 - n) + (-2 - u)?
True
Let t = -30 + 45. Does 7 divide t?
False
Suppose 4*a + 5 = a - 2*k, 3*k - 21 = 5*a. Let w be (0 + a/(-6))*34. Let t = w + 9. Is 10 a factor of t?
False
Let x(d) = 37*d - 2. Let i be x(2). Let h = i - 44. Is h a multiple of 14?
True
Let h(d) = d**2 - 5*d + 7. Let t be h(5). Suppose -3*v = -t*v + 156. Let a = -19 + v. Is 9 a factor of a?
False
Suppose 5*u = 194 + 56. Let g = u - 8. Is g a multiple of 21?
True
Let b(r) = -r**3 - 11*r**2 - 9*r + 14. Let m be b(-10). Let p(v) = 2*v**2 + 6*v + 2. Let n be p(6). Suppose m*x + 6 - n = 0. Does 13 divide x?
True
Let n(t) = 34*t**2 - 3*t + 2. Is n(1) a multiple of 10?
False
Let k(d) be the first derivative of 3*d**2 - 12*d + 1. Is 12 a factor of k(8)?
True
Is 4 - (-76)/(-16) - (-1166)/8 a multiple of 27?
False
Suppose 4*q - 23 = -0*q + 3*b, -2*b = 4*q - 38. Suppose -28 = -2*j + 4*y, 5*j + 4*y - q = 4*j. Is j a multiple of 12?
True
Let h = -4 + 8. Suppose 11 = h*u - 1. Does 18 divide (6/4)/(u/76)?
False
Suppose g = -3*y + 3, 2*g - 4*y + 20 = -2*g. Is 24 a factor of -4 - (-60 - (-6)/g)?
False
Suppose -5*f + 2*v = -228, 3*f - f = v + 91. Is f a multiple of 19?
False
Let y = -4 - -13. Is 4 a factor of y?
False
Suppose -a + 8 = -5*a - 2*c, 20 = a - 5*c. Let h(k) = k**3 + k**2 + 10. Is h(a) a multiple of 9?
False
Is (-10)/(-5) + (-3 - 483)/(-3) a multiple of 21?
False
Suppose -2*t = 2*t - 72. Does 6 divide t?
True
Let u(b) = -b**2 - 10*b - 11. Is 13 a factor of u(-6)?
True
Let r be 1/3 + (-140)/6. Let v = r - -61. Is v a multiple of 19?
True
Let i be 4/2 + (-3 - -4). Suppose i*p + 2*p - 25 = 0. Suppose -4*w + 132 = -5*q, -104 = -3*w - 0*w + p*q. Is 14 a factor of w?
True
Is (-2298)/(-14) + (-12)/84 a multiple of 41?
True
Let q(r) = -r + 3. Let u be q(8). Let z(x) = -2*x + 6. Is z(u) a multiple of 16?
True
Let k = 8 - 6. Let w(q) be the second derivative of q**5/20 + q**4/6 + q**2/2 + 11*q. Is 6 a factor of w(k)?
False
Does 7 divide -6*(-5)/((-60)/(-56))?
True
Let r = -6 + 11. Suppose r*c - 8*c + 96 = 0. Is 14 a factor of c?
False
Suppose -p + 4*a - 62 = 0, 4*p - 2*a - 3*a + 248 = 0. Let b = 103 + p. Is b