- z - 218, -5*g + h = z. Suppose -t = -2*t + g. Is 24 a factor of t?
True
Does 76 divide (-2)/((-110)/81169) + 1/5?
False
Let u = -42 - 178. Let p = u + 148. Let j = p - -235. Is 11 a factor of j?
False
Let m(z) = z**3 + 23*z**2 + 36*z - 21. Let w be m(-21). Let r = 11 + w. Does 29 divide r?
True
Let z(r) = 20*r - 114. Let f be z(6). Is (-100)/f*2/((-70)/441) a multiple of 5?
True
Let o = 4210 - 3011. Is 11 a factor of o?
True
Suppose -20 = -3*k - k. Let f be 7 + -12 + -1 + k. Is 75 - f*0/4 a multiple of 11?
False
Let u(a) = -2*a**3 + 35*a**2 - 16*a - 19. Let g be u(17). Let m be (g + 0 + 1)*(-7 - -2). Suppose 3*c = 3*j - 60, m*j - 3*j - 25 = 5*c. Is j a multiple of 10?
False
Suppose 27 = -3*o - 3*c, 3*o - 4*c - 9 = 4*o. Let v be (o/(-12))/(3/(-372)). Let q = -57 - v. Is 9 a factor of q?
True
Let d(f) = -f**2 - 3*f - 4. Suppose 5*p - 5*x = 25, -6 + 1 = 3*p + x. Let i be d(p). Is (i + (-6)/(-4))*-50 a multiple of 14?
False
Let h = 4475 - 1691. Does 116 divide h?
True
Suppose -6*l - 252724 = -34*l - 13*l. Is 46 a factor of l?
True
Let y = 61 - 52. Suppose -938 = -y*r + 2131. Does 31 divide r?
True
Let c be (-22 - -17)/((-1)/(-1 + 40)). Suppose -c*h = -204*h + 1197. Is h a multiple of 40?
False
Let y(h) = -h**2 + 9*h + 17. Let t be y(14). Let f = 3 + t. Let r = f + 71. Does 21 divide r?
True
Let c = -76 - -79. Let y(x) = x + 3. Let r be y(c). Is 47 a factor of (-4675)/(-33) - ((-4)/r)/(-1)?
True
Let b(r) = 75*r - 72. Let f(y) = -25*y + 24. Let z(n) = -4*b(n) - 11*f(n). Let m be z(9). Let c = 366 + m. Does 33 divide c?
True
Let j(a) = a + 21. Suppose 0 = 3*y - 10 - 20. Suppose z - y*z = -54. Does 9 divide j(z)?
True
Suppose 5*x + 5*y - 45 = 0, -x - 9 - 6 = -5*y. Suppose 4*u + 2*l = 4, 3*u = x*u + 2*l - 4. Suppose 4*o - 138 - 42 = u. Is 22 a factor of o?
False
Is 110 a factor of (9840/84)/(-1)*(-44 - -9)?
False
Let v(w) = 205*w - 927. Is v(33) a multiple of 7?
True
Suppose 4*u = -2*w - 272, u + 3*w = 2*w - 67. Let h = u - -80. Let x(v) = v**3 - 8*v**2 - 29*v + 19. Is 10 a factor of x(h)?
False
Suppose -897 = g - 8723. Is g a multiple of 65?
False
Let j(p) = -11*p - 34. Let g be j(-3). Is 16 a factor of ((-64)/(-12))/(7*g/(-504))?
True
Let n(r) = r**3 + 16*r**2 - 207. Is 37 a factor of n(-14)?
True
Suppose -22 = -2*t - 22. Let d = 191 - t. Does 31 divide d?
False
Let s(m) = -m**2 + 7*m - 21. Let w be s(9). Let c = w - -30. Is 2 a factor of (-416)/(-72) + (-2)/c?
True
Let m be ((-330)/(-12) - 7)/((-3)/54). Let y = 321 - m. Does 30 divide y?
True
Let j(k) = k**3 - 5*k**2 + k. Let z be j(5). Suppose -b - 280 = -z*n, 4*n + 5*b - 253 = -0*b. Let d = 95 - n. Is d a multiple of 19?
True
Let t(x) = 2238*x**2 + 7*x - 1. Is t(1) a multiple of 11?
True
Suppose c + 4*p = -184, -5*c - 5*p + p - 856 = 0. Let o(x) = 23*x + 661. Let a be o(-17). Let t = a + c. Does 21 divide t?
False
Let s(v) = -13*v**2 + 42*v + 16. Let c be s(9). Let x = c + 974. Is 5 a factor of x?
True
Let d(x) = 1613*x**2 + 215*x + 70. Does 45 divide d(-5)?
False
Let i(b) = b**2 - 1. Let z be i(7). Let p be (27/4)/9 + (-1716)/(-16). Let s = p - z. Is 8 a factor of s?
False
Let g(o) be the third derivative of -7*o**6/60 - o**5/15 + 3*o**4/8 + 35*o**3/6 - 151*o**2. Is 21 a factor of g(-4)?
False
Let q = -26 - -32. Let w(f) = -q*f - 11 + 5*f - 13*f**2 - f - f**3. Does 15 divide w(-13)?
True
Suppose -9 = d + 3*a, 2*d + 15 = -3*d - 5*a. Suppose d = 5*y - 5*j - 59 - 41, j = -5*y + 94. Is y even?
False
Suppose 4*r + 712 = -48. Let k = r + 101. Let l = -53 - k. Is l a multiple of 18?
True
Let w(z) = 74*z - 301. Let q = 34 + -8. Does 64 divide w(q)?
False
Let v(h) = 8*h**3 + 7*h**2 - 42*h + 172. Does 8 divide v(7)?
False
Let v be (-1928)/(-80) - 1/10. Is 3 a factor of v*3/2*5/4?
True
Let o = -269 + 274. Suppose o*u - 4*i - 944 = u, -3*u + 5*i + 700 = 0. Is 19 a factor of u?
False
Does 31 divide (-15)/(-10) + (-431)/(-2) - 2?
False
Suppose 48*s = 43*s + 160. Suppose 0 = -2*w + 10*w - s. Suppose 3*t = w*h + 88, 2*h = 3*t - 3*h - 92. Does 12 divide t?
True
Is 7/((-35)/15)*-3194*5/2 a multiple of 27?
False
Let g be (-3 + (-48)/(-18))*18. Let n(f) = -f**3 - 4*f**2 + 7. Is n(g) a multiple of 5?
False
Let z(b) be the second derivative of b**5/60 - b**4/12 + 23*b**3 - 5*b**2/2 + 5*b. Let c(o) be the first derivative of z(o). Is 29 a factor of c(0)?
False
Let s = 267 + -265. Does 91 divide -5*4/(-8)*244/s?
False
Suppose z = 2*z - 2. Suppose -3*j = z*v - j, 2*j + 12 = -5*v. Is 2 a factor of v - (-7 - (-1 + 0))?
True
Let r(q) = -511*q**3 + q**2 + 5*q + 1. Let a be r(-1). Let j = a + -326. Does 16 divide j?
False
Suppose -43*p - 34*p = -277893. Is p a multiple of 140?
False
Let b(l) = -l**3 + 15*l**2 + 2*l - 13. Let f be b(15). Suppose -2*t + 11 = k, -4*k + 2*t + f = t. Does 37 divide 549/15 - (-2)/k?
True
Let q(v) = 177*v**2 + 63*v + 168. Is 125 a factor of q(8)?
True
Suppose 148*d = 1460450 + 133362. Does 22 divide d?
False
Let f(j) = 323*j**2 - 2*j + 2. Let i be 1/2*(-3 - (12 + -17)). Is 17 a factor of f(i)?
True
Let u(v) = -4*v**3 - 3*v**2 - 5*v. Suppose -5*o + 28 + 7 = 0. Suppose s - 3*w = 1, -5*s - 3*w - o = 6. Does 14 divide u(s)?
False
Let j(d) = d**3 - 11*d**2 + 19*d - 7. Let w be j(9). Suppose w*s - 618 = -f - f, 3*f - 930 = -4*s. Does 6 divide f?
True
Suppose 6*q - 2 = 34. Let u(a) = -q*a + 14 - 17*a + 5*a + a. Is 17 a factor of u(-2)?
False
Suppose 8*h - 204 = 4020. Suppose -8*a = -h - 768. Is 54 a factor of a?
True
Suppose 4239 + 7468 = -23*f. Let a = f + 1151. Is 8 a factor of a?
False
Suppose 0 = 303*g - 294*g + 14787. Let a = g + 2301. Does 26 divide a?
False
Let w be (14 + 2)*2/8. Suppose 197 = t + w*j, -2*t - 4*j + 100 = -286. Is t a multiple of 27?
True
Let w be (((-7)/(-14))/((-2)/24))/2. Let o(f) = -11*f**3 - f**2 + 1. Does 30 divide o(w)?
False
Let v be ((-15)/(-9))/(2/12*2). Suppose 3*s + 2 = -v*r + 16, 4*r = 16. Does 23 divide ((-330)/77)/(s - (-26)/14)?
False
Let m = 9 - 9. Let p(j) = -14 - 2*j + m - 1. Is 5 a factor of p(-19)?
False
Let i = -446 - -5107. Suppose 15*m + 1286 = i. Is m a multiple of 36?
False
Let p = 20711 - 19984. Does 9 divide p?
False
Suppose 0 = -14*k + 7*k + 14539. Suppose -5*d + k = -363. Is 64 a factor of d?
False
Suppose -127*i + 1842974 - 934660 = -986780. Is 9 a factor of i?
True
Let d be ((-78)/(-52))/((-6)/(-8)). Let z(g) = g + 2*g**d - 5*g - g**2 + 33 + 12*g. Is 4 a factor of z(-7)?
False
Let r = 44 + -32. Let p(s) = -2*s**2 + 29*s - 16. Let n be p(r). Suppose -n = -6*o + 2*o. Is o even?
False
Suppose q - 9 = -2*h, -q + 2*h = h. Suppose q*p = -2*d + 403, -17*p + 13*p = 5*d - 1004. Does 50 divide d?
True
Let b(h) = 2*h**2 - 2*h - 2. Let y be b(2). Let q = 357 + -100. Suppose 0 = c + 2*c - x - q, 0 = -y*x - 4. Is 17 a factor of c?
True
Let j(x) = x**2 - 2*x + 3. Let q be j(4). Let f(t) = 30*t - 6. Is f(q) a multiple of 6?
True
Let z be 14/4 - (63/14 + -5). Suppose -z*n + 2*h + 852 = 0, -54 = -4*n + 3*h + 794. Is 14 a factor of n?
False
Suppose -698*y + 712*y - 35057 - 34201 = 0. Is y a multiple of 29?
False
Let c(u) = 63*u + 1060. Is c(-11) a multiple of 3?
False
Let i(k) = 52*k**2 - 26*k - 12. Is i(-6) a multiple of 21?
True
Suppose 0 = -4*q - 2*l - 0*l + 8, q = -3*l + 12. Suppose 5*k - 45 = -q. Suppose k*h + 336 - 1101 = 0. Does 17 divide h?
True
Suppose -3*u = -40 + 31. Let a be u*1 + 396/11. Let b = a - -28. Is 5 a factor of b?
False
Let l = 994 + -983. Suppose -13*s = -l*s - 1404. Is s a multiple of 9?
True
Let j(f) = f**3 - 6*f**2 - 15*f - 4. Let b be j(8). Let q be -3 - ((-8)/b + (-4 - -1)). Suppose -q*t + 22 = -38. Is 5 a factor of t?
True
Let r(d) = -d**3 + 3*d**2 - d. Suppose -42*n + 2 = -41*n. Let h be r(n). Suppose -4*g + 252 = 4*x, 2*x + 63 = 3*g - h*g. Is 9 a factor of g?
True
Suppose 0 = -390*w + 346*w - 52858 + 180722. Is 45 a factor of w?
False
Suppose -7*o + 2*o - 10 = 0. Let r be (o/2)/(4/(-32)). Is 5 a factor of ((-4)/(-4) - -11)*20/r?
True
Suppose 5673 = -9*z + 1083. Let p = z - -768. Is p a multiple of 18?
False
Let z(n) be the second derivative of -31*n**5/20 - n**4/12 - 3*n**3/2 - 3*n**2/2 + 16*n. Let k be z(-3). Suppose -1066 - k = -7*d. Is 46 a factor of d?
False
Let c be (2340/(-35))/(28/294). Let a = c - -1020. Does 8 divide a?
False
Let q be (20/4)/1 - 2. Suppose -105 = q*k + 195. Is 2 a factor of (38/(-8))/(25/k)?
False
Suppose o