uppose 0 = -z*u + 12 + 16. Let h = u - -3. Is h a multiple of 2?
True
Is (-6)/10 - -171*(-69)/(-15) a multiple of 2?
True
Is 15 a factor of (-13)/(182/21)*(-280)/2?
True
Let m be (-2)/(-2 + 0 + 1). Suppose 2*f - 5*f + 75 = -w, -m*w - 54 = -2*f. Does 6 divide f?
True
Let k(t) = 7*t**3 + 3*t - 2. Let h(f) = -22*f**3 - 10*f + 6. Let q(g) = 3*h(g) + 10*k(g). Let r = 12 - 10. Is 13 a factor of q(r)?
False
Let w(k) = -k + 8. Let m be w(5). Suppose m*f - 2*f - 54 = 0. Suppose -3*y + f = -0*y. Is 9 a factor of y?
True
Let c = -2 - -5. Suppose -c*a + 4*a = -2*q + 11, 5 = -q + 3*a. Suppose 0 = -q*g + 2*h + 20, 0 = g - h + 4*h - 5. Does 2 divide g?
False
Suppose 3*s - 226 = -5*g, 0*s + 3*g = -3*s + 228. Is s even?
False
Let c be 32/56*7/2. Suppose -21 - 1 = -c*o. Is 11 a factor of o?
True
Let x be ((-12)/126*-18)/((-8)/(-252)). Let t = -4 + 6. Suppose -t*u - u = -x. Is u a multiple of 6?
True
Let k be 32/14 + 28/(-98). Is 10 a factor of -12*(-2)/3 + k?
True
Suppose 59*s = -72*s + 679366. Is 25 a factor of s?
False
Let a(y) = 48*y**3 - y + 1. Let m be a(1). Suppose -f = -m - 36. Is 21 a factor of f?
True
Let z(d) = 19*d - 16. Let t(w) = -9*w + 8. Let r(m) = 7*t(m) + 4*z(m). Let x(k) = -k**2 - 3*k + 4. Let l be x(-3). Is 7 a factor of r(l)?
False
Suppose -3*l + 912 = -3*o, 0*l + 2*l = -5*o - 1492. Let x = -150 - o. Suppose x = -3*g + 6*g. Is 13 a factor of g?
False
Suppose i - 5*i = -j - 15, j = 5*i - 18. Suppose i*y - 300 = -69. Is y a multiple of 11?
True
Let i(p) be the first derivative of p**3/3 + 13*p**2/2 - 6*p + 11. Let j be i(-7). Is 3/(6*(-3)/j) even?
True
Let k(t) = 3*t + 9. Let j(v) = v - 1. Let s(w) = -2*j(w) + k(w). Does 5 divide s(-6)?
True
Let g(f) = 4 - 1 - 8*f + f**3 + 5*f**2 + 2. Let j be (-1)/((-75)/(-18) + -4). Is g(j) a multiple of 17?
True
Is ((25872/36)/14)/(2/6) a multiple of 22?
True
Suppose t + 13*y - 135 = 14*y, 4*t - y = 543. Suppose 4*q + 21 = 1, -4*r + 191 = q. Let x = t - r. Does 10 divide x?
False
Suppose 100*r - 3942 = 27*r. Is 2 a factor of r?
True
Suppose 5*h + 2*p = 0, p = h - 0*h. Suppose u + 6 = -k, h = -2*k + 2*u - 5*u - 10. Let f = 20 + k. Is f a multiple of 6?
True
Let y(l) = 30*l**2 + 4*l + 44. Does 15 divide y(4)?
True
Suppose 3*y = q + 74 + 81, -5*y - q = -261. Is y a multiple of 12?
False
Suppose -3 = 3*g, -5*y - 2*g + 1796 = 2*g. Does 27 divide y?
False
Let k = -220 - -309. Is k a multiple of 16?
False
Let u be (-386)/30 - 12/90. Let a be 108/26 - (-2)/u. Suppose -p = a*p - 90. Does 9 divide p?
True
Suppose 0 = -o + 3. Suppose 0 = 8*l - o*l - 535. Does 14 divide l?
False
Let v be 69/6 + (-3)/(-6). Let q(p) be the third derivative of -p**6/120 + 13*p**5/60 - p**4/2 + 3*p**3 - p**2 - 12. Is q(v) a multiple of 5?
False
Let s = -254 + 332. Is 2 a factor of s?
True
Let x(s) be the first derivative of 7*s**3/3 + 2*s**2 - 5*s + 1. Is x(2) a multiple of 9?
False
Let s(o) = o**3 - 4*o**2 + 3*o - 7. Let j be s(4). Suppose 4*m + 45 = j*a - 0*a, -3*m = -5*a + 30. Is ((-20)/m)/(1/6) a multiple of 8?
True
Let k(z) = 144*z - 246. Is k(8) a multiple of 90?
False
Let t = -820 - -1009. Is 9 a factor of t?
True
Let a(j) = 50*j - 6. Let o be a(3). Suppose 288 = 2*h - c, h + 0*c - o = -c. Is 12 a factor of h?
True
Let f(c) = -c**3 + 16*c**2 - c + 6. Let j be f(16). Let t be (j/8)/((-1)/(-4)). Let o(m) = -5*m - 7. Does 18 divide o(t)?
True
Let p(x) = -2*x**3 - 2*x - 1. Let k be p(-5). Let z = k + -20. Is z a multiple of 31?
False
Let w = -788 - -1130. Does 19 divide w?
True
Let z(g) = 2*g**2 - 2*g + 1. Let q be z(2). Suppose -40 = -q*m + 20. Is 2 a factor of m?
True
Let n(s) = 185*s**2 - s + 6. Is n(2) a multiple of 62?
True
Suppose 90*n - 95*n + 610 = 0. Is n a multiple of 4?
False
Let r be 0/(2 - 0) - -2. Let k be (-2 - -2)/(1 - r). Suppose 4*l - 316 = -4*w, -2*w = -k*l + l - 157. Is w a multiple of 13?
True
Is 39 a factor of (-3*20/(-12))/((-3)/(-678))?
False
Does 4 divide 19 + (8 - (-5 + 9))?
False
Let p be 202/4 - (-1)/(-2). Suppose 5*j = 5*x + p, 4*x + 26 = 5*j - 2*j. Suppose 0 = -4*i - 5*a - 13, 3*i = 3*a + j + 10. Is 3 a factor of i?
True
Suppose 3 = -2*o + 57. Suppose 0 = 2*w + 9 - o. Is 9 a factor of w?
True
Suppose -11*s + 6*s = k - 24, -4*s = 3*k - 28. Suppose k*d + 3*t - 59 = 0, 3*t = 6*d - 3*d - 39. Is d a multiple of 4?
False
Suppose -5*o + 20 = -3*x + 8*x, x + 12 = 3*o. Does 28 divide (o/(-3))/(5/(-735))?
True
Let b(g) = g**2 - 14*g + 22. Is b(15) a multiple of 33?
False
Let o(l) = -l**2 + 11*l - 15. Suppose 18 + 2 = -5*n. Let g be (-6)/n*400/75. Is 2 a factor of o(g)?
False
Let m(z) be the first derivative of 7*z**3 - z**2 - 11. Is m(-2) a multiple of 17?
False
Suppose -876 = -5*h + 129. Does 8 divide h?
False
Let g(u) = 14*u + 108. Is g(8) a multiple of 8?
False
Let m(v) be the third derivative of -v**5/60 + 17*v**4/24 - 11*v**3/6 + 21*v**2. Is 6 a factor of m(14)?
False
Let l(o) be the second derivative of 2*o**3/3 - 7*o**2 - 8*o. Let y be l(14). Suppose 2*k - y = 10. Is 13 a factor of k?
True
Let g be 14/(-6) + (-16)/24. Does 15 divide 4/(2 + g) + 18 + 1?
True
Let g(c) = 172*c**2. Let h be (-8)/4 + (4 - 3). Let i be g(h). Suppose -2*d = -6*d + i. Does 16 divide d?
False
Suppose j = -4*j + 800. Suppose 0*u - 4*u = -16, -5*w = 5*u - j. Suppose 3*t = -t + w. Is t a multiple of 2?
False
Let b(a) be the first derivative of a**3/3 - a**2/2 + a - 1. Is b(-5) a multiple of 9?
False
Does 43 divide (30/8)/(1835/(-460) + 4)?
False
Let o = 1507 - 778. Suppose 87 + 186 = 2*b - 5*c, -3*c + o = 5*b. Is b a multiple of 24?
True
Let p be (-2)/5 + (-8)/5*1. Is (1 + -6 + -27)/(p - -1) a multiple of 4?
True
Let q = 30 + -843. Let d = -539 - q. Does 36 divide d?
False
Let i = -98 - -97. Is 27 a factor of 2/i + -15 + 69 - -2?
True
Suppose -3*o + 311 = -142. Is o a multiple of 2?
False
Let h(d) = -d - 15. Let w be h(-5). Is -4*(16/5)/(2/w) a multiple of 12?
False
Let d be 3/5 + (-12)/20. Suppose -565 = -r - 2*r - 5*a, d = -r + 2*a + 203. Suppose k = 6*k - r. Is k a multiple of 13?
True
Is (132/(-88))/((-3)/134) a multiple of 67?
True
Let h = 14 + -11. Let s(p) be the first derivative of -p**4/4 + 2*p**3 - p**2/2 - 2*p + 2. Is 6 a factor of s(h)?
False
Let b = 357 - -15. Is b a multiple of 29?
False
Let b(s) = 10 - 6*s - s**2 + 0*s + 3*s. Let o be b(-5). Let f(r) = -r**2 - r + 25. Does 7 divide f(o)?
False
Let v = -543 + 1963. Is v a multiple of 10?
True
Let a be (5 - (-4 + 5)) + -5. Is ((-75)/(-10))/(a/(-10)) a multiple of 25?
True
Let g be (33/(-4))/(7/(-28)). Does 9 divide g + 3*(2 - 1)?
True
Let x = 1098 - 627. Is x a multiple of 44?
False
Suppose 101*f - 97*f = 9484. Does 12 divide f?
False
Let b = 83 - -149. Does 26 divide b?
False
Suppose 5*u = 20, 4*v = -0*v - 4*u + 32. Is 24 a factor of (64/v)/(-4) - -52?
True
Let u = -29 + 20. Let p = u - -12. Suppose 0 = -p*v + 8*v - 215. Does 18 divide v?
False
Suppose 2042 = 11*s - 4679. Is 47 a factor of s?
True
Let s = -14 - -18. Suppose 4*l - 189 = -3*a, -s*l + 161 = 4*a - 87. Is a a multiple of 33?
False
Let b be 61/(-3)*(-30 - 0). Suppose 3*v - 5*v = -b. Suppose -3*a = 2*a - v. Is a a multiple of 16?
False
Suppose 4*m - 5*f - 30 = 0, -2*m + 2*f + 20 = -3*f. Let g be m/2 + 2/(-4). Suppose -g*i + 14 + 90 = 0. Is i a multiple of 13?
True
Let o = -30 - -11. Let y = 5 - o. Is y*(7/2 + -3) a multiple of 12?
True
Let b(o) = -o**3 + 3*o**2 + 5*o + 2. Let w be b(4). Let z = w + 13. Does 19 divide z?
True
Suppose -2*r - 5*z + 13 = 0, 2*z + 0*z = -5*r + 43. Suppose -318 = 3*a - r*a. Is 9 a factor of a?
False
Suppose 2*a = 5 + 1. Let r be ((-2)/a)/((-3)/135). Let m = r + -18. Is 7 a factor of m?
False
Suppose -5*f = 10, 32*g - 5*f = 33*g - 369. Is g a multiple of 7?
False
Let v be ((-2)/2)/1 + 21. Let a be (-5)/2*(-72)/v. Suppose j + 5*p = -0*j + 46, 0 = -3*p - a. Is j a multiple of 21?
False
Is 94 a factor of (1880/25)/(2/25)?
True
Is (-16)/((-704)/86295) + 5/(-4) a multiple of 32?
False
Let l(n) = n. Let s be l(13). Suppose -16*b + 63 = -s*b. Suppose 2*a - 11 = b. Does 4 divide a?
True
Suppose -3*t + 6428 = -1420. Does 109 divide t?
True
Suppose -166*u + 1452 = -160*u. Is u a multiple of 7?
False
Is 40 a factor of (96/112)/(8/18004)?
False
Let f be 2*(3/(-6) - (2 + -4)). Suppose -f*h + 35 = -2*t - 48, -5*h = 3*t - 132. Is h a multiple of 4?
False
Is (-6)/2 + 0 + 84 a multiple of 3?
True
Let