 156 - u. Is i a multiple of 21?
True
Let g = -139 + -121. Let h = g - -465. Does 14 divide h?
False
Let w(g) be the first derivative of g**2/2 + 2*g - 3. Let h be w(0). Suppose -2*u + 6*u + h*z = 100, -2*u + 58 = 3*z. Is u a multiple of 15?
False
Let a = 853 - 543. Is 21 a factor of a?
False
Let w = -48 - -79. Suppose w = 3*f - 230. Is f a multiple of 10?
False
Suppose 0 = 121*k - 133*k + 3516. Does 5 divide k?
False
Suppose 3 + 3 = -2*p. Let i be p/(1/1*-1). Suppose -3*b + o + 25 = 0, -i*o = -4*b - 0*b + 25. Is b a multiple of 10?
True
Suppose 0*o + 3*o = -5*y + 22, -5*y = o - 14. Suppose -y*p + 110 = g, -3*g + 7*g - 110 = -2*p. Is p a multiple of 18?
False
Let h(d) = 10*d - 5. Let q be h(16). Let v = -107 + q. Is v a multiple of 12?
True
Suppose -2*k + 5*v = -2, -18 = 4*k + 5*v - 82. Suppose 0 = 2*a - y - 11 - k, -4*a = y - 38. Does 3 divide a?
False
Let g = 2261 + -1253. Is g a multiple of 50?
False
Suppose -5*o - 75 = 4*i, -4*i - 4*o = -9*o + 125. Is (-10)/i - -17*19/5 a multiple of 16?
False
Suppose 4*h - 2*h + 5 = -5*t, 3*t = 2*h - 35. Let s be 15/(-3)*(-16)/h. Let n = s + 26. Is 17 a factor of n?
True
Let d be (3/2)/3*4. Suppose 4*l - 2*h - 16 = 0, 2*l - d*h + 7*h - 20 = 0. Suppose l*u = 2*u + 33. Is 3 a factor of u?
False
Suppose 21*y + 33540 = 64*y. Is y a multiple of 60?
True
Let a be (4 + -4 - 90)*-2. Suppose 3*s - a = -s. Is s a multiple of 15?
True
Let n = -76 + 166. Let w = n + -39. Is w a multiple of 17?
True
Let p = -2 - -6. Is (p - (-47 - 4))/1 a multiple of 10?
False
Let r be (-2)/(-7) + 2196/7. Suppose -3*y + 29 + 169 = 2*z, -r = -5*y + 2*z. Is 16 a factor of (9/(-3))/((-6)/y)?
True
Let s(o) = -5*o + 66. Let n be s(14). Is ((-117)/45)/((-8)/(-150))*n a multiple of 33?
False
Let f be ((-1)/2 + 1)*-92. Let b = -30 - f. Is 21 a factor of (-3 - -11)*84/b?
True
Let a(f) = 316*f**2 - 8*f - 3. Is 103 a factor of a(-3)?
False
Let b = -426 - -474. Is b a multiple of 2?
True
Let r = 0 - 0. Suppose r = v - 4*v + 30. Suppose -v = s - 4*z, 3*z + 0*z - 6 = s. Is s even?
True
Let r(w) = 9*w**3 + 3*w**2 + 4*w - 2. Let m be r(3). Suppose -g - 815 = -3*o, 0 = 4*o - 5*o + 2*g + m. Does 18 divide o?
True
Let o = 19 + -16. Suppose o*w - 9 = -0. Suppose -4*u = -w*x + 172, 2*x = -x - u + 182. Does 13 divide x?
False
Is (-14)/21 + 1880/12 a multiple of 6?
True
Let h(d) = 5 - 2 - 2 + 80*d + 12*d. Is 5 a factor of h(1)?
False
Let j(z) = z**3 - 15*z**2 + 13*z + 9. Let c be j(14). Let y(i) = -i + 7. Let l be y(c). Suppose 20 = 2*d - l. Does 6 divide d?
False
Let c = 1086 + -592. Is 23 a factor of c?
False
Let s = 335 - 351. Let r(a) = 15*a**2 - 22*a - 3 + a**3 - 10 + 1. Is r(s) a multiple of 28?
True
Let n(p) = 21*p - 4*p - 1 - 10*p + p**2. Is n(-8) even?
False
Let c(a) = -6*a + 20 - 67 + 32. Let f be c(-11). Is 21/7 + f + 2 a multiple of 10?
False
Let q be -9 - (-1 - (4 - 3)). Let s = -3 - q. Suppose 2 = n - s. Is 6 a factor of n?
True
Suppose -g - c - 128 = -2*c, 0 = -3*g + 2*c - 385. Let l = 13 - g. Suppose -86 = -2*k - 4*d, 8*k - 4*k + 2*d - l = 0. Is 22 a factor of k?
False
Let u = 17 - 12. Suppose -u*l + 6 = -94. Is l a multiple of 15?
False
Suppose 0 = 10*d - 4*d - 1794. Does 6 divide d?
False
Let j be -1 - (3 + (1 - 5)). Suppose j = 4*z - b + 2*b - 11, 0 = z - 3*b + 7. Let d = z - 0. Is d a multiple of 2?
True
Let f(x) = -4*x - 3. Let u be f(-4). Suppose -4*q + 5*c - u = 0, 14 = -q + 4*c - 3. Suppose 0 = 3*v - 15, -z - q*v + 33 = z. Is 3 a factor of z?
True
Suppose -2*w + 45 + 175 = 0. Suppose 0 = -5*a - 3*d + 37 + w, -2*d - 92 = -3*a. Does 20 divide a?
False
Is (-957)/(-5) + (-3)/(-5) a multiple of 12?
True
Suppose 3*v - 645 - 82 = -4*o, -732 = -4*o - 4*v. Let w = o - 26. Is 8 a factor of w?
True
Let q be 0/((-3)/(12/16)). Suppose q = -2*h - 3*h + 5*g + 25, -3*g - 27 = -5*h. Suppose h*b = b + 70. Is 8 a factor of b?
False
Suppose 724*n - 731*n + 840 = 0. Is n a multiple of 5?
True
Let d = -164 - -347. Let i = -46 + 46. Suppose i = -2*z - z + d. Does 22 divide z?
False
Suppose 3*i - 63 = 87. Let u = 57 + -26. Let k = i - u. Is k a multiple of 6?
False
Suppose -4721 = -5*k - 2*l + 1783, -2*k - 2*l = -2598. Is k a multiple of 62?
True
Suppose 5*u - 6371 = 4*p - 0*p, 2*u - p - 2549 = 0. Is u a multiple of 51?
True
Let i(n) = n + 6. Let p be i(-6). Suppose -3*f + f - 196 = p. Let a = f + 170. Is 24 a factor of a?
True
Is (-2)/(-1*4/272) a multiple of 34?
True
Let a(z) = -21*z**3 + 11*z**2 + z + 4. Let c(k) = -4*k**3 + 2*k**2 + 1. Let x be (-5)/((-15)/39) - 2. Let t(j) = x*c(j) - 2*a(j). Is t(-3) a multiple of 21?
True
Let c = 2085 - 1734. Does 27 divide c?
True
Let u = 85 + -87. Is 44 a factor of u/(-5) - 1756/(-10)?
True
Suppose c + 784 = 8*c. Suppose -2 = -i + 2, 0 = -2*n + 4*i - 150. Let g = c + n. Does 13 divide g?
False
Does 20 divide (6/15)/((-7)/(-6440))?
False
Is -5*3/(-10)*1202 a multiple of 17?
False
Suppose 80 = -22*v + 30*v. Does 2 divide v?
True
Suppose -16*i - 2902 = -19974. Does 6 divide i?
False
Let w = 7 + -1. Let k = 15 + w. Let m = 0 + k. Is 7 a factor of m?
True
Let r = -655 + 659. Does 2 divide r?
True
Suppose 9 = 4*a - 5*r + 2*r, 2*a - 3*r = 3. Suppose -4*m - 5*s = -325, 0*s - 163 = -2*m - a*s. Is 40 a factor of m?
True
Suppose -6 + 2 = -4*w. Let j be -3 + -1 + 8/w. Suppose -3*h - 18 - 14 = -5*l, 0 = -j*h + 4. Is 2 a factor of l?
False
Suppose -16 = -4*h - 5*r, -h + 4 = -4*r + 7*r. Let k(p) be the third derivative of p**5/20 - 5*p**4/24 + 5*p**3/3 + 6*p**2. Does 11 divide k(h)?
False
Let w(x) = 5*x**3 - 13*x**2 - 6*x + 16. Is 37 a factor of w(6)?
True
Let r(b) = b**3 - 3*b**2 - 7*b + 2. Let z be -7*(-1 + 2 - 4 - -2). Is r(z) a multiple of 29?
False
Let j(q) = -q**3 + 11*q**2 - 9*q - 8. Let g be j(10). Suppose 8 = 3*z - 7*z + g*k, 3*k - 12 = z. Suppose z = -2*o - 5*o + 56. Is o even?
True
Let l(x) = 22*x - 156. Is l(10) a multiple of 16?
True
Let f(x) = x**3 + 2*x - 2*x - 4*x**2 + 6 + x - 7. Is 29 a factor of f(5)?
True
Suppose -3*p + 323 = -244. Is p a multiple of 3?
True
Let b = 20 - 20. Suppose -n + 44 + 38 = b. Suppose w = -w + n. Does 7 divide w?
False
Suppose 0 = 25*g + 12956 - 76306. Is g a multiple of 53?
False
Let w(a) = -a**3 - a**2 + a + 14. Let t be w(0). Let q = 56 + t. Does 14 divide q?
True
Suppose -5*v = 4*k - 1364, 3*k + 17 = 2*v - 524. Does 11 divide v?
False
Suppose -2*u = 4*d - 4186, -4*d + 4*u = -4995 + 779. Suppose 6*r = 65 - d. Is ((-9)/(-6) - 2)*r a multiple of 27?
False
Is 164/((18/30)/((-15)/(-50))) a multiple of 17?
False
Suppose -3*p - 3*z + 0*z = -1242, 0 = -p - 5*z + 422. Does 90 divide p?
False
Let p(d) = d**2 - 8*d + 4. Let i = 24 - 16. Let u be p(i). Let k(s) = s**2 - 4*s + 2. Is k(u) even?
True
Let f = -28 + 33. Suppose 63 = 8*y - f*y. Does 11 divide y?
False
Let i = 16 - 6. Suppose i*p = 7*p + 318. Is p a multiple of 12?
False
Suppose -4*h + 3*h + 38 = 0. Suppose 7*o + 4 = -h. Let z(n) = 3*n**2 + 15*n + 3. Does 7 divide z(o)?
True
Suppose -3*q + 2 + 4 = 0. Let l be (-28)/16*(-1 - -4 - 7). Does 5 divide 10 + (2 + q - l)?
False
Is 53 a factor of (-826)/(-4) - (-3)/6?
False
Let z(i) = 18*i**2 + 28*i - 222. Is z(8) a multiple of 27?
False
Suppose -f + 0*g = -g - 21, -4*f = 3*g - 84. Let m be (2 + -1 + 18)/1. Suppose m = 4*j - f. Does 5 divide j?
True
Is 9 a factor of (-28)/(-14)*33*3?
True
Suppose 0*r = r + 3*n - 11, -5*n = 15. Is 27 a factor of (-30)/r*54/(-1)?
True
Let k be (3 - -5 - 2)*13. Suppose 2*n = 2*t - 10, 4*n - 3*n + 1 = -t. Suppose -t*m = -0*m - k. Does 8 divide m?
False
Suppose 5*q + 42 = u, 4*u + 5*q = u + 166. Suppose -u = -2*x + 32. Let s = x - 26. Is s a multiple of 5?
False
Let q be (-6 + -73 + 6)*(0 + -20). Suppose 0 = 31*m - 27*m - q. Is 54 a factor of m?
False
Let l(w) = 134*w**2 + 23*w - 79. Does 7 divide l(3)?
False
Suppose 4*c + 7*u - 428 = 3*u, 4*u = 2*c - 184. Is 51 a factor of c?
True
Let l(r) = 5*r**2 - 2185*r + 2 + 2185*r. Does 3 divide l(1)?
False
Suppose 2*b + 163 = 5*i - 190, 0 = -4*i - 2*b + 268. Is 13 a factor of 2/24*i*8?
False
Let l(b) = 0 - b - 4*b**2 + 5*b**2 - 4. Let o be l(3). Is o - -85 - (2 + 1) a multiple of 21?
True
Suppose 0 = -c + 5, -3*q + 8*q - 2*c = 2720. Does 14 divide q?
True
Let g(o) = 81*o**2 - 4*o - 16. Is 25 a factor of g(-5)?
False
Suppose b + 5*q = -5, 5*q - 2 = -4*b + 8. Let d = 3 + b. Suppose 7 = -5*w - d, -4*j = 2*w - 34. Does 4 div