alse
Let z(g) = -60*g - 3. Let r be z(-2). Suppose r = -2*j + 5*j. Suppose -2*p + 5*f = -63, 3*p - f - j = 23. Is 10 a factor of p?
False
Let d(m) be the first derivative of -m**4 + m**2 + m - 3. Let j be d(-1). Suppose 0 = -j*x + x + 56. Is x a multiple of 10?
False
Suppose 5*z - 128 = -x - x, 20 = 5*x. Let n be z/(-6)*(-2)/4. Suppose -2*b + n*w = -30, -2*b + 36 = 5*w - 8. Is 5 a factor of b?
False
Suppose 3*z - 5*d = -5, 4*z - 16 = -2*d + 3*d. Let j = z + -3. Suppose 3*f - 26 = -j*n, 5*f + 0*n = -n + 34. Is f a multiple of 6?
True
Let l = 7 + -5. Suppose 4*w + 3*c = 5*c + 10, -c = l*w - 7. Is 11 a factor of 174/8 - w/(-12)?
True
Let r = -2 - -4. Suppose -4*d + 3*z = 4, r*d = -9*z + 4*z + 24. Does 2 divide d?
True
Let p = 8 - 13. Let d(i) = 2*i**2 + 3*i + 6. Let j be d(p). Let u = 80 - j. Does 13 divide u?
True
Let d = 46 + -32. Is d a multiple of 12?
False
Let j(t) = -t**3 - 4*t**2 + 7*t - 2. Let n be j(-5). Let x be (-27)/n*4/1. Suppose x = 2*d + 1. Is d a multiple of 4?
True
Suppose -r - r + 82 = -4*v, r - 45 = v. Let w = -29 + r. Does 6 divide w?
False
Suppose 2*b - 8 = 5*y, 2*b - y + 28 = -5*y. Let c(n) = 101*n - 204*n + 100*n - 3. Is 5 a factor of c(b)?
True
Let t be (-36)/((-3)/1) + 0. Let h(x) = -x**3 + 6*x**2 - 2*x - 2. Let j be h(6). Let b = t - j. Is b a multiple of 13?
True
Suppose -6 - 12 = 3*s. Let f = s - -28. Is f a multiple of 14?
False
Let y be 8/(-28) + 9960/21. Is 2/(-11) + y/66 a multiple of 4?
False
Suppose 0 = -0*b - 2*b + 2*m - 8, -2 = b + m. Let f be (b/(-2))/(3/6). Suppose h + 4*n - f = 27, 4*n = 20. Is h a multiple of 7?
False
Let a be (4/(-7))/((-8)/28). Let y be 1 + (2/a - 2). Does 2 divide 2/(y + (-6)/(-15))?
False
Let c = -22 - -55. Is 11 a factor of c?
True
Let o(u) = 3*u**3 + u**2 + u - 1. Let q be o(1). Suppose -q*h + 79 = -h - 4*d, -3*d = 3. Does 25 divide h?
True
Let w be (-4)/(-6)*(-18)/(-4). Suppose -w - 2 = -i. Suppose i*b = 9 + 6. Does 3 divide b?
True
Let c(o) = 10*o + 12. Let w(j) = 10*j + 11. Let i(t) = -4*c(t) + 3*w(t). Is 9 a factor of i(-6)?
True
Is 41 a factor of ((-6)/(-4))/((-2)/(-164))?
True
Let v be 68/12 - (-2)/6. Let u be 33/v + 2/(-4). Suppose 2*m = -3*q + 6*q - 19, -2*q = u*m + 19. Is q even?
False
Let f(n) = -n**3 - 4*n**2 - 2*n + 3. Is 7 a factor of f(-4)?
False
Let h = -4 - -25. Is (-6 - 0)*(-28)/h a multiple of 6?
False
Let o = -225 - -18. Is (-3)/(-15) + o/(-15) a multiple of 10?
False
Let m = -3 + 3. Let u(t) = 2*t**2 + 5*t + 2. Let p be u(-3). Suppose 4 + p = -2*f - 5*i, -4*i - 20 = m. Is f a multiple of 8?
True
Suppose -26 = 2*z + 36. Suppose 0 = b - 0*b + 21. Let p = b - z. Is 5 a factor of p?
True
Let z = 77 + -15. Does 19 divide z?
False
Suppose -5*s + 660 = 5*k, -523 = -4*s - 0*k + k. Suppose 3*p + 4*l - s = 0, 42 = p + 3*l - 5. Is 11 a factor of p?
False
Does 3 divide -39*4/(-16)*4?
True
Let a(x) = -x + 20. Let b be a(11). Let c = b + -5. Is c even?
True
Suppose 0 = m - 3*t + 93, 3*m = 3*t + 2*t - 287. Is 33 a factor of -1*(-3 - -3) - m?
True
Let n = -367 - -668. Is 36 a factor of n?
False
Let q be (-2 + 0)*(1 - 2). Suppose -y = 2*c - c, 4*c = q*y - 18. Suppose -2*g + 29 = y. Does 5 divide g?
False
Suppose -5*g = -3*i - 1820, -g = -7*i + 3*i - 381. Is 14 a factor of g?
False
Suppose 5*f + 4*f - 837 = 0. Is f a multiple of 16?
False
Suppose -36 = -5*m + 64. Is 7 a factor of m?
False
Suppose -2*q + 285 = 5*j, -165 = 2*q - 3*q + 5*j. Does 50 divide q?
True
Let f = 11 - 7. Suppose 3*h - h - f = 0. Suppose 52 = -h*p + 4*p. Is 13 a factor of p?
True
Suppose -5*k = 4*u - 3, -4*k = -3*u - 29 + 8. Let o = 0 - u. Suppose c - 27 = -c + o*h, -4*c = -5*h - 55. Is 14 a factor of c?
False
Suppose 4*x - 413 = 123. Is 13 a factor of x?
False
Suppose -5*n + 20 = 35. Is 9 a factor of (4 + -7)/n*37?
False
Let w(v) = -v**2 - 5*v + 4. Let o be w(-6). Let f = o + 10. Does 8 divide f?
True
Let q be (3 - 18/8)*4. Suppose l = 2*l + q. Does 9 divide 42/4 - l/(-6)?
False
Suppose 8*w + 2 = -22. Let t(f) = f + 2 - 5*f - f**2 - 3. Is t(w) even?
True
Suppose -25 + 5 = -5*l. Is 9 a factor of l/8 - (-35)/2?
True
Suppose 2*w + 36 = 2*t - 0*t, -2*t = -3*w - 35. Does 6 divide t?
False
Let f(v) = -16*v**3 + v**2 - 1. Let w be (1 + 5)*8/16. Let k be (w/(-1 - 2))/1. Is 16 a factor of f(k)?
True
Let z(x) = x + 1. Let i be z(2). Suppose 0 = -5*b + q + 2*q - 6, -2*b - i*q + 6 = 0. Suppose -2*h + 2*c + 34 = -b*c, -3*c = 4*h - 89. Does 8 divide h?
False
Let n = -5 - 3. Let k(i) = -5*i - 8. Is 11 a factor of k(n)?
False
Let a(y) = y**2 - y. Let r be a(1). Suppose -11 = p + p - 5*h, -4*p - 5*h + 23 = r. Suppose 2*g - 5*c - 35 = 42, -p*c = -5*g + 203. Is 15 a factor of g?
False
Let v(n) = -n**3 - 5. Let s be v(0). Does 11 divide (s + -38)/(0 - 1)?
False
Let h be ((-56)/(-10))/((-5)/25). Let w = 9 + h. Let g = w - -37. Is 6 a factor of g?
True
Suppose p = 5*z + 2, 4*p + 2*z - 46 = 50. Is p a multiple of 4?
False
Is (15/(-45))/(1/(-60)) a multiple of 5?
True
Let u(i) = -i**3 + 2*i**2 + i + 2. Let w be 3/(1*9/(-6)). Is u(w) a multiple of 4?
True
Let k(x) = 7*x + 8*x**2 + 1 - 4*x + x**3 + 2. Is k(-7) a multiple of 8?
False
Let i(o) = 139*o**3 - o**2 + 3*o - 1. Is i(1) a multiple of 5?
True
Suppose 3*h - 3*a - 102 + 24 = 0, 0 = -5*h + 2*a + 115. Suppose 0 = 5*z - 20, -3*k + 8*k + h = -z. Is 306/15 + 2/k a multiple of 7?
False
Let n be (2/4)/((-6)/(-60)). Let o = -12 + n. Let z(u) = u**2 + 5*u - 2. Is z(o) a multiple of 4?
True
Suppose 1068 = 10*m - 4*m. Is 27 a factor of m?
False
Suppose 32 = 4*r + 3*o - 8, 5*r - 2*o - 73 = 0. Does 3 divide r?
False
Is 8/((-126)/32 - -4) - -3 a multiple of 17?
False
Suppose 0 = 3*l + 137 - 14. Suppose -u = 3*u + 8. Let v = u - l. Is v a multiple of 14?
False
Suppose -323 = -4*j + 5*x, 0 = -5*j + 5*x + 519 - 114. Is j a multiple of 41?
True
Suppose -5*g + 10*g - 650 = 0. Suppose 0 = 5*k - 0 - g. Does 13 divide k?
True
Let w(l) = 2 + 3*l + 4 - 3 + 3. Is 9 a factor of w(7)?
True
Let p be (-24)/(-18) + (-2)/(-3). Let r be p/(1*3/(-6)). Let d(y) = y**3 + 6*y**2 + 7*y + 6. Is 4 a factor of d(r)?
False
Suppose -62 = 3*f - c, c + 0*c + 106 = -5*f. Is 0 + 1 - (4 + f) a multiple of 14?
False
Let x(d) = d**2 + 10*d + 4. Let v be x(-10). Suppose -2*l + 79 = -3*s, l = v*l - 5*s - 121. Is l a multiple of 18?
False
Let w(u) = 19*u**2 - 2. Is 18 a factor of w(2)?
False
Suppose -372 = 5*o - 1032. Does 22 divide o?
True
Let w = -111 + 200. Let i = w + -25. Does 18 divide i?
False
Let t be 3/(-4) - 1926/(-8). Suppose t = 5*a - 170. Does 19 divide a?
False
Let g = 71 + -38. Is g a multiple of 18?
False
Let z(a) = 7*a + 13. Let w(k) = -3*k - 7. Let x(r) = 5*w(r) + 2*z(r). Let v be x(-10). Does 13 divide 1 + v/((-3)/(-45))?
False
Is 17 a factor of (-308)/(-9) - (-10)/(-45)?
True
Suppose x - 4*x + 123 = 0. Suppose 5*l - x = -4*g, g + 13 = 3*g - 5*l. Suppose -g = -n - 0*n. Is 8 a factor of n?
False
Suppose m + 0 = 16. Suppose -5*r = 14 + m. Is 22 a factor of (-128)/(-6) + (-4)/r?
True
Let l be (-20)/30*18/(-4). Suppose -l*w + 40 = 1. Is 4 a factor of w?
False
Let y(c) = c**2 - 12*c + 5. Let a be y(12). Suppose -a*m = -110 - 15. Does 25 divide m?
True
Let d(z) = 3*z - 1. Let s be d(1). Suppose -o = s*o - 6. Suppose 4 = o*y - 6. Is 2 a factor of y?
False
Let i(y) = y**3 + 12*y**2 - y + 15. Does 15 divide i(-11)?
False
Let y(k) = -3*k**2 - 7*k - 4. Let f be y(-4). Let a = 24 - f. Does 12 divide a?
True
Let x be (-4)/(2/(-4)*2). Suppose 0 = 5*s + x*u - 17, s + s + u - 8 = 0. Suppose 0 = 4*i - q - 111, 3*q + 120 = s*i - 2*q. Does 10 divide i?
False
Let p = -4 + -21. Let b = -10 - p. Is 13 a factor of b?
False
Let d = 13 + -14. Does 10 divide (-5 + d)/((-18)/60)?
True
Let n(y) = -2*y**3 - 7*y**2 - 7*y - 4. Is 20 a factor of n(-4)?
True
Let h(s) = -7*s + 6. Is 8 a factor of h(-6)?
True
Let c(v) = 4*v**2. Let q be c(1). Suppose -2*m = -4*n + 21 + 163, 127 = 3*n + q*m. Is n a multiple of 15?
True
Let a = -4 - -8. Suppose 5*b = a*f + 3*b - 42, 0 = -3*f - 4*b + 48. Is 4 a factor of f?
True
Let g(b) = b**2 - 5*b - 9. Let j be g(7). Suppose -5*p + 85 = j*u, -u = -4*p + 5 + 3. Does 6 divide u?
True
Let x = 49 - 40. Is x a multiple of 3?
True
Let k be 4 + -6 - 0 - 1112. Does 30 divide k/(-12) - 9/(-54)?
False
Let q = -3 + 47. Suppose 0 = -5*z - 20, -z - 4*z + q = 2*h. Does 17 divide h?
False
Suppose -2*z + 127 = 3*i, 16 + 109 =