Is 2 a factor of r?
False
Suppose -5 + 1 = 2*v. Let z(h) = -h**3 - h**2 - 3*h - 2. Let q be z(-2). Let x = q - v. Is 4 a factor of x?
False
Let a(y) be the first derivative of 27*y**2/2 - 10*y - 26. Does 14 divide a(3)?
False
Let n(d) = 5*d - 15. Let i be n(8). Suppose 5*a - 2*g - 2*g = 45, -2*a + 3*g = -i. Let j(k) = -k**3 + 5*k**2 + k + 7. Is j(a) a multiple of 2?
True
Let b(z) = -z**3 - 9*z**2 - 3*z - 22. Let a be b(-9). Suppose 5*y + 4*j + 28 = 7*y, a*y + 4*j - 140 = 0. Does 8 divide y?
True
Suppose -53 = -3*l - 5*p + 376, -3*l + 8*p = -390. Does 6 divide l?
True
Let h be 4/6 - (-292)/12. Suppose 4*p - 7*f = -2*f + h, -f - 1 = 0. Suppose p*j + 16 = r, r - 3*j = 2*r - 48. Is r a multiple of 12?
True
Let k(y) = y**3 - 4*y**2 - 4*y - 1. Let x be k(5). Suppose -432 = -x*r + r. Does 17 divide r?
False
Let m be (-1)/(2/4) + 0. Let i = -51 - m. Let c = -32 - i. Is c a multiple of 5?
False
Let m = -185 + 266. Is m a multiple of 2?
False
Suppose 2*v = 1866 + 1608. Does 11 divide v?
False
Is 8 + (-6 - -256) + 4 a multiple of 13?
False
Let p = -9 + 12. Suppose 4*i = -5*a + p, -3*i - 9 = -0*i. Suppose 160 = 5*y + s, 3*y = 8*y - a*s - 160. Is y a multiple of 13?
False
Let v be (-2)/4*1*(-6 + -2). Suppose -3*l - 681 = -6*l + y, 0 = v*l - 3*y - 903. Does 38 divide l?
True
Let f(b) = b - 16. Let q be f(18). Suppose l - p + 20 = 159, -4*p = q*l - 302. Is 28 a factor of l?
False
Suppose f + 16 = -f. Let y be 0 + 0 + 1 + 15. Let c = y - f. Does 9 divide c?
False
Let o be (-9)/(540/(-8)) + 6703/15. Suppose -2*n + 190 + 103 = -j, 3*n = 3*j + o. Is 13 a factor of n?
False
Let l = -6 - -46. Suppose 5*y = 50 + l. Is y a multiple of 9?
True
Suppose 8*f = 602 + 486. Does 34 divide f?
True
Suppose 4*t - 4*t = 5*t. Suppose 6*s - 702 = -t*s. Is 32 a factor of s?
False
Suppose 6*z - 21 = 3. Suppose -z*a = -5*n - 3*a + 176, -3*a - 96 = -3*n. Is n a multiple of 12?
True
Let u(r) = r**2 - 10*r + 27. Suppose -110 = -8*b - 2*b. Is 19 a factor of u(b)?
True
Let o = 40 - 36. Suppose -5*v = -j - 94, -o*v - 2*j + 52 = 3*j. Is 9 a factor of v?
True
Let u = -701 - -1334. Does 90 divide u?
False
Let w(k) = -k**2 + 7*k + 6. Let m be w(7). Suppose -l + 3*g + 28 = 0, 5*g - 26 = -l - m. Is 25 a factor of l?
True
Is 9 a factor of 72/(-10)*2/((-36)/315)?
True
Let i(h) = -2*h + 29. Let y be i(14). Does 19 divide 57/(-6)*(y - 3)?
True
Let q be 1/2 + 56/(-16). Let l = 27 - q. Is l a multiple of 5?
True
Suppose -4*h + 5*b = 6 + 15, -4*b + 18 = -2*h. Let o = 1 + h. Suppose -o*q + 3*m = -5 - 0, -27 = -3*q - 2*m. Is 7 a factor of q?
True
Let u be ((-3)/12)/(7/(-56)). Suppose -u*d + 45 = -163. Is d a multiple of 14?
False
Let i = 45 + -47. Let c(f) = -71*f - 8. Is 16 a factor of c(i)?
False
Suppose 3*a = -30 - 9. Suppose 17*y - 21*y - 5*h = 327, 3*y + 4*h + 246 = 0. Is 22 a factor of (-12)/y - 570/a?
True
Suppose 0 = -3*j - 6 + 18. Suppose 5*a + j*g = 2*g + 140, -g = 0. Does 7 divide a?
True
Let a(c) = c**3 - 8*c**2 - 7*c - 17. Let p be a(9). Is 26 a factor of (-75)/((p - 3)/2)?
False
Let d = -23 - -24. Does 23 divide 236/(3 - d) - 3?
True
Let q(s) = -s**3 - 16*s**2 + 15*s + 37. Let j = -111 - -94. Is 11 a factor of q(j)?
False
Let t = 2045 - 1229. Is t a multiple of 48?
True
Let t = -432 + 809. Let m = -165 + t. Is m a multiple of 53?
True
Let a be ((-130)/4)/(2/4). Let q be 24/10 - 39/a. Suppose -q*b + 116 + 22 = 0. Does 23 divide b?
True
Suppose 0*g + 4*g - 256 = 0. Let d be 4 - (-4 - 62)*(-15)/(-10). Let z = d - g. Is z a multiple of 7?
False
Let n be 26/(-8) + 1/4 + 5. Suppose a + 16 = 5*a. Suppose -2*x = n*j - 140, j + 3*x = -a*j + 342. Does 22 divide j?
True
Let k(o) be the third derivative of o**6/120 - 7*o**5/60 - o**4/24 - 5*o**3/6 - 2*o**2 + 1. Does 15 divide k(9)?
False
Suppose -5573 = -31*p + 2890. Does 7 divide p?
True
Suppose 723 = 4*x - 45. Suppose 5*w + x = 9*w. Does 12 divide w?
True
Suppose -3*w + 21 = -33. Let c(a) = -a**3 + 19*a**2 - 8*a + 12. Is 20 a factor of c(w)?
False
Suppose -5*s = 2*n - 302, -7*s = -3*n - 8*s + 427. Is 14 a factor of n?
False
Is 44 a factor of (-6501)/(-9) + -4 + 2/3?
False
Suppose -5*b + 3 + 12 = 0. Suppose -3*m - 3*x + 75 = 0, b*x = -3*m + x + 80. Is 666/m - 2/10 a multiple of 7?
False
Let s = 560 + 208. Suppose k - s = -5*k. Is 16 a factor of k?
True
Let u(r) = -4*r + 1. Let c be 6/18 + (-13)/3. Let x(y) = 9*y - 2. Let o(h) = c*x(h) - 7*u(h). Is 18 a factor of o(-6)?
False
Suppose 3*h + 5*s - 367 = 0, 4*h - 2*s - 131 = 367. Does 34 divide h?
False
Let v be (-4)/(-8) + (-1196)/(-8). Suppose 3*j = 4*j, -v = -5*b - 2*j. Is 15 a factor of b?
True
Let c(x) be the third derivative of -13*x**4/8 + x**3/2 - 8*x**2. Let v be c(-3). Suppose 0*b = 2*b - v. Is 20 a factor of b?
True
Suppose 2*x - 40 = 266. Is 9 a factor of x?
True
Suppose 4*w + 58 = -2. Let n = w + 15. Suppose n*o + 342 = 3*o. Is o a multiple of 28?
False
Suppose 0 = 5*n - 2*g + g, 0 = -2*g + 10. Let t = 9 + -4. Is 50 + (n - 4) + t a multiple of 13?
True
Let a(l) = -2*l + 2. Suppose 2*y - 74 = -14. Suppose y = -5*r + 2*r. Is a(r) a multiple of 18?
False
Is 23 a factor of -2240*((-81)/15 + 5)?
False
Let l(j) = -492*j**3 - j**2 - 3*j. Does 13 divide l(-1)?
True
Let g = 26 + -52. Let l = g - -17. Let y(p) = -p**3 - 9*p**2 - 9*p - 6. Is 33 a factor of y(l)?
False
Let x = -1189 + 1668. Is 8 a factor of x?
False
Let n(u) = u**2 - u + 1. Let z be n(2). Suppose 0 = -4*d + z*d + 99. Is 12 a factor of d/6*(-24)/(-9)?
False
Suppose w = 356 - 123. Let m = -28 + w. Is 41 a factor of m?
True
Suppose 4 = -3*x + 4*x. Suppose -d = x*u - 66, 0 = -d + 2*u - 3*u + 57. Let h = d - 0. Is 18 a factor of h?
True
Suppose 10 - 2 = 2*p. Let z(i) = 7*i - 4. Let h be z(p). Suppose -18*y + 22*y - h = 0. Is y a multiple of 6?
True
Suppose -5*d - o + 3*o = -26, 0 = -3*d + 2*o + 14. Does 14 divide (-9)/(27/d)*-49?
True
Suppose 3*j + 177 = -y + 5*y, 0 = -3*y - 2*j + 137. Suppose y = 2*c - 93. Does 8 divide c?
False
Let b(z) = -3*z**2 + 5*z + 21. Let h(k) = 3*k - 2*k**2 + 3*k**2 - 1 - 5*k - 6. Let t(m) = -3*b(m) - 8*h(m). Does 6 divide t(-6)?
False
Let l = 6 + -2. Suppose 0 = -i + 1 + 1. Suppose i*a = -3*q + 45, -52 = -0*a - 2*a + l*q. Is 12 a factor of a?
True
Suppose t + 270 = -4*t. Let k = t + 27. Let h = -23 - k. Does 4 divide h?
True
Let m(r) = -57*r - 222. Is 5 a factor of m(-13)?
False
Let s be 2/(-13) + (-60856)/(-104). Suppose -3*p + s = 3*b, -5*b - 3*p = -223 - 754. Is b a multiple of 14?
True
Let r = -92 + 96. Suppose -7*d - 4*n = -3*d - 672, 2*d - 330 = -r*n. Is d a multiple of 23?
False
Suppose -4*k + 16 = 4*o, 41 = 4*o + k + 13. Suppose -o*v + v + 168 = 0. Is v a multiple of 8?
True
Does 9 divide 3008/18 - (318/(-54) + 6)?
False
Suppose 207 = 21*w - 24*w. Let f = 157 + w. Is f a multiple of 11?
True
Let t(d) be the third derivative of -d**5/60 + d**4/12 + 28*d**3/3 + 2*d**2. Let r(m) = m**3 - 12*m**2 - 2*m + 24. Let b be r(12). Does 14 divide t(b)?
True
Let x(k) = 16 + 12*k**2 - 11*k**3 + 12*k**3 + 3*k - 16*k. Is 2 a factor of x(-13)?
True
Suppose r + 2*r + 21 = 0. Let g be (128/(-112))/(2/r). Suppose -5*b - 4*o = -2 - 63, -5*o - 11 = -g*b. Is 9 a factor of b?
True
Let v(q) = -3*q**3 + 7*q**2 - 7*q + 1. Let a(r) = 2*r**3 - 4*r**2 + 4*r. Let b(s) = 5*a(s) + 3*v(s). Let t be b(0). Let w = t - -39. Does 14 divide w?
True
Let p(q) = q + 15. Let w be p(-12). Suppose 5*x - 426 = -3*v, 0*x + w*x - 262 = -5*v. Is x a multiple of 26?
False
Suppose a + 1 = 4*w - 45, -5*a = 2*w - 34. Let v = w - 10. Suppose -98 = -4*p + b - v*b, 4*b - 8 = 0. Is p a multiple of 6?
True
Suppose 9921 = 23*p + 2883. Does 18 divide p?
True
Let a = -62 + 92. Let w = a - -14. Does 15 divide w?
False
Let c(z) = 22*z + 86. Does 56 divide c(19)?
True
Let w = 7 + -6. Suppose -4*s + 7 = -w. Suppose 2*v + 0*v - 50 = s*n, -13 = -v - 2*n. Is v a multiple of 21?
True
Suppose 55 - 19 = 4*n. Suppose 4*d + 280 = n*d. Suppose h - 5*k = d + 29, -3*h = 4*k - 160. Is 15 a factor of h?
True
Suppose 8*o - 10*o + 10 = 0. Let n(q) = -75*q - 1. Let w be n(-2). Suppose -w = -o*s - 49. Is 20 a factor of s?
True
Let v(l) = -51*l + 111. Is v(-3) a multiple of 12?
True
Suppose 0 = 3*d - 6, -5*d - 478 = -4*j. Is 24 a factor of j?
False
Let w = -1012 + 448. Is 43 a factor of (2/6)/((-4)/w)?
False
Suppose -106 = 2*z - 5*c, -2*z + 2*c - 22 - 96 = 0. Let f = z - -199. Is 1