be (216/10)/(42/b). Let o = z + -343. Is o a multiple of 30?
False
Suppose 2795*x - 2797*x = -16. Let r = 10 + -16. Is x/r*18*(-1)/2 even?
True
Suppose 7*d + 21 = 10*d. Suppose -d + 16 = -3*c, i + 2*c + 27 = 0. Is 14 a factor of (119/i)/(2/(-36))?
False
Let d(s) be the third derivative of -s**4/6 - 14*s**3/3 - 6*s**2. Let t be d(-7). Suppose -l + 14 = -t. Does 6 divide l?
False
Suppose -17700 = -8*o - 4*o. Suppose 0*m - 2*m + 739 = -l, -4*m + l + o = 0. Does 16 divide m?
True
Let t = 82372 - 54189. Is t a multiple of 32?
False
Let s(t) = -2*t**2 + 62*t + 83. Is s(19) a multiple of 4?
False
Suppose 0 = -s - 7, -g - 1824 = -3*s - 6134. Is 32 a factor of g?
False
Suppose 0 = -209*w - 112*w + 4196754. Does 21 divide w?
False
Let v(l) = l + 11. Let m be v(-14). Does 12 divide (8 + m - 4)/(2/236)?
False
Suppose -g + 1052 = -2*d, 33*d = 29*d + 12. Is g a multiple of 8?
False
Let k(p) = -13*p - 2. Let v be k(1). Let m(z) = z**2 + 15*z + 6. Let l be m(v). Suppose c - l*c + 262 = 4*w, -2*c = 4*w - 100. Is c a multiple of 21?
False
Suppose -4*h + 568 = 5*s, -3*h - 129 = -4*s + 344. Let j = s + -8. Is j a multiple of 12?
True
Suppose 3*p = -5*c - 0*p + 514, -p = -5*c + 502. Let m = 121 - c. Is m a multiple of 5?
True
Let g = -3372 - -4318. Is g a multiple of 24?
False
Let b be 2/(-7) + (-19)/7. Let u be 80 - b/((-12)/(-16)). Let h = -47 + u. Does 10 divide h?
False
Let h(w) = -350*w - 60. Let d = -82 + 79. Does 73 divide h(d)?
False
Let r(s) = 25*s**3 - 9*s - 29. Let u(p) = -2*p**2 - p - 1. Let g(c) = -r(c) - 3*u(c). Does 60 divide g(-4)?
True
Suppose 4*v + 703 = k - 14296, -k + 14967 = 4*v. Is k a multiple of 108?
False
Let y = -17492 - -26844. Suppose -62*g + y = -48*g. Does 6 divide g?
False
Let d = 215 + -150. Suppose 62*f - d*f + 444 = 0. Suppose 0 = -j - k + 36, -5*j + f = -2*j - 5*k. Does 7 divide j?
False
Let k(o) = -14*o - 651. Does 7 divide k(-47)?
True
Let d(n) = -2*n**3 + 41*n**2 - 47*n - 113. Let h(x) = -x**3 + 20*x**2 - 23*x - 56. Let s(f) = 3*d(f) - 7*h(f). Is 13 a factor of s(16)?
True
Suppose 14*r = 10*r + 8. Let u be r - 0/((-20)/5). Suppose 20 = u*a + 2. Is 9 a factor of a?
True
Suppose 3*y - 53 = -2*r, -3*r - 5*y = -6*y - 96. Suppose -r*h + 1262 = 301. Is 2 a factor of h?
False
Is (-32 - -33)/((-1)/(-1550)) a multiple of 10?
True
Let a(u) = -50*u**3 + 15*u + 321. Is 7 a factor of a(-8)?
False
Let b(m) = 303*m - 1342. Is 41 a factor of b(100)?
False
Let s(j) = 3*j**2 - 26*j - 9. Let n be s(9). Suppose -25*g + 13083 + 42 = n. Does 15 divide g?
True
Suppose -4*s + 5*f = -64086 - 91431, 4*s = -4*f + 155436. Does 237 divide s?
True
Suppose -12*d + 5*d = 2*d. Suppose d = -7*l + 124 + 779. Does 11 divide l?
False
Let t(x) = x**3 + 5*x**2 - 9*x + 693. Is t(0) a multiple of 99?
True
Let v = 518 + -512. Suppose -5*c + 17*j + 4285 = 12*j, 3*j - v = 0. Is c a multiple of 7?
False
Let c(s) = 5*s + 8*s - s - 10*s + 6*s + 67. Is 12 a factor of c(6)?
False
Let w(a) = 51*a - 140. Let i(c) = 47*c - 139. Let j(q) = -5*i(q) + 4*w(q). Is 12 a factor of j(-15)?
True
Let p = 24 + -20. Let c be ((-336)/p)/(-4)*1. Suppose x + 134 = 4*l - c, 5*x - 105 = -2*l. Does 21 divide l?
False
Suppose 0 = 4*m + 2*c - 6, -3*m + c = -4 - 3. Suppose 10 = 2*d - m*j, -70 = -7*d + 2*d - 4*j. Does 7 divide d/(-3 - -1)*64/(-5)?
False
Let x(i) = 15*i**2 + 16*i + 28. Let a be x(5). Suppose -2*u = 3*b + a - 2052, 4*u - 3132 = -4*b. Is u a multiple of 65?
True
Let k = -356 + 336. Let q(t) = -27*t - 54. Is q(k) a multiple of 27?
True
Let l = 17302 - -36278. Is l a multiple of 380?
True
Let b(l) = 2699*l - 13559. Does 16 divide b(15)?
False
Let j = -31 - -34. Does 9 divide j/(-9)*-2 - (-5278)/39?
False
Suppose 3*j = 5*f - 2 + 15, 2*j - 15 = -3*f. Let a(w) = 6*w - 33. Let l be a(j). Suppose -160 = -l*u - 5*k, u + 4*u = 2*k + 308. Is u a multiple of 10?
True
Let g be (-1 + (-10)/(-6))*(-18)/(-4). Suppose 6*o - 3*x - 148 = 5*o, 4*o + g*x = 562. Is 8 a factor of o?
False
Suppose -46*z = -28*z + 108. Let j(g) = -3*g**3 + 3*g**2 + 33*g + 2. Does 6 divide j(z)?
False
Let r(p) = 35*p**2 - 4*p - 4. Let v(d) = -70*d**2 + 9*d + 9. Let m = 18 - 9. Let k(b) = m*r(b) + 4*v(b). Is 5 a factor of k(1)?
True
Let c = 482 + -485. Does 27 divide 2 + 2 - (-209 + 0 + c)?
True
Suppose -3 = -4*d + 25. Suppose -2*r = -0*r + 5*r - 518. Suppose 2*n + f = 155, n - d*f = -11*f + r. Is 3 a factor of n?
True
Suppose 3*k - 5*j = 5, 0 = k + j - 0 + 1. Suppose -4*x = 8, k = 4*m - 4*x + 5*x - 754. Does 21 divide m?
True
Let p(x) be the first derivative of 3*x**3 - 5*x**2 - 14*x + 4. Let y be p(-5). Suppose r + y = 5*r + 3*k, -5*r + 312 = -k. Does 42 divide r?
False
Let m(o) = 758*o**2 - 201*o - 97. Does 73 divide m(-6)?
True
Suppose 6*b = 939 + 549. Let n be (b/40 + -2)/((-1)/(-10)). Let f = n - 30. Is 3 a factor of f?
True
Let q be (24/42)/((-2)/(-7)). Suppose -2*s - s + 297 = q*o, o - 197 = -2*s. Let f = 253 - s. Is 26 a factor of f?
True
Let i(f) = 3*f**2 + 11*f - 66. Let y = -254 + 271. Is 52 a factor of i(y)?
True
Let d(g) = g**3 + 4*g**2 + 3. Let b be d(-4). Suppose w - 15 = -b*r, -2*r + 18 = 2*r + 2*w. Suppose -r*c + 170 = -c. Is c a multiple of 19?
False
Let z = -2478 - -7392. Is 27 a factor of z?
True
Let u(p) = 400*p + 37. Let t be u(2). Let g = t + -696. Does 2 divide g?
False
Let g(d) = 20*d**3 - 255*d**2 + 24*d - 6. Is 24 a factor of g(20)?
False
Let i(d) = 5*d**3 + 9*d**2 + 10*d + 1. Let x(c) = c**3. Let m(w) = i(w) - 6*x(w). Let t be m(10). Is 8/((-4)/t) + 30 a multiple of 15?
False
Suppose 3*o + 3*q = 81183, 4*o - 213*q = -209*q + 108204. Is 19 a factor of o?
True
Is 2/(-8)*1*-5 - 24142849/(-2764) a multiple of 52?
True
Let d(r) = -3*r**3 + 3*r**2 + 19*r - 16. Let t be d(8). Let w = -922 - t. Does 13 divide w?
True
Suppose -22 = -29*r + 27*r. Let d(a) = a**2 - 9*a - 26. Let z be d(r). Does 4 divide 7/(-42)*3 - 98/z?
True
Let b(x) = -4*x**2 + 5*x + 2. Let t be b(-2). Let m = 27 + t. Suppose -w + 58 = s, -m*s + 5*s - 293 = -5*w. Is w a multiple of 20?
False
Let c = -296 + 270. Let x(d) = -d**3 - d**2 - 38. Let k be x(0). Let y = c - k. Does 5 divide y?
False
Let s be -136 + -2 + -3 + 3. Does 11 divide s/(-1 - (-9 - -9))?
False
Let r(l) = -l**3 - 11*l**2 - 6*l + 1. Suppose -3*i + 44 = -7*i. Let u be r(i). Let b = u + 24. Is b a multiple of 13?
True
Suppose 2*b - 67*g = -68*g + 20011, 12*b + 5*g - 120063 = 0. Is b a multiple of 28?
False
Let y(k) = 280*k + 1. Let u be y(-2). Let m(j) = 23*j**2 - 29*j + 161. Let x be m(6). Let t = x + u. Is t a multiple of 32?
True
Suppose -75*u + 21382 = -15968. Is u a multiple of 19?
False
Suppose 11*s + 5*d - 635 = 6*s, -4*s = 2*d - 506. Suppose 6*f = 3*f - s. Is 47 a factor of 1317/7 - (-6)/f?
True
Let y = -22 - -26. Suppose -y*q - 1 = 3, 2*g = 3*q + 7. Suppose -6*r - 5*s = -g*r - 50, -3*s = r - 16. Is r a multiple of 5?
True
Let a be 4 - (-6 + 5) - 3. Let w(p) = 23*p - 3. Let c be w(5). Is 25 a factor of 21/(((-8)/c)/(a/(-3)))?
False
Suppose 10*h = -h + 319. Suppose -9*o - 2240 = -h*o. Is 16 a factor of o?
True
Suppose 6*c - 64 = -34. Let l(z) = 5*z**2 - 11*z + 10. Does 8 divide l(c)?
True
Suppose -2*m - 6*p + 329 = -11*p, 0 = 4*m - 5*p - 633. Let y be (2/(-5))/(3/(-540)). Let r = m - y. Is 25 a factor of r?
False
Let i be ((-12)/(-8))/((-23)/368). Is 6 a factor of i/(-72) + (-1617)/(-9)?
True
Suppose 0 = 453*d - 459*d + 18. Suppose -3*x + 1341 = 4*q, -d*x + 4*q + 463 = -2*x. Is 70 a factor of x?
False
Suppose -40 = 4*n + 4*c, 18 + 12 = -n + 4*c. Let u = 27 - n. Let s = -38 + u. Is s a multiple of 3?
True
Let a(o) = -2092*o + 1221. Is a(-7) a multiple of 68?
False
Suppose -211584 = -1516*j + 1500*j. Is j a multiple of 38?
True
Let p(n) = 32*n + 222. Suppose -3*o = -3*h - 60, -2*o - h - 86 = -6*o. Does 6 divide p(o)?
False
Suppose -i + 2841 - 28613 = -3*g, 3*i + 25776 = 3*g. Does 155 divide g?
False
Suppose 5*h = 3*h - 8*h + 190. Let y be 0 - -2*26/(-4). Let s = h - y. Is s a multiple of 4?
True
Let m = -587 - -4101. Does 14 divide m?
True
Let w = -45046 - -46848. Does 64 divide w?
False
Let r(s) = -46*s + 4. Let x(y) = 13*y**2 - 15*y - 5. Let u(o) = -3*o**2 + 4*o + 1. Let h(k) = 9*u(k) + 2*x(k). Let n be h(6). Is r(n) a multiple of 20?
False
Let b = -6916 + 18100. Is 74 a factor of b?
False
Suppose 20*y - 135550 = -30*y. Is 48 a factor of y?
False
Let j be -892 + 1 -