?
False
Let x = 784 + -227. Let f = x + -391. Does 14 divide f?
False
Suppose -136479 = 46*s - 1011721. Is 32 a factor of s?
False
Suppose 5*u + 1090 = -2*x, -u - 4*x + 2*x = 226. Let l(a) = -43*a - 10. Let t be l(-8). Let g = t + u. Does 22 divide g?
False
Let p = 3428 - 143. Is p a multiple of 79?
False
Let m(r) = -27 - 111*r**2 + 112*r**2 - 26 + r - 2*r. Let k be m(-7). Suppose 0 = -4*d, -k*w + 3*d + 519 - 159 = 0. Does 24 divide w?
True
Let r(p) = -p**3 - 7*p**2 - 8*p - 7. Let n be r(-6). Let h be 1 - n - 1/((-2)/(-14)). Let v(z) = -27*z - 13. Is v(h) a multiple of 18?
False
Let t = -672 - -334. Let m = t - -708. Let z = m - 118. Is z a multiple of 42?
True
Let b(n) = 3*n**3 - 5*n**2 - 7*n - 27. Suppose -4*v + 7*v = 24. Is 103 a factor of b(v)?
True
Let o(c) = -c**2 - 10*c - 20. Let l be o(-5). Is 167 + 20/l + -3 a multiple of 10?
False
Suppose -2*f + 2327 = w, 3*w + 4*w = -f + 1157. Is f a multiple of 24?
False
Let x = 6264 + -4085. Is 16 a factor of x?
False
Let i be 2361/21 + (-12)/28. Let b be (104/(-6))/((i/24)/(-7)). Suppose 28*g - b*g = 256. Is 16 a factor of g?
True
Let f(h) be the first derivative of h**4/4 + 11*h**3/3 + 8*h**2 + 5*h + 31. Let m be f(-8). Suppose -2*d - 5*i + 45 = -0*d, 4*d + 3*i = m. Does 15 divide d?
True
Let x = 551 - -5297. Is 68 a factor of x?
True
Let a = 9987 - 5656. Does 26 divide a?
False
Let g = -96 - -108. Let v(y) = 13*y**2 - 65*y + 18. Is v(g) a multiple of 58?
False
Let k = -81 + 85. Suppose 7*m - k*m = 6, -4*m + 12 = g. Suppose v - 74 = -3*j - 11, -2*v = g*j - 124. Is 55 a factor of v?
False
Let u = -32 - -99. Let i = u + -46. Suppose 2*o - i = -o. Is 7 a factor of o?
True
Let p(d) = 218*d - 2289. Is 52 a factor of p(20)?
False
Suppose 181*g + 161*g - 2490072 = 204*g. Is 57 a factor of g?
False
Let r(d) = -440*d - 18. Let w(c) = -c**3 + 9*c**2 - 11*c + 16. Let o be w(8). Let s(v) = 293*v + 12. Let g(l) = o*s(l) - 5*r(l). Is 17 a factor of g(-1)?
False
Let x = -750 - -945. Let m = x - 66. Is m a multiple of 19?
False
Suppose -308 = 7*n - 1470. Let m = n + 4. Is 17 a factor of m?
True
Does 49 divide (28/3)/(28/2058)?
True
Let k = 302 + 4014. Does 13 divide k?
True
Let w(f) = -39*f + 37. Let q be (-8 - -9)*0 + -25. Is w(q) a multiple of 46?
True
Let t = 3376 - -1784. Is t a multiple of 12?
True
Suppose -4*a + 1911 = -3*k, -10*k + 14*k = a - 468. Suppose -190*m + 188*m + a = 0. Is m a multiple of 30?
True
Let k(t) = t + 1. Let r(y) = -y**3 + 12*y**2 - 14*y - 11. Let j(p) = 5*k(p) + r(p). Let f be j(11). Is 3 a factor of (3/(-2))/(8/f) - -12?
True
Let l(h) = 43*h + 472. Is l(-8) a multiple of 34?
False
Let q be (7 - 9) + (-11)/(55/(-230)). Suppose 0 = 2*k + 5 + 7. Let x = k + q. Is x a multiple of 3?
False
Let i(n) = n**2 - 2*n - 3. Let f be i(4). Let q(r) be the third derivative of r**5/15 - 19*r**4/24 + 11*r**3/6 + 135*r**2 + 1. Is q(f) a multiple of 16?
True
Let n = 194 + -15. Let k = 413 - n. Is k a multiple of 14?
False
Let n(z) = z**2 + 5*z + 1. Let x be n(-3). Let i(t) = -11*t - 29. Let r be i(x). Suppose 2*w = -5*b + 51, -3*b + 2*w + r = -b. Is b a multiple of 11?
True
Suppose -2*d - 16*d = -4302. Let a = 431 - d. Does 24 divide a?
True
Let g = -1974 - -3229. Let d = -649 + g. Is d a multiple of 74?
False
Is 6 a factor of ((-6)/(-5))/(30 + 5342384/(-178080))?
True
Is 50 a factor of (4450/7)/(1*(-2)/(-14))?
True
Suppose 4*h = y + 39, -4*y - 3*h - 244 = 3*h. Does 14 divide ((-10)/2 - 0)*7546/y?
True
Let o = 42 - 35. Suppose -o*l + 1649 = -1326. Does 10 divide l?
False
Suppose 29 = 2*w + h, 3*w + 4*h - 44 = w. Suppose w*k = -0*k + 876. Is 13 a factor of k?
False
Let y = -21598 + 31797. Is y a multiple of 47?
True
Suppose -2*h - 19*k = -20*k - 5181, -7791 = -3*h - 5*k. Is 96 a factor of h?
True
Does 5 divide 1 + (-214328)/(-104) + 24/156?
False
Suppose -1643 = 5*k + 322. Let l = -349 - k. Is 13 a factor of l?
False
Let b(t) = t**3 + 34*t**2 - 119*t - 72. Is 12 a factor of b(-35)?
True
Let y(n) = 6*n**2 - 10*n - 1. Let i be y(8). Let w = -434 + i. Let p = -107 - w. Does 6 divide p?
True
Suppose 0 = 3*o - 3 - 9. Let l(v) = v**2 + 7*v - 40. Let r be l(5). Suppose -o*c = -r, 3*k + 2*k - 80 = -c. Is 3 a factor of k?
True
Let g = -5411 + 5587. Does 8 divide g?
True
Suppose 0 = -2*n - b, 18 = n - 2*n - 5*b. Is 5 a factor of 21/(-14)*96*(-1)/n?
False
Suppose 4*d - 16856 = -2*v, -190*d - 6*v = -194*d + 16920. Does 38 divide d?
True
Let n be -5 - (4 + -2 - 112). Suppose -n*c + 107*c = 156. Does 4 divide c?
False
Let j = 11900 + -5552. Is j a multiple of 33?
False
Let u(h) = -12*h + 24. Let m be u(-10). Suppose 8*p - 6*p - m = 0. Does 6 divide p?
True
Does 81 divide 640/(-8)*4780/(-25) + -2?
False
Suppose 32*s = 34*s, 0 = 5*c - 4*s - 90780. Is 158 a factor of c?
False
Let b = 2414 - -17354. Is 28 a factor of b?
True
Suppose -5*i + 4144 + 266 = 0. Let a = -752 + i. Does 4 divide a?
False
Let y(k) = -52*k - 16. Let b be y(3). Let x be 8/10 - b/(-30)*-3. Let m(j) = -j**2 + 19*j + 10. Is 3 a factor of m(x)?
False
Let u(y) = y + 1. Let q(h) = -5*h - 10. Let f(d) = -q(d) - 4*u(d). Let r be f(-6). Suppose r = -12*g + 10*g + 22. Is 10 a factor of g?
False
Let y(m) = 138*m**2 - 53*m + 16. Is y(-4) a multiple of 29?
True
Let x(k) = -k + 17. Let h = -38 + 28. Let l be x(h). Suppose -3*d + 42 = -l. Is d a multiple of 23?
True
Let h = -45999 - -64534. Is 7 a factor of h?
False
Suppose 40*g - 29895 = 52606 + 36259. Is g a multiple of 3?
False
Let v(z) = 280*z - 574. Is v(23) a multiple of 75?
False
Suppose -95*s + 944 = -103*s. Does 14 divide (-3 - -1)/(s/72747)?
False
Let b(i) = 502*i**2 - 31*i - 1. Let w be b(2). Let d = -1024 + w. Is 114 a factor of d?
False
Let r(a) = 2*a**2 - 11*a - 8. Let f be r(6). Let q = 12 - f. Does 35 divide (7/((-28)/(-40)))/(2/q)?
True
Does 10 divide (-132)/(21 + -10) + 5888?
False
Suppose -2*o + 14 = 2*k, -5*o = -4*k + 2*k. Suppose o*b + 64 - 148 = 0. Is b a multiple of 6?
True
Suppose 0 = 2*a + 2, -2*a = 2*z - 533 + 59. Is 7 a factor of (126/(-12))/((-7)/z)?
True
Let a(q) = -41*q - 123. Suppose -3*t = -2*b + 87, -11*t - 117 = -7*t - 3*b. Does 17 divide a(t)?
False
Let o(a) = 4*a**2 + 56*a + 290. Does 10 divide o(-10)?
True
Does 13 divide 947/(-4)*-1*(-45 - -53)?
False
Let x(l) = -8*l - 11. Let t be x(-2). Let z(k) = 21*k**2 - 35*k - 8. Is 49 a factor of z(t)?
False
Is 0 + 4371 - ((-1 - -4) + (-1)/1) a multiple of 17?
True
Suppose -67*y = -14*y + 6535 - 21640. Is y a multiple of 19?
True
Suppose -2*l - 2*u + 40 = 0, -5*l = -7*l + u + 25. Let q(x) = 40*x + 39. Does 34 divide q(l)?
False
Let w(a) = 10 - 2*a**3 - 13*a**2 + 10 - 23. Let n be w(-9). Let y = n - 249. Is 33 a factor of y?
False
Suppose 0*y = 3*y - 6. Let u be (2 + -1 - y)/(-1). Is 2 + (4 - u) + 30 a multiple of 12?
False
Suppose -132*h = -243*h + 127*h - 370640. Is 205 a factor of h?
True
Suppose -1636 = 18*s - 15262. Suppose v + s = 5*b, -3*v + 6 = -v. Is 10 a factor of b?
False
Suppose 0 = v - p - 8348, 0*p - 25089 = -3*v - 2*p. Is 14 a factor of v?
False
Let f = 3194 - 2260. Suppose 218 + f = 12*x. Is x a multiple of 32?
True
Let u be (76/57)/((-2)/(-33)). Let m = -20 + u. Suppose 2*q = -n + 68, -m*q = 3*n + n - 266. Does 42 divide n?
False
Suppose 2*z + 16*z - 54 = 0. Suppose -z*p + 52 = -4*a, 2*p = 6*p - a - 91. Is p a multiple of 6?
True
Let y(h) = -29*h + 9. Suppose 0 = -0*i + 2*i + 10. Does 22 divide y(i)?
True
Suppose 0 = -k - 2*a + 7, -2*k - a + 11 = -0*a. Let h = 49 + k. Does 11 divide (3/(-2))/(h/(-2772))?
True
Let k be (-2)/11 - (3 + (-105)/33). Suppose k = -3*m + 9 - 3. Suppose -m*p + 35 = -21. Is 7 a factor of p?
True
Let q(m) be the third derivative of m**4/6 - 2*m**3/3 - 969*m**2 + 1. Let i(n) = n**2 - 3*n + 2. Let s be i(3). Does 4 divide q(s)?
True
Suppose -9*d = x - 14*d - 46, 0 = -5*x - 2*d + 338. Suppose 4*w = p + 539, -5*w + 207 + 475 = -4*p. Let f = w - x. Is f a multiple of 17?
True
Suppose 3*s + s - 72 = 2*a, -2*s + 2*a = -40. Suppose 105 = 21*x - s*x. Is (-4)/(-6) + 406/x a multiple of 4?
True
Suppose 2*a = 5*j + 447, -1080 = -5*a + 5*j - 0*j. Suppose -a = -4*u + 125. Does 42 divide u?
True
Let z = -140 + 146. Let r be 1/(-1)*((-6)/z - -3). Is (-1)/r - (-650)/4 a multiple of 10?
False
Let b(w) = 93*w**3 + w**2 - w. Let a(m) = -92*m**3 - m**2 + m. Let p(l) = -4*a(l) - 3*b(l). Let g be p(1). Let k = 10 + 