*n**2. Let l be b(3). Suppose d - l = -10. Is d a multiple of 9?
False
Suppose 928 = -3*d + 19*d. Suppose -10329 = d*i - 69*i. Does 63 divide i?
False
Let q(k) = 2*k - 8. Let a be q(6). Suppose a*o + 718 = -686. Let r = o + 513. Is 11 a factor of r?
False
Let x(l) = -7*l**3 - 5*l**2 - 47*l - 14. Is 20 a factor of x(-6)?
True
Suppose 0 = 49*r - 4*r - 61200. Suppose -10*t + 5*t + r = 0. Is 16 a factor of t?
True
Let m(j) = -3*j**2 - 4*j + 2. Let p be m(-4). Suppose 5*r = g - 172, -10*g - 13*r + 1579 = -16*r. Let o = p + g. Does 60 divide o?
False
Let j = -3969 - -7185. Is 48 a factor of j?
True
Let c be 16/15*12*-10. Let i = c + 132. Does 4 divide i?
True
Suppose 4*m - 5*j - 8 - 13 = 0, 5*j + 1 = -m. Suppose -1744 = -m*v + n - 203, 5*v - 4*n - 1940 = 0. Is 48 a factor of v?
True
Is 9 a factor of 1 - 9/12 - (1 + (-267972)/48)?
False
Suppose 4*n = -5*b + 187508, 5*b + 203470 = 4*n + 16002. Is n a multiple of 18?
True
Let y(o) = o**3 + 4*o**2 - 6*o + 2. Let b(w) = w - 2. Let i be b(6). Let x be y(i). Suppose -3*f - 7 = -x. Is 16 a factor of f?
False
Suppose -29*k + 24*k + 13410 = 5*t, 0 = -5*t + k + 13446. Is t a multiple of 159?
False
Suppose -5*r = -469 - 51. Let x = 166 + r. Is x a multiple of 9?
True
Suppose 0 = -l + 5*y + 28241, -56496 = 822*l - 824*l + 3*y. Does 35 divide l?
False
Suppose -5*v = -5*g + 243 - 68, 45 = g - 3*v. Suppose -37*p = -g*p - 6363. Is 11 a factor of p?
False
Suppose 31*r + 9145 = f + 27*r, -2*r = -4*f + 36538. Is 14 a factor of f?
False
Let h(i) = 37*i + 219. Let n be h(-6). Let w(p) = 4*p - 16. Let o(l) = -3*l + 17. Let g(j) = 6*o(j) + 5*w(j). Is 8 a factor of g(n)?
True
Suppose -2*w - 5*t = -9, -4*t - 10 = 5*w + 10. Let n(s) = -2*s**3 - 10*s**2 + 13*s + 29. Does 12 divide n(w)?
False
Let s(l) = -8*l**2 + 100*l + 53. Let m(y) = -18*y**2 + 199*y + 104. Let u(x) = -6*m(x) + 13*s(x). Does 10 divide u(-27)?
False
Let n(j) be the second derivative of -j**4/12 - 13*j**3/6 + 7*j**2 + 5*j. Let s be n(-14). Does 8 divide 87/(-2 - (-3 - s))?
False
Suppose 0 = -97*j + 360583 + 1642952. Is j a multiple of 15?
True
Let n(w) = -6*w + 72. Let g be (-2 + (-12)/(-5))*-5. Let u(q) = 5*q - 70. Let x(m) = g*u(m) - 3*n(m). Is 27 a factor of x(23)?
True
Suppose d + 335*y = 337*y + 40401, 2*y - 121179 = -3*d. Is 12 a factor of d?
False
Suppose -3663 = 23*b - 60*b. Is b a multiple of 8?
False
Let o(m) = -3*m + 40. Let x(p) = -4*p + 60. Let g(d) = 8*o(d) - 5*x(d). Let l be g(8). Is (6/l)/(2/(-124)) a multiple of 4?
False
Suppose 3*b - 5*b - 100 = 5*u, 116 = -2*b - u. Let s be 6952/10 - (-12)/b. Suppose -s = -6*k - 239. Does 19 divide k?
True
Let a = -15 - -23. Suppose a*k = 2*k + 420. Suppose -5*p + p + k = 2*y, -4*p = -5*y + 245. Is y a multiple of 9?
True
Let z(m) = -6*m - 2. Suppose c = 5*n - 17, -4*n + 4 = -c - 9. Let r be z(c). Does 14 divide (-4)/10 - 328/r?
False
Let b(r) = 80*r - 6. Let t be b(9). Suppose t = 12*w + 2*w. Let s = 85 - w. Does 4 divide s?
False
Let v = -11 + 0. Let r = 14 + v. Suppose 0*s - 168 = -2*a + s, 0 = r*a + 4*s - 263. Is 24 a factor of a?
False
Suppose 2*u - i - 3811 = 0, 20*i - 3802 = -2*u + 24*i. Is 13 a factor of u?
False
Let x be 1 - (16/20)/((-1)/5). Suppose -d - 11 = -3*g + 3*d, -x*g + 2*d + 23 = 0. Suppose 125 = g*m - 3*l - 2*l, -m + 2*l + 29 = 0. Does 4 divide m?
False
Let t = 10452 - 7370. Does 23 divide t?
True
Let w(j) = -6*j. Let l(c) = -2*c**2 - 5*c - 2. Suppose b - 5 = -8. Let i be l(b). Is w(i) a multiple of 6?
True
Is 2 - 4 - ((-76758)/11)/6 a multiple of 9?
True
Let l be (-15)/(-9) + (-247)/(-57). Let k(h) be the third derivative of 11*h**4/24 - 7*h**3/3 + h**2. Is 13 a factor of k(l)?
True
Let a(i) = 22*i**2 + 23*i - 206. Is a(8) a multiple of 14?
True
Let s = -60 + 69. Let h be 80/15*s/(-4). Is 7 a factor of -17*5/(15/h)?
False
Let v be 0 + 865/(-3) + 30/(-45). Let r = v + 577. Is 32 a factor of r?
True
Let z = 38036 - -998. Is z a multiple of 45?
False
Suppose -4*n - 3*f = -n - 6639, n - 2216 = 2*f. Does 3 divide n?
True
Let o = 1107 - 366. Let m = o + -241. Suppose 5*s - 3*f = 500, 10*s - m = 5*s - 3*f. Is 21 a factor of s?
False
Let q = 34168 - 23086. Is 29 a factor of q?
False
Let x = 469 + -424. Is 10/x - ((-8764)/(-36))/(-7) a multiple of 2?
False
Let c = -104 - -138. Let w be ((-18)/135 + c/30)/1. Is 12 a factor of 506/6 + w/(-12)*4?
True
Suppose 0 = j - 4, y - 616 = 2*j + 3726. Is 50 a factor of y?
True
Suppose 4*h = 2*j - 17890, 4*j + 128*h - 35760 = 132*h. Does 70 divide j?
False
Let h(u) = -889*u + 186. Does 12 divide h(-5)?
False
Suppose 70*j + 39*j - 1538862 = 0. Does 78 divide j?
True
Let n(c) = -42*c + 1. Suppose 1 = 8*h - 9*h. Let m be n(h). Suppose 0 = -3*z - 3*x - 2*x + 185, -z + 3*x = -m. Is z a multiple of 11?
True
Let u = -37 - -39. Suppose -10 = 5*y + 5*d, -2*d = -u*y + 3*d - 11. Is (-27)/(-162) - y/(36/1630) a multiple of 10?
False
Let l(q) = -13*q - 23. Let g be l(-7). Suppose 56 = -4*f + g. Suppose -u + f*i + 46 = u, -u + 2*i = -22. Is u a multiple of 4?
False
Suppose -4*j + 0*j - 15 = -t, 0 = 5*t - 3*j - 24. Suppose t*i = 14*i - 264. Suppose -208 = 11*l - i*l. Is 11 a factor of l?
False
Suppose 0 = 64*i - 75*i + 2959. Let a = i - 192. Is a a multiple of 15?
False
Let z = 4891 - 2255. Suppose 12*s = 14*s - 2*m - 2656, -2*s - 3*m + z = 0. Does 47 divide s?
False
Suppose -4*f = 3*r - 101, 2*f - 106 - 22 = -4*r. Let j = 43 - r. Does 11 divide (3*j/54)/(1/66)?
True
Suppose x + 4*l - 12 + 4 = 0, 11 = 3*x - l. Suppose 5*p + 2907 = -x*s + 7*s, -2*p + 2907 = 3*s. Is 67 a factor of s?
False
Does 5 divide 8 - 24/4 - (-9 + 4 - 29)?
False
Suppose -4*s = 3*j - 20951, -27*s - 10483 = -29*s - 3*j. Is s a multiple of 66?
False
Let v(j) be the second derivative of 7*j**3/6 - 28*j**2 - 73*j. Is 37 a factor of v(19)?
False
Let x be (110/4)/(12 + 1653/(-138)). Suppose -5*m + 2520 = 5*h - x, -3*m - h = -2279. Is 7 a factor of m?
False
Let m(h) = -2*h**2 - 61*h - 3252 + 42*h - 54*h + 3193. Is m(-32) a multiple of 6?
False
Let f = -272 + 307. Suppose 0*k = -f*k + 65695. Does 64 divide k?
False
Is ((38/(-7))/1 - -8)*11620/6 a multiple of 166?
True
Let z = -341 - -602. Suppose 2*f + 3*o - z = 0, 4*o + 2 - 6 = 0. Is 43 a factor of f?
True
Suppose a + x - 17275 = 0, 4*a - 4*x - 42660 - 26464 = 0. Does 53 divide a?
True
Let f = 8896 - 1224. Does 11 divide f?
False
Let y(v) = -v - 4. Let b be y(-7). Let q(i) = 30 - 15*i + 0*i**2 + b*i**2 + 4*i**2 - 8*i**2. Is 3 a factor of q(-16)?
False
Suppose 3762*i - 3774*i + 24864 = 0. Does 14 divide i?
True
Let j(k) = k**2 + k + 237. Is 6 a factor of j(-33)?
False
Suppose -300 = 4*n + 4*j, 2*n = -5*j + 5 - 161. Let o = -70 - n. Suppose -2 + 122 = o*h. Does 4 divide h?
True
Let n = -51 - -280. Let k = n + -127. Suppose -5*r = -k - 278. Is r a multiple of 17?
False
Is 28 a factor of (1376/(-48))/(4/(-402))?
False
Let s(v) = 160*v - 47. Let t be s(4). Suppose 54 = -7*n + t. Is 7 a factor of n?
True
Let i(v) = -v + 0*v - 19*v + 6*v - 40. Let w be i(-5). Suppose 5*k - 25 = w. Does 2 divide k?
False
Let f(s) = -13*s**3 + 5*s**2 + 11*s + 3. Let h(d) = -7*d**3 + 3*d**2 + 6*d + 2. Let r(t) = -6*f(t) + 11*h(t). Let b be r(-4). Does 15 divide (153/b)/((-6)/16)?
False
Let t(l) = 6*l**2 + 9*l + 5. Let x(p) = -7*p**2 - 8*p - 4. Let r(h) = -4*t(h) - 5*x(h). Let k be r(-1). Suppose -1606 = -k*w - 605. Is 11 a factor of w?
True
Suppose 135 = -203*s + 204*s. Let y = -18 + s. Is y a multiple of 13?
True
Suppose 42*q - 92705 = 44047. Does 9 divide q?
False
Is 10 a factor of ((-7815)/15)/(4/(-2)) - 2/4?
True
Let r = 6 + 57. Let n = r + 92. Is 10 a factor of n?
False
Suppose 0 = 12*s - 18*s - 36. Is 19*8 + ((-24)/s - 3) a multiple of 3?
True
Let i be (0 - (-198)/(-12))/(1/26). Let a = i + 1233. Suppose 20*r = 26*r - a. Does 13 divide r?
False
Let o(z) be the third derivative of -2*z**4 - 15*z**3/2 + 60*z**2 + 2*z. Does 15 divide o(-10)?
True
Let u = 24542 - 70726. Let v be 2/7 - u/56. Does 7 divide v/39 - (-6)/(-39)?
True
Suppose 0 = 99*h - 671511 - 520449. Is 199 a factor of h?
False
Let c = 86411 - 52721. Is 8 a factor of c?
False
Let s(w) = 19*w**2 - 17*w - 580. Does 16 divide s(17)?
False
Let h = 87 + -87. Is 41 a factor of 1/(6/3282 + h)?
False
Let v = 35574 + -24864. Does 45 divide v?
True
Suppose 6*b - 2477 - 8689 = 0. Let d = -1273 + b. Is 84 a factor of d?
True
Let u