uppose 3*y - 65 + 13 = 4*r, -2*y - r + 42 = 0. Suppose -5*f = 3*m - 56, -m + 0*f - 2*f = -y. Is m a multiple of 4?
True
Let n(r) = -r**3 - 2*r**2 + 1. Let p be n(-2). Suppose 4*j - 15 = p. Suppose -54 = t - j*t. Does 9 divide t?
True
Let h be (-8 - (1 + 1))*-1. Let z be (-5 - (-1 + 1)) + 0. Let x = h + z. Is 5 a factor of x?
True
Let s = -48 + 88. Let x = 72 - s. Let k = -12 + x. Does 10 divide k?
True
Suppose 3*u - 63 = -3*j, 0 = -u - 4*j - 2 + 26. Is 20 a factor of u?
True
Suppose -5*r + 144 = -136. Does 7 divide r?
True
Let i(z) = -z**3 + 10*z**2 - 8*z - 7. Let o be i(9). Suppose o*q - 18 = q. Suppose 2*c + n - 3*n = q, -c - 3*n = 11. Does 4 divide c?
True
Let m be 4*(3/(-2) - -2). Suppose 3*d = -d + 92. Suppose m*p = p + d. Does 23 divide p?
True
Let v(f) = f**2 + 6*f. Let a be v(-6). Suppose a = -4*k + 5*x + 8, k - x = 3*k - 18. Does 9 divide (1 - k)/((-1)/3)?
True
Suppose t = -3*t + 8. Let g(b) = 6*b**2 - b - 1. Does 21 divide g(t)?
True
Suppose 5*z = 3*v - 6*v - 858, 0 = v - 4*z + 286. Let x be v/(-4) + 5/10. Suppose 3*y = 6*y - x. Is 22 a factor of y?
False
Is 6/4*(2 + (-268)/(-6)) a multiple of 14?
True
Let n = 319 + -188. Suppose n = 3*f - 4*d, f - 25 = 4*d + 24. Is 15 a factor of f?
False
Let b = -3 + 24. Is b a multiple of 3?
True
Suppose 4*u = 4*l + 312, 3*l + 168 = 2*u + 4*l. Is 41 a factor of u?
True
Let u(k) = -4*k - 1. Let r be u(-6). Let w be -4 + 5 - (-2 + r). Is 15 a factor of 1/(-4) - 305/w?
True
Let b = 97 - 45. Suppose 5*q - b = -0*s - 4*s, 2*q - 2*s = 10. Suppose z = -2*x - 3*z + q, -x - 5*z - 8 = 0. Does 6 divide x?
True
Is 6 a factor of 0 - (36/16)/((-6)/32)?
True
Suppose 6*r + 784 = 10*r. Does 14 divide r?
True
Suppose n = -2*n. Suppose n = 4*a + a - 660. Suppose -6*r + 2*r + a = 0. Is r a multiple of 15?
False
Suppose 0 = -2*d + 3*d. Suppose -5*j + 2*h + 184 = 0, d = -4*h - 0*h - 8. Suppose j = 3*v + v. Is 5 a factor of v?
False
Let q = 15 - 11. Suppose q*s - 131 = -47. Does 11 divide s?
False
Suppose -4*m + 2*m = -2. Let j(o) be the first derivative of 25*o**2/2 - o + 5. Does 10 divide j(m)?
False
Let y(s) = -7*s**3 + 3*s**2 + 3*s + 5. Let f be y(4). Let q = f - -212. Does 6 divide (-3)/(-4) + q/(-12)?
False
Suppose -3*k + 3*x + 26 = -2*x, -26 = -4*k - 2*x. Suppose 28 = -5*f + k*f. Does 14 divide f?
True
Let r = 3 + -3. Suppose r - 2 = -s. Suppose -2*y = s*y - 128. Does 9 divide y?
False
Let b be ((-24)/(-4))/(3/2). Let l be 30/b*(-8)/(-10). Is 9 a factor of 106/l - 2/(-6)?
True
Let w(y) = -3*y - 8. Does 7 divide w(-15)?
False
Let g = 94 + -53. Does 14 divide g?
False
Let h = 111 + -51. Is 15 a factor of h?
True
Let y(r) = -2*r + 18. Does 14 divide y(-16)?
False
Does 15 divide -14*((-28)/8 - 1)?
False
Let s(g) = -g**2 - g + 12. Does 6 divide s(-3)?
True
Suppose f + m + 2*m - 22 = 0, 3*m + 20 = 5*f. Let g = f + -13. Let i(y) = -y. Is 6 a factor of i(g)?
True
Let m(x) = x**2 + 2*x - 3. Let q be m(3). Suppose 2*s + 4*j = 52, 0 = 5*j - j + q. Let i = s - 19. Is 13 a factor of i?
True
Let y(o) = o**2 + 6*o - 6. Suppose 2*z = 5*q + 6*z + 42, q + 4*z + 18 = 0. Let i be y(q). Does 6 divide ((-12)/i)/(1/3)?
True
Let n = 9 - 11. Is n + 14*(-2 - -3) a multiple of 6?
True
Is 3381/105 - (-1)/(-5) a multiple of 24?
False
Let o = -37 + 83. Suppose 3*i + o = 5*i. Is 7 a factor of i?
False
Is 9 a factor of (10 - 8)*18/4?
True
Let v be 3 + 8/(-4) - -182. Let r = -123 + v. Is 15 a factor of r?
True
Suppose 4*d = -4*k + 248, -5*d = 3*k - 256 + 72. Is k a multiple of 6?
False
Suppose -278 = -5*m - 3*u, 3*m - 2*u = 5*m - 112. Is 12 a factor of m?
False
Let m be -1*1 + 82 - 1. Suppose 558 = 3*u + 3*q + 27, 2*q = 2. Suppose 3*r - 3 = 0, -5*k + m = r - u. Is 11 a factor of k?
False
Let m(z) = -z**3 - 3*z**2 + 3*z - 2. Let q be m(-4). Suppose -2*k - 5*d = -33, 0 = 4*k + q*d - 11 - 15. Does 3 divide k?
False
Suppose -147 + 12 = -3*y. Does 12 divide y?
False
Let s(a) = a**3 - 2*a**2 - 2. Suppose -4*n + 7*n - 6 = 0. Let b be s(n). Is 11 a factor of (-93)/(-9) - b/3?
True
Suppose 7*t - 420 = 3*t. Is 30 a factor of t?
False
Let w = -2 - -92. Is 9 a factor of w?
True
Suppose -135 - 183 = -6*n. Is n a multiple of 32?
False
Suppose -3*n + 3 = -9. Suppose -3*g = -b - n - 2, g = -2*b + 9. Does 10 divide ((-116)/12)/((-1)/b)?
False
Suppose -2*l + 5*l = 9. Suppose -m - 3*d + 7 = 0, -5*d + 15 = 5*m - 0*d. Is 15 a factor of (m + 4)*(l + 6)?
True
Let l = -64 + 94. Does 15 divide l?
True
Suppose -2*x + 4 + 0 = 0. Suppose -x = -c - 3*t, -33 = -2*c + 5*t + 15. Is c a multiple of 5?
False
Let j(n) = -n**3 + 5*n**2 + 8*n - 4. Let i be j(5). Suppose 3*k - i = 2*k. Let q = 1 + k. Does 21 divide q?
False
Suppose -f - 2*j = -32, 5*f + j = -0*j + 133. Does 13 divide f?
True
Let r(j) = -1 + j**2 + 9 + 0*j**2 - 8*j. Let x be (12*1)/((-6)/(-4)). Is r(x) a multiple of 5?
False
Does 6 divide 3 - (2 + (-1 - 18))?
False
Suppose -495 = 8*y - 2319. Is 19 a factor of y?
True
Let b = -38 + 60. Suppose 0 = 5*c - b + 7. Suppose 2*u - c - 5 = 0. Does 2 divide u?
True
Let j = 98 + -40. Is 29 a factor of j?
True
Let i = -2 + 20. Let r be 32/14 + 2/(-7). Let h = r + i. Is h a multiple of 12?
False
Suppose 240 = -10*l + 1440. Is l a multiple of 20?
True
Let p(a) be the second derivative of 2*a**3/3 + a**2/2 - 2*a. Is p(5) a multiple of 9?
False
Suppose -4*m - 4 = 0, 2*g - 19 = m + 2*m. Suppose g = i + 3. Is i even?
False
Let v(t) = t**3 - 16*t**2 + 17*t - 20. Let s(j) = j**2 + 12*j + 15. Let m be s(-12). Is v(m) even?
True
Suppose 11*c - 718 = 1350. Does 8 divide c?
False
Let b = 12 - 7. Let p be (-224)/(-5) + (-2)/(-10). Suppose 5*k + b*w = -0*w + p, -2*k + 21 = w. Is 6 a factor of k?
True
Let u(b) be the second derivative of -4*b**3/3 + 3*b**2/2 + b. Let k be u(2). Let p = k - -25. Is 6 a factor of p?
True
Let s be 2/(-5) - (-5208)/20. Suppose -5*f = k - s, 104 = 2*f - 2*k + k. Is f a multiple of 19?
False
Let m(k) = -k**2 - 7*k + 6. Let r be m(-7). Let a = r - 4. Suppose -4*j + 0*j = -5*v + 50, 0 = a*v - 3*j - 20. Is v a multiple of 4?
False
Suppose 0 = -3*l - 3*u + u + 14, 5*l + 2*u - 26 = 0. Let a = l - 5. Suppose 2*p = 19 + a. Is p a multiple of 10?
True
Suppose 6*t + 11 = 3*t + 4*o, 5*o - 16 = 3*t. Suppose 3*v = 3*k + 164 - 20, -213 = -4*v - t*k. Does 17 divide v?
True
Let j(z) = 2*z**2 - 3*z + 7. Is 24 a factor of j(-7)?
False
Let f be 4/6 - 13/(-3). Suppose -7*c + 4*c = -4*w + 354, 0 = w - 4*c - 82. Suppose -f*j = -8*j + w. Does 15 divide j?
True
Let o = 1 + 2. Suppose -g + 2*g = 4*a - 31, -o*a = -2*g - 17. Let s = a + 18. Is s a multiple of 11?
False
Suppose 2*r - 3*y = 14, -5*r + 46 = -r + 3*y. Is r a multiple of 10?
True
Suppose 0 = v + v - 12. Suppose -2*k + v*k = 144. Is 12 a factor of k?
True
Let w(f) = -f**2 - 8*f - 6. Let c be w(-7). Suppose -16 + c = -t. Is 5 a factor of t?
True
Let q(t) = -5*t**2 + 4*t + 2. Let o(d) = -16*d**2 + 11*d + 5. Let r(a) = -3*o(a) + 8*q(a). Let i be r(1). Suppose 2*y = i - 0. Does 4 divide y?
True
Suppose -2*g + 16 = 2*m - 0*g, -10 = -5*m + 5*g. Suppose 0*t = m*t - 10. Suppose 33 = w + t. Does 19 divide w?
False
Is 5 a factor of (23 + -22)/((-2)/(-72))?
False
Let s = 7 + -5. Is 18 a factor of 1/(s/84) - -2?
False
Let a be 33/4 + (-1)/4. Let v = -6 + a. Suppose -v*s - 12 = -4*s. Does 6 divide s?
True
Suppose 20 = 2*p + 2*p. Suppose -p*v + y + 66 = 0, -2*v + 3*y - 2*y = -24. Is 14 a factor of v?
True
Suppose 0 = 6*d - 14 - 4. Suppose -d*s = 3*f - 99, -2*s + 3 = 1. Is f a multiple of 8?
True
Let j(s) be the third derivative of s**6/40 + s**5/15 - s**4/8 + s**3/6 - 4*s**2. Is 14 a factor of j(2)?
False
Let u be -5 + 4 + 0 + -2. Let p(k) = -5*k**2 - 8*k - 3. Let l(d) = 10*d**2 + 15*d + 5. Let y(v) = 4*l(v) + 7*p(v). Is y(u) a multiple of 16?
True
Let h be (0 - -1) + -2 + 33. Suppose -z + h = 4*t, 6*t = 3*z + 2*t - 16. Is z a multiple of 12?
True
Let m(w) = -w + 17. Let z be m(18). Suppose -12 = -2*g - 0*g. Does 3 divide z + (g - (-3 + 2))?
True
Let d(a) = a**3 - 5*a**2 + 4*a + 4. Let i be d(4). Let k be i/(-3)*(-15)/10. Suppose 100 = 3*l + k*l. Does 7 divide l?
False
Suppose -7*r + 5*r = -132. Is r a multiple of 22?
True
Suppose 3*b + 0*b - 138 = -q, 174 = 4*b - 2*q. Let z be 2195/b + 2/9. Suppose -a + z = -3*r, 0 = -4*a - 2*r + 235 - 81. Is 14 a factor of a?
False
Let g be (-175)/55 + 2/11. Let f be (-1 + 4)/g*-2. Suppose -10 = f*r, 2*p