 n?
True
Let g = 132 - 127. Let k(h) = 3*h**2 - 4*h**3 + 2*h**2 + 3*h**3 + 2*h + 5. Is 7 a factor of k(g)?
False
Suppose -3*v + 22 = -5*v. Let n(z) = -z**3 - 11*z**2 - z - 9. Let s be n(v). Let j(o) = 12*o**2 + o + 1. Is 9 a factor of j(s)?
False
Suppose 2*s - 2 = 5*l, -15 - 3 = 3*l + 3*s. Is 39 a factor of (-2799)/(-18) - l/4?
True
Let n(f) = -9*f + 2*f**2 - f**3 + 0*f**3 + 11*f**2. Let v be n(12). Is 1/((16/v)/4) even?
False
Let c be (6 - 9)/(0 + -1). Suppose -3*g + 3 = -c*w, 3*g = -w - 0 - 1. Suppose -3*k + g*k + 3*r = -255, -r = 4*k - 345. Is 17 a factor of k?
False
Suppose 5*c - 3*q - 20 = 0, -5*q + 20 = -q. Let s = 18 - c. Suppose 54 = 3*d + 5*l, 2*d - 25 = -2*l + s. Is 7 a factor of d?
False
Let c = 32 + -27. Suppose 3*m - 246 = -c*l, 3*m + 0*m = l - 42. Is 12 a factor of l?
True
Is 2 a factor of (24/(-20))/(9/(-60))?
True
Let t be ((-2)/4)/((-2)/8). Suppose -t = -l - 3. Does 12 divide 47 - (-2 - l/1)?
True
Suppose -h + 1600 = 2*l, -68*h + 64*h - 4000 = -5*l. Does 8 divide l?
True
Suppose 47*i - 13*i - 43860 = 0. Is i a multiple of 15?
True
Let x be (-2)/(4/16*-2). Suppose 28 = 5*g - 4*r, x*r - 2*r - 8 = -3*g. Suppose -4*n + 24 = 3*b, g*b - 16 = -3*n + 9. Is n a multiple of 3?
True
Let m(w) = w**3 - 6*w**2 - 165*w + 22. Does 3 divide m(17)?
True
Let x = 691 - 484. Is 13 a factor of x?
False
Suppose -5*a + 0*a + 4*g + 200 = 0, 0 = 4*a - 3*g - 159. Suppose -4*j + 5*j = 4, -o + 18 = 3*j. Suppose -x = o - a. Is x a multiple of 12?
False
Let o be 3*1 - (9 + 39). Let z be (3 + 0)*(-465)/o. Let q = z + -24. Is 6 a factor of q?
False
Let p(h) = 17*h - 38. Suppose 5*d + 9 = 89. Is p(d) a multiple of 26?
True
Let f(p) = -7*p - 50. Is 2 a factor of f(-20)?
True
Let z(j) = -j**3 - 20*j**2 + 15*j + 9. Let i(t) = -5*t + 4. Let c be i(5). Does 5 divide z(c)?
True
Suppose -5*d = -4*g + 24, -2*g - g - d + 18 = 0. Let s(b) = -5*b**2 + g*b**3 + 5 - 5*b**3 + b - 3*b - 3. Does 26 divide s(6)?
True
Let u = 814 - 1394. Is 6 a factor of 4/(-16) + u/(-16)?
True
Does 11 divide 3674/9 + 8/(-36)?
False
Let l = 18 + -14. Suppose 0 = -l*m - 5*u + 185, 2*u + 206 = 7*m - 3*m. Does 10 divide m?
True
Let j be (-2)/(-3) - 14/(-6). Suppose -j*t + 69 = -156. Is t a multiple of 27?
False
Let r be ((-15)/6)/((-9)/1530). Suppose 0 = -4*q + 5*y + r, -3*y = 3*q + 8 - 293. Is 9 a factor of q?
False
Let h be 1*(-2)/(6/9). Suppose 0*l - 120 = l. Is l/h + 2 + 1 a multiple of 13?
False
Let q(a) = -27*a + 16. Let g be q(-7). Suppose -v - 184 = -5*t + 73, -4*t + v + g = 0. Is t a multiple of 13?
True
Let h(z) = -z**3 - z**2 + 2*z + 2. Let i be h(-2). Suppose i*o = -0*o - 4. Is (8/(-10))/(o/90) a multiple of 9?
True
Is 3 a factor of 5*(-94)/(-5) - -5?
True
Suppose 16*r + 815 = 5*s + 19*r, -3*s + 489 = -4*r. Does 17 divide s?
False
Let k = -16 - -19. Suppose 0 = -a - 3*m + 208 - 28, -k*m = 2*a - 372. Suppose 4*c + 0*c - a = 0. Is 16 a factor of c?
True
Let y(v) = -2*v**2 - 51*v - 11. Let u be y(-25). Let g = -14 - 3. Let n = u - g. Is 10 a factor of n?
False
Let o(d) = -d**2 + 7*d + 9. Let l be o(8). Suppose m - l - 2 = 0. Suppose 0*x + x = m*k - 3, -5*x - k = -17. Does 3 divide x?
True
Suppose k = c + 10, -16 = -2*k - 4*c + 2*c. Suppose -k = 3*x - 6*x. Suppose x*o + 0*m - 4*m - 41 = 0, 4*m = 5*o - 79. Does 6 divide o?
False
Suppose 3*p - g = 17, p + 4*g - 4 = 19. Suppose p*f = -3*m + 5*f + 71, -2*m - 4*f + 50 = 0. Is 21 a factor of m?
False
Is 42 a factor of 2/(-4) - 260495/(-106)?
False
Let g(m) = -m**3 - m**2 - m + 66. Suppose -z + 10 = -s + z, -20 = -3*s - 4*z. Is 16 a factor of g(s)?
False
Let x(w) = -19*w + 122. Does 14 divide x(-16)?
False
Let d be ((-2)/((-2)/9))/((-3)/(-16)). Suppose 2*l = 5*q + d, -3*l + 8*l + 4*q = 87. Is 5 a factor of l?
False
Let n be (-153)/(-6)*4/6. Is (-3)/(-1 + n/20) a multiple of 10?
True
Suppose 10*y - 3466 - 1214 = 0. Is y a multiple of 78?
True
Suppose -4*w = -6*w + 4. Suppose 3*t + w = 14. Suppose d - t = 2. Is d a multiple of 3?
True
Let s = -23 - -32. Suppose -f - 4 + s = 0. Suppose 0 = -2*u - 2*j + 44 + 6, -4*j - 161 = -f*u. Does 16 divide u?
False
Let t(s) = s**3 - 6*s**2 + 22*s - 6. Is 9 a factor of t(6)?
True
Is 8 a factor of -9 + 108/9 + 5/1?
True
Is (0 + -1)*5 + 92 a multiple of 14?
False
Suppose -v = 5*w - 198 - 73, -2*v - 3*w + 507 = 0. Is 15 a factor of v?
False
Let m(i) = 5*i**3 - 2*i. Let o be 4 - (-1 - (0 + -3)). Is m(o) a multiple of 15?
False
Let j(u) = -u**3 - 2*u**2 + 3*u - 1. Let x = -2 + 7. Suppose x*b + 0*m + 15 = -5*m, -11 = 4*b + 5*m. Does 19 divide j(b)?
True
Suppose -2*b = 2*c + 3*c - 6856, b = 5*c - 6862. Suppose 8*d - 15*d + c = 0. Is d a multiple of 28?
True
Suppose 0 = h - 880 + 124. Is h a multiple of 63?
True
Let a(z) = 7*z**2 - 7*z**2 + 0*z**2 - z**2 - 49 - 24*z. Is a(-16) a multiple of 10?
False
Let z(w) = -w**3 - 5*w**2 + 8*w + 8. Let s be z(4). Let p(m) = -17*m + 6. Let b be p(4). Let u = b - s. Is 21 a factor of u?
True
Suppose 0 = -5*g + 4*g + 3. Suppose -73 = -4*z - g*y, -5*z + 4*y + 56 = -12. Is z a multiple of 4?
True
Let h = 0 - 1. Let m = h + 11. Suppose -5*w + m = -3*b, b - 20 = -0*b - 3*w. Is b a multiple of 4?
False
Suppose -s + 4*v - 170 = 6*v, -2*s = -5*v + 367. Is (s/(-66))/(2/3) even?
True
Let h(d) = d**2 + 7*d + 46. Is h(-9) a multiple of 4?
True
Suppose -3*x = -7 - 8. Suppose 5*g - x*k = 245, 3*k = 1 - 10. Is g a multiple of 23?
True
Let r = -872 + 903. Does 3 divide r?
False
Let o = 744 + -170. Is 4 a factor of o?
False
Suppose 4*o - 778 = -2*k, -3*o = 3*k + 332 - 1493. Is 5 a factor of k?
True
Let v(a) = 23*a**2 + 24*a + 56. Is v(-3) a multiple of 9?
False
Let o = -293 - -646. Does 5 divide o?
False
Let t = -799 + 1276. Does 6 divide t?
False
Suppose 17604 = -17*i + 26*i. Does 12 divide i?
True
Let a(x) = x**3 + 7*x**2 + 5*x - 6. Let h be a(-6). Suppose -4*z + 2*j + 3*j = -118, h = -z + 5*j + 22. Let k = z + -16. Does 16 divide k?
True
Suppose -14 = -4*v - 10. Suppose 4*h - 18 = -l, 0 = -3*h - 2*h + 20. Does 10 divide -1*(v + -22 + l)?
False
Let w be 12*(-2)/(-30)*5. Suppose 0*u - 5*n + 41 = w*u, 0 = n - 1. Is 28/(u/(36/8)) a multiple of 8?
False
Is (-1)/((-28)/11848) - 13/91 a multiple of 9?
True
Let v = 135 - 60. Does 15 divide v?
True
Let z(a) = a - 9. Let s be z(5). Suppose 22 = 14*l - 3*l. Is 12 a factor of s - (l + 0 + -47)?
False
Let k = 12 + -9. Let f(g) = -g - 4. Let p be f(k). Is ((-90)/7)/5*p a multiple of 6?
True
Let y(t) = -t**3 - t - 2. Let n be y(0). Let z be 79/n + 4/8. Does 21 divide (-1547)/z + 1/3?
False
Suppose -483 - 27 = -17*x. Is x a multiple of 14?
False
Suppose 1232 + 25483 = 13*s. Does 15 divide s?
True
Let s(b) = b + 15. Let x be s(-7). Suppose -5*i - 1 = d, -2*d + x = -i - 1. Suppose -d*r + 26 = -2*r. Does 2 divide r?
False
Let t(c) = -c**2. Let u(g) = 4*g**2 - 11*g + 6. Let l(d) = -3*t(d) - u(d). Let x be l(10). Suppose -93 + 33 = -x*p. Is 15 a factor of p?
True
Let k(x) = -4*x**3 + 2*x**2 + x + 3. Let n be k(-4). Let c = n - 422. Let q = -51 - c. Does 21 divide q?
True
Let i = 252 + -188. Is i a multiple of 16?
True
Let f(n) = -4*n**3 + 4*n**2 + 16*n - 15. Is f(-6) a multiple of 69?
True
Let g = 532 - 364. Suppose 5*j - 3*k - 888 = 0, 3*k + g = -0*j + j. Does 15 divide j?
True
Suppose 5*r - 1297 = j, -4*r = 4*j - 223 - 829. Is r a multiple of 14?
False
Suppose -3*z + 6*z = 21. Let g(o) = o - 1. Is 3 a factor of g(z)?
True
Suppose -8*p + 22*p = 42. Is 18 a factor of p/(-5*(-3)/1530)?
True
Is 16 a factor of (-1088720)/(-465)*(-6)/(-4)?
False
Suppose 3*x + 960 = -2*x. Suppose -7*k - 21 = -7. Is ((-1)/(-2))/(k/x) a multiple of 12?
True
Let z(n) = n**2 + 13*n + 13. Let a be z(-12). Suppose -4*x - s = 12, -5 = 5*x - s + a. Is 26 a factor of (-1 - -6)/(x/(-26))?
False
Suppose -5*x + 25 = 0, 44*j + 4*x + 368 = 48*j. Is j a multiple of 3?
False
Suppose -r + 2*z = 7*z - 590, r = 5*z + 610. Is r a multiple of 30?
True
Suppose -k - 324 = -5*o + 2*k, 5*k - 10 = 0. Let g = o - -10. Is 13 a factor of g?
False
Suppose -5*h - 2*u + 186 = 0, -5*h + 0*u - 5*u + 180 = 0. Let c = 43 - h. Is c a multiple of 5?
True
Let t(m) = m**2 + 2*m - 5. Let j be t(-3). Let i = j - 29. Let z = i + 59. Does 6 divide z?
False
Let o(b) = b**3 - 19*b**2 - 15*b - 4. Let w(i) = 6*i**3 - 96*i**2 - 76*i - 20. Let z(c) = -11*o(c) + 2*w(c). Is 14 a factor of z(-16)?
False
Suppose 3*s = 19*s - 7104. Is 31 a