 v = 2*n - 5*m. Is n a multiple of 14?
True
Suppose 0 = -6*i - 445 + 469. Suppose -3*g + 0*g - a + 556 = 0, 0 = -2*g - i*a + 374. Is g a multiple of 68?
False
Let n = -15581 + 18493. Is 13 a factor of n?
True
Let h be 3/(-8) + 2322/432. Suppose -2*o = 5*n - 153, -o + 78 = -h*n + 9*n. Is 17 a factor of o?
False
Suppose 4*f - 14 = -3*a + 14, 0 = -4*a - 16. Let l be ((-7)/(-9) - 1) + f/45. Suppose 5*n - 282 - 63 = l. Is n a multiple of 9?
False
Is 34 a factor of -1 + (-15988)/(-3) + -17 + 901/51?
False
Let q = 6319 + -3423. Is 4 a factor of q?
True
Suppose 2*o = 3*l - 64, 5*o + 2*l = l - 194. Suppose -6*h - 272 - 4 = 0. Let a = o - h. Is 3 a factor of a?
False
Does 4 divide 8166*(-70)/28*8/(-30)?
True
Let t = -16244 + 22790. Is t a multiple of 6?
True
Let s(w) = 226*w**2 + 60*w + 145. Does 71 divide s(-8)?
True
Suppose 14*x = 5 - 215. Let t(z) = -42*z - 224. Is t(x) a multiple of 7?
True
Let i(p) = 6*p**2 - 21*p - 27. Let r be i(9). Is 15 a factor of 10/8*(r + -18)?
True
Suppose 4*d - q - 3207 = 0, 0 = d - 2*q + 37 - 851. Is 16 a factor of d?
True
Suppose 26 + 10 = 4*n. Suppose 3*x = -3*t + n - 3, 3*t = -5*x + 6. Suppose -3*s + 4*l + x*l + 114 = 0, -4*l = 4*s - 180. Does 12 divide s?
False
Let b(l) = 12*l - 5*l + 0*l - 3*l + 110. Is b(0) a multiple of 11?
True
Let u(g) be the first derivative of g**3/3 + g**2 + 32*g + 167. Let c(n) = -n - 2. Let f be c(4). Is 14 a factor of u(f)?
True
Let t be -60 - -7 - (-3 + 3)/3. Let l = t + 173. Is l a multiple of 4?
True
Let n(f) = 3*f - 37. Let k be n(9). Is ((-25)/2)/(5 - (-55)/k) a multiple of 2?
False
Suppose 3*n - 13 = -2*y + y, -5*y + 4*n + 160 = 0. Suppose 0 = -5*g + y + 502. Suppose 2*t + 68 = 3*w, -5*w + g + 10 = -4*t. Is 10 a factor of w?
True
Suppose 75*y - 77*y = -448. Let o = y - 133. Is 7 a factor of o?
True
Suppose 29*x - 60*x = -43462. Is 3 a factor of x?
False
Suppose -5*v + 5 = -h - 7*v, 4*h - 5*v - 19 = 0. Let q be -1*(-12)/3 - (-4)/h. Does 5 divide (-3)/4 + 246/q?
True
Let x be (-3)/6*48/(-2) + -2. Let d be x/35 + 220/14. Let h = 72 - d. Is 8 a factor of h?
True
Let w(l) = 713*l**3 + 4*l**2 - 16*l + 11. Is 13 a factor of w(4)?
True
Let v(t) = -9*t + 129. Let n(p) = 5*p - 69. Let d(z) = -1. Let h(g) = 5*d(g) - n(g). Let o(w) = -11*h(w) + 6*v(w). Does 18 divide o(-16)?
True
Let s = 52971 + -31523. Is 14 a factor of s?
True
Let g = -8024 - -10551. Is 52 a factor of g?
False
Suppose -f - 4*f + 60 = 0. Let p = f - -36. Suppose -6*j = -10*j + p. Is 12 a factor of j?
True
Suppose -4*a - 33*l + 11943 = -32*l, -3*a = 5*l - 8987. Is 2 a factor of a?
True
Let y be ((-2)/(-3))/(16/(-17568)). Let a = y + 1400. Does 16 divide a/6 - 46/(-69)?
True
Suppose -5*p = 4*x - 19596, 7*p = 12*p - 2*x - 19632. Is 9 a factor of p?
True
Let r = 55 + -51. Suppose 2*s - 112 = -5*x, s = x - r*x + 55. Is s a multiple of 9?
False
Is 14 a factor of 8 - ((-69 - 6186) + (3 - (0 + -2)))?
True
Let l(i) = 4*i**2 + 4*i + 1. Let n be l(-3). Suppose 3*h = 5*g - n, -15 = 5*h - 0*h - 3*g. Suppose -2*w + 168 = 5*q, -2*w - q + h*q = -176. Does 9 divide w?
False
Let h(k) = 720*k + 447. Is 3 a factor of h(2)?
True
Is (-37)/(259/156114)*4/(-4) a multiple of 126?
True
Suppose 0 = 4*h - 5*k + 6 + 30, -3*h = 4*k + 27. Does 37 divide (0 + 1)/(h/(-1449)) + 2?
False
Suppose -2*m + 5*f = -6187, 482*m = 483*m + f - 3076. Is m a multiple of 39?
True
Suppose -1416 = -m + 22*p - 19*p, 0 = m - 4*p - 1420. Does 13 divide m?
True
Suppose 5 + 64 = 3*m. Let r(f) = -52 + 15*f + 11*f + 7*f - m*f. Is r(22) a multiple of 19?
False
Let v(n) = n**3 + 2*n**2 + n + 3. Let s be v(-3). Let u = -1653 - -1650. Does 5 divide (4 - -215)*u/s?
False
Let a(h) = -17*h**3 + 4*h**2 - h - 2. Let t be a(2). Let o be 2 - (8 - 2) - t. Suppose 3*r = 8*r - o. Is 5 a factor of r?
False
Let s = -33 + 38. Suppose -4*u + 127 = -q, 540 = -s*q + 2*u - u. Is 2/(q/(-217) + (-6)/14) a multiple of 24?
False
Let u(c) = 239*c + 484. Does 8 divide u(68)?
True
Let u(p) = 976*p + 6034. Is 30 a factor of u(11)?
True
Does 2 divide (-7 + (-3)/1)/((-750)/2100)?
True
Let t be 3810/(-40)*32/(-6). Let d = t + -124. Does 12 divide d?
True
Is 39 a factor of (-7 + 24342/(-18))/(-1)*6/1?
False
Suppose 0 = -2*p - n + 31804, -18*p + 4*n = -16*p - 31784. Is p a multiple of 15?
True
Let m(t) = 3*t**3 - 55*t**2 - 332*t - 23. Does 113 divide m(35)?
True
Suppose 3*d - 91 + 31 = 0. Suppose -g + 40 = 5*c, 160 = 5*g + 5*c + d. Suppose -6*b + 7*b - g = 0. Is b a multiple of 5?
True
Let k(a) be the third derivative of 0*a + 0 + 61/8*a**4 + 1/6*a**3 - a**2. Is k(1) a multiple of 37?
False
Suppose -2*l = 3*u - 0 + 4, 3*u = 0. Let q(f) = -189*f - 6. Let h be q(l). Does 6 divide h/30 - 2/5?
True
Let w(m) = -196*m - 3408. Does 72 divide w(-60)?
True
Suppose 4*c = -4*k + 21148, 3*c - 7*c + 2*k + 21166 = 0. Does 46 divide c?
True
Is 21/(-3) - -1725 - -5 a multiple of 15?
False
Let x = 6392 - 3909. Does 13 divide x?
True
Let m(i) = 5*i**2 - 31*i + 4. Let p be m(14). Let x = -222 + p. Is 21 a factor of x?
False
Let b(r) = r**2 + 10*r + 25. Let u be b(-13). Let a = -120 + u. Is 29 a factor of -2 + 3 + (1 - a)?
True
Let o(m) = -3*m - 23. Let c be o(-10). Let q = -4 + c. Does 23 divide 3 - (-70 - (q + -3 - 4))?
True
Let k(g) = g**2 + 3*g. Let v be k(0). Let a be v/((-18)/(-81) - (-16)/9). Suppose a = -t + 2*t - 209. Is 39 a factor of t?
False
Suppose 10*c = 4*c. Suppose -p = -4*t - c*t + 567, -4*p = -5*t + 695. Does 8 divide t?
False
Suppose 2*h - 4*n = 36988, -23*h + 3*n + 18490 = -22*h. Is 52 a factor of h?
False
Let k = -2891 - -6707. Is k a multiple of 18?
True
Suppose -91704 - 33268 = -157*x. Is 2 a factor of x?
True
Suppose -4*m = 2*b - 4, 4*m = -29*b + 26*b + 16. Suppose 0 = -3*o - b - 0, 0 = -3*n + 3*o + 504. Is n a multiple of 20?
False
Suppose 13139 = -10*y + 3669. Let b = -487 - y. Is 23 a factor of b?
True
Let m = 6476 - 1747. Let b = m - 3271. Does 27 divide b?
True
Let i be -253 + 31 + (-2)/(-1 - 0). Let a = i - -663. Is 16 a factor of a?
False
Let w(t) = t**3 + 3*t + 19. Let s be w(0). Suppose -s*z = -52*z + 99. Does 2 divide z?
False
Let x(c) = 3*c**2 - 12*c + 7. Let l(n) = 2*n**3 - 2*n**2 - 7*n - 1. Let v be l(3). Suppose v = 3*p - 16. Is x(p) a multiple of 17?
True
Let r = 10894 + 40082. Is r a multiple of 24?
True
Let v(h) = 7*h - 28. Suppose -2*l - 90 = -4*j, -7*j - 5*l + 27 = -5*j. Is 18 a factor of v(j)?
False
Let q be 0 + -2 - -1 - (-833 - 2). Let k = q - 414. Is 61 a factor of k?
False
Let j(u) = 100*u. Let r be j(16). Suppose 9*z - r = -z. Is z a multiple of 10?
True
Suppose -4*h - 4*u = 12, -22*u + 15 = -h - 26*u. Let k(o) = 213*o**3 + o**2 - 1. Is 14 a factor of k(h)?
False
Suppose 1618 + 987 = n + 5*a, -2596 = -n + 4*a. Is n a multiple of 20?
True
Suppose 10*h - 14 = 16. Suppose -2 = p + h*q - 183, 3*p + q = 527. Is 5 a factor of p?
True
Let c(z) be the second derivative of 11*z**3/2 - 61*z**2 + 192*z. Is 38 a factor of c(6)?
True
Let h be (23/(-3))/((-24)/144). Suppose 1674 = -43*k + h*k. Is 62 a factor of k?
True
Suppose -3*q + 87 = 3*t, -148 = -4*q + t + 3*t. Does 2 divide q?
False
Is 6 a factor of (18 - 1560/(-45))*234?
True
Suppose -394 + 403 = -3*x. Is x/5 - 4134/(-15) a multiple of 25?
True
Let s(f) = 12*f + 433. Let v be s(-19). Suppose 4*d - 2*p - 859 = v, 3*p + 1064 = 4*d. Does 99 divide d?
False
Let k = 369 + -366. Suppose -k*x + 207 = i, i - 4*i = -x + 59. Is x a multiple of 17?
True
Suppose 3*x + 409 = 2*x + 1158. Is x a multiple of 7?
True
Let w(t) = -t**3 + 40*t**2 - 4*t + 138. Is 156 a factor of w(16)?
False
Suppose -60*q + 14718 = 6*q. Is 5 a factor of q?
False
Let w = 982 + -529. Is -9 + (w - (4 + -4)) a multiple of 49?
False
Let b(x) = 3*x**3 + 48*x**2 - 53*x - 83. Let n(o) = -o**3 - 16*o**2 + 18*o + 28. Let r(g) = 6*b(g) + 17*n(g). Does 19 divide r(-7)?
False
Let l = -4363 + 6459. Is l a multiple of 131?
True
Suppose -59*l + 175229 + 136963 = 45158. Is 30 a factor of l?
False
Suppose -369796 = 241*f - 335*f. Is 14 a factor of f?
True
Let i(v) = -v + 3. Let y(u) = u - 1. Let t(w) = i(w) + 2*y(w). Let f be t(3). Suppose -f*s = -198 - 46. Is s a multiple of 6?
False
Let b(p) = 10*p - 20. Let k be 48/12*7/(-4). Let y(c) = c**3 + 6*c**2 - 8*c + 11. Let q be y(k). Is b(q) a multiple of 14?
False
Let t(z) = 4*z**2 - 23*z - 24. Is t(23) a multiple of 166?
False
Suppose 0 = -2*w + 4