derivative of -5*l**4/12 - l**3/2 + 2*l**2. Is 17 a factor of t(-2)?
True
Suppose -10 = -4*c + 10. Suppose c*o = 4*w + o - 264, 3*w - o - 188 = 0. Is w a multiple of 22?
False
Suppose -4*w + 3*d + 2*d = -4, -5*w - 2*d + 5 = 0. Let s be 16*w*78/24. Suppose i - s = 4*h, -4*i + 3*h + 84 = -2*i. Is i a multiple of 12?
True
Suppose -2*f + 149 + 115 = 0. Is f a multiple of 33?
True
Let i(r) = 5*r**3 + 6*r - 4*r**3 + 2 + 8*r**2 + 0*r - 2*r. Suppose 0 = -4*t - t - 35. Does 10 divide i(t)?
False
Suppose -63*p + 64*p - 36 = 0. Is p a multiple of 11?
False
Let v(a) = -a**3 - 6*a**2 - 5*a - 5. Let o be v(-6). Suppose -q + o = 4*q. Suppose -6 = r + q*t - t, 0 = -t - 4. Does 9 divide r?
False
Let f(u) = -4*u**3 - 6*u**2 + 7*u - 2. Let s(o) = 5*o**3 + 6*o**2 - 8*o + 2. Let i(b) = 6*f(b) + 5*s(b). Let q be i(6). Let n = 17 - q. Is n a multiple of 3?
False
Let d(y) = -2*y**2 + y + 4. Let b(k) = 2*k**2 - 4. Let x(i) = -3*b(i) - 4*d(i). Is x(-3) a multiple of 16?
False
Is 10 a factor of 1*(11 - (1 + -4))?
False
Does 15 divide 1/((-1)/2)*(-270)/4?
True
Let k = -55 + 60. Is k a multiple of 5?
True
Is 6 a factor of ((-390)/(-50))/(1/5)?
False
Suppose -27 = 3*m - 3. Let d be (-9)/6*m/3. Suppose t + 2*w - 46 = 0, 3*w = -d*t + 242 - 83. Does 18 divide t?
True
Let c(f) = -23*f + 3. Let u be c(-3). Suppose -4*h + 5*d + u = d, -3*h + 69 = 2*d. Is 9 a factor of h?
False
Suppose -2*f = 4*v + 8, -5*v = 2*f - 5 + 17. Suppose 2*t - 12 = 4*c, -4*t + 38 = -2*c - f. Does 4 divide t?
True
Let s(i) = 6*i + 7. Suppose -4*x - 2*c + 5*c = -30, 4*x + 3*c = 18. Is 14 a factor of s(x)?
False
Suppose 4*o + 4*n - 3*n = 649, -3*n - 159 = -o. Is 27 a factor of o?
True
Suppose -10*y + 9*y = -66. Is y a multiple of 12?
False
Let z be 27*3/((-9)/(-7)). Let c = z - 36. Is c a multiple of 19?
False
Let g(d) = -6*d + 1. Let i(r) = r. Let s(u) = g(u) + 5*i(u). Suppose -4*j - 5*k = 52, -2*j - 12 = j - 3*k. Is s(j) a multiple of 5?
False
Let s(l) = l**3 - 9*l**2 - 10*l + 5. Let x be (5/(-3))/(2/(-12)). Does 5 divide s(x)?
True
Let s(a) = a**3 + a**2 - a + 68. Let i be 0/(-2 - (0 - 4)). Let j be s(i). Let o = j + -44. Is 12 a factor of o?
True
Let w(x) = 4*x**2 + 1 - x**3 + 4*x**2 - 5*x**2 - 6*x + 3*x**2. Suppose -9 = -2*q - t, 3*q - 6*q + 3*t = -9. Does 8 divide w(q)?
False
Suppose 0 = -4*t - 2*p + 480, -3*t + 6*t - 360 = -5*p. Does 15 divide t?
True
Let b(g) = g**3 + 4*g**2 - 3*g + 2. Let r be b(-4). Suppose 0 = 2*u - r - 8. Is 10 a factor of u?
False
Let c(j) = 5*j**2 + 5 + j**3 - 2*j**3 + j - 5*j. Let k = -82 + 86. Is 5 a factor of c(k)?
True
Let k(l) = 9*l + 10*l**2 - 5*l + 8 + 2*l + l**3 + 3*l. Is k(-8) a multiple of 24?
False
Let g = 176 - 104. Is 18 a factor of g?
True
Let i = 3 + -6. Let f = i + 17. Does 14 divide f?
True
Let s(x) = 2*x**3 - 5*x**2 - 5*x + 6. Let j be s(4). Let a be 12*1/(-6)*-3. Does 5 divide (-6)/9 + j/a?
True
Let i = -17 + 71. Is 12 a factor of i?
False
Suppose 0 = -b - 0*b - 4*y + 28, 32 = 3*b - y. Does 13 divide b/(-18) + 41/3?
True
Suppose 0 = 25*z - 21*z - 216. Is z a multiple of 6?
True
Suppose 5*s + 2 - 32 = 0. Is s a multiple of 6?
True
Suppose 0 = 139*n - 140*n + 10. Is 10 a factor of n?
True
Let n = -74 - -144. Is 10 a factor of n?
True
Suppose 2*t + 5 = t. Let j(n) = -n**3 - 3*n**2 + 6*n + 6. Is 13 a factor of j(t)?
True
Suppose -10 = 4*a - 30, -44 = -4*j - 4*a. Does 6 divide j?
True
Suppose -t + 69 = -3*m, 5*t + 2*m + 0*m - 362 = 0. Is t a multiple of 17?
False
Suppose 0 = -t + 101 + 7. Is t a multiple of 22?
False
Let b(v) = -2*v - 6. Suppose 16 = -5*k - 4. Let o be b(k). Suppose o*t + d = 6*t - 104, -147 = -5*t - 3*d. Is 9 a factor of t?
True
Let w(c) = -11*c**2. Let u be w(-1). Let m = u - -65. Is 18 a factor of m?
True
Is 18 a factor of 348*(4 - (-21)/(-6))?
False
Suppose -4*r + 57 + 27 = 0. Is 7 a factor of r - 0*1/4?
True
Let h(a) = 16*a**3 - a**2 - a + 1. Let n be h(1). Is 16 a factor of (-80)/(-6)*18/n?
True
Let s be 4*(-1)/(-2) + 2. Let h be (6/s)/((-2)/(-20)). Suppose 0*i + i - h = 0. Is 9 a factor of i?
False
Let w = 290 + -140. Is 12 a factor of (9/15)/(5/w)?
False
Let t = -6 - -12. Suppose 0 = -t*k + 3*k + 39. Is k a multiple of 13?
True
Suppose -k - 2*p + 45 = 3*p, k - 57 = -p. Suppose 2*g = 7*g - k. Is g a multiple of 6?
True
Suppose 5*z = -c + 37, 0*z - 4*z - 32 = -2*c. Is c a multiple of 11?
True
Suppose -6*i = -12*i + 66. Is 2 a factor of i?
False
Let r(l) = -52*l - 3. Let f be ((-2)/(-3))/((-3)/9). Let v be r(f). Suppose 4*t + 4*a - 23 = v, -t + 51 = -3*a. Does 15 divide t?
False
Let n = 361 - 206. Let h be 3/(-5) + (-6)/(-10). Suppose h*a = 5*a - n. Is 14 a factor of a?
False
Let u be (-5)/(3/(3 + 12)). Let t = u - -52. Is 7 a factor of t?
False
Let i(q) = -1 + q + 1 + 1. Let t(l) = -9*l - 7. Let p(h) = 24*i(h) + 3*t(h). Does 9 divide p(-5)?
True
Suppose -4*n = 134 + 6. Let z = -7 - n. Is 14 a factor of z?
True
Let r = 75 + -43. Suppose 5*o = 4 + 11. Suppose -2*i - o*m + r = 0, -i + 18 = -0*i + m. Does 11 divide i?
True
Suppose -38 - 12 = -d. Does 11 divide d?
False
Let x(a) = 3*a**2 - 27*a + 24. Let i(l) = l**2 - 9*l + 8. Let g(z) = -11*i(z) + 4*x(z). Let m be g(8). Let j = 9 - m. Is 9 a factor of j?
True
Suppose 5*o = -q, 6*o - 52 = -3*q + 4*o. Suppose -3*g + q = 2*g. Suppose -7*f - g*i + 100 = -2*f, 0 = -2*f - i + 40. Does 20 divide f?
True
Let x = 17 - 15. Suppose -x*r = -2*h - 46, -4*h - 2 = -r + 30. Is r a multiple of 20?
True
Let n(f) = f - 4. Let w be n(7). Suppose -2 + 6 = d + 5*b, -w*b = 2*d - 22. Is 14 a factor of d?
True
Suppose -2*n + 230 = 3*n. Is 3 a factor of n?
False
Let c(j) = -j - 1. Let v be c(-5). Suppose 4*f - 2*a - 13 = 73, -v*f - a + 101 = 0. Is 16 a factor of f?
False
Suppose p - 16 = -3*p. Suppose -p*x = -x - 606. Suppose 5*d - x = 53. Is d a multiple of 22?
False
Let c be 32/(-6)*(-30)/8. Suppose o = -o - c. Let i = 25 + o. Is i a multiple of 8?
False
Suppose 0 = 5*i + 3*i - 920. Does 23 divide i?
True
Let b = -77 + 123. Is 8 a factor of b?
False
Let f be 12/9*12/8. Suppose -176 = -f*u - 2*u. Is u a multiple of 11?
True
Let p(w) = 23*w + 6. Let h be p(8). Suppose -u + h = 5*i - 119, -313 = -5*i - 2*u. Does 23 divide i?
False
Let b = -3 + 1. Let h(g) = -g**3 - g**2 + 2*g + 2. Let o be h(b). Suppose 0 = 3*s - 35 + o. Is 11 a factor of s?
True
Suppose 5*q - 37 = -3*v - 0*v, 4*v + 5*q = 41. Suppose 4*s = 4*a + 36, 32 = -v*s + a + 74. Is 5 a factor of s?
False
Suppose -2*j - 2*a - 23 = 1, 2*j + 36 = a. Let t be (2/(-4))/(2/j). Is 20 a factor of (t/5)/(4/170)?
False
Let p(a) = a + 9. Let t(y) = -4*y - 28. Let m(w) = -7*p(w) - 2*t(w). Let r be m(11). Suppose -2*v + 2*u + 16 = 0, -v - 3*u + 0 = -r. Is v even?
False
Is (7 - (-136)/(-16))/((-1)/70) a multiple of 40?
False
Suppose -5*m - c + 330 = 17, -5*c - 109 = -2*m. Is 31 a factor of m?
True
Let w(g) = g**2 + 9*g + 1. Let c be w(-9). Is c/4 - (-70)/8 a multiple of 5?
False
Suppose 0 = -4*y + 2*y. Suppose 0 = -y*u - u + 56. Suppose 0 = -c + 3*c - u. Does 14 divide c?
True
Let q(h) = 3*h**2 - 1. Let r be q(-1). Let k = r - -3. Does 4 divide k?
False
Let t be 0 + 18/3 - 0. Suppose -2*j + 6 = -w, 4*w - j + t = 5*w. Suppose -2*x + 20 = w*x. Is x a multiple of 3?
False
Suppose -3*n + 5*n + 4 = 0. Let g = -9 - n. Let i = g + 13. Does 3 divide i?
True
Suppose -10 = -4*i - 2. Suppose -o + 4*o + 110 = 4*r, -74 = -3*r - i*o. Is 7 a factor of r?
False
Let t(q) = -3*q - 3. Let k(b) = -b + 1. Let s(g) = k(g) - t(g). Let a = 1 - -4. Is s(a) a multiple of 14?
True
Let z(t) = -3*t - 66. Let u be z(0). Let k = -19 - u. Is k a multiple of 11?
False
Let x(h) = 12*h - 1. Let c(d) = d**3 + 7*d**2 + 6*d + 1. Let n be c(-6). Is x(n) a multiple of 11?
True
Suppose -4*b + 58 = 6*d - 5*d, 2*d - 155 = 5*b. Is 5 a factor of d?
True
Suppose 0 = 5*k - 25, 5*l - 252 - 473 = 2*k. Does 49 divide l?
True
Let p = -18 - -30. Does 6 divide p?
True
Suppose -p + 0*p = 3*x - 9, 3 = 3*p - 3*x. Let h be 3*(-1 + 6/p). Suppose 2*i = h*i - 14. Is 6 a factor of i?
False
Let c be ((-21)/(-9) - -1)*48. Suppose -c = -y - 4*y. Is y a multiple of 16?
True
Suppose 119 = -4*y - 65. Let w = 34 - y. Is 18 a factor of w?
False
Suppose -3*g + 8*g + 10 = 0. Let p(x) = 12*x**2 - 2*x. Let r be p(g). Let i = r - 36. Is 16 a factor of i?
True
Let c = 99 - 64. Does 18 divide c?
False
Suppose -2*a - 3*a = 0. Suppose 4*x = -a*x - 2