. Suppose 5*z = 4*o + 108, 5*z = -o - 2*o + v. Is 10 a factor of z?
True
Suppose -15*a + 18*a + 2*i = 11581, -i = a - 3860. Does 17 divide a?
False
Suppose 0*o + 25 = -3*b + 5*o, 3*o - 15 = -2*b. Suppose 3*j - 2*i - 130 = b, 0 = 5*j - 2*i - 2*i - 220. Is 20 a factor of j?
True
Let g(u) = 7*u**2 - u**2 + 3*u - 125 + 124 - u**3. Let j be g(6). Let x = 46 + j. Is 21 a factor of x?
True
Let d(q) = -q**3 - q**2 + q - 1. Let x(g) = -4*g**3 - 27*g**2 + 21*g - 6. Let l(w) = 6*d(w) - x(w). Is l(9) a multiple of 27?
True
Let v be (1 + 5)*(39/6 + -4). Suppose 48 = v*r - 13*r. Is r a multiple of 8?
True
Let o(l) = -l**3 + 5*l**2 - 7*l + 5. Let x be o(2). Suppose 5*u + 535 = 5*y, 346 = x*y - 4*u + 6*u. Is 14 a factor of y?
True
Let b be (-4)/10 - (-384)/(-40). Let j = -7 - b. Suppose s + 60 = j*s. Is 30 a factor of s?
True
Let g(w) = 2*w**3 + 3*w**2 + 4*w - 1. Let y be g(-4). Let c = y - 77. Is 1/(2*(-3)/c) a multiple of 11?
False
Suppose -3*z + 26 = q - 133, 4*q - 5*z = 602. Is 34 a factor of q?
False
Let y(z) = 3*z**2 + 2*z + 11. Suppose 5*q - 4 + 29 = 0. Is 36 a factor of y(q)?
False
Let c(w) be the second derivative of -w**3/6 + 8*w**2 + 3*w. Let y be c(12). Suppose -y*z + 61 = -3*u, -2*z - 3*u = -u - 48. Is z a multiple of 5?
False
Suppose -14078 = -33*w - 779. Is w a multiple of 15?
False
Suppose -2*w = 5*y - 1909, 13*w = -4*y + 9*w + 1520. Does 9 divide y?
False
Let y(w) = 8*w - 3*w - 8 + 2*w**3 + 0*w**3 - 3*w**2 - 3*w**2. Does 4 divide y(4)?
True
Let w(g) = g**2 + 72. Let r be w(-9). Suppose 3*x = -4*i + 98, i + 4*x - 18 = -0*x. Suppose -p - 41 = -l, -3*l + 5*p = -r + i. Is l a multiple of 13?
True
Let r(k) = -5*k**3 - k - 2. Let t be r(-1). Suppose -2 - t = -3*v. Does 28 divide (-9)/(-6)*v*35?
False
Is (-34)/(-68)*(-1)/((-3)/624) a multiple of 2?
True
Is 25 a factor of 2505/4 + 40/(-32)?
True
Suppose 8 = h + 5. Suppose 2*x + 0 = 3*m + 10, -3*x + 8 = -m. Is 8 a factor of (-10 - m)/(h/(-6))?
True
Let r = -508 + 583. Is r a multiple of 75?
True
Let m = 1453 + -667. Is 12 a factor of m?
False
Suppose -8*p = -4*p - 3*y - 1521, p + 5*y = 363. Is p a multiple of 70?
False
Suppose 9*q + 1598 = 11*q. Is 17 a factor of q?
True
Let k(u) = u**2 - 10*u - 3. Let o be k(10). Let c = o - -33. Is 10 a factor of c?
True
Is 20 a factor of ((-3)/2)/(218235/12840 - 17)?
False
Suppose 7*s = -42 - 112. Let g = s - -24. Suppose -g*a = a - 48. Is a a multiple of 5?
False
Let w = 7 - 13. Suppose -3*h - 2*l + 18 + 54 = 0, -4*l = 0. Let b = h + w. Is b a multiple of 9?
True
Let l(n) = n**3 - 31*n**2 + 64*n + 60. Does 26 divide l(29)?
True
Let w = 1723 - 1022. Is w a multiple of 7?
False
Suppose -550 = -4*p + 5*c + 99, 0 = -4*c - 4. Suppose 2*x = 3*i - 707, -3*i = -5*i - 3*x + 480. Let v = i - p. Is v a multiple of 21?
False
Suppose -h + 2*y + 22 + 29 = 0, h + y = 66. Suppose 2*d - 11 = h. Is d a multiple of 3?
True
Let o = 2305 + 1079. Is 92 a factor of o?
False
Let b(q) = -q**2 - 13*q - 22. Let i be b(-9). Let n be i - -54 - 1*-1. Suppose -n + 309 = 5*d. Does 16 divide d?
True
Let d(b) = -b. Let f be d(-6). Let q(i) = f*i - 4*i + 10 - 2. Is q(6) a multiple of 10?
True
Let m = -114 - -31. Let b = -44 - m. Is b + (1 - 0) + -1 a multiple of 13?
True
Suppose 2029 = 6*o + 73. Let h = -88 + o. Is 34 a factor of h?
True
Suppose -66 = i - 4*i. Suppose 0 = 2*t - 3*c - 16, t + c = 5*t - i. Suppose -2*r = 3 - 9, -t*r = -5*s + 245. Is s a multiple of 13?
True
Let d(h) = -h**2 + 33*h - 26. Suppose 15*z = 6*z + 207. Does 34 divide d(z)?
True
Let s(g) = 11 - g**3 + 2*g**3 + 8*g + 11*g**2 + 5*g. Is s(-8) a multiple of 27?
False
Let a(i) = -50*i + 4. Suppose 2*u + 0*v - 5*v = -23, -4*v + 24 = -3*u. Does 12 divide a(u)?
True
Let w(n) = n**3 + n + 6. Let y be w(4). Suppose y = 3*c - 232. Is c a multiple of 17?
True
Let i(o) = -84*o + 32. Is 37 a factor of i(-5)?
False
Let u = 703 + 1411. Is u a multiple of 17?
False
Let t = -37 + 37. Suppose i = -t*i + 4. Is 2 a factor of i?
True
Suppose -3*a + 6*a = -3*l + 93, -25 = -a - 4*l. Does 14 divide a?
False
Let f(b) = b**3 + 12*b**2 - 40*b + 27. Is 7 a factor of f(-13)?
True
Let d = 147 - 75. Does 3 divide ((-5)/(-10))/1*d?
True
Let o(f) = -f**3 - 2*f**2 + 3*f - 3. Suppose 11 = 4*m - 33. Suppose 2*w = -p - m, 0 = 4*w + p + 20 + 1. Does 19 divide o(w)?
True
Let u(h) = -h**3 + 8*h**2 + 17*h + 18. Let x be u(8). Suppose t + x - 6 = q, 0 = 3*q - 2*t - 446. Is q a multiple of 15?
True
Let h be (-1073)/(-29) - 1*5. Is 32 a factor of (3/18 - (-23)/6)*h?
True
Let y(h) = -h**3 + 10*h**2 + 11*h. Suppose 4 + 7 = l. Let r be y(l). Suppose w = 2*j - r*j - 26, -j = -w - 12. Is j a multiple of 14?
True
Let k = 140 + -139. Suppose c + 91 + 65 = 3*b, c = -3*b + 162. Let l = b - k. Is l a multiple of 16?
False
Suppose -32*x + 30*x + 2202 = n, 0 = -2*x + 3*n + 2194. Does 25 divide x?
True
Suppose 34 = 5*r - 2*m, -3*m - 1 = -4*r + 22. Suppose 52 = -7*o + r*o. Does 13 divide o?
True
Let g = 2293 + -619. Does 62 divide g?
True
Let y = 158 + 358. Is 10 a factor of y?
False
Suppose -5*s + 28 = -17. Let k(j) = -s - 9*j**2 + j + j**3 + 0*j**2 - 6*j + 12*j. Does 18 divide k(9)?
True
Let d(i) = 2*i**3 + 3*i**2 - i - 4. Let b be d(-3). Suppose x - 20 = -4*x. Let r = x - b. Does 16 divide r?
True
Let o(f) be the third derivative of 7*f**6/15 + f**5/60 - f**4/8 + f**3/6 + 9*f**2. Is o(1) a multiple of 11?
True
Let u(i) = -2*i**3 + 12*i**2 + 13*i - 9. Let d be u(6). Suppose d - 13 = 7*t. Is t even?
True
Let z(h) = -2*h**2 + 5*h - 10. Let n be z(9). Let b = 183 + n. Suppose -o + 2*t + b = o, 8 = 4*t. Is o a multiple of 5?
True
Let o = -8 - 1. Is 16 a factor of (15/o + 1)*492/(-4)?
False
Suppose -3*f = -5*w + 43, 3*w - 7 - 21 = 4*f. Suppose -3*s = 5*q - 57, w = 3*q + 5*s - 39. Does 9 divide q?
True
Let y(o) = 3*o**3 - 2*o**2 + 3*o. Let g(l) = -6*l**3 + 4*l**2 - 6*l - 1. Let r(f) = 4*g(f) + 9*y(f). Does 9 divide r(2)?
True
Let n = -231 + 495. Suppose n = 5*f - f. Is f a multiple of 9?
False
Let o(y) = -4*y - 3. Let w be o(-2). Suppose -5*b = -3*v + 108, 41 = 4*v - 4*b - 95. Suppose w*i - 97 = -3*l, 5*l + 2*i - 156 = v. Does 13 divide l?
True
Suppose -5 = -v - 1, 12 = 4*d - 2*v. Suppose 4*u - 6*n - 68 = -2*n, d*u - 4*n = 88. Is u a multiple of 5?
True
Suppose 2*k - 2*u = 4 + 10, 4*k - 3*u - 23 = 0. Suppose 5*m + 115 - 752 = -k*l, -2*m = -5*l - 249. Is m a multiple of 9?
False
Let x be (-123 - 4 - -3)*(-2)/4. Does 18 divide (-10)/(x/(-12) - -5)?
False
Let y(s) = 10*s**2 + 22*s + 108. Does 10 divide y(-4)?
True
Let z(u) = -u**3 + 9*u**2 + 10. Suppose 0 = -c + y - 3*y + 10, -2*c = 3*y - 17. Suppose 4*q + 11 + 4 = f, 4*q - 20 = -c*f. Is z(f) a multiple of 22?
False
Suppose 720 = -6*u + 9*u. Does 15 divide u?
True
Suppose -2*g + 8*l - 9*l = -262, 5*g + 2*l = 657. Is 11 a factor of g?
False
Let m = 51 + -57. Does 28 divide m/(-7) + -1 - 9856/(-49)?
False
Does 10 divide 2*1/6 - 2316/(-18)?
False
Let p be 1 + -21 + (0 - 4). Let s = p - -22. Is -4*s/16*10 a multiple of 5?
True
Suppose -4*y = -2*y. Let f(g) = g**2 - g + 63. Let c be f(y). Suppose -4*r + 320 = 2*n + 3*n, c = r - 3*n. Does 25 divide r?
True
Let p(t) = -t**2 - 5*t - 4. Let q be p(-4). Suppose -j - 3*n + 204 = q, -3*j + 539 + 51 = -2*n. Is 22 a factor of j?
True
Suppose 25 = -2*f + 15, 3*k = -2*f + 10592. Does 25 divide k?
False
Let i(o) be the third derivative of -1/6*o**4 + 0*o - 11/6*o**3 + 0 + 3*o**2. Does 10 divide i(-16)?
False
Let c be (-8)/60 + (-1474)/(-30). Suppose 2*m - c = -5. Is m a multiple of 3?
False
Let y be 0 + 2 - (-54)/3. Let q = 34 - y. Is q a multiple of 14?
True
Let s(j) = -j**2 - j + 315. Let y be s(0). Suppose -11*w + 16*w - y = 0. Let v = 99 - w. Is v a multiple of 12?
True
Let s(q) be the first derivative of -9*q**2/2 + 18*q - 25. Is s(-5) a multiple of 9?
True
Suppose 23 = -4*x - 3*s - 24, -x + s - 10 = 0. Let h(b) = -2*b - 3. Is h(x) a multiple of 19?
True
Suppose 0 = -0*h - h - 3. Suppose 0 = -4*u + g + 3*g + 20, 16 = -4*u - 5*g. Is (0 - u) + h + 11 a multiple of 7?
True
Let z = -22 + 37. Let i be (z/4)/(3/80). Suppose q = -q + i. Does 27 divide q?
False
Let n = 1147 - 799. Is n a multiple of 29?
True
Suppose 2305 = 10*n - 6*n + d, 2*d = 4*n - 2302. Is n a multiple of 48?
True
Suppose -a + 6 = -4. Suppose -a = -5*m - 0. Is (2 - m)/3 - -6 a multiple of 5?
False
Let w be (1 - -6) + 3/(-1)*1. Suppose