t - 10 = 0. Is 23 a factor of d?
True
Let t = 3 - 15. Let s = -2 - t. Does 10 divide s?
True
Suppose 0*s - j + 12 = 4*s, 0 = 2*s - 3*j - 20. Suppose s*p + 19 - 83 = 0. Is p a multiple of 16?
True
Let m be (-2)/(-3) - (-434)/6. Let l(s) = -s + 5. Let p be l(5). Suppose p = 4*z + m - 233. Does 16 divide z?
False
Let i be (10 + 1)/(4/8). Let x be i/5 + (-2)/5. Suppose 4*d + 2*o + o = 67, 0 = x*d - o - 63. Does 8 divide d?
True
Suppose 8*z - 5*z = 75. Suppose -4*j + z = j. Suppose j*h + 2 - 45 = -q, 4*q - 151 = h. Does 17 divide q?
False
Let r(d) = 4*d - 2. Let b(o) = 3*o - 2. Let y(f) = -5*b(f) + 4*r(f). Let t be y(5). Is (-2)/t + 156/7 a multiple of 9?
False
Suppose 3*b + 2 - 5 = 4*w, 2*b + 3 = w. Let a(t) = 0 - 8*t + 2 - 5. Does 17 divide a(w)?
False
Suppose -13 = -5*a - 4*i, 0 = 5*a - a - 3*i + 2. Suppose a + 5 = 3*o. Suppose 4*y = -o*f + 56, 5*y - 4*f + 7*f = 72. Is y a multiple of 6?
True
Let x(n) = n**3 + 4*n**2 - 4*n - 6. Let a be x(-5). Let m = -6 - a. Suppose -7 = m*r - 132. Does 25 divide r?
True
Let j = -8 + 9. Let p(h) = h**3 - 1. Let f be p(j). Is 6 a factor of f + 15 + -3 + 6?
True
Let n(r) = -r**3 - 5*r**2 + 7*r + 7. Let w be n(-6). Let g = w + 6. Is 2 a factor of g?
False
Let q(b) = -b**3 + 9*b**2 + 5*b + 1. Is q(7) a multiple of 8?
False
Suppose -3 + 6 = -i. Let k be (i - 3)*(-1)/1. Does 9 divide 92/5 + k/(-15)?
True
Let n(d) = -d**2 + 4*d + 7. Let r be n(5). Let x be (-2)/5*(-2 + 27). Does 14 divide (4/x)/(r/(-70))?
True
Suppose -o + 48 = -30. Is 14 a factor of o?
False
Let n be 147 - (1 - (-6)/3). Let a = n - 102. Does 28 divide a?
False
Let x(w) = 4*w + 2. Let g be x(-5). Suppose 3*u = 18*u - 75. Let c = u - g. Is c a multiple of 6?
False
Let z be 0*2/(3 - 5). Suppose -c + 14 = -z*c. Is c a multiple of 8?
False
Let o be 0/(1*2/(-2)). Let j be (o/(-6))/(2 + 0). Is 9 a factor of (j + 1)/((-3)/(-102))?
False
Let p(w) = w**3 + 8*w**2 + 2*w - 2. Does 33 divide p(-7)?
True
Let x(k) = -k**2 + 39. Let q be x(0). Let y = q - 22. Is 17 a factor of y?
True
Let l = 119 - 70. Is 7 a factor of l?
True
Let h(o) = -2*o + 9. Let p(y) = -3*y + 13. Let l(w) = 7*h(w) - 5*p(w). Let x be l(4). Does 7 divide 39/x + (-12)/(-8)?
True
Let l(u) be the third derivative of u**8/6720 - u**7/630 - 7*u**6/720 - u**4/12 - u**2. Let g(x) be the second derivative of l(x). Is 9 a factor of g(6)?
False
Let i(s) be the third derivative of s**6/120 + s**5/10 + s**4/6 - s**3/3 - s**2. Let v be i(-5). Suppose -j - v*j = -48. Is j a multiple of 6?
True
Suppose -5*h = 3*s - 1450, s = -s. Is 13 a factor of h/22 - (-4)/(-22)?
True
Let z = 33 + -18. Is z a multiple of 15?
True
Does 19 divide (4 - -5)/((-2)/(-10))?
False
Let k = -10 + 14. Let u = 9 - k. Is 5 a factor of u?
True
Let k = 272 + -173. Suppose -4*f + 5*a + k = 0, -4*a + 53 = 5*f - 40. Is 11 a factor of f?
False
Suppose 5*q + 675 = 3*m + 2*m, 4*m - 570 = -2*q. Suppose 3*i = -b + 28, -4*b - 5*i + m = b. Does 14 divide b?
True
Let a(i) = -i**2 - 8*i + 7. Let v be a(-8). Let x = v - 5. Suppose 0 = n + 5*d - 16, -d - 2 = -x*d. Does 6 divide n?
True
Let g = -85 + 267. Is 26 a factor of g?
True
Let u = 5 + -6. Let o be u - -1 - (-6 - 69). Let t = o - 49. Is 13 a factor of t?
True
Let u(c) = -5*c + 6. Let s be u(5). Let f(a) = 3*a**3 + a**2 + a - 2. Let x be f(2). Let q = s + x. Is q a multiple of 7?
False
Suppose 3*a = j - 33, -j + 3*a + 31 = a. Is 27 a factor of j?
True
Let p be (636/15)/(2/(-10)). Is 9 a factor of p/(-6)*6/4?
False
Suppose s + 3*g + 1 = 19, 5*s + 3*g - 78 = 0. Suppose 0*d = -3*d + s. Is d a multiple of 5?
True
Does 8 divide (-320)/(-24) - 2/6?
False
Let r = -16 + 36. Suppose 4*h - 137 = -3*f - 32, -4*f = r. Is h a multiple of 9?
False
Is 2/9 - 176/(-18) even?
True
Let r be ((-32)/(-6))/((-1)/9). Let b = 80 + r. Is 16 a factor of b?
True
Suppose -5*o - 21 = 9. Is ((-95)/(-3))/(-5)*o a multiple of 16?
False
Suppose -4*q - 5 = -5*a, -q = a + 5 - 6. Suppose -3*h - 2*t + 37 = 0, -3*h + 27 = -q*t - 3*t. Let v = h - 4. Is 4 a factor of v?
False
Does 10 divide 5/25 + 702/15?
False
Let z(d) = 8*d. Let s be z(-1). Let j = -4 - s. Suppose 0 = -o + 2 + j. Does 3 divide o?
True
Let a(t) = 5*t**2 - t. Let h be a(-1). Suppose 2*m - 171 = 5*o, -3*o + h*o - 303 = -4*m. Is 31 a factor of m?
False
Suppose 2 + 128 = 5*y. Let c = 5 + y. Is 8 a factor of c?
False
Suppose 0 = -3*k + 2*m - 5, -m = 2*k + m + 20. Suppose 4 = -a + 2. Let w = a - k. Does 3 divide w?
True
Suppose -336 = -3*n - 111. Is 15 a factor of n?
True
Let b(q) = 8 + 7*q + 2*q**2 + 2*q + 3*q. Is 10 a factor of b(-8)?
True
Is (-2)/(-13) + 4 + (-1025)/(-13) a multiple of 10?
False
Suppose m = 2*j - 28, 3*j - j = -m + 32. Let q = 23 - j. Is q a multiple of 4?
True
Let w be (-2)/8 - (-939)/12. Suppose w = r - 15. Is r a multiple of 27?
False
Suppose 0*t = -5*t + 20. Suppose 6 = -t*f + 26. Is f a multiple of 2?
False
Let j(b) be the first derivative of b**4/4 + 5*b**3/3 + 4*b - 1. Let i(v) = -v**2 + v - 5. Let u be i(0). Is j(u) a multiple of 2?
True
Is 21 a factor of 54*(-119)/51*3/(-2)?
True
Suppose 2*c - 2 = 2*j + 196, -2*c + 4*j = -200. Suppose -f = -3*f + c. Suppose 5*o + 5*i = f + 31, i = -4*o + 76. Does 10 divide o?
True
Let x(p) be the first derivative of -15*p**2/2 + 3. Let o be x(-6). Suppose 2*t + 2*g = 4*g + 60, -2*g - o = -3*t. Is t a multiple of 15?
True
Let n be -1 + 2 + -3 + 94. Let y = -46 + n. Does 15 divide y?
False
Let f(q) = q**3 - 7*q**2 - 9*q + 12. Let c be f(8). Suppose -33 = -c*g + 15. Does 6 divide g?
True
Is (8/(-12))/(1/(-57))*1 a multiple of 21?
False
Let k = 0 - -3. Suppose 0 = i - k*i. Suppose 0*j + 33 = 3*r - 4*j, -2*r + 2*j + 20 = i. Is r a multiple of 7?
True
Let m(i) = -i**3 - 11*i**2 - 16*i - 16. Suppose 52 - 8 = -4*s. Let h be m(s). Let g = h - 106. Is 21 a factor of g?
False
Suppose 27*r = 1144 - 415. Is r a multiple of 8?
False
Let s be ((-1)/(-2))/((-4)/120). Let z = s + 25. Is 10 a factor of z?
True
Let o(f) = 2*f**2 + 5*f**3 - 1 - f**2 - 9*f**3 + 3*f. Let j be o(-3). Suppose 4*x = 89 + j. Does 13 divide x?
False
Suppose 5*m - 34 = 46. Is m a multiple of 16?
True
Let s(o) = 2*o - 1. Let m be s(4). Let n(u) = -u**3 + 8*u**2 - 4*u - 4. Let l be n(m). Suppose -4*y + 157 = t, -5*t + 128 = 4*y - l. Is 20 a factor of y?
True
Let y be ((-4)/6)/((-9)/54). Suppose -d + y*d - 18 = 0. Does 4 divide d?
False
Suppose 0 = -3*n + 2*s + 119 - 16, -n + 4*s = -31. Does 7 divide n?
True
Let m = 51 + -132. Let h = m + 123. Is 21 a factor of h?
True
Let u(h) = h**3 + 3*h**2 - 7*h + 24. Is u(-5) even?
False
Suppose -z + 40 = -5*z. Let j be (-68)/z + (-1)/(-5). Suppose -12 = 2*a + a, 0 = 3*n + 2*a - j. Is n a multiple of 2?
False
Let u(i) = i**2 - 9*i + 1. Let g be u(9). Let h(a) = a + 1. Let z be h(g). Let l(o) = 2*o**2 - 2. Does 6 divide l(z)?
True
Suppose -4*x + 3*y + 3 = 8, 4*x = 4*y - 8. Let j be -7 + 2 - 1 - x. Let p = -2 - j. Is 4 a factor of p?
False
Let g be (2/(-4))/(5/(-1420)). Suppose 5*m - g = -12. Does 13 divide m?
True
Let c = 217 - 121. Suppose 5*y - c = y. Does 11 divide y?
False
Suppose -4*f + 171 - 27 = 0. Is f a multiple of 9?
True
Let k(u) = -11*u**3 - 2*u**2 - 2. Let z = -8 + 6. Let w be k(z). Let s = w + -55. Is s a multiple of 23?
True
Suppose -4 + 0 = 2*j. Let t be 6*(j - (-20)/2). Suppose r = -r + t. Is r a multiple of 12?
True
Suppose 4*a = 2*a + 30. Is a a multiple of 13?
False
Suppose -2*k = -k. Let g = 5 + -2. Suppose g*p + 0*p - 69 = k. Does 12 divide p?
False
Let r = -62 + 167. Does 15 divide r?
True
Suppose -254 = -w - w + 2*y, -4*y = -2*w + 244. Is w a multiple of 22?
True
Let b(s) = -2*s**3 - 3*s**2 + s + 2. Let k(j) = 2*j - 1. Let g be k(-1). Does 13 divide b(g)?
True
Let z = 17 - 17. Suppose -5*n = 3*x - 253, z*n + 2*n - 247 = -3*x. Is x a multiple of 18?
False
Let q(m) be the second derivative of -m**3 + 1/4*m**4 - 3/2*m**2 - 3*m + 0. Does 14 divide q(5)?
True
Suppose 2*u - 21 = -7. Let h = u - 5. Does 7 divide (-12)/(-2) - (h - 3)?
True
Let r = -102 - -198. Is 11 a factor of r?
False
Suppose i + 2 - 17 = 0. Is 6 a factor of i?
False
Suppose -3*b = -13 - 2. Suppose -4*s - 3 = -b*s. Is 3 a factor of s?
True
Suppose 10 = -5*j, 5*r - 4*j - 199 = 4. Is 13 a factor of r?
True
Let r be 74 + -4 + 2 + 4. Let p be (-1)/5 + (-26)/(-5). Suppose -p*b = 5*z - r - 29, z - 61 = -3*b. Does 8 divide b?
False
Let y be 