33 + 54. Let r = p - 17. Does 10 divide -2*((-63)/6 + r)?
False
Suppose 12 - 17 = 5*u. Is (u - -11) + -1 + 5 a multiple of 14?
True
Suppose -5*x - 2*i - 873 = 0, -i + 225 = -2*x - 126. Let d = -42 - x. Does 19 divide d?
True
Suppose -5*r = -4*u + 245, 5*u - r - 326 + 25 = 0. Let w = 114 - u. Suppose 5*s + 20 = 0, 6*a - 3*s = 3*a + w. Does 7 divide a?
True
Let k be 20/(-5)*(-2)/(-2). Let v = k - -7. Suppose -v*i + 29 + 40 = 0. Is 23 a factor of i?
True
Let p(u) = 3*u**3 + 4*u**2 + 2*u + 69. Is p(7) a multiple of 6?
True
Suppose -4*z = 4*o - 2704, -4*z - 959 = -5*o - 3636. Let s = z + -349. Is 18 a factor of s?
True
Let p(n) = 9*n. Let f be p(0). Suppose f = 2*u - 5*w + 9*w - 104, 0 = -u + 4*w + 76. Is u a multiple of 10?
True
Does 84 divide (-4524)/(-9) - 56/(-42)?
True
Suppose -3*g + 3*h = -441, -4*g - 4*h + 0*h = -596. Does 17 divide g?
False
Let b = 282 - 116. Does 8 divide b?
False
Let n = 17 + -13. Suppose -2 = -n*k + 2. Suppose -3*t = -16 + k. Does 5 divide t?
True
Let r = -3 - -8. Suppose -3*c = 3*w - 132 - 6, -238 = -r*w - 3*c. Does 5 divide w?
True
Suppose -4*h + 8 = -0. Suppose 4*u - h*l = 3*l - 9, 28 = 2*u + 4*l. Suppose -q + 8 - u = 0. Is q even?
True
Let s = -36 + 37. Is 17 a factor of -3 + 4 + 119 - s?
True
Suppose -117*v - 269 = -118*v. Is v a multiple of 54?
False
Let v = -34 + 38. Suppose -f = 2*m - 102, 4*f - 107 - 93 = -v*m. Is m a multiple of 5?
False
Let s(n) = -10*n + 18. Suppose -4*z = 34 - 6. Does 22 divide s(z)?
True
Suppose -r = -2*z - 6*r - 57, -4*r = -3*z - 28. Let c = 126 - z. Is c a multiple of 13?
False
Let f(g) = -g**2 + g - 14. Let o be f(0). Let d = 55 - o. Is d a multiple of 23?
True
Suppose 9*s - 10*s = -113. Let v = s + -41. Is 36 a factor of v?
True
Let b be 5 + 12/4 + -3. Let t be 2/2*-1 + b. Let z = 54 - t. Is 25 a factor of z?
True
Suppose -5*d - 45936 = -38*d. Does 48 divide d?
True
Suppose -45*x + 33398 + 9847 = 0. Does 48 divide x?
False
Let p = 3600 - 2256. Does 64 divide p?
True
Let m = -1601 - -1762. Let g(f) = 10*f + 1. Let t be g(5). Suppose 0 = o + 5*i - 8 - t, -m = -4*o - 5*i. Is 17 a factor of o?
True
Suppose -1164 = 3*o - 4*m, -2*o + 4*m - 392 = 380. Let f = o + 584. Does 32 divide f?
True
Let a = 1 - 8. Let d = a + 12. Does 14 divide 2/(-10) - (-201)/d?
False
Let q(h) = h**3 + 10*h**2 + 6*h + 5. Let d be q(-7). Let i = 183 - d. Does 13 divide i?
False
Let q(k) = -k**2 + 13*k - 7. Let p be q(12). Suppose -p*x + 0*x = 4*a - 31, -4*x = -a + 34. Suppose -t - 1 = -a. Is 4 a factor of t?
False
Let y be -2 - 7/(-4) - (-1635)/(-20). Is 12 a factor of 2 + (5*y)/(-5)?
True
Let k(p) = 2*p**2 - 14*p + 2. Let i(n) = n**2. Let y(t) = 4*i(t) - k(t). Suppose -2*u - 12 = 2*a, -2*a - 2*a = 3*u + 28. Is 30 a factor of y(a)?
False
Suppose -2*x = -4*x. Suppose x*j = 5*j - 125. Let v = j + -5. Is v a multiple of 5?
True
Does 36 divide (-21)/(-14)*-1*2*-1032?
True
Suppose 0 + 9 = 3*k, 0 = -5*b - 4*k + 4867. Does 17 divide b?
False
Suppose -15 = 6*n - 11*n. Suppose 3*f = 5*f + n*r - 16, 4*f + 3*r = 44. Is f a multiple of 2?
True
Suppose -2 = s - 7. Suppose 4*f - s = -0*f - 3*b, 5*f - 11 = b. Suppose f*v - 9 = 7. Is 8 a factor of v?
True
Suppose -3*c + 596 = -2*c + 4*w, -5*c = -3*w - 2865. Suppose 6*o - 2*o = c. Does 18 divide o?
True
Suppose f = -2*k + 492, -132*f + 130*f + 1231 = 5*k. Does 8 divide k?
False
Let v = 11 + -17. Let u = v - -1. Is (6 - 1)*(-4)/u even?
True
Let w(b) = -b**3 + 5*b**2 + 7*b - 1. Suppose -4*l + 24 = -0*l. Let a be w(l). Let y(t) = 7*t. Is 9 a factor of y(a)?
False
Let l(n) = -n**2 + 7*n - 7. Let f = 9 + -9. Suppose 40 = 3*t - 5*y, -t - t - 2*y = f. Is l(t) a multiple of 3?
True
Let q = 108 - 265. Does 21 divide -1*(2 - 5) - q?
False
Let k(x) = 4*x**3 + 8*x**2 + 4*x - 4. Let b(i) = -5*i**3 - 9*i**2 - 5*i + 5. Let j(f) = 5*b(f) + 6*k(f). Let v be j(2). Suppose -1 - 17 = -v*o. Does 2 divide o?
True
Does 15 divide 614/(-8)*(4 + -1 + -7)?
False
Suppose 0 = 3*z - 4*z + 15. Let u = z - 7. Is 5 a factor of u?
False
Suppose -3*y + 81 = 3*d, 0 = -5*d - 2*y + 168 - 30. Let w be (-564)/36 - (-1)/(-3). Let v = w + d. Is v a multiple of 7?
False
Let s(l) = 29*l + 259. Is s(-6) a multiple of 10?
False
Suppose 0 = 2*v - v - 138. Suppose -i - 2*z = -v, -4*i + 2*i + 244 = -4*z. Is 13 a factor of i?
True
Let z(x) = x**3 + 2*x**2 - x. Let r be z(-2). Suppose -3*d = -4*w - 9, -6 = -r*w + w - 2*d. Suppose w*c + 28 = 3*c + 2*m, 2*c - 2 = 2*m. Does 5 divide c?
False
Let k(b) be the third derivative of 0 - 2*b**2 + 1/60*b**5 + 0*b + 1/24*b**4 + 7*b**3. Is k(0) a multiple of 14?
True
Let t(b) = 243*b**2 - 24*b + 37. Does 12 divide t(2)?
False
Let h = 20 - -4. Suppose 5*d - 4*a = 14, 2*d - 5*d + 34 = 4*a. Suppose -d*p + h = -5*p. Does 6 divide p?
True
Suppose -2*u + 2 = 4, -23 = -5*f + 3*u. Let p be (-3 + -2)*3/5. Is 6 a factor of f*3*p/(-6)?
True
Suppose 4*d + 36 = 116. Suppose 3*c + 3*t = 18, 0 = -2*c + 2*t - 6*t + d. Suppose 0 = -3*m + c*a - 3*a + 147, 3*m - 4*a - 132 = 0. Does 8 divide m?
True
Let o = -681 - -995. Suppose 6*g - o = -2. Is g a multiple of 9?
False
Let s be 0/6 + (-12)/(-3). Suppose 4*b + 24 = 2*g, 5*g + b = -s*b. Suppose -g*p = -5*u - 95, 5*p = -5*u + 2*u + 91. Is p a multiple of 20?
True
Let t = -22 - -24. Suppose t = -4*c - 2*u, -4 = -5*c + 2*u + 2*u. Is 22 a factor of c - (-122)/2 - -4?
False
Suppose -o - 6340 = -6*o - 4*i, 0 = 2*o + 2*i - 2534. Is 18 a factor of o?
False
Suppose 4*g - 107 = -43. Suppose -g = -i - 8. Suppose m - h - i = 4, -h + 40 = 3*m. Is m a multiple of 11?
False
Let t(r) = -2*r**2 - 2*r + 2. Let h be t(-2). Let i = 43 - h. Is i a multiple of 15?
True
Suppose 271 = 4*c - 5*q - 82, -5*c - 5*q = -430. Suppose 3*y - 480 = -c. Is y a multiple of 11?
False
Let c = 1 + 3. Suppose c*p = 6*p - 152. Does 19 divide p?
True
Suppose -23 = -5*w - 2*x, -5*w - 14 = -3*w - 5*x. Suppose -i + w*i = 182. Does 13 divide i?
True
Suppose 0 = 4*u + v - 73, 6*u = 2*u - 4*v + 76. Let i = -28 + u. Let x = i - -31. Is x a multiple of 7?
True
Let l(i) = -3*i**2 - 28*i - 12. Let g be l(-8). Does 5 divide g/(-6)*(0 + 252/(-30))?
False
Suppose 306 = -804*p + 805*p. Is 17 a factor of p?
True
Does 21 divide 1*((-13)/((-26)/96) - -5)?
False
Let w = 681 + -629. Is w a multiple of 4?
True
Suppose 6*n = n + 575. Let z be (45/25)/3*n. Suppose 5 - z = -t. Is 19 a factor of t?
False
Suppose -5*m - 76 = -4*a + a, 2*a = 2*m + 48. Does 4 divide a?
False
Suppose 0 = -21*z + 20*z - 126. Let r = z + 227. Is r a multiple of 13?
False
Let c(b) = -b**3 + 5*b**2 + 9*b - 10. Let g be c(6). Let m = g + -9. Let s = 7 + m. Does 2 divide s?
True
Suppose 22*v = -10*v + 56064. Is v a multiple of 12?
True
Let j be (1 + 0)*-2*58. Is 9 a factor of (88/6)/(j/24 - -5)?
False
Suppose 608 = s + 4*y - 245, 4*s - y = 3480. Is 90 a factor of s?
False
Let n(l) = 9*l**2 + l + 126. Does 4 divide n(0)?
False
Suppose 5*m - 1390 = 5*z, 25*m - 26*m + 2*z + 276 = 0. Is 28 a factor of m?
True
Let l(f) be the second derivative of -3*f**4/2 - f**3/2 + 2*f**2 + 6*f. Let m be l(3). Let i = -105 - m. Is 19 a factor of i?
False
Suppose 4*x + 2492 = 4*h, 26*h = 28*h + x - 1243. Is 38 a factor of h?
False
Let r(b) = 20*b**2 - 3*b - 4. Let a be r(-1). Is 3 a factor of (-1)/((2/(-2))/a)?
False
Let o be 712/(-44) - (-4)/22. Let q = o + 5. Let m = 71 + q. Is 13 a factor of m?
False
Let c = 70 + -14. Suppose 0*a - 3*a - 5*g - c = 0, -2*g - 32 = 2*a. Let k = a + 42. Is 15 a factor of k?
True
Suppose 6*b = 4 + 2. Let z(w) = 3 + w**2 + 46*w - b - 34*w. Is z(-12) a multiple of 2?
True
Let c(g) = -81*g - 10. Suppose 0 = -14*v - 26 - 2. Is c(v) a multiple of 19?
True
Suppose o - 5 = -2. Suppose 5*z + u + 0*u = 150, o*u = 2*z - 60. Suppose z = 9*n - 6*n. Is 5 a factor of n?
True
Let z(r) be the third derivative of r**6/120 - r**5/60 - r**4/24 + 35*r**3/3 + 4*r**2. Is z(0) a multiple of 10?
True
Let j(t) = -9*t**2 - 8*t + 5. Let x(p) = -p**2 - p + 1. Let z(q) = -j(q) + 3*x(q). Is z(2) a multiple of 14?
False
Suppose -29*m = -1723 + 563. Is 4 a factor of m?
True
Let g(v) = -v**2 - 13*v - 7. Suppose -4*r + 5*d - 26 - 2 = 0, -32 = 2*r + 2*d. Let x be g(r). Suppose 0*t = -t - 2*b + 44, -3*t - x*b = -130. Does 10 divide t?
True
Suppose -5*z - 3*t = -2110, 2*z + 1277 = 5*z + 4*t. Is z a multiple of 13?
False
Let i = 9 + -10. Let f be 10/5 + 15*i. Let s(t) = t**3 + 13*t