. Is 14 a factor of z?
False
Suppose -4*t + 10 = -2*c, -3*c + 22 = 3*t + 1. Let m be -1*((0 - 1) + t). Let n = 16 - m. Does 6 divide n?
False
Let k(j) = -2*j**3 - 8*j**2 - 7*j + 16. Is k(-6) a multiple of 13?
False
Let z = 272 - 122. Does 30 divide z?
True
Let l(v) = 15*v + 7. Does 8 divide l(7)?
True
Suppose -4*s + 194 = -14. Does 13 divide s?
True
Suppose 0 = -7*z + 5*z + 118. Is 9 a factor of z?
False
Suppose -3*d - s = 1, -5*d + 2*s + 2 = -0. Suppose 0 = -3*a - 1 + 16, d = 3*w + a - 224. Suppose -5*h - 49 - 28 = -2*k, h - w = -3*k. Is 13 a factor of k?
True
Suppose -4*i = -4 - 12. Suppose 75 = -c + i*c. Is 25 a factor of c?
True
Let u = 8 + -2. Does 6 divide u?
True
Let j = -20 - -35. Does 5 divide j?
True
Let i(k) = k**3 - 9*k**2 - 8*k + 1. Suppose g = y - 9, 5*y - 3*g + 4 - 51 = 0. Does 7 divide i(y)?
True
Is (-880)/(-30) - 2/(-3) a multiple of 6?
True
Suppose 3*l + 16 = 7*l. Suppose -l*w + a + 4*a = -248, 5*w - 351 = -4*a. Is w a multiple of 13?
False
Suppose -5*n + 14 = -16. Let x(w) = -w**2 + 8*w + 1. Does 4 divide x(n)?
False
Let x(c) = c - 6. Let h(g) = 3*g - 13. Let k(j) = -4*h(j) + 9*x(j). Is k(-6) a multiple of 11?
False
Let j be (1 - -2) + -3 + 5. Suppose -4*c = j - 77. Does 8 divide c?
False
Let w = 8 + 12. Is w a multiple of 11?
False
Let v = -1 - -2. Let c = v - -1. Suppose s = -4*s + 4*g + 2, -c*s = -4*g + 4. Is s a multiple of 2?
True
Suppose -g + 16 = 1. Suppose -l = -q - 0*q - 1, -5*l - 5*q = g. Does 8 divide 9/(-27)*l*24?
True
Suppose -y = -1 + 3. Let i = y - -17. Suppose -h - 4*h + i = 0. Is h a multiple of 3?
True
Suppose 4*h + h + 5*y - 30 = 0, -4*h - 2*y = -16. Let k = -24 - -19. Let z = h - k. Is 7 a factor of z?
True
Suppose 4*k - 28 = 84. Is k a multiple of 7?
True
Suppose -2*x = c + 10, -4*x - 40 = 5*c + x. Is 6 a factor of 21 + (-6 + 3 - c)?
True
Let r be 16/10 + (-4)/(-10). Suppose 0 = r*s + s - 9. Suppose -t = -2*h + 39, 60 = -0*h + s*h - 2*t. Is 9 a factor of h?
True
Let h(f) = -7*f + 7. Let l be h(-5). Suppose 106 = 3*q + 4*i, -2*q + 112 = 2*i + l. Let m = q + -20. Is 6 a factor of m?
False
Let p(g) = g**3 + 14*g**2 + 16*g - 17. Is p(-12) a multiple of 23?
False
Let n = -23 - -51. Suppose -5*f = -83 + n. Is f a multiple of 8?
False
Suppose 3*z + 6 = 5*z. Suppose 13 + 299 = z*c. Suppose 2*x + 11 - 3 = 0, -c = -4*p - 2*x. Does 13 divide p?
False
Suppose -3*t = -2*z + 313, 3*z - 6*z = 3*t - 492. Does 12 divide z?
False
Let y(p) = -p**3 + 5*p**2 - p + 2. Let d be y(5). Let a = d + 6. Suppose a*g - 28 - 13 = 5*i, -2*g = 5*i + 6. Does 7 divide g?
True
Suppose s + 3*s - 124 = -4*x, -4*s + 89 = -3*x. Suppose 4*f - s - 118 = 0. Is 17 a factor of f?
False
Suppose -4*c = -3*c. Let l(x) = -x**2 + x + 46. Is 23 a factor of l(c)?
True
Suppose 119 - 339 = -5*y. Does 21 divide y?
False
Let p = -5 - -3. Let v = -2 - p. Suppose v*b - b = -6. Does 3 divide b?
True
Let l(g) = -2*g + 4. Suppose 19 = -2*c - c + 2*z, -23 = 4*c - 5*z. Is l(c) a multiple of 9?
True
Let f be (-9)/(-27)*12/1. Suppose 3*y - f*y + 29 = 0. Is y a multiple of 11?
False
Suppose -3 = -2*q + 11. Does 2 divide q?
False
Suppose 0 = -2*y + 1 + 11. Let j = 4 - y. Does 11 divide j - (3 - 2)*-24?
True
Let i(p) = -p**3 - 10*p**2 + 6*p + 8. Let a be i(-11). Suppose 3*q = 4*q - 16. Is 12 a factor of a/6*q/6?
False
Let o(x) = 2*x**2 - 4. Does 5 divide o(5)?
False
Let z(k) = -4*k**3 - 3*k**2 + k + 2. Let o be z(-2). Let i(x) = x - 8. Let c be i(0). Is 5 a factor of (c/(-10))/(2/o)?
False
Does 13 divide (-3)/(-5) - (-62)/5?
True
Suppose 3*n = -2*i + n - 6, -n - 2 = 0. Let c be i*(-3)/((-9)/(-201)). Suppose l = 1, -3*q - 2*l + c = -7*l. Does 11 divide q?
False
Let w = -24 + -37. Let d = -27 - w. Does 17 divide d?
True
Let i(q) = -q - 3. Let k be i(-4). Is 11 a factor of -1 + (-28)/(0 - k)?
False
Let o = 32 + -4. Is 21 a factor of o?
False
Let n be 1 - (-3)/3 - 0. Let p = -6 + n. Is p + 1 - (-22 - -5) a multiple of 14?
True
Let w = -93 + 181. Is w a multiple of 8?
True
Let h = -3 + 5. Suppose -2*x - 92 = -4*q, h*x + 68 = 5*q - 2*q. Is 12 a factor of q?
True
Let j be (-74)/(-1) + (-2 - -2). Suppose 22 - j = 4*l. Let q = 1 - l. Is q a multiple of 13?
False
Let y = 11 - 5. Suppose 45 = -y*j + j. Let q(k) = -k**2 - 11*k - 8. Does 7 divide q(j)?
False
Let a be 12/24*0/1. Suppose -2 + 50 = 2*t. Suppose x + x - t = a. Does 6 divide x?
True
Let i(c) = -c**2 + 7*c - 1. Let g be i(6). Let x(m) = m**2 - 6*m + 3. Let h be x(7). Suppose s - h = 2*r, -4*r + 8 = -g*s + 64. Is 12 a factor of s?
True
Suppose 4*k - 5*k = 0. Suppose -5*g - 2*s + 273 = k, g - 3*s - 55 - 3 = 0. Does 21 divide g?
False
Let p(t) = -78*t + 4. Let f be p(-4). Suppose 84 = 5*g - f. Suppose -w + 6*w = g. Is w a multiple of 8?
True
Suppose -n = -0 - 41. Let i = -15 + n. Does 13 divide i?
True
Suppose 4*o + 5*f - 753 = 0, 536 = -o + 4*o - 2*f. Suppose 3*d = 5*x - 272, -2*x + 5*d - 58 = -o. Is 15 a factor of x?
False
Suppose 4*a - 13 = n, 2*a = 4*n - 0 - 4. Suppose 13 = -n*m - 5. Let t(x) = -4*x - 4. Does 16 divide t(m)?
False
Let z = 8 - 6. Is z/(-5) + 710/25 a multiple of 16?
False
Let s be 108/(-21) - 4/(-28). Let b = 14 + s. Does 9 divide b?
True
Let t(y) = 6*y**2 + 6*y + 20. Is t(-3) a multiple of 10?
False
Let i be 0*((-4)/6)/(-2). Suppose -g + 3*g + 40 = i. Let k = 0 - g. Does 20 divide k?
True
Let j(b) = -b**3 + b - 7. Let x be j(0). Let g = -10 - x. Is g/(-2*2/36) a multiple of 11?
False
Suppose 0 = 2*f - 4*a - 264, 5*a - 58 = f - 196. Is 10 a factor of (-16)/f - (-178)/16?
False
Let l(w) = w + 2. Let y = -2 + 0. Let d be 1/(38/18 + y). Is 4 a factor of l(d)?
False
Let i be 1/((14/(-8))/(-7)). Suppose i*m - 31 - 129 = 0. Is m a multiple of 20?
True
Let x = -204 + 292. Suppose x = p + 32. Is p a multiple of 25?
False
Suppose 0 = -3*q + q + 4. Let s be (0 + 2)/(4/6). Suppose -s*b = -q*p + 24, -2*p = 2*b - 4 - 0. Is p a multiple of 4?
False
Suppose -2*d = -5*r - 180, 2*d + 16 = 3*r + 200. Does 14 divide d?
False
Let h be -4 + 1 + 3 + 1. Does 17 divide 25 + (-1 - h) + 3?
False
Let b be ((-4)/6)/((-4)/588). Let y = b - 37. Is y a multiple of 23?
False
Does 22 divide 5/((-10)/(-458)) - (-4)/(-2)?
False
Let u = 9 + -7. Suppose 0 = -u*j - j + 480. Suppose 0 = -5*w - 5*q + j, 3*q + q + 52 = 2*w. Is w a multiple of 15?
True
Suppose -2*s + 0*s = 3*p - 168, 0 = -3*s + p + 274. Is 9 a factor of s?
True
Let j = 81 + -48. Let f = j + -17. Is f a multiple of 16?
True
Let k be 0 + 0 - (-5 - -2). Suppose 2*l = -k*l + 155. Is l a multiple of 11?
False
Suppose u + 7*j - 2*j - 49 = 0, -4*j + 92 = 2*u. Suppose -u = 3*i - 116. Is 8 a factor of i?
True
Let l(i) = -i**3 - 6*i**2 - 5*i - 9. Is l(-6) a multiple of 7?
True
Suppose 2*g - 7 - 1 = 0. Suppose 310 = g*v - 5*d, 4*d - 2*d - 296 = -4*v. Let l = v + -49. Is l a multiple of 13?
True
Suppose 5*s - z = -8, -2*z + z = 2. Does 8 divide (0 - -21)*s/(-2)?
False
Let u(a) = a**3 + 7*a**2 - 9*a - 6. Let b be (-9)/(6/2) + -5. Let l be u(b). Suppose -3*r + 85 = -l. Is r a multiple of 16?
False
Let r = 2 - 2. Suppose -5*t + r*t + 105 = 0. Does 9 divide t?
False
Suppose -5*y - 4*v + 98 = 0, -2*y + 5*v - 10 + 69 = 0. Is y a multiple of 18?
False
Let n = 1 + 1. Suppose 0*o = n*o - 62. Does 13 divide o?
False
Let x(q) = q**2 - 4*q - 1. Let k be x(5). Suppose 5*i - 4*i - 5*w + 27 = 0, 2*i + k*w = 16. Is ((-6)/5)/(i/10) a multiple of 4?
False
Suppose 0*v - 220 = -5*v. Is 22 a factor of v?
True
Let a = 264 - -543. Suppose -d = -m + 149, a = 5*m + 5*d + 62. Is m a multiple of 30?
False
Is 29 a factor of (292/16 + -3)*4?
False
Let z = -3 - -5. Let i(v) = v - 2. Let k be i(2). Suppose -o = -z*s - 7, -o = -k*o + 3*s + 3. Is o even?
False
Let p(g) be the third derivative of -g**6/120 + 3*g**3 - 3*g**2. Does 5 divide p(0)?
False
Let v(k) = -k**3 + k**2 + 36. Is 12 a factor of v(0)?
True
Let v = 8 + -3. Suppose -t - v*k = -0*t - 65, -6 = -2*k. Suppose -t = 2*m - 7*m. Is 5 a factor of m?
True
Let x be ((-3)/2)/((-1)/8). Let p = -21 + x. Let n = p - -41. Is n a multiple of 16?
True
Suppose -x = -4*m - 13, 5*x = -2*m - m + 42. Let n = x + 43. Is n a multiple of 13?
True
Let p(w) = -w**3 - 4*w**2 - 3*w. Is p(-4) a multiple of 12?
True
Let o(p) = p + 8. Let r be o(-6). Suppose 2*x = -r*z, -z - 4*z = 3*x + 10. Is 4 a factor of x?
False
Let z = 74 + 29. Is 26 a factor of z?
False
Suppose y + 7 = -3*y + 3*b,