 0. Suppose 260 = -s + n. Does 11 divide s?
False
Let v = 230 + -218. Does 3 divide -1 + 194/v*-2*-3?
True
Let s(h) = 2*h**2 + 3*h + 9. Let q(a) = -a**2 - 2*a - 5. Let y(b) = 5*q(b) + 3*s(b). Let l be y(-5). Suppose -70 = -2*i - l. Is i a multiple of 8?
False
Is 13 a factor of 3 + (2/(6/3) - (-23 + -488))?
False
Suppose -7*h + 3064 - 11317 = 0. Let s = h - -2439. Does 12 divide s?
True
Let w = -486 + 486. Suppose 5*p - 2993 = -2*x, 4*p + 1 - 5 = w. Is x a multiple of 18?
True
Let c = 45 + -40. Suppose 32 = -5*y + 6*y + c*u, 0 = -3*y - u + 26. Is 14 a factor of (y/(-2))/(3*1/(-24))?
True
Let z(o) = o**2 - 14*o - 11. Suppose 9*x = 225 - 36. Let h = x + -29. Is z(h) a multiple of 9?
False
Let n = -763 - -1694. Does 46 divide n?
False
Let n(m) = m**3 - 15*m**2 + 15*m - 64. Let s be n(14). Is 65 + ((-25)/s)/((-2)/4) a multiple of 16?
True
Is 7 a factor of (-12843)/(-13) - (-45)/585?
False
Is 12 a factor of 6/54 + 10/((-720)/(-838072))?
True
Let r be 0/(-1)*((-15)/(-5) - 2). Does 12 divide (36 + r)*(-6)/(-6)?
True
Let s = 1169 - 1708. Let a = -497 - s. Is a a multiple of 14?
True
Let c(k) = 16*k**3 - 3*k**2 + k. Let l be c(2). Let t = 123 - 53. Let b = l - t. Is b a multiple of 16?
True
Let m(q) = 3*q**2 + 10*q - 7. Let f be m(-4). Suppose -f - 4 = -5*l, 3*u + 5*l = 47. Suppose 19*r = u*r + 30. Does 2 divide r?
True
Suppose -4*x - 5*y + 29289 = 0, -46*x - y = -44*x - 14655. Is x a multiple of 10?
False
Let g be (-6)/21 + (-86)/(-7). Let l be (6/8)/1 - (-3)/g. Does 19 divide -2 + 2 + l - 44/(-2)?
False
Let x = -14811 + 19831. Does 17 divide x?
False
Let z(y) be the first derivative of 2*y**2 - 20*y - 14. Let v be z(6). Suppose 3*n - 5*m - 181 = 0, -n + 47 = -v*m - m. Does 8 divide n?
False
Suppose 5*b + 4*l = 19, 0 = 2*b + l - 6 - 1. Let v(p) = p**3 - 4*p**2 + 5*p + 3. Let x be v(b). Suppose x*y - 452 = 403. Does 16 divide y?
False
Suppose 0 = 2*i - 4*t - 630, 3*i + t = -0*i + 959. Is 29 a factor of i?
True
Let q(d) = 4*d**2 - 4*d + 16. Let x be q(3). Suppose -5*g + 68 = -4*o, -3*g - o = -3*o - x. Is 6 a factor of g?
True
Let u(q) = 3*q**2 - 3 + 5*q + 7*q**2 + 5*q**2 - 14*q**2. Let i be u(-6). Is (85 + 8)*2/i a multiple of 20?
False
Let v = -318 + 342. Suppose 21*f = v*f - 822. Does 8 divide f?
False
Let v(z) be the third derivative of -z**6/10 + z**5/12 + z**4/3 + 3*z**3 + z**2 + 9. Is v(-3) a multiple of 15?
False
Let x be (6 + -2 - 5)/((-2)/(-26)). Let v(t) = 5*t**2 + 15*t - 4. Let i(h) = h**2 + h - 1. Let k(f) = -4*i(f) + v(f). Is 26 a factor of k(x)?
True
Let p be 147/14*(-76)/6. Let f = p + 411. Is f a multiple of 21?
False
Let j be ((-204)/153)/((-2)/12). Suppose -t + 1071 = j*t. Is 7 a factor of t?
True
Let l = -4045 - -19130. Does 11 divide l?
False
Let p be 24294/27 + ((-32)/18 - -2). Suppose -7*d - 8*d = -p. Is 4 a factor of d?
True
Let t(m) = 3*m + 104. Let g be t(-33). Suppose 4*s + g*i - i = 2732, -2069 = -3*s + i. Is 41 a factor of s?
False
Suppose -29*o = -38*o - 3357. Let y = -1257 - -682. Let b = o - y. Does 49 divide b?
False
Let v(z) = 2*z - 8. Let u be v(6). Suppose 5*d - 41 = 2*d - t, 0 = -d - u*t - 1. Let s = 52 - d. Is 24 a factor of s?
False
Is 84 a factor of (1876/(-10))/(1321/(-158520))?
True
Let q = -24 - -29. Suppose k + q = 9. Suppose -2*m - y = 2*m - 258, 0 = -k*m + 4*y + 268. Is m a multiple of 8?
False
Let y = 8438 - 4064. Is 81 a factor of y?
True
Let d be 4/(-14) + (-1178)/(-7). Let u be ((-3843)/(-28))/9 + ((-9)/4 - -2). Suppose u*n - 8*n - d = 0. Does 8 divide n?
True
Suppose -35*s = -39*s. Let a be (4 + 147 + -4)/(-1 + s). Let x = a + 207. Is 10 a factor of x?
True
Suppose -a = -2*s + 10 - 5, 2*s = 10. Suppose -299 = -5*h + o, -4*h + a*o - 10 = -245. Is h a multiple of 4?
True
Suppose 25*k = 7*k + 1674. Suppose 69 + k = 6*t. Does 3 divide t?
True
Let o(f) = f**3 - 17*f**2 - 19*f + 16. Let v be o(18). Let q(i) = -13*i + 4. Let a be q(v). Let w = 40 + a. Is w a multiple of 7?
True
Suppose 29*o - 24335 = -5*c + 24*o, -5*o - 14617 = -3*c. Is c a multiple of 12?
False
Let a(b) = 4*b - 2. Let j(s) = 11*s - 8. Let g(c) = 7*a(c) - 2*j(c). Does 5 divide g(9)?
False
Let l = 5838 + -3066. Is l a multiple of 12?
True
Let a be (14/(-4) + 2 - 0)*-6. Suppose -g = -2*r + a, g = r - 4*r + 6. Suppose 6*q - 164 = q - r*l, -3*q + 5*l + 112 = 0. Is 8 a factor of q?
False
Does 9 divide (26 + 10)*((-2439)/2)/(-9)?
True
Suppose 0*t - 4*r - 22 = -5*t, -5*r - 25 = -5*t. Suppose 5*p + t*m = -6, 4*p + m + 4 = 1. Suppose p = 4*w - 54 - 42. Is 4 a factor of w?
True
Suppose 3*b - 2964 = -y, -5*b - 3*y + 1745 = -3187. Is 2 a factor of b?
True
Let k(y) = y**3 + 15*y**2 + 20*y + 20. Let l be k(-14). Let t = 20 - l. Does 4 divide t?
True
Suppose 5*a - k = 1, a - 2 = 2*k - 0*k. Suppose p - 34 = -5*i, 0*p - p + 2*i + 20 = a. Suppose 9 - p = -3*s. Is s a multiple of 3?
False
Suppose -2*x = -4*a + 12000, 22651 = 5*a + 4*x + 7651. Does 20 divide a?
True
Let k(d) = -2*d**3 + 2*d - 9. Let j = -9 - -18. Let f be k(j). Does 14 divide f/(-12) + 1/4?
False
Let u = 147 + -141. Suppose -g - 1 = 4*g - 2*r, -u = 3*r. Is 5 a factor of ((-450)/105)/(g + 33/42)?
True
Let a be (-2 - -1)*1/((-3)/27). Suppose b - 184 = -2*o, 0 = -b + 3*o + 195 + a. Is b a multiple of 7?
False
Let s(g) = -g**3 + 10*g**2 - 2*g - 8. Let l be s(6). Let y be 696/580 + 2/(30/2247). Let v = y - l. Is v a multiple of 3?
True
Let u(i) = 3*i - 56. Let h be u(18). Is 9 a factor of ((-13)/h + 1)*2400/72?
False
Let i be 10/(-25) - (-17)/5. Let x(w) = 42*w**2 + 4*w - 5. Let z be x(i). Suppose -5*k + z = 5*n - 0*n, -n + 5 = 0. Does 12 divide k?
True
Let b = -107 - -107. Suppose b = -5*i - 6212 - 6858. Is (-20)/(-70) + i/(-14) a multiple of 17?
True
Let q(t) = t**3 + 16*t**2 - 14*t - 40. Let j be q(-17). Let r = 91 + j. Suppose 0 = -k - 4*d + 239, -251 = -k - r*d + 2*d. Is 13 a factor of k?
True
Let s(f) = -f**2 + 2*f + 4. Let q be s(8). Let d = -20 - q. Is ((-40)/d)/((-1)/81) a multiple of 29?
False
Suppose 5*j - 43 = 7. Let m be 2 + -1 - j/(-2). Suppose m*h - 219 = 5*h. Does 20 divide h?
False
Suppose -h + 38 + 50 = 0. Let c = -15 + h. Is 13 a factor of c?
False
Let f(p) = -71*p - 515. Is f(-30) a multiple of 9?
False
Let f be 465/(-15) - (2 + -9). Let n(s) = -s**3 - 27*s**2 - 84*s + 31. Does 31 divide n(f)?
False
Suppose 8 = 6*h - 2*h. Suppose 4 = -i + h*i. Does 13 divide (-20)/40 + 150/i?
False
Does 15 divide ((-18)/(-3) + -19)*(-21150)/25?
False
Suppose -4*p + 10087 + 3017 = 0. Does 21 divide p?
True
Let n(m) = 56*m + 6. Let y be n(-2). Is 13 a factor of (14/(-4) + (10 - 7))*y?
False
Is 55 a factor of (-2880)/(-288) - (-13191 + 1)?
True
Let q = 48 + -49. Let w(k) = k + 1. Let j be w(q). Suppose j = 2*m + m - 123. Is m a multiple of 40?
False
Let y(z) = z**2 - z - 3. Let s be y(3). Suppose -3*a + 10 = -5*b, s*a + b = -2*b - 6. Suppose -13*x + 10*x + 468 = a. Is 25 a factor of x?
False
Let a(u) = 8*u**2 - 31*u + 620. Does 16 divide a(36)?
True
Suppose x + 1 = 4. Suppose 608 = 4*k + x*f, -489 = -3*k + 5*f - 33. Suppose 2*u - 422 = -4*r + 146, k = r + 3*u. Does 28 divide r?
True
Suppose 2*a - 5*r = 11304, -4*a - 3*r + 27922 = 5262. Does 38 divide a?
True
Suppose 0 = -y - 140 + 506. Suppose 133*l - 7029 = 100*l. Let r = y - l. Is 51 a factor of r?
True
Suppose -3*r - 2*q - 145 = 0, 16 = 5*r + 5*q + 261. Let w = 495 - r. Is w a multiple of 7?
False
Let c(h) = -h**3 + h. Let p(j) = 7*j**3 + 2*j**2 - 16*j + 2. Let i(l) = -6*c(l) - p(l). Let v be 1*5*(-2 - (-3 + 2)). Is i(v) a multiple of 21?
False
Let t be (-3)/((-2 - 15/(-6))*-3). Suppose 2*k + 15 = -k, -k + 453 = t*l. Suppose 11*o - 387 = l. Does 8 divide o?
True
Suppose k + 4 = -k. Let a be (k + (-9)/(-6))*-6. Suppose 0 = -a*j + 160 + 143. Is j a multiple of 18?
False
Let i be (-133)/(-5) + ((-16)/(-40) - 0). Suppose -c - i = 3*d - 165, c - 135 = -4*d. Is 21 a factor of c?
True
Let l(x) = 6*x - 11*x - 7 - x - 27*x. Suppose -4*q - 12*v = -13*v + 10, -2*q + v - 6 = 0. Does 9 divide l(q)?
False
Let u(d) = 15*d**2. Let o(v) = -v**2 - 7*v + 1. Let c be o(-7). Let k be u(c). Is (-10)/15 - (-610)/k a multiple of 15?
False
Suppose 0*r = 5*r + 25. Let j = r - 43. Let d = j + 108. Is d a multiple of 8?
False
Let c = -284 - -292. Suppose -c*a - 427 = -3883. Is a a multiple of 8?
True
Let n = -5308 - -8278. Is n a multiple of 49?
False
Let p(r) = -r**2 + 16