(0). Suppose 4*z = o*z - 184. Is z a multiple of 13?
False
Suppose 2*z = -3 + 45. Let n(o) = o**2 - 11*o + 15. Let k be n(10). Suppose -2*a + z = k. Is a a multiple of 3?
False
Is (7722/(-132))/(1/(-100)) a multiple of 18?
True
Let x = -1 + 13. Suppose g - 4*v = -11 - 3, 3*v = x. Suppose 4*z + 89 = 3*t, 4*t - 31 = 3*t + g*z. Is t a multiple of 9?
True
Let f(s) = -2*s + 3*s**2 + 0*s - 8*s**2 + 4 + s**3. Let t be f(5). Does 12 divide ((-9)/t)/((-6)/(-80))?
False
Suppose 39 = x + j, x + 4*x - 3*j - 155 = 0. Suppose -29*g - 165 = -x*g. Does 11 divide g?
True
Suppose 3*u + 31 = 5*a - a, 4*a = 4*u + 36. Suppose a*m = 5*m. Does 7 divide -1 - (m - 51/3)?
False
Let k = -31 - -34. Suppose 0 = s - 3, k*s - s - 297 = -3*v. Does 18 divide v?
False
Let o(u) = -2*u - 6. Let q be o(-4). Suppose 130 = -q*b + 7*b. Suppose 28*i = b*i + 36. Does 8 divide i?
False
Let l(d) = 52*d - 25*d - 27*d + 1 + 101*d**2. Is 24 a factor of l(1)?
False
Let h(b) = b**2 - b - 10. Suppose 4*v = -2*u - 46, 0 = 4*v + 3*u - 5*u + 26. Let a be (-8)/((-3)/v*-3). Is h(a) a multiple of 23?
True
Is (2 + 42/(-15))/((-46)/6095) a multiple of 8?
False
Let s(v) = 0*v**2 + 5 - 1 - v - 4*v**2 + 3*v**2. Let t be s(-5). Let n = 19 + t. Is 3 a factor of n?
True
Suppose 10592 + 7228 = 27*g. Is g a multiple of 15?
True
Let h = 82 - 47. Let n = h - -31. Is 6 a factor of n?
True
Suppose -6103 = -5*j + i + 1839, -4*i - 4755 = -3*j. Does 35 divide j?
False
Let h be -5 - (3 - 3)/3. Let c(l) = 1. Let j(m) = -m + 14. Let w(i) = -5*c(i) + j(i). Is 6 a factor of w(h)?
False
Suppose -3*s + 14*s = 44. Suppose -c - 3*j + 15 = 0, 3 = j - s*j. Is 18 a factor of c?
True
Is 4911/18 - 7/(-42) a multiple of 13?
True
Let i(k) = k**2 + 17*k + 4. Let q be i(-8). Let l = 7 - q. Does 10 divide l?
False
Let d = -235 + 115. Does 12 divide (-2 - (-6 + 3))/((-1)/d)?
True
Suppose -16 = 4*k, -5*h - 766 + 209 = 3*k. Let o = -94 - h. Is o a multiple of 2?
False
Let n be (0/(-1))/(-2 - 1). Suppose o - 6*o + 55 = n. Does 11 divide o?
True
Let f = -475 - -955. Does 16 divide f?
True
Let q(p) = -2*p - 15. Let d be 34/(1 - -1) - 2. Let h be q(d). Let j = -21 - h. Does 16 divide j?
False
Let s be 0/((-2)/(-2) + -4). Suppose 11*m - 6*m = s. Suppose -4*h + 17 = -u, -u + m*u - h + 8 = 0. Does 3 divide u?
True
Let o(z) = 91*z**3 + z**2 - z + 1. Let f be o(1). Let s = f - 62. Does 10 divide s?
True
Let j(a) = 7 + 3 + 12 + 2*a**2 + 2*a + 0. Is 24 a factor of j(-8)?
False
Let v be 9 - (-2 + 1)*2 - 1. Let h = -25 - -47. Let q = h - v. Does 4 divide q?
True
Suppose -9*i + 287 + 2440 = 0. Let y = 61 + i. Is y a multiple of 13?
True
Let i = -86 - -583. Does 13 divide i?
False
Let x(r) = -11*r + 5. Let q be x(5). Let i = -24 - q. Does 4 divide i?
False
Suppose -3421 + 9061 = 10*i. Is i a multiple of 22?
False
Let s = -6 - -10. Suppose -2*y + 5*y - 31 = 2*m, -s*m = -3*y + 71. Let v = 42 + m. Is 8 a factor of v?
False
Let o(v) = -56*v**3 - v**2 - v. Let y be o(-1). Does 31 divide (-15)/2*y/(-6)?
False
Let t(u) = -u**3 - 9*u**2 + 2*u - 18. Is 65 a factor of t(-12)?
True
Suppose -209 = -a - 3*b, 45*a - 2*b = 43*a + 442. Is a a multiple of 5?
False
Does 17 divide (147/14)/((-18)/(-408))?
True
Let u(w) = 7*w**3 - w**2. Let r be -1*7/(-14)*(1 - -5). Is u(r) a multiple of 26?
False
Suppose 2*o - 7*o + 10 = 0, 3*o = -5*d + 621. Let n = -30 + d. Is n a multiple of 16?
False
Let m = 69 - 58. Let x = m + -6. Is x a multiple of 3?
False
Let t = -68 + 66. Let f(a) = -a**2 + a - 3. Let l be f(-6). Does 13 divide 918/l*5/t?
False
Let s be ((-4)/6)/((-4)/(-6)). Let q be 0/(s/(-1) - 2). Suppose -2*v + 11 + 17 = q. Is 14 a factor of v?
True
Suppose 0 = 3*b + 2*k + k - 210, 4*k - 132 = -2*b. Is 34 a factor of -2 + b + -1 + 2 + -5?
True
Let k(n) = -1504*n**3 + n + 1. Does 23 divide k(-1)?
False
Suppose -6*u = -728 - 1822. Is u a multiple of 25?
True
Let h(v) = 4*v**3 + 2*v**2 + v + 2. Let q be h(-4). Let n = q + 384. Let s = -110 + n. Is 16 a factor of s?
True
Let f(k) = 2*k**3 - k**2 + k. Let v be f(1). Let b be ((-78)/9)/(v/(-48)). Suppose -i + 124 = z + 12, 2*i - 2*z = b. Is i a multiple of 12?
True
Suppose -2*b + 3*j + 12 = 0, 4 = -2*j - 0. Let w = -8 - -12. Is b*((-8)/w + 12) a multiple of 10?
True
Let p(a) = a**3 + 9*a**2 - 7*a + 1. Let w(c) = -2*c**3 - 9*c**2 + 7*c - 2. Let u(s) = 3*p(s) + 2*w(s). Let b(x) = 2*x. Let r be b(3). Is u(r) a multiple of 23?
False
Let g(b) = b - 11. Let r be g(11). Let d = r + 32. Is d a multiple of 8?
True
Let i be 132/(-28) + (-4)/14. Let l be 1 - (-5)/i - -3. Let q(x) = 20*x + 4. Is q(l) a multiple of 16?
True
Suppose -3*p + 143 + 232 = 0. Does 5 divide p?
True
Let p(a) be the second derivative of 6*a + 0 + 5*a**2 + 5/6*a**3. Is 15 a factor of p(7)?
True
Suppose 4*z = 3*c + 728, 2*z - 4*c - 281 = 93. Does 17 divide z?
False
Let y = -22 + 24. Suppose -y*q - 135 + 381 = 0. Is 22 a factor of q?
False
Suppose 0 = 3*u + 4*a - 6, 0 = 2*u + 3*a - 1 - 4. Let l be (-1)/((-2)/(u + 12)). Suppose 5*r - 61 = -l*k + 14, r + 49 = 3*k. Is 12 a factor of k?
False
Suppose 3*x + 27 = 3*t, -t - t + x = -15. Suppose 9*s - t*s = 183. Suppose 6*b - 3*b - 2*u - s = 0, 2*u + 40 = 2*b. Is 7 a factor of b?
True
Suppose 3*f - 6 = 2*f. Let p be (f/(-21))/(2/(-14)). Suppose -5*n = p*o - 103, 0 = 5*n + o + 4*o - 100. Is 13 a factor of n?
False
Suppose d - 2*d + 92 = -5*n, -5*n + 214 = 2*d. Let q = d - 62. Is q a multiple of 8?
True
Let m(o) = o + 26. Let d be m(6). Let h = d - 4. Is 4 a factor of h?
True
Suppose 5*l = -15, -5*l + 16 = -5*z + 41. Suppose 5*w = -2*y + 385, z*y - 731 = -2*y + 3*w. Is y a multiple of 35?
False
Does 23 divide 0 + (-12)/(-32) + 18058/16?
False
Let a = 26 - 13. Let s = 15 - a. Suppose k - 5*c = 65, s*k = -4*c + 24 + 92. Does 30 divide k?
True
Let f = -1107 - -1990. Does 61 divide f?
False
Let h be ((-45)/(-30))/((-3)/(-52)). Let n = 5 + h. Is 13 a factor of n?
False
Let z(g) = 42*g**2 - 13*g + 5. Is z(-6) a multiple of 29?
True
Let w(x) be the second derivative of -x**4/12 - x**3/6 + 14*x**2 + x. Let r be (-12)/96 + (-2)/(-16). Is 9 a factor of w(r)?
False
Suppose 3*o = 5*b + 545, 5*o - 905 = 10*b - 5*b. Suppose 60 + o = 2*u. Does 20 divide u?
True
Suppose 4*f - x - 310 = 0, 5*f - 3*x - 387 = -2*x. Does 11 divide f?
True
Let y(a) = -a**3 + 3*a**2 - a. Let w be y(2). Is 12/10*((-904)/(-12) - w) a multiple of 17?
False
Let s(f) = 4*f**2 + 21*f + 102. Does 10 divide s(-18)?
True
Let n(j) = -2*j**3 - 2*j - 1. Let l be n(-1). Suppose -4*a = -l*a - 25. Is 15 a factor of a?
False
Let x(h) = 2*h**3 - 5*h**2 - 6*h - 8. Let q be x(6). Suppose 2*n = 3*z - q, -3*z + 4*n = z - 272. Does 15 divide z?
False
Suppose -n + 221 = -k, -3*n + 2*k + 995 - 333 = 0. Does 5 divide n?
True
Suppose -u = u. Let j = 13 - -62. Suppose -5*h + 203 = 3*c, u*h = 2*h - 5*c - j. Is 10 a factor of h?
True
Let d = 5987 - 3538. Does 8 divide d?
False
Is 15 a factor of 358/1 + 7/(-28)*-8?
True
Let c = -35 - -8. Let q be c + 0 - 0/2. Is -3 - (q - (2 - 4)) a multiple of 12?
False
Let s(d) be the second derivative of d**4/12 + 7*d**3/3 + 9*d**2/2 - 5*d. Is s(-17) a multiple of 10?
True
Suppose 0 = -p + 2, 31*q - 196 = 30*q - 3*p. Does 7 divide q?
False
Let v(u) = -48*u + 90. Let k(b) = -32*b + 60. Let y(z) = -8*k(z) + 5*v(z). Is y(8) a multiple of 15?
False
Let g = 830 + -454. Suppose -50*w = -42*w - g. Is 36 a factor of w?
False
Suppose -4*h + 0 + 10 = -2*s, h = s. Suppose h*u = 2*u + 234. Does 26 divide u?
True
Suppose 2*r + u + 1 = 0, -3*u - 1 = 2*r + 10. Suppose -2*s = -s - r. Suppose 7*h + 105 = 5*x + s*h, 0 = 3*x - 4*h - 61. Does 6 divide x?
False
Suppose -2*t = -4*t + 6. Suppose t*f - 1 = 2*d, 2*f + 0*d = 2*d - 2. Suppose -5*s + 4*q = -46 - 311, 0 = -s - f*q + 79. Is 27 a factor of s?
False
Let k be (-2)/(-6) + 2 + 14/(-6). Let p = -8 + 11. Suppose p*z - 91 = 2*r, 2*z + k*z - 60 = r. Is 29 a factor of z?
True
Let p be 4 + (1 - 267/(-3)). Suppose b + 2*d - p = 3*d, 3*d = -b + 110. Is 22 a factor of b?
False
Let t(y) be the second derivative of 1/4*y**4 + 1/6*y**3 - 8*y + 0 - 1/2*y**2. Does 13 divide t(2)?
True
Suppose 0 = -5*a - 5*s - 45 - 0, -3*a + s = 35. Let y be a/(-33) + (-407)/(-3). Suppose -15*q = -17*q + y. Is 17 a factor of q?
True
Let l(k) = -k**3 + 4*k**2 - 3*k. Let v be l(3). Suppose 4*f + 118 - 358 = v. Suppose -3*q + 2*q = -f. Does 15 divide q?
True
L