et k be ((-13)/(-4) - 45/(-60))*2. Let n(f) = f**3 - 4*f**2 + 2*f + 2. Let v be n(2). Let w = k - v. Is w a multiple of 6?
False
Let t(d) = -d**3 + 7*d**2 - 2*d + 8. Let w(i) = i**3 - 8*i**2 + i - 9. Let h(z) = -2*t(z) - 3*w(z). Does 18 divide h(8)?
False
Let g(j) = 5*j**2 - 4*j + 1. Let p(y) = -5*y**2 + 3*y - 1. Let m(r) = -4*g(r) - 5*p(r). Let q be m(-2). Suppose -q - 11 = -5*u. Does 6 divide u?
True
Let k = -285 + 511. Does 76 divide k?
False
Suppose -2*d + 820 = -700. Does 19 divide d?
True
Suppose 3*m + 4*s - 2540 = 0, -3*m = -m + 4*s - 1692. Suppose 5*b = p + m, 0 = -2*b + p + 2*p + 334. Does 37 divide b?
False
Suppose 3*o + 13 = 1. Let b(m) = m + 12. Let l be b(3). Let q = l + o. Is 4 a factor of q?
False
Suppose -4*n + 2*f = -634, 0 = -5*n + 6*f - 3*f + 790. Does 25 divide n?
False
Suppose 3*r - 2019 = 2*u, 0*r - 4*u - 1354 = -2*r. Is r a multiple of 15?
False
Let v(t) = -59*t + 18. Is 6 a factor of v(-5)?
False
Suppose 4*v + 8 = 0, -2*v + 4 = 4*h - 200. Is h a multiple of 14?
False
Let m(l) = 53*l + 3. Let f be m(4). Suppose 0 = -4*b + f + 25. Is 20 a factor of b?
True
Let d = 149 - 94. Let q(t) = -t**3 - 2*t - 2. Let f be q(3). Let i = d + f. Does 10 divide i?
True
Suppose -5*g = 72 + 423. Let i be ((-8)/(-18))/((-22)/g). Suppose 3*w + 2*v - 214 = 0, -w + i*v = 3*w - 276. Does 35 divide w?
True
Let n(c) be the first derivative of -c**3/3 + 7*c**2 - 31*c - 30. Does 3 divide n(9)?
False
Suppose 0*w + 61 = 4*v + 5*w, -4*w + 7 = v. Let u = 56 + v. Suppose o = 2*j + 43, 5*o = -j + u + 96. Is 7 a factor of o?
True
Let u = 2022 + -1338. Is 19 a factor of u?
True
Let q be ((-48)/60)/(4/(-410)). Let l = q + -31. Is 17 a factor of l?
True
Suppose t - 1 - 1 = 0. Does 26 divide t - (2 - 404/4)?
False
Is (1 - 5116/(-6)) + 4/(-6) a multiple of 18?
False
Let p(v) = v**2 - 11*v + 3. Suppose -5*a = -10, -2*a + 5 = m - 57. Suppose 4*k + k + 2*f = m, 3*k - 32 = -4*f. Is 6 a factor of p(k)?
False
Let s = 356 + -71. Is s a multiple of 19?
True
Let n(o) = -o**3 + 23*o**2 - 15*o - 48. Does 28 divide n(22)?
False
Let s(n) = -n**2 + 5. Let b be s(0). Suppose 2*w = -5*f + 25, 0 = f - 2*f - 5*w + b. Suppose -v + f*y = -4, v - 49 = -y - 3*y. Is v a multiple of 14?
False
Let u = -331 + 448. Does 13 divide u?
True
Let n(a) = -a - 1. Let i be n(-1). Suppose i = -3*d + 5*f + 77, 0*d - 44 = -d - 2*f. Suppose -d*x + 69 = -33*x. Does 23 divide x?
True
Suppose 3*n = -a + 4*n + 2, 0 = 5*a + 3*n + 6. Suppose a*j - 4*h = j - 21, -h = -j + 1. Suppose w + 4*w + 10 = 0, 0 = -y - j*w. Does 10 divide y?
True
Suppose -4*o - 5*h + 5 + 20 = 0, -o - 2*h + 7 = 0. Suppose 10 = o*u - 5. Suppose -u - 1 = -s. Is 4 a factor of s?
True
Suppose -11*q + 1730 + 1416 = 0. Does 10 divide q?
False
Let q be ((-66)/4)/(-3)*(9 - 11). Let m = q - -46. Does 7 divide m?
True
Suppose -69 = -4*k + 2*h + 21, 0 = -4*k + 3*h + 95. Suppose 2*v - 4*y - y - 8 = 0, 0 = 4*v - y + k. Let m(o) = o**2 - 5. Is 8 a factor of m(v)?
False
Suppose -46*o - 2285 = -16085. Does 6 divide o?
True
Suppose -10*t + 182 + 688 = 0. Is 3 a factor of t?
True
Let s be (6 - 7)/(2/(-4)). Suppose -q - s*j - j = 2, q - 8 = 2*j. Suppose -5*a - w = -2*w - 330, 0 = 3*a - q*w - 181. Is 21 a factor of a?
False
Let k = 444 + 102. Is k a multiple of 33?
False
Suppose 9*m = -0*m + 207. Suppose -6*h = -m - 31. Is h a multiple of 5?
False
Let n = 5 - -4. Let q = -7 + n. Suppose 0 = q*d + 2*k - 74, -23 = -d - 5*k - 6. Is 14 a factor of d?
True
Let j(z) = z**3 + 34*z**2 + 30*z - 100. Let h be j(-33). Suppose 3 = -3*q, -4*y = -3*y - 2*q - 6. Does 15 divide 478/8 - h/y?
True
Does 19 divide 5024/24 - (-3)/(-9)?
True
Let c = 25 + -10. Suppose 0 = 5*n - 8*n + c. Suppose -n*w + 64 - 14 = -2*j, 2*w + j - 11 = 0. Is w a multiple of 5?
False
Let a(p) = p**2 - 8*p + 10. Let q = 25 - 15. Is a(q) a multiple of 10?
True
Suppose s + s = 106. Let h = 159 - 136. Let o = s - h. Is o a multiple of 7?
False
Is ((-539)/(-66) + -8)*3678 a multiple of 19?
False
Let h(f) = -2*f**3 + 24*f**2 - 9*f - 21. Is 61 a factor of h(11)?
True
Let c be -3*(-16)/20*15/9. Suppose 0 = 5*z - c*y - 366, -z + 86 = -6*y + 2*y. Is 14 a factor of z?
True
Let j be (-10)/4*(-42)/35. Suppose 0 = -j*r + 30 - 0. Is 3 a factor of r?
False
Let d = 2 - -2. Suppose -4*m + 3*y = -y - 232, 4*m + d*y = 240. Does 22 divide m?
False
Let g(u) = -u**3 + 6*u**2 - 4*u - 1. Let h be g(5). Suppose 0 = -h*n + 4, 4*q - 2*n - 192 = 94. Is 18 a factor of q?
True
Does 26 divide 1502624/336 - ((-260)/(-84) + -3)?
True
Let q(x) be the second derivative of -x**5/12 - 5*x**4/4 + 5*x**3/6 + 10*x. Let t(d) be the second derivative of q(d). Does 20 divide t(-9)?
True
Suppose -a + 1002 = 3*s, -4*a - 987 = 4*s - 7*s. Suppose -s = -4*g + 3. Is 14 a factor of g?
True
Let m = -5 + 12. Let i be 4 + (1 - 4) - -77. Suppose m*k = 4*k + i. Does 8 divide k?
False
Let f(d) = -33*d - 150. Let q be f(-8). Let t = 3 - 4. Does 20 divide t/((-2)/q) + -1?
False
Suppose 3*o - 3 - 2 = -5*c, -3*c - 26 = -4*o. Suppose o*i - 156 = i. Does 3 divide i/6 + 4/8?
False
Let y = 6 + 12. Suppose -4*l = -y + 6. Is 8 a factor of 13/(4 - 3)*l?
False
Suppose 0 = 4*a - 12, 4*d + d + 3*a = -126. Let r = d + -20. Let m = -19 - r. Does 8 divide m?
False
Let x(q) = q**3 - q**2 - 139*q + 16. Is 6 a factor of x(13)?
False
Suppose 3*a - 4*m - 4 = 0, -4*a + 3*m - 5*m - 2 = 0. Suppose 0 = 3*l - 4*o - 92, 2*o = 3*l - a*o - 88. Is l a multiple of 14?
True
Let v(o) = 3*o + 17. Let i(j) = -j - 4. Let g(t) = -9*i(t) - 2*v(t). Let u be g(-3). Let q(x) = -x**3 - 8*x**2 - 11*x - 7. Does 7 divide q(u)?
True
Let g be 2/((-3 + 33/9)*-3). Does 5 divide (6 - 3 - g) + 12?
False
Let t = 3 - -17. Suppose 10*f - 12*f = t. Let u = 16 + f. Is u a multiple of 3?
True
Suppose 4*y - 4*x = 1716, x = -2*y + 6*x + 858. Is 39 a factor of y?
True
Suppose 2*r + 3 = 7. Suppose 350 = 3*o + r*o. Is 10 a factor of (-2)/(-7) + 680/o?
True
Let c(j) = 28*j - 3. Let n be 15/4 - (-11)/44. Let y(u) = u**3 - 5*u**2 + 5*u - 2. Let h be y(n). Does 20 divide c(h)?
False
Let o(z) = z + 3. Let b be o(0). Suppose 4*y - 10 = b*y. Does 2 divide y?
True
Let v = -60 - -131. Let o = v + -55. Is 16 a factor of o?
True
Let l(r) = r**2 - 4*r + 3. Suppose 12 = -3*z + 5*z. Does 5 divide l(z)?
True
Let b = 88 - 49. Does 31 divide 9666/39 + 6/b?
True
Suppose g - 24 = -0*g. Let l(m) = m + 7 + 6 + g. Is 14 a factor of l(0)?
False
Suppose 2*z + 0*o = 4*o + 22, 5*z = -o + 66. Suppose 4*j - 8 = -3*p - p, z = -p + 2*j. Is 38 + (-9)/p + 1 a multiple of 21?
True
Is (-10)/(-75)*3*50*10 a multiple of 25?
True
Let z = 62 - 50. Is 24 a factor of 20*z/(-15)*-3?
True
Suppose 0 = 3*p - 5*n + 11, -p = 4*p - 2*n - 7. Suppose p*j + 12 = -9. Let v(u) = u**2 + 6*u - 2. Is v(j) even?
False
Let h be (-3)/((-5 + 2)/3). Suppose -105 = -h*t - 2*t. Does 14 divide t?
False
Suppose 0 = -4*g - 2*p + 3646 + 1834, 0 = -2*g + 5*p + 2716. Is g a multiple of 38?
True
Suppose i = 2*m + m - 25, 3*i - 5*m + 63 = 0. Let q = -13 - i. Suppose -3*j + 4*u - 11 = 0, 2*j - 40 = -q*j - 5*u. Is 3 a factor of j?
True
Let j(t) = 2*t**2 - 19*t + 13. Let l be j(9). Suppose i - 14 = -3*v + 6*i, -3*v + 19 = -l*i. Is v a multiple of 13?
True
Suppose 3*j + 7 = 5*a - 4*a, -12 = -2*a + 4*j. Suppose -339 - 409 = -a*v. Does 19 divide v?
False
Suppose b = 4*v + 1502, 3*b - 5*v - 4857 = -365. Is 18 a factor of b?
True
Suppose k + 5 = 0, -3*k = -3*g - g + 23. Suppose 153 = b + g*b. Does 9 divide b?
False
Suppose -10 = k + 776. Let g be 6/(-51) + k/(-34). Suppose g = 3*t - 49. Is t a multiple of 8?
True
Suppose -2*a - 3*a + 15 = 0. Suppose a*o = 4*d + 31, 0 = 2*o - 6*d + 3*d - 21. Does 9 divide o?
True
Let x = 970 + -534. Suppose -x = 4*b - 6*b. Suppose a - 28 = 5*y, 0*a + b = 5*a + y. Is a a multiple of 15?
False
Let p(k) = -k**2 + 8*k. Let n be p(8). Suppose 0*i + 8*i - 576 = n. Is i a multiple of 17?
False
Suppose 0 = -6*v - 5 + 65. Is 15/v + 195/6 a multiple of 17?
True
Let o be 3/(9/6) + 151. Let y = o + -44. Is y a multiple of 7?
False
Suppose 3*z = -5*m - 0*z + 4, -z - 2 = 0. Let b = -3 + m. Is 3 a factor of 25/2 - b/2?
False
Let q be ((-2)/(-20)*-8)/(1/(-5)). Is ((-2)/(-5))/(q/260) a multiple of 13?
True
Let y(d) = -8*d - 4. Let g be y(-9). Let t = g - 57. Does 3 divide t?
False
Let y(b) = -10*b - 1. Let r be y(1). Let u = r + 13. Suppose -j - u = -2*l - 1, -2*l + 2*j