91) + -8). Suppose k = 5*g + 37 - a. Is g a multiple of 6?
False
Let n(h) = 10*h + 266. Let s(b) = 23*b - 305. Let r be s(13). Does 3 divide n(r)?
False
Let a(n) = 18*n + 3255. Does 30 divide a(-114)?
False
Suppose 8*r - r - 1127 = 0. Let z = r + -146. Is z a multiple of 2?
False
Let l be 1 - ((-1)/1 + -202). Suppose -16*b + 35*b - 20 = 17*b. Suppose -b*o + l = 2*o. Is o a multiple of 17?
True
Suppose -2*u = -0*v - 2*v, 20 = -4*v. Let y(a) = -15*a - 62. Let g be y(u). Suppose 732 = g*h + 30. Is 3 a factor of h?
True
Suppose 5*k + 12070 = 5*p, -3*p - 5*k + 9980 - 2722 = 0. Is p a multiple of 9?
False
Is 4 a factor of 2901/(-10)*424/(-24) + (-3)/30?
False
Let v be (-1)/(2/(-8)) - (-4 + 6). Suppose -v*a + 34 = -0*g + 2*g, -2*g - 34 = -2*a. Suppose 5*z + a = 92. Is 15 a factor of z?
True
Suppose -j = 4 - 46. Let l = -38 + j. Suppose l*g + 4*r - 30 = 46, -25 = 5*r. Is 12 a factor of g?
True
Suppose 924*l - 927*l = 3*f - 13149, -2*l = -5*f + 21880. Is 11 a factor of f?
True
Suppose 3*a = -4*d + 22750, 5*a = 28*d - 31*d + 37935. Is a a multiple of 11?
True
Let b(v) = v**3 + 7*v**2 - 13*v + 18. Suppose 32 = -287*x + 283*x. Is 8 a factor of b(x)?
False
Suppose 467426 - 33598 = 302*j - 210036. Does 5 divide j?
False
Let m = -66 + 58. Does 33 divide m*(-4)/32 - 428/(-1)?
True
Let s be (0 - -1)/((-3)/(-6)). Suppose -22*v = 434 - 126. Does 17 divide (-710)/v - -2*s/14?
True
Is 50 a factor of -5 - (6/(-14) + 660/(-77)) - -7446?
True
Suppose -y - 11*y = -72. Let n be -54*((-9)/y + -3). Suppose n = 3*r - 2*t, -2*t + 0*t - 405 = -5*r. Is 16 a factor of r?
False
Suppose 7*q - 12*q = -3*g - 33, -4*q = -5*g - 29. Let s(d) = 16*d**2 + 4*d + 14. Does 28 divide s(q)?
False
Suppose 390*k - 389*k = 4*w + 16216, k = -w + 16246. Does 20 divide k?
True
Let s = 500 + -303. Is s a multiple of 2?
False
Let p(u) = 2*u**2 - u - 11. Let d(f) = f**2 - 1. Let r(n) = -3*d(n) + p(n). Let w be r(0). Is 64/(-6)*(w - -2) + -3 a multiple of 24?
False
Suppose -5*k + u + 9 = 0, 4*k = 2*k + u + 3. Suppose -j - 3*h - 3 = 0, -k*j + 0*h - h + 4 = 0. Does 5 divide (1 - 70)*(5 - 3 - j)?
False
Suppose 3*a = -3*o + 20541, 3*a - 3*o - 5469 - 15042 = 0. Does 38 divide a?
False
Let i(g) = g**2 + 4*g + 7. Let z be i(-3). Let s be 1 - (z - -2*6). Is (1 - s/(-12)) + (-261)/(-4) a multiple of 20?
False
Let b be ((-4)/(-8)*0)/(6/(-2)). Suppose 3*m - 315 - 33 = b. Let i = m - 35. Is i a multiple of 27?
True
Let a(f) = 119*f. Let y be a(1). Let g(b) = 6*b**2 + 68*b - 205. Let m be g(-16). Let u = m - y. Is u a multiple of 13?
False
Let k(z) = -26*z + 15. Let h = -42 - -39. Is 3 a factor of k(h)?
True
Let i = 37361 + -31825. Is i even?
True
Suppose -2*h + 66 = 3*q, 16 - 8 = -2*q. Suppose -332 = -r + 4*a, -4*r + 1283 = h*a - 40*a. Is 16 a factor of r?
True
Suppose -z = 3*s + 1004, 997 = 29*z - 30*z + 4*s. Does 7 divide (-4)/(-6)*33*z/(-26)?
True
Let t = -20534 + 33534. Does 6 divide t?
False
Let o(w) = -w**2 + 5*w - 3. Let i be o(3). Is 22/(-11)*((-2367)/6)/i a multiple of 16?
False
Suppose 0*d = -17*d + 15062. Suppose 500 = 21*u - d. Is 6 a factor of u?
True
Let z = -6242 - -10102. Is z a multiple of 10?
True
Let n be 12/(-20) - (-14)/(-10). Suppose 2*w + 2*r = 0, -2*w + w = 4*r - 6. Does 21 divide 24*n/w - 3?
True
Suppose -4*h = 12*j - 15*j + 1311, 4*j - 1779 = -5*h. Is j a multiple of 7?
True
Let g(m) = -86*m**2 - 2527*m + 3. Does 27 divide g(-6)?
True
Let k = -4727 + 6494. Is k a multiple of 70?
False
Let n(g) = 4*g + 68. Let q be n(-19). Let w = 12 + q. Suppose -w*a + 256 = 4*a. Does 16 divide a?
True
Suppose 9107 = 44*z - 9549. Is z a multiple of 18?
False
Let n be ((-87)/116)/(2/(-440)). Let k = 107 + n. Does 16 divide k?
True
Let p = 25858 - 19552. Is p a multiple of 35?
False
Let u(z) = 339*z**3 + 4*z**2 - 4*z - 9. Let x be u(-1). Let h(i) = 2*i**3 + 4*i**2 + 6*i. Let v be h(-5). Let k = v - x. Is 21 a factor of k?
False
Is 9 a factor of (0 + -4)*189987/(-168)*10?
False
Suppose 1207 = h + 4*v, 8*h + 5*v - 4773 = 4*h. Is h a multiple of 17?
False
Is 10 a factor of ((-14)/(-245))/(2/2126260) - 12/42?
True
Suppose -5*c = -7*c - 4*p + 1092, -c - 3*p + 542 = 0. Is 15 a factor of c?
False
Let m = 4666 - 4130. Is 18 a factor of m?
False
Let w(v) = 10*v - 181. Let d be w(34). Let p = d - 60. Is p a multiple of 9?
True
Let f be -3*(3 + -65) - 1. Suppose -3*b = -z + 50, z = -3*z - 3*b + f. Does 9 divide z?
False
Let z(n) = -683*n + 3062. Is 25 a factor of z(-11)?
True
Let z be (26/(-10) - -2) + 1564/(-10). Let p = 200 + z. Is p a multiple of 20?
False
Let q = 218 - 183. Let s(t) = 8*t - 27. Is 11 a factor of s(q)?
True
Let y = 696 - 457. Let c = 387 - y. Does 5 divide c?
False
Suppose 1224 = 4*y - 5*g, 0 = -0*y - y + 2*g + 309. Suppose y = 26*x - 1025. Does 6 divide x?
False
Let h be (1817/(-237))/((-1)/(-210)). Is 10 a factor of 3*8/(-3) - h?
False
Suppose -8*g = 8*g + 48. Let p(i) = -36*i - 30. Is 13 a factor of p(g)?
True
Let g be 123*-1*(26 - 27). Let d = g - -43. Does 6 divide d?
False
Let q(a) = 40*a - 97*a + 198*a + 212*a + 6. Let m be q(2). Suppose -9*p + 2105 = -m. Is 51 a factor of p?
False
Let v be 6 - (4 + -2)*1. Let u(n) = -n**3 + 2*n**2 + n - 1. Let g(r) = -5*r**3 + 8*r**2 + 11*r - 7. Let t(i) = -g(i) + u(i). Does 14 divide t(v)?
True
Suppose -3*o - 4*a - 3834 = -15680, 5*a = 25. Is o a multiple of 73?
True
Let f(h) = h**2 + 27*h + 240. Let s be f(-12). Suppose -51*t + s*t = 1764. Is 28 a factor of t?
True
Suppose -808 = -6*z - 178. Let r = 159 - z. Suppose -5*x - 5 = 0, -5*x = 4*t - 3*t - r. Does 12 divide t?
False
Let h be 5 + -1 + 8 + -5 - 2. Let l(r) = -r**3 + 5*r**2 + r - 3. Let w be l(h). Suppose -3*g - w = -11, 0 = 3*x - g - 147. Does 10 divide x?
True
Let w = -19 - -24. Suppose -3*l - 4 = w*h - 26, -h - 2*l + 3 = 0. Suppose 5*x + 4*z = 634, -h*x = -2*x - 4*z - 374. Is 18 a factor of x?
True
Let r = 22188 - -4917. Does 30 divide r?
False
Let k be 134/26 + 20/(-130). Suppose 4*y - 1 = 2*f - 5, 5 = 5*y - k*f. Is (-1 - -3) + (121 - y) a multiple of 18?
True
Suppose 171 = -6*h - 909. Let j = h - -350. Suppose -2*k - l = -46 - 32, 4*k = 5*l + j. Does 20 divide k?
True
Let x(d) = 88*d + 80. Let u be x(18). Suppose 15*k + u = 19*k. Is 13 a factor of k?
True
Let k(t) be the third derivative of 17/3*t**3 + 0 - 2*t**2 + 0*t + 1/6*t**4. Is k(14) a multiple of 8?
False
Let v(o) = -o**3 + 6*o**2 - 8*o. Suppose 18*w = 20*w - 8. Let t be v(w). Suppose 5*k + t*d - 75 = 5*d, -5*k + 105 = d. Is 2 a factor of k?
True
Suppose 5*k - 3*k - 4*r = 92, 4*r - 160 = -5*k. Is k a multiple of 4?
True
Suppose 15630 = -107*o + 113*o. Suppose -o = -4*j - 621. Is 32 a factor of j?
False
Suppose -u = 2*u + 1872. Let z = 1053 + u. Is (1/(-2))/(-2 - z/(-216)) a multiple of 9?
True
Suppose -248*k + 207774 = -214*k. Is k a multiple of 143?
False
Suppose 21*z - 15*z + 12*z - 1047816 = 0. Is 54 a factor of z?
True
Let d be 4/(-14) + 1038/(-42). Suppose 604 + 846 = 25*a. Let x = a + d. Is x a multiple of 11?
True
Suppose 0 = 3*w + 4*b + 4, 5*b + 5 = 4*w + w. Suppose w = 17*a - 21*a + 1196. Does 49 divide a?
False
Let g be -4 - -3 - 3 - -6. Suppose -g = x, -t + 4*x - 332 = -5*t. Let k = 147 - t. Is k a multiple of 14?
False
Suppose 2*b = k - 13713, 4*k - 2*b + 68565 = 9*k. Is k a multiple of 7?
True
Suppose 19*f + 15*f - 6222 = 0. Does 3 divide f?
True
Suppose w - 5*v - 1 = -2*w, -2*v = 3*w - 8. Let r be ((-1)/w)/(-3 - (-577)/192). Let y = 117 + r. Is y a multiple of 4?
False
Let v = -62 + 62. Suppose 2*h = 2, 4*r - 217 = -v*h - h. Is r a multiple of 13?
False
Let s be 2/(-9) + 241/(-9). Let b(y) = 2*y**3 + 19*y**2 - 7*y + 13. Let p be b(-10). Let z = p - s. Is 10 a factor of z?
True
Let o(h) = 11*h**2 + 7*h - 36. Let n be o(-9). Suppose 12*m - 3972 = -n. Is m a multiple of 17?
False
Let u be 2/((-1)/(-48)*-3). Let g = u + 37. Suppose 2*h + 535 = g*t + 4*h, -4*t - 5*h + 445 = 0. Is 21 a factor of t?
True
Let o be 0/1*(-18)/54. Suppose o*n = -10*n + 1220. Does 9 divide n?
False
Let j(t) = -t**2 - 25*t + 3. Let z be (-2)/(((-1)/2)/1). Suppose z*l + 3*a = -79, -20 - 4 = l + 5*a. Is 45 a factor of j(l)?
False
Suppose 0 = -6*i + 72 - 624. Let b = i - -88. Let t(q) = 8*q**2 - 2. Does 21 divide t(b)?
True
Does 16 divide 4189 - ((-53)/4 + (-108)/(-48))?
False
Suppose 12*h + 0*h + 816 = 0. Let n = 312 + h. Does 46 divide n?
False
L