t i(b) = b**3 - 15*b**2 - 13*b - 30. Let d = 72 + -56. Let w be i(d). Does 23 divide 175/2 + 27/w?
False
Let p be 17/(2 + (-46)/22). Is 3 a factor of 1311/11 - (-34)/p?
False
Is 18 a factor of 6330 - -6*(-36)/54?
False
Let k be -6*-22*2/12. Suppose n - 2*m = -4*m + k, n = -5*m + 37. Is n even?
True
Let w(o) = -4*o**3 + o**2 + 5*o + 11. Let b be w(5). Let c = 735 + b. Does 37 divide c?
True
Is 124/((-1)/(-3)*4/8) a multiple of 5?
False
Suppose -9*l + 616 = -95. Let n = -14 + -24. Let r = l + n. Does 16 divide r?
False
Suppose -118*b = 33*b - 27*b - 626200. Is 9 a factor of b?
False
Suppose 2*p + a = -1257 + 34202, -9*a = -3*p + 49407. Is 21 a factor of p?
False
Let a = 315 + 2884. Does 2 divide a?
False
Let p be (1 - (-146)/(-4))*-2. Let q be (-8186)/(-78) - (-128)/2496. Let g = q - p. Is g a multiple of 10?
False
Let v be (1/((-10)/(-8)))/((-6)/(-15)). Suppose 2*w - w - v = 0. Suppose -w*z - 2*z + 16 = 0. Is 3 a factor of z?
False
Let z = 353 + 69. Suppose 4*a - 137 = 5*r + z, -r = -a + 139. Is a a multiple of 8?
True
Let c(m) = 6824*m - 1357. Is 35 a factor of c(1)?
False
Let y(b) = -16*b**2 + 21*b - 1. Let k be y(4). Let l = -158 - k. Is 3 a factor of l?
True
Is ((-6)/5)/((-12)/101760) a multiple of 8?
True
Suppose -12*t = -1089 + 4065. Let i = -19 + -6. Let b = i - t. Is 25 a factor of b?
False
Suppose 3*w = d - 68, 3*d = d + 2*w + 124. Let b = 421 + d. Is b a multiple of 88?
False
Let z(r) be the first derivative of -r**4/4 - r**3/3 + r**2/2 + 2*r + 26. Let h be z(0). Suppose h*d = 5*d - l - 140, 260 = 5*d + 5*l. Is d a multiple of 16?
True
Let g(t) = 3*t + 21. Let b be g(0). Suppose -25 = -5*r, h + 5*r = -1 + b. Is (-2)/h - 2178/(-55) a multiple of 5?
True
Suppose 4*p + 74 + 190 = 0. Let g = -63 - p. Suppose -3*c - g*d = -0*d - 147, 5*c + 3*d = 255. Is 16 a factor of c?
False
Let c(t) = t**3 + 11*t**2 + 9*t - 10. Let g be c(-10). Suppose g = 27*s - 28*s + 167. Is 17 a factor of s?
False
Let h(g) = -g**3 - 3*g**2 + 2*g - 7. Let n be h(-4). Let t be 4*1/(-2) + 5*n. Let o = 15 - t. Does 12 divide o?
True
Does 6 divide (42/(-12) + 3)/((-29)/780216)?
True
Suppose 5*j - 2*h - 2 = 1, -4*h + 8 = 4*j. Is (-62)/(j*(-2)/32) a multiple of 16?
True
Suppose -16 = 4*m - 2*i, -3*m + 4*i = 2*m + 14. Let c be m/(-5)*3500/10. Suppose 0 = -13*b + 17*b - c. Is b a multiple of 21?
True
Let s be -4 - (-6 - 0/7). Suppose -s*w + 4*y = -208, 4*w - 4*y = -187 + 611. Is w a multiple of 4?
True
Suppose -47*n - 138 = -49*n. Suppose 41 = c + f, -64 = -3*c - f + n. Is c a multiple of 23?
True
Let c = 198 + -193. Suppose 6*m = 239 - c. Does 4 divide m?
False
Let h(z) = z**3 + 17*z**2 - 8*z - 1. Let l be -11 - (-1 + 9 + (-16)/4). Does 12 divide h(l)?
False
Let s = -3897 - -8005. Is s a multiple of 10?
False
Is 116 a factor of ((-1525)/(-75))/(2/6)*(201 - -17)?
False
Let n be (20/(-15))/(1*(-1)/9). Suppose 0 = -n*f + 1851 - 627. Is f a multiple of 14?
False
Let k be ((-6)/1 - -1)*(-8)/10. Suppose 3*i + c = -0*c + 1022, -2*c = -k. Suppose -i = -79*h + 74*h. Is 22 a factor of h?
False
Let o(v) = 506 - 2*v - 363 - 3*v. Is o(28) a multiple of 3?
True
Let x(s) = s**3 + 26*s**2 - s - 9. Let l be x(-26). Suppose l*k = 16*k + 320. Is 9 a factor of k?
False
Let v = 102875 - 61211. Is v a multiple of 88?
False
Does 9 divide (-1 + ((-30)/(-21))/(9/63))*997?
True
Suppose 2*w + 52 = 58. Suppose 5*z + 7 = -w. Does 7 divide z/8 - 141/(-4)?
True
Let t be (520/39)/(-20) - 512/6. Let i = t - -902. Does 48 divide i?
True
Let a(h) = 27 + 21 - 9 + 26 + 17*h. Is 14 a factor of a(12)?
False
Let z(h) = 107*h**2 + 2*h - 1. Let p be z(1). Is 48/p + (-4280)/(-9) a multiple of 17?
True
Let s(h) = 2627*h - 399. Does 19 divide s(1)?
False
Let n(z) = -z**3 + 24*z**2 + 29*z - 2. Let r be n(25). Let m be (2/8*0)/(-2). Suppose m = p - 2 + 3, -r = -g - p. Is 9 a factor of g?
True
Let q be 780 + (-5)/(-15)*3. Let a = q + -421. Is a a multiple of 9?
True
Let q be 7 - ((-80)/(-4))/4. Suppose -7 = 4*f - 27. Suppose -5*x + 12 = -q*x, 2*x = -f*c + 103. Is c a multiple of 16?
False
Suppose -3*j = 3*a - 50097, -4*a = -68*j + 70*j - 66794. Is 54 a factor of a?
False
Let q = -5374 - -6560. Is q a multiple of 9?
False
Let z(p) be the third derivative of -17/24*p**4 + 2*p**3 + 15*p**2 + 0*p + 0 - 1/60*p**5. Does 18 divide z(-9)?
False
Let r(c) = -3 - 2 + 4*c - 3 + c**3 + 13*c + 4*c**2. Let z(h) = -2*h**3 - 7*h**2 - 35*h + 17. Let x(n) = -13*r(n) - 6*z(n). Is x(-9) a multiple of 10?
True
Let a = 21 + -23. Let o be a - (268/(-2) + 2). Suppose 0 = -4*m - 3*g + 944, -m + 83 + o = -5*g. Is m a multiple of 43?
False
Is 22 a factor of (-72070)/(-6) + (-221)/(-663)?
True
Suppose 36*i - 37*i = 0. Suppose -7*v + 110724 + 346236 = i. Is 16 a factor of (-8)/(-52) + (v/(-52))/(-4)?
False
Suppose 5*s - 17930 = 5*j, -65*j = -5*s - 64*j + 17938. Does 78 divide s?
True
Let c(o) = 30*o**2 - 19*o - 18. Let g be c(-1). Suppose -25*p = -g*p + 3108. Is p a multiple of 18?
False
Suppose -q = -k + 1441, -8668 = -4*k - q - 2929. Let o = k - 924. Is o a multiple of 32?
True
Let m = -2280 - -4125. Is m a multiple of 7?
False
Suppose 90*u - 179*u = -81*u - 125536. Does 62 divide u?
False
Let f be (-3)/((-218)/106 - -2). Let t = 161 - f. Let m = -32 + t. Is m a multiple of 39?
False
Let c(s) be the first derivative of s**7/840 + s**6/120 - s**5/20 - 5*s**4/24 - 9*s**3 + 26. Let g(k) be the third derivative of c(k). Is g(-3) a multiple of 8?
False
Let v(t) = 153*t - 48. Let r be v(11). Suppose -5 = 5*c, -2*z - c + r = 4*c. Does 49 divide z?
False
Does 32 divide 1367/(2 - (-18)/(-11)) - (-570)/760?
False
Let i = 26138 + -14225. Is i a multiple of 11?
True
Suppose -39*i + 1411 = 319. Let c(o) = o**3 - 26*o**2 - 45*o - 28. Is c(i) a multiple of 2?
True
Let z = -41 + 47. Suppose 0 = -z*i + 140 + 82. Suppose -38 = -39*r + i*r. Does 8 divide r?
False
Suppose -13652 = -13*u - 301. Is 13 a factor of u?
True
Let i be (-1 - -2) + 5 - (219 - 213). Suppose i = -3*z - 12*y + 10*y + 28, 2*z - 3*y = -3. Does 3 divide z?
True
Let d(a) = -2*a + 23. Let r be d(10). Suppose -r*s = 3*i - 1458, -5*s + s = -4*i - 1936. Is (-4)/14 - s/(-7) a multiple of 10?
False
Let l(c) = 11*c**2 - 11 + 160*c - 159*c - 5*c**2. Let q be l(5). Suppose -3*h + q = 5*t - 2*h, -2*h = -t + 31. Is 29 a factor of t?
True
Suppose 489 = -0*q + 3*q. Suppose 2*j = j + q. Suppose -2*i - 5*w = -4*i + j, 109 = i + 3*w. Does 13 divide i?
False
Let z = -17526 + 20493. Is 305 a factor of z?
False
Let d(x) = 3*x + 7. Let z be (10/(-9)*3)/(12/18). Let y be d(z). Is 18 a factor of y*4*(-1)/3*3?
False
Suppose 3*g - y = 1, -2*y + 30 = 5*g + 2*y. Suppose -g*r = -5*f - 2748, -3*r + 2*r + 1374 = -3*f. Does 19 divide r?
False
Let l = 2040 + -1023. Suppose -m + 5*u = -341 - 14, -u + l = 3*m. Does 20 divide m?
True
Suppose r - o = 4285, 2*r + 5*o - o - 8594 = 0. Suppose -31*n = -r - 2810. Is n a multiple of 7?
False
Let f be ((-18)/12)/((-15)/4790). Let s = 1127 - f. Is s a multiple of 54?
True
Let u(k) = -3*k**2 + 1. Let r(j) = 13*j**2 - 27*j - 172. Let g(x) = -r(x) - 4*u(x). Does 35 divide g(20)?
False
Suppose -10*v + 4*v - 18 = 0. Let o = -57 + v. Let l = o - -135. Is l a multiple of 25?
True
Let b(j) = -j**2 + 14*j - 41. Let r(v) = 12*v**2 - 2*v - 1. Let c be r(1). Let x be b(c). Does 20 divide (-2 - -4)/(-8) + 161/x?
True
Let p = 4133 + 18000. Does 78 divide p?
False
Suppose 27790 - 4261 = 31*l. Suppose -501 = -2*a + l. Is 9 a factor of a?
True
Let j(q) = q**3 - 51*q**2 - 4*q - 146. Is j(57) a multiple of 20?
True
Let h = -341 - -347. Let y(w) be the first derivative of -w**4/4 + w**3 + 21*w**2/2 + 6*w + 4. Does 14 divide y(h)?
False
Let v(x) = 3*x**2 + 80*x - 33. Let h be v(-27). Is 13 a factor of (-18)/8*-738 - h/4?
False
Suppose -4*w + 5*q = -14 - 27, w - 29 = 5*q. Let k be (w/12)/((-7)/(-42)). Suppose -198 = -k*j - 0*j. Is 15 a factor of j?
False
Suppose 5*l + 109 - 474 = 0. Let r = l - 69. Suppose -r*f = -4*g + f + 146, -3*g + 121 = 2*f. Does 6 divide g?
False
Suppose -18*f + 51984 - 7507 = -8569. Is f a multiple of 9?
False
Suppose -178 = 5*u - 4*w, 0 = -3*u - 2*w + 23 - 143. Let g = 31 - u. Suppose r - 4*r - x = -100, -2*r - 3*x + g = 0. Does 7 divide r?
False
Suppose 226 = 7*k + 51. Let h(x) = x**3 - 26*x**2 + 24*x + 30. Let o be h(k). Suppose 4*r = -5*s - r + 245, -4*s - o*r + 192 = 0. Is 6 a fac