ose 0*n - 5*n = k - 1595, 2*n + 2*k = 646. Does 53 divide n?
True
Let l(z) = z - 3. Let c = -7 + 13. Let q be l(c). Is 9/27 - (-5)/q even?
True
Suppose -2*x - 162 = -0*x - o, 3*x - 5*o + 257 = 0. Let d = x - -299. Does 11 divide d?
True
Let c(o) = 13*o + 10. Let v be c(7). Let j = -60 + v. Is j - ((-4 - 0) + 5) a multiple of 23?
False
Let f = 54 - -61. Does 23 divide f?
True
Let j(l) = -l**3 - 19*l**2 + 33*l + 1. Let k be j(-21). Suppose 0*q + 240 = -2*o + 5*q, -4*q = 4*o + 452. Let w = k + o. Does 25 divide w?
True
Let f be -15*(0 + (-20)/12). Suppose 0 = -2*w - f - 5. Is 10/w*198/(-4) a multiple of 11?
True
Suppose -4*m - 14 = -5*r - 59, 3*m - 20 = r. Let i = 35 - m. Does 7 divide i?
False
Let m = 2577 - 1546. Is 26 a factor of m?
False
Let h(r) = r**2 - 4*r - 17. Let a be h(6). Let o(m) = 4*m**2 + 12*m + 1. Is o(a) a multiple of 4?
False
Let q(z) = -47*z + 1. Let v be q(-2). Suppose -2*o + 55 + v = 0. Does 7 divide o?
False
Suppose -5*u + 26 = 4*f, 5*u = f - 3*f + 18. Suppose -5*h + 117 = 3*n - 68, 0 = 2*n + f*h - 124. Is 30 a factor of n?
True
Let u be (4 - (-2 + 7))*0. Suppose -11*s + 6*s = u. Suppose s*f + f = 24. Does 7 divide f?
False
Is 108 a factor of ((-24)/(-18) + -8)/(6/(-333))?
False
Let u(i) = 5*i - 7. Suppose 0 = -4*c + 2*c + 2*h - 18, 4 = h. Let d = c + 11. Is 6 a factor of u(d)?
False
Suppose -5*m = -2*x + 907, 5*x = 4*m + m + 2245. Does 45 divide x/8 + 4/(19 + -3)?
False
Suppose -4*s - 2*s = -54. Let u(t) = 21*t + 7. Is u(s) a multiple of 49?
True
Suppose 5*i - l - 2775 = 0, -3*i - 3*l + 5*l = -1665. Is 37 a factor of i?
True
Let r(c) = 56*c - 21. Is r(3) a multiple of 21?
True
Let z be -1 + -5 + 1 + 135. Suppose 5*o = 4*y - z, -5*o + 4 = -3*o. Does 3 divide y?
False
Suppose 0 = 2*m + 5*b - 125, m - 50 = -22*b + 17*b. Is m a multiple of 15?
True
Suppose -9*o = -14*o. Is 40/(-32)*-28 + o + 1 a multiple of 4?
True
Let z = 2722 + -2160. Is z a multiple of 9?
False
Is 12 a factor of -12*(7 + 123/(-9))?
False
Suppose 0 = 9*z - 8*z - 1. Let t = 13 - z. Is 3 a factor of 2/12 + 118/t?
False
Suppose 12 = 2*d - 2*y + 6*y, -4*y = 5*d - 18. Is 10 a factor of (0 - -50)*(d + -1)?
True
Let i be (4 + -3 + -1)*-1. Suppose -24*k + 20*k + 12 = i. Suppose -3*t - f + 125 = 0, -k*t - 4*f - 172 = -7*t. Is 14 a factor of t?
True
Let v = 2348 - 1610. Does 18 divide v?
True
Let s = -876 - -1548. Does 24 divide s?
True
Let q = 39 + -34. Suppose 0 = -q*h + h + 528. Is 26 a factor of h?
False
Let y = 121 - 121. Suppose 4*v - w - 461 = y, 5*w - 244 - 96 = -3*v. Is 23 a factor of v?
True
Suppose -9*x + 510 = -3*x. Suppose 2*r = 7*s - 2*s - 432, s + r = x. Is 13 a factor of s?
False
Let s(b) = 7*b**2 + 4*b. Suppose -2*u - 5*h = -33, 0 = -2*u + h - 5*h + 28. Suppose -o = 4*v - 14, u*o + 3*v - 2 = 2. Is 20 a factor of s(o)?
True
Let g(d) = -2*d - 13. Let i be g(-9). Suppose 0 = -m + 2, -i*n - 2*m = -16 - 3. Suppose -3*l - 5*t = -100, -n = 5*l + 3*t - 191. Is l a multiple of 20?
True
Suppose -4*k + 235 = k. Let l(p) = -p**3 + 6*p**2 - 6*p + 4. Let b be l(6). Let o = b + k. Is o even?
False
Let f(y) = 2*y**2 - 6*y - 150. Is 5 a factor of f(16)?
False
Suppose -2*j + 4*j = -f + 20, 5*f = -5*j + 115. Let v(k) = -k**3 + 4*k**2. Let x be v(4). Suppose x*t = t - f. Does 13 divide t?
True
Suppose -3*r - f + 490 = 0, 166 = -45*r + 46*r + f. Is r a multiple of 18?
True
Suppose 614 = 12*v + 98. Does 3 divide v?
False
Let w(l) = 2*l**3 - l**2 + 2*l - 1. Let a be w(1). Let u(i) = 4*i**3 - 4*i**2 + 3*i - 2. Does 4 divide u(a)?
True
Let l = 12 - 8. Suppose -l*g + 7*g = 135. Suppose -3*t = 2*r - 3 - g, -2*r = 2*t - 34. Does 8 divide t?
False
Let b(l) = l + 48. Suppose -z + 1 = -1. Suppose r + z*k - 4 = -0*r, -8 = -3*r - 4*k. Is b(r) a multiple of 16?
True
Suppose 2*q + 21 = 209. Is 10 a factor of (q/4)/((-5)/(-10))?
False
Let o be 0/2 + (0 - 1) + 3. Suppose -2*l = 2*f - 32, o*f + 53 + 15 = 3*l. Is 5 a factor of l?
True
Let d be (-5)/(-10)*-12*(-2)/2. Suppose 9*i = d*i + 192. Does 16 divide i?
True
Suppose 0 = -2*k - 2*d + 6, 4*k - d - 2*d = 26. Suppose 11*w - 240 = k*w. Is w a multiple of 10?
True
Suppose -32 = m + 5*h, 6*m = m - 3*h - 204. Let i be 8/6 - 658/m. Suppose -o - 6 = -4*s, 3*o + s - i = 6*s. Does 5 divide o?
False
Let q(d) = d**3 - 2*d**2 + d - 6. Let c be q(6). Suppose -132 - c = -4*p. Suppose -l = 2*k - 59, -2*l = -5*k + p + 56. Is k a multiple of 9?
True
Let t(b) = b**2 + 7*b - 9. Let c be t(-8). Let j be c + 8 - (-9 - -12). Suppose 4*l = -3*h + 99, 3*h + j*l - 136 = -h. Is 9 a factor of h?
False
Let r = 54 + 26. Is 20 a factor of (-9)/(2*(-6)/r)?
True
Let q = -31 + 76. Is 7 a factor of q?
False
Suppose -4*n - k = -67, -2*k = 4*n - 12 - 50. Is 6 a factor of n?
True
Suppose -516 = -5*i + 194. Is 10 a factor of i?
False
Suppose 2*o + 6 = 0, -6*o + 2*o = p + 2. Suppose 9 = -2*x - 3*v, 5*x - p = 3*v - 1. Does 14 divide (2 + x - -5)*4?
True
Let w(h) = h**3 + 11*h**2 + 9*h - 7. Let b be w(-10). Suppose b*i = 6, -k - 2*i = -4*k + 2. Does 29 divide (3/k)/(3/116)?
True
Suppose 20 = 5*g, 5*i - 3*g - 859 = 224. Does 11 divide i?
False
Suppose j - 6*j = -5*r - 1640, 0 = -3*j + 2*r + 985. Is j a multiple of 47?
True
Suppose 0 = -7*g - 14*g + 3717. Is 3 a factor of g?
True
Suppose j - 2*m - 395 = 0, -22*m = -18*m + 16. Is j a multiple of 12?
False
Let k be (-28)/(-126) + (-68)/(-18). Suppose -k = -3*d - 34. Let f = d + 34. Does 6 divide f?
True
Let z(b) = b**3 - b**2 - 7*b - 11. Does 18 divide z(7)?
True
Suppose 92 = -3*q + 275. Is 12 a factor of q?
False
Let g(k) = 4*k - 2. Let m be g(1). Let z be 2*((-1 - m) + 4). Let n = 10 + z. Is 12 a factor of n?
True
Let u be (-264)/27 - (-4)/(-18). Let r be 5/u*(1 - 11). Is (r + -2 + -11)*-5 a multiple of 15?
False
Let p(c) = 31*c + 71. Does 19 divide p(4)?
False
Let z = 144 + -16. Is z a multiple of 18?
False
Does 13 divide (323 - (3 - (0 - -3))) + 2?
True
Suppose -u + 27 = -m, 3*u - 137 = m - 46. Let c = 4 + u. Is c a multiple of 12?
True
Let o = -73 - -46. Let w(u) = -u**2 - 3*u - 12. Let a be w(7). Does 18 divide a/3*o/18?
False
Let x(t) be the second derivative of -t**6/60 + t**5/30 + t**4/3 + 4*t. Let h(a) be the third derivative of x(a). Is 19 a factor of h(-3)?
False
Is 9 a factor of (3/((-18)/(-21)))/(2/108)?
True
Suppose -m + 462 = 2*w, m - 4*w - 467 = -w. Does 4 divide m?
True
Let o be -3 + 0 - (4 + -3). Let i be o/14 + 18/14. Is 10 a factor of ((-68)/(-24))/(i/6)?
False
Let j(a) = 2*a + 18. Let y be j(-8). Suppose y + 86 = 2*t - 2*w, 0 = 5*t + w - 196. Does 8 divide t?
True
Let s(n) = -n**3 - 18*n**2 + 12*n - 5. Does 9 divide s(-20)?
False
Let s be ((-6)/4)/((-18)/276). Let r = 113 - s. Is 29 a factor of r?
False
Suppose -5*v + a + 30 = -3*v, 2*v - 2*a = 32. Suppose c - v = -0*c. Is c a multiple of 7?
True
Let h = -499 - -718. Is 7 a factor of h?
False
Is (1/7)/(1/7) - -34 a multiple of 28?
False
Let h = 32 + 46. Let b be h + -3 - (-8)/(-2). Let o = 132 - b. Is o a multiple of 13?
False
Suppose 0 = -2*k - 4, 30*k = -4*o + 27*k + 1366. Is o a multiple of 48?
False
Let f(a) = -a**3 - 7*a**2 - 3*a - 4. Let m be -2 + 4 + 2 - 11. Is f(m) a multiple of 17?
True
Suppose 3484 = 4*d - 8204. Is 19 a factor of d?
False
Let t be (26/(-4))/(1/2). Let k = -14 - t. Is 8 a factor of -6 + 4 - 18/k?
True
Let y(m) = m - 8. Let j be y(20). Does 20 divide (-776)/(-6) - j/(-18)?
False
Is (-3 + (1 - -10))*296 a multiple of 37?
True
Let d(q) = 2*q + 7*q**2 + q**2 - 3*q**2. Suppose 2*p = -4*o - 8, 2*p = 4*o - 0*o + 8. Does 16 divide d(o)?
True
Let q(c) = -c - 9. Let x be q(-4). Let y = 7 + x. Suppose -4*d + y*d = -14. Is d even?
False
Suppose 4*j + h = -h + 10, h = 5. Is 21 a factor of (j + 95/2)*2?
False
Suppose -4*n + 146 + 3550 = 0. Suppose 10*w + w = n. Does 14 divide w?
True
Suppose -3*a + 13 = -2. Suppose 10*y - 98 = -4*y. Suppose -4*j = -y*j + a*m + 38, 45 = 4*j - m. Is 3 a factor of j?
False
Let o = 13 - 13. Suppose 4*j + 4 - 12 = o. Let a = j + 6. Is 4 a factor of a?
True
Suppose 0 = -27*h - 17*h - 1804. Let i = 69 - 149. Let g = h - i. Does 13 divide g?
True
Let f(g) = g**3 + 6*g**2 + 3*g - 1. Let u be f(-5). Suppose -5*v + u = 3*s + 1, -4*s + 4*v = 32. Does 4 divide 15/(-10) + (-58)/s?
False
Suppose 4*g - 24 = -4*z, -4*z + 17 + 1 = 3*g. Suppose 0 = m + g*m - 1456. Is m a multiple of 31?
False
Suppose -27 = -4*j + 1. Let o(w) = -w