 -24. Is g even?
True
Let p(o) = o**3 + 4*o**2 + 3*o + 3. Let y(q) = q**2 + 4*q - 3. Let m be y(-4). Let f be p(m). Suppose -110 = -8*r + f*r. Is r a multiple of 11?
True
Is -45*(-7)/((-42)/(-8)) a multiple of 30?
True
Let r be (560/4)/(-4)*2. Let y = r - -100. Is 10 a factor of y?
True
Does 20 divide (0 + -3)*((-138)/9 - -3)?
False
Let f(x) = -x**2 - 6*x + 10. Let u be f(-7). Is 18 a factor of 35 + u + -2 + 0?
True
Let y = -12 - -22. Let m = y + -8. Is 2 a factor of m?
True
Suppose 2*s = 5*s - 15, -14 = 4*v + 2*s. Let u = 12 + -11. Does 11 divide u - 7*v/1?
False
Suppose 4*j - 5*s - 711 = 0, 867 = 4*j + j + s. Does 29 divide j?
True
Let x be 5 + (-1 - -1)/2. Let n(h) = 8*h - 4. Does 13 divide n(x)?
False
Let h = -181 + 300. Is h a multiple of 15?
False
Is (4/(-2) - -3) + 51 a multiple of 13?
True
Let s(t) = -52*t**3 + t**2 - 1. Let i be s(1). Let r = -16 - i. Is 36 a factor of r?
True
Let n(j) = 5*j**3 + 6*j**2 + 3. Let p(o) = 5*o**3 + 5*o**2 + 2. Let c(k) = 3*n(k) - 4*p(k). Is 4 a factor of c(-1)?
True
Let s(a) = -a + 2. Is 3 a factor of s(-9)?
False
Let d = -11 - -11. Suppose 5*c + 2 = l - 13, d = 2*c + 4. Does 2 divide l?
False
Is (-6)/(-27) + 860/18 a multiple of 15?
False
Let y be 11/4 + 9/(-12). Suppose 3 = g, 4*u = -u - y*g + 71. Is 13 a factor of u?
True
Does 15 divide 0 + 1 - 200/(-5)?
False
Suppose 3*r - 104 = -r. Let y be (-6)/(-27) + 146/(-9). Let u = r + y. Is u a multiple of 10?
True
Let y(w) = -6*w + 1. Let m be y(1). Does 24 divide m*2/(-15)*108?
True
Suppose p - 6 = -p. Suppose p*m = 8*m - 150. Is m a multiple of 15?
True
Does 12 divide ((-42)/(-4) - 3)*(-8)/(-5)?
True
Suppose 0 = -c + 2, 0 = q + 4*c - 0 - 11. Suppose 0 = -g - 2*u + 10, q*g + 5*u - 30 = -0*g. Does 10 divide g?
True
Let f(q) = -q**2. Let m be ((-8)/(-20))/(2/10). Let z(w) = -40*w**2 + 2*w - 1. Let n(g) = m*f(g) - z(g). Does 13 divide n(1)?
False
Let y(k) = k**2 - 6*k + 3. Is 3 a factor of y(10)?
False
Let w = 8 - 5. Let d = 16 - w. Suppose 4*i - 4*n - 44 = -0*n, 0 = -i - n + d. Is i a multiple of 11?
False
Suppose 3*u + 70 = 241. Is u a multiple of 12?
False
Suppose 76 = b + s, 0 = 8*b - 3*b + s - 396. Is b a multiple of 10?
True
Let h = 0 - -9. Is h a multiple of 5?
False
Suppose 24 = 3*w - 12. Let g = w - 6. Suppose -g*f + f = -120. Is 12 a factor of f?
True
Let x(r) = -6*r + 1. Let j be x(1). Is 34 - (j - (-3 + 1)) a multiple of 23?
False
Let i = 0 + -2. Let q be ((-6)/(-21))/(i/(-14)). Suppose 0 = q*g - g - 18. Does 8 divide g?
False
Let y(v) = v**2 - 2*v - 12. Let d be y(5). Suppose -3*q = b + 2*b - 162, d*q - 12 = 0. Is b a multiple of 8?
False
Let i be (-3 + 16/6)*0. Let l(y) = -y**2 - y + 72. Let c be l(i). Suppose -k - 3*k = -c. Is k a multiple of 18?
True
Let y = 1 - -3. Suppose 0 = 4*g + 4*q - 144, y*g - g = -q + 114. Is g a multiple of 13?
True
Is 26 a factor of 2/((-8)/2)*(-382 + 18)?
True
Is (-2)/(-13) - (-555)/195 even?
False
Suppose -m + 390 = 2*i, 2*m + 4*i = 2*i + 784. Is m a multiple of 13?
False
Let y(b) = 1 - b**3 + 3 + 4*b**2 - 3*b + b. Suppose 4*m + j + 2*j - 9 = 0, 0 = 2*m + 4*j - 2. Does 3 divide y(m)?
False
Suppose -2 = -5*n + 8, -3*n + 6 = 4*b. Suppose b = s + 2*s. Does 19 divide 0 + (0 - s) + 32?
False
Let n(x) = -15*x - 7. Let l(j) = -29*j - 13. Let m(z) = -6*l(z) + 11*n(z). Let h(r) = -r - 2. Let b be h(-5). Is 10 a factor of m(b)?
False
Let d(g) = g**3 + 3*g**2 - 6*g - 1. Does 7 divide d(-4)?
True
Let g = 49 - -44. Is g a multiple of 17?
False
Let d(v) = 4*v**2 - 2*v - 1. Is d(-1) even?
False
Let v(y) = -y**2 + 9*y - 5. Let x be v(4). Suppose 5 = -4*p - 9*u + 4*u, -2*p + u + x = 0. Is p a multiple of 4?
False
Let s = -81 - -125. Suppose -s = -4*h - 8. Is 136/6 + 3/h a multiple of 11?
False
Let j = 50 + -8. Is 18 a factor of j?
False
Suppose -4*y - 6*n + 4 = -2*n, -3*y + 5*n + 19 = 0. Suppose -y*x = 2*t - 227, 4*x = 2*t + 234 + 64. Does 15 divide x?
True
Let p(v) = v**3 + 8*v**2 - 5*v + 5. Let x be p(-8). Suppose -2*w - 5*n + 18 = 0, -5*w - 3*n + x = -2*n. Is 8 a factor of w?
False
Suppose -7*w + 2*w + 256 = 2*y, 5*y = -w + 42. Is 3 a factor of w?
False
Suppose -4*w = w + 4*m - 16, w + 4*m = 16. Suppose b - 3*b - j = -39, w = -3*j - 3. Suppose b = c + c. Is c a multiple of 10?
True
Let p be ((-3)/(-9))/(5/60). Suppose m = -3*o + 3*m + 217, p*m - 16 = 0. Is o a multiple of 15?
True
Suppose -6*g + 1143 - 393 = 0. Is g a multiple of 3?
False
Let d(b) = -5*b. Let m be d(7). Let l = m - -61. Does 13 divide l?
True
Let z(y) = 7*y**3 - 4*y**2 + 3*y + 3. Does 7 divide z(2)?
True
Let h = -33 - -73. Is h a multiple of 20?
True
Let c be 100/(-15) - 2/(-3). Is (-2 - c/3) + 26 a multiple of 13?
True
Let u(f) be the first derivative of 41*f**3/3 + f**2/2 + 2*f + 6. Is u(-1) a multiple of 19?
False
Let n = -11 - -13. Suppose 0 = -2*m + 3*m - n. Is m a multiple of 2?
True
Let c(f) = -f - 3. Let k be c(-9). Suppose k*b - 1 = 5*b. Is 16 a factor of 1 - (-16 + b*-2)?
False
Suppose 77 + 7 = 4*v. Is 7 a factor of v?
True
Let w(t) = 4*t**2 + 7*t + 6. Is 12 a factor of w(-6)?
True
Let m = 48 - 27. Is 7 a factor of m?
True
Let c be (-205)/(-10) + (-3)/2. Let i = 33 - c. Is i a multiple of 14?
True
Suppose 0 = 5*q - 3*t + 69, 13 = -q - t - 4. Let i = q + 21. Is i even?
True
Let d(o) = 3*o**2 + 23*o - 12. Is d(-10) a multiple of 13?
False
Suppose 3*z + 420 = -z. Let u = -74 - z. Is u a multiple of 17?
False
Let b(l) = -4*l**2 + 3*l - 1. Let x(n) = 2*n**2 - n. Let z(j) = 2*b(j) + 5*x(j). Let c be (0 + -2)/(2/3). Does 9 divide z(c)?
False
Suppose -5*m + 21 = 4*h, h = -m - 2*m + 7. Suppose 0 = 5*a - h*x - 19, 8*a - 3*a = -3*x + 12. Is a/6*(-2 - -8) a multiple of 3?
True
Let k(a) = 11*a - 3. Does 22 divide k(6)?
False
Suppose 2*l + 4*n = 216, -2*n + 5 = 3*n. Suppose -2*p - 140 = -2*d - 2*d, -3*d = -2*p - l. Is 16 a factor of d?
False
Let g(s) = s**3 + 4*s**2 - 3*s - 6. Let w be g(-4). Suppose t - w + 4 = 0. Is ((-12)/(-3) - t)*4 a multiple of 6?
False
Let t(n) = -2*n**2 - n + 28. Does 16 divide t(0)?
False
Suppose 27*l - 35*l = -3264. Is l a multiple of 21?
False
Let t be (-4)/(-5)*75/(-6). Does 8 divide ((-360)/(-50))/((-3)/t)?
True
Is (9/(-3) - -1) + 41 a multiple of 10?
False
Let c(d) = d + 10. Let a(p) = -p**2 - p + 1. Let n be a(-3). Is c(n) a multiple of 3?
False
Suppose -2*v + 15 = 3*g, -5*g - 3*v = -2*g - 12. Is 317/g + (-4)/14 a multiple of 15?
True
Suppose -15 = -3*s - 0*s, -5*w + 130 = 3*s. Does 12 divide w?
False
Suppose 7*i + 12 = 11*i. Suppose 5*x + i*p - 115 = 3*x, 3*p + 135 = 3*x. Is x a multiple of 10?
True
Suppose -3*b = 5 + 1. Let x be (8 - -6)*(-2)/b. Suppose 0*f = f - x. Is f a multiple of 7?
True
Suppose n + 0 - 1 = 0. Let j = 0 - n. Does 3 divide j + (1 - 0) + 7?
False
Let r = 99 + 39. Is r a multiple of 23?
True
Suppose r - 19 = -3*w, 2*r = 3*r - 4. Let k(h) = -h**2 - 6*h + 30. Let j be k(-9). Suppose -2*g = -j*x - 6*g + 46, w*x - 5*g = 30. Does 10 divide x?
True
Let f be 116/(-14) - (-8)/28. Is 4 a factor of ((-22)/(-8))/((-2)/f)?
False
Let f(h) = -7 - 3 + 4 + 2 - h**2 + 10*h. Let k be f(9). Suppose w - 2*b = 2*b + 5, 2*b - 25 = -k*w. Does 5 divide w?
True
Suppose -p = p + 12. Does 8 divide 276/(-8)*4/p?
False
Let a be (-24)/(-2)*3/9. Suppose a*c + 79 = 7. Let t = c - -61. Does 21 divide t?
False
Let i = 4 + -6. Let j be (i/4)/((-3)/144). Suppose 0*x = -3*x + j. Is 8 a factor of x?
True
Let n = 7 + -10. Let r = 5 + n. Suppose -120 = r*q - 7*q. Does 18 divide q?
False
Let h be ((-2)/(-4))/(1/4). Let c be ((1 - -2) + h)*1. Suppose -2*v + 40 = 4*d, -3*v + d = -c*v + 37. Does 9 divide v?
True
Suppose 0 = -u - 3 - 5. Let h be u/(-5) - 8/(-20). Suppose 14 = h*q + 2*a + 2*a, -4*q - a = -21. Is 5 a factor of q?
True
Suppose 0 = -b + 2*c + 8, c - 3 = 4*b - 21. Suppose -5*h - k + 241 = 0, -144 = -4*h + b*k + 44. Is 12 a factor of h?
True
Let b(p) be the first derivative of 3*p**4/4 - 2*p**3/3 - p**2 - p - 1. Let l be b(-1). Let o = 9 + l. Is o a multiple of 5?
True
Suppose -1 = -2*n - 9. Is (22/n - 0)*-2 a multiple of 6?
False
Suppose 0 = 4*a - x + 2, 2*x - 4 = -0*x. Suppose 0 = 2*i, 3*t = -a*t + 3*i. Suppose t*q + 5*q = 130. Does 13 divide q?
True
Let k(z) be the third derivative of -z**7/1008 + z**5/60 + z**2. Let m(d) be the third derivative of k(d). Is m(-1) a multiple of 5?
True
Suppose -5*l + 4*c = -159, -3*c + 2 = 5. Is l a multiple 