 be h(-1). Let r = -9 - q. Does 4 divide r?
True
Let o = 35 + -35. Suppose n - 162 = -3*u - o*u, -4*u = 5*n - 205. Is 11 a factor of u?
True
Let x(z) = 33*z - 27 - 22 + 49. Is 11 a factor of x(2)?
True
Suppose 5*c = -4*x - 2483, 0 = -2*c - 2*x - x - 996. Is 20 a factor of (-28281)/c - (13/(-15) - -1)?
False
Suppose -h + 320 = 4*l - 3*h, -3*l + 230 = -4*h. Is l a multiple of 44?
False
Suppose -3*m + 0*m = -12. Suppose 3*y + 1 = p + 4, -5*y = p - 5. Does 23 divide m + (-1 - -41) + p?
False
Let l = -793 - -1549. Is 7 a factor of l?
True
Let m = -16 - -18. Suppose 232 + m = 2*z. Let y = 174 - z. Is y a multiple of 12?
False
Suppose -8*k - 16 = -16*k. Is (k - (-475)/2) + 7/14 a multiple of 16?
True
Suppose 8*y = 9*y - 3. Let n(h) = -y*h - h + 4 + 2*h. Is n(-4) a multiple of 6?
True
Let a(p) = -p**2 - 2*p - 13. Let h be a(0). Let z = 17 + h. Suppose i + 3*g = 102, z*i = -g - g + 368. Is 18 a factor of i?
True
Suppose -4*b = -4*r, r - 5*b = 5*r. Suppose r = 3*k - 21 + 9. Is 4 a factor of k?
True
Suppose k + 8 - 21 = 0. Suppose -k = -4*t - 1. Suppose -p + 86 = 3*y, -4*p = -t*y + 21 + 40. Is y a multiple of 16?
False
Suppose -2*v + 5*s = -1609, 5*v + 5*s = 4*v + 767. Is 10 a factor of v?
False
Suppose 0 = 2*r + 2*r - 8. Suppose -4*i - 2*l = -5 - 7, -r*i = -4*l - 26. Suppose -i*c = -14 - 46. Does 4 divide c?
True
Suppose 3*t = d + 2*t - 8, 4*t = -2*d + 22. Is 6 a factor of (-3)/2*(d + -21)?
True
Suppose -5*p - 413 = 2*o, -p - 75 = -o + 2. Is (1/(3/p))/(-1) a multiple of 8?
False
Suppose 27*a - 8*a - 3496 = 0. Is 9 a factor of a?
False
Let h be (1 + -3)/(6 - 828/135). Let z(t) = t**3 - 15*t**2 + 9*t - 27. Is z(h) a multiple of 9?
True
Suppose 11*g - 136 = 1646. Is 27 a factor of g?
True
Let k be 1*-5*(-24)/40. Let s(n) = n**3 - 6*n**2 + 2*n + 9. Let v be s(7). Suppose k*b = 6*b - v. Is b a multiple of 6?
True
Let n = 311 + 328. Does 71 divide n?
True
Suppose -7*a - 840 = -19*a. Let p be 1/2 + 75/(-2). Let d = a + p. Is 11 a factor of d?
True
Let m be 11*(0 + 30) + (-5 - -2). Suppose -3*y - 3*z + m = 0, 0*y + 292 = 3*y - 4*z. Is y a multiple of 8?
True
Let y be 30/4 + (-1)/2. Suppose y*g - 9 = 4*g, 4*t - 2*g - 358 = 0. Is 39 a factor of t?
False
Is 25 a factor of ((-5030)/(-6))/(7/21)?
False
Let u(j) = j**3 + 6*j**2 + 2*j + 1. Let w be u(-3). Let g = 26 - w. Is (-6)/g*(-1166)/33 a multiple of 9?
False
Let o = 24 - 36. Let b be (39 - 1) + o/4. Is b - (-4 + 2 - -3) a multiple of 17?
True
Let u(w) = -7 - 6*w + w + 7. Let g be u(-4). Suppose g = -4*b, -2*n - b + 0*b = -11. Does 2 divide n?
True
Let r be 6/(-33) - (-268)/22. Suppose r*l = 9*l - 24. Let i(v) = -v. Does 8 divide i(l)?
True
Let g(v) = 3*v**2 + 12*v - 6. Let h = -29 + 23. Is 3 a factor of g(h)?
True
Let b(s) = -14*s**3 + 2*s**2 - 3*s - 3. Suppose 3*p + 2 = 2*p. Let h be b(p). Suppose 4*l - h = -51. Is l a multiple of 9?
True
Does 27 divide 6*(-6)/126 + 5016/14?
False
Let h(i) = -14*i**2 - 29*i - 7. Let x(s) = 5*s**2 + 10*s + 2. Let d(o) = -3*h(o) - 8*x(o). Let a be d(-6). Suppose a = k + 8. Is 9 a factor of k?
True
Let z be (-2)/(-1*(-1 - -2)). Let f(j) = 8*j**3 + 2*j**2 - j - 3. Let h be f(z). Suppose -2*n - 2*l + 33 = -l, 2*l + h = 3*n. Does 5 divide n?
False
Suppose 5*h - 3191 + 786 = 0. Is h a multiple of 8?
False
Suppose 20*v - 16*v - 1044 = 0. Does 52 divide v?
False
Suppose 409 = 10*y - 591. Is 20 a factor of y?
True
Let u = 0 + -8. Let w = u - -12. Suppose -2*g - w*p + 72 = 0, -g + 2*p = 3*p - 35. Is g a multiple of 11?
False
Suppose -20*v = -17*v - 72. Suppose 7*d + v = 10*d. Does 3 divide d?
False
Let s(o) = -o - 6. Let u be s(-7). Let j(k) = 9*k**3 + k**2 - 2*k + 1. Let m be j(u). Suppose -49 = -5*g - m. Is g even?
True
Let u(h) = 12*h**2 - 64*h - 8. Is u(7) even?
True
Does 20 divide (-4418)/(-17) + (-12)/(-102)?
True
Let u(d) = -38 + 2 + 2*d**2 - 16*d - 3*d. Is u(15) a multiple of 18?
False
Suppose -o + 2*a + 286 = -2195, o = 5*a + 2478. Is 75 a factor of o?
False
Is 14 a factor of (-56)/60*-5*(2 + 409)?
True
Let g(a) = -4*a**3 + 7*a**2 - 4*a - 3. Is g(-3) a multiple of 20?
True
Let n = 77 - 75. Suppose n*o = -5*v + 145 + 173, 310 = 2*o + 3*v. Does 24 divide o?
False
Suppose -5*d + 95 + 15 = 0. Suppose -x = y - 19 - d, 3*x - 211 = -5*y. Is 22 a factor of y?
True
Let t(k) = k**3 - k**2 + 2*k - 1. Let i be t(1). Let r(n) = n**2 + 2*n - 46. Let g be r(-8). Is i + -5 + g - -29 a multiple of 13?
False
Suppose -s - 23 = -4*o, -7*o + 41 = -3*s - 2*o. Let i = 172 + s. Is i a multiple of 9?
False
Let s(f) = 21*f**2 - 37*f - 154. Is 66 a factor of s(-4)?
True
Let s(v) = 15*v + 1. Let l be (5 + 0/(-2))*-1. Let q = -4 - l. Is 6 a factor of s(q)?
False
Let k be (1 - (0 - -1))/(9 + -8). Let i = k - -62. Is 13 a factor of i?
False
Let q be 25/4 + 7/(-28). Suppose -25 = -q*z + z. Suppose 3*c + 325 = 5*x + 54, -z*x - 2*c = -286. Is x a multiple of 13?
False
Let z(q) = 4*q + 52. Does 4 divide z(-12)?
True
Suppose 0 = 3*w + w - g - 29, -3*g + 9 = 0. Suppose 0 = -5*v + 7 + w. Suppose v*k - 34 = 41. Is 11 a factor of k?
False
Let m be 90/4*16/(-10). Let y be 15/6 + 2/(-4). Is m/2*(y - 3) a multiple of 4?
False
Let t = 673 - 379. Does 17 divide t?
False
Let s be (3 + (-7)/2)*0. Suppose s = 2*k + k + 4*w + 20, 0 = k + 5*w + 25. Suppose -5*g + 255 = t, 4*g - 5*t - 175 = -k*t. Is g a multiple of 22?
False
Let u(v) = v**3 + 19*v**2 + 11*v + 72. Is u(-8) a multiple of 43?
True
Let j = 47 - 22. Does 17 divide 1*3 - (-109 - j)?
False
Let z(c) = 2*c**3 + 44*c**2 + 42*c - 58. Is 27 a factor of z(-20)?
True
Let v(u) = -u**2 - 13*u - 9. Let g be v(-12). Suppose g*w + 5 = -19. Is 2 a factor of ((-1)/2)/(2/w)?
True
Suppose 4*x - 20 = -z, 4*x - 2*z + 2 - 22 = 0. Suppose 0 = -4*u + x*u - 2. Suppose -14 = -3*m + u*m. Does 10 divide m?
False
Let z = 1758 + 434. Is z a multiple of 51?
False
Let f be 1/((-12)/8)*(-17 - 1). Suppose -1150 = 7*j - f*j. Is j a multiple of 50?
False
Suppose -2*d = 2*d. Let h(m) = 5*m - 17*m - m**2 + 11*m + 21. Is 21 a factor of h(d)?
True
Suppose 5*u - 6*t + 2*t = -6, -u + 4*t = 14. Suppose 0 = 5*k, -4*k + 15 = d + 2*d. Suppose -a + h = -u*h - 21, 51 = 3*a - d*h. Is a a multiple of 4?
True
Is 10 a factor of ((-6)/21)/(15/(-2415))?
False
Does 32 divide (8 + (-264)/9)*(-65 + -1)?
True
Let g = -127 - -39. Let a be g/(-9) + 10/45. Suppose 5*o = a*o - 300. Is 23 a factor of o?
False
Suppose -74459 = -19*r + 17919. Is 29 a factor of r?
False
Is 14 a factor of 681 + (-10)/((-10)/(-9))?
True
Suppose -425 = -11*z + 763. Is 54 a factor of z?
True
Let p = 4 + 0. Suppose -3*n = 5*x - 84, -3*n - 2*n - 45 = -p*x. Is 9 a factor of ((-100)/x)/(2/(-6))?
False
Suppose d + 11 = 4*f - 0, 0 = d - 2*f + 5. Suppose 3*w = 3*r, w + 5 = 4*r - d. Suppose k + k = 5*v - 92, -r*v - k = -35. Is v a multiple of 6?
True
Suppose -2*c - c = -3. Suppose 2*x = 0, -3*x = -5*h - 6*x + 15. Does 13 divide (c - (-105)/h) + 3?
True
Let r be (14/(5 - 12))/((-2)/4). Does 14 divide (-4)/r - (-293 + 2/(-2))?
False
Let v(o) = 4*o**2 - 4. Suppose -11 + 2 = -z - 3*t, 3*z = 3*t + 3. Let q be v(z). Suppose -u + q = -42. Is u a multiple of 12?
False
Let l(b) = -b**2 - b + 3. Let i be l(-3). Let j be 12 - i - (-1 - -4). Suppose 0 = 3*g - j, 2*r + g + 176 = 7*r. Is 18 a factor of r?
True
Suppose 2113*v + 287 = 2120*v. Does 3 divide v?
False
Let j = 150 - 62. Is 3*j/12 + 4 a multiple of 5?
False
Let g(t) = 5*t**2 - 7*t + 13. Does 11 divide g(7)?
True
Let o(v) = 3*v**3 - 13*v + 25. Is 17 a factor of o(6)?
True
Suppose -10*a = -6*a - 384. Is 16 a factor of a?
True
Let k(z) = -12*z**2 + 1. Let t(w) = 47*w**2 - w - 4. Let i(v) = -9*k(v) - 2*t(v). Suppose 3 = 4*f - 1. Is i(f) a multiple of 7?
False
Suppose 0 = n - 11 - 3. Suppose -x - n - 9 = 0. Let w = x - -81. Does 14 divide w?
False
Suppose -n + 134 = 2*w - 4*n, -4*w + n + 268 = 0. Let k(v) = -v**2 - 20*v - 88. Let r be k(-10). Suppose m = w - r. Is 14 a factor of m?
False
Suppose 3*v = 2*v + 3*f - 13, -5*v + 30 = 4*f. Let x(t) = 7*t**v - 7*t - 2*t**2 - 5*t**2 + 2*t**2 - 1. Is 20 a factor of x(-5)?
False
Let o(y) = y**3 - y**2 - y + 510. Is o(0) a multiple of 17?
True
Let g be (20 - 19)/((-2)/(-36)). Let l be g/(-15)*(-10)/4. Suppose 0 = 2*n - 6*n + 3*o + 176, -l*o - 135 = -3*n. Is 16 a factor of n?
False
Let z(p) = 5*p**2 - 10*p + 17. Let x be z(6). Let y be (-57)/6*12/(-2). Let d = x - y. Does 20 