*x**2/2 + 5*x. Let t(n) be the first derivative of l(n). Is 25 a factor of t(-5)?
True
Let m(t) = -t**2 + 15*t - 11. Let h be m(13). Let u = 22 - h. Let j = 23 - u. Does 4 divide j?
True
Let g = -40 - -43. Is 14 a factor of 522/27 + -1 + 2/g?
False
Let u(b) be the second derivative of 47*b**3/6 - 17*b**2/2 - 9*b. Let c be u(7). Suppose 0 = 4*i - c + 120. Is 12 a factor of i?
True
Suppose 3*w = -b + 836, -3*w - 5*b - 860 = -6*w. Is 35 a factor of w?
True
Suppose 0 = w - 4 - 1. Let j be -5*(-36)/(-30) + 3*2. Suppose j = m + z - 75, 4*m - w*m + 5*z = -45. Is m a multiple of 10?
True
Let k(q) = -20*q + 13. Let d be k(-4). Let v = d + -45. Is v a multiple of 9?
False
Let w = 9 - 7. Suppose -8*b + 132 = -w*b. Is 2 a factor of b?
True
Let b = 18 + -13. Suppose 3 = 2*w + 1. Is ((-27)/(-5))/(w/b) a multiple of 9?
True
Suppose -10*n = -0*n - 40. Suppose 0 = -n*r + 386 - 134. Does 5 divide r?
False
Does 43 divide ((-1263)/9 + -3)/(18/(-27))?
True
Suppose 5*b = b + 4960. Is b a multiple of 10?
True
Let n(j) = j - 7. Let i be n(11). Suppose 0 = -4*m - i - 0. Is (-2)/(m - 78/(-82)) a multiple of 20?
False
Let i be (10/8)/(-2*5/(-40)). Suppose 3*k + 1 = 2*x + 173, 0 = i*k - 2*x - 292. Is k a multiple of 42?
False
Suppose -l - 3*l = 8. Let d = l + 7. Suppose -2*w = 4*z - 122, d - 17 = -4*w. Is z a multiple of 13?
False
Suppose -3*j = j - 80. Suppose -d + j = -7. Let o = -14 + d. Does 6 divide o?
False
Let t(q) = 8*q + 48. Let b be t(-6). Is 13 a factor of (-88)/(-4) - (b - 3)?
False
Suppose -99*k + 106192 = 23824. Is 26 a factor of k?
True
Let l = 329 - -135. Is 16 a factor of l?
True
Suppose b = -4*n + 5*b + 8, 0 = -5*n + 3*b + 8. Let f be -13*(1 + n)/2. Let m = -5 - f. Is m a multiple of 2?
True
Let o(z) = -5*z**2 - 2*z + 2. Let l be o(-2). Is 18 a factor of ((-24)/l)/((-1)/(-42))?
True
Let c(g) = 5*g**2 - 52*g + 7. Is c(15) a multiple of 25?
False
Suppose 3*g + 9 - 75 = -3*f, -f + 2*g + 16 = 0. Suppose -4*h - 2 = -26. Suppose -h = -i + f. Is 24 a factor of i?
False
Let i(x) = x + 1. Let z be ((-24)/20)/((-2)/5). Let o be i(z). Suppose 0 = -o*v + v + 195. Is v a multiple of 13?
True
Let z(f) = f**2 + 2*f - 2. Suppose -2*i = 3 - 5. Let u be z(i). Let c = u - -4. Does 5 divide c?
True
Let i = 131 + 157. Does 36 divide i?
True
Let k(d) be the third derivative of -d**5/60 + 5*d**4/6 - 7*d**3/6 - 12*d**2. Does 3 divide k(19)?
True
Let k be (-3 - -2)*3 - -98. Let g = 189 - k. Is g a multiple of 33?
False
Suppose 11 = -2*k + 93. Suppose -k - 1 = -3*b. Does 5 divide b?
False
Suppose 7*a - 3*p = 2*a + 555, -2*p = 3*a - 352. Let c = a - -72. Is 11 a factor of c?
False
Let i(h) = -125*h + 44. Does 18 divide i(-32)?
False
Suppose -192 = 2*t + t. Let p = 104 + t. Is 10 a factor of p?
True
Suppose 0 = 3*i - b - 15, 8 = 5*i + 5*b - 37. Let l = 6 - i. Does 13 divide 20 - (l - 1/(-1))?
False
Let v = 28 - 19. Let j(f) = -4*f**2 - v*f + f + 6*f**2 + 5 - 3*f**2. Is j(-7) a multiple of 12?
True
Let c(o) = o**2 - 4*o. Let a be c(4). Let k = 10 + -7. Suppose k*b + b - 144 = a. Is 9 a factor of b?
True
Suppose 34*m - 28*m = 486. Let k = 224 - m. Is 7 a factor of k?
False
Let w(j) = 2*j**2 - 6*j - 56. Let p be w(-7). Let b = -127 - -71. Let k = b + p. Does 7 divide k?
True
Let x = 633 + -526. Is 51 a factor of x?
False
Let f(y) = 9*y - 24. Is 3 a factor of f(4)?
True
Let v = 9 - 6. Suppose -2*u - 2*d + 34 = v*u, 0 = -3*u + 3*d + 33. Does 4 divide (u/(-5))/((-2)/5)?
True
Let a = 1025 + -549. Is 17 a factor of a?
True
Let c = -1395 - -1747. Is 16 a factor of c?
True
Let d = 24 + -25. Let p be (0/d)/(4/2). Suppose -32 = -p*j - 4*j. Is 8 a factor of j?
True
Let i(k) = -k**2 + 10*k - 12. Let d(u) = u**2 - 9*u + 8. Let l be d(9). Let m be i(l). Suppose 3*w + 10 = m*w. Is w a multiple of 10?
True
Let t(n) = 4*n**2 - 7*n - 1. Is 7 a factor of t(3)?
True
Let l(f) = f**3 + 10*f**2 + 10*f - 3. Let t be l(-9). Let y be 65/(-10) - 4/(-8). Let q = y - t. Does 6 divide q?
True
Suppose 2*z = 5*o + 1017, -2*o + 200 = -3*o - 3*z. Is 4/14 - 4611/o a multiple of 4?
False
Suppose -3 + 7 = -j, 5*d + j - 76 = 0. Let z = d + 44. Does 15 divide z?
True
Let c be (-45)/6*-6*6. Suppose -4*a + c = -a. Does 15 divide a?
True
Let c(d) = -15*d + 265. Is c(13) a multiple of 35?
True
Let h(c) = 82*c - 18. Is h(8) a multiple of 63?
False
Let q be -10 + -3*6/(-9)*-1. Is 3*3*(-208)/q a multiple of 38?
False
Is 6 a factor of 1 + 494 + 9 + -9?
False
Suppose 5*x - 109 + 40 = -4*l, -3*l + 58 = 5*x. Is l a multiple of 11?
True
Let p = -205 + 262. Is 19 a factor of p?
True
Let d = -13 + 38. Let n = d - -4. Suppose 2*p = n + 11. Does 20 divide p?
True
Let g = 108 - 110. Does 12 divide (-97)/(-2) + (-3)/g?
False
Is 55 a factor of 84*(-81)/18*4/(-3)?
False
Suppose -3*l + 33 = 6. Let f = -7 + l. Suppose 0*j + f*j - 148 = 0. Does 16 divide j?
False
Let n be 0/3 - (-72)/1. Let w(p) = -3*p**3 + 2*p**2 + 2*p + 1. Let d be w(-1). Suppose -5*g + 78 = 2*x - 12, x + n = d*g. Is 6 a factor of g?
True
Suppose -l - 2 + 4 = 0. Suppose s - 3*a + 20 = -17, l*s = 2*a - 58. Let m = -9 - s. Does 11 divide m?
False
Let u be 32/24 - 352/3. Let q = 333 + u. Is 17 a factor of q?
False
Let w(x) = x**3 + 16*x**2 + 7*x + 11. Is w(-8) a multiple of 17?
False
Let i = 32 - 18. Suppose -i - 90 = -4*z. Is 4 a factor of z/3 - 4/6?
True
Suppose -12*h = -18521 - 14947. Is h a multiple of 21?
False
Suppose 4*v + 4*w = -168, -2*v = 3*w - 2*w + 83. Let p = v + 115. Is 41 a factor of p?
False
Let a be 2*(115/2 + -4). Suppose 4*b + 154 = 5*x, -45 = -5*x + 2*b + a. Does 10 divide x?
True
Let w be 1 + -44 - (-9 + 12). Let l = w + 68. Is l a multiple of 22?
True
Suppose -33*c = -20*c - 3796. Is 2 a factor of c?
True
Suppose 2*t + 5*t = -2*u + 8965, -3*t - 5*u + 3838 = 0. Is t a multiple of 19?
False
Suppose -3*l + 0 + 3 = 0. Let a be (0 - 9)*(l + -2). Let d = a + 0. Is 9 a factor of d?
True
Is (6 - 4 - 3)/1 + 11 a multiple of 3?
False
Suppose -3 = -n - 0, p + 3*n - 21 = 0. Suppose -p*v + 72 = -0*v. Is v a multiple of 6?
True
Suppose 3060 = -10*s + 12*s - 4*o, -3*s + 4605 = -3*o. Is s a multiple of 14?
True
Suppose -14*u + 11*u + 5361 = 3*w, u = 3*w - 5349. Is 6 a factor of w?
False
Let w(d) = 28*d - 1. Let h be w(3). Suppose 3*q + k - 2*k = h, 0 = -5*q - 2*k + 131. Is q a multiple of 2?
False
Let k(u) = 3*u**2 + u - 1. Suppose 9*v - 16 = 13*v. Is 6 a factor of k(v)?
False
Suppose 17*w - 1812 = 13*w. Is w a multiple of 4?
False
Let f(y) = y**3 - 28*y**2 + 12*y - 11. Does 23 divide f(28)?
False
Suppose -2*i - 360 = -4*i. Suppose -i = 19*c - 24*c. Is 12 a factor of c?
True
Let x = 106 - 95. Suppose 0 = x*s - 6*s - 490. Is 14 a factor of s?
True
Does 23 divide (-432)/(-135)*((-798)/(-4) - 2)?
False
Let s be (-3 - -2) + 3 + 2. Let d(r) = -32*r + 7. Let w(x) = 32*x - 8. Let z(t) = s*d(t) + 5*w(t). Is z(3) a multiple of 21?
True
Let i = 98 - 77. Suppose 18*o - i*o = -108. Is 12 a factor of o?
True
Let i(w) be the second derivative of -19*w**5/10 + w**4/6 + w**3/3 - w**2 + 7*w + 4. Is 56 a factor of i(-2)?
False
Does 15 divide (-2)/(-22) + (-1478320)/(-880)?
True
Suppose 4*f + 221 = j - f, -5*f = -15. Suppose -5*d + 64 = -j. Is d a multiple of 5?
True
Let b be 4 - (-2 - (-3 - 1)). Let g(v) = 5*v**3 - 5*v**2 + 3*v + 1. Let r(c) = 11*c**3 - 11*c**2 + 7*c + 2. Let l(j) = -13*g(j) + 6*r(j). Does 3 divide l(b)?
True
Let y(t) = t**2 - 18*t + 38. Is 35 a factor of y(31)?
False
Suppose -3*x = -21 + 75. Let m = x - -58. Suppose m = 3*d - l, 5*l - 24 = -d - 0*l. Is 7 a factor of d?
True
Suppose 57*j - 45*j = 2184. Is j a multiple of 3?
False
Suppose -5*u = -34*u + 16588. Is 22 a factor of u?
True
Let t(w) = -w**3 + 2*w**2 - 4*w - 20. Does 2 divide t(-3)?
False
Suppose -42560 = 7*t - 35*t. Is 40 a factor of t?
True
Let y be 134*1*57/38 + 3. Suppose -3*b + y = 4*i, -4*i = -5*i. Is 34 a factor of b?
True
Suppose 0 = 7*b - 9*b + 10. Suppose -2*u + 2 = 2*f, -4*u + b = -4*f - 7. Suppose 3*i = u*i + 35. Is 5 a factor of i?
True
Suppose q = 2*q - 2*u - 24, 0 = -4*q + 3*u + 76. Suppose 0*s - q = -4*s. Suppose s*b - 52 - 68 = 0. Is 10 a factor of b?
True
Suppose 16 = h + 4*v - 22, 103 = 2*h - v. Is h a multiple of 50?
True
Let y = -2847 - -3382. Is y a multiple of 7?
False
Let g(k) = 27*k - 13. Does 16 divide g(7)?
True
Suppose 3*y = x - 118, 0 = -y + 4*x - 9*x - 66. Let h = -29 - y. Is h 