 - -85?
False
Let c(a) = a**3 + 5*a**2 + 3. Let q be (-22)/(-66) - 16/3. Let y be c(q). Suppose 0 = -n + o + 4*o + 19, 0 = y*o + 6. Is 2 a factor of n?
False
Let l = 504 - 501. Suppose 4*z + 2145 = 3*a + 2*z, l*a = -z + 2145. Does 13 divide a?
True
Suppose 0 = f - 3. Suppose 0 = 4*y + f*d - 28, y - d - 24 = -6*d. Suppose y*j - 69 = 19. Does 10 divide j?
False
Let q be 0/(-7 - 1)*(-1)/2. Suppose -19*d + 3758 + 3842 = q. Is d a multiple of 50?
True
Suppose 2*d + 4*h = 4, 0*d = d + 4*h + 2. Suppose -g = 0, -d*a + 4*a + 5*g = -22. Is 8 a factor of (0 + -1)/(a/(-22)) + 15?
False
Is 214 a factor of 432/3240 + ((-179756)/(-30) - 0)?
True
Let a = 141 + 1412. Does 4 divide a?
False
Suppose 0*u - 387 = -3*i + 5*u, -4*i + 3*u + 505 = 0. Let a = i + -5. Suppose -q + 16 = y + 2*y, 4*q + y = a. Is 2 a factor of q?
False
Let k = -15 + -4. Suppose 0 = 19*v - 1114 + 3679. Let q = k - v. Is 29 a factor of q?
True
Let y(k) = -14*k + 20. Let i be y(11). Let n = 446 + i. Is 12 a factor of n?
True
Let c(p) = 619*p**2 + 93*p + 64. Is 6 a factor of c(-6)?
False
Let n(x) = -x**3 - 8*x**2 - 4*x + 7. Let t be n(-9). Let v = t - 114. Does 32 divide (-26 + (3 - 1))/(v/(-80))?
True
Suppose -3*i = -9*i + 8310. Let p = -974 + i. Is p a multiple of 7?
False
Let c(s) = -169*s**3 + s**2 - 2*s - 4. Let t be c(-1). Let n = t + -64. Is 4 a factor of n?
True
Is 2 a factor of 9742/6 - (128/12 + -13)?
True
Suppose 4*s = -4*s + 24. Let u be (s - 20/6)*-9. Suppose 4*h + 5*z = 206, -u*h - 3*z = 2*h - 251. Does 10 divide h?
False
Let h = -268 - 97. Let l = h - -419. Does 27 divide l?
True
Let h be (-17630)/(-8) + 8 + (-1)/(-4). Suppose 7*r - h = -714. Is r a multiple of 48?
False
Suppose 0 = 4*j - 5*o + 2*o - 237, 5*j - 4*o - 295 = 0. Let k be (7 + j)*(-12)/(-10). Is (-5)/70*-12*k a multiple of 9?
True
Let o = 7530 - 5563. Is o a multiple of 184?
False
Let c(x) = -x**2 + 2*x - 7. Let h be c(3). Is 12 a factor of (-2025)/h + 3/(-2)?
False
Suppose -3*b = -b - 5*v - 506, 1265 = 5*b - 2*v. Suppose 5*c - b = 97. Is c a multiple of 14?
True
Let t(u) = 393*u**2 - 358*u + 2080. Is t(6) a multiple of 128?
True
Let z = 6825 - 5369. Is 16 a factor of z?
True
Is (-16)/(-224)*14 + 8187 a multiple of 89?
True
Let g be 21/2*(-42)/(-63). Suppose 7 = -9*i + g. Suppose 5*b + 11*b - 432 = i. Does 5 divide b?
False
Suppose 5*w + 6 = -9. Let x(u) = 354*u**3 + 7*u - 1 - 4*u**2 - 12*u - 355*u**3. Is x(w) a multiple of 2?
False
Let j = 31 + -31. Suppose j = 4*p - h + 14, 3*p = -p + 3*h - 18. Does 13 divide (-26)/p*(1 - -2)?
True
Suppose 47*f + 15828 = -11*f + 60198. Is f a multiple of 51?
True
Let y(x) = x**3 + x**2 - 5*x - 6. Let o be y(-2). Suppose 3*h - 90 = 2*d - 4*d, -2*d + 58 = 2*h. Suppose o = -c + 2 + h. Is c a multiple of 8?
False
Suppose a = t - 4, -t + 4 = -8*a + 5*a. Is 5/20*a - -30 a multiple of 3?
True
Let h be -138*1/((-1)/6*4). Let w = 303 - h. Suppose 2*v = 5*v - w. Is v a multiple of 17?
False
Is 31 a factor of ((-22668)/8)/((24/(-60))/(16/12))?
False
Let f = 5132 + -2931. Suppose -573 = 4*n - f. Is 37 a factor of n?
True
Suppose -5*v = 4*d + 2 - 16, -v - 5*d = -7. Suppose 30 = 5*u + 5*n, u = v*u + 5*n + 10. Is (-40)/u*-97*2/8 a multiple of 15?
False
Let z(c) = 28 - c - 57 + 30. Let i be z(-6). Suppose -i = k - 14. Is k a multiple of 7?
True
Suppose -4*y - b - 425 = 0, -b + 41 - 151 = y. Let j = 226 + y. Is j a multiple of 20?
False
Let j be 323/114 - (-1)/6. Is 10 a factor of (200/j)/((-3)/(-63)*7)?
True
Suppose 4*d - 33920 = -5*t, 25475 = -512*d + 515*d - 5*t. Is d a multiple of 44?
False
Let d be 126/33 + -4 + 32928/88. Let g = d + 322. Does 42 divide g?
False
Let z = -12535 + 13384. Does 3 divide z?
True
Let m(u) = 9*u**2 - 32*u + 32. Let o(l) = -7*l**2 + 31*l - 33. Let s(i) = -4*m(i) - 5*o(i). Is s(-27) a multiple of 6?
False
Suppose 3*b = 49 + 158. Suppose -5*g + 4*g - 5*q + b = 0, 4*q = -2*g + 108. Is 4 a factor of g?
True
Suppose 2*x - 11 = -2*c + x, c = -3*x + 13. Suppose -39 = 2*w + l - 367, c*w - 654 = -3*l. Suppose 16*j - w = 13*j. Is j a multiple of 11?
True
Let d = 2623 + 11758. Does 73 divide d?
True
Let q = -12 - -12. Suppose q*b - 5*b = 2*y - 222, 4*y + b - 408 = 0. Let j = y - 60. Does 10 divide j?
False
Let z(k) be the first derivative of 3*k**2/2 - 8*k - 40. Let t be z(2). Is (t - 160/(-25))*(0 - -35) a multiple of 11?
True
Suppose -20 + 22 = -2*d. Let g be (-4 - (d + -4))*24. Is 10 a factor of (-1360)/g*(-3)/2?
False
Let r(w) = -w**3 - 89*w**2 - 211*w - 779. Is 80 a factor of r(-89)?
True
Suppose 3*r + 42 = 3*t, 2*t + 2*t + 16 = -2*r. Let f(x) = -15*x - 95. Does 13 divide f(r)?
False
Suppose -14*p = -34825 - 41181. Is p a multiple of 89?
True
Suppose -3*t = 4*p - 664, p - 103 - 63 = 4*t. Let m = p + -141. Is m a multiple of 5?
True
Let k = -16 + 22. Suppose 783 = 3*n + k*n. Suppose -n = -3*c + 243. Is c a multiple of 22?
True
Suppose 5*u - 22124 = -p, 0 = -5*u - 4*p - 0*p + 22136. Does 56 divide u?
True
Suppose 0 = -5*v - 5*n - 25, 5*v + 2*n + 5 = -11. Is 7 a factor of 77 + v + (2 - 0)?
True
Suppose -8928 = -2*t - 109*x + 114*x, 0 = 5*x - 30. Is 3 a factor of t?
True
Let t = 998 + 1278. Does 18 divide t?
False
Suppose 4*y = -z - 13, -2*z - 3*y + 0*y = 6. Suppose -12*s + 180 = -z*s. Is s a multiple of 14?
False
Suppose v - g - 1 = -2*g, 4*v - 4 = 5*g. Let n(s) = 47*s - 11. Does 3 divide n(v)?
True
Let m = 218 + -119. Suppose -54*f - m = -65*f. Is 5 a factor of f?
False
Let j(w) = 5*w**2 - 3*w - 1. Suppose -10*q = 3 + 7. Let f be j(q). Suppose 2*u = p - 19 + f, -29 = -2*p + 3*u. Is 2 a factor of p?
True
Let z(k) = 44*k - 20. Let q be z(4). Suppose q + 180 = 7*h. Is 24 a factor of h?
True
Does 24 divide 1/((-4)/(-61544)) - (23 + -21)?
True
Let q(d) = d + 3. Let r be q(-9). Let s(t) be the third derivative of -t**4/6 + 6*t**3 - 562*t**2. Does 4 divide s(r)?
True
Let y be (-1023)/(-22) + (-6)/4. Let m(b) = b + 1. Let j be m(2). Suppose 155 = 3*c - 5*h, -j*h - y = c - 2*c. Is 12 a factor of c?
True
Let r = -385 - -421. Suppose -32*j - 4600 = -r*j. Does 25 divide j?
True
Let w(k) = 1715*k - 8403. Is 17 a factor of w(28)?
False
Suppose 0 = -0*m + m - 31. Let k = -27 + m. Suppose -2*q - 5*u + 58 = -65, 0 = 4*q + k*u - 228. Does 19 divide q?
False
Is 45 a factor of (7694/14 - 1)*(-17 + 165/6)?
True
Let a = -75 + 74. Let y be (a - (0 - -1))*216/16. Does 5 divide (y/(-5) - 3)/((-6)/(-80))?
False
Let w be (-3)/(-2) - (-9 - 1161/2). Let u = 887 - w. Is 8 a factor of u?
True
Let w = 124 + -118. Let x(z) = 4*z**2 - 2*z - 13. Is 24 a factor of x(w)?
False
Let p(b) = 24*b - 65. Let u be p(10). Suppose y - 146 = -2*c, -2*y + 127 = 2*c - u. Is 78 a factor of y?
True
Suppose 3*p - 135 = 3*v, 225 = p + 4*p + 4*v. Suppose 0 = 4*y - p - 11. Let i = 53 - y. Is 13 a factor of i?
True
Let s be 0 + (-276 - 0) + -2. Let w = -1766 - -2199. Let i = s + w. Is i a multiple of 16?
False
Let m = -5442 + 8506. Is m a multiple of 8?
True
Let s(z) = 9*z + 45. Let g be s(16). Suppose -g + 127 = -y. Is 14 a factor of y?
False
Let p = 327 - 323. Is 10 a factor of 8487/81 + p/18?
False
Let h(z) = 3*z + 7. Suppose 0 = -6*m + 5*m - 2. Let x be h(m). Let y(u) = 77*u**2 + u - 2. Does 13 divide y(x)?
False
Suppose 76*u = -231*u + 21133880. Is u a multiple of 8?
True
Suppose -30*p + 25*p + 140 = 0. Suppose -p*k = -29*k + 353. Is k a multiple of 28?
False
Suppose -227 = 4*w + 9. Suppose 5*b = -22*b + 2214. Let n = b + w. Is 8 a factor of n?
False
Suppose c - 2601 = -3*i, 5*c - 8287 - 4653 = -2*i. Is c a multiple of 40?
False
Let s be ((0 - -1)/(-2))/(7/28). Let w be 2*(1 - (32/s)/(-4)). Does 24 divide (w/(-7))/(18/28)*18?
True
Suppose 5*v = -2*d + 65, -3*d = -4*v + d + 24. Suppose -v*r - 230 = -6*r. Let i = 6 - r. Does 30 divide i?
False
Let p(g) = 4*g**2 - 4*g - 1. Let m be p(3). Suppose -19*t = -m*t + 20. Suppose 5*y = -2*k + 32, -4*k - k - t*y = -65. Does 4 divide k?
False
Let i be 24/9*(-6)/4. Let n be (-1794)/12 + (-2)/i. Let a = -101 - n. Does 6 divide a?
True
Let v = -46 + 43. Let h be v/((-4)/10*20/24). Suppose -82 - 53 = -h*p. Is 4 a factor of p?
False
Let f be (-4)/6 - (22/(-6) - -3). Suppose -666 = -2*t - f. Does 37 divide t?
True
Let h = 662 + -1257. Let q = -259 - h. Suppose -9*l + 240 + q = 0. Does 16 divide l?
True
Let y(q) = 1201*q**3 - 6*q**2 + 16. Is 8 a factor of y(2)?
True
Let j(q) = -3*q + 8. Le