or of l/8 + (-12)/q?
True
Let n = -125 - -123. Is 25 a factor of (-113 + 3)/(n/5)?
True
Let q(o) = o**2 - 8*o + 17. Let y be q(3). Suppose -y*u - 2*v + 117 = -3*u, -5*u + v - 558 = 0. Let k = u + 129. Is 2 a factor of k?
True
Let y be 1/6 - 177/(-18). Suppose -7*d + y*d + 858 = 5*p, 4*p = d + 685. Does 9 divide p?
True
Let h be (12/(-14))/((-3)/84). Does 5 divide (h/(-20))/(4/(-70))?
False
Let n(c) = 23*c - 44. Let q be n(1). Let m(a) = -8*a + 2 - 10 + a - 9. Is m(q) a multiple of 9?
False
Let j = 506 - 503. Suppose 3*p - 2*d = 811, -j*d = 15*p - 20*p + 1350. Is p a multiple of 67?
False
Let u = 146 - 307. Let y = u + 187. Is 12 a factor of y?
False
Suppose -4*i = -3*c + 9761 + 180, c - 3314 = i. Is c a multiple of 39?
True
Suppose -20 = -10*h - 0. Suppose 3*o + h*c = 3692, 0 = 60*o - 63*o - 3*c + 3690. Does 44 divide o?
True
Suppose 0 = -2*p, a + a - 3*p - 8662 = 9118. Is a a multiple of 7?
True
Let s(r) = 14133*r + 1201. Is 13 a factor of s(2)?
False
Let p(l) = 12*l - 204. Suppose 6*t = -64 + 196. Is 3 a factor of p(t)?
True
Let a(u) = 4*u**2 + 4*u - 5. Let m be a(1). Suppose 8*s + m*s = 2310. Is s a multiple of 7?
True
Suppose -12 = 5*r - 11*r. Suppose 4 = r*j - 2. Suppose 52 = -j*q + 220. Does 21 divide q?
False
Let p be 1 + ((-2)/(-6) - 4/3). Let r be 1/(((-3)/(-12) - p)*2). Suppose -2*o - 32 = -3*y, y - 48 = -4*y + r*o. Does 6 divide y?
False
Suppose 0 = -2*j + 5*k + 33405, 3*k = 3*j - 17811 - 32292. Does 17 divide j?
False
Let w be ((-2715)/9 - -2)*-3. Let c be (-241)/(-1) - (2 + -7 + 7). Suppose 0 = 5*x + c - w. Does 14 divide x?
False
Suppose -4*w + 304 + 3493 = -o, w + 3*o - 933 = 0. Suppose 172 = 20*y - w. Is y a multiple of 8?
True
Does 14 divide 2*73881/54 + 1 + (-4)/3?
False
Suppose 3*x - 2*f = 7 + 19, f + 10 = x. Let d = 8 - x. Suppose 0*a + 536 = 5*y - a, -d*y + 212 = -a. Is y a multiple of 18?
True
Suppose 15 = 28*y - 23*y. Suppose y*a + a = -36. Let b(x) = 2*x**2 + 8*x - 19. Does 5 divide b(a)?
False
Let o = 444 + -22. Suppose -3*q - 166 = -2*n, -o = -2*n - 3*n + 4*q. Does 3 divide n?
False
Let j(q) = 67*q**2 + 9*q + 11. Let n(o) = 34*o**2 + 4*o + 5. Let x(b) = -3*j(b) + 7*n(b). Let h be x(-1). Let c = h + 11. Is 7 a factor of c?
True
Suppose 2*h + 3*z = 10654, -41*h + 40*h - 4*z + 5322 = 0. Is h a multiple of 130?
True
Suppose 3*x - 30 = 5*m, x + 2 = -2*m + 1. Let r be (-1 - 5198/(-10)) + 1/x. Suppose -5*j + 435 = 4*d, -r = -5*d + 2*j - 0*j. Is d a multiple of 5?
True
Let j = 54 + -33. Suppose j + 33 = 3*t. Suppose 178 - t = 5*i. Is i a multiple of 16?
True
Suppose 2907*f - 21651 = 2900*f. Is f a multiple of 70?
False
Let j(d) = d**3 - d**2 - d. Let s(x) = -2*x**3 + 11*x**2 - 16*x + 10. Let c(z) = 3*j(z) + s(z). Let n be c(-10). Suppose -9*p + 486 + 504 = n. Does 4 divide p?
False
Suppose 2*w + 54 = 54. Suppose 5*o + 912 + 88 = 2*f, w = -f + 2*o + 498. Does 35 divide f?
True
Let c = 119 + -387. Let i = c - -134. Let n = -64 - i. Does 10 divide n?
True
Let i = -169 - -145. Let v be 8/i*(0 + -327). Suppose v*u + 180 = 112*u. Is u a multiple of 60?
True
Let x(b) = 80*b**2 - 19*b - 102. Is x(6) a multiple of 111?
True
Suppose -5*v + 23 = -2*m, -8 = -5*v - 4*m + 21. Let n(c) = 7*c**3 + 10*c**2 - 9*c - 23. Is 14 a factor of n(v)?
False
Suppose -3 = -p + f, 0 = f + 3 - 5. Suppose -1 = o, -3*o = 95*q - 92*q + 444. Is (p/(9 - 4))/((-3)/q) a multiple of 7?
True
Let k(m) = -40*m + 15. Let x be k(0). Suppose 19*w - 468 = x*w. Is w a multiple of 18?
False
Suppose 4*r + 2*l = 33954, -11*l - 42448 = -5*r - 8*l. Is r a multiple of 16?
False
Let k = 49 - 32. Suppose -k*s + 16*s = -6. Suppose s*l - 70 = 2. Does 12 divide l?
True
Suppose 63 = d + 2*d - 3*b, 92 = 4*d + 4*b. Let p = d + -26. Does 11 divide (35/p)/((-8)/32)?
False
Let x be 1/(-5) + (-276)/20. Let h be -14*-4*(-1)/x. Suppose h*a - 8 = -0*a. Is 2 a factor of a?
True
Suppose 0*c - 3*g + 519 = 4*c, -g = c - 130. Let w = c - 57. Does 18 divide w?
True
Let o(w) = -w**3 - 3*w**2 + w - 3. Let l be o(-4). Suppose -4*n + n = -l. Let r(q) = -q**3 + 7*q**2 - 3*q - 3. Is r(n) a multiple of 4?
True
Suppose 12*x - 7*x = -4*m - 18, 5*x - 2*m = -6. Is 40 a factor of x/(-7) - (-6 + 56040/(-56))?
False
Let y(v) = -605*v**3 - 2*v**2 - 35*v - 66. Is 5 a factor of y(-2)?
False
Let k = 150 - 899. Let b = k - -809. Does 12 divide b?
True
Suppose -v + 8 = 3*b - 8, -v - 14 = -2*b. Suppose 5*n - 1 = g - b, -10 = 5*n - 2*g. Suppose x - 5*x = u - 114, -5*x - 2*u + 141 = n. Is 9 a factor of x?
False
Suppose -724 = -8*x + 2068. Let h = x - 191. Is 41 a factor of h?
False
Let u = 4 - 15. Is 16 a factor of (1*-7)/(u/869)?
False
Suppose 73*x = 69*x - 1676. Let i = -148 - x. Is 16 a factor of i?
False
Let x = 1015 - 601. Suppose 11*d - 6*d + 94 = b, d = 4*b - x. Is 11 a factor of b?
False
Let s(z) = -34*z**2 + 33*z - 223. Let o(d) = -19*d**2 + 16*d - 111. Let v(j) = 5*o(j) - 3*s(j). Is 7 a factor of v(7)?
False
Let l(y) = y**3 + 2*y**2 - 3*y + 2. Let j = 50 - 53. Let p be l(j). Suppose r + p*r = -q + 14, -34 = -4*q - r. Is 5 a factor of q?
False
Suppose 239854 = 19*f - 170252 - 260670. Is 13 a factor of f?
False
Suppose 19*p + 2659 = g + 16*p, -5*g + 3*p + 13355 = 0. Is g a multiple of 20?
False
Let p(a) = -279*a**3 + a**2 + a + 1. Let c be p(-1). Suppose -516 = -19*r + 22*r. Let v = r + c. Is v a multiple of 12?
True
Suppose 3*f = 6*f - 6. Let g be -348 - (4 + f + -2). Let u = -193 - g. Is u a multiple of 47?
False
Suppose -433745 = 38*v - 2892269. Does 246 divide v?
True
Suppose 0 = -3*g + 5*y + 144748, 5*g = 20*y - 17*y + 241268. Does 12 divide g?
False
Let c be (-2)/2*(1 - 1). Let p = -1197 + 1197. Is 7 a factor of (c + 56)*1 + p?
True
Suppose -5*f - 22 = -4*y + 3*y, -18 = 4*f - y. Is (42/f)/(-9*2/48) a multiple of 3?
False
Let j = -28763 - -36537. Does 26 divide j?
True
Let l be 1/(-2)*26*(-10 - -5). Let m = l + -114. Let w = 85 + m. Is w a multiple of 30?
False
Let x(n) = -16*n**3 + 12*n**2 + 32*n + 26. Is x(-8) a multiple of 18?
True
Let u(s) be the second derivative of s**5/15 - 31*s**4/24 - 31*s**3/6 - 18*s. Let j(m) be the second derivative of u(m). Is j(8) a multiple of 11?
True
Let c(d) = -146*d + 43. Is 11 a factor of c(-4)?
True
Suppose -506 = 2*q - 1882. Let x = q + -537. Is x a multiple of 7?
False
Is 23 a factor of 5792/7 + (158/7 - 22)?
True
Suppose -84*o = -2904 + 1202 - 19298. Does 78 divide o?
False
Is (1443756/(-230) - 20)/((-2)/5) a multiple of 13?
True
Let m be 50/13 - ((-96)/104)/6. Let c = m - -116. Does 40 divide c?
True
Suppose -227*a - 420280 = -255*a. Does 10 divide a?
True
Suppose 3*i + 360 = -5*b, -12 + 17 = -i. Let v = 111 + b. Is 6 a factor of v?
True
Let t = 862 + 185. Let c = t + -559. Is c a multiple of 115?
False
Let h = 678 - 1219. Let t = 553 + h. Is t a multiple of 3?
True
Let a(l) = l**3 - 2*l**2 + l - 30. Let j be a(5). Is ((-126)/35)/((-4)/j) a multiple of 15?
True
Suppose -k - k = -120. Let x = -58 + k. Suppose -x*t + 7 = -109. Does 9 divide t?
False
Suppose 110 = 28*w - 33*w. Let d = w - -1081. Is 9 a factor of d?
False
Is (-446 + (20 - 5))/((-1)/7) a multiple of 38?
False
Let y(a) = -a**2 + 17*a - 22. Let m(s) = -s**2 - s + 1. Let z(w) = -3*w**2 - 6*w + 2. Let g(o) = 2*m(o) - z(o). Let i be g(2). Is y(i) a multiple of 9?
False
Suppose b + 3*b = -4*x - 212, -4*x = -2*b + 206. Is 13 a factor of x/((-6)/204*4)?
True
Let d(i) = -i + 3. Let f be d(2). Let u be (-824)/24 - f/(-3). Let k = u - -151. Is 9 a factor of k?
True
Does 73 divide (23 - 6/3)*(2056/12 + -1)?
True
Let b(o) be the second derivative of o**5/20 - 7*o**4/6 + 3*o**3/2 - 18*o**2 + 30*o. Does 6 divide b(14)?
True
Let v = -80 + 85. Is 923/3 + ((-32)/(-6) - v) a multiple of 4?
True
Suppose 11291 = 10*w + 241. Does 17 divide w?
True
Suppose -5*l - 2 = -h - 10, -4*h - 2 = -5*l. Suppose -3*w + l*w + 4 = 0, 0 = 3*q - w - 2. Suppose 5*g - 308 = 2*k, -k = 4*g - q*g - 116. Is 30 a factor of g?
True
Let p(v) = -47*v + 1342. Is p(-120) a multiple of 7?
False
Is (-10 + 21)*-18*12/(-2) a multiple of 22?
True
Let r(q) = q**2 - 13*q + 14. Let t be r(11). Let u(b) = -b**3 - 9*b**2 - 7*b - 2. Let h be u(t). Let w = 54 - h. Is 11 a factor of w?
False
Suppose -10*k + s = -9*k - 17, -k = -5*s - 21. Is k a multiple of 2?
True
Suppose 4*u = -5*r - 2, -5*u - 7*r + 3*r - 7 = 0. Is (-2)/u - (-5574)/9 a multiple of 23?
False
Supp