Does 43 divide (-3)/o + 3600/28?
True
Let a = -10 + 12. Suppose -a*h = w - 55, -4*w - 14 = 3*h - 4*h. Let q = 20 + h. Is q a multiple of 16?
False
Suppose 3*q + 3*o = -240, -4*o = -2*q - 5*o - 158. Is 4 a factor of 212/(-6)*q/52?
False
Let k be 10/((9/2)/(-9)). Let o = 84 + k. Is 32 a factor of o?
True
Suppose -q = -4*q - 993. Let n = q - -489. Let t = n - 74. Is t a multiple of 28?
True
Let h(p) = -58*p. Let k(u) = -59*u + 1. Let j(g) = -4*h(g) + 3*k(g). Does 9 divide j(1)?
False
Suppose 2*i = g - 728, i - 2198 = -0*g - 3*g. Is 57 a factor of g?
False
Let p be -6*4/8 - 3. Is 22 a factor of (16/p - 0)/((-5)/330)?
True
Let a = 19 - -1. Suppose 3*r + a = 8, r = -5*c + 176. Is 2 a factor of c?
True
Suppose 0 = 9*n + 335 + 160. Let r = n - -97. Does 13 divide r?
False
Suppose -8*n - 937 = -10*n + l, -4*l = 5*n - 2336. Does 12 divide n?
True
Suppose 12561 = 9*m - 975. Does 16 divide m?
True
Let v(q) = 18*q - 6. Let f = 8 + -5. Let t = 6 - f. Is 16 a factor of v(t)?
True
Suppose 4*q + 3*v - 137 = 0, 3*q + 2*v - 52 = 52. Is q a multiple of 19?
True
Let x(k) = k**2 + 2*k + 1. Let y be x(-3). Suppose -y*b = -3*b + 2*f - 12, -3*f + 17 = b. Is -3*b/(-3) + 34 a multiple of 18?
True
Let w(c) = c**3 + 9*c**2 - 2*c - 13. Let s be w(-9). Suppose -2*z + x = -z - s, -3*z = -x - 13. Does 10 divide 19 - 2*(-6)/z?
False
Suppose 0 = 13*i - 10166 - 6045. Is i a multiple of 8?
False
Let c be (2 + -139 - -3)/2. Let f = c - -100. Does 11 divide f?
True
Let o = 18 + -10. Let l(m) = -m - 23. Let j be l(-20). Is 22 a factor of ((-2337)/76)/(j/o)?
False
Let b(r) = 10*r**2 - 4*r - 3. Let q be b(-2). Is 11 a factor of q + (-2*5)/(-5)?
False
Suppose 8*a = 4*a + 20. Suppose -2*z + 2*l = -18, 2*z + a*l = -3*z + 85. Let j = z + 5. Does 9 divide j?
True
Let d(r) = r**3 - 9*r**2 - 3*r. Let f be d(4). Does 23 divide f/(3/((-9)/6))?
True
Let o = 276 + 48. Does 6 divide o?
True
Is 1233/12 + (-15)/4 + 4 a multiple of 37?
False
Suppose -3*u = 4*f - 157, 314 = 3*u - 4*f + 117. Suppose 0 = 4*z + y - 43, 5*z - 2*y = -5*y + u. Does 32 divide (42/z)/((-12)/(-180))?
False
Let y(z) = 6*z**2 - 29*z + 110. Is 34 a factor of y(16)?
False
Suppose 390*c - 383*c = 11781. Does 17 divide c?
True
Suppose -2*x + 101 = -n, -4*x + n = -230 + 25. Does 26 divide x?
True
Let k(u) = 6*u + 20. Let h be k(-8). Let a = -23 - h. Let n(l) = 2*l**2 - 6*l + 4. Is 12 a factor of n(a)?
True
Is 29 a factor of (-56)/1*((-1450)/(-4))/(-25)?
True
Suppose 6*f = 2793 + 963. Does 47 divide f?
False
Let y be 12 - 12/(-9)*-3. Suppose -20 = -y*z + 3*z. Is z even?
True
Let f = -412 + 463. Is 4 a factor of f?
False
Let a(u) = u**3 + 6*u**2 + 8*u + 8. Let v be a(-4). Let f(w) = 11*w - 1. Is f(v) a multiple of 18?
False
Let n(b) = b**3 - 8*b**2 + 5. Let a(l) = -l**3 + 9*l**2 - 5. Let g(j) = -3*a(j) - 4*n(j). Let h be g(5). Is 13 a factor of 1089/15 - 2/h?
False
Let c = -7 + 10. Let d be (13 - 8/(1*-4)) + -1. Let a = d + c. Does 12 divide a?
False
Let c be ((-3)/2)/(1/(-20)). Let m = 9 - c. Let j = m - -42. Does 16 divide j?
False
Let t(o) = -o - 8. Let j be t(-8). Suppose 0 = -4*u + 20, -3*u + 271 = 2*d - j*d. Does 32 divide d?
True
Let x(u) = -u**2 + 12*u + 17. Let k be x(13). Suppose k*g = -5*l + 9*g + 175, -5*g + 185 = 5*l. Is 5 a factor of l?
False
Let q(x) = 4*x - 1 + 0 - x + 2*x**2 - 4. Let i be q(-6). Suppose -3*k = -5*s - 64, -2*k - i = -4*k - 3*s. Does 7 divide k?
False
Suppose 6*t = 5*t - 166. Let o = -85 - t. Is 27 a factor of o?
True
Suppose -7*f + 3*f = -20. Suppose 5*r + o + 2*o = 13, -11 = -f*r - o. Let w(b) = 3*b**3 - 3*b**2 + 3*b. Is 3 a factor of w(r)?
True
Suppose 13 = 3*p - 5. Let a be 2/p - (-28)/(-12). Does 14 divide 29 + (a - -5)/(-3)?
True
Let a = -92 + 94. Suppose a*c - 50 - 30 = 0. Does 10 divide c?
True
Suppose 0 = -3*p - 33 - 81. Let v = p - -39. Let n(t) = 12*t**3 + 2*t - 1. Is 9 a factor of n(v)?
False
Let k be (-3 - -30) + 3/(3/(-2)). Let l = k - -183. Is l a multiple of 16?
True
Let y = -721 - -899. Does 62 divide y?
False
Let f = -788 + 948. Does 12 divide f?
False
Suppose -4*h + h + 6 = 0. Let c be 5/2*h - 3. Suppose -c*j + 44 = -j. Is j a multiple of 11?
True
Suppose 2*w - 122 = -0*k - 2*k, -w = -2*k + 137. Suppose -54 = -5*c + k. Does 10 divide c?
False
Let r = 4 + -7. Let f be (r/3)/(1/6). Let s(n) = n**2 + 4*n - 4. Is 2 a factor of s(f)?
True
Suppose -l + 6*l = 0. Suppose l = -4*f - 0*f. Suppose -5*c - 49 + 7 = -4*z, f = 2*z - 2*c - 22. Is 2 a factor of z?
False
Suppose -3113 = -2*q + b + 1430, 4*b + 6822 = 3*q. Is 88 a factor of q?
False
Suppose 112 = -0*m + m. Is m a multiple of 21?
False
Suppose -8*i = -7*i - 1680. Does 12 divide i?
True
Suppose 4 + 2 = 3*m. Let i = 33 + m. Let k = 3 + i. Is k a multiple of 19?
True
Let z(u) = 34*u**2 - 3*u - 32. Is z(-5) a multiple of 32?
False
Suppose 2*n - 641 = 3*x, 4*x + 75 = n - 233. Let r = -85 + n. Is 25 a factor of r?
False
Let h(p) = p**3 + 14*p**2 - 15*p - 9. Let s be h(-11). Suppose 3*y + n = s, -n = 3*y - 2*n - 513. Is 35 a factor of y?
False
Suppose 2*x = -2*j - 8, -2*j - 3 + 9 = -5*x. Is (-1*x/(-6))/((-2)/102) a multiple of 6?
False
Let p(w) = 32*w**2 + 28*w + 25. Is 69 a factor of p(-6)?
False
Does 2 divide -82*((-10)/4 + (29 - 27))?
False
Let r(z) = z**2 - z - 27. Suppose 73 = 4*b - 9*b - 2*n, 0 = 3*b + 3*n + 51. Is 25 a factor of r(b)?
False
Suppose 0 = 5*s - 4*n - 49, -2*s - 4*n + 14 = -0. Let x = s + -5. Suppose 4 = 5*a + x*i + 5, -a - 17 = 5*i. Is a a multiple of 3?
True
Suppose -2*r + 0*r + 4 = 0. Suppose -n - n - 2*i = -r, 0 = -2*i - 10. Is 2 a factor of n?
True
Suppose 0 = -3*r + 4*r - y + 14, 3*r + 4*y = -7. Let a = r + 39. Does 30 divide a?
True
Let m = 1397 - 859. Does 68 divide m?
False
Suppose -21*f = -2341 - 725. Is 7 a factor of f?
False
Suppose -5*n + 5*y = 46 + 29, -2*y - 48 = 4*n. Let q = -1 - n. Is q a multiple of 6?
True
Let t = -2 + -1. Let c be t/(6/34) - -1. Let a = 18 - c. Is 10 a factor of a?
False
Suppose 7*b = 4*y + 2*b - 12, 2*b = -4*y - 16. Suppose 3*c = -3*m + 9, -3*m + 15 = 7*c - 3*c. Is 9 a factor of (c/12)/(y/(-108))?
True
Let g = -2 + -17. Let h be (4*-3)/(-1)*(-20)/(-30). Let c = h - g. Is 9 a factor of c?
True
Suppose -28*g + 7071 = -14181. Is g a multiple of 4?
False
Is (-170 + 12)*(-1 - (-22)/(-4)) a multiple of 90?
False
Let o(p) = 2*p - 1. Let b be o(-6). Let g(i) be the first derivative of -i**4/4 - 13*i**3/3 - 4*i**2 - 9*i + 160. Is 19 a factor of g(b)?
True
Let j be (-53)/(-11) + (-6)/(-33). Suppose 240 - 5 = -j*a. Let m = -26 - a. Is m a multiple of 20?
False
Suppose -5320 = -10*x + 3400. Is 36 a factor of x?
False
Let o be 0 + 6 + 1 - 2. Suppose 201 = o*m - 264. Suppose -4*f = -3*i - m, f - 2*i - 20 = 2. Does 24 divide f?
True
Let s(w) = -22*w**2 + 3*w + 8. Let j(o) = -1. Let m(p) = -5*j(p) - s(p). Is 38 a factor of m(4)?
False
Let c be 6*1*3/(-9). Let g be 1/c + 55/10. Suppose q + g*h = 7, q + h - 2*h - 31 = 0. Does 9 divide q?
True
Let y(k) = k**3 - 5*k**2 + k - 1. Let a = 18 + -16. Suppose z - a*l - 10 = 0, z + 3*l = -0*l. Is y(z) a multiple of 19?
False
Suppose -4*a + 4*l + 8388 = 0, 0 = 6*a - 8*a + 3*l + 4191. Is a a multiple of 21?
True
Suppose -2*f + 12 = f. Suppose f = n - 8. Suppose -n = -2*g - 2. Is 2 a factor of g?
False
Let f = -33 - 73. Let k = -41 - f. Does 13 divide k?
True
Let g(x) = 9*x - 21. Let z be g(6). Suppose -4*n + 7*n = -z. Let h(s) = -7*s - 15. Does 31 divide h(n)?
True
Let x = 5 + -6. Let g(j) = -103*j**3 - 2*j**2 - 2*j - 1. Is 17 a factor of g(x)?
True
Let w(h) = 3*h**2 + 1. Let s be w(-1). Suppose -c + 7 = 4*k - 0, 39 = s*c + 5*k. Let b(p) = 2*p - 10. Does 6 divide b(c)?
True
Suppose -2739 = -5*u - 939. Is 12 a factor of u?
True
Let x(c) = 6*c**2 + 4*c - 3. Let v be -9 - (18/(-3) - -2). Let l be 1 - (-3 - v)/(-2). Is 8 a factor of x(l)?
False
Is 13 a factor of (-71 + 58)*26/1*-4?
True
Let m(n) = -n**2 - 7*n - 6. Let u be m(-4). Is 6*10*u/8 a multiple of 9?
True
Suppose -3*x = 2*j - 36 + 11, -x + 5 = 0. Suppose -u = -j*p - 6*u + 195, -185 = -5*p - 3*u. Is p a multiple of 17?
True
Suppose 0 = -w + 4*k - 15, 5*w + 2*k - 22 - 13 = 0. Suppose -a + 72 = 4*l, a - 45 = -0*a + w*l. Is 12 a factor of a?
True
Does 10 divide 7 + 1 - 10 - -242?
True
Suppose 0*x - 6*x = -x. Does 11 divide 81/3 + (3 - x)?
False
Is -8 + 41872/88 + (-2)/(-11) a multiple of 39?
True
Suppose 4*k - 2