227 = 5*j, 3*j = 3*o - 6*o - 168. Let u = o - -92. Is 13 a factor of u?
True
Let r(d) = 14*d + 1. Let c be r(2). Suppose 31 = 5*a - c. Does 12 divide a?
True
Suppose a + 4 = 2*s, 0 = 3*s - 2*s - 3. Suppose i - 4 + a = 3*o, 16 = 3*i - 4*o. Is i a multiple of 3?
False
Suppose -98 = -8*g + 7*g. Is 7 a factor of g?
True
Does 28 divide 10*(-3)/(60/(-728))?
True
Suppose -2*v = -5*v + 6. Suppose 4 = v*t - 4. Suppose -46 = -t*i + 34. Does 10 divide i?
True
Let b = -5 - -9. Suppose -9 = i + b*y, 2*i - 5*y + 18 = -0*i. Does 12 divide (-111)/i - (-2)/(-6)?
True
Let u = 5 - 0. Suppose u*q - 43 = 37. Suppose a - q = 9. Is 11 a factor of a?
False
Is 30 a factor of (-1 + -89)/(0 - 1)?
True
Suppose 4*v - 8 = 3*g, -5*g + 25 = -v + 2*v. Suppose g*d = 6*d - 24. Does 3 divide d?
True
Let j be (3*26)/(1/2). Does 5 divide (-2)/(-8) + j/16?
True
Suppose -3*l = -0*l + 36. Let j be (2 - (-81)/l)*4. Let c = 40 + j. Is c a multiple of 21?
True
Let p(o) = -o - 3. Let l be p(-6). Suppose 3*j + i + 0 = 10, l*j - 5*i - 4 = 0. Suppose u = 2*m - 65, -j*u + 5*u + 40 = m. Is 15 a factor of m?
True
Suppose -5*q - 48 = -198. Is 10 a factor of q?
True
Let x be (-12)/(-10)*(-2 + 7). Suppose f - 54 = -3*q, -5*q + 3*f + 90 = 2*f. Let t = x + q. Is t a multiple of 24?
True
Let j = -20 + 4. Let l = 32 + j. Does 16 divide l?
True
Let m = -4 + 8. Suppose -5*y - 5*c = -125, 0 = m*y - c - 16 - 99. Is 14 a factor of y?
True
Let c be (-1 - -3)*(-2)/(-2). Suppose -a = 2*n + 4, 3*n - 7 = -c*a + 7*a. Let l = 11 + a. Is l a multiple of 9?
True
Let z(l) = -l + 2. Let t be z(0). Suppose -t*u + 19 + 33 = 0. Does 6 divide u?
False
Let c = 15 - 25. Let l = -5 - c. Suppose 5*k - 71 = -4*u, -l*k + 59 = -2*u + 3*u. Is 9 a factor of k?
False
Suppose 0 = -5*p + 38 + 162. Is p a multiple of 12?
False
Is 14 a factor of (33/12 + -1)*48?
True
Suppose 4*h + 4*i - 128 = 0, 4*i = 3*h + 2*i - 101. Does 11 divide h?
True
Suppose 3*q + 8*q = 2420. Does 22 divide q?
True
Suppose 593 = 5*z - 1087. Is z a multiple of 42?
True
Suppose 3*c - 81 = 27. Is 6 a factor of c?
True
Let f(z) = z**2 - 4*z - 5. Let h be f(5). Let c be 9/6*4/6. Is 10 a factor of h + (22 - (c - 2))?
False
Let a(x) = -x + 3. Let h be a(5). Let l(t) = t**2 + t + 1. Let q be l(h). Suppose 0 = 5*b - q*b - 16. Does 3 divide b?
False
Suppose 0*q - 1332 = -4*q + 5*c, 2*c = 2*q - 664. Is q a multiple of 27?
False
Suppose -3 - 7 = -5*c. Suppose c*u + 3*u = 50. Let r(g) = -g**3 + 11*g**2 - 8*g - 1. Does 8 divide r(u)?
False
Let d be (-3)/9*(1 + 5). Is 3 a factor of (-69)/(-21) + d/7?
True
Let t = 10 + 33. Does 32 divide t?
False
Let o(x) = x + 2. Let z be o(5). Suppose 43 = 2*j + z. Is j a multiple of 10?
False
Let k = -8 - -8. Does 4 divide -4*(-4 - (k + -2))?
True
Is 5 a factor of 2/6 - 376/(-6)?
False
Suppose -2*u - 18 = -i - 80, -4*i = -3*u + 98. Let r = u + -1. Does 8 divide r?
False
Let l = -34 - -24. Let d = 44 + -28. Let n = d + l. Is 6 a factor of n?
True
Let q be (3/(-6))/(2/12). Does 21 divide ((-57)/(-5))/(q/(-15))?
False
Let l(q) be the second derivative of q**4/12 + 7*q**2/2 - 8*q. Is 11 a factor of l(-5)?
False
Let h be 0 + -3 - -5 - -2. Let x = 22 + h. Suppose 2*l - 6 - x = 0. Is 8 a factor of l?
True
Suppose -2*q - 147 = -k - 0*k, 4*q + 5*k + 259 = 0. Let x = -17 - q. Let s = x + -34. Is s a multiple of 7?
False
Let l = -114 + 198. Does 21 divide l?
True
Let a be 2 + -5 - (-4 - -3). Let i(d) = -12*d - 1. Is 23 a factor of i(a)?
True
Let p(i) = -i + 6. Let v(m) = -11*m + 7. Let z(l) = 5*l - 3. Let r(g) = -4*v(g) - 9*z(g). Let d be r(-1). Is 4 a factor of p(d)?
False
Let n = 88 + -29. Is n a multiple of 9?
False
Let l = 10 - 5. Let o(t) = t**2 + t + 2. Is 22 a factor of o(l)?
False
Let q be (-91)/(1*(-1)/1). Suppose 5*f = -7*u + 3*u + q, 5*u + 100 = 5*f. Is 8 a factor of f?
False
Suppose 2*t - 2 = n, -5*n + t = -2*n + 6. Does 26 divide n/6 + (-471)/(-9)?
True
Let h be (-3 - -41*2) + -1. Suppose 3*p - h = 3*t, -4*p + 6*t - 3*t + 99 = 0. Suppose -5*w - p = -6*w. Is w a multiple of 7?
True
Suppose 3*l = -l + 48. Does 4 divide l?
True
Suppose 3*h - 3 = 2*h. Let p = 7 - 4. Suppose -p*x - 2*c = -24 + 1, 3*c = -h*x + 18. Does 5 divide x?
False
Suppose -7*c + 2*c = -1080. Does 54 divide c?
True
Let m(p) = -p**2 - 8*p. Suppose 3*s = 12, -3*t - 4*s + 2*s - 4 = 0. Is m(t) a multiple of 9?
False
Let z be 1 - -2 - (2 - 1). Let s = 9 + -13. Does 3 divide 8 - z/s*-4?
True
Let b(l) = 3*l + 0*l**2 + l**2 + 1 - 2*l. Let c(q) = -q**3 + 5*q**2 - 8*q + 3. Let m(y) = 2*b(y) + c(y). Is 10 a factor of m(5)?
False
Let j(c) = c - 4. Let m be j(7). Let i(d) = -1 + 2 + 4 + d**m + 3*d**2 - 3. Is i(-2) a multiple of 6?
True
Let l(q) = q**2 - 3*q + 16. Is 14 a factor of l(8)?
True
Suppose 2*w = -w + 9. Suppose -w*t + 3*p + 781 = 2*t, -2*t + 302 = 4*p. Suppose 0 = y + 4*y - t. Does 17 divide y?
False
Suppose -3*t = -4*y - 2*t - 10, 0 = -2*y - 4*t - 14. Let g be ((-4)/y)/((-8)/12). Is 3 a factor of (-11)/g + (-1)/(-2)?
True
Let n(u) = -u**2 + 9*u + 10. Let p be 71*-2 + 2 + 0. Let i be (-1)/(-3) - p/21. Is n(i) a multiple of 11?
False
Suppose -v + 2 + 1 = 0. Suppose 3*n = -2*d + 48 + 11, v*n = -3. Is 15 a factor of d?
False
Let p be 9 + 1 - 4/2. Suppose -12 - p = -4*h. Suppose 5*m = h + 60. Is 13 a factor of m?
True
Let s(b) = -6 + b + 15*b + 0. Let j(k) = 4*k**3 - k**2 + 2*k - 1. Let r be j(1). Does 20 divide s(r)?
False
Let h(l) = -15 + l - l + 2*l + 19. Does 6 divide h(9)?
False
Let o(l) = l - 4 - l - 4*l. Is 3 a factor of o(-3)?
False
Let y = -60 + 148. Does 11 divide y?
True
Let c = -2 + 2. Let o(w) = 4*w - w**2 + 4*w + 2*w - 9 + c*w**2. Is 6 a factor of o(8)?
False
Let x = -75 - -93. Is x a multiple of 4?
False
Suppose h + 4*h = 145. Suppose -2*m + i = -29 - 14, -m + 2*i = -h. Is m a multiple of 19?
True
Suppose 5*d + 2*h - 244 = -42, -4*h = -d + 36. Is d a multiple of 8?
True
Let p(b) = -4*b - 8. Let i(f) = -f. Let u(d) = -3*i(d) + p(d). Let q be u(-10). Suppose -q*a - 2 = 0, -3*v + a - 2*a + 32 = 0. Is v a multiple of 9?
False
Let q be 27/6*20/45. Suppose 4*a - 66 = q*a. Does 15 divide a?
False
Let h = -10 + 51. Is 6 a factor of h?
False
Suppose 0 = b - 2*n - 10, 2*b - 4*b = -3*n - 15. Suppose -5*h + 2*u = -b*h - 130, -h - 3*u + 26 = 0. Is 13 a factor of h?
True
Suppose -5*b = 25, -4*c - b + 0*b + 95 = 0. Is c a multiple of 13?
False
Suppose -i = -2*y - 3*y + 48, 5*y - 60 = 5*i. Is y/6 + (-23)/(-2) a multiple of 9?
False
Let c = -3 + 5. Let p = 7 - c. Suppose p*u - 2*u + 4*x = 8, 5*x - 20 = -5*u. Is 5 a factor of u?
False
Let w(r) = r**3 + 21*r**2 - 19*r + 7. Is w(-21) a multiple of 14?
True
Let l = 778 - 420. Is 52 a factor of l?
False
Suppose -18 = -4*j + 2. Suppose -2*z = -0*i - 5*i + 64, -2*i + 20 = 2*z. Suppose -3*v + 4*n + i = 0, 0*n - 20 = -j*v - n. Does 4 divide v?
True
Suppose -y + 2*r - 1 = 2, 0 = 3*y - 3*r. Suppose q - 8 + y = 0. Is 3 a factor of q?
False
Does 18 divide (-12)/8 + 195/10?
True
Let h(r) = r**3 - 26*r**2 + 3*r + 6. Is 21 a factor of h(26)?
True
Suppose 46 = 4*o - 170. Is 27 a factor of o?
True
Suppose 5*s + 10 = 3*s. Is 22 a factor of (s - -3)/((-1)/11)?
True
Let a = 6 - 4. Suppose a*t + 0*s + 328 = 3*s, s = 5*t + 846. Is t/(-7) + (-2)/7 a multiple of 10?
False
Let n(o) = -o**3 - 9*o**2 - 7*o + 11. Let u be n(-8). Suppose 0*m = u*m - 6. Suppose 0 = -0*x + m*x - 26. Does 13 divide x?
True
Suppose 5*s - 450 = -r, -3*s + 55 = -r - 223. Is s a multiple of 12?
False
Suppose 21*c - 17*c - 220 = 0. Suppose c + 8 = 3*q. Is 7 a factor of q?
True
Let v(k) = -k**3 + 13*k**2 + 14*k + 24. Is 8 a factor of v(14)?
True
Is 2 a factor of ((-3)/2)/(6/(-32))?
True
Suppose -4*j = -1 + 5. Let o = -1 + j. Is 3 a factor of (1 - 0)*(-6)/o?
True
Let t = -2 - -4. Suppose 0 = 4*v - t*h - 49 - 11, -h - 44 = -3*v. Is v a multiple of 8?
False
Suppose r - 4*s + 18 = -25, -5*s = r + 25. Suppose -n - 18 = n. Let k = n - r. Is 9 a factor of k?
False
Suppose 0 = -3*d + 2*d + 3. Is 3 a factor of d?
True
Suppose 0 = -2*p + 14 - 2. Is 2 a factor of p?
True
Is 21 a factor of (-24)/(-6) + (1 - -16)?
True
Let m(v) = 5*v**2 - 3*v + 3. Let z = -2 + 6. Suppose 5*i - 8 = -z*k, 0 = -2*k - 0*k + 5*i + 4. Does 13 divide m(k)?
False
Let a = 85 - 23. Does 20 divide a?
False
Let l = 4 + 8. Let k = -8 + l. Suppose -k*r + 0*r = -176. Is 22 a factor of r?
True
Let d(r) = -r**3 - 5*r**2 - 9*r 