1 - (6 + -8). Suppose -89 - t = 3*o. Does 23 divide (21/63)/((-2)/o)?
True
Let t(r) be the third derivative of r**6/120 + r**5/4 - 7*r**4/4 + 5*r**3/6 - 49*r**2. Does 33 divide t(-17)?
False
Let v = 6 + -5. Suppose 21 = 5*u + v. Does 4 divide u?
True
Let k(r) = 2*r**2 + 10*r - 1. Let a be k(-10). Suppose 4*c - 359 + a = 0. Is c a multiple of 13?
True
Suppose -2296 = -3*p + 6338. Is 90 a factor of p?
False
Let x(v) = 3*v**2 - v - 24. Is 35 a factor of x(7)?
False
Let p(a) = a**2 - 16*a - 34. Is p(20) a multiple of 23?
True
Let t = -1297 + 2385. Is 136 a factor of t?
True
Suppose 0 = 3*k + 14 + 16. Let w(y) = -y**2 - 10*y - 4. Let p be w(k). Is 5 a factor of (-64)/(1*p) - 2?
False
Suppose y - 10 = -12. Is 3 a factor of ((-3)/y)/((-3)/4) + 15?
False
Suppose 33 - 7 = r - 4*a, -4*a + 10 = 5*r. Suppose v - 140 = 3*b, 0 = -6*v + 9*v + 3*b - 372. Does 11 divide (v/(-12))/((-1)/r)?
False
Does 11 divide (-3940)/(-14) + (-116)/(-203) + 4?
True
Is (124/(-7))/(((-16)/(-7))/(-8)) a multiple of 31?
True
Let d(b) = b**2 - 4*b - 1. Let p be d(5). Suppose u = -q + 44, -5*u + 33 = -2*q - 159. Suppose -s = p*s - u. Is 3 a factor of s?
False
Suppose -268 = -3*r - f - 0*f, 3*f - 3 = 0. Suppose 5*i = r - 59. Does 3 divide i?
True
Let g = -511 - -575. Is g a multiple of 3?
False
Suppose 5*w - 20 = -0*w. Suppose 0 = s - 9 + w. Does 32 divide s*7 - (-1 + 4)?
True
Suppose 0 = -1114*i + 1118*i - 976. Is i a multiple of 77?
False
Suppose 130*m - 122*m = 3488. Is m a multiple of 4?
True
Let c = -150 + 403. Suppose -14*u = -3*u - c. Does 23 divide u?
True
Let l(r) = r**2 + 65*r + 378. Is l(-83) a multiple of 48?
True
Suppose -44 = -18*f - 224. Does 6 divide ((-488)/f)/((-2)/(-5))?
False
Is (-330)/99*1458/(-10) a multiple of 9?
True
Suppose 9566 - 1656 = 10*v. Is v a multiple of 8?
False
Let o = -503 + 803. Does 20 divide o?
True
Is 3 a factor of (0 - -1)/(-10 - (-1244)/124)?
False
Let l(h) be the first derivative of h**4/4 - 4*h**3/3 + 3*h**2 - 4*h - 4. Does 10 divide l(4)?
True
Suppose -313 = -2*b + 5*s, -b - b - s = -331. Does 17 divide b + (2/(-7) - 78/21)?
False
Let t(p) = p**3 + 14*p**2 + 10*p + 9. Let v be t(-13). Does 10 divide v + 1/(-1)*(-4)/4?
False
Let t = 65 - 31. Suppose -17*s - t = -18*s. Is 17 a factor of s?
True
Let w = 595 - 415. Is w a multiple of 6?
True
Does 3 divide 7 + 10 + (11 - -855)?
False
Let t(w) = 23*w**2 - 9*w - 30. Is 14 a factor of t(5)?
False
Let n be ((-6)/(-5))/((-18)/(-1200)). Let o = n + -34. Does 17 divide o?
False
Let r(q) be the first derivative of q**4/4 - 2*q**3 - 3*q**2/2 - 1. Let i be r(6). Let v = -6 - i. Does 6 divide v?
True
Suppose 16*j - 105*j + 88466 = 0. Is j a multiple of 9?
False
Let b(g) = -3*g - 9 - g + g**3 - 4*g + 9*g**2. Is b(-9) a multiple of 21?
True
Does 27 divide 330/44*(-1188)/(-15)?
True
Let g(n) = -n**2 + 9*n - 8. Let z be g(8). Is (15 - -3) + 4 + z a multiple of 13?
False
Let h(d) = -d - 3. Let f be h(-7). Suppose 0 = -0*s + f*s. Suppose s*q = -6*q + 252. Is 14 a factor of q?
True
Let i = -20 - -20. Is 13 a factor of (-56)/(-4) + -1 + i?
True
Let f be 48/8 + (-2 - -2). Suppose -5*z - 5*o = -160, -f*z + 4*z = 4*o - 58. Suppose -5*w + 4*m = -114, 5*w - 2*m + z = 147. Does 11 divide w?
True
Let b = 812 + 1606. Is 26 a factor of b?
True
Let x(l) be the third derivative of -l**5/60 - 5*l**4/8 - 5*l**3/3 + 7*l**2. Does 16 divide x(-13)?
True
Let y(r) = 2*r**3 - 44 - 11*r**2 - r**3 + 30 - 5*r. Is y(12) a multiple of 35?
True
Let n(z) = 3*z**2 + 4*z - 3. Suppose 3*k - 5*l - 1 = 4, 5*l = -20. Let b be n(k). Suppose 3*c + 4*j = b, -2*c - 5*j + 3*j + 34 = 0. Does 8 divide c?
True
Does 10 divide (150/(-20))/((-3)/8)?
True
Let z = -22 + 27. Suppose z*r - 3*q - 521 = r, 2*r + 2*q - 250 = 0. Does 25 divide r?
False
Let l(g) = g**2 - 10*g + 2. Is l(11) even?
False
Suppose 8*j = 9*j + 2, p - 5*j = 269. Is 7 a factor of p?
True
Let n be 26/6 + 4/(-12). Suppose -n*u + v + 37 = u, -4*v + 20 = 4*u. Suppose -l = -16 - u. Does 7 divide l?
False
Let d be 1/(-5) - 22/(-10). Is 12/(d*4/240) a multiple of 40?
True
Let j be ((-20)/(-12))/(2/6). Suppose 0*y = -4*b - 3*y - 20, b = -j*y - 22. Let t = 3 - b. Does 5 divide t?
True
Suppose -3*a - 3*a = 0. Suppose -5*n - c - c - 2 = a, -4 = 4*n + 4*c. Suppose -2*h + 4*d + 70 = n, 2*h = 3*d + 2 + 70. Is 12 a factor of h?
False
Let n = -25 - -27. Suppose 0 = d - n*d + 13. Is d a multiple of 3?
False
Let k(f) = -f**3 + 6*f**2 + f. Let j be k(6). Let r(p) = -3*p + 1 + 1 - 6 - j. Does 20 divide r(-10)?
True
Let z(o) = -39*o + 1. Let j be z(-4). Suppose 2*i + 3*h = i + j, -3*i - 3*h = -501. Is 17 a factor of i?
False
Let p be -18*(-70)/15*1. Suppose 0*w - 2*w + 3*o + 32 = 0, 4*w - o = p. Is 11 a factor of w?
True
Suppose -16*k - 109 = -3229. Is 3 a factor of k?
True
Let n(i) = -i**2 + 54*i - 8. Is 24 a factor of n(20)?
True
Suppose 0 = f - 3*f - 6. Is 11 a factor of (11/(-4))/((21/224)/f)?
True
Let x(f) = -f**2 + 28*f - 33. Does 15 divide x(14)?
False
Suppose 2482 = 12*p + 634. Is p a multiple of 22?
True
Is 11 a factor of -6 + 3 + 5 - -9?
True
Suppose -3*d = -6*d - 3*t + 4704, 4*d = -3*t + 6272. Does 14 divide d?
True
Let w(q) = -q**3 - 52*q**2 - 108*q - 109. Is w(-50) a multiple of 23?
False
Suppose -34 = -2*a + 4*h, 3*h - 2*h - 74 = -5*a. Suppose -5*k + 40 = -a. Is 2 a factor of k?
False
Does 6 divide 556/5*(-290)/(-116)?
False
Let w be 30/195 - 48/(-26). Suppose -b - w*b = -525. Is b a multiple of 25?
True
Suppose 10*d = -5*d + 975. Does 65 divide d?
True
Suppose 0*p = 2*p - 8. Suppose i = p*i - 126. Suppose -h - 2*h + i = 0. Is 5 a factor of h?
False
Let x(t) = -47*t - 12. Does 52 divide x(-8)?
True
Suppose -106*k + 18276 = -94*k. Is k a multiple of 12?
False
Let v(d) = d - 2. Let l be v(5). Suppose l*h + 3*h = 264. Is 5 a factor of h?
False
Let s(n) = -11*n + 5*n + 3*n - 9*n - 16. Let q be s(-11). Let t = q + -70. Does 16 divide t?
False
Let o(d) = 59*d + 16. Is o(11) a multiple of 39?
False
Let u = -1680 + 2945. Does 55 divide u?
True
Let v(j) = -j**2 + j + 2726. Does 47 divide v(0)?
True
Suppose -322 = 4*l - 2726. Is 17 a factor of l?
False
Suppose 17*m + 5700 = 24978. Does 42 divide m?
True
Let u = -152 + 146. Let x(b) = -3*b + 19. Let q(i) = -2*i + 20. Let m(k) = -5*q(k) + 6*x(k). Is 19 a factor of m(u)?
False
Let w(f) = -f**2 + 9*f + 22. Let c be ((-4)/8)/((-3)/60). Is w(c) a multiple of 4?
True
Let c be 1876/2 + 0/(-1). Let h be c/56 + (-2)/(-8). Let r = h + 5. Is 11 a factor of r?
True
Suppose -4*i = -46 - 90. Let w = i - 21. Suppose 0 = 3*o + o + 3*h - 37, o = -2*h + w. Is o a multiple of 4?
False
Let q be -1*5*(-2)/(-10). Is 47 a factor of 2 + 5/(-10)*q*262?
False
Let f(z) = -z + 27. Let k = 5 - 18. Does 8 divide f(k)?
True
Suppose -13 = v + 5*p, -v - 9 = -4*v - 3*p. Let m(z) = z**2 + z - 20. Does 11 divide m(v)?
False
Let c = 9 + -6. Suppose 57 + 207 = c*d. Is 31 a factor of d?
False
Let s(j) = j + 576. Let y be s(0). Suppose 0 = -5*w + y + 44. Is 39 a factor of w?
False
Suppose -c - 5 = 2*t, 5*c - 14 - 17 = 4*t. Let q(j) = j + 3. Let x be q(t). Is -1 - -23 - x - 3 a multiple of 10?
True
Is 34 a factor of ((15/(-10))/1)/((-1)/68)?
True
Let j(a) = 5*a - 1. Let n be j(-9). Let i = n - -78. Is (-20)/(i/(-14) + 2) a multiple of 26?
False
Is 33 a factor of 2150/(-40)*48/(-2) + -3?
True
Let u be 10*2/(-8)*-2. Let w(o) = o**2 - 5 - 9*o**2 - 3 + 9*o**2 - u*o. Is 5 a factor of w(7)?
False
Let z be 7/2*(3 + -1). Let m(p) = p**2 + 6*p. Let u be m(z). Let v = 146 - u. Is 11 a factor of v?
True
Is 68 a factor of (17 - 1)*102/12?
True
Let a(k) = -k + 7. Let h be a(-4). Let p = h + -8. Let r = p - -15. Is 6 a factor of r?
True
Let n be 453/((63/6)/3 - 2). Suppose -1259 + n = -11*j. Is j a multiple of 25?
False
Let j(c) be the first derivative of c**5/60 + c**4/6 - 7*c**3/6 - 6*c**2 - 1. Let d(r) be the second derivative of j(r). Is d(-8) a multiple of 6?
False
Suppose c = -542 + 615. Is 3 a factor of c?
False
Let m(g) = g**3 + 28*g**2 + 19*g - 47. Is m(-22) a multiple of 22?
False
Does 6 divide (45/(-60))/((-1)/16)?
True
Let x be ((-8)/20)/((-2)/90). Suppose l + x = 60. Is l a multiple of 14?
True
Let y(w) = -3*w + 853. Is 55 a factor of y(0)?
False
Is 6/(9 + -6) - -99 a multiple of 23?
False
Suppose 3*m + 3*u = -2*m + 862, -4*u - 834 = -5*m. Is 7 a factor of m?
False
Suppose 4*g = 47 - 31. Sup