*u - 994 = -w*b, -b + 178 = -5*u. Does 17 divide b?
False
Suppose 4*x - 15 = -3*j, 8 = 4*x - j - 3*j. Suppose 2*v + 2 = x*k - 2, -3*k - v + 16 = 0. Is 9 a factor of 67/((4 - k) + 1)?
False
Suppose -3*h + 89 - 29 = 0. Let c be (-4)/(-10) - (3 - 1872/h). Is 13 a factor of (378/(-49))/9*c/(-1)?
True
Let w(l) = -l**3 - 19*l**2 - 44*l - 29. Is w(-25) a multiple of 32?
False
Suppose -5*c - 2*f - 7 = 0, 2*f = 4*c + 10 - 8. Is 17 a factor of (-6 - c) + (-5)/5 + 138?
False
Suppose 3*f = r + 4*r - 15273, 4*f = 3*r - 9155. Is 128 a factor of r?
False
Suppose -6*p + 39 - 9 = 0. Is 49 a factor of (p/((-100)/(-936)))/((-3)/(-10))?
False
Let j(q) = 117*q + 29. Let o(b) = -1. Let t(u) = j(u) - 3*o(u). Does 42 divide t(5)?
False
Let b be -1*4*(-130)/130. Let j(g) = -9*g**3 + 17*g**2 - 9*g + 18. Let u(d) = 5*d**3 - 9*d**2 + 4*d - 9. Let q(y) = -4*j(y) - 7*u(y). Is q(b) a multiple of 3?
False
Let n = -37 + 35. Let x = 2 + n. Suppose 5*u - 243 - 42 = x. Does 19 divide u?
True
Let m(o) be the second derivative of o**4/12 - 7*o**3/6 + 5*o**2 + 41*o. Let j be m(7). Suppose -684 = -j*k + 4*k. Is 11 a factor of k?
False
Let c(w) = 3843*w**2 + 210*w + 414. Is c(-2) a multiple of 39?
True
Is (-1)/(3/8 - (-28247)/(-75304)) a multiple of 46?
False
Let u be (-6)/30 - (-6024)/20. Suppose -2*c + 154 + u = -3*t, -4*t = 4*c - 960. Is c a multiple of 30?
False
Let s be 6/(-10) - 13052/(-20). Suppose v - 3*w = 832, 4*w = v - s - 180. Suppose -k = -5*k + v. Is k a multiple of 26?
True
Suppose -6*i = -7*i - 109. Let p = i - 21. Let l = p - -271. Does 47 divide l?
True
Let y = -2041 - -3713. Let z = y + -299. Is 29 a factor of z?
False
Let d be 2*(-2)/(-6) + 3485/15. Suppose -x = -361 - d. Is x a multiple of 28?
False
Let p = 20018 - -12316. Does 102 divide p?
True
Let w be 620/(-8) - (-1 - (-3)/(-6)). Let k = 211 + w. Does 14 divide k?
False
Let g(w) be the third derivative of -w**6/20 + w**5/30 + w**4/4 + w**3/2 - 16*w**2. Let j be g(-4). Let l = -278 + j. Is l a multiple of 39?
True
Suppose 5*i - 48 = -i. Suppose 2*w - i*w = -114. Let m = w - -29. Is 24 a factor of m?
True
Let t = -1657 - -2417. Let j = -387 + t. Is j a multiple of 20?
False
Let o = 106 + -55. Suppose 5*n + 15 = 0, -3*n + o = -4*k - 8*n. Is 13 a factor of (4/(-10))/(k/1620)?
False
Suppose -s - 2471 = 5*l - 7*l, 3710 = 3*l - 5*s. Suppose -115 - l = -6*r. Is 32 a factor of r?
False
Let m = -87 - -92. Suppose 5*c - 957 = -4*v, -m*v - 4*c + 276 + 927 = 0. Is 39 a factor of v?
False
Let d = -373 + 157. Let p = -198 - d. Does 9 divide p?
True
Let m = -14 - -37. Let i = -21 + m. Suppose 3*h + 2*h = 3*s + 66, i*h - 3*s = 30. Is 3 a factor of h?
True
Let q = -541 + 470. Let a = q - -351. Is 10 a factor of a?
True
Suppose -17*v + 24*v + 2856 = 0. Let n = v - -829. Does 56 divide n?
False
Let n = -796 - -776. Let m(c) = -14*c - 188. Does 3 divide m(n)?
False
Let l(g) = 5*g**2 + 207*g - 141. Does 4 divide l(19)?
False
Suppose -5*w - 3*p + 23 = 0, 9*w - 5 = 10*w + 3*p. Suppose 0 = -8*i + w*i + 2*j + 59, 5*i = -5*j + 325. Is 21 a factor of i?
True
Let m = -192 + 197. Suppose -z + m*z = 5*u - 1318, -z = u - 260. Is u a multiple of 29?
False
Let l(f) = -3*f**3 + 2*f**2 - 8*f + 13. Let m(a) = a**3 + a**2 - a + 2. Let u(x) = -l(x) + 5*m(x). Is 51 a factor of u(3)?
False
Let z(m) = m**3 + 2*m**2 - 8*m - 4. Let s = -71 + 68. Let c be z(s). Does 7 divide (-1)/((c/33)/((-34)/3))?
False
Let j(n) = -n**3 + 15*n**2 - 22*n - 66. Let c be j(13). Does 6 divide 105/c*14*6/(-18)?
False
Let t(k) = k**3 - 41*k**2 + 157*k + 4. Is t(38) a multiple of 14?
True
Let c be ((-56)/(-16))/(2/4). Suppose c*x - 24 = x. Suppose 0 = -p - 3*o - 0*o + 13, 13 = 3*p - x*o. Is p even?
False
Let r(g) = -g**3 - 10*g**2 - 38*g + 9. Let h be r(-13). Suppose -2*p = -3*l + 150 + h, -l + 2*p + 392 = 0. Is l a multiple of 23?
False
Let k = 525 - 523. Suppose 8*x - 2*i = 9*x - 404, k*i = -3*x + 1232. Does 23 divide x?
True
Let y be 538/(3/1 + -5). Let g = 248 - y. Is g a multiple of 11?
True
Is 9 a factor of 1/((-14)/12*40/(-100660))?
False
Suppose -474 = -j - 2*j. Suppose -5*w = 8*t - 3*t + 365, -3*t - 63 = w. Let h = j + w. Does 40 divide h?
True
Let j = -7061 + 14133. Is 13 a factor of j?
True
Suppose 0 = 332*j - 327*j - 5*l - 25255, -5*l = -2*j + 10081. Is 4 a factor of j?
False
Let x(p) = 226*p - 502. Is 13 a factor of x(10)?
False
Let i(c) = 232*c - 3. Let v be i(1). Let r = v - -40. Does 24 divide r?
False
Let g = 3360 + -1592. Is g a multiple of 52?
True
Let b = 97 + -97. Suppose b = 26*o - 22*o - 4140. Suppose n - o = -5*g, g - 224 = 4*n - 17. Is 39 a factor of g?
False
Let f(a) = 13*a - 1. Let u be f(1). Let c = 12 - u. Let t = c + 26. Is t a multiple of 15?
False
Suppose 808*d - 791*d = 32413 + 11090. Is d a multiple of 9?
False
Suppose -2*q + 30 = 4*v, 1 = -2*v - 3*q + 26. Suppose v*m - 913 = 3*y - 2733, -2*y + 4*m + 1214 = 0. Is y a multiple of 36?
False
Let m be (78/(-9))/(3/(-9)). Suppose 6*k = 7*k - m. Suppose -3*o + k - 2 = 0. Is 4 a factor of o?
True
Suppose -3*a = 3*g + 624, -2*g - 831 = 4*a + g. Suppose 0 = k - 2, 0*v + 5*v - 5*k = -40. Is 15 a factor of (a/46)/(v/40)?
True
Let p = 20003 + -11270. Does 205 divide p?
False
Let t be (-2)/(-6) + (-39775)/(-15). Suppose -11*j = -15*j + t. Suppose -j = -3*w - 123. Does 39 divide w?
False
Suppose -4*s = v - 389, 30*v - 33*v - 5*s = -1139. Let u be 2 + 3/(1 + 0). Suppose 3*r = -2*g + v, u*g - 737 = g - 3*r. Is g a multiple of 28?
False
Suppose 0 = 5*a + 2*d - 3*d - 37, -10 = -2*a + 2*d. Suppose a*j = 1419 + 701. Is j a multiple of 14?
False
Let f be (-3)/(3/((-9)/1)). Let u be 816/7 + f/21. Suppose w + 4*h = 39, 2*w - 4*h = h + u. Does 11 divide w?
False
Let r = -12 + 12. Suppose r = -9*n + n + 496. Suppose -4*m - 5*i = -n, 4*m - i = 5*m - 15. Is m a multiple of 2?
False
Let h be -7 + 1 + 2 + 0. Does 28 divide h/(-3 - 1508/(-504))?
True
Let t = -1686 - -1686. Let f(b) = 2*b**2 + 8 + 3*b**3 - 4*b**3 + 2. Is 10 a factor of f(t)?
True
Suppose -100*p + 3*p + 97 = 0. Let r be ((-82)/3)/(7/(-21)). Is 41 a factor of r/(p/2*2)?
True
Let x(s) = s**3 - 12*s**2 + 12*s + 16. Let f be x(11). Does 21 divide -9*9/(f/(-10))?
False
Suppose -452045 = -33*p - 142769. Suppose 15*y - 9*y - p = 0. Does 16 divide y?
False
Let b be 338/16 + 8/(-64). Let c = -26 + b. Does 9 divide 6/(-105)*c + 642/7?
False
Let m = 6544 - 3315. Is 92 a factor of m?
False
Let n be 1*((-6)/9)/(3/(-27)). Suppose -5*v + 3*o = -2073, -n*v + 4*v + 846 = 3*o. Is 68 a factor of v?
False
Let l = -491 - -493. Suppose 4*g - 281 = -5*y, l*y - 5*g - 98 = -12. Is y a multiple of 4?
False
Let s(t) = -2*t**3 - 19*t**2 - 11*t - 3. Let v be s(-9). Is v/(3/1) + 270 a multiple of 42?
False
Let k = -1079 + 432. Let f = k + 35. Does 14 divide (f/16 + 5)/((-2)/16)?
True
Let m = 74773 - 41299. Is 21 a factor of m?
True
Suppose -h - 42153 = -5*x + 46040, 4*x + 5*h - 70537 = 0. Does 144 divide x?
False
Let n be 18/(-135)*10*339/2. Let d = n + -49. Let w = 467 + d. Does 12 divide w?
True
Suppose -6*f + 2 + 16 = 0. Suppose -3*i + 4*k - 508 = -i, -f*i + k - 737 = 0. Let p = 362 + i. Is 37 a factor of p?
False
Suppose 0 = 9*d - 4*d - 425. Let r be d - (-4)/(-1 + -3). Suppose -15 = 3*l, -l + 17 = -q + r. Is q a multiple of 7?
False
Suppose -15*y = -18*y - 24. Let p(a) = 12*a + 108. Is 6 a factor of p(y)?
True
Let q be 34 - 16/24*(-9)/(-2). Let y(j) = -j**2 + 51*j - 9. Is y(q) a multiple of 14?
False
Suppose 11*j - 517 = n + 16*j, 4*n = 3*j - 2137. Let d = -383 - n. Is 17 a factor of d?
False
Suppose -c - c = -4*h + 24, -5*c = 3*h - 5. Let n be -3 - (-97 + (-10)/h). Let z = -62 + n. Does 6 divide z?
False
Suppose -3*b - 7*x + 5*x + 36416 = 0, -x = 4*b - 48553. Is b a multiple of 34?
True
Let r(c) = 5*c - 26 + 24*c - 9*c. Let t(w) = w**3 - 51*w**2 + 43*w + 354. Let g be t(50). Is 6 a factor of r(g)?
True
Suppose -43*b + 51*b = -1608. Let m = b - -247. Is m a multiple of 14?
False
Let h = -2970 + 1988. Does 4 divide (h/(-8) - 2)*8/3?
False
Is 22 a factor of (0 - 37233/(-5)) + (-338)/(-845)?
False
Suppose -2*v + 19*m = 23*m - 25382, 0 = v - 5*m - 12663. Is 11 a factor of v?
True
Suppose 4*h - 5*g = 243, 3*h = g + 61 + 124. Suppose 1750 = h*o - 27*o. Is 5 a factor of o?
True
Let g = -96 + 111. Does 26 divide (0 - (-1803)/g) + 1/(-5)?
False
Let i(h) = h + 4. Let k(x) = 2*x - 51. L