= -600. Does 19 divide y?
False
Suppose 2*t + 55 = -k + 190, -3*k = -3*t + 180. Is t a multiple of 13?
True
Let d = 0 + 2. Let u be (-4 + d)/(2/1). Is 7 a factor of (13/(-1))/u + 0?
False
Suppose i = -4*i + 40. Let z(n) = -n**3 - 2*n**2 + n - 4. Let s be z(-3). Suppose -3*h = s*t + 2*h - 12, -2*h = i. Is 7 a factor of t?
False
Suppose -48 = -4*w + 120. Suppose -2*z + w = z. Is 14 a factor of z?
True
Is (4/6 + -1)/((-3)/1971) a multiple of 59?
False
Let z(i) = -5*i**2 + 6*i - 7. Let c(l) = -l**2 - 1. Let o(t) = 3*c(t) - z(t). Is o(5) a multiple of 8?
True
Let c = -15 - -18. Suppose -2*f = -5*y + 30, -2*y + 2*f - 5 = -23. Suppose -c = -y*z + 37. Is z a multiple of 5?
True
Is (4/6)/((-28)/(-6594)) a multiple of 28?
False
Let c(b) = 0*b**2 - b + 9*b**2 + 1 + 0*b. Let s be c(1). Does 12 divide (s/1)/((-3)/(-4))?
True
Let s be 2/3 + (-21)/(-9). Suppose -6*a + 3*a - 3*h + 102 = 0, 0 = s*a + 2*h - 106. Is 13 a factor of a?
False
Let o(z) be the third derivative of z**5/60 + z**4/24 + 5*z**3/6 - 3*z**2. Is o(4) a multiple of 23?
False
Let f(n) = 3*n**2 + n + 1. Let p be f(-1). Let i = 5 - p. Suppose 60 = z + i*z. Is z a multiple of 10?
True
Suppose 2*r = -d + 6*d - 15, 4*r + 15 = 5*d. Does 2 divide d?
False
Let u = 7 - 2. Suppose u*q = 4*q + 67. Does 17 divide q?
False
Let c(h) = -162*h + 13. Does 19 divide c(-1)?
False
Suppose -4*f + 2135 = -q, 2*q - 1200 = -4*f + 950. Suppose -f = 4*d + d. Does 12 divide d/(-7) - 2/7?
False
Suppose 16 = -5*r - 19. Let c(l) = -2*l + 6. Is 7 a factor of c(r)?
False
Let q = 2 + -2. Suppose 0 = -5*a - q*a + 45. Does 3 divide a?
True
Let d = -2 - -4. Let u be 0/d - (35 + -1). Let a = 25 - u. Is 20 a factor of a?
False
Suppose -3*g = -37 - 53. Let z = 0 + 0. Suppose z = -6*a + a + g. Is 6 a factor of a?
True
Is 9 a factor of (-27)/(-12)*(5 - 1)?
True
Suppose 4*m = m + 12. Suppose m*g - 66 = 34. Is 9 a factor of g?
False
Let t be 8/(-40) - 442/(-10). Let o = t - 30. Is 8 a factor of o?
False
Suppose -18 + 3 = -5*k. Suppose p + k*p - 48 = 0. Is p a multiple of 4?
True
Let o = 2 + 5. Let q = 4 + o. Suppose -5*z + 121 = q. Is 11 a factor of z?
True
Suppose 3*h - 7*h + 12 = 0. Suppose 25 + 107 = h*i - 3*z, 0 = -5*i + 3*z + 222. Is i a multiple of 15?
True
Let h(l) = -l**3 + 11*l**2 + l + 1. Let v be (-2 + (23 - -1))/2. Let a be h(v). Is 10 a factor of (1 - -14)*a/9?
True
Suppose 0*w - 5*w + 169 = g, -5*g + 2*w = -791. Does 22 divide g?
False
Let u = -142 + 202. Does 10 divide u?
True
Let o = 21 - 29. Let r(a) = a**3 + 10*a**2 + 8*a - 7. Let q be r(o). Let h = 97 - q. Does 15 divide h?
False
Let x(i) = 11*i**3 + 3*i**2 - 2. Is 46 a factor of x(3)?
True
Suppose 5*g - 3*q - 4 = -1, 0 = -4*g + q + 8. Is 1/(1/g) - -1 a multiple of 4?
True
Let m = 17 - -29. Does 22 divide m?
False
Suppose 5*l = -2*w + 793, -1 = 4*w + 3. Let o = l - 86. Does 29 divide o?
False
Let u(x) = -7*x**3 + x**2. Is 10 a factor of u(-2)?
True
Let w(z) = -z**3 + 10*z**2 + 15*z + 8. Let x be w(11). Suppose 3*y - 44 = x. Is 16 a factor of y?
True
Let o(j) = 3*j - 14. Let p(q) = q - 1. Let y(m) = -o(m) + 4*p(m). Suppose 0*b = -2*b + 16. Is y(b) a multiple of 7?
False
Let l(y) = -5*y**3 - 4*y + 4*y**3 + 0*y**3 - 3*y**2. Does 6 divide l(-3)?
True
Let o(r) = -r + 7. Let l be o(6). Suppose 4*p + i - l = -0*i, -4*i + 4 = p. Suppose 15 = 2*g + x, p = -g + 3*x - x + 5. Is 7 a factor of g?
True
Let f(i) = -1. Let c(k) = -3*k**2 - 5*k + 8. Let m(x) = -c(x) - 4*f(x). Is 24 a factor of m(-4)?
True
Let d = -39 - -74. Is 7 a factor of d?
True
Let z(f) = 3*f + 9. Does 8 divide z(12)?
False
Does 10 divide ((-6)/(-24))/((-2)/(-184))?
False
Let i(k) = 2*k**2 + 7*k. Let m(s) = 16*s. Let u be m(1). Suppose 3*z + z = -8, 0 = 2*l + 3*z + u. Is i(l) a multiple of 5?
True
Let u(z) be the second derivative of -1/20*z**5 + 0*z**2 + 1/4*z**4 - 4*z + 0 + 1/3*z**3. Is u(-2) a multiple of 8?
True
Let u(j) = -j**2 + 8*j - 9. Let g be u(5). Is 6 a factor of (g/(-9))/(4/(-204))?
False
Let m = 246 - 51. Does 13 divide m?
True
Let k = -77 + 205. Is k a multiple of 38?
False
Suppose 0 = -w - 2 - 1. Does 25 divide (41/w - -3)*-6?
False
Suppose 0*z - 12 = -3*z. Suppose -z*k + 4 = 0, -2*p + 3 = -2*k + 1. Let q = 20 - p. Is 9 a factor of q?
True
Let o = 111 + -54. Does 15 divide o?
False
Let r = -14 + 5. Let q = 33 - r. Is 21 a factor of q?
True
Suppose -54 = 4*p - 2*r, -2*r + 24 = -p - p. Let f = -10 - p. Is 2 a factor of f?
False
Suppose -a = -0*a - 3. Suppose -a*y + 6*y - 9 = 0. Suppose -2*g + y*g - 3*j - 21 = 0, -2*g - j = -35. Is g a multiple of 9?
True
Suppose 2*h = -h + 192. Does 15 divide h?
False
Let g be (-2)/(-1 - -2) + 3. Does 2 divide 1 - (g + -2) - -4?
True
Let b = 47 - 13. Does 13 divide b?
False
Let j be -1*15*4/3. Let h = -14 - j. Is 13 a factor of (-52)/h*(4 + -7)?
True
Let l(j) be the third derivative of -j**6/120 - j**5/15 - j**4/6 - 5*j**3/6 + 5*j**2. Is l(-4) even?
False
Suppose 15 = u - 70. Is u a multiple of 23?
False
Let h(f) = -11*f - 1. Let m be h(-1). Suppose -d = d - m. Suppose -4*k = k + d*z - 160, 2*z = 8. Is k a multiple of 19?
False
Suppose -2*x + 6 = -0. Let i = 8 + -3. Suppose x*y - i*z = -0*y + 10, -3*z = -y + 2. Is 5 a factor of y?
True
Is (-263 - -1)*(35/(-14) + 2) a multiple of 8?
False
Suppose -2*h = 2*h - 8. Suppose -h*n + 2 = -2. Is n even?
True
Let q(c) = -c**3 + 12*c**2 - 10. Let w be q(11). Let l = w - 79. Is l a multiple of 12?
False
Let a(y) = -26*y**3 - 3*y**2 + 4*y + 2. Let s be a(-4). Is s/81 - (-2)/9 a multiple of 15?
False
Suppose -3*l + 25 = 2*m - m, 5*l = -4*m + 79. Does 4 divide m?
True
Suppose 16 = -2*g + 7*g + 2*z, -2*z = -6. Suppose -36 = -g*d - 0*d. Does 9 divide d?
True
Suppose -3*k = -4*s - 40 - 12, -3*s - 72 = -5*k. Suppose -46 = -2*b - k. Suppose b = 5*j - 8. Is 4 a factor of j?
False
Let d = 3 + 1. Suppose 0 = -d*c + 169 + 91. Does 13 divide c?
True
Suppose -2 = -2*u + 2, -3*j = -3*u - 351. Is j a multiple of 24?
False
Let w be ((-3)/1)/((-6)/4). Let i be w/(-3) - 119/(-21). Suppose 2*t - 9 = -0*t - 3*k, 0 = -i*t + 3*k + 33. Is 2 a factor of t?
True
Suppose 0*r = r + 3*g - 29, -95 = -4*r - 5*g. Does 4 divide r?
True
Suppose 0 = -91*r + 90*r + 40. Is r a multiple of 33?
False
Let x(m) = 39*m**3 + 2*m**2 - 1. Let o be x(1). Suppose 3*n - 93 = -3*w, -w - 5*n + o = -n. Is w a multiple of 14?
True
Does 11 divide 258/(-4)*(-10)/15?
False
Suppose -4*l + 0*i + 4*i = 84, 5*l + 5*i + 75 = 0. Suppose -7*w + 250 = -2*w. Let h = w + l. Is 16 a factor of h?
True
Let y(b) = 3*b**3 - 2*b**2 + b. Let k be y(1). Suppose -k*d - 16 = -4*d - a, -2*a = -8. Is d even?
True
Is 16 a factor of (4/(-5))/(1/(-95))?
False
Suppose 80 - 220 = -5*l. Does 14 divide l?
True
Suppose 3*p - 9 - 3 = 0. Suppose -b = b + 2*r - 58, 2*b - 40 = p*r. Is b a multiple of 21?
False
Suppose 2*y - 7*y = 25. Let v be y/4*(1 - 5). Suppose 3*h + v*s - 5 = 0, 2*h + 2*h - 60 = 4*s. Is h a multiple of 5?
True
Let g(m) = -m + 9*m**2 - 2 - 1 + 3. Let z be g(1). Is 13 a factor of (-5*z - -1)/(-1)?
True
Suppose 0 = -5*o + 17 + 133. Suppose 0*b - b = -o. Is 16 a factor of b?
False
Suppose 0 = -n + 42 - 5. Does 13 divide n?
False
Let k(n) = n**2 + 2*n - 3. Let f be ((-6)/(-18))/(1/(-3)). Let v be (4/6*-3)/f. Does 5 divide k(v)?
True
Suppose 0 = -3*w - w + 40. Is w a multiple of 3?
False
Suppose 3*s - 266 = 2*o + 38, -4*s + 2*o + 404 = 0. Is s a multiple of 25?
True
Suppose -2*j = 5*u, -2*j - 3*j = 2*u. Suppose -5*l + 2*s + 36 = -u*s, -s + 2 = 0. Is l a multiple of 4?
True
Let c(n) = n**2 + n + 4. Is 15 a factor of c(7)?
True
Let s(a) = 2*a**2 + 14*a + 3. Let z be s(-7). Suppose -z*b + 93 = 2*v, -2*v = -5*b - 62 - 39. Does 24 divide v?
True
Let r(a) = -a**3 + a**2 - 1. Let z(k) = -2*k**3 + 9*k**2 - 8*k - 2. Let o(s) = -r(s) + z(s). Let t be o(7). Let l = t + 22. Does 7 divide l?
True
Is 4/(-18) - (-1736)/36 a multiple of 16?
True
Suppose s + 2*m - 143 + 2 = 0, m + 537 = 4*s. Suppose 4*r = s - 31. Is r a multiple of 13?
True
Let y = -114 - -168. Let j = y - 90. Let a = j - -52. Is a a multiple of 8?
True
Suppose -5*i + 29 = b, -i = -2*i - b + 5. Does 3 divide i?
True
Let r = -10 + 108. Is r a multiple of 12?
False
Let n = 3 + -3. Suppose 5*v - 66 = h, n = 4*h + 4 - 0. Is 6 a factor of v?
False
Suppose -2*f + f = 1, 2*f + 293 = 3*g. Is g a multiple of 19?
False
Let k(a) = a**2 - 3*a + 4. Let u be k