05 - 129. Is k a multiple of 29?
False
Let r be (-3)/(12/8 - 2). Let c be (-2)/r*(-15 + -3). Suppose 2*l - g + c*g = 52, 3*g + 130 = 4*l. Is 31 a factor of l?
True
Let y(w) = 15*w + 829 - 863 + 11*w. Is 7 a factor of y(5)?
False
Let u(a) = -a**2 + 40*a - 42. Does 69 divide u(37)?
True
Suppose -4*u = -3*u - 4*f - 45, -u + 45 = f. Suppose 10*d + 5*q - u = 5*d, 2*q - 57 = -5*d. Is d a multiple of 5?
False
Let m(s) = -s**3 + 8*s**2 + 14*s + 3. Is 3 a factor of m(-6)?
True
Does 84 divide -3 + 3 + 2195 + 5?
False
Let q(p) = 4*p + 3. Let y(d) = 4*d + 3. Let m(j) = 3*q(j) - 4*y(j). Let n be m(-2). Suppose 2*b - 105 = -4*z - b, -49 = -2*z - n*b. Does 9 divide z?
True
Suppose 4*x = t, -2*x - 3 = -3*t + 7. Let l(n) = 28*n**2 - 4*n + 1. Is l(x) a multiple of 5?
True
Let z(g) = -101*g + 2. Let o be z(-3). Suppose 22*x - 74 = -15*x. Suppose -3*v = x*v - o. Does 14 divide v?
False
Let s = -21 - -93. Suppose t = -3*t - s. Let k = 23 + t. Is 5 a factor of k?
True
Let i = 354 + -84. Is 30 a factor of i?
True
Suppose -4*q - q = 0, 2*o = 2*q + 28. Suppose 0 = -23*b + o*b + 846. Does 9 divide b?
False
Suppose -3*j - 32 = -0*j + 4*t, -2*j + 5*t + 17 = 0. Let d(m) = -5*m - 5. Let f be d(j). Suppose f = 6*c - c. Does 3 divide c?
True
Let b(x) = -39*x - 16. Is 74 a factor of b(-8)?
True
Suppose 34*x + 1119 = o + 31*x, -x + 4463 = 4*o. Does 18 divide o?
True
Suppose -3*y + 11 = -4*y. Let i(j) = j**2 + 12*j + 16. Let u be i(y). Suppose v - 2*v + u = 0. Is v a multiple of 3?
False
Let i be (14/4)/((-4)/(-712)). Suppose -4*r + 2*y + 356 = 0, 5*r + 5*y = i - 208. Does 29 divide r?
True
Suppose -3*p - 16 = g + 146, 4*p = -4*g - 648. Suppose -288 = 5*d + 937. Let m = g - d. Is 21 a factor of m?
False
Let r = 14 - 18. Let t = r + 4. Suppose 3*l - 84 = -t*l. Is l a multiple of 14?
True
Let j = -3417 - -5229. Does 7 divide j?
False
Let v = 139 + -19. Let y = -66 + v. Is 20 a factor of y?
False
Let j(v) be the second derivative of -5*v**3/3 - 6*v**2 + 9*v. Let g be j(-12). Suppose -2 = c - 0*c, -c = 5*t - g. Does 22 divide t?
True
Let s(g) = -5 - 19*g + 3 - 18*g. Let v be s(-2). Does 14 divide (v/(-5))/(9/(-30))?
False
Let g(t) = -t**2 - t - 1. Let d be g(-2). Let s(m) = 9*m**2 - 7*m - 2. Is s(d) a multiple of 4?
True
Let z(n) be the first derivative of 7*n**2 + 13*n + 35. Does 34 divide z(2)?
False
Let l(f) = 4*f**2 + 3*f - 1. Let k(b) = -3*b**2 - 4*b + 1. Let j(n) = 3*k(n) + 4*l(n). Let u = -71 - -69. Is j(u) a multiple of 10?
False
Suppose 2*h + 0 = 4*z + 10, 5*z + h + 16 = 0. Let k be z + (1 - -1) + -155. Is (-3 - k/(-8))*-2 a multiple of 12?
False
Let n(m) = -3*m - 2. Let k be n(-3). Let z(x) = x**3 - 7*x**2 + x + 9. Does 6 divide z(k)?
False
Suppose 0 = 4*a - y - 7202, 0 = -3*a + 2*y + 6179 - 775. Is a a multiple of 36?
True
Let j = 113 + -138. Let a = 125 - j. Does 25 divide a?
True
Suppose t + 3*t = 28. Suppose 54 = t*r - 4*r. Let y = 54 - r. Does 6 divide y?
True
Let g be ((-12)/7)/((-2)/35). Let k(n) = -n + 48 + g - 12. Is 28 a factor of k(0)?
False
Is 65 a factor of (23790/(-12))/(4/8 + -1)?
True
Is 19 a factor of (3/(-12))/(5/140) - -452?
False
Suppose -5*m = p - 1, -3*p = -1 - 2. Suppose t + 4*t - 33 = -4*y, m = 2*t - 5*y. Suppose t*i = -l + 34, 3*l - 21 = -2*i + 55. Is l a multiple of 8?
True
Let f(v) = 2*v**2 - 5*v + 4. Let l be f(3). Let a = l + 3. Suppose -h + a + 5 = 0. Is h a multiple of 9?
False
Let s(p) = p**3 - p**2 - p + 59. Let u be s(0). Let v = u - 35. Does 8 divide v?
True
Let a(m) = m**3 + 77*m**2 - 112*m - 406. Is a(-78) a multiple of 42?
False
Let f(d) = -d**3 + 3*d**2 - 5*d. Let m(k) = 2*k**3 - 7*k**2 + 11*k - 1. Let x(j) = 5*f(j) + 3*m(j). Let l be x(5). Does 13 divide 6/5*390/l?
True
Let y(s) = s**2 + 23*s - 30. Let q(x) = 2*x**2 + 68*x - 90. Let n(a) = -3*q(a) + 8*y(a). Is 13 a factor of n(13)?
False
Let b(z) be the first derivative of z**3/3 + 52*z + 4. Let j be b(0). Suppose -j = k - 5*k. Is k a multiple of 13?
True
Let c(l) = -l**3 + 5*l**2 - 3*l + 11. Let v be c(5). Let z(o) be the second derivative of -o**5/10 - 5*o**4/12 + 2*o**2 - o. Is 14 a factor of z(v)?
False
Suppose 51 = -3*z + 3*j, 4*z - 2*j + 30 = -40. Let a = -10 - z. Does 3 divide a + 0 + 0 + -2?
True
Suppose 1376 = -3*b + 7*b + 4*l, 1370 = 4*b + l. Is 18 a factor of b?
True
Let a = -684 - -1324. Is 7 a factor of a?
False
Suppose 36*g + 2531 = 11279. Does 64 divide g?
False
Let c be 3 + -4 + 48/4. Let u be (44/(-6))/(10/(-45)). Suppose -8*k - u = -c*k. Is k a multiple of 2?
False
Suppose 0 = j - 3*j. Let c be 2 - j - -11 - 0. Let w = 24 - c. Is 3 a factor of w?
False
Let s(u) = 2*u**2 + 2*u + 1. Let r = 11 + -7. Let x be s(r). Suppose x = t + 3*a, 0*a - 4*a = -t + 27. Does 14 divide t?
False
Suppose i - 52 = -2*a - 19, -2*i + 54 = a. Suppose 5*h - 2 - 23 = 5*y, -5*h = 5*y + i. Let w = y - -21. Does 11 divide w?
False
Suppose -r + 5*y - 7 - 4 = 0, -r = 3*y - 21. Let k = r - 7. Suppose -4 - k = -c. Is c a multiple of 3?
True
Suppose -5*c = 2*g - 835, c - 4*g = 30 + 159. Is 13 a factor of c?
True
Suppose -5*q = -a + 3*a + 5, 31 = -2*q + 5*a. Let x(b) = -b**2 - 7*b - 3. Let u be x(q). Is (-12)/u*156/(-8) a multiple of 18?
False
Suppose x + 0 = 1. Let b(s) = 13*s**2 + 8*s**3 - 7*s**3 - x + 0*s**2 - 16*s. Is 9 a factor of b(-14)?
True
Suppose 2*j + 4*i = 184, -j - 2*i + 292 = 2*j. Is j a multiple of 29?
False
Let v be (-27)/(-12)*(-4)/3*-52. Suppose -3*o = -9*o + v. Does 5 divide o?
False
Let o(q) = -22*q - 110. Is 12 a factor of o(-47)?
True
Let b be (-2889)/(-45) - (-1)/(-5). Suppose 6*n - b = 2*n. Suppose n = 4*h - 12. Is h a multiple of 5?
False
Suppose -4*d + 3*h + 523 = -271, -3*h = 6. Suppose -d = -4*y - 21. Is y a multiple of 22?
True
Suppose 0 = q - 4*q + 42. Let c be (-37)/(-7) + (-4)/q. Suppose -77 - 58 = -c*z. Does 16 divide z?
False
Suppose -3*k + 14 = 2*g, 8*k + 2 = 3*k + 3*g. Suppose -2*y - y + 90 = -3*u, -3*y + 115 = k*u. Is 21 a factor of y?
False
Let m(a) = -11*a + 9. Let z(b) = 33*b - 26. Let u(o) = -11*m(o) - 4*z(o). Is 9 a factor of u(-2)?
True
Let s(x) = -14*x**2 - 39*x**3 - 13 + 1 - 13*x + 40*x**3. Suppose b - 2*b + 76 = 5*z, -3*z + 50 = 5*b. Is s(z) a multiple of 18?
True
Suppose -4 = -4*w - 12. Is w*(-19)/(-4)*-2 a multiple of 6?
False
Suppose 0 = -0*u - 4*u + 16. Let c be u/16 + (-22)/(-8). Suppose 3*m + c*i = m + 23, 5*m = i + 32. Is 7 a factor of m?
True
Let l be (-4)/(-20) - 132/10. Let p = -16 + l. Let y = 16 - p. Does 15 divide y?
True
Let u = -16 - -41. Suppose u = 3*f - 77. Is f a multiple of 22?
False
Let j(o) = -2*o**3 - 44*o**2 + 61*o + 56. Is j(-24) a multiple of 16?
True
Let w(d) be the second derivative of -5*d**3/3 + d**2/2 + d. Let y(u) = -3*u**2 + u + 1. Let k be y(-1). Is 10 a factor of w(k)?
False
Suppose 0 = -3*c - 3*q + 6255, 6255 = -6*c + 9*c - q. Is 22 a factor of c?
False
Let j = 880 + -429. Is j a multiple of 11?
True
Suppose -121 = -2*v - 0*v - 5*s, 0 = 4*s - 20. Is (v/(-64))/(1/(-56)) a multiple of 21?
True
Suppose 0 = 5*u + 2*o - 903 - 4021, -4*o = 12. Does 17 divide u?
True
Suppose 53 - 67 = 2*q. Let g = 145 - q. Is 8 a factor of g?
True
Let d(b) = b**2 + 11*b + 13. Let f be 5*4/10 + -21. Let h = f + 9. Is 2 a factor of d(h)?
False
Let j = -1160 - -1800. Does 37 divide j?
False
Let r(m) = 16*m + 4215. Does 115 divide r(0)?
False
Let w(o) = 2*o**2 - 5*o + 6. Let d be w(2). Suppose 0 = -s - 5*z + 4*z + 49, 2*s = d*z + 128. Does 9 divide s?
True
Suppose 0 = 4*a + 5*a - 27. Suppose -k + a = -1. Is 4 a factor of k?
True
Let y = 469 - -891. Does 85 divide y?
True
Suppose -75 = -12*q + 57. Let x = q - -38. Is 11 a factor of x?
False
Suppose c + 2 = q - 1, 5*c = -5. Does 6 divide (q - -23)/(3 + -2)?
False
Let l(h) = h**3 - 2*h. Is l(8) a multiple of 8?
True
Let d = 168 - -9. Suppose -d = -3*q + 165. Suppose -4*w + 74 + q = 0. Is 24 a factor of w?
False
Let a(c) = -7*c - 20. Let x be a(-14). Let g = -72 + x. Does 6 divide g?
True
Let i(g) = -4*g - 39*g**2 - 14 + 2 + 52*g**2 - g**3. Is i(12) a multiple of 7?
True
Suppose -g = -5*k - 0*g + 10, 0 = 3*k + 3*g - 24. Suppose 4*h = k*h. Suppose -4*c + 10 + 18 = h. Is c a multiple of 2?
False
Suppose 0 = -10*p + 3*p + 2604. Does 6 divide p?
True
Let y(h) = h**2 + 35*h - 23*h + 21 - 15*h. Is 14 a factor of y(9)?
False
Suppose -4*n + 1433 = -5*j, -2*j + 694 = n + n. Let h = -181 + n. Does 19 divi