 -2*n**2 + 27*n - 9. Let s be o(13). Suppose -s*l = -l + 3*x - 495, -4*l + x = -675. Is 14 a factor of l?
True
Suppose -3*u - 2*l = -1, -2*u - l - 1 = u. Let z(f) = 15*f**3 - f**2 - f - 1. Let g be z(u). Let k = g - -61. Does 15 divide k?
True
Let q = 565 + -1548. Let g = -622 - q. Suppose -4*p + 5*w = -g, p + 4*p = -3*w + 442. Is 24 a factor of p?
False
Let g(h) = -h - h - 13*h - 5*h + 42 + 2*h**2. Is g(11) a multiple of 4?
True
Let a = 81 - 76. Suppose 0 = -0*x + x + 2*u - 251, -x + a*u + 286 = 0. Is x a multiple of 21?
False
Suppose 3*n = -9, 12 = a - 3*n - 0*n. Let x be (-2)/a - 20/6. Is 12 a factor of 1038/24 + 1/x?
False
Let a be 5 - (-10)/(-4)*(-18)/(-15). Is 9 a factor of 5 + -5 + 93*2/a?
False
Let z(w) = w**3 - 3*w**2 + w - 3. Let p = 10 - 6. Is 2 a factor of z(p)?
False
Suppose 0 = -7*o + 6*o + 9. Let m be 1/(-1)*(8 - o). Does 11 divide 28 + (6/m)/2?
False
Let y = 36 - 39. Is (-8)/(-24) - 118/(-6) - y a multiple of 4?
False
Suppose 169 = -0*z + 2*z - n, 2*z - 159 = 3*n. Suppose -5*w = -18 - z. Is 7 a factor of w?
True
Let u = -1318 + 3578. Is u a multiple of 7?
False
Let u = 714 + -418. Let j = u + -116. Is 18 a factor of j?
True
Let f(n) = -11*n - 13. Is 4 a factor of f(-12)?
False
Let z(p) = -2*p - 1. Let x be z(-8). Let b(q) = q**3 - 16*q**2 + 15*q + 12. Is 3 a factor of b(x)?
True
Let z = 7 + 100. Is 4 a factor of z?
False
Suppose -5*v + 181 = 4*h, -h - 9*v + 49 = -7*v. Does 4 divide h?
False
Let x(n) = -26*n - 40. Let f be (4*3/36)/((-1)/21). Is 15 a factor of x(f)?
False
Let m = 1 - -3. Suppose 2*d = d + m*k - 13, 0 = -2*k + 10. Is 7 a factor of d?
True
Suppose 46*d - 43*d - 21 = 0. Suppose -5*p - a = -697, -4*a - 6 = -d*a. Does 46 divide p?
False
Let t = 53 - 22. Let j = -31 + t. Suppose j = -m - x + 14, 2*m - 11 = -5*x + 14. Does 5 divide m?
True
Let s(y) = 20*y + 184. Is 2 a factor of s(-8)?
True
Let l(u) = 8*u. Let c be l(1). Suppose -3*s - 3*k = -6, -3*s - k - 3*k = -c. Let v(g) = -g**3 - g**2 + g + 11. Does 10 divide v(s)?
False
Suppose -k - 10 = -3*k. Suppose 2*b = k*u + 336, 6*u = 2*u. Let g = -87 + b. Does 28 divide g?
False
Suppose 0 = -2*p - 3 + 1, 5*h + 3*p = 47. Suppose 0 = -d - h + 66. Does 5 divide d?
False
Let n(d) = d**3 + 5*d**2 - 3*d + 27. Let c = -104 + 99. Is n(c) a multiple of 3?
True
Let i(r) = 3*r**2 + 14*r - 36. Does 27 divide i(-9)?
True
Let k(t) = t**3 - 10*t**2 + 10*t - 9. Let u(y) = 3*y**2 - 2*y + 1. Let l be u(2). Let a be k(l). Suppose a*p = -5*m + p + 120, -m + 4*p = -43. Does 7 divide m?
False
Let y(h) = 12 + 25*h - 22 + 8. Does 16 divide y(2)?
True
Let g(y) be the second derivative of 1/2*y**2 + 1/6*y**4 + 2/5*y**5 + 0 - 1/3*y**3 + 2*y. Is 9 a factor of g(1)?
True
Suppose -3*x = -27*x + 3888. Does 6 divide x?
True
Suppose 0 = -3*h + 5*b + 476, 3*b = h + 7*b - 170. Does 6 divide h?
True
Suppose 0 = -3*l - 16 + 121. Let n be ((-1)/1)/((-7)/l). Suppose 0 = -r + n*r, -3*h + 165 = 5*r. Is h a multiple of 18?
False
Suppose -2*b + 3*d + 28 = 0, b + 2*d - 13 = 1. Is 7 a factor of b?
True
Let a(h) = -h**2 - 6*h - 11. Let k be a(-5). Is 178/4 - 3/k a multiple of 15?
True
Suppose -79*s = -9*s - 116480. Is 64 a factor of s?
True
Suppose -3*f - 1273 = -388. Is 10 a factor of (-1 + -2)/(900/f - -3)?
False
Let n(s) = 3*s**2 - s + 1. Let o be n(1). Suppose 5*p - r = 25, p + 3*r = -2 - 9. Suppose -o*z = 2*y - 102, -2*y + p = 10. Is z a multiple of 12?
True
Suppose -3*y - 5*q = y - 8, 2*q - 8 = -4*y. Does 10 divide 3708/54 - y/3?
False
Let c = -2303 - -2454. Does 2 divide c?
False
Suppose -2*f + 82 = 4*n, 0*n + 194 = 4*f - 2*n. Is 27 a factor of f?
False
Suppose -5*h + v + 18 = 0, 2*h + 0*v - 12 = -2*v. Suppose 5*s = h*s - 1, s = 4*u - 905. Does 12 divide u?
False
Let i be (-3)/(7 - -2)*-9. Suppose -i - 12 = 5*d. Is (d + -1)/(-3 - -1) even?
True
Let l = 15 - -153. Is l a multiple of 84?
True
Suppose 351 = 17*d - 4*d. Let v be ((-6)/(-3))/((-4)/6). Let n = d + v. Is n a multiple of 6?
True
Suppose -k - 2*v - 46 = -3*k, v + 69 = 3*k. Suppose -24*y + k*y = -123. Is 11 a factor of y?
False
Let x = -101 - -229. Suppose 2*w + 6 = 0, -2*h - 3*h - 4*w = -x. Does 7 divide h?
True
Suppose 0 = -3*b - x + 2371, -799 - 800 = -2*b + 3*x. Does 44 divide b?
True
Let i = 9 - 10. Let g(y) = -2*y - 2. Let n be g(i). Suppose b + n*b - 26 = 0. Is 13 a factor of b?
True
Suppose -1710 = -296*o + 290*o. Does 3 divide o?
True
Suppose 0 = -74*b + 78*b - 1380. Is 5 a factor of b?
True
Let h = 2010 + -1121. Is 95 a factor of h?
False
Let m be 1*(-5)/5 - -3. Suppose -2*r - 22 = -m*d + 20, 5*r - 55 = -3*d. Does 8 divide d?
False
Suppose 5*g - 215 = -b, -2*b + 15*g = 17*g - 406. Is 10 a factor of b?
True
Suppose -5*o - 2*r = -794, 4*o - 3*r = 6*o - 322. Is 18 a factor of o?
False
Let u(g) = -g**2 - 16*g + 19. Let r be u(-17). Suppose 5*b + r = 12. Suppose -3*w - 151 = -2*y - b*y, -3*y + 115 = -4*w. Is 8 a factor of y?
False
Let v(o) = -13*o - 10. Does 26 divide v(-8)?
False
Suppose -4*r = 5*b - 22, -6*r - 4*b = -r - 23. Let k(t) = -6*t + 2*t**3 - 3*t**2 - 4 - 3*t**3 - t**2 + r. Is k(-5) a multiple of 11?
False
Let k(o) = 66*o**2 - 81*o + 6. Is k(7) a multiple of 15?
False
Let d = -710 + 2827. Does 13 divide d?
False
Let n(t) = 2*t - 20. Let j be n(11). Suppose 0 = -2*f - 2*k + 340, j*f - k - 838 = -3*f. Does 12 divide f?
True
Let z(h) = -21*h**2 + 85*h + 5. Does 2 divide z(4)?
False
Let p be -303*(6 - 3)/9. Let d = p + 172. Suppose 5*u + d = 3*c, 3*u = 3*c - 39 - 42. Is c a multiple of 13?
False
Let z = -108 + 45. Let i = -39 - z. Is 12 a factor of i?
True
Let s(x) = 49*x + 302. Is s(18) a multiple of 4?
True
Suppose -2*t = 2 + 2. Let l be ((-8)/12)/(t/84). Suppose -a + 2*a - l = 0. Does 14 divide a?
True
Suppose m = 4*p + 4, -3*p + 6 + 9 = -3*m. Let i = m - -10. Let s = i - -8. Does 2 divide s?
True
Let x(m) = -m**2 + 15*m - 34. Let u be x(12). Suppose -3*s = j - 28, -9 - 7 = -u*j + 4*s. Is j a multiple of 4?
True
Let p = -307 - -475. Let h = p - -122. Suppose h + 125 = 4*w - 3*z, 3*z - 285 = -3*w. Does 20 divide w?
True
Let l be 20/30*(437 + 1). Let r = 464 - l. Suppose d + r = 5*d. Is 21 a factor of d?
False
Suppose -28 + 4 = -4*x. Suppose x*o - 25 = o. Suppose -l + 36 = f, 5*l = o*f - 0*f + 170. Is 9 a factor of l?
False
Let x = 12 - 8. Suppose x*r = -r - 2*c - 119, 2*r = 3*c - 59. Let d = 35 + r. Does 10 divide d?
True
Is 30 a factor of 9/(144/20)*(1 + 551)?
True
Is 96 a factor of (-3)/(-3)*28308/14?
False
Let o(h) = -h**2 - 10*h + 13. Let s = 42 - 50. Does 5 divide o(s)?
False
Suppose -4 - 2 = -2*w. Let a(f) = 4*f**3 - 7*f**2 + 3*f - 5. Does 4 divide a(w)?
False
Suppose -28 = -3*a + 5*r, 4*r + 0*r = 2*a - 20. Let d(n) = -n**2 + 8*n - 8. Let s be d(a). Let q(b) = 2*b**2 + b. Is q(s) a multiple of 12?
True
Suppose -3*h + 10*h = 6*h. Let v(f) = f + 46. Is v(h) a multiple of 23?
True
Let o = 51 - 41. Let d = -9 - 7. Let l = o - d. Is 13 a factor of l?
True
Is 18 a factor of 24*(4*154/6 - 3)?
False
Let b(i) = 24*i**3 - 4*i**2 + i + 5. Let l be b(3). Suppose -5*r - 3*t + l = 0, 2*r - 5*t + 115 = 363. Is 31 a factor of r?
True
Let n(z) = 5*z**3 - 9*z**2 + 12*z - 5. Let v(d) = 10*d**2 + 6*d**3 - 12*d**3 - 15*d + 2*d + 4. Let r(y) = 5*n(y) + 4*v(y). Does 15 divide r(6)?
True
Let g = 5 + -2. Suppose 16 = 4*v + 4*t, -3*v = -6*t + 2*t + 9. Is 2 a factor of v/g + 16/6?
False
Let x be 0 - 298*(-5)/10. Suppose 225 - x = c. Is 5 a factor of c?
False
Let i(p) = 2*p**2 - p. Let n be i(6). Let o = -157 + n. Let g = -42 - o. Is 11 a factor of g?
False
Let p(i) = -9 - 6*i + 3*i**2 - 3*i**2 + i + 3*i**2. Does 19 divide p(-5)?
False
Does 105 divide (-16168)/(-7) + (-96)/(-42) + -2?
True
Suppose x = 4 - 1. Suppose n - t = 2*t - 4, -t = x. Let f(g) = -g**3 - 14*g**2 - 17*g + 10. Does 15 divide f(n)?
False
Let s(z) = -z**3 + 31*z**2 + 74*z + 105. Is s(32) a multiple of 9?
True
Let b be (-9 - -11)/(1 + 0). Suppose 0 = -2*z + d - 342 - 30, 4*z - d = -748. Does 33 divide b/6 - z/3?
False
Suppose -2*s + 3640 = h + 4*h, -4*s - 2*h = -7312. Is s a multiple of 61?
True
Let s(l) = -7*l**2 + 2*l - 11. Let c be s(4). Let z = 132 + c. Does 15 divide z?
False
Suppose 0*o - 8*o + 16 = 0. Let t = 47 + o. Is t a multiple of 7?
True
Let u = -7 - -10. Suppose -u*v + 33 - 6 = 0. Let q = 16 - v. Is q even?
False
Let g = 12 + 9. Let f be (g/14)/(2/(-4)). Let l = f - -8. Is 5 a