uppose 0*o + 4*o + 111 = -5*n, -5*n - 116 = -o. Let c(u) = -5*u - 59. Is 14 a factor of c(n)?
True
Let j(r) = -1 - 18*r - 12*r - 32 - 18*r. Let n be j(-9). Suppose 5*t + 4*a = n + 130, 0 = 2*t + a - 211. Is 21 a factor of t?
True
Suppose -2*n - 8 = -0*i + 3*i, -3*n - 12 = -3*i. Let j be 1*12/(3 - -3). Suppose -3*a + 132 = -i*a - z, -j*a = -2*z - 88. Does 22 divide a?
True
Suppose -2*i + 34 = 4*v, -4*i + 41 = 3*v + 2*v. Suppose 0*r = 3*r - v. Suppose 576 = 9*l + r*l. Does 16 divide l?
True
Suppose -28 = -2*a + 5*u, a - 19 = 5*u + 5. Suppose v = -a - 0. Let m(k) = 7*k**2 - 3*k - 5. Does 14 divide m(v)?
False
Suppose 38*w - 13*w - 88920 = 15*w. Is w a multiple of 39?
True
Let a(f) = 2151*f**2 + 233*f - 469. Is 61 a factor of a(2)?
True
Is ((-2)/(-2 - -4))/(4*(-5)/33740) a multiple of 11?
False
Let c be (405/25 - -3)/(1/225). Suppose 0 = 20*j - 25*j + c. Is 48 a factor of j?
True
Suppose -y - 10 = -3*z, 19 = 2*z + 5*y + 1. Suppose -3*v = z*b - 889, -2*b - 44 = 3*v - 481. Suppose 2*k - 62 = b. Does 12 divide k?
True
Let d(h) = h**2 - 7*h + 9. Suppose 3 = 6*b - 45. Let y be d(b). Does 3 divide -14 + 13 + (y - 1)?
True
Let g be (-65 + 64)/(1/(-2)). Suppose 5*d + 1983 = 2*a, -g*d - 12 = -6. Is 41 a factor of a?
True
Let n = -62 - -58. Let k(b) = -67*b - 4. Does 23 divide k(n)?
False
Suppose 3*o - 163 = 4*q, -14*o - 61 = -15*o - 2*q. Suppose -47*f - 2580 = -o*f. Is f a multiple of 4?
False
Let i = 8071 + -6669. Does 15 divide i?
False
Let z(j) = -5208*j - 3217. Does 29 divide z(-5)?
True
Suppose 0 = -4*l + 3*k + 75, -2*l - 5*k + 5 = -0*l. Suppose q = -3*s - 15, -2*q + 2*s = -s - l. Suppose q = 3*i + i - 48. Is 12 a factor of i?
True
Let x = -316 - -141. Let g = x + 308. Does 22 divide g?
False
Let o(g) = -g**2 - 10*g - 66. Let d(p) = -p + 1. Let i(n) = -5*d(n) - o(n). Is i(-10) even?
False
Let h = 3986 - -10567. Does 224 divide h?
False
Let h(w) = w**2 + 9*w - 26. Suppose -l + 4*t = 14, 5*t + 27 = 17. Does 20 divide h(l)?
True
Let j(o) = 121*o**2 - 2*o + 1. Let z be j(1). Let c be 4 + -7 + (3 - 0). Suppose c = -2*x - 3*x + z. Is x a multiple of 6?
True
Let i(t) = 10*t**2 + 14*t + 28. Let o be i(-16). Let v = o - 1430. Does 19 divide v?
False
Let i(x) = 47*x - 203. Let r(q) = 96*q - 406. Let u(d) = 13*i(d) - 6*r(d). Is u(7) a multiple of 7?
True
Let v(h) = -h**3 + 11*h**2 + 2*h - 41. Is 5 a factor of v(9)?
False
Suppose -27*q + 4*x + 29548 = -26*q, 4*q - 118073 = -x. Does 6 divide q?
True
Let y(z) = 2*z**2 + 92*z - 306. Let p be y(-49). Let u = 11 + -19. Does 15 divide 226/3 - (32/p)/u?
True
Let j = 117 - 112. Let n = -330 + 228. Is 13 a factor of 2 - j - (-4 + n)?
False
Suppose -d = -5*m - 73 - 882, -2*m = -5*d + 4844. Does 9 divide d?
False
Let z(s) = s**2 + s + 10. Let q be z(7). Suppose -v = -2*v - 4*i, 5*v = 2*i + q. Suppose -13*l = -v*l - 81. Does 14 divide l?
False
Let i = 604 - 539. Let c = -8 - -11. Suppose -c*t + i = -79. Is t a multiple of 12?
True
Let c(a) = 1797*a + 3474. Does 9 divide c(10)?
False
Let t = 1507 + -1493. Suppose -3*q - 2*q = 5*u - 340, 0 = 3*q - 3. Let b = u - t. Is 14 a factor of b?
False
Suppose -5*d = 2*k - 7, 3 = 4*d + k - 5. Suppose -4*h + d*a + 2*a + 155 = 0, 4*a - 128 = -4*h. Is 4 a factor of h?
False
Let d = -104 - -153. Let j = d + -49. Suppose j = 3*x - 161 + 41. Does 8 divide x?
True
Let x = 6752 - 2768. Let b be 218/(-4) + (-16)/(-32). Does 3 divide 3/b*-4 + x/54?
False
Let k be (-2)/12 + 1/6. Suppose 2*l + c - 16 = k, 5*l - 23 = -5*c + 12. Let f(i) = i**2 + 3*i - 4. Does 26 divide f(l)?
True
Let s(x) = -x**3 - 6*x - 9. Let d be s(-2). Suppose d*n = 9*n + 836. Is n a multiple of 11?
True
Let i(m) = -2. Let z(w) = 38*w**2 + 71. Let k(b) = -25*b**2 - 47. Let s(d) = -8*k(d) - 5*z(d). Let l(h) = 22*i(h) + 2*s(h). Is l(2) a multiple of 13?
True
Suppose 0 = 14*x + 8968 - 93640. Is x a multiple of 28?
True
Let b(z) = -37*z - 219. Let f be b(-6). Suppose -888 = -5*a - 4*g, f*a = -2*g + 445 + 87. Is 9 a factor of a?
False
Is 26 a factor of (9/6 - (-9)/(-18))*2476/2?
False
Suppose 0 = -l + 3*x + 5651, 3*x + 8402 + 2906 = 2*l. Is 11 a factor of l?
False
Let u(t) = -4 + 7 - t + 13. Let j be u(16). Suppose j = -7*a + 157 + 165. Is 16 a factor of a?
False
Suppose 14*j - 15 - 13 = 0. Suppose -5*p + j*p + 8 = 2*a, -2*p + 9 = 5*a. Let f = p + 20. Does 2 divide f?
True
Suppose 24*j + 36*j - 1523340 = -33*j. Is j a multiple of 14?
True
Let l = -2528 - -3716. Does 12 divide l?
True
Suppose 4*k - 4090 = -6*k. Let x = k - 193. Suppose -12*l + 1296 = x. Is 10 a factor of l?
True
Let i be ((2345/4)/(-5))/(3/12). Let v = -163 - i. Is 18 a factor of v?
True
Let y(l) = -4*l**2 - 17. Let o be y(0). Let i(q) = -39*q - 103. Does 8 divide i(o)?
True
Suppose 575*d - 475*d - 561600 = 0. Does 104 divide d?
True
Suppose 0 = -5*k + 4*f + 16, 3*k - 5*f - 40 + 33 = 0. Suppose k*r - 1086 = -2*w + 6*r, -4*w - r + 2152 = 0. Is w a multiple of 20?
False
Suppose 12*h - 11*h = -4*i + 29265, -i - 2*h = -7325. Does 19 divide i?
True
Suppose 6*z - 66460 = -4*i, -5*z + 55415 = 14*i - 17*i. Is z a multiple of 7?
False
Let g = -2959 - -3245. Is g a multiple of 26?
True
Let s = -4181 - -5725. Is 7 a factor of s?
False
Let p = -617 + 4213. Is 58 a factor of p?
True
Suppose 0 = -20*z + 18*z + 6896 + 16712. Is 13 a factor of z?
True
Suppose 3*d + 2*i = -2*i + 8, 2 = 4*d + i. Suppose d = 2*j - 2*c - 217 - 243, 5*j + 4*c = 1105. Does 9 divide j?
True
Let j(b) be the second derivative of b**5/20 - 13*b**4/12 + b**3/2 - 8*b**2 + 6*b - 1. Let x be j(13). Suppose 0 = 3*n + x - 356. Is n a multiple of 29?
False
Let k be 158/18 + 20/90. Let s be ((-3)/k)/(3/(-18)). Is (-223)/(-4) + (-2)/(s*-4) a multiple of 26?
False
Does 59 divide 903/((-9)/((-10089)/19))?
True
Let u be -31*4/((-20)/5). Suppose u*y - 32*y + 2 = 0. Suppose y*m + 4*w + 244 = 4*m, 2*w = -4*m + 478. Is 15 a factor of m?
True
Let l(s) be the third derivative of -3*s**4/8 + 29*s**3/6 - 51*s**2. Does 12 divide l(-11)?
False
Suppose t = -5*a + 3*t - 137, 2*t = -2*a - 66. Let q be a/(3/(-9)*3). Suppose 0 = -3*b + 22 + q. Does 17 divide b?
True
Let x(q) = 2*q**2 - 4*q + 3. Let w be x(2). Suppose -w*r + 228 = -3*h, -2*r = 4*h + 3*r + 313. Let m = 30 - h. Does 7 divide m?
False
Let r(u) = 6*u**3 - 5*u**2 + 2*u - 3. Let d(v) = -4*v**2 + 54*v - 21. Let k be d(13). Is 8 a factor of r(k)?
True
Let j = -103 + 107. Suppose o = j*y - y + 272, 2*o + y - 544 = 0. Is o a multiple of 35?
False
Let g be (-8)/((6 - 1) + -3). Does 9 divide 564/9 + (-4)/48*g?
True
Suppose 4*p - k - 183041 + 8201 = 0, 0 = -5*p - 5*k + 218550. Is 47 a factor of p?
True
Let c = -468 + 463. Is 14 a factor of 12/30 - 228/c?
False
Suppose -66710 = 30*g - 223160. Is g a multiple of 7?
True
Let n(l) be the second derivative of 4*l**3 - 51*l**2/2 - 222*l. Is n(3) a multiple of 13?
False
Let z(p) = p**2 + 6*p - 36. Let a(j) = -j + 13. Let f be a(7). Is z(f) a multiple of 3?
True
Let t(r) = -6*r + 49. Let q be t(-29). Suppose 2*o - q = 277. Is 12 a factor of o?
False
Let w(f) = f**3 + 9*f**2 + 8*f + 5. Let y be w(-8). Let n be (-5 + (-45)/(-9))/1. Suppose n = -x + y*g - 11 + 81, 168 = 3*x - g. Does 15 divide x?
False
Let j = 7 + -4. Suppose 0 = -h - d + 596, -4*d + 1804 = j*h - 9*d. Does 13 divide h?
True
Suppose -56*a - 13046 = -78*a. Does 3 divide a?
False
Suppose -4*v + 7715 + 3533 = 0. Suppose -12*w + v = 40. Does 21 divide w?
True
Let a = 896 - 892. Suppose 17*l - 3120 = a*l. Is 15 a factor of l?
True
Suppose -13*c - 7*c + 152766 = 26*c. Does 28 divide c?
False
Suppose 20*p + 13215 - 82023 = -27*p. Does 24 divide p?
True
Suppose -8*u = -7*u - 321. Let j be (1 - (-1 + 1))*(u + -3). Suppose q - j = -q. Is q a multiple of 31?
False
Let r be 9*1*(-92)/69. Let b be 2 + 0 - (13 + r). Is 19 + b/(4/(-12)*1) a multiple of 4?
True
Let p = 115645 + -59733. Is 57 a factor of p?
False
Suppose -2*t + 5*s = -490 - 13865, -5*t - 5*s = -35870. Is t a multiple of 7?
True
Does 83 divide ((-6817)/34 - -2)*-34?
False
Suppose 0 = -4*h - r + 92, 62 = 2*h + h - r. Let l(b) = 7*b + 16. Is 21 a factor of l(h)?
False
Let p = -70 - -72. Suppose -25 = 5*h, -5*l + 4*h = p*h - 25. Suppose 2*b = -3*s + 21, -10 = -l*s - 1. Is b a multiple of 3?
True
Let z(q) = 15*q**3 - 4*q + 16. Let s be z(2). Let y = s + -125. Does 3 divide y?
True
Let n(h) = 16*h**2 + 6*h - 60. Is 35 a factor of 