v + 8*v = -2*o + c, 5*o - 169 = 3*v. Is 7 a factor of o?
True
Let h = 1248 + -693. Does 7 divide h?
False
Let f(b) = 49*b**2 - b. Let k be f(-2). Suppose 0 = -4*r + r + k. Is 1*(-2)/((-4)/r) a multiple of 33?
True
Is (-1)/(-3) - (-5 + (-14336)/21) a multiple of 16?
True
Let y = -7 + 7. Suppose y = u + 1. Does 11 divide 46 + (3 - (-3)/u)?
False
Suppose 4*d = -5*l - 22 + 2, -2*l + 2*d - 8 = 0. Let u(x) = -25*x + 5. Is 17 a factor of u(l)?
False
Let k(x) = -x**3 - x**2 + 11. Let d be k(0). Suppose 4*j - 3*j = d. Let i = -5 + j. Is i a multiple of 3?
True
Suppose -2*f + 728 = 2*f. Is 14 a factor of f?
True
Let q(b) = -7*b**3 - 5*b**2 + 3*b - 2. Let x(m) be the first derivative of -3*m**4/4 - 2*m**3/3 + m**2 - m + 7. Let o(s) = 2*q(s) - 5*x(s). Does 16 divide o(3)?
True
Let j be 12/15 - (-244)/(-5). Let r = j - -70. Let u = r + 14. Is u a multiple of 9?
True
Suppose -k = 2*k - 60. Let z be (-1)/(-4) + (-125)/k. Is 4 a factor of (1 + -22)*2/z?
False
Is 92/2*(9 - -6 - -5) a multiple of 10?
True
Suppose -3*l = 5*m - 5*l - 1804, 0 = 4*l + 8. Is 30 a factor of m?
True
Let l(d) = d**3 - 2*d**2 + 2*d - 3. Suppose -30 = -4*u - 18. Is l(u) a multiple of 4?
True
Let t = -15 - 129. Does 9 divide (t/15 - -2)/((-2)/20)?
False
Let v(l) = -l - 2 + 0*l**2 - 11*l**3 - 3*l**2 + 10*l**3. Let g be v(-3). Suppose 0 = -3*q + 56 + g. Is 12 a factor of q?
False
Suppose -n + 5*t + 976 = 10*t, 2910 = 3*n - 3*t. Is 16 a factor of n?
False
Suppose 0 = -3*g + 4*l, l + 2*l = -2*g. Suppose g = 3*z - 2*z. Suppose -4*u + 0*u + 36 = z. Is u a multiple of 4?
False
Suppose -2*x - m = -1519, 3*x - 922 = m + 1349. Does 21 divide x?
False
Is 39 a factor of (-2266)/(-2) + (8 - (12 - 5))?
False
Let f be 10/2*(-602)/35. Let q be 0 + 1 - (-6 + f). Let a = q - 61. Does 16 divide a?
True
Let n(l) = 1 + 3*l + 21*l**2 - 27*l**2 + 0*l + 11*l**2. Does 6 divide n(-3)?
False
Let h = -33 - -31. Does 2 divide 1/2*h*-34?
True
Let v = 1318 - 824. Is v a multiple of 38?
True
Let a(y) = -7*y - 5. Let f be a(-2). Suppose -5*z + f = j - 28, 4*j = -2*z + 76. Suppose j*g - 93 = 14*g. Is 8 a factor of g?
False
Suppose -2*l = 5*v - 152, 0 = 2*v - 5*l - 115 + 31. Let s = v + -30. Suppose 3*t = 4*a + 14 + 41, s = a. Does 21 divide t?
True
Suppose 2*m - 433 - 47 = 0. Does 12 divide m?
True
Let j(f) = f + 52. Let k be j(0). Suppose 4*l - 52 = -h, h - k = -3*l - 12. Does 12 divide l?
True
Suppose 3*j + 114 = 123. Suppose -4*t = 5*k - 76, -j*k - t + 56 = 4*t. Is k a multiple of 2?
True
Let r = 27 - 15. Does 13 divide -2*(-29)/8*r?
False
Let z(k) = -6*k**3 + k**2 + 2*k + 6. Let m(j) = -j - 12. Let i = -2 - 8. Let o be m(i). Does 15 divide z(o)?
False
Let w(o) = 13*o - 406. Is w(44) a multiple of 53?
False
Let g(q) = q**3 - 7*q**2 - 7*q - 4. Let j be g(8). Suppose 0 = 5*o - 3*u - 18, 5*u + j = 5*o - 6. Does 6 divide o?
True
Suppose -4*m + 4*w + 12 = 0, 18 = 5*m - m - w. Suppose k + 4*k + 550 = m*q, -q = -2*k - 115. Let f = 171 - q. Does 22 divide f?
True
Let q(j) = -2*j**3 + 6*j**2 + 19*j + 5. Is q(-8) a multiple of 23?
False
Does 7 divide 844/2 - 6/12*-6?
False
Suppose 5*t - 180 = 210. Let r = -39 + t. Is r a multiple of 5?
False
Let t be ((-70)/(-56))/(1/(-4)). Does 10 divide t/(20/(-132)) - 3?
True
Let g = 48 - 69. Let k = 22 + g. Does 3 divide (k - -20)*32/48?
False
Suppose 8*z - 542 = -4822. Let j = z + 766. Is j a multiple of 19?
False
Let w(h) = -4*h**2 - 110*h - 14. Does 16 divide w(-23)?
True
Let w be (-35)/(1 - (3 + -1)). Suppose d - w = -14. Is d a multiple of 7?
True
Let y(f) = f**2 - 9*f + 8. Suppose 4*j = 44 - 8. Let t be y(j). Let z(p) = -p**3 + 9*p**2 - 4*p - 10. Is 8 a factor of z(t)?
False
Suppose 109 = 3*w + 7. Let f = w - 29. Suppose 2*s + 3*v - 73 + 17 = 0, -140 = -f*s - 4*v. Does 28 divide s?
True
Suppose 3*z - 5 = 25. Suppose y - 3*j = -3*y + z, 0 = 5*y - 2*j - 16. Is (-64)/(-24)*39/y a multiple of 13?
True
Let j = -988 + 2236. Is j a multiple of 48?
True
Let i be (123/1)/(6/(-4)). Let a be 8/12 - i/(-6). Let c(u) = -u**2 - 13*u + 12. Does 4 divide c(a)?
True
Let r = -6 - -9. Suppose -u - 66 = -r*u. Let s = 59 - u. Is 12 a factor of s?
False
Let t = 24 - 7. Let o(h) = 26 - 12 + h**2 - t. Does 3 divide o(-4)?
False
Let k(j) = -2*j**3 + 6*j**2 + 2. Let s be k(3). Suppose -7*p + 140 = -s*p. Is p a multiple of 7?
True
Suppose -q = -2*y + 2202, -2192 = 7*y - 9*y - 4*q. Does 20 divide y?
True
Suppose 0 = 2*b + 5*w - 36, -5*b + 74 = 4*w + 18. Suppose b*p = 11*p - 9. Suppose a - 4*g - 16 = -p*a, -27 = -5*a - 2*g. Is a even?
False
Let v(k) = -k**3 + 13*k**2 - 16*k + 10. Let x be v(10). Let s = 192 - x. Is s a multiple of 24?
False
Suppose -5 = -3*u - 2*f, -5*f - 2 - 13 = 2*u. Suppose -u*l = -0 - 85. Is l a multiple of 2?
False
Let p(m) = 6*m + 27. Let f(h) = -3*h - 14. Let q(o) = -11*f(o) - 6*p(o). Let l be q(-6). Let i = 17 + l. Is i a multiple of 11?
False
Let z(d) = d**3 + 14*d**2 + d - 10. Let p be z(-11). Suppose -4*u - p = -5*x + 758, 0 = x + 5*u - 249. Is 32 a factor of x?
True
Suppose 3*c = 4*z - 1160, 2*c - 86 - 193 = -z. Is z a multiple of 41?
True
Let j(h) = -h**3 + 7*h**2 - 7*h + 6. Let k be j(6). Let s(z) = k*z**2 - 12 + 2*z**2 - 7 - 2*z + 13. Is s(6) a multiple of 14?
False
Suppose -3*j - j = 4. Let c(v) = v**3 + 23*v**2 - 76*v + 50. Let u be c(-26). Does 11 divide (j + -2 - u)*-34?
False
Suppose 0*a + 8*a = -104. Let m = 26 + a. Is m a multiple of 13?
True
Let z(n) = -18*n**3 - 3*n**2 + 6*n + 14. Is 65 a factor of z(-3)?
True
Let h(i) = -i**2 + 5*i**2 + 7 - 5 + 20 - 2*i. Does 37 divide h(7)?
False
Let y = -257 + 113. Let z = y - -201. Is z a multiple of 20?
False
Let w = -13 - -78. Is (w/(-15))/(2/(-42)) a multiple of 13?
True
Let w = 41 - 38. Is 3 a factor of (1 - w/2)*(-1 + -25)?
False
Let j(d) = -4*d + 2. Let k be j(-9). Let f = 102 - k. Does 16 divide f?
True
Let j(p) = 3*p**2 - 2*p + 1. Let n be j(1). Let c(o) = 21*o**2 + 4*o - 3. Let f be c(n). Let d = f - 63. Does 6 divide d?
False
Let l(u) = u**3 - 9*u**2 - 8*u - 10. Let n be l(10). Let t(g) = 2*g**2 - 16*g + 7. Is t(n) a multiple of 8?
False
Suppose -3*q = -2*q - 2. Suppose -q*s + 0*s + z + 28 = 0, -2*z = 5*s - 79. Let t = 28 - s. Does 13 divide t?
True
Let a(d) = -d**3 + 9*d**2 - 9*d - 9. Let z be a(9). Is 18 a factor of z/((3 - -2)/(-5))?
True
Let j be 17 - 1 - (-3 - -1). Let o be j/(-3) + 3 - -3. Suppose o = -4*y + 4*w + 36, 3*y + y = 2*w + 42. Does 5 divide y?
False
Suppose -5*z + 69 = 64. Let h = -56 + 39. Let x = z - h. Is 9 a factor of x?
True
Let u(x) = -x**2 + 7*x - 2. Let t(k) be the second derivative of -k**4/12 + 5*k**3/6 + 5*k**2/2 + 4*k. Let c be t(5). Does 8 divide u(c)?
True
Suppose -8*a + 19*a - 18480 = 0. Is a a multiple of 70?
True
Does 5 divide (11*185/(-20))/((-1)/4)?
False
Let r = 47 - 36. Suppose 99 = 12*y - r*y. Does 33 divide y?
True
Let y(x) = -x**2 + 5*x - 6. Let z be y(3). Let p be z + -3 + 6 + 94. Let s = -53 + p. Does 9 divide s?
False
Is 75 a factor of (-300)/(-8)*(72/9 - -42)?
True
Let s(d) = 10*d**3 + 8*d**2 + 15*d - 90. Does 30 divide s(5)?
False
Let l(t) = 1. Let o(y) = -y - 2. Let s(i) = 5*l(i) + 3*o(i). Let g be s(1). Is g/(-3)*(-3)/(-2) even?
True
Suppose 0*h = 4*h - 36. Let g(i) = -i**2 + 9*i + 2. Let v be g(h). Is 14 a factor of -7*(-1 - 3)/v?
True
Suppose 113*c + 1488 = 115*c. Is c a multiple of 31?
True
Let m(s) = s**2 + 21*s + 26. Let u be m(-19). Is (-816)/(-9) - (-8)/u a multiple of 15?
True
Let u = -347 - -617. Does 15 divide u?
True
Let x = -207 - -292. Suppose 0 = -3*k + x - 22. Let q = 39 - k. Does 7 divide q?
False
Suppose -m = 4*m - 5. Is 54 + ((-4)/m - -4) a multiple of 9?
True
Let v = 258 + -113. Does 5 divide v?
True
Let u = 24 - 11. Suppose 5*c - 2*i - 33 = 0, i = -2*c + 2*i + u. Suppose 0 = 7*p - 6*p - c. Is p a multiple of 4?
False
Let x = 876 - 719. Is 2 a factor of x?
False
Let z(t) = 33 - t**3 + 30 - 60. Is 4 a factor of z(-2)?
False
Let l = -4 + 0. Let i be (24/(-15))/(l/190). Suppose 2*r = i + 90. Does 23 divide r?
False
Suppose -3*h + s + 2597 = 0, -3*h - 3*s = -6*s - 2601. Does 25 divide h?
False
Let d = 16 + -15. Suppose -7 + d = -2*m. Suppose 0 = -m*o + o + 32. Is o a multiple of 4?
True
Let o = 1989 + -702. Does 102 divide o?
False
Let o(w) = -3*w - 47*w**2 - 5 + 14 + 26*w**2. Let h(t) = 11*t**2 + t - 4. Let n(v) = 7*h(v) + 3*o(v). Is 17 a factor of n(-2)?
Fal