rue
Let v = 385 + -113. Does 5 divide v + 2 + 54/9?
True
Let y(s) = s**3 + 16*s**2 - 15*s - 14. Suppose 0 = -2*g + 56*g + 756. Is y(g) a multiple of 7?
True
Suppose 16*o - 41453 = 17475. Is 24 a factor of o?
False
Let o(h) = -17*h - 15. Suppose 0*t = -8*t - 96. Is 44 a factor of o(t)?
False
Let u be 12/18*135/(-10). Let g(n) = 14*n**2 - 10*n + 50. Is g(u) a multiple of 55?
False
Let u(x) = -5*x + 12. Let y be u(3). Let z be 642/(-18) - 2/y. Let o = z + 105. Does 18 divide o?
False
Let t(s) = s**2 + 8*s - 6. Let i be t(-9). Suppose -i*h + 4*z + 298 = 70, 2*z + 6 = 0. Is h a multiple of 8?
True
Suppose 4*m - w - 97351 = -m, 0 = m + 2*w - 19468. Is 110 a factor of m?
True
Let v be (2/(-8))/(236/80 - 3). Suppose 0 = u + v*u - 12. Suppose -u*g - l - 2*l = -306, 0 = -g + 4*l + 175. Does 24 divide g?
False
Suppose -5*f = 5*t - 5, -2*t + 2 = t + 4*f. Suppose -t*u = 4, 0 = 4*n + u + 3*u - 156. Let r = n - 15. Is r a multiple of 11?
False
Let a(c) = 2 - 10 + 24*c + 13. Let u(g) = 24*g + 5. Let o(k) = 3*a(k) - 2*u(k). Is 43 a factor of o(13)?
False
Suppose -g - 4*n + 6 = g, n + 16 = 3*g. Suppose -g*z - 60 = -5*c, 2*c - 7*c - 5*z + 30 = 0. Let p(w) = -w**3 + 9*w**2 + 14*w + 2. Is p(c) a multiple of 19?
False
Is 44995 - ((-15)/75)/(2/(-30)) a multiple of 189?
False
Let t(z) be the second derivative of z**5/20 - z**4/12 + z**3/6 + 146*z**2 - 24*z. Does 20 divide t(0)?
False
Suppose -t = -2*q - q - 401, t - 665 = 5*q. Let z = 10 - q. Is z a multiple of 22?
False
Suppose -14*m = -13*m - 50. Suppose n + 6*i - i - 21 = 0, 4*n = -3*i + m. Suppose -n*q + 228 = -8*q. Does 15 divide q?
False
Let l(a) = 3 + 6*a + 6 - 15*a. Let p(m) = m**2 - 5*m - 17. Let z be p(7). Does 9 divide l(z)?
True
Let s(b) be the second derivative of 15*b**3/2 - 245*b**2/2 + b - 23. Is 8 a factor of s(17)?
True
Let n be (-12)/30 - 3051/(-15). Let w = n + -119. Let k = w - 73. Does 3 divide k?
False
Suppose 10*a - 19*a + 5000 = a. Is a a multiple of 25?
True
Suppose 3*r + 765 = -5*l, 8*r - 9*r - 153 = l. Let y be ((-34)/l - (-2)/(-9))/(-4). Suppose -i + 60 = 2*b, 4*b - 2*b - i - 60 = y. Does 5 divide b?
True
Suppose 2901*s - 18235 = 2896*s. Does 9 divide s?
False
Is (15812/(-240) - 4/(-30))*(-496)/2 a multiple of 75?
False
Suppose 108*m - 2497231 = -229771. Is 19 a factor of m?
True
Let z(k) = k**2 - 234*k + 1599. Does 2 divide z(7)?
True
Is 39 a factor of 33659 + (46 - 8) + -1*(0 + 1)?
True
Suppose 4*w + 2 = h - 2, -4*w + 4 = 0. Suppose 17*o - 21*o = h. Is 14/(-4)*-2 + o a multiple of 2?
False
Suppose -3*u = -6, 32*r + u = 28*r + 406. Does 3 divide r?
False
Suppose 16*s - 47278 = 128978. Does 108 divide s?
True
Suppose -9 = 2*o - 19. Suppose -3*j = 5*g - o*j + 12, -j = g + 8. Let a = g + 18. Does 14 divide a?
True
Let k = 4955 - 902. Is 21 a factor of k?
True
Let f(i) = -i**2 + 9*i - 12. Let z be f(6). Is 19 a factor of (1/((-4)/17))/(z/(-456))?
True
Suppose -371 = -b - 5*r + 247, 5*b + 2*r - 2998 = 0. Is b a multiple of 2?
True
Suppose 0 = 6*f + 5*o - 85, -3*o = -5*f - 8*o + 70. Is f a multiple of 15?
True
Let z(r) = 36*r**2 + 46*r - 100. Is 34 a factor of z(-8)?
True
Let b be -269 - -3 - (-2 - 1). Let g(z) = -z**3 - 20*z**2 + 23*z - 51. Let t be g(-22). Let r = b + t. Is 37 a factor of r?
True
Suppose -5*h = -191*h + 13020. Does 3 divide h?
False
Let d = 3684 + -2577. Is d a multiple of 144?
False
Is (-1160)/(-16)*(-8 + 82) a multiple of 11?
False
Let j be (-2)/(12/(-10))*(-32 + 35). Suppose 0 = j*m - 2*l - 401, 133 + 185 = 4*m - 3*l. Is 27 a factor of m?
True
Suppose -537*z + 5950 = -523*z. Does 89 divide z?
False
Suppose -2*r = x - 42219, -r = -8*x + 6*x + 84448. Is x a multiple of 19?
False
Let p(v) = -3*v**3 - 12*v**2 - 12*v - 8. Let z(q) = -7*q**3 - 25*q**2 - 24*q - 16. Let k(c) = -5*p(c) + 2*z(c). Let r be k(-8). Is 2 a factor of r/1 - 1*-1?
False
Suppose z + 58 = 2*z. Let i = -135 + 171. Let x = i + z. Is x a multiple of 16?
False
Suppose 0 = 5*o - s - 11, 5*o = s + 4*s + 15. Suppose q - 19 = x, x + 8 = o*q - 29. Let c = q - -283. Is 43 a factor of c?
True
Let p(j) = -j**3 + 52*j**2 - 515*j - 102. Is 96 a factor of p(38)?
False
Suppose -10*f = -24871 - 42049. Is f a multiple of 14?
True
Let l be 325/10 + (-2)/(-4). Suppose -10*h = -15*h + 420. Let m = h - l. Does 14 divide m?
False
Let m = -1374 - -2388. Let p = m + -708. Is p a multiple of 61?
False
Let v be 6/(-21) - 6/(-84)*3098. Is (-11)/110 - v/(-10) a multiple of 5?
False
Let k be 3 + (-8)/(1/(15/(-6))). Let j(s) = 24*s + 7 - 17 - 5*s - k - s**2. Is j(13) a multiple of 9?
True
Let g(s) = -3*s + 32. Let y be g(11). Let t(c) = 613*c**2 - c + 1. Does 41 divide t(y)?
True
Suppose 3*c - 14826 = -6*f, 74*f = 73*f - 3*c + 2471. Does 26 divide f?
False
Let k(x) = 20. Let j(w) = -w + 1. Let a(g) = -2*j(g) + k(g). Let q be a(-7). Suppose -4*f + u + 478 = 0, -4*f = q*u - 501 + 13. Is 24 a factor of f?
True
Let l = 36 - 30. Let p be 1/l - 985/(-30). Does 34 divide p/5*5*5?
False
Let u(n) = 2*n**3 - n**2 + n. Let b be 3 + -6 - (-1 - 3). Let x be u(b). Is 16 a factor of (8/x)/((-2)/(-8))?
True
Let x(j) = 60*j**2 + 49*j + 45. Is x(15) a multiple of 102?
True
Let r = 30 + 60. Suppose r = -4*o + 310. Does 5 divide o?
True
Does 16 divide 12800/(-300)*((1 - -2) + -273)?
True
Let d(j) = -13*j**2 - 2967 + 1509 - 2*j + 1503 - 2*j**3. Is d(-10) a multiple of 85?
True
Let r(p) = -2*p + 11. Let x be 0*2/(-6) - -4. Let l be r(x). Suppose 4*h - v = l*h + 30, 0 = 4*h - 2*v - 124. Does 32 divide h?
True
Let v be 6/33 - (-136)/(-22). Let r(a) = -32*a - 29. Let h be r(v). Suppose 2*x - 477 + h = 0. Does 34 divide x?
False
Suppose 0 = 24*l - 23*l - 139. Suppose h = l - 18. Is h a multiple of 11?
True
Suppose 4*q = t + 55755, -27885 = -2*q + 4*t - 5*t. Is 6 a factor of (2/((-8)/(-6)))/(123/q)?
False
Suppose 7951 = 20*r - 8*r + 607. Does 4 divide r?
True
Let r = 561 - 456. Suppose x - s - 71 = 0, x + 5*s - r + 22 = 0. Is x a multiple of 2?
False
Suppose -2772843 = -358*o - 399661. Does 30 divide o?
False
Suppose 67*o - 37*o = -5730. Let v = 378 + o. Is v a multiple of 6?
False
Suppose 5*j - 3996 = 2*f - 1085, 2918 = 5*j - f. Is j a multiple of 49?
False
Suppose d - 10 = 4*r + 10, 0 = -4*d + 4*r + 32. Suppose -8*z + 25 - 1 = 0. Suppose 0*w = -w + d*i + 79, i + 237 = z*w. Does 29 divide w?
False
Let b(o) be the third derivative of o**5/30 + o**4/24 - 7*o**3 + 57*o**2. Does 26 divide b(14)?
True
Let h = 12268 - 4565. Is 2 a factor of h?
False
Suppose 0 = -5*n + 2*a + 75208, -13925 - 1113 = -n + 4*a. Is n a multiple of 145?
False
Let o(i) = 589*i**2 - 84*i - 325. Does 111 divide o(-4)?
True
Suppose t = -4*k + 58, -275 = -5*t - k - 4*k. Suppose z = f - 284, 0 = -f - z + 228 + t. Suppose -5*p = -f + 63. Is 7 a factor of p?
False
Suppose -u + 3298 - 976 = 0. Does 54 divide (8/6)/(((-24)/u)/(-2))?
False
Does 16 divide ((-120)/(-25))/(1/(-3840)*-4)?
True
Let f(z) = -7*z - 100. Let c be f(-15). Suppose -958 = -c*s + m, -2*s + 5*m - 749 = -6*s. Is s a multiple of 26?
False
Let h(m) = m**3 + 18*m**2 + 58*m + 26. Let b be h(-14). Is (-709)/b + ((-290)/(-20) - 12) a multiple of 21?
True
Suppose -4*p - p + 125 = -f, -3*f = p - 9. Is 27 a factor of (-81)/(p/(-8))*(-3)/(-1)?
True
Let a(c) = -4*c**2 + 19*c - 11. Let p be a(5). Does 29 divide (p/64)/(1*3/(-348))?
True
Let x = 30586 + -22011. Does 35 divide x?
True
Suppose -3*c - 4*r + 1990 = 0, -c + 56*r = 53*r - 646. Is c a multiple of 12?
False
Does 23 divide (-9 - (-60)/5) + 6598?
True
Suppose 44681 = 43*q - 102336. Is 6 a factor of q?
False
Let f(y) = 557*y + 5129. Is f(33) a multiple of 26?
False
Is 30 a factor of (-6 + 532/(-8))/((-5)/240)?
True
Suppose 3*u - 19 - 8 = 45. Suppose 0 = -c + 2*c - 3. Suppose -u = -c*w + 471. Is w a multiple of 14?
False
Let p be 981*(-13)/(-39)*2/6. Suppose 13 = -2*t + t. Let r = p + t. Is 16 a factor of r?
True
Let m be (22/4)/((1/(-40))/(-1)). Suppose -122 = -3*v - 5*n, 15*v - 5*n = 20*v - m. Is 3 a factor of v?
False
Let m(t) = 69*t - 191. Let v be m(42). Suppose -4083 - v = -7*n. Is 10 a factor of n?
True
Let b(a) be the third derivative of -a**6/120 + a**5/20 - a**4/12 - a**3/6 + 9*a**2. Let y be b(2). Is y - ((-10)/(-20))/((-2)/508) a multiple of 18?
True
Does 17 divide 1463/(5/(-2) - 476/(-187))?
False
Let m(x) be the first derivative of 3*x**2/2 + 11*x - 34. Does 2 divide m(-3)?