e -4 = s - u. Is 5 a factor of s?
True
Suppose 5*c - 3*d - 167 = 177, -4*d = 4*c - 256. Suppose 3*p = 8*p - 4*a - 103, -5*a - c = -3*p. Is p a multiple of 9?
False
Let v(u) = -u**2 - 6*u - 6. Let q be v(-4). Let l be q + 0/(-3) - -10. Suppose 2*g + 2*h - 32 = 0, 3 - l = g - 4*h. Is 7 a factor of g?
False
Let i(g) = 89*g**2 - 3*g. Let d be i(2). Let f be d/91 + (-2)/(-13). Let j = f + 12. Does 6 divide j?
False
Let q = -8 + 11. Let w be 3*(q/(-9) - -1). Is (-1)/w + (-115)/(-10) a multiple of 11?
True
Suppose 0*d - 224 = 2*d. Let n be d/(-35) + 1/(-5). Suppose n*c + 5*l = 70, -3*c - l + 77 + 9 = 0. Does 12 divide c?
False
Suppose 128 = 2*i - 0*i. Is i a multiple of 16?
True
Let s = 11 - -7. Is s a multiple of 11?
False
Let y(b) = 2 - 3 - 4 - 6 - 6*b. Is y(-9) a multiple of 12?
False
Suppose -6*b = -0*b - 486. Is 47 a factor of b?
False
Let y = -14 + 89. Does 13 divide y?
False
Let y(s) = -31*s - 2. Does 5 divide y(-1)?
False
Let q(d) = -d + 4. Let x be q(5). Is (-21)/12*4/x a multiple of 7?
True
Let s = -38 - -98. Is s a multiple of 12?
True
Let h(b) = b**3 - 9*b**2 + 3. Let o be h(9). Suppose -o*d + 9 = -0*d. Suppose 4*i - 3*m = -0*m + 7, -m = -d. Does 3 divide i?
False
Is 14 a factor of 6/10 - (-4)/20*467?
False
Let d(i) = -48*i - 1. Is 9 a factor of d(-1)?
False
Let x(b) = -b**2 + 4*b + 1. Let q be x(3). Suppose 0 = -w - q + 8. Suppose -3 - 22 = -r + 4*t, w*t - 20 = -4*r. Is 9 a factor of r?
True
Let n(v) = -4*v + 61. Let b(f) = -3*f + 60. Let p(c) = 5*b(c) - 4*n(c). Is 14 a factor of p(0)?
True
Let g(y) = -2*y + 7. Is 4 a factor of g(-5)?
False
Suppose 14 = -m + 65. Is 17 a factor of m?
True
Suppose 2*b + k - 2*k - 20 = 0, -b - 4*k + 19 = 0. Let h = -5 + b. Is h a multiple of 2?
True
Let i(t) = -23*t**3 - t - 2. Let o be (-4)/2 - (-1 + 0). Does 11 divide i(o)?
True
Let b = -6 - -4. Let c(a) be the third derivative of -11*a**4/24 - a**3/6 + a**2. Is c(b) a multiple of 10?
False
Let m(n) = 78*n**2 + n - 1. Does 22 divide m(1)?
False
Suppose -4*l - 10 = 10, 5*u - 2*l - 430 = 0. Is u a multiple of 19?
False
Suppose 5*w = 2*w + 9. Suppose -3*n - 92 = -n. Does 7 divide 2/3 - n/w?
False
Let t(y) = y - 435. Let f be t(0). Let x = f + 612. Suppose -c = 2*c - x. Does 25 divide c?
False
Is (-2 - -1)/((-3)/255) + -1 a multiple of 14?
True
Let r(v) = -v + 16. Does 11 divide r(-6)?
True
Suppose 5*i + 7 = 92. Is 9 a factor of i?
False
Suppose 3*c + 15 = 4*m - 45, -5*m - 2*c + 52 = 0. Let w = -3 + m. Is w a multiple of 3?
True
Let o = 28 + -13. Is o/12*(-12)/(-1) a multiple of 9?
False
Suppose y = 2*a + 4*y - 99, -a = 2*y - 51. Let d = -11 + 16. Suppose -d*b = -0*l + 3*l - a, -l + 15 = 4*b. Is 15 a factor of l?
True
Let i(s) = -s**2 - s + 3. Suppose -3*w + 6*r = 2*r + 4, 0 = -w - 3*r + 3. Let j be i(w). Suppose -2 - 58 = -j*k. Is 10 a factor of k?
True
Suppose -4*l + 9 = -7. Suppose -l*z - z + 270 = 0. Does 18 divide z?
True
Let h(j) be the second derivative of j**5/30 - j**4/6 - j**3/2 + 3*j. Let u(z) be the second derivative of h(z). Is u(5) a multiple of 8?
True
Suppose 0 = -2*y - 2*u - 0*u + 8, 0 = 2*y + u - 5. Let d(o) = 35*o**3 + 2*o**2 - 1. Let r be d(y). Suppose j = 5*p - p - r, -5*j + 50 = 3*p. Does 8 divide p?
False
Suppose 2*k - 2*d - 2 = 0, d - 6*d = -3*k - 7. Suppose k = 2*r - 0. Is r a multiple of 3?
True
Suppose 0 = -3*q + q + 28. Is q/28 - (-63)/2 a multiple of 16?
True
Suppose -5*y - 2*u - 279 = 0, 2*y + 66 = y + 3*u. Let f = y - -81. Does 15 divide f?
False
Suppose -5*s + 6 = -804. Does 17 divide s?
False
Let s = 8 + 7. Is s a multiple of 13?
False
Let i(r) = -r**3 - 8*r**2 + 8*r + 10. Let s = 12 + -21. Is 15 a factor of i(s)?
False
Suppose 3*g = -5*v - 16, g + 1 = -1. Let l be -2 - (v - 1 - -2). Is (-4 + l)*56/(-20) a multiple of 6?
False
Suppose -i = -0 - 2. Suppose i*n - 2*k = -n + 443, -n = 2*k - 161. Let u = n - 108. Is 16 a factor of u?
False
Is 13 a factor of 273/42*(-28)/(-2)?
True
Suppose -2*l + 8 = -h + l, 4*h + 4*l - 16 = 0. Is 13 a factor of 164/8*2/h?
False
Let v(f) = -3 + 7*f - f**2 + f + 1 - 1. Is 5 a factor of v(5)?
False
Suppose -3*z + 320 = -2*h + 104, -z = -h - 73. Is z a multiple of 10?
True
Let l(m) = -2*m + 31. Is 2 a factor of l(9)?
False
Let y be 1/((-3)/6) + 2. Let g(x) = -4*x + x**3 + x**2 + y*x - 3*x**2. Is g(4) a multiple of 6?
False
Suppose -3*x = -s + 157, 3*x = -s + 81 + 58. Does 7 divide s?
False
Suppose v + 12 = 4*v. Does 14 divide v/(-6)*(-39 + -3)?
True
Let p = 10 - 23. Let b = 0 - p. Does 13 divide b?
True
Let s be ((-5)/10)/(1/(-8)). Suppose k = s*j + 14, -k - 74 = -5*k - 2*j. Does 6 divide k?
True
Is 10 a factor of -53*2*1/(1 - 2)?
False
Suppose -3*z + 5*x - x = -485, 5*z - 855 = -5*x. Suppose -z = -5*m - 3*c - 17, -m + 28 = c. Is m a multiple of 15?
False
Let b be (-3)/(-12) + 78/8. Let c = 10 - b. Suppose c = 2*r - 57 - 5. Is r a multiple of 11?
False
Let f be (-44)/36 + (-4)/(-18). Let w(m) be the second derivative of -7*m**5/20 - m**4/12 - m**3/6 + 3*m. Is w(f) a multiple of 3?
False
Let l = -21 + 75. Is 18 a factor of l?
True
Suppose -2*q - 5*f + 3 = 0, 1 = 5*q + f + 5. Let d = q - -3. Suppose 0*r = -d*r + 24. Does 6 divide r?
True
Let r(h) = -2*h - 6. Let o(a) = -a - 3. Let n be o(-5). Let f be n/((-1)/(12/3)). Is r(f) a multiple of 5?
True
Suppose 3*u = 4*k + 220 - 63, 5*k + 107 = 2*u. Is u a multiple of 9?
False
Let x(v) = v**2 + 8*v - 7. Let b be x(-8). Let f(d) = -d**2 - 5*d - 9. Let n be f(b). Let i = n + 56. Does 15 divide i?
False
Does 17 divide (-5)/35*18*238/(-2)?
True
Suppose -2*v + 80 = -4*v. Let l be (-73)/3 - 2/(-6). Let f = l - v. Is f a multiple of 6?
False
Let w = 70 + -62. Is 3 a factor of w?
False
Is 3/(12/76) - -1 a multiple of 5?
True
Suppose -2*r = -n - 11, -4*n = -r - 3*n + 8. Let v be ((-7)/r)/((-2)/6). Let k = 3 + v. Does 10 divide k?
True
Let n be 38/4*(-5 - -7). Suppose -4*b + 2*h + 14 = 0, -4*h - n = -2*b - 7*h. Is b a multiple of 2?
False
Suppose 19*c + 402 = 25*c. Is 44 a factor of c?
False
Is 23 a factor of 250/(4 + -3) - (1 + -1)?
False
Let w = 50 + 11. Suppose -i + 19 = x, 20 = -2*x - 3*x. Suppose w + i = 2*a. Is a a multiple of 15?
False
Let j be -2 + (-15)/(-3) + 1. Let d be 8/j*6/4. Suppose d*m - 45 = -5*l, 2*m - 19 = l - 3*m. Is 5 a factor of l?
False
Let k = -10 + 18. Suppose -f - 4*y = 40, 8*y - 4*y = f + k. Let t = 54 + f. Does 10 divide t?
True
Let p(k) = 10*k - 8. Suppose q + 3 = 9. Does 15 divide p(q)?
False
Let h = 9 + 32. Is 7 a factor of h?
False
Suppose 0 = -2*g - 6, -5 + 22 = 2*l + 3*g. Suppose -23 = -2*o + l. Does 9 divide o?
True
Let w = 4 + -10. Let s be (-14)/2*(w - -4). Let o = s - 1. Is o a multiple of 8?
False
Suppose 1 = -t, 0 = -2*n - 0*t + t + 513. Is 14 a factor of n?
False
Does 13 divide (-62)/4*(-7 - -5)?
False
Suppose 0 = -j + g + 60, -g = j + 4*g - 60. Is 12 a factor of j?
True
Let z be 32 + 2 + -1 + -1. Suppose u - z = -0*u. Is u a multiple of 16?
True
Suppose -2 = -2*h + 5*c - c, h = 3*c + 3. Is 6 a factor of 30*h/(45/(-6))?
True
Let x be -5*(1 + 1*-2). Suppose -4*u + 5*r + 20 = 0, -x*u - 4 = -r - 29. Does 5 divide u?
True
Let k(h) = -h**3 + 6*h**2 - 5*h + 4. Let g be k(5). Suppose -g*m + 2*m = -14. Is 2 a factor of m?
False
Does 5 divide 2 - -16 - (-4)/(-2)?
False
Does 10 divide 336/(-210)*(-1)/2*25?
True
Let q(a) = -a - 6. Let d be q(-7). Let k be 4*d*(-2 + 3). Does 5 divide (-334)/(-22) - k/22?
True
Does 12 divide (-30 - 0)*22/(-55)?
True
Let u(j) = 5*j**2 - 2*j + 1. Let i be u(1). Suppose 0 = 3*c - i - 125. Does 16 divide c?
False
Let d(l) be the first derivative of -l**3/3 + 5*l**2 - 4*l + 3. Let u be d(8). Suppose 3*y - u = -3. Is y a multiple of 2?
False
Suppose 3*x - 4 - 21 = -2*r, -5*r = -5*x. Suppose 53 = 2*b - x*f, b + 5*f = -4*b + 220. Is b a multiple of 13?
True
Let p(y) = -y - 7. Let x be p(-7). Suppose 7*r - 100 = 2*r. Suppose x = 4*m - 0*m - r. Is 2 a factor of m?
False
Is 12/(-18) - 636/(-9) a multiple of 14?
True
Let m(y) = -y + 11. Let t be m(-8). Let p be (-2 - -1) + (-3 - -2). Is 9 a factor of t/2 - (-1)/p?
True
Is 17 a factor of 116*2/4 + -2?
False
Let f be -39*-4*(-3)/(-18). Let g = f - 4. Is g a multiple of 12?
False
Let t be (-7)/21 + 10/3. Suppose -4*o + 45 + t = 0. Does 12 divide o?
True
Let g be ((-2)/(-6))/(2/12). Suppose -4*k + 5 + 1 = g*f, 0 = k. Suppose f*c + 10 = 31. Is c a multiple of 7?
True
Le