*j + 3*t = 17 - 60, -k = -3*j + 2*t. Suppose -2*o - j + 20 = 0. Does 3 divide o?
True
Suppose 0 = -t + 3*t + 34. Let c = t + 25. Is c a multiple of 3?
False
Let c be (-4)/3*(-9)/2. Let s(u) be the second derivative of u**3/2 - 7*u**2/2 + 33*u. Is 10 a factor of s(c)?
False
Let j be ((-4)/2 - -5)/1. Suppose j*o + 4*t - 744 = -0*t, 5*t = 0. Is o/14 + (-2)/(-7) a multiple of 13?
False
Let s = 1 + -18. Let u be 120/9*(-36)/(-15). Let v = u + s. Is v a multiple of 9?
False
Let o be (606/(-9))/(4/(-6)). Let n = o + -59. Is n a multiple of 23?
False
Let r(w) = 4*w**2 - 10*w + 7. Is 19 a factor of r(7)?
True
Suppose -2*t - 64 = -s - 3*s, 3*s = 3*t + 51. Suppose -s - 5 = -5*c. Is 4 a factor of c?
True
Is 41 a factor of (22940/(-28))/(-5) - 2/(-14)?
True
Let c = -220 + 342. Is 23 a factor of c?
False
Let t = 53 + -16. Let y = t + -7. Is y a multiple of 15?
True
Let x(q) = q**2 + 20*q - 28. Does 3 divide x(-23)?
False
Suppose -3*y = 3*h - 7*y - 19, 4*h = 4*y + 24. Suppose h*d - 2*d - 5*x = 3, -d - x = -1. Is 17 a factor of d/((-150)/51 + 3)?
True
Is (-3)/(((-6)/(-2))/((-3269)/7)) a multiple of 25?
False
Let s = -19 + -4. Is 10 a factor of 10/5*(-1 - s)?
False
Let c(u) = 25*u + 2. Is c(2) a multiple of 13?
True
Is 14 a factor of (1/2)/(1/158)?
False
Let v(t) = -3*t**3 - 3*t**2 + 2*t - 2. Is 15 a factor of v(-3)?
False
Let f(v) = -12*v - 20. Is 13 a factor of f(-6)?
True
Suppose 0*l = -2*l - 8. Let d(w) = 5 + 3 - 1 - 6*w - 6 - w**2. Is 3 a factor of d(l)?
True
Let k = 100 + -71. Is 2 a factor of k?
False
Suppose -4*w + 3*w = 1, 3*k - 8 = -4*w. Suppose k*z = -4*m + 40, -z = z + m - 24. Is z a multiple of 4?
False
Suppose 0 = -m - 2*g + 24, 78 = m + m - 2*g. Let v be 70/(-2) + (0 - -3). Let a = m - v. Does 26 divide a?
False
Let a = -3 - -9. Let o = 26 - a. Is 10 a factor of o?
True
Let w(y) = -26*y - 24. Is w(-2) a multiple of 3?
False
Let d = 5 + -3. Suppose -160 = -3*a - d*a. Does 16 divide a?
True
Let y = 1 - -47. Let a = y - 9. Suppose a = 3*z - 3*x, 2*z = -x + 13 + 28. Does 9 divide z?
True
Suppose -2 - 6 = -2*f. Suppose -4 = -f*j + 3*p + p, 4*j = p - 5. Is 5 a factor of 7 + 4 + j + -4?
True
Let m(c) = 6*c - 12. Is m(8) a multiple of 18?
True
Let n(s) = -3*s + 42. Is 3 a factor of n(13)?
True
Suppose -55 = -2*w - b, b + 145 = 5*w + 5*b. Let t = w + 35. Is 15 a factor of t?
True
Let u(j) = 7*j**2 + j + 1. Is u(2) a multiple of 3?
False
Let l(m) = 4*m + 9. Does 15 divide l(9)?
True
Suppose -25 + 79 = 3*a. Suppose 0 = -r + 4*r + a. Let t(x) = -3*x - 7. Is 8 a factor of t(r)?
False
Let k be (-1 - 3/3) + 0. Is 84/(-8)*k - -1 a multiple of 22?
True
Suppose 5*c + 3*k = -k + 309, 186 = 3*c + 3*k. Let m = c + -11. Is m a multiple of 25?
True
Suppose 0 = -3*n - 3*a + 2*a + 179, -3*n - 5*a + 175 = 0. Is n a multiple of 30?
True
Suppose 5*g = -15 - 5. Let u be g/(1 + -3*1). Suppose 54 = u*x + x. Is 9 a factor of x?
True
Let s be 7 + 1*(-2)/2. Let u(t) = -t**3 + 9 + 8*t + 5*t**2 - 9. Is u(s) a multiple of 8?
False
Suppose -5*a = 4*p - 7*p + 36, -3*a - 10 = 4*p. Let w(b) = -6*b - 2. Does 13 divide w(a)?
False
Suppose -49*t = -47*t - 448. Is 32 a factor of t?
True
Suppose -29 + 117 = 4*v. Suppose 0 = -2*u - 3*k - 47, -6*k + 60 = -5*u - 2*k. Let y = u + v. Does 3 divide y?
True
Let v = -21 + -19. Let q = v + 63. Does 12 divide q?
False
Let o be (-8 - -7)*(0 + -5). Suppose -o*i = -154 + 14. Does 7 divide i?
True
Is (-8)/28 + (-366)/(-7) a multiple of 13?
True
Let z = 2 - 2. Suppose -5*j + r = -31 + 12, z = -2*j - 4*r - 10. Is 7/(j/1 + -2) a multiple of 7?
True
Suppose -2*l = -5*d - 11 - 75, 0 = 3*l - 3*d - 120. Is l a multiple of 5?
False
Suppose s = 3*s + 6, z - 5*s - 19 = 0. Suppose -2*r - h = 6, -z*r + 2*h = 2 + 2. Let k(c) = -4*c**3 - 2*c. Is 19 a factor of k(r)?
False
Suppose 5*h = h + 168. Does 20 divide -3*6/9 + h?
True
Suppose -5*n + 2 = -3. Let b(h) = -h**2 + 5*h - 3. Let t be b(3). Does 10 divide 11 + (2 - t)*n?
True
Let b = -13 - -21. Suppose -b*u = -3*u + 4*c - 100, 5*u - 3*c = 100. Suppose 0 = -3*q - q + u. Is 2 a factor of q?
False
Is -1 + 0 + 334 - 3 a multiple of 10?
True
Let a = -11 - -14. Suppose -a*z + 25 + 44 = 0. Does 13 divide z?
False
Let y be 3/2*28/3. Suppose -y*q = -16*q + 32. Is 5 a factor of q?
False
Let a(w) = 0*w - 6 - w + 7. Is a(-5) a multiple of 3?
True
Let m = 9 - 9. Suppose -52 = 6*h - 2*h + 5*d, -h + 3*d + 4 = 0. Let a = m - h. Is a a multiple of 3?
False
Let n(k) be the second derivative of k**4/6 - k**3/3 + 3*k**2/2 - k. Let a(d) be the first derivative of n(d). Is 3 a factor of a(2)?
True
Let h be (-8)/(-28) - 2/7. Let o = -15 + 18. Suppose h = -f - 4*u + 5*u + o, -4*f = 5*u - 48. Does 7 divide f?
True
Let i(o) = 2*o**2 + 10*o - 32. Is 11 a factor of i(-13)?
True
Suppose -n - 18 = n. Let d = 15 + n. Let j = d + 9. Does 5 divide j?
True
Let q = -122 + 209. Is 13 a factor of q?
False
Let v(t) = -3*t - 13. Let s be 46/(-8) + (-6)/24. Is 2 a factor of v(s)?
False
Let s(q) = -11*q**2 - q + 1. Let d be s(1). Let n be (-2 + 3)/(1/d). Let v = n + 15. Does 3 divide v?
False
Suppose -2*i = 2*i + 3*i. Let k(q) = 93*q**2 - 2*q + 1. Let h be k(1). Suppose -4*t + i*t + h = -c, 3*t - c - 70 = 0. Does 8 divide t?
False
Does 4 divide 35 - (7 + -3 - 2)?
False
Suppose 0 = 4*b - 7*b + 27. Let d be (30/b + -3)*18. Suppose -j = -5*c + d, -j + 3*c + 18 = 6*c. Does 9 divide j?
True
Suppose 0 = 4*n - v - 82, 34 = 2*n + 4*v - v. Is 4 a factor of n?
True
Suppose -2*f - 11 = 4*n - 117, 5*f = 2*n + 253. Let s = -80 - -46. Let a = s + f. Is 17 a factor of a?
True
Let k be -1*(-1)/(2/(-12)). Let c(n) = -n - 4. Let x be c(k). Suppose x*o + 23 = d, 3*d - 4*o - o = 68. Does 15 divide d?
False
Let i(p) = 2 - 3 - 2*p - 3 - p**3 - 3*p**2. Let j be i(-3). Suppose -3*l = 4*c - 1 + j, 3 = -3*c - 3*l. Is 2 a factor of c?
True
Suppose -5*x - 50 = -c, 5*x + 84 + 46 = 3*c. Is 25 a factor of c?
False
Suppose -2*n - 10 = 0, 0 = 2*j + 3*n + 11 + 8. Is 7 a factor of (2 + (-27 - 3))/j?
True
Let x be (-4)/4*-1 + 65. Does 10 divide (x/10)/((-1)/(-5))?
False
Suppose -240 = 5*f - 4*l, f - 3*l + 144 = -2*f. Let g = -81 - f. Let b = -9 - g. Does 12 divide b?
True
Let i(f) = 7 - 3 + 4*f + 4*f. Does 17 divide i(4)?
False
Suppose 4*b + 106 = 2*p - 122, 47 = -b - 2*p. Is (-2)/(-5) - 418/b even?
True
Suppose -i = -d + 10, -3*d + 36 = -6*i + 2*i. Let r = i + 11. Let s = r + 2. Is 2 a factor of s?
False
Suppose 0 = -4*v - 0*v - 28. Let y(j) = -2*j + 5. Is y(v) a multiple of 19?
True
Let q = 3 - -17. Is 3 a factor of q?
False
Suppose 3*x - 3*c + 17 - 371 = 0, 2*x = 4*c + 242. Does 23 divide x?
True
Let r = -34 + 42. Does 4 divide r?
True
Let j(q) = -6*q + 2. Suppose -5*c - 4*t + 29 = 0, t + 24 = 4*c + 5*t. Let m = c - 8. Does 10 divide j(m)?
True
Suppose -5*f = -4*n - 1, -5*n + 2 + 8 = 5*f. Let j(c) be the first derivative of 31*c**3/3 - c + 9. Is 12 a factor of j(f)?
False
Suppose -5*o - 24 = -o. Does 3 divide (10/o)/((-2)/6)?
False
Suppose 3*w - 3*k - 150 = 0, 2*k = -5*w + k + 238. Let h(g) = -g**3 + 3*g**2 + 6*g - 6. Let l be h(4). Suppose w = -l*i + 5*i. Does 9 divide i?
False
Suppose -4*x + 63 = -x. Suppose x = -0*u + u. Is 21 a factor of u?
True
Let f = 27 - 16. Is 11 a factor of f?
True
Let w(v) = -2*v**2 - 2*v + 10. Let b be w(-4). Let h(a) = a**3 + 3*a**2 + 2. Let j be h(-3). Is (-259)/b + j/(-4) a multiple of 8?
False
Let i be (-8)/(-12)*48/(-1). Let z = 0 - i. Is 10 a factor of z?
False
Let o(f) = -f**3 - 7*f**2 + f + 7. Let m be o(-7). Let n(r) = r + 22. Is n(m) a multiple of 11?
True
Suppose -31 = -5*c + 4. Suppose -c*q + 3*q - z + 85 = 0, -3*z = -3. Is 7 a factor of q?
True
Let y(o) = o**2 + 5*o - 8. Is 2 a factor of y(-7)?
True
Let y be 2/(-3) - (-11)/3. Is 3 a factor of (-2)/4*(-11 - y)?
False
Let z(g) = -g**3 - 4*g**2 - 7*g + 8. Is 6 a factor of z(-4)?
True
Let j(k) = -15*k**3 + 3 - 2*k**2 - k - 1 - k. Let y be j(-2). Is (-2)/3 + y/6 a multiple of 8?
False
Suppose 20 = -5*j, -18 = r - 6*r - 3*j. Is 3 a factor of r?
True
Let l(r) = 34*r - 2. Let x be l(2). Suppose -2*m + 0 = -2*n - 24, 3*n = -3*m + x. Is 9 a factor of m?
False
Let a be (-2)/(7/((-7)/2)). Is 12 a factor of 18/(-15)*a*-10?
True
Suppose 2*s = 4*c - 104, s = 5*c - 39 - 85. Is c a multiple of 8?
True
Let f be 1/2*(2 - -2). Suppose -3*g = f*r - 41, -3*g = -1 - 2. Is r a multiple of 11?
False
Let t be (-48)/2*49