= -23*j + 207. Does 5 divide o(5)?
False
Suppose r + 740 = 5*m, 4*m + 5*r - 311 = 281. Is m a multiple of 7?
False
Let i = -19 + 30. Let n(v) = 4*v - 20. Let w be n(i). Suppose 0 = 2*m - m - w. Is 12 a factor of m?
True
Suppose 3*t - 187 = 2*c - 597, -4*c = -4*t - 824. Is c a multiple of 4?
True
Suppose 3*w = 5*b - 37, -5*b - w = -3*b - 6. Let c = b + -1. Suppose 5*j - c*r = 355, 2*j - 3*r = r + 142. Is j a multiple of 10?
False
Suppose -124 = -11*n + 1416. Is n a multiple of 5?
True
Suppose -5*b = 4*w - 443, -4*w - 219 = -6*w - 3*b. Does 4 divide w?
False
Suppose 0 = -8*p - 0*p. Suppose p = 3*h - 0*h - 216. Is 9 a factor of h?
True
Suppose -2*p + 3*y + 14 = 7*y, 4*p + 3*y = 23. Suppose p*a - 1210 = -z, -2*z = -2*a - 0*z + 496. Does 27 divide a?
True
Let l(t) = t**3 - 4*t**2 - 5*t + 3. Let c be l(5). Suppose 0 = z - 2*b - 48, c*b + b - 112 = -2*z. Is z a multiple of 8?
False
Let r(h) = 2*h**2 + 14*h - 52. Does 47 divide r(8)?
True
Let d(l) = 65*l**2 - 16*l + 14. Does 86 divide d(-4)?
True
Let s = 785 - 409. Is 31 a factor of s?
False
Suppose -i + 2*t - 3004 = -6*i, -i - 5*t + 610 = 0. Is i a multiple of 40?
True
Suppose 30 = 13*d - 10*d. Suppose -f = 2 - d. Is f a multiple of 7?
False
Is 31 a factor of (1824/(-64))/(6/(-16))?
False
Suppose 7*v - 5 = 2*v, -31 = -2*c + v. Let j = 1 + 0. Let m = c - j. Does 4 divide m?
False
Let f(d) = -26*d - 26. Suppose 8 + 8 = 2*q. Let k(s) = 17*s + 17. Let j(r) = q*k(r) + 5*f(r). Is j(5) a multiple of 13?
False
Let f be (0 - -1) + (-4 - -3). Let l be (f - -50) + (6 - 8). Let p = l + -31. Does 6 divide p?
False
Let u be -3 + -1 + 1 + 3. Let t be -7*(u - -3)/(-3). Suppose -6*s - 22 = -t*s. Is s a multiple of 11?
True
Let q = -7 - -4. Let h(w) = 11*w**2 + 2*w + 11. Let d(l) = -5*l**2 - l - 5. Let k(r) = q*h(r) - 7*d(r). Does 2 divide k(-1)?
False
Let h(o) = o**3 - 3*o**2 + 23. Does 7 divide h(8)?
True
Let p(c) = c**2 - 4*c + 9. Let q be p(7). Let v be (-1 - -2)/((-1)/q). Let l = v + 54. Is 12 a factor of l?
True
Let i(v) = 31*v + 9. Let r be 3 - ((-39)/6 + (-4)/(-8)). Is i(r) a multiple of 32?
True
Suppose 3*k = a + 6*k - 116, 2*k = -2*a + 248. Is a even?
True
Let t be ((-42)/35)/((-3)/80). Let o = t + -3. Let r = o - 8. Does 7 divide r?
True
Let l = 10 - 10. Let u be -2 - (-23 + (l - 1)). Suppose a + 0*a = u. Does 6 divide a?
False
Let t(z) = 9*z**2 - 2*z + 1. Let n be t(2). Suppose 5*a = 3*a - 4*d + 180, 208 = 2*a - 3*d. Let v = a - n. Is v a multiple of 22?
False
Let x(n) = -16*n**3 - n**2 + n + 3. Does 5 divide x(-2)?
True
Let f(q) = q**2 - 6*q + 9. Let t(s) = -4*s**2 + 30*s - 46. Suppose 5*m = -3*a + 49 - 12, 0 = -3*a - 2*m + 40. Let y(z) = a*f(z) + 3*t(z). Does 19 divide y(4)?
False
Suppose 3*n = -0*n + 9. Suppose -5*h = -v + 78, n*h = -h + 8. Suppose -y = y - v. Is y a multiple of 22?
True
Let z = 0 - -116. Is z a multiple of 27?
False
Let t = -34 + 49. Does 10 divide 9/t + (-885)/(-25)?
False
Suppose -4*o - 6 = -3*l, 0 = o - 5*o - 3*l + 6. Suppose 6*k = 2*k + 8. Suppose -4*w - 3*m = k*m - 103, o = w + 4*m - 34. Is w a multiple of 9?
False
Let q = 1598 - 1505. Is q a multiple of 6?
False
Let a = -109 + 111. Suppose -400 = -3*p - a*p. Is 8 a factor of p?
True
Suppose 5*i = 2*i - 3. Let k be i + 4/(8/182). Is 4/(-30) + 1362/k a multiple of 4?
False
Does 7 divide (-226)/(-2) - (-1 - 1 - -3)?
True
Is 2 + 4 + -7 + 56 a multiple of 13?
False
Let x(a) = 47*a - 71. Does 9 divide x(10)?
False
Suppose -6*l = -2058 - 1032. Does 15 divide l?
False
Let a(n) = -n**2 + n - 8. Let r be a(0). Let o(k) = 2*k**2 + 3*k - 11. Is 31 a factor of o(r)?
True
Let d(m) be the second derivative of -m**5/20 + 7*m**4/12 - m**3/6 + 3*m**2 + 5*m. Let o be d(7). Is 14 a factor of 0/o + 40 - -3?
False
Let i(t) = t**3 - 9*t**2 + 10*t + 1. Suppose 37 = 5*y - 3. Does 17 divide i(y)?
True
Let s be (-8)/20 - (74/(-10) + 1). Does 14 divide 108/(-10)*(-40)/s?
False
Let x = -18 - -19. Let l be x/(-2)*(-9 + 9). Suppose 2*d - 3*d + 37 = l. Is d a multiple of 28?
False
Let z be (6 - 8)/(3/((-531)/6)). Let d = 124 - z. Does 13 divide d?
True
Suppose 5*t = 4*n + 385, -171 = 5*t - 7*t + 5*n. Does 18 divide t?
False
Let j(r) = 3*r + 4. Let v be j(5). Suppose -95 = -2*f - 3*t, -11 = -f + 2*t + v. Is 5 a factor of f?
True
Suppose -3*w + 6 = -3*m + 24, -3*m = 5*w + 22. Let i(j) = -3*j - 3. Let s(g) = -6*g - 5. Let p(v) = w*i(v) + 2*s(v). Is p(4) a multiple of 17?
True
Let b be ((-32)/12 - -3)*-27. Let t(h) = h**3 + h**2 + h + 1. Let z(g) = -2*g**3 - 10*g**2 - 8*g - 6. Let p(c) = t(c) + z(c). Does 26 divide p(b)?
False
Let w(d) = 19*d**3 + 3*d**2 - 14*d + 5. Is 14 a factor of w(3)?
False
Let y be (1 + -4)/(12/(-20)). Suppose -108 = y*z - 333. Is 15 a factor of z?
True
Let z be ((-4)/(-3))/(7/42). Let q(i) = i**2 - 7*i - 6. Let m be q(z). Suppose 5*u = -m*c + 4*c - 2, -2*c - 2*u = -16. Is c a multiple of 6?
True
Let p(s) = s**2 + 82. Is 3 a factor of p(0)?
False
Suppose -22*t + 6963 = 2629. Is t a multiple of 19?
False
Let b(d) = -d**3 - 2*d**2 + 3*d - 3. Let q be b(0). Is 14 a factor of 2*(-1)/3 - 128/q?
True
Is 13 a factor of 8066/10 + 12/(-20)?
True
Let n = -54 + 28. Let y = 110 + n. Does 21 divide y?
True
Let u(y) = 2*y**2 + 2*y - 1. Let c be u(1). Suppose -c = -2*g - 13. Is 8 a factor of (-122)/g - (-2)/(-5)?
True
Let t = 15 + -11. Let z(f) = -11*f**2 - f - 9. Let b(d) = -10*d**2 - 10. Let q(s) = t*b(s) - 5*z(s). Is q(-2) a multiple of 9?
False
Let w = 11 + -70. Let g = w + 89. Does 5 divide g?
True
Let k = 73 + -67. Suppose -4*a + 58 = -k. Is a a multiple of 16?
True
Let r = -2702 + 5354. Is 17 a factor of r?
True
Suppose -9*o - 12 = -13*o. Let m(c) = 35*c**2 - 2*c + 7. Let k be m(o). Suppose -k + 92 = -4*s. Is s a multiple of 14?
True
Let a be (3/9*0)/(-2). Let x be (1 + a)/(16/(-1584)). Let m = -35 - x. Does 32 divide m?
True
Suppose 7*z + q = 2*z + 120, 0 = -4*q + 20. Suppose -4*p = 3*t - 136, -2*t - z - 113 = -4*p. Is p a multiple of 3?
False
Let a = 2636 - 1362. Is a a multiple of 91?
True
Let z(u) = -2*u**2 - 41*u - 21. Does 11 divide z(-11)?
False
Let n(z) = -4*z + 2. Let s be n(-2). Let a be (-442)/(-65) - (-2)/s. Suppose a = h - 18. Is h a multiple of 5?
True
Suppose x = -2*z - 0*z + 91, 3*x - 305 = 2*z. Let v = x - 68. Does 5 divide v?
False
Suppose -4*p + 139 = 91. Suppose -j - 44 = -0*j. Let u = p - j. Does 14 divide u?
True
Suppose 4*a + 5*b = -a + 940, 5*a = 5*b + 950. Suppose 3*r - 155 = 5*i - 474, 3*i - a = r. Does 15 divide i?
False
Let v be (9 - 4)/(2 + -1). Suppose -v = 3*h - 2*h, -3*c = -5*h - 229. Does 9 divide c?
False
Let n = 8 - 9. Let c be (-2 + n)/((-3)/2). Let l(w) = 2*w**3 + w**2 - 2. Is l(c) a multiple of 6?
True
Let c = 7 - 2. Let a(r) = r**3 - r**2 - 8*r - 6. Is a(c) a multiple of 18?
True
Let h be 0/(35/5 + -4). Suppose -15*l + 9*l + 168 = h. Is 7 a factor of l?
True
Let p be (-4 - -1)*(-2)/2. Let k(t) be the first derivative of 10*t**2 + 2*t + 1. Is 31 a factor of k(p)?
True
Does 12 divide (8/(-2))/(11/(-407))?
False
Let w(q) be the first derivative of 2*q**3/3 + 22*q**2 + 29*q - 24. Is 12 a factor of w(-23)?
False
Let a be ((-28)/(-21))/(2/3). Suppose u = a*u. Suppose -4*d = -20, -23 = -m - d - u. Is m a multiple of 7?
False
Let a(s) = -s**3 + 11*s**2 + s - 12. Let q be a(11). Let i be q/6 + (-2)/(-12). Suppose -3*r + 16 + 59 = i. Is r a multiple of 25?
True
Let q(y) = 41*y - 19. Let n(r) = -21*r + 10. Let g(x) = -5*n(x) - 2*q(x). Let d be g(6). Suppose -31 + d = 5*m. Is 19 a factor of m?
True
Let n(z) = -36*z - 34. Let l be n(6). Let v = l + 397. Does 21 divide v?
True
Let l = 655 - 447. Is l a multiple of 13?
True
Let q be (20/(-6))/(-4 + 40/12). Suppose -q*l = -14*l + 522. Is l a multiple of 29?
True
Suppose 6 = -h - 5*v, v = -3*h - 5 + 1. Does 28 divide h - -170 - -1*2?
False
Let x be 286 - (3 - 0/2). Suppose 5*u = 2*f + x + 186, 2*f = 6. Is u a multiple of 30?
False
Suppose 17*y - 4057 + 113 = 0. Is y a multiple of 11?
False
Suppose 3*p - 18 = -6. Suppose 0*y - 92 = -p*y. Let n = y - 13. Is 3 a factor of n?
False
Suppose 0 = -55*g + 41159 + 5041. Does 35 divide g?
True
Let v(i) = 3*i - 10. Let n be v(4). Suppose 0*j + j - n = 0. Does 18 divide (60/(-70))/(j/(-84))?
True
Let n be (-15)/(3 - 6) - -1. Let h = 16 - n. Suppose -3*f - h = 2*t - 49, 75 = 4*f - 5*t. Is 7 a factor of f?
False
Let h = -45 + 32. Let p =