/(-4))/((-1)/(-12)). Does 22 divide 3/(t/4) - -68?
True
Does 7 divide (84/(-10))/(63/(-420))?
True
Let x(y) = 6*y**2 - 2*y. Let j be x(-3). Suppose -5*o - j = -5*f, 8*f = 3*f + 4*o + 65. Does 16 divide f?
False
Let m(k) = k + 6. Let c be m(-6). Suppose c = -b - 6 - 11. Let a = b - -60. Is 18 a factor of a?
False
Let v = -15 - -28. Is v a multiple of 13?
True
Let a = -40 - -84. Is a a multiple of 15?
False
Let v(q) be the second derivative of q**5/20 + 5*q**4/12 - q**3/3 - q**2/2 - q. Is v(-5) a multiple of 9?
True
Let o(s) = s**2 - 2*s - 3. Let q be o(4). Let h = 11 + -8. Suppose q*d = h*d + 6. Is d even?
False
Is 5 a factor of -4*(-141)/12 + -2?
True
Let s(k) = -2*k + 1. Let l be s(-1). Let y = 21 + l. Does 8 divide y?
True
Suppose -k = -137 + 62. Does 21 divide k?
False
Let t(g) = 2*g**2 + 9*g + 11. Does 21 divide t(-6)?
False
Suppose -2*d - 15 = d, -90 = -4*g - 2*d. Suppose -m - 4*m = -g. Suppose 4*c - 14 = -m*u + 27, 3*c = 2*u + 25. Is 9 a factor of c?
True
Let q(t) = -t**3 - 6*t**2 - 2*t - 7. Let f be q(-6). Suppose -f*v + 3 = -32. Is v a multiple of 2?
False
Suppose -6*f = -3*f - 15. Suppose -37 = -x + s + 3*s, f*s = -15. Suppose -x = -6*v + v. Is 4 a factor of v?
False
Suppose 0*w + w = -5*x + 560, 2308 = 4*w + 3*x. Is (w/5)/(2 + 0) a multiple of 29?
True
Suppose 0 = 4*g - 0*g + 5*a + 1, -5*g = 3*a - 2. Let r(l) = 11*l**3 - 2*l + 1. Is 5 a factor of r(g)?
True
Let r = -102 - -151. Suppose f = -5*m + r, 2*m - f + 2 = 23. Is 10 a factor of m?
True
Let u = -13 + 67. Does 25 divide u?
False
Let p = -73 + 128. Is p a multiple of 11?
True
Let c be (16/40)/((-2)/(-10)). Suppose 5*p + 4*r - 63 = -8, 0 = -c*p - 5*r + 39. Is 2 a factor of p?
False
Let c(i) = -i + 2. Let l be c(-2). Suppose g - 3*t = 4*g + 9, 5*t = -3*g - 15. Suppose 2*k = 3*y + 23 - 60, 2*k + l = g. Is y a multiple of 11?
True
Suppose -25 = -5*a, 0 = i - 5*i - 4*a + 44. Let s be i/(-9) - 142/(-6). Suppose -74 + s = -3*z. Is z a multiple of 10?
False
Let y = 34 + -6. Does 24 divide 8/y + (-794)/(-14)?
False
Is 45 a factor of 255/6*9/(9/2)?
False
Let c(o) = -78*o**3 + 13*o**2 - 3*o. Let j(k) = 26*k**3 - 4*k**2 + k. Let w(p) = 2*c(p) + 7*j(p). Does 20 divide w(1)?
False
Let i = 50 + -25. Suppose 4*f - i + 9 = 0. Suppose f*y + 2*m = 36, 2*m + m = y - 16. Is 10 a factor of y?
True
Let u be (3 - 0)*(-1)/(-1). Let c be (10/(-3))/((-1)/u). Suppose 4*o + n - c = -2*n, 4*o = 2*n + 20. Is o a multiple of 3?
False
Let x(t) = t**3 - 18*t**2 + 18*t + 5. Does 2 divide x(17)?
True
Let g be (20/15)/((-4)/6). Let k(a) be the second derivative of a**4/2 + a**3/6 - a**2 + 2*a. Is k(g) a multiple of 10?
True
Let f = 69 + -3. Suppose 0 = 2*r + 85 - 1. Let o = r + f. Is o a multiple of 8?
True
Let d(l) = l. Let j(v) = 3*v - 4. Let g(s) = 2*d(s) - j(s). Let p = -2 - 3. Is 9 a factor of g(p)?
True
Suppose -2*g = -2*c - 17 - 15, 22 = g + 2*c. Let a = g + -15. Does 3 divide a?
True
Does 30 divide 1 + 1 + (164 - 5)?
False
Is 4/6 + -1 + 556/12 a multiple of 23?
True
Let f(a) = 5*a - 6*a - 7 + 3. Is f(-9) a multiple of 4?
False
Let r(k) be the first derivative of k**2/2 + 4*k + 2. Let h be r(0). Is 3 a factor of (-24)/9*(-6)/h?
False
Let s(f) = f**2 - 5*f - 9. Let g be s(7). Suppose -g*d = 3*q + 180, -110 - 2 = 4*d - 4*q. Let l = d + 55. Does 15 divide l?
False
Let k = -5 - -9. Suppose k*n + 57 = 3*h + 5*n, 0 = -5*h - 4*n + 88. Is 10 a factor of h?
True
Suppose -2*z - j = z - 115, 3*z - 130 = 2*j. Does 9 divide z?
False
Let l = -154 - -238. Does 12 divide l?
True
Let y(t) = -14*t. Is 8 a factor of y(-1)?
False
Let o(w) = w**3 + 2*w**2 - 3*w - 3. Let a be o(-2). Suppose 0*c - c - a = 0. Let i(r) = -7*r + 3. Is 12 a factor of i(c)?
True
Let o = 21 + -17. Suppose -19 - o = -c. Is c a multiple of 6?
False
Let r be 1*(3 - (1 + -3)). Suppose 3*w = r*i, 2*i - 4*w + 17 = i. Suppose -i - 8 = -s. Is s a multiple of 4?
False
Suppose -3*f + 4*t = -19, 8*f - 4*f - 30 = 3*t. Is f a multiple of 8?
False
Let o = 3 - 0. Let r = o - 4. Does 20 divide 84*(r + (-3)/(-2))?
False
Let k(r) = 8*r. Let u be k(-4). Let c be ((-2)/2)/((-3)/183). Let z = c + u. Is z a multiple of 12?
False
Suppose 8*g = 10*g. Suppose g = m - 4*m + 60. Does 20 divide m?
True
Suppose 0 = -w - 0*w - 5. Let p(q) be the second derivative of -q**3/2 - 3*q**2/2 + 2*q. Is p(w) a multiple of 11?
False
Let y(v) = -8*v + 11. Let f(i) = 7*i - 10. Let q(s) = 3*f(s) + 2*y(s). Is q(6) a multiple of 12?
False
Suppose -7*t = -2*t + 4*v - 173, 4*t = 4*v + 124. Is t a multiple of 6?
False
Let w = 33 + -23. Suppose -2*l + 4*k - 8 = 0, 4*k = 4*l - 3*l + w. Suppose -b = -2*d - 26, 0 = b - l*b - 2*d + 30. Is b a multiple of 10?
False
Does 24 divide ((-96)/3)/(4/(-18))?
True
Let u be 6/2 + -2 + 1. Suppose 0 = 2*q + 5*t + 10, u*q + 3*q + 3*t - 13 = 0. Suppose -23 = -n + q. Is n a multiple of 10?
False
Suppose 64 = k + 14. Is 5 a factor of k?
True
Let w(x) = -x**3 + 4*x**2 - x - 4. Let s be w(3). Let y be (-210)/(-40) + (-1)/4. Suppose s*n - y = 5*t + 22, n = 2*t + 14. Does 8 divide n?
True
Let o be (-290)/(-14) + 8/28. Suppose -q + o = -0*q. Is 16 a factor of q?
False
Let y be ((-6)/(-10))/((-6)/(-30)). Suppose 76 = v + y*v. Does 5 divide v?
False
Let o(b) = -b - 1. Let z(x) = 2*x + 15. Let m(j) = 3*o(j) + z(j). Let v be m(7). Let h = v + 25. Is h a multiple of 15?
True
Let b(g) be the second derivative of -g**4/12 + 5*g**3/6 + 3*g**2 + 2*g. Let x be b(6). Suppose 5*q + x*q - 65 = 0. Is q a multiple of 9?
False
Suppose 112 = -2*m + 192. Is m a multiple of 20?
True
Let r = 42 + 15. Does 19 divide r?
True
Suppose 2*l + 10 = 44. Let i(v) = v**2 + v - 9. Let c be i(0). Let p = c + l. Is 4 a factor of p?
True
Let s = 92 + -42. Suppose 5*q - 5*m + s = 0, -4*m + 5*m - 1 = 0. Let b = 25 + q. Is 8 a factor of b?
True
Suppose 4*z - 10 = 3*y, 3*y = -4*z - y + 24. Suppose -6 = -2*d + z. Suppose 0 = 3*t - 6*t - 3*u + 21, -2*u + d = t. Is 8 a factor of t?
False
Suppose 0 - 2 = -s. Let y(a) = 8*a**3 - 6*a**2 + 10*a - 10. Let o(d) = 3*d**3 - 2*d**2 + 3*d - 3. Let m(k) = 7*o(k) - 2*y(k). Is 12 a factor of m(s)?
False
Suppose 5*m - 5*w - 5 = 0, 7 = 3*w - 5. Suppose 8 = m*v + 5*z - 2, 5*z = 5*v. Does 17 divide ((-17)/(-1))/(v/2)?
True
Suppose -4*z - 2 = -6. Let l(p) be the third derivative of 7*p**6/120 - p**4/24 + p**3/6 - p**2. Is 4 a factor of l(z)?
False
Let j(l) = l**2 + 2*l - 1. Let m be j(-3). Suppose 52 = m*g - g. Is g a multiple of 13?
True
Suppose -290 = 3*y + 2*b - 7*b, 2*y = -5*b - 210. Let h = 140 + y. Is h a multiple of 20?
True
Does 14 divide 54 + (0/(-5) - -1*2)?
True
Let u(m) = -13*m**3 + 2*m**2 + 3*m + 2. Does 9 divide u(-2)?
True
Suppose -2*d + u + 124 = 3*d, -4*u = -2*d + 46. Does 17 divide d?
False
Suppose 12*g = 410 + 238. Does 9 divide g?
True
Suppose -56 + 14 = -t. Let k = -2 - 16. Let m = t + k. Does 12 divide m?
True
Let d = -2 - -8. Suppose h = p + 2, -h + d + 0 = p. Let w = p + 0. Is w even?
True
Let r(s) = 4*s**2 - 3*s + 1. Let f be r(2). Let b = f - -11. Is 20 a factor of b?
False
Suppose -4*i + 112 = 2*f - 124, -3*i = 3*f - 174. Is 12 a factor of i?
True
Suppose 0 = 2*o + 10, 4*j = 3*o + 2*o + 81. Is j a multiple of 10?
False
Let w = -48 - -68. Does 5 divide w?
True
Suppose 2*x - 56 = -0*x. Does 14 divide x?
True
Suppose -36 = -f - m + 2*m, -8 = 4*m. Does 11 divide f?
False
Let c be (12/(-1))/((-6)/4). Suppose 0 - c = -2*v. Suppose -2*j + 32 = v*p, -5*j - 4*p + 0*p + 68 = 0. Is 6 a factor of j?
True
Let a(g) = -g**3 + 2*g**2 - 4*g + 40. Is 29 a factor of a(0)?
False
Suppose 50 = 2*c - 542. Let y be (1/2)/(4/c). Suppose 3*x - 3*r = 157 - y, 3*x - r - 124 = 0. Is x a multiple of 21?
True
Suppose 3*g = 4*g - 28. Is g a multiple of 24?
False
Let n(m) = 3*m**2 + 26*m + 17. Is n(-10) a multiple of 6?
False
Let m = 21 - 19. Suppose -15 = -m*q - 3. Is 2 a factor of q?
True
Suppose z - 20 = -5. Suppose -3 = v - 0, w - z = -v. Let x = w + -4. Is x a multiple of 8?
False
Let k(h) be the first derivative of h**2/2 + 6*h - 4. Does 10 divide k(4)?
True
Let z(t) be the third derivative of t**5/30 + t**4/4 - t**3/3 + 2*t**2. Is 16 a factor of z(-6)?
False
Suppose -h + 45 = z, h - 2*z = 51 + 6. Is 23 a factor of h?
False
Let y = -3 + 6. Let w = y + -3. Suppose -2*d + 3 + 9 = w. Is d a multiple of 3?
True
Suppose -3*s = -4*k - 6*s + 13, -2*s - 24 = -2*k. Is k a multiple of 6?
Fa