Is v even?
False
Let n be (-28)/6*(-18)/12. Let j(o) = 4*o + 8. Is 18 a factor of j(n)?
True
Suppose v - 4*w - 52 = 0, -3*v + 8*w = 3*w - 142. Is v a multiple of 22?
True
Suppose -5*y - 2*i + 305 = 0, -i + 5*i + 20 = 0. Is y a multiple of 4?
False
Let l = 0 - -13. Let z be ((-2)/4)/(1/10). Let j = z + l. Is 5 a factor of j?
False
Let u = 275 + -125. Does 15 divide u?
True
Suppose -3*c = 6 - 15. Suppose 25 = c*u + 10. Is 2 a factor of u?
False
Let u be 2 + -1 - (-2 - -1). Suppose -u*c + 24 = 2*q + 4, 2*q + 3*c - 23 = 0. Let l = q + -3. Is 4 a factor of l?
True
Suppose -46 = -d + 274. Is d a multiple of 22?
False
Let c = 17 + -12. Suppose 3*z - 5 = 5*u - 25, c*u = -z. Is ((-70)/(-6))/z*-3 a multiple of 7?
True
Suppose 2*d + 46 = 2*j, -3*j + 4*j - 33 = -d. Let r = 18 + j. Is r a multiple of 23?
True
Suppose 40 = -9*x + 11*x. Is 10 a factor of x?
True
Let g(v) = v**2 - v + 2. Let c be g(6). Suppose z - 4 = c. Does 15 divide z?
False
Suppose 0 = -2*z + 3 + 9. Let c(h) = h**3 - 7*h**2 + 5*h - 4. Let r be c(z). Is 224/10 + 4/r a multiple of 8?
False
Let t be 20/25*65/2. Suppose -t + 68 = 2*l. Is 9 a factor of l?
False
Let x(s) = -2*s + 63. Is 21 a factor of x(0)?
True
Let i = 0 - -1. Does 3 divide ((i - 1) + -1)*-10?
False
Let n(t) = 259*t - 2. Let r be n(-2). Does 6 divide (-6)/(-33) - r/44?
True
Suppose -3*s - 14 = -68. Does 2 divide s?
True
Let q be (-2)/(-9) - (-306)/81. Suppose 0*o = -2*o - 5*u + 30, -q*o = -u - 38. Does 3 divide o?
False
Let o = -1 + 1. Suppose r + o = -3. Let g = 1 - r. Is g even?
True
Let u(q) = 17*q - 4. Let f(z) = 4*z - 1. Let b(h) = 18*f(h) - 4*u(h). Let m = 2 - -1. Is 8 a factor of b(m)?
False
Suppose 2 = 2*o, 0*j - j = 2*o - 49. Is 7 a factor of j/7 - (-2)/7?
True
Suppose 3*u = -0*u + 15, -q - 4*u + 23 = 0. Let p(j) = 3*j**2 - 3*j - 2. Does 9 divide p(q)?
False
Suppose o - 58 = 4*j, -2*o - 5*j = -0*o - 129. Is 15 a factor of o?
False
Let m = -68 + 140. Is m a multiple of 24?
True
Suppose 4 = -3*i - 2, 8 = -o - 5*i. Suppose -6 = -3*q + 2*p, -q + 0 + o = 5*p. Suppose 0 = 3*r - 5*k - 68, -3*r = -r - q*k - 48. Does 13 divide r?
True
Suppose -n = -2 - 2. Let x = -3 - n. Let g = -1 - x. Is 4 a factor of g?
False
Let b(t) = -t**3 + 20*t**2 - 14*t - 30. Is b(19) a multiple of 17?
False
Let i(q) = -7*q + 3. Is 19 a factor of i(-3)?
False
Let t(f) be the third derivative of f**5/30 - f**4/8 + f**3/6 - 3*f**2. Is 14 a factor of t(-3)?
True
Suppose -102 = 19*d - 25*d. Is 3 a factor of d?
False
Suppose 13*g - 1458 = -353. Is 17 a factor of g?
True
Suppose 3*t = -14 - 4. Let m(p) = -p**3 - 7*p**2 - 9*p - 7. Does 11 divide m(t)?
True
Suppose -6 = 5*v - 31. Suppose -18 - 12 = -v*f. Is 12 a factor of (8/f)/(4/72)?
True
Let a be 5 - 3 - (-3 + 3). Suppose -4*j = -a*b + 18 + 2, -j = 4*b - 49. Does 3 divide b?
True
Let p be (-3 - -1)*2/2. Let q be 6/p*1 - -31. Suppose 4*m + 12 = 4*r + q, 5*r - 10 = -m. Is 2 a factor of m?
False
Let v be 1/(-2) + 5/(-2). Let k be v*(0 + -1) - 1. Suppose -46 = -k*n + 5*c - 16, -n + 2*c = -13. Does 5 divide n?
True
Let n(l) = -l**2 - 9*l + 5. Is n(-5) a multiple of 5?
True
Let m(d) = -d - 3. Let l be m(-3). Suppose 2*s = 7*s + 3*x - 132, -4*s - 3*x + 108 = l. Does 8 divide s?
True
Let z(k) = -2 - k - 5 + 4. Let o be z(7). Does 5 divide ((-10)/(-3))/(o/(-15))?
True
Let l be (5/4)/(8/32). Let n = l + -2. Suppose -n*z + 5*z = 36. Does 6 divide z?
True
Let w = -10 - -19. Is w a multiple of 9?
True
Suppose 0 = -11*h + 1196 - 305. Is h a multiple of 27?
True
Let z(i) = i**3 + 4*i**2 - 7*i - 4. Suppose p + 30 = -5*w, 4*w = -5*p - w - 50. Let q = -10 - p. Does 6 divide z(q)?
True
Let d(a) = -a**3 + 8*a**2 + 25*a - 20. Does 10 divide d(10)?
True
Let b(r) = 2*r**3 + 13*r**2 + 6*r + 1. Let v(x) = -x**3 - 7*x**2 - 3*x - 1. Let d(f) = 2*b(f) + 5*v(f). Is d(-9) a multiple of 12?
True
Let a be (-370)/45 + 4/18. Is (-274)/a + (-1)/4 a multiple of 15?
False
Suppose 2*q - 30 - 10 = 0. Is ((-112)/q)/((-4)/20) a multiple of 14?
True
Let l(w) = -w**3 + 2*w**2 + 2*w + 1. Let b be l(-1). Suppose -f - b*f + 33 = 0. Does 11 divide f?
True
Suppose -5 = 3*j - 92. Is j a multiple of 29?
True
Suppose 3*b + 2*q = 7*q + 70, 4 = -2*q. Let g = -7 + b. Does 9 divide g?
False
Let n be (-4*1)/((-2)/8). Suppose -4*s = -n, 4*r + 23 = 4*s + 115. Is 9 a factor of r?
True
Let l = -17 + 22. Let y = -6 - -9. Suppose y*p + l*q = 3*q + 48, -2*q = 5*p - 80. Does 16 divide p?
True
Let c(d) = -10*d - 7. Does 11 divide c(-4)?
True
Let d(z) = z**3 + 4*z**2 - 3*z - 5. Let o be d(-4). Let t(w) = -15*w + 8. Let a be t(-5). Suppose 4*n - a = -o. Does 19 divide n?
True
Let d = 0 - -2. Suppose -d*a + a = 1. Let b = a - -25. Does 15 divide b?
False
Suppose -5*x + 14 + 6 = 0. Suppose -56 = -x*v + 52. Is v a multiple of 15?
False
Let a = 3 - 10. Is 12 a factor of 996/42 + (-2)/a?
True
Let u(r) = 6*r - 9. Suppose 9*v - 30 = 4*v. Does 7 divide u(v)?
False
Suppose -3*z - 51 = -3*v, -4*v + 2*z - z = -77. Is 17 a factor of v?
False
Let b be ((-2 - -3) + -2)*3. Let k = -3 - b. Suppose 4*i = k, 0*d - 2*i = 3*d - 78. Is 13 a factor of d?
True
Let t(o) = o - 3. Let z be t(0). Let p(q) = -26*q**2 + 8*q + 29. Let n(j) = -9*j**2 + 3*j + 10. Let a(g) = 17*n(g) - 6*p(g). Is a(z) a multiple of 11?
False
Suppose -2*y = 4*c - 52, 0 = -2*y + 2*c + 79 - 33. Is y a multiple of 8?
True
Let t(m) = -m**2 + 7*m - 5. Let o be t(4). Let a = o - 3. Does 2 divide a?
True
Let r(l) be the first derivative of -l**4/4 - 3*l**3 - 13*l**2/2 - 8*l + 2. Let q be r(-8). Is 0/(4 - 2) + q a multiple of 16?
True
Suppose -m - 4*l = -0*m - 39, 0 = -4*m - 2*l + 142. Let c be (-10)/m - 1362/(-14). Let r = c + -58. Is r a multiple of 14?
False
Let g(f) = -f**3 + 7*f**2 + 3*f - 3. Let b be g(6). Suppose -w + b = 2*w + r, -5*w - 2*r = -85. Is w a multiple of 12?
False
Let q be (-9)/(-6) + (-1)/(-2). Let s = q + -2. Suppose -2*r + 20 = -s*r. Does 5 divide r?
True
Let n(b) be the second derivative of b**4/12 + 4*b**3/3 - 3*b**2 - 2*b. Let h be n(-11). Suppose c + 4*f + 4 = 0, h + 8 = 4*c - f. Is 8 a factor of c?
True
Let h(l) = l + 1. Let i be h(2). Suppose 2*u - 5 = -i*u. Let p = u + 26. Does 15 divide p?
False
Let c = -13 + 6. Let u(y) = y**3 + 5*y**2 + 2*y + 4. Let p be u(-4). Let v = c + p. Is v a multiple of 2?
False
Suppose 0 = 4*u - 2*x - 0 - 14, 3*x = -3*u + 6. Let s be -2 - (-6)/9*u. Suppose -n - 5*j + 9 = s, 0 = -4*n - 4*j - 0*j + 68. Is 7 a factor of n?
False
Suppose 0 = -0*o + 3*o - 300. Is 10 a factor of o?
True
Let l(s) = 21*s + 3. Let i be l(3). Let h = i - 45. Is h a multiple of 7?
True
Let o(b) = -b**3 - 5*b**2 - 6*b - 2. Let s be o(-5). Suppose 0 = -5*n + 2*i + 55, -5*n = i - s - 12. Suppose -4*x + 7 = -n. Is 3 a factor of x?
False
Suppose 5*z - 4*p = 19 + 180, 0 = 4*p - 16. Does 3 divide z?
False
Does 4 divide -3 + (3 - 3 - -8)?
False
Suppose -3*j + 3 = -12. Suppose 5*w - 3*w = j*n + 88, -w = -2*n - 45. Let c = w + -21. Does 16 divide c?
False
Let m(z) = z**3 - 8*z**2 + z. Let v be m(8). Suppose -2*x + 12 = -v. Is 5 a factor of x?
True
Suppose -3*s = -8 + 2. Let b = -16 - -34. Suppose -3*r + 15 = 3*h - b, -4*h + 26 = s*r. Does 9 divide r?
True
Suppose -w + 2 = -4. Let d be (-150)/(-9) + (-4)/w. Suppose -5*o + d = -9. Does 2 divide o?
False
Suppose 0 = 2*q + 3*q. Suppose 120 = -3*h - 3*x, q = -5*h - x - 2*x - 190. Is 15 a factor of (2/2)/((-1)/h)?
False
Let a be 1 - 0 - (-7 + 2). Let u(q) = q**2 - 6*q + 5. Let g be u(a). Suppose -g*t = 15, -2*o + 5*t + 115 = 3*o. Is o a multiple of 10?
True
Suppose 0 = -g - 4*p + 4 + 38, 0 = 5*g - 3*p - 164. Suppose 4*o = g + 94. Is 12 a factor of o?
False
Let i = -2 - -12. Does 4 divide i?
False
Let s = 14 + -10. Suppose -s*p - 52 = -5*r, 3 = r + p - 11. Is r a multiple of 5?
False
Suppose -2*q + 20 = -3*n - q, 3*n + 35 = 4*q. Is 11 a factor of -6*(n + 3) + -1?
True
Let j = -1 + 2. Let x = 12 + j. Does 5 divide x?
False
Let k(t) = -5*t**2 + 3*t - 3. Let s be k(3). Let g = s - -55. Is g a multiple of 8?
True
Let c(w) = -w**3 + 12*w**2 + 13*w + 12. Does 6 divide c(13)?
True
Suppose 45 = l + 4*l. Does 4 divide (-2 + (-6)/l)*-3?
True
Let a be (4/(-6))/(4/12). Let l(s) = -4*s**3 - 4*s**2 - 3*s - 2. Let r be l(a). Let g = r + -9. Is 3 a factor of g?
False
Suppose -17*g = -8*g - 432. Does 8 divide g?
True
Does 15 divide 186 - (3 - 5) - (1 + 1)?
False
Suppose -113 = -