*s - 2*z - 338, 0 = 5*s + 2*z - z - 572. Is s a multiple of 19?
True
Let x(g) = -4 - 22*g**2 + 2 + 3. Let f be x(1). Is 3 a factor of 11/3 - (-14)/f?
True
Let n(f) = -2*f + 10. Suppose -2*u + 9 = -u. Let w be n(u). Let l(h) = h**3 + 7*h**2 - 10*h - 5. Does 5 divide l(w)?
False
Let b be (-10)/45 + 2380/18. Suppose 0 = -3*s + b + 222. Is s a multiple of 12?
False
Does 33 divide 165/2*(8 + -2)?
True
Let f = 137 - 37. Suppose -4*z - 3*u + 167 = -5, -2*u - f = -2*z. Suppose -39 - z = -5*v. Does 4 divide v?
False
Let o(h) = 3*h**2 + 27*h + 106. Is o(-13) a multiple of 15?
False
Suppose 4*b + 3*n - 5350 = 0, 4*n = 8*n - 8. Is 76 a factor of b?
False
Let d(q) be the second derivative of -9*q + 0 - 19/2*q**2 - 2/3*q**4 - 1/20*q**5 - 1/2*q**3. Is d(-8) a multiple of 3?
False
Suppose 0 = -5*y + 5, 0 = -0*d + 3*d - 5*y - 40. Suppose f + 7*z = 3*z + d, 4*z = 4*f. Suppose 4*m + 2*x = -0*m + 36, -m + f*x + 2 = 0. Is 7 a factor of m?
False
Let q(x) = 5*x**2 + 6*x + 22. Is q(-10) a multiple of 77?
True
Does 14 divide (-86328)/(-561) - 4/(-34)?
True
Suppose 0 = -2*d + 6 - 0. Suppose -4*x - 18 = -0*v - d*v, -4*x - 8 = 2*v. Suppose -v*y + b = -2*b - 73, 5*y + 3*b = 151. Is 16 a factor of y?
True
Suppose -4*a - 4*v = -28, -3*a + 4 + 10 = -4*v. Let m = -36 + 38. Suppose -9 = -t - s, t - 3 = m*s + a. Does 7 divide t?
False
Let v(u) = 900*u - 10. Does 9 divide v(1)?
False
Suppose -4*p - 38 = -210. Suppose 27 - p = -v. Is v a multiple of 4?
True
Let v(c) = 20*c + 5. Let s(u) = -59*u - 16. Let m(a) = 3*s(a) + 8*v(a). Does 29 divide m(-9)?
True
Suppose 41 + 19 = -5*z. Suppose -5*p = 5*i + 265, 3*p - i = -2*i - 153. Let k = z - p. Is k a multiple of 12?
False
Suppose -d - 4*a + 163 = 0, -5*d + 186 = 2*a - 557. Is d a multiple of 42?
False
Let g(u) = u + 12. Let y be g(-10). Suppose -6*v = -y*v - 4. Is -1 + -1 + 15 - v a multiple of 12?
True
Let l be 3/9 - 22/(-6). Let x(f) = 42*f. Let b be x(1). Does 11 divide (l/(-6))/((-2)/b)?
False
Suppose 0 = -6*d - 4*d + 1720. Does 10 divide d?
False
Suppose -33*l - 5220 = -38*l. Is l a multiple of 18?
True
Let m be 1*(7 + -1 + 1). Let i(p) = 2 + 7 + 2 + 9*p - 5. Does 23 divide i(m)?
True
Let q(t) = -321*t - 16. Let c(i) = -64*i - 3. Let y(o) = 22*c(o) - 4*q(o). Let f be y(2). Let n = f + 354. Is 26 a factor of n?
True
Suppose -8 = 26*d - 22*d. Let p be (13 - 4) + (d - 1). Suppose p*v - 10*v = -256. Is v a multiple of 10?
False
Suppose 5*i - 35 = -2*o, -4*i = i - 5*o - 35. Suppose -4*u + i = -5*u. Let x(c) = c**3 + 8*c**2 + 7*c + 7. Is 6 a factor of x(u)?
False
Is -6933*(-9 - (-130)/15) a multiple of 12?
False
Suppose 5*a - 794 = 3*o, -2*o - 337 - 299 = -4*a. Is 38 a factor of a?
False
Let x(r) = -r**2 + r + 7. Let b be x(3). Let t(w) = 93*w + 3. Is t(b) a multiple of 16?
True
Let j(o) = o**3 + 18*o**2 - 2*o - 32. Let f be j(-18). Suppose -4*m - 5*g = -g - 412, -424 = -f*m - g. Is 19 a factor of m?
False
Let z(s) = 47*s - 20. Let m(u) = -16*u + 7. Let d(n) = -17*m(n) - 6*z(n). Does 3 divide d(-2)?
True
Let p = -656 + 920. Suppose -l + p = l. Suppose 3*c + l = 5*c. Does 22 divide c?
True
Suppose -8*h + 25 = -3*h. Suppose -374 = -h*s + 3*s. Is 18 a factor of s?
False
Let w(i) = i + 2. Let m(t) = -73*t - 5. Let g(n) = m(n) + w(n). Does 51 divide g(-5)?
True
Suppose -421 + 169 = -9*h. Suppose -4*s = 4*u - h, -s - 4*u + 4 - 3 = 0. Does 7 divide s?
False
Is (-20)/(-2) + 8*1/4 a multiple of 6?
True
Let n be (-1)/(-5) + 162/90. Suppose -58 = -s - n. Is 14 a factor of s?
True
Let o(g) = g**3 + 15*g**2 + 27*g + 1. Let m(k) = -3*k + 17. Let u be m(9). Is o(u) a multiple of 33?
True
Suppose -2*i - s + 856 = 0, 1706 = 4*i - 10*s + 15*s. Is i a multiple of 11?
True
Suppose 0*i - 8 = -i. Suppose 3*p - 695 = 3*y - i*y, -y + 139 = -3*p. Is 20 a factor of y?
False
Let k = 98 + -175. Let l = 174 + k. Is l a multiple of 10?
False
Is 29 a factor of 551 + 3/12*0?
True
Suppose 3*x - 3680 = -4*h, 2*x - 2*h - 3739 = -1267. Is 19 a factor of x?
False
Let t be ((-48)/(-56))/((-2)/(-14)). Let g be t/(-6)*0/(-1). Suppose 0 = 2*u + 2, g = 3*x + u + 9 - 140. Is 11 a factor of x?
True
Suppose 38*v = 28*v + 400. Is 40 a factor of v?
True
Let z be (-141)/(-9) + (-8)/12. Suppose c = 9 + z. Is c a multiple of 12?
True
Let t(f) = 2*f + 2 + 2 - 2 - 4 + 18*f**2. Is 10 a factor of t(-2)?
False
Let w(x) = -x**3 + 36*x**2 - 57*x + 58. Is 8 a factor of w(34)?
True
Is 6 a factor of -6*584/(-24)*(0 + 1)?
False
Let l(m) = -16*m + 176. Is l(-12) a multiple of 16?
True
Let b(u) be the second derivative of u**3/6 + 10*u. Let f be b(3). Suppose -3*l + 81 = 2*a, -2*a - f*l + 86 = -l. Is a a multiple of 8?
True
Is (-1815)/(-10)*(13 + -3) a multiple of 15?
True
Suppose -26*u + 5713 = 409. Does 51 divide u?
True
Suppose 3*d - 4*u + 4444 = 6*d, 0 = 4*u - 4. Does 37 divide d?
True
Let b(o) = -o**2 + o - 6. Let t be b(-5). Let u be (-1)/4 + (-333)/t. Let g(h) = h**2 - 8*h + 4. Does 13 divide g(u)?
True
Suppose -5*s - 3*c + 9 = -0*c, c = 3*s - 11. Suppose 0*u = 4*u. Suppose u = -2*n, -s*n = 5*z - z - 408. Does 15 divide z?
False
Let b(h) be the second derivative of 7*h**4/3 - h**3/3 - h**2/2 + 30*h. Does 11 divide b(-3)?
False
Let w = 6371 + -2311. Is 28 a factor of w?
True
Suppose 50 = 5*i - 4*x, -2*i + 3*x + 22 = -5. Let c be i/9*1*99. Let b = c - 27. Is b a multiple of 8?
False
Suppose 3*t - 3*x = 552, 6*t - 4*x - 368 = 4*t. Is t a multiple of 23?
True
Suppose 3 = -5*v + 18, 2*u - 3*v - 27 = 0. Let w(j) = 19*j - 62. Does 20 divide w(u)?
True
Let t(g) = -2*g**2 + 5*g - 2. Let j be t(3). Let n(f) = 6*f**2 + 5*f + 1. Let h be n(j). Suppose l - 2*l - 252 = -4*w, -2*w = 2*l - h. Is 18 a factor of w?
False
Is 20 a factor of (-5851)/(-4) + 0 + 105/84?
False
Suppose -47 = -5*o - 12. Let d = o + -4. Suppose 0 = 3*p - 2*w - 46, 2*w + w + 45 = d*p. Does 13 divide p?
False
Let z(k) = -2*k**3 + 77*k**2 + 10*k + 156. Is z(38) a multiple of 90?
True
Suppose -5*g - 2*u = -1316, 0 = -9*u + 5*u - 8. Is 12 a factor of g?
True
Suppose 2*r - 141 = -2*r + 3*n, 0 = r + n - 30. Does 4 divide r?
False
Let c be (3/(-9))/(1/(-138)*2). Suppose 0 = -3*y - 2*l + c, -4*y + 0*y + 30 = 3*l. Is y a multiple of 9?
True
Let g(k) be the third derivative of k**6/360 - k**5/120 + 7*k**4/24 + 2*k**3/3 - 4*k**2. Let u(w) be the first derivative of g(w). Is 13 a factor of u(-4)?
False
Let d(c) = -131*c - 149. Does 49 divide d(-6)?
True
Suppose -3139 = -10*n + 661. Is n a multiple of 4?
True
Let f(t) = -3*t**3 - 4*t**2 + 1. Let z(c) = 4*c**3 + 3*c**2 - 1. Let k(a) = -2*f(a) - 3*z(a). Let s be k(-1). Suppose -31 = -s*p + 5*p. Does 16 divide p?
False
Suppose -7*w - 100 = -3*w. Suppose -5*k + 405 = 150. Let c = k + w. Is c a multiple of 10?
False
Suppose 8*q - 4*q = 20. Suppose -q*f - 119 = 216. Let u = -13 - f. Does 27 divide u?
True
Let c(k) = k**3 - 6*k**2 + k - 4. Let z be c(6). Suppose 3*g - 4 = z*g. Suppose 3*q - 78 = 3*v, 3*q + g*v = -v + 38. Is 11 a factor of q?
False
Suppose 3*x = -6, 4*j - 4*x + 2036 = -6*x. Is 8 a factor of -2*4/(-40) + j/(-10)?
False
Let t = 1 + 2. Suppose -t*s + 8*s - 17 = 4*d, 18 = 4*s - d. Let a(l) = 3*l**2 - 2*l + 3. Is 15 a factor of a(s)?
False
Let z be ((-6)/(-4))/(1/2). Suppose 0 = 2*u - z*c + 9 + 10, -28 = 4*u + 4*c. Is 48/(-6*2/u) a multiple of 16?
True
Suppose 9*u - 7 - 11 = 0. Suppose -2*g - 2*r = -32, u*r + 11 = 3*g - 57. Is g a multiple of 10?
True
Let o be (2/(-5))/((-3)/15). Suppose -o*a - 5*a = -525. Is a a multiple of 25?
True
Let z be 23 - 26 - (1 + -75). Does 13 divide -1 + -2 + 4 + z?
False
Let z = -39 + 43. Suppose -z*q + 5*m + 864 = 0, -3*m - 1080 = -5*q + m. Does 24 divide q?
True
Let x be -1*2 + (4 - 2). Let z be 9 - 8 - (x - 11). Let a = 2 + z. Is 3 a factor of a?
False
Let p be -2 + 7/(28/8). Suppose -4*g = 4*k - 16, -k + p*k = 4*g - 16. Is g a multiple of 3?
False
Suppose -2*v - 10 = 0, -2*j = -2*v + v + 35. Is 23 a factor of 4*2*3*(-90)/j?
False
Let l(k) = 14*k**2 - 32. Is 8 a factor of l(-4)?
True
Is 17 a factor of (-251175)/(-187) - (-8)/(-44)?
True
Suppose 4*z - 756 = -a - 2*a, -8 = 2*a. Does 8 divide z?
True
Suppose 0 = 2*r - 8, -6*v - r = -2*v - 112. Is (-1)/(2 + -1) - (-7 - v) even?
False
Let t(a) = -a**2 - 11*a + 64. Let x be t(-15). Let w = 95 - 37. Suppose w + 58 = x*f. Is f a multiple of 16?
False
Does 3 divide 2/12 - (-101)/6?
False
Let q be 922/(-7) - (-2)/(