(x) = 87*x**3 + 2*x**2 - 4*x + 6. Let w(d) = d**2 - d. Let m be w(2). Let p be o(m). Let b = -490 + p. Does 22 divide b?
False
Let z = 287 + -295. Is ((-518)/(-18) - z/36) + 1 a multiple of 5?
True
Suppose -3*b = -130 - 68. Let p = b - -68. Is 24 a factor of p?
False
Suppose -27024 = -3*z - l, -23*z + 9021 = -22*z - 4*l. Does 99 divide z?
True
Suppose -i = 5*i - 54. Suppose -11*a = -i*a - 52. Does 13 divide a?
True
Suppose -o + g = -197, 0*o - 4*o = -3*g - 783. Does 35 divide ((-34992)/o)/((-3)/16)?
False
Let c = -49 + 49. Suppose 2*q + c*q + 3*v + 1 = 0, 4*v + 6 = 2*q. Is (23 + q)*14/3 a multiple of 12?
False
Suppose r + 365 = -4*r. Let j = -88 - r. Does 19 divide (1/(-3))/((-1)/j)*-19?
True
Let z(n) = n**3 - 6*n**2 + 3*n + 12. Let v be z(5). Let i(s) = s**3 - 14*s**2 - 26*s + 2. Let l be i(16). Suppose v*r = 104 + l. Is 10 a factor of r?
False
Let f = 27 - 48. Does 3 divide 168/(-36)*36/f?
False
Let h(t) = 644*t - 3818. Is h(13) a multiple of 66?
True
Let p = -4648 + 13800. Does 51 divide p?
False
Suppose -5*i + 4*j + 3010 + 5001 = 0, -3*i + 4814 = 5*j. Suppose -3*o = 4*y - i, -3*y + 843 = -5*o - 352. Is y a multiple of 8?
True
Let g = -28526 + 39508. Does 64 divide g?
False
Let p = -96 - -102. Is 3217/29 + p/87 a multiple of 16?
False
Let v be 1/7 - (-30)/35 - 4. Let z be (-4)/v - 3/9 - -4. Let u = 30 - z. Is u a multiple of 7?
False
Suppose a = 4*d + 4932, a = -5*d + 829 + 4121. Suppose 24*y = 11*y + a. Is 20 a factor of y?
True
Let q(x) = -4*x**3 - 18*x**2 - 6*x - 25. Let v be 11/3 + 18/54. Let n(s) = -5*s**3 - 17*s**2 - 7*s - 24. Let j(y) = v*q(y) - 3*n(y). Does 5 divide j(-21)?
True
Let o = 1036 + -576. Suppose 0 = 37*y + o - 19700. Is 18 a factor of y?
False
Let r(t) = 17*t**2 + t - 11. Let g be (-118)/(-295) + (-22)/5*-9. Suppose -5*b = -5*s, g = 5*s + 3*b + 2*b. Does 53 divide r(s)?
True
Let j(d) = 15*d - 6. Suppose -w - s = w - 7, 4*w - 3*s + 1 = 0. Let m be ((-2)/4 + 0)/(w/(-12)). Does 5 divide j(m)?
False
Let m(o) = o**2 + 9*o + 51. Let n be m(0). Suppose 2472 = -48*v + n*v. Is 19 a factor of v?
False
Let q(p) be the second derivative of -13/2*p**2 - 2*p - 2/3*p**3 + 0 + 1/12*p**4. Is q(11) a multiple of 10?
False
Is (-14 - -182)/(-14) + 9015 + -1 a multiple of 5?
False
Let n = 69 - 41. Let s = -35 + n. Is 4 a factor of (((-72)/21)/(-2))/((-2)/s)?
False
Let r(x) = x**2 + 6*x - 13. Let v be r(10). Let z = -40 + -20. Let o = v + z. Is o a multiple of 21?
False
Is 8 a factor of (6/3 - 3)*316*(-6 - -2)?
True
Let j(d) = 3*d**3 + 7*d**2 + 11*d + 6. Let c be j(-4). Let g = -46 - c. Let l = 123 - g. Is l a multiple of 12?
False
Suppose -s - 3 = -4*s, 0 = -f - 3*s + 11. Let u = 5 - f. Is 2 a factor of 2 - (-7 - 0 - u)?
True
Suppose 25876 = 2*b - 4*l, 66*b = 65*b + l + 12935. Is b a multiple of 6?
False
Let w = 1031 + -1028. Let r = 61 + -40. Is 422/14 - w/r a multiple of 10?
True
Suppose -615 = -115*p + 82760. Does 158 divide p?
False
Let s(w) = -14283*w**3 - 2*w**2 + 6*w + 5. Is s(-1) a multiple of 120?
True
Let h be (-5)/10*751 + 2/(-4). Let l be 3/(h/(-124) - 3). Suppose -l - 105 = -3*q. Does 12 divide q?
False
Let l = -44271 - -62820. Is 27 a factor of l?
True
Let n be (3 - -31)*2/4. Let l = -17 + n. Suppose -z + 31 = 4*r, z = -l*z + 5*r + 67. Is z a multiple of 11?
False
Suppose 0 = -37*c + 19*c + 5292. Let g = 528 + c. Is 74 a factor of g?
False
Let m be (-2534)/(-63) - (2 - 16/9). Let t be (-70796)/(-6) + m/(-12) + 3. Is 11 a factor of 4/(-34) + t/153?
True
Suppose -5*t - 4*y = -206, 5*t + 2*y = 3*y + 186. Suppose -35*b = -t*b + 516. Let p = b - 67. Is p a multiple of 17?
False
Let t = -20745 - -21105. Is 10 a factor of t?
True
Suppose -1 = 2*c - 5*h + 41, 4*h - 38 = 2*c. Let t(m) = -12 - 261*m - 15 + 258*m. Is 6 a factor of t(c)?
True
Let b(z) = z**2 - z + 1. Let k be b(1). Let x be k + (36 - -1) + -2. Does 9 divide x*(-3 - (-95)/20)?
True
Let h = 204 - 201. Suppose -3*j + 8 = j - 5*y, 3*y = 3*j - 6. Suppose -h*o - f + 268 = 4*f, j*o - 178 = -3*f. Does 12 divide o?
False
Does 20 divide 3659/3 - (-58)/174?
True
Suppose 22 = 16*n - 10. Suppose -n*m + 976 = -2*j, 4*m - 3224 + 1236 = -5*j. Is 58 a factor of m?
False
Suppose -20*x + 54836 = -28947 - 137597. Is x a multiple of 13?
False
Suppose 55*v + 1692 = 61*v. Let z = -186 + v. Is z a multiple of 32?
True
Is (1 - (-2)/(-4))*(143 + 3501) a multiple of 11?
False
Suppose 32*z - 31*z = -84. Is (-181)/(-6)*(90 + z) a multiple of 28?
False
Suppose 0 = -3*s - 1588 - 1193. Let a = 1798 + s. Does 26 divide a?
False
Suppose 3*b + 4*d - 10423 = 0, 15*b - 12*b = 18*d + 10269. Is 99 a factor of b?
True
Let s be 5/(35/(-3)) + (-1710)/(-21). Suppose -6*m - 3 = s. Is (m + 2)/(-4)*-1 + 51 a multiple of 8?
True
Does 36 divide (3809 + 1)*(5 - (-5 - (-203)/21))?
False
Suppose -5*q + 51182 = 4*h - 19790, -3*q + h + 42590 = 0. Does 182 divide q?
True
Suppose -603*a = -602*a - 1. Is 13 a factor of 290*a*27/18?
False
Let z = -2849 - -7466. Is 27 a factor of z?
True
Suppose -l + 3*c + c - 2 = 0, 5*l = -5*c + 15. Suppose -l*d + 159 = -259. Is 11 a factor of d?
True
Suppose -4*v + 88 = 4*y - 0, y + 83 = 4*v. Suppose v - 56 = -7*x. Is 5 a factor of x?
True
Let i(m) = m**2 + 18*m + 25. Let s be 106/(-8) - (-17)/68. Let x be i(s). Is (-510)/x + 2/8 a multiple of 3?
False
Let g(a) = 10*a**3 + 2*a**2 + a. Let d be g(2). Let p be (-11)/(231/d)*(8 + -1). Let r = 56 + p. Is 13 a factor of r?
True
Suppose -4*w - 3*l + 1647 = -4*l, l = -5*w + 2070. Suppose 8*i = w + 4403. Suppose 2*z + 2*z - f - i = 0, -3*f = -6. Is z a multiple of 32?
False
Let t be 0 + 4/1 - 314. Let u be t/1 - (13 - 11). Let p = u - -469. Is 30 a factor of p?
False
Let p(c) be the second derivative of 5*c**4/6 - 11*c**3/6 - 11*c**2/2 - 13*c - 3. Is 3 a factor of p(-2)?
True
Let q = 8379 - 3384. Is q a multiple of 25?
False
Let b(w) = -108*w**2 - 3*w + 5. Let f be b(2). Let c be f/(-3) + (-16)/(-24). Suppose 107 + c = 3*j. Does 42 divide j?
True
Suppose -17*p - 14*p = -52917. Suppose -6*a + 8*a = z + 849, z - p = -4*a. Is a a multiple of 6?
True
Let h = -5 - 59. Let y = 80 + h. Does 8 divide y?
True
Suppose 45*q - 368634 = 1282416. Does 144 divide q?
False
Let f = 385 - 303. Suppose -2*u + f = -478. Is 5 a factor of u?
True
Suppose 2*o - 4*d - 3264 = 0, 15*o + 3*d = 10*o + 8147. Does 7 divide o?
False
Let s = 12958 + -7089. Does 91 divide s?
False
Suppose 477*z - 361998 = 239*z + 225*z. Is 34 a factor of z?
True
Let h = 2395 + 11585. Does 8 divide h?
False
Let q be 1 - 2*3/6 - 13. Let v = q - -27. Does 20 divide ((60/14)/(-3))/((-1)/v)?
True
Suppose -322*v + 7704 = 317*v - 635*v. Is 156 a factor of v?
False
Suppose 5*r - 11 = 3*x, 4 = -0*r + r. Suppose 0 = 5*z + 4*p - 6058, -4*z + x*p + 2*p = -4830. Is 12 a factor of z?
False
Let k = -2326 + 2920. Is k a multiple of 22?
True
Let l(v) = -v**2 + 10*v - 16. Let d be l(2). Suppose d = -11*j - 3*j + 840. Does 22 divide j?
False
Let g(k) = k**3 + 7*k**2 - 3*k - 18. Let c = -107 + 100. Let x be g(c). Does 4 divide x/(3/(-12) + 1) - -75?
False
Let b be 18/(-12)*1*(-2)/(-3). Suppose -19 + 1 = 9*u. Does 7 divide u - ((-230)/2 - b)?
True
Is (-154)/(-35) + -6 - 3190/(-25) a multiple of 18?
True
Is 45 a factor of -3 + (-138 - -13)*-3 + 0/(-3)?
False
Is 5 a factor of (2/10*12 - 3) + (-186048)/(-5)?
False
Let s(r) = 51*r**2 - 18*r + 66. Let u be s(6). Let i = u + -1146. Is 6 a factor of i?
True
Suppose -797 = -9*f + 346. Suppose f = -4*h + 5*h - 5*d, -3*h + d + 423 = 0. Does 22 divide h?
False
Let h = 272 - 317. Is 52/130 + 3/(h/(-4884)) a multiple of 29?
False
Suppose 11*r - 6*r = -100. Let y be 1/((-4)/r) - (-1)/(-1). Suppose 0 = -2*d + 4, -3*x + 210 = y*d - d. Is 17 a factor of x?
True
Let q(s) = -4*s**3 - 15*s**2 + 20*s - 62. Let x(c) = -2*c**3 - 8*c**2 + 11*c - 31. Let w(v) = 2*q(v) - 5*x(v). Is 19 a factor of w(5)?
True
Suppose 4*t + 2*t + 0*t = 7140. Is 31 a factor of t?
False
Let y = -2 - -131. Suppose j - y = -42. Is j a multiple of 6?
False
Let x(i) = -i**3 + 11*i**2 - 12*i - 18. Let h(n) = 12*n**2 - 11*n - 18. Let o(s) = -3*h(s) + 2*x(s). Let a be o(10). Is 4/22 - a/44 a multiple of 16?
False
Suppose 2*m + 252 = -4*m. Suppose -2*a + 46 = -0*a. Let w = a - m. Is 13 a factor of w?
True
Suppose -2*t = -w + 2755, 5*t + 4469 + 6551 = 4*w. Is 19 a factor of w?
True
Suppose 160*q - 391608 = 97*q. Does 24 di