f 5?
True
Suppose v + 2*l = 35, -v + 2*l = 4*v - 151. Let j = 53 - v. Suppose -3*u = -8 - j. Is u a multiple of 5?
True
Let q be (-97)/(-9) - (-4)/18. Suppose 19 = a - 4*f, 2*a + 2*f = 3*a - q. Is ((2 - 3) + a)*4 a multiple of 8?
True
Suppose -2*b - 164 = -1156. Is b a multiple of 56?
False
Let u(z) = 52*z**2 - 41*z + 17. Is u(5) a multiple of 16?
False
Let z(x) = 2*x**2 - 3*x - 5. Suppose i - 4*i = -9, -3*l + 2*i = -6. Let m be z(l). Does 13 divide m - 0 - (-2 + -1)?
False
Let k be -4*((-126)/24)/(-7). Is (-442)/(-3) + k/18*2 a multiple of 21?
True
Suppose 4*d = j - 1 - 33, 0 = -3*j - d + 50. Suppose -11 = -m + 2*t, -m + j = t + 1. Suppose 2*h - 25 = m. Does 5 divide h?
True
Suppose 2*d = 2*t - 650, 8*t - 12*t + 3*d + 1299 = 0. Does 3 divide t?
True
Let i(g) = -6*g + 6. Let q(t) = -18*t + 18. Let p(b) = -14*i(b) + 5*q(b). Let s be p(-7). Let n = s + -30. Does 7 divide n?
False
Suppose -2*o = -2*t - 432 - 482, -886 = -2*o - 5*t. Is o a multiple of 3?
True
Let s be (81/45)/(6/40). Suppose 2*r - f + 13 = 0, 2*r = -4*f - 6 - s. Let a(k) = 2*k**2 + 3*k - 1. Is 19 a factor of a(r)?
True
Let d be (4 - -55)/((-1)/(-1)). Let o = 131 - d. Is 12 a factor of o?
True
Suppose 0 = 5*l + 3*y - 306, -5*y - 154 = -4*l + 76. Is l a multiple of 6?
True
Let k = -58 + 58. Suppose f = -4*n + 3*f + 96, k = 3*n + 3*f - 63. Does 23 divide n?
True
Suppose -u - 40 = -6*u. Suppose 2*y = 6*y - u. Suppose -5*k + 82 = y*n, -7*n + 2*n + k = -178. Is n a multiple of 12?
True
Let q(w) be the second derivative of 0 + 3*w + 4*w**2 + 1/6*w**3. Is q(-6) even?
True
Let v(y) = -y**2 + 11*y + 7. Let a be v(12). Let b(x) = -x**3 - 6*x**2 - 8*x - 6. Is b(a) a multiple of 3?
True
Suppose 1101 - 109 = 8*g. Suppose -2*j - 88 = -g. Is j a multiple of 3?
True
Let w(s) = 120*s + 1564. Is w(0) a multiple of 14?
False
Suppose -5 = w - 5*q, -4*q = -4*w + 18 + 10. Suppose 0 = -w*a + 9*a - 5*j + 52, 5*j + 170 = 5*a. Is a a multiple of 37?
True
Does 8 divide 630/2 + -21 + 13?
False
Suppose -z + 450 = -6*h, h - 4*h - 855 = -2*z. Is z a multiple of 15?
True
Let u(r) = 6*r**2 - 13*r + 67. Is 59 a factor of u(12)?
False
Suppose -3*l + 13 + 11 = 4*b, -3 = -b. Suppose 20 = l*d + 2*o, 2*d - 3*d = -5*o - 27. Does 2 divide d?
False
Let j(n) = n**3 + 10*n**2 + 3. Let v be j(-10). Let z be (4/v)/(22/(-33)). Let a = z + 19. Is 17 a factor of a?
True
Let y(o) = 45*o + 117. Is y(10) a multiple of 21?
True
Suppose -109*z = -117*z + 1224. Is 5 a factor of z?
False
Let m be 4 + 2/((-2)/13). Let b = 24 + m. Does 9 divide b?
False
Suppose -q = -235 + 51. Is 3 a factor of q?
False
Suppose 33 + 7 = -2*a - 4*h, h + 5 = 0. Let c = 20 - a. Is 5 a factor of c?
True
Let q = 7323 + -2677. Does 46 divide q?
True
Suppose -982 = -20*o - 222. Is 4 a factor of o?
False
Let v(h) = 4*h - 22. Let m be v(7). Suppose 13*n = -m*n + 1235. Is 13 a factor of n?
True
Let x = 7 - 5. Suppose 0 = x*r + 75 - 267. Is r a multiple of 16?
True
Let d = 7 + -8. Is (5/(-2))/(d/(-20)*-2) a multiple of 25?
True
Let v(t) = 28*t - 3 + 4 - 2. Let k(h) = h**2 - 2*h - 2. Let a be k(3). Is 9 a factor of v(a)?
True
Suppose 2*p + 2*t = 5*p - 710, 248 = p + 5*t. Does 17 divide p?
True
Suppose 18*g + 954 = 27*g. Is g a multiple of 4?
False
Suppose 51*z + 8437 = 62*z. Is 13 a factor of z?
True
Let r = -1 - -3. Let o = r - -3. Suppose -2*p + 56 = 2*a, 0*p + 28 = 2*p - o*a. Is 11 a factor of p?
False
Let c(a) = -a + 10. Suppose -7*z = -5*z + 32. Is 24 a factor of c(z)?
False
Let r = -53 - -59. Suppose o - r*o + 410 = 0. Is o a multiple of 16?
False
Let k(l) = -41*l - 1. Let m(u) = 42*u + 2. Let f(h) = -3*k(h) - 2*m(h). Does 30 divide f(2)?
False
Suppose 0 = -2*d + d - 12. Suppose -7*k - 20 + 6 = 0. Is 14 a factor of d - -16 - 30/k?
False
Suppose h + 52 = -0*h. Let m = 136 + h. Is m a multiple of 28?
True
Let k(n) = n**2 + 8*n + 4. Let l be k(-8). Suppose d - 5*z = -1, l*z - 9 = 3*d + 16. Is (-12 - d)*(-42 - -1) a multiple of 12?
False
Suppose 5*d = d + 2040. Suppose 4*w + 2*c - d = 0, -62 = 5*w - c - 682. Is 13 a factor of w?
False
Let v(w) = w**3 + 9*w**2 + 6*w + 1. Let t be 18/((-5)/(20/6)). Let q be -10 - t/(-2 - -6). Is v(q) a multiple of 19?
True
Let l(k) = -7*k + 68. Let s be l(3). Suppose -5*n + 3*h + 3 = -n, 4*h = -n + 15. Suppose 2*z + n*g - s = -2*z, 5*g - 33 = -z. Is 2 a factor of z?
True
Let w = 62 - -1120. Does 6 divide w?
True
Suppose -13*b + 12*b + 402 = 2*y, -4*y + 820 = -2*b. Is 19 a factor of y?
False
Suppose 0 = -4*n + 2 + 6. Suppose -241 = -n*a + u, -4*u = 20 - 0. Suppose 2*k = -4*t + 204, 5*t + 68 + a = 2*k. Is k a multiple of 13?
False
Let j be -1*(-1 + 0) + -70 + -1. Let g = j + 80. Is 5 a factor of g?
True
Let l be (-2)/8 + (-464)/(-64). Let o = -5 + l. Suppose o*b + 1 = b, 4*b + 37 = g. Is g a multiple of 15?
False
Let w(s) = -7*s - 20. Let y be w(12). Let j = 37 + y. Let g = -9 - j. Is g a multiple of 12?
False
Suppose -2*a - 28 = -6*a. Let q be (-1 - -34)*2/2. Suppose a*i - 8*i + q = 0. Does 11 divide i?
True
Suppose s + y - 74 = 0, 4*s - 2*y - 293 = -7*y. Let k = -53 + s. Is 24 a factor of k?
True
Suppose 0 = -3*k - 14*k + 6375. Is 8 a factor of k?
False
Suppose -1595*r + 2232 = -1591*r. Does 9 divide r?
True
Let a(f) = 4*f**3 + 13*f**2 - 39*f + 30. Does 10 divide a(5)?
True
Let s(f) = 3*f + 10. Let d be 1/(0 + -1)*0. Suppose 3*r + d*r = 30. Is s(r) a multiple of 25?
False
Suppose 3*k + 4*g - 2933 + 345 = 0, -3*g = 4*k - 3439. Does 8 divide k?
True
Let c be (-5987)/(-9)*1 - 22/99. Suppose 79 + c = 8*v. Is 31 a factor of v?
True
Let n(z) = 4*z**2 + z + 2. Let f be n(-1). Suppose -f*h - 107 = -257. Does 6 divide h?
True
Let b = 159 - -262. Does 9 divide b?
False
Suppose -4 - 4 = p. Let w(n) be the second derivative of -2*n**3 - 9*n**2/2 + 17*n. Does 33 divide w(p)?
False
Let z be (-282)/22 - 6/33. Let q = -15 - z. Is (q - 0) + -1 + 20 a multiple of 17?
True
Let s = 18 + -14. Let n be (-1)/s - 34507/(-44). Suppose 4*c = -3*c + n. Does 28 divide c?
True
Let t(f) = f**3 + 13*f**2 - 20*f + 16. Let j be t(-15). Let b = -71 - j. Is b a multiple of 9?
True
Suppose -23 = -5*a - 3. Does 24 divide 294/4 + (-6)/a?
True
Suppose -79 - 1937 = -16*f. Is f a multiple of 21?
True
Let y be (-3 - (-22)/8)*-12. Suppose -2*v + 1103 = 3*v - y*o, 885 = 4*v - 5*o. Is 22 a factor of v?
True
Let a be (0 - (-12)/9)*6. Suppose -3*j - a = -20. Is 2 a factor of j/5*5/2?
True
Let z(p) = 10*p**2 - 4*p + 3. Let b be z(-2). Let g = 128 - b. Is g a multiple of 11?
True
Let v(c) = 2*c**3 - 17*c**2 - 6*c + 163. Is v(13) a multiple of 73?
True
Suppose -5225 - 1386 = -11*z. Is z a multiple of 79?
False
Let s(c) = c + 15. Suppose -9 - 1 = 5*d. Let b be 13/2 + (-3)/d. Does 12 divide s(b)?
False
Suppose 0 = -5*q, y - 2*y + 4*q = 4. Is (-56)/(-196) - 139/14*y a multiple of 20?
True
Suppose 30*u = 26*u + 3*z + 1673, u = 2*z + 417. Is 6 a factor of u?
False
Let l(q) = 20 - 19*q + 24 - 45. Let u be 2/3*9/(-6). Is 8 a factor of l(u)?
False
Let v = 188 + 317. Is v a multiple of 60?
False
Suppose -68 = -12*z - 440. Is 6 a factor of z*(-15)/9 + (-1)/(-3)?
False
Let h = -596 - -881. Is h a multiple of 15?
True
Let q be ((-74)/(-4))/(11/(-198)). Let i = -197 - q. Does 21 divide i?
False
Suppose -2*v + v + 10 = 3*n, -3*v + 4*n - 22 = 0. Is 5 a factor of (-95)/(-3 + v) + -4?
True
Let g be 0 + -1 - (-23 - -13). Suppose -703 = -g*k - 253. Is k a multiple of 5?
True
Let y = 373 + -258. Let o = y + -16. Does 43 divide o?
False
Let j(l) = 2*l**2 - l**2 - 73 + 83 + 11*l. Let q be j(-10). Suppose 4*y = -v + 147, q = -0*y + 3*y - 4*v - 96. Does 12 divide y?
True
Let n(a) = 33*a - 4. Let l be (-11)/(99/18)*(-1)/2. Is n(l) a multiple of 2?
False
Suppose -13*f = -15*f. Suppose 0*i + 2*i - 70 = f. Let r = 14 + i. Is 19 a factor of r?
False
Let o(a) = 4*a**2 + a + 2. Let n be o(-1). Suppose -414 = -u - n*u. Suppose -3*x + 213 - u = 0. Is x a multiple of 16?
True
Let s(y) = 21*y + 3. Let d be s(-6). Let c = -15 - d. Does 27 divide c?
True
Suppose -3*d - 4*i + 3274 - 712 = 0, -5*d + 4238 = -4*i. Is 34 a factor of d?
True
Suppose 27161 + 991 = 36*i. Is 46 a factor of i?
True
Let j = 446 - 313. Is 7 a factor of j?
True
Let s(x) = -x**3 - 2*x**2 + 4*x + 2. Let f be s(-3). Is 11 a factor of 50 + 19 + (3 - 0)/f?
True
Let z(o) = -o**3 - 7*o**2 - 8*o - 6. Let a be z(-6). Let w(d) = d**2 - d - 6. Let m be w(