ppose c - 35 = -5*w + 3*c, 28 = 4*w + 3*c. Suppose u*a + 200 = w*a. Does 20 divide a?
True
Suppose 2*a - 919 = 5*y, 3*a = -a - 12. Let h = y - -287. Does 7 divide (-15)/(-45)*(h - 0)?
False
Let f(h) = -3*h**3 - 3*h**2 + h - 6. Let u(v) = v**2 + 10*v + 5. Let g be u(-9). Is f(g) a multiple of 20?
False
Let d = -84 - -94. Does 10 divide ((-109)/5)/(((-2)/d)/1)?
False
Let n be (-14)/49 - 4/(-14). Let o(g) = g. Let x be o(n). Suppose x*p = p - 31. Is 19 a factor of p?
False
Let l = 4 + -1. Suppose b = -l*b + 24. Is 2 a factor of 0*(-3)/b + 5?
False
Suppose -5*l - 51 + 36 = 0, -2*g = l - 299. Does 16 divide g?
False
Is (-4 - (6 + -9)) + 307 + 2 a multiple of 14?
True
Suppose -15 = -3*w + 30. Let d be (-1)/3*(-5457)/17. Let b = d - w. Is 18 a factor of b?
False
Suppose 11*h - 72 = 12*h. Let n = 97 + h. Is n a multiple of 13?
False
Suppose -4*n + 734 = -3*z - 493, 3*z = -3*n + 915. Does 87 divide n?
False
Suppose -7*n + 2*n - 5 = -5*g, 0 = -3*n - 3. Suppose 3*t - 5*t = -14. Suppose x - t - 35 = g. Does 21 divide x?
True
Suppose -2*y + 2255 = -5*g, -4*g + 2*g = y - 1150. Is y a multiple of 6?
True
Let f be (-2 - 16/(-6))*-501. Is f/(-4)*2 - 3 a multiple of 28?
False
Let y be (-8)/1*(-9 - -11). Is 11 a factor of 11/((-36)/y - 2)?
True
Let k = 421 + -239. Is k a multiple of 14?
True
Let y(t) = 2*t**3 - 9*t**2 + t - 3. Let o be 10/(56/42*(-3)/(-2)). Is 27 a factor of y(o)?
True
Let p(u) = -u**3 - 2*u**2 + 1. Let d be p(-2). Let a be (7 + -6)/(d/3). Suppose -o + a*m = -55, -m = 2*o - 2*m - 115. Does 19 divide o?
False
Let r(z) = -z**2 + 5*z + 11. Let y be r(5). Suppose -7*t + 156 = -3*t. Suppose y = -i + t. Is 5 a factor of i?
False
Let l(j) = 10*j - 45. Let z be l(13). Let p = z + -69. Is 4 a factor of p?
True
Suppose -5 = -4*g + 19. Let q(m) be the first derivative of 2*m**3/3 - m**2/2 - 29. Is q(g) a multiple of 22?
True
Suppose -8*p + 304 = -4*p. Let f be 2/(2 - 156/p). Is f*((-3)/(-6) + -2) a multiple of 19?
True
Let z(w) = -w**3 - 2*w**2 - w. Let h be z(-2). Is h - (-136)/(-2 - -6) a multiple of 12?
True
Suppose -l = 2*i - 725, -5*l + 5653 - 2000 = 3*i. Is 99 a factor of l?
False
Let m(b) = -1 + 12 - b - 8*b + b**2. Let r be m(8). Suppose 27 = r*q - 69. Is q a multiple of 16?
True
Suppose f + 1821 = 3*g - 4*f, 5*g = -f + 3007. Is 14 a factor of g?
True
Suppose 2*m - 74 = -6*i + i, -5*m = -10. Let c = 12 + i. Is 26 a factor of c?
True
Let c = -619 - -1069. Does 50 divide c?
True
Let v = 68 - 26. Let l(g) = -5*g**2 - 14*g. Let j be l(-4). Let k = j + v. Is k a multiple of 9?
True
Suppose 2364 = 4*k + 12. Does 21 divide k?
True
Let s = -696 - -1224. Does 30 divide s?
False
Suppose 0 = -5*x - t + 136, 4*t = -4*x + x + 68. Let b = x + -13. Does 15 divide b?
True
Suppose -7*p + 8*p + 12 = g, 2*p = 5*g - 45. Is 3 a factor of g?
False
Suppose 0 = -7*y + 2046 + 1342. Is 44 a factor of y?
True
Suppose 26*o - 10*o - 30912 = 0. Does 46 divide o?
True
Suppose s + 2*s - t - 9 = 0, 0 = 5*s - 4*t - 15. Suppose -y + 62 = y + 3*o, s*y - 93 = -5*o. Is 6 a factor of y?
False
Let b(w) = -142*w + 229. Is 39 a factor of b(-8)?
True
Let t(k) = 6*k**2 + 5*k - 111. Is 42 a factor of t(-7)?
False
Let l(t) = -t**2 - 18*t - 13. Suppose 0*d - 68 = 4*d. Let p be l(d). Suppose -p*b + 31 = -41. Is b a multiple of 9?
True
Does 37 divide 38*82/12 - (-76)/(-114)?
True
Does 12 divide (-1)/(-2)*(1881 + -47)?
False
Suppose 20*v + 660 = 16*v. Suppose 2*j - 348 = 5*j. Let m = j - v. Does 19 divide m?
False
Let z be 1*40*9*4/(-8). Let k = z + 318. Is k a multiple of 11?
False
Let k be 3 - (3/(-1))/(-3). Suppose p = -k*p + 519. Suppose -o - 2*o - 6 = 0, 4*o + p = 5*a. Does 11 divide a?
True
Let m = -9 - -17. Let t(q) = 8*q**2 - 5*q - 8. Let w be t(6). Suppose -3*x = -m*x + w. Does 25 divide x?
True
Suppose -16 = 2*c + 5*h, -3*c = -3*h - 11 + 35. Is (12 + c)*(-11)/(-4) a multiple of 3?
False
Suppose -i - 958 = -2*x - 3*i, -1441 = -3*x - 2*i. Is 27 a factor of x?
False
Let h be 1/(((-3)/(-6))/((-3)/(-2))). Suppose h*f - 97 = 38. Is f a multiple of 15?
True
Let j(a) be the first derivative of 4*a + 2*a**3 - 3/2*a**2 + 1 + 1/4*a**4. Is 11 a factor of j(-6)?
True
Let u(b) = -20*b**3 + 6*b**2 + 9*b + 4. Is u(-4) a multiple of 112?
True
Suppose -2*p = -3*p + 4. Suppose 5*r = c - 80, 5*c - 1 = p*r + 483. Is 20 a factor of c?
True
Let u(s) = -s**2 + 13*s + 14. Let y = -9 - -22. Does 6 divide u(y)?
False
Let r = -543 - -879. Is r a multiple of 10?
False
Is 19 a factor of 1 + ((-2)/2)/((-5)/1055)?
False
Let u(b) = b**3 + 9*b**2 + 24*b + 22. Let m be u(-7). Let v be 90/(3 - (-2)/(-1)). Let k = m + v. Is k a multiple of 14?
True
Suppose 3*l = 7*l + 5*f - 33, 11 = -2*l + 3*f. Suppose 0 = 2*c - 2 - l. Does 13 divide c/8 + 412/16?
True
Let m be 0 + (-5)/(-5) + 205. Suppose -30 + m = 4*h. Does 5 divide h?
False
Suppose -5*t = -11*t + 360. Is 6 a factor of t?
True
Suppose 3 = 3*g, 6*r - 3*r + g - 877 = 0. Let i = r - 144. Is i a multiple of 37?
True
Suppose -8*s + 428 = -6*s. Suppose 4*m - 2*a - s = 0, -3*m - 4*a + 108 = -58. Suppose 4*i - 86 = m. Does 5 divide i?
True
Suppose 75*i + 149 = f + 79*i, -5*f = -5*i - 845. Does 16 divide f?
False
Let s(v) = -v**2 + 21*v - 26. Let k be s(10). Suppose 22*i - k = 19*i. Is i a multiple of 14?
True
Let t(b) = -3*b - 13. Let n be t(-9). Let y be (1 - 3) + -1*n. Let h = y + 31. Is h a multiple of 9?
False
Let d(t) = t**2 - 14*t - 403. Does 62 divide d(45)?
True
Suppose b - 10*x - 1111 = -9*x, -5*x = -25. Is b a multiple of 36?
True
Let t(f) = 1 - f - 6*f + 4*f. Let o be t(-1). Is 3 a factor of (-7)/3*(-7 + o)?
False
Suppose 0*p - 5*y = -2*p + 14, 4 = -2*y. Suppose -p*s + 5*s = 9. Suppose -s*b + 4*x + 86 = -0*x, 10 = -5*x. Does 7 divide b?
False
Suppose 12092 = 3*n + 4*j, -2*j = -4*n + 7700 + 8430. Is n a multiple of 63?
True
Let w be (-4)/10 + 1 - (-152)/(-20). Does 2 divide 366/24 + w + 6/8?
False
Let m = -49 + 24. Suppose 4*q = -2*g + 82, -5*g - q + 356 = 142. Let w = g + m. Does 18 divide w?
True
Suppose -4*i + u + 1193 = 0, u - 10 = 3*u. Is 38 a factor of i?
False
Let p(f) = -28*f**2 + 5*f - 3*f + 50*f**2 + 4 + 0*f. Does 17 divide p(-2)?
False
Let y(r) = 6*r**2 + 16*r - 27. Does 7 divide y(-9)?
True
Suppose 0 = -203*b + 221*b - 34344. Does 18 divide b?
True
Let r = -37 + 26. Let k = 2 + r. Does 11 divide 4/(-12) - 444/k?
False
Does 80 divide -9 + 1852 - 3/1?
True
Suppose 0 = 2*f - 3*f + 4. Suppose -3*c - 139 = 5*k + 173, -f*c + 4 = 0. Let x = 103 + k. Is x a multiple of 8?
True
Let i(z) = -5*z - 18. Let c(a) = -a**3 - 20*a**2 - 18*a + 7. Let q be c(-19). Does 14 divide i(q)?
True
Let f = -3362 - -6016. Is f a multiple of 48?
False
Let j = -351 + 339. Let d = -5 + 3. Is 3 a factor of 0 + d - (1 + j)?
True
Let h = 886 + -726. Is 98 a factor of h?
False
Let n = 5617 - 3207. Is n a multiple of 14?
False
Let z(u) = 3*u + 53. Let j = 52 + -58. Is z(j) a multiple of 7?
True
Suppose 0 = 5*h - 2*o + 29, -2*h + 3*h = 2*o - 9. Is 13 a factor of 23 - (h + 1 + 1)?
True
Suppose -6*t + t = 0. Suppose -6*h + h + 440 = t. Is h a multiple of 32?
False
Let p = -28 + 32. Suppose -310 = -p*u - 2*q, 3*q - 385 = 4*u - 9*u. Does 16 divide u?
True
Suppose t - 19 = -0*t. Let s be t/(-2)*(2 + 0). Let c = 99 + s. Is c a multiple of 25?
False
Let x(w) = -24*w**3 - 6*w**2 - 6*w - 8. Does 20 divide x(-2)?
False
Suppose 0 = 3*q + 9, 3*q - 337 = 35*x - 36*x. Does 7 divide x?
False
Suppose 12*p - 192 = -144. Suppose 4*c + 332 = 5*c. Suppose p*n = -0*n + 4*o + c, 0 = 3*n + 5*o - 225. Is n a multiple of 23?
False
Let b be -3 - (2 + (-807)/(-3) + -1). Let o = -135 - b. Is 23 a factor of o?
True
Let b(c) = -39*c**3 + 1. Let r be (-9)/(-3) - (-1 + 0). Suppose 2*m + 5 = 5*h, -2*h - 15 = r*m + 7. Does 15 divide b(h)?
False
Let k be (-3)/(-6) + (-35)/(-2). Suppose -o - 3*d = -k, o - d = 5*o - 61. Does 5 divide o?
True
Suppose 15 = 5*f, -f - 418 - 619 = -5*n. Does 11 divide n?
False
Let g(h) = 9*h**2 - 3*h - 7. Is g(-3) a multiple of 2?
False
Let j = 251 - -429. Is 6 a factor of j?
False
Suppose -3 = 2*l - 7. Let d(t) be the third derivative of 13*t**4/24 + t**3 + 7*t**2. Is 10 a factor of d(l)?
False
Let c be 14/63 - 32/(-18). Suppose -c = 2*b - 4*q, 26 = 4*b - 0*b + 2*q. Suppose -3*o = -f - 17 - 56, 3*o = b*f + 53. Is 8 a factor of o?
False
Suppose -3*w + 12 = -2*w. Suppose 12*m - 11*m - w = 0. Suppose