. Does 9 divide q?
False
Is 31 a factor of ((-10)/8)/(7/(-644))?
False
Suppose 0 = -5*u + 8*u - 48. Is u a multiple of 7?
False
Let v = 21 + 6. Is v a multiple of 3?
True
Let k be ((-25)/(-20))/(3/12). Suppose k = 2*w - 13. Is 3 a factor of w?
True
Let t(a) = -30*a - 2. Suppose 5*s - 2*s - 3*j = -21, 0 = -3*j + 15. Is t(s) a multiple of 29?
True
Let d = 262 - 142. Is d a multiple of 12?
True
Let z(l) = -l**2 - l - 5. Let g(n) = -4*n**2 - 3*n - 14. Let o(t) = -4*g(t) + 11*z(t). Is 11 a factor of o(2)?
False
Let q(i) = -i**3 - 4*i**2 + 5*i + 2. Let v be q(-5). Suppose -305 = -v*u - y - 0*y, -u = -3*y - 156. Is 7 a factor of (1/3)/(3/u)?
False
Suppose 99 = 3*t - 3*z, 117 = 3*t + 2*z + 13. Is 34 a factor of t?
True
Let x be (0 - 3 - -2) + 3. Suppose -4*p - 5*k + 174 = 0, 4*k + 197 = -x*p + 7*p. Does 18 divide p?
False
Suppose -2*b = 5*l - 14, 1 = b + l - 3. Suppose b*p + 0*p - 4 = 0. Suppose -d = -2*h - 2, 2*d + p*h - 16 = -0*d. Is d a multiple of 3?
True
Let z = -57 + 120. Is z a multiple of 8?
False
Let g = 168 - 146. Does 8 divide g?
False
Let a = 92 + -11. Is 9 a factor of a?
True
Let n be (-2)/(-3)*(-4 - -1). Let m = n + 2. Suppose 14 = 2*i + 4, m = 3*b - 4*i - 22. Is b a multiple of 7?
True
Suppose 0 = 3*t - 11*t + 48. Is t a multiple of 2?
True
Suppose -r + 295 = 4*j, -60 = -j - 0*r - 3*r. Does 21 divide j?
False
Let a(w) = 13*w + 3. Let n be a(4). Suppose -39 = -5*t - 5*b + 26, 4*t + 5*b - n = 0. Does 4 divide t?
False
Let l be 1*(-9)/6*2. Let o be (-2)/6 - 7/l. Does 14 divide -1 - (o*-1 - 27)?
True
Let t = 18 - 2. Is t a multiple of 16?
True
Let o(n) = 2*n**2 + 28*n - 72. Does 28 divide o(-22)?
True
Let m be (2/3)/(12/882). Let r = m - 26. Is 23 a factor of r?
True
Let l = -6 - -4. Is 2 a factor of l/(1/(3/(-2)))?
False
Let a(m) = -m**3 + 5*m**2 + 10*m + 6. Let y be a(8). Let j = -72 - y. Does 11 divide j?
False
Let i(q) = -51*q + 8. Does 21 divide i(-2)?
False
Does 6 divide ((-90)/7)/(3/(-14))?
True
Suppose 0 = m + 2*y + 2, -m + 0*m + 3*y = -3. Suppose q + 2*q - 54 = m. Does 6 divide q?
True
Let y be 2 + 4/(-2) + 2. Suppose y*u + 0*u = 130. Suppose 4*b - z - 36 = 46, z = -3*b + u. Is 11 a factor of b?
False
Let s(n) = -n**3 + n**2 + 3*n + 1. Let w be s(-2). Let p = 11 - w. Is p a multiple of 2?
True
Let z = 3 - -1. Suppose -2*d - 5*c = d - 25, -2*c + z = 0. Is d a multiple of 3?
False
Let f(c) = c**2 + 3*c - 3. Is 8 a factor of f(-6)?
False
Suppose -1164 = -4*b - 3*d, 3*b + 0*d + 2*d - 874 = 0. Is 14 a factor of b?
True
Let h(m) = -7 + 6 + 2*m**2 - m + 3 + 0*m**2. Let n be h(3). Let v = 34 - n. Is 17 a factor of v?
True
Let k be 126/(-4) - 1/2. Let q = -14 - k. Does 9 divide q?
True
Let y(i) = -i**3 - 1. Let f(w) = -6*w**3 - 4*w**2 - 2*w - 3. Let k(u) = f(u) - 3*y(u). Let n be k(-2). Let m = 22 - n. Is m a multiple of 6?
False
Let n(q) = q**2 + 2. Let x be n(-6). Let f = x + -12. Is f a multiple of 13?
True
Let x(r) = r**3 + 3*r**2 - 3*r + 3. Suppose -48 = y + 2*y. Let d be -4*6*(-2)/y. Is x(d) a multiple of 6?
True
Suppose -4*z = -m - 14, 0 = -5*m - 0*m - 3*z - 24. Let h be 20/15*m/(-4). Suppose 14 = f - h. Is f a multiple of 6?
False
Let x(g) = -g**2 + 11*g - 2 - 1 - g + 4. Does 10 divide x(9)?
True
Let g(c) = 3*c + 2*c - 7 - 7*c - 3*c. Does 3 divide g(-3)?
False
Suppose q + 126 = 4*n - 0*q, 3*n - 3*q - 90 = 0. Does 24 divide n?
False
Suppose -29*m + 560 = -24*m. Let r(o) = -o**3 - o**2 + 4*o - 1. Let q be r(-3). Suppose f + m = q*f. Does 15 divide f?
False
Let o(g) = 79*g**2 - 2*g - 1. Let r be o(-1). Suppose 2*w - 4*w + r = 0. Is w a multiple of 9?
False
Is 25 a factor of 28 - ((-4 - -3) + 4)?
True
Let x be -1*-8*(-6)/(-4). Suppose -4*r + 30 = -3*n, 3*r - x - 8 = n. Is 6 a factor of r?
True
Let o = 56 - 22. Is o a multiple of 34?
True
Let l be (-1)/(-2) + (-630)/(-20). Suppose 0 = n + 4*b + 9, -l = -5*n - b - 1. Is n even?
False
Let u(z) = -13*z**3 + z**2 + 3*z + 1. Is u(-1) a multiple of 3?
True
Let l(g) = g**2 - 4. Suppose -3 = 3*h - 2*x, h = -3*h + 2*x - 6. Let s be l(h). Suppose -8 = -s*k + 72. Does 8 divide k?
True
Suppose 5*l = -3*r + 277, -2*l + r = 3*r - 110. Does 14 divide l?
True
Suppose -2*q = -5*q. Suppose -5*s + 93 + 292 = q. Suppose -3*i = i + a - s, 0 = 5*a - 5. Does 19 divide i?
True
Let q = 38 + 61. Does 14 divide q?
False
Does 32 divide 1 + (2/(-2) - -84)?
False
Suppose -5*n - 4*o - 2 = 0, -3*o - o - 4 = 4*n. Suppose -3*a = n*a + 2*c - 33, a - 5*c + 15 = 0. Suppose a*g = -3*x + 65, -5*g + 90 = -x - x. Does 8 divide g?
True
Does 16 divide (-146)/(-3) + (-8)/12?
True
Let x = 33 + 30. Is 16 a factor of x?
False
Let j(v) = -v**3 + 8*v**2 + v - 6. Let f be j(8). Suppose -f*n + 3*n - 3 = 0. Suppose 0 = 3*x - p - 79, 5*x + p - 126 = -n*p. Is x a multiple of 13?
True
Is 54*(-6)/45*-5 a multiple of 12?
True
Let y = 5 - 3. Suppose d = -y*d + 51. Is d a multiple of 17?
True
Let i(t) = -t**3 - 3*t**2 + 4*t + 3. Let v be i(-4). Suppose -f = -2*j + 9, -j - f + v*f = -9. Does 3 divide j?
True
Suppose -3*u - 2 = -4*u, -3*u - 9 = -3*i. Suppose -i*v + 5*d - 5 = 0, 3*v + v = -d - 4. Does 10 divide (-2)/v + (12 - -1)?
False
Suppose 5*c + 4*x + 8 + 14 = 0, 3*x - 1 = 5*c. Does 22 divide ((-14)/(-35))/(c/(-340))?
False
Suppose -5*c + 28 = -2. Is 14 a factor of ((-68)/c)/(4/(-12))?
False
Suppose 0 = -3*y + 6*y - 24. Let v = y - 5. Suppose -p - v*p = -88. Does 9 divide p?
False
Let j be -1 - (-1 - (-2 - -2)). Let b be j*(-1)/3*1. Suppose 6 = -b*t + t. Is t a multiple of 4?
False
Suppose -20 = -5*j - 0*j. Suppose j*a + a = 3*u - 10, 0 = -2*u + 5*a. Is 9 a factor of u?
False
Suppose 2*t - p = 7 + 8, 5*t - 45 = -5*p. Let w(q) = 2*q**2 - 12*q + 10. Does 15 divide w(t)?
False
Let w = -44 + 52. Does 6 divide w?
False
Suppose 1215 = 4*h - 297. Is h a multiple of 42?
True
Let i be -2 + 5/((-10)/(-12)). Suppose -i*j + 3*j - 10 = 0. Does 7 divide (-2)/10 - 72/j?
True
Let w(b) = b**3 + b**2 - 3*b + 1. Is w(2) a multiple of 3?
False
Suppose 3*l - 102 = 4*z - z, -56 = 2*z + 2*l. Let h = -47 + -1. Let p = z - h. Is 11 a factor of p?
False
Let z(h) = h**2 + 2*h - 1. Let m be z(6). Let f be -1*4*66/(-8). Suppose 0 = 5*w - f - m. Is w a multiple of 7?
False
Suppose -14*n - 69 = -1077. Is 12 a factor of n?
True
Is 11 a factor of 20/35 - 227/(-7)?
True
Suppose 338 - 34 = 4*c. Suppose -4*m + c = 4*z, 3*m - 4*z + 25 = 4*m. Is 6 a factor of m?
False
Suppose -3*g + 29 = -q, 0*g = 4*q + g + 90. Let v = q - -41. Is v a multiple of 6?
True
Let y(b) = b**2 + 13*b + 21. Is 9 a factor of y(-12)?
True
Let w(k) = k + 8. Let m be w(-8). Suppose 3*d - 57 + 21 = m. Is d a multiple of 6?
True
Let v be 4/14 + ((-309)/21)/(-1). Suppose 2*n + p = 6*p + 70, p = 0. Is 12 a factor of 87/7 - v/n?
True
Suppose 10*j - 841 = -71. Does 4 divide j?
False
Suppose d - 18 = -3*a, -d - 90 = -6*d + 5*a. Does 6 divide d?
True
Let p be (4 - (3 + 0))*-11. Let y = 20 + p. Is 6 a factor of y?
False
Let l be (0 + -3)/3 + 3. Suppose -l*r = -j - 3, -2*j = 3*r - 5*r - 2. Does 2 divide r?
True
Let v(r) = 5*r - 2. Let s(g) = g - 1. Let a(m) = 6*s(m) - v(m). Let p be a(0). Is 6 a factor of 66/4*p/(-3)?
False
Does 30 divide -1*(1 - 2) + 119?
True
Suppose 140 - 359 = -3*s. Is s a multiple of 9?
False
Let t(p) = 3*p - 3. Does 2 divide t(3)?
True
Let p(h) = 5*h**2 - 2*h. Let s be p(-6). Suppose -3*z + 0*z = -s. Suppose 0 = -3*c + 2*a + z, 5*c + 5*a + 61 = 8*c. Is 11 a factor of c?
True
Let h be (1*-2)/(2 - 4). Is 7 a factor of ((-108)/8)/(h/(-2))?
False
Suppose -13*t = -10*t. Suppose -4*g + 0*j + 18 = -2*j, t = -3*j + 3. Is g even?
False
Let g be ((-8)/3)/(2/6). Suppose q - 5 = -6. Is 9 a factor of q - (g + 0 + -2)?
True
Is ((-21)/2)/(18/(-24)) a multiple of 3?
False
Let t(h) = -8*h - 8. Suppose -u - 1 = 5. Is 20 a factor of t(u)?
True
Let y be 2/(-1) + 3 + 1. Suppose -2 = -2*w + y. Suppose 3*b + 4*x - 38 = -3, w*b - 4*x = 30. Is b a multiple of 13?
True
Let h(a) = -a**2 - 18*a + 14. Is h(-8) a multiple of 10?
False
Suppose 4*g = -g - j - 108, 3*g - 5*j = -76. Does 20 divide (-920)/g - 12/(-66)?
False
Let h(w) = -1 - 5*w**3 - 5*w**2 + 3*w**2 + 4*w**2. Let o be h(-1). Is 4 a factor of ((-3)/o)/((-1)/12)?
False
Suppose 14 = 3*c - h - 4, -c - 2*h = -13. Is 5 a factor of c*2 - 6/(-6)?
True
Suppose -2*m + 248 + 42 = 0. Does 33 divide m?
False
Let s(w) = -7*w + 2*w**2 + 17 - w**2 + 0*w + w. Is 15 a factor of