 Is t a multiple of 13?
True
Suppose -10 = -2*f - 2*j, j - 8 = -3*f - 1. Does 2 divide 9*-2*f/(-3)?
True
Suppose 364 = 5*r + 2*s, 290 = 4*r + 3*s - s. Is 16 a factor of r?
False
Suppose 0 = -3*x + 2*n + n - 6, n + 4 = 3*x. Suppose -110 = -5*z - 3*t - 30, 2*z + x*t - 32 = 0. Does 7 divide z?
False
Let q(l) = -l**3 - l - 2. Let g be q(-3). Suppose 26 = 3*i - 2*v + 5, 4*v = -4*i + g. Is 2 a factor of i?
False
Let r = -16 + 13. Let l(a) = -2*a**3 - 4*a**2 - a - 3. Is l(r) a multiple of 6?
True
Let u(v) = -v**3 + 4*v. Is u(-4) a multiple of 12?
True
Let p be -1*9/6*-4. Suppose -h + p*h - 22 = -3*n, 0 = -h - 3*n + 2. Is h even?
False
Let m(i) = i. Let b be m(2). Suppose 6 + b = y. Is 3 a factor of y?
False
Let w be 42/(-8) - 3/(-12). Let u(q) be the third derivative of -q**6/120 - q**5/15 + q**4/24 + q**3 + 8*q**2. Is u(w) a multiple of 13?
True
Suppose 2*r + v = 5*r - 4, 2*r + 3*v = -12. Suppose o - q + 0*q = r, 35 = 3*o + 4*q. Suppose -o*j + 6 = -24. Is 3 a factor of j?
True
Let r(q) = q**2 + 4*q - 3. Let o be r(-12). Suppose 3*v - o = -2*j - 0*v, 52 = j - 4*v. Is 16 a factor of j?
True
Let d(l) = l**2 + 20*l + 65. Does 5 divide d(-25)?
True
Let d(s) = -s**3 - 10*s**2 + 25*s + 6. Does 23 divide d(-13)?
False
Let w(i) = i + 1. Let s be w(0). Does 12 divide s/(-4*1/(-164))?
False
Suppose 27 - 7 = 4*h. Is h even?
False
Suppose -5 = -2*p - 3*p. Let u = -82 + 163. Suppose 5*x - u = -p. Is 16 a factor of x?
True
Let y be 125/10 - (-6)/(-4). Suppose -q + y = u, 0*q - 3*u = -5*q + 47. Is q a multiple of 5?
True
Suppose -2*i + 3*i - 2*b = -28, 0 = 2*b - 8. Let x = i - -41. Is x a multiple of 8?
False
Let l = 136 - 60. Does 7 divide l?
False
Let c = 11 - 8. Does 3 divide c?
True
Let k = 11 + -7. Suppose 5*m = -a + 2, -4*a + k*m = a - 39. Is a a multiple of 5?
False
Let t = 10 + -18. Let r = 20 - t. Suppose -4*q = -2*q - r. Is q a multiple of 14?
True
Suppose -j - 93 = -6*j + t, -5*j - t + 87 = 0. Is j + (-6)/3 + 0 a multiple of 4?
True
Is 79/((4/8)/1) a multiple of 26?
False
Let f(w) = -5*w**3 + 7*w**2 - 3*w. Let s(k) = -k**3 - k + 1. Let h be (-3)/(6/14) - -1. Let g(j) = h*s(j) + f(j). Is 12 a factor of g(-6)?
True
Let i(d) = -25*d**3 - d**2 - d - 1. Let l be i(-1). Suppose 4*o + 4 = 2*o - 4*x, 3*x + l = 2*o. Is o a multiple of 3?
True
Suppose -7 = -m - 8. Let h(g) = -22*g**3 + g**2 + 2*g + 1. Does 11 divide h(m)?
True
Let k = 0 + 2. Is 9 a factor of k - 1/1*-7?
True
Is 7 a factor of 74/2 - (2 - 0)?
True
Suppose s = 2*s - 4. Suppose -i + 4*i + o = 143, s*o + 210 = 5*i. Is 23 a factor of i?
True
Suppose -n = -2*j - 62, 0 = -n + 6*n + 2*j - 250. Is n a multiple of 4?
True
Let x(y) = 10*y**2 - 4*y - 15. Is x(-4) a multiple of 17?
False
Let j = -5 + 10. Is j a multiple of 4?
False
Suppose -2*z + 24 + 62 = 0. Is 22 a factor of z + 2 + -2 + 2?
False
Suppose 7*p - 291 = 157. Does 16 divide p?
True
Let l be 29 - (-2 + 1)*2. Suppose 4*q = l - 11. Suppose 5*y = 5*r - 0*y, q*r - 30 = -5*y. Does 3 divide r?
True
Suppose -150 = -2*a + 18. Is 21 a factor of a?
True
Let i(v) = v**2 - 6*v + 2. Let f be (3 - 5)*-1*3. Let y be i(f). Suppose -2*u + y = 0, -3*r + 53 = -u - 0*u. Does 9 divide r?
True
Let y(x) = -x**2 + 21*x - 17. Is 14 a factor of y(18)?
False
Let z = 43 - 21. Is z a multiple of 11?
True
Let i(l) = 11*l - 4. Does 13 divide i(11)?
True
Suppose d - 24 = 23. Is 29 a factor of d?
False
Suppose 3*i + 24 = -4*y + 7*i, -5*y + 4*i - 28 = 0. Let m be 1*3/((-3)/y). Suppose -m*h + 39 = -3*t + 177, -4*t + 4*h + 180 = 0. Is t a multiple of 21?
True
Let b(u) = 17*u**3 + 2*u**2 - u. Suppose -5*o - 3*n = -23, 0 = -4*o - o - 5*n + 15. Suppose -o = -3*l - 4. Is 9 a factor of b(l)?
True
Let t be 1/((-2)/(-16)) + -1. Suppose -l + 11 = 3*b, 3*l - 11 = -4*b + t. Suppose -l*w = 3*w - 90. Is w a multiple of 9?
True
Suppose -2*d = -84 + 18. Is 21 a factor of d?
False
Suppose 0*l + l - 171 = 0. Let p be (0 + 1)/(3/l). Let x = -32 + p. Is x a multiple of 7?
False
Let j = 13 + 5. Is 5 a factor of j?
False
Let o(w) = w**3 - 4*w**2 - w + 3. Let f be o(3). Let q = f - -6. Is 11 a factor of 2 + q/2*-6?
True
Let a = -5 + 7. Suppose -a*i = 5*m - 155, 0 = -0*m + m + i - 28. Is m a multiple of 14?
False
Let c be (3/(-2))/(15/(-40)). Suppose c*w - 1 = 7. Suppose r - 1 = -5*g, -36 = -3*r - 2*g - w*g. Does 8 divide r?
True
Suppose -a + 2*q - 11 = 0, 0*q - 5 = 3*a + q. Let k be 87/6 - a/(-6). Suppose k - 4 = 2*u. Is 2 a factor of u?
False
Suppose 0 = -2*z - z + 54. Let r = 27 - z. Does 5 divide r?
False
Let p be (-2)/4 + 201/(-6). Let x = p - -51. Does 7 divide x?
False
Let p = 35 - 9. Is 13 a factor of p?
True
Let f be (3 - 8)*(-4)/5. Suppose -4*a + 16 = -f. Suppose 0 = i - a*v - 14, -4*v + 50 + 0 = i. Does 16 divide i?
False
Suppose -4*u + d = -256 - 124, 3*u = d + 286. Let s = 157 - u. Is s a multiple of 17?
False
Let p be (-4)/6 + (-78)/(-9). Let w = 23 - p. Is w a multiple of 15?
True
Let z = -34 + 54. Does 10 divide z?
True
Suppose 0*b = 3*b - 9. Suppose -3*i - 26 = -4*a, 3 - 34 = -5*a + 3*i. Suppose 2*h - 5*x = 40, -135 = -a*h - 8*x + b*x. Does 10 divide h?
False
Suppose 0 = -3*f + 12, 2*f = 5*b + 19 - 141. Is 10 a factor of b?
False
Let y = 92 - 61. Is 12 a factor of y?
False
Let z(l) = l**3 + 16*l**2 + 14*l - 11. Let n be z(-15). Does 22 divide (62/n)/((-2)/(-4))?
False
Let n = -27 - -54. Suppose 4*g = 5*g - n. Let a = 53 - g. Is 12 a factor of a?
False
Suppose -9*h + 5*v = -5*h - 925, 3*h = -2*v + 711. Is 20 a factor of h?
False
Does 13 divide (78/4)/((-3)/(-6))?
True
Let j = 4 + -1. Is (0 - 1)*(-6 + j) a multiple of 2?
False
Suppose -12 = -7*g + 4*g. Suppose -168 = -g*z - 5*a, 4*z - 84 = 2*z + 3*a. Does 14 divide z?
True
Let k(q) = q**2 + 4*q - 4. Let v be k(5). Suppose -3*c - 2*c = -65. Let h = v - c. Is h a multiple of 9?
False
Suppose d - 135 = 155. Let h be d/4 - (-18)/(-12). Let u = 103 - h. Does 16 divide u?
True
Let j(c) = c**2 - 1. Let p be j(-1). Let b(u) = 4*u**2 + 2*u + 1. Let t be b(-1). Suppose p = d + t - 10. Is d a multiple of 7?
True
Is (-228)/(-3) - (-2)/(-2) a multiple of 15?
True
Let c be 3*(3 + (-38)/6). Let y = c + 8. Does 19 divide (-141)/y + 9/6?
False
Suppose -5*r - 5*m + 395 = 0, 4*r + 5*m - 229 = r. Does 11 divide r?
False
Suppose -10 - 8 = -a. Is 9 a factor of a?
True
Let s(l) = 4*l - 2*l + 2*l. Let q = 13 + -9. Is s(q) a multiple of 12?
False
Suppose 0 = b - 3*u - 99, 0 = 3*u + 2*u. Is 11 a factor of b?
True
Let r = -90 + 135. Suppose 4*v - r = 3*v. Is v a multiple of 15?
True
Let l be 26*-2*27/(-12). Suppose -4*b + 7 = -l. Is b a multiple of 12?
False
Let q(f) = 2*f**3 - 3*f**2 - 2*f - 3. Let m be (4/16)/(3/36). Is 9 a factor of q(m)?
True
Suppose -p - 4*s = -s - 35, -4*p + 160 = 2*s. Does 7 divide p?
False
Let a = -12 + 17. Suppose -v = -a*v. Suppose 4*x + 6 = -2*z - v*x, -3*z + 31 = -4*x. Is z even?
False
Let c = -1 - -6. Suppose r = -3*u + 39, 0*r - c*u = -r + 15. Is 9 a factor of r?
False
Let z be 3/(-1)*4/(-3). Suppose -2*t + z = -28. Does 4 divide t?
True
Suppose 2*f = 7*f + l - 11, -3*l - 6 = 2*f. Let q be (f/(-5))/(3/(-15)). Suppose -2*s + 40 = q*x - 59, 3*s + 4*x - 150 = 0. Is s a multiple of 14?
False
Let k(l) = l**2 - 3*l - 4. Suppose 5*f = -0*f + 20. Let v be k(f). Let g(u) = u**2 + u + 18. Does 18 divide g(v)?
True
Let a = 87 + -21. Is 6 a factor of a?
True
Let y(u) = -6*u**2 - 4*u - 1. Let h(f) = -13*f**2 - 4*f. Let s(n) = -3*n**2 - n. Let d(k) = 2*h(k) - 9*s(k). Let c(r) = -5*d(r) - y(r). Is 5 a factor of c(-3)?
False
Does 20 divide (-19*(-3)/(-9))/((-2)/30)?
False
Let y(h) = 3*h**2 - 2*h + 29. Does 17 divide y(-7)?
False
Let r = 716 - 421. Suppose r = -0*b + 5*b. Is b a multiple of 12?
False
Let n = 128 - 75. Is 17 a factor of n?
False
Let i = 33 - -3. Is i a multiple of 12?
True
Suppose -4 = 4*x - 32. Suppose -3*q - 64 = -2*p, 0 = 4*q - x*q. Is 12 a factor of p?
False
Let g(y) = -y**3 + 3*y**2 - 2*y + 4. Let w be g(3). Is (-34)/4*(w + -2) a multiple of 21?
False
Let a be -3 + 2 + 23*1. Let f = -14 + a. Is 4 a factor of f?
True
Does 14 divide 7/3*1*12?
True
Let j = 90 + -54. Does 18 divide j?
True
Let s(y) = -y**2 - 34*y + 8. Does 26 divide s(-6)?
False
Suppose -b = -5*f + 29, 7*f + 5*b = 3*f. Suppose -f*k = 2*v - 75, 3*k + v + 13 = 57. Does 5 divide k?
False
Let c(q) = 0 + 5 + 0*q - q + q**2 + 5*q. Let k be (-9)/2 + (-2)/(-4). Does 2 divi