t m(z) = -z**3 + 3*z**2 - 2*z + 2. Let l be m(3). Let o = -24 + 12. Let f = l - o. Does 4 divide f?
True
Let s = -78 + 253. Does 23 divide s?
False
Let l = 792 - 342. Is 6 a factor of l?
True
Suppose 4*f + 4*s = 3*f + 14, -2*f = -s - 19. Suppose 9*y - f*y + 77 = 0. Is 11 a factor of y?
True
Let x(r) = 11*r**2 + 16*r + 16. Does 53 divide x(8)?
True
Let a = -206 + 343. Suppose -s + 5*t = -0*s - a, 0 = 2*s - 3*t - 288. Suppose -12 = -3*k + s. Is k a multiple of 11?
False
Let y be (-4)/(-18) - 80/(-45). Suppose h - 4*r = -0*h + 9, 3*r - 40 = -y*h. Is 10 a factor of h?
False
Let q = 128 + -65. Is 13 a factor of 2/((-8)/(-42))*2730/q?
True
Let j(p) = -138*p**3 + 2*p**2 - p - 2. Let c be j(-1). Let h be (-2)/(-4) + 206/4. Suppose c - h = 3*n. Is n a multiple of 6?
False
Suppose 3*c = 15 + 78. Let k = 75 - c. Is 22 a factor of k?
True
Does 56 divide 428/(-321) + 6760/3?
False
Let c(l) = 437*l + 24. Is c(1) a multiple of 8?
False
Let u = 11 - -3. Let b be 14*-36*(-1)/u. Suppose -7*m + 90 + b = 0. Is m a multiple of 9?
True
Suppose -4*h - 3403 = -4*v - h, 2*v - h = 1703. Is v a multiple of 32?
False
Suppose -3*o = -15 - 24. Let v(q) = -o*q + 0*q**3 - 6 - 10*q**2 - q**3 + 0*q**2. Is 8 a factor of v(-9)?
False
Suppose 5*g - 5*m - 30 = 0, 4*g + 5*m + 0 = -3. Let o be (15/6)/((-1)/(-2)). Suppose p + 2*i - 24 = 0, g*p + p = -o*i + 102. Does 7 divide p?
True
Is 38 a factor of ((-15939)/(-115))/((-15)/(-100))?
False
Suppose 44*k - 6587 = 277. Is 26 a factor of k?
True
Suppose 3*b - b - 2*p - 6 = 0, -4*b = 5*p - 21. Suppose -3*k = b*k - 168. Is 4 a factor of k?
True
Let n be 165/33*(-2)/2. Let f be (68/1)/(4/(-6)). Is f/n + (-21)/(-35) a multiple of 21?
True
Let f(x) = 0 + 1 + 6*x + 3 + x + 8*x**2. Let j be f(-3). Let r = -26 + j. Is r a multiple of 13?
False
Let m be 3/4 - (15/4)/(-3). Suppose 3*w = m*h + 505, 3*h = -w - w + 328. Is 12 a factor of w?
False
Does 2 divide (97/2 - -8)*4?
True
Let a = -69 + 114. Suppose 4*x + 5*g = a, 0 = -x - 5*g - 0*g + 15. Does 2 divide x?
True
Is 9 a factor of (1 + (-2)/4)/((-14)/(-4032))?
True
Let o(g) = -10*g - g**3 + 10 - 12*g**2 + 4*g**3 - 3*g**3 - g**3. Let v be o(-11). Does 14 divide (14/4)/(v/(-4))?
True
Suppose -23*a - 10 = -21*a. Let l(k) = -14*k + 10. Is l(a) a multiple of 8?
True
Suppose 11*w - 23*w + 4992 = 0. Is 18 a factor of w?
False
Suppose 7 = -3*x + 5*x + 5*j, 2*x - 4*j + 20 = 0. Let h be x + (6*-2)/(-3). Suppose h*c - 300 = -5*c. Is c a multiple of 10?
True
Let t be (-20)/(-15) - (-8)/3. Let u(k) = -k**3 - k**2 - k - 1. Let l be u(-1). Suppose l = -t*o + 77 + 111. Is o a multiple of 18?
False
Let q(p) = -47*p - 597. Does 120 divide q(-51)?
True
Let p(f) = -7*f**3 - 2*f**2 - 2*f - 3. Does 9 divide p(-2)?
False
Let n(y) = -117*y + 77. Is n(-7) a multiple of 16?
True
Let c be ((-6)/(-3))/(4/(-32)). Does 7 divide -3 - c - 2/2?
False
Let w be 5/((-20)/(-27))*36. Suppose -w - 427 = 4*t - 2*y, 0 = 5*t - 2*y + 835. Is (t/(-22))/(6/8) a multiple of 5?
True
Suppose -3*x + 2*a + 849 = a, -4*x - 3*a = -1132. Is 14 a factor of x?
False
Suppose 5*h - 1819 = 3*r, -h = -2*r - 3*r - 3039. Is 15 a factor of r/12*(1 - 10/4)?
False
Let t(h) = -h - 9. Let p(y) = y**2 + 10*y + 10. Let b be p(-6). Let q be t(b). Let i = 17 - q. Is 12 a factor of i?
True
Is 15 a factor of (-12)/(-9)*(0 + (-675)/(-10))?
True
Suppose 3*m - 359 = 121. Suppose -10*l = -12*l + m. Does 40 divide l?
True
Let o = -252 - -559. Suppose 2*f + f - o = -2*a, 0 = -5*f - 3*a + 511. Does 15 divide f?
False
Let l = 2014 + -1326. Is l a multiple of 8?
True
Is 4 a factor of 2/1*(-14 - -13 - -241)?
True
Let y(j) = j**2 - j - 15. Let m be y(4). Is 1 + ((0 - 3)/m - -66) a multiple of 8?
False
Let z(y) = -y**3 + 27*y**2 - 14*y + 42. Is 38 a factor of z(11)?
True
Suppose 11*f + 514 - 4287 = 0. Is f a multiple of 57?
False
Suppose -552 = -32*h + 24*h. Is h a multiple of 25?
False
Let c(u) = -3*u - 18. Let x be c(-7). Suppose -i + x*i = 398. Does 30 divide i?
False
Let f(m) = m**3 + 23*m**2 + 17*m - 250. Does 5 divide f(-21)?
True
Let c(g) be the second derivative of -g**5/20 + 11*g**4/12 - 2*g**3/3 + 21*g**2 + 4*g. Does 40 divide c(10)?
False
Suppose 0 = -3*s - p - 0*p + 305, 2*s + 2*p - 202 = 0. Suppose -87 - s = -3*g. Is 9 a factor of g?
True
Suppose -5*f + 129 = -56. Does 37 divide f?
True
Let l(k) = 3*k**2 - 12*k - 87. Does 16 divide l(9)?
True
Suppose -6*l + l + 15 = 0. Suppose -14 = -4*c - c - 4*o, -l*o + 9 = 3*c. Suppose -3*p = c*p - 80. Is p a multiple of 4?
True
Suppose 5*f - 3 = 7. Suppose 4*b = g + 321, -g - f*g = -b + 94. Suppose 4*z - 125 = -3*a, -z + 101 + b = 5*a. Does 9 divide a?
False
Let w(a) = -40*a - 15. Let v be w(-5). Suppose v - 68 = 3*b. Does 10 divide b?
False
Suppose -1211 = -4*s + 3*a, -s + 1511 = 4*s - a. Is s a multiple of 67?
False
Let b = 2891 + -2306. Is b a multiple of 23?
False
Let j = 88 - 84. Suppose -6*r = j*q - 5*r - 361, 3*r + 267 = 3*q. Is q a multiple of 15?
True
Let d be (-40)/(-7) - 36/(-126). Let l(z) = z**3 - 3*z + 5. Is l(d) a multiple of 14?
False
Suppose -4*x = 3*l - 188, 5*l - 285 = -x - 0*x. Suppose 0*i - 2*i + 2*r + 24 = 0, 0 = 5*i - 4*r - l. Does 7 divide i?
False
Let w = -413 - -698. Does 19 divide w?
True
Let w = 17 - 61. Let u = -14 - w. Is u a multiple of 6?
True
Let k = 1491 - 766. Is k a multiple of 13?
False
Suppose -81 = 3*p - 3*k - 480, -675 = -5*p + 3*k. Is p a multiple of 19?
False
Let n(a) = -748*a - 165. Does 11 divide n(-1)?
True
Let f(d) = -11*d**3 + d. Suppose 0 = -2*w + n - 3, -2 = -w + 5*w + 2*n. Let o be f(w). Suppose 2*t - 70 = t + 2*m, -2*m = o. Is 10 a factor of t?
True
Suppose 5*j + 18 = l - 2*l, -j - 33 = -4*l. Let p(m) = m**2 + m + 9. Let t be p(l). Suppose -3*i = o - t, 0 = 4*o - o - i - 155. Does 18 divide o?
False
Is 86 a factor of (-354141)/(-95) - 2/10*-1?
False
Suppose -3*v - 5*y = -2*y - 45, 2*y = -2. Let p be v/(-20) - (-56)/20. Is (1/3)/(p/72) a multiple of 4?
True
Let b(x) = -x**2 + 11*x - 4. Suppose -1 = f - 7. Let w be b(f). Suppose -2*u = -u - w. Is u a multiple of 13?
True
Suppose 0 = -6*n - 394 - 62. Let b = n - -143. Is b a multiple of 11?
False
Suppose 5*y + 4*o + 14 = 0, -3*y - o - 4*o = 11. Let j(i) = -3*i**3 + i**2 + 4*i + 8. Is 14 a factor of j(y)?
True
Let z(m) = 51*m**2 - 13*m - 45. Is 14 a factor of z(-3)?
False
Let f be (192/4)/(9/12). Let d = f - 28. Does 12 divide d?
True
Suppose -5*k - 2*n - 2*n + 39 = 0, 0 = -k - 3*n - 1. Let l = -9 + k. Suppose 0 = -3*u - 4*m + 76, -3*m = -l*u + 39 + 6. Does 10 divide u?
False
Let x(b) = -17*b + 3. Let a(u) = u**3 + 7*u**2 + 6*u - 3. Let j be a(-6). Is x(j) a multiple of 27?
True
Suppose 6*q - 17*q + 22 = 0. Does 5 divide 33*6*(-1)/(-4)*q?
False
Suppose 2*a - 87 = -a. Let q = a + -27. Is 17 a factor of (-1122)/(-15) - q/(-10)?
False
Suppose 5*g - 2*m = -3 + 1, -4*g + 3*m = 3. Let k = 5 - 2. Suppose i - k = -g. Does 2 divide i?
False
Suppose -12*k + 1449 = 4*u - 13*k, -1439 = -4*u - k. Is u a multiple of 19?
True
Is (-19)/((132/(-12))/264) a multiple of 8?
True
Suppose 4102 + 2594 = 6*i. Is i a multiple of 18?
True
Let f(w) be the second derivative of w**3/3 + 14*w**2 - 11*w. Let d be f(-14). Suppose 2*j = -i + 45, d = -0*j + 3*j + i - 65. Is 12 a factor of j?
False
Does 7 divide -4 + -1 + 0 - -350?
False
Let h(g) = -3*g**2 + 5*g**3 - 8 - 4*g**3 + 2*g**2 - 5*g**2 + 4*g. Let k be h(6). Let p = k - -18. Is p a multiple of 12?
False
Let l(z) = 11*z - 89. Is l(9) a multiple of 10?
True
Let u be -2 + (-8)/4*-1. Suppose y + 2*y = u, -5*n + 625 = 3*y. Does 25 divide n?
True
Suppose -12 = -3*y + 9. Suppose y*i - 2200 = -i. Is 21 a factor of i?
False
Suppose -3*w + 6*w = 12. Suppose h - w*s = -0*s + 122, 0 = 5*h + 4*s - 658. Does 26 divide h?
True
Suppose 2*n = 5*t - 2312, -462 = 5*t - 4*n - 2776. Is 22 a factor of t?
True
Let c(j) = -31*j + 69. Let b(a) = -94*a + 206. Let n(p) = -4*b(p) + 11*c(p). Is 21 a factor of n(8)?
False
Suppose 5*w = 3*b - 8*b + 165, -w = -b + 27. Suppose -9*k + b = -6*k. Does 2 divide k?
True
Let f(v) be the second derivative of -2*v**3/3 - 3*v**2/2 + 2*v. Is f(-4) a multiple of 7?
False
Let d(m) be the second derivative of -7*m**3/3 + m**2 - 12*m. Does 16 divide d(-9)?
True
Let z = 38 - 37. Does 5 divide (-1084)/(-18) - (44/36 - z)?
True
Let h(f) = -4*f + 14. Let w(o) = -15*o + 56. Let v(n) = -9*h(n) + 2*w(n). Le