p**2/2 - 2. Let j be t(-1). Suppose -d - 2*d = -j. Does 7 divide d?
True
Let t(k) = -k**2 - 4*k**3 - 3*k**2 + 7*k**3 + 2*k + 6*k**3. Does 12 divide t(2)?
True
Let u(o) = o - 2. Let f be u(2). Suppose -g + 30 - 4 = f. Does 13 divide g?
True
Is 19*3/6*(5 - 3) a multiple of 6?
False
Let u(b) = -b**3 - 8*b**2 - 3*b - 12. Is u(-8) a multiple of 12?
True
Is (-10 - -149)/((-1)/(-1)) - 1 a multiple of 46?
True
Let u = -244 - -367. Let r = u + -79. Is r a multiple of 22?
True
Suppose 2*z = -z. Let t be 4 - 0/(z + -2). Suppose -5*d - x = -44, 4*d + t*x = 14 + 18. Is d a multiple of 5?
False
Let p(o) = 17*o**3 - o**2 - 2. Let g be p(-2). Let c = -79 - g. Suppose a + 3 = 0, 5*d = d + a + c. Is 15 a factor of d?
True
Let w be 2*(-1)/2*-12. Does 11 divide 22*(-1)/(-8)*w?
True
Let h(d) = -d**2 - 6*d + 3. Let v be 63/(-14) + 3/(-6). Is h(v) a multiple of 8?
True
Let o(b) = -b**2 + 6*b - 4. Let y be o(4). Suppose 5*p - 3*p = -3*u + 17, 2*u - y*p - 6 = 0. Does 5 divide u?
True
Suppose -4*x - 2 = -2*s, x - 2 = -2*s + 10. Suppose -x*l - l + 21 = 0. Does 4 divide l?
False
Let n = 107 + -29. Does 26 divide n?
True
Let t = 12 + 8. Does 10 divide t?
True
Let w(c) = -25*c - 4. Does 20 divide w(-4)?
False
Suppose 1 = -a - 2*z, -4*a - z + 4 + 6 = 0. Suppose 2*b + 5 + a = 0, 56 = 3*q + 4*b. Does 6 divide 1*10*q/20?
True
Let q = 4 - 2. Suppose -2*b - q*c - 22 = 0, -b - 3*b - 3*c = 43. Let r(a) = -a**3 - 11*a**2 - 13*a - 13. Does 15 divide r(b)?
False
Suppose 5*m - 121 - 109 = 0. Does 7 divide m?
False
Let w(z) = -z**3 - 6*z**2 + z + 5. Let y be w(-6). Let o(v) = 11*v**2 + 1. Is 6 a factor of o(y)?
True
Let n(x) = -x**3 + x + 55. Let c be n(0). Suppose 0 = 4*f - 36 + 168. Let b = f + c. Is 11 a factor of b?
True
Is (-345)/(-30)*2*1 a multiple of 23?
True
Let d(s) = -53*s - 6. Does 21 divide d(-3)?
False
Is (6/10)/(5/275) a multiple of 11?
True
Suppose 5*j - 2 = 6*j. Let i = -4 - -12. Does 9 divide i/(-8)*18/j?
True
Is 3 - (-22 - 1) - -2 a multiple of 5?
False
Suppose -2*l + 14 = 4*t, 0*l - 5*l - 25 = -5*t. Let g = t - 3. Let b = 7 + g. Does 8 divide b?
True
Let i be (-2 + 0 - -2) + 5. Suppose -5*s = 4*d - 89, -i*s - d = -70 - 31. Is s a multiple of 7?
True
Let s = 48 - 38. Does 5 divide s?
True
Let q(u) = -23*u - 3. Suppose 0 = 5*h + 4*w - 1, 0 = -2*h - h - 3*w + 3. Let g be q(h). Suppose 5*v - 4 = -x, -3*x + 3*v + g = -0*x. Is x a multiple of 13?
False
Does 20 divide (13 - 10)*4/6 - -58?
True
Suppose 5*k - 16 = 49. Is k a multiple of 8?
False
Suppose n + 3*n = d + 16, 2*n = 10. Let v be d/(-12) - 50/(-6). Suppose 36 = y + v. Is 14 a factor of y?
True
Let a(s) = 3*s**2 - s + 1. Let t be a(1). Suppose -v - t*v + 152 = 0. Does 19 divide v?
True
Let x(s) = s**2 - 14*s + 27. Does 33 divide x(18)?
True
Let p be (-3)/(-1) + (1 - 2). Suppose -p*k - 36 = -92. Does 14 divide k?
True
Suppose 0 = 5*c - 7 + 132. Does 9 divide (1 - 2) + 3 - c?
True
Suppose 5*r - 63 = 162. Is r a multiple of 15?
True
Let a = 19 + 27. Suppose -a = -2*f - 0*f + 4*n, -3*f + 29 = 2*n. Is f a multiple of 7?
False
Let x = 3 - -10. Is x a multiple of 4?
False
Let o be 1/1*-2*-16. Suppose -5*w + 13 + o = 0. Is (-24)/w*(-9)/2 a multiple of 12?
True
Let x(t) = 8*t**3 - 2*t**2 + 1. Is 3 a factor of x(1)?
False
Is 459/6*4/6 a multiple of 17?
True
Let k be (1 - -21 - -2)*-1. Let c = k + 49. Does 8 divide c?
False
Suppose 0 = -5*a - 2*t - 10, -6 = a - 2*t + 8. Let y be 4/(-6) - (-136)/6. Is (y/4)/((-2)/a) a multiple of 8?
False
Let y = 5 - -16. Is y a multiple of 7?
True
Let q be (-1)/(-2) + 573/6. Let u(k) = k**3 + 16*k**2 + 7*k + 21. Let x be u(-15). Let g = x - q. Is 17 a factor of g?
False
Let t(i) be the first derivative of -i**5/40 - i**4/4 - i**3 - 2. Let r(g) be the third derivative of t(g). Does 6 divide r(-6)?
True
Let c = -5 + 3. Let m be c*(0 - (-3)/(-6)). Let t = 29 - m. Is 14 a factor of t?
True
Suppose -16 = -2*p - 2*p. Suppose -d + 77 = -p*u - 57, 5*u + 4*d = -178. Let m = u - -55. Is 8 a factor of m?
False
Let x be 2*(-1)/2*2. Is 23 a factor of (x - 0) + 5 + 20?
True
Suppose -3*d + 20 - 2 = 0. Let b(s) = 2*s - 4. Does 8 divide b(d)?
True
Let n = 182 - 80. Is n a multiple of 34?
True
Let j(b) = 3*b - 1. Let p = -6 - -9. Let z be j(p). Suppose -5 - z = -x. Does 13 divide x?
True
Let g(w) = 2*w**2 - 7. Suppose 4*p + 25 = -p. Does 12 divide g(p)?
False
Let y be 0 + 3 - (2 + -2). Suppose 8 = -2*s - 2*u, 2 = y*u + 8. Is (s/(-4))/(4/40) a multiple of 2?
False
Let j be 66/14 - (-16)/56. Suppose 3*s - 2*w = w, 0 = 5*w + j. Is 3/9*s*-141 a multiple of 14?
False
Let m = -64 - -166. Does 17 divide m?
True
Let f(o) = 3*o**2 - 4*o - 5. Let y be f(7). Is 38 a factor of (y/12)/(2/24)?
True
Suppose 4*d = 4*b + 20, 0 = -4*d - 4*b - 5 + 25. Suppose -s + 113 = -2*y + 6*y, 5*y + d*s - 160 = 0. Let q = y + -12. Is 4 a factor of q?
False
Let t = -3 + 13. Let a = 11 + t. Is a a multiple of 7?
True
Suppose -5*x = -x - 8. Suppose -2*m + x*s - 5*s = -9, -3*s = 4*m - 21. Is 4 a factor of m?
False
Suppose 3*m = 4 - 1. Is 68/8 - m/(-2) a multiple of 9?
True
Suppose -3*k = -4*k + p, 2*k - 3*p + 4 = 0. Suppose f - 15 + k = 0. Does 5 divide f?
False
Suppose 2*x = -b - 0 - 2, 2*b - 3*x - 17 = 0. Suppose 3*c = -0*c + b*y + 192, 0 = c + 4*y - 48. Is 20 a factor of c?
True
Suppose 4*o + 2 = 2*o. Let k = o + 16. Suppose -3*u + 4*w = -17, w = -3*u + k + 22. Does 11 divide u?
True
Suppose 150 = 2*b - 0*b. Is b a multiple of 14?
False
Is (-2 - -3 - -35)*1 a multiple of 12?
True
Let h be (2 + 0)*1*7. Let l = h + -32. Let t = l - -30. Is 12 a factor of t?
True
Suppose 4*x + 0*x = 12. Suppose -x*z = -0*z - 57. Is z a multiple of 9?
False
Suppose 4*c - 41 = -5*k, 0 = -2*k - k + 15. Suppose 2*s = -c, 5*s - 6 = u - 5*u. Does 4 divide u?
True
Suppose -25 = -10*r + 5*r. Let v = -6 + 10. Suppose j + 40 = o, v*o = 3*o + r*j + 44. Does 10 divide o?
False
Is (28/(-10) - 4)*-10 a multiple of 24?
False
Let x(g) be the third derivative of g**5/60 + 5*g**4/12 + 2*g**3 + 12*g**2. Let q = -30 + 21. Is x(q) a multiple of 3?
True
Let u(g) = 2*g**2 - 6*g + 1. Let o(t) = -t - 7. Let i be o(-5). Let k(m) = -3*m - 2. Let w be k(i). Is 6 a factor of u(w)?
False
Suppose -5*g + 49 = -191. Is g a multiple of 8?
True
Suppose 5*g = -2*b, 15 = -4*b + 2*g - 33. Let v be (-2)/(-5) - 46/b. Suppose 2*r - 73 = -v*n, -n + 4*r = 3*n - 36. Is n a multiple of 8?
False
Let a(j) = j**3 + 5*j**2 - 4*j - 6. Suppose -2*p = 2*v + 18, 2*v + 28 = -0*p - 4*p. Let g = 0 + v. Is a(g) a multiple of 7?
False
Let j = -65 + 113. Is 16 a factor of j?
True
Suppose 0 = 4*v - 2 - 2, k + 4 = -v. Let f = k + 2. Is 8 a factor of (6/f)/((-2)/21)?
False
Let d = -134 + 246. Is d a multiple of 16?
True
Let l be (-13)/(-5) - 2/(-5). Suppose 3*t + 4*p - 66 = 0, 0 = -2*p + 9 - l. Does 8 divide t?
False
Suppose -t - 8 = -23. Suppose 5*m = t, -r + 2*m + m = -14. Is 12 a factor of r?
False
Let p(w) = -w**2 - 6*w - 1. Let j be p(-6). Let k be (j + -2)/1*2. Let l = 10 + k. Is 4 a factor of l?
True
Let d(f) = -f - 5. Let v be d(-6). Suppose 0*n + n = 4. Does 5 divide (v - n - -22)/1?
False
Let p = -13 + 18. Suppose p + 0 = 3*q + 5*n, -5*q - 3*n = -19. Is q a multiple of 2?
False
Suppose 0*w + 149 = 2*u + w, -91 = -u + 5*w. Does 31 divide u?
False
Let w(b) = -b**2 + 3*b. Let i be w(3). Suppose i = 2*k - 6*k. Suppose -4*v + 10 + 2 = k. Is v even?
False
Let g = -13 - -10. Let b(a) = 5*a**2 + 5*a + 4. Is 17 a factor of b(g)?
True
Let d = 44 + -17. Does 9 divide d?
True
Suppose -4*f + 3*l + 197 = 0, 0 = f - 0*l + l - 51. Is f a multiple of 25?
True
Let l = -33 + 10. Let x = l - -65. Is 14 a factor of x?
True
Let l be (-1)/(-3 - -1)*-2. Let d = l + 45. Is d a multiple of 22?
True
Is 344/6 - (-4)/(-3) a multiple of 8?
True
Let s(g) = -g**3 + 8*g**2 + 11*g - 3. Is s(9) a multiple of 4?
False
Let k(h) = -h - 4. Let p be k(0). Let w = 6 - p. Is w a multiple of 9?
False
Let l be (0 - 1) + 7 + -2. Suppose 4*f = -2*y + 56, -2*f = -3*f - 3*y + l. Is 16 a factor of f?
True
Let h be -30*(1 - 3/6). Let p = h - -99. Is p a multiple of 19?
False
Let n(x) = -6*x + 49. Is n(-6) a multiple of 5?
True
Let b(f) = 2*f**2 + 5*f + 2. Let x be b(-3). Suppose 0 = 2*n - 3*r - 103, x*n - 2*r - r = 244. Suppose n + 64 = 3*j. Is 16 a factor of j?
False
Suppose 4 = 5*w - p - 28, -2*w + 2*p + 16 = 0. Let z(d) = 3*d**2 - 6 + 0 - 2*d**2 - d**3 -