
Suppose -3*c = -9 - 6. Is c/((-15)/(-42)) - 1 a multiple of 13?
True
Let a(m) = m**3 - m**2 + 16. Is 4 a factor of a(0)?
True
Let h be 1 + 4/4 + 1. Suppose h*d = -0*d + 30. Is 5 a factor of d?
True
Suppose 0 = -3*s + 6, -j - j + s = 2. Suppose 4*f = -3*g + 31 + 8, j = 3*f + 9. Does 17 divide g?
True
Suppose -432 = -5*m - m. Does 13 divide m?
False
Let s be (-4)/3*(-6)/4. Suppose -s*n = -7*n. Suppose 0 = -4*t - n + 12. Is 3 a factor of t?
True
Let p = -54 + 94. Suppose 1 = -y, 5*u = -2*y - 7 + p. Does 6 divide u?
False
Let q be (-534)/(-45) - (-4)/30. Is 4 a factor of ((-4)/3)/((-4)/q)?
True
Let h(n) = n**3 - 9*n**2 + 10*n + 3. Let w = -9 - -17. Let a be h(w). Suppose -4*v = -5*k, -a = -5*v + 6. Is 3 a factor of k?
False
Suppose 4*b - 2 + 14 = 0, 3*p + 4*b = 276. Is p a multiple of 12?
True
Let g(k) = 31*k - 1. Let n(o) = -o + 1. Let v(s) = g(s) + 2*n(s). Let i be v(1). Suppose -i = m - 6*m + p, -2*p = 0. Is 6 a factor of m?
True
Let q(t) = t - 4. Let z be q(5). Suppose 4*s + z = 13. Suppose 2*h - 5*i - 30 = -0*h, 4*i + 31 = s*h. Does 2 divide h?
False
Suppose 1 = -s - 0. Is (s - -3)*(-57)/(-2) a multiple of 19?
True
Let c be 1 + -3 - -3 - 7. Is 2 a factor of (4/c)/2*-15?
False
Suppose 13 = 4*l - 3. Let w(u) = u**3 - u**2 + 12. Let y be w(0). Suppose 2*v - y = -l*x, -v + x - 24 = -3*v. Is 14 a factor of v?
True
Let i(g) = -g**3 + 8*g**2 + 6*g - 9. Let j be i(9). Let b = -3 - j. Suppose -z + 4*c + b = 0, -2*z + 144 = z + 3*c. Does 15 divide z?
True
Let o(t) = 5*t**3 + 2*t**2 - 2*t + 1. Suppose 2*n = 4*p - 22, 0 = 4*n - 9*n - 15. Suppose -a = -p*w - 17, -3*a = 2*a + 5*w + 15. Does 6 divide o(a)?
True
Does 13 divide 2*-3*42/(-9)?
False
Let u(y) = 4*y**2 - 5*y - 3. Is 12 a factor of u(4)?
False
Let c be 30 + 3 + (-3 - -5). Let z = c + 11. Is z a multiple of 23?
True
Suppose -3*w + 166 + 65 = 0. Is 8 a factor of w?
False
Let d(f) = -39*f + 2. Is 20 a factor of d(-2)?
True
Suppose 0*z + 5*z - 45 = 0. Let c be 2/(0 - 2/(-19)). Suppose -z = -4*k + c. Is 7 a factor of k?
True
Suppose -2*z - 10 = -4*z. Suppose 0 = z*o - o - 16. Is (-100)/(-3) - o/(-6) a multiple of 12?
False
Let o(j) = j**2 + 10*j - 1. Let a be o(-10). Let u be a - 1 - (3 - 102). Let l = -53 + u. Does 16 divide l?
False
Is 10 a factor of 1/(4*4/480)?
True
Let j(y) = y**2 + y - 2. Let o be j(-2). Let z = -24 - -13. Let w = o - z. Is w a multiple of 4?
False
Let g be (0 + -30)*(-5)/15. Suppose -100 = -5*l - g. Is 6 a factor of l?
True
Let g = -6 + 9. Suppose -g*h - 3*m + 272 = h, -2*h = 5*m - 150. Is 18 a factor of h?
False
Suppose -5*c + 4*i - i = -122, -5*c - 2*i = -127. Does 2 divide c?
False
Let f(y) = -y**3 - 2*y**2 - 1. Suppose 0*v = 3*v + 12. Is f(v) a multiple of 13?
False
Let p = 192 - 108. Is 13 a factor of p?
False
Let u(m) = -7*m - 9. Let i be 0/(-2) - 24/4. Let a be u(i). Suppose a = 5*b - 22. Is 10 a factor of b?
False
Suppose -475 = 5*s - 75. Is 21 a factor of ((-6)/8)/(2/s)?
False
Suppose -3*b = b. Suppose b*l + 14 = l. Does 7 divide l?
True
Suppose 4*l = 66 - 18. Does 6 divide l?
True
Let w(m) = 2*m**2 + 2*m - 1. Let r be w(-3). Let n = -4 + r. Does 7 divide n?
True
Suppose -2*c = -3*j - 14, 4*j - 2*c = 5*j + 2. Let w be (-184)/18 + j/(-18). Is 14 a factor of (-4)/w*(-6 - -41)?
True
Suppose -m = -l + 6*l + 2, -4*m = l - 49. Let i = m + 56. Does 22 divide i?
False
Suppose 0 = 5*z - 254 - 371. Is z a multiple of 33?
False
Is 9 a factor of (-20 + -1)*(-12)/14?
True
Let g = 27 - 27. Suppose g = 9*o - 4*o - 20. Does 2 divide o?
True
Is 2 + 0 + (-366 + 1)/(-5) a multiple of 15?
True
Let x(c) = 0*c**2 - 2*c**2 + c + 0*c + 1 + 4*c**2. Is 16 a factor of x(-4)?
False
Suppose 10 = -4*b - 2*l - 116, 0 = 2*l - 10. Let v = b + 72. Is 19 a factor of v?
True
Let k be 3/2 - 204/8. Is (k/(-9))/(5/30) a multiple of 16?
True
Suppose g = -5*b + 19, -9 = -4*b - 2*g + 11. Suppose -b*i + 2*l - 27 = l, -4*i = -3*l + 31. Let a = -5 - i. Is a a multiple of 5?
True
Let g = -15 - -87. Is 36 a factor of g?
True
Let j = -5 + 8. Is 4 a factor of (-8)/j*(-54)/8?
False
Suppose 3*p + 63 = 2*p. Let r be 3/6 - 764/8. Let z = p - r. Is 16 a factor of z?
True
Let s be 1/5 + (-6)/5. Let z be (80/(-6))/(s/3). Suppose -4*g + z = 3*c, -5*g + 2*g = -5*c + 57. Is 9 a factor of c?
False
Let b be (-6)/2*(-3)/3. Suppose -3 = b*v - 39. Is v a multiple of 12?
True
Let v(p) = p + 1. Let k be v(4). Let s(c) = c**2 + 3*c + 6. Is s(k) a multiple of 23?
True
Let y be (1*-10)/(12/(-6)). Suppose 21 = y*u - 2*u. Let f(g) = -g**2 + 9*g - 9. Is f(u) a multiple of 2?
False
Let y = 4 - -2. Let a = y + -6. Suppose u = 4*m + 4, 2*u - 5*m = -a*u + 17. Is 16 a factor of u?
True
Suppose 0 = 6*j - 10*j + 144. Is j a multiple of 9?
True
Let x = -31 + 72. Is 10 a factor of x?
False
Let w(z) = z**2 - 3*z + 2. Let v be w(4). Suppose -2*q + v = -4. Is q a multiple of 2?
False
Let m(h) = -h - 4. Let q be m(-5). Let s = 1 + q. Suppose 0 = s*a - 3*j - 59, -a - j - 3*j = -46. Is a a multiple of 17?
True
Suppose 0 = -5*w + 2*c + 384, 5*w = -4*c - 92 + 464. Suppose -2*v + 4 = 0, 4*i - 4*v + 24 = w. Suppose -p = -4*p + i. Does 2 divide p?
False
Suppose -36 = -5*i + i. Suppose 0 = b - 0 - i. Let o = b - 5. Is 4 a factor of o?
True
Suppose 0 = p - 2, -o - o = -5*p + 14. Is 38*(-1)/o*1 a multiple of 19?
True
Let a = 4 + -12. Let t = a + 11. Suppose t*z - 105 = -0*z. Does 13 divide z?
False
Suppose 0 = -v - 1 - 2, -4*v - 52 = 4*j. Let f be j*-1*(-1)/(-2). Suppose -f*b + x + 26 = 0, -4*b - 3*x + 7 = -10. Is b a multiple of 3?
False
Let c be -2 + 2 + (-12)/2. Let n = -8 - c. Is 27 + 0 - (n - -2) a multiple of 11?
False
Suppose 0 = -6*t + 396. Does 11 divide t?
True
Let d be 1 + 0 - (2 - 4). Let a = -7 + d. Let k = 17 + a. Does 9 divide k?
False
Let p(z) = -13*z - 9. Is 23 a factor of p(-6)?
True
Let o = -1 - -1. Suppose o = -0*l - 4*l + 64. Suppose -i - l = -5*i. Is 2 a factor of i?
True
Let w(q) = 2*q**2 + 4*q + 1. Suppose 3*i - 1 = -10. Does 3 divide w(i)?
False
Let d(i) = -i**2 + 9*i - 8. Let f be d(8). Let x(a) = -a**3 - a + 12. Is x(f) a multiple of 12?
True
Suppose -n - v + 4 = 0, 0 = -3*n + 3*v - v + 17. Does 4 divide 3 + n + 3/(-3)?
False
Let f(w) = 43*w + 1. Is f(1) a multiple of 26?
False
Let n = 11 - 6. Suppose -5*v = n*g - 155, -g = 5*v + g - 158. Suppose -3*o + 11 = -3*z + v, 0 = 5*z - 4*o - 32. Is 4 a factor of z?
True
Let r be -2 + (24/18)/((-6)/45). Suppose 4*n = -z - 22 - 2, -45 = 2*z + 5*n. Let h = r - z. Is h a multiple of 3?
False
Suppose 4*j + r + 54 = 6*r, -24 = j + 4*r. Let x = j + 22. Suppose -54 = -x*w + 3*w. Is 9 a factor of w?
True
Let u be 2*(-3)/((-3)/3). Let y(m) = m**3 - 5*m**2 + 3*m + 6. Let p be y(u). Suppose 2*w - p = -w. Does 20 divide w?
True
Let g = 25 - 14. Is g a multiple of 2?
False
Let b(s) = 5 + 0 - 5 - s. Is 7 a factor of b(-7)?
True
Let h(x) = -x**3 - 3*x**2 + 4*x + 3. Let u be h(-4). Suppose -4*c + 108 + 80 = 0. Suppose a + 31 = 3*a + u*d, -4*a = d - c. Is 11 a factor of a?
True
Let h(x) = -x**2 + 6*x + 2. Let u be h(6). Suppose -161 + 9 = -u*d. Is 24 a factor of d?
False
Suppose 0 = 2*b - 4*g - 96, -2*b + 2*g - 3*g + 121 = 0. Suppose b = 4*k + 10. Does 10 divide k?
False
Let b = 1 + 0. Suppose 0 = -3*u + 5*v + 10, 2*u = 3*v + 3 + 4. Let i = u - b. Is 4 a factor of i?
True
Is (1/2)/(30/2220) a multiple of 37?
True
Let k(u) = -5*u**3 - u**2 + u - 1. Let r be k(1). Let h(p) = -p**2 - 2*p + 2. Let x(y) = y**2 + 2*y - 3. Let g(s) = r*x(s) - 7*h(s). Is g(-3) a multiple of 3?
False
Suppose -5*j - 13 = -813. Does 27 divide j?
False
Let y(r) = 22*r + 6. Let p be y(-4). Let x = 10 - p. Is x a multiple of 15?
False
Is 22 a factor of (-6835)/(-25) - (-6)/10?
False
Suppose 0 = -5*d - 0*d + 15. Let z(h) = h**3 - 2*h**2 - 5*h + 4. Let u be z(3). Is u/d*(-18)/4 even?
False
Suppose 54 = 3*y - 30. Does 14 divide y?
True
Let s be (-24)/(-2)*2/(-2). Does 8 divide (-4)/16 + (-195)/s?
True
Does 20 divide 364/104*3/((-6)/(-80))?
True
Suppose 4*o = -o + 2*c + 3, 3*c = -3*o + 6. Let h = -3 + 0. Does 14 divide o/h - (-170)/6?
True
Let l = 104 + -48. Does 11 divide l?
False
Let f = 9 + 5. Is 7 a factor of f?
True
Let x be (-48)/(-9) + (-3)/9. Let k = x - 2. Is 2 a factor of k?
False
Suppose -36 = 16*g - 20*g. Does 9 divide g?
True
Suppose -3*i + 14 = -1. Suppose 4*x = -u - 67, -x + 0*u - 1 = -i*u. Is x*(1 + (-21)/6) a multiple of 13