+ 3*s = s + 34, s - 89 = -5*a. Is 6 a factor of a?
True
Let t be ((-48)/(-20))/((-9)/(-330)). Suppose -u = -4*s - 3*u + 10, s + 2*u + 2 = 0. Suppose 8*p - s*p - t = 0. Is 11 a factor of p?
True
Suppose 2*j = -2*h + 16, -2*h = 2*j - 3*h - 28. Is 2/(-3) - (-224)/j a multiple of 15?
False
Suppose -4*p = 5*x + 19, p - 10 = 4*x + 1. Does 6 divide p + 1 + 19 + 1?
False
Let g(a) = 5*a - 2. Let u(s) = 2*s**2 + 2*s. Let d be u(-2). Suppose -p + 3*y = 3*p - 25, 5*p - d*y - 32 = 0. Is 9 a factor of g(p)?
True
Let y(k) = -k**3 + 7*k**2 + k - 3. Let q be y(7). Suppose q*r - 620 = -r. Suppose 0 = -5*l - 29 + r. Is 11 a factor of l?
False
Let o(z) = -z - 15. Let u be o(11). Does 4 divide (-4)/u - (-178)/26?
False
Suppose 43*m - 48*m + 100 = 0. Is m a multiple of 12?
False
Let a be 0 + 0 - (-4 + -4). Suppose g + g = a. Suppose -3*v = g*l - 99, 0 = -3*l - 0*v + 4*v + 43. Is 10 a factor of l?
False
Is 21 a factor of 1/((-2)/3 + (-833)/(-1218))?
False
Let p be (-14 - 3) + 0 + -3. Let x = p + 64. Does 17 divide x?
False
Let v = -40 - -65. Let k = -130 + v. Let z = k + 147. Is 11 a factor of z?
False
Suppose 0 = -2*h - 3*m + 123, 0*h = -h - 2*m + 64. Is 18 a factor of h?
True
Suppose 3*j + i = -j + 236, -5*i = -20. Is j a multiple of 24?
False
Does 12 divide 3 + -3 + 4 + 56?
True
Does 8 divide ((-78)/24)/((-1)/4)?
False
Let v(a) = a**2 - 3*a - 10. Is v(9) a multiple of 11?
True
Let k(i) = -i**2 + 13*i - 10. Let u be k(12). Suppose -u*q + 24 = -q. Is 12 a factor of q?
True
Suppose -4*t = -t - 15. Is t a multiple of 3?
False
Let b = 259 - 147. Is b a multiple of 11?
False
Suppose 53 = -5*o + n - 6, 75 = -5*o + 5*n. Let s = o + 8. Let h = 8 + s. Is h a multiple of 5?
True
Suppose 0 = -4*y - 7 + 27, 3*x + 20 = 4*y. Suppose -2*h - 4*u + 0*u + 120 = x, -4*u + 252 = 4*h. Is h a multiple of 22?
True
Let s(l) be the third derivative of -3*l**4/8 - 7*l**3/6 - 2*l**2. Let g be s(-5). Let o = -23 + g. Is o a multiple of 6?
False
Suppose -2*u + 6*u - 12 = 0. Suppose -5*i + 97 = -5*y + 292, 2*i = 3*y - 114. Suppose -u*s = -s - y. Is 6 a factor of s?
True
Let z(i) = 4*i + 6. Let d be z(-6). Let q = d - -51. Is 16 a factor of q?
False
Let t(k) = k**3 + 5*k**2 + 5. Let q be t(-5). Suppose 0*m + 40 = q*m. Does 2 divide m?
True
Suppose 3*s - d = 277, d - 1 = 4. Is 11 a factor of s/5 - (-5)/25?
False
Suppose 208 = 5*r + 28. Is 18 a factor of r?
True
Let q(g) = g**3 + 4*g**2 + 5*g + 4. Let v be q(-3). Is -26*(2 + v - 1) a multiple of 13?
True
Let r = 55 - -34. Is 22 a factor of r?
False
Suppose a = -2*d + 56, -3*a - 2*a - d + 253 = 0. Is 25 a factor of a?
True
Is 18 a factor of ((-2)/3)/((-5)/270)?
True
Let k(y) be the first derivative of y**2/2 + 42*y + 6. Suppose 4*g = 0, 0 = -4*t + 4*g - 2*g. Does 21 divide k(t)?
True
Let y = 10 - 8. Suppose 0 = -y*z - 2, 2*s = 5*s + 2*z - 7. Is 3 a factor of s?
True
Suppose -4*a = -4*m + 16, -m - 3*a + 7 = -1. Suppose 36 = u + m*i, -u - 2*i + 20 = -i. Suppose 4*z + 35 + u = 3*v, 0 = -3*z. Does 17 divide v?
True
Let k(s) = -s**3 - 5*s**2 - 9*s - 8. Let o be k(-6). Suppose 3*x + 164 = 7*l - 3*l, 2*l = -5*x + o. Is 7 a factor of l?
False
Let n(l) = l**3 + 14*l**2 - 25*l - 22. Is 13 a factor of n(-15)?
False
Let a(x) be the first derivative of 3*x**2/2 - 3*x + 3. Suppose -7*b = -3*b - 28. Is 13 a factor of a(b)?
False
Let t = 7 + -5. Suppose -t*w = -3*x + x - 8, -5*w + 2 = 4*x. Suppose -2*n + w*a + 10 = 0, -n - 4*a - 1 = a. Does 4 divide n?
True
Suppose 43 = 5*x + 3. Let y(d) = d**3 - 8*d**2 + 2*d + 6. Is y(x) a multiple of 11?
True
Suppose 50*n - 416 = 42*n. Is 19 a factor of n?
False
Let r(a) = -51*a. Let s(t) = t**2 + 6*t + 3. Let n be s(-5). Let i be r(n). Suppose 0 = 3*m + 3*u - i, -2*m + m + 2*u + 22 = 0. Does 16 divide m?
False
Let w(h) = h - 1. Let i be w(-11). Let l = 21 + i. Suppose l - 38 = -m. Is m a multiple of 15?
False
Suppose 0 = 2*u + 5*h - 21, 4*h + 4 = -5*u + 82. Does 6 divide u?
True
Let j = 41 + -26. Suppose l - j = 4. Does 19 divide l?
True
Let w be (-1456)/(-35) + 2/5. Suppose -p = -3*p + w. Is 7 a factor of p?
True
Suppose -3*f + 162 = -f + 4*k, -9 = 3*k. Is f a multiple of 29?
True
Let u = 3 + -5. Is 3 a factor of (u/(-4))/(4/32)?
False
Does 12 divide -5*(568/(-70) - (-22)/(-77))?
False
Let a(b) = -b**3 + b**2 + 78. Let c be a(0). Let s = -26 + c. Suppose -n - 3*n = -s. Is n a multiple of 13?
True
Let k(n) = 34*n**3 - n**2 + 2*n - 1. Is 17 a factor of k(1)?
True
Suppose j - 18 - 18 = 0. Is 13 a factor of j?
False
Let l(y) be the third derivative of 37*y**5/30 + y**3/6 + 9*y**2. Is l(-1) a multiple of 25?
True
Let c be (-5 - -5)*(0 + 1). Suppose c = -0*z + 2*z + 5*h - 40, 3*z - 49 = -2*h. Does 5 divide z?
True
Suppose -2*q + q + 242 = 0. Is 15 a factor of (-3)/12 + q/8?
True
Let r(l) be the first derivative of 4*l**2 + 4. Is 13 a factor of r(7)?
False
Let d = -23 + 38. Does 3 divide d?
True
Let h(a) = a**2 + 2*a - 2. Let q be h(-4). Let v = 5 + q. Is 6 a factor of v?
False
Let f(c) = c**2 - 8*c + 8. Let h be f(6). Let w(r) = -r**3 - 3*r**2 + r + 1. Is w(h) a multiple of 4?
False
Suppose 3*i - 5*i + 66 = 0. Is 25 a factor of i?
False
Let p = 15 - 21. Let j be (-16)/(-6) - 2/p. Suppose j*u + f = 32, 3*u - 16 = u - 2*f. Is u a multiple of 5?
False
Let m be (-127)/(-5) - 20/50. Suppose 0 = -5*x + 8 - 28. Is m/(-2)*x/5 a multiple of 10?
True
Suppose 47*z - 406 = 40*z. Does 43 divide z?
False
Let k = -48 + 91. Is k a multiple of 20?
False
Suppose 2*j + 243 = 4*w - w, 0 = -4*j - 3*w - 441. Let q = j + 177. Does 25 divide q?
False
Let s = -208 + 330. Suppose 0*q = 2*q - s. Does 28 divide q?
False
Does 15 divide ((-330)/(-9))/(12/18)?
False
Let r(d) = d**2 - d + 2. Let n be r(0). Suppose 4*i + 36 = 5*c, 2*i - 78 = 7*i + n*c. Is 15 a factor of (i/3)/((-1)/9)?
False
Let v = -4 + 13. Is 2 a factor of v?
False
Let u(s) = s - 2. Let c be u(7). Suppose c*j - 22 = 28. Let z = 22 - j. Does 8 divide z?
False
Let v(t) = -t**2 + 8*t - 6. Let p(b) = b**2 - 8*b + 7. Let w(q) = 4*p(q) + 5*v(q). Let k be w(7). Suppose -k = -y + 25. Does 15 divide y?
True
Let p = 1 - 1. Suppose p*w + w = 9. Is 4 a factor of w?
False
Suppose 2*z - 16 = -2*z. Suppose 0 = z*f + 4*l - 24, 2*l + 32 = 2*f - l. Does 10 divide f?
True
Suppose -4*x - z + 163 = -0*z, 0 = x - 3*z - 31. Is x a multiple of 8?
True
Suppose o + 3 = -s - 3*s, -3*s + 3*o + 9 = 0. Suppose -72 = -5*p + c + 76, -5*p - 5*c + 130 = s. Let x = p - 20. Does 9 divide x?
True
Let z(x) = -x**2 - 7*x - 3. Let j be z(-6). Suppose j*f = 8*f - 25. Is 5 a factor of 2/2*3*f?
True
Suppose -3*i + 25 = 4*p, 5*i + 2 = p + 36. Let q = 4 - i. Is 11 a factor of -3 + (34 - (1 + q))?
True
Let k = 33 + -55. Let p be 2 - (k + 3/(-3)). Suppose p = 4*m - 35. Does 10 divide m?
False
Let i be (-7)/((-58)/(-30) - 2). Suppose -5*q + u + 120 = 0, 0*u - 2*u + i = 5*q. Is q a multiple of 6?
False
Is -6 + 6 + 43 + 1 + 0 a multiple of 17?
False
Let n be (-245)/(-30) - (-2)/(-12). Suppose 3*r - n*r + 25 = 0. Suppose -5*d + 4*i = -58, r*d + i - 46 = -i. Does 10 divide d?
True
Let f(b) be the third derivative of -b**6/120 - 17*b**5/60 - 5*b**4/6 - 8*b**3/3 + b**2. Does 18 divide f(-16)?
False
Let d(c) = c**3 - 6*c**2 - 2*c - 1. Let w be d(7). Let s = w - 20. Is s a multiple of 14?
True
Suppose -2*h + 3*h = 19. Suppose h = g + 7. Is g a multiple of 11?
False
Suppose -z = -2*z - 5*s + 66, -z - 4*s = -64. Does 9 divide z?
False
Let u(c) = 4*c**2 - c. Let a be u(1). Does 10 divide a/(2 + 51/(-30))?
True
Let k(c) = c**3 + 4*c**2 - c + 2. Let q be k(-4). Suppose 84 = q*b - 3*b. Does 13 divide b?
False
Let v be (-5)/15 + (-4)/(-3). Is (-87)/((-3)/v) - 1 a multiple of 17?
False
Let g be (-6)/21 + 220/35. Suppose -z = -g*z + 175. Is z a multiple of 18?
False
Is 12 a factor of (4 - (-2)/(16/(-38)))*-144?
True
Is 45 a factor of ((-24)/21)/(-4) - (-1130)/14?
False
Let j be 4/((0 - -2) + 0). Suppose 0 = 2*t - 4*t - j*i + 16, -5*i + 16 = -t. Is 4 a factor of t?
True
Does 4 divide 46 - 1/((6/2)/(-6))?
True
Suppose -6*u + 88 = -2*u. Suppose -4*m + 82 = -u. Is m a multiple of 13?
True
Let q be 8/10*40/16. Suppose -q*u + 46 = 2*y, -4*u + 0*y = -4*y - 52. Is u a multiple of 18?
True
Suppose 3*n = 3*g - 12, -2*g + 17 = -5*n - 0*g. Let u = -1 - n. Suppose -80 = -5*t - u*z + 3*z, -2*t - 2*z + 32 = 0. Is t a multiple of 12?
False
Suppose 3 = 4*b - 3*r - 5, 5*b