*v + u + 0*u = 601. Is 6 a factor of v?
False
Suppose 0 = 489*o - 307*o - 822673 + 340737. Does 61 divide o?
False
Suppose 0 = 8*h - 59 - 69. Suppose -13*l = -h*l + 285. Is 9 a factor of l?
False
Let i = 2247 - -16050. Does 57 divide i?
True
Let f = -9812 + 9990. Does 140 divide f?
False
Let r = 299 + -273. Let j(i) = -i**3 + 25*i**2 + 30*i - 39. Is j(r) a multiple of 13?
True
Let w = 5297 - -2413. Does 14 divide w?
False
Let b = 1546 + 16409. Is b a multiple of 135?
True
Suppose -3*r + 18 = 3*u, -u + 2*u - 16 = -3*r. Let p(y) = y**3 - 6*y**2 + 10*y - 21. Let v be p(r). Is 16 a factor of ((-6)/8)/3 - (-769)/v?
True
Suppose 4*g = -91*g + 785460. Is 12 a factor of g?
True
Suppose -3*t = -6*t + 5*q + 2, 4*t - 2*q = 12. Suppose -t*s = -p - 442, 4*p + 7 = -1. Is s a multiple of 12?
False
Let i(p) = 146*p**2 + 18*p - 612. Does 72 divide i(18)?
True
Let s be (0 + 12 + -8)/(-1 + 3). Is 6 a factor of s/6 - (-915)/9?
True
Let c(u) = -u**2 + 1. Let o(m) = -m**3 - 25*m**2 - 12*m - 59. Let w(a) = 2*c(a) - o(a). Does 52 divide w(-21)?
False
Let n = -507 - -505. Does 48 divide (n/6)/(26/(-65442))?
False
Let x = 3748 - -1648. Is x a multiple of 50?
False
Let k(o) = -4*o - 2*o + 5*o + 4*o - 13. Let j be k(6). Suppose -199 = -j*a - 64. Does 9 divide a?
True
Let b(v) = -28*v**2 - 3*v + 3. Let o be b(2). Let g be 520/(-30) - -18 - (-592)/3 - -1. Let d = g + o. Does 9 divide d?
False
Let d(h) = -42*h**2 + 7*h + 9. Let u(m) = -44*m**2 + 8*m + 10. Let b(w) = -3*d(w) + 2*u(w). Is b(3) a multiple of 40?
True
Suppose 0 = 2*t + 3*t + 3*i - 30918, -3*i = -2*t + 12363. Is t a multiple of 7?
False
Let f = 270 + -542. Let s = f - -547. Is s a multiple of 31?
False
Suppose 33*y - 28372 - 8336 = 32*y. Does 59 divide y?
False
Let f(n) = -2*n**2 - 32*n - 27. Let b be f(-15). Suppose 3*r - 3 = b. Suppose 0 = -r*q, -660 = -3*w - 4*q - 75. Is w a multiple of 14?
False
Suppose -6*r + 180 = 36. Is 8 a factor of 188/(-6)*(-108)/r?
False
Suppose -100*r + 367472 = -44*r. Does 35 divide r?
False
Let y(z) = z**2 + 10*z - 16. Let k be 8/4 + (10 - 1) - -3. Let j be y(k). Let h = -117 + j. Is 27 a factor of h?
False
Let d(j) = 3*j**2 - 20*j + 23. Let t be ((-364)/16)/(-7)*(6 + -2). Does 15 divide d(t)?
True
Suppose -9*l = 54*l - 128898. Is l a multiple of 6?
True
Let p be ((-72)/9 + 5)/(-3*1). Does 20 divide 3/(p/((-492)/(-18)))?
False
Suppose 3 = -4*z - 3*l, 4*l + 20 = -0. Suppose 6*f - 7*f + 258 = 3*h, 0 = z*f + 3*h - 762. Does 36 divide f?
True
Let k(a) = -8*a - 18. Let o be k(-4). Suppose 330 = o*q - 9*q. Suppose 56 = 2*v - 2*w, -3*v - 3*w + q = -0*w. Is v a multiple of 5?
True
Let m be (-1 - 2)/(6/16) + 136. Let y(h) = -20*h**2 + 2*h. Let t be y(2). Let o = t + m. Is o a multiple of 36?
False
Let b(n) = -20*n**2 + 2*n - 6. Let g(w) be the third derivative of -w**5/60 + w**4/24 - w**3/6 + 24*w**2. Let x(z) = -b(z) + 3*g(z). Is x(-3) a multiple of 17?
True
Let s(l) = -25*l**2 - 3*l + 1. Let t(m) = -49*m**2 - 7*m + 1. Let y(d) = 5*s(d) - 2*t(d). Let h be y(1). Does 2 divide 16/(-28) + h/(-7)?
False
Let g = 307 + -574. Let w = 447 + g. Is w a multiple of 9?
True
Suppose 3*x + 6 = 0, 5*h + 11883 = 2*h + 3*x. Is h/(-15) - 23/115 a multiple of 12?
True
Let b be (-6)/10 - (-81933)/155. Suppose -7*s + b = -3112. Is s a multiple of 26?
True
Let s(g) = 3*g**3 - 11*g**2 + 5*g + 15. Let a be s(13). Suppose -4*w + a = 2*w. Is 56 a factor of w?
False
Let s(v) be the first derivative of -v**2/2 + 35*v + 3915. Let t = 36 - 55. Is s(t) a multiple of 3?
True
Suppose 19*r + 1 = 20*r. Let y be (-3)/4 - (654/(-8) - r). Suppose -10*h + y + 88 = 0. Is h a multiple of 4?
False
Suppose -329*l = -344*l + 89548 + 146252. Is l a multiple of 71?
False
Suppose -y - 2 = 0, -14*g + 3*y = -17*g + 43536. Is g a multiple of 123?
True
Let a be 4/(-14) + 83520/(-63). Let s = -840 - a. Is 39 a factor of s?
False
Is 133 a factor of 361*((-7)/21)/(5368/1344 - 4)?
True
Let y(u) = -u**3 - 10*u**2 + u + 2. Let r be y(-8). Let j = -73 - r. Suppose 9 = 5*b - j. Does 4 divide b?
False
Let h = -516 - -459. Suppose -k = -6*k - 215. Let f = k - h. Is 5 a factor of f?
False
Does 78 divide 8*16/(-64) - (-14667 - -1)?
True
Suppose 0 = -2*s + w + 14 - 11, -3*s + 4*w + 17 = 0. Does 15 divide 820 + s + 2 + -2 + 1?
False
Let r(p) = p**3 + 50*p**2 + 134*p - 104. Is 2 a factor of r(-47)?
False
Let s be (8/(-1 + -3))/(4/(-8)). Let u be 164/(110/25 + -4). Suppose -s*k = -14*k + u. Is 4 a factor of k?
False
Suppose 5*q + 2*k + 28681 = 128681, -2*k = -5*q + 100020. Is q a multiple of 25?
False
Suppose -5 - 3 = -2*t, 5*o - 5*t - 455 = 0. Let u = -92 + o. Suppose -2*f + u*n = -n - 180, -180 = -2*f + 2*n. Is f a multiple of 7?
False
Suppose 3*s + 43 = 4*u + 3350, 3*u = 2*s - 2204. Does 49 divide s?
False
Suppose 0 = 2*k + 2*k - 3*g - 1682, 2*k = -2*g + 848. Let a = 1397 - k. Does 19 divide a?
False
Suppose 2*b = 4*b - 4. Let u be 102/(-170)*(-20)/6. Suppose 0 = m - k - b*k - 17, -u*m + 28 = -3*k. Is 3 a factor of m?
False
Suppose 8*s - 30492 = -7*s + 6*s. Does 77 divide s?
True
Let c(g) = -3*g**2 + 4*g - 2 - 10 - g**3 + 0*g**2 - g**2. Suppose 5*i = 4*r - 50, -3*i - 3*r - 4 = -1. Does 6 divide c(i)?
True
Let g(i) be the first derivative of -i**4/2 - 26*i**3/3 + i**2 - 22*i + 97. Does 19 divide g(-14)?
True
Suppose -161 = -376*k + 383*k. Does 63 divide (-28984)/(-46) - (-2)/k?
True
Suppose 0 = 1463*q - 1455*q - 3912. Is q a multiple of 9?
False
Let k(o) = o - 3. Let p be k(3). Suppose 4*t - 3*d - 268 - 413 = p, -2*t + 338 = -4*d. Does 12 divide t?
False
Let u(q) = 154*q + 8999. Is 89 a factor of u(0)?
False
Let k(g) = -85*g - 24. Let y be k(-6). Let w = 1077 - y. Suppose 5*r - 389 = w. Is 28 a factor of r?
True
Let v = 104 - 47. Suppose -272 = -5*b - 2*p, -3*b + 2*p = -282 + 106. Suppose v*q - 40 = b*q. Is 8 a factor of q?
True
Let z = 14827 - 12533. Is z a multiple of 74?
True
Let k(z) = -21*z**2 - 52*z + 296. Let o(x) = -5*x**2 - 13*x + 74. Let f(l) = 2*k(l) - 9*o(l). Does 26 divide f(-22)?
True
Let d be (-2 - (-102)/4)*12. Is 17 a factor of d - 4/(12/(-21))?
True
Suppose 7905*p = 7878*p + 128088. Is 5 a factor of p?
False
Suppose 5*v - 3*t = -458, 2*v - v - t + 90 = 0. Let q = v - -149. Let j = q + -21. Is j a multiple of 10?
False
Suppose -5*w - 121 = 4*m, -5*m - 2*w - 3*w = 150. Suppose -4*f = -4*x - 212, 2*f - 7*f + 3*x = -273. Let t = f - m. Does 22 divide t?
False
Let c = -564 + 816. Is (84/c)/(2/396) a multiple of 7?
False
Let v(z) be the third derivative of z**5/60 - 5*z**4/24 + 2*z**3 + z**2. Suppose 4*h + 32 = -h - 3*u, 5*u - 5 = 0. Is v(h) a multiple of 15?
False
Let g = -185 - -195. Is 0 - (15/g)/(1/(-56)) a multiple of 4?
True
Let r = 108 + -104. Suppose r*h + 7 - 27 = 0. Suppose 4*u - 249 = h*x, 63 = 2*u - 3*x - 60. Is 22 a factor of u?
True
Let m = 4 - 4. Suppose 27 = n - 3*c, 3*c + 9 = -m*c. Is 900/8 + n/12 a multiple of 19?
True
Let c = -2 - -35. Suppose 1980 = c*h - 30*h. Is h a multiple of 67?
False
Let q(r) = r**3 - 12*r**2 - 3*r + 4. Let w(k) = k**3 - 11*k**2 - k + 3. Let n(x) = -4*q(x) + 5*w(x). Is 3 a factor of n(6)?
False
Let k(d) = d**3 + 4*d**2 - 14*d - 6. Let g be k(-6). Suppose 2*r - 8 = g. Let v(l) = 2*l + 4. Is 6 a factor of v(r)?
True
Let i(h) = -2*h**3 + 11*h**2 + 6*h + 7. Let a be i(6). Suppose 5*k - 32 = -a. Suppose 3*m = r + 120, -6*r + 211 = k*m - 4*r. Does 16 divide m?
False
Let q(o) be the first derivative of 9*o**3 - 2*o**2 - 7*o - 15. Does 22 divide q(-3)?
False
Suppose -25*r - 16 = -29*r. Let c be r/(-6) + 3003/9. Suppose -12*v = -15*v + c. Is 25 a factor of v?
False
Suppose f = 4*v - 8, -4*f + 0*f + 2*v = 4. Suppose -w - 1 + 4 = f. Suppose -w*d + 455 = 2*d. Is 15 a factor of d?
False
Suppose -4*d + 4*m - 2*m - 284 = 0, -4*m + 8 = 0. Let v = 278 + d. Is 13 a factor of v?
True
Is 12 a factor of -4 - (-88)/33*213?
True
Suppose q - 5*h = -3*h + 398, 3*q - 3*h = 1185. Let y = -578 + q. Let x = -128 - y. Does 12 divide x?
False
Let i = 1110 + -778. Let r = -185 + i. Is 14 a factor of r?
False
Suppose 0 = -10*y - 24878 + 19295 + 82443. Does 9 divide y?
True
Suppose -922411 = -288*i + 2496725. Is 32 a factor of i?
True
Let x = -172 - -173. Let b(d) = 212*d**3 + 4*d**2 - 6*d + 1. Is 57 a factor of b(x)?
False
Let q be ((-12438)/54)/(20/12 - 2). Let z = q - 457. Is z a multiple of 26?
True
Let m(y) = -y**2 - 32*y 