903*u + 75934. Is 28 a factor of u?
False
Suppose -3*r + 22 = 4*f - 4*r, -3*r - 6 = 0. Let n be (f/10 + -1)*-16. Suppose -n*o = -962 - 182. Does 12 divide o?
False
Let x = -838 + 471. Let m = -217 - x. Suppose 8*i + m = 9*i. Is 30 a factor of i?
True
Let n(x) be the second derivative of x**5/20 + 19*x**4/12 - 17*x**3/2 + 3*x**2/2 + 23*x + 2. Does 32 divide n(-21)?
True
Is (12 + (2 - -2))*1305/90 a multiple of 76?
False
Let g be 1418/12 + (-39)/234. Is 3 a factor of -5*g/(-15) - (-1)/(-3)?
True
Let i(s) = -4*s**3 - 63*s**2 - 179*s + 16. Is 15 a factor of i(-24)?
False
Let h = -758 - -1151. Suppose 0 = -j + 2*x + 46 + h, 4*x - 1287 = -3*j. Is j a multiple of 42?
False
Let u(c) = c**2 - 6*c - 11. Let s be u(10). Let a = -29 + s. Suppose 4*z = 2*m - 30, 3*m - 4*z + a*z = 55. Is 16 a factor of m?
False
Let t(u) = u**2 - 9. Suppose 0 = 5*k - 4*k - 7. Let d be t(k). Let h = -18 + d. Does 11 divide h?
True
Let o(g) = -116*g**2 + g + 1. Let s(n) = -2*n - 9. Let j be s(-4). Let q be o(j). Is (-12)/(-3) - 1*q a multiple of 24?
True
Let y(w) = w**3 + 3*w**2 + 70*w - 72. Is 106 a factor of y(16)?
False
Suppose -497 = 10*g + 2693. Let t = -309 - g. Does 5 divide t?
True
Let j be 3470/(-3) + 13/(-39). Let n = -337 - j. Does 41 divide n?
True
Let y(f) = -6*f - 5*f + 5*f + 20*f + 10*f + f**2 - 80. Is 32 a factor of y(4)?
True
Suppose 15*v + 25 = 40. Let j(a) = 13*a + 9. Let l be j(v). Suppose 2*x - 32 - l = 0. Is 3 a factor of x?
True
Let n(x) = -244*x - 681. Is 19 a factor of n(-20)?
True
Suppose 3322 = -4*p - 2466. Let v = -788 - p. Is v a multiple of 26?
False
Let k be (-1)/(-6) + (25/30 - 1). Suppose k = -2*j + z - 5*z + 898, -4*j + 1848 = -5*z. Is 18 a factor of j?
False
Suppose 105*n - 91*n - 3080 = 0. Does 5 divide n?
True
Let c be (-3 + (-226)/(-8))/(24/96). Let z = 61 + c. Does 5 divide z?
False
Let z = 6866 - 2446. Is 10 a factor of z?
True
Is (-2*17/10 - 5)*-1575 a multiple of 98?
True
Suppose f = 5*m + 13, -f + 25 = 2*f - m. Let d = 146 - f. Let a = d + -98. Is 20 a factor of a?
True
Let r = -59 - -116. Suppose h = -4*y - 207, -2*y + 2*h = -6*y - 206. Let s = r + y. Does 2 divide s?
False
Let x(l) = 692*l**2 + 12*l + 15. Let r be (-1 - -5)/(-4)*1. Is x(r) a multiple of 16?
False
Suppose 0 - 2 = -2*b. Suppose -288 = -2*c + 11*c. Does 11 divide (3*b)/(-9 - -8) - c?
False
Let d(i) = -i**2 - 27*i - 24. Let x(y) = -y**2 - 28*y - 24. Let n(u) = 6*d(u) - 5*x(u). Let s = 154 + -171. Is n(s) a multiple of 12?
False
Let o(g) = -g**3 - 4*g**2 + 7*g + 3. Let w be o(-5). Let d(k) = k**3 + 12*k**2 + 9*k - 14. Is 24 a factor of d(w)?
True
Suppose -4*q = -16*q + 300. Suppose -31 = -v - q. Is 35 a factor of (4/v)/(9/945)?
True
Suppose -a - 106502 + 651542 = 15*a. Is a a multiple of 9?
True
Let h be 1/(((-15)/(-6))/5). Let k(d) = 2*d**2 - d**2 + 2*d - 3*d + d**h + 3. Does 12 divide k(5)?
True
Let y = 4374 + -1956. Is 93 a factor of y?
True
Let m = 27 + -19. Suppose 0 = -m*o - 2*o. Suppose 4*n + 57 + 6 = 3*t, -2*t - 3*n + 42 = o. Is t a multiple of 5?
False
Let t(x) = 30*x + 2. Let j be t(2). Suppose u + 7 = 4, 750 = 5*i - 5*u. Let d = i - j. Is d a multiple of 17?
True
Suppose 465*r - 1898688 = 417*r. Does 44 divide r?
True
Suppose 4*p - 130 = -3*u, 0*p + 4*p - 168 = -4*u. Let o be 0 + -73 + (-9 - -2). Let d = u - o. Is d a multiple of 6?
False
Does 9 divide (-15 + (11 - -674))*(-2)/(-4)?
False
Let r be 13 + 37 + (-1)/((-1)/5). Suppose -14*q - r = -4423. Does 39 divide q?
True
Suppose 0 = -42*d - 48*d + 35640. Does 4 divide d?
True
Let o(g) = -g**3 + g**2 - g + 1. Let w(u) = -12*u**3 - u**2 + u - 1. Let m(r) = -3*o(r) - w(r). Suppose 6*b - 2*b - 8 = 0. Is m(b) a multiple of 33?
False
Suppose 39 + 9 = -3*o. Suppose 0 = -k + 4*q - 3608, 11*k + 5*q = 9*k - 7242. Does 29 divide (2/4)/(o/k)?
False
Let d = 38 + 115. Suppose d*s - 18 = 151*s. Let h(r) = r**3 - 9*r**2 + 12*r + 12. Is 20 a factor of h(s)?
True
Let h be 10 - (7 + (5 - 5)). Suppose -n - 12 = 2*n, -h*l - 2*n + 187 = 0. Is 4 a factor of l?
False
Suppose -5*u + 246 = -54. Let l be 0 - (10/u + 2042/(-12)). Suppose w = b + 38, -5*w + 4*b + l + 24 = 0. Is 17 a factor of w?
False
Suppose l - 3150 = -3*s - 141, 2*l + 2*s = 6026. Suppose -15*n + l = -0*n. Is n a multiple of 16?
False
Let x(p) = -379*p - 1345. Does 20 divide x(-15)?
True
Let v be 14/70 - 348/(-10). Suppose 5*m = 3*n + 110, -m - n = n - v. Suppose 20*x = m*x - 325. Is 13 a factor of x?
True
Suppose 2*g + 2*d + 470 = 0, 2*g + 5*d = -113 - 345. Let a = 403 + g. Does 25 divide a?
False
Let s = 156 + -149. Is ((-7)/s - -336) + (3 - -1) a multiple of 20?
False
Let u = -526 - -941. Let x = u - 191. Is 28 a factor of x?
True
Let y be (4/2 - 3)*1*-4. Does 14 divide 1*y + 5 + -3 + 92?
True
Suppose 121538 = 4*m + 3*h, 194*m - 151918 = 189*m - 3*h. Is m a multiple of 155?
True
Suppose -5*j + 6 = -2*j. Let g = -290 - -559. Suppose -j*b + g = 95. Is 20 a factor of b?
False
Suppose 20 = -2*v + 5*v - 5*p, 4*p = -5*v - 16. Suppose 2*m + 246 - 722 = v. Is 58 a factor of m?
False
Is ((-70)/15)/(25/(-22950)) a multiple of 12?
True
Is (-164)/369 + 165244/9 a multiple of 12?
True
Let g = -11564 - -24548. Is 24 a factor of g?
True
Suppose 15*j + 105 = 18*j. Suppose 229 + j = 2*q. Is 22 a factor of q?
True
Suppose 3*p - 10694 = 4*b, -4*p + 20*b = 23*b - 14292. Does 35 divide p?
True
Suppose -5*f = -3*n - 8213, 2*f + 8*n = 12*n + 3302. Is 40 a factor of f?
False
Suppose 0 = 9*u - 6*u - 192. Let f = u + -60. Suppose -6*l + 346 = -l - 2*s, -2*s = f*l - 284. Is 35 a factor of l?
True
Suppose 0*a + 1044 = 3*r - 3*a, 2*r - 684 = -a. Suppose -4*p - 4*v = 384, 3*p + p = 4*v - r. Let f = p + 163. Is f a multiple of 15?
False
Let u(o) be the second derivative of o**5/20 + o**4/3 - 5*o**3/6 + o**2/2 - 40*o. Suppose -b - 1 = 3. Is 3 a factor of u(b)?
True
Let b = -1 - -3. Suppose -17*p = -15*p - 4. Suppose -4*c + 3*m = -p*c - 128, -b*c = 2*m - 148. Is 14 a factor of c?
True
Let m = 24 - 19. Suppose 3*f = -m*l + 77, l - 3*l = -8. Suppose -n = 3*z - 15 - f, n + z - 36 = 0. Does 17 divide n?
False
Let p = 6904 + -5408. Does 68 divide p?
True
Suppose -22*r = -41*r + 19. Is 22 a factor of (-509 + 20)*r/(-3)?
False
Suppose -42 - 93 = -3*g. Let d = -42 + g. Does 38 divide (-2)/7 + (d - 1324/(-28))?
False
Let q be (7 - ((3 - 0) + 0))*-1. Let p(b) = -b**3 - 5*b + 7. Is 4 a factor of p(q)?
False
Let a(t) = 2*t**2 + 10*t + 11. Let x be a(-9). Suppose -3*g + 3*h + x = -1060, 5*g - 1914 = -4*h. Does 38 divide g?
False
Suppose 55*o = 50*o + 2745. Suppose 4*v - 466 = -2*x, 3*x - o = 2*v + 134. Does 7 divide x?
False
Let n(j) = j**3 + 67*j**2 + 116*j - 13. Is n(-64) a multiple of 21?
True
Let a = 39237 + -29368. Does 128 divide a?
False
Let o(h) be the third derivative of h**6/120 - 2*h**5/5 + 71*h**4/24 + 3*h**3 + 75*h**2. Is o(21) a multiple of 6?
True
Is 72 a factor of 66240/28*(5 + 22/4)?
True
Let a = 293 - 206. Let y = a + -87. Suppose y = -n - 3*n + 128. Is 32 a factor of n?
True
Suppose -41*y = -15*y + 1144. Let q(z) = 14*z - 3. Let n be q(5). Let d = n + y. Is d a multiple of 3?
False
Let b(l) be the third derivative of 53*l**4/24 - 6*l**3 + 2*l**2 + 46. Is 44 a factor of b(4)?
True
Let r(t) = 3*t**3 + t**2 - 7*t + 5. Let s(c) = -7*c**3 - 3*c**2 + 15*c - 10. Let k(z) = -5*r(z) - 2*s(z). Is 5 a factor of k(-4)?
True
Let i(j) = -51*j**3 - 3*j**2 + 2*j + 1. Let l be i(2). Let n = 713 + l. Is n a multiple of 34?
False
Let o = -2289 + 19592. Is 121 a factor of o?
True
Let p(v) = 8*v - 19. Let r be p(6). Let n = 531 + -370. Let g = n - r. Is g a multiple of 22?
True
Let f be 12/16*60/9. Let q(h) = 28*h - 18. Let b be q(f). Let p = b - 26. Is p a multiple of 8?
True
Suppose 5*w = -3*v + 14862, 3*w - 89*v - 8952 = -85*v. Does 24 divide w?
True
Let g = -202 - -216. Suppose g*a = 2216 + 5092. Is a a multiple of 87?
True
Let t be 1*1/((-2)/(-106)). Suppose 57*r = t*r + 12. Suppose -r*f + 31 = -44. Does 5 divide f?
True
Does 5 divide (34*(-864)/(-252))/((-2)/(-28) - 0)?
False
Suppose -1319 - 715 = -3*u. Does 15 divide u - 79 - (-1 + 0)?
True
Is 65 a factor of -7 + (-671)/(-99) + (-982810)/(-45)?
True
Let z = -497 - -534. Is 17 a factor of z - (-2 - (6 + -3) - -8)?
True
Let x(a) = -a**3 + 23*a**2 - 5*a + 13. Let b = 51 - 38. Is 18 a factor of x(b)?
True
Let o = -8911 - -9709. Is o a multiple of 7?
True
S