?
True
Suppose 5*h = -s + 2851, -s + 24*h = 27*h - 2845. Is s a multiple of 37?
False
Suppose -k + 4 + 0 = -3*r, -3*k + 12 = -5*r. Suppose -4*z - 4*t + 3755 = z, -4*z + k*t + 2968 = 0. Is z a multiple of 9?
True
Let l be (-12248)/(-12) + (-4)/(-12). Suppose -193 = -5*i - 3*k + l, 3*i - 722 = -5*k. Is 17 a factor of i?
False
Suppose -32990 = -7*h + 5*v, -2*h + 4*v + 18848 = 2*h. Does 23 divide h?
True
Let p = 1272 + 4263. Is p a multiple of 41?
True
Let j(c) = 5*c**3 + 9*c**2 - 13*c. Let o(m) = -m**3 - m**2 + m. Let n(b) = -j(b) - 6*o(b). Let u(l) be the second derivative of n(l). Is 4 a factor of u(7)?
True
Suppose 5*d + 157725 = 325*l - 320*l, -l - 5*d = -31515. Is l a multiple of 83?
True
Let l(g) be the third derivative of -29*g**4/24 - 20*g**3/3 - 18*g**2 - 2*g. Is l(-4) a multiple of 19?
True
Suppose d - 4635 = 2*m, -2624 = -d - 2*m + 2023. Does 17 divide d?
True
Is 9 a factor of (63/(-3))/3 + (-276)/8*-12?
False
Suppose 26*u - 1865 - 19377 = 0. Is u a multiple of 13?
False
Suppose 27188 = -y - 4*q, -37097 = -4*y + 4*q - 145769. Is (44/(-30))/(-11) - y/60 a multiple of 9?
False
Is 15 a factor of (-5 - -3) + 10 + (3016 - -66)?
True
Let m(p) = -p**2 - 2*p + 10. Let r(f) = f**2 - f - 9. Let v(c) = 4*m(c) + 6*r(c). Let d = 10 + 0. Does 27 divide v(d)?
False
Let w = -2069 + 3098. Does 21 divide w?
True
Let x = -1425 - -5055. Suppose 0 = -21*o + 36*o - x. Does 6 divide o?
False
Let d = -2269 - -2395. Is 5 a factor of d?
False
Let g be ((-21)/(-4) - -2)/((-5)/20). Let o = g + 33. Let n(v) = 3*v**2 - 3. Is 28 a factor of n(o)?
False
Suppose 6 - 36 = -5*s + 4*x, -50 = -3*s - 4*x. Let k = -215 + s. Is 13 a factor of k/(-3) + (42/(-9))/(-7)?
False
Suppose -5*p = 2*c - 1452, -227*c + 225*c + 5*p + 1492 = 0. Is c a multiple of 23?
True
Let b = 6752 + -6255. Is b a multiple of 7?
True
Suppose 11*q = -9*q + 162680. Is 19 a factor of q?
False
Suppose 50*i = 53*i - 159. Let u = -43 + i. Suppose -u*q = -13*q + 585. Does 43 divide q?
False
Suppose 14188 = 4*j + 3*l, -3*j + 135*l + 10658 = 133*l. Is 9 a factor of j?
False
Suppose -25*a - 6*a = -93. Suppose -q - 5*i = -109, 525 = -a*q + 8*q + 5*i. Is 13 a factor of q?
True
Let b(u) = u**2 + 5*u - 11. Let s be b(-4). Let i be (-10)/15 + 78/9. Is (-174)/(s/i*20/50) a multiple of 24?
False
Let x(a) = a**3 + a**2 + a - 455. Let b be x(0). Let t be (-1)/(-2)*(3 - b/5). Suppose -t = -6*j + 355. Is 11 a factor of j?
False
Suppose 3*s - 9 = -0*s. Let l(u) = 132 + 4*u - 14*u + s*u. Does 48 divide l(0)?
False
Let p = -93 + 39. Let j = -72 - p. Let h = j - -38. Is 4 a factor of h?
True
Suppose -79*v - 109*v + 102832 = -51704. Is v a multiple of 10?
False
Let r(k) = -k**3 - 5*k**2 - 3*k + 4. Let u(h) = -2*h + 10. Let j be u(3). Let d be r(j). Let q = -104 - d. Is 8 a factor of q?
True
Let f(p) = p**2 - 8*p + 8. Suppose 5*z = -3*a - 7, -2*z + 0*z = 4. Let n(i) = -i + 1. Let c(t) = a*n(t) - f(t). Does 3 divide c(4)?
False
Let i be 27/54 - (2/4 + 0). Does 5 divide i - ((5 - 139) + 5)?
False
Let n(r) = r**3 + 5*r**2 - 9*r - 13. Let v be n(-6). Suppose 3*k = -v*k + 88. Suppose 4*c = -3*y + 165 - k, 0 = 3*c + 5*y - 121. Does 7 divide c?
False
Suppose -7*w + 12*w - 38332 = 4*j, 5*j = -3*w + 23051. Is 137 a factor of w?
True
Suppose 25*w + 10512 = -1938. Does 4 divide -1 - w/10 - (-9)/45?
False
Suppose 34*p - 18 = 37*p. Let a be p/(-20)*-5*8/(-6). Suppose f + 4*h - 58 = -f, 3*h = a*f - 65. Is f a multiple of 3?
False
Let p be (-3)/((-37 + 31)*2/688). Suppose -4*q - p = -7384. Does 79 divide q?
False
Let z be 2/(-13) + (-555864)/(-741). Is (-144)/10*z/(-225) a multiple of 12?
True
Suppose -147314 = -63*m - 26732. Does 66 divide m?
True
Let a(l) = 9*l**2 - 7*l + 2. Let x be a(4). Suppose j = x - 36. Suppose -5*c + j = -48. Is 13 a factor of c?
True
Let i(f) = 443 - 3*f**2 - 439 + 5*f**2. Let p be i(0). Suppose -322 + 1246 = p*w. Does 9 divide w?
False
Let s(u) = -6*u**2 + 64*u + 87. Let b(p) = 3*p**2 - 32*p - 44. Let x(v) = -5*b(v) - 3*s(v). Is x(18) a multiple of 20?
False
Let a be (-1)/(-6) + (-1247)/(-258). Suppose a*x - 3*x = -2*r + 92, 6 = -2*r. Is x even?
False
Let h = -111 - 253. Is (-104)/h + (-5988)/(-14) a multiple of 28?
False
Suppose -2*q + 3*t + 19 = 0, 11*q - t - 7 = 10*q. Suppose 0 = z + f - 18, -q*f + 0*f + 4 = 0. Does 16 divide z?
True
Suppose 14*l = 109 + 31. Does 26 divide ((-1)/(l/2600))/(2/(-3))?
True
Suppose -3*i + 2329 = g, -5*g + 2945 = 3*i + 636. Let b = -182 - -707. Let j = i - b. Does 38 divide j?
False
Let r(l) = -l**3 + 6*l + 4. Let w be r(-2). Suppose -4*q = m + q - 292, -5*m - 2*q + 1368 = w. Does 21 divide m?
False
Let r = 20177 - 11981. Does 5 divide r?
False
Suppose -9*i + 14*i - 410 = 0. Suppose i - 516 = -2*a. Is 13 a factor of a?
False
Let g(h) be the third derivative of h**5/12 + h**4/8 + h**3 - 13*h**2. Let w be g(5). Let q = w - 60. Does 43 divide q?
True
Let p(t) = -t**3 + 13*t**2 - 33*t + 38. Let v be p(10). Is 2360/v + 0 + (1 - -3) a multiple of 56?
False
Let w(q) = 2*q**3 - q**2 - q + 50. Let i be w(11). Suppose 0 = -7*b - i + 7172. Is 19 a factor of b?
False
Let a(i) = -59*i + 27. Let p be a(-7). Suppose 0 = 7*f - 358 - p. Is 13 a factor of f?
False
Suppose -11*d = -7*d - 8. Let i(r) = 2 - 2*r - 12 + 24*r**d + 4. Does 27 divide i(-2)?
False
Let h(x) = -102*x**2 + 6*x + 24. Let i be h(-4). Is 24/(-8*8/i) a multiple of 17?
True
Let f(r) = r. Let o(p) = -3*p. Let l(y) = 5*f(y) + 2*o(y). Let j be l(8). Does 3 divide 4/(-8) - 140/j?
False
Let p(h) = h - 14. Let b be p(-6). Let k = b - -360. Is k a multiple of 34?
True
Let g = 35 + -35. Suppose g = -4*a + 620 + 404. Does 32 divide a?
True
Let a be (-17 - -20)/(6/4). Suppose u - 2*p + 67 = 0, -a*u - p - 124 = -3*p. Let g = 99 + u. Is 21 a factor of g?
True
Suppose -4*h + 6910 = 2*p + 1292, -5633 = -4*h + p. Let s = h - 357. Is 50 a factor of s?
True
Let q(j) = 39*j**2 - 23*j - 592. Is 113 a factor of q(-17)?
False
Let m(d) = -d**3 - d**2 + d + 94. Let t(u) = u**3 + 13*u**2 - 13*u + 19. Let r be t(-14). Suppose -g = 3*g + r*g. Is 17 a factor of m(g)?
False
Let n = -21 - -31. Suppose 0 = 3*b + 2*b + n, 4*b - 50 = -2*o. Is 8 a factor of (o/4)/((-4)/(-16))?
False
Let v(u) = -35*u - 136. Let i be v(-4). Suppose 33*t = i*t + 4292. Is t a multiple of 25?
False
Let n = -218 - -370. Suppose -2*b + 18 + n = 0. Let h = b - 19. Is h a multiple of 11?
True
Let g be 6 + 2455/25 - 1/5. Let w = g + -99. Suppose -w*h - 4*i = -6*i - 81, -4*h - 3*i = -51. Is 15 a factor of h?
True
Let a = 3149 + -2231. Suppose -a = -13*m - 4*m. Is m a multiple of 5?
False
Suppose 14*o = -0*q + 5*q - 83850, -2*q + o + 33540 = 0. Does 86 divide q?
True
Let u(t) = 59*t**3 + 8*t**2 - 13*t - 4. Let d be u(2). Let v = 38 + d. Is v a multiple of 8?
True
Let m = -2107 + 2101. Let o(x) be the third derivative of x**6/120 + x**5/10 - x**4/12 - x**3/2 - x**2. Is o(m) a multiple of 9?
True
Suppose 5*y - y + 4*j = -1064, -3*j = 5*y + 1332. Is 19 a factor of 5 - -1 - (y - 12)?
True
Let m(r) = 609*r - 107. Is 56 a factor of m(7)?
False
Suppose 2*c + 6 = -2*m, -c - 14 = -2*m + 2*c. Let y(k) = 45*k**3 + 2*k**2 - k. Let a be y(m). Let d = a + -16. Does 8 divide d?
False
Suppose 0 = 9*d - 5*d. Let m be 5 + -5 + (d - -4). Suppose -2*o - 31 = -3*u, 24 - 4 = -m*o. Does 3 divide u?
False
Let b = 781 + 234. Suppose -9*d + 4*d + b = 0. Does 29 divide d?
True
Let g = 275 + -185. Let w be ((-7)/(35/g))/(6/(-112)). Suppose 7*z - 21*z = -w. Is 3 a factor of z?
True
Let x(c) = -19*c + 9975. Is 50 a factor of x(-103)?
False
Let t(u) = -65*u**2 + 28*u - 74. Let j be t(3). Let p = j - -620. Is p a multiple of 3?
True
Let u(o) be the second derivative of -o**5/20 + 5*o**4/12 + 3*o**3/2 - o**2 + 9*o. Let x(h) = h**3 + 5*h**2 + h - 4. Let y be x(-2). Is u(y) a multiple of 16?
True
Suppose -2*i = -7*i - 4*v - 49, 3*i - 4*v + 55 = 0. Let l(j) = 8*j**2 - 11 - 4*j**3 - 20*j**2 + 3*j**3 + 6*j. Is 20 a factor of l(i)?
True
Suppose -4*j = -4*w + 3192, 4*w - 8*w = 8. Does 16 divide (-72)/(-30)*j/(-15)?
True
Let b(l) = 409*l + 4456. Does 44 divide b(16)?
True
Does 18 divide (9/15)/((-90)/(-123450))?
False
Suppose 2*u + j = 100145, 2*u - 4*j = 17*j + 100299. Does 117 divide u?
True
Suppose 0 = 5*f + x - 11, 5*f + 8*x = 3*x + 15. Suppose -422 = -2*m - 3*w, 5*m - f*m + 5*w - 635 = 0. Does 41 divide m?
True
Suppose -15*a 