True
Suppose -3*a + 57 = 3*s, -2*a + 40 = -s + 4*s. Let g = a + 8. Does 4 divide g?
False
Let v(d) = d**3 - 12*d**2 - 13*d + 4. Suppose 25 = 4*y - 3*y - 4*w, 36 = 3*y + w. Is v(y) even?
True
Suppose -6*x - 11*x + 918 = 0. Is 18 a factor of x?
True
Let i(a) be the first derivative of -17*a**7/420 - a**6/180 + a**4/24 - 2*a**3/3 + 4. Let c(w) be the third derivative of i(w). Is c(-1) a multiple of 27?
False
Let r(m) = 11*m**2 + 11*m + 13. Is 22 a factor of r(-6)?
False
Let j(u) = -3*u**2 + 2*u - 1. Let y be 3/2*8/12. Let o be j(y). Is o/(-4) + (-129)/(-6) a multiple of 12?
False
Let i = -49 - -204. Is 12 a factor of i?
False
Suppose 2235 = 2*i + p - 349, 3*p = i - 1278. Is i a multiple of 4?
False
Suppose 0 = -0*q - 3*q + 132. Suppose 2*p - 164 + q = 0. Does 15 divide p?
True
Let n(c) = -6*c**2 - 149*c + 27. Is n(-21) a multiple of 34?
True
Suppose j = -4*k + 216, 0*k = 5*k - j - 261. Suppose 4*m = -3*c + 144, c + m - k = -2*m. Let w = c - 28. Is 7 a factor of w?
False
Let y = -180 + 67. Let t = y + 67. Let m = t + 77. Does 14 divide m?
False
Let q = 1182 - 606. Is 18 a factor of q?
True
Let t be -1 - (-65 - 1/(-1)). Suppose 5*l + t = 3*a + 6, 2*a = -l + 38. Let h = -3 + a. Is h a multiple of 8?
True
Suppose 0 = 4*b + b - 3*p - 10, 5*b - 10 = -5*p. Let t(c) = -16*c + 5. Let y(f) = -8*f + 2. Let x(z) = 2*t(z) - 5*y(z). Does 5 divide x(b)?
False
Let l(j) = -j**2 + 15*j - 28. Let q be l(12). Suppose -q*y + 654 = 70. Does 9 divide y?
False
Let m = 566 + -212. Let v be m/5 + (-2)/(-10). Let l = -43 + v. Is 11 a factor of l?
False
Let l = -157 + 443. Suppose 4*k = 5*u - l, 5*u - 2*k = -3*k + 266. Is 18 a factor of u?
True
Suppose -3*p = v + 149, 5*p = 3*p + 2*v - 94. Let g = p + 87. Let d = 62 - g. Is 8 a factor of d?
True
Suppose 4732 = 6*k + 7*k. Is k a multiple of 13?
True
Suppose 4*t - 38 - 1014 = 0. Suppose d + 4*q = 3*d - 98, 4*q = 5*d - t. Suppose -d = -0*m - 5*m. Is 8 a factor of m?
False
Let p(b) be the third derivative of 1/2*b**4 + 0*b - 1/60*b**5 + 0*b**3 - 2*b**2 + 0. Is 18 a factor of p(6)?
True
Suppose -4*m = -3*b + 422, 16*b - 11*b - 3*m - 696 = 0. Is b a multiple of 46?
True
Suppose 2*u = 5*s - 2858, -6*u + 9*u + 569 = s. Does 48 divide s?
False
Let x(m) = 3*m**3 + m - 2. Let f be x(1). Let d(a) = a + 6. Is 7 a factor of d(f)?
False
Let b = 202 - 90. Let p = b + 35. Is 15 a factor of p?
False
Let w(h) = 5*h + 5. Let g be w(4). Suppose 4*x = 9 - g. Let f = x - -21. Does 12 divide f?
False
Let w = -40 + 76. Suppose 5*p - 2*x = 6, 0*p - 2*p + x + 2 = 0. Suppose 0 = -l + 3*l, -p*o - l = -w. Does 9 divide o?
True
Let p(c) be the third derivative of -c**5/120 + 17*c**4/24 - 7*c**3/6 + 9*c**2. Let g(b) be the first derivative of p(b). Is g(6) a multiple of 11?
True
Let u(h) = -h**3 - h**2 + h + 2. Let j be u(0). Is 116 - (-3 + j + 3) a multiple of 19?
True
Let w(g) = -3 + 2 - 9*g - 9 - 2*g. Does 8 divide w(-3)?
False
Suppose 2*p - 1916 = 4*j, 46*j - 45*j = 3*p - 2854. Is 25 a factor of p?
True
Suppose -2*a + 2*j + 826 = 0, -3*a + 5*j - j = -1236. Is 13 a factor of a?
True
Let q = -20 + 34. Let t be 1 + -1 - q/(-7). Suppose 3*r = -t*o + 164, 46 + 385 = 5*o - 3*r. Does 17 divide o?
True
Suppose 0 = 14*i + 104 - 1364. Is i a multiple of 5?
True
Suppose 81 = -4*s - 31. Does 9 divide s/42*(-18 - 0)?
False
Suppose 11*m - 5*m - 96 = 0. Let h = 670 - 1456. Is 7 a factor of (-10)/80 - h/m?
True
Let r(s) = 2*s**3 - 2*s**2 - s - 1. Let o(b) be the second derivative of b**3/6 + 7*b**2/2 - 5*b. Let g be o(-5). Does 4 divide r(g)?
False
Is 2/((-694)/(-1372) - 30/60) a multiple of 15?
False
Let s(q) = -q**2 - 15*q - 6. Is 16 a factor of s(-9)?
True
Suppose 16*a + 4 = 15*a. Let r(f) be the first derivative of f**4/4 + 2*f**3 + 5*f**2/2 + 4*f - 1. Is r(a) a multiple of 8?
True
Let c = 15 + -10. Suppose 5*v - 319 = -4*h + 219, -116 = -v - c*h. Is v a multiple of 16?
False
Suppose -5*d + 7594 = -10*a + 7*a, 4*a + 1512 = d. Is 10 a factor of d?
True
Let w(t) be the third derivative of -t**6/120 + t**5/15 + t**4/12 - t**3/6 - 3*t**2. Let v be w(4). Suppose 0 = v*o - 3*o - 64. Is 8 a factor of o?
True
Let l(y) = -y**2 - 18*y - 20. Suppose -3*z = 2*x + 2*x + 41, -4*x + 4*z - 20 = 0. Is l(x) a multiple of 10?
True
Let b be -3 + (-3)/((-9)/6). Let s be (-2 - -1)/(27/(-2106)). Let m = s + b. Is m a multiple of 12?
False
Let g = -9 - -11. Suppose -n - 12 = g*n. Let q(p) = -5*p + 4. Is 6 a factor of q(n)?
True
Let r(v) = v**2 + 2*v + 3. Suppose 0 = 4*u + 5*c + 29, 4 = -5*u + 3*c - 23. Let t be (-8)/10*(u + 11). Does 11 divide r(t)?
True
Let o(n) = -1. Let r(z) = -z**3 - 3*z**2 - 1. Let p(x) = 2*o(x) - r(x). Let b be p(-2). Suppose 0*i = 2*i, 4*v - b*i = 176. Does 20 divide v?
False
Let s(y) = -y**3 - 4*y**2 + 4*y - 6. Let f be s(-5). Let j be 102 + 2*(f + 0). Suppose g - 2*v + 1 = 11, 4*g + 4*v = j. Is g a multiple of 7?
False
Suppose 2*k - 7*k = 4*a - 1835, 0 = -5*k - 5*a + 1840. Is k a multiple of 23?
False
Let a(y) be the first derivative of -7*y - 10 - y**2 + 1/4*y**4 - 2/3*y**3. Is a(4) a multiple of 15?
False
Suppose -2*m - 43*l + 38*l + 5995 = 0, 0 = m + l - 2993. Is 13 a factor of m?
True
Let m = 35 + -31. Suppose m*b - p - 46 - 112 = 0, 162 = 4*b + p. Is 8 a factor of b?
True
Let m = 160 - 0. Is (8/(m/(-415)))/(1/(-4)) a multiple of 17?
False
Suppose 32 = -h - 5*l, l - 3*l + 11 = -3*h. Is -21*(5 + h)*2/4 a multiple of 11?
False
Let x(c) = 1. Let u(s) = -s + 6. Let n(g) = u(g) + 4*x(g). Let l be n(7). Suppose 0 = -2*t - 5*z + 42, 5*t - 167 = -0*t + l*z. Does 7 divide t?
False
Is (-9)/(-12) - 9537/(-68) a multiple of 4?
False
Suppose -2*v = 2*j - 120, 0 = -4*j - j + 20. Suppose 2*f = -4*w + v, 2*f + f + 5*w = 82. Suppose n - 4*n = -f. Is 2 a factor of n?
True
Let k(d) = -3*d**2 + 6*d - 11. Let i(j) = 4*j**2 - 6*j + 10. Let x(q) = 4*i(q) + 3*k(q). Is x(4) a multiple of 14?
False
Let t(x) be the first derivative of 2*x**3/3 - 6*x**2 + 6*x + 1. Let q be t(8). Suppose 3*l - l = q. Is 5 a factor of l?
False
Suppose -6*t + 45 = -195. Suppose t - 196 = -w. Is 13 a factor of w?
True
Let l(f) = f**2 + 1. Let q(n) = -6*n**2 - 6*n - 3. Let h(b) = 5*l(b) + q(b). Let c be h(-6). Let m = c + 8. Does 2 divide m?
True
Let n be ((-80)/64)/((-2)/32). Let c be 4 + (-2)/((-8)/n). Suppose -3*u = -c - 57. Does 22 divide u?
True
Suppose -m + 14 = 30. Suppose -4*y - 5*i - 128 = 0, -2*i = -2*y - 47 - 17. Let x = m - y. Is x a multiple of 8?
True
Is 73*(6/8)/((-24)/(-96)) a multiple of 19?
False
Does 17 divide (16/20 + -2)*1740/(-9)?
False
Let c = -1 + 2. Suppose c = g - 20. Is 7 a factor of g?
True
Let m(v) = 144*v - 436. Does 13 divide m(7)?
True
Let t(z) = -1 + 3*z**2 + 2 + 17*z + 1. Is 29 a factor of t(-9)?
False
Suppose 15*n + 36 = 18*n. Suppose 4*t - n = 2*t. Suppose -t*k + 10*k - 20 = 0. Does 2 divide k?
False
Suppose 20*b + 5*z = 24*b - 2870, 2139 = 3*b + 3*z. Is 13 a factor of b?
True
Suppose -35*q + 37*q = 0. Suppose -12*g + 13*g - 158 = q. Is 32 a factor of g?
False
Let f be (-27)/(-63)*(6 - -1). Let i = 5 - f. Suppose 0 = i*q + 2*l - 94, -6*l + 2*l - 127 = -3*q. Does 6 divide q?
False
Is 65 a factor of (260/(-2))/((9/(-12))/3)?
True
Suppose -6*x = -4*x + 24. Let u(l) = -7*l - 3. Is 14 a factor of u(x)?
False
Let h(r) be the first derivative of 7*r**2/2 + 6. Is h(3) a multiple of 7?
True
Let u(j) = 4*j**3 + 9*j**2 - 18*j + 47. Is u(5) a multiple of 22?
True
Suppose 31*u - 432 = 23*u. Let x = -95 + 184. Let g = x - u. Is 7 a factor of g?
True
Suppose 5*n - 324 + 89 = 0. Let a(k) = -6*k + 5. Let p be a(-2). Let u = n - p. Is 9 a factor of u?
False
Let y = 16 - 9. Let g be 1/y + (-36)/(-42). Is 13 a factor of (0 - -1)/(g/37)?
False
Let v = -44 + 34. Is 9 a factor of (10 - 5)*-3*18/v?
True
Let c(y) = 4*y**2 - 6*y - 4. Let s(b) = 7*b**2 - 11*b - 7. Let o(t) = 5*c(t) - 3*s(t). Let u be o(4). Does 19 divide -1*(-1 - (u - -21))?
True
Let m = -21 - -21. Suppose -8 = -3*s + 5*i + 15, m = 2*s - 3*i - 15. Does 3 divide s?
True
Let f(c) = c**2 - 16*c + 40. Let t be f(13). Is 10 a factor of 190/5 - (-2)/t?
True
Let l = 4619 - 2153. Is 9 a factor of l?
True
Let a be (68/(-6))/(38/57). Let b(k) = k**3 + 19*k**2 + 24*k + 51. Is b(a) a multiple of 12?
False
Let d be 40/50 - 748/10. Let x = 99 + d. Is x a multiple of 25?
True
Let n(c) = -10*c + 17. Is 5 a factor of n(-6)?
False
Suppose -907