= 6*u, -13 = -u + f. Is 9 a factor of u?
False
Let h = 17 - -7. Is 12 a factor of 49/2 + 12/h?
False
Let x(n) = 11*n. Let k(z) = -286*z. Let u(j) = -3*k(j) - 77*x(j). Does 11 divide u(2)?
True
Let h = -2 - -6. Let r(d) = d**2 + 5*d + 2. Does 22 divide r(h)?
False
Let x be (-4)/(-3) - 2/(-3). Suppose -2*o = 4 + 6, -x*f - o = -25. Is f a multiple of 8?
False
Let b be 8/20 - (-4)/(-10). Suppose b = -2*f - 4, f + 162 = -0*h + 4*h. Does 20 divide h?
True
Suppose -2*s = -m - 123, 4*m - 29 + 9 = 0. Does 32 divide s?
True
Suppose 181 = 4*z + 4*c - 67, -300 = -5*z - 3*c. Is z a multiple of 20?
False
Let n be (0 - -1)*-162 - 0. Let v be n/(-10) - 1/5. Let c = v + -5. Is c a multiple of 4?
False
Let i = -30 + 58. Does 12 divide i?
False
Suppose -4 = -v - 2*q, 5*v = -2*q - 3*q + 45. Let j = 40 - v. Does 5 divide j?
False
Suppose 0 = h + 3*h - 60. Suppose -k + h = 2*k. Suppose 0*i = -k*i + 230. Is 20 a factor of i?
False
Let z = 3 - -8. Suppose l - z = -3*j - j, 4*l - 14 = -j. Is 13 a factor of -1 - ((-9)/l - 44)?
False
Suppose -s + 32 = 2. Is 10 a factor of s?
True
Suppose 132*o - 136*o = -136. Does 17 divide o?
True
Does 15 divide (-753)/(-12) + (10/(-8))/(-5)?
False
Suppose 2*a = 3*z + 155 - 981, -1377 = -5*z + 3*a. Is 23 a factor of z?
True
Suppose 3*s - 4*p - 309 = 0, -2*p + 309 = 3*s - 7*p. Is 13 a factor of s?
False
Let b = -10 - 5. Let l = b - -21. Let o = l - 1. Is 5 a factor of o?
True
Suppose -7 = 5*d + s, -5*s = 2*d + 2*d - 7. Let j be 1 + 27 - d - -2. Is j - (3 + -2 + 1) a multiple of 14?
False
Suppose 5*l = l. Suppose -5*k = -p + 36, -4*p - 3*k + 8*k + 174 = l. Does 23 divide p?
True
Suppose 5*u + 8 - 103 = 0. Is u a multiple of 19?
True
Suppose 0 = -5*w + 16 + 54. Suppose l + w = 3*l. Is 7 a factor of l?
True
Suppose 4*r = -3*r + 42. Is r a multiple of 2?
True
Let q(f) = 1. Let r(l) = 6*l - 5. Let p(d) = -2*q(d) - r(d). Let c be p(2). Let t(w) = -w. Is 6 a factor of t(c)?
False
Suppose 14 = 5*y - 3*y - 2*s, -7 = -y - 4*s. Let b(r) = -r**2 + 6*r + 1. Let i be b(y). Let w(o) = o**2 + 2*o - 4. Is w(i) a multiple of 10?
True
Let b(s) be the first derivative of s**4/4 - 2*s**3 + 3*s**2 - 3. Let z be b(5). Suppose m + 3*m - 36 = -2*a, 3*m - z*a - 14 = 0. Is 4 a factor of m?
True
Suppose -417 = -0*v - 3*v. Let l = v - 99. Is l a multiple of 12?
False
Let u = -274 + 465. Is u a multiple of 12?
False
Let b = 345 + -171. Is b a multiple of 29?
True
Let o be 1 + (-1)/(-1) - 3. Let x(d) = 8*d. Let f be x(o). Let y = 10 - f. Is y a multiple of 11?
False
Let t(l) = 3*l**3 - 3*l**2 + 3*l - 1. Does 3 divide t(2)?
False
Let i = 7 - 5. Suppose i*n = -0*n + 10. Suppose -u = c + c - 5, u + 5*c - n = 0. Does 5 divide u?
True
Suppose -3 = g + 5. Let l = g + 31. Does 14 divide l?
False
Suppose -a + 4*y + 34 = 3*y, 0 = a + 4*y - 29. Is a a multiple of 11?
True
Let a(g) = -4*g. Let d(t) = -9*t**3 + 2*t**2 - 1. Let b be d(1). Is 24 a factor of a(b)?
False
Let z(p) = -2*p**3 - 2*p**2 - 3*p. Let s be (5 + -1)/(-7 - -5). Is z(s) a multiple of 10?
False
Let q(o) = -2*o**3 - o**2 - o + 4. Let w be q(-4). Suppose 3*n + n - w = 0. Is 6 a factor of (9/(-6))/(-3)*n?
False
Suppose -5 = 3*t + l + 3, 5*t + 4*l + 18 = 0. Let n be 1*-2 - (-8)/t. Is ((-8)/n)/(4/42) a multiple of 7?
True
Let s(x) = x**3 + 6*x**2 - 4*x - 11. Is s(-6) a multiple of 13?
True
Let b be -76*(3/(-6) + 0). Let z be (-4)/(-6)*3/2. Is 8 a factor of ((-2)/(-4))/(z/b)?
False
Let v(z) = -z**2 - 5*z - 3. Let g be v(-5). Is 7 a factor of ((-9)/2)/g*8?
False
Suppose -u - 2*w - 11 = 0, u - 3*w = -2*u + 12. Is 12 a factor of 35/2 - u/(-2)?
False
Let w(k) = -3*k**3 + 5*k**2 + 5*k - 4. Let q be w(-4). Suppose 0 = 7*x - 3*x - q. Is 31 a factor of x?
True
Let t(m) = m**3 + 3*m**2 - 2*m - 3. Let v be t(-2). Suppose 98 + 52 = v*w. Is 10 a factor of w?
True
Suppose 3 = -3*u - 0. Let n(a) be the second derivative of -3*a**5/20 - a**4/6 + a**2/2 + a. Is n(u) even?
True
Let x(t) = 7*t**3 - 5*t**2 + 3*t - 4. Is 12 a factor of x(3)?
False
Let v = 62 + -21. Let m = 82 - v. Does 17 divide m?
False
Suppose 2 = -q + 19. Let u = q + 9. Does 26 divide u?
True
Let o(j) = -j**2 + j - 1. Let m(s) = -7*s**2 - s + 1. Let l(n) = -m(n) + 6*o(n). Let c be l(-5). Is (c/2)/(1/(-2)) a multiple of 17?
True
Let w = -131 + 205. Does 7 divide w?
False
Suppose 2*h = -4*t + 8, -3*h - 2*t = 8 - 28. Suppose h = 3*x - 0*u + u, -4*x - u = -12. Let d(i) = 8*i. Is 16 a factor of d(x)?
True
Is 4 a factor of (-74)/(-4) + (4 - 44/8)?
False
Let p(c) = 16*c**2 + c + 2. Let m be p(4). Suppose 4*n - m + 10 = 0. Is 21 a factor of n?
True
Suppose -312 = 3*u + 3*k, -5*k + 2 = -3. Does 8 divide u/(-3) + 3/(-1)?
True
Let d = -126 + 274. Suppose -d = -4*y + 156. Suppose -4*k = -5*h + y, 16 = 3*h - 2*k - 28. Is h a multiple of 12?
True
Let q(t) = -t**3 + t + 5. Let d be q(0). Suppose -b - 4*b = f - 121, -3*f - 117 = -d*b. Suppose -5*r = -m + b, 3*r + 0 = -6. Is m a multiple of 7?
True
Let y(r) be the second derivative of -r**5/20 - 5*r**4/12 + r**3/2 - 3*r**2/2 + r. Does 10 divide y(-6)?
False
Suppose -4*j - o = -0*o - 51, 0 = 5*j + 5*o - 45. Is 3 a factor of j?
False
Let n(p) = -29*p - 24. Is n(-6) a multiple of 25?
True
Is 29 a factor of 29 + (-3)/3 + 1?
True
Suppose -f + 3 = -2*m, 0 = -0*f - 5*f + 15. Let z be -2*2/8*m. Suppose -q = -z*q - 28. Is 14 a factor of q?
True
Let w(n) = 42*n**2 + 5*n - 4. Does 7 divide w(1)?
False
Suppose 0 = 2*p - 2 + 4, 3*p = 2*j - 697. Is j a multiple of 16?
False
Let i be (-2)/8 + 4/16. Suppose -4*z - 4*x - 6 = -34, 5*z - x - 5 = i. Suppose 14 = 3*d - 2*c - 26, -z*d + 20 = -3*c. Does 8 divide d?
True
Suppose -3*s + 7 + 5 = -3*q, -5*s = -q - 12. Let o = -365 + 511. Suppose -99 = -3*c + 5*k, 0 = 3*c - s*k + 47 - o. Does 12 divide c?
False
Let y(n) be the first derivative of 20*n**3/3 + n**2/2 - n + 1. Is y(1) a multiple of 10?
True
Suppose 2*b - 68 = -2*b. Is b a multiple of 4?
False
Let o = -317 - -511. Is 11 a factor of o?
False
Let w(d) = -10*d**2 + 4*d - 4. Let o be w(2). Let k = o - -75. Is k a multiple of 27?
False
Let a = 22 - 16. Suppose 0 = g - a*g - d + 255, -g + 47 = d. Suppose 5*n - 18 = g. Is 14 a factor of n?
True
Let o(r) = -r. Let a(v) = -7*v - 3. Let b(k) = a(k) - 4*o(k). Let q be b(-6). Suppose -19 = -c + q. Does 13 divide c?
False
Let l = -21 - -29. Let q be l/6 + (-2)/6. Does 18 divide 36 + 0/(0 + q)?
True
Let v(a) = -a**3 - 3*a**2 - a - 5. Let k be v(-4). Does 5 divide k/35 + (-102)/(-7)?
True
Suppose -p + 62 = -4*d, -6*d + 3*d - 313 = -4*p. Is 12 a factor of p?
False
Suppose -5*i = 25, 2*b + 0*i - 1 = i. Let k = b + 30. Does 14 divide k?
True
Suppose -2*j + 0 = -4*o + 4, 2*o + 5*j - 26 = 0. Suppose o*h - h = 102. Is h a multiple of 13?
False
Let m(x) = 3*x - 9. Let g(f) = -f**3 - 2*f**2 + f + 1. Let j be g(-3). Let o be m(j). Let s = 24 - o. Is s a multiple of 6?
True
Let q be 1*-3*(-2)/6. Let w(z) = 18*z**3 - z**2 + z - 1. Does 12 divide w(q)?
False
Let v(c) = 5*c + 1. Let y be v(1). Let n be -2 + -3*(2 - y). Suppose -a + 7 + n = 0. Is 13 a factor of a?
False
Suppose -2*p + 1 = -9. Suppose p*d = 2*d + 81. Is 10 a factor of d?
False
Let o(k) = -16*k + 4. Let u be o(2). Let g = 69 + u. Suppose -b + g = 3. Does 18 divide b?
False
Let q(n) = n**3 - 3*n**2 - 2*n - 6. Let j be q(6). Let t = j - 43. Is t a multiple of 17?
False
Suppose 0 = 2*q + 3*q - 5. Suppose -3*j = -5 - q. Suppose -j*b = 0, 2*w - 1 = -5*b + 7. Does 4 divide w?
True
Suppose 3*c - 4 = -1. Let d = c + 17. Does 11 divide d?
False
Is 26 + (4 - 13)/3 a multiple of 17?
False
Suppose -2*x = -x - 23. Let l = 43 - x. Does 10 divide l?
True
Let t(l) = l**3 - 10*l**2 - 11*l - 10. Let h(z) = -6*z**3 + 51*z**2 + 56*z + 50. Let v(y) = -2*h(y) - 11*t(y). Is 7 a factor of v(-6)?
True
Suppose 12*c + 870 = 17*c. Does 58 divide c?
True
Let b(t) = t**2 + 4*t. Is 12 a factor of b(2)?
True
Let f = -3 - -3. Suppose f*c + 2*c = 30. Does 15 divide c?
True
Suppose 0 = 6*k - 3*k - 189. Is k a multiple of 9?
True
Suppose -3*w + 3 = 3*g, -2 = -0*g - 2*g + 4*w. Let c be -6 + 4 + g + 145. Let z = c + -75. Does 25 divide z?
False
Let d(x) = x**3 - 6*x**2 + 10*x - 9. Suppose -2*h + 24 = 2*h. Is 17 a factor of d(h)?
True
Suppose 15*k - 20*k + 1360 = 0. Is k a multiple of 17?
True
Suppose -16*f - 13 = -17*f. Does 13 divide f?
True
Let o be (-2)/(4/(-10)) + -3. Suppose 3*m = -3*q + 20