 divide 53/2 - (i + 4/(-8))?
True
Let l = 2397 + -1901. Is l a multiple of 11?
False
Does 9 divide 54/30*(10706 + -1)?
True
Let n(c) = 60*c**2 - 65*c - 1. Is n(4) a multiple of 3?
True
Let f(z) = -16*z - 32. Let n(s) = -s - 1. Let j(b) = 4*f(b) - 80*n(b). Suppose -4 + 10 = 2*a, -52 = -5*l + a. Is j(l) a multiple of 32?
True
Let r be -1 - -6 - (-6 - (4 - 11)). Suppose 3*j = -r*t + 1323, -319 - 355 = -2*t - 4*j. Is t a multiple of 68?
False
Let d be (-3)/(-15)*-1*0. Suppose d = 5*g - 18 - 142. Does 16 divide g?
True
Suppose -492*g = -494*g - 34. Let d(q) = -15*q - 163. Does 4 divide d(g)?
True
Is 30 a factor of -3*(2/6)/((-35)/85645)?
False
Let b be 4 - 0/(2 - -1). Suppose -b*q - 1 + 17 = 0. Suppose -q*o = 2*o - 528. Is o a multiple of 8?
True
Suppose 15 = -3*s, 2*x - s - 16108 = 12493. Is 17 a factor of x?
False
Does 22 divide 12/18*10062/13*586/4?
False
Let k(s) = s**3 - 15*s**2 + 248*s - 429*s + 220*s + 0*s**3 + 28. Does 32 divide k(12)?
True
Let j = -303 + 404. Let s = 20 + j. Is 11 a factor of s?
True
Suppose -13*t = 3*t - 64. Suppose -q + 91 + 15 = -5*d, -4*q = t*d - 400. Is q a multiple of 3?
False
Let t(w) = -4313*w**2 + 6*w - 1. Let q be t(1). Let n = -2696 - q. Does 13 divide n?
True
Suppose -710690 = -77*m + 47*m - 180590. Is 57 a factor of m?
True
Suppose 2*l - 706 = -4*z, -354 = -2*z + 4*l - 6*l. Suppose -2*v = 52 - 492. Suppose 6*b - z = v. Is b a multiple of 11?
True
Suppose 0 = 3*x + 178 + 11. Is 27 a factor of (-649)/(-4) + (x/12 - -5)?
True
Does 3 divide (1 - -404)*188/141?
True
Let s = -6545 + 7360. Is 56 a factor of s?
False
Let a be 2*((-6)/12 - 0)*-28. Suppose 10*k = a*k - 4410. Is 99 a factor of k?
False
Suppose -2*t + 8 = 5*v - 9*v, -4*v = t - 4. Let q(b) = 26*b**2 + 12*b - 44. Does 5 divide q(t)?
True
Suppose z + 8 = a, 4*a + 0*z - 26 = z. Suppose a*o + o - 28 = 0. Suppose -2*n + o*y + 148 = 0, -4*y + 4 = -3*y. Does 41 divide n?
True
Suppose -7*d + 71 = 29. Let m(a) = -2*a + 14. Let l be m(d). Suppose -u + 0*u - 161 = -l*t, 0 = -4*t + u + 323. Is 14 a factor of t?
False
Suppose -5*x + 820 = -x. Let o = 25 + x. Does 10 divide o?
True
Suppose 3*u + 3*v - 66 = 0, -3*u + 16*v = 21*v - 72. Does 16 divide 3/((-9)/(-11))*(u + 47)?
False
Suppose -2*t + 41441 = 5*b, 4*t - 2*b - 49335 = 33487. Is 31 a factor of t?
True
Suppose -29*a - 251 = -715. Let b(v) = 29*v + 71. Is b(a) a multiple of 19?
False
Let j be 90/(-5)*3/(-2). Suppose -11 = 2*p - j. Suppose -p = -10*a + 6*a. Is 2 a factor of a?
True
Suppose -115*q - 70634 = -118*q - 2*w, 35 = 5*w. Is 110 a factor of q?
True
Does 28 divide (-6*(-6 + 4496/15))/(4/(-10))?
False
Let c(n) = -n**3 - 56*n**2 - 134*n - 70. Does 177 divide c(-56)?
True
Let a be (-1)/(1/(-2)*-2) + 90. Let o = -5 + a. Let k = o + 64. Is 19 a factor of k?
False
Does 13 divide (1 + -10310)/(((-96)/(-240))/((-4)/10))?
True
Let x be (-583 + -6)*(-7)/7. Let p = x + -246. Is p a multiple of 13?
False
Let v(g) = 5*g - 7. Let r be v(2). Suppose 11*w - 7*w - 596 = -4*u, 5*u = r*w - 463. Suppose -4*o + w - 31 = 0. Does 15 divide o?
True
Let j(x) = -93*x - 74. Let w be j(-6). Suppose 7*g - w - 13 = 0. Does 8 divide g?
False
Suppose -h - 4*y = 2*h + 29, 5*h + 4*y = -51. Let n(c) = -c**3 - 11*c**2 - c - 5. Let l be n(h). Suppose 14*d - 48 = l*d. Does 6 divide d?
True
Let q be 63/(-2)*184/(-6). Suppose 2*s - 6 = 0, -9*s + 13*s = 3*j - q. Is j a multiple of 10?
False
Let i be 25*(-4 + 2)/(-2). Suppose b - 34 = -9. Let h = b + i. Does 10 divide h?
True
Does 131 divide 26/(-4)*-262*(-11 + (10 - -2))?
True
Let t(j) = 159*j + 302. Let c(g) = 50*g + 97. Let v(a) = 19*c(a) - 6*t(a). Let u(x) = -x**2 - 2*x + 3. Let b be u(-3). Is v(b) a multiple of 31?
True
Suppose 5*i = -8*v + 7*v - 220, -160 = 4*i + 4*v. Let j = 396 + i. Is 20 a factor of j?
False
Does 139 divide 4/(-6)*9*239*2085/(-90)?
True
Suppose 147*t + 159*t - 2253687 = -t. Does 14 divide t?
False
Let w = -1507 + 5203. Does 92 divide w?
False
Let i(c) = -3*c - 5. Let u(t) = -t**2 - 10*t - 21. Let k be u(-6). Let q be i(k). Does 4 divide (3 - 2 - -13)*(-12)/q?
True
Suppose 4*p - 35 + 11 = 4*s, 2*p + 4*s = -6. Suppose 0 = -2*r + 2*o + 130, -2*r - p*o - o = -130. Is r a multiple of 5?
True
Let w(n) = 2*n**3 + 16*n**2 - 10*n - 2. Let l = 202 + -210. Is 6 a factor of w(l)?
True
Suppose -3*s - 9190 = -8*s. Suppose -496 = 2*z - s. Let c = z + -456. Does 24 divide c?
False
Is 179 a factor of 4580/(30/6)*(54 + -8)?
False
Suppose -11*q + 491 + 2578 = 0. Is 5 a factor of q?
False
Let y = 1749 - 107. Suppose -2*t - 10*f = -8*f - y, 0 = -2*f + 2. Is 24 a factor of t?
False
Let a(m) = -2*m - 3. Let k be 1*2/(2 + 10/(-4)). Let c be a(k). Suppose -3*w - 7 = -2*r + 58, -c*r + 120 = w. Is r even?
False
Suppose -12*s = -414 - 18. Is s/(-234) - (-2 - 810/26) a multiple of 3?
True
Suppose -5 = 3*b - 14. Suppose -b*n = 9*n. Suppose 11*a + 66 - 253 = n. Does 4 divide a?
False
Suppose 0 = -76*r + 78*r + 12. Let p(o) = -o + 17. Is p(r) a multiple of 3?
False
Let d = -17 + 21. Suppose -d*k + 0*f + 240 = 2*f, 0 = 4*k + 4*f - 244. Suppose 5*t - k = 71. Does 8 divide t?
False
Suppose 0 = -2*q - 100 + 320. Let z = q - 115. Does 25 divide ((-195)/(-12) + z)/((-2)/(-40))?
True
Does 38 divide (-4)/(-78) - (-1351552)/624?
True
Does 52 divide (9 + 6)/((-8)/(-872))?
False
Let w(d) = -76*d + 1167. Is 74 a factor of w(-45)?
False
Let z = 30401 - 23483. Is 115 a factor of z?
False
Let g = 6270 + 6208. Is 6 a factor of g?
False
Let r(t) = t**2 + 158*t + 8352. Is 72 a factor of r(0)?
True
Let c be (-7 - -3)/(-4) + 1 - 2. Suppose 5*s = -c*s - 295. Let p = s - -66. Is 3 a factor of p?
False
Let y(k) = 9*k**2 + 4*k + 1. Let c be y(-1). Suppose -5*f + c*f = 176. Let p = f + -8. Is 24 a factor of p?
True
Suppose -4*u = -4*w - 8728, 4*u - 102*w - 8746 = -104*w. Is u a multiple of 13?
False
Let c be ((-3)/5)/(-4 - 183/(-45)). Let h = c - -68. Does 11 divide 2 + h + 4 - (-1 + 0)?
True
Let c = -12235 + 81837. Is 26 a factor of c?
True
Does 5 divide (-220)/(-330) + 2668/3?
True
Let h(x) = x**3 + 2*x**2 + x - 457. Let m be h(0). Let d = m + 710. Is d a multiple of 23?
True
Let q(d) = 26*d + 85. Let w(p) = 9*p + 28. Let b(u) = 4*q(u) - 14*w(u). Suppose -9*i - 8*i = 10*i + 270. Does 8 divide b(i)?
True
Let r(k) = 37*k + 503. Is 40 a factor of r(-8)?
False
Let k be (-448)/(-80) - (-4)/10. Let s(y) = 4 - 5 + 4 + k*y - 2*y + y**2. Is s(-6) a multiple of 2?
False
Suppose 3*x - 456 = 4*h - x, -4*h - 452 = -2*x. Let i = -62 - h. Let b = i + -11. Does 13 divide b?
True
Suppose -472*s - 18 = -469*s, 0 = -4*j - 4*s + 1352. Is j a multiple of 12?
False
Let u = 105 + -100. Let h be -4*(u + (-33)/6). Suppose 2*g - f - 195 = h*f, 3*g = -2*f + 325. Is 15 a factor of g?
True
Let l(u) = -u**2 + 25*u - 53. Let t(g) = g + 20. Let m be t(-9). Does 52 divide l(m)?
False
Suppose 0 = -5*n + 3*g + 3, n + 4*g = -2*n + 25. Let h be (23/7 - n) + 5424/(-21). Let a = h + 530. Does 44 divide a?
False
Let l(f) = -10*f**3 + 8*f**2 + 57*f + 459. Does 254 divide l(-8)?
False
Is 36 a factor of (-8016 + 0)*3/(-12)*9?
True
Let p = 4254 + -2287. Is p a multiple of 154?
False
Suppose 0 = -4*u - 3*t + 159, 2*u - 198 = -3*u - 4*t. Let p = u + -41. Does 37 divide (-10008)/(-90) - p/5?
True
Let j(w) = 2146*w - 2 - 2144*w + 11*w**3 + 2*w**2 + 6*w**3. Does 19 divide j(2)?
False
Let y = -4555 - -1496. Is 16 a factor of (-3)/(-9) + 1 - y/21?
False
Suppose -609 = -12*s - 189. Suppose -8*f + s*f - 1566 = 0. Does 29 divide f?
True
Let v(f) = 3*f**3 + 114*f**2 - 154*f + 117. Is v(-37) a multiple of 41?
True
Let j = 5462 - 2606. Is 51 a factor of j?
True
Let o be (-3 - -33) + 0/2. Let a = o + 114. Is a a multiple of 48?
True
Let o = 6123 + 4061. Is o a multiple of 95?
False
Let d(k) = 6*k + 18. Let y(m) = -m + 1. Let b(z) = d(z) + 9*y(z). Let h be b(-6). Let n = 29 + h. Is n a multiple of 8?
False
Suppose -15 - 9 = -12*w. Does 44 divide 5362/28 + 1/w?
False
Let b = -280 + 281. Is 57 a factor of (-2 + 3)/(b - 2)*-342?
True
Let j(b) = -2739*b - 254. Is 14 a factor of j(-8)?
True
Let g(q) = -q**2 - 11*q + 5. Let l be g(-11). Suppose -l = 2*h - 15. Is h*(56/64 - (-1)/8) a multiple of 5?
True
Let h(x) = 3*x**2 + 84*x - 150. Is h(-60) a multiple of 102?
True
Is 4/(((-118)/159477)/(-4*(-1)/(-3))) a multiple of 34?
True
Let f(h) = 74*h**2 - h. Let m = 144 - 74. Suppose -i - m = -6