, -2*p - 2*b + 70 = 0. Let g = p + i. Is g a multiple of 14?
True
Suppose -l - 5*b - 4 = -1, 0 = -b - 1. Let r = l - -2. Is r a multiple of 3?
False
Let w = -22 - -36. Suppose h + 6 = w. Is 3 a factor of h?
False
Let k = 568 + -372. Suppose -3*h = -7*h + k. Does 17 divide h?
False
Suppose -5*c - 1 - 49 = 0. Let q be (c/25)/(1/(-10)). Suppose 3*g = 3*j + 78, 2*g - q*j + 0*j = 52. Is 13 a factor of g?
True
Let h = -1 - -1. Suppose -4*d + 78 = 3*o, 4*o + h = -d + 13. Suppose -2*v = -5*v + d. Is v a multiple of 5?
False
Suppose 0 = -2*v - 4*b + 58, -3*v + 2*b + 104 = 41. Suppose -3*y + v = i + y, 0 = i - 3*y - 9. Is i a multiple of 10?
False
Let y(b) = 92*b**3 + 2*b**2 - b. Let r be y(1). Let z = -61 + r. Does 16 divide z?
True
Let m = 22 - 11. Is 6 a factor of m?
False
Suppose 6*f = 4*f + 22. Does 11 divide f?
True
Let w(n) = -n**2 + n + 5. Let b be w(-4). Let u = b + 40. Does 11 divide u?
False
Let p(g) = 7. Let s(h) be the first derivative of h**3/3 + h**2/2 - h - 2. Let d(z) = p(z) - s(z). Does 8 divide d(0)?
True
Let l be (-74)/4*(5 + -3). Let b = l + 59. Is b a multiple of 22?
True
Suppose -4*i + 2*r = -11 - 11, -4*i - r = -37. Suppose 0 = i*d - 3*d - 70. Does 11 divide d?
False
Suppose 0*u + 12 = -2*u - 4*k, -3*k - 23 = -2*u. Suppose p - u*p = -99. Does 11 divide p?
True
Let g(c) = c**2 + 6*c - 7. Let j be g(-6). Let u(v) = -v**3 - 8*v**2 - 9*v - 10. Let b be u(j). Suppose b*m = 13 + 27. Does 4 divide m?
False
Let s(g) = g**2 + 4*g + 4. Let a(w) = -6*w - 1. Let z be a(1). Is 10 a factor of s(z)?
False
Let q(z) = 17*z + 17. Let c be q(13). Does 10 divide (-1)/(-4) - c/(-8)?
True
Suppose -2*l + 12 = 4*r - 2*r, 10 = 5*r. Suppose -4*f = -l, 3*h + 0*f - 5 = -5*f. Suppose h*j = j - 26. Does 9 divide j?
False
Let h(y) = -2*y**2 + 2*y - 2. Let g = -7 - -13. Let s be h(g). Let z = 94 + s. Does 18 divide z?
False
Does 36 divide 16455/55 - 14/77?
False
Let k = -6 + 15. Suppose 0*c - k = c. Does 13 divide (-3)/(1*1/c)?
False
Suppose -3*q - 36 = -9. Let l = 18 + q. Is l a multiple of 9?
True
Let z(w) = -4*w + 10. Is 11 a factor of z(-3)?
True
Let b = -2 + 3. Suppose i = -2*i - 3. Does 23 divide (-3 - 46)*i*b?
False
Suppose 0 = 9*v - 2*v - 1225. Is 25 a factor of v?
True
Suppose 0 = 3*r - 15, -2*r = -i + 52 + 63. Is i a multiple of 29?
False
Suppose 2*r - 5*h + 9 = 2, 3*h - 5 = 2*r. Let m be 22*(3/(-6))/r. Let z = -5 + m. Is 3 a factor of z?
True
Let b(h) = -4*h - h + h - 2. Suppose 5*t = 7*t + 4. Is b(t) a multiple of 6?
True
Let k(t) = -t**3 + 13*t**2 - 10*t + 18. Does 14 divide k(12)?
True
Suppose -v + 133 = 3*y + 4*v, 2*y = v + 93. Does 23 divide y?
True
Suppose 2*i - 3*v = 60, -32 - 88 = -4*i - 3*v. Is i*(16/12)/4 a multiple of 5?
True
Let o(t) = 3*t**2 + 22*t + 30. Does 22 divide o(-12)?
True
Suppose 0 = -2*q - 5*s + 7, -105 = -q - 4*q + 5*s. Let r(t) = t**2 - 2*t - 5. Let o be r(4). Suppose h + q = o*h. Does 4 divide h?
True
Let n(h) = 3*h**2 + 2*h - 4. Does 4 divide n(-4)?
True
Let d(s) = s**3 - 6*s**2 + 3. Let g be d(6). Suppose g*p = -0*p + 78. Is p a multiple of 7?
False
Let v = -2 - -3. Let m(c) = c**3 - c**2 - 1. Let b(f) = 17*f**3 - 7*f**2 + 2*f - 6. Let a(z) = b(z) - 5*m(z). Does 6 divide a(v)?
False
Suppose -5*h = 42 - 177. Is 4 a factor of h?
False
Let n = 45 + 41. Suppose 2*z = -10, -5*z + 61 = -4*f - n. Let w = 60 + f. Is 8 a factor of w?
False
Is (4/(-5))/(3 + (-980)/325) a multiple of 26?
True
Does 5 divide (-1 - -2 - 12)*-2?
False
Let f be (18 + -3 - 2) + -3. Let s be (-4 + -11)*(-16)/f. Suppose 66 = 5*x + 4*d, -x + s = x + 4*d. Does 7 divide x?
True
Suppose 7 = 3*i + 1. Is 2 a factor of i?
True
Let w be 0/(-3 + (-2)/(-1)). Suppose w*b - 2*b + 16 = 0. Is 2 a factor of b?
True
Suppose -6 = r - 3*r. Suppose 11 - 62 = -r*z. Is 17 a factor of z?
True
Suppose -3*r + 5*r - 12 = 0. Suppose -4*x + f = -f - 4, 2*x = 3*f + r. Is x - -33 - 1/1 a multiple of 13?
False
Suppose -180 = -2*x + 3*h, -4*h + h = 4*x - 324. Suppose 4*q - 2*b = x, 3*b = -3*q + 2*b + 58. Suppose -4*r = 3*o - 98, 5*o + r - 155 = -q. Is 13 a factor of o?
True
Let i = -21 - -34. Is 3 a factor of i?
False
Suppose 0 = -2*n, -7*n + 3*n - 424 = -4*g. Does 3 divide g?
False
Let p(t) = 6*t**2 - 2*t - 3. Let b be p(-5). Suppose -450 = 3*f - 2*o, f - 3*o = -0*o - b. Does 15 divide (f/6)/((-8)/12)?
False
Let l(w) = -w**2 + 11*w - 19. Let s be l(10). Let u = -3 - s. Does 3 divide u?
True
Let f(a) be the second derivative of a**5/20 - 13*a**4/12 + 13*a**3/6 - 3*a**2/2 + 2*a. Is f(12) a multiple of 2?
False
Let t = -1 + 4. Suppose 2*f = -4*o - 6, -2*o = -t*f + 3*o + 24. Suppose 5*s - f*i = 89, 2*i = 5*s - 2*i - 87. Is 5 a factor of s?
False
Let s(v) = -6*v**2 + 4 - 1 - 3*v**3 + 4*v**3 - 6. Let z be s(6). Is 14 + z/(9/(-6)) a multiple of 9?
False
Let p(z) = -2*z. Let j be p(1). Is 10 a factor of j/(-4) - 804/(-24)?
False
Suppose -3*l + 3*g - 21 = 12, -4*l - 36 = 4*g. Is l/(-45) + 1047/27 a multiple of 13?
True
Suppose 0 = -h - 2 + 6. Let n be 3/((18/h)/3). Suppose -3*q - 4*t = -3*t - 26, n*q + 4*t = 34. Does 5 divide q?
False
Suppose 6*j - 6 = 12. Does 2 divide j?
False
Is (44 - 6) + (-4)/((-2)/1) a multiple of 5?
True
Is 1/(-8) + (-1155)/(-24) a multiple of 8?
True
Let b(p) = -p**2 - 10*p + 6. Let o be b(-7). Let h = o - 9. Is 9 a factor of h?
True
Is (-100)/(-6)*(9 + -3) a multiple of 17?
False
Let h(w) = -w**3 - 5*w**2 + 2. Suppose -30 = -4*m + 2. Let g(q) = q**3 - 8*q**2 - q + 3. Let x be g(m). Is h(x) even?
True
Suppose 4*h - 11 = -3. Suppose 3*a - 4*r - 8 = -2*r, h*a - 5*r = 20. Suppose 3*k + a*k - 27 = 0. Is k a multiple of 9?
True
Let m(o) = -o**3 + 3*o**2 - 4*o + 2. Let c(i) = i**2 + i. Let w(h) = -2*c(h) - m(h). Let t be w(2). Does 2 divide 6/10 + (-34)/t?
True
Let l = -30 - -52. Suppose -8*d = -7*d - 4. Let c = d + l. Is 19 a factor of c?
False
Let y(a) = -17*a + 13. Is y(-5) a multiple of 18?
False
Is 11 a factor of -2 + -1 - -42 - 3?
False
Suppose 4*b = -o + 43, 4*o + 0*b = 3*b + 77. Suppose -4*z + o = -5. Does 3 divide z?
False
Let j be (0 + 8)*2/4. Suppose -j*h - h + 270 = 0. Suppose i - 3*d - h = 2*d, 5*d = 3*i - 162. Is 19 a factor of i?
False
Suppose 0*l - 36 = -l. Is 12 a factor of l?
True
Let k(a) = a**2 + 2*a - 4. Suppose -7 = 3*y + 5. Let r be k(y). Suppose 4*b - r*f = 44, 5*b - 4 = -2*f + 23. Is 7 a factor of b?
True
Let r be (-3)/12 - (-81)/4. Suppose 19 + r = 3*o. Is 8 a factor of o?
False
Let t(u) = 23*u**2 - 20*u - 38. Let w(j) = 8*j**2 - 7*j - 13. Let l(z) = 6*t(z) - 17*w(z). Does 13 divide l(5)?
False
Let q(z) = -z**2 - 2*z + 2. Let c be q(-3). Let a be 0 + -3 + (c - -6). Suppose -a*y + 15 + 27 = 0. Is y a multiple of 9?
False
Let q(l) = l**2 + 7*l + 8. Let j = -13 - -7. Let p be q(j). Suppose 0 = -g + p. Is 2 a factor of g?
True
Let b(l) = 2*l**3 - 2*l**2 - 1. Suppose -5*n = -5*o, 0*n + 20 = 4*n + o. Suppose 3 + 5 = -2*g, -n*g = y + 14. Is 7 a factor of b(y)?
True
Suppose 2*b - 2*w + 5*w = 381, -4*w + 376 = 2*b. Is b a multiple of 18?
True
Suppose 4*h - 6 = -2*u + 2*h, -u - 2*h + 4 = 0. Suppose 4*r - 88 = -u*l, l - 3*r = -3*l + 165. Is 19 a factor of l?
False
Suppose 0 = -s + 2, -3*s - 85 - 95 = -3*j. Is j a multiple of 31?
True
Let p(a) = 6*a + 8. Let v be p(6). Let t = 55 + v. Suppose 3*s = -3*d - d + 139, 3*s + t = 3*d. Is d a multiple of 13?
False
Let x = -47 + 79. Does 8 divide x?
True
Let s = 3 + 0. Let y(o) = 4*o - 1. Does 11 divide y(s)?
True
Suppose -10 + 70 = -4*f. Let h be (-520)/f*30/8. Suppose 4*i - h = -i. Is i a multiple of 10?
False
Suppose -m + 0*m = -3, 5*n - 2*m = 94. Is 3 a factor of n?
False
Suppose -m + 2*m - 6 = 0. Let s(t) be the first derivative of t**2/2 + 6*t - 2. Does 6 divide s(m)?
True
Suppose -20 = -4*m - m. Suppose r = m*r - 24. Does 4 divide r?
True
Suppose r = -1 + 57. Does 28 divide r?
True
Suppose 3*p - p - 48 = 0. Suppose 4*r + 3*w = p, -5*w + 10 = 2*r - 3*w. Is r a multiple of 6?
False
Suppose 9 = 3*u - 4*y, 0*u + 3 = u - 3*y. Let j be 1/1*u/(-1). Is (j + -1)/(2/(-13)) a multiple of 9?
False
Let y = 17 - 9. Let h = 15 - y. Is h even?
False
Does 24 divide (12*(-1 + 0))/((-8)/96)?
True
Suppose 4*h - 5*d + 11 + 30 = 0, -5*h - 48 = -3*d. Let m be 2/9 - 16/h. Suppose 0 = 3*q - 3*n - 84, -m*n = 2*q - 11 - 45. Is q a multiple of 14?
True
Let m = 103 + -87. Is 12 a factor of m?
False
Let k = -10 - -14. Suppose 45 = k*b + n