q?
True
Let r be (-6)/(-4) + 119/14. Suppose -3*v + r = 1. Is 2 a factor of v?
False
Suppose -2*m + 196 = 4*g, 2*g = -3*g - 4*m + 239. Let c = g + 0. Suppose 3*s - 9 = c. Is 10 a factor of s?
True
Let l be (1 - (-14)/(-8))*4. Let w be 8/12 + (-13)/l. Suppose 2*j = w*j - 90. Is j a multiple of 15?
True
Suppose 6 = -v + 3*a, -4*v + 3 = 2*a - 15. Suppose 0 = -v*q + 16 + 23. Is q a multiple of 7?
False
Let w(i) = -i**3 + 5*i**2 + 4*i - 4. Let l = 7 + -3. Does 14 divide w(l)?
True
Is 10 a factor of -1 + 35 + (4 - 8)?
True
Let t = -15 - -9. Let c = t + 6. Suppose c = i - 3 - 33. Is i a multiple of 11?
False
Suppose -t + 128 - 3 = f, 5*f - 655 = t. Is f a multiple of 13?
True
Let x be 4/2*22/4. Let j = 18 - x. Does 3 divide j?
False
Suppose -5*t = -0*t. Suppose -6*b - a - 6 = -5*b, 4*b - 2*a + 6 = t. Is 15 a factor of (-6)/b + 24 + 1?
False
Let l = 18 + 4. Suppose -u + l - 6 = 0. Is 12 a factor of (5 - 1)*76/u?
False
Does 7 divide -2 + 5 - 6 - -5*7?
False
Let d(r) = -r**2 + 5*r + 8. Let a be d(6). Let n be ((-2)/(-4)*0)/(-1). Suppose n = a*i - 56 + 8. Is 8 a factor of i?
True
Let a(i) = 23*i + 3. Let z be (3 - (5 - 3))*2. Is 23 a factor of a(z)?
False
Suppose 0 = 5*p + 2*n + 2*n - 225, 4*n = 20. Does 7 divide p?
False
Let w(m) = -m + 7. Let q be w(6). Let i(c) = 70*c**2 + c - 1. Let t be i(q). Suppose h + t = 6*h. Does 7 divide h?
True
Suppose 0 = 3*q - 2 + 8. Let k be ((-2)/3)/(q/6). Suppose 2*i = 52 + k. Is i a multiple of 12?
False
Let c = -12 + 2. Let r = -7 + 3. Is (12/c)/(r/50) a multiple of 4?
False
Let d(m) = m**2 - 4*m - 4. Suppose 7 = 4*q - 13. Suppose q*j = 3*v + 33, 4*j = v + 40 - 15. Is 4 a factor of d(j)?
True
Let j be (-3 + -1)/((-12)/6). Suppose -x + 20 + 21 = -3*l, 0 = -j*x + 2*l + 70. Is x a multiple of 12?
False
Let q be 23/2*-1*2. Let o = q + 13. Let y = o + 40. Does 14 divide y?
False
Let f = -6 + 54. Is 15 a factor of f?
False
Suppose -3*r - 751 = -5*t + 430, -3*r = -4*t + 943. Is 34 a factor of t?
True
Let z = -6 - -11. Suppose 5*b + 51 = 2*f, 5*f = f + z*b + 87. Suppose 2*l + m = f, 3*l - 37 = m - 5*m. Is 3 a factor of l?
False
Suppose 5*k - 16 = -211. Let n be (2/(-6))/(1/k). Let g = -5 + n. Is g a multiple of 6?
False
Let l = 55 + -27. Is 14 a factor of l?
True
Suppose -3*z = 0, 3*u - 5*u = -4*z - 190. Is u a multiple of 19?
True
Is 9 a factor of 636/9 + (-12)/(-9)?
True
Let z be (0 - 1)*-3 + 17. Let q be 4/z - 334/(-5). Suppose 2*s = u - 39, 3*u + 2*s + 2*s - q = 0. Does 15 divide u?
False
Suppose -r = -0*r + 146. Let s = -91 - r. Is s a multiple of 14?
False
Let l(m) = -m**3 - 6*m**2 - 2*m - 2. Let v be l(-6). Let f = -2 + 7. Let u = v - f. Is 5 a factor of u?
True
Suppose 0 = 3*b - a - 50, 2*b - 6*b + 64 = -2*a. Is b a multiple of 6?
True
Is 5 a factor of -4 + 183*(-2 + -3)/(-15)?
False
Suppose 6*r - 2*v - 14 = 3*r, 0 = -4*r + 4*v + 24. Let m be (-2)/(-1) + 0/r. Is (-1)/(-1) - (-38)/m a multiple of 13?
False
Suppose -2*d + 9 = -11. Suppose m - d = -m. Is m a multiple of 5?
True
Suppose -d - 2 = 0, 2*d + 2*d - 48 = -2*i. Is 4 a factor of i?
True
Let r(y) = -1. Let i(n) = -5*n**2 + 2*n + 1. Let t(c) = -i(c) + 3*r(c). Let j be t(4). Suppose -2*x + j = -0*x. Is x a multiple of 17?
True
Suppose -4 + 70 = 2*b. Does 19 divide b?
False
Suppose 4*i - 2*y = 0, 3*y = -4*i - y + 24. Let x(n) = -3*n + 3*n**i + 6*n + 0*n - n**2. Is x(4) a multiple of 19?
False
Suppose 3*d + 280 = u + 4*d, u - d = 278. Suppose 75 - u = -2*n. Is ((-4)/6)/((-4)/n) a multiple of 13?
False
Suppose 3*h - 15 - 12 = 0. Is h a multiple of 5?
False
Does 9 divide (-9)/(-18) + (415/(-2))/(-5)?
False
Let x(n) = -5*n**3 + 2*n**2 + n - 2. Suppose -3*a = -2*t - 5*a, 3*a - 10 = 2*t. Is x(t) a multiple of 20?
False
Let h(x) be the third derivative of -x**6/720 + x**5/60 - x**4/24 - x**2. Let s(j) be the second derivative of h(j). Does 2 divide s(-3)?
False
Suppose -67*o = -71*o + 72. Is o a multiple of 4?
False
Let i(f) = -13*f + 1. Let y be i(2). Suppose 4*o + 23 = 3*a + 4, -16 = -4*o - 4*a. Is 14 a factor of -3 - o/1 - y?
False
Let z be (-22 - 1)*3/3. Let g = z + 39. Does 9 divide g/12*54/4?
True
Suppose -4*n + r - 5 + 1 = 0, 4*n + r = 4. Let c = 1 + n. Is 5 a factor of c*(-12)/(-1)*1?
False
Let a(x) = 3*x - 5*x - 1 + 2*x**2 - x**2. Let q(z) = -z - 8. Let s be q(-3). Does 18 divide a(s)?
False
Suppose 4*x = -2*z + 2*x + 38, 5*z + 3*x - 85 = 0. Suppose -6 = -2*n + z. Is n a multiple of 10?
True
Suppose 0 = -4*y + 3*c + 12, 4*y - 5 = -3*c + 7. Suppose -4 = -y*p + 5. Suppose -p*f + 21 = -6. Is 9 a factor of f?
True
Let c(y) be the second derivative of -y**6/180 - y**5/24 + y**4/6 - 2*y. Let l(b) be the third derivative of c(b). Does 19 divide l(-6)?
True
Let u be (-74)/(-4) + (-3)/2. Suppose -t + 5 = -u. Is 11 a factor of t?
True
Let m be 8/((-4)/10*-5). Does 5 divide (-416)/(-40) - m/10?
True
Suppose 5*a = -c + 139, 119 = c - 5*a + 6*a. Let h = -74 + c. Is 13 a factor of h?
False
Let d(l) = -3*l**2 + 6*l - 5. Let j be d(4). Let u = j - -21. Is -4*(18/u + 0) a multiple of 9?
True
Let y(g) = -21*g + 1. Let b be y(-1). Is b + -10 + (0 - -1) a multiple of 3?
False
Let h = -5 + 20. Does 5 divide h?
True
Let w(d) = -5 - 2 + 0 + d**2 + 3*d. Let h be w(-5). Suppose z + h*c - 5 = 16, 3*c + 9 = 4*z. Does 6 divide z?
True
Let d = -42 + 79. Let o = d + -25. Is 6 a factor of o?
True
Suppose 0 = -4*h + 16. Suppose t = h*t + 3. Is ((-5)/(-15))/(t/(-18)) a multiple of 2?
True
Let c = 6 - 3. Suppose 171 = c*i - 0*i. Suppose -3*l = -18 - i. Does 13 divide l?
False
Let d(a) = -4*a**2 - a - 1. Let s be d(-1). Let x = s - -6. Suppose 5*r + 3*f - 60 = 5*f, 0 = -r - x*f. Is 5 a factor of r?
True
Suppose 0 = 4*m + 5*k - 41, -2*m - 4*k + 25 = -3*k. Suppose -26 = -3*g + 5*x + m, 25 = -5*x. Suppose -g*v + 127 = -13. Does 14 divide v?
True
Let f(w) = w**3 + 7*w**2 - 3*w - 6. Is f(-5) a multiple of 17?
False
Let o(s) be the first derivative of -s**7/840 - s**6/360 - s**5/120 + s**4/6 - s**3/3 - 1. Let k(x) be the third derivative of o(x). Is 3 a factor of k(0)?
False
Suppose 6*w + 20 = 8*w. Does 4 divide w?
False
Let t(j) = -17*j**3 - j**2 - j. Is t(-1) a multiple of 7?
False
Suppose 2*b - 4*v - 150 = 0, -4*b = 2*v - v - 264. Is 22 a factor of b?
False
Let z(c) = -c**3 - 3*c**2 + c + 3. Let r(g) = -g - 4. Let o be r(0). Is 10 a factor of z(o)?
False
Let g(o) = o**2 - o + 2. Let a be g(1). Suppose 5*p = -2*w + 4*p + 106, 0 = -3*w + a*p + 159. Is 17 a factor of w?
False
Suppose 4*k + 5*x - 145 = 0, x + 3*x - 68 = -2*k. Is k a multiple of 10?
True
Suppose -216 = 3*g - 576. Does 10 divide g?
True
Suppose 5*v - 404 = g, 7*v - 2*v = -g + 396. Is v a multiple of 29?
False
Let r be (-33)/(-4) + (-36)/(-48). Let i = r - 7. Is i a multiple of 2?
True
Let j(m) = 76*m + 2. Let h be (0 - -1)/(1/1). Is j(h) a multiple of 13?
True
Suppose -y - 63 = 5. Let w = y + 110. Is w a multiple of 21?
True
Let n(h) = -h + h + h**2 + h**3 + 1. Let f(v) = -4*v**3 + v**2 - 6*v - 1. Let t(a) = -f(a) - 3*n(a). Is 12 a factor of t(4)?
False
Suppose 5*j + 1 = 21. Let m = 11 - j. Suppose -m + 53 = 2*w. Is 14 a factor of w?
False
Let b(j) = 2*j + 67. Does 15 divide b(-11)?
True
Let j = 135 - 69. Is j a multiple of 11?
True
Let q = 8 + 12. Does 20 divide q?
True
Let i(p) = 2*p**2 - 3*p - 4. Let l be i(8). Suppose -3*h + c = -c - l, 4*c + 40 = h. Does 16 divide h?
True
Suppose 2*z = -2*l + 286, -3*l + 6*l - 5*z - 469 = 0. Is 8 a factor of l/12 + 2/(-6)?
False
Let s(v) = v**2 - 13*v + 5. Let j be s(13). Is j + 12/(-4) - -20 a multiple of 11?
True
Let t(h) = h + 60. Let l be t(0). Let x(v) = -v**3 + v**2 - v + 2. Let k be x(0). Suppose 85 = 4*j - 5*g, -5*j - g + l = k*g. Does 15 divide j?
True
Let g = -2 - -46. Suppose -3*l - 4*n = -g, -3*l = -l + 3*n - 31. Let i = 12 - l. Does 4 divide i?
True
Let q = -4 + 8. Suppose 3*u + 5*b + 5 = 0, q*u - b = 3*u + 1. Suppose 3*t - t - 4*d + 2 = u, d = 5*t - 40. Is t a multiple of 4?
False
Let w be (-45)/18*(-1 + -1). Suppose -w*n + 67 = -23. Is 11 a factor of n?
False
Suppose 3*s + 5*i = -2, -2*s - 5 = 4*i - 1. Let p = s + -2. Suppose -p*t + 25 = -107. Is t a multiple of 23?
False
Suppose 0 = 3*d + 4*v - 3*v - 25, -3*d - 2*v = -26. Is d a multiple of 4?
True
Let g = 10 + -19. Let t = 25 - 39. Let f = g - t. Is f a multiple of 2?
False
Let s(o) = -2 - 32*o**2 - o + 105*o**2 + 1. Let x be s(-1).