*p, 2*r - j*r - p = -309. Suppose -26 = -6*x + r. Is 30 a factor of x?
True
Does 36 divide ((-3)/(-9) - 3)*112644/(-28)?
True
Suppose 11*u - 557 - 4063 = 0. Does 42 divide u?
True
Let t = 1943 - 588. Is t a multiple of 5?
True
Let a(p) = -2*p + 26. Let s be a(11). Suppose -3*k + 1946 = s*k. Let r = -143 + k. Does 60 divide r?
False
Let c(l) = -2*l + 84. Let m be c(35). Suppose 0 = 2*r - 5*q - 1198, 2*r + 18*q = m*q + 1162. Is r a multiple of 13?
False
Suppose -7*q + 1412 = -12*q - 2*h, 0 = 2*q + h + 564. Let b = -260 - q. Is 18 a factor of b?
False
Let y be (-4 + 114)*(0 + -1)/1. Let o = 149 + y. Is o a multiple of 13?
True
Let y(d) = -13*d**2 + 21. Let i be y(5). Let a = -101 - i. Is a a multiple of 29?
True
Let c(w) = -456*w - 3916. Is c(-18) a multiple of 18?
False
Let x(h) = -5*h + 6. Let c be x(6). Let r(m) = 52*m - 2. Let l be r(1). Let n = l + c. Does 3 divide n?
False
Let f = 65 + -64. Let m(t) = -9 + f + 79*t - 5*t. Is m(2) a multiple of 33?
False
Let b(l) = 613*l + 17. Let f(r) = -612*r - 18. Let x(m) = 6*b(m) + 7*f(m). Is x(-2) a multiple of 18?
True
Is (-98)/((-98)/(-7))*(-2 - 46089/21) a multiple of 63?
False
Let c(s) = -s**3 + 6*s**2 + 11*s - 10. Let n be (-1275)/30 - (-2)/(-4). Let m = n - -50. Does 6 divide c(m)?
True
Let i(k) = 9*k**2 - 17*k - 568. Is 108 a factor of i(37)?
True
Let p(d) = d**3 - 2*d**2 + 7*d + 434. Suppose 11*a = 5*a. Does 31 divide p(a)?
True
Suppose -2*x - 3*f = -5*x, 2*x - 18 = -4*f. Suppose o = 1, 3*o - 44 = 5*s - o. Is 9 a factor of 86/x*(-12)/s?
False
Suppose -212*r = -41*r - 9074286. Is r a multiple of 169?
True
Suppose 7*g + 2*v - 8391 = 4*g, 0 = -3*g - 5*v + 8400. Suppose 6*i - 4945 = g. Is 26 a factor of i?
False
Suppose m - f = 3*m - 86, -5*f = 3*m - 129. Let g = m - 18. Suppose -5*c = -g + 5. Does 4 divide c?
True
Let n = -218 + 438. Suppose -3*t + n = 2*t. Suppose -16 + t = l. Does 4 divide l?
True
Let n(j) = j**3 - 39*j**2 + 19*j - 121. Let f be n(36). Does 24 divide f/(-6) - (-195)/234?
False
Let f(m) = -m**2 + 4*m + 15. Suppose 2 = 4*g - 18. Let z be f(g). Suppose z*n - 380 = 5*n. Does 38 divide n?
True
Suppose z - c - 110 = 2*c, 5*c + 216 = 2*z. Suppose -10*j = -z - 2002. Is j a multiple of 31?
False
Is 4 a factor of 327/4 + (-60)/(-48)?
False
Let z be (2/4 - 0)*-12. Let t(x) = -2*x**2 - 56*x - 195. Let s be t(-3). Does 12 divide 3*5/s + (-518)/z?
False
Let l = 128 + -105. Does 2 divide 2/l + 61579/437?
False
Let k(f) = 113*f**2 + 4*f + 106. Is k(12) a multiple of 191?
True
Does 20 divide -27960*((-259)/(-222) + 9/(-6))?
True
Is (5/2)/(125/69700) a multiple of 2?
True
Let v(u) be the second derivative of -u**4/2 - 23*u**3/6 + 6*u**2 + 20*u. Let t be v(-9). Let z = -104 - t. Is z a multiple of 52?
False
Suppose 0*f - 5*f + 664 = 2*j, -4*j = 2*f - 1328. Suppose 0 = -2*b + j - 32. Is b a multiple of 30?
True
Suppose 771 - 123 = -8*v. Let q = v - -157. Does 35 divide q?
False
Let o(p) = 20*p - 96. Let r be o(8). Is 24/(0 - 1 - (-76)/r) a multiple of 4?
True
Does 42 divide 85393/22 + 42/28?
False
Suppose 0 = 9*z + 3 - 48. Suppose 5*d - 29 = -3*m, z*m + d - 10 = 3*m. Suppose 0 = -m*c + 17 + 55. Does 6 divide c?
True
Let m = 1707 + 940. Is m a multiple of 80?
False
Let c = -17 + 4. Let l(j) = 2*j + 28. Let i be l(c). Suppose 3*s - i = 97. Is 4 a factor of s?
False
Suppose -2 = t + 2*n, 4*n = -2*t + 6*n + 26. Suppose -8 = -t*l + 4*l. Suppose l*b - 394 = -2*s, -3*s - 4*b + 687 = 94. Does 13 divide s?
True
Suppose -8*o - 5*k = -5*o - 49, -5*o + 89 = k. Is 6 a factor of 3/o + 4305/90?
True
Suppose 2*b + 16 = 4*w, 0 = -0*w - 2*w - 4*b + 8. Suppose 2*l = 5*s - 0*s - 1278, -w*s - 4*l + 1028 = 0. Is s a multiple of 16?
True
Suppose 7708 + 1994 = 7*m. Suppose -11*k = -4*k - m. Is 18 a factor of k?
True
Let h = -311 - -670. Let x = h - 162. Suppose 2*r - 2*b = 14 + 88, -4*r - 3*b + x = 0. Does 25 divide r?
True
Let n = -10 + 25. Suppose -5*k + 28 = -2*m, -k + 2*m = -2*m - 20. Suppose -3*q = 4*p - 24, n = k*q + 2*p - 7. Is q a multiple of 4?
True
Let h(c) = 8*c**2 + 5*c + 7. Let t be h(-2). Let q = -24 + t. Suppose -l + 4 = -q. Is 5 a factor of l?
False
Suppose -2*a + 19634 = 4*l, 5*a = l - 683 - 4187. Is 18 a factor of l?
False
Let k(v) = v**3 - 10*v**2 - v + 10. Let l be k(10). Let x be 6 - ((l - (-6)/(-3)) + 5). Suppose -5*f - x*p = -444, -456 = 3*f - 8*f + 3*p. Does 18 divide f?
True
Let z = 12790 + -9022. Does 4 divide z?
True
Is 8 a factor of 1584/1*((-581)/(-231) - 16/88)?
True
Let z(o) = 3*o**2 - 88*o + 246. Does 20 divide z(49)?
False
Let b(k) = -7*k**3 + 8*k**2 + k + 10. Suppose 0 = 4*o - 0*o + 8. Let v(x) = 3*x**3 - 4*x**2 - x - 5. Let w(g) = o*b(g) - 5*v(g). Is w(4) a multiple of 2?
False
Let v = 47 + -45. Let m(h) = 6*h**2 - 19*h + 10 + v*h**2 - 9*h**2. Is m(-18) a multiple of 6?
False
Let o(c) = 5*c**2 + 16*c + 2. Let x be o(-2). Let z(r) = 2*r**2 - 5*r + 3. Is z(x) a multiple of 38?
False
Suppose -3*q + m + 22 = 3*m, 2*m - 34 = -5*q. Suppose 2003 = q*a + 563. Is a a multiple of 48?
True
Let q(z) = 3*z**2 - 4*z - 1. Let p be (-1 - 2)*-2*3/6. Suppose -4*w + 18 = -5*i, -2*i + p*w = 5 + 5. Does 4 divide q(i)?
False
Let p(o) be the first derivative of -o**3/3 - 7*o**2/2 - 4*o + 43. Let n be p(-6). Is 6 a factor of (25 - 3) + n/1?
True
Let i = -12625 + 14934. Is 17 a factor of i?
False
Suppose 3*z - 12 = -5*x + 278, -z + x + 102 = 0. Let y = z + -96. Suppose 0 = 2*b - y*b + 104. Is b a multiple of 26?
True
Suppose -15*i = -8359 - 19031. Is i a multiple of 37?
False
Let u(k) = 223*k + 8148. Is 114 a factor of u(102)?
True
Suppose 94*n - 28*n - 174064 = 33572. Is n a multiple of 11?
True
Suppose 0 = g + 3*s - 71, -2*g - 6*s = -9*s - 97. Is 26852/g - 2/(-4) a multiple of 20?
True
Suppose 0 = 10*m - 15*m - 3*c + 93461, -2*m = 6*c - 37418. Does 292 divide m?
True
Let m = -118 + 213. Let z = m + -91. Suppose 0 = z*o - 4, -2*d - 4*o + 3*o = -73. Is d a multiple of 4?
True
Suppose 4*f + 2567 = 4271. Is f a multiple of 10?
False
Is -18 + (-1764)/(-99) - ((-400890)/33 - 2) a multiple of 54?
True
Let n = 11632 - 7760. Does 16 divide n?
True
Let s = 839 + 2588. Does 25 divide s?
False
Let y = 1063 + 17065. Is 88 a factor of y?
True
Suppose 13742 = -2*t + 16004. Does 29 divide t?
True
Suppose 108*s - 126041 = -77892 + 118279. Does 31 divide s?
False
Let w = 300 - 199. Suppose -76 + w = x. Does 18 divide x?
False
Let y(o) = -41*o**3 - 8*o**2 + 2*o + 45. Does 26 divide y(-7)?
True
Let x(c) = c**3 - 6*c**2 + 6*c - 1. Let q be x(4). Let d(n) = n**3 + 8*n**2 - 6*n + 12. Let o be d(q). Is 38 a factor of -18 - o - (-48)/2*4?
False
Let j(o) = -o**3 + 19*o**2 - 29*o + 5. Suppose -2*l + 4*b - 2 = -28, 4*b + 35 = 5*l. Suppose 5*h = -l*t + 46, -2*h - 32 = -t - 13. Is j(t) a multiple of 6?
True
Let f = 464 - 542. Let y = 81 - -47. Let n = f + y. Is n a multiple of 25?
True
Suppose -a = -t - 16, 3*a = -4*t - t + 32. Suppose a = 4*y - 86. Is 25 a factor of y?
True
Suppose y = 4*t + 43133, 4*y - 155028 - 17336 = -5*t. Is y a multiple of 11?
False
Suppose -14 = -5*n - 4. Suppose y - 5*w = 34, 5*y - 97 = n*w + 142. Does 42 divide y?
False
Suppose 2*k + 396 + 322 = 2*w, 3*w - 5*k = 1077. Let g = -258 + w. Is 22 a factor of g?
False
Let d(s) = -118*s + 518. Does 130 divide d(-20)?
False
Let s = 8449 + -5978. Does 7 divide s?
True
Let u(f) = -f**3 + 5*f**2 + 8*f + 44. Let j be u(7). Suppose 3*a + 3*x = 2244, 0 = -j*a + 5*x + 824 + 665. Is 9 a factor of a?
True
Suppose -2*s = -2*m - 1506, 14*s - 2 = 15*s. Let t = 1156 + m. Does 23 divide t?
False
Let p(b) = 704*b**2 + 248*b - 2. Does 10 divide p(-3)?
True
Let n = -4108 - -7153. Is n a multiple of 105?
True
Suppose 45*p - 4 = 47*p. Let v be (1 - (1 - p))/((-8)/16). Suppose v*u = -15 + 87. Does 8 divide u?
False
Suppose 4*k = -2*g + 56, -4*k - 26 = -2*g - 2*k. Suppose -15 = -g*r + 15*r. Suppose r*t + 188 - 8 = d, -3*d + 2*t = -540. Does 18 divide d?
True
Let z be 27 + 5 + (-2 - 2). Let l be z/(-16)*-1 - 2/(-8). Is 7 a factor of 65 - (-1 - (l + -4 - 1))?
True
Let j(z) = -z**2 + 55*z + 34. Let m be j(23). Suppose -3*p + r = 6*r - 2324, -m = -p - 4*r. Is 62 a factor of p?
False
Let f(d) = 7*d**2 + 4*d. Let g be f(3). Suppose o = -7*o + 256. Suppose 76*i - g*i = o. Does 4 divide i?
True
Suppose -4212 = -2*v - 0*d - 4*d, -5*v + 2*d + 10518 = 0. Let r = 964 - v. Is r/(-21) - (24/(-14) - -