rue
Let w(h) = 5*h - 22. Let k be w(4). Is 39 a factor of (39/k)/(14/(-196))?
True
Let s = 16472 - -984. Is 16 a factor of s?
True
Let g(l) = 35*l + 848. Does 4 divide g(88)?
True
Suppose -4*o + 4190 = 2*j, 1230*j - 1225*j = -2*o + 10483. Is j a multiple of 33?
False
Let z be (1 - 0)*0*3/(-3). Suppose 0 = 8*x - 4*x - 4*h - 408, x + 5*h - 84 = z. Is x a multiple of 3?
True
Let r = 61 - 58. Suppose -206 = -r*y + 70. Does 22 divide y?
False
Suppose -2*o + 2 = 0, 5*a - 4*o + 4 = 45. Suppose 2003 = -a*n + 5846. Suppose 3*i - n = -2*y, -5*i + 5*y + 310 = -3*i. Does 16 divide i?
False
Let a(z) = -3*z**3 - 53*z**2 + 16*z - 33. Let r be a(-18). Suppose -3672 = -r*s - 852. Is s a multiple of 20?
True
Is 4 a factor of (-3)/((-6)/(4*2 - (42 + -9668)))?
False
Suppose -43*a + 33*a + 1890 = 0. Suppose -2*h - 3*i + a = 0, 7*i = -3*h + 3*i + 281. Is 2 a factor of h?
False
Let d(j) = -4*j - 18. Let o be d(-5). Let y(w) = 16*w**o + 2*w - 9*w**2 - w**3 - 8 + w**2. Is 17 a factor of y(7)?
False
Let s = -4 - -7. Suppose 15 = -n + 4*p + 21, -126 = -5*n - 4*p. Suppose -n = -f - s. Is 19 a factor of f?
True
Suppose 6*m - 1692 = 2*m. Suppose 11*y + m - 9828 = 0. Is 95 a factor of y?
True
Suppose 17102 = 5*u + 2*x, u = -x + 454 + 2970. Is u a multiple of 17?
False
Let p(x) = 122*x**3 - 13*x**2 + 50*x - 145. Is 3 a factor of p(5)?
True
Let r = -31 + 33. Suppose 0*g = 4*g - f - 201, r*g = -5*f + 95. Does 24 divide (g/30)/(1/(33/1))?
False
Let g be ((-6)/(-12) + 0)*2. Is 18 a factor of (-2 - -6)/g + 16 + 39?
False
Does 60 divide (-3 - 1077/6)*8672/(-80)?
False
Suppose -2*l = 3*g - 1121 - 2537, 9152 = 5*l + 4*g. Does 5 divide l?
False
Let c(w) = 4*w**3 - 7*w**2 + 13*w - 57. Let m be c(5). Suppose m = 2*f + 197. Does 17 divide f?
True
Let u(j) = j**3 + 62*j**2 + 31*j - 162. Does 19 divide u(-22)?
False
Let o be (-2946)/(-9)*18/12. Let x = -254 + o. Is 3 a factor of x?
True
Suppose 0 = -4*y - 24*z + 28*z + 380, -z = -2. Is (y + -98)/((-2)/198) a multiple of 10?
False
Suppose n + 21 = -4*c - 7, n + 20 = -3*c. Let x be 2 - (c/2 - 192). Let v = 386 - x. Is 25 a factor of v?
False
Suppose 34*s - 402257 = -4*s - 15569. Is s a multiple of 11?
False
Suppose -s - 750 = -2*f, 3*f + 3*s - 1500 = -f. Is f/50*(-324)/(-5) a multiple of 27?
True
Let u = 9857 + -6127. Does 3 divide u?
False
Let b = -30194 + 49791. Is b a multiple of 9?
False
Suppose -3*p = 4*x - 28875, -14*p + 18*p = 3*x + 38475. Does 122 divide p?
False
Suppose -86*v + 2*v = 57*v - 983898. Does 12 divide v?
False
Suppose 2*h = 2*i - i + 65596, 4*i = -32. Does 132 divide h?
False
Let y(t) = -5*t + 221 + 164 - 252. Is y(-11) a multiple of 4?
True
Let q = 820 - 797. Let x(c) = -c**2 + 53*c - 53. Is 49 a factor of x(q)?
True
Let n = 82 + -195. Let c = n - -131. Is c a multiple of 9?
True
Let s = -183 + 179. Is (-28)/s*60/21 a multiple of 10?
True
Let p = 936 - 935. Let w be 48 - (-2 + 1 + 0). Suppose 0 = 2*g + p - w. Does 3 divide g?
True
Let u = 59 + -120. Let l be (u - 1)*(-10)/10. Suppose 3*s - 269 = -l. Does 23 divide s?
True
Suppose 0 = 2*y + 53 - 16773. Suppose 14*h - y = -6*h. Does 13 divide h?
False
Is (1756/(-8))/(39/(-546)) - 7 a multiple of 6?
True
Let g = 1215 - -797. Let b = g - 1326. Is b a multiple of 13?
False
Suppose 4*n - 13 = 5*h + 9, 5*h = 2*n - 16. Suppose 459 + 591 = n*v. Is v a multiple of 35?
True
Let n(r) be the third derivative of r**5/60 - 17*r**4/12 - 119*r**3/3 - 10*r**2. Does 25 divide n(42)?
False
Let c(w) = 13143*w**2 - 86*w - 1. Is 214 a factor of c(-1)?
False
Let s(m) = -m**3 + 10*m**2 + 22*m + 29. Let u be s(12). Suppose -5*q - 5*y = -775, -4*q + 617 = -0*q + u*y. Let k = -101 + q. Is k a multiple of 19?
True
Is ((-1084)/8)/((-1)/(-44)*-2) a multiple of 52?
False
Let o(v) = 1429*v - 1228. Does 22 divide o(4)?
True
Suppose -11 = 2*k - 19. Let x(s) = -8*s**2 + 7*s - 16. Let c(n) = 9*n**2 - 8*n + 17. Let q(r) = -6*c(r) - 7*x(r). Does 7 divide q(k)?
False
Let r(v) = -58*v - 4. Let c(g) = -175*g - 13. Let i(z) = -4*c(z) + 11*r(z). Let x be i(5). Suppose 4*u - x = 3*n - 37, -70 = -u + n. Does 11 divide u?
False
Suppose 0 = -3*r + 15, -27*r - 4550 = -2*o - 25*r. Is 3 a factor of o?
True
Let s = 228 + -224. Suppose 4*p - 6*y + 2*y = 436, 0 = -s*p + 3*y + 434. Is p a multiple of 18?
False
Let d(r) = -12*r + 9. Let x be d(8). Suppose -2*g = k - 174, -2*k + 4*g = -464 + 84. Let t = x + k. Is t a multiple of 13?
False
Suppose k + 12*v = 7*v + 221, -2*k + 3*v = -507. Suppose 0 = g - 4*s - k, -23*s + 714 = 3*g - 27*s. Is g a multiple of 23?
False
Suppose 9*g = 8*g + 6. Let l be g/15*(5 - -35). Suppose -4*s = l, -4*s = -t - 2*s + 47. Is 13 a factor of t?
True
Suppose l - 2*l + q = 3, -2*l + 4*q = 16. Suppose 306 = l*a - 148. Let t = a - 62. Does 15 divide t?
True
Suppose 2*k = -4*j + 4818, 43*j - 44*j - 3 = 0. Does 32 divide k?
False
Suppose -2*b - 8 = -10*b. Let n be (b/4)/((-1)/(-44)). Let a = n + 1. Does 4 divide a?
True
Suppose -6*x + 1398 + 330 = 0. Let s = 481 - x. Let i = 372 - s. Is 11 a factor of i?
False
Let h(x) = 44*x**3 + 2*x**2 - 2*x + 1. Suppose -k + 37 + 0 = 0. Let l = k + -36. Is h(l) a multiple of 33?
False
Suppose -10731*g + 5376 = -10723*g. Is g a multiple of 68?
False
Let n be (-2)/3*(-2 + 11). Is 16 a factor of n + -1 + 10 + 237?
True
Let o(c) = -c**3 + 10*c**2 + 12*c - 8. Let m = 51 + -40. Let g be o(m). Is 31 a factor of -1*(g - (67 + -2))?
True
Suppose -2*v = 3*i - 28, 3*i + 0*i = -5*v + 34. Let s(h) = -i - 4*h - 12*h + 6*h. Does 29 divide s(-12)?
False
Suppose -1388 = -7*b + 698. Let d be 4/(-3 + -1) - (1 - b). Suppose 4*u = g - 112, -3*g + u = -u - d. Does 16 divide g?
True
Suppose -90 + 102 = -3*h. Does 8 divide -5 - (h - -7 - 256)?
True
Suppose z - 5*v + 3 = -2, 3*z = -5*v + 85. Suppose z*p - 812 = 6*p. Suppose 4*l = -3*q + 62, -2*l + 12 + p = 3*q. Does 7 divide q?
False
Let c = -986 + 1077. Let n be (-4)/10 + (-547)/(-5). Let z = n - c. Is z a multiple of 6?
True
Let u = 9041 - 7952. Does 155 divide u?
False
Suppose 5*x = -4*m + 53, 3*x - 15 = -3*m + 2*m. Suppose m*u = 7*u + 10. Suppose 4*q = u*p - 86, 0 = -5*p - q + 77 + 116. Is p a multiple of 13?
True
Suppose -1727195 = -65*u + 636465. Does 21 divide u?
False
Let r = 21230 + -7165. Does 29 divide r?
True
Let t = 29302 - 16502. Is t a multiple of 256?
True
Let q be 46*(2/5)/(6/15). Suppose q*b - 8388 = -2270. Does 7 divide b?
True
Let q(j) = 31*j + 1. Let n(t) = 15*t. Let r(s) = 5*n(s) - 3*q(s). Let a be r(-1). Let k = -12 + a. Is k a multiple of 3?
True
Suppose -5*u - 49 = -2*p, 5*u + 66 = p + 2*p. Suppose -4*l + p + 0 = -d, -2*l = -d - 11. Suppose l*q = 112 + 143. Does 15 divide q?
False
Let x(d) = -5*d**3 - d**2 - 7*d - 3. Let v(w) = -w**3 - w - 1. Let g(m) = 4*v(m) - x(m). Is g(5) a multiple of 17?
False
Let y be 566587/735 - 4/(-30). Let g = y - 646. Is g a multiple of 4?
False
Suppose 0 = 4*u + u - 3*g - 10, 0 = -2*u - 3*g + 4. Suppose -2*k + d = -108, -3*k = -u*k - 4*d - 40. Is k a multiple of 4?
True
Is 19 a factor of (-199100)/(-165) + 1/3?
False
Let v be (10 + 144/(-15))*(-5)/(-1). Suppose 0 = -n + 3, 4*j + v*n = -n + 2945. Is 45 a factor of j?
False
Let b be ((-15)/(-5))/3*655. Suppose -2251 = 6*m - b. Let j = -187 - m. Is 10 a factor of j?
False
Suppose k - 2*k + 2*o = -13, 4*o = 4*k - 36. Suppose 4*g = -327 - k. Let r = g + 152. Is r a multiple of 29?
False
Let i = 4372 + 5. Does 66 divide i?
False
Does 181 divide ((-514)/6 - 12 - 4)/((-2)/258)?
False
Let d = 393 + -141. Is 14 a factor of 82593/d - (-2)/8?
False
Let m(t) be the first derivative of 1/3*t**3 + 32*t + 14 + 1/2*t**2. Is 16 a factor of m(0)?
True
Let p be ((-2)/(-5))/((-92)/805)*-146. Let x = -231 + p. Is 44 a factor of x?
False
Let c(u) = -u**2 + u. Let k(q) = q**2 - 6*q + 7. Let t be k(3). Let x be c(t). Is 17 a factor of ((-51)/x)/(1 + 21/(-22))?
True
Let t = 2830 - 1507. Is t a multiple of 16?
False
Let i(q) = 4*q - 3. Let n be i(2). Let l = 20 - n. Suppose 43 = 2*z + l. Is 4 a factor of z?
False
Let k be 1484/8 - 6/12. Suppose -i - k = -z, 0 = -3*i + 11 - 5. Is z a multiple of 11?
True
Let m(l) be the first derivative of -5*l**2 + 54*l + 48. Does 40 divide m(-15)?
False
Let j(f) = 2*f**3 - 4*f**2 + 3*f + 16. Let m be j(5). Let c = m - 86. Is c a multiple of 19?
True
Let r = 2 + 18. Suppose 29*c = r*c + 10206. Is 54 a factor of c?
True
Suppos