Let z = -3 + i. Is 0 + -1 + 23 - z a multiple of 12?
True
Let n = 0 - -5. Let m = 7 - n. Suppose m = -3*i + 14. Is 3 a factor of i?
False
Let n(u) = -u**3 - 8*u**2 - 8*u + 5. Let y be n(-7). Let z be 30/(-9)*y/5. Let q(x) = x**2 + 8*x + 4. Does 2 divide q(z)?
True
Suppose -b + 5*o + 68 = 0, 15*o - 248 = -5*b + 17*o. Is 12 a factor of b?
True
Let j(i) = 13*i**2 + i - 1. Does 6 divide j(1)?
False
Let o(n) = -n**3 - 6*n**2 + n + 7. Let t be o(-6). Let d be 4/(-10)*40/t. Let u = d + 55. Is u a multiple of 17?
False
Let d(p) = 11*p**2 - 4*p - 5. Does 43 divide d(-4)?
False
Suppose 2*g - 3 - 53 = 0. Is g a multiple of 17?
False
Let l(p) = 2*p**3 + 2*p**2 + p - 1. Let j be l(3). Let d = j + -46. Is 27 a factor of d?
False
Let m(s) = -11*s**2 + 4*s + 3. Let n be m(-1). Is (-68)/n + 6/(-9) a multiple of 5?
True
Suppose -i = 2*d - 55, -i - d + 59 = -0*d. Is 7 a factor of i?
True
Is 13 a factor of (-257)/(-5) + 9/15?
True
Suppose -p + 2*p = 6. Is p/(-4)*(-28)/3 a multiple of 7?
True
Let m(a) = a**2 - 5*a - 2. Let i be m(6). Is 11 a factor of i/(-14) - (-191)/7?
False
Suppose -o + 3*o = 10. Suppose -2*z + 2*x + 34 = 0, o*z + x - 5*x - 90 = 0. Is z a multiple of 18?
False
Suppose 0 = j - 4*q - 205, 4*j - 2*q + 4*q - 730 = 0. Does 22 divide j?
False
Suppose -2*c + 3*c = -5*p - 4, 4*c + 16 = -2*p. Suppose l + 5*w + 1 = p, -3*l + 2*w + 3*w = -97. Let f = l - 16. Is f a multiple of 4?
True
Let f(b) = b**2 - 2. Does 14 divide f(4)?
True
Suppose -g + 4*g - 15 = 0. Let p be g/(-1) + (-4)/2. Let f = p + 24. Is 17 a factor of f?
True
Let p(n) = -4*n - 4. Is 11 a factor of p(-13)?
False
Let z = 78 + -14. Let k = -19 + z. Does 15 divide k?
True
Let l(c) = 11*c - 1. Let f be 5 - 1 - (-1 - -3). Let w be l(f). Let n = w - 14. Is 3 a factor of n?
False
Let r = -74 + 126. Is 13 a factor of r?
True
Let w = -1 + 5. Suppose -11 = -w*r + 37. Is r a multiple of 12?
True
Does 37 divide 9 + 258 + 1/1 - 2?
False
Let b be (-60)/(-35) - 2/(-7). Suppose 0*g - 26 = -b*g. Is 13 a factor of g?
True
Suppose 7 = 2*j + 5*w, 5 = 2*j - 2*w - 23. Let h = 9 + j. Does 10 divide h?
True
Let d be (-2)/6 - (-68)/(-12). Is (-2)/(-3) - 62/d a multiple of 11?
True
Suppose -5*k + 8 + 16 = -3*n, 2*k = 6. Does 3 divide -1 - -1 - (-6 - n)?
True
Suppose q - 404 = -q. Is q a multiple of 11?
False
Suppose -2*k = -4*k - 2*g + 396, 4*k - 810 = 2*g. Does 21 divide k?
False
Let m(p) = -4*p - 1. Let z(o) = -12*o - 3. Let n(y) = 11*m(y) - 4*z(y). Is 10 a factor of n(8)?
False
Let g = 153 - 88. Is 40 a factor of g?
False
Suppose 3*l = 8 + 10. Let a(x) = -x**3 + 7*x**2 + 5*x - 2. Is a(l) a multiple of 16?
True
Suppose 4*z = 5*z - 5. Suppose -3*p = -z - 100. Is p a multiple of 14?
False
Is ((-12)/8)/(22/(-20) - -1) a multiple of 6?
False
Let f be (0 - (-1)/1) + 3. Suppose f*o + 30 = 2*o. Is (84/10)/((-3)/o) a multiple of 21?
True
Let w(b) = 2*b - 12. Suppose 0 = -8*x + 5*x + 27. Is 6 a factor of w(x)?
True
Let d = -85 + 134. Suppose -r = 3, 3*q + d - 289 = 2*r. Does 12 divide q?
False
Let q(b) = b**3 - 5*b**2 - 3*b + 1. Let x be q(6). Let p(s) = 17*s**2 - s - 1. Let m be p(-1). Suppose -5*o = -4*a - m, 5*a = 3*o + 7*a - x. Does 3 divide o?
False
Let v(a) = -a + 2. Let d(u) = -u**2 - 8*u - 9. Let c be d(-7). Let o be v(c). Suppose 0 = -2*m + 4*p + 42, 15 = o*m + 3*p - 47. Is m a multiple of 17?
True
Suppose z = c + 3*z + 5, z - 5 = -2*c. Suppose 0 = 3*b - y - 25, -c*y + 15 = b - 4*y. Is 3 a factor of b?
False
Is 15 a factor of -4*18*(-3 - (-21)/12)?
True
Let s(k) = -k**2 + 3*k + 2. Let y(n) = n**3 - 11*n**2 - n + 13. Let z be y(11). Does 4 divide s(z)?
True
Let s(j) = -2*j + 4. Let b(m) = m - 4. Suppose -4 = 3*a + z, -4*z + 4 = 3*a - 5*z. Let y be b(a). Is s(y) a multiple of 6?
True
Let b(v) = -v**2 + 6*v - 1. Let f be b(5). Suppose q - f = -q. Suppose 0*u + 40 = q*u. Is 9 a factor of u?
False
Suppose -5*h + 8 = 4*d, 0 = -5*h + 4*d - 2 + 34. Suppose 90 = h*i - i. Is i a multiple of 15?
True
Suppose 3*y - y - 8 = -4*s, -4*s + 8 = 0. Let n(m) = 2 + 2*m - 2*m**2 + 3*m**2 + y. Does 10 divide n(-4)?
True
Let s be (-1)/(-6) + 67/(-6). Let k = s + 16. Is 15 a factor of 82/k + (-2)/5?
False
Suppose 24 = 4*x + 104. Let o = -2 - x. Suppose 0 = -3*u - 0*u + o. Is u a multiple of 6?
True
Let l(q) = -13*q**3 + 4*q**2 + 11. Let n(g) = 7*g**3 - 2*g**2 - 6. Let r(s) = -6*l(s) - 11*n(s). Let y be r(4). Let x = y + -19. Does 13 divide x?
True
Let k be 0 + 1/(2/212). Suppose 5*s + 0 = -10, -4*n + s = -k. Does 14 divide n?
False
Let b(g) = g**2 - 5*g + 3. Let a be b(9). Let y = a - 21. Does 7 divide y?
False
Suppose 0*y + 4*y - 12 = 0, -2*y = -m - 4. Suppose -3*k = -m*k - 2. Suppose -k*x + x = -7. Is 3 a factor of x?
False
Is (815/6 - 1) + 14/84 a multiple of 9?
True
Is (6 + 102/(-15))*(-59 - 1) a multiple of 16?
True
Let t = 3 - 3. Let k = 1 - t. Is k/3 - (-38)/3 a multiple of 13?
True
Let d(j) = j**2 - 4*j - 8. Let k be d(6). Let z be k/(-6)*15/(-2). Does 4 divide (0 + 16/10)*z?
True
Suppose -2*f - 570 = -5*w, -w + 5*f = 8*f - 114. Is w a multiple of 38?
True
Let c(q) = 2*q + 5. Let b = 9 - 14. Let r be c(b). Does 5 divide r/((-10)/8) - -1?
True
Suppose 5*l - 13 = 7. Suppose -u = -l*u - 21. Let x = 16 + u. Is 4 a factor of x?
False
Let z(y) = 5*y**3 + y - 1. Let w be z(1). Suppose -5*g - k + 144 = k, 5*g + w*k = 150. Is g a multiple of 22?
False
Suppose -i - 5 = -r - 6*i, 5*i + 45 = 4*r. Let v be 2/(-3) + 188/12. Let u = v - r. Does 5 divide u?
True
Is 27 a factor of (-2)/(-3) - 1505/(-15)?
False
Let w be 0 - 3 - (1 + -1). Is 12 a factor of 1 + (43 - 9/w)?
False
Let p be (-18)/9*6/4. Let j(y) = 7*y**2 - y - 6. Does 20 divide j(p)?
True
Let l(w) = -w**2 + 9*w + 8. Let x = 15 + -8. Is l(x) a multiple of 11?
True
Let g = -9 + 15. Suppose 2*d - 2*b = -2, -g*d + d = 2*b - 16. Suppose d*p - 28 = -4*f, 72 = 4*p - f - 20. Is p a multiple of 19?
False
Suppose 2*n - 5 = n. Suppose -5*w + 10*w - 25 = 0. Suppose 5*c + 5*g = w, 3*c = -c + n*g + 13. Is 2 a factor of c?
True
Suppose 53 = 3*l - 2*l. Is l a multiple of 23?
False
Let b(n) = 15*n + 1. Let y be b(-1). Let g = y + 38. Suppose -g = -j + 11. Is 18 a factor of j?
False
Let i = 37 + 2. Is 15 a factor of i?
False
Does 3 divide 3*(0 - (-1 + -2))?
True
Let v = 77 - -309. Does 15 divide v?
False
Let l = 154 - -44. Is 18 a factor of l?
True
Does 11 divide -1 - (3 + -6) - (-45 - -3)?
True
Suppose 5*p + 20 = 0, h - 63 = -2*h - 3*p. Let y be 2/(-5) + (-90)/h. Let n = y - -17. Is 5 a factor of n?
False
Suppose -3*i = -i - 2*g - 24, -g - 76 = -5*i. Let d = -5 + i. Is 11 a factor of d?
True
Suppose -7*h + 306 = -h. Does 12 divide h?
False
Let q be (-2)/(-13) + (-532)/(-91). Is 29 a factor of (-12)/(-18) + 200/q?
False
Suppose 5*h - 232 = 203. Suppose 2*s - 3*m = h, -2*s = -4*m - 0*m - 92. Is 12 a factor of s?
True
Let s(u) = u**2 + 3*u - 5. Let l be s(-7). Let o = 47 - l. Is o a multiple of 5?
False
Is (-50)/(-3) + (-14)/21 a multiple of 16?
True
Suppose 0 = o + 1 - 0. Let l be -46 - 1*(o + -2). Let u = 79 + l. Is 18 a factor of u?
True
Let y(r) = 8*r**2 + 1. Let s be y(-1). Suppose u + s = 30. Is u a multiple of 7?
True
Let x(l) = -211*l**3 - 2*l**2 - l. Is 42 a factor of x(-1)?
True
Suppose -3*o - 5*u = 46 - 10, 5*u - 6 = 3*o. Let k(i) = 5*i**3 + 7*i**2 + 2*i + 6. Let f(w) = -w**3 - w - 1. Let g(t) = 4*f(t) + k(t). Is g(o) a multiple of 8?
True
Let w be 2 + 0 - 0/(-5). Suppose -p = 6 + w. Let f(o) = -5*o - 8. Is 14 a factor of f(p)?
False
Let g be 4*(-2 - (-22)/8). Let p be 1/g - 598/(-6). Suppose 0 = -4*x + 8 + p. Is x a multiple of 14?
False
Suppose m + 1 + 0 = 0, 2*s - 21 = -3*m. Let g = -8 + s. Is g a multiple of 4?
True
Suppose -4*r + 154 = 2*m + 3*m, 0 = 3*r - m - 106. Is 16 a factor of r?
False
Let j = 0 - -1. Suppose -7*r = -3*r + 5*u + 5, 1 = 4*r - u. Does 6 divide j*-2*(-5 - r)?
False
Suppose 0*z + 30 = 2*z. Let k = z + 5. Is k a multiple of 8?
False
Let w = 2 - 1. Let q be 3/6*(w + 1). Let l(k) = 6*k**3 - k**2 + 1. Is 4 a factor of l(q)?
False
Suppose 146 = 4*q - 186. Let t = 1 + -1. Suppose t = -4*d - 15 + q. Is d a multiple of 10?
False
Let p be (3 - 4*16) + 3. Let k = -28 - p. Is 10 a factor of k?
True
Let c = 5 - 2. Suppose -c*q + 5*w = -20, 2*q + 0*q - 5*w - 15 = 0. Suppose 6 = -o - 2*o + q*s, s + 9 = 4*o. Does 2 divide o?
False
Suppose -2*f = 42 - 6. Let j = 34 + f. Is 8 a facto