1. Is s a multiple of 33?
True
Suppose l + 105 = 5*s, -s = -4*l + 2*l - 21. Is 6 a factor of s?
False
Let n(z) = -z - 1. Let d be n(-3). Suppose -d*g - 3*g = -4*h + 8, 0 = 4*g. Suppose -h*v + 5 = -7. Does 6 divide v?
True
Let b = 4 - 2. Let z be (-88)/(-5) - b/(-5). Is 26/12 + (-3)/z even?
True
Let k be 42/(-7)*(-1)/3. Suppose -25 = -5*h, 3 + 3 = 4*i - k*h. Suppose 7 = m + 2*t - 0, 2*t = i*m - 8. Is 3 a factor of m?
True
Let p = -8 - -42. Does 10 divide p?
False
Let o be -3 - -5 - (-1 - -6). Is -2 + 3 + o + 5 a multiple of 3?
True
Let i = -18 + 13. Let t = 0 - i. Suppose -3*x = -t - 4. Is x a multiple of 3?
True
Suppose d - 7 + 1 = -2*m, 3 = 3*m. Let p(y) = -y**3 + 3*y**2 - 4*y + 4. Let x be p(d). Does 8 divide 2 - (-1)/((-2)/x)?
True
Suppose i - 8 = -4*c - i, -c + 5*i - 9 = 0. Let n be 39 - 5 - (0 - c). Suppose 3*b = -2*r + 68, 3*b + 4*r + n - 105 = 0. Is b a multiple of 7?
False
Let x(v) = v**2 - 6*v - 2. Let j be x(7). Let r(s) = s - 2. Let h be r(j). Suppose -h*c + 4*p + 144 = c, 5*c + 4*p - 162 = 0. Is c a multiple of 17?
True
Let u = 3 + 41. Does 11 divide u/(8/2 - 3)?
True
Let r(s) = s**2 - 6*s + 8. Does 24 divide r(8)?
True
Suppose c - 31 = -t, -166 = -5*c - t + 5. Suppose -6*y + y = -c. Suppose -y = -3*h + 2*h. Is 4 a factor of h?
False
Let f = 1 - -21. Let b = f + -12. Is b a multiple of 4?
False
Let j = 2 + -7. Let d = -3 - j. Does 2 divide d?
True
Suppose -5*o + 478 = -137. Let y = o - 62. Does 11 divide y?
False
Suppose -2*m = -4*c + 40, 3*c - 30 = 3*m + 30. Suppose p + 6 = -p + y, -3*y = 4*p + 12. Is 8 a factor of (3/2)/(p/m)?
False
Suppose -2*d - i + 4 = 0, -3*d - 5 - 3 = -2*i. Suppose -4*v = -d*v - 64. Does 8 divide v?
True
Let m(u) = -u - 19. Let i be m(0). Let t = -8 - i. Is t a multiple of 5?
False
Let v be -172 - ((-3)/(-3) + -3). Is 3/1*v/(-15) a multiple of 17?
True
Let a(p) = p + 0*p - 2*p + 0*p. Is 3 a factor of a(-6)?
True
Let z(j) = j**3 + 5*j**2 + 3*j - 2. Let h be z(-4). Let q be h/2 + -6 + 4. Does 15 divide -76*(0 - q)/(-2)?
False
Let o = 29 + 63. Does 46 divide o?
True
Let m(q) = -q**3 - 3*q**2 + 2*q - 3. Suppose 5*l + y = 104, -l + 4*y + 4 = -0*y. Suppose -4*n - n = l. Is m(n) a multiple of 5?
True
Suppose -4*t - 5*y + 116 = -t, -4*t = 5*y - 163. Let o(p) = -8*p**2 - 4*p - 5. Let w be o(-2). Let n = t + w. Is n a multiple of 9?
True
Suppose 3 = -5*k - 17. Is 15 a factor of k - ((3 - 33) + 0)?
False
Is (-12)/16 + (-2748)/(-16) a multiple of 9?
True
Let l = -6 + -2. Let b be 4/(-2) + l/(-2). Suppose 3*r - b - 16 = -2*q, 0 = 4*q. Does 6 divide r?
True
Suppose -12 = -5*u + 3. Let l be 6/(-4)*2/u. Is 11 a factor of (2/5)/(l/(-55))?
True
Let p(s) = -s**2 - s + 3. Suppose 10 = 3*h + 25. Let v be p(h). Let w = v + 29. Does 5 divide w?
False
Let d(h) be the first derivative of h**2/2 - 3*h - 3. Let i be d(5). Suppose 3*b = f - 14 + 86, 6 = -i*f. Is b a multiple of 9?
False
Suppose 2*n = 4*n - 760. Is 23 a factor of n?
False
Let r(d) = 0 - d**2 - 1 - 8*d - 6. Does 3 divide r(-6)?
False
Let n be -4 - (-2 - -1)*3. Is 7 a factor of ((-7)/4)/(n/12)?
True
Let p = 157 + -91. Is 3 a factor of p?
True
Let q(s) = s**3 + 12*s**2 + 10*s + 5. Is q(-11) a multiple of 11?
False
Let r(j) = 2*j**2 - 5*j**2 + 3 + j**2 + 4*j + 5*j**2. Is r(-3) a multiple of 6?
True
Suppose 0 = -2*y + 4*d + 54, 3*d = -2*y + y + 12. Does 21 divide y?
True
Suppose 10*y = 11*y - 15. Let w(s) = s**2 - s - 5. Let r be w(6). Suppose -y = -4*b + r. Is b a multiple of 10?
True
Suppose 3 + 11 = 2*p. Let q(n) = -n**2. Let x(c) = -c**2 - 6*c - 2. Let j(o) = -2*q(o) + x(o). Is 2 a factor of j(p)?
False
Let j(t) = -t**3 - 2*t**2 + 2*t + 2. Suppose 2*p - 7*p - 20 = 0. Does 8 divide j(p)?
False
Let g(t) = 3*t**2 + 4*t + 3. Does 17 divide g(-5)?
False
Suppose -4*s = -2 + 6. Let q(l) = -22*l - 1. Is 16 a factor of q(s)?
False
Let q(o) = o**3 + 6*o**2 + 7. Let j be q(-5). Suppose -j = -2*b - 2*b. Is b a multiple of 6?
False
Let u = -85 - -192. Suppose 2*w - s = 49, s = -4*w - 0*s + u. Does 13 divide w?
True
Suppose -5*s + 119 + 101 = 0. Is 16 a factor of s?
False
Let o = 11 + -6. Suppose -259 = -4*b + o*v - 23, b + 5*v - 34 = 0. Does 15 divide b?
False
Suppose 0 = -5*u - z + 6 + 9, -5*u + 5*z = -45. Suppose f + u*f = -10. Let l(a) = -a**3 - a + 2. Does 12 divide l(f)?
True
Suppose 0*g = j + 4*g - 16, 0 = -5*j - 2*g + 8. Let d = -5 + 7. Suppose 17 = 4*y - 3*c, j*c - 3*c = -d*y + 1. Is y a multiple of 4?
True
Suppose 2*h = -22 + 106. Is h a multiple of 42?
True
Let a be 4/6*(5 + -2). Suppose -q - 3*v - 67 = 2*v, -2*q - 86 = -a*v. Let o = q + 69. Is o a multiple of 10?
False
Suppose -4*m + 441 = 2*h - 93, -4*h = -3*m + 428. Is 8 a factor of m?
True
Suppose -52 = -4*z + 4*p, -2*z + p + 34 = -3*p. Suppose k - z = 4*k. Is -2*k/12*62 a multiple of 9?
False
Let l(r) = 2*r - 1. Let t be l(3). Suppose -t*d + 17 = -p, 11 = 6*p - p - d. Suppose 6*q + 5*f - 86 = 2*q, p*f - 101 = -5*q. Is q a multiple of 19?
True
Let n be 1 + 0 + (-1 - -35). Suppose 3*d = 8*d - n. Is 7 a factor of d?
True
Let x(m) = -2*m - 3. Let z be x(-3). Does 7 divide (z - -6)*(0 - -2)?
False
Let t(u) = u**2 + 5*u - 7. Let k(i) = i**2 + 5*i - 7. Let h(q) = -2*k(q) + 3*t(q). Is 8 a factor of h(-8)?
False
Suppose -4*x = -4*s - 28, -x + 22 = -2*s - 2*s. Suppose -l - 3 = -4*w, 2*w + w + 4 = x*l. Suppose y - 2*q = 38, -y + w*q + 46 = -2*q. Is 10 a factor of y?
True
Let t(n) = n**3 + 2*n - 3. Let s be t(4). Suppose z + 2*z - s = 0. Does 5 divide z?
False
Suppose 4*z - 70 = -i, -4*z = 3*i - 266 + 16. Does 33 divide i?
False
Let b be (0 - 94)*8/16. Is (-6)/15 - b/5 a multiple of 9?
True
Let i(j) = -j**3 - 9*j**2 + 5*j - 30. Is i(-10) a multiple of 4?
True
Let s(r) = 45*r - 24. Is s(4) a multiple of 12?
True
Is 24 a factor of -11*(-5*3 + (0 - 4))?
False
Suppose 1 = -3*j - 8. Let t(z) = -15*z - 1. Let h be t(j). Suppose -2*i = -h - 30. Is i a multiple of 17?
False
Let n be (-1)/((-123)/63 - -2). Let g = n - -24. Is g a multiple of 2?
False
Let z(o) = -4*o + 2. Does 6 divide z(-7)?
True
Let y = -26 - -46. Suppose -3*b + 22 = h, -4*h + 4*b + y = -b. Is 5 a factor of h?
True
Is 30 + 22/(-8) + (-3)/(-4) a multiple of 3?
False
Suppose 107 + 57 = 3*b + t, -4*b + 207 = -t. Is 28 a factor of b?
False
Is (-7)/((-28)/456)*(-2)/(-2) a multiple of 13?
False
Suppose -170 = -5*s + 5*v, 5*s + 2*v = 183 + 1. Suppose -s = 2*k - 4*k. Is k a multiple of 9?
True
Let r = 144 - 41. Does 29 divide r?
False
Suppose -3*d - 76 + 1 = 0. Let g = 1 - d. Does 26 divide g?
True
Suppose 5*a - 876 - 174 = 0. Is a a multiple of 14?
True
Suppose -4*g - 23 = -q + 87, 0 = -2*g. Does 10 divide q?
True
Let m = -8 - -8. Suppose m = 3*d + d - 56. Does 4 divide d?
False
Let z be (-5)/(-25) + (-129)/(-5). Suppose -y = y - z. Does 13 divide y?
True
Does 12 divide (17 - (5 - 1)) + 4?
False
Let s be (-2)/(-1) + -2 + 40. Suppose 8 = 2*z + 2*z. Suppose 7*v = z*v + s. Is v a multiple of 3?
False
Suppose m - 5 = 3*m + 5*z, 2*m - z - 25 = 0. Is m a multiple of 5?
True
Let p(q) = -q**3 + q**2 - q + 41. Let s be p(0). Suppose 0 = c - 2*c - s. Let x = 79 + c. Is x a multiple of 19?
True
Let k = -109 + 207. Is 11 a factor of k?
False
Suppose 0 = -4*l + 7 + 5. Let r = 21 + 17. Suppose l*s - r = s. Does 19 divide s?
True
Let n = -7 - -20. Let j = n + 39. Is 17 a factor of j?
False
Suppose 0*h - 4*h = 0. Let d = h + 2. Suppose -7*a = -d*a - 15. Is a a multiple of 3?
True
Suppose 3*h + 4*d + 18 = -0, 12 = -2*h + 3*d. Let x be ((-8)/h)/((-4)/(-12)). Suppose -u = -x*u - 2*o + 27, 5*u - 61 = 2*o. Is u a multiple of 8?
False
Let v(a) = a - 6. Let z be v(9). Suppose -2*f - 6 = 0, 2*d + 3*d - z*f = 269. Is 26 a factor of d?
True
Let z = -32 - -64. Is z a multiple of 16?
True
Suppose 0 = 4*m + c - 4, 4*m - 4*c - 4 = 0. Suppose 0 = a - 2*u - 12, m - 7 = a + 4*u. Let g = 11 - a. Is g a multiple of 2?
False
Let v = -20 + 40. Is 13 a factor of v?
False
Let h be (203/(-21))/(2/6). Let l = h - -54. Is l a multiple of 25?
True
Suppose -8 - 1 = -3*b. Suppose 5*p - b*a = 204, -a + 170 = -p + 5*p. Is 114/7 - 12/p a multiple of 8?
True
Let w(v) = v - 9. Let r be w(6). Let p(o) = 6*o**2 + o - 4. Is p(r) a multiple of 8?
False
Suppose 0 = s - 34 + 9. Does 25 divide s?
True
Suppose 36 = d - 4*d. Let p(i) = -i**2 - 14*i - 16. Let h be p(d). Suppose -3*z = -5*z + h. Is z even?
True
Suppose 5*k = 3*r + 30