 + c*a, -4*a + 8*a = -3*j + 12. Let o(d) = 13*d**2 + d + 5. Does 31 divide o(j)?
True
Suppose 168 = 13*i - 9*i. Let a be (-1)/3 - 88/6. Is 38 a factor of -42*a/i*12?
False
Let f(c) = 4*c - 22. Let o be f(6). Suppose -3*v + 2*u + 2*u = 376, -u - o = 0. Let y = -18 - v. Does 11 divide y?
True
Let r = 2793 + -123. Is 19 a factor of r?
False
Suppose -2*u + 827 = -1949. Let t = u - 948. Does 44 divide t?
True
Let t(o) = o**3 - 42*o**2 - 76*o + 295. Is t(53) a multiple of 34?
True
Suppose 1037*y + 20105 = 5*w + 1040*y, 0 = -4*w - 3*y + 16087. Is 98 a factor of w?
True
Suppose x + 30 = -5*s, s - 2 + 0 = 0. Let t be (-150)/x + 3/(-4). Suppose 8*d - 1089 = -t*d. Is 33 a factor of d?
True
Suppose -338*c = -316*c - 391600. Is 10 a factor of c?
True
Let i(n) = -17*n - 10. Let l be i(16). Let u be -3 - ((-3)/(-6))/((-2)/(-1580)). Let w = l - u. Is 11 a factor of w?
False
Let r(w) be the second derivative of w**5/20 + 3*w**4/4 - w**3/6 + 5*w**2/2 + 2*w. Let j be r(-9). Is (j - 0)/((-3)/90*-5) a multiple of 28?
True
Let j(n) = -2*n**3 + 4*n**2 - 4*n**2 - 2*n**2 + 7*n. Let m = -2057 - -2053. Does 10 divide j(m)?
False
Suppose 3*m - 299 + 5 = 0. Let s = -47 + m. Let h = 99 - s. Does 12 divide h?
True
Let l(f) = -f**2 + 8*f - 3. Let n be l(7). Suppose -5*w + 17 = -3, -n*d + 4*w + 140 = 0. Suppose a + 5 = d. Does 17 divide a?
True
Let c(n) = 32*n - 12*n + n**2 + 3*n**2 + 4. Is 9 a factor of c(-11)?
False
Let q = 6008 + -688. Does 8 divide q?
True
Let c = -46700 + 47700. Is c a multiple of 50?
True
Suppose g - 8 = 3*h, 5*g + 13 + 4 = -4*h. Let v = 95 + -50. Let k = h + v. Is 6 a factor of k?
True
Is 3 a factor of ((-2)/4)/(30/(-420)) + 9170?
True
Let m(v) = 2*v - 20. Let s be m(7). Does 41 divide (1 - -2) + 141*(-22)/s?
False
Suppose 3*f + 3*s = 12414, 5*f - 20663 = -9*s + 13*s. Let k = -2334 + f. Is k a multiple of 27?
False
Let p(q) = -279 + 572 - 348 - 5*q. Let t be 23*-2*4/8. Is p(t) a multiple of 10?
True
Suppose 4*t = y + 286, -t - t - 5*y = -132. Suppose t*c = 66*c. Suppose c = -3*l + 3*s + 36 + 63, -3*s = 5*l - 181. Is l a multiple of 7?
True
Suppose 2*s - 60 - 652 = -2*u, 5*s - 1798 = 4*u. Suppose s*k - 359*k + 289 = 0. Is 8 a factor of k?
False
Let a = 97 + -107. Is (12/a)/(12/(-3420)) a multiple of 6?
True
Let v(h) = h**3 + 6*h**2 + h + 59. Let a be v(-7). Suppose -508 + 28 = -a*b. Is b a multiple of 16?
True
Let t be (-4 + 20)/(-2) - 3. Let s = 58 - t. Suppose -i = -0*i + 3*u - s, i + u - 75 = 0. Is i a multiple of 39?
True
Let r(p) = -42*p + 26. Let m be r(24). Let y = -649 - m. Is 37 a factor of y?
True
Let u(t) = t**3 - 14*t**2 + 104*t + 16. Is u(29) a multiple of 202?
False
Is 112 a factor of (-497)/(-639) + (0 - 4/(-18)) + 335?
True
Let k(s) = 1766*s + 124. Does 15 divide k(1)?
True
Let d = 3 + -14. Let o(y) = -18*y + 22. Is 44 a factor of o(d)?
True
Let o be 11/2 - (-9)/(-6). Suppose 5*z + 7 + 8 = 0, -4*l = -o*z - 32. Suppose -5*b + 49 = 2*x, 10*x + 48 = 3*b + l*x. Does 2 divide b?
False
Let s(k) = -k + 1. Let d = 38 + -40. Let n(j) = 42*j - 21. Let y(i) = d*n(i) - 42*s(i). Is y(-4) a multiple of 42?
True
Let c be (-6)/(-4)*6/3 - -80. Let t = -17 + c. Is 33 a factor of t?
True
Suppose 4*g + 2*o = -0*g + 58760, -73436 = -5*g + o. Is 36 a factor of g?
True
Let t be (2/(-6))/((-2)/54). Suppose 0 = t*z - 1 - 17. Suppose 0 = m + z - 135. Is m a multiple of 39?
False
Let f = 438 + -395. Suppose -y - 2*s = -f, y - 1 - 46 = -s. Is 26 a factor of y?
False
Suppose 5*w - 3*n - 12104 = 0, -2422 = -4*w + 3*w + n. Suppose w + 2401 = 5*p. Suppose -3*d = -2*i + 387, 4*i - p = -i + 4*d. Is 11 a factor of i?
False
Let m be (149 + -65)*(1 + 0)*-2. Does 9 divide (-73728)/m - (-1)/7?
False
Let y(h) = h**3 - 7*h**2 - 7*h - 11. Let z be ((-351)/9)/(12/(-4)). Is y(z) a multiple of 24?
True
Let o(r) = -r**2 + 5*r + 14. Let n be o(8). Does 14 divide (-1)/(n/(-265))*-4?
False
Let m be (-33)/(-4) - (-1)/(24/18). Let r be m/2 + (-3)/2. Suppose 0 = r*l + 3, 141 = 2*d + 2*l + 31. Is 17 a factor of d?
False
Is (-4)/48 - (-6346184)/1248 a multiple of 3?
True
Let r(m) = 8*m - 134. Let p be r(17). Suppose a + p*c - 366 = -2*c, -2*a + 747 = 3*c. Is 42 a factor of a?
True
Suppose -b + 3*z = 4, -2*z - 30 = 4*b + 14. Suppose -7*m - 144 = -11*m. Let y = m - b. Does 23 divide y?
True
Let w(j) = j**3 + 6*j**2 + 7*j + 7. Let s = -25 + 20. Let o be w(s). Let y(a) = -3*a**3 - 3*a**2 + 3*a + 4. Is y(o) a multiple of 12?
False
Does 20 divide ((-3156)/30)/(3*(-12)/630)?
False
Let r(u) = -u**3 - 2*u**2 + 2. Let w be r(-2). Let q be w/13 - (-36)/(-234). Suppose q = 6*k - 194 + 62. Is k a multiple of 11?
True
Is ((-1367212)/805)/((-118)/(-60) + -2) a multiple of 66?
True
Suppose -69841 - 129986 = -29*p + 166820. Does 48 divide p?
False
Suppose -737 + 233 = -6*a. Suppose -r - 4*q + a = 0, 0 = 8*q - 3*q - 25. Is r a multiple of 8?
True
Let k = 2445 - 2448. Suppose 0 = 7*n - 6*n + 57. Is 19 a factor of ((-2)/k)/((-1)/n)?
True
Let g(h) = -h**3 - 15*h**2 + 12*h - 64. Let x be g(-16). Suppose z - 3*p - 559 = x, 2*z = -z - 4*p + 1638. Is z a multiple of 38?
False
Let j(l) = l**2 - l. Let a(s) = 89*s**3 - 5*s**2 + 5*s + 1. Let z(u) = a(u) + 4*j(u). Is 9 a factor of z(1)?
True
Let k(n) be the first derivative of 1/2*n**2 + 6*n + 2/3*n**3 + 11. Does 28 divide k(6)?
True
Let g = 118 + -110. Let z(r) = 2*r**2 - 5*r + 17. Let s be z(g). Let q = s + -83. Does 3 divide q?
False
Suppose 264*o - 90969 = 175143. Is 72 a factor of o?
True
Suppose -2*o + 2932 = 2*r, -6*o - 1478 = -r - 4*o. Is 105 a factor of r?
True
Let a(b) = -1060*b + 1820. Does 100 divide a(-8)?
True
Suppose -6*u + 10 + 56 = 0. Suppose u*j = 18*j - 392. Is j a multiple of 12?
False
Suppose 0 = 7*k - k - 14046. Suppose -2*i = -337 - k. Suppose -5*y - 264 = -i. Does 41 divide y?
False
Suppose 172*v + 7084 = 1883948. Is v a multiple of 31?
True
Suppose 1393 + 3789 = 2*p. Suppose 5*o - 4*b = 2916, -3*o + p = 3*b + 836. Is o a multiple of 73?
True
Let j(n) = -772*n + 5517. Is 9 a factor of j(0)?
True
Let m(t) = t**3 + 61*t**2 + 656*t + 20. Is 12 a factor of m(-25)?
True
Suppose -3*c - 4*b + 1 = 5, 3*c - 2*b - 2 = 0. Suppose -t + 5*o + 2 = c, -4*o - 11 + 1 = -5*t. Suppose 3*k - 252 = 4*n, 0*k = 2*k + t*n - 182. Does 22 divide k?
True
Suppose -8*w = -7*w - 21. Suppose -4*t = -9 + w. Does 12 divide (-3 + t - -3) + (-99)/(-1)?
True
Let q(p) = 3*p**2 + 94*p + 38 - 4 + 98*p - 193*p. Let g(c) = -c**2 - 11. Let j(k) = 17*g(k) + 6*q(k). Is j(6) a multiple of 8?
False
Suppose a = 2*a. Suppose 2*c - h - 498 = -0*c, -2*c = -2*h - 500. Suppose r - 5*r + c = a. Is r a multiple of 23?
False
Suppose -1600*y - 109160 = -1610*y. Is y a multiple of 11?
False
Suppose 8*g + 6 = 6*g. Let c be (5 - 0)/(g/(-6)). Suppose 432 = -6*v + c*v. Is 18 a factor of v?
True
Suppose -28*r + 109*r = 1539090 - 135927. Does 68 divide r?
False
Let r = 270 + -60. Let t = r - 44. Is 14 a factor of t?
False
Suppose 7*o - 2*o = 0. Suppose -2*u = -2*l + 2*u + 454, 1168 = 5*l + u. Suppose -298 = -4*c - i, 4*i + l = 3*c - o*c. Does 39 divide c?
False
Let a(k) = -3*k**3 + 71*k**2 + 2*k + 410. Is 43 a factor of a(21)?
False
Suppose 84 = -2*l - 72. Let d = -46 - l. Does 8 divide d?
True
Suppose 4*b - 8*b + 12 = 0. Suppose -2*s - 1694 = -j, -2*s = b*j - 6*s - 5086. Suppose -11*i - 26 = -j. Is 19 a factor of i?
True
Let a = -87 + 82. Let i be 8/12*-3 - (a + -1). Suppose -248 = -i*n + 5*g, -4*n + 186 = -n + 5*g. Is n a multiple of 11?
False
Suppose -10*j = -1520 - 240. Let x = j + 974. Is x a multiple of 105?
False
Suppose 0 = 67*x - 232*x + 951342 + 1482078. Is 119 a factor of x?
False
Suppose 221*i = 218*i - 15. Does 60 divide (150/(-7))/(7*i/1960)?
True
Let t(p) = -p**3 - 48*p**2 + 229*p + 200. Does 96 divide t(-55)?
False
Suppose 159 = c - u, 171 = c - u - 4*u. Suppose 0 = c*g - 153*g - 18. Suppose g = 16*f - 138. Is 5 a factor of f?
False
Let s(i) = -59*i + 23. Let a = -69 - -63. Let n be -2*a*(-2)/8. Is s(n) a multiple of 11?
False
Let h be -1*(-3 - (-3 - -7)). Let j(p) = p**3 + 3*p**2 + 9*p + 29. Does 6 divide j(h)?
True
Let w = 427 + -369. Suppose w*n = 57*n + 406. Is 7 a factor of n?
True
Let u(h) = 440*h**2 - 566*h + 3380. Is u(6) a multiple of 92?
True
Is ((-126)/147)/(16/14)*-156 a multiple of 39?
True
Suppose 3*o = 4*q + 9400, -3*q + 12*o - 7051 = 10*o. Let f = -1255 - q. Is 27 a fact