 Does 15 divide s(-1)?
False
Suppose -j + 63 + 206 = 0. Is j a multiple of 11?
False
Suppose 0 = 3*s - s. Suppose s = 3*b + b. Suppose b = 4*w - 28. Is 2 a factor of w?
False
Suppose -8*i + 5*b = -12*i + 1512, -5*i = 3*b - 1903. Does 5 divide i?
False
Does 5 divide (3/(-4))/((-805230)/(-50328) + -16)?
False
Suppose -2*l = 3*f - 2456, -324*l - 1229 = -325*l - 2*f. Does 49 divide l?
True
Suppose -5*g - 212 = -5*w - 72, -3*g + 4*w - 85 = 0. Let s = g + 30. Suppose -s*p - 2 + 45 = -5*q, 0 = -2*q - 10. Does 6 divide p?
True
Suppose 8 = i + 2. Suppose z - 49 = -0*z + 2*t, 2*t = i. Is 5 a factor of z?
True
Let q(a) = 0*a + 9*a - 1 - a**2 - a. Let s be q(6). Suppose 7*d - s*d = -12. Is 3 a factor of d?
True
Let g be (5 - 3)/((-4)/(-14)). Suppose 25 - 4 = g*a. Is a a multiple of 3?
True
Let a be (-209)/(-33) + 1/(-3). Suppose a*b = b + 260. Suppose -4*h + 5*h - b = 0. Is h a multiple of 12?
False
Let h(k) = 2*k**2 - 18*k - 17. Suppose 0*g - a = -g + 16, 4*g - 5*a - 67 = 0. Is h(g) a multiple of 17?
False
Suppose 0 = -3*w - 0*w - 9. Let o = w + -3. Is 4 a factor of (16/o)/((-2)/3)?
True
Suppose -22*z - 122 = -24*z. Let t = -33 + z. Is 9 a factor of t?
False
Let t = -2876 - -4186. Is 23 a factor of t?
False
Let t(j) = -j**2 - 3*j - 8. Let q be t(-5). Let u be (-12)/q - 11/3. Is 15 a factor of u/((-6)/(-8)) - -22?
False
Let j be (-1 + 0)*-3*-8. Let i = j + 39. Does 15 divide i?
True
Suppose 0*o = 10*o - 20. Suppose -o*s + 50 + 40 = 0. Does 9 divide s?
True
Let j = 2 - -21. Let t = -35 + j. Does 15 divide (28/t - -2)*-60?
False
Is (1*(-12)/20)/((-14)/770) even?
False
Is (-1050)/(-63)*(-30)/(-4) a multiple of 2?
False
Suppose 2*r - w = 372, 0*r - 3*w + 567 = 3*r. Suppose -3*o - 4 = -r. Is 35 a factor of o?
False
Let l(m) be the second derivative of m**3/6 + 2*m. Let x(d) = 43*d**2 + 3*d - 1. Let b(z) = -2*l(z) + x(z). Does 14 divide b(1)?
False
Let d be (0/(-8))/(0 + 2). Suppose d = 3*m + m - 8. Suppose g = -m*a + 21, -g + 3 + 2 = -2*a. Does 9 divide g?
False
Let j(g) = g**2 - 4*g - 1. Let n be j(5). Let w be (2/4*0)/3. Suppose 154 - 33 = 2*v + d, w = n*v - 2*d - 262. Does 13 divide v?
False
Let a(p) = p + 11. Let j be a(-11). Suppose 4*d + f - 700 = 3*f, -4*d + 5*f + 694 = j. Suppose t - d = -3*b, 3*t - 3 - 12 = 0. Does 19 divide b?
True
Suppose 0 = -32*v + 30*v + 120. Is v/(-45)*-3*89/2 a multiple of 23?
False
Let h be 4/(-4) - (0 - -26). Let y = 99 + h. Does 8 divide y?
True
Let d be (-11)/(-44) - 197/4. Let u = d - -94. Is 15 a factor of u?
True
Let i(x) = -2*x**2 + 10*x + 14. Let z be i(6). Suppose z*y - 78 - 148 = -3*r, 2*r + 2*y - 152 = 0. Is r a multiple of 17?
False
Suppose -3*t + 116 = -2*y - 2*y, t = -2*y - 48. Let k = y + 38. Is 6 a factor of k?
True
Let u = 473 + -311. Is u a multiple of 32?
False
Suppose -499*x + 66176 = -452*x. Is 8 a factor of x?
True
Let j be 21*1 - (1 - 2). Let y = 189 + -177. Let t = j - y. Is 9 a factor of t?
False
Let x = 19 - 15. Suppose -x*w + 2*w + 276 = 0. Does 23 divide w?
True
Let u = 549 + -489. Does 4 divide u?
True
Let s(c) = -11*c**2 + c**3 + 19*c**2 - 31*c**2 + 9*c + 9. Is 12 a factor of s(23)?
True
Is 13 a factor of (-8)/(40/(-2455)) - -3*1?
True
Let h(v) = -v**3 - 9*v**2 + 11*v + 4. Let f be h(-10). Let b be ((-6)/4)/(f/8). Suppose -b*r = 3*z + 3*r - 9, -r = -3*z + 27. Is z a multiple of 4?
True
Let c(t) be the third derivative of -t**6/120 + 7*t**5/30 - 7*t**4/24 - 2*t**3/3 - 52*t**2. Is c(5) a multiple of 13?
False
Is 7357/5 + (-259)/185 a multiple of 42?
True
Suppose -3*w - 72 = 5*w. Let q(n) = -7*n - 24. Is 13 a factor of q(w)?
True
Suppose 4*t + 4*f = -136 + 8, -7 = t - 4*f. Let p = 68 + -86. Let k = p - t. Is k a multiple of 2?
False
Let y be ((-1)/4*-2)/(2/4). Does 3 divide (-22)/(-3)*y*9/2?
True
Suppose -5*v + 508 = -3*v. Is 14 a factor of v/5 + (-2)/(-10)?
False
Let z(l) = -10*l - 12 + 5 + 18 + 2*l. Does 9 divide z(-2)?
True
Let u(j) = -j**3 - 7*j**2 + 2*j + 2652. Does 13 divide u(0)?
True
Suppose 76*o = 42820 + 100820. Does 15 divide o?
True
Suppose j - 4 = -2*o + 3*j, -5*o + 2*j + 13 = 0. Suppose 0 = 4*g + o + 13. Is (-310)/(-25) - g/(-10) a multiple of 7?
False
Let n(r) = -r**3 - 5*r**2 + 7*r. Let t be n(-6). Let j be 8/t*(-3)/2. Suppose -j*u + 285 = 3*u. Is u a multiple of 20?
False
Let g(s) = 2*s**2 - 7*s + 8. Is 4 a factor of g(5)?
False
Let m(p) = p**3 + 14*p**2 - 16*p + 11. Suppose 0 = 3*u + 29 + 16. Is m(u) a multiple of 2?
True
Let h be (-2*103)/(-3 - -1). Suppose -3*v + 69 = -3*g, -g - h = -5*v - 2*g. Is v a multiple of 5?
False
Let l(h) = 2*h**2 - 10*h + 14. Let j be l(7). Let p = -9 + j. Does 11 divide p?
True
Let f = 20 - -332. Does 32 divide f?
True
Let g(w) be the third derivative of w**5/10 - w**4/4 + w**3 + 2*w**2. Let n be g(4). Suppose 2*f = 3*x + n, 5*x - 61 = -f + x. Is 16 a factor of f?
False
Let s(n) = -n**2 + 30*n. Is s(20) a multiple of 8?
True
Let p(o) = -o**3 - 4*o**2 + 10*o + 7. Let n = -10 + 10. Let r(k) = -2*k - 6. Let j be r(n). Is 8 a factor of p(j)?
False
Is 68 a factor of 35/(-2)*(-18496)/170?
True
Suppose -24*v + 29*v = -4*z + 5013, 5*v - 2*z - 5001 = 0. Is v a multiple of 77?
True
Let q(y) = 5*y**2 + y + 14. Let f be q(-7). Suppose 4*t + f = 7*t. Is t a multiple of 14?
True
Let d be (-4)/(-18) + (-20)/90. Suppose d = i - 2*i + 21. Does 20 divide i?
False
Let j(n) = n**2 + 7*n - 8. Let o be j(-8). Suppose o = 5*z + z. Suppose 2*m + 2*v - 10 = 6, z = m - 3*v - 4. Is 2 a factor of m?
False
Suppose -f + 2*f - 326 = 0. Let w = -137 + f. Suppose 6*y = 9*y - w. Does 17 divide y?
False
Let q(d) = -d**3 + 8*d**2 - 3*d + 27. Let l be q(8). Is 18 a factor of (82/(-4))/(111/(-36) + l)?
False
Suppose -h = 4*p - 28, 5*p = -3*h - h + 24. Let w = p + -4. Suppose 0 = 5*n + 3*c - 65, 9 = n + c - w. Is 3 a factor of n?
False
Let g = -827 - -1179. Is 44 a factor of g?
True
Is 8 a factor of 384*((-77)/(-14))/11?
True
Let o(h) = 11*h - 37. Suppose 7*g - 75 - 30 = 0. Is o(g) a multiple of 11?
False
Let f be (1 - 2)/(160/156 + -1). Is (26/f)/(2 + (-399)/198) a multiple of 22?
True
Suppose 3*d = 4*d - 3. Suppose d*i + 4*s - 8 = i, -5*i - 2*s = -12. Suppose 3*o - 2*f = 122, -i*o = -0*o + 5*f - 56. Is 22 a factor of o?
False
Let p = 2476 - 1384. Suppose 10*n = 7*n + p. Is 18 a factor of n?
False
Suppose -3*k - 457 + 24 = -j, -5*j - 2*k + 2080 = 0. Is j a multiple of 16?
False
Suppose 39 = 9*k + 3. Suppose 0 = -3*w - k*s + 253, 4*w = s - 3*s + 354. Is w a multiple of 13?
True
Let a(k) = -14*k - 34. Let q(o) = o**2 - o - 1. Let g(i) = -a(i) + q(i). Is g(-13) even?
False
Suppose 31 = 2*z - 13*h + 10*h, -z + 2*h = -15. Is z even?
False
Let l(k) = k**2 + 16. Does 21 divide l(-6)?
False
Suppose -2032 = -87*g + 79*g. Does 9 divide g?
False
Let c(i) = 19*i**3 + 8*i**2 - 5*i + 12. Is c(5) a multiple of 21?
True
Suppose -14*q + 17*q + 9 = 0. Is (-2 + 1 - -2)*(q + 153) a multiple of 30?
True
Let t(k) = -k**2 - 5*k + 23. Let j be t(-8). Is 6 a factor of j*(4 + 90/(-8))*4?
False
Let t(z) = z**2 + 4*z - 1. Let c(w) = w**2 + 2*w - 2. Let r be c(2). Suppose 0 = 4*h + r - 18. Does 9 divide t(h)?
False
Suppose 5*k - 4*k + 5*t = 197, 4*t - 708 = -4*k. Let p = k - 119. Suppose -5*r + r - l = -p, 3*r = -l + 39. Is r a multiple of 14?
True
Suppose 4*n - 19*n + 17250 = 0. Does 85 divide n?
False
Suppose 254*r + 2260 = 264*r. Is r a multiple of 17?
False
Is (-8)/6 - (-840)/9 a multiple of 6?
False
Let m be (30/4)/((-3)/8). Let k = m + 33. Is k even?
False
Suppose -214*v + 8470 = -207*v. Is v a multiple of 11?
True
Let w be (-6)/(-8) - (-141)/4. Let d(r) = r**2 + 8*r + 18. Let c be d(-6). Suppose w - c = a. Is a a multiple of 11?
False
Suppose -5*c + 15 = -5*y, -3*c + 2 + 7 = -y. Let a(w) be the second derivative of w**5/20 - w**4/12 + 13*w**2/2 - 2*w. Is a(y) a multiple of 8?
False
Let s = 33 - 15. Suppose 15*j = s*j - 162. Is j a multiple of 18?
True
Let t(v) = 3 - 3*v + 2*v + 0*v. Suppose -89*k + 88*k - 2 = 0. Is t(k) a multiple of 5?
True
Let n be (6/4)/(9/(-636)). Let o(c) = c**3 + c**2 - c - 151. Let i be o(0). Let b = n - i. Is 15 a factor of b?
True
Let h = -1648 + 1737. Is h a multiple of 7?
False
Let q = 39 + -92. Does 13 divide 1/(-2) + q/(-2)?
True
Suppose -2*o - 6 = 0, -2*v - 207 = -3*v + 5*o. Is 27 a factor of v?
False
Suppose 4*o = 2*f + 232 - 78, -2*o - 328 = 4*f. Suppose 4*q + 224 = 2*x, 5*x