
True
Suppose 0 = -5*x + 3*x + 4*y - 14, 0 = -2*x - 5*y + 31. Suppose 0 = 2*b + x - 1. Does 4 divide (-1)/(2/28*b)?
False
Suppose -4*b - 5 = -13. Suppose 2*g = -b*u + 214, 2*u - g - 341 = -u. Does 13 divide (21/(-14))/((-6)/u)?
False
Let d be 2 - 0/((-4)/2). Let j(f) be the third derivative of f**5/20 - f**4/12 - f**3/3 - 3*f**2. Is j(d) a multiple of 3?
True
Suppose 0 = -2*i + 3*i. Does 15 divide -2*((-45)/6 + i)?
True
Suppose -5*w + 0*w = -395. Is w a multiple of 24?
False
Let v be 6/15 - (-7)/(-5). Let h be 1 + v/(2/(-40)). Suppose 3*s - h = 33. Is s a multiple of 9?
True
Let m(i) be the third derivative of -i**5/60 - 7*i**4/24 + i**3/6 - 2*i**2. Let v be m(-6). Let u = 5 + v. Is 6 a factor of u?
True
Let s = 171 + -119. Does 13 divide s?
True
Let o(x) = -x**2 + 5*x + 5. Let y(v) be the second derivative of -v**3/6 + 9*v**2/2 + v. Let n be y(4). Is o(n) a multiple of 5?
True
Let u(z) = 8 - z - z + z. Let r be u(9). Is 4 a factor of r/1 + (-1 - -6)?
True
Let o(b) = b**3 - 11*b**2 - 7. Let j be o(11). Is 2/j - (-1032)/84 a multiple of 3?
True
Let s(a) = 13*a. Suppose -5*f - 2*i - 3 = 0, 2*f - 18 = 3*i + i. Does 3 divide s(f)?
False
Suppose 2*f + 14 = 3*d + d, -d = f - 8. Suppose 24 = -b + f*b. Does 9 divide b?
False
Let o(k) = -6*k**3 + 5*k**2 - 7*k - 1. Let m(n) = n**3. Let y(r) = -5*m(r) - o(r). Is y(5) a multiple of 16?
False
Let h = 471 + -275. Is h a multiple of 23?
False
Does 2 divide (-1)/((-23)/(-6) + -4)?
True
Let t = -350 - -528. Is 30 a factor of t?
False
Let o(l) = -3*l - 4. Let k be o(-4). Suppose r - k = 1. Does 3 divide r?
True
Suppose 4*a - 4*n = 48, 0 = -0*a + 2*a + 2*n - 44. Does 17 divide a?
True
Suppose 4*w - 44 = -0*w. Suppose -w = -v - 1. Is 7 a factor of v?
False
Let b(a) = 2*a + 1. Let v be b(2). Suppose 67 = v*d - 33. Does 5 divide d?
True
Suppose -83 = -4*q + 149. Is q a multiple of 13?
False
Suppose -2*t + w - 2 + 14 = 0, -2 = w. Let i(y) = -19*y - 5*y**3 + 9*y**2 + 6*y**3 + t*y - 11. Is i(-10) a multiple of 12?
False
Let b(q) = 34*q**2. Let n be b(-2). Suppose 0 = 2*l - 3*l + n. Suppose 3*w = 4*r - w - l, 5*w - 86 = -3*r. Is r a multiple of 16?
True
Suppose -3*n + 2116 = -7*n - 4*h, 4*n = -3*h - 2119. Is 5 a factor of 1/(-3) + n/(-21)?
True
Let n = 73 - 50. Is 23 a factor of n?
True
Let y(w) = w**2 + 3*w - 4. Let u(b) = b - 1. Let r be u(-5). Does 6 divide y(r)?
False
Suppose 2*o - 36 = -o. Does 2 divide o?
True
Let r be 1*(4 - 2 - 3). Let d = 18 - r. Does 4 divide d?
False
Does 3 divide ((-1 - 4)*1)/(-1)?
False
Suppose -3*s - 10 = -0*s - 4*w, w = 4*s + 9. Is -1 + (25 - s - 2) a multiple of 9?
False
Suppose -d + 8 = -y + 3*d, 2*y = 3*d - 6. Suppose 0 = 2*t - 5*f + 2*f - 73, y = -5*t - 3*f + 193. Suppose l - 9 = t. Is 16 a factor of l?
False
Let p(k) = -k**2 - 28*k + 53. Is 7 a factor of p(-28)?
False
Let q(k) = 20*k + 6. Let h(r) = -r**3 - 10*r**2 - 8*r + 12. Let x be h(-9). Does 33 divide q(x)?
True
Suppose -2*n = 2*n - 16, 2*n = 2*p - 12. Is 10 a factor of (132/10)/(p/25)?
False
Let j(t) = -t**2 + 40. Is j(0) a multiple of 10?
True
Let a be 1 - (-4 + 2 - 0). Suppose 5 = 4*u + 3*t - 15, 6 = -a*u + 3*t. Suppose u*y - 9 = -y. Does 2 divide y?
False
Let p(s) = -3*s + 4. Let k be p(3). Let c = k - -2. Is 7 a factor of 28*(14/4 + c)?
True
Let b = 4 + -29. Let q = -3 - b. Is 11 a factor of q?
True
Let j(k) = 3*k + 1. Let l be j(5). Suppose -80 = -0*v - 5*v - x, -v + l = 3*x. Is 4 a factor of v?
True
Suppose 4*t + 2*b - 20 = 0, 0*t - t = -2*b. Suppose t*r = 63 + 33. Is r a multiple of 8?
True
Does 8 divide 5 - 78/12 - 83/(-2)?
True
Let i(d) = -d**3 + 9*d**2 + 5*d - 13. Does 16 divide i(9)?
True
Suppose -3 = -3*h - u + 3*u, 4*h + 3*u - 21 = 0. Let p(q) = -h*q - 4*q + 1 + 0. Is p(-1) a multiple of 7?
False
Suppose n = 18*n - 136. Is 8 a factor of n?
True
Let o be 2*(-4)/(16/(-74)). Suppose o = 2*k - 3. Is k a multiple of 10?
True
Let d = 45 + 18. Suppose -3*c + n + d = 4*n, -129 = -5*c + n. Does 7 divide c?
False
Let q = 7 - 7. Suppose q = 5*h - 200 + 65. Is h a multiple of 9?
True
Suppose 0 = -5*g - 10, 4*g - 557 = -10*h + 5*h. Is 22 a factor of h?
False
Let l(u) = u**2 + 6 - u**3 + 4*u**2 - 3*u - 2. Does 4 divide l(4)?
True
Does 15 divide 24/2 + (1 - -2)?
True
Let u(o) = o**3 - o**2 - 5*o + 2. Let y be u(3). Suppose -f + 6 = y*s, 2*f - s = 5*f - 74. Does 12 divide (-3 + f + 0)*1?
False
Let l(h) = -5*h + 83. Is 7 a factor of l(-31)?
True
Let v(w) = -w + 58. Is v(-32) a multiple of 5?
True
Let y(q) = -q**3 + 12*q**2 + 28*q + 3. Is 10 a factor of y(13)?
False
Suppose 4*c - 113 = x, -c = -x + 3 - 35. Does 6 divide c?
False
Let n(b) = 37*b - b + 4 - 3 - 5*b. Let i be n(-1). Does 4 divide i/(-2) + -5 + 2?
True
Suppose -6*u + 15 = -3*u. Suppose b + 7 = 5*r, -4*r + 5*b - u = 2. Let f = r + 22. Is 12 a factor of f?
True
Suppose -3*r + 0*r = -3*n - 12, 0 = 5*n + r + 44. Does 13 divide 39/(-4)*n/3?
True
Let h = -319 - -116. Let i be (-2)/(-5) + h/(-5). Suppose 0*c + 4*g = 3*c - 32, -5*g + i = 3*c. Is 7 a factor of c?
False
Let c = 9 + -21. Let m = c - -17. Suppose -m*n - 5 = -70. Does 13 divide n?
True
Is 21 a factor of ((-9)/6)/((-4)/168)?
True
Let o be ((-8)/(-2))/(2/(-4)). Let r be (-274)/8 - (-1)/4. Let y = o - r. Does 13 divide y?
True
Let t = -20 - -36. Suppose 0 = 2*s - t - 8. Is 12 a factor of s?
True
Let n(k) = -5*k - 5. Let g be n(6). Does 11 divide (-2)/(-2) - 3 - g?
True
Suppose -21 = -2*f - 13. Suppose -s + 5*s - 244 = 4*u, 173 = 3*s - u. Suppose 5*o = 3*p - p - 4, s = f*p + 2*o. Is 5 a factor of p?
False
Suppose 20 = 5*m + 4*t, -4*m + 2*t = 4*t - 10. Suppose m = -d - g - 3*g + 32, 45 = 5*d - 3*g. Is 6 a factor of d?
True
Let z be (-6)/(-12) - 6/(-4). Let p be (6/9*15)/z. Suppose p*g - g - 21 = -v, -2*v - 5*g + 54 = 0. Is 16 a factor of v?
False
Suppose 3*q = 2*o - 5, -2*o = -3*o + 3*q - 5. Let g(k) = o*k**2 + 4*k - 2*k + 0 + 1. Does 6 divide g(-1)?
False
Suppose -h - 7 = -2*o - 27, 0 = -4*h - 4*o + 128. Is h a multiple of 28?
True
Let v(w) = 4*w**2 - 8*w + 5. Let n be v(5). Let g = n - 37. Is g a multiple of 20?
False
Let u(a) = a**3 + 7*a**2 + 5*a - 4. Is u(-5) a multiple of 10?
False
Is ((-208)/28)/((-8)/28) a multiple of 26?
True
Let p be 7 + -8 - 18*1. Let b = p - -61. Does 14 divide b?
True
Let i be (-16)/(-6)*(-3)/2. Let y be ((-6)/i)/(6/16). Suppose -28 = -4*f - y. Does 6 divide f?
True
Suppose 22*c - 208 = 18*c. Does 13 divide c?
True
Suppose 6*m + 3*l - 21 = m, 4*m - 2*l - 8 = 0. Suppose -2*t - 9 = 3*x, -m*x + 6 = -4*t + t. Let o = t - -42. Is o a multiple of 13?
True
Suppose -2*l + 4 = -0*l. Let s(n) = -n**3 - n + n + 4*n - n**l + 6*n**2 - 4. Is 9 a factor of s(4)?
False
Suppose k + 1 + 2 = 0. Does 3 divide 3/k + 2 + 5?
True
Let g be (-2)/((-6)/(-4) - 2). Is g - (2 + -1)*-1 even?
False
Suppose a = -25 - 15. Is (-12)/a*-4*-5 even?
True
Let o = 448 + -315. Is o a multiple of 17?
False
Is 5 a factor of (-558)/(-16) - (-9)/72?
True
Let k(n) = -2*n**3 - 3*n**2 - 3*n - 1. Does 15 divide k(-4)?
False
Let w(h) = h**3 + 8*h**2 - 5*h - 17. Is 11 a factor of w(-8)?
False
Let r(u) = 3*u**3 - 2*u**2 - 4*u + 1. Is r(3) a multiple of 10?
False
Let l(y) be the first derivative of -5*y**2/2 + 9*y + 2. Suppose -3*c = -3*f - 21, 2*f - 4*f - 14 = 3*c. Does 15 divide l(f)?
False
Suppose 14*q - 10*q = 284. Is 8 a factor of q?
False
Suppose t - d - 10 = 17, -81 = -3*t - 3*d. Is 13 a factor of t?
False
Let u(p) = p**2 + 15*p. Suppose 3*c = c - 34. Is 8 a factor of u(c)?
False
Suppose -180 = -5*l + 3*p + 2*p, 8 = 2*p. Is 10 a factor of l?
True
Suppose -5*j - 56 = -j. Does 26 divide (-2)/j + 363/7?
True
Let k = 46 - 30. Let j = k - 8. Is 7 a factor of j?
False
Let j(c) = 2*c + 5. Let k be j(6). Suppose 2*f = -2*t + 16, -t - 3*t + f = -k. Suppose -t*m - 15 = -q + 2, 0 = 5*q - 4*m - 85. Does 14 divide q?
False
Let x be 4/10 - 1665/(-25). Suppose -4*u - x + 170 = 3*y, 2*y - 71 = -5*u. Does 11 divide y?
True
Suppose -5*o = -133 + 18. Is o a multiple of 4?
False
Suppose 8*k = 2*x + 4*k - 64, 0 = -x + 3*k + 34. Is x a multiple of 14?
True
Let a(q) = 6*q**3 - 3*q**2 - 3*q - 3. Is 21 a factor of a(3)?
False
Let w be (9/(-1))/((-1)/(-18)). Let z = -108 - w. Is z a multiple of 15?
False
Suppose y + y = 5*o + 94, -y + 5*o + 52 = 0. Suppose 9 = u - y. Does 17 divide u?
True
Let w(x) = -x**3 - 12*x**2 + 7*x - 13. Let q be w(-13). Let i = 131