 r?
True
Suppose r = -r + 16. Suppose r + 4 = -2*x. Is 3 a factor of (2/x - 1)*-9?
True
Suppose -m = 2*m + 15, 0 = 4*w + 3*m - 65. Suppose 3*n - k = n + 13, 5*k + w = n. Suppose -2*g = 8, r + 2*g + 128 = n*r. Is 12 a factor of r?
False
Suppose -8*k + 2401 = -k. Does 7 divide k/(-21)*(0 + -3)?
True
Let i(r) = r**2 + 9*r + 19. Let a(x) = x**2 + 1. Let t(m) = 6*a(m) - i(m). Let n(z) = 26*z**2 - 46*z - 65. Let h(c) = -2*n(c) + 11*t(c). Is 17 a factor of h(7)?
True
Let v = 23 + -69. Let t = v - -142. Is t a multiple of 12?
True
Does 8 divide 2/16 + (-25326)/(-144)?
True
Suppose 3*w - 4*z = -260, 4*z = -2*w - 135 - 5. Does 13 divide (208/(-10))/(32/w)?
True
Suppose -12969 = 56*u - 65*u. Is u a multiple of 13?
False
Suppose -20*y = -4714 - 8826. Does 56 divide y?
False
Let t be (-3 + 26)/((-6)/6). Let d(b) = b**2 + 14*b + 12. Let r be d(-9). Let g = t - r. Does 4 divide g?
False
Suppose -5*h = 5*m + 335, -2*h + 3*h = 4*m + 288. Let b = m + 162. Suppose 3*q + 2*p = -p + 264, -q - 2*p + b = 0. Is q a multiple of 17?
True
Suppose 8*d - 2*d + 12 = 0. Let w(j) = 3 - 2 + 0*j**3 - 7*j**3. Does 19 divide w(d)?
True
Let o = 242 - -1553. Is o a multiple of 41?
False
Let k = 16 - 16. Suppose -3*m + 5*r + 31 = k, -m + 2*r = -4*m - 4. Suppose -f = -m - 27. Is f a multiple of 8?
False
Is 29184/(-32)*(-6)/9 a multiple of 5?
False
Suppose f - 4*a = -f + 42, -3*f + 108 = 3*a. Is 2 a factor of f?
False
Let k(a) = 44*a**2 + 3*a + 4. Let h = 128 - 130. Is k(h) a multiple of 36?
False
Let r(j) = 12*j**2 - 22*j - 4. Is r(-8) a multiple of 34?
False
Suppose -5*o - 5*p + 18516 - 716 = 0, 0 = 4*o - 5*p - 14213. Is o a multiple of 126?
False
Let a(p) = p + 15. Let c(r) = r**2 + 3*r + 1. Let j be c(-4). Suppose -3*t + 0 - 6 = 0, 0 = 4*h - j*t - 10. Is a(h) a multiple of 5?
True
Let i(h) = -44*h + 18. Does 25 divide i(-2)?
False
Does 19 divide (-60)/(-120) + (-1747)/(-2)?
True
Suppose -19 = 4*r + 9. Let o(f) = 4*f**2 + 8*f - 9. Let n be o(r). Suppose n = 2*s - 55. Is 26 a factor of s?
False
Let s = -10 - -12. Suppose g - s*g = -16. Suppose -g = -z + 10. Is z a multiple of 13?
True
Suppose 2*j - 4*m = -354, -587 = 5*j - 4*m + 280. Let b = -92 - j. Is b a multiple of 10?
False
Let a(y) = y + 11. Let g be a(-12). Let u(f) be the first derivative of 4*f**3/3 - 1. Does 2 divide u(g)?
True
Suppose -11 = -u - 4*l - 4, -2*u + 14 = 4*l. Let r(v) be the first derivative of v**4/4 - 2*v**3 + v**2 - v - 283. Does 7 divide r(u)?
False
Let k be 69 + 10/(-1 - 4). Suppose -9 = -z + k. Is z a multiple of 7?
False
Let k(p) be the second derivative of -p**6/40 + p**4/24 - p**3/2 - p**2 - 2*p. Let o(g) be the first derivative of k(g). Is 25 a factor of o(-3)?
True
Is 2 a factor of 54 + (-1 - 0) - 44/11?
False
Let y(u) = -u**3 + 14*u**2 + 17*u - 2. Let r(d) = -d**3 - 8*d**2 - 3*d - 4. Let j be r(-8). Suppose -p + j = 5. Is y(p) a multiple of 10?
False
Let i(f) = -f**2 + 20. Let t be i(5). Is 4 a factor of t/30*8*-36?
True
Suppose -k + 18 = k. Let u(c) = -2*c**2 - 9*c + 14. Let a be u(-6). Let w = k + a. Is w a multiple of 5?
True
Let a(t) = -28*t - 136. Let h be a(-5). Suppose -6*y + 2*y = -480. Suppose u + f - 17 = 0, u + h*u - 2*f = y. Is u a multiple of 11?
True
Let p(h) = -4*h**3 - 6*h**2 - 6*h - 6. Let k(s) = -3*s**3 - 6*s**2 - 5*s - 6. Let n(x) = -3*k(x) + 2*p(x). Let u be n(-7). Is 9 a factor of u/(-10)*(-25)/(-10)?
False
Suppose 3*t = -3*z + 600, 0*z - t = -3*z + 600. Suppose -5*l + 0*l + z = 0. Does 10 divide l?
True
Suppose -16*a - 364 = -17*a. Is 52 a factor of a?
True
Let t(z) = -67*z + 118. Is 10 a factor of t(-3)?
False
Let n(a) = -177*a**3 + 3*a + 2. Suppose -3 + 10 = -c - 3*q, 2*q + 3 = c. Does 22 divide n(c)?
True
Let t = 21 - -105. Is 9 a factor of t?
True
Let d = 361 + -255. Does 3 divide d?
False
Let s(u) = 2*u + 3. Let n be s(1). Suppose 3 = -n*i + 88. Is 6 a factor of i?
False
Does 14 divide (549/(-5))/((-102)/340)?
False
Let j = 12 + 410. Is 10 a factor of 2/(-14) - j/(-14)?
True
Let a be 180/72 + (-2)/(-4). Let g(y) = y**3 + y**2 - y. Let o be g(2). Suppose -o - 38 = -a*p. Does 4 divide p?
True
Let h(t) = 16*t**3 + t - 1. Let q be h(1). Let s(d) = d**3 - 16*d**2 + 7*d - 24. Does 13 divide s(q)?
False
Let r be 41/13 - 12/78. Suppose -2*v + 9 = -r. Does 15 divide (-4)/v + 332/12?
False
Suppose -27 + 75 = -3*h. Let r(u) = -u**2 - 20*u + 22. Let d be r(h). Suppose 0 = -3*k + 73 + d. Does 24 divide k?
False
Suppose -5*z + y = -673, -2*y + 139 = z - 0*y. Is 9 a factor of z?
True
Suppose -5*l = -w + 236, -2*w = -4*l + 2*l - 504. Does 16 divide w?
True
Let l(y) = y**2 - 6*y + 5. Let q(n) = -13*n + 2*n**2 + 6 - n**3 + 2*n + 4*n. Let x(r) = 3*l(r) - 2*q(r). Does 3 divide x(2)?
False
Let f(y) = 37*y**2 + 2*y - 1. Suppose 0 = 6*b - b - 4*s - 9, -b = -3*s - 4. Does 6 divide f(b)?
False
Suppose -3*j - s - 85 = 0, -6*j - 147 = -j - s. Let r = 32 + j. Suppose -r*n = -n - 18. Is 2 a factor of n?
False
Suppose 0 = 6*r + 588 - 660. Is r a multiple of 4?
True
Let f(n) = 43*n - 3. Let p = -44 + 45. Does 21 divide f(p)?
False
Let y be -9 + 5 + (6 - 2). Suppose 2*r - 3*r + 16 = y. Is r a multiple of 16?
True
Let i(y) be the second derivative of 34*y**3/3 - 5*y**2/2 + 46*y. Is i(1) a multiple of 10?
False
Suppose b - 4*y + 5*y = 189, 0 = -4*b + 2*y + 762. Is 5 a factor of b?
True
Suppose -4*p = 2*b - 22, -p - 2*b = -3*p + 20. Suppose -p*s = -s - 24. Suppose 0 = -4*n + 5*t + 120, s*n = -t + 62 + 82. Is n a multiple of 13?
False
Let a be 6/9*(-279)/(-3). Suppose -z - 15 = -c + 5, 3*c - z - a = 0. Is 12 a factor of c?
False
Let j(y) = y**2 + 4*y + 5. Let n be j(-4). Suppose -n*t - 2 = -l - 27, -5*l - 5 = 5*t. Suppose -3*g + 320 = t*b, 5*g + 320 = -0*b + 4*b. Is b a multiple of 16?
True
Let w = 260 - 104. Let t = w + -81. Let i = t - 40. Does 14 divide i?
False
Suppose -82 = -12*q - 10. Is (q/(-4))/((-3)/150*3) a multiple of 23?
False
Suppose 1719 = -4*v + 4791. Is v a multiple of 16?
True
Suppose -2546 = -4*h - 0*g + 5*g, 0 = 2*h + 2*g - 1264. Is 97 a factor of h?
False
Let y(w) = 3*w**2 - 2*w + 4. Let l be y(-4). Let x be 5/(5/2) - -118. Suppose 5*z - l = x. Is 9 a factor of z?
True
Suppose 0 = 3*s + 4 + 2. Let k = 2 + s. Suppose k = 5*q + 3*r - 168, 3*r + 63 = 2*q - 21. Is 13 a factor of q?
False
Let p be ((-606)/(-4))/(12/(-32)). Let w = 692 + p. Suppose s + w = 7*s. Does 16 divide s?
True
Let j(d) = 38*d**2 + 8*d + 9. Is 29 a factor of j(-2)?
True
Suppose -v = 3*s - 51, 3*v + 13*s - 133 = 9*s. Suppose 0 = 3*l - l - 16. Suppose -l*t + v = -5*t. Does 4 divide t?
False
Suppose 40*i + 3 = 39*i, j - 5*i = 565. Does 27 divide j?
False
Let t(d) = 1 + 0*d - 4*d + 5*d**2 + 0*d**2 - d**3 + 2. Let f be t(4). Suppose -180 = -f*u - 0*u. Does 20 divide u?
True
Suppose 0 = -x - d + 3, 0*d = x - 2*d. Is 31 a factor of (-1 - x - 71)*-1?
False
Suppose 3*s = -4*d + 8679, -115*d + s + 4347 = -113*d. Is 25 a factor of d?
False
Let w be 3/3*40 - 4. Let b = w + -20. Let t = -10 + b. Is t a multiple of 3?
True
Let k(y) = -2*y**3 - 2*y**2 - 4*y. Let m be k(-3). Suppose -8*w + m = -5*w. Is w a multiple of 2?
True
Let d(y) be the first derivative of 0*y**2 + 52*y + 8 + 1/3*y**3. Is d(0) a multiple of 26?
True
Let o = -170 + 302. Does 11 divide o?
True
Suppose -3*a = 4*z - 272, -4*a - 4*z = -7*a + 232. Suppose 39 + a = 3*p. Is p a multiple of 5?
False
Let h = 100 + -98. Let u be 2/(-4) - 3/(-6). Suppose -2*c - h*c + 120 = u. Is c a multiple of 11?
False
Let d = 197 + -91. Suppose -254 - d = -6*h. Is 20 a factor of h?
True
Let m(h) = 54*h**2 + 2*h + 1. Let z = -19 + 18. Let u be m(z). Let j = -20 + u. Does 12 divide j?
False
Let t = 1294 - 650. Does 28 divide t?
True
Let p = 8 - 1. Suppose -5*f + 3 = -p. Suppose -90 = -4*k - f. Does 22 divide k?
True
Let w(x) = 10*x + 155. Is 55 a factor of w(-10)?
True
Does 27 divide 3/(-12) + (-3732)/(-16)*1?
False
Let z = -1250 + 2824. Is z a multiple of 6?
False
Suppose 6 = -2*s + 3*s + 2*k, 12 = -5*s + 4*k. Suppose 5*o - 222 - 168 = s. Does 6 divide o?
True
Let p(r) = -14*r**2 - 2 + 15*r + 0*r**3 + 0 + r**3. Suppose -3*w = 2*j - w - 22, 4*j - 62 = 5*w. Is 8 a factor of p(j)?
True
Suppose 3*k + 11721 = -4*s + 9*s, s = 4*k + 2334. Is s a multiple of 102?
True
Let x be (2 + 1)*((-8)/3 - -4). Suppose -5*j - 9 - 6 = 0. Does 4 divide (x + j)*11*1?
False
Suppose -4*m = m - 2*f + 64, -5*m -