
Suppose 4*p - 5*l = 2*p + 51, -3*l = 5*p - 50. Suppose j = 6*j - 75. Let r = p + j. Does 14 divide r?
True
Suppose 9*m + 247941 = 90*m. Is 13 a factor of m?
False
Let v(l) = -5*l**3 - 37*l**2 - 16*l - 17. Does 105 divide v(-11)?
False
Let c be (-10)/5 + 0 - -5. Suppose -63 = -c*q + 15. Let x = q - 18. Does 4 divide x?
True
Let f = 89 - 89. Suppose 4*z - 565 = -4*q + 571, f = 5*z + 4*q - 1415. Does 14 divide z?
False
Does 15 divide (285/38 + (-1 - 6))*3262?
False
Suppose 0 = -5*r - 4*a - 96, -5*a - 74 = 4*r + 10. Let b be (-9)/(-2) + (-8)/r. Suppose -3*p + y + 225 = 0, b*p - 4*y + 208 - 583 = 0. Does 22 divide p?
False
Let g(y) = -5*y + 18. Let x(s) = 40*s - 145. Let p(z) = -25*g(z) - 3*x(z). Is p(17) a multiple of 14?
True
Suppose -4*c + h + 715 = 0, -530 = -3*c + 2*h - 0*h. Is c a multiple of 17?
False
Let m be 556/3 - (-1)/(-3). Let j = m + -113. Is j a multiple of 6?
True
Suppose k - 4*w = -k + 514, -2*k + 516 = -2*w. Suppose -3*i = -k - 98. Does 16 divide i?
False
Let d be 1*381*5/30*-2. Let k = 181 + d. Is k a multiple of 7?
False
Suppose 0*n + 5*x + 30 = -n, -x = 3*n + 20. Let j(m) = -25*m + 5. Is j(n) a multiple of 12?
False
Let k = 31 + 49. Let r = k + -43. Does 7 divide r?
False
Suppose 0 = 6*x - 2*x - 48. Let t(p) = 2*p - 7 - 9 + 2*p. Does 15 divide t(x)?
False
Suppose 4*v = -d + 3125, 1545 = 2*v - 0*v - 3*d. Is 26 a factor of v?
True
Does 140 divide 7827/9 + (-8)/(-5 - 19)?
False
Let m(t) be the third derivative of 7*t**5/20 - t**4/6 - t**3/3 + 6*t**2. Is m(2) a multiple of 4?
False
Let j = 34 - 28. Let q(s) = 2*s**3 - 8*s**2 - 6. Is q(j) a multiple of 18?
False
Let n = 25 - 27. Let f be n/(-10)*-2*-5. Suppose f*o + 1 = 65. Is 8 a factor of o?
True
Let l(u) = u**2 - 7*u - 114. Does 16 divide l(18)?
False
Let p(b) = -b**3 + 10*b**2 - 9*b + 6. Let h be p(9). Suppose h*c = 181 + 53. Is 25 a factor of c?
False
Suppose -3*x = -14 + 2, -3*m - 4*x + 412 = 0. Is m a multiple of 33?
True
Suppose -23 = -5*b - r, -4*b + 3*r = b - 31. Suppose 79 = -4*o + 95. Suppose o*s + 41 = b*s. Is 12 a factor of s?
False
Let u = 69 - 56. Is (u/4)/(31/124) a multiple of 7?
False
Let b(x) = -x**2 + x - 1. Let z(i) = -2*i**2 + 27*i + 17. Let r(w) = 3*b(w) - z(w). Let m be r(-20). Suppose 3*q - 9 = 0, 4*v + q = 5*q + m. Is 9 a factor of v?
True
Let h = -1121 + 1404. Does 2 divide h?
False
Suppose -3*i = -3*c - i, 4*c - 2*i = 0. Suppose c*q + q + 3*s - 92 = 0, 2*s = 4*q - 326. Is 14 a factor of q?
False
Let u = -241 + 356. Is u a multiple of 5?
True
Let s(o) = 2*o**2 + 40*o + 308. Is 24 a factor of s(-9)?
False
Suppose 135*q + 781 = 146*q. Does 2 divide q?
False
Suppose 7469 = 16*u - 10195. Is u a multiple of 29?
False
Suppose -2*c = -4, u - 16 = -0*u - 4*c. Suppose 3*w + 147 = 4*r, 3*r + 4*w + 184 = u*r. Is r a multiple of 16?
False
Let r = 139 - 174. Let t = 25 + -15. Is 17 a factor of (-242)/(-14) + t/r?
True
Let f(x) = 4*x**2 - 148*x + 8. Let k(m) = m**2 - 37*m + 2. Let t(r) = 2*f(r) - 9*k(r). Does 23 divide t(8)?
True
Suppose -3*w - 4*h - 14 = 0, -5*h = -4*w - 4*h + 13. Suppose -q + w = -0*q. Suppose o = s - 4*o - 73, -q*s + o + 164 = 0. Does 11 divide s?
False
Let s = 2480 - 1436. Is s a multiple of 29?
True
Suppose -2*r + 21 = 29. Is (-2208)/(-12) - r/(-1) a multiple of 16?
False
Let z = -581 + 322. Let u = -141 - z. Does 28 divide u?
False
Let s(p) = p**2 - p + 297. Let m be s(0). Suppose 3*u = -3*h + 213, 0 = -4*u - h + 2 + m. Does 38 divide u?
True
Is 88 a factor of 1*-8*8/(-32) + 1846?
True
Suppose 5*g = 5, 2*g = -5*h + 5*g + 1517. Suppose h = -4*t + 8*t + 4*z, -2*t + 2*z + 168 = 0. Is t a multiple of 10?
True
Let c(n) = -n - 1. Let w(l) = -l**2 + 13*l + 8. Let m(d) = -5*c(d) - w(d). Is m(14) a multiple of 18?
False
Suppose -258 = -14*p + 120. Let z = 10 + p. Does 6 divide z?
False
Let d = -1 + 6. Suppose -56 = -39*j + 22. Suppose 0 = d*i + 2*f + 5 - 29, -6 = j*f. Is 6 a factor of i?
True
Does 16 divide (4 - 0)*(12408/32 + 13)?
False
Let i be (5 - 2)/3 + 61. Let h be 0 + 3/(-1) + i. Suppose h - 3 = 4*o. Is 11 a factor of o?
False
Let m(r) = r + 8. Let s be m(-6). Suppose 2*b + s*k = -18, -3*k = 3*b - 5*b - 43. Let o(x) = -x**3 - 13*x**2 + 12*x + 12. Does 10 divide o(b)?
True
Let g = -4 + 53. Suppose y - 5 = g. Suppose -5*b - y = -8*b. Does 6 divide b?
True
Does 40 divide 652/(-7 + 11) - 9/3?
True
Let s be 1 - 4 - (-51)/1. Suppose 12 = 4*q, -3*l + q = -2*l - s. Is l a multiple of 40?
False
Let v = 240 + 228. Is v a multiple of 12?
True
Suppose a = -4*k - 2, 5*a + 5*k - 22 = 2*a. Is a a multiple of 7?
True
Let c = 172 - 55. Suppose -19*m + 16*m + c = 0. Does 7 divide m?
False
Suppose -33 = 4*x - 49. Suppose -x*t + 420 = -t. Does 26 divide t?
False
Let g(d) = -d + 30. Let m be g(32). Let w(u) = u + 4*u - 9*u**3 - 4*u - u**2. Is w(m) a multiple of 22?
True
Suppose -4*b - 12 = -7*b. Let x(v) = 51*v - 6. Let a be x(b). Suppose 2*j - a = -j. Is j a multiple of 12?
False
Let u be ((-19)/3)/(7/(-42)). Let j be (3/(-2))/((-3)/u). Suppose 24*q = j*q + 75. Does 6 divide q?
False
Let d(g) = -g - 3. Let y be d(-8). Suppose z - 18 = -2*z. Suppose y*w - z + 34 = s, s + 4*w = 46. Is 28 a factor of s?
False
Suppose 4*c - 620 = -3*h - 0*c, 2*c = 10. Suppose -i - 22 = -h. Does 17 divide i?
False
Suppose -88 = -8*h + 7*h - 4*q, -176 = -2*h - 4*q. Is h a multiple of 3?
False
Let v(j) = 48*j**2 - j + 1. Let m be v(1). Let z = 35 + -31. Suppose -z*x + x = -m. Is x a multiple of 16?
True
Let y(c) = -2*c**2 + 15*c + 17. Let j(n) be the first derivative of -n**3/3 + 5*n**2/2 + 6*n + 5. Let g(d) = -8*j(d) + 3*y(d). Is 14 a factor of g(-5)?
True
Let u(i) = -i**3 + 2*i + 109. Let v be (-12)/32 - (-9)/24. Does 10 divide u(v)?
False
Suppose 5*s - 744 = s. Let i = s + -94. Suppose -3*k + d + 50 = 0, -5*k = 4*d + 3 - i. Does 17 divide k?
True
Let r = 77 + 163. Is r a multiple of 30?
True
Let r be (9/(-36) - (-10)/(-24))*-3. Suppose -3*k + 276 = 2*d - 6*d, 207 = r*k + 5*d. Does 12 divide k?
True
Suppose -v + 80 = -265. Does 10 divide v?
False
Suppose 0 = 2*x - 10, 5*k + 5*x + 4 = -1. Is (k/4*3)/((-2)/12) a multiple of 2?
False
Let g be (52/6 - (-2)/6)*-4. Does 37 divide 2*(-222)/(g/6)?
True
Suppose 14 = 5*o - 1. Let f = -105 + 175. Suppose 0 = -o*q - 6*k + 3*k + 60, -3*q + 2*k + f = 0. Is 7 a factor of q?
False
Is 12 a factor of 6/2 - (-1169 - -20)?
True
Let k = -466 + 973. Does 12 divide k?
False
Let p(d) = -3*d - d**2 + 3 - d + 3*d**2. Let h be p(2). Suppose -28 = -2*r + 2*i - 0*i, h*r + i - 50 = 0. Is r a multiple of 8?
True
Suppose 6 + 21 = -3*c. Let r = 13 - c. Does 11 divide r?
True
Let o = -420 - -510. Is 7 a factor of o?
False
Suppose 4*g - 4 = 0, l + 3*g - 6*g - 23 = 0. Let o = l + 22. Is 24 a factor of o?
True
Let y = -65 - -108. Suppose -y = 5*k - 283. Suppose -2*h = -3*h + k. Does 16 divide h?
True
Suppose 5*i - 4*v - 2467 = 0, 10*i - 5*i + v = 2477. Is i a multiple of 33?
True
Suppose 0 = -6*c + 348 - 0. Is c a multiple of 5?
False
Let f = -212 - -365. Is ((-2)/(-3))/(2/f) a multiple of 12?
False
Suppose 3*k + 357 = 3*n - 54, -4*k = 3*n - 404. Suppose 4*t - n = -4*c, -3*c = 5*t + c - 172. Is t a multiple of 9?
True
Suppose -5*l - 5*k + 40 = 0, -5*k + 6 + 6 = -2*l. Let y be l/14 - 76/(-28). Let s(a) = 2*a**2 + 3*a - 4. Is 5 a factor of s(y)?
False
Suppose 3*m - 8*m = -360. Suppose l = 4*l - m. Is 24 a factor of l?
True
Suppose -5*k - 4*z + 1425 = -1699, -3*z - 1869 = -3*k. Is k a multiple of 52?
True
Let b = -15 - -22. Let s = 43 - b. Let k = -6 + s. Is 10 a factor of k?
True
Suppose -5*x = 4*m - 62, -4*m + 46 = x - 4*x. Suppose 5*s = 3*o - m + 288, o - 47 = -s. Is s a multiple of 9?
False
Suppose 19 = 5*j + x + 3*x, 0 = -3*j - 3*x + 12. Suppose -81 = -j*d - 3*w, 5*d + 3*w - 170 = -37. Is d a multiple of 2?
True
Is 92*((-441)/(-12) + 4 + -3) a multiple of 13?
False
Let w(m) = -m - 6. Let t be w(-8). Suppose t*o - 5*o = 0. Let u(q) = q**3 + q**2 - q + 18. Is u(o) a multiple of 6?
True
Let z be 298/3 - 2/(-3). Let j = 160 - z. Suppose 0*k - j = -2*k. Is 11 a factor of k?
False
Let d(n) = n**2 + 17*n - 26. Is 28 a factor of d(-22)?
True
Let n(j) = -17*j - 16 + 2*j + 7*j**2 - 8*j**2. Is n(-12) a multiple of 5?
True
Does 2 divide (-185)/(-8) - (-28)/(-224)?
False
Let s(t) = -t**2 + 9*t + 13. Let r be (26/65)/(2/50). Let o be s(r). Suppose -o*h + 6*h = 165. Does 15 divide h