?
True
Let s(a) = 3*a**2 + 12*a - 23. Let j be s(6). Suppose j + 68 = 5*l. Does 10 divide 2*(-1 + l/2)?
False
Let f(o) = -18*o**3 + 13*o**2 + 63*o + 318. Is f(-7) a multiple of 44?
True
Let k(i) = 2*i - 3. Let m be k(1). Let n = m - -3. Suppose -u + n*p = -47 - 37, -4*p + 66 = u. Is u a multiple of 39?
True
Let p(q) = q**2 + 23*q + 120. Let i be p(-28). Suppose 648 = 2*b + i. Does 19 divide b?
False
Let p = 13 + 2. Is ((-2)/(-7))/(p/26985) + 3 a multiple of 71?
False
Let f(g) = -4*g - 3. Let u be f(-2). Suppose -34 = -5*y + 4*v, -2*y + 30 = 3*y - u*v. Suppose 279 = a + 5*j, 4*j + 516 = -y*a + 12*a. Does 11 divide a?
True
Let z be (-36)/(-54) + 84/9. Suppose -z*u + 6*u = 3*g - 204, 5*u = 5*g + 255. Is 5 a factor of u?
False
Let n(g) = -g**3 + 7*g**2 - 11*g + 9. Let v be n(5). Suppose u + v*p + 48 = 0, -p = -3*u - 3*p - 184. Let d = 174 + u. Is d a multiple of 8?
False
Suppose -3*l = 4*o + 9, 0 = -2*o - 3*o + 4*l + 12. Suppose -3*f + 278 + 1438 = o. Is f a multiple of 23?
False
Let k = -15711 - -17583. Does 48 divide k?
True
Let b(x) = -x**2 + x - 1. Let o(m) = -3*m**2 + 4*m - 15. Let s(z) = -z + 3. Let a be s(1). Let n(d) = a*b(d) - o(d). Does 3 divide n(4)?
True
Let z be (-2)/11 + (-5 - 3805/(-55)). Let s = -62 + z. Suppose -2*l = 0, w = -s*w - l + 9. Is 3 a factor of w?
True
Let z(j) = -14*j**3 - 185*j**2 - 294*j - 158. Let u(h) = 5*h**3 + 63*h**2 + 98*h + 53. Let p(t) = -17*u(t) - 6*z(t). Is 19 a factor of p(41)?
True
Let c be 1935/25 + 4/(-10). Let q be (-9 - -8 - (47 + -1))/1. Let g = q + c. Does 10 divide g?
True
Suppose -2*c - 3*b - 2139 = -7*c, -2*c - b + 849 = 0. Let j = 666 - c. Does 66 divide j?
False
Let y = 20 + -27. Does 11 divide 173 - ((-9)/1 - (y - -3))?
False
Let i be -2 + (12/15)/((-14)/(-35)). Suppose 2*a + 4*c - 200 = 0, -392 = -4*a - i*c - 4*c. Does 16 divide a?
True
Suppose -4*w + 4 = 5*t, -2 = -w + 4*t - 1. Suppose -o + w = -7. Suppose -5*p + 603 = c, 0 = o*p - 3*p - 4*c - 588. Is p a multiple of 30?
True
Suppose 35*x - 361089 = -6*x - 40428. Is x a multiple of 33?
True
Let s be 66/4*(-38)/(-3). Let r = s - -103. Is 39 a factor of r?
True
Let y(k) = -4*k - 45. Let b be y(-12). Suppose b*o + 3*l - 42 = 0, -4*o - 1 = -3*l - 29. Is o a multiple of 5?
True
Suppose -4*i - 5*h - 959 = 0, -148 - 79 = i - 3*h. Let c = i - -336. Is c a multiple of 20?
True
Suppose -w - 3 + 0 = 0. Does 10 divide (9/w)/(-7 - (-1674)/240)?
True
Suppose m - 5*j = 366, -5*j - 876 = -4*m + 648. Let f = 830 - m. Is f a multiple of 74?
True
Let y = 48 + -50. Let l(i) = -i**3 - i**2 - 3*i - 5. Let r be l(y). Suppose v + 59 = r*v - 3*x, 5*v - 91 = -2*x. Is v even?
False
Suppose 0 = 5*r - r. Suppose r = -7*g - 16 - 19. Let z(x) = -2*x**3 - 7*x**2 + 3*x + 4. Is 8 a factor of z(g)?
True
Is (9504/(-20))/(10/(-25)) a multiple of 27?
True
Let p be 70/18 + 8/72. Suppose -p*r - r - 3*g + 122 = 0, 4*r + 2*g = 96. Does 4 divide r/(-55) - (-186)/15?
True
Let o(m) = -m**3 - 19*m**2 + 5*m - 16. Let f be o(-19). Let u = -57 - f. Is (4 - 2)*u/4 a multiple of 5?
False
Suppose 3*y - 27*t = -25*t + 1410, 3*y - t - 1410 = 0. Is 5 a factor of y?
True
Suppose -o = -c + 249, -148 = -2*c + 3*o + 349. Does 25 divide c - (-5 - (-3 - 2))?
True
Is 70 a factor of 0/(-18) + 1385 + 15?
True
Let t be ((-50)/(-4) - 12)/((-2)/4). Is 41 a factor of (-7 - -1)/3*t*41?
True
Let o = 6081 + 310. Does 77 divide o?
True
Let k be 6 - 6*(-424)/12. Suppose -k*b - 60 = -220*b. Does 5 divide b?
True
Is (-21)/(-3) + (6256/2 - 7) a multiple of 23?
True
Suppose -6*b + 3454 = -2942. Suppose -1024 = -10*o + b. Is o a multiple of 23?
False
Suppose -o + 1212 = -7*o. Let m = o - -215. Does 13 divide m?
True
Suppose -4*c + 19 = 7. Let q(b) = 2*b**2 - 2*b. Let g be q(c). Is 27 a factor of (-128)/(-2) - 0*(-3)/g?
False
Let d = -1770 + 2541. Is 86 a factor of d?
False
Suppose -23*k + 227518 = 83124. Does 152 divide k?
False
Suppose -5*t = f + 168, 4*t - 369 = 2*f - 103. Let q = f + 101. Is ((-4)/7)/((-15)/(-70))*q a multiple of 18?
False
Let x be (6/15 - 0)*10. Suppose x*i = i. Suppose i = -5*j + 328 + 167. Is 28 a factor of j?
False
Suppose -16*r + 14*r + 11567 = s, 4*r = 4*s + 23140. Is 24 a factor of r?
True
Is (-7)/28*1 + 50691/12 a multiple of 44?
True
Suppose 0 = -3*g + 18*g - 43062 + 7392. Is g a multiple of 41?
True
Suppose l - 2*l = -3, 0 = -2*z - 4*l + 10. Let k be 2 - (-1 - z)/1 - -1. Suppose -k*w = w - 4*h - 436, -2*h = -10. Is 21 a factor of w?
False
Let z = 380 + -220. Let a = 360 - z. Does 25 divide a?
True
Let i(q) = -65 + 63 - 4*q**2 + 0*q**3 + q**3 + q. Let y be i(4). Suppose 4*n + 186 = -s + 3*s, -y*n = s - 89. Is 13 a factor of s?
True
Suppose 5*r + b - 10635 = -0*b, r - 2*b - 2116 = 0. Is r a multiple of 56?
False
Suppose 11614 = 44*d - 5308 + 4602. Does 140 divide d?
True
Suppose -2*i = p + 541, 2*i + 1622 = -3*p - 3*i. Let g = -82 - p. Does 13 divide g?
False
Suppose 365*c = 400*c - 288155. Is 5 a factor of c?
False
Let t(i) be the second derivative of -3*i**5/20 - i**4/2 - i**3/3 + 5*i**2/2 + 6*i. Suppose 4*o + 3 = -13. Is 20 a factor of t(o)?
False
Let o(s) = -s**2 - 6*s + 123. Let m be o(-14). Suppose 101 = -m*k + 1256. Does 7 divide k?
True
Let u(s) = -708*s - 117. Is 51 a factor of u(-6)?
True
Does 3 divide (1 - (-696)/32)*168/6?
False
Let k(h) = 5*h + 77*h**2 - 99*h**2 + 63*h**2 + 47*h**2. Is k(-2) a multiple of 38?
True
Let j(d) = 49*d**3 - 12*d**2 + 39*d - 107. Is j(5) a multiple of 81?
True
Let z(x) = -2*x**3 - 80*x**2 - 17*x + 2. Suppose -68*i = -72*i - 160. Is z(i) a multiple of 34?
False
Suppose -1221 = m + 246. Let s = -823 - m. Is 14 a factor of (6/4)/(14/s)?
False
Suppose -436*z = -382*z - 18360. Is 5 a factor of z?
True
Let c(i) = 3*i + 13. Let g(z) = 2*z + 14. Let t(u) = 5*c(u) - 6*g(u). Let w = -339 + 350. Does 3 divide t(w)?
False
Suppose 4*j = 2*a - 22, -j = 2*a - 7*a + 37. Let r = -88 - -232. Suppose r = a*h - 3*h. Is 6 a factor of h?
True
Let p be (-29 + 32)*(-11)/(-3). Suppose p*y = 5*y + 288. Is 8 a factor of y?
True
Is 25 a factor of ((-1)/((-2)/(-30)))/((-85)/41412) + 9?
False
Let v = -37 + 46. Let z be (-20)/v - -2 - 470/(-90). Suppose -z*m = 2*a - 178, -5*m - a - 3*a = -176. Does 18 divide m?
True
Let w(i) be the second derivative of 0 - 4/3*i**3 - 14*i**2 - 22*i. Is w(-7) a multiple of 4?
True
Let h(m) = -5*m**2 - 426*m + 62. Does 19 divide h(-72)?
False
Suppose -2*h = -3*s + 13, -35 = 5*h - 3*s - 7. Let n = h - -151. Suppose 2*u - n = 102. Is 22 a factor of u?
False
Suppose -u + 1286 = 3*o - 2603, 0 = 5*u - 4*o - 19331. Does 79 divide u?
True
Suppose -6*v = 28*v + 4*v - 645772. Does 58 divide v?
True
Suppose 26582 = 22*v - 19*v + 5*o, 2*v - 17720 = -3*o. Does 130 divide v?
False
Suppose 3*o - g - 9 = -4, 0 = -o + 2*g - 5. Suppose -64 = -o*p - r, 0 = -0*p - 4*p + r + 90. Let x(c) = -c**2 + 27*c - 44. Is x(p) a multiple of 11?
True
Suppose 5*s - 2993 = -0*s - 4*w, 5*s - 2*w = 3011. Suppose 0 = -u + 2*u - h + 599, h + s = -u. Does 10 divide (18/(-15))/(4/u)?
True
Let x = 25 - -6. Suppose 5*r = 2*y - x, 2*r = -3*y - 0*r - 1. Suppose 175 = y*a + z + 12, 5*a - z - 285 = 0. Is 39 a factor of a?
False
Let w(s) = -2*s - 150. Let n be w(0). Let f = 316 + n. Suppose l = p + 6*l - f, -4*p = 5*l - 664. Is p a multiple of 22?
False
Let r(d) = 42*d**2 + 125*d + 1585. Is 43 a factor of r(-18)?
True
Let p(z) be the first derivative of -z**4/4 - 7*z**3/3 - 4*z**2 - 5*z + 1. Let y = -7620 + 7613. Is p(y) a multiple of 5?
False
Suppose 0 = -5*m + 9 + 6. Suppose 9 = 2*f - 4*q + m, -5*q - 3 = -f. Suppose -2*u + 244 = d - 5*d, -f*u + d + 361 = 0. Is u a multiple of 33?
False
Suppose -5*n = -3*l - 3, 7*n - 5 = 5*l + 2*n. Let v be (l - -1)*((-42)/(-12) + -4). Suppose v = 2*m - 0*m - 3*y - 63, 10 = 2*y. Is 13 a factor of m?
True
Let r = -333 - -336. Suppose -4*m - 5*d + 173 = 0, 4*m = -0*m - r*d + 179. Is m a multiple of 12?
False
Let s be 4 + -13 + 0/(-1 - 1). Suppose 300 = -2*l - 534. Does 7 divide l/(-5) + 4/(-60)*s?
True
Let u be 11/55 + -1 + 58/10. Suppose 539 = 2*c + 2*c + 5*d, -u*c + 670 = 5*d. Is c a multiple of 11?
False
Let k be ((-4)/(-6))/((-16)/(-48))*-2. Does 3 divide (157/k)/((-3)/24)?
False
Suppose 3*w - 756 = -9*w. Suppose w = 4*v - 449. Does 6 divide v?
False
Does 23 divide (-1)/1 - (2*-4422)/12?
True
Suppose 2*x - 5*a = 2963, 3*x + 18*a - 17*a - 4419 = 0. Suppose