e 437 = 6*t - 13. Is t a multiple of 15?
True
Suppose 0 = 2*v + v. Suppose 10*u = 8*u + 144. Suppose -3*i - q + u = 3*q, v = 4*i + q - 83. Does 9 divide i?
False
Suppose 2*k = -z - 228, 7 = 2*z - 1. Let v = -77 - k. Does 13 divide v?
True
Let l be (16/(-6))/((-3)/(-9)). Let k(x) = 0*x**3 + 8*x**2 - 2*x - 10 + x**3 + 4. Is k(l) a multiple of 5?
True
Suppose -z = z - 92. Does 6 divide z?
False
Is 12 a factor of (-3)/((-6)/166) - -1?
True
Suppose 357 = 4*a + 2*g + 95, 3*a - 3*g = 201. Does 22 divide a?
True
Let v(b) = -2*b**3 - 3*b**2 + 5*b + 5. Let x be v(-4). Suppose -6*h + 11*h - x = 0. Is 9 a factor of h?
False
Let x = -6 + 5. Let c = x - -13. Does 5 divide (152/c)/(2/3)?
False
Let t = 6 + 21. Suppose -2*v - t = -4*o + 3*v, 3*o - 21 = 4*v. Is 5*o + (-2)/2 a multiple of 5?
False
Let q be 35/2 - 3/6. Let o = q - 3. Suppose 2*i = 4*d + 104, i - 32 = -4*d + o. Does 25 divide i?
True
Let l(w) = -w**3 - 4*w**2 + w. Does 5 divide l(-5)?
True
Suppose r + 2*n = -2*n - 9, 3*r - 3*n + 57 = 0. Suppose -4*p - 105 = -3*s - 0*s, -5*s + 149 = 2*p. Let u = s + r. Does 14 divide u?
True
Let x = 77 + -21. Is 14 a factor of x?
True
Let u(t) = t**3 - 7*t**2 + 6*t + 5. Let n be u(6). Suppose 0*h = -r + h + 19, h = n*r - 75. Is 12 a factor of ((-7)/(-2) - 1)*r?
False
Let h be (-4)/(-18) - (-20076)/54. Is h/4*8/12 a multiple of 24?
False
Let g(n) = n**3 - 8*n**2 - n + 5. Let w be g(8). Let d = 3 + w. Suppose d = q - 5 - 0. Is 2 a factor of q?
False
Let k be 2/1*(4 - 2). Suppose -2*m = 2*m - k*d - 160, 114 = 3*m - d. Is 16 a factor of m?
False
Suppose 2*x = -0*x - 2*i + 16, -4*i = -4*x + 8. Let q = 5 + x. Is q a multiple of 10?
True
Suppose 2*j + j = 15. Suppose 3*a - 19 = -3*z + j, -4*z = -4*a - 48. Does 5 divide z?
True
Let i be 3/((-3)/20) + -1. Is 3 a factor of ((-16)/24)/(2/i)?
False
Suppose 0 = -3*k + k + 26. Let r = k - -55. Does 18 divide r?
False
Is 2 - (132/4)/(-1) a multiple of 24?
False
Let q(a) = 2*a. Let u be q(2). Suppose -5*g - 16 = -4*j, 0*g = j + g - u. Does 4 divide j?
True
Let w = -20 + 68. Suppose 0 = 2*h + 2*h - w. Is 11 a factor of h?
False
Let u(y) = -2*y**3 + y**2 + y - 1. Does 17 divide u(-2)?
True
Let m(j) = 2*j**3 - 7*j**2 + 4*j - 15. Does 16 divide m(5)?
True
Suppose 75 = 4*q + 203. Let l = 55 + q. Is 16 a factor of l?
False
Let k be (-2)/4*(-1 + 3). Let q = 10 - k. Is q a multiple of 11?
True
Let x be (3 + -2)/((-2)/6). Let l(h) = -h**3 - 4*h**2 - h + 4. Let a be l(x). Let m = a + 15. Is 6 a factor of m?
False
Let x(f) = f**2 + 7*f + 8. Let a be x(-6). Suppose 4*o + b + 12 = 129, a*o - 5*b - 75 = 0. Is 15 a factor of o?
True
Let f(b) = b**3 - b**2 - b - 5. Let y be f(5). Let v = 21 + -17. Suppose -o + y = v*o. Is 9 a factor of o?
True
Let r be (6/(-2))/(-3 - -2). Let k(a) be the second derivative of a**4/6 - a**3/6 + a**2 - 2*a. Is 13 a factor of k(r)?
False
Let d(i) = 4*i**3 - 19*i**2 + 12*i + 16. Let b(a) = -a**3 + 5*a**2 - 3*a - 4. Let w(p) = 9*b(p) + 2*d(p). Does 7 divide w(6)?
True
Let o = -2 + 35. Is 11 a factor of o?
True
Let i = -9 + 11. Is 9 a factor of (-3 - 0)*(-5 + i)?
True
Let j(n) = 2*n**2 - 3*n + 3. Let c be j(-6). Suppose 5*b - c = 7. Does 10 divide b?
True
Let o = 21 + 1. Let v = 45 - o. Is v a multiple of 22?
False
Suppose -2*c = -5*l - 62, 7*l + 46 = 3*l - 2*c. Let v = l + 52. Does 11 divide v?
False
Let j(u) be the first derivative of u**4/8 - u**3/3 - 2*u**2 - 3. Let k(l) be the second derivative of j(l). Is 9 a factor of k(4)?
False
Does 32 divide (5/(-7) - -1) + (-1448)/(-28)?
False
Suppose 118 + 38 = 4*j. Suppose v - 28 = -3*r - 0*v, -j = -4*r - 3*v. Is 8 a factor of r?
False
Let l = 34 + -31. Is 2 a factor of l?
False
Let z be (-3 + -3 + 1)*-1. Suppose z*a - 4*x - 48 - 236 = 0, 0 = 5*x - 20. Suppose -18 = 3*v - a. Is 7 a factor of v?
True
Suppose 3 = 5*k - 4*x, k - 2*x = -4*k + 9. Suppose 0 = -k*q + 241 - 70. Is q a multiple of 22?
False
Let z(p) = -3*p**2. Let u be z(1). Is u - ((-73 - 0) + -2) a multiple of 24?
True
Suppose -3*f - 4*j = -25, 0*f + 5 = -f + 2*j. Suppose -8*s + f*s = -25. Is s a multiple of 4?
False
Let a(q) = -q**3 - 6*q**2 - 2*q - 9. Let i be a(-6). Let s(h) be the third derivative of h**6/120 + h**4/24 - h**3/3 - h**2. Is s(i) a multiple of 14?
True
Suppose -4*i + 7*i + 3*f = 687, i - 2*f - 214 = 0. Is 17 a factor of i?
False
Does 12 divide ((-24)/9 - 0)/((-5)/135)?
True
Let g be 23/((15/6)/5). Suppose 4*j - g = 46. Is 4 a factor of j?
False
Let x(d) = d**3 + 5*d**2 - 6*d + 4. Let w be x(-6). Is 5*w + 2 + -2 a multiple of 10?
True
Let c(a) be the first derivative of a**4/4 + 5*a**3/3 - a**2 + 6*a - 3. Is c(-5) a multiple of 13?
False
Let c(a) be the third derivative of -43*a**4/24 - a**3/6 - 5*a**2. Is 14 a factor of c(-1)?
True
Let q = 4 + -3. Let v be (-1)/q*(-1 - -1). Is 3 a factor of v + 1 + (-2 - -4)?
True
Suppose -t + 7 = w - 2, 3*w + 4*t = 30. Is 96/9 - (-2)/w a multiple of 11?
True
Suppose 2*v - 158 = -n, 3*n - 4*v - 61 - 373 = 0. Does 25 divide n?
True
Let t = -22 + 31. Does 2 divide t?
False
Is (2 - (-3 + 1)) + 20 a multiple of 12?
True
Suppose 0 = z + 4*h - 2*h - 11, -4*h = 8. Suppose -5*c - z = -0. Is ((-1)/c - 2)*-18 a multiple of 15?
True
Is (10 + -8)/((-2)/(-121)) a multiple of 34?
False
Let h = -1 - -4. Suppose -35 = -h*r + 1. Is 10 a factor of r?
False
Suppose -7*v + 10*v - 381 = 0. Is v a multiple of 40?
False
Let g be (-2)/(-8) + 806/8. Let f = g + -44. Suppose 2*b = -b + f. Does 19 divide b?
True
Suppose -3*j - 1569 = -5*c, 3*c = 2*j - 5*j + 927. Is 13 a factor of c?
True
Let z = -4 + 4. Suppose -2*b + 4*b - 12 = z. Is 5 a factor of b?
False
Let l = 47 - 87. Let u = -151 - l. Let t = -67 - u. Is t a multiple of 17?
False
Let u(o) = 13*o + 3. Let b(h) = -3*h - 1. Let p(z) = 9*b(z) + 2*u(z). Let t be p(-5). Suppose 57 = k + t*k. Is 12 a factor of k?
False
Suppose -4*j - 3*w = -75, j - 6*j + 114 = -3*w. Is 7 a factor of j?
True
Suppose -4*v - 23 - 1 = 0. Let d(l) = -l**2 - 7*l - 3. Let y be d(v). Suppose 0 = y*o - 2*b - 14, -24 = -3*o - 3*b + 15. Is 4 a factor of o?
True
Suppose -4*i + 7*i = 285. Is i a multiple of 16?
False
Let i(l) = l**2 + 7*l + 9. Let f be i(-7). Let n(o) = -3*o + 3. Let w be n(2). Let h = f + w. Is h a multiple of 3?
True
Let d(k) = k**3 + 6*k**2 - 7*k + 7. Let u(n) = -n**3 + 10*n**2 - 11*n + 12. Let c be u(9). Is d(c) a multiple of 18?
False
Let q(j) = -9*j + 1. Let a be q(5). Let d be 4/22 + (-2868)/44. Let x = a - d. Does 12 divide x?
False
Suppose 4*y + 5*b - 20 = b, 4*y + 5*b = 20. Suppose -v = -0*v - 4*o - 34, y*v - 55 = -3*o. Is v a multiple of 14?
True
Let d = 53 - 20. Suppose 0 = -2*m + 1 + d. Does 9 divide 2 + (-1 - 0) + m?
True
Suppose 38 = 2*u + 3*b, 4*u - 2*u - 2*b = 38. Is u a multiple of 5?
False
Suppose -486 = -3*z + 684. Does 65 divide z?
True
Let h(c) = c + 13. Let y be h(-9). Suppose 4 = y*b + 2*x - 2, b - 4 = 2*x. Is b a multiple of 2?
True
Does 6 divide (0 + -2 - 2) + 28?
True
Suppose 308 = 4*l - 3*g, 5*g + 44 = 2*l - 96. Suppose 110 = 3*d + d + 2*m, -m - l = -3*d. Is 9 a factor of d?
True
Let s be (-40)/(-6)*(-12)/(-5). Let a be 0/(-3 - -2) + s. Let t = 29 - a. Is 8 a factor of t?
False
Let i(n) = -2 - 2 - 6*n**2 - 6*n + n**3 + 4*n + 3*n**2. Is i(5) a multiple of 9?
True
Let i(h) = 3*h**3 - 3*h + 2*h + 0*h + h**2. Let y be i(1). Suppose y*r - 32 = 34. Is 22 a factor of r?
True
Let o = 8 + -5. Let m(h) = o*h + 0*h + 3 - 1 - 2*h. Is 2 a factor of m(1)?
False
Suppose -8 = 2*a, -99 + 28 = 3*j + 2*a. Let u be (j/2)/((-3)/4). Let p = 20 - u. Is 6 a factor of p?
True
Let p(b) = -2*b**3 - b**2 + 3*b + 1. Let i be p(-3). Is i/1*2/2 a multiple of 17?
False
Suppose 3*f = 2*p + 49, 3*p + 21 = -0*f + f. Is 5 a factor of f?
True
Let l(c) = 8*c - 3. Let m(r) = -r**3 - 3*r**2 + 4*r + 4. Suppose -3 = -3*g - 15. Let o be m(g). Is l(o) a multiple of 19?
False
Let a be (-1)/1 - (-115 + 1). Let g = a + -51. Is 31 a factor of g?
True
Suppose -5*p - 152 = 4*l, -3*p - 2*l = p + 124. Let u = -7 - p. Is 14 a factor of u?
False
Let f(s) = s**2 - s - 3. Let o be f(3). Suppose -w + 54 = 2*w + t, 54 = 3*w + o*t. Is 9 a factor of w?
True
Let i(u) be the third derivative of u**4/6 + 5*u**3/6 + u**2. Let p be 15/2*(-4)/(-6). Does 13 divide i(p)?
False
Let g = -68 - -73. Does 2 divide g?
False
Suppose 2*y - 2826 = -4*h, -h = h + 5*y - 1433. Does 27 divide h/13 -