 41, -3*i - 34 - 44 = -3*p. Is p a multiple of 29?
True
Suppose -l = -0*k + 5*k - 11, l = 2*k - 3. Let f be (k/(-6))/(1/(-12)). Suppose h + f*z = 16, 3*h = 5*h - z - 50. Is 12 a factor of h?
True
Let h = 36 + 20. Is h a multiple of 16?
False
Suppose 0*t = -5*t - 5*m + 160, -5*t + m + 178 = 0. Is 9 a factor of t?
False
Suppose 6*f = 15 + 9. Is f a multiple of 2?
True
Suppose 2*x - 5*w = 10 - 2, -3*x + w = 1. Let t(j) = -8*j - 1. Does 7 divide t(x)?
True
Let p(f) = 44*f**2. Is 22 a factor of p(-1)?
True
Let j(m) = -m + 1 + 3 + 2. Is 8 a factor of j(-9)?
False
Let q(b) = b**3 - 6*b**2 + 4*b + 7. Let m be q(5). Let c be (1 - m)/((-1)/4). Suppose 5*h + y - 24 = -3*y, -4*y + 20 = c*h. Is h a multiple of 4?
True
Suppose -21*a + 19*a + 34 = 0. Does 8 divide a?
False
Let y(g) = g**3 - g**2 - 2*g + 57. Is 19 a factor of y(0)?
True
Let n(z) = z**3 - z**2 - 2*z - 1. Let s be n(-2). Is s*((-272)/(-12))/(-4) a multiple of 14?
False
Let s(d) = -99*d**3 + 2*d**2 + d. Suppose o - 1 = -2. Let l be s(o). Suppose -r + 3*r - l = 0. Does 19 divide r?
False
Let g(q) = -36*q - 14. Does 35 divide g(-6)?
False
Let k = -2 + 4. Suppose 4*x = -3*t + 18, -k*t - 7*x = -2*x - 19. Let n = t - -24. Does 13 divide n?
True
Suppose 3*s = 2*a + 68, 4*s = a - 6 + 30. Let l = 72 - a. Suppose 3*c + c - l = 0. Does 14 divide c?
True
Suppose -4*a + 0*a = 5*y + 47, 5*y + 7 = a. Let k(f) = -f**3 + 6*f**2 - 4*f. Let j be k(6). Let o = a - j. Is o a multiple of 16?
True
Suppose -130 = -4*g + 294. Does 27 divide g?
False
Suppose 4*b - 18 = m, -4*m + 3*b = -b + 24. Does 15 divide -3 + (m - 33*-2)?
False
Let l(g) = 119*g**3 + g**2. Is l(1) a multiple of 12?
True
Let i(s) = 4*s**2 - 2*s - 3. Let n be i(-2). Let m = n - 29. Is (-4)/6 + (-212)/m a multiple of 8?
False
Let t be (84/5)/3*-10. Let h = 78 + t. Is h a multiple of 16?
False
Let g be 238/8 - 2/(-8). Suppose -o = -4*o + g. Is o a multiple of 10?
True
Let l = 95 + -65. Is l a multiple of 4?
False
Let j(z) = -5*z + 2. Is 7 a factor of j(-5)?
False
Let v be -3*(2 - 20/6). Suppose 0 = -3*z + v*z - 2. Suppose -2 = z*a - 24. Does 11 divide a?
True
Let k(v) = -2*v**2 + 2*v - 13. Let g(n) = -3*n**2 + 3*n - 13. Let f(z) = 3*g(z) - 4*k(z). Is f(0) a multiple of 3?
False
Let j(x) = 12 - 1 + x**2 + 22. Let k = -2 - -2. Is 12 a factor of j(k)?
False
Does 4 divide 404/10 + (-6)/(-15)*-1?
True
Let i(q) = 58*q**3 + 5*q**2 - 3*q - 1. Is 18 a factor of i(1)?
False
Suppose -4*q + 5*k + 13 = -4, 2*q - k = 13. Is q a multiple of 6?
False
Let w(y) = 7*y**3 + 4*y**2 - 6*y + 9. Is 36 a factor of w(3)?
True
Let j = -3 + 7. Suppose 2*g + 20 = j*g. Suppose -i = -0 - g. Is i a multiple of 4?
False
Suppose 4*l = -p - 2, 2*p + 5*l - 1 = 4. Is p a multiple of 10?
True
Suppose 5*s - 235 = -5*d, 3*s = -s - 16. Is 17 a factor of d?
True
Let a be (2/(-2))/((-4)/20). Suppose 0 = 2*d - 4*d + 90. Is 9 a factor of ((-20)/(-6))/(a/d)?
False
Suppose -1 = -5*f + 59. Is 12 a factor of f?
True
Let h(x) = x**3 - 7*x**2 - x + 5. Let w be h(7). Let q be ((-3)/w)/(3/(-12)). Let g = q - -30. Is g a multiple of 12?
True
Let s = 453 - 319. Does 11 divide s?
False
Let t = -4 - -4. Suppose h - 5 = -t*h. Suppose -3*i + h = m, -6*m - 4*i + 14 = -m. Is m even?
True
Let t(n) = -73*n + 2. Let o be t(-2). Suppose 2*g - 89 = 5*j, -2*j + o + 90 = 4*g. Is g a multiple of 16?
False
Suppose 0 = -9*o + 24 + 1578. Is 21 a factor of o?
False
Let j = -4 - -9. Does 2 divide 22/j - 4/10?
True
Suppose -3*x - 2*m + 4*m - 10 = 0, -14 = 2*x - 5*m. Is 6 a factor of (1 - 35)/(4/x)?
False
Is 15 a factor of (-1935)/(-13) - (-14)/91?
False
Let v(r) = -16*r + 4. Is v(-5) a multiple of 13?
False
Let u(z) be the second derivative of -z**4/12 + 5*z**3/6 + 3*z. Let a be u(3). Suppose 110 = -d + a*d. Is d a multiple of 10?
False
Let l(f) = -f**3 + 5*f**2 + 6*f + 10. Let i(c) = -c**2 + 6*c + 6. Let o be i(6). Does 10 divide l(o)?
True
Let k = 1 - 2. Let p be k*3/(-3) - -1. Suppose 0 = -n - p*n + 60. Does 7 divide n?
False
Let v(w) be the first derivative of w**7/420 - w**6/360 + w**5/60 - w**4/24 - 2*w**3/3 - 2. Let j(s) be the third derivative of v(s). Does 13 divide j(2)?
False
Suppose -2*v = -7*v + 20. Is v a multiple of 2?
True
Let f = 4 + 0. Suppose 0 = f*z + z - 15. Is z a multiple of 2?
False
Suppose 0*s - s = 3. Let q(b) = b**3 + 5*b**2 + 5*b + 3. Does 6 divide q(s)?
True
Suppose -5*d + 137 - 17 = 0. Is 8 a factor of d?
True
Suppose 0 = -4*n - n - 25, 3*v + 4*n - 292 = 0. Suppose y = 5*y - v. Suppose 0*z = z - y. Is 11 a factor of z?
False
Let d = 13 - 4. Suppose 2*y - 86 = -2*i, -4*y = -d*y - 5. Is i a multiple of 19?
False
Suppose -4 + 0 = -2*r - 2*z, 0 = -2*r - 3*z + 4. Suppose 0 = -r*n - n + 186. Suppose -3*y + 0 = -4*d - n, 3*d - 3 = 0. Is y a multiple of 11?
True
Suppose 0 = 3*q + 3, 0*q - 2*q - 47 = -5*o. Suppose 0*b + 5*b + 2*h = -32, 0 = -b - 3*h - o. Let v = b - -14. Is 4 a factor of v?
True
Let r(s) = -4*s**3 - 2*s**2 - 3*s - 2. Is 4 a factor of r(-2)?
True
Suppose 0*r + 52 = r. Does 2 divide (-6)/(-4)*r/6?
False
Is 9 a factor of 1/(-3) - (-56)/6?
True
Suppose -3*c = -5*b - 109 - 23, -220 = -5*c + b. Is 8 a factor of c?
False
Let z = 5 + -6. Let q = -1 - z. Suppose q = -x - 3*x + 92. Is 23 a factor of x?
True
Is 5 a factor of 19 + 0/(-2) - 2?
False
Let r be 2/6 - 16/(-6). Suppose r*h + 11 + 31 = 0. Let c = h - -40. Is 16 a factor of c?
False
Let l = 14 - 4. Does 5 divide l?
True
Let b(c) = c**2 + 4 + 1 + 1 - 2*c. Let n be b(5). Does 21 divide 8*3/12*n?
True
Is 24 a factor of 265 + 3/(-3*2/6)?
False
Suppose -174 = 3*q - 6*q. Suppose q = 2*b - 52. Let a = -12 + b. Is a a multiple of 20?
False
Let w be (2/2)/(2/6). Suppose 10 + w = b. Does 7 divide b?
False
Let f = -8 - -21. Is f*-2*3/(-2) a multiple of 13?
True
Let l(f) = -3*f - 5. Let x be l(-3). Suppose -x*d = -q + 78, 234 = 3*q - 6*d + 2*d. Is 21 a factor of q?
False
Suppose -4*i - 2*s = -10, -7 = -5*i - 5*s + 3. Suppose -3*c + 2*c + i = 0. Does 2 divide c?
False
Let m(y) = 2*y**2 + 4*y. Suppose 3*q + 4*g - 6 = 0, 0 = 3*q - 0*g + 2*g - 6. Suppose -b + 21 = b + 3*j, 0 = q*b - j - 1. Is m(b) a multiple of 13?
False
Suppose 0 = -4*x - 125 + 449. Is 27 a factor of x?
True
Let n(w) = -w - 1. Let h(o) be the second derivative of 3*o**5/20 + o**4/12 - o**3/2 - 2*o**2 + 2*o. Let t(s) = -h(s) + n(s). Is t(-2) a multiple of 10?
False
Let z(a) = -a**3 + 7*a**2 + 8*a + 5. Is z(8) a multiple of 3?
False
Suppose y + 4*y = 50. Let w = -11 - -8. Is 10 a factor of w/((-3)/y) + 2?
False
Suppose 0 = -m + 6 + 3. Let d(q) = -m*q - 1 + 2*q + 1 + 1. Is d(-2) a multiple of 5?
True
Let z be 4/14 - 124/(-7). Is 7 a factor of (-3)/3 + (z - -3)?
False
Let y(v) = -2*v - 2 + 0*v - v. Is 17 a factor of y(-8)?
False
Suppose 1 + 14 = 5*m. Suppose m*i - 3*z - 63 = 0, 6*z - 3*z - 33 = -3*i. Does 11 divide i?
False
Let q(c) = -c**3 - 6*c**2 + c. Let s be q(-6). Let k = s + 8. Suppose -k*h + 21 = h. Is h a multiple of 7?
True
Is 19 a factor of (2/3)/((24/1026)/2)?
True
Let r = -19 - -26. Does 3 divide r?
False
Let w(f) = -f**3 + 3*f**2 + 3*f - 4. Let g be w(3). Suppose -2*q + 122 = 3*q - 4*b, -98 = -g*q - 4*b. Suppose -18 - q = -4*h. Is 10 a factor of h?
True
Is 6 - (-3 - (0 + -3)) a multiple of 4?
False
Suppose 1 = -d - 3. Let n = d + -2. Is (45 + -2)/(n/(-6)) a multiple of 11?
False
Let n be 18/27 - 68/(-6). Suppose -3*t + n + 3 = 0. Does 2 divide t?
False
Let c(x) = x - 4. Let h be c(8). Suppose -h*d + 10 = -2*d. Is 3 a factor of d?
False
Suppose -i - d - 2 = -10, 0 = -3*d + 12. Is 8 a factor of i/((-4)/48*-3)?
True
Suppose -5*j + 6 = 1. Suppose -3*r + 13 = -2*l, 0 = -l - j - 1. Is r a multiple of 2?
False
Suppose 0 = 4*j - 3*j + 4*u - 15, -3*j - 5*u = -59. Suppose -3*l = -0*l - 3, -4*m = 3*l - j. Is m a multiple of 2?
False
Let j be (6/(-7))/((-3)/42). Suppose 2*q = 3*g - 19, -4*q + 0*q + 5*g = 35. Let h = q + j. Is h a multiple of 2?
False
Suppose 5*n + 103 = 5*m - 37, -5*m + 155 = -2*n. Let b = m + 21. Is 14 a factor of b?
False
Suppose -3*f = -3*g + 171, -2*g + 79 = -f - 34. Is g a multiple of 12?
False
Let l = -19 - -33. Let u = -8 + l. Suppose -45 = p - u*p. Is 9 a factor of p?
True
Suppose 256 - 36 = 2*m. Is 20 a factor of m?
False
Is (-16)/(-1) + 1 + 1 a multiple of 7?
False
Does 14 divide 288/20 + (-4)/10?
True
Let p(v) = -v**3 + 3*v**2 + 5*v - 5. Let j be p(4). Let l = 