(-4)/a)?
True
Let a(d) = -3*d**2 - 22*d - 10. Let t be a(-7). Suppose 2*c = 5*c - 24. Let x = c + t. Is x a multiple of 5?
True
Suppose 4*x - 13 = 27. Let h = x - -4. Is h a multiple of 7?
True
Is (380/30)/(2/3) even?
False
Suppose -8*z - 5*f + 30 = -3*z, -2*z = 4*f - 18. Suppose -4*t - 43 = -c, -5*c = z*t - 74 - 141. Is c a multiple of 17?
False
Let z be 1*-5 - (-6 + 5). Let u = 4 + z. Suppose -2*x + 4*a - 2 = u, 3*a - 2*a = -5*x + 17. Does 3 divide x?
True
Let t(c) = -2*c**3 + c**2 + 4*c - 1. Let q be (-3)/(-4)*(-8 - -4). Let z be t(q). Suppose 0 = -2*p - 18 + z. Does 8 divide p?
True
Suppose 0*b - b + 5*n = -19, -3*n = b + 5. Let g be 2/11 + 18/(-99) - 0. Let i = b - g. Is i a multiple of 2?
True
Let t = 18 - 12. Suppose 5*a + 30 = -n + t*n, 3*n = -2*a + 28. Does 7 divide n?
False
Let p = -7 + 12. Suppose 67 = p*w + 172. Does 11 divide (1 - 2) + (-3 - w)?
False
Suppose -39*w + 42 = -38*w. Does 7 divide w?
True
Suppose 0 = 2*d - y - 35, -d + 3*y = 2*y - 18. Is d a multiple of 12?
False
Let w(c) = c**2 - c - 3. Suppose 0 = s + 3*s + 16. Is 17 a factor of w(s)?
True
Let t(y) = y + 30. Is 16 a factor of t(16)?
False
Let f be 205/3 - 11/33. Suppose -f = -3*t + 19. Does 10 divide t?
False
Let b(f) = -f + 680. Let a be b(0). Let x be a/12 - (-2)/6. Suppose d - x = -2*d - 4*l, -5*l = 0. Does 9 divide d?
False
Suppose 0 = -4*r + 2*o - o + 15, 4*o + 21 = 3*r. Suppose 3 - 39 = -r*g. Suppose 0*h + g = 3*h. Does 2 divide h?
True
Let i(p) = p - 5. Let w be i(4). Let a = w + 27. Is a a multiple of 7?
False
Let d be (-2)/3 - (-110)/(-6). Let u = d - -10. Let r = 24 + u. Does 12 divide r?
False
Let u be -16*6*(-14)/8. Suppose 0 = 5*j + 8 - u. Does 16 divide j?
True
Let d be (36/14)/(18/168). Let p = -12 + d. Is (p/15)/((-2)/(-10)) a multiple of 3?
False
Does 7 divide -11*(-8 - -1)*1?
True
Does 6 divide ((-72)/(-8))/(3*1/3)?
False
Let p(h) = -2*h**2 - 4*h + 6. Let v be p(4). Let g = v - -80. Does 11 divide g?
False
Let u be (-1)/((-2 - -1)/(-18)). Let l = u - -40. Is l a multiple of 10?
False
Let x(b) = -38*b - 5. Let w be x(-10). Does 23 divide ((-4)/12)/((-5)/w)?
False
Let t be 2/(-13) - 55/65. Let k be -3 + (3 - (3 + t)). Let j = 11 + k. Is j a multiple of 4?
False
Let r(a) = 61*a**3 + a - 1. Is r(1) a multiple of 21?
False
Let m = 20 - 10. Let i be ((-108)/m)/((-2)/10). Suppose -4*y = 5*x - i, 3*x + y = 2 + 29. Is 5 a factor of x?
True
Suppose 17*i - 20*i = 3. Let l(n) = -7*n - 1. Is 2 a factor of l(i)?
True
Let x = -7 + 20. Is x a multiple of 9?
False
Is 13 a factor of (-322)/(-6) + (-16)/24?
False
Let f(q) = q**2 + 3*q + 4. Let n be f(-3). Suppose -n*p + 39 = -p. Is 10 a factor of p?
False
Is 19 a factor of (-26 - -23) + (205 - 1)?
False
Let s(m) = m**2 - 6*m - 4. Let l be s(8). Let q be ((-6)/(-5))/(l/40). Suppose 5 - 1 = -2*g + 4*i, -q*g + 2*i = -10. Is 3 a factor of g?
False
Suppose 0 = -g + 2*o + 156, 0 = 5*g + 2*o - 5*o - 808. Does 42 divide g?
False
Suppose -2*y + 4*j + 8 = 0, -16 = y - 5*y - 3*j. Does 4 divide 5 - (y + -3)*-2?
False
Suppose 2*r + 78 = -2. Let h = r + 92. Is h a multiple of 13?
True
Let i be (-1 - 0) + (7 - 0). Let v(w) = w**3 - 6*w**2 + 3*w - 5. Let m(a) = 2*a**3 - 12*a**2 + 5*a - 9. Let j(q) = -4*m(q) + 7*v(q). Does 6 divide j(i)?
False
Suppose 5*t + 15 = 2*c, 0 = -2*t + c - 3 - 3. Let y(r) = 2*r**2 + 3*r - 4. Is 3 a factor of y(t)?
False
Let j be 6 - (-2)/((-2)/3). Suppose -n - q = -15, -5*n + 5 + 38 = -j*q. Is 3 a factor of n?
False
Let y(c) = c**3 + 9*c**2 + 6*c. Let h be y(-8). Let q(w) = w**2 + 3*w - 3. Let a be q(2). Let z = h - a. Is 6 a factor of z?
False
Let a(m) = m**3 + 9*m**2 - 6*m + 5. Let n be (-4)/(-16) + 74/(-8). Does 23 divide a(n)?
False
Suppose 4*i - d = 2*d + 743, 4*i + 3*d - 737 = 0. Is 13 a factor of i?
False
Suppose -4*n + 2*n = 0. Suppose 5*h + n*h + 90 = 0. Let f = h - -33. Is f a multiple of 6?
False
Suppose 5*k = -2*z - 2 + 12, 4*z + 3*k = 34. Let v = 16 - z. Is v a multiple of 3?
True
Let c(f) be the second derivative of 2*f**4/3 + f**3/3 - f**2/2 - 3*f. Let h be c(1). Is (-456)/(-9) - 6/h a multiple of 20?
False
Suppose 15 = 2*d + d. Suppose 4*b - 18 = 2*m + 8, 5*m = d*b - 50. Let k(f) = f**3 + 6*f**2 - 9*f - 2. Is 5 a factor of k(m)?
False
Let l(x) = 21*x + 16. Let h be l(-12). Is 13 a factor of 1/(h/(-78) + -3)?
True
Let s = 5 - 8. Let r(t) = t**3 + 2*t**2 - 3*t + 3. Let k be r(s). Is 6 a factor of k/(-12) + 57/4?
False
Let q = 10 + -15. Let f(z) = -z + 1. Is f(q) a multiple of 6?
True
Suppose 0 = d + 4 - 3, 95 = m - 2*d. Suppose -4*h = -3*x - 82, 0 = -5*h + x - 2*x + m. Is 19 a factor of h?
True
Suppose 0 = 2*t + 3*t. Suppose 0*q + 3*q = t. Suppose -5*a + 16 + 10 = h, -5*h + 5 = q. Is a a multiple of 5?
True
Let i be (-17)/17 - (3 - 1). Let k(p) = -10*p**2 + 4. Let a be k(3). Is i/(-6) - a/4 a multiple of 8?
False
Suppose 0 + 4 = 2*f. Let w be (-4)/(-10) - (-8)/5. Suppose w*b + 0*c = -3*c + 32, -5*c = -f*b. Does 6 divide b?
False
Suppose -3*m + 1 + 11 = 0. Is m/(-10) - 364/(-10) a multiple of 12?
True
Let c(x) = x**2 + 2*x - 3. Let m be c(-4). Suppose 3*b = m*k - 147, 0*k + k - 5*b = 47. Is 17 a factor of k?
False
Let z(h) = 12*h - 27. Does 29 divide z(8)?
False
Suppose 5*v = 41 - 1. Does 7 divide v?
False
Let j(b) be the second derivative of -b**5/5 - b**4/3 - b**3/2 - b**2/2 + 4*b. Is j(-2) a multiple of 10?
False
Let c be (-3)/(-6) + 1/2. Let o = -3 + c. Is 6 a factor of 2*(42/o)/(-3)?
False
Let m = 0 - -5. Suppose 20 = -4*n, -m*k - 5*n = -71 - 19. Does 11 divide k?
False
Suppose 63 = 4*t - 7*t. Let w = t - -39. Is w a multiple of 9?
True
Let f(s) = -s**2 - 8*s + 2. Let q be f(-9). Let y = q - -20. Does 13 divide y?
True
Does 19 divide (2 - 1) + (277 - 5)?
False
Let m(f) = -2*f**3 - 5*f**2 - 3*f + 2. Is m(-3) a multiple of 20?
True
Let t = 91 + -31. Is t a multiple of 15?
True
Let c be (-2 - -1) + (1 - -2). Suppose 5*q = -i + c*q + 47, 0 = 2*i - q - 59. Is i a multiple of 12?
False
Suppose -38*x = -36*x - 98. Does 30 divide x?
False
Let b = -67 - -111. Is 11 a factor of b?
True
Suppose -5*t + 55 = 5*w, 0 = 3*t + 2*w - 5*w - 39. Let z = t + -8. Suppose -z*j + 17 + 3 = d, 0 = 5*j. Is 10 a factor of d?
True
Let h(g) = g. Let a be h(3). Suppose 5*t = x + 95, 2*x - 2*t + 223 = -a*t. Is (4/(-2))/(4/x) a multiple of 19?
False
Suppose -2*s - 111 = -5*s. Let x = 109 - 48. Let j = x - s. Is j a multiple of 6?
True
Suppose -3*v - 174 = -456. Is 16 a factor of v?
False
Let r = -4 + 3. Let t be 3 + (r/(-1) - 49). Let q = t - -63. Does 14 divide q?
False
Suppose 2*g - 5*g = -6. Suppose 0*p + 163 = 3*o + g*p, 0 = 4*o + 5*p - 229. Is 15 a factor of o?
False
Let n be (12/(-21))/(2/(-7)). Let l(c) = 2*c**3 + 5*c**2 - 11. Let x(q) = q**3 + 2*q**2 - 5. Let z(m) = -3*l(m) + 7*x(m). Is 2 a factor of z(n)?
True
Let y be (-3 + 2)*-5*1. Let b be y/(-10) - (-474)/4. Suppose 3*h - 83 = -4*k, 0*k - 5*k + h + b = 0. Does 6 divide k?
False
Suppose -2*y = -0*y + z + 79, 4*y + 159 = -z. Let s = 59 + y. Is s a multiple of 13?
False
Let n = 435 - 195. Suppose -6*x = -11*x + n. Is 12 a factor of x?
True
Suppose -4*g - g + 500 = 0. Does 20 divide g?
True
Let a = 14 + -7. Suppose -4*p = -3*i + 51 - a, 6 = i + 3*p. Is 12 a factor of i?
True
Suppose -5*d + 275 = -0*d. Is d a multiple of 4?
False
Let a(g) = 4*g - 16. Is 11 a factor of a(7)?
False
Let i be (-1 - -1)/(2/2). Suppose i*h + 2*h = -2*o + 6, h = 4*o - 22. Suppose 60 = o*n - 25. Is n a multiple of 7?
False
Let o(c) = 161*c**2 + c. Let n be o(-1). Is (-12)/(-54) + n/9 a multiple of 9?
True
Let q(w) = -w**2 + 12*w - 8. Let g be q(8). Let z = 44 - g. Suppose -2*r + z = -0*r. Is 5 a factor of r?
True
Suppose -2*u + 75 = 3*u. Is 15 a factor of u?
True
Let q be 1*(-6)/(9/(-3)). Suppose 5*f - q = 4*f. Is -23*-1*(f - 1) a multiple of 20?
False
Let d(b) = -b**2 + 8*b - 8. Let q be d(6). Let i = q + -2. Suppose i*h - 22 = -4. Is h a multiple of 6?
False
Suppose 0 = -0*t - t + 39. Suppose -5*o = -4*d + 95, 2*o + 3*d + 29 = -32. Let z = t + o. Is z a multiple of 16?
True
Let l = 0 + 20. Is 4 a factor of l?
True
Let c be -2 - (1 + -5 + 2). Let f = 11 + c. Is f a multiple of 3?
False
Let y(z) = 2*z + 2. Let x be y(-2). Let d be (-34)/(-8) - x/(-8). Suppose 0 = -4*l - 5 - 3, d*l = q - 19. Is q a multiple of 4?
False
Suppose 2*w - 3 - 1 = 0. Let z be 187/33 + 4/(-6). Suppose -w*q = l 