ultiple of 28?
False
Let r = -5 + 13. Suppose 4 + r = n. Suppose -11*u - 32 = -n*u. Is 17 a factor of u?
False
Does 83 divide 596/(-149) + 116*(30 - -2)?
False
Is 37 a factor of (675/(-12))/(-2 + 60/32)?
False
Let t(o) = -o**3 + 12*o**2 + 13*o + 9. Let x be t(13). Let s(f) = -9*f + 5 - 14 + 4*f - f**2 - x*f. Does 18 divide s(-5)?
True
Let q(w) = w**2 - 15*w + 65. Does 16 divide q(4)?
False
Let x(u) = 63*u - 9. Does 3 divide x(1)?
True
Let p = 7 - 4. Suppose -3*u = -9, 3*z = p*u - 9 - 9. Is -34*((-30)/(-4))/z a multiple of 19?
False
Let j = -383 - -673. Is 60 a factor of j?
False
Let a(w) = 3*w**2 - 2*w + 47. Let u(r) = r**2 - r + 16. Let p(h) = 6*a(h) - 17*u(h). Is 13 a factor of p(-8)?
False
Let v(x) = -x**2 - 1. Let p(b) = 21*b**2 - b - 5. Let m(f) = p(f) - 6*v(f). Let r be m(1). Suppose -o + 33 = -r. Is 20 a factor of o?
True
Let o(w) = 3*w. Let j be o(1). Suppose 0 = z - j*z. Suppose z = 9*t - 8*t - 76. Does 17 divide t?
False
Suppose -2*o - 2*h + 6 = 0, o + 3*h = -h. Suppose 36 = o*a - 2*a. Does 18 divide a?
True
Suppose 5*z + 2*p = -0*z + 2044, z - 2*p - 404 = 0. Is z a multiple of 6?
True
Suppose t = -10*t + 33. Suppose t*u + 326 = 2*m, 3*u = 3*m - 283 - 206. Does 31 divide m?
False
Let h = -608 + 1686. Is 14 a factor of h?
True
Let w(a) = -a**2 + 19*a. Let v be w(14). Suppose v = 5*j - 130. Is j a multiple of 9?
False
Let l(j) be the first derivative of 77*j**4/4 - 2*j**3/3 + j**2/2 - j + 9. Does 15 divide l(1)?
True
Let t(l) = l**3 + 17*l**2 + 4*l + 5. Is 12 a factor of t(-7)?
False
Let k = 140 - 26. Let t = 216 - k. Is 7 a factor of t?
False
Let r be -5*3/(-15)*2. Suppose -5*j + 209 = o, -r*o - 170 = -2*j - 2*j. Does 7 divide j?
True
Let x be 46/14 - (-2)/(-7). Let i be (-2)/(12/(-18)*1). Suppose -n = x*r - 64, -i*r + 261 = 3*n + 99. Is 13 a factor of n?
False
Suppose 35483 - 11847 = 38*h. Does 58 divide h?
False
Let k(b) = -b**2 - 4*b + 9. Let l be k(-5). Let x(p) = 2*p**3 - 4*p - 2. Does 24 divide x(l)?
False
Let d = -1019 - -1435. Does 16 divide d?
True
Suppose 3*m + 2063 = 7*r + 651, 2*r - 5*m = 420. Is r a multiple of 17?
False
Let h(s) be the second derivative of 0 - 1/10*s**5 - 1/6*s**3 - s - 3/2*s**2 - 1/3*s**4. Is h(-3) a multiple of 18?
True
Let x = -97 - -102. Suppose 0 = -4*y + 6*q - q + 552, 0 = 3*y + x*q - 379. Does 10 divide y?
False
Let w = -2 - -3. Let j = -63 - -33. Does 15 divide w*(-32)/20*j?
False
Suppose 3*p = -l + 171, 5*l = -4*p + 16 + 212. Suppose -6*q + 15 + p = 0. Is 4 a factor of q?
True
Is (19 - 9) + -6 + -1 + 222 a multiple of 68?
False
Suppose 3*u - g = 236 + 10, 4*g + 12 = 0. Let i = u - 45. Suppose -l = -i - 1. Is l a multiple of 11?
False
Let w = 3 - -3. Does 27 divide w/(-1 - -4) + 61?
False
Let s be (3 - 65/10)*-1*2. Let o(b) = -7*b. Let x(g) = 34*g. Let c(j) = -16*o(j) - 3*x(j). Does 18 divide c(s)?
False
Let z(m) = m**3 - 6*m**2 - 14*m + 143. Is 13 a factor of z(15)?
False
Let i = -5 + 1943. Is 57 a factor of i?
True
Let s = -247 - -518. Is s a multiple of 7?
False
Let o = 11 - 1. Let j = 31 - o. Let p = 9 + j. Is 10 a factor of p?
True
Let s = -99 - -179. Suppose 3*z = 3*g - 93, z + s = 2*g + 5*z. Is g a multiple of 7?
False
Suppose 0*x - 2*x + 27 = -5*w, x = 2*w + 12. Does 10 divide (-1 - 0)*(-23 + x)?
False
Suppose 4*c - r + 4 = 0, 0 = c + 4*r - 3*r + 1. Is c - -5 - ((-78 - 1) + -5) a multiple of 23?
False
Let g(m) be the first derivative of m**6/360 + m**5/24 + m**4/4 - 5*m**3/3 + 6. Let w(r) be the third derivative of g(r). Is 14 a factor of w(-7)?
False
Let l = 22 + -8. Suppose -9*k = -l*k + 120. Is k a multiple of 6?
True
Suppose 0 = 4*s - 1833 - 1435. Does 56 divide s?
False
Is 18 a factor of (-6)/(-14) + (-71497)/(-133)?
False
Let a(k) = k**2 - k - 3. Suppose -3*i + 16 = -i. Let p(t) = t - 13. Let f be p(i). Does 9 divide a(f)?
True
Let p = 46 - -64. Is p a multiple of 10?
True
Let c(i) = -172*i + 6. Is 6 a factor of c(-4)?
False
Suppose -2*g = -f, -f - 8 = 4*g - 5*f. Suppose g*c - 202 = -5*o, 0 = 4*o + o + c - 201. Is o a multiple of 13?
False
Let a(o) = -25*o. Let y be a(-8). Suppose -5*v - y = -3*t, 4*t + 0*v - 295 = v. Does 15 divide t?
True
Let l be -4*(36/16 + -3). Suppose -253 = -5*d - 4*n, -2*d - 4*n - 65 = -l*d. Does 11 divide d?
False
Let k = -743 - -1023. Is 8 a factor of k?
True
Let o(m) = m**3 + 13*m**2 - 4*m - 85. Does 25 divide o(-9)?
True
Suppose b - 5 = -3*f, 0 = -0*f + 4*f - 3*b - 24. Let w be 13/65 + (-48)/(-10). Suppose -w*l + 124 = -l - 4*o, f*o = -l + 47. Does 6 divide l?
False
Suppose v - 6*v - 4*j = -77, -v - 3*j + 11 = 0. Does 17 divide v?
True
Let t = -19 - -16. Is 8 a factor of (-21)/49 - (3042/14)/t?
True
Let q(f) be the second derivative of 4*f**3 - 11*f**2/2 - 3*f. Is q(5) a multiple of 22?
False
Let p be 2 + 17 - (-5 - -3). Let c(m) = 10*m**3 - 2*m**2 + 1. Let r be c(-1). Let a = p - r. Is a a multiple of 9?
False
Is 9618/399 + (-4)/38 a multiple of 10?
False
Let v(i) = -i**3 + i**2 - 5*i + 418. Does 38 divide v(0)?
True
Let j(f) = -14 + 23*f**2 - 14*f + 37*f - 24*f**2. Is 15 a factor of j(16)?
False
Suppose -8*u = -3*u - 2*n - 18, n = -u - 2. Suppose 4*v - 3*j - 84 = -u*j, -20 = 5*j. Let o = 28 - v. Does 7 divide o?
False
Let y(i) = 143*i - 2. Let x be y(1). Suppose -19*f = -16*f - x. Is 20 a factor of f?
False
Suppose 30 = 11*c - 3. Is 28 a factor of -8*35/(-15)*(c - 0)?
True
Let p(g) = -9*g**3 + g. Let b be p(1). Let d(l) = 2*l**2 + l - 6. Let z be d(b). Suppose -4*u + z = -2*u. Does 19 divide u?
True
Suppose 2*x = 3*x + 4*r - 1, -20 = -3*x + 5*r. Suppose -g - 3*p = -133, 0 = 4*g + 2*p - x*p - 457. Does 27 divide g?
False
Let t = 41 - 30. Let h = 2 + t. Suppose -2*l + 53 = h. Is l a multiple of 20?
True
Let w be 4/((-3)/6*-2). Suppose w*i - 93 - 61 = h, -160 = -4*i + 4*h. Is i a multiple of 5?
False
Let v(s) = 4*s. Let x be ((0 - 0) + 1)*1. Let l be v(x). Suppose 3*z - 138 = a, -l*z - 3*a - 68 = -252. Is 24 a factor of z?
False
Suppose -5*s + 26 = -2*d, -3*s + 0*d = -d - 15. Suppose s*q = 3*q + 120. Is 15 a factor of q?
True
Suppose -3*v = 5*h + 1, 4*h + 13 = v + 2. Suppose 2*p - 3*a = 5, -5*p + v*a + 65 = 6*a. Does 3 divide p?
False
Let u(s) = -s + 8. Let t be u(7). Let h be (2*(-8 - -4))/t. Let z = 13 + h. Is 5 a factor of z?
True
Let c(z) = -101*z + 2. Is 12 a factor of c(-2)?
True
Let h = -102 + 174. Suppose -2*u + h = 2*u. Let n = 46 - u. Does 16 divide n?
False
Let u = 3880 + -2314. Is 9 a factor of u?
True
Let p(h) = -h**2 - 7*h - 6. Let i be p(-4). Suppose 2*r = -g + 4, -2*g = -5*g - i. Suppose -b = -r*u + 46, 2*u - 3*u + 6 = -5*b. Is u a multiple of 11?
False
Let q(h) = 3*h**3 + 16*h**2 - h + 12. Is 14 a factor of q(-5)?
True
Let p(c) = -4*c + 2. Let i = -51 - -31. Is p(i) a multiple of 11?
False
Suppose -s = -2*s + 23. Let h = s - 17. Does 5 divide (-774)/12*(-4)/h?
False
Suppose 0 = 2*m + 5*j - 424, -4*m + 2*j = -2*j - 792. Suppose -2*v = h - 3*h + m, 4*v - 172 = -2*h. Is 24 a factor of h?
True
Let x(m) be the second derivative of m**4/12 - m**3/3 + m**2/2 - m. Let d be x(3). Suppose n - 140 = -d*n. Is n a multiple of 28?
True
Suppose -2*d + 2864 = 5*l, 2 - 10 = -4*d. Does 21 divide l?
False
Let m = -3639 + 6168. Is 9 a factor of m?
True
Suppose 5 + 13 = -3*c. Let h(j) = 4*j**3 + 33*j**2 - 16*j - 5. Let a(p) = -p**3 - 8*p**2 + 4*p + 1. Let f(m) = -9*a(m) - 2*h(m). Is f(c) a multiple of 5?
True
Suppose -d = -3 + 2. Let m = d + 32. Does 18 divide m?
False
Suppose v + 59 = 167. Let u be v/11 + 4/22. Suppose 6*a - 130 = -u. Is a a multiple of 4?
True
Suppose 2*h = -2*h - 12. Let u be 9/h - (-5 + -1). Suppose u*q + 4*o - 40 - 45 = 0, -o = -4*q + 145. Is q a multiple of 13?
False
Does 23 divide 2/6 + 64042/123?
False
Let a(p) = -p**2 - 8*p - 1. Let t be a(-7). Let o = -34 + t. Is (-4)/(-30) + o/(-15) even?
True
Suppose 0*y - 15 = -5*y. Suppose -j - 2*m = 25 + 27, y*m + 267 = -5*j. Is 12 a factor of (-12)/j - 716/(-18)?
False
Suppose 35 = 4*f - 5*k, -k + 0 = 3. Suppose -4*l + f*z = -580, -3*z - z - 296 = -2*l. Suppose o - l = -4*o. Is o a multiple of 7?
True
Let m(d) = -d**2 - 14*d + 8. Let n be -3 + 7 + 0/(-1). Suppose n*u = a - 2*a, u + 38 = -5*a. Is m(a) a multiple of 40?
False
Let c = -20 + 29. Suppose 7*f - 20 = c*f. Is 10 a factor of 2/1 + (-110)/f?
False
Is (61/(-4))/((-31)/496) a multiple of 25?
False
Let v = 15 - 13. Suppose -13 = -v*g 