ple of 16?
False
Let r be 2/(26/(-8) - -3). Let c(j) = j**3 + 7*j**2 - 8*j + 2. Let s be c(r). Suppose -s*t + 12 = i - 2*i, -5*t - 3*i = -52. Is t a multiple of 5?
False
Is (10 + 13363/7)*1 a multiple of 19?
True
Let m(h) = 18*h**2 - 2*h. Let p be m(-1). Suppose 2*g + p = 214. Is g a multiple of 24?
False
Suppose 33 = 4*c - 31. Let n = -8 + c. Let o = 23 + n. Is 12 a factor of o?
False
Let m(k) = -124*k + 18. Does 12 divide m(-4)?
False
Suppose -1859 = -4*a + 5*p, -3*a + 4*p - 3*p + 1386 = 0. Suppose 0 = -5*i + s + 799, -4*i + 4*s = -7*i + a. Is i a multiple of 12?
False
Let k(m) = m**3 + 36*m**2 - 48*m + 132. Does 77 divide k(-37)?
True
Let v(c) = c**2 - 19*c - 32. Does 24 divide v(-13)?
True
Let r(c) = 5*c**2 + 19*c - 66. Does 7 divide r(4)?
False
Let y(u) = -2*u + 5. Let k be y(0). Suppose 215 = k*n - 420. Let x = -90 + n. Does 8 divide x?
False
Does 4 divide ((-2938)/(-130))/((-2)/(-10))?
False
Let b = 1314 - 754. Is 9 a factor of b?
False
Let q be ((1 - 1)/(-5))/1. Suppose 3*f - 13 - 47 = q. Is 7 a factor of f?
False
Let g = 106 - 48. Suppose 6*c + g = 154. Is 16 a factor of c?
True
Let z = -1 + 6. Suppose 0 = z*o - 51 + 226. Let p = o + 51. Is 8 a factor of p?
True
Suppose 3*a - 2*f - 17 = 2*f, -4*f - 8 = 0. Suppose -a*q = 3*w - 408, -2*q = -w - 2*w + 388. Does 43 divide w?
False
Let c be (-2)/(-4) - 286/(-4). Let j = c + 103. Does 29 divide j/2 + 1/(-2)?
True
Suppose 5*l + 16 + 29 = 0. Let q = 7 - l. Let v = 29 - q. Is v a multiple of 5?
False
Suppose -3*o + 381 = -6*z + z, -o + 3*z = -131. Let h = -117 + o. Is 5 a factor of h?
True
Let d(x) = -58*x + 412. Does 14 divide d(-23)?
False
Let r(x) = 9*x**2 + 10*x + 17. Let d be r(6). Suppose -d = -5*t + c + c, -3 = c. Is 10 a factor of t?
False
Suppose -634 = -2*d - 4*w, 0 = 6*d - 2*d - w - 1268. Suppose -5*g - 3*k + d = 0, -2*g = 2*g + 5*k - 264. Is g a multiple of 13?
False
Let u(x) = -142*x + 24. Is u(-4) even?
True
Suppose -5*d = k - 593, 10*k = 14*k + 3*d - 2372. Is k a multiple of 14?
False
Is 5 a factor of 552 + 3 - (-3 + (-10)/5)?
True
Suppose -4*h = -5*f + 1221 + 5245, 4*f = -h + 5177. Is f a multiple of 25?
False
Let h be (-10)/75*5 + 2/3. Suppose a - 28 - 116 = h. Does 30 divide a?
False
Let q be 33/6 - 1/(-2). Suppose -6*n + 2*n - 312 = -2*h, 0 = -2*h + 3*n + 314. Suppose -2*v - h = -q*v. Does 11 divide v?
False
Let q be 22*((-3)/9 + 172/(-24)). Is ((-4)/(-5))/(-5 - 831/q) a multiple of 8?
False
Suppose 30 = -20*j + 26*j. Suppose 0 = o + 4*o, 0 = -j*l + 5*o + 65. Is 2 a factor of l?
False
Let x be (-8)/28 + 4/14. Suppose -l + x*l = -7. Suppose -3*v = -n - l, 4*v - 7 = n + 5. Does 3 divide n?
False
Suppose 3*d - d + 120 = 0. Let s = d + 124. Is s a multiple of 16?
True
Let t(z) = -z**2 + 61*z - 10. Is 23 a factor of t(30)?
True
Let j be 369 - -33 - (-3)/(-2)*2. Let y = j + -136. Is y a multiple of 31?
False
Suppose 0 = -8*r + 4*r + 76. Let u = 27 - r. Is 8 a factor of u?
True
Suppose -530*g = -528*g - 6184. Is 96 a factor of g?
False
Let h = -96 + 30. Let p = 13 - h. Does 22 divide p?
False
Let q(m) be the first derivative of -m**3/3 + 9*m**2/2 + 2*m - 4. Let z be q(9). Suppose -z*r + 5*r = 66. Does 11 divide r?
True
Let j = -20 - -25. Suppose 0*o + 15 = j*o. Let t = 9 + o. Is 12 a factor of t?
True
Suppose -8*l - 849 - 79 = 0. Let d = l + 195. Is 36 a factor of d?
False
Suppose 0 = -2*g - 6*f + 2*f - 10, -40 = 4*g + 3*f. Let k(q) = q**2 + 4*q + 1. Let c(j) = j**2 + 5*j. Let d(x) = 4*c(x) - 3*k(x). Is d(g) a multiple of 9?
False
Suppose -12*y + 8 = -10*y. Suppose -38 = y*g - 110. Let b = g - 15. Does 2 divide b?
False
Suppose 0 = -0*j - 2*j. Suppose j = -2*x + 9 + 1. Suppose 0*s + 275 = x*s. Is s a multiple of 8?
False
Suppose -4*f + 842 = p, -7*p + 10*p = f + 2552. Is 17 a factor of p?
True
Is 1969/3 - (-59)/(-177) a multiple of 42?
False
Let d be ((-15)/6 - -3)*8. Let j be 1 + (d/(-4) - 0). Does 2 divide 1 - j - (2 + -5)?
True
Does 35 divide (4 + -3 + 1)*(4 + 317)?
False
Let z(t) = -6*t - t**3 + 4*t**2 + 0*t**2 + 1 + 7*t - 2. Is z(3) a multiple of 11?
True
Suppose 29*h - 1860 = 228. Is h a multiple of 72?
True
Let c = -60 + 105. Let j(r) = -11 + c - r**3 + 6*r**2 - 3*r**2 - 4*r**2. Does 16 divide j(0)?
False
Suppose i = -3, 0*h - 4*h + 5*i + 9015 = 0. Is h a multiple of 45?
True
Let u be (-6)/21 + (-90)/(-21). Suppose 0 = -3*b + 4*t + 66, u*t + 84 = 2*b + 2*b. Is b a multiple of 9?
True
Let n(b) = -b**2 + b + 1. Let h be n(1). Let q = -9 - h. Is 30 a factor of (4/q)/((-9)/2025)?
True
Let w(c) = 4 - 1 - 6 + 2. Let b(v) = 2*v + 4. Let l(q) = b(q) + 4*w(q). Is 4 a factor of l(7)?
False
Let w be 1 - (-34)/6 - (-28)/(-42). Suppose w*r = r + 355. Does 19 divide r?
False
Let q(s) = s**2 - 13*s. Let u be q(10). Let p = -20 - u. Does 10 divide p?
True
Let s = 4669 + -2854. Is s a multiple of 14?
False
Let d(y) = -2*y. Let x be d(0). Suppose -o + 603 = -5*r - x*r, 0 = -3*r - 5*o - 373. Let t = -75 - r. Does 9 divide t?
False
Suppose -2*i - 76 = 36. Let a = i - -82. Does 3 divide a?
False
Suppose -99*p + 1080 = -90*p. Is p a multiple of 3?
True
Let x = 50 + -50. Suppose x = 5*l - 12*l + 231. Is 13 a factor of l?
False
Let r = 14 - -154. Suppose -5*x = -9*x + r. Is 7 a factor of x?
True
Suppose -12 = -3*o + 15. Let c = o + 11. Suppose 2*a = 5*b - 30 - c, -a = 0. Does 5 divide b?
True
Let m(y) = -22*y - 7. Let b be (-29 - 1)*(-6)/18. Suppose -14 = 2*a - b. Is m(a) a multiple of 8?
False
Is (-1 - (-112)/21)*45 a multiple of 65?
True
Suppose -3*j + 2508 = 3*k, -1676 = -22*j + 20*j - 4*k. Does 6 divide j?
True
Suppose 0 = 4*w - 5*f - 57, -6*w + 30 = -w + 2*f. Suppose w*k - 1027 - 245 = 0. Is k a multiple of 14?
False
Is (-39)/(((-37)/12)/37) a multiple of 13?
True
Let d(g) = 5*g + 49. Let n(m) = 9*m + 98. Let o(v) = -7*d(v) + 4*n(v). Is o(18) a multiple of 13?
False
Suppose -8*x + 43*x = 18830. Does 22 divide x?
False
Let v = -123 + 126. Suppose -3*w - 2*c + 179 = 0, -4*w + 6*w - v*c = 141. Is w a multiple of 21?
True
Suppose 0 = -2*o - 44 + 184. Suppose -30 = b - 3*b - f, 3*f = 4*b - o. Suppose 0 = -2*z + 14 + b. Is z a multiple of 13?
False
Let v = 29 + -32. Is 100/8 - v/(-6) a multiple of 9?
False
Suppose -4*s = -4, 4*j - 380 = -2*s + 870. Let v = j - 128. Does 20 divide v?
False
Let q be (0 - 3) + 11 + -3. Suppose -3*t + 141 = 3*v, -q*t - 3*v - 83 + 308 = 0. Is 10 a factor of t?
False
Let j(h) = h**3 + 10*h**2 - 6*h - 12. Is j(-10) a multiple of 7?
False
Suppose 0 = -p - 9 + 12. Suppose 2*c - 240 = -p*c. Is 36 a factor of c?
False
Let o be 4/(-6)*(-39 + 9). Suppose p + 4*j + 16 - 1 = 0, -p - 5*j = o. Suppose -2*n - 4*z - 356 = -7*n, p*n = -4*z + 364. Is 12 a factor of n?
True
Suppose u - c - 124 = 0, -3*u + 22*c = 24*c - 352. Is u a multiple of 6?
True
Suppose 4*z + z + 4*i - 5561 = 0, 5*i - 1108 = -z. Is 44 a factor of z?
False
Let v(k) = -29*k + 277. Is 46 a factor of v(-12)?
False
Let q = -100 - -100. Suppose q = -7*k + 4*k + 66. Is k a multiple of 4?
False
Let g = 30 - 30. Let j(n) = -2*n - 347. Let s be j(g). Is s/(-3) - (-5)/15 a multiple of 28?
False
Let j be (-16)/(-4) + 1/1. Suppose -3*b + s = -3 - 4, -s = -2*b + j. Suppose 0 = g + 4*w, b*g + w + 21 = 7*g. Is g a multiple of 3?
False
Suppose -20 = 4*v - v + 2*q, 32 = -5*v - 2*q. Let g(l) be the third derivative of l**5/60 + 5*l**4/24 + 9*l**2. Is g(v) a multiple of 3?
True
Let p(r) = -r**2 - 5*r. Let t be (4/(-3))/(2/6). Let v be p(t). Suppose -3*o - q = -2*o - 7, 0 = 2*o + v*q - 24. Does 2 divide o?
True
Let t = -337 - -374. Is t a multiple of 2?
False
Is ((-11)/((-660)/168))/((-1)/(-175)) a multiple of 4?
False
Suppose -5*f = 3 + 2. Let v be (-3*7 - -3)*f. Is 3/v*3*40 a multiple of 10?
True
Let y = 898 - 878. Does 17 divide y?
False
Let v be (2/5)/(4/140). Let m(b) = b**3 - 14*b**2 - 2*b + 5. Let g be m(v). Let o = 41 + g. Does 9 divide o?
True
Let i(f) = f**3 + 15*f**2 + 4*f - 1. Is i(-8) a multiple of 22?
False
Does 28 divide (3 + -23)/5*-882?
True
Let p(r) = 2*r**2 + 9*r + 9. Let s be p(-5). Let v = 38 - s. Is v a multiple of 12?
True
Let b(n) be the first derivative of 3*n + 1 + 5*n**2 - 3*n + 3*n. Does 17 divide b(3)?
False
Is (81/(-21) - 3)/((-14)/147) a multiple of 12?
True
Let m(o) = -2*o**2 - 12*o + 16. Let s be m(-7). Does 32 divide 5 - 1 - -30 - s?
True
Suppose 2 = -2*l, -2*w - 3*l - 2*l + 371 = 0. Suppose -m - 3