40)?
False
Suppose 4*g - 1925 = -5*d, -7*g + 1890 = 5*d - 10*g. Suppose 1203 = 3*k - d. Is k a multiple of 22?
True
Suppose 3*i + 10 = 2*j, 4*i = j - 8 - 7. Let k(n) be the first derivative of 7*n**3/3 + 6*n**2 - 2*n - 172. Is k(i) a multiple of 25?
False
Suppose -2*f + 4*w = -24, 0 = -3*f + 4*w + w + 32. Suppose l - 5*m - 32 = 2*l, 0 = -4*l - f*m - 48. Does 15 divide 8/(-28) - 583/l?
False
Let s(d) = 10*d**2 + 8*d - 8. Let k(i) = -6*i - 22. Let t be k(-5). Suppose -12 = 5*b + t. Does 20 divide s(b)?
True
Let n be (14 + -4)/(6/9*3). Suppose 5*b = z - 4*z - 40, -2*b + z = n. Is b/15*-3 + 37 a multiple of 6?
False
Suppose 0 = 3*n + l - 26544, 5*n + l + 2761 = 47001. Is n a multiple of 79?
True
Suppose -11*h = -10*h. Let f(d) = d**2 + 3*d + 5. Let y be f(h). Suppose -y*m + 42 = -2*m - 5*l, -70 = -5*m - 2*l. Does 14 divide m?
True
Let m(g) = -11*g**3 - 11*g**2 - 11*g + 163. Let i(u) = -7*u**3 - 7*u**2 - 7*u + 109. Let y(b) = 8*i(b) - 5*m(b). Is y(-8) a multiple of 27?
True
Let g(l) = -l**3 - 7*l**2 - 4*l - 19. Let y be g(-6). Let a = y - -55. Is 24 a factor of a?
True
Let r = -9406 + 15283. Does 49 divide r?
False
Let r(i) = i**3 + 8*i**2 - 10*i - 5. Let f be r(-9). Suppose -f*u = 20, 4*y - 4*u + 1235 = u. Let h = y + 585. Is 18 a factor of h?
True
Let v = -30 - -33. Suppose 8*q - 55 = -v*q. Suppose -2*c - 255 = -q*f + 2*f, -4*f + 3*c + 341 = 0. Does 12 divide f?
False
Suppose 5*y - 2 - 8 = 0. Suppose 2*h - 4 = y. Is (-11 + 2)*(-5 + h) a multiple of 5?
False
Let l(y) be the third derivative of y**5/60 + 3*y**4/4 + 29*y**3/6 + 13*y**2. Let c be l(-16). Let x(b) = -24*b + 3. Does 11 divide x(c)?
False
Suppose 0*a = 4*f + a - 349, 5*f + 4*a = 450. Is 2 a factor of 0 - ((f - 4)/(-2) - -2)?
False
Suppose -36*x = -4*x + 99771 - 313595. Is x a multiple of 26?
True
Suppose -5*s + 4*s + 260 = 0. Let o = 57 + s. Suppose 238 = 5*b - o. Is b a multiple of 37?
True
Let j be (-21)/6*260/(-182). Suppose j*o + 582 = 2397. Is o a multiple of 33?
True
Let l(h) = 39*h + 2*h**3 + 25*h**2 - h**3 - 76 + 51. Is 34 a factor of l(-23)?
True
Let r = -22016 - -59564. Is r a multiple of 18?
True
Let d(l) = -l**2 - 18*l - 2. Let z be d(-7). Suppose z*y + 4760 = 79*y. Is y a multiple of 24?
False
Let d = -31874 - -46224. Is 70 a factor of d?
True
Suppose -26*a = -10*a + 16*a. Suppose a = 24*q + 4*q - 15876. Is 7 a factor of q?
True
Let p be (5/(-2))/(2/(-4)). Suppose -2*j - j - 4*t + 9 = 0, p*t + 29 = 2*j. Suppose -107 = j*g - 443. Is 8 a factor of g?
True
Suppose -119 = 19*j + 33. Let w(y) = y**3 + 18*y**2 + 15*y + 8. Is w(j) a multiple of 66?
True
Let b = -30675 - -49176. Does 19 divide b?
False
Suppose 5*v = -j + 182781, -5*v + 182789 = 5*j - 6*j. Is v a multiple of 198?
False
Let r(u) = 16*u + 201. Let z be r(-12). Suppose -4*m - 3*a + 130 = -z, 0 = -2*m - 3*a + 71. Is m a multiple of 2?
True
Is 109 a factor of (7912300/1925)/((-4)/(-14))?
False
Let g be ((-1)/(8/(-32)) + -5)*18/(-2). Let a be -2 + 3 + -2 + 1. Is 32 a factor of (-2 - g)*(-2 - (a - -2))?
False
Let g be 19/(((-3)/3)/1). Let w = g + 18. Is ((-15)/(-4))/(w/(-4)) a multiple of 5?
True
Let y(z) = -z**3 + 7*z**2 + z - 5. Let s be y(7). Suppose 20*t - 467 = -387. Suppose -o - t*n = 7, o - 3*n = -s*n + 8. Is o even?
False
Suppose 5*f - 3089 = 2*f + q, 0 = 2*f - 3*q - 2071. Does 19 divide (2 - f/(-8))/((-6)/(-8))?
False
Let g(r) be the third derivative of r**4/12 - 2*r**3/3 + 13*r**2. Let u be g(2). Suppose h + x - 173 = u, 0 = x + 1 - 2. Is h a multiple of 43?
True
Let t(x) = -66*x + 196. Let w(z) = -66*z + 198. Let a(c) = -2*t(c) + 3*w(c). Is a(-11) a multiple of 10?
False
Let a = 83 + -80. Suppose -5*h + 998 = i, 0*h + a*i + 389 = 2*h. Is h a multiple of 23?
False
Suppose -5*p - 21*u = -17*u - 8871, 1 = -u. Is 25 a factor of p?
True
Let t(n) = 8*n + 132. Let p(y) = 1. Let g(j) = 20*p(j) - t(j). Is g(-17) a multiple of 8?
True
Suppose -81812 = -4*p + 5*s, -p - 7*s + 20453 = -3*s. Is p a multiple of 181?
True
Is 122 a factor of 5*(-52)/(-1170) + (-184458)/(-27)?
True
Suppose 979210 - 2936510 = -115*r. Is r a multiple of 92?
True
Let y(s) = s**2 - 13*s - 25. Let t(w) = w**2 + 2*w + 15. Let n be t(0). Let m be y(n). Suppose m*i - 90 = 20. Is i a multiple of 5?
False
Let u(l) be the second derivative of -5*l**3/6 + l**2/2 - 98*l - 1. Is u(-5) even?
True
Suppose 3*m - b - 15591 + 1862 = 0, 5*b = -3*m + 13723. Is 88 a factor of m?
True
Suppose 6 = z + 4*x + 2, 2*x = 4*z - 16. Is 4 a factor of 61 + -1*(z + -1)/3?
True
Suppose 16 = -6*g + 64. Is -8*((-51)/g - -6)*33 a multiple of 3?
True
Suppose 0 = -2*m + 3*u + 66343, -4*m + 6*m - 66358 = -2*u. Does 56 divide (2 + -1)/(13/m*4)?
False
Suppose 0 = -3*j - 2*u - 0*u + 1277, -u = -j + 419. Let z = j + -318. Does 7 divide z?
True
Let b be -6 + 33/(-12)*-4. Suppose 0 = l + b*i - 63, -2*l - 3*i - 206 = -6*l. Is 9 a factor of l?
False
Let t(o) = -3*o**3 + 3*o**2 + 26*o + 102. Does 13 divide t(-6)?
True
Suppose -p - p - 5*v - 215 = 0, 4*p = -v - 475. Let m = 132 + p. Does 13 divide (-5 + 56/m)*-174?
False
Let v(u) = u**2 - u**2 - 6 + 2*u**3 - 4*u - 2*u**2 + 4*u**2. Suppose 3*f = 5*s - 3 - 29, 0 = 5*s + 5*f. Does 12 divide v(s)?
False
Suppose 0 = 3*f - 2*k - 17 + 11, 5*k + 15 = -4*f. Suppose 58*p - 56*p - 784 = f. Does 16 divide p?
False
Let u(c) = -c**3 + 13*c**2 + 5*c - 4. Let q be u(15). Let g = -246 - q. Is g a multiple of 19?
True
Let k = 65 - 97. Let a = k + 35. Suppose -a*o - 99 = -5*o - 5*v, -2*v = -4*o + 210. Does 26 divide o?
True
Let z(l) = -2*l. Let n be z(1). Let p be (-114)/(-30) + n/(-10). Suppose 2*u + 82 = 2*w + 7*u, -169 = -3*w + p*u. Is w a multiple of 17?
True
Let p be (-2*(-1 - -4))/(15/(-190)). Let o(l) = 2*l**2 - 18*l. Let m be o(11). Suppose -5*i + m + p = 0. Does 24 divide i?
True
Let v be ((-11)/(-4) - -1)/((-21)/(-112)). Is 29 a factor of (13 - v) + (-456)/(-3)?
True
Suppose -r - 4*a = -17, r - 2*a - 4 = -r. Suppose -12*o + 262 = 2*q - 10*o, r*o + 542 = 4*q. Is 5 a factor of q?
False
Let y be -1 + -10 + 3 - (0 + -4). Is ((-198)/(-21))/(y/(-84)) a multiple of 6?
True
Suppose -2*c + 18 - 14 = 0. Suppose -3*b = 6*n - 3*n - 606, -4*b = -c*n - 790. Is b a multiple of 22?
False
Suppose 0 = 5*u + 5*s - 0*s - 8885, 5317 = 3*u - 4*s. Let o be 1 - 5/3 - u/(-75). Suppose -o*c + 28*c - 325 = 0. Is c a multiple of 29?
False
Is 50 a factor of (-2969 + -1)*(-2585)/1551?
True
Suppose -2*s - 5*j + 6865 = 0, s - 3924 = 6*j - 466. Does 161 divide s?
False
Let t(r) = 5*r + 120. Let f be t(-12). Suppose 3*v = -l - 7 - 3, 2*l = -5*v - 16. Is 6 a factor of (f/(-45))/(v/18)?
True
Suppose 5*x - 1725 = 2*o + 4037, 5757 = 5*x + 3*o. Let m = 1756 - x. Suppose -52 = 6*h - m. Is 24 a factor of h?
False
Let f(k) = 3 - 39*k + 81*k - 31*k - 2*k**2 + 8. Does 2 divide f(4)?
False
Suppose 5*m - 1717 - 553 = -5*h, 4*h = -m + 442. Is 3 a factor of m?
False
Suppose 2*u = z - 6*z + 102, -5*u + 255 = -4*z. Suppose -v + 267 + u = 0. Suppose -7*y + v = -5*y. Is y a multiple of 11?
False
Let z be (-39)/13 - (1 + -44). Suppose -z*m + 38*m = 0. Suppose m = 3*s - n - 28, 11 = s - 4*n + 2*n. Is 9 a factor of s?
True
Does 99 divide 18*(-96 + 360 + 1 + -1)?
True
Let d(t) = t**3 + 22*t**2 + 40*t + 4. Let a be d(-20). Suppose 316 = g - 4*h, -a*h - 698 = -3*g + 242. Is 27 a factor of g?
False
Let f = -16 - 94. Is (-144)/(-180)*(f/(-4) + 0) a multiple of 2?
True
Let x(p) = p**3 - 7*p**2 + 7*p - 3. Let t be x(6). Suppose -953 = t*f + 5*r - 4*r, -2*f - r = 636. Let c = -182 - f. Is 15 a factor of c?
True
Let m be 4/(-9) + 313601/477. Suppose 4*g + 2*c + c = 544, 2*c + m = 5*g. Is g a multiple of 9?
False
Let o(c) = -3*c**3 - 91*c**2 + 37*c + 96. Is o(-34) a multiple of 218?
True
Suppose 0 = -81*i + 1527 + 12648. Is 16 a factor of i?
False
Let w = 810 + 21050. Is w a multiple of 23?
False
Let t(v) = -v**3 + 13*v**2 - 29*v - 2. Let q be t(10). Suppose 929 - 233 = q*n. Does 87 divide n?
True
Let m = 1481 + 6543. Is 34 a factor of m?
True
Suppose 2*t - 170 = 138. Suppose 4*m = 454 + t. Suppose 0*v + v = m. Is v a multiple of 34?
False
Let d = 33 + -53. Let i be ((-8)/(-10))/((-8)/d). Suppose -i*l + 1408 = 6*l. Is 44 a factor of l?
True
Suppose -110*i + 145*i - 109200 = 0. Is i a multiple of 30?
True
Is 30 a factor of -6 + 168530/8 + (-3 - (-55)/20)?
True
Let o = -31100 - -54331. Is 13 a factor of o?
True
Supp