o + j. Does 8 divide t?
True
Suppose -3*a = 5*u - a - 321, -9 = -3*a. Is 21 a factor of u?
True
Let n(t) = 2*t**2 + 7*t + 5. Suppose -4*v = x - 1, 8 = -3*v + 5*x + 3. Let k be -1 - 4 - v/(-3). Is n(k) a multiple of 10?
True
Suppose 21 = -3*p - 3. Let c(j) = -j**3 - 7*j**2 + 6*j - 5. Does 11 divide c(p)?
True
Let d = -52 + 12. Let m = -22 - d. Suppose m = i - 0*i. Is 6 a factor of i?
True
Suppose 4*m - f - 475 = 254, 0 = 2*m - f - 365. Does 13 divide m?
True
Let s(u) be the first derivative of -u**4/4 - 13*u**3/3 - 13*u**2/2 + 4*u - 2. Does 8 divide s(-12)?
True
Suppose -45 = 4*g - 265. Is g a multiple of 7?
False
Let p(a) be the first derivative of -5*a**4/4 - 2*a**3/3 + a - 3. Let b be p(-1). Suppose -40 = -4*g + b*q, 3 = -q + 5. Is g a multiple of 4?
True
Suppose 0 = 4*l + n - 524, 2*n - 6*n + 276 = 2*l. Is 19 a factor of l?
False
Let j = -15 - -60. Let y be 3/9*(5 - -1). Suppose -y*b + j = b. Does 8 divide b?
False
Let o = -640 + 928. Is o a multiple of 36?
True
Let a be (8/5)/(6/(-75)). Let g = 32 - 46. Let h = g - a. Is 6 a factor of h?
True
Let k = -9 - -24. Let a = k + 11. Is 13 a factor of a?
True
Let o(t) = -7*t. Is 8 a factor of o(-3)?
False
Let h = 139 - 68. Is h a multiple of 24?
False
Suppose -5*v + 0 = -135. Does 7 divide v?
False
Suppose -2*y - 4*u = -58, y - 2*u = 2*u + 35. Is 20 a factor of y?
False
Suppose -6*m + m + 5 = 0. Let j(i) = 18*i**3 - 2*i**2 + 2*i - 1. Is j(m) a multiple of 9?
False
Suppose 0 = q - 0*q - 2*f - 45, 2*f = -4*q + 180. Is q a multiple of 15?
True
Let m(u) be the first derivative of 1 + 8*u + 3/2*u**2. Is m(8) a multiple of 16?
True
Let l be 2/((-1)/(-1) - 0). Suppose -3*j - m = -219, -l*m - 251 = -3*j - 23. Suppose -j + 6 = -4*n + 4*k, 5*n - 70 = 2*k. Does 10 divide n?
False
Let m(x) = -2*x + 2 + 0*x**2 + 3*x**2 + 2*x**3 - 4*x**2. Let z = -22 + 24. Is 10 a factor of m(z)?
True
Let b = 75 + -36. Is (-138)/(-4)*26/b a multiple of 9?
False
Let c(w) = w**3 - 9*w**2 + 23*w - 6. Does 38 divide c(8)?
True
Let i(y) = -y + 7. Is i(-3) a multiple of 2?
True
Let s(m) = -m - 1. Let g be s(8). Does 13 divide (g/(-3))/(-3) - -20?
False
Suppose 6 = -3*d + 18. Is d even?
True
Suppose 4*w - 4*g = 68, -2*w - 7*g + 2*g + 27 = 0. Is ((-5)/2)/((-2)/w) a multiple of 20?
True
Suppose -q = 11 - 55. Let s = q + -25. Does 7 divide s?
False
Let s = -2 + 3. Let r(j) = j**3 - 8*j**2 + 6*j + 5. Let p be r(7). Is (-3 + -16)/(s/p) a multiple of 14?
False
Let s = 44 - -2. Is s a multiple of 23?
True
Suppose 4*j = -j + 30. Is 2 a factor of j?
True
Suppose -87 = 2*j - 35. Does 6 divide (6 - 7)/(2/j)?
False
Let n be (-6)/(-1) - (-2 + 5). Suppose -n*u + 32 = -u. Does 4 divide u?
True
Let j(h) = h**2 + 6*h + 5. Let g be j(-6). Does 15 divide 293/5 + 2/g?
False
Let u(b) = b**2 - 1. Let o be u(-7). Let q = o + 39. Is q a multiple of 24?
False
Let v be 2/6*0 - -3. Suppose w + w = 3*d - 11, v*w = -3. Suppose -2*t = 3*f - 3*t - 27, d*f - 2*t - 27 = 0. Does 8 divide f?
False
Let q = 20 - 17. Let m(y) = 4*y**2 + 5*y - 2. Does 14 divide m(q)?
False
Suppose 0 = -d - v + 18 + 46, -2*d + 148 = -2*v. Does 23 divide d?
True
Suppose -2*z - h + 211 = 0, 5*z + 4*h - 366 - 166 = 0. Is 31 a factor of z?
False
Suppose 5*m = -0*q + q + 95, -2*m - q + 31 = 0. Suppose 2*a - 26 = -2*r, 2*r - 3*a + a = m. Is 11 a factor of r?
True
Suppose 4*x - 125 - 35 = 0. Does 10 divide x?
True
Let w(n) = 5*n - 2. Let t be w(3). Suppose 10*y + 24 = t*y. Is 8 a factor of y?
True
Let m be 10/25 + (-304)/10. Is 9 a factor of m/(0 + -2 - -1)?
False
Let i(g) = -11*g**2 + 12*g**2 + 0*g + 0*g - 5 - g. Let l = 17 - 24. Is 17 a factor of i(l)?
True
Let v(g) = -g**3 + g**2 + 2*g. Suppose 0 = 2*r + 8, -4*j + 12 = -r. Let i be v(j). Suppose -3*n + 2*d = -i*n - 28, -5*n + 2*d = -52. Is n a multiple of 11?
False
Let r(s) = -4*s**3 + 4*s**2 + 2*s - 1. Let h(q) = 2*q**3 - 2*q**2 - q. Let y(p) = -7*h(p) - 3*r(p). Is y(-3) a multiple of 18?
True
Let v = -252 + 373. Does 11 divide v?
True
Suppose -4*j + 1669 = 553. Does 23 divide j?
False
Suppose 5*i + 50 = 5*u, 0 = -5*i + 2*u - 30 - 17. Let l be (1/3)/(i/(-108)). Suppose -l*v - 88 = -2*a, -4*a + 2*v + 195 = 1. Is a a multiple of 13?
False
Let d = 24 + -15. Does 17 divide ((-3)/d)/(3/(-261))?
False
Let j = -16 + 61. Is j a multiple of 11?
False
Let m(f) = -6*f - 8. Let w be m(6). Is 20/(w/(-12) - 3) a multiple of 15?
True
Let x = 4 + -2. Suppose -5*l - x*k + 8 = 0, 4*l + 0 - 7 = -k. Suppose 0 = 5*n + d - 70, -5*n + d + 34 = -l*n. Does 13 divide n?
True
Suppose 2*l + 2*h = 0, -2*l + 45 = -7*l + 4*h. Let v = -9 - l. Is (-6)/(-5)*(-90)/v a multiple of 13?
False
Is -50*(-1)/((-20)/(-8)) a multiple of 5?
True
Let o = -7 - -7. Suppose -2*h - t + 19 = o, -4*t + 0*t + 26 = 3*h. Is 5 a factor of (2 - 27)*(-6)/h?
True
Let q(r) = 45*r + 2. Let j(m) = -22*m - 1. Let g(x) = -14*j(x) - 6*q(x). Let l be g(2). Is (l/(-9))/(2/(-6)) a multiple of 13?
True
Let t(w) be the second derivative of w**3/6 + 3*w. Let z be t(3). Suppose 3*k - 114 = -5*a + 19, z*a - 15 = 0. Is 12 a factor of k?
True
Let d(a) = -4*a - 3. Let n be d(-2). Suppose -6 - 1 = -4*f - s, -37 = -4*f + n*s. Suppose -o = -f*o + 10. Is o a multiple of 5?
True
Let u(z) be the second derivative of z**3/6 - 5*z**2/2 + z. Let t be u(4). Let o = 11 - t. Does 6 divide o?
True
Let c be 114 + (-1)/(1/2). Let z = -73 + c. Is z a multiple of 13?
True
Let d(c) = c + 8. Is d(22) a multiple of 15?
True
Let f be -22 + 4/(0 - -2). Let c = f + 12. Let n = c - -18. Is n a multiple of 8?
False
Suppose -5*c - 3*p = -7*p - 15, 3*p - 15 = -5*c. Suppose -c*s + 18 = -0. Suppose -25 = b - s*b. Does 5 divide b?
True
Suppose -86 = 5*f + 89. Let z be (8/20)/((-1)/f). Let c = 22 - z. Is c a multiple of 3?
False
Suppose 0*g = 2*g - 146. Suppose -m + 29 = 4*h + h, 3*m + h - g = 0. Is m a multiple of 24?
True
Let d(f) be the first derivative of -f**4/4 - f**3/3 - f**2/2 + 13*f - 6. Does 13 divide d(0)?
True
Suppose -205 + 21 = 2*r. Is r/(-5) - 18/45 a multiple of 9?
True
Let r = 2 + 1. Suppose -5*l = y - 50, -25 + 10 = -r*y. Let h = 16 - l. Is h a multiple of 4?
False
Suppose -4*z + 5*z - 4 = 0. Suppose -3*i + z*i = 7. Does 7 divide i?
True
Let h = 172 + -120. Is 32 a factor of h?
False
Does 12 divide (-3)/9 - (-996)/18?
False
Let o(j) = j**2 + 5*j + 11. Does 11 divide o(4)?
False
Let g(q) = 2*q**2 + 9. Let w(v) = -v**2 - 5. Let s(k) = 3*g(k) + 5*w(k). Let z be (-4)/(-14) + (-23)/7. Is s(z) a multiple of 7?
False
Let k(t) = -10*t - 5. Let a(h) = h + 1. Let x(n) = 3*a(n) + k(n). Let f(v) = v + 1. Let u(c) = 6*f(c) + x(c). Is u(-7) a multiple of 4?
False
Let n be (-1)/1*(2 + -7). Suppose -4*o + b + 3*b = -168, n*o + 5*b - 240 = 0. Does 15 divide o?
True
Suppose -3*t - 3 = -3*x, 5*t - 19 = -2*x + x. Suppose 0*z + 4*z + 4 = 0. Let u = t - z. Is u a multiple of 4?
True
Let d = -339 + 475. Is 34 a factor of d?
True
Let z(x) = -x**2 + 9*x - 9. Let i be z(7). Suppose g - 52 = -i*u, 5*g - 5*u - 130 = -4*u. Is g a multiple of 8?
False
Let h(m) = m**2 - 4*m - 2. Let a be h(-6). Let w = 85 - a. Is w a multiple of 9?
True
Let b(g) = -g**2 + 12*g + 4. Let n be b(12). Suppose -n*i = -i. Suppose 0 = 4*q - i*m + m - 26, 0 = -2*m + 4. Is q a multiple of 6?
True
Suppose -3*b + 11*b - 208 = 0. Does 26 divide b?
True
Let a = 190 + -100. Does 21 divide a?
False
Let o = 2 - 1. Is 6 a factor of (-27 - o)/((-6)/3)?
False
Suppose -6*k + 51 = -5*k. Is 16 a factor of k?
False
Let f(t) = t**2 - 7*t - 7. Let s be 10 + 1/(-1) + 1. Is f(s) a multiple of 19?
False
Let p(m) = 3*m**2 + 3*m + 2. Let v be p(-3). Does 2 divide 27/12*v/5?
False
Let n be 4/6*(-9)/(-2). Suppose -68 = i - n*i. Does 17 divide i?
True
Suppose 12 + 8 = 5*p. Let o(t) = t**3 - 5*t**2 + 5*t - 5. Let j be o(p). Let i = 19 + j. Does 8 divide i?
False
Suppose i = 4*i, 2*i = 5*q - 5. Let t(k) = k - 5. Let m be t(5). Suppose -h = n - q - 10, -5*n - h + 59 = m. Does 5 divide n?
False
Let l(w) = -w**2 + 10*w - 1. Let g be l(9). Let f = 15 + g. Is 8 a factor of f?
False
Suppose k = 2*k - 7. Suppose 3*h - 16 = -h. Suppose 0 = -h*l + k*l - 51. Is l a multiple of 6?
False
Let x = -4 + 4. Suppose -w + 71 = -x*w. Let l = w + -51. Is 10 a factor of l?
True
Suppose -5 - 3 = -2*u. Is 4 a factor of u?
True
Let s be (12/(-15))/(2/15). Let b be (-17)/s + 1/6. Suppose 3*o = 4*a + 23, -2*o - o + 21 = -b*a. Is 4 a