 o be (-4)/(-14) + 78/21. Suppose 5*l = -r - 28 + 685, -3*r + 519 = o*l. Suppose 3*v - 5*p - 889 = 0, -v + l = -5*p - 171. Is 15 a factor of v?
False
Suppose -4*s = -6*s + 2, 39 = -3*n + 3*s. Let k = n - 98. Does 7 divide (-11682)/k - 2/10?
False
Let p(a) = 26*a + 106. Let x be p(-4). Suppose 2*f + 581 = l, 2*l - x*f + 1174 = 4*l. Does 13 divide l?
True
Suppose 0 = -6*f - 0 - 6. Is 304/(-24)*(f - 32) a multiple of 19?
True
Suppose -21165 = -8*u - b, -u - 15*b = -12*b - 2660. Is u a multiple of 102?
False
Suppose 5*h - 5*h - 8*h = -84944. Is 12 a factor of h?
False
Let s(m) = 5*m + 58. Suppose j + 4*j - 2*x = -36, 2*x + 24 = -5*j. Does 25 divide s(j)?
False
Is 14 a factor of 15300/120*(-224)/(-6)?
True
Suppose -s + 17 - 44 = 0. Let g be 2*3*s/(-18) + -2. Let u(l) = -l**2 + 12*l - 1. Does 5 divide u(g)?
False
Suppose -5*p - p + 18 = 0. Suppose 18 = 6*c + p*c. Suppose c*i + 2*i = 128. Is 16 a factor of i?
True
Let v(k) = -k**2 + 56*k + 708. Is 3 a factor of v(59)?
True
Let v be (35 + 0)*1786/95. Suppose v = 8*z - 7078. Does 16 divide z?
False
Suppose 0 = 3*x - 66 + 54. Let b be x - (0 - (4 + -3)). Let n(p) = 14*p**2 + p - 16. Is n(b) a multiple of 24?
False
Suppose 0 = 20*z - 2*z - 33363 - 19323. Is 12 a factor of z?
False
Suppose 0 = s + 6*z - 10*z - 389, -2*s + 3*z = -758. Let o = s + -265. Is 14 a factor of o?
False
Let v(z) = -z**3 + 7*z**2 + 6*z - 4. Suppose -w = -0*w + 5*m - 19, -m = w - 7. Does 9 divide v(w)?
False
Suppose h - 59 = 280. Suppose 7*i + h = 10*i. Does 10 divide i?
False
Let w = -270 + 275. Suppose a + 2*g - 20 = 0, -2*a + w*a - 65 = -g. Does 22 divide a?
True
Let t(v) = -v**2 - 6*v - 4. Let a be t(-2). Suppose 59 = a*i - 413. Suppose -i = -3*z + 278. Is 33 a factor of z?
True
Let t(n) = 52*n**2 - 3*n - 4. Let g be t(3). Let z = g - 316. Does 7 divide z?
False
Let y(g) = g**2 - 9*g + 8. Let v be y(8). Suppose r + v = -5, 4*r - 72 = -4*n. Is n a multiple of 6?
False
Let q be (-60)/84 + (4/(-14))/1. Let r be -2*q/(-2) - 8. Does 37 divide 1481/8 - r/(-72)?
True
Let s = 1208 - -813. Is s a multiple of 66?
False
Suppose 36*b - 6204 = 38*b. Is (-5 + 56/12)*b - -3 a multiple of 17?
True
Let j(h) = -h**2 - 18*h - 34. Let f be j(-16). Let v be 1 + f/(-2)*5. Suppose v*r = 8*r - 24. Is r a multiple of 6?
True
Let o(j) = -j**2 + 11*j + 96. Let g be o(-9). Is ((-8)/(-6))/(g/(-30933)) a multiple of 11?
False
Let s(c) be the third derivative of -c**6/40 - c**5/12 - 5*c**4/24 - c**3/3 - 2*c**2. Suppose -2575 = -5*l - 2590. Does 7 divide s(l)?
True
Let f(w) = -56*w + 118*w + 6 - 3. Let g be ((-2)/(-8))/((-1)/(-12)). Is f(g) a multiple of 21?
True
Is 46 a factor of 8191 - -2*195/(-30)?
False
Suppose 5*f - 2*k = 1470 + 6609, -f + 1607 = 4*k. Is 17 a factor of f?
True
Let p be 47 - 2*(-2)/4. Suppose 12*l - 16*l = -5*b, -3*l = -2*b - 7. Suppose 0 = -l*o + o + 3*q + 69, p = 3*o - q. Does 6 divide o?
False
Let a(g) = -g**2 - 23*g - 14. Let u(r) = r**3 + 8*r**2 + 3*r + 17. Let p(h) = h**3 - 8. Let f be p(0). Let l be u(f). Is 14 a factor of a(l)?
True
Suppose -3*o = 140*c - 143*c + 12822, 5*c + 2*o = 21377. Does 17 divide c?
False
Let y(k) = 3*k**2 - 77*k - 618. Is 5 a factor of y(-47)?
False
Suppose 2*o = -0*o + 5*m + 29, 0 = o - m - 22. Suppose 870 = -21*k + o*k. Does 10 divide k?
False
Let a(h) = h**3 + 15*h**2 - 57*h - 12. Let p be a(-18). Suppose p = n + 2*m, -14*n + 10*n = 5*m - 168. Is n a multiple of 12?
False
Suppose -4*r + 10 = 2*c + 4, 2*r = -2*c - 2. Suppose -5*o + o + 4784 = -r*m, -2*o + m = -2388. Does 9 divide (-378)/78 + 5 + o/26?
False
Suppose 67*y + 71*y - 20*y = 1761032. Does 7 divide y?
True
Let n(g) = g**3 + 2*g**2 - 22*g + 13. Let o be n(5). Does 15 divide o/195 - 2846/(-10)?
True
Let a(s) = 19 + 10 - 15*s + 13*s - 10. Let l be a(8). Is (-556)/(-20) + (0 - l/(-15)) a multiple of 14?
True
Suppose -3*v + 3*a + 99 = 6*a, -4*v + 111 = -3*a. Suppose 12*d - 2*d = -v. Let y(c) = -24*c + 12. Is y(d) a multiple of 13?
False
Let v(r) = 192*r - 867. Is 5 a factor of v(11)?
True
Let v(d) = -d**3 + 5*d**2 + 3*d. Let y be v(3). Suppose 0 = -9*i - 76 + 508. Does 10 divide ((y/2)/(-9))/((-2)/i)?
False
Suppose -2*h + 124 + 4 = -5*i, -3*i = -h + 66. Let x be 12/9*(-22 - -4). Let q = x + h. Is q a multiple of 7?
False
Suppose -12 = 4*g, g + 1181451 = 21*i - 3*g. Is 47 a factor of i?
True
Suppose -5*y + 4*y = r + 23, -3*r - 2*y - 64 = 0. Let u = r - -66. Is 5 a factor of u?
False
Suppose 4077 = 3*j + 5*t, 3*j - 862*t - 4086 = -864*t. Is 32 a factor of j?
False
Does 8 divide 100682/6 - 252/189?
False
Let x(w) = -15*w + 8*w**2 - 7*w**2 + 6 - 41. Let s be x(18). Suppose -47 = -2*b + s. Is 11 a factor of b?
True
Let c = 1376 - 1557. Let w(p) = -2*p**3 - 6*p**2 + 5*p - 5. Let k be w(5). Let f = c - k. Does 37 divide f?
False
Suppose 3*r + 4*o - 41 + 14 = 0, 0 = -2*r - o + 13. Let n be -3*((-25)/r)/5. Does 3 divide ((-6)/(-4))/(n/26)?
False
Let o(w) = 8*w - 10. Let m be o(2). Let y = 39 + -28. Suppose -m*p = -y*p - 5*x + 175, 3*x = 6. Is p a multiple of 11?
True
Let v(o) = -65*o**3 + 4*o + 4. Let l be v(-1). Suppose l = a - 58. Does 12 divide a?
False
Suppose -19157 = 8*d - 164875 - 14762. Is d a multiple of 170?
True
Let i = -1 + 3. Let p = 122 - 80. Is 14 a factor of (-27)/i*p/(-9)?
False
Suppose 0 = 4*d + 4*m - 13120, 0*m + 6564 = 2*d + 3*m. Is d a multiple of 9?
True
Let i = 3 + 0. Suppose i*t = 4*t. Suppose -3*p = 3*d - 6*p - 60, -d - 4*p = t. Does 16 divide d?
True
Let c(r) = -43*r - 192. Suppose -234*v + 228*v - 180 = 0. Is c(v) a multiple of 16?
False
Suppose 4*d = 4, -d + 0*d + 1261 = -5*s. Let z = -164 - s. Is 8 a factor of z?
True
Let f(u) = -10*u + 2. Let z be f(2). Let g be (z/(-5))/((-11)/(165/(-6))). Suppose g*m = 5*m + 96. Is m a multiple of 6?
True
Suppose 0 = -5*o - n + 41863, 330*n = 335*n + 35. Is 31 a factor of o?
False
Let b be 6/(-10) - 17424/(-90). Suppose -248 = -9*t + b. Is t a multiple of 14?
False
Let j(n) = -1. Let b(z) = -z + 7. Let p = 59 + -63. Let a(r) = p*j(r) + 4*b(r). Does 9 divide a(-5)?
False
Let x = -1377 - -2216. Does 22 divide x?
False
Let c = 356 - -106. Suppose -c = -d - 10*d. Does 4 divide d?
False
Let n = -40 - -46. Let f be (-44)/11 - n/(-1). Suppose -3*h = f*q - 60, 0 = h - q - 7 - 8. Is 12 a factor of h?
False
Suppose 2*v - o + 458 = -2*o, -661 = 3*v - 5*o. Let z = v - -271. Is 22 a factor of z?
True
Let q = -231 + -1153. Let o = q - -4784. Suppose 15*a = -2*a + o. Does 40 divide a?
True
Let y(p) = 23*p + 216. Is y(6) a multiple of 6?
True
Let h = 146 + -98. Suppose 5*d + i = 60, -4*d + i + h = -2*i. Let y(q) = 6*q - 40. Does 4 divide y(d)?
True
Suppose 6*k = 32*k - 83278. Is k a multiple of 151?
False
Let o = -457 - -2407. Does 5 divide o?
True
Suppose 8*q + 15 = 11*q. Suppose -q*t = m - 35, -2*m - 37 = -4*t - 9. Suppose -t = -z + 6. Does 2 divide z?
False
Let q = 14049 + -8869. Does 53 divide q?
False
Let n(p) = 6*p - 141. Let y(t) = t - 47. Let l(a) = 2*n(a) - 7*y(a). Does 3 divide l(-5)?
False
Suppose -7*s + 11*s = 28. Let f = -197 + 393. Suppose -s*k + 4*k = -4*c - f, -k = -3*c - 62. Does 17 divide k?
True
Let d = -106 + -20. Let k be d/(-56) + 2/(-8). Suppose -3*n = -r + 107, -r - 2*n + 100 = k*n. Does 24 divide r?
False
Let r(a) = 374*a + 1210. Is r(-2) even?
True
Suppose 3*o - 21 = -12. Suppose -1 = -p, o*p - 718 - 596 = -3*c. Does 30 divide c?
False
Let j(m) = -24*m**3 + 22*m**2 + 11*m - 14. Is 36 a factor of j(-6)?
False
Suppose 4261 = 24*p + 3*p - 13532. Is p a multiple of 24?
False
Suppose 0 = 59*o - 425629 - 244823 + 188304. Is o a multiple of 18?
True
Let i(g) be the first derivative of 7*g**3/6 + 15*g**2/2 - 11*g - 15. Let s(k) be the first derivative of i(k). Does 40 divide s(15)?
True
Let k(f) = -f**2 + 22*f + 5. Let v be k(22). Is 24 a factor of ((-66)/v)/(27/(-945))?
False
Let n = 45 - 45. Let p be 3*4/(-12) - (n - 53). Suppose -p*v = -50*v - 172. Does 15 divide v?
False
Is 3/(-4) + (-7790794)/(-1496) a multiple of 88?
False
Let a = 52 - -301. Let c be 5950/(-493) + 12 + (-472)/(-116). Suppose 0 = 5*h - 3*n - a, c*h + 3*n = -0*n + 277. Is 5 a factor of h?
True
Let z(q) = 6814*q**2 + 8*q - 7. Is z(1) a multiple of 29?
True
Let x = -1153 + 1452. Is 14 a factor of x?
False
Let p(v) = 208*v**2 + 89*v - 1197. Is 10 a factor of p(11)?
True
Is 5820/(-679)*13/((-52)/9576) a multiple of 72?
T