*t. Suppose -3*s + 4*a = -3 - 53, -4*s = -t*a - 78. Is s a multiple of 11?
False
Let x(v) = 7*v**2 - 8*v + 13. Does 20 divide x(7)?
True
Let s(h) = -13*h**3 - h**2 - h - 1. Let x be s(-1). Let o(n) = 4*n - 13. Is 17 a factor of o(x)?
False
Suppose 2*u + 0*u = 236. Does 22 divide u?
False
Let o = 7 + -1. Suppose -2*r + o*k - k + 37 = 0, -32 = -r - 2*k. Does 9 divide r?
False
Let i be 2 + (2 + 2 - -277). Suppose 7*j - 11 = i. Is j a multiple of 14?
True
Suppose o = -o + 4. Suppose -3*y + o*d - 6*d = -79, y - 4*d = 53. Is y a multiple of 8?
False
Let j(i) = 2*i**3 - 5*i**2 + 4*i + 24. Is 32 a factor of j(6)?
False
Let j(v) = -v - 4. Let a be j(-4). Suppose a*s = -s - k + 1, k = s - 11. Is 8 a factor of (32/(-6))/((-4)/s)?
True
Let v = -2 - -10. Suppose 2 = t, 67 = y + t + v. Is 19 a factor of y?
True
Let p(v) = 3*v**2 + 4*v + 3. Let n be p(-2). Suppose 0 = -4*g - b - n, 4*g + 2*b + 8 - 2 = 0. Let s(r) = -r**3 - 2*r**2 - 2*r - 1. Is s(g) a multiple of 2?
False
Let q(t) = t**2 + 2*t + 3. Is 6 a factor of q(-3)?
True
Let x = -56 + 119. Let s = 88 - x. Does 25 divide s?
True
Let t(k) = -k + 12. Let c be t(9). Let r be (1/c)/((-5)/(-15)). Suppose 20 = 4*m, -4*m - r - 2 = -l. Is l a multiple of 13?
False
Suppose 0 = -k - 4*k + 620. Let h = k + -80. Is h a multiple of 11?
True
Suppose 2*v + 63 = -5*p, -4*p + 23 = -v - 2. Let k = -18 - v. Is k even?
False
Suppose -l + 282 = 4*j - 37, 2*j - 157 = -3*l. Is 20 a factor of j?
True
Let f be 8/20 + 56/10. Let u = f - 10. Let b = 18 + u. Is b a multiple of 9?
False
Let n(i) = 4*i + 6. Does 5 divide n(3)?
False
Let w(y) = -y + 6. Let q be w(0). Suppose 0*m = -5*j - 2*m + 30, 2*j + 3*m - 12 = 0. Suppose -2*n = -q, -2*h + 29 = 3*n - j*n. Does 10 divide h?
False
Let z = -13 + 57. Is 13 a factor of z?
False
Suppose j = -1 + 2, 0 = -5*w + 5*j + 245. Suppose q - w = -0. Is 25 a factor of q?
True
Let t be (-4 - 549) + 1*-2. Does 14 divide t/(-10)*2/3?
False
Let z = 95 + -46. Is z a multiple of 15?
False
Let i = 2 - -25. Suppose -28 = -4*q - 4*s, 2*q - 5*s + i = 5*q. Suppose o - 69 = -2*j, -q*j + 71 = -j - 5*o. Is j a multiple of 16?
True
Let x = 214 - 152. Is x a multiple of 31?
True
Let b = 11 + -25. Let f = -9 - b. Is 5 a factor of f?
True
Let r(a) = -7*a**2 - 11*a - 8. Let z(v) = 6*v**2 + 11*v + 8. Let t(u) = -5*r(u) - 6*z(u). Let k be t(-6). Let d = k + -8. Does 14 divide d?
True
Let h(b) = 3*b + 14. Is h(8) a multiple of 10?
False
Let a(t) = -t**3 - 3*t**2 + 1. Let p be a(-1). Let c be ((-42)/p + -2)/(-1). Let u = -14 - c. Does 13 divide u?
True
Suppose -r = -f - 51, 32 = 4*r - f - 166. Suppose -2*a - 3 - 23 = 2*q, -4*q - a = r. Is 8 a factor of -1 + (0 - (q - 2))?
False
Let q(c) = -21*c - 4. Is q(-2) a multiple of 19?
True
Suppose -g + 0*g - 2*z + 212 = 0, 2*z - 1076 = -5*g. Does 27 divide g?
True
Let q(z) = z**3 - 2*z**2 + 2*z - 9. Let v(s) = -s**2 + s + 1. Let o(u) = -q(u) - 5*v(u). Does 19 divide o(5)?
True
Is 13 a factor of 38 + 1 - (-2 + 2)?
True
Suppose x = h + 16 - 6, 0 = 3*h + 5*x + 22. Let r = 21 + h. Does 5 divide r?
False
Suppose -2*i - i + 36 = 0. Is i a multiple of 6?
True
Let p(h) = 4*h - 9. Does 15 divide p(6)?
True
Let a be 109/2*(2 - 0). Suppose -74 = -2*g - 2*z, 4*g - 42 - a = -3*z. Is g a multiple of 10?
True
Suppose 4*b - 24 = -4. Suppose -b*h = -2*h - 60. Is h a multiple of 18?
False
Suppose -3*o - 2*m = -6, 5*o - m + 3*m - 14 = 0. Suppose 21 = 3*k - j + 4*j, j = -5*k + 47. Suppose -o*l + 50 = k. Is l a multiple of 9?
False
Let q(l) be the first derivative of -l**4/4 - l**3 - l**2 - 5*l + 6. Is 11 a factor of q(-4)?
False
Suppose -5*n = 22 + 28. Let g = 7 + n. Does 6 divide (12*(g - -2))/(-1)?
True
Let q(r) = r**3 - 7*r**2 + 5*r + 6. Let u be q(6). Suppose 3 = -u*j + 3*j. Does 3 divide ((-1)/(3/(-9)))/j?
True
Does 23 divide 2 + 1/((-4)/(-192))?
False
Suppose -4*l + 537 = 3*t, 2*l + 0*t = -3*t + 273. Is (-3)/(-15) - l/(-15) even?
False
Suppose 0 = 2*x - 4*y + 82, 2*x + 67 = -y - 0. Let z = x - -69. Is z a multiple of 17?
True
Let w(n) = -n - 1. Let o(l) = -6*l + 3. Let j = 4 - 7. Let v(i) = j*w(i) + o(i). Is 14 a factor of v(-10)?
False
Let n = 12 + -6. Let a(o) = -o**3 + 5*o**2 + 9*o - 9. Is 9 a factor of a(n)?
True
Suppose -5*h - 4*n = 11, 4*n - 5*n - 2 = h. Let y be 0 - (33/h - 3). Let z = y - -6. Does 10 divide z?
True
Let m be (-1)/((-1)/(-2)) + 2. Let i be -2 + 2 - -1 - m. Is 8 + i + 1 + -1 a multiple of 4?
False
Is 3 a factor of ((-4)/(-6))/((-4)/(-78))?
False
Let a(n) = n**3 - 12*n**2 + 12*n + 8. Is a(11) a multiple of 13?
False
Let f = 161 - -6. Suppose -f = -b + 3*b - o, 0 = b + o + 91. Does 2 divide (-2)/(-9) - b/18?
False
Let q(z) = -2*z**3 + 2*z**2 + 8*z - 2. Is q(-3) a multiple of 9?
False
Suppose 7*t = 3*t + 24. Suppose -b + 1 = -t. Is b a multiple of 4?
False
Suppose 4*g = -4*z + 20 + 52, 4*g - 57 = z. Does 8 divide g?
False
Suppose 5*f = -4*m + f + 404, 2*m - 2*f - 186 = 0. Does 9 divide m?
False
Let w(k) = -k + 9. Let t be w(6). Let f = 10 + -6. Let l = f + t. Is l a multiple of 3?
False
Suppose -5*f + 3*f + 12 = -4*l, 3*f - 12 = 0. Let m(t) = -8*t**3 + t. Let w be m(l). Suppose -3*z = -w*z + 204. Is 14 a factor of z?
False
Is 12 a factor of -18*2*(3 - 4)?
True
Let a(v) = -6*v - 14. Is a(-11) a multiple of 6?
False
Let g = 37 + 60. Let q = g + -68. Does 7 divide q?
False
Suppose 0 = -z + 6 + 16. Suppose -z = -5*a + 18. Suppose -3*f + a*f + 8 = -u, -3*u = 3*f - 36. Is 6 a factor of u?
False
Let i(o) = -4*o + 1. Let g be i(-1). Suppose g*f = 69 - 4. Does 13 divide f?
True
Suppose 0 = i - 73 - 76. Does 18 divide i?
False
Suppose 5*n - 9 = 46. Suppose -3*b - n = -38. Is b even?
False
Let i(b) = 3*b - 10. Does 8 divide i(15)?
False
Let z = 48 + 2. Let a = -18 - -32. Suppose -4*b = -z - a. Does 5 divide b?
False
Let d = -268 + 474. Suppose 4*x - i - 110 = 0, 0 = 5*x - 5*i - d + 61. Does 11 divide x?
False
Suppose 5*i = -25, -6 - 11 = -3*v - 2*i. Suppose -2*p + 5*p - v = 0. Is 13 a factor of 1/p + (-76)/(-6)?
True
Let i(q) = q + 5. Let f be i(0). Suppose 0 = -4*w - 4*v + 64, f*v = w - 1 - 3. Is 14 a factor of w?
True
Let j = 5 - -2. Suppose 8 = j*s - 6*s. Is 4 a factor of s?
True
Let n = 4 - 2. Suppose -n*l = -3*l + 42. Is l a multiple of 21?
True
Suppose 4*r + i - 25 = 2*i, -5*r + 2*i = -35. Suppose 143 = r*h - 92. Is 18 a factor of h?
False
Suppose 2 = -2*c + 10. Let x = c + -1. Is x a multiple of 2?
False
Suppose 64 + 84 = 5*c - 2*l, 5*l = 3*c - 104. Is c a multiple of 13?
False
Let w(d) = 2*d**2 + 10*d - 2. Suppose -g = -0 + 7. Is 13 a factor of w(g)?
True
Let h be (-4)/2*1/2. Let b = 2 - h. Let r(i) = -i**3 + 5*i**2 - 3*i + 4. Does 10 divide r(b)?
False
Let p = 493 - 341. Suppose 0 = -4*a - 2*s + 124, -8*s + p = 5*a - 4*s. Does 14 divide -2*(4 - 3) + a?
False
Suppose 3 = 5*f - 7. Let m be (42/5)/((-3)/10). Is 2 a factor of f/4 - m/8?
True
Let l be -1 - 2 - (0 - 9). Let p(d) = 8*d - 3. Is 20 a factor of p(l)?
False
Let r(o) = -11*o + 1. Does 16 divide r(-4)?
False
Suppose -4*w = 5*r + 8, w - 5*r - 5 = 6*w. Suppose 2*p + 5*l - 186 = -45, p - 60 = l. Suppose 3*q - p + w = 0. Does 10 divide q?
True
Suppose -260 = 5*c - 2*s, 2*c = -3*c - s - 275. Does 8 divide (-1)/(-1 + (-51)/c)?
False
Let w(v) = v**2 - 8*v + 3. Let f be w(8). Suppose 5*a - 38 = -4*x, -5*a + 21 = 2*x - f. Suppose -85 + x = -3*b. Does 13 divide b?
True
Suppose 5*s + 14 = -u - 0*u, 4*u + s = -37. Let b = -592 - -365. Is (-2)/9 + b/u a multiple of 12?
False
Let n(f) = -4*f - 14. Suppose 3*c - 1 + 43 = 0. Is n(c) a multiple of 14?
True
Suppose 132 + 132 = 2*u. Is u a multiple of 47?
False
Is 0 - (-120)/18*24/10 a multiple of 4?
True
Let h(u) = u**3 - u + 36. Let r = 2 + -5. Let b(m) = m**3 + 3*m**2 - m - 3. Let q be b(r). Does 17 divide h(q)?
False
Let k(s) be the second derivative of -1/12*s**4 + 0 + 3*s + 1/6*s**3 + 4*s**2. Does 4 divide k(0)?
True
Let j be (-3)/1 + 2 - -6. Suppose -118 = -j*f + 2. Suppose i - f = -i. Is i a multiple of 12?
True
Suppose 3*l + 4 = 13. Let s be (l - 1 - 2)*-1. Suppose 2*p = -s*p + 48. Does 12 divide p?
True
Suppose -4*m + 446 = 5*d, -d = -4*m - 0*d + 458. Is m a multiple of 40?
False
Let r(f) = 4*f + 4*f**2 + 0*f - 3*f - 3*f**2 - f**3 + 57. Is r(0) a multiple of 12?
False
Suppose 0 = 4*x - 11 - 5. Let g = x - 1. Is 3 a factor of g?
True
Let v = 39 + 33. Is 18 a factor of v?
True
S