 + -2 + i?
False
Let t(m) = m**2 - 3*m + 2. Suppose -6 = -5*k + 3*k. Let u be t(k). Suppose -12 = -u*f - 3*q, 0 = f + 4*f - 5*q - 55. Does 9 divide f?
True
Suppose 9 + 3 = 5*j + 2*a, -4 = -2*j - a. Is 22 a factor of j*1/2 + 64?
True
Let r be 130*((-25)/10 + 2). Is 13 a factor of (-1)/(-2)*0 - r?
True
Let v(l) = -8*l**2 + l + 29. Let z(u) = -9*u**2 + 29. Let m(p) = -7*v(p) + 6*z(p). Does 10 divide m(9)?
True
Let x = 6 + -7. Let z = x + 3. Suppose 0 = -3*l + 4*d + 20, z*d + 7 = 3*l - 15. Is l a multiple of 4?
True
Let m = -174 + 169. Let d(g) = -g**3 - g**2 + 13*g + 9. Is 13 a factor of d(m)?
False
Suppose 22*q = 9*q + 29640. Does 10 divide q?
True
Suppose 2*r = i + 2*i + 55, -5*i = -2*r + 85. Let g = 35 + i. Is g a multiple of 5?
True
Let y(v) = -v**2 + v + 6. Let c be y(3). Let u(q) = 6*q + 96. Does 16 divide u(c)?
True
Let n be -2*((-42)/4 + 0)*4. Suppose -n = -2*w - 26. Is w a multiple of 10?
False
Let f(s) = s**3 - 14*s**2 - s + 48. Let v be f(14). Suppose -30*q - 200 = -v*q. Is 7 a factor of q?
False
Let k = 137 - -139. Is k a multiple of 6?
True
Suppose 120*w + 2250 = 145*w. Does 5 divide w?
True
Let l(b) = -b**2 - 3*b + 18. Let s be l(3). Let j(p) = p**2 + p + 198. Is 18 a factor of j(s)?
True
Let d(o) = 12*o + 94. Is 5 a factor of d(-2)?
True
Suppose 0 = 8*k - 2163 + 819. Is 6 a factor of k?
True
Suppose 4*n + 84 = 5*w, 0*w - 84 = -4*w - n. Is w a multiple of 10?
True
Suppose 0 = 9*w + 2*w + 429. Let c be (-1)/2*-2 - 72. Let l = w - c. Is 6 a factor of l?
False
Suppose 0 = -5*t + 5*f + 215, -t - 7*f + 6*f + 47 = 0. Does 3 divide t?
True
Suppose 6 = -3*g + 2*g. Let p(t) = t**3 - 5*t - 3*t**2 + 10*t**2 + 5 + 0. Is 18 a factor of p(g)?
False
Suppose -3*g - f + 750 = 0, 3*g - 3*f = 2*f + 768. Is 23 a factor of g?
False
Suppose 18 = -3*x + x. Let b = 11 + x. Suppose -30 = -l + b. Does 10 divide l?
False
Let j(c) = c**2 - 3*c - 5. Suppose 4*o + g = 14 + 8, 4*o - 5*g - 10 = 0. Let q be j(o). Suppose -q*v - 18 + 238 = 0. Does 22 divide v?
True
Let m(j) = -j + 39. Let t(n) be the second derivative of n**3/3 - 2*n**2 - 4*n. Let d be t(2). Is 19 a factor of m(d)?
False
Suppose -34552 = -15*z - 6367. Is 12 a factor of z?
False
Let i(m) = -m**2 + 4. Let p be i(3). Let w = 21 + p. Does 8 divide w?
True
Let l(b) be the third derivative of b**4/8 + b**3/3 + 3*b**2. Let z be l(1). Suppose 3*p + 0 = o - 6, 3*o - z*p = 34. Does 17 divide o?
False
Let n = 64 - 62. Suppose -y + q = -121, -q = -4*y - n*q + 479. Is 12 a factor of y?
True
Let h be -1*3 + 8/12*3. Is 22 a factor of (-2)/(-4)*(-96)/h?
False
Suppose n - 3*n = -20. Suppose -7*u + n*u = 15. Suppose -60 = -u*j + 50. Is 11 a factor of j?
True
Suppose 6*k + 32 = 818. Let q = 307 - k. Is 44 a factor of q?
True
Is 49 a factor of (-88)/11 - -14 - -2666?
False
Suppose 0 = -3*d - 4*p + 874, -3*d + 866 = -0*d + 2*p. Does 13 divide d?
True
Let g = 448 - 317. Let m = g + 51. Is m a multiple of 13?
True
Suppose -p - 33 = 16. Let q = -30 - p. Does 14 divide q?
False
Let p(g) = -2*g**2 + 15*g - 7. Let q be p(7). Suppose 0 = -3*s - 4*d + 1, d + q*d + 4 = -5*s. Is 3 a factor of 0 + (-14)/s + 0?
False
Suppose 13*x = 16*x - 39. Let k = -7 + x. Does 8 divide -2 - k*(-11 + 0)?
True
Is 26 a factor of (-7539 - -1)/(19/((-190)/20))?
False
Let f(k) = -8*k. Suppose 20 = 2*n + 2*n. Let g be f(n). Let r = g - -66. Does 13 divide r?
True
Let a(b) = -2*b + 6*b**2 - b**2 - 8 - 4*b**2. Is a(9) a multiple of 11?
True
Suppose 0 = -5*k + 26*k - 4725. Is k a multiple of 4?
False
Suppose 0 = -4*y - 2 + 22. Suppose y*c = -0*c + 315. Is c a multiple of 9?
True
Let h(f) = f**3 - 4*f**2 + 7*f + 2. Is h(8) a multiple of 5?
False
Suppose -u = -2*u + 12. Suppose 4*t + 0*t = u. Does 2 divide t?
False
Let p = -87 - -163. Does 49 divide p?
False
Let i(d) = -d**3 - 9*d**2 - 5*d - 17. Let l be i(-10). Suppose -3*m + 4*m - 5*f = 59, -2*m = 5*f - l. Does 21 divide m?
False
Let m(j) = j**3 - 3*j**2 - 3*j + 26. Let x be m(4). Does 12 divide (9/60*16)/(1/x)?
True
Suppose z = 3*p - 6, -z - 2*p - 2*p = 34. Let o be (6/9)/((-6)/z). Suppose 0 = -2*m + 2*g + 27 - 3, o*g = m - 10. Is 7 a factor of m?
True
Let m = -953 - -1386. Is 13 a factor of m?
False
Suppose -284 = -2*f - 3*s + 7*s, 0 = -s - 4. Is f a multiple of 3?
False
Let j(i) = i**2 - 17*i - 13. Does 4 divide j(21)?
False
Suppose 4*p = -3*t + 3, -10 = -5*t - 3*p - 5. Let j = t + 1. Is 7 a factor of 15/j + (-3)/6?
True
Suppose -k = -4*j - 5*k + 4, 0 = 5*k + 15. Suppose 0 = 5*t - 2*g - 342, 5*t - 3*g - 339 = -j*g. Is t a multiple of 17?
True
Let r(b) = -167*b - 67. Is r(-2) a multiple of 53?
False
Let w(u) = -18*u - 14. Let m(s) = -s - 2. Let j(a) = 4*m(a) - w(a). Suppose 4*v = -v + 20. Is j(v) a multiple of 12?
False
Suppose -4*x = 2*b - 10, -x + b - 20 = -3*b. Suppose x = -5*u + u + 656. Is 16 a factor of u?
False
Let g(u) = -u - 6. Let h(w) = -9*w + w**2 + 3*w + 11 - 6*w + 0*w**2. Let r be h(10). Does 3 divide g(r)?
True
Let m be 0/(8/(-2) - 0). Suppose m*y = 3*y - 84. Suppose 3*f + 4*w - 14 = 28, 0 = -2*f + 2*w + y. Is 14 a factor of f?
True
Let y be ((-22)/(-18) - 1) + 325/117. Suppose -6*t + y*c + 43 = -5*t, 2*t = -2*c + 54. Does 9 divide t?
False
Let y = -29 + 89. Suppose 4*w + 0*w = y. Is 3 a factor of w?
True
Let m(s) = 88*s - 1160. Does 14 divide m(24)?
True
Let j = 26 + 50. Let s = 39 - j. Let d = s - -138. Is d a multiple of 19?
False
Is 27 a factor of 22/(-8) + (-433004)/(-208)?
True
Let j(l) = 8 - l**2 - 2*l**2 + 4*l**2 + 6*l. Let r(q) = q**2 + 2*q - 7. Let i be r(0). Does 4 divide j(i)?
False
Let c(k) = 15*k + 30. Let v be c(-17). Let f = v + 415. Does 27 divide f?
False
Is (-2)/10 + (6 - 11697/(-35)) a multiple of 20?
True
Let u be ((-18)/(-24))/((-1)/(-4)) - -22. Suppose -5*s - u = 0, -s + 125 = 3*n + s. Does 6 divide n?
False
Let m = -10 - -10. Suppose -2*n - 47 + 203 = m. Does 39 divide n?
True
Let i(z) = 4*z - 11. Let v be i(-10). Let u = v + 79. Is 28 a factor of u?
True
Let m(y) = 2*y - 5*y + 15 - 1 + 7*y - y. Suppose -h + 17 = 2*h + 4*a, -3*a = h - 4. Does 7 divide m(h)?
True
Let r = 353 + -89. Is r a multiple of 38?
False
Is 21 a factor of 3818/14 - 6*10/(-210)?
True
Let t be 1551/22*(-4)/(-3). Suppose 2*c - t = -w + 5, -2*c - 337 = -3*w. Suppose 49 + w = 2*k. Is k a multiple of 22?
False
Suppose -103*x = -11*x - 37812. Is 21 a factor of x?
False
Let b(r) = 2*r**3 - 27*r**2 + 11*r - 13. Let f(g) = -g**3 + 13*g**2 - 5*g + 6. Let i(l) = 6*b(l) + 13*f(l). Is 6 a factor of i(6)?
True
Suppose -21*w + 27910 + 4010 = 0. Does 80 divide w?
True
Let x(b) = -28*b**3 + 4*b**2 + b - 5. Let h be x(-4). Suppose 545 = -6*z + h. Does 25 divide z?
False
Is (-1 - -1037) + 9 + 91/(-7) a multiple of 43?
True
Suppose -5*m + 4*i + 25 = 0, -6 - 23 = -m - 4*i. Let z be m/(-3 - 30/(-8)). Is -20*z/8*-1 a multiple of 8?
False
Let a(i) = -34*i**2 - 7*i - 4. Let h(g) = 102*g**2 + 20*g + 11. Let x(d) = 8*a(d) + 3*h(d). Is x(-1) a multiple of 22?
False
Let x(a) = 115*a**2 - a + 3. Is 27 a factor of x(3)?
False
Let z(x) = -x**2 - 3*x + 9. Let f be z(-4). Let r(i) = 3*i**2 - 6*i - 3. Let d be r(f). Is (0 - d)/(-3 + 2) a multiple of 7?
True
Let u be ((-4)/5)/(-1*(-14)/(-35)). Suppose u*l + 2*o = 28, -2*l - o = -38 + 15. Is 4 a factor of l?
False
Let g be 25/(-3)*9/(-3). Let v = g - 8. Does 8 divide v?
False
Let t(v) = 19*v**2 - 5*v - 27. Is t(-4) a multiple of 33?
True
Let g(a) = 2*a - 5. Let t be g(5). Suppose t*h - 14 = -2*d, 3*d - 12 = -3*h - 0. Suppose x - 19 = h. Is x a multiple of 17?
False
Let o(m) = -2*m**2 + 2*m + 9. Let u be o(7). Let n = 117 + u. Does 14 divide n?
True
Suppose -5*c = -0 - 20. Suppose 4*d = -4*a + 284, 201 + 199 = 5*a - c*d. Suppose -t = -3*h + 16 - 51, 4*t - a = -4*h. Is 23 a factor of t?
True
Let z(a) = 47*a - 8. Let o be z(1). Is 9 a factor of o + -6 + 9/3?
True
Let a = 44 - 51. Let t = a - -13. Is t even?
True
Let o be 15*((-16)/5)/4. Is (-2 - 111/o)*4 a multiple of 4?
False
Suppose -c + 142 = 5*k, 2*c + 52 = -k + 3*k. Is 20 a factor of 108*k/64*4?
False
Suppose 4 - 3 = -k. Is (9/k)/3 + 16 a multiple of 13?
True
Suppose 70 = 5*u + 2*l, -5 = 3*u + l - 48. Does 10 divide u?
False
Suppose 16756 - 1476 = 16*s. Is 69 a factor of s?
False
Does 31 divide (-1)/5*(-36 + -14379)?
True
Suppose -10*p - 2*x - 356 = -11*p, 0 = 4*p + x - 1406. Does 4 divide p?
True
Is 11 a factor of 425 + 9 