False
Let i = -55 + 136. Suppose 195 = 2*s - i. Is 4 a factor of s?
False
Let m = -43 + 41. Let w be (0/m)/(-2) + 0. Suppose -4*t = 3*s - 152, w = -t - 2*t - 3*s + 117. Is t a multiple of 7?
True
Let l(z) = -2*z**3 + 32*z**2 - 3*z + 50. Let a be l(16). Suppose -w + 4*w = -2*j + 2663, -a*w = 4*j - 1786. Does 10 divide w?
False
Let v(y) = -894*y**3 + 92*y**2 + 188*y. Does 24 divide v(-2)?
False
Let b be (31/2)/(5/250). Let d = -487 + b. Does 18 divide d?
True
Let h be 106/159 + 3*46/9. Suppose -1885 = -3*k + 2*s, -k + h*s = 12*s - 635. Is k a multiple of 9?
False
Suppose 4*b - 38088 = 2*s, 0 = -3*b - 1418*s + 1417*s + 28581. Does 127 divide b?
True
Let k(t) = 251*t - 1832. Is k(14) a multiple of 30?
False
Suppose 0 = 2*q - 4*t - 42264, -28074 + 91505 = 3*q - t. Does 13 divide q?
False
Let p be -458 - (-5 + -2 + 1). Let h = p + 859. Is h a multiple of 13?
False
Suppose 5*u = 236*m - 240*m + 80941, -2*u = -2*m - 32362. Is u a multiple of 339?
False
Let s = -12510 + 21744. Is 54 a factor of s?
True
Let z = 2264 + -81. Does 25 divide z?
False
Suppose -i + 4*j + 3579 = 0, 1787 = -5*j + 1802. Does 19 divide i?
True
Let d(m) = -277*m + 1493. Does 22 divide d(-6)?
False
Suppose 5*m + 5*h + 6 - 1 = 0, 2*m + 14 = 4*h. Let q be 22*(m - 34/(-4)). Suppose 0 = -2*t - 4*l + 66, 3*t - 3*l - q = 2*l. Is t a multiple of 8?
False
Suppose 0*y = -3*y + 2*d - 4, 4*y - 2*d + 2 = 0. Suppose y*m - 14 = -5*m. Suppose 0 = 3*f - 5*j - 409, -m*f + 0*f = -3*j - 271. Is f a multiple of 16?
True
Let f(w) = w**3 + w**2 + 6. Let h be f(0). Let g be h/(-9) - 1064/(-21). Let m = -38 + g. Is m a multiple of 5?
False
Let u(c) = -108*c. Let q be (-15)/(-20)*(4 - 0). Suppose -3*z - q*p = 9, 4*p - 1 = -5*z - 14. Is 9 a factor of u(z)?
True
Suppose 480*s - 253142 = 388*s + 33898. Does 156 divide s?
True
Let v(z) = 23*z**2 + 69*z + 56. Does 9 divide v(-11)?
False
Let t = 2882 - 2126. Is 7 a factor of t?
True
Let d = -33 + 46. Suppose 7 = 5*c - 3. Suppose -o + c*j = -106, -2 = 3*j + d. Is 16 a factor of o?
True
Suppose -3*d - 3 = 2*m, 5*m + 2*d + 2 = -0*d. Suppose -g = -3*w - 37, -g = -2*w - 32 - m. Let r = 50 + g. Is 18 a factor of r?
True
Suppose 409 = -5*j + 49. Does 13 divide (-585)/6*j/20?
True
Let s be ((-2)/((-24)/(-54)))/(6/(-8)). Is s*(-6818)/(-63)*3 a multiple of 71?
False
Let z = -8653 - -121. Does 11 divide ((-2)/3)/(6/z*3)?
False
Let f = -1444 - -2740. Is 43 a factor of f?
False
Let j = 328 - 294. Let g = j - 29. Is g a multiple of 3?
False
Let o = 27531 + -2755. Is o a multiple of 76?
True
Is 84 a factor of ((-9)/15)/(10 + 103804/(-10380)) - 8?
False
Let g = -5846 - -12538. Does 7 divide g?
True
Suppose -12 = -3*j, -3*k - 1188 - 932 = -5*j. Let f = 177 - k. Suppose -115 = -8*h + f. Is h a multiple of 28?
False
Let h = -1173 - -232. Let u = -875 - h. Is 11 a factor of u?
True
Let j(v) = -v**2 - 28*v - 116. Let h be j(-7). Let b(a) = 16*a - 46. Is 30 a factor of b(h)?
True
Suppose 5*q + 2*a = 840, 4*q - 370*a - 700 = -366*a. Is 17 a factor of q?
True
Suppose 93 + 5 = 7*g. Is 19 a factor of (-7)/(-2)*76/g?
True
Suppose 41 = 3*a + c - 13, -3*c = 2*a - 43. Let i(z) = -45 - 51 - a*z + 92. Is i(-4) a multiple of 20?
False
Suppose -i - 4 = -6. Suppose 24*r + i = 22*r. Is 33 a factor of 1*r + 14 + 119?
True
Let i(r) = -r**2 - 101*r + 134. Is 72 a factor of i(-46)?
True
Let u(a) = -3*a**2 - 4*a + 1. Let l be u(-1). Let s be 0*1/l*-1. Suppose 6*j - 10 - 116 = s. Is j a multiple of 3?
True
Let x be ((-14)/(-3))/((-36)/(-54)). Suppose u = 5*i - 2535, -3*i = -4*u + x*u - 1539. Does 48 divide i?
False
Let x = 28 - -7. Suppose 65 = -5*p + 5*r, 30 - 47 = -p - 5*r. Let k = x - p. Does 31 divide k?
False
Suppose 11*v + 48 + 7 = 0. Is (v/5 + -4)*-5 a multiple of 25?
True
Suppose 0 = -3*l + y, -l - 11 = 3*l - 5*y. Does 53 divide l/(-1) - (-2920)/5?
True
Let m = -32609 + 55851. Does 15 divide m?
False
Let h(o) = -o**3 + 8*o**2 + 154*o - 51. Is 144 a factor of h(-21)?
True
Let s(q) = -11*q**3 + q**2 + q - 1. Let r be s(1). Let x be 1*r/(2 - 7). Let g(v) = 12*v**2 - v + 1. Does 6 divide g(x)?
False
Is (0 - -20)*((-1967)/(-21) + (-85)/51) a multiple of 46?
True
Let l be -14*(4/7)/(6/(-9)). Suppose 0 = -5*j - 5*n + 1780, -5*j + l*n - 11*n = -1804. Is j a multiple of 9?
True
Let l(a) = 29*a + 564. Is 15 a factor of l(-6)?
True
Suppose 0*f = f + 5*f. Suppose f = -55*r + 44*r + 748. Is 4 a factor of r?
True
Is ((-7972680)/4205)/((-2)/4 + 1/(-6)) a multiple of 3?
True
Let k(u) = -178*u - 8. Let n be k(-8). Suppose -9*c + 229 = -3335. Suppose 12*z + c - n = 0. Is 17 a factor of z?
True
Let u(o) = -o**2 + 2*o + 31. Let n(d) = -d**2 + 3*d + 32. Let l(i) = -4*n(i) + 5*u(i). Let p be l(-9). Let m = p + 66. Is 5 a factor of m?
True
Let y be 4/(-7) - (-8)/14. Suppose -q - 3 = -y. Does 18 divide (-55)/q + (15/(-3))/15?
True
Let c = -169 - -169. Suppose 50*d + 4470 - 12670 = c. Is d a multiple of 7?
False
Let g(w) = w**3 + 18*w**2 + 2*w + 6. Let q be ((-55 + 1)/(-3))/(-1 - 1). Does 31 divide g(q)?
False
Suppose 0 = -6*h + 31*h + 5300. Let f = 592 + h. Is 19 a factor of f?
True
Is 11 a factor of 2 - 2550/(-4) - (-13)/((-78)/9)?
True
Let b = -713 + 716. Suppose h - 103 = 4*o - 9*o, -389 = -b*h + 5*o. Does 14 divide h?
False
Let j be (-2)/(16/10) - 950/(-152). Suppose -u = -3*c + j*c - 56, 4*u - 224 = -c. Is 7 a factor of u?
True
Let o be (1 - 77)*4/(-8). Suppose 0 = r + 80 - 312. Suppose -r = -2*y + o. Does 27 divide y?
True
Let y be ((-48)/52)/6 + 10/65. Suppose 11*a - 13*a + 1034 = y. Is a a multiple of 47?
True
Suppose -5*p - 4 = 21. Let l(b) = -293*b - 376. Is l(p) a multiple of 19?
False
Let h(y) = y**2 - 8*y - 5. Let x be h(9). Suppose -5*k - c - x*c + 270 = 0, -4*k + 217 = 3*c. Let b = k + 73. Is b a multiple of 18?
False
Let j(k) = 64*k + 437. Does 36 divide j(-3)?
False
Suppose -104325 = -t + 30*t - 427037. Is t a multiple of 47?
False
Let y = -127 + 157. Suppose 0 = -4*g + 2*z + y, -4*g = g - 3*z - 39. Suppose -3*f = -g*f + 129. Is f a multiple of 4?
False
Let g(d) = -66*d - 2855. Does 39 divide g(-101)?
False
Let u(t) = -10*t**2 - 2*t + 131. Let w be u(13). Let z = w + 2861. Is z a multiple of 44?
True
Suppose 2*x + f + 24 = 0, 3*x + 7*f = 2*f - 29. Let d(u) = -u**2 - 15*u - 17. Let t be d(x). Suppose t*w + 63 = 10*w. Does 20 divide w?
False
Let z = 47085 + -32595. Is 119 a factor of z?
False
Let s(a) = -a**3 + 16*a**2 - 60*a + 4. Let i be s(10). Suppose 0 = -i*p + 10*c - 11*c + 1140, 2*p = 2*c + 570. Is p a multiple of 19?
True
Let z(t) = t**3 - 35*t**2 - 11*t - 85. Let r be z(36). Let i = r - 492. Is i a multiple of 8?
False
Suppose w - 2 + 62 = -2*t, 4*t = -4*w - 256. Suppose -3*m - 119 + 120 = 2*c, 3*c = -m - 2. Let r = m - w. Is r a multiple of 33?
False
Suppose 0 = 22*a - 18*a - 8. Let x(u) = 6*u**2 - 11*u + 15. Let d(w) = 3*w**2 - 6*w + 8. Let b(f) = -11*d(f) + 6*x(f). Does 7 divide b(a)?
True
Suppose -5*v - 3*f - 193 = -0*v, -4*f - 66 = 2*v. Let x(m) = 17*m - 134. Let b be x(10). Let w = b - v. Is w a multiple of 11?
True
Let u be 0 + 8/4 - -3. Suppose u*d + 43 + 27 = 0. Is (d/1 + 2)/(16/(-24)) a multiple of 2?
True
Let y(n) be the first derivative of -n**4/2 - 5*n**3 - n**2/2 + 2*n + 24. Let t be y(-8). Suppose 2*v = 7*g - 2*g + t, -48 = -v - 3*g. Does 7 divide v?
True
Let g(x) = x**3 - 30*x**2 + 29*x - 4. Let p be g(29). Let o be -3*(p - -2)/6*4. Suppose -n = -4*r - r - 146, 5*n = -o*r + 788. Does 39 divide n?
True
Let s(u) = u**3 - 3*u**2 + u. Let g be s(4). Suppose -6 = 2*m, 3*m + g = -i - 19. Is ((-594)/i)/((-1)/(-5)) a multiple of 33?
True
Let f(n) be the second derivative of n**5/20 - 17*n**4/12 + 19*n**3/6 + 11*n**2/2 - 2*n - 7. Let j be (80/(-25))/(1/(-5)). Does 28 divide f(j)?
False
Let l(x) = 438*x**2 - 268*x - 90. Is 105 a factor of l(-9)?
True
Let g = 4445 - 845. Is 12 a factor of g?
True
Suppose 0 = 5*p - 0*a - a - 24, 4*p + 5*a = 25. Suppose -2*v - 3*d = -2*d + 7, 3*v + 3*d + 18 = 0. Is (p - 24/(-6))/(v/(-13)) a multiple of 39?
True
Suppose 96*r = 45*r + 461040. Does 16 divide r?
True
Let c = -140 + 129. Let h(x) = -x**2 - 7*x + 48. Does 2 divide h(c)?
True
Suppose -5171*d - 12096 = -5177*d. Is 21 a factor of d?
True
Does 10 divide (-20)/((4/(64/12))/(-13 - 650))?
True
Let y(f) = f**2 - 14*f + 43. Let s be y(4). Suppose -5*q - 4*d + 520 = -q, 0 = -2*q + s*d + 260. Is 12 a fact