se
Suppose -1507 = -4*s + 3*d, -767 = -2*s + 8*d - 11*d. Is s a multiple of 31?
False
Suppose 2*f = f - 126. Is 7 a factor of -1*(-13)/((-13)/f)?
True
Let p(u) = u**3 + 4*u**2 - 2*u - 4. Let f be p(-4). Suppose 0 = f*v + 4*z - 7*z - 352, -3*z - 443 = -5*v. Is 13 a factor of v?
True
Let n(g) be the third derivative of -g**5/60 - 17*g**4/24 - 2*g**3/3 - g**2. Let x be n(-10). Suppose -4*v + 174 = x. Does 9 divide v?
True
Suppose 0 = 4*h - h - 201. Let z = 129 + h. Does 15 divide z?
False
Suppose -6*s = -8*s + 30. Let l(a) = -a**2 + 16*a + 12. Is 27 a factor of l(s)?
True
Let r(f) = f**2 + 18*f + 28. Let y be r(-16). Suppose -m + 5*v + 22 + 9 = 0, -4*m + 56 = -3*v. Let t = m + y. Is t even?
False
Let w(x) = -x**3 - 4*x**2 + 6*x + 7. Let b be w(-5). Let t(m) = 28*m**2 - 5*m + 6. Is 27 a factor of t(b)?
True
Suppose -3*x + 5*r + 7967 = 0, 0 = 2*r - 16 + 6. Does 74 divide x?
True
Let s(m) = 620*m**2 - 53*m + 2. Is 22 a factor of s(2)?
True
Let l be (-3)/6*2 - -1. Let a(s) = -s**2 + 2*s + 13. Is a(l) a multiple of 2?
False
Suppose 2*t = 3*h - 0*h + 666, -5*h + 634 = 2*t. Is 35 a factor of t/5 + 12/(-30)?
False
Let x(w) = -w**3 - 5*w + 4. Let o be x(0). Suppose 2*t + 6*q - 236 = 2*q, 0 = o*q - 4. Is 29 a factor of t?
True
Suppose -3*k = 1 - 10. Suppose 34 = k*t - 2*t. Is 14 a factor of t?
False
Let t(q) = 2*q**2 - q - 1. Suppose 5*h - 20 = -5*f, -26 = -h - 5*f - 2. Let d be t(h). Suppose 0 = d*j + j - 21. Is 7 a factor of j?
True
Let s(i) = i**2 + 21*i - 6. Does 33 divide s(-24)?
True
Suppose -2*r = -5*r - 12. Does 6 divide (51/(-6) - r)*-2?
False
Suppose 3*a - 5*q + 8*q - 957 = 0, 5*a - 1607 = -q. Is 23 a factor of a?
True
Does 3 divide 10 - (-6*24 - -3)?
False
Let u(n) = -9*n - 51. Let g be u(-12). Let i = 106 - g. Is 7 a factor of i?
True
Let q be -1 - (-5)/(25/20). Suppose -q*l - 62 = -4*l. Suppose -7*j = 4*c - 2*j - 93, 4*j + l = 3*c. Does 22 divide c?
True
Suppose -4*w - 25 = -9. Is ((-22)/w)/((-1)/(-24)) a multiple of 22?
True
Suppose -3*c = -c + 2*u - 4, -4*c - 20 = -3*u. Does 9 divide 13 + 4 - 3/(-2)*c?
False
Let g be (1/2)/((-1)/(-8)). Suppose -140 = 8*n - g*n. Is 7 a factor of ((-90)/n)/(1/7)?
False
Suppose 0 = 43*z - 41*z - 392. Suppose 8*w - 64 = 7*w + 4*q, 4*w - q - z = 0. Does 12 divide w?
True
Suppose -g + 5*k = 15, 5*g - 2*k = -3*k + 3. Suppose -u + 3 = n, g*n + 2*n + 3*u = 5. Suppose n*q = -5 + 77. Is 7 a factor of q?
False
Let g(k) = 28*k + 178. Let a be g(-6). Let v be -1141 + ((-1)/(-1) - 0). Does 23 divide (2/(-4))/(a/v)?
False
Suppose w + 29 = -11. Let z = 70 + w. Is z a multiple of 10?
True
Let w(v) = v + 17. Let a be w(-12). Suppose a*c - 8*c + 27 = 0. Does 7 divide c?
False
Suppose -s = s - 3*z + 26, -13 = -s - 5*z. Let i(y) be the first derivative of y**4/4 + 5*y**3/3 - 17*y**2/2 - 3*y + 9. Is 6 a factor of i(s)?
True
Suppose -2*u = -5*m + 21, -3*m - 4 + 25 = -4*u. Suppose 5*h - 39 = -m*x + 4*x, -2*h - 4*x = 2. Let a = h - -15. Is a a multiple of 8?
False
Suppose 3*p - 807 = -102. Is p a multiple of 6?
False
Suppose 6*v - 24 = -2*v. Suppose -4*x - 112 - 50 = -5*s, 2*s + v*x = 74. Suppose -s = -2*n + 5*i, -2*n - 5*i + 32 = -n. Is 11 a factor of n?
True
Suppose -25 = -5*p + 3*g, 0 = -p - 0*g + 2*g + 12. Suppose 5 = -p*y + 13. Does 3 divide y?
False
Suppose -8 - 20 = 4*p. Let o = 10 + p. Suppose -3*h - 2*d = -o*d - 108, -5*d - 144 = -4*h. Is 18 a factor of h?
True
Let s = 83 + 139. Is 6 a factor of s?
True
Suppose -2*l + 5 = 3*l. Let a = -10 - l. Let m = 20 + a. Is 3 a factor of m?
True
Let p be (4 + -1)/(6/(-4)). Let q = p + 6. Suppose -2*j - 306 = -q*w, 5*j - j = -5*w + 402. Does 20 divide w?
False
Suppose 0 = 4*b + q - 91, 4*b - 3*q = -7*q + 76. Is b*(-4 - 36/(-8)) a multiple of 3?
True
Let m(g) = -g**2 - 5*g. Let c be m(-4). Does 18 divide (-3249)/(-27) + c/(-3)?
False
Let r = -39 + 53. Is r/(-5)*(-2 - 3) a multiple of 7?
True
Let s(d) = 5*d - 18. Let y(g) = -g**2 - 9*g - 7. Let f be y(-4). Is s(f) a multiple of 8?
False
Let r = 8 + -8. Suppose -2*m - 3*z + 27 = -97, -z = r. Suppose 0 = a - g - 11, 4*g - 6*g = 5*a - m. Is 6 a factor of a?
True
Let i(g) = g**3 - 6*g**2 - 6*g - 7. Let y be i(7). Suppose -28 = 5*b + 4*v, 2*b + y*b + 4 = 2*v. Does 14 divide (0 - 5)/(1/b)?
False
Let f(k) = -k**3 - 8*k**2 - 7*k. Let u be f(-7). Suppose -4*w + 61 + 87 = u. Is 37 a factor of w?
True
Let z = 270 - -510. Is 21 a factor of z?
False
Suppose 0 = 13*s - 21 - 18. Does 3 divide 95/(2 - s - -2)?
False
Let v(t) = t**2 + 6*t + 3. Let o be v(-6). Suppose -2*a + 9 = -3*q + 29, -o*q = -a - 19. Suppose -q*f - 29 = -95. Is 4 a factor of f?
False
Suppose -3*j + 2*j = -3*s + 1376, -5*s + 2280 = -5*j. Is 23 a factor of s?
True
Let s = -11 - -20. Let z = 21 - s. Is (-12)/z*(-4 + -1) even?
False
Suppose 8*w + 4*w - 4140 = 0. Is w a multiple of 15?
True
Let t = -131 - -126. Is ((-78)/(-7))/(t/(-35)) a multiple of 13?
True
Let i(f) = f + 7. Let g be i(-5). Suppose -29 = -3*l - g. Is l a multiple of 9?
True
Let m be (-381)/(-6) - 3/(-2). Let g = 106 - m. Suppose 5 = p + 5*t, -t = -3*p - 3*t + g. Is p a multiple of 15?
True
Suppose -19*z = -17*z - 2240. Is 1/(1 - (3355/z - 2)) a multiple of 14?
True
Let x(j) be the second derivative of -j**4/12 + 5*j**3/2 - 5*j**2 - j. Let a be x(13). Let v = a - 5. Is v a multiple of 8?
False
Let b(j) = -10*j - 2*j**3 + 10*j**2 - j + 3*j**3 - 15. Let v be b(-11). Let g = 41 + v. Is g a multiple of 24?
False
Let x = -61 + 28. Does 39 divide ((-3)/((-18)/68))/((-2)/x)?
False
Let t = -284 - -441. Is 8 a factor of t?
False
Let v = 16 + -7. Let g(w) = 2*w - 12. Let x be g(v). Let j = x + 8. Does 12 divide j?
False
Suppose 17*o = 5*o + 732. Let y = 26 + o. Is y a multiple of 18?
False
Let a be (-1)/3 + 196/(-6). Is (-3)/(-2)*(-374)/a a multiple of 17?
True
Let o(d) = d. Let p be o(-7). Is 70/15*(-30)/p a multiple of 5?
True
Let o be 0/(-5)*3/6. Let u(a) = -2*a + 17. Is 17 a factor of u(o)?
True
Suppose 2*z - 5*y = -16 + 3, -y - 25 = -5*z. Let j(u) = 3*u**3 - 3*u**2 + 3*u. Let f be j(2). Let h = f - z. Is h a multiple of 4?
True
Let b(n) = n**3 + 3*n**2 - 6*n - 6. Let m = -14 - -10. Let h be b(m). Suppose -4*v - 4*k + 84 = 0, -h*v + 2*k + 49 = -3*k. Does 22 divide v?
True
Suppose 2*u - 137 = 3*i, -2*i = i + 5*u + 172. Let p be 0 - i - (8 + -4). Suppose 3*w - 60 = p. Is 15 a factor of w?
False
Let d(k) = -6*k**3 + 6*k**3 + 12 - 8*k**2 + 19*k**2 - k**3. Is 2 a factor of d(11)?
True
Let m(g) = 19*g + 239. Is m(-11) a multiple of 3?
True
Suppose 2*a + 3*s = 334 + 245, -2*s = 3*a - 866. Does 7 divide a?
False
Let b(t) = -t**3 - 7*t**2 + 6*t - 11. Let s be b(-8). Let z be 0/1 - (s - 7). Suppose -3*p - 110 = -5*l, 0 = -z*p - 12 + 2. Does 19 divide l?
True
Let o(p) = p**2 - 17*p - 72. Is 6 a factor of o(26)?
True
Let u(z) = -z**2 + 7*z + 2. Suppose -t - 1 = 3. Let q be 374/88 - (-1)/t. Is u(q) even?
True
Let y be (4/(-7))/(10/(-35)). Suppose -y*t + 5 = 3. Suppose -t = -5*w + 9. Is 2 a factor of w?
True
Suppose 6 = 2*q - 10. Let w be -4 + 6*(-4)/q. Let a = 77 + w. Does 14 divide a?
True
Suppose -3*p - 5*d = -4*p - 49, -5*d = -25. Is 8 a factor of 0*(-3)/(-6) - p?
True
Is (-5)/(-3) + (-460)/(-3) a multiple of 5?
True
Let g(p) = -5*p**2 - 50*p + 4. Let x be g(-10). Let j(s) = -102*s + 2. Let y be j(-3). Suppose 32 = -m - 3*r + 86, x*r = 5*m - y. Does 17 divide m?
False
Let a(h) = -h**3 - h**2 - 3*h - 5. Let m be a(-4). Suppose -2*w = -z - w - 27, -90 = 5*z + 4*w. Let c = z + m. Is 33 a factor of c?
True
Let b = -26 - -26. Suppose i + 4 = b, -5*a + 3*i = 4*i - 131. Suppose -4*w - v - a + 197 = 0, -w + 5*v = -32. Is w a multiple of 14?
True
Let h be 1*3*(-350)/(-21). Suppose 5*z + 90 = 6*t - t, 0 = 3*t - z - h. Is (-24)/t*8/(-3) a multiple of 4?
True
Let r(m) = 43*m. Let s(f) = 22*f. Let w(u) = 3*r(u) - 5*s(u). Does 16 divide w(3)?
False
Let k = -2484 + 3136. Does 14 divide k?
False
Let b = -6 + 22. Is b a multiple of 2?
True
Suppose 46*t - 13716 = 8226. Is 9 a factor of t?
True
Suppose -4*x + 1847 = -5*j + 6*j, 3*j - x = 5502. Is j a multiple of 84?
False
Suppose -7*h = 3*c - 6*h - 452, h + 293 = 2*c. Is 13 a factor of c?
False
Let b be (-61 + 1)/(3/81*-3). Suppose 4*z - b = z. Does 20 divide z?
True
Is 6165/60 + 6/(-8) a multiple of 3?
True
Let q = -34 + 47. Let u = -113 - -296. Suppose -10*g - u = -q*g. Does 15 divide g?
False
Suppos