 -7 even?
True
Suppose 0 = -2*s - t + 975, 3*s + 3*t - 391 - 1079 = 0. Is s a multiple of 5?
True
Is 12 a factor of (-384)/36*1/(-4)*261?
True
Suppose -203775 = -75*z - 0*z. Is z a multiple of 11?
True
Does 11 divide 70470/99 - (40/44)/(-5)?
False
Suppose 3*p - 14*j + 12*j - 736 = 0, -2*p = -4*j - 480. Does 18 divide p?
False
Let h be (-2 + 2 - 1)*14. Let r be (-1 + 3)*h/4. Let p(i) = i**3 + 9*i**2 + 8*i - 6. Does 10 divide p(r)?
False
Let t(a) = -3*a**2 + a - 1. Let f be t(2). Let x = f + 15. Suppose 330 = x*b + 34. Is 23 a factor of b?
False
Let x be 8/28 - (-4)/(-14). Suppose -s = -4*m - 4*s + 267, x = -s + 5. Let y = 103 - m. Is 12 a factor of y?
False
Let t(v) be the second derivative of v**5/20 - v**4/6 + v**3/3 - 2*v**2 - 6*v. Let x be t(3). Suppose 2 + x = d. Is d a multiple of 4?
False
Let v be (-2)/8 + 238/56. Let z = 22 + v. Does 13 divide z?
True
Let b = -259 - -412. Let w = b - 78. Let m = w + -39. Does 13 divide m?
False
Let n = 501 + 569. Does 15 divide n?
False
Let n = -10 - -9. Let w be 5 + n/(-1) + -2. Suppose 5*x = 3*b + 18, x - w*b + 9 = -1. Is x a multiple of 6?
True
Let m(v) = -219*v - 7. Is 65 a factor of m(-3)?
True
Let k(u) = u**3 - 6*u**2 + 11*u - 132. Is k(12) a multiple of 27?
True
Suppose 0 = -3*h - 5*c + 709, -2*h - 25*c + 21*c = -472. Does 14 divide h?
True
Let n(i) = -8*i. Let x be n(-7). Suppose 5*l + 50 = -6*u + u, u = -3*l - 22. Is 7 a factor of 15/l*x/(-10)?
True
Is (-3 - -12)*410/(-45)*-3 a multiple of 17?
False
Let d(h) = 15*h**2 - 6*h. Suppose -4*o + 9 = -7*o. Does 18 divide d(o)?
False
Suppose 0 = -4*s, 3*j - 4*j = -2*s - 103. Does 9 divide j?
False
Let m(w) = -w**3 + 6*w**2 + 3. Let d be m(6). Suppose d*f - 321 = v, -v = 4*f - f - 327. Is f a multiple of 32?
False
Let m(k) = -5*k**2 - 2*k**2 + 0 + 10 - k**3. Is m(-7) even?
True
Let n = -9 - -9. Suppose 2*q + n*w = -4*w - 4, 0 = w + 3. Is 4 a factor of q?
True
Let m be (-2)/(-6) + (-146)/(-3). Let l(u) = 9*u - 32. Let x be l(4). Suppose -2*n - 6*w + m = -w, 137 = x*n - 3*w. Does 8 divide n?
True
Suppose 19*p + 11*p - 34800 = 0. Does 13 divide p?
False
Let c be -2 + 8 + 3*(-3)/(-9). Let y = 13 - 8. Suppose -c = -r + y. Does 6 divide r?
True
Suppose 0*v - 3*u = -v - 27, v - 5*u + 25 = 0. Let h = v + 28. Let k(w) = -21*w + 1. Does 13 divide k(h)?
False
Suppose 4*x - 32 = -3*z - z, z - 3*x = -4. Suppose -53 = -z*h - 8. Is h even?
False
Let c be (-3069)/(-6)*(-12)/(-18). Let q = c + -228. Does 22 divide q?
False
Let z(f) = -f**3 - 8*f**2 + f + 11. Let l be z(-8). Suppose 0*s + d - 350 = -l*s, -2*s = -2*d - 244. Is s a multiple of 15?
False
Let h(u) = 2*u + 112. Is h(-7) a multiple of 4?
False
Let i(o) = -4*o**2 - 9*o + 2. Let y(f) = -f**2 - f. Let q(r) = -i(r) + 5*y(r). Let v be q(3). Is (-96)/(-4) + (v - -2) a multiple of 27?
True
Let x = -16 - -17. Let r(k) = -24*k**2 + 5*k - 4. Let a(o) = o**2 - o + 1. Let c(t) = -5*a(t) - r(t). Is c(x) a multiple of 9?
True
Suppose -1805 = -28*h + 659. Does 4 divide h?
True
Suppose 8*t = 22*t - 5432. Is t a multiple of 23?
False
Suppose o + 5 = -7. Let y be (-33)/o - (-2)/8. Suppose 4*k = 0, -4*m + 28 = -y*k + 2*k. Is 2 a factor of m?
False
Let y(g) = -2*g**3 + 48*g**2 + 23*g + 42. Does 66 divide y(24)?
True
Suppose 9*x - 8*x = -4*w + 2247, 3*w = 2*x + 1699. Is 56 a factor of w?
False
Suppose 2*j - 2*b = 166, -2*j - 4*b + 277 = j. Let x = j + -49. Is 4 a factor of x?
False
Suppose 8*z - 150 = 3*z. Let k(p) = 2*p**2 + z*p - 46*p + 3 + 20*p. Does 8 divide k(-3)?
False
Suppose -2*h + 3*o + 502 = 0, 1254 = 5*h + o + 33. Is 34 a factor of h?
False
Suppose 1124*l - 8421 = 1121*l. Does 18 divide l?
False
Suppose 2*n + 50 = 7*n + 5*i, 2*n - 2*i = 0. Let q(d) = 3 + 2*d**2 - 5*d**2 + 2*d**2 + 10*d. Is q(n) a multiple of 11?
False
Suppose -3*i = -19 + 46. Is 6202/98 - (i/(-7) - 1) a multiple of 21?
True
Let o(b) = b**3 - 5*b**2 - 4*b - 3. Let p = 46 + -40. Does 2 divide o(p)?
False
Let f be (9/(-6))/(4/(-8)). Suppose -6 = f*u - 21. Suppose -4*z + n = -n - 74, n = -u. Is 11 a factor of z?
False
Let z be (-14)/21*(-3 - 0). Suppose -4*i + 831 = 3*y, 5*i - 3*y + z*y = 1053. Suppose 50 - i = -5*c. Does 8 divide c?
True
Let s = -14 - -17. Let h(y) = -15 + 30 + y**2 + 8*y + s - 2*y**2. Does 18 divide h(8)?
True
Let b be (66/55)/((-6)/20). Does 20 divide 96 - (b + 4 + -4)?
True
Suppose v - 481 = 4*a, 5*a + 5*v + 93 + 502 = 0. Is 9 a factor of ((-38)/(-8))/((-6)/a)?
False
Let d(a) = -a**3 - 6*a**2 - 2*a + 3. Let p be d(-3). Is p/(-16)*4*18 a multiple of 9?
True
Let n be 3*3/3 + 16. Let h = -27 + n. Is ((-4)/(-8))/((-1)/h) a multiple of 2?
True
Let f(r) = -609*r**3 - 2*r**2 - 6*r - 4. Does 42 divide f(-1)?
False
Let y(c) = -11*c**3 - c. Suppose 6*n = 2*n - 4. Is 12 a factor of y(n)?
True
Suppose 5*i - 3 = 3*w + 2, -2*w - 8 = -i. Let r be 2 - 1 - (0 + i). Suppose -r*y + 26 = -10. Is 4 a factor of y?
True
Let d(n) = 7*n**3 + 7*n**2 + 10*n + 18. Let a(z) = -z**3 + z**2 + z - 1. Let m(j) = -6*a(j) - d(j). Is m(-12) a multiple of 6?
True
Let a(d) = -3*d. Let h(q) = -q**3 - 4*q**2 - 3*q - 2. Let t be h(-3). Let g be a(t). Suppose -g*k = -4*k - 82. Is 24 a factor of k?
False
Suppose -l - 6 = 4*r + 5, -4*l + 8 = 3*r. Let z(o) = -o**2 + 2*o + 13. Let m be z(l). Is 178/10 + m/(-10) a multiple of 18?
True
Let f(j) = 22*j**2 + 8*j - 16. Let u be f(2). Is 7 a factor of (2/(-8))/((-2)/u) + -3?
False
Suppose -2*n - 4 = 0, 6 = 4*u - n - 2*n. Suppose u = -4*o + 89 - 17. Does 13 divide 225/o + 1/2?
True
Let v = 52 + -31. Let a = v - 34. Let n = a - -27. Does 14 divide n?
True
Let k = 10 - 12. Let o = -4 - k. Let b = o - -8. Is b a multiple of 5?
False
Let u(n) = 6*n**3 - 5*n**3 - 2*n**2 - 9*n - 9*n + 7. Does 7 divide u(7)?
True
Suppose -2*y - u = 148, -215 = 3*y + 4*u + u. Let f = 57 - y. Does 12 divide f?
True
Let n(g) = 6*g + 57. Let k be n(11). Let u = k + -115. Is 4 a factor of u?
True
Suppose -91*f - 29584 = -107*f. Is f a multiple of 40?
False
Let k be 3 - 0*(-2)/4. Let j(m) = -m**2 + 1 + 9*m + 0 - 4*m. Is j(k) a multiple of 7?
True
Suppose -4*o + 20 = 0, 3*x - 3*o = -0*x. Let h(d) = -d**3 + 40*d**2 - 41*d + 83. Let a be h(39). Suppose 0*w - a = w, -4*w = -x*j + 205. Is j a multiple of 28?
False
Let q be (3/3)/1 - 58. Let z = q + 135. Is 8 a factor of z?
False
Let o = -104 + 51. Let v = o + 112. Is v a multiple of 25?
False
Let j = 697 + -481. Is j a multiple of 8?
True
Is 19 a factor of (551/116)/(2/16)?
True
Suppose r = -2*r + 2169. Does 16 divide (-4)/12 + r/9?
True
Suppose 4*a - 2 = -x + 7, 5*x = 3*a - 24. Suppose -3*j + 155 = 4*t, -a*j - 3*t + 178 = 28. Is j a multiple of 5?
True
Suppose 0*r - r + 56 = 0. Is r a multiple of 3?
False
Let n(u) = -u**2 + 10*u + 5. Suppose 0 = -4*c - 4 - 0, g - c - 6 = 0. Let b be n(g). Is 13 a factor of b + (-12)/(-8)*2?
False
Let k(l) = 2*l + 44. Suppose -4*m - 4 = 2*y, -2*y + 0*y + 3*m = -3. Is k(y) a multiple of 24?
False
Suppose 140*h - 238450 = 90*h. Is 19 a factor of h?
True
Let x be (10 - 8)/(2/4). Does 10 divide (x/((-64)/60))/(1/(-8))?
True
Let v(b) = b**2 + 8*b + 1. Let f(y) = y**2 - 8*y + 13. Let t be f(7). Is v(t) a multiple of 17?
True
Suppose -49 = -s + 3*n, 0 = 5*s - 0*s + 5*n - 185. Suppose 3*i + s = -2*i. Let q = 36 + i. Does 28 divide q?
True
Is 14 a factor of -11 - -69 - (-6)/1?
False
Let c = -320 + 576. Is 3 a factor of c/12 + (-12)/(-18)?
False
Suppose -85 = 3*g - 34. Suppose 53 = 3*f - 118. Let n = f + g. Is 20 a factor of n?
True
Suppose -56 - 36 = -g. Is 8 a factor of g?
False
Suppose -14*k + 24*k - 610 = 0. Is k even?
False
Let b = -10 + 18. Let k be -3*(b/3 - 4). Suppose k*f = x - 81, -4*x - 2*f + 187 = -x. Is x a multiple of 14?
False
Let a(u) = u - 3. Let w be a(2). Let t(g) = -25*g + 1. Let m be t(w). Suppose m = 2*s - 4*b, 4*s + 2*b - 10 - 52 = 0. Is s a multiple of 10?
False
Suppose -15*j + 11*j + 8 = 0. Let o = 9 - -4. Let n = o + j. Is n a multiple of 5?
True
Let k(s) = 11*s + 13. Let u(h) = 2*h + 2. Let j(z) = 3*k(z) - 15*u(z). Suppose -7 = -c - 1. Is 27 a factor of j(c)?
True
Let j(v) = -8*v**2 + 19*v + 13. Let w(c) = 4*c**2 - 9*c - 6. Let f(t) = 4*j(t) + 9*w(t). Let p be f(6). Let h = p + -72. Is 10 a factor of h?
True
Suppose 7*u = 12*u + 50. Let m = u - -7. Let k = m + 19. Is 4 a factor of k?
True
Suppose h + 13382 = 2*f + 2165, -4*f - 3*h = -22449. Is f a multiple of 17?
True