se
Suppose 0 = 3*j + l - 15, -3*j = -j + 4*l. Let c be (2/j)/((-1)/(-18)) - 2. Suppose 690 = -c*p + 7*p. Is p a multiple of 46?
True
Suppose 5*b + 0*b = 75. Suppose 31*i - b = 26*i. Suppose -i*c = 4*u - 219, -4*c + 2*u + u = -292. Is 22 a factor of c?
False
Suppose 14*y - 136 = 214. Is ((-81720)/y)/(-4) + 3/(-15) a multiple of 19?
True
Let c(l) = 4*l**2 + 13*l + 17. Let x be c(-16). Let z = x + -595. Is z a multiple of 17?
True
Suppose -138*m = -63277 - 126887. Is m a multiple of 4?
False
Suppose -7*x + 72 = 23. Suppose -x*a + 14168 = 15*a. Is a a multiple of 30?
False
Let h(y) be the first derivative of -7*y**2/2 - 12*y + 1. Let a be (-1)/3*(63 - 30). Does 13 divide h(a)?
True
Suppose 30*x - 38*x + 112 = 0. Suppose -x*w = -17*w + 4*o + 1454, -1460 = -3*w - 2*o. Does 35 divide w?
False
Suppose 0 = -174*f + 111813 - 12633. Is f a multiple of 95?
True
Let u = -114 - -114. Let f(k) = k**2 - 5*k + 746. Is f(u) a multiple of 20?
False
Let a(t) = t**3 - 23*t**2 + t - 23. Let b be a(23). Suppose s + b + 1 = 0. Is -10*(s + 0) + 3 a multiple of 4?
False
Let b = 15 - 15. Suppose -5*r - n + 40 = 0, 4*n = -3*r - b + 41. Suppose -r*d = 48 - 510. Does 22 divide d?
True
Let l be (9/(-9) - 1/(-2))*24. Is l/24 + (-2316)/(-8) a multiple of 7?
False
Let j(s) = -33*s**2 + 2. Let t be j(2). Let m(x) = 33*x**2 + 6*x - 5. Let a be m(3). Let r = t + a. Is r a multiple of 12?
True
Let i(f) = 2*f + 5. Let l be i(-4). Let d be 0/l - (-3 + 3/3). Suppose x = d*s + s + 66, 3*x + 4*s - 263 = 0. Is 14 a factor of x?
False
Suppose 0 = 5*t + 5*p - 5080, 421 = t - p - 603. Is 24 a factor of t?
False
Suppose 0 = 10*g - 17983 - 111887. Is g a multiple of 27?
True
Suppose -80*v = -262*v + 1239056. Is 148 a factor of v?
True
Suppose 5*p + 165 = 315. Let d = 156 + p. Does 6 divide d?
True
Is ((-50750)/5 + -8)*(-4 - 2/(-3)) a multiple of 10?
True
Let i(f) = 5*f**3 + 20*f**2 - 80*f + 1. Is 7 a factor of i(6)?
False
Suppose 510*x + 60 = 505*x. Does 21 divide -2 - -3*(-176)/x?
True
Is 9 a factor of ((-148)/(-8)*55)/((-2)/(-12))?
False
Let p(k) = -7*k**3 + 22*k**2 + 54*k - 25. Does 119 divide p(-12)?
False
Suppose 14725*z + 52668 = 14728*z. Is z a multiple of 38?
True
Is 2019554/1016 - ((-5)/4 + 1 + -1) a multiple of 51?
True
Let t be (-17)/51*(536 - -1). Let h = 28 - t. Is h a multiple of 28?
False
Let s(c) = 3*c**2 + 34*c + 465. Does 9 divide s(-39)?
False
Let u be (105/25 + -5)/(4/(-6010)). Let c = u + -2654. Is 16 a factor of ((16/12)/2)/((-8)/c)?
False
Let q = 10533 + -6647. Is 58 a factor of q?
True
Let o = -1437 - -5854. Is o a multiple of 36?
False
Suppose 0 = 6*x - 2*n - 90166, -x + 18*n - 20*n + 15030 = 0. Is 40 a factor of x?
False
Let l(p) = -p**3 + 8*p**2 + 5*p + 43. Let j(q) = -2*q**2 + q + 1. Let o(h) = -4*j(h) + l(h). Is 28 a factor of o(16)?
False
Let m = -128 - -132. Suppose 5*f = j + m*j, -4*j - 3 = -f. Is (18 - -13) + f + 4 a multiple of 10?
False
Let s(q) = 4*q - 25 - 17 + 5. Let h be s(8). Let d = h + 32. Is d a multiple of 9?
True
Suppose 3*l = -4*t - 40 + 48, -t + 2 = -2*l. Suppose -4*a + 208 = -t*h, -a + 45 = 3*h + 7. Is a a multiple of 10?
True
Let z = 1720 + -1720. Suppose 0*x = -3*x + 33. Suppose 9*q - 956 + x = z. Does 35 divide q?
True
Suppose -30*g - 77 = -1397. Is 5 a factor of -2*(-2)/4*(g - -49)?
False
Let z = 14 + -5. Suppose 2086 = 3*n - v, 8*v - z*v = 4*n - 2772. Is n a multiple of 28?
False
Suppose -5*k + 20 = 0, -3*k - 57737 = -4*a + 59487. Does 32 divide a?
False
Suppose 56 = 29*y - 25*y. Suppose y*o = 8*o + 480. Is 10 a factor of o?
True
Let b(f) = 2*f**2 - 75*f + 2134. Is b(79) a multiple of 60?
False
Let a = -4487 + 8940. Does 77 divide a?
False
Let z(n) = 2*n + 2 + 9 - 3*n. Let f be z(13). Let p(h) = 17*h**2 - 6. Does 8 divide p(f)?
False
Let k(g) = 72*g + 135 + 28*g + 53 - 97*g + 40*g. Does 58 divide k(30)?
False
Let t = 112656 + -79993. Is 367 a factor of t?
True
Let x = 187 + -183. Suppose x*m - 1303 = -a, -2*a - 143 = -m + 194. Is 35 a factor of m?
False
Is 6 a factor of (-2260)/(-904) - (-2 + 678/(-4))?
True
Suppose 4*l = 38 - 22. Let y(h) = -7*h**3 + 6*h**2 + 4*h - 3. Let z(m) = 20*m**3 - 18*m**2 - 11*m + 8. Let w(n) = -17*y(n) - 6*z(n). Is 2 a factor of w(l)?
False
Suppose -3*i = 4*c - 2*c - 25, -3*c = 2*i - 25. Is i/((-40)/(-5196)) - (-1)/2 a multiple of 65?
True
Suppose -666 = -6*k + 3*k. Suppose 40*p - 43*p + k = 0. Let c = 145 - p. Is c a multiple of 17?
False
Let x(y) = 2*y**3 + 3*y**2 - 2*y + 4. Let n be x(-4). Let m = 196 + n. Is m a multiple of 33?
False
Let v = 394 + -330. Suppose -40*j + 39*j = -v. Is 5 a factor of j?
False
Suppose -3139 = -8*n + 4701. Let k = -664 + n. Does 19 divide k?
False
Let z(y) = -13*y + 259. Let s be z(23). Is (-27)/(-72) + (-15345)/s a multiple of 48?
True
Let w(p) = -8*p**3 + 24*p**2 + 102*p + 17. Does 85 divide w(-14)?
True
Suppose 5*w - 4024 = 3476. Suppose 15*x + w = 10*x. Let b = x - -522. Does 9 divide b?
False
Let f(v) = v - 2. Let m be f(9). Let p(x) = -x**3 + 8*x**2 - 8*x - 5. Let d be p(m). Let r(k) = k**3 + 11*k**2 - 14*k - 11. Does 2 divide r(d)?
False
Is (-3 + 9)/((-39)/(-767)) a multiple of 2?
True
Let j(w) = 3 - 4 - 2*w - 9*w + 5. Let c(m) = 4*m - 53. Let h be c(13). Does 15 divide j(h)?
True
Is (3458/(-234)*6)/(((-8)/210)/4) a multiple of 133?
True
Does 29 divide 5*(-6)/225 + (-164172)/(-90)?
False
Let w(q) = -2*q**3 - 16*q**2 - 22*q - 12. Let o(u) = -5*u**3 - 47*u**2 - 67*u - 36. Let x(c) = 3*o(c) - 8*w(c). Let a be 9*(-2)/(30/(-25)). Does 9 divide x(a)?
True
Let s be (2/(-3))/((-32)/144). Suppose s*w = 721 - 97. Let n = w + -46. Is n a multiple of 31?
False
Let g(p) = 46*p - 130. Let l = -222 - -248. Is 41 a factor of g(l)?
True
Let y(n) = 21*n**3 + 3*n**2 + n + 1. Let f(z) = -z**3 + z**2 + 4*z - 1. Let p be f(-2). Let v be y(p). Suppose v = 3*g - g. Does 53 divide g?
False
Is ((-46)/299 - (-43)/26)*(1749 - -9) a multiple of 11?
False
Suppose 4*f - 2*b - 46 = 0, -55 = -3*f - 2*f + 5*b. Let g(r) = -r**2 + 18*r + 52. Does 17 divide g(f)?
False
Suppose 3*r - 2*q = -7*q + 6542, 5*q = -r + 2174. Is r a multiple of 84?
True
Let m(n) = -2*n**3 - 13*n**2 + 18*n + 18. Let k be m(-8). Is 9 a factor of 2/3 - (-1738)/k?
True
Let f(h) = h**3 - 11*h**2 - 8*h - 40. Let t be f(12). Does 44 divide ((-4212)/(-48) - (-2)/t)/2?
True
Suppose -37*z = 43 - 191. Suppose -z*x = 6*x - 3590. Does 40 divide x?
False
Suppose 3*j = 162 + 183. Let w = j - 14. Is 4 a factor of w?
False
Let b(i) = -174*i**3 + 5*i**2 + 13*i + 65. Is 13 a factor of b(-4)?
False
Let j(f) = -14*f + 102. Let h be j(7). Suppose -4*s - h*c = -c - 1627, 4*c - 4 = 0. Is s a multiple of 7?
True
Let o = -3633 + 53461. Does 71 divide o?
False
Suppose -108*u + 13026 = -82*u. Is u a multiple of 9?
False
Let u be (-12754)/(-30) + (-12)/90. Suppose h - 161 = b - u, 3*b - 797 = 4*h. Is b a multiple of 8?
False
Let w be -2 - -4 - (-14)/7. Suppose 4*s - w = 8*s, 0 = -l - s + 405. Is l a multiple of 19?
False
Let a(r) = -r**3 + 40*r**2 + 87*r - 124. Let k be a(42). Suppose -5*t + 5 = 0, 263 + 56 = 3*h - k*t. Does 34 divide h?
False
Let h = 17674 + -5762. Is h a multiple of 124?
False
Let x = -10762 + 11301. Does 11 divide x?
True
Suppose 3*o = 15, 32*a - 36*a + 18958 = 2*o. Suppose 6*i - 765 = a. Does 28 divide i?
False
Suppose 0 = -3*h + 2*y + 38590, 0 = 4*h + y - 75873 + 24405. Is h a multiple of 139?
False
Suppose 5*n = -0*n + 40. Let a be ((-128)/(-6) - -4)*3. Let h = n + a. Does 21 divide h?
True
Suppose -m - 7*v - 364 = -9*v, 0 = m + v + 352. Let x = m + 523. Is x a multiple of 2?
False
Let r(d) = -1958*d - 272. Is r(-14) a multiple of 10?
True
Let l be 21/(-70) - (-69566)/20. Suppose 2*g = 3*v + 1277, -l + 889 = -4*g - v. Is 17 a factor of g?
True
Let k(t) = -t**2 - 13*t + 71. Let l be k(-17). Let x(i) = -3*i + 4*i**2 + 3*i**3 + 0*i**3 + 6 + 0*i. Does 6 divide x(l)?
True
Suppose 3*a = -4*c + 5*a - 128, -34 = c - a. Let i = c - -34. Suppose 0 = i*q - 290 + 46. Is q a multiple of 34?
False
Let a = 354 - 351. Suppose -140 = -a*d + 3*x + 568, 1188 = 5*d - 3*x. Does 30 divide d?
True
Suppose u - 311*v = -315*v + 27837, -v - 111263 = -4*u. Is u a multiple of 194?
False
Suppose a = -3*v + 18793, -29*a - v = -34*a + 94061. Does 46 divide a?
False
Let h be (3878/56)/(1/32). Let n = -1483 + h. Does 21 divide n?
False
Let k(w) be the first derivative 