 a = -33 + 55. Is a + (3/(-3) - 1) a multiple of 11?
False
Suppose -4*s = 2*a - 0*s - 248, -a + 2*s = -116. Is a a multiple of 24?
True
Suppose 2*b - 47 = 233. Suppose -80 = -2*i - 3*m, 5*i - 3*m - 81 = b. Does 11 divide i?
False
Suppose -t = -0*t - 4. Let h = -3 - -1. Is 6 a factor of t/h*(-3 + 0)?
True
Suppose 5*x = 4*g - 38, -2*g + 0*g - 3*x + 30 = 0. Is 12 a factor of g?
True
Suppose 0 = -3*y, -4*i = y - 2*y - 188. Is 16 a factor of i?
False
Let h(l) = l**2 - l - 1. Let d be h(-1). Is 6 a factor of ((-4)/(-10))/(d/25)?
False
Suppose -5 = 2*g + 15. Does 5 divide g*(36/8)/(-3)?
True
Suppose 87 + 79 = -2*p. Let g = p - -139. Does 34 divide g?
False
Suppose -5*o = 36 - 11, -5*l + 2*o = 10. Does 6 divide (6 + -4)/(l/(-34))?
False
Suppose -2*t = -d + 6 + 5, -2*d + 58 = 5*t. Does 6 divide d?
False
Let h be (-3)/3 - 4*-1. Suppose h*z + z = 0. Suppose 2*a + a = 4*x + 172, -2*x - 8 = z. Does 26 divide a?
True
Let z be -1 + 1*60/(-1). Let y = z - -107. Suppose 2*i = 3*m - 10 + y, i - 18 = -2*m. Does 18 divide i?
True
Let u be (-2)/(-7) + 298/(-14). Let g = 31 + u. Let q = g - 7. Is 3 a factor of q?
True
Let j = 157 + -112. Is j a multiple of 15?
True
Suppose -5*t = -2*v + 17, t + 22 = -3*v - t. Let a(l) = -l**3 - 2*l**2 + 5*l - 3. Is 5 a factor of a(v)?
False
Let u(j) = -11*j - 8. Let o(d) = 22*d + 15. Let t(k) = 4*o(k) + 7*u(k). Let v = -18 + 21. Is t(v) a multiple of 19?
False
Let y(o) = o**2 - 2*o + 5. Let p be y(5). Suppose -4*c = c - p. Suppose 3*r = c + 2. Is r a multiple of 2?
True
Let m = -22 - -10. Let q be (-8)/(-6)*330/(-11). Let y = m - q. Is 9 a factor of y?
False
Let h(b) = -b**2 - 12*b + 8. Let u be h(-6). Suppose u = d - 9. Does 16 divide d?
False
Let a = -13 - -15. Suppose 0 = 2*q + r - 96, -2*r - a*r = 3*q - 154. Is q a multiple of 23?
True
Suppose -2*b = 2*b + 4. Let s be (-105)/(-12)*(-4)/b. Let j = s - 11. Does 9 divide j?
False
Let a(h) = 71*h**3 + h**2 + 5*h + 4. Let l(q) = 70*q**3 + q**2 + 4*q + 3. Let g(v) = -4*a(v) + 5*l(v). Is 14 a factor of g(1)?
False
Let t = 163 + -108. Let d be ((-20)/2)/((-2)/1). Suppose 5*c = s - 3 + 33, 0 = d*c + 4*s - t. Is 7 a factor of c?
True
Let l = -1 + 4. Suppose -6 - l = -3*k. Is k a multiple of 2?
False
Suppose 68 = 5*y + 3*g, -y + 0*y + 3*g = -28. Suppose -5*a + 14 + y = 0. Is a a multiple of 6?
True
Suppose -s + 5*s = 360. Is 18 a factor of s?
True
Let m(g) = -2*g - 3. Let p be m(3). Does 5 divide 34/6 - (-6)/p?
True
Suppose -5*g - 5*b = -g - 19, 2*b - 6 = 0. Does 7 divide 58/(g - -1) - 2?
False
Let h(k) = -k**3 - 10*k**2 - 11*k + 8. Let g be h(-9). Let t = 66 - g. Is t a multiple of 17?
False
Suppose -2*z - 32 = 72. Let d = z - -80. Suppose 0*l + d = 2*l. Is 14 a factor of l?
True
Does 14 divide (38/(-3))/(2 + (-43)/21)?
True
Let g = -153 + 158. Does 2 divide g?
False
Suppose 4*x + 107 = 395. Does 24 divide x?
True
Does 5 divide -163*(3 + -4)*1?
False
Let g = -57 - -117. Is g a multiple of 20?
True
Suppose 2*m = -0*m + 4. Suppose 2*v + 3*c - 27 = 0, -m*v = -c - 0*c - 15. Let f(r) = 3*r + 5. Is f(v) a multiple of 14?
False
Let x = -85 + 245. Suppose 0 = j + 4, -3*f - x = -7*f + j. Does 15 divide f?
False
Let a(p) = -p**2 - 10*p + 4. Let r be a(-9). Let f = 28 - r. Is f a multiple of 4?
False
Let x(w) = 2*w + 3. Let f be x(5). Suppose -4*q + 213 = -z, -q - 4*z - f = -45. Is 13 a factor of q?
True
Let k(s) = 3*s + 12. Suppose 0 = -2*u + 34 - 16. Is 13 a factor of k(u)?
True
Let d be 3 - (1/(-1))/(-1). Let k = d - -1. Suppose 3*q = 6*q + 9, 3*w + k*q - 21 = 0. Is 10 a factor of w?
True
Suppose -2 - 4 = 3*n, -127 = -3*u + 5*n. Suppose 2*b - 33 = u. Does 16 divide b?
False
Let i(d) = 10*d**2 - d - 1. Let r be i(3). Suppose 4*a - 5*b = 36, 5*b = a - 2*a - 16. Suppose -2*n - r = -2*k + 3*n, -116 = -a*k - 4*n. Is k a multiple of 12?
False
Let f(k) = 3*k**2 + 9*k + 4. Is 13 a factor of f(-7)?
False
Let t = 3 - -3. Is t a multiple of 6?
True
Let f be (-2)/3 - (-8)/12. Suppose f = -5*n + 2 + 33. Does 2 divide n + -5 - (0 + -1)?
False
Let v(s) = s**2 + 3*s - 4. Let x be v(6). Suppose 4*a = x + 38. Is 9 a factor of a?
False
Let o(f) = -f - 1 + 0*f - 1. Let y be o(-6). Suppose -5*d - 163 = -y*r, 0 = -3*r + 2*d - 24 + 155. Is 12 a factor of r?
False
Suppose 0 = -8*m + 9*m - 67. Suppose 0 = -i, -5*i = 4*r - m - 29. Is (r + 0)*2/4 a multiple of 7?
False
Let a(g) = -g**3 + 6*g**2 - g - 2. Let u(h) = -h - 11. Let i be u(-14). Is a(i) a multiple of 11?
True
Suppose -2*z - 2*d = -20, -3 = d - 1. Does 4 divide z?
True
Suppose 2*n + 3*g - 94 = -2*g, -3*g - 94 = -2*n. Does 11 divide n?
False
Suppose -7*o + 100 = -3*o. Suppose 13*y + 17 = 43. Suppose m - 2*z = 22, -m - z + o = -y*z. Is 14 a factor of m?
True
Let g(f) = 2*f + 1. Let u be g(2). Suppose -3*b = -u*b - 20. Let i = 20 + b. Is 10 a factor of i?
True
Let l = -128 + 182. Is l a multiple of 9?
True
Suppose 2*m - 180 = -4*p, -186 = -2*p - 2*p - 5*m. Does 11 divide p?
True
Let l(i) = i**3 - 5*i + 4. Let z be l(4). Suppose -17*t = -14*t - z. Does 8 divide t?
True
Suppose -15*b = -272 - 178. Does 5 divide b?
True
Let o = -132 - -74. Does 17 divide (-6)/(-2)*o/(-6)?
False
Let n = -44 - -119. Suppose -4 = k - 5, 5*d = -5*k + n. Is 13 a factor of d?
False
Let o(x) = x**3 + 9*x**2 - 6*x + 8. Is o(-7) a multiple of 21?
False
Suppose 0 = -2*z + z + 15. Is 12 a factor of z?
False
Suppose -4*m = -m. Suppose -a + 1 + 7 = m. Is 8 a factor of a?
True
Let q(v) = 9*v**2 - 6*v. Let s be q(4). Suppose 0*z + 3*u = -z + 118, z + u = s. Let t = z - 76. Does 19 divide t?
False
Let m(k) = -12*k + 6. Let o be m(-9). Suppose -2*v - 10 + o = 0. Does 13 divide v?
True
Let o(v) = -v**2 - 6*v + 5. Let w be o(-6). Suppose 3*s - 52 = 5*g, 4*s - 2*s + 7 = -w*g. Does 4 divide s?
False
Suppose 2*t - 5 = 19. Suppose 3*x = 7*x + t. Is (x - 2/(-1))*-24 a multiple of 12?
True
Suppose 0 = -3*p + l + 10, -2*p - 2*l = -l. Suppose -2*u + s = -s + 20, -p*u = s + 8. Is 2 + 2/((-4)/u) a multiple of 5?
True
Suppose 7*m - 2*m - 120 = 0. Does 5 divide m?
False
Let w = 16 + 12. Is 14 a factor of w?
True
Let v(d) = 2*d**3 - 2*d**2 + 2 - d**3 - 20*d + 18*d. Suppose -5 = -j - 2. Is v(j) a multiple of 5?
True
Let n = 126 + -26. Let s = 169 - n. Is 23 a factor of s?
True
Let j(d) = d**3 - 2*d**2 - 8*d + 10. Let y be j(4). Is (-15)/y*(-4)/3 even?
True
Does 7 divide 168/(-9)*9/(-6)?
True
Suppose 10*b - 108 = 6*b. Is 9 a factor of b?
True
Suppose 0 = -3*t - 15, -4*t + 33 - 185 = -3*r. Is r a multiple of 44?
True
Suppose 6*b - b + 55 = 0. Let i = b + 18. Does 3 divide i?
False
Let x = -31 + 79. Is 12 a factor of x?
True
Suppose -2*z - 5 - 5 = 0. Let f(p) = -p + 2. Let b(x) = -4*x + 9. Let g(n) = -2*b(n) + 9*f(n). Is g(z) a multiple of 3?
False
Suppose -2*w = -7*w + 180. Is 9 a factor of w?
True
Suppose -2*c + 0*c = -180. Let q = -61 + c. Let y = q - -5. Is y a multiple of 17?
True
Let f = 312 + -206. Is 4 a factor of f?
False
Suppose -3*m + b - 5*b + 16 = 0, 4*b - 16 = 0. Suppose -2*z + 12 = -4*g, 0*g + g - 1 = m. Is 7 a factor of z?
False
Let l(n) = n + 3. Let m(f) = -2*f - 4. Let b(x) = 5*l(x) + 4*m(x). Let h be b(5). Is 6 a factor of h/6*36/(-16)?
True
Let h = 0 - -5. Suppose 3*y - 2*s = 6 + 36, h*y - 45 = -5*s. Is y a multiple of 6?
True
Suppose 3*i - 209 = 4*p, -p + 143 = -0*i + 2*i. Is 32 a factor of i?
False
Let q(m) = m**2 + 16*m - 2. Is 15 a factor of q(-17)?
True
Suppose -4*u - 3*s = -6*s - 33, 14 = u + 5*s. Let t = -31 - -22. Is 15 a factor of 353/u - (-2)/t?
False
Suppose 3*g = 226 + 2. Does 4 divide g?
True
Is 4 a factor of 78/(-4)*(-200)/60?
False
Suppose -6*n + 2*n + 4*w + 268 = 0, -2*w = -4*n + 276. Does 13 divide n?
False
Let a = 3 - 4. Let z be a/(-3) + 84/18. Suppose w - z = -1. Is w even?
True
Suppose 5*f + 3*g - 23 = -0*f, f = -4*g + 8. Suppose 5*n - 15 = -2*o + 6, f*n - 5*o - 30 = 0. Is n a multiple of 2?
False
Suppose -33 = 3*x - b + 4*b, -4*x - 48 = 5*b. Let z(w) = -w**3 - 5*w**2 + 6*w - 9. Is 18 a factor of z(x)?
False
Suppose 78 - 14 = 4*z. Suppose 0*j - z = 4*j. Let y(s) = s**2 - s + 3. Does 9 divide y(j)?
False
Let h(x) = x**2 - 2*x - 3. Is 32 a factor of h(-5)?
True
Suppose 0 = -4*d - 7 - 13, 2*d - 74 = 4*o. Let v = -14 - o. Suppose 0 = v*m - 2*m - 75. Is 15 a factor of m?
True
Let s(y) = -57*y - 2. Is s(-1) a multiple of 16?
False
Suppose s = 2 + 2. Is s a multiple of 3?
False
Sup