e
Is -3 - (0 - (118 - 3)) a multiple of 29?
False
Let o(z) = -2*z**3 - 5*z**2 + 8*z + 5. Does 15 divide o(-5)?
True
Let z be (-4)/10 + (-22)/(-5). Suppose a + 3*w = 80, -3*a + 0*a + z*w + 188 = 0. Suppose 2*g + 2*g = a. Is 7 a factor of g?
False
Let u = -38 - -74. Suppose x - u = 25. Does 14 divide x?
False
Let l = 6 + -6. Suppose l = 2*d + 12 - 46. Is d a multiple of 4?
False
Suppose -3*m - d - 2*d + 3 = 0, 3*d - 6 = -4*m. Let u(w) = 5*w + m - 5 - 3. Is 10 a factor of u(5)?
True
Let u = -5 + 4. Let o(b) = -3*b**3 + b**2 + b + 1. Let k be o(u). Suppose 7 = k*t - 53. Does 7 divide t?
False
Let x(n) = -24*n**3 + n**2. Is 28 a factor of x(-2)?
True
Suppose -s = -n - 4*n - 133, s - 133 = n. Is s a multiple of 19?
True
Suppose y - 4 = -0. Suppose t - 6 - y = 0. Suppose 2*u - w = -u + 16, u = 5*w + t. Is u even?
False
Suppose q + 178 = 3*s, 6*s = 2*s + 4*q + 224. Does 23 divide s?
False
Let o = -19 + 13. Let i be (-39)/o*(0 + 4). Suppose q - i = -q. Does 5 divide q?
False
Suppose 2*t - f - 9 = 0, f = -2*t - 0*f + 15. Let m be 228/9 - 2/t. Suppose -47 = -4*g + m. Is 18 a factor of g?
True
Suppose -5*t - 2*y + 1699 = 0, -5*t = -3*t + y - 680. Is t a multiple of 52?
False
Suppose 0 = -p - p - 8. Let c = 3 - p. Is c a multiple of 6?
False
Let p be (-143)/55*-1*5. Let i be 1/2 - 94/(-4). Let m = i - p. Does 7 divide m?
False
Let d = 6 - 3. Let q(h) = -4*h**2 - 5*h**2 - 3*h**d + 0*h**3 + 2 - 10*h + 2*h**3. Is q(-8) a multiple of 15?
False
Let m(w) = w**2 - 5*w - 4. Let x = -26 + 22. Is m(x) a multiple of 7?
False
Let f(k) be the first derivative of -k**3/3 - k**2/2 + 11*k - 2. Does 11 divide f(0)?
True
Suppose -4*p + 2*u - 72 = 0, -4*p + u + 0*u - 70 = 0. Suppose 2*i + 12 = -0*i. Let v = i - p. Is v a multiple of 10?
False
Let u(t) = -t**3 + 16*t**2 - 13*t - 9. Is u(15) a multiple of 7?
True
Let r(q) be the third derivative of -q**6/24 - q**4/24 - 2*q**2. Is r(-1) a multiple of 3?
True
Let d be 6/15 - 18/(-5). Suppose 0 = -d*u + 28 + 4. Is u a multiple of 2?
True
Let k(m) = m**2 + 3*m - 3. Let h = 23 - 32. Is 18 a factor of k(h)?
False
Let l(y) = y**3 - 6*y**2 + 2*y + 1. Is l(6) a multiple of 11?
False
Let h(t) = -3*t**3 - 2*t - 3. Let a be h(-3). Suppose -a = -4*y + y. Is y a multiple of 14?
True
Let w(f) = f - 1. Let u be w(5). Let j be ((-66)/u)/(-3)*2. Let y = 2 + j. Does 4 divide y?
False
Let a = 14 - 16. Does 9 divide a/(-7) - 248/(-14)?
True
Let x = 449 + -304. Suppose -4*l - 5*n = -x, 0*l - 4*n = 4*l - 148. Does 20 divide l?
True
Suppose -r + 6*r + 1285 = -2*x, 5*x = 2*r - 3140. Does 21 divide ((-1)/2)/(5/x)?
True
Let u be (1 + -2)/((-1)/5). Let r be u/2 - 2/4. Suppose -y - 22 = -r*j + 18, 5*y = 0. Is 10 a factor of j?
True
Suppose -5*o = -2*a - 270, 0 = -2*o - 5*a + 61 + 47. Let l = o + -26. Is (-4)/14 + 1044/l a multiple of 16?
False
Suppose -36 = 6*d - 1152. Is d a multiple of 37?
False
Let f(c) = 28*c - 3. Let q(v) = 589*v - 62. Let h(w) = -62*f(w) + 3*q(w). Let n be h(-1). Let g = 49 + n. Is g a multiple of 9?
True
Let k(u) = -u + 8. Does 2 divide k(3)?
False
Suppose -6*j + 6 = -3*j. Let a be (-54)/(-3) - j/(-1). Let y = 41 - a. Is 6 a factor of y?
False
Suppose 5*z - 3 = 7. Suppose 2*h - 2*c - 5 = -1, -h = -z*c. Suppose 5*m - 85 = -3*o - 0*m, -2*o - h*m = -58. Does 9 divide o?
False
Suppose 0*k = 3*k + 4*p - 141, -169 = -4*k + p. Does 5 divide k?
False
Let f(g) = 2*g**2 - 7*g + 6. Is 11 a factor of f(5)?
False
Suppose 869 + 665 = 13*m. Is 9 a factor of m?
False
Let w be ((-38)/8)/((-5)/140). Suppose -3*r - 2*g = -w, -r - 4*r + 2*g = -227. Is 18 a factor of r?
False
Let w(z) = 36*z**3 - z**2 + 2*z - 1. Let j be w(1). Let m = 26 - j. Let r = 0 - m. Is r a multiple of 9?
False
Let h(n) = 11*n**3 + n. Is 4 a factor of h(1)?
True
Let q(v) = 4*v - 2 + 2*v + 2 - 1. Is 9 a factor of q(8)?
False
Let b(d) = 17*d - 13. Does 11 divide b(4)?
True
Let k(f) = -2*f + 2. Let d be k(3). Let m(w) = -3*w - 5 - 2*w**2 - 1 + 7*w**2 + w**3. Does 10 divide m(d)?
False
Suppose -k = -5*k - 5*r - 13, -5*k + 35 = -4*r. Let h be (0 - (-1 + k))*-1. Suppose -h*n = g + 3*g - 12, 3*g = 5*n + 22. Is 3 a factor of g?
False
Does 22 divide (0 + -3 - -9)*6?
False
Let y(v) be the first derivative of -v**4/4 - 5*v**3/3 - 7*v**2/2 - 2*v - 2. Does 17 divide y(-5)?
False
Let l(z) = z**3 - 27*z**2 - 27*z + 1. Does 29 divide l(28)?
True
Suppose 5*b - 17 = -7. Let p = b + 3. Suppose -2*y - 132 = -4*f - 8, 0 = -3*f - p*y + 119. Is f a multiple of 14?
False
Suppose -n - 3 = -4*n. Suppose 2*m = 3 + n. Does 18 divide ((-3)/6)/(m/(-144))?
True
Let l(y) = 45*y**2. Is 6 a factor of l(-1)?
False
Suppose -3*s + 5*s + 13 = 3*o, 3*o = 5*s + 28. Let u(p) = o - 2 - 6*p + 2. Does 15 divide u(-4)?
False
Suppose -14*m = -3*m - 1155. Is m a multiple of 5?
True
Suppose 4*d - 68 = -0*d. Suppose 0 = -5*a + 39 - 4. Let w = d - a. Does 10 divide w?
True
Suppose h = 2*u + 4*h + 107, 287 = -5*u - h. Let s = -24 + 107. Let d = s + u. Does 11 divide d?
False
Let z(i) = -i + 10. Let y be z(0). Let c = -6 + y. Let q = 15 - c. Does 11 divide q?
True
Let k(s) = s**2 - 9*s - 40. Is k(-8) a multiple of 8?
True
Let i be 4/3 + (-9)/27. Does 4 divide (17 - i) + -4 + 1?
False
Suppose 2*o = -3*o + 25. Suppose 2*y - 3*y - w = -3, 0 = -o*y - w + 31. Does 7 divide y?
True
Let v = 55 + -1. Let s = -28 + v. Is s a multiple of 13?
True
Let t(n) = 2*n**3 + 3*n**2 + 3*n. Let o be t(-2). Let c = 14 + o. Is 4 a factor of c?
True
Let h be (-2)/8 - 213/12. Let c = 30 + h. Is 8 a factor of c?
False
Suppose -c = 2*o + 2*o + 94, o + c = -25. Let m = o - -51. Is m a multiple of 13?
False
Let b(z) = 2*z - 8. Let y be b(6). Suppose y*l - 26 = 3*r, -r - 12 = l - 3*l. Suppose 0 = l*c + 20, -c = t + 3*c + 2. Is 6 a factor of t?
False
Let z be (26/6)/(12/(-216)). Let q = z - -130. Is 26 a factor of q?
True
Suppose 3*s + 2*s - 47 = -x, -3*s + 23 = -2*x. Suppose s = 5*g - 36. Is 3 a factor of g?
True
Let z(p) = -p**3 + 6*p**2 + 4*p + 2. Is 25 a factor of z(5)?
False
Suppose -3*b = -40 - 131. Suppose -4*l + l = -b. Is l a multiple of 7?
False
Let i be 3 + (-1 - 0) - 0. Suppose 97 = 4*r + 5*l - 28, -56 = -i*r + 4*l. Is r a multiple of 10?
True
Suppose s - 2 = -s. Let a = 5 + s. Let g = 8 + a. Is g a multiple of 14?
True
Suppose 16 = -4*u, 7 = 3*z + 2*u + 3. Does 8 divide 81/z - 1/4?
False
Let i(g) = g**3 - 3*g**2 + 3*g. Let l be i(2). Suppose 2*d + l*n - 22 - 40 = 0, 158 = 5*d + 4*n. Is 12 a factor of d?
False
Suppose -5*r - 5*o = -110, -2*r + 3*o + 18 = -r. Is 3 a factor of r?
True
Let v = 0 + 27. Does 9 divide v?
True
Let q(b) = b + 14. Let r be q(-11). Suppose 3*h - 53 = -5*g, 0 = r*g - 7*g + 16. Is 6 a factor of h?
False
Let v = 7 - 2. Suppose 5*r + 8*l - v*l = 484, r + 4*l - 90 = 0. Let o = -59 + r. Is 14 a factor of o?
False
Suppose 5*s = 3*s + 58. Suppose -2*u + 2*d + 7 = -s, 4*d = 5*u - 88. Is u a multiple of 8?
True
Let v = 90 - 0. Suppose 0 = 2*r + r - v. Is 10 a factor of r?
True
Let j(q) = 17*q**2 - 2*q - 2. Let y be j(2). Suppose -3*g + 2*u = 33 - 229, -4*u = -g + y. Does 22 divide g?
True
Suppose -25 = -4*w - 17. Let s = 24 - 14. Suppose d - s - w = 0. Does 12 divide d?
True
Suppose i + 144 = 3*i. Is i a multiple of 18?
True
Let i(j) = -j**2 - j + 2. Let l be i(0). Let b = l - -10. Does 5 divide 4/(-4) - b/(-2)?
True
Is (2 - 14)*(-1 + 0) a multiple of 3?
True
Let p(r) = -25*r + 3. Let g(y) = -12*y + 2. Let d(b) = -5*g(b) + 2*p(b). Does 19 divide d(3)?
False
Let u(g) = 4*g**2. Let x be u(-1). Suppose -4*p + x*c = -20, -5*c + 11 = -4*p + 26. Is p a multiple of 7?
False
Let r = 17 + -12. Suppose n - 21 = r. Is n a multiple of 13?
True
Let b(a) = -a - a**2 + 4*a**3 + 7*a**2 - 3*a**3 + 2. Is b(-3) a multiple of 24?
False
Suppose 8*o = 4*o + 8. Let b(i) = 32*i - 4. Does 20 divide b(o)?
True
Let z(j) = j**3 - 4*j**2 - 5*j. Let f be z(5). Let r = 3 - f. Suppose 28 = -r*b + 154. Is b a multiple of 17?
False
Let i(d) = 6*d - 2. Let b be i(8). Let p = b + -14. Suppose -25 = -3*y + p. Does 19 divide y?
True
Let m = 19 - 3. Does 14 divide m?
False
Suppose -2*j - 3*x = -0*j, 0 = -3*j - 4*x. Suppose j = -2*m - m. Suppose m = -3*c + c + 36. Is 18 a factor of c?
True
Does 19 divide (-470)/2*(-1 + -1)/2?
False
Suppose 3*i - 548 = -0*h - 2*h, -284 = -h + i. Is h a multiple of 28?
True
Let v(a) = a**3 - a**2 - 4*a + 3. Is 7 a factor of v(4)?
True
Le