 0*n - 10 = j. Let h(q) = -q**2 - 8*q - 6. Is h(n) a multiple of 3?
True
Does 6 divide 196/16 - 4/(-48)*-3?
True
Suppose 358 = -2*u + 474. Is 44 a factor of u?
False
Let o = -86 - -208. Let f = -111 + o. Is 4 a factor of f?
False
Suppose 0 = -18*j - 214 + 10456. Is j a multiple of 19?
False
Suppose -3465 = -15*l + 6*l. Is 11 a factor of l?
True
Suppose 5*f = -3*s + 7973, 2*f - 3*s = 3829 - 644. Is 21 a factor of f?
False
Let v(o) be the first derivative of -o**4/4 - 8*o**3/3 - 13*o**2/2 + 2*o + 2. Let l be v(-6). Is 4/16 + 94/l even?
True
Suppose -3*x = -4 + 169. Let b = 145 - x. Is 38 a factor of b?
False
Let v = -161 + 7. Let t be v/(-6) - 1/(-3). Suppose -t*p - 140 = -31*p. Is p a multiple of 7?
True
Let y(t) = 2*t + 12. Let g be y(14). Let z = g - 36. Suppose -95 = -z*x - 3*c, -x + 5*c = 4 - 45. Is 6 a factor of x?
False
Let m = 159 + -159. Suppose m = -2*a + 833 - 61. Does 23 divide a?
False
Let a be 1*2/(-4) + (-65)/(-26). Suppose l + 6*b - 34 = b, 0 = -4*l + a*b + 92. Does 12 divide l?
True
Let d be (-46)/(-10) + (-6)/(-15). Suppose -d*s + 7 = -98. Is s a multiple of 3?
True
Let f be (5 - -1)/((-22)/275). Let t = f + 196. Does 16 divide t?
False
Suppose -8*r - 1308 = -11*r + 4*b, 4*r + 5*b = 1713. Is r a multiple of 27?
True
Let u = -334 + 718. Does 48 divide u?
True
Let j be 60/14 + (-6)/21. Suppose -2*i + 4*x - 12 = 0, j*x = -7*i + 4*i + 12. Let w = i - -31. Is 11 a factor of w?
False
Suppose -3*g - 12*g = -2295. Does 24 divide g?
False
Let m be (-10)/(-12)*(17 + -11). Suppose 653 = m*j - 187. Is 56 a factor of j?
True
Suppose 9*r = 8*r - 25. Let m = -11 - r. Does 14 divide m?
True
Suppose 0 = -s - 2*s + c + 8, 0 = 2*c - 8. Does 16 divide (2/(-5))/(s/(-230))?
False
Let h be 10/35 - 2140/(-7). Suppose -288 = -3*v + h. Let m = v + -119. Does 21 divide m?
False
Is (-12)/5*(-35)/2 a multiple of 6?
True
Suppose -30 = -a - a - 3*g, 3*a - 83 = 5*g. Let v(h) = 13 + 12 + h - a. Is v(3) a multiple of 7?
True
Suppose 3*y + 4 = 4*y. Suppose n = b - 2*n - 6, y*n - 18 = -3*b. Suppose -f - 90 = -b*f. Is f a multiple of 9?
True
Let q be -1*(3 - 5)/2. Is 16 a factor of (-5)/3 + q + 146/3?
True
Suppose 3*k - 2*q + 25 = 0, -5*q + 5 - 3 = -2*k. Suppose -2*m = -2*d - 124, -4*d - 4*m = -5*d - 77. Let v = k - d. Does 7 divide v?
False
Let m = 604 - 476. Does 2 divide m?
True
Suppose 5*h - 119 = -2*h. Suppose -4*w + 340 = 5*m, -2*w - h = -m + 51. Does 17 divide m?
True
Let u(z) = z**2 + 70. Let h(i) = -i**3 + 12*i**2 - i + 14. Let w be h(12). Suppose -f + 0*t = 4*t - 16, 3*f + w*t = 8. Is u(f) a multiple of 14?
True
Does 3 divide 137 - 1/((-2)/(-16))?
True
Suppose 0 = -7*y + 29 + 90. Is y a multiple of 7?
False
Let h(l) = 5*l**3 + l**2 - l. Let q be h(1). Suppose 63 = -q*z + 78. Suppose 0 = z*x + 13 - 73. Does 4 divide x?
True
Let a = 111 + -89. Is 4 a factor of a?
False
Suppose 0*q = 10*q - 40. Suppose -q*c = -119 + 11. Is 15 a factor of c?
False
Let y(b) = 4*b**2 + 17*b - 39. Is 8 a factor of y(-9)?
False
Suppose 4*u - 11 = -m, -2*u - 3*u + 4 = -2*m. Suppose 5 - 9 = -u*q. Is 2 a factor of q?
True
Suppose 0 = -4*y - 18 - 2. Let o(m) = 14*m - 4. Let d(z) = -15*z + 5. Let w(t) = y*d(t) - 6*o(t). Is w(-4) a multiple of 35?
True
Suppose -3*b - 24 = -5*x + 3*x, 4*b = -16. Let c be 2*(3/x + 1). Suppose 0 = -3*p + 5*g + 71, c*p - 89 = 2*g - 6*g. Is 9 a factor of p?
True
Suppose -2*p - 151 = 2*w - p, 3*p - 327 = 4*w. Let i = 168 + w. Does 9 divide i?
True
Suppose -3*i + 5*n = 62, 2*n = -i - 7 + 1. Is (-1 + 4 + -1)*(-105)/i a multiple of 5?
True
Let i = -188 - -671. Does 25 divide i?
False
Let i be 16/(-20) + (-24)/(-30). Suppose t - 4*t + 78 = i. Is t a multiple of 13?
True
Let o(r) = r - 1 + r**2 + r**2 + 2*r**3 - 2 - 3*r. Let w be o(-2). Is (w/2)/((-3)/6) a multiple of 7?
True
Suppose -3*v = -153 + 33. Suppose 4*p - 4*h - v = 0, 4 = -4*h - 0. Suppose 43 - p = b. Does 14 divide b?
False
Is 2*(-3 + 2)*(-90)/2 a multiple of 11?
False
Let i(c) = c**3 + 6*c**2 - 5*c + 3. Let p be i(-5). Suppose -5*v + p = -v + 5*b, -2*v + 19 = b. Suppose -15 = -2*y + l, -2*y + 5*l - 4 = -v. Is 8 a factor of y?
False
Let q = -52 - -53. Is 1 - -20 - (2 + 0 + q) a multiple of 6?
True
Does 36 divide ((-6)/4 - (-325)/150)*216?
True
Suppose -2*g + 5*s + 30 = 0, 12 = -2*s - s. Let z be ((-2)/g)/(7/(-420)). Is 5 a factor of z/(-2)*10/(-8)?
True
Let z = 1153 + -1622. Let w = z + 687. Suppose -50 = -4*j + w. Is 21 a factor of j?
False
Suppose b + 0*b = -3*i + 356, 0 = -5*i + 5*b + 600. Let f = i + -41. Does 8 divide f?
False
Let j = 226 + -205. Is 10 a factor of j?
False
Suppose -1 = i + 4, 3*i - 360 = -3*b. Suppose 0 = -7*m + 2*m + b. Does 7 divide m?
False
Suppose 2*y = -x + 4, -x - 2*y - 2*y + 10 = 0. Let z be -1*(x - -1)*5. Suppose -4*o = -3*t + z*t - 154, o - 385 = -5*t. Is 11 a factor of t?
True
Let a(d) = 38*d - 4. Let m be a(-10). Let v = -215 - m. Is 25 a factor of v?
False
Let y(o) = -o**3 - 6*o**2 - 7*o + 1. Let a be y(-5). Let b = a + 98. Is b a multiple of 9?
False
Suppose 0*q = -2*q - 8. Let r(c) = -6*c - 1. Let y be r(q). Let g = y + 21. Is g a multiple of 12?
False
Let o = -525 + 844. Does 17 divide o?
False
Suppose -5*d = 5*p - 1237 - 3243, -8 = 2*d. Is p a multiple of 20?
True
Let f be 3 - 23 - (-4 - -1). Let d = 50 + f. Does 13 divide d + -16 - (1 - -3)?
True
Let n = 1369 - 914. Is n a multiple of 12?
False
Suppose -7*h - 15 = 139. Is ((-79)/11 + (-4)/h)*-20 a multiple of 14?
True
Let k = 1469 - -854. Does 56 divide k?
False
Let y(i) be the third derivative of 7*i**6/120 - i**5/60 - i**4/4 + i**3 - 23*i**2. Does 20 divide y(3)?
False
Suppose -m = 2*m - 2*j - 641, -j - 1 = 0. Suppose o - 4*o = -m. Is 30 a factor of o?
False
Suppose -139*v - 3822 = -146*v. Is 78 a factor of v?
True
Let c(m) = 5*m**2 - m + 6. Let p be c(6). Suppose -7*h + p = -4*h. Does 4 divide h?
True
Suppose -5*x - 10 = 0, 5*x = n - 0*x - 12. Suppose -n*o - 39 = -303. Does 26 divide o?
False
Let r(f) = -5*f - 13 - 6*f + 0*f. Let s be r(-9). Suppose 3*l + l - 172 = 4*a, -2*l = 5*a - s. Does 12 divide l?
False
Let f(m) = 20*m + 80. Does 10 divide f(7)?
True
Suppose 3*f + 1119 = 4*w, 4*w + 5*f + 36 - 1115 = 0. Is 23 a factor of w?
True
Let a be ((-9)/5)/(2/(-20)). Suppose a*k = 21*k - 69. Suppose 17 = 5*r - k. Is r a multiple of 6?
False
Suppose 0 = 7*q - 9*q + 6. Let p be 31/2 + 1/(-2). Suppose -2*c + p = q*c. Does 3 divide c?
True
Suppose 6 - 17 = -q. Suppose -3*p = -q + 29. Is 13 - (3 + p + 5) a multiple of 11?
True
Let h(n) = 7*n**3 - 39*n**2 - 13*n + 54. Is h(10) a multiple of 18?
True
Let a = -38 + 50. Let z = a - -18. Is z a multiple of 24?
False
Let k = -7 - -11. Suppose k*j + 5*r = 35, j - 5*r + 10 = -0. Suppose -4*l + 66 = 2*q, -j*q + 31 - 90 = -4*l. Is l a multiple of 16?
True
Suppose 0 = -h - 0*h. Suppose f + 10 - 12 = h. Suppose y + 4 = f*y. Does 2 divide y?
True
Let c = -2019 - -3547. Is c a multiple of 62?
False
Let b be ((-1)/2)/(27/(-10962)). Let h = b - 28. Is 33 a factor of h?
False
Let m be 4/5 + 48/(-10) - -11. Suppose 0 = -4*p + m*p - 474. Is p a multiple of 29?
False
Let y(s) = 19*s + 61. Let z be y(-6). Let j = 80 + z. Does 27 divide j?
True
Suppose -o + 4*o - 9 = 0. Suppose -3*n = -n + 2*k, -k - 12 = -o*n. Suppose -3*x = -4*d + 135, d + n*x - 6*x = 36. Is d a multiple of 23?
False
Let w be (-116)/8 - 6/4. Let x = -13 - w. Let v = 16 - x. Is 6 a factor of v?
False
Suppose -c - u + 1164 = -372, -1548 = -c + 2*u. Is c a multiple of 77?
True
Let o(b) = 21*b**2 + 2. Suppose -10 = -8*x - 34. Does 12 divide o(x)?
False
Let w(p) = 3*p**2 + 7*p**3 - 9*p**3 + 2*p**2 - 3 + 0*p**2. Let r = 12 + -15. Is w(r) a multiple of 16?
True
Suppose 2*p = -j + 3*p + 763, -6*j = -4*p - 4576. Is 90 a factor of j?
False
Let a(f) be the first derivative of f**4/6 - 7*f**3/6 + f**2/2 - 5*f + 4. Let p(m) be the first derivative of a(m). Is 8 a factor of p(6)?
False
Suppose -21*c + 5*c + 6240 = 0. Is 26 a factor of c?
True
Let j be 9/(1/(-177)*-3). Suppose j = 4*s - s. Suppose n + 2*n = s. Is n a multiple of 17?
False
Suppose -3*i + 84 = -186. Does 10 divide i?
True
Suppose 2*y = -3*z - 44, -3*y = z - 2*y + 15. Is 9 a factor of z*(3/(-6) - 2)?
False
Let h(x) = 8*x + 4. Let v be h(-3). Let t = v - -30. Is t a multiple of 5?
True
Let c = -16 + 16. Suppose a + 0*a - 3 = c, w + 2*a = -136. Let h = 202 + w. Does 11 di