pose -8*z + 309 = 197. Does 6 divide z?
False
Let u be -1 + (96 - (0 + -3)). Suppose -6*y - u = -242. Does 12 divide y?
True
Let o(x) be the first derivative of 4 + 1/4*x**4 - 13*x - 13/2*x**2 + 10/3*x**3. Is o(-11) a multiple of 3?
True
Let r be ((-36)/(-42))/((-3)/(-14)). Suppose -3*k + r = -59. Suppose 4*i - 99 = -4*l + i, -l + 3*i = -k. Does 6 divide l?
True
Let r(y) = -y - 2. Let u be r(-6). Suppose -3*a - u*g = -6, -2*g - 3 = -4*a + 5. Is 1490/25 + a/5 a multiple of 19?
False
Let j(s) = s**3 + 5*s**2 + 12. Let l be j(-9). Let k be l/20 + 3/5. Does 8 divide 106/6 - 5/k?
False
Let h(j) = j + 23. Let x = -41 - -36. Is h(x) a multiple of 3?
True
Let r = 152 + -147. Suppose 0*j - 5*t = -r*j + 745, 3*j - 487 = -5*t. Does 22 divide j?
True
Let g = 788 - 759. Is 7 a factor of g?
False
Let i(f) = -f**3 - 3*f**2 + 5*f + 7. Suppose s + 3*y - 15 = 0, -5*s - 2*y - y = -27. Suppose 0*d + 4*r - 1 = -s*d, -d + r = 9. Is 11 a factor of i(d)?
False
Suppose 7 + 56 = a. Does 21 divide a?
True
Let k = -32 + 33. Let o = k + 9. Is 2 a factor of o?
True
Let w(j) = 5*j + 3. Let t be w(-3). Let b(x) = -8*x + 5 - 14 - 4. Is b(t) a multiple of 25?
False
Suppose 18*x - 79 = 11. Let o = 7 + 0. Suppose 3*g + x*a + 124 = o*g, -a + 4 = 0. Does 12 divide g?
True
Let q be (-7)/((-14)/(-4)) + 5. Let l(m) = 1 + 1 - 3 + m**q + 3*m. Is 5 a factor of l(2)?
False
Let w(z) = 67*z**2 + 6*z - 4. Is 13 a factor of w(6)?
True
Let x = 85 + -78. Let s(b) = -b**3 + 9*b**2 - 4*b - 8. Is 17 a factor of s(x)?
False
Let x(v) = v**2 - 11*v - 12. Let a be x(11). Let i be (15/(-6))/((-2)/a). Is ((-190)/i)/((-3)/(-18)) a multiple of 14?
False
Is (-979)/(-5) + 44/220 a multiple of 28?
True
Let k = -602 + 922. Is 10 a factor of k?
True
Suppose -12061 = -3*p - z, -2*p - 2*z - 4218 = -12260. Is 14 a factor of p?
False
Let y be (-11)/(-66) + (-1211)/(-6). Suppose -4*o = -h - y, h - 2*h + 257 = 5*o. Does 15 divide o?
False
Suppose 6*y - 15*y = -3186. Is 23 a factor of y?
False
Let a(y) = 11*y**2 + 6*y + 13*y**3 - 2 - 19*y**3 + 7*y**3. Is a(-9) a multiple of 23?
False
Let w = 38 - -106. Is 9 a factor of w?
True
Let s = -8 - 4. Let f = 28 + s. Suppose 4 = 2*k + 2*w - 40, -f = -4*w. Is 4 a factor of k?
False
Suppose -11 = -6*x + 7. Is ((-21)/(-3))/(x/6) a multiple of 10?
False
Let f(j) = -j**2 - 7*j + 2. Let k be f(-7). Suppose k*p + 1495 = 4*q - p, 0 = 2*q + 2*p - 730. Does 51 divide q?
False
Let h = 303 + 156. Is h a multiple of 16?
False
Let k(a) = -2*a + 14. Let u be k(6). Suppose 2*d - 105 = 3*z - d, -u*d = -3*z - 101. Let j = 2 - z. Is j a multiple of 10?
False
Let c(g) = g + 22. Let h(f) = f**3 + 3*f**2 - 2*f - 2. Let n be h(-4). Does 3 divide c(n)?
True
Let z = -111 + 159. Is 48 a factor of z?
True
Let q = 266 + -138. Suppose -5*t - 8 = -9*t. Suppose -q = -t*u - 4*f, -2*u - f + 167 = u. Is u a multiple of 10?
False
Let v be (4/7)/((-12)/(-42)). Suppose v*c - 6*c = 4*b + 8, -4*b + 17 = -c. Let i = 7 + b. Is i a multiple of 5?
True
Suppose -3*u - 548 = -t, -32*u + 16 = -28*u. Is 4 a factor of t?
True
Suppose -8*x + 15*x - 1967 = 0. Is 4 a factor of x?
False
Is (-22 - -13)/(2/176*-6) a multiple of 12?
True
Let p = 4 + 2. Suppose -184 = p*i - 1282. Suppose g = 4*o - i, 2*g - 84 = -2*o - 0*o. Does 15 divide o?
True
Let s(v) = -2*v - 4. Let a be s(0). Let c be 0 - 2*4/a. Suppose c*q + 49 = 143. Is 8 a factor of q?
False
Let r(y) = -2*y**3 - 5*y**2 - y - 2. Let u be 3/(-7) - (-322)/(-49) - -3. Is 50 a factor of r(u)?
True
Suppose -10961 = -15*w + 3544. Does 12 divide w?
False
Suppose 1315 = r + 4*r. Suppose -3*w + 4*c + r = 5*c, -3*w + 3*c = -267. Is 11 a factor of w?
True
Let s = -40 + 10. Let v = s + 91. Is 12 a factor of v?
False
Let f be ((-10)/(-30))/((-2)/(-30)). Suppose 5*m + 6 = -i + 30, -2*m + 5*i - 12 = 0. Suppose -g - 41 = -4*w, -w - g = -m - f. Does 5 divide w?
True
Let d = -64 - 3. Let o = d + 130. Does 21 divide o?
True
Suppose -n = 3*w - 2026, -4*w = -15*n + 19*n - 8096. Is n a multiple of 5?
False
Let a = 49 - 31. Let g be 1202/18 - (-4)/a. Let d = g + -6. Is 12 a factor of d?
False
Let h(d) = 12*d - 2. Let s(g) = g + 12. Let f be s(-14). Let x be f - -6 - (-2 - -2). Does 15 divide h(x)?
False
Let l = 8 - 2. Does 13 divide 2/l - 4/(36/(-1401))?
True
Suppose -12 = y - 17. Let g(i) = -3*i**2 + 18*i - 27. Let u(t) = 2*t**2 - 9*t + 13. Let d(s) = y*u(s) + 3*g(s). Is 27 a factor of d(-14)?
True
Let n(h) = 9*h**2 - 22*h + 4. Let q(b) = -5*b**2 - b**2 - 2 + 11*b + b**2. Let z(c) = -4*n(c) - 7*q(c). Is 14 a factor of z(5)?
True
Suppose -3*g + 2*h = -h - 2388, 2*g - 5*h = 1604. Is 22 a factor of g?
True
Suppose -5*t = 5, 0 = 4*p - p + t + 115. Let b(u) = -5*u. Let n be b(3). Is (p + 2)*10/n a multiple of 6?
True
Suppose 3 = j - 1. Suppose -j*s + 361 = -175. Does 21 divide s?
False
Let q be 2/(-9) - 2/(-9). Let m be 2 - (0 + (q - 0)). Suppose -m*t = t - 84. Is t a multiple of 14?
True
Suppose 4*k - 5*w = 2042, 2*w - 1030 = -7*k + 5*k. Is 27 a factor of k?
True
Suppose 2*o = 3*r - 550, 143*o - 146*o = 3*r - 555. Does 13 divide r?
False
Let l = 8 + -17. Let d be 18/8 + 2/(-8). Is 18 a factor of (-627)/l + d/6?
False
Suppose -169 = -6*y + 515. Is y a multiple of 57?
True
Let z(c) = 31*c + 9. Let f(k) = 93*k + 25. Let w(l) = 4*f(l) - 11*z(l). Is 10 a factor of w(1)?
False
Suppose -8*g + 20445 - 5533 = 0. Is 16 a factor of g?
False
Let c(z) = -3*z + 17*z + 88*z + 5. Let h be c(2). Suppose h = 5*a - p, -2*a - 128 = -5*a - 2*p. Does 7 divide a?
True
Let k be (-15)/10 - 1/(-2). Let x be (k/(-2))/(6/72). Is (x/24)/(2/328) a multiple of 17?
False
Suppose 0 = 3*c - 8*y + 5*y - 936, -5*y + 300 = c. Is c a multiple of 5?
True
Let k(g) = -g**3 - 7*g**2 + 10*g + 9. Let p be k(-9). Let s = -58 + p. Suppose -5*h = -s - 27. Does 7 divide h?
False
Let o be 562 + -2 + 0 - 5. Suppose 15*f - 12*f = o. Does 31 divide f?
False
Let f(p) = -p**2 + 9*p - 9. Let q be f(9). Let g = -2 - q. Suppose -s + 4 = -g. Is 3 a factor of s?
False
Let v(g) = 31*g**2 - 2*g + 6. Is 15 a factor of v(-4)?
True
Let q = -58 - -185. Suppose -5*o - q = -y, 3*y - o - 61 - 250 = 0. Does 34 divide y?
True
Suppose 8708 = 48*m - 700. Is 9 a factor of m?
False
Let x(a) = 80*a**2 - 2*a + 6. Let z be x(-3). Suppose -9*u + 3*u + z = 0. Is u a multiple of 26?
False
Let x be ((-4)/(-6))/(4/366). Suppose 0 = 12*z - 87 + 279. Let y = x + z. Is y a multiple of 16?
False
Suppose 4869*k = 4867*k + 1410. Does 16 divide k?
False
Let u(p) be the second derivative of -p**3/2 - 2*p**2 + p. Let n be u(-15). Suppose -3*l - 11 = -n. Does 7 divide l?
False
Is -118*(1 - (0 - -4)) a multiple of 6?
True
Suppose -4*a + 17 = -x, 5*a + 2*x + 3 - 8 = 0. Suppose -i = -2*i. Suppose -3*s - 5*t = -8*s + 235, -2*s + a*t + 99 = i. Is s a multiple of 21?
True
Let r = -8 - -10. Suppose 4*n + 22 = c + 2, -r*c - 4*n = -28. Does 8 divide c?
True
Let f(p) = 4 + 5*p**3 - 10 - 4*p**3 + 9*p - 8*p**2. Let u be (-8)/(-6) - 238/(-42). Is 2 a factor of f(u)?
True
Let p = 33 - 9. Suppose 10 = 5*x, 0*b - x + p = 2*b. Let m = 7 + b. Is m a multiple of 4?
False
Suppose 3*g = n - 495, -3*g + 1175 = 3*n - 262. Is 21 a factor of n?
True
Suppose 2*j + 4*l = -0*j + 14, 0 = 4*j - 4*l - 16. Let s be (237 + j)*1/2. Let d = s - 32. Is 12 a factor of d?
False
Let v(t) = t**2 + 8*t + 13. Let i be v(-5). Let r be (1/i)/(2/(-72)). Let w = 61 - r. Is 11 a factor of w?
False
Suppose -12 = 3*l - 3*r - 36, 5*l - r = 24. Does 12 divide l/1*40/5?
False
Let l = -5 + 5. Suppose -u + 6*u - 25 = l. Suppose -u*f - a + 14 = 0, 4*f = 3*a + 4 - 8. Does 2 divide f?
True
Suppose 73*i - 20812 = 62*i. Is 21 a factor of i?
False
Suppose -30*p = -24*p - 16464. Is p a multiple of 56?
True
Let l = -315 + 357. Is 9 a factor of l?
False
Does 13 divide 2/(-12) - (-1)/6*5461?
True
Let j(u) = 13*u + u**2 - 3*u + 2*u - 32. Is j(-16) a multiple of 6?
False
Let o = -37 - -37. Suppose 0 = -o*t + t - 4*x - 119, 2*x = -2. Is t a multiple of 20?
False
Let c(d) = -36*d + 44. Let t(f) = -f - 1. Let r(m) = c(m) + 3*t(m). Does 38 divide r(-4)?
False
Let x = 289 + 357. Is x a multiple of 19?
True
Let n = -1280 + 1854. Is 19 a factor of n?
False
Let u = -22 - -62. Let g = 118 - u. Does 14 divide g?
False
Let m = -705 - -952. Does 13 divide m?
True
Let i(s) = -s**3 + 4*s**2 + 3*s + 7. Let b be i(5). Let d be b/(-9)*(6 - -9). Let j(m) = 3*m - 9. 