e
Suppose 683 - 200 = 3*n + 3*t, 802 = 5*n + 4*t. Is 25 a factor of n?
False
Let x(y) = 15*y - 3. Let l be x(9). Suppose l = -3*z + 5*z + 2*j, 66 = z + 3*j. Let h = z + -42. Is 8 a factor of h?
True
Let j(z) = z**3 - 3*z**2 - 6*z + 6. Let p be j(4). Let s(x) = -x**3 + x**2 - 2*x - 2. Does 7 divide s(p)?
True
Let k = -221 - -259. Does 23 divide k?
False
Suppose 3*l - 29 = 19. Suppose -2*c + 6*c = l. Let z(r) = -r**3 + 4*r**2 + 5*r - 4. Is 16 a factor of z(c)?
True
Let h be ((-190)/(-8))/((-1)/(-8)). Suppose -3*y = 2*y - h. Suppose 0 = -2*q + 2*b + y, -18 = -3*q - 5*b + 23. Is 6 a factor of q?
False
Suppose -3*v + 8*v = -75. Is 3/v + 202/10 a multiple of 10?
True
Suppose 5*a - 179 - 256 = -5*n, -3*n - 179 = -2*a. Suppose b = -3*b + a. Is b a multiple of 12?
False
Suppose -1 - 3 = 4*p. Let c(h) = h**2. Let m(r) = 7*r**3 + r**2 + r. Let a(b) = p*c(b) + m(b). Does 6 divide a(1)?
False
Let n = 1 + 1. Suppose 2*k + n*x + 79 = -15, 2*k = -5*x - 82. Let p = 87 + k. Is 11 a factor of p?
False
Suppose -2*f - 3 = v, v + 9 = -3*f - 2*f. Suppose -y = -10 + v. Is 5 a factor of y?
False
Let g be ((-12)/8)/(6/(-8)). Let o be g/(-7) - 48/(-21). Suppose 2*v - 48 = -o*v. Is 6 a factor of v?
True
Suppose -10*u + 9 = -241. Is 3 a factor of u?
False
Suppose 2*b - 5*b + 90 = 0. Is 10 a factor of b?
True
Suppose -77*g + 40 = -72*g. Is 4 a factor of g?
True
Suppose -105 = -5*n + x + 151, n = -5*x + 46. Suppose -4*c + n = 2*a + c, a + 2*c = 27. Is a a multiple of 29?
False
Suppose 0 = -3*w + 4*t - 416 + 1685, -w - t = -430. Let o(m) = -m + 49. Let i be o(0). Does 6 divide w/i - 2/(-7)?
False
Let s be 4/(-22) + 48/22. Is 14 a factor of s/3 + (-80)/(-6)?
True
Let r(p) = 3*p + 5*p - 3 - 7*p. Is r(12) even?
False
Let r(j) = -j**2 - 5*j - 1. Let b be r(-7). Let t be (-6)/b + (-78)/(-5). Suppose 0*k - k = -t. Is k a multiple of 16?
True
Suppose -3*y + 27 = -0*y. Is 5 a factor of y?
False
Let c(d) be the first derivative of -d**4/4 - 10*d**3/3 - d**2 - 5*d - 2. Is 7 a factor of c(-10)?
False
Let j = 581 - 344. Does 30 divide j?
False
Let f(v) = -v**3 + 4*v**2 - v - 4. Let t be f(3). Suppose t*u - 5*u = -27. Let y = u - -3. Is y a multiple of 8?
False
Let i = 3 + -5. Let l(x) = 36*x - 2. Let f be l(i). Is 12 a factor of f/(-3) + 2/(-3)?
True
Let b be 3*(-2)/3*-10. Let s = 29 - b. Is 2 a factor of s?
False
Let k be (-3 - -4)/(1/(-9)). Let t = k - -22. Suppose 5*u - 273 = -t. Does 20 divide u?
False
Let s = -106 + 127. Is s a multiple of 21?
True
Is 4 a factor of 0 + (-2 - 10/(-1))?
True
Suppose 17*c - 968 = 9*c. Does 7 divide c?
False
Suppose -c = -2*o - 4*c + 225, c = 5*o - 605. Suppose -q - 3*q = -o. Is q a multiple of 10?
True
Let k be (6/(-8))/((-3)/12). Let h = k + 1. Suppose 0 = u + h*u - 155. Does 12 divide u?
False
Suppose -4*n - 1 = 11, 0 = f + 5*n + 13. Let a be (0*(2 - 3))/f. Suppose 5*p = 4*v + 106, -2*v - 20 = -a*p - p. Is 7 a factor of p?
False
Suppose -d = -0*d - 26. Does 13 divide d?
True
Let i(f) = f + 2 - 3 + 2*f - f**3 + 5*f**2. Suppose 0 = -6*r + r + 20. Is i(r) a multiple of 20?
False
Let u be (-833)/63 - (-2)/9. Let k be 6/2 - 1*2. Let z = k - u. Does 12 divide z?
False
Let z(d) = -7*d + 3. Let h be (1 + -2)*0/3. Suppose -2*x - r = 4, 0 = r - h - 2. Does 23 divide z(x)?
False
Let z(u) = 23*u**3 - 4*u**2 + 2*u + 1. Is 3 a factor of z(1)?
False
Let m = -12 + 21. Let h = -5 + 0. Let i = m + h. Is 4 a factor of i?
True
Let x be (-11)/(-3) + 1/3. Suppose 5*f = -2*y + 39, 3*y + x*f = 3*f + 78. Is y a multiple of 16?
False
Suppose 3*h = 161 - 5. Does 17 divide h?
False
Let n = 23 + 29. Let m = 82 - n. Let t = 56 - m. Is 11 a factor of t?
False
Does 14 divide (60/25)/(4/70)?
True
Suppose 0 = -2*p - l - 0*l + 36, 4 = 2*l. Does 13 divide p?
False
Suppose 9*r - 4*r - 2*d - 6 = 0, -d - 6 = -4*r. Let p(m) = -2*m**3 + 2*m**2 - 1. Let z be p(-1). Suppose 2 = -n + z*n - r*o, -5*o + 25 = 0. Is 6 a factor of n?
True
Suppose -5*f - 5*n + 8 = -3*n, -3*f + 9 = -3*n. Suppose -f = -p - 0. Suppose -48 = -p*j + 8. Does 14 divide j?
True
Let i be (-1375)/35 - 4/(-14). Let m = -28 - i. Is 3 a factor of m?
False
Suppose -38 - 102 = 4*c. Let x = c + 86. Does 17 divide x?
True
Let o(y) = y + 6. Let h be o(-8). Is 9 a factor of h/6 - (-120)/9?
False
Let b(r) = 9*r - 3. Let j be b(4). Is 4 a factor of j/(-22) - (-41)/2?
False
Let a be 8*3/3 + -1. Suppose -2*o - 2*g + 10 = 0, 0 = -2*g + a*g - 5. Is (-3 + o)/(2/74) a multiple of 19?
False
Let a = 9 + -4. Suppose 2*g - w = 29, -63 = -3*g - 0*g - a*w. Suppose -b - g = -3*i + i, 2 = i + b. Is i a multiple of 4?
False
Let o(f) = 3*f - 1. Let w be o(3). Suppose 6*n = 2*n + w. Suppose 19 = -k + n*k. Is k a multiple of 8?
False
Suppose -l - 10 = -4*j + 69, -4*l = -20. Is j a multiple of 14?
False
Suppose 3*d + d - 176 = 0. Is 4 a factor of ((-2)/2)/((-4)/d)?
False
Suppose -4*x + 3*m = 87 + 204, 2*m + 156 = -2*x. Let b = -45 - x. Is b a multiple of 8?
False
Suppose -2*m - 30 = -h, 2*h + 5*m = 4 + 11. Let g = -1 - -5. Suppose 3*r = -0*r + 5*w + 17, g*w = h. Is r a multiple of 14?
True
Suppose 2*p + 2*h - 24 = 0, 0*p - 60 = -5*p + h. Suppose p = -3*z, 0*z + 2*z = 3*g - 104. Is 13 a factor of g?
False
Let v be 1 + 173 - (-4 - -3). Suppose v = -4*d - d. Let f = d - -50. Does 15 divide f?
True
Suppose 0 = -4*k + 2 + 14. Suppose 2 = -3*w - k. Is (-35 + 2)/(-3) + w a multiple of 8?
False
Let p(k) = -k**3 + 9*k**2 + 2*k - 12. Let u be p(9). Let d be 7 + u/(-2 - -5). Let s(b) = -b**3 + 10*b**2 - 9*b + 13. Is 11 a factor of s(d)?
False
Let h = 1 + 5. Let f(r) = 13*r - 9. Does 23 divide f(h)?
True
Is 45 a factor of (-3)/4 + 11508/48?
False
Let y = -72 + 51. Let c(j) = -j**2 + 1. Let o be c(6). Let s = y - o. Does 14 divide s?
True
Let m(a) = 14*a**2. Let j(v) = -v. Let q be j(1). Is m(q) a multiple of 14?
True
Let c(q) = 4*q**2 - 2*q + 3. Does 5 divide c(2)?
True
Let b be 4/(-3)*(-36)/8. Is 15 a factor of (-4 - b)/(1/(-2))?
False
Let m(f) = -f**3 - 2*f**2 - f - 3. Let h be m(-3). Suppose -5*s - 2*o + 19 = o, h = 3*o. Is 6 a factor of (-6)/(s/(-8)*3)?
False
Let x = 675 - 465. Is 30 a factor of x?
True
Let r = -6 - -7. Suppose u - 3 = -r. Suppose -u*j = j - 9. Is j a multiple of 3?
True
Let l(t) = -29*t + 1. Does 8 divide l(-1)?
False
Suppose 50 = m + 2*h, 4*m - 2*h = -4*h + 188. Is m a multiple of 7?
False
Let o = 1109 + -761. Is 28 a factor of o?
False
Let q = 136 - -8. Does 18 divide q?
True
Let g be (-110)/(-12) - (-2)/(-12). Suppose -8*w + g*w = 10. Suppose 0 = 5*x + w, -2*n + x + 28 = -3*x. Is 5 a factor of n?
True
Let b(m) be the second derivative of 11/12*m**4 - 5/2*m**3 - 7*m**2 + 1/20*m**5 - 3*m + 0. Does 11 divide b(-12)?
True
Suppose -4*s - 5*b + 1255 = 0, 0 = 3*s + 3*b + 2*b - 940. Suppose 3*d - 274 = 3*g + 41, -3*d + 2*g + s = 0. Is d a multiple of 35?
True
Let z(c) be the second derivative of c**5/3 - c**3/6 + c**2 - c. Let m(h) be the first derivative of z(h). Is m(-1) a multiple of 6?
False
Let a = -1 - -10. Is 4 a factor of a?
False
Suppose 2*o - 18 = -2*s, -s + 6 = 1. Suppose -o*l + 7 = r - 0*l, -6 = 2*l. Does 19 divide r?
True
Is 4/(-6) - (-840)/45 a multiple of 6?
True
Let i = 0 + 3. Let s(k) = k**2 + 4*k - 1. Does 15 divide s(i)?
False
Suppose k + 8 = 4*t, 5*k - 35 = -6*t + t. Suppose 2*q - t*s - 22 = -s, 3 = -s. Suppose 3*h - 5*h = -q. Is 4 a factor of h?
True
Let i(j) = j**2 + 8*j - 6. Let w be i(-7). Let z be (5 - w)*(-1 + 2). Suppose -8 = -s + z. Is s a multiple of 13?
True
Let o = 117 + -81. Is 18 a factor of o?
True
Suppose -50 + 146 = 3*s. Does 8 divide s?
True
Suppose -2*t - 11 = 5*j, 4*j + 34 = -3*t - 0*j. Let y = 7 - t. Is 16 a factor of y?
False
Let o be 5 + -2 + 2 + -3. Does 25 divide 28/(-8)*(-28)/o?
False
Let v = 0 + 15. Is 8 a factor of v?
False
Let s be (-3 + -1)/(3 + -5). Let t = s - -17. Is 19 a factor of t?
True
Let i = -5 - -7. Suppose -3*z - 3*u + 1 = -230, 0 = i*z + u - 151. Is 26 a factor of z?
False
Suppose u - 5*d + 8 = 0, 16 = -0*u + u + 3*d. Is 4 a factor of u?
False
Let u(s) = -s**3 + s**2 + 3*s - 3. Let h be u(3). Let z be (h/18)/(2/(-48)). Suppose -70 = -5*n + 2*t, -n + z + 5 = t. Is 6 a factor of n?
False
Let f(l) = -1 - 2 + 3 - l. Does 4 divide f(-9)?
False
Let r(x) = -x**3 + 10*x**2 + 3*x + 5. Suppose -2*a + 18 = 4*c - 28, 15 = 3*c - 5*a. Does 28 divide r(c)?
False
Let f = 0 - -3. Let t be f - 2 - 4 - 