-241*q - 1972. Is 113 a factor of n(-26)?
True
Suppose -6*g - 2*n = -5*g + 97, 0 = -2*g + 2*n - 170. Let u = -6 - g. Is 24 a factor of u?
False
Suppose 22*q - 892332 = -7*q - 19490. Is q a multiple of 101?
True
Suppose 7*p = 332 + 158. Let i = p + -32. Suppose 2*t - 12 = i. Is 10 a factor of t?
False
Suppose 4*m = 2*m - 84. Let y = 42 + m. Suppose -5*o + 32 + 148 = y. Is 18 a factor of o?
True
Let f = 18 - 15. Let h = 0 - f. Does 2 divide ((-9)/h - 2)/((-1)/(-10))?
True
Does 7 divide 115880/35 + 17/119?
True
Let l(b) = -b**2 - b + 4. Suppose -12*d = -9*d + 12. Let u be l(d). Does 20 divide 120 - (-4)/(u/6)?
False
Is 28 a factor of (1386/12)/((-66)/(-704))?
True
Let p(z) = -1757*z + 296. Is p(-4) a multiple of 9?
False
Let d be (80/(-48))/((-1)/3). Does 39 divide (2 - d) + 34068/17?
False
Let x = 695 + -677. Let w(q) = 3*q**2 - 5*q + 238. Is 20 a factor of w(x)?
True
Let z = 374 - -371. Suppose -5*h = -5*o - h + 920, -4*o + z = -5*h. Is 20 a factor of o?
True
Let z be 2/(-5) + 28971/15. Is z/8 - (65/(-40) + 2) a multiple of 7?
False
Suppose -100 = 3*x - 13*x. Suppose 0 = -4*n - x*n + 2156. Let i = 346 - n. Does 11 divide i?
False
Let a(q) = 23*q**3 - 19*q**2 - 24*q + 16. Let h(s) = -8*s**3 + 7*s**2 + 8*s - 5. Let k(l) = -6*a(l) - 17*h(l). Is 45 a factor of k(-8)?
False
Suppose 0 = -z - 6*z + 35. Suppose -z*a - 5 - 11 = -2*s, -s + 8 = -4*a. Suppose -d = -s*d + 336. Does 6 divide d?
True
Let l = 36 - 33. Suppose 0 = -w + l*s + 75, 2*w + 6*s - 183 = s. Suppose -11*d = -4*d - w. Is 2 a factor of d?
True
Let i be 2/4 + 50/20. Suppose 3 = i*m - 9. Suppose -2*p + t = -84, -4*p - m*t = -3*p - 42. Is p a multiple of 4?
False
Suppose -5*n + 0*t = 2*t - 269, -3*t = 5*n - 266. Suppose 0 = -2*u - 3*z + 263, 52*u + 3*z = n*u - 357. Does 29 divide u?
False
Suppose -227*m = -74*m - 1533060. Is m a multiple of 20?
True
Let p = 693 - 127. Suppose 2*h - 341 = 3*t - 133, 5*h - p = -4*t. Is h a multiple of 6?
False
Suppose -233*j + 16*j = 161*j - 2276316. Is j a multiple of 119?
False
Let l be (-1*(0 - -1))/((-5)/35). Suppose 14*s = l*s + 427. Does 6 divide s?
False
Is 24 a factor of (-30 + -6)/(69/(-6026))?
True
Suppose -12*f + 50 = -17*f. Let a be (129 - -1)*(15/f + 3). Let t = a - 75. Does 40 divide t?
True
Let z = -173 - -158. Let h = z - -172. Is h a multiple of 34?
False
Suppose 38*k = 39*k + 2. Let p(c) = -95*c - 22. Does 7 divide p(k)?
True
Let y be -2*(1 + 3) + 13. Suppose -229 = -y*v - d, -13*v + 18*v - d = 231. Is v a multiple of 23?
True
Let x be (-11)/33 + (-19)/(-3). Suppose -44 = -5*t + 3*i, 5*i - 16 = -x. Suppose t*v = 4*v + 102. Is v a multiple of 5?
False
Suppose 523*z = 515*z. Let q(h) = -6*h**2 - 2*h + 228. Is 6 a factor of q(z)?
True
Let i(x) = 2*x**2 - 12*x - 1. Suppose 6*d - 2*d = 12. Suppose -4*n + 32 = 4*m, -4*n + d = 2*m - 15. Does 13 divide i(m)?
True
Let k = -3880 + 5519. Does 2 divide k?
False
Let a = -93 + 107. Does 12 divide ((-180)/a - 0)*(-48 + 20)?
True
Let s be (-1 - 24/(-32))*-32. Does 35 divide ((-1470)/s)/(26/32 + -1)?
True
Does 111 divide (-199)/6*(-110)/11 + (-12)/(-9)?
True
Let i = -46 - 44. Let x = i + 95. Suppose 0*o = 2*o + 5*y - 222, 0 = x*o + 4*y - 572. Is o a multiple of 29?
True
Let z = -47 + 221. Let f be 1/(-3) - (-6 - (-22512)/(-36)). Suppose z + f = 5*k. Is k a multiple of 19?
False
Let u = 35135 - -12975. Does 17 divide u?
True
Let i(y) = 5 - 1 + y - 10*y + 6*y. Let k be i(16). Is 1*(-1)/(-3)*0 - k a multiple of 27?
False
Let n(g) = 9*g**2 + 45*g - 1806. Does 13 divide n(30)?
True
Suppose 3*i = -4*b + 7557, 2*i + 34*b - 38*b = 4998. Is 40 a factor of i?
False
Suppose 346*d = 689*d - 341*d - 13140. Is d a multiple of 82?
False
Let g = 9567 - 225. Does 9 divide g?
True
Let v(c) = 297*c**2 + 102*c - 1320. Is 14 a factor of v(12)?
True
Let o(x) = -510*x + 120. Is 15 a factor of o(-6)?
True
Let f = 47 + -13. Suppose 14*x - 15*x = -f. Suppose -3*g + 3*w + 65 = -x, -g - 4*w = -8. Is g a multiple of 14?
True
Suppose -8*c = 135 - 23. Let p(z) = -4*z - 33. Let l be p(c). Suppose -5*g + 97 = -l. Is 17 a factor of g?
False
Let d be (-6)/9 - (-70)/6. Suppose 5*t - d = -6. Let z(h) = 80*h - 1. Is 13 a factor of z(t)?
False
Let m(f) = -423*f + 347. Does 5 divide m(-25)?
False
Suppose -66 = -l + 46. Let x be 4*6/(-216)*-27. Suppose -3*j - 249 = -x*s, s - 3*j - l = -27. Is s a multiple of 12?
False
Suppose -226 + 10 = -8*z. Suppose 0 = -z*m + 46*m - 12236. Is m a multiple of 28?
True
Let a(i) = -1085*i - 177. Is a(-6) a multiple of 38?
False
Let t = -2369 - -4089. Suppose -3*l + t = 4*g, 5*l - 4*l = -2*g + 574. Does 26 divide l?
True
Suppose -1554 = -4*b - 3*u, -3*b + 4*u - 1943 = -8*b. Suppose -5*f - 629 = 3*t - t, -b = 3*f - 2*t. Let y = 243 + f. Does 29 divide y?
True
Let w(a) = 7*a + 4 - 2*a + 0*a - 4*a. Let i be w(-11). Let x(s) = -19*s - 1. Is 22 a factor of x(i)?
True
Let m(k) be the first derivative of 20*k**2 - 207*k + 98. Is m(8) even?
False
Suppose 0 = -5*q + 5*z + 4525, -144 = 4*q + 5*z - 3755. Suppose 7*a = 5*a + 3*r + q, -3*r = -5*a + 2269. Does 7 divide a?
True
Suppose -12*l - 91 = -31. Is 67 a factor of -67*2/l*(47 - 12)?
True
Let n(s) = 89*s**2 + 2443*s + 1 - 2440*s + 1. Is n(-1) a multiple of 9?
False
Let d be ((-8)/(-7))/(90/63)*490. Let z = 447 - d. Does 7 divide z?
False
Let o be (-12)/9*(-12)/(-8). Let b be ((-157)/o)/(76/(-24) + 3). Let m = -262 - b. Does 19 divide m?
True
Suppose 1695*q - 1698*q = u - 124848, 5*q - 208080 = -4*u. Is q a multiple of 144?
True
Is ((-100)/1150*23)/(53702/(-26850) - -2) a multiple of 15?
True
Let b = -1578 - -4595. Does 155 divide b?
False
Suppose -t = -2*n - 177, -2*n = -4*n + 10. Suppose -3*q - 144 - t = -2*p, 4*p + 2*q = 638. Does 31 divide p?
False
Let v = 152 - 145. Suppose v*z + 1035 = 12*z. Is z a multiple of 10?
False
Suppose -4668 = 3*i + 3*h, -1426 = -2*i + h - 4532. Let p = i + 2578. Is 16 a factor of p?
True
Let k(x) be the third derivative of -x**6/180 + 19*x**5/120 - 3*x**4/8 - 25*x**2. Let a(c) be the second derivative of k(c). Does 5 divide a(-9)?
True
Let k(y) = 13*y**2 - 7*y + 36. Let g(w) = -50*w + 393. Let h be g(8). Is 18 a factor of k(h)?
False
Let m(i) = -9*i + 2*i**2 - 9*i + 5*i**2 - 8*i**2. Let c be m(-19). Is c/((-21)/5 - -4) a multiple of 19?
True
Suppose -5*h + w = -3256, -3*w = 5*h - 2768 - 484. Does 5 divide h?
False
Let u = -39 - -43. Suppose -u*c = -13*c. Suppose 3*h + c*h = 132. Is h a multiple of 11?
True
Suppose -5*a + p + 3 = -8, -4*p = 5*a - 6. Suppose -3*j = 4*b - 7, 2*b - 22 = -5*j - 1. Suppose -a*k = w - 38, -j*w + 100 = 6*k - k. Does 6 divide k?
True
Let p(w) = -2*w**2 - 79*w + 60. Let y(f) = f**2 + 75*f - 61. Let r(z) = 2*p(z) + 3*y(z). Is 9 a factor of r(40)?
True
Suppose 12*c = 13*c - 2. Suppose 0 = -3*j + j - 8, c*p + 3*j = -314. Let l = -89 - p. Does 31 divide l?
True
Suppose -5887*x = -5888*x + 3428. Is x a multiple of 19?
False
Suppose 4*a - 58 = -2*k, 6*k = 2*a + 11*k - 25. Let p(m) = -m**3 + 16*m**2 - 6*m - 63. Is 18 a factor of p(a)?
True
Let a be (-3)/(-8 + 9558/1194). Let h = a - -910. Is 20 a factor of h?
False
Let f be -1 + (-5 - -11)*-106. Let h = f - -1461. Suppose -h = -4*t + s, 0*s - 191 = -t + 4*s. Is t a multiple of 11?
False
Let c(l) = -26*l - 102. Let y be c(-4). Suppose -y*m + 3*g = -0*m - 317, -m + g = -159. Does 17 divide m?
False
Suppose -158037 + 11665 = -74*r. Does 235 divide r?
False
Suppose d + 1798 = 5*w - 264, 0 = 4*w - 5*d - 1658. Let q = -878 + 642. Let o = q + w. Does 13 divide o?
False
Suppose 3*m - 2 + 50 = 0. Let i = m - 4. Let s(o) = o**2 + 17*o - 18. Is s(i) a multiple of 21?
True
Suppose 0 = -244*j + 239*j + 12475. Suppose 10*p - j - 225 = 0. Is p a multiple of 10?
False
Suppose -30*g + 276 = -26*g. Let r = -39 + g. Does 21 divide r/(8/84*3)?
True
Suppose -342*k + 334*k = 6632. Let s = -724 - k. Is s a multiple of 5?
True
Let o(s) be the first derivative of -14*s**3/3 + s**2/2 - s - 41. Let q be o(-1). Let j(v) = -4*v**2 - 70*v - 8. Is 11 a factor of j(q)?
True
Let f = 6654 + -1974. Is f a multiple of 52?
True
Let q(h) = -h**3 - 23*h**2 - 102*h + 15. Let y be q(-6). Let x = -3 - -6. Suppose -x*u + 3*l = -246, u + 4*l + y - 87 = 0. Is u a multiple of 16?
True
Let f(z) = z**3 + 28*z**2 - 68*z + 76. Is f(-23) a multiple of 5?
True
Let k(i) = -9*i**3 - 9*i**2 + 5*i + 33. Let l(r) = 4*r**3 + 4*r*