*a + 5, -12 = 4*a. Suppose -3*m - 306 = -4*n, -2*m = t*n + 3*m - 166. Does 26 divide n?
True
Let h = 7 - -1924. Is h a multiple of 15?
False
Let d be (8/(-12) - 1)*(-5 - -2). Suppose 2*i - 148 = -4*r, i - 65 = -0*i - d*r. Does 20 divide i?
True
Is 88 a factor of (54 + 5 - -1)/(1/66)?
True
Suppose 5*q + 23 = -l, 4*q = 7*l - 6*l - 22. Let g(j) = 220*j - 30. Does 33 divide g(l)?
False
Let f = 22627 + -5201. Is f a multiple of 227?
False
Suppose -j + 2*j + 11 = y, -4*y - 36 = j. Let f(w) = -w**2 - 18*w + 63. Is f(j) a multiple of 19?
True
Suppose -15 = s + 3*q - 44, 16 = -4*q. Let j = -43 + s. Let v(i) = -3*i**3 - 2*i**2 + i - 2. Is v(j) a multiple of 6?
True
Let j = 29019 + -22830. Does 39 divide j?
False
Suppose 0 = 3*s + t - 9925, 2*t + 4647 = -4*s + 17885. Is 19 a factor of s?
True
Suppose -6*k = 4*k + 60. Let d(u) = -79*u + 60. Is 30 a factor of d(k)?
False
Let z(j) = 378*j**2 - 382*j**2 + 4*j + 1 + 1 + 3*j**3. Does 8 divide z(2)?
False
Let p = 407 + -573. Let z = -131 - p. Is z a multiple of 7?
True
Let p(r) = 6397*r**2 + 99*r - 106. Is 6 a factor of p(1)?
True
Let y(l) = 116*l**3 - l + 1. Let f be y(1). Let o = f + 44. Is o a multiple of 10?
True
Let x(z) = -9*z**3 - 3*z**2 + 6*z + 3. Let i be x(-4). Let y = i + -175. Is 4 a factor of y?
True
Is ((-4)/2)/(186/(-44826)) a multiple of 40?
False
Let v(k) = 2*k**2 - 124*k - 353. Is 8 a factor of v(97)?
False
Suppose -2*r = 2*v - v + 23, 0 = -5*r - 2*v - 56. Suppose 19 = -4*i - 1, l - 22 = 2*i. Let j = r + l. Does 2 divide j?
True
Let n(p) = -p**3 + 3*p**2 + 7*p - 9. Let v be n(4). Let d(r) = -r**2 - 3 + 2 - 2 + r + 5 - 4*r**v. Is d(-2) a multiple of 3?
False
Let o be 18/(-6)*(1 + -6). Let n(a) = -a**3 + 14*a**2 + 16*a - 11. Let s be n(o). Suppose -s*t - 3*p + 30 = 0, -5*p - 2 + 24 = 2*t. Does 4 divide t?
False
Let f be 14/(-28)*(-12)/1. Suppose 4*c = f*c. Suppose 3*n + 43 = 2*x, c*x = -x + 5*n + 18. Is x a multiple of 20?
False
Let y = -542 + 547. Suppose 0 = -c - 1, 0*c = y*g - 3*c - 453. Does 33 divide g?
False
Suppose 3 = u - 3. Suppose -61*n - 3267 = -70*n. Suppose 0 = -u*k + n + 495. Does 26 divide k?
False
Suppose -32*y = -34*y + 7752. Suppose -41*w + y = -37*w. Is w a multiple of 19?
True
Let i = 10 - 25. Let v(k) = -k**2 - 20*k - 59. Let a be v(-10). Let o = i + a. Is o a multiple of 13?
True
Let t(d) = -21*d + 5. Let i be t(2). Let f = i + 46. Suppose f*q = 4*q + 320. Does 32 divide q?
True
Suppose 0 = b + 2*b + 5*w - 37, 10 = 2*w. Let i(d) = d**3 + 7*d**2 - d - 8. Let p be i(b). Let k = p + -29. Is k a multiple of 27?
True
Let v be (-3267)/(-21) + 1 - (-8)/(-14). Let l = v + -51. Is l a multiple of 16?
False
Let n(i) = 3909*i - 462. Does 122 divide n(2)?
False
Let v = 416 - 202. Suppose -6*r = 2*r - 632. Let d = v - r. Does 15 divide d?
True
Suppose 8 = 2*w, 3 + 37 = 2*c - 4*w. Let o(y) = -y**3 + 14*y**2 + 16*y - 4. Let d be o(15). Let g = c - d. Does 2 divide g?
False
Let k(x) = 82*x**2 + 52*x + 19. Is k(-8) a multiple of 63?
True
Let c = 9 + -2. Suppose -4*j = s - c, -2*j + 21 = -0*j - 3*s. Suppose -n = j*l - 49, 2*l - 37 + 1 = -4*n. Is 16 a factor of l?
True
Let n(r) = -r**3 - 9*r**2 + r - 2. Let x be (-1)/5 + ((-114)/10)/3. Let g be n(x). Let y = -41 - g. Is 15 a factor of y?
True
Let b(l) = 3*l**2 + 2*l + 2. Let p be b(-4). Let n = p - 32. Suppose -n*q = -q - 1260. Does 14 divide q?
True
Let j = 98 - 254. Suppose w = -0*w + 3*b - 11, -5*b = -4*w - 9. Is 30 a factor of 3/((w/j)/(-1))?
False
Let f be (1 - 171/(-6))/(2/(-4)). Let z = f + 81. Is (-297)/z*2/(-1) a multiple of 12?
False
Suppose 3*h = 5*n + 3269 - 65474, -2*h = -2*n + 24882. Is 19 a factor of n?
False
Let w(b) = -1351*b**3 - 11*b**2 + 18. Is w(-2) a multiple of 192?
False
Let o(l) = 2*l**3 + l**2 - 7. Let q be o(-3). Let u = -56 - q. Let y(d) = d**2 - 4*d - 10. Is 11 a factor of y(u)?
True
Suppose 90*p = 106*p - 80. Is 20 a factor of (40*p)/(70/(-10) + 8)?
True
Let u(l) = -13*l - 240. Let i be u(-20). Is 12 a factor of ((-4)/(-8))/(2/i) + 175?
True
Suppose 2*d = 2*j + 10362, -57*d = -61*d - j + 20719. Does 10 divide d?
True
Suppose -62*u = -65*u + 522. Let y = 353 - u. Suppose y + 211 = 5*g. Is g a multiple of 14?
False
Let n = -103 + 175. Let d = n - -22. Let o = d - 65. Is 11 a factor of o?
False
Suppose -16 = -2*h + 4*u, 5*h = -u + 7 + 11. Suppose 4*z = h*a + 2050 - 494, 5*z - 1951 = -a. Does 21 divide z?
False
Let c(t) = 2*t**2 - 19*t - 14. Let h be c(12). Let n = 55 + h. Suppose -n - 69 = -g. Is g a multiple of 25?
False
Let t(p) = 897*p - 5045. Is t(64) a multiple of 149?
False
Let i(p) = 13*p - 17. Let g be -4*(-3 + 4) - -9. Is i(g) a multiple of 24?
True
Let w be 0*(2 + -3)/(-1). Let x be (-234)/390 + (-926)/(-10). Suppose y = 4*u + 163, w = -4*y + 4*u + 756 - x. Is 48 a factor of y?
False
Suppose 0 = -86*c + 95*c - 48384. Is 24 a factor of c?
True
Let o be (2/4 + 1)*(-64)/(-24). Suppose 70 = o*v + v. Suppose 4*s + 2*g - 52 = 0, v = 3*s - 2*s + g. Is s a multiple of 3?
True
Let q(h) = -h**3 - 6*h**2 - 4. Let a = 17 + -6. Suppose -5*w - 24 = a. Is 5 a factor of q(w)?
True
Suppose -2*i - i = 5*c - 65, -c = -4*i + 79. Suppose 4 = 4*f + 3*n, -f + n + i = -3*n. Suppose -3*v + f*v - 107 = 0. Is v a multiple of 23?
False
Suppose 0 = 2*v - 5*s + 15, 3*v = -2*v - 5*s + 50. Suppose 0 = -d - 2, -2*d + 9 = x - v*d. Does 26 divide 1/(-2) - (1818/(-12) + x)?
False
Let v(z) be the second derivative of -3*z**5/5 - z**3/6 - 11*z. Let g be v(-1). Suppose 6*q = 193 - g. Does 10 divide q?
True
Suppose 0 = 246*k - 74*k - 4363304 + 948588. Does 166 divide k?
False
Let z(v) = v**3 + 4*v**2 + 8*v + 34. Let i be z(-4). Suppose 0 = -i*x + 4*q + 542, 278 = x + 5*q - 21. Does 3 divide x?
True
Suppose -191*g - 63*g + 8528648 = 42*g. Is g a multiple of 102?
False
Is (-7 - 6553)*9/(-9) + (-7)/(-1) a multiple of 22?
False
Let w be 9/(-12) + (-44)/(-16). Suppose -2009 = -5*v - w*v. Is v a multiple of 12?
False
Suppose -4*j + 6849 + 25279 = 0. Suppose -j = -22*i + 5498. Is 46 a factor of i?
False
Let r(z) be the second derivative of 5*z**4/6 + z**3/2 + 5*z**2 + 20*z. Let j be r(-3). Suppose -11 = 4*x - j. Is 5 a factor of x?
True
Let o be 271/(-5) + (-25)/(-125). Let t = 44 + o. Is (8 - t - (-3)/1)*3 a multiple of 21?
True
Let x(q) = -184*q + 1574. Does 9 divide x(-8)?
False
Let u = 8317 + -3615. Is u a multiple of 243?
False
Let t(p) = p**3 + 9*p**2 + 4*p + 32. Let n be t(-9). Is 1/n + (-7413)/(-84) a multiple of 44?
True
Suppose 10*u - 7*u = -d + 189, u + d = 61. Suppose 22 = j + 5*z, z - 8 = -2*j - 0*j. Suppose -c - j*a = -46, -c + 4*a + u = -0*c. Is c a multiple of 21?
False
Let u = 279 + -79. Let m = -266 - -632. Let o = m - u. Does 37 divide o?
False
Suppose -22*u = -21*u. Suppose 4*k = 2*q + 40, 2*q + u*q = -k + 15. Is 25 a factor of (10/(-6))/(k/(-990))?
True
Let c(z) = 19*z**2 - 24*z - 273. Is c(-9) a multiple of 39?
True
Let j(g) = g**3 + 11*g**2 + 13*g + 44. Let h be j(-10). Suppose -2*i + h + 148 = 0. Is i a multiple of 8?
False
Let f(p) = -p**3 - 5*p**2 + 2*p + 1. Let x(z) = z**2 - 13*z - 6. Let a be x(13). Let j be f(a). Suppose -105 + j = -g. Does 20 divide g?
True
Suppose a + 6 = 3*a. Suppose -9 = -a*l + 3*p, 2*l = -3*p - 0 + 6. Is -1 + 1 - l - -117 a multiple of 19?
True
Let q(d) = d**2 + d + 1 + 263*d**3 - 3*d - 69*d**3. Let x be (-8)/(-20) - 3/(-5). Is q(x) a multiple of 16?
False
Is -8 - (336*-29)/2 a multiple of 32?
True
Let c = 1053 - 1043. Suppose c*d + 3*d - 4290 = 0. Does 66 divide d?
True
Suppose -40*n + 9328 = -1472. Let u(d) = d**3 + 6*d**2 + 6*d + 7. Let s be u(-5). Suppose -p - s*a = -141, 0 = p + p - 2*a - n. Is p a multiple of 10?
False
Let x(y) = -3*y + 29. Let k be x(7). Does 6 divide -8*(-4)/k - 2 - -10?
True
Let t = 30464 + -25283. Is t even?
False
Let x be 12 + 4 + -9 + -5. Suppose 5*c - 31 = 4*r + 17, 0 = -x*c + r + 18. Suppose 0 = -c*t + 13*t - 1100. Is 27 a factor of t?
False
Let v(c) be the second derivative of -5*c**3/6 - 25*c**2/2 - 2*c. Let o(a) = a - 1. Let g(j) = -6*o(j) + v(j). Is 25 a factor of g(-13)?
False
Let l = 37504 + -25786. Is 9 a factor of l?
True
Suppose -4*g + 15 = -5. Suppose -b - i - 284 = -g*b, -b + 52 = -5*i. Is 13 a factor of b?
False
Let x(u) = 2*u**3 + 16*u**2 - 4*u - 7. Let p(n) = -2*n**3 - 17*n**2 + 3*n + 8. Let a(k) = -3*p(k) - 4*x(k). Is 4 a factor of a(-7)?
True
Let y(p)