
Let u be (-112)/(-12)*(4 - -8). Let z = u + -1. Is 15 a factor of z?
False
Let i(r) = r**2 - 2*r + 24. Suppose -2 = u - 2*f - 3, 12 = 4*u - 4*f. Suppose -u = -2*w - 5*t, t + 4*t = 2*w + 5. Is i(w) a multiple of 12?
True
Let l = 3 - -3. Let y(z) be the second derivative of z**4/12 + z**3/6 - 9*z**2/2 + 9*z. Is 6 a factor of y(l)?
False
Let r = 145 + 53. Does 18 divide r?
True
Suppose -n - 7 = -9. Suppose 4*k = -k - n*i + 64, 5*i + 29 = k. Does 4 divide 4/k - 165/(-35)?
False
Let y(x) = -294*x**3 + 2*x**2 + 2*x. Let i be y(-1). Suppose 3*o = 3*m - i, -3*m + 2*o - 12 = -308. Is 25 a factor of m?
True
Let r be -1*(-1 + -2)*5. Is (-9)/(-6)*r*(-150)/(-27) a multiple of 10?
False
Does 9 divide (-818)/(-4) - ((-136)/16 - -6)?
True
Suppose 10*y = 8*y + 22. Let l(p) = p - 9. Let o be l(9). Suppose y + o = u. Is u a multiple of 5?
False
Let k be (-9)/(-2)*12/6. Let u(l) = 3 + l + 4 + 4. Is u(k) a multiple of 6?
False
Let k = 329 - 17. Is k a multiple of 39?
True
Suppose 4*w + 3*i - 124 = 0, 3*w + 31 = 3*i + 103. Let m(d) = w*d**2 - 29*d**2 - d + 3 + 5*d**3 - 1. Is m(2) a multiple of 13?
False
Suppose u = 5*u - 704. Is u a multiple of 50?
False
Let m(i) = 24*i - 5. Let c be m(4). Suppose q = v + 62, -q - 23 + c = 5*v. Does 8 divide q?
False
Is (2402/(-4) - 1)*(-20)/15 a multiple of 8?
False
Let m be 1/(1/2) + 9. Suppose -3*l = -47 + m. Suppose -5*k = 4*r - l, 3*r - 4*k + 5 = 45. Is r a multiple of 8?
True
Let v be (63/28 - 2/8) + -1. Let u(f) = 56*f - 6. Let g(y) = -57*y + 5. Let o(x) = -5*g(x) - 4*u(x). Does 20 divide o(v)?
True
Suppose -14*g + 10989 = -3991. Is g a multiple of 48?
False
Suppose -4*r = -a + 16, -5*a - 3*r + 170 = -5*r. Let t = a + 24. Does 12 divide t?
True
Suppose -h + 136 = -0*h - 5*s, -s - 525 = -4*h. Is h a multiple of 7?
False
Suppose 3*b - 68 - 17 = -2*n, 3*n = -b + 40. Is 25 a factor of b?
True
Let m(f) be the third derivative of f**4/8 + f**3/6 + 7*f**2. Let t be m(4). Let d = -3 + t. Is d a multiple of 10?
True
Let c = 235 - 228. Is 2 a factor of c?
False
Let u(x) = -x**3 - 5*x**2 - 7*x - 11. Let r(k) = -2*k + 3. Let f(d) = 5*d**3 - 1. Let a be f(1). Let j be r(a). Is 12 a factor of u(j)?
True
Let q be 10/30 - 5/(-3). Let a be (30/(-20))/(q/(-116)). Let p = -61 + a. Does 13 divide p?
True
Suppose -2*c + 15 = 11. Suppose 3*h - c*a - a - 789 = 0, a - 538 = -2*h. Is 14 a factor of h?
False
Let z(c) = c + 7. Let i be z(-12). Let u be (-2)/(-5) + (-48)/i. Let q = u + 18. Is q a multiple of 14?
True
Let z = 71 - 68. Suppose z*w - 2*w = 66. Is 6 a factor of w?
True
Suppose -4*i - 67 = -159. Suppose h = 24 + i. Is h a multiple of 2?
False
Let v(w) = -w**3 - 31*w**2 + 41*w - 57. Is 48 a factor of v(-33)?
True
Suppose -5*m - 631 = -5*d - 31, 0 = 5*d - 2*m - 585. Is d even?
False
Suppose -p + 5*p = 2*y + 1392, -348 = -p - 2*y. Is p a multiple of 58?
True
Suppose -2*d + 14 - 4 = 0. Suppose -x = -d*x. Suppose x = 2*p - 24 - 8. Is p a multiple of 8?
True
Suppose 5*i + 1424 = 3*f, 4*f + 2*i - 1864 = -0*f. Is f a multiple of 26?
True
Suppose 0 = -28*s + 25*s - 15, 4*k = -5*s + 3735. Is 7 a factor of k?
False
Is (-582)/(-9) + (-4 - 20/(-6)) a multiple of 3?
False
Let q be 4/12*(38 - (-1 + 0)). Suppose -1305 = -q*t - 473. Does 5 divide t?
False
Let p(h) = -52*h + 90. Does 38 divide p(-5)?
False
Let z = 11 - 9. Suppose 4*x = f + 605, 468 = 5*x - z*x + 4*f. Suppose c + x = 5*c. Does 19 divide c?
True
Suppose 0 = 4*v - 3*m + 3866, -3*v - 1894 = -4*m + 1002. Let k = -680 - v. Suppose 0 = -4*b + j + k, 2*b + 4*j - 208 = -82. Is 21 a factor of b?
False
Suppose 3*g - 5*b - 36 = -288, -2*g - 187 = 3*b. Let o = 134 + g. Does 15 divide o?
True
Let d = -1287 - -1959. Is d a multiple of 16?
True
Let b be (0 + -6)/((-12)/32). Let m = -14 + b. Does 3 divide 9 - (m - (-3)/(-3))?
False
Suppose -7*q + 22655 = 16*q. Does 36 divide q?
False
Let j = -25 - -33. Let w(o) = o - 1. Is w(j) a multiple of 7?
True
Suppose 2*x - 3 = 5. Suppose 0 = 4*o - 3*b - 79, x*b - 60 = -o - 4*o. Suppose 0*z + o = 4*z, -4*c + 5*z = -420. Does 20 divide c?
False
Let k be 2/7 + 66/14. Let z be (5*2)/(10/k). Let l(u) = u**2 + 2*u + 4. Is 13 a factor of l(z)?
True
Is 76025/(-10)*(-8)/20 a multiple of 16?
False
Suppose 4*j = -2*c + 872, 5*c + 0*j + 3*j = 2201. Is 34 a factor of c?
True
Let h(q) be the third derivative of -103*q**6/120 - q**5/30 + q**3/6 - 15*q**2. Is h(-1) a multiple of 17?
True
Let d(f) = -31*f. Let z be d(-1). Let u = z - 34. Let a = 18 + u. Is 5 a factor of a?
True
Suppose -3*t + 25 = 5*c - 386, 4*t + 264 = 3*c. Suppose 0 = -11*f + 13*f - c. Is f a multiple of 21?
True
Let m be -4 + (0 - -3) + 48. Let y = m + 19. Is y a multiple of 16?
False
Let o = 412 + -368. Does 22 divide o?
True
Let g(u) = -295*u - 279. Is 6 a factor of g(-4)?
False
Suppose 4*u - 50 = -u. Suppose -l + u = 16. Does 9 divide l - -9 - (-15)/1?
True
Let n be (168/20)/((-1)/(-5)). Let w be 3/(-1) - n/1. Let p = 77 + w. Is 14 a factor of p?
False
Let s(y) = -42*y + 1. Let d be ((-5)/15)/((-4)/(-24)). Is 59 a factor of s(d)?
False
Let p(q) = 2*q**2 - q - 1. Let h = -3 + 23. Suppose -4*k = f - 0*f - h, -5*k + 4*f + 25 = 0. Is p(k) a multiple of 11?
True
Suppose i - 85 + 25 = 0. Let w = 39 + -37. Suppose w*z + 40 = 2*b, 4*z + 0*z - i = -3*b. Is b a multiple of 15?
False
Let m(a) = a**2 - 11*a + 12. Let h be m(10). Let k(u) = -5 + 6*u + h*u - 10 - 3*u. Does 2 divide k(6)?
False
Let g = -35 + 85. Suppose k - 6*k = g. Is 2 a factor of (6 - 8)*k/4?
False
Let y be (-14)/12 - 2/(-12) - -433. Suppose -y = -2*g - 2*g. Does 27 divide g?
True
Let j = -20 + 24. Suppose 0 = -2*o + 2*n, -j*o - n = 3 - 28. Let r(q) = q**3 - 3*q**2 + 4*q - 7. Does 27 divide r(o)?
False
Let q be (24 - -7)/((-2)/(-8)). Let n = q + -40. Does 25 divide n?
False
Let h = -24 - -33. Is 2/(-7) + 230*h/42 a multiple of 30?
False
Suppose -14*n + 400 = -9*n. Does 4 divide n?
True
Suppose 3*o - 1209 = -3*y, 2*y - 802 = -2*o + o. Is y a multiple of 39?
False
Suppose h + 9 = 3*w, 0 = 2*w + 2*h + 3 - 1. Suppose 2*k - 154 = -w*b, 2*k + 3*b + 2*b - 163 = 0. Suppose i = -l + 24, -l = 3*i + 4*l - k. Does 23 divide i?
True
Let r(f) be the second derivative of -f**5/10 - 5*f**4/12 + f**3/2 + 3*f**2 + 15*f. Does 7 divide r(-4)?
True
Let k(w) = 1 + 125*w**2 - w - 219*w**2 + 106*w**2 - 1. Let p be (-2)/(-3) - 1/(-3). Does 11 divide k(p)?
True
Let y(r) = r + 18. Suppose 2*z = -3*z + 10. Suppose -5*w + z = 5*t + 22, -5*w + 3*t - 52 = 0. Is y(w) a multiple of 3?
False
Let h(b) = 2*b**2 + 42*b + 2. Is h(-22) a multiple of 2?
True
Is 13 a factor of (8/(-3))/(45/(-19305))?
True
Suppose 0 = -8*j + 3*j - 75. Does 19 divide 2/j - (-1457)/15?
False
Let l(p) be the third derivative of p**6/45 - p**5/60 + p**4/12 + 4*p**2. Let b(w) be the second derivative of l(w). Is 10 a factor of b(2)?
True
Let j = 585 + -466. Is j a multiple of 7?
True
Suppose 5*i - 2*t = 18266, 0 = -5*i + 4*t + 15094 + 3168. Is 126 a factor of i?
True
Let a = -30 - -32. Let g(f) = 5*f**2 - 4*f - 2. Does 10 divide g(a)?
True
Let v = -685 + 960. Is 11 a factor of v?
True
Does 31 divide 5 + 454 + (-4 - -10)?
True
Suppose 3*r - 14 = k, -4*r - 2 = 4*k + 6. Suppose 4*j - s = 20, -4*j + 2*s + 36 = -r*s. Is 4 a factor of j?
True
Suppose q + 2 = 1. Let l be (q - -3)*2*1. Suppose 5*o + 46 = 4*v, 9 = l*v - 2*o - 43. Is v a multiple of 7?
True
Let o(t) = 7*t**3 - 7*t**2 - 9*t - 2. Let s(h) = -6*h**3 + 6*h**2 + 8*h + 2. Let v(l) = 5*o(l) + 6*s(l). Let m be v(-5). Let n = m - 98. Is 13 a factor of n?
True
Suppose t - 2*m = 3135, 5*t - 11367 - 4323 = -5*m. Is 34 a factor of t?
False
Let l = -7 - -5. Let u be 6/(-3) - (l + 0). Let w = u + 3. Does 3 divide w?
True
Let y(d) = 6*d**2 + 17*d - 7. Let s be y(-6). Let c = -79 + s. Is 7 a factor of c?
True
Let x(n) = n**2 + 8*n + 18. Let p be x(-4). Suppose p*g + 630 = 8*g. Is g a multiple of 21?
True
Suppose -c - 2*c - 9 = 0. Let o be (-15)/10*(-74)/c. Let s = o + 85. Is s a multiple of 24?
True
Let b be (-4)/((-4)/7) - 2. Suppose r - 10 = -b*p, -2*r - 2*r + 3*p = -17. Suppose 0 = g + r*g - 234. Is 14 a factor of g?
False
Let j(p) = -p**2 + 11*p + 23. Let y(i) = -i**2 - i + 1. Let k(r) = -j(r) - 2*y(r). Is k(8) a multiple of 15?
False
Suppose 12*z = -525 + 2733. Is z a multiple of 23?
True
Let x(n) = -14*n**2 + 99. Does 21 divide x(0)?
False
Let u = 270 + -158. Suppose 