+ 31. Suppose -150 = -5*s + i*l - 40, -l - 66 = -3*s. Does 20 divide s?
False
Let o = 4273 - 1706. Is 31 a factor of o?
False
Suppose -2*s + 377 = -3*p, -5*s - 4*p + 753 = -201. Is s a multiple of 12?
False
Is (-16080)/(-55) - (-8)/(-22) a multiple of 29?
False
Suppose 34 = 2*d - 4*x, 73 + 33 = 3*d + 5*x. Let l be 5/(-3)*d/(-9). Let b = l + 4. Does 7 divide b?
False
Let d(v) = -v**3 + v - 2. Let w be d(-2). Suppose -w*b + 315 = -b. Suppose -b = 3*k - 6*k. Is 25 a factor of k?
False
Let h = -3 + 3. Suppose h = s - 5*s + 116. Suppose s*c - 288 = 25*c. Is c a multiple of 21?
False
Is 2 a factor of 11 + 5 - (4/2 + 1)?
False
Let l(v) = -v**3 + 11*v**2 - 17*v - 1. Let p be l(9). Suppose -p*i = -389 - 371. Is 37 a factor of i?
False
Let x(o) = -4*o - 15. Let s be x(-5). Suppose -2*m + 4*h = -h - 165, -4*h = s*m - 363. Is m a multiple of 25?
True
Let s(q) = -q**2 + q + 5. Let y(w) = w**2. Let k be y(0). Let x be s(k). Suppose 2*u - x*h = 23, 0 = -u + h + 2*h + 11. Is 7 a factor of u?
True
Let b(y) = -37*y + 41. Is b(-9) a multiple of 11?
True
Suppose -72 = -12*w + 6*w. Is 23 a factor of 5/(15/w) + 307?
False
Suppose 0 = 4*q - 2*c - 5300, -q + 4*q = c + 3975. Is q a multiple of 53?
True
Suppose 4*k + 2*o - 32 = 0, -26 = 7*k - 11*k - 5*o. Let s(p) = p**3 + 7*p**2 + 5*p + 2. Let h be s(-6). Suppose -h*y + k*y = 24. Is y a multiple of 8?
True
Let y = -22 + 20. Is 79 - (2 + -5 + y) a multiple of 12?
True
Let u(n) = 4*n**2 - 23*n - 2. Let k be u(7). Suppose -2*c + k = -33. Is 33 a factor of c?
True
Suppose -7*z = -365 - 209. Does 6 divide z?
False
Let a(p) = 2*p**3 - 6*p**2 - 3*p + 6. Let i be a(7). Suppose -i = -2*t + 403. Suppose -5*k + t = -0*k. Does 26 divide k?
True
Let o = -59 + 41. Let d = o - -73. Suppose 2*w = -4*b + 32, -9*w = -4*w + 5*b - d. Is w a multiple of 6?
True
Suppose 0*b + 3*b + 54 = 0. Let d be (-1 - -3)*(-153)/b. Suppose 5*p - 55 = -q, -q - d = p - 2*p. Is p a multiple of 6?
True
Let n be 250 - 0/((-2 - -1)*1). Suppose -2*q = -3*z + 170, -7*z = -2*z + 5*q - n. Is z a multiple of 7?
False
Let g be (-8)/(-16) - (-2)/(-4). Suppose -o = 5*c - 20, -2*c + 3*o - 4 + 12 = g. Suppose -n + 3*n + 168 = 3*z, -5*z - c*n = -280. Is z a multiple of 13?
False
Let o = 59 - -121. Is 5 a factor of o?
True
Let j = -16 + 15. Let h(f) = -21*f**2 + f. Let c be h(j). Let x = 32 + c. Is x a multiple of 8?
False
Let u(k) = 34*k - 10. Is u(5) a multiple of 80?
True
Suppose -3*d - 591 = 2*o - 7*o, 0 = o + 3*d - 129. Is 4 a factor of o?
True
Let w = 1 + -12. Let s be (-6 + -9)*w/3. Let i = -37 + s. Does 6 divide i?
True
Let n(u) = -u**2 - 9*u + 1. Let w be n(-7). Suppose -2*i = -35 - w. Is 3 a factor of i?
False
Let o = 6 + -3. Suppose 0 = -o*n + d + 198, -3 = 4*d + 9. Does 47 divide n?
False
Let b = -5 + 8. Suppose -k = b*k - 1104. Suppose s = 5*s - k. Does 18 divide s?
False
Suppose 17*f - 11502 = 6875. Is f a multiple of 19?
False
Suppose -3 = -t - 1. Suppose -a = v + t*v - 36, -142 = -5*a + 4*v. Does 25 divide a?
False
Let w(q) = q**2 - q. Let h be w(0). Suppose h*s - 100 = -s. Does 25 divide s?
True
Is 20 a factor of (-1136 + -1)/((-7)/(28/3))?
False
Let f(q) = -q + 1. Let t be f(-1). Suppose -5*v - 4*l + 270 = 0, -t*v - 4*l = -129 + 33. Does 27 divide v?
False
Let l(t) = -5*t**2 + 22*t - 19. Let b be l(8). Let v = 279 + b. Is 37 a factor of v?
False
Suppose -8 = f - 5*f. Let y be 681/(-2)*f/(-3). Suppose -2*j + y = z + 2*z, 0 = -3*z - j + 226. Is z a multiple of 25?
True
Suppose -5*u = 3*s - 140, 4*s + 4 - 116 = -4*u. Is 14 a factor of u?
True
Let l = 115 + -110. Suppose 2*p + 36 = 4*i, -l*p = -3*i + 2 + 18. Does 3 divide i?
False
Let h(i) = -4*i**2 + 2*i + 2. Let a be h(-2). Let y = -97 + 158. Let f = a + y. Is f a multiple of 27?
False
Suppose 4*p - 308 = r, -5*p + r - 2*r + 376 = 0. Let t = p - 138. Let i = t + 133. Is 15 a factor of i?
False
Let z(y) = y**3 - 13*y**2 + y + 7. Let s be z(13). Let g = -13 + s. Does 6 divide g?
False
Let v(q) = q**3 + 6*q**2 + 3*q + 2. Let j be 45/(-10)*(-4)/(-2). Let i = 4 + j. Is v(i) a multiple of 3?
True
Suppose -2*h + 8*h = 438. Suppose -t + 36 = -h. Is t a multiple of 5?
False
Let j(x) = -11*x**2 - x - 1. Let d be j(2). Let y = -147 - d. Let k = -21 - y. Is k a multiple of 23?
False
Is ((20/14)/(-5))/((-4)/644) a multiple of 5?
False
Let g(q) = q**2 - 11*q + 2. Let b be g(12). Let k be 4/b + (-1700)/70. Let c = k - -50. Is 13 a factor of c?
True
Suppose 18*y = -10*y + 9800. Does 10 divide y?
True
Let k(m) = -7*m + 1. Let g(c) = -8*c + 2. Let f(b) = -4*g(b) + 5*k(b). Does 7 divide f(-13)?
False
Let z(d) = d**3 - 6*d**2 + d + 1. Let y be z(4). Let h = -11 - y. Let x = h + 10. Does 26 divide x?
True
Suppose 0 = -2*s + 1412 - 292. Does 40 divide s?
True
Let o = 13 - 5. Suppose 2*i + 2*w - 22 = 0, 4*w + 29 + 23 = 2*i. Let y = i - o. Is 7 a factor of y?
False
Suppose 2*d - 368 = -4*c, 3*c - d - 90 = 181. Is c a multiple of 4?
False
Let g(h) = 2*h**3 - 2*h**2 + 43*h - 282. Does 24 divide g(6)?
True
Suppose 3*h = -8 + 35. Suppose 3*t - 6 = 0, -h = 2*k + t + 13. Is 5 a factor of 7 + -3*8/k?
False
Let i be -3 + (-1 - -3) + -53. Suppose 0 = -4*y - 5*f + 314, y + 2*f - 3*f - 74 = 0. Let z = y + i. Is 11 a factor of z?
True
Let p(i) = -i**2 + 28*i - 31. Is p(23) a multiple of 14?
True
Let h = -386 + 722. Suppose 0 = 3*a + 3*d + 226 + 17, 2*d = 4*a + h. Let u = a - -139. Does 25 divide u?
False
Suppose 460 = -2*s + 7*s. Suppose -v - s = -4*r, 9*v = -3*r + 4*v + 92. Suppose 0*d = -4*d + r. Is 6 a factor of d?
True
Let p be -3 - (-2 + 24/(-4)). Let b = p + 38. Let y = 50 + b. Does 31 divide y?
True
Let p = 246 + -142. Let t be ((-354)/18)/(1/3). Let b = p + t. Is 9 a factor of b?
True
Let y(a) = 5*a - 1. Let g = -36 + 52. Let k = 18 - g. Is y(k) a multiple of 2?
False
Suppose -5*p + 4790 = 1430. Suppose -5*r - 192 + p = 0. Is r a multiple of 17?
False
Let t(u) = u + 36. Let q be t(-20). Suppose -k = -o - 0*k + q, 5*o - k = 60. Is o a multiple of 2?
False
Suppose -1084 - 386 = -7*q. Does 30 divide q?
True
Let q(p) = 81*p**2 + 11*p. Does 28 divide q(-1)?
False
Let b(r) = 4*r**2 + 2*r - 1. Let o be b(1). Suppose -o*n + 0*n = -10. Suppose -6*q = -n*q - 104. Is 9 a factor of q?
False
Suppose a = 4*a - 30. Suppose a*h - 155 = 5*h. Is 20 a factor of h?
False
Let v(s) be the third derivative of s**6/60 - 5*s**4/24 - 5*s**3/6 - 3*s**2. Let c be v(4). Suppose -j + c = g + 2*g, 2*g - 194 = -2*j. Is j a multiple of 16?
False
Let o = -117 + 326. Let k = -105 + o. Is k a multiple of 20?
False
Let t = 133 - 73. Suppose -5*u = -3*k - t, 2*k = 3*k - 2*u + 19. Let a = k - -28. Is a a multiple of 3?
True
Let m(k) = 3*k**2 - 118. Is m(-17) a multiple of 57?
False
Suppose -4*i - 1794 = -4*s + 1110, s = -4*i + 711. Is 20 a factor of s?
False
Suppose -f + 0*n - 2 = 2*n, 4*f = 4*n + 28. Suppose -162 = -4*k + 2*m + 88, 4*k = f*m + 248. Is 9 a factor of k?
True
Suppose -2*j + 955 = 6*x - 7*x, 1450 = 3*j - 5*x. Is j a multiple of 12?
False
Suppose 2*d = 2*x - 296, -x + 0*x + 5*d = -128. Suppose 3*p = 495 - x. Suppose 3*s + 27 = p. Is 15 a factor of s?
False
Is 15 a factor of 14*(84/(-4)*-2 + 3)?
True
Suppose 3*z = -3, -3*a - 2 = -4*a - 3*z. Suppose -4*g - a*r + 194 = 14, 0 = -2*r - 8. Is g a multiple of 9?
False
Is 810/(-36)*(-16)/6 a multiple of 6?
True
Suppose 69 = i + 5*d - 76, i = 2*d + 173. Suppose -55 = -y + p, -3*y + 2*p = -2*p - i. Let o = y + -13. Is 25 a factor of o?
False
Let l(f) = f + 67. Let p(o) = -o**3 + 3*o**2. Let d(q) = q**3 + 5*q**2 + q - 9. Let b be d(-4). Let m be p(b). Does 16 divide l(m)?
False
Suppose 0 = -3*p + 5*c - 5 + 7, -p = 2*c + 3. Let u(b) = 35*b**2 + 1. Let o be u(1). Is 8 a factor of (p/2)/((-2)/o)?
False
Suppose -a + 5*a - 180 = 0. Suppose -3*s + a - 9 = 0. Is 3 a factor of s?
True
Suppose 0*n + 3*d = n - 191, 0 = n - 5*d - 183. Suppose 5*l - 574 = -w, 2*w = -4*l + 261 + n. Does 19 divide l?
True
Let z = 7 + -3. Suppose -z - 6 = -5*q. Suppose -q*m = 2*m - 60. Does 6 divide m?
False
Let y(q) = -q**2 + 13*q + 18. Let d(p) = 2*p**2 - 12*p - 19. Let j(m) = -2*d(m) - 3*y(m). Let u = 28 - 40. Is j(u) a multiple of 10?
True
Suppose 3*j = 399 + 9. Suppose -3*y = -323 + 32. Let c = j - y. Is 11 a factor of c?
False
Let i be 1*-2*(-2)/2. Suppose -4*o - 16 = -4*x, 2 - 4 = -o - 2*x. Is 6 a factor of o/((-1 - i)/9)?
True
Let r = 413