e -z = -3*w + 103. Does 5 divide w?
True
Suppose -4*f - 17 = -x, -4*x = 3*f + 3 + 5. Let l be (-3)/12 + (-13)/f. Suppose -2*s + l*r + 9 = 2*r, -4*r = -2*s - 6. Is s a multiple of 3?
False
Let u be (-22)/55 - (-23)/(-5). Does 6 divide 39 - -2*u/(20/6)?
True
Let p(o) = -2*o**2 - 6*o - 8. Let f be p(-4). Is 5*f*11/(-22) a multiple of 8?
True
Suppose -4*r - 659 = -1939. Is r a multiple of 40?
True
Let p be 4 - 2 - (4 + 23). Let i = p - -40. Is 7 a factor of i?
False
Suppose 3*p = -0*p. Suppose p = -d + 22. Is 14 a factor of d?
False
Suppose -2*l = -5*j + 1678, -3*j + 2*j + 4*l = -332. Suppose -16*s - j = -19*s. Is s a multiple of 27?
False
Suppose 24*f - 3*f - 10962 = 0. Is f a multiple of 18?
True
Let c = 24 - 9. Let p(w) = -w**3 + 14*w**2 - w - 3 + 5*w**2 - c*w**2. Is p(3) even?
False
Let u(v) = 14*v**2 - 2*v - 193. Is 16 a factor of u(-11)?
False
Suppose 0 = 6*q - 3*q - 5*o, o - 3 = 0. Is 21 a factor of (2/q)/(-2 - 633/(-315))?
True
Suppose -3*q + 2 = -1. Let s be (q + 0/3)*1. Suppose 0 = -k + s + 8. Is 9 a factor of k?
True
Let k(h) be the second derivative of -2*h**2 + 0 + 3*h - 1/6*h**3. Does 2 divide k(-8)?
True
Is ((-1628)/12 - 7)*6/(-4) a multiple of 75?
False
Suppose -9*u = -5*u - 40. Let y(c) = c**3 - 11*c**2 + 11*c - 14. Let l be y(u). Is 3 a factor of ((-12)/(-2))/(l/(-10))?
True
Suppose 2*p = 4*p - 204. Suppose 2*g - 5*o = -0*g + 84, 2*g = -4*o + p. Suppose -53 - g = -5*n. Is 6 a factor of n?
False
Does 20 divide 331 - -15*7/(-21) - 2?
False
Let i(w) = 2*w**3. Let p be i(-1). Is 25 a factor of 4/(165/80 + p)?
False
Suppose -970*o = -965*o - 1480. Is o a multiple of 28?
False
Let n(z) = 1 + 3*z - z**2 - 12*z + 0*z**2. Is 3 a factor of n(-4)?
True
Suppose -4*o - 20 + 4 = 0, -5*y = o - 2141. Is 15 a factor of y?
False
Suppose 31*w - 11*w = 8700. Does 29 divide w?
True
Suppose 0 = 5*s - 10*s. Suppose s = -3*q + 72 + 168. Does 16 divide q?
True
Let n(q) = 5*q**2 + 32*q - 13. Does 24 divide n(-11)?
True
Let r = 2643 + -901. Is r a multiple of 26?
True
Is 16 a factor of (32/(-20))/((-22)/50820)?
True
Let z be (-16)/(-6) + 11/33. Let w = -12 - -6. Does 12 divide ((-10)/w - -3)*z?
False
Let h = 458 + -343. Is h a multiple of 6?
False
Let f(o) be the third derivative of o**5/60 + 25*o**4/24 + 28*o**3/3 + 35*o**2. Is 36 a factor of f(-27)?
False
Let z = 4 - 10. Let p = z + 140. Is 8 a factor of p?
False
Let x = -12 + 24. Suppose 4*a = 4*w + x, 2*w = -4*a + 3*w + 9. Suppose 4*p + 26 = 3*u, a*u - p = 2*p + 17. Does 9 divide u?
False
Let n(f) = -f**3 - 21*f**2 - 26*f - 50. Is 5 a factor of n(-20)?
True
Suppose -2*n = -4*j - 1414, 2*n + 0*n - j = 1411. Is 9 a factor of n?
False
Suppose 3*y - 4*r = 6627, 4*y - 3*r - 12297 = -3454. Is y a multiple of 93?
False
Let r = 82 - 80. Does 18 divide 932/26 - r/(-13)?
True
Let q(y) be the first derivative of y**4/4 - 7*y**3/3 - 3*y + 5. Let g be q(7). Let n = 13 - g. Is n a multiple of 8?
True
Suppose 3*a = 2*i + 142, -10*a - i - 48 = -11*a. Is 20 a factor of a?
False
Suppose -4*c + 4*y = 3*y + 1, y = 3*c + 1. Suppose -3*u - 5*o + 52 = c, 3*o + 20 = -2*o. Is 4 a factor of u?
True
Let r be ((-3)/6)/(2/4) + -3. Is 19 a factor of ((-9)/r)/((-8)/(-256))?
False
Let q = 246 + -99. Is 13 a factor of q?
False
Let h(r) = -5*r + 72. Is h(10) even?
True
Let n = 1263 - 712. Is n a multiple of 43?
False
Is 1/5 + ((-11544)/(-15))/2 a multiple of 44?
False
Let a be 1*6 - ((4 - 11) + 10). Suppose 4*s + a*i = i + 22, s + 3*i - 18 = 0. Is s a multiple of 2?
False
Suppose 19*a - 4475 + 295 = 0. Does 11 divide a?
True
Suppose 2*u = 33 - 13. Let r be u + 28 + 2 + -4. Let s = -8 + r. Is 4 a factor of s?
True
Suppose -o + 10 + 12 = 0. Let p be o/6 - 9/(-27). Suppose -p*u + 33 = -u. Is u a multiple of 11?
True
Let v be 5/((-2)/(-12)*(-10)/(-25)). Suppose 3*o + 5*a = 70 + 11, 3*o + 3*a - v = 0. Is o a multiple of 6?
False
Let u = -164 - -336. Is 5 a factor of u?
False
Let x(u) = 4*u**2 - 3*u - 20. Let i be x(-8). Let f = 498 - i. Does 25 divide f?
False
Suppose 3*j + 2*c - 320 = 0, 4*c = 3*c + 4. Suppose 4*n - 103 - 129 = 0. Let y = j - n. Is 10 a factor of y?
False
Suppose 0 = 6*g - 12*g + 4464. Is 54 a factor of g?
False
Suppose p - 471 - 276 = -5*f, 5*f - 1494 = -2*p. Is p a multiple of 10?
False
Suppose 87*a - 92*a + 1170 = 0. Is 9 a factor of a?
True
Suppose -5*l + 6490 = 2*s, -21*s = -5*l - 18*s + 6515. Is l a multiple of 71?
False
Let p be (-1 + (-3)/(-2))*10. Suppose -4*r + p*r - 93 = 0. Let b = r - 42. Is b a multiple of 18?
False
Let y(j) = j**2 - j - 2. Let t be y(2). Let f = 36 - -54. Suppose 2*g - 6 - f = t. Is 12 a factor of g?
True
Let d be 56/12 + (2 - 32/12). Suppose -z = -q + 19, 8*q - d*q - 5*z = 75. Is 10 a factor of q?
True
Let z(o) = -11*o. Let x be z(-2). Let w = 12 - x. Does 30 divide (-302)/w + (-10)/50?
True
Let t = 0 + -13. Let q be (-1 + t)/(9/(-72)). Let r = q - 80. Is 8 a factor of r?
True
Suppose 0 = t - 4*q - 15, -3*t = 3*q + 30. Let w(s) = s**3 + 8*s**2 + 2*s + 4. Does 3 divide w(t)?
True
Let u = 11 + -7. Let x be 0 + 15/6*u. Suppose -n = -43 + x. Does 11 divide n?
True
Suppose -2*p = k - 142, 2*k - 3*p + 6*p - 289 = 0. Suppose -2*h + k = -8. Does 20 divide h?
True
Does 6 divide 5 + (-13)/((-13)/288)?
False
Let r be 4/10 - 22/5. Let l = r + -3. Let k(q) = q**3 + 8*q**2 + 4*q - 3. Is 5 a factor of k(l)?
False
Let q be (-2)/(2739/10604 + 1/(-4)). Let u = q - -461. Is u a multiple of 22?
True
Let g(r) = 130*r - 481. Does 11 divide g(19)?
False
Let v(i) = i**2 - i - 2. Let z be v(0). Let t be (-716)/16 - z/(-8). Let o = -17 - t. Does 25 divide o?
False
Suppose 0 = -13*d + 8*d + 900. Suppose 5*k - y = 192, 5*y = k + 4*k - d. Is k a multiple of 3?
True
Suppose 0 = -21*d + 19*d + 24. Suppose 2*q - 53 = -5*l + 18, 2*q = l - 19. Does 2 divide (d/l)/(2/5)?
True
Suppose -6*a = -2*a. Suppose a = -w - 25 + 80. Suppose 0 = 4*x - w - 57. Is 18 a factor of x?
False
Let z(m) = m**2 - 10*m + 4. Let o be z(8). Let p = o - -19. Suppose 8 = 5*u - p. Does 3 divide u?
True
Suppose -5*z + 2*t + t + 354 = 0, -5*t = 2*z - 123. Let k = 201 + z. Suppose k = 4*q + q. Is q a multiple of 27?
True
Let z(h) = 3*h**2 + 4*h + 8. Is 5 a factor of z(7)?
False
Is (-6)/(-24) + (-13116)/(-16) a multiple of 20?
True
Let m(w) = -w**2 + 5*w - 16. Let p be m(5). Let q = 23 - p. Is 13 a factor of q?
True
Let f = 13 + -10. Suppose -2 - f = r, 3*y + 2*r = 2. Suppose -120 = -y*m - m. Is m a multiple of 8?
True
Let z be (73 + -18)*(-12)/(-10). Let u = z + -39. Is 9 a factor of u*(-7)/((-42)/4)?
True
Let c(s) = -3*s**3 - 2*s**2 - 5*s - 3. Let q(z) = z**2 + 6*z + 5. Let j be q(-4). Is 15 a factor of c(j)?
True
Suppose 0 = -4*g + 152 - 72. Does 5 divide g?
True
Let o(x) = x**3 + 36*x + 2*x**3 + 775*x**2 - 12 - 756*x**2 - 2*x**3. Is 36 a factor of o(-16)?
True
Suppose 0 = -77*t + 41*t + 29808. Does 9 divide t?
True
Suppose -a + 7*y - 4*y + 256 = 0, 0 = -5*a + 2*y + 1241. Is a a multiple of 15?
False
Let p = 12 + -10. Let j(l) = 0 - 3*l**2 - 5*l + 2 + 2 + p*l**3. Does 8 divide j(3)?
True
Let s be 60/18*72/(-30). Let c be 98 - 1/((-2)/4). Is c/s*(-2 - 0) a multiple of 4?
False
Let f(n) = n**3 + 12*n**2 + n + 12. Suppose -58 = 2*z - 38. Is 26 a factor of f(z)?
False
Let f = 279 - 9. Is 9 a factor of f?
True
Suppose 10*n = 2*n - 6*n. Let m be 4/2 - (-4 + 1). Suppose -m*t + 15 = n, -5*u = 4*t - 200 + 43. Is 6 a factor of u?
False
Let z = 32 + -32. Suppose -2*x = -2*y + 62, z*y = -2*y + 5*x + 71. Is 14 a factor of y?
True
Let n = -237 + 904. Is n a multiple of 39?
False
Let f be -122*(3 - 8/2). Let d = 192 - f. Is d a multiple of 14?
True
Suppose -130 = -m - 4*x, x + x + 446 = 3*m. Suppose m = 3*k + t, -2*k - t = -k - 50. Does 6 divide k?
True
Suppose -4*z + 7*z - 7296 = 0. Is z a multiple of 128?
True
Suppose 0 = 6*o - o + 60. Let w = -21 - o. Is 6 a factor of (14/3)/((-2)/w)?
False
Let a(i) = 103*i**2 + 8*i + 4. Is 12 a factor of a(2)?
True
Is 28 a factor of (2 - (-17)/(-8)) + (-28899)/(-24)?
True
Let b = 359 + 37. Is 55 a factor of b?
False
Let l = 249 + -160. Is 40 a factor of l?
False
Let f = 26 - 23. Suppose f*p - 88 - 227 = 0. Is p a multiple of 21?
True
Let t(h) = -48*h. Let r be t(2). Let z = r - -141. Let s = -19 + z. Is 13 a factor of s?
True
Let v = -742 + 1041. Suppose 3*n + 6*b = b + 429, -b - v = -2*n. Suppose -3*p + p + n = 0. Does 13 div