 -39 - -56. Suppose -7*c + m = 3. Suppose w = 2*l + 64, 0 = 5*w - c*w - l - 202. Is w a multiple of 34?
True
Suppose -2*o + 1296 = -2*v, 5*o = 3*v - 0*v + 3244. Is o a multiple of 13?
True
Let h = 17 + -25. Is 16 a factor of (0 + -4)*(206/h - -1)?
False
Let v(r) = -2*r**3 + 7*r**2 - 4*r + 4. Let u be v(3). Is u*20/(-16)*-12 a multiple of 15?
True
Is (-12)/6*1*-487 a multiple of 16?
False
Let l(i) = 96*i - 4. Let w be l(1). Let g = 225 - w. Suppose -7*j + g = -0*j. Is j even?
False
Let z = -556 - -756. Does 76 divide z?
False
Suppose 4*a - 8 = -0*a. Suppose 2*w = -a*w + 28. Suppose 4*d = w*d - 48. Does 12 divide d?
False
Let r(d) = 6*d**2 - 12*d - 41. Does 40 divide r(-6)?
False
Suppose -4 + 94 = -3*x. Let r = x + 15. Let o = r - -49. Is 13 a factor of o?
False
Let i = -19 + 29. Let t = 42 - i. Is t a multiple of 8?
True
Let t(c) = -c**2 + 8*c + 7. Let u(v) = v + 1. Let x(w) = -t(w) + 4*u(w). Let l be x(6). Let o(p) = -p**3 + 10*p**2 - 6*p - 7. Is 10 a factor of o(l)?
True
Suppose -z + 4*y + 88 = 0, -27 = 5*y - 2. Is 4 a factor of z?
True
Suppose 8 = 2*o - 0. Suppose -o*g - 280 = -11*g. Is g a multiple of 15?
False
Let c = 184 - -55. Let g = 359 - c. Is 15 a factor of g?
True
Let v be 753/5 - 22/(-55). Suppose 0 = -3*n + 29 + v. Does 11 divide n?
False
Let o = 497 + -473. Does 2 divide o?
True
Let p = -6 - -6. Suppose 2*m + p*m = 154. Is m a multiple of 11?
True
Suppose -78 - 27 = 5*f. Suppose -2*z - 2*h = h - 113, -3*z + 165 = 3*h. Let v = f + z. Does 10 divide v?
False
Let j(c) = -189*c + 48. Does 6 divide j(-4)?
True
Let t = -31 - -34. Suppose -3*d + 1 = -t*a + 22, -15 = -5*a - 5*d. Is a a multiple of 3?
False
Is 9 a factor of (15/(-20))/(((-51)/(-1008))/(-17))?
True
Let a(q) = -q**2 + 12*q + 3. Let f(l) = l**2 - l - 1. Let b(z) = a(z) + 3*f(z). Let x be b(-9). Suppose -2*u + 4*u - x = -w, -10 = 5*u. Is w a multiple of 17?
True
Suppose -3*m - 1533 = -10*m. Is 23 a factor of m?
False
Let p = -10 + 10. Suppose p = -4*j + 2*j + 132. Is 22 a factor of j?
True
Suppose -y + 0 + 12 = 0. Is y a multiple of 3?
True
Suppose -k + 2*m - 4*m + 4 = 0, 0 = -5*k + 5*m + 5. Let d(l) = 32*l - 3*l**3 - 14*l + k*l**3 + 5*l**2 - 11*l - 2. Is 7 a factor of d(5)?
False
Let f = -255 - -175. Does 16 divide 36/10*f/(-6)?
True
Let m be 8/(-8) - 4/((-4)/(-15)). Let q(i) = 3*i - 7. Let l be q(-5). Let g = m - l. Does 3 divide g?
True
Let z(l) = -2*l**2 - 13*l + 24. Let r be z(-8). Suppose r = -4*o - o + 55. Does 3 divide o?
False
Let m be -3 + ((-2)/5)/(1/5). Is 68 + m/(2 - -3) a multiple of 23?
False
Let g be (4 - 2)*-2 + 10. Suppose -s = -g*s + 30. Suppose -5*u + s = -2*u, -5*u = -3*o + 122. Is 11 a factor of o?
True
Let y = 1916 - 1216. Does 28 divide y?
True
Let l(q) = 264*q - 394. Does 3 divide l(4)?
False
Is (6 - (-72)/(-16))*868 a multiple of 71?
False
Suppose -4*d - 12*d + 32 = 0. Let q(k) = 45*k**3 - 4*k**2 + 2*k. Let x be q(2). Suppose -d*v - x = -6*v. Is v a multiple of 29?
True
Let g(i) = i**3 - i**2 + 403. Does 13 divide g(0)?
True
Let u(x) be the first derivative of -x**4/12 + 4*x**3/3 + 5*x**2/2 + 2*x + 3. Let v(f) be the first derivative of u(f). Is v(4) a multiple of 11?
False
Let j be (2 - 1)/((-5)/(-10)). Suppose 0 = -j*f - 2*f + 12. Is (f - 5 - -1)*-7 a multiple of 2?
False
Let u(y) be the first derivative of 25*y**2/2 + 8*y - 7. Does 32 divide u(5)?
False
Suppose 7*j - 480 = -j. Let b = j + -35. Is 6 a factor of b?
False
Suppose -2846 - 6174 = -10*u. Is 3 a factor of u?
False
Suppose s - 5*d + d = 30, -245 = -5*s + d. Is 5 a factor of s?
True
Is 54 a factor of ((-176)/64)/((-2)/168)?
False
Let t be 2/(-8) + 18/8. Suppose r - t*r = 0. Suppose 0*k = 2*k - 3*z - 38, r = -k - z + 29. Is 12 a factor of k?
False
Let l(x) = 4*x**2 + 10*x + 8. Is 18 a factor of l(-8)?
False
Suppose 9730 = 295*g - 290*g. Does 62 divide g?
False
Let g be 2/(-6) + 158/6. Suppose -307 = -19*u + 149. Suppose -u - g = -x. Is x a multiple of 25?
True
Let n(h) = h**2 + 15*h + 2. Let d be n(-16). Suppose 0*r - d = -r. Is r a multiple of 10?
False
Let k be (-9)/(-3)*5/1. Suppose -7*b - 704 = -k*b. Is 22 a factor of b?
True
Let d be (-39)/((-2)/(-5) - (-133)/(-70)). Suppose -25*n + d*n = 72. Is n a multiple of 8?
True
Let a(x) = -2*x + 205. Let c be a(0). Suppose -4*n - 75 = c. Let i = 99 + n. Is 15 a factor of i?
False
Let i = 735 + -542. Does 9 divide i?
False
Suppose -5*k - 305 = -2*t, -3*t = -6*t - 5*k + 420. Is t a multiple of 5?
True
Let u(q) = -2*q**3 + 1. Let o be u(-1). Let n be -4 - ((-1 - 8) + o). Suppose 0*t - t + 39 = 3*z, -n*t + 72 = 3*z. Is t a multiple of 13?
False
Let v = 79 - 33. Suppose -91 + v = -5*k. Does 2 divide k?
False
Suppose -5*m = -5, -11 = 3*q - 7*q - 3*m. Suppose 0 = -f + q*f - 42. Does 6 divide f?
True
Suppose 4*j = -3*t - 48, 2*t + 3*j = -17 - 16. Is 13 a factor of 4/(-16) - (-3)/t*-457?
False
Let d = 10 - -900. Is 35 a factor of d?
True
Let s = -229 - -146. Let i = s - -90. Does 4 divide i?
False
Let d(u) be the third derivative of 7*u**4/12 - 17*u**3/6 + 14*u**2. Is d(4) a multiple of 13?
True
Let x(j) = -19*j**3 - j**2 + 3*j - 2. Let d be x(1). Let t = d + 26. Is 7 a factor of t?
True
Let o = 22 - -34. Suppose -8 = -2*a - 2. Suppose o = -a*d + 5*d. Is d a multiple of 20?
False
Let l = 138 - 112. Does 3 divide l?
False
Let q(z) be the second derivative of z**3/2 + 3*z**2/2 + 8*z. Let v be q(4). Is ((-170)/v)/((-2)/3) a multiple of 17?
True
Let k be 2/8 - (30/(-8))/1. Suppose 144 = 4*t + k*f - 3*f, 5*t - f - 180 = 0. Is t a multiple of 12?
True
Does 12 divide 204 + -4 + (-12)/(-3)?
True
Let k(w) = -2*w + 0 + 2 + w**3 - 2*w + w**2. Let d = -150 - -154. Is k(d) a multiple of 13?
False
Suppose u + u = -5*j + 266, 0 = -2*j - 4. Does 16 divide u?
False
Suppose -3*v - 193 - 123 = -4*f, 236 = 3*f - 2*v. Let b = f + -72. Does 3 divide b?
False
Suppose 2*w + 73 = 3*w. Is w a multiple of 6?
False
Suppose -3*v + 106 = -d + 8, -2*v + 60 = 2*d. Suppose 0 = -y - v + 68. Does 22 divide y?
False
Let c = 36 - 43. Let z(s) = 5*s - 2*s + 4*s + s**2 + 10. Is z(c) a multiple of 7?
False
Let z(w) = w**3 - 8*w**2 + 10*w - 7. Let n be 302/34 + 2/17. Is 41 a factor of z(n)?
True
Suppose -6*d + 2*d - 248 = 0. Let w = -28 + d. Let c = w - -170. Does 20 divide c?
True
Suppose 10908 = -5*z - o, -4*z = 4*o - 4109 + 12845. Is 11 a factor of -2 - (-44)/24 - z/18?
True
Let j(i) = -8*i**2 + 11*i - 8. Let y(o) = 23*o**2 - 32*o + 23. Let t(w) = -17*j(w) - 6*y(w). Let x be t(5). Is 4 a factor of 21/2*(-36)/x?
False
Does 22 divide (4/(-6))/(16/(-10248))?
False
Suppose -7 = -5*n + 8. Suppose -n*b + 180 = 3*w, -5*w - 6 = 4. Does 8 divide b?
False
Let d = 91 - 89. Suppose -2*l = -4*c - 156, -3*l + 209 - d = 3*c. Does 8 divide l?
True
Suppose -2*a = 8, 3*s - 3 = -a + 2. Suppose -s*g + 0 + 51 = 0. Suppose 3*l + q - 61 = 0, -2*q + 4*q - g = -l. Is 4 a factor of l?
False
Let a be (-2)/(-14) + 240/(-14). Let o = 55 + a. Let d = o + -21. Is d a multiple of 17?
True
Does 13 divide (35 - (6 - -14))/(2/190)?
False
Suppose -8 = 3*t - 5. Is 15 a factor of ((-20)/8)/(t/6)?
True
Let p be 2/(-6)*(-28 + 1). Suppose -p*m = -12*m + 261. Does 29 divide m?
True
Suppose -q - 85 = -o, -13 + 5 = 4*o. Let v = -43 - q. Is 7 a factor of v?
False
Suppose -2*c + 2 = -4*c. Let p be -2*(-2)/16 - (-48)/(-192). Is (-10 + -1 + p)*c a multiple of 5?
False
Does 34 divide 96 - (1 - (6 - -1))?
True
Let k(q) = 6*q**3 - q + 1. Let z be k(1). Suppose z = x + 1. Suppose -x*s + 166 = 26. Is s a multiple of 4?
True
Let p(u) = -u**3 - 6*u**2 - 6*u - 1. Let w be p(-5). Suppose 47 = w*l - 133. Is 5 a factor of l?
True
Is 10 a factor of -25 - -28 - 848/(-2)?
False
Let d = -55 - -17. Suppose -2*w = -3*a + 25, 2*w - 6*w - 44 = -4*a. Let m = w - d. Does 10 divide m?
True
Let l be -3*(-4 + 29/(-3)). Let p = 25 + l. Suppose -246 = -5*o - p. Is o a multiple of 9?
True
Let c be 2 + ((7 - 3)/(-2) - -108). Is 10332/c + 4/3 a multiple of 27?
False
Let s(j) = j**2 - j. Let h be s(-1). Suppose m + h*m = 72. Suppose 2*l + c = m + 14, 0 = -3*l - 3*c + 63. Is l a multiple of 6?
False
Suppose 7*l = 3*l + 404. Let y = l - 56. Does 45 divide y?
True
Suppose 0 = -5*n - 23 - 32. Let p = 8 + n. Does 29 divide 3 - p/(6/146)?
False
Let g(x) be the second derivative of -x**3/6 - 3*x**2 - 4*x. Let m be g(-6). Suppose -5*h + 3*y + 167 = m, -3*h = y - 50 - 53