 + 18 = 10*n, -3*n = 2*s + 13. Let m(v) = -22*v - 45. Let y(b) = -11*b - 23. Let x(t) = 4*m(t) - 7*y(t). Is x(n) a multiple of 16?
False
Let w = -134 - -54. Let t be w/14 + (-34)/119. Is -2 + (114 - (3 - 7 - t)) a multiple of 15?
False
Suppose 4*o = -4*r + 23992 - 4116, 5*o = 3*r + 24821. Does 13 divide o?
True
Let a(q) = -78*q + 14174. Is a(-183) a multiple of 24?
False
Let w(h) = 747*h**2 - 134*h - 520. Is w(-4) a multiple of 11?
True
Let t(l) be the second derivative of l**4/2 + 5*l**3/6 - 5*l**2 - 28*l. Let s be t(-5). Is 14 a factor of -3 + 3 + 0 + s?
False
Is 10/(-75) - (7 - 1605908/60) a multiple of 115?
False
Suppose 0 = 3*c - 4*b + 4, 5*c + b - 16 = 2*c. Suppose 0 = 4*t - 4*v - 936, -c*v = v. Is t a multiple of 26?
True
Suppose -11429 = -3*w - s, 2*w + 70*s = 69*s + 7620. Does 13 divide w?
True
Suppose 377*o - 373*o = 20. Suppose -4*u + 1283 = o*h - 3030, 5*u = -3*h + 5388. Does 77 divide u?
False
Let k = 373 + -173. Let o = 10 + -7. Suppose k = 2*n + o*n. Is 20 a factor of n?
True
Let o(d) = d**3 - 16*d**2 - 7*d - 2. Let q be o(17). Let p be (-2 + 12 + -5)*q/5. Suppose w - p = -20. Is 22 a factor of w?
False
Let n be (-38)/(-3*(-5)/(-30)). Is n - (-1 - (-14 - -6)) a multiple of 23?
True
Let p(z) = -22*z**2 - 2*z + 7 - 12*z**3 + 18*z**3 + 19*z**2 - 9*z**3. Suppose 2*m + 7 - 1 = 0. Is p(m) a multiple of 6?
False
Suppose -5*f = 4*d - 10*f - 237, -2*d + 129 = f. Is d a multiple of 10?
False
Suppose 2*u - 122 = -i, -2*u + 5*u - 5*i = 183. Let g = 57 - u. Is 12 a factor of ((-2)/(-2 - g))/(4/(-192))?
True
Suppose -139*a - 717 = -130*a - 1941. Is a a multiple of 6?
False
Suppose -14*o - o = -4125. Let y be -1 + 0 - (0 + -5). Suppose -4*a - 2*b + 305 = -b, o = y*a - 5*b. Is a a multiple of 15?
True
Is (128190*19/(-95))/((-1)/(4 - 1)) a multiple of 18?
True
Let u(b) = -5*b + 10*b + 15 + 9 - 4. Does 9 divide u(6)?
False
Suppose 1387 + 3209 = 5*m - 2*r, -3*r + 1846 = 2*m. Let x = m - 650. Suppose n = -n + x. Is n a multiple of 27?
True
Suppose 2427 + 1317 = 225*s - 2556. Suppose -d - 4287 = -3*q, q - 1191 = -3*d + 228. Suppose -q = -7*p + s. Does 26 divide p?
True
Suppose -2*h - h = 2*t - 4333, h - 1451 = -4*t. Is h a multiple of 37?
True
Let v(p) = -123*p. Let m(j) = 45*j + 1. Let w(l) = -3*m(l) - v(l). Let i(g) = -g**2 + 6*g - 3. Let k be i(6). Is 11 a factor of w(k)?
True
Suppose 27*k - 69967 - 145358 = 0. Is 100 a factor of k?
False
Let q(m) = 3*m**2 - 34*m + 7. Let z be q(-7). Let v = z + -389. Is 2 a factor of v?
False
Is 1/((-6)/(-54)) + -8 + 6386 + -2 a multiple of 11?
False
Suppose 20*g - 22*g = -34. Suppose 7 = -g*c + 10*c. Does 2 divide (6 + c)/(6/((-48)/(-20)))?
True
Suppose -2*g - q = -4*q - 2801, -4*g + 5590 = -2*q. Is 21 a factor of g?
False
Suppose 0 = -126*z + 502496 + 55379 - 18973. Does 7 divide z?
True
Let s(y) be the third derivative of y**6/120 - 11*y**5/30 + y**4 + 17*y**3/6 + 3*y**2. Let x be s(17). Is ((-8)/(-10))/((-17)/x) a multiple of 16?
True
Suppose -118 + 18 = -4*g. Suppose -2*p - 28 = -h, -3*p + 60 = 2*h + g. Does 6 divide (0 + 1)/(h/946)?
False
Let b = 332 - 330. Suppose 10563 = 19*z + b*z. Does 52 divide z?
False
Is 41 a factor of ((-21)/(630/20))/((-1)/5658)?
True
Let p(h) = 27*h + 4. Let f(k) = k**3 + 9*k**2 + 13*k - 6. Let t be f(-7). Let r be p(t). Let a = -5 + r. Is a a multiple of 15?
False
Let m(g) = -81*g + 2. Suppose -2*l - 25 = -29. Let y(o) = -1. Let p(b) = l*m(b) + 6*y(b). Is 20 a factor of p(-1)?
True
Suppose s = -5*j + 870, 0 = -862*s + 863*s + j - 858. Is 3 a factor of s?
True
Let p(c) be the third derivative of c**6/120 - c**5/60 - 13*c**4/24 - 11*c**3/6 - 45*c**2. Let i(a) = 2*a - 11. Let z be i(9). Is 24 a factor of p(z)?
True
Suppose -5*v = -3*d + 4810, 3*v + 125 = 2*d - 3083. Is 7 a factor of d?
True
Suppose -4*b + 3 = -5*b, -2*a - 3 = 5*b. Let r = 170 + -166. Suppose 0 = r*n - w - 675, 5*n - a*w + 4*w = 843. Does 13 divide n?
True
Let m = -29 - -32. Let f be 5 - (5 - m) - (0 - 1). Suppose -f*b + 0*b = 5*h - 252, 5*h - 5*b - 270 = 0. Does 26 divide h?
True
Let c(g) = -g + 2. Let k be c(-3). Suppose -23 = -20*b + 13*b - 16*b. Suppose 456 - b = k*h. Is 7 a factor of h?
True
Is 7 a factor of (-152 - -214)*(47/2 + 1)?
True
Let o be (-1 + 4)*1 + (2376 - -3). Let v = o + -1338. Is 18 a factor of v?
True
Let y(v) = -6*v + 414. Is 3 a factor of y(-15)?
True
Suppose 9*c - 4*c - 165 = 0. Let q(w) = -6*w**2 - 45*w - 8. Let t be q(-6). Let r = t - c. Is r a multiple of 4?
False
Let q(v) = -7*v - 855 + 11*v**2 + 813 - 10*v - v + v**3 - 6*v. Is 17 a factor of q(-12)?
True
Let u = -171 + 73. Let f(p) = -p**2 - p - 1. Let o be f(-2). Let k = o - u. Is 19 a factor of k?
True
Let d(b) = 2*b**2 - b - 30. Let w be d(6). Is 70 a factor of 8/(-6) + 17076/w?
False
Let o be 180*-4*(-217)/21. Suppose 0 = -55*g + 43*g + o. Is g a multiple of 29?
False
Is 34 a factor of 7827 + ((-6)/(-4) + -1)/((-8)/16)?
False
Suppose 5*g + 624*c = 621*c + 35398, 5*g - 35394 = -4*c. Is 92 a factor of g?
False
Let k(x) = -3*x - 39. Let s be k(-15). Suppose 3*t + 18 = -s*t. Is ((-10)/(-8)*t)/(1/(-14)) a multiple of 11?
False
Suppose 3*h - 385 + 67 = 0. Suppose z - h = 14. Does 4 divide z?
True
Suppose 86*v = 92*v - 2454. Let c = 724 - v. Is 59 a factor of c?
False
Is (-9894)/(-16) - ((-2)/(-8))/(14/21) a multiple of 3?
True
Suppose -5*y + 78 - 3 = 3*d, -17 = -y - d. Suppose -y*f = 14*f - 11024. Does 40 divide f?
False
Suppose -3*r = 4*j + 13 - 29, -2*r = -8. Suppose j = -v, -5*v + 1 = 4*n - n. Does 31 divide (100/12 + n)/((-1)/(-9))?
True
Suppose -q + 4*z = 1362 - 6282, z + 24505 = 5*q. Is q a multiple of 62?
False
Let i be (-757)/3 - 18/(-54). Let o = i + 420. Does 14 divide o?
True
Suppose 987 = -6*k + 5*k - 5*j, -k + 3*j = 1003. Let z = k + 1697. Is 7 a factor of z?
True
Suppose 5*u = u - 5*c + 3688, 5*u - 4610 = 4*c. Does 89 divide u?
False
Suppose -44*q + 35*q - 5013 = 0. Let k = q + 1052. Does 9 divide k?
True
Suppose 2*t + s - 2396 = 0, -5*t = -8*t + s + 3604. Suppose 0*a - 2*a = 3*a. Suppose -g = 5*k - t, -4*k + 974 = -2*g - a*g. Does 30 divide k?
False
Suppose 4*q + 3*j + 1334 - 71002 = 0, -4*q - 4*j = -69668. Is q a multiple of 37?
False
Let j be 185666/6 - 20/15. Suppose -23*x + j = 10266. Is x a multiple of 12?
False
Let g(j) = j**2 - 12*j + 30. Let d(p) = p**3 - 9*p**2 + 3*p - 18. Let x be d(9). Let o be g(x). Suppose f = 4*y + 63, o*f = y - 85 + 307. Is f a multiple of 15?
True
Suppose 4*c - 53*w - 9600 = -56*w, 5*c = 5*w + 12000. Is c a multiple of 40?
True
Suppose 422370 = 2888*r - 2793*r. Is r a multiple of 7?
False
Let g(q) = q + 6. Let k be g(-4). Let z(c) = 0*c**k + 4*c**2 + 0 + 11 - 7. Is 12 a factor of z(4)?
False
Let z = -270 + 275. Suppose -z*i - 5379 = -4*v - 1483, 3*v - 4*i - 2921 = 0. Is 11 a factor of v?
True
Suppose -5*n = -n + 88. Let t(k) = -k**3 - 22*k**2 + k + 16. Let i be t(n). Let u(a) = a**2 - 3*a + 20. Does 23 divide u(i)?
False
Suppose 15 = -15*t + 20*t. Suppose k + 0*k = 2*r + 265, 0 = t*r. Does 17 divide k?
False
Suppose -248728 = -5*r - 3*n, -n - 198979 = -2404*r + 2400*r. Is r a multiple of 47?
False
Suppose -1704 = v - 2*v + 5*i, 6885 = 4*v + 3*i. Let c = v - -431. Suppose -12*z = -2*z - c. Is 43 a factor of z?
True
Let l be (5 - 2) + 2/1. Suppose 0 = -l*b + 10 + 5. Is -2 + (-2)/b + 563/3 a multiple of 49?
False
Let j(v) = -2*v + 4. Let y be j(-5). Let c(d) be the second derivative of d**5/20 - 7*d**4/6 + 4*d**3/3 - 6*d**2 - 2914*d. Is c(y) a multiple of 11?
False
Let r(q) = q + 97*q**3 - 2*q**2 + 4*q**3 + q**2 - 1 - 2*q**2. Does 13 divide r(1)?
False
Suppose -4*k = 12, -2*s - 121*k + 120*k = -279. Is 3 a factor of s?
True
Let o(n) = -148*n + 12. Let z(c) = -c**2 - c + 11. Let q be z(4). Let x be o(q). Is 13 a factor of ((-7)/(-4))/(8/x*3)?
False
Let m(j) = -2*j**2 + 278*j + 14632. Is m(0) a multiple of 17?
False
Let d be 326/(-8) + 2*1/(-8). Let q = -41 - d. Suppose q = -6*g + 13*g - 210. Does 15 divide g?
True
Suppose 0 = 4*i - 30 + 14. Suppose -3*y - 55 = 2*j, -2*y - 37 - 3 = 3*j. Does 3 divide (-5 - y)*5/i?
True
Suppose 371 = 4*a + 315. Does 4 divide ((-8)/3)/(a/(-63))?
True
Let o(y) = y**3 + 27*y**2 + 17*y + 99. Does 22 divide o(-24)?
False
Let h = -7 + 6. Let z be (-4806)/(-12) + h/2. Suppose -3*j = -8*j + z. Is j a multiple of 16?
True
Let u(r) = -r**3 + 14*r**2 - 15*r + 31. Let q b