u. Is 11 a factor of j?
True
Let d = -3544 - -6496. Does 12 divide d?
True
Let a = 903 + -702. Does 2 divide a?
False
Suppose -9*a + 12*a - 15 = 0. Is 2 a factor of 167/a + 2/(-5) + 3?
True
Let z(r) = 112*r**2 - 4*r + 2. Suppose -3*o + 6 = 3*o. Is 11 a factor of z(o)?
True
Suppose c - 4*u + 8 = 0, 3*u = 3*c - 2*c + 5. Suppose c*o - 108 = 88. Is 12 a factor of o?
False
Suppose -150 = -29*u + 19*u. Does 15 divide u?
True
Let d = -65 + 27. Let h be d/(-14) - (-6)/21. Suppose -a + 39 = -0*a + 4*b, 2*b = -h*a + 157. Is 29 a factor of a?
False
Let d(r) = 5*r - 13. Suppose -m - 3 = 3. Let i = 2 - m. Does 9 divide d(i)?
True
Suppose 192 + 53 = -5*m. Is 6 a factor of 0 - m - 6/(30/5)?
True
Suppose 0 = i - 4*i + 4*b + 196, 268 = 4*i - 4*b. Suppose u = -m + i, 150 = -u + 3*u + 5*m. Is u a multiple of 5?
True
Let g be 1/2 + (-10)/20. Suppose 0*x + 19 = x - 4*q, g = 3*x + 4*q + 23. Does 20 divide 1/((-3)/(-177)) - x?
True
Is (-7)/4*(-132 - 4) a multiple of 17?
True
Suppose -72*i - g = -76*i + 637, -4*i + 3*g = -631. Does 19 divide i?
False
Let z(l) = l**3 - 4*l**2 - 5*l + 6. Let a be z(5). Let t = a + -4. Suppose 2*p = t*u + 190, 4*p - 3*u - 217 - 168 = 0. Is 20 a factor of p?
True
Let o(n) = -n**3 - 7*n**2 + 21*n + 45. Is 18 a factor of o(-14)?
False
Suppose 36*f = 7*f + 38686. Is 46 a factor of f?
True
Let v be 1*-8*2/(-4). Suppose v*a - 3*a - o - 36 = 0, -2*a - 2*o + 80 = 0. Let g = -20 + a. Does 5 divide g?
False
Let c be (-8)/(-32) - (-2222)/8. Suppose -c = k - 3*k. Is k a multiple of 19?
False
Suppose 3*w = -p + 710, 93 = 5*w + p - 1087. Is w a multiple of 8?
False
Let g = 10 + -7. Let x be 3/(5 - (g - 1)). Suppose -3*h + x = -3*f - f, 2*f = 3*h - 5. Does 2 divide h?
False
Let r = -927 + 2724. Is r a multiple of 81?
False
Is (18*-25)/(52/(-156)) a multiple of 18?
True
Let b(h) = -3*h**2 - 14. Let x(a) = 2*a**2 + 7. Let y(t) = 3*b(t) + 5*x(t). Suppose z - 6 = -j, 5*z - 2*z - j - 26 = 0. Is y(z) a multiple of 13?
False
Let a(o) = o**3 + 23*o**2 + 17*o + 22. Suppose 4*z + 9*z + 286 = 0. Is a(z) a multiple of 11?
True
Suppose 2685 + 2190 = 5*k. Suppose -10*m = -k - 535. Is 35 a factor of m?
False
Let y be 57/21 + (-4)/(-14). Let x(w) = 0*w**3 + 0*w**3 - w**3 - y*w + 5*w**2. Is x(3) a multiple of 9?
True
Let g(j) = -19*j + 1 + 16*j - 1. Does 6 divide g(-8)?
True
Let a(f) = -595*f**3 + f**2 + f - 1. Let p be a(-1). Suppose 0 = -5*r - 10, -r = 4*o + 2*r - p. Is 15 a factor of o?
True
Let r(j) = -j + 1. Let f(q) = -q**2 + 12*q - 31. Let a(x) = -f(x) - 6*r(x). Is 8 a factor of a(7)?
True
Suppose -3*n - 3*g - 129 = 0, -n - 37 = -g - 0. Let s = n + 73. Is 19 a factor of (-4)/(-22) + 1611/s?
False
Let g(c) be the first derivative of c**5/30 - c**4/8 + 2*c**3/3 - 3*c**2 + 4. Let s(y) be the second derivative of g(y). Does 29 divide s(-3)?
False
Let v = -166 - -215. Is 7 a factor of v?
True
Let g(o) = -o**3 - 3*o**2 - 3*o - 41. Let n(c) = -c**3 - 2*c**2 - 2*c - 40. Let f(t) = 2*g(t) - 3*n(t). Let z = 9 + -9. Does 14 divide f(z)?
False
Suppose 6*w - 41 = 301. Does 5 divide 32/(-10)*(w/(-6) + -3)?
True
Suppose f + f = 26. Is 8 a factor of 830/f - 16/(-104)?
True
Let k(t) = 5*t**2 - 19*t + 2. Is k(10) a multiple of 12?
True
Let h = -82 - -235. Let w = h + -85. Is 14 a factor of w?
False
Let t = 33 + -28. Suppose -4*p = t*u - 212, -3*u + p + 57 + 60 = 0. Does 10 divide u?
True
Let w(r) = -159*r + 321. Is 22 a factor of w(-5)?
False
Let n be 5/((-30)/149)*-6. Suppose -23 = 4*q + n. Let t = q + 79. Does 9 divide t?
True
Let g(d) = 140*d**2 + 11*d + 9. Is 57 a factor of g(3)?
False
Is 6 a factor of ((-147)/28 + 6)*24?
True
Let y(u) = u**2 - 5*u. Let o(c) = -c**2 + 10*c. Let f(p) = -4*o(p) - 7*y(p). Let v(i) = -8*i**2 - 12*i. Let x(s) = 12*f(s) - 5*v(s). Is 2 a factor of x(-1)?
True
Suppose 7*v + 14 = 5*v. Let i = 11 + v. Suppose -3*s + 58 = 5*j, i*s + 7 = 2*j - 11. Is j a multiple of 2?
False
Let l(d) = -2*d**2 - 78*d + 10. Does 39 divide l(-36)?
False
Let g(v) = 29*v + 1. Let x(d) = d. Let q(s) = g(s) - 6*x(s). Let r be q(1). Suppose 0*n = -n + o + r, -n + 20 = -3*o. Is n a multiple of 11?
False
Let z be (-2130)/3 + 1 + 1. Let o = -326 - z. Does 17 divide o?
False
Let r = -104 - -70. Let h = r + 49. Let f = 19 - h. Does 3 divide f?
False
Suppose 9*c - 9720 = -0*c. Is c a multiple of 25?
False
Suppose -2*g - g = 0. Suppose u = 5*j - 11, 4*j = -2*u + 5*u. Suppose g*q + 161 = 5*z - u*q, -3*z + 101 = 2*q. Is 12 a factor of z?
False
Suppose 3*u - 46 = -5*x, -2*x - 2*u + 38 = 2*x. Let j = -4 + x. Suppose 2*d - 16 = -0*n + 4*n, -2*d = 5*n - j. Is d a multiple of 6?
True
Let a(q) = -93*q - 87. Does 23 divide a(-13)?
False
Let x(t) be the first derivative of t**4/4 - 10*t**3/3 + 11*t**2/2 - 14*t + 15. Is x(9) a multiple of 4?
True
Let l be -3 - 208/(-20) - 4/10. Suppose 731 = l*p + 94. Does 20 divide p?
False
Suppose u - 3*u - 1322 = -4*r, -5*r = -u - 1651. Suppose 0*h + 2*q - 7 = -3*h, -3*q + 12 = 5*h. Suppose 2*v - r = -h*v. Is 18 a factor of v?
False
Let i = 3798 - 828. Is 27 a factor of i?
True
Suppose -25 = 5*h, 8*q - 3*q = -5*h + 455. Suppose f = -0*f + q. Suppose 5*g - f = 2*r, 2*g - 15 = -5*r + 6. Does 6 divide g?
True
Let v(n) = n**2 - 5*n + 5. Let l be v(5). Suppose -42 = -b - 2*s, -l*s + 27 = b - 0*s. Is 13 a factor of b?
True
Suppose -5*h = -a - 109, 3*a - 3*h = 2*h - 347. Does 4 divide 34/a - 170/(-7)?
True
Let k = 0 - -4. Suppose -g - k*g = -120. Let u = 53 - g. Is u a multiple of 9?
False
Suppose -3*r - 4*m + 5*m = -40, -5*r + 4*m = -62. Let p = 18 + r. Does 8 divide p?
True
Let z(j) be the first derivative of 7*j**5/10 - j**4/12 - j**3/6 + j**2/2 - 6*j - 6. Let p(g) be the first derivative of z(g). Is 12 a factor of p(1)?
False
Let d = -352 - -101. Let a = d + 405. Is a a multiple of 23?
False
Let m be (1 + -5)*(4 - 6). Suppose 3*d - m = 1. Is 2 a factor of (-4)/2*-1*d?
True
Suppose 624 = -6*r - 168. Suppose 52 = -4*g + 3*g. Let j = g - r. Is j a multiple of 12?
False
Let h = -779 + 1955. Does 28 divide h?
True
Is (-13 - (-2)/3*3)*-5 a multiple of 11?
True
Let f = 2138 - 1468. Is f a multiple of 23?
False
Let d = 24 + -21. Suppose -19 - 305 = -d*l. Is l a multiple of 18?
True
Suppose -z + o = -131, 7*z - 8*z = 4*o - 116. Is z a multiple of 8?
True
Suppose 2 = 3*n - 2*n. Suppose 7*k = 3*k + 20, -2*t - n*k + 34 = 0. Suppose -5*h = -h - t, -b - 3*h = -13. Is 2 a factor of b?
True
Let r = 751 + -112. Does 18 divide r?
False
Suppose 0 = -14*m + 24*m - 1920. Is m a multiple of 16?
True
Suppose -4*j - 5 + 21 = 0. Suppose j*i = s + 13, 2*i + 3 = -3*s + 6. Is i a multiple of 3?
True
Let n be (-174 + -2)/2 + -2. Let h = 36 - n. Let b = h + -86. Is 12 a factor of b?
False
Suppose 59*f - 75*f = -3376. Is 17 a factor of f?
False
Suppose 114 = l + 17. Suppose 0 = 7*k - l - 323. Is 10 a factor of k?
True
Let l = 2089 - -849. Is l a multiple of 113?
True
Let u be (-4)/(-18) - (-7)/(189/507). Suppose -u*y = -22*y + 240. Is 20 a factor of y?
True
Suppose -29 - 7 = -4*i. Suppose -4*n + 23 = -i. Let p = 43 - n. Is p a multiple of 13?
False
Suppose -83*j + 4212 = -31*j. Does 3 divide j?
True
Suppose 64 + 234 = 2*n. Suppose -w + 0*w = 5*g - n, 382 = 3*w + 2*g. Suppose -2*t + w = 2*t. Does 11 divide t?
False
Suppose -6*d - 22*d = -1288. Is d a multiple of 2?
True
Let m(x) = 6*x - 4. Suppose -5*k = -f - 16, -3*k = -5*f - 0*k + 30. Does 50 divide m(f)?
True
Let r(y) = 38*y + 15. Let q(a) = 12*a + 0*a + 5 + a. Let f(v) = -17*q(v) + 6*r(v). Is 15 a factor of f(3)?
False
Suppose 4*v - 3*h = 39 + 21, -h - 52 = -4*v. Let a be (15/v)/(2/16). Let i(w) = 2*w - 15. Is i(a) a multiple of 5?
True
Suppose -2*f - 45 = -5*u + 3*f, -2*u = 5*f + 3. Is (u + 286)*(-3)/(-12) a multiple of 13?
False
Suppose 5*d - 103 = 4*r, 4*r - 4*d + 5*d = -133. Let h = 47 + r. Suppose -16 = -4*b - 4*y, 2*b + 0 - h = 5*y. Is 2 a factor of b?
False
Suppose 3321 = 5*v + 2*n - 4*n, -4 = -2*n. Is v a multiple of 44?
False
Let i(w) be the first derivative of 8*w**3/3 + w**2/2 + 2. Let m be ((-2)/(-6))/(2/6). Is 5 a factor of i(m)?
False
Let u(r) = r**2 + 8. Does 23 divide u(14)?
False
Let h(x) = x**2 - x - 3. Suppose 3*j = -2 + 14. Let r be 1/(-4) + (-11)/j. Is h(r) a multiple of 9?
True
Let t = -79 - -138. Suppose -t*a = -55*a - 224. Does 4 divide a?
True
Let x(h) = -h**2 + h - 1. Let m(p) = p**3 - 3*p**2 + 4*p - 267. Le