10*t + c. Suppose -a + 604 = 5*n, -t = -5*n + 5*a + 284. Does 31 divide n?
False
Suppose 11 + 4 = 5*i + g, 10 = -2*g. Does 14 divide 40/i*(-2)/4*-18?
False
Let y(f) = 52*f - 404. Is 60 a factor of y(32)?
True
Suppose -n - 1881 = -k - 6*n, -n = -3. Does 31 divide k?
False
Suppose 12*n + 6640 = 28*n. Does 19 divide n?
False
Suppose -8 - 8 = -4*i. Let y = -309 - -361. Suppose b + 4*b + 163 = i*v, -v = b - y. Is 10 a factor of v?
False
Suppose 5*t + 10 = w, 2*t = 5*w - 3 - 1. Suppose 2*x - 6*x = w. Suppose -2*b + 7*b - 260 = x. Is b a multiple of 13?
True
Let j(l) = 6*l**2 + l. Let b = -17 + 30. Let d = 11 - b. Is 11 a factor of j(d)?
True
Let y be ((-147)/12)/((-2)/8). Let k = -28 + y. Does 21 divide k?
True
Let r(g) = -2*g - 58. Let a be r(-31). Suppose -b + 24 = 5*p, a*p - 7 - 9 = 0. Is 4 a factor of b?
True
Suppose 3*u + 27*v - 28*v = 100, -4 = v. Does 3 divide u?
False
Let x = 4 + 7. Let s(l) = 2*l - 16. Is s(x) a multiple of 4?
False
Let m(v) = v**2 + 3*v - 11. Let x be m(0). Let k(o) = -o - 12. Let r be k(x). Is 7 - 6/(r + 3) even?
True
Suppose 17*v - 14*v = 9. Suppose 35 = 4*m + v*m. Is m a multiple of 4?
False
Let j = -967 - -1099. Does 21 divide j?
False
Let o(x) = -5*x**3 - 2*x**2 - x + 1. Let c be o(2). Let k = 75 + c. Does 11 divide k?
False
Let s = -252 - -352. Is 4 a factor of s?
True
Let y(a) = -7*a**2 + 13*a. Let q(p) = 6*p**2 - 12*p - 1. Let u(o) = 6*q(o) + 5*y(o). Does 12 divide u(13)?
True
Let d be 6*(-4 - 39/(-9)). Suppose d*y = -4*y + 126. Is 7 a factor of y?
True
Suppose 43*p - 658 = 42*p. Suppose 2*t + 2*a = p, -2*a = -2*t - 0*a + 638. Is 36 a factor of t?
True
Let o(i) be the second derivative of 3*i**3/2 - 11*i**2 + 32*i. Is 18 a factor of o(8)?
False
Let x = -63 - -63. Suppose 16*u - 3*u - 2470 = x. Is 38 a factor of u?
True
Suppose -3*u + 899 = 28*u. Is u a multiple of 4?
False
Suppose 0 = 4*b, 3*b = -i + 867 + 186. Is 39 a factor of i?
True
Let a = 36 + -40. Is a/(-10) + (-54)/(-15) even?
True
Let x = -3 + 3. Suppose -2*m + x + 4 = 0. Suppose 58 - 10 = m*q. Is 8 a factor of q?
True
Let s(o) = -211*o - 249. Does 26 divide s(-7)?
False
Suppose 2*m = -0*m + 3*w - 37, -4*m = -5*w + 75. Let y(n) = -n**3 - 7*n**2 + 6*n - 4. Let r be y(7). Is 18 a factor of (-5)/(-2)*r/m?
False
Suppose -3*h + 9 = -18. Let m be 4*1 + h + -11. Suppose -2*f + 56 + 82 = 2*w, 0 = 5*f + m*w - 348. Is f a multiple of 10?
True
Does 11 divide 483/7 + -7 + -1?
False
Let q(j) be the first derivative of -2 - 11/2*j**2 - 6*j + 2/3*j**3. Is 12 a factor of q(8)?
False
Let f(i) = 3*i + 3 + 2*i - 12 - 7*i. Let q be f(-6). Suppose q*v - 2*k = 48, -2*v + 3*k - 1 + 38 = 0. Is 6 a factor of v?
False
Let o(w) = 6*w + 3*w**2 - 4*w**2 + 6 + 2*w**2 - 4. Let b be o(-5). Is 24/(-2)*b/2 a multiple of 6?
True
Suppose 2*l - 1 = 5. Suppose -8 = -l*x + 112. Is x a multiple of 10?
True
Suppose 0 = 964*f - 959*f - 405. Is 3 a factor of f?
True
Let o = 470 - 270. Is o a multiple of 50?
True
Let y(c) = 3*c**3 + 6*c**2 - c + 2. Is 45 a factor of y(4)?
False
Let j be 21*-1*(0 - 1). Let k be 13/(-26)*(-7)/((-14)/12). Let p = j + k. Is p a multiple of 9?
True
Let l(y) = -y**3 + 8*y**2 + 10*y + 11. Let h be l(9). Suppose 0 = -v - 5*p + 22, -h = -0*v - v - 3*p. Does 8 divide v?
False
Let x be -4 + 8 + -2 - -15. Let z = 34 - x. Is 7 a factor of z?
False
Let v = -38 - -40. Does 9 divide (-136)/(-10)*(7/v + -1)?
False
Let r = -2140 + 3797. Is r a multiple of 27?
False
Is 590/3 + 13/((-312)/16) a multiple of 7?
True
Let z(h) = h**3 + 2*h**2 + 257. Let n be z(0). Suppose -2*s = -n - 43. Is 10 a factor of s?
True
Let g = 8370 + -4608. Does 122 divide g?
False
Let u = -92 + 94. Suppose 0 = -o - 2*n - u*n + 8, n + 63 = 3*o. Does 5 divide o?
True
Suppose -3*t + 20 = 5*a + 5, -3*t = -15. Suppose 20 + a = 5*v. Suppose 5*s - 83 - 32 = 2*i, 4*s + v*i = 64. Is s a multiple of 21?
True
Suppose -46*h + 550 = -35*h. Is 3 a factor of h?
False
Suppose -35 - 21 = -m + 2*z, -z = -3*m + 163. Let l(j) = -j**3 + 6*j**2 + 4*j + 3. Let b be l(7). Let v = b + m. Is v a multiple of 10?
False
Is 2 a factor of (39/26)/(9/714)?
False
Let o = 60 + -46. Suppose 1312 = o*p + 52. Is 9 a factor of p?
True
Let c be ((-2)/4)/(3/(-108)*-3). Is 20/c*(-16 - -10) a multiple of 8?
False
Suppose 18*t = 9*t + 9. Suppose u + t = 0, -2*j - 2*u = -7*u - 263. Does 9 divide j?
False
Let r = 19 - 19. Suppose 2*p + 0*p = r. Suppose p = -5*u - 15, 3*q = -0*u + 2*u + 48. Is 14 a factor of q?
True
Let f(u) = -u - 8. Let q be f(-8). Suppose -c = 3*w - 10, q*c = 4*c - 3*w - 10. Suppose -v + c*k - 33 = -6*v, -2*k - 6 = -2*v. Is 4 a factor of v?
False
Suppose -2288 = -4*c - 4*d, -2*c + 1042 = -3*d - 77. Does 7 divide c?
True
Suppose 5 = -b + 3*h, 5*h = -2*b - 0*h - 10. Let y(l) be the third derivative of l**5/60 - 5*l**4/24 - l**3/2 + 17*l**2. Does 16 divide y(b)?
False
Let j(n) = -n**3 + 19*n**2 - 27*n + 34. Is 17 a factor of j(17)?
True
Let y(a) = a + 10. Let k be y(-10). Suppose -c = -k - 22. Suppose c = -5*b + 142. Is b a multiple of 12?
True
Let w(r) = 8*r**2 - 19*r + 143. Is w(-19) a multiple of 24?
False
Let m be -1*(-11)/((-33)/(-90)). Suppose m = 5*v - 35. Let p(t) = 5*t - 9. Does 12 divide p(v)?
False
Let y = -4 - -7. Suppose 227 = 2*c - h, 2*c + 124 = 3*c + y*h. Let n = -71 + c. Is 11 a factor of n?
True
Suppose d - 5*g - 14 = 0, 3*d + 0*g + 4*g - 4 = 0. Suppose d*l - 29 = 51. Suppose -4*o = -6*o + l. Does 10 divide o?
True
Is 88 a factor of (-14)/(-2) + (615 - 1) - 5?
True
Let i(j) be the second derivative of 43*j**3/6 + 7*j**2/2 + j. Let s be i(-3). Let d = s - -187. Does 20 divide d?
False
Let f(v) = v**2 - v - 10. Let n be f(-3). Suppose -s + 266 = -4*h, -5*s - n*h = -414 - 1004. Is s a multiple of 47?
True
Suppose 2*d = 4*k + 738, d = -4*d - 25. Let f = 315 + k. Is 16 a factor of f?
True
Let d(r) = -20 + 5 + 117*r**2 - 118*r**2 - 21*r. Is 13 a factor of d(-16)?
True
Suppose -2*y = -0*y - 4. Let z be (-3)/y*(-16)/(-12). Is 0/z - (-72)/4 a multiple of 13?
False
Does 6 divide ((-24)/(-9)*-17)/(20/(-630))?
True
Suppose -24*f + 14*f = -5940. Does 7 divide f?
False
Suppose -2*a + 13 = r - 133, -649 = -4*r + 5*a. Is 12 a factor of r?
True
Suppose 3*l - 4*l + 1240 = 0. Is l a multiple of 12?
False
Suppose -2*b - 2*y - 90 = -246, b + 5*y - 82 = 0. Suppose 4*k = -8, 5*z = -2*k + 74 + b. Does 8 divide z?
False
Let m(i) = 33*i. Let d be m(4). Suppose 0 = -2*j + 10, j + 19 = -p + 6*j. Suppose 4*s + d = p*s. Does 23 divide s?
False
Let b(x) be the first derivative of x**2 - 8*x - 6. Is b(10) even?
True
Let t(c) = -8*c**3 - 13*c**2 + 9. Let g = 19 + -12. Let s(f) = -7*f**3 - 12*f**2 + 9. Let i(d) = g*s(d) - 6*t(d). Is i(-7) a multiple of 39?
False
Let m be (-14)/4*1384/(-14). Suppose 0 = 4*s + 2*b - 366, -b - b = -4*s + m. Does 21 divide s?
False
Let a = 33 - 29. Suppose -w = 4*g - 160, 88 + 72 = a*g - w. Does 14 divide g?
False
Let v(t) be the second derivative of 2*t**3/3 - 9*t**2 + 4*t. Let o be v(13). Let s = o + -25. Is s a multiple of 9?
True
Suppose -4*r - r = -4*f - 682, 3*r - 404 = 5*f. Is 6 a factor of r?
True
Suppose -4*h = q - 7641, -5*h + q - 5730 = -8*h. Does 13 divide h?
True
Let t = -423 - -943. Is 20 a factor of t?
True
Let u(r) = -r + 1. Let o be u(-4). Suppose -48*v + 32 = -32*v. Suppose o*p + x - 32 = -x, -8 = v*x. Is p a multiple of 4?
True
Suppose w = -0*w - 5*x + 27, 0 = 3*w + x - 67. Let v = 24 - w. Suppose 0 = v*i + 4*j - 68, 5*j = 2*i - 6*i + 136. Is 23 a factor of i?
False
Let o = -4302 + 7058. Is 26 a factor of o?
True
Is 14 a factor of ((-22)/4)/((-14)/28)*28?
True
Does 21 divide (6/2)/(5*(-6)/(-6510))?
True
Suppose 0 = 3*n - 6, 6*n = t + n - 77. Let q = t + -60. Is q a multiple of 12?
False
Suppose 56*q = 36*q + 9120. Is 19 a factor of q?
True
Let t = 152 + -119. Is t a multiple of 33?
True
Let q(k) = 37*k**2 - 6*k - 9. Let r(n) = n**2 - 1. Let w(v) = q(v) - 4*r(v). Does 17 divide w(-1)?
True
Suppose 15*m - 1555 = 10*m. Suppose -m = -3*o - 80. Suppose 4*u + 3*u - o = 0. Is u a multiple of 2?
False
Suppose 7*v = 860 + 1912. Is v a multiple of 16?
False
Suppose -8*z + 268 = -4*z. Let p = -39 + z. Does 28 divide p?
True
Suppose -m = -6 + 1. Suppose 2*k - m*k = 0. Suppose -3*x + k = -21. Is x a multiple of 7?
True
Let a(o) = -o - 4. Let l be a(2). Let g be l*((-3 - -2) + 2). Does 5 divide (16/4)/(g/(-9))?
Fals