+ 5*y + 3*g - 54 = n. Does 12 divide y?
False
Let m = 112 + -15. Is m a multiple of 25?
False
Let d be (-3*164/(-6))/2. Let i = -9 + d. Is 24 a factor of i?
False
Let u be 9/(-6)*4/(-3). Suppose u*x - 24 = -x. Is x a multiple of 8?
True
Let d be 0/(-3*(-1 + 2)). Suppose d = -4*k + 3*k. Suppose k = y + 3*y - 72. Does 9 divide y?
True
Let q be (60/16)/((-1)/16). Let o be q/(-16) + 6/(-8). Suppose 77 = 4*y - x, -4*x = y + o*y - 72. Does 19 divide y?
True
Suppose -2*a = -b + 2*a + 20, 5*a = -5*b. Suppose 4*u = b*i + 48 + 8, 2*u + 4*i + 2 = 0. Is 6 a factor of u?
False
Let f be (52/(-3))/((-4)/18). Let d = f - 51. Does 14 divide d?
False
Let p(v) = v**3 + 8*v**2 - 12*v - 5. Let m be p(-9). Suppose 3*r - 4*r + m = 0. Is 22 a factor of r?
True
Let m(o) = 1 + 7 - 3*o - 1. Is m(-6) a multiple of 9?
False
Let q(c) = 2*c + 2. Let f be q(2). Let l(z) = z + 5. Is 5 a factor of l(f)?
False
Suppose -53 = -5*o + 4*s + 57, 5*o = 5*s + 115. Is o a multiple of 9?
True
Let m = -147 - -255. Suppose 0 = c + c - m. Suppose -4*g + c = -26. Is 20 a factor of g?
True
Let o be 0 + 3*(-1)/(-1). Suppose -12 = 2*n - o*y, 2*n - y + 8 = y. Suppose 5*q - 18 = 5*c + 47, 5*q + 2*c - 37 = n. Is q a multiple of 9?
True
Suppose -291 = -h - h + 5*s, -h - 4*s + 126 = 0. Suppose 0 = -5*a + a + 2*b + 140, -4*a + h = -3*b. Suppose -3*t - t + a = 0. Is 7 a factor of t?
False
Let w = 223 - 319. Let t = w + 136. Is 11 a factor of t?
False
Suppose 2*i - 5*y = 189, 5*i - 435 - 84 = -3*y. Is i a multiple of 29?
False
Suppose 5*x - 155 = -3*a, -x = -3*a + 5*a - 108. Is a a multiple of 27?
False
Let b(m) = 20*m**2 - 7*m + 6. Let c(p) = -7*p**2 + 2*p - 2. Suppose 6 - 18 = 2*d. Let k(w) = d*b(w) - 17*c(w). Is 5 a factor of k(6)?
True
Let b be (-1)/4 - (-4)/16. Suppose b = -f - 0 - 6. Does 10 divide 3*-5*8/f?
True
Suppose 3*s - 41 = -5. Let y(o) = -o**3 + 11*o**2 - 13*o - 2. Let i(g) = -g**2 + g. Let l(k) = 2*i(k) - y(k). Does 21 divide l(s)?
False
Let i be (-9)/(-6) - 1/(-2). Is (-1)/((2 + i)/(-64)) a multiple of 6?
False
Let j be (-6)/(-10) + (-110)/(-25). Let t(i) = i**2 - 5*i + 4. Does 4 divide t(j)?
True
Let o(u) = 30*u - 2. Let y(g) = 30*g - 1. Let q(s) = -3*o(s) + 4*y(s). Is q(2) a multiple of 22?
False
Is 22 a factor of 158 - (4 + -2) - 4?
False
Let m = 23 - -2. Suppose 131 = 4*w - m. Does 13 divide w?
True
Is (11*(0 - 1))/(-1) a multiple of 11?
True
Suppose 3*n - 15 - 17 = -a, 0 = 4*a + 2*n - 138. Is 5 a factor of a?
True
Suppose -5*b + 2 = -3. Let z = b + -5. Let r = z - -30. Is 13 a factor of r?
True
Suppose 5*y - 50 = 10. Let k(j) = -5*j. Let c be k(-8). Let d = c - y. Does 10 divide d?
False
Let j(u) = u**3 + 8*u**2 + 7*u + 6. Let w be j(-6). Let z = w - 12. Is z a multiple of 16?
False
Let i(q) = 4*q**3 - 2*q**2 + 1. Is i(1) a multiple of 2?
False
Suppose -c = -11 - 5. Does 8 divide c?
True
Suppose 2 = 5*z + 7, -2*q + 5 = z. Suppose 55 = -q*f - 2*f. Let a = f + 18. Is 4 a factor of a?
False
Suppose -7 = 2*h + 5*k + 12, -2*h + 1 = k. Let y(b) = 33*b - 4. Does 24 divide y(h)?
False
Let p be 3 + 0/2 - 3. Does 24 divide 22 - (4 - p)/(-2)?
True
Let c(y) = -4*y. Let k(u) = 4*u + 11. Let b be k(-6). Is c(b) a multiple of 13?
True
Let v(g) be the third derivative of g**6/120 + g**5/15 + g**4/24 + 2*g**3/3 - 3*g**2. Suppose 0*u + 3 = -u. Is 5 a factor of v(u)?
True
Suppose -4*g + 4*q = -16, 13 = 4*g - q - 0*q. Suppose 0*v - 2*v + 27 = 5*b, -4*v = -g*b - 41. Is 3 a factor of v?
False
Let o(d) = -d**2 - 11*d - 2. Suppose 2*a + 18 = -n, 1 = -5*a - 24. Does 11 divide o(n)?
True
Let j = 95 - -70. Is j a multiple of 34?
False
Suppose 0 = 2*r + 2*r - 16. Suppose j = r*j. Suppose -125 = -j*u - 5*u. Is u a multiple of 13?
False
Is 1/1*125/1 a multiple of 14?
False
Let k be ((-4)/6)/(2/3). Let n(r) = -3*r**3 + 2*r + 1. Does 2 divide n(k)?
True
Suppose 56 = 2*l - 16. Is 14 a factor of l?
False
Let j(u) be the second derivative of -2*u + 3/2*u**2 + 0 - 1/12*u**4 + u**3. Is j(5) a multiple of 4?
True
Does 10 divide (-1)/(42/(-20) + 2)?
True
Let l be (2/4)/(1/2). Let d = l - -1. Is (-118)/(-5) + d/5 a multiple of 12?
True
Let k be (6/4)/(9/12). Let l = -2 + k. Suppose 5*j + 4*h = 30, 0 = -l*j - j + 4*h + 6. Is j a multiple of 3?
True
Suppose -58 = 4*c - 314. Is 16 a factor of c?
True
Is (-3)/12 - (2 - 1197/4) a multiple of 34?
False
Suppose -5*a + 5*p = 0, -3*a + 4*p = -0*p + 5. Suppose a*j - 15 = 15. Let q = 14 + j. Is q a multiple of 10?
True
Is 7 a factor of 30/(-45) - (-44)/3?
True
Suppose 0 = -5*z + f + 18, -7 = -4*f + 1. Is 28 - 1 - (5 - z) a multiple of 11?
False
Let w(y) = -2*y - 2. Suppose 5*s + 3*x = -3 - 18, 2*s = x - 15. Is 10 a factor of w(s)?
True
Suppose -3 = y - 5. Suppose g - 55 = -2*w - 4*g, -y*w = -2*g - 62. Does 9 divide w?
False
Suppose 3*q + 3 = 12. Suppose -q + 13 = 5*y. Does 2 divide y?
True
Suppose 2*o = 3*y - 7, -2*y = -2*o - 0*y - 2. Is -8*(-12 + o) - 2 a multiple of 20?
False
Suppose -12*t + 611 = 35. Is t a multiple of 10?
False
Let l(u) = u + 13. Does 10 divide l(-3)?
True
Is 17 a factor of 15/6*28 + -2?
True
Let f be (16/(-24))/((-4)/(-30)). Let r = 9 + f. Suppose -r*k + 122 = 2*t - 0*t, 0 = -t + 5. Is k a multiple of 14?
True
Suppose -3*p + 2*c = -30, 2*c + 42 = 2*p + 2*p. Suppose 2*w + 4 - p = 0. Suppose 0 = -g - i + 47, -g - w*g = -4*i - 190. Does 21 divide g?
True
Let d(y) = 52*y**2 + y + 1. Let g be d(-1). Let t = -14 + g. Is t a multiple of 21?
False
Suppose -3*g = -5*w + 2*g + 10, -2*w + 4*g = 0. Suppose 2*t + 2*y - 52 = -w, -t = -5*y - 48. Is t a multiple of 8?
False
Suppose -5*q - 10 = 5*b, -2*q = -0*q - 2*b - 16. Suppose 0 = 3*d - f - 38, -4*f = 2*d - q*d + 20. Is d a multiple of 12?
True
Suppose 0*j - 4*j + 56 = 0. Is 14 a factor of j?
True
Let m(f) = -12 + 2*f**2 - 2*f - 3*f**2 - 11*f. Let q be ((-1)/2)/((-6)/(-132)). Is m(q) a multiple of 5?
True
Suppose y + 3*d = 158, 4*d + 705 = 5*y + 2*d. Is 8 a factor of y?
False
Let x(g) be the second derivative of 5*g**3/6 - 3*g**2 - 2*g. Is 19 a factor of x(5)?
True
Let d(k) = -28*k + 0 + 0 + k - 1. Is d(-1) a multiple of 13?
True
Suppose 2*f = -3*w + 6, 0 = -2*w - 0*w + 4. Suppose f = i - 4 - 20. Is i a multiple of 22?
False
Let j(z) = -13*z - 5. Let q be j(-4). Suppose 4*u - 39 = -5*f, -5*u - 2 = 5*f - q. Suppose u = a - 12. Is 8 a factor of a?
False
Suppose 62 = 3*r - 28. Does 15 divide r?
True
Suppose 3*s + 17 = -4*c, 8 = 4*c - 2*c. Let h = 17 + s. Does 2 divide h?
True
Let k be (-5)/(-5) + 2 + -1. Suppose -k*h + 66 = -66. Is h a multiple of 11?
True
Suppose 40 = 4*x - 8. Suppose 4*t - 2*t - x = 0. Suppose -t*s + 60 = -s. Does 5 divide s?
False
Suppose 4*k = -3*o - 2*o + 212, 0 = 3*k - o - 140. Is 12 a factor of k?
True
Suppose 3*j - 24 = y, 4*j + 2*y = 3*y + 33. Is 6/j*(-78)/(-4) a multiple of 13?
True
Suppose -2*f + 20 = 3*u, -5*f + f - 4 = -5*u. Suppose -u*y + 92 = -44. Is 7 a factor of y?
False
Suppose -40 = -5*m - 0*m. Let d = 10 - m. Suppose -s + d*l = -10 + 1, -17 = -3*s - 4*l. Is s a multiple of 5?
False
Let m(g) = g**3 + 5*g**2 + 4. Let v be m(-5). Let l = -26 + 71. Suppose v*f - l + 1 = 0. Does 7 divide f?
False
Suppose -c + 5*v - 24 = c, -5*c - 5*v = 25. Let y(o) = -o + 10. Does 11 divide y(c)?
False
Suppose -4*o - 4*x = -384, 0*x - x = 0. Is 24 a factor of o?
True
Is 8 a factor of 4/14 - (-528)/14?
False
Let k(t) = t**2 + 10*t + 12. Let l be (-6)/(3/(9/(-3))). Suppose -17 = q - l. Is 23 a factor of k(q)?
True
Let p = 59 + -34. Is p a multiple of 25?
True
Suppose -68 = -2*z + 5*y, z + 0*z + y = 20. Let q(p) = -5*p + 5. Let a be q(-6). Let c = a - z. Is 7 a factor of c?
False
Let k be 1 + (-2)/((-6)/99). Suppose -4*v = 14 - k. Is v even?
False
Let d = 74 - 48. Let l(u) = 2*u**2 - 5*u - 1. Let a be l(-5). Suppose d = -3*p + a. Is 8 a factor of p?
True
Let n be (1/((-7)/(-12)))/((-2)/35). Suppose -2*j = -3*t + 74, -6*t + 2*j = -4*t - 50. Is (t/15)/((-4)/n) a multiple of 6?
True
Suppose 64*k - 63*k = 186. Is k a multiple of 31?
True
Let g(w) = -3*w**3 - 3*w**2 + 4*w - 1. Suppose -9 = 4*j + 3. Does 8 divide g(j)?
False
Let c(s) = -44*s**3 - 1. Let q be (-3 - -1)/(-1 + 3). Is c(q) a multiple of 13?
False
Let r = 106 + -74. Suppose 0*n + n = 0. Suppose -5*v + 3*v + r = n. Is v a multiple of 7?
False
Suppose 0 = -5*i + i + 20. Suppose -i = -4*x + 7. Suppose 72 + 24 = x*d. Is d a multiple of 16?
True
Does 6 div