of p?
False
Suppose 0 = k - 3*v - 138, -4*k + 269 = -2*k + v. Let i = k - 34. Suppose 42 = s - 3*f, -f + 5*f + i = 3*s. Does 10 divide s?
False
Suppose -124 = 2*i - 4*q, 4*i + 0*i = -3*q - 270. Let m = 86 + i. Let k = 73 - m. Is k a multiple of 38?
False
Suppose -15 = -3*q + 3*f, -f + 13 = -5*q + 54. Suppose 3*s + 5*l + q = -38, -63 = 3*s - 3*l. Let z = 34 + s. Is z a multiple of 8?
False
Suppose 15*b - 53356 = -5*s + 12*b, -4*s + 42689 = 3*b. Is s a multiple of 100?
False
Suppose 147*d + 494 = 145*d. Let v = d - -588. Suppose -10*p = -1261 + v. Is p a multiple of 11?
False
Suppose 2*k - 3*a + 6*a = 3, k + 4*a - 14 = 0. Let q(m) = 9*m - 216 + 213 - 11*m. Does 3 divide q(k)?
True
Let s(j) be the second derivative of 23*j**3/3 - 51*j**2 - 39*j - 1. Does 16 divide s(21)?
True
Let b(s) = 3*s**2 - 33*s - 547. Is 25 a factor of b(-37)?
False
Let u = -18 - -22. Suppose -35 = -u*m + 165. Let i = 12 + m. Is 18 a factor of i?
False
Let h = 7059 + -5935. Is h a multiple of 6?
False
Is 8 a factor of (-6)/(-15) - ((-622930)/25)/7?
True
Let h be (30/(-4))/(52/16 - 4). Suppose -2 - 1 = -3*g + c, 4*c - h = g. Suppose 2*l - g*o = l + 62, -3*o = 9. Is l a multiple of 12?
False
Suppose -3*t - 2 = -8. Let f be (-72)/(-16) + -4 + (-31)/2. Does 12 divide ((-3)/(f/(-4)) + t)*20?
True
Is 36/(-84) - (11 - -1)*(-1369)/14 a multiple of 2?
False
Suppose -6*p - 43*p + 196 = 0. Suppose -5*z + 1185 = 3*d, -p*z - 2*d + 281 = -665. Does 18 divide z?
True
Let d(l) = -20740*l - 564. Does 228 divide d(-1)?
False
Let d(n) be the second derivative of -n**5/20 - 5*n**4/4 - 5*n**3/6 + 51*n**2/2 + 5*n + 4. Is d(-15) a multiple of 7?
True
Suppose -5*d = 7 - 22. Suppose -2*m + 3*u = -288, -2*m - 50 = d*u - 362. Does 10 divide m?
True
Let j(s) = s**2 + 6*s - 4. Suppose -20 = -v + 2*o + 4, 4*v - 4*o - 92 = 0. Is j(v) a multiple of 68?
True
Let t(k) = -18*k + 4 + 76*k + 11 + 7. Is t(12) a multiple of 12?
False
Suppose -15*y + 4944 = 2*m - 12*y, -3*y = -3*m + 7356. Is m a multiple of 12?
True
Suppose -7*y + 27 = -29. Suppose y*l - 6*l - 312 = 0. Does 6 divide l?
True
Let f(z) = -2284 - 50*z + 2282 - 18*z. Let r(t) = t + 2. Let g be r(-3). Does 22 divide f(g)?
True
Let k(m) be the second derivative of 2*m**3/3 + 5*m**2/2 - 8*m. Let g be k(3). Let i(j) = 2*j + 33. Does 24 divide i(g)?
False
Suppose 19*z - 535916 = 325371 + 20009. Does 13 divide z?
True
Let o(p) = -p**3 + 95*p**2 + 12*p - 540. Is 6 a factor of o(95)?
True
Let p = 74 + -21. Let s = 1245 + -1282. Let h = p + s. Is h a multiple of 16?
True
Suppose -39 = -3*v + 3*j, -6*j = -5*v - 2*j + 61. Is v*8/72 + 539 a multiple of 36?
True
Let x(s) = -117*s - 56. Let g be x(20). Let u = -1355 - g. Does 89 divide u?
False
Suppose -28*h - 548467 = -98*h + 418653. Is h a multiple of 8?
True
Does 62 divide 134*((-13)/4)/(97/(-194))?
False
Suppose 4*a - 14 = 3*i + 12, a + i = 3. Suppose 5*v = j - 227, 4*j = 6*j - a*v - 464. Does 12 divide j?
False
Let d = -271 + 848. Let i = -417 + d. Is i a multiple of 10?
True
Is (-2416704)/(-112) + (5 - 47/7) a multiple of 124?
True
Suppose 0 = 6*l - 36 + 6. Suppose 5*q + o = -4*o + 10, -l*q + 13 = 4*o. Suppose -2*u + q*y = -26, 2*y - 26 = -2*u + 14. Is 4 a factor of u?
False
Let x be (-1)/(2/4) + (8 - -190). Suppose -x*l + 1449 = -187*l. Is 13 a factor of l?
False
Suppose t - 2900 = -q, -2*q - 4066 = -5*t + 10399. Is 90 a factor of t?
False
Let z = 801 + -589. Suppose 2 + 6 = 4*y, 2*r - 4*y - z = 0. Is r a multiple of 22?
True
Is 7 a factor of 1273300/68 + (-21)/3 + -1?
False
Let a(n) = -5*n**3 - 13*n**2 - 8*n - 16. Let i be a(-3). Let u(k) = -k**3 - 5*k**2 - 4. Let m be u(-4). Let r = i - m. Does 5 divide r?
False
Let l = 3763 + -2875. Is l a multiple of 90?
False
Let p = 19 + 3827. Does 12 divide p?
False
Suppose 2*f - 419317 = 47*f - 1239352. Does 103 divide f?
False
Let z(b) = 3*b - 14. Let h be z(6). Let i be h - 17*3/(-1). Suppose f + 3*g - i = 44, 2*f + g - 213 = 0. Is 36 a factor of f?
True
Suppose -91614 - 189787 = -55*h + 21429. Does 52 divide h?
False
Suppose 0 = 5*p + 10 - 0. Is 11 a factor of (p - -788) + (27 - 21)?
True
Let a(n) = n - 27. Let l = 53 - 40. Let h be a(l). Does 14 divide (-1)/((-1)/h)*-8?
True
Suppose -2*s - 3*x + 19 = 0, 70*s + 4 = 67*s + 2*x. Suppose 0 = 9*b - 8*b + 5, s*d + 2*b - 2454 = 0. Is 88 a factor of d?
True
Suppose -43*k = -40*k + 18. Let q be 162/(-8)*k/9*-2. Let u = q + 47. Is 2 a factor of u?
True
Let b(c) = 2*c**2 - 7*c - 15. Let v be b(7). Suppose -v*z - 780 = -40*z. Does 13 divide z?
True
Let l = -96 + -170. Let v = 461 + l. Does 14 divide v?
False
Let h = 16101 - -17364. Is 118 a factor of h?
False
Let b be ((-1)/6*4 + -1)*-6. Suppose r = 2 + b. Does 9 divide (-1)/6 - (-542)/r?
True
Suppose 3*p = -2*p - 110. Let i(l) = -22*l - 64. Let g be i(-5). Let x = p + g. Is 24 a factor of x?
True
Let n(g) = -34*g**3 - 4*g**2 + 3*g. Let r be n(-4). Suppose 13*f - r = 8*f. Suppose 7*v - 13*v = -f. Is 16 a factor of v?
False
Is 13 a factor of (-15016)/(-5) - (-3)/(-9)*(-15)/(-25)?
True
Let s = -346 - -349. Suppose -s*k + 36*k = 4290. Does 5 divide k?
True
Suppose -4*r - 4*o + 20064 = 0, -51*o + 50*o = 2*r - 10026. Does 15 divide r?
True
Suppose 6*v - 3 = -3. Suppose v = -3*u + 10 + 11. Suppose -u*w + 11*w = 124. Is 28 a factor of w?
False
Let w(b) = b**3 - 22*b**2 + 19*b + 46. Let c(m) = -m + 8. Let g be c(-13). Is w(g) a multiple of 3?
False
Let m be ((-15)/(-6)*30)/(-1). Let r = m + 36. Let f = r - -124. Is 17 a factor of f?
True
Let h be (-3)/(15/544) + (-8)/40. Let s be 0 + 2 + (1 - -178). Let j = h + s. Is j a multiple of 18?
True
Let m(i) = i**3 + 37*i**2 + 34*i - 68. Let q be m(-36). Suppose -h + 4*v + 35 = 0, -q*h - 2*v + 27 = -59. Is h a multiple of 12?
False
Let g(x) be the first derivative of x**6/120 + 3*x**5/20 - x**4/6 + 2*x**3 - 11*x**2 + 6. Let h(w) be the second derivative of g(w). Is h(-9) a multiple of 13?
False
Let n = -4153 - -9733. Does 124 divide n?
True
Let m(t) be the second derivative of 46*t**3/3 - 34*t**2 + 81*t. Does 30 divide m(4)?
True
Let g(q) be the second derivative of 5/6*q**4 + 1/2*q**3 + 0 + 16*q - 3/2*q**2. Is g(3) a multiple of 24?
True
Suppose -4*z = 70 + 4590. Let h = -703 - z. Is h a multiple of 33?
True
Let q(w) = 174*w**2 + 613*w + 3. Is 163 a factor of q(-7)?
True
Let p be (-1 - 1) + 5 + -5. Let n be -2 + (286 - (2 - p)). Suppose 3*g - 4*y = n, -3*g + y - 2*y + 275 = 0. Is 23 a factor of g?
True
Let z = -1231 - -6004. Suppose z = 12*p - 1539. Is 63 a factor of p?
False
Let i(l) = 5*l**2 - 79*l + 936. Is 5 a factor of i(34)?
True
Let i = 38557 - 9385. Does 13 divide i?
True
Let c(l) = -30*l + 45. Let j(m) = m - 3. Let n(w) = c(w) + 3*j(w). Is n(-2) a multiple of 18?
True
Suppose 5*p = 1404 - 5114. Does 10 divide 5/2 - p/28?
False
Suppose 21 + 9 = 6*v. Suppose -v*l = -7*l - 202. Is 4 + 0 - (-2 + l) a multiple of 20?
False
Suppose 113*x - 8874 = 112*x. Is 4 a factor of x?
False
Let s be (5/10*10 - 88)/(-1). Suppose 3*l - 321 = -3*x, -x - 4*l + 9*l = -s. Does 9 divide x?
False
Let f(j) = 4*j**2 - 5*j + 7. Let a be f(10). Let b = -101 + a. Does 22 divide b?
False
Let c = -5081 - -7809. Does 37 divide c?
False
Let k(n) = -2*n**3 + 49*n**2 + 32*n - 199. Is 57 a factor of k(13)?
True
Let j = 2255 + -1460. Does 24 divide j?
False
Let n be 810/4*76/57 + -3. Suppose 7*f - 4*f - h - n = 0, 3*h = 4*f - 351. Is 15 a factor of f?
True
Let y = 3949 + 2867. Is 32 a factor of y?
True
Suppose 3*g = -5*y + 19023, y - 6*g + g - 3799 = 0. Is y a multiple of 6?
True
Let a(v) = 17*v**2 - 33*v + 260. Does 32 divide a(10)?
False
Let l(w) = -w**3 + 9*w**2 - 13*w + 42. Let t be l(10). Let i = 236 + t. Is i a multiple of 16?
True
Let p(c) = c**2 + 5*c + 10. Let w be p(-3). Let v(j) = -4*j**3 - 3*j**2 + 10*j. Let n be v(w). Is n*((-1)/(-4)*-2)/1 a multiple of 22?
True
Let n(a) = 19*a - 70. Let h(b) = 4*b - 1. Let m(p) = 5*h(p) - n(p). Is 6 a factor of m(-5)?
True
Let u(z) = 15*z + 15. Let s be u(-1). Does 10 divide s + (289 - -5 - -6)?
True
Let j = -11912 - -16940. Does 37 divide j?
False
Let f = -3200 - -6050. Is f a multiple of 75?
True
Is (-33153)/(-3) - (-50 - -51) a multiple of 34?
True
Let s(a) = 2*a**2 - 8*a - 3. Suppose -5*q + o - 23 = -3*o, 3*q + 2*o = -27. Does 19 divide s(q)?
False
Let f(h) = -2*h**2 + 18*h + 2. Let u be f(10). Let z = u + 24. Su