iple of 6?
False
Suppose -s - 3 = -2*s. Suppose 0*v = v - s. Suppose 21 = 5*q - v*l - 9, l - 24 = -4*q. Is q a multiple of 4?
False
Let x = -794 - -1155. Is 11 a factor of x?
False
Let d(o) = -3*o + 8 + 37*o**3 + 4*o - 5 - 2 - 3*o**2. Is d(1) a multiple of 12?
True
Let t = -868 + 1022. Is t a multiple of 22?
True
Let j = -25 + 22. Does 10 divide (22/j)/(26/(-195))?
False
Let d be (-13 + 11)/(-2 - 8/(-5)). Let p(y) = 20*y - 2. Is 14 a factor of p(d)?
True
Suppose 0 = h - 1, -2*g + 2*h + 295 = 9. Does 24 divide g?
True
Does 4 divide -18 + 22 - (-284)/(-8)*-4?
False
Let j(b) = 13*b**2 - 27*b. Does 7 divide j(4)?
False
Suppose -7*l + 144 = -24. Does 6 divide l?
True
Suppose -4*i - g + 199 = 0, -2*i - 4*g + 56 + 54 = 0. Does 21 divide i?
False
Suppose 4*t - 3 = -27. Let o = 2 - t. Let a(s) = 6*s. Is a(o) a multiple of 12?
True
Suppose -5*n = q - 5*q + 120, n = -4. Suppose -2*m + p = -13, q - 10 = -5*p. Is m a multiple of 5?
True
Let q(c) = 2*c**3 + 13*c**2 + 4*c - 8. Let m be q(-6). Suppose -m*i + 29 = j - 3, 2*j = i + 28. Is 4 a factor of j?
True
Let g(w) = 20*w**2 - 17*w - 22. Is 15 a factor of g(9)?
False
Suppose 0 = -f + 3, -3*j + 0*j - 2*f - 36 = 0. Let o = 13 + j. Let p(s) = 7*s**2 - 1. Is 6 a factor of p(o)?
True
Is 97 a factor of -6 - -2 - (-255 + (9 - 5))?
False
Let h be 9/(-6)*8/(-3). Suppose -c + 13 = h*l - 15, 3*l = 5*c - 255. Is 7 a factor of c?
False
Let p = 1 - -1. Suppose -12 = -4*j, 3*j = -p*h + 9 + 112. Suppose g = -g + h. Is 14 a factor of g?
True
Let z = 1529 - 717. Is z a multiple of 14?
True
Suppose 146 = -13*m - 10. Is 22 a factor of (-15)/m - 3052/(-16)?
False
Let p = -964 - -1236. Is 8 a factor of p?
True
Let l be (9/(-4))/(5/(-20)). Suppose l*x + 170 = 14*x. Is 6 a factor of x?
False
Suppose -12 = -3*p - 4*f - 64, 0 = p + 2*f + 20. Let o = 22 + p. Let s(c) = c**2 - 6*c - 13. Does 27 divide s(o)?
True
Let x(l) = -2*l - 6. Let i be x(-6). Let y be ((-10)/i)/((-1)/36). Suppose -4*z - z = -y. Does 4 divide z?
True
Suppose -2*t + 151 = -227. Is 27 a factor of t?
True
Let k(t) = 47*t - 197. Is 8 a factor of k(16)?
False
Let d = 9 - 6. Suppose 5*n + 79 = m, -2*m - d*n + 6*n + 130 = 0. Let s = m + -9. Does 22 divide s?
False
Suppose -10*a = -11*a. Suppose a = 3*m + m - 12. Suppose m*d - d - 26 = 0. Is d a multiple of 12?
False
Let r be 0 - 1*(7 + -11). Suppose -y = -7 + 3. Is 7 a factor of (r - (-10)/4)*y?
False
Let q be 4*(1 - 3/2). Let p be (2 - -26)/((-2)/q). Let n = p - 6. Does 22 divide n?
True
Let s(f) = -f**3 + 3*f**2 - 2*f + 2. Let d be s(2). Suppose -d*k = -7*k + 20. Suppose -5*i - 167 = -k*x, 5 = -i + 10. Is x a multiple of 12?
True
Let o(v) be the third derivative of 31*v**5/60 - v**4/24 + v**3/6 + v**2. Suppose -29*z = -34*z + 5. Is 16 a factor of o(z)?
False
Let o = 8 - 5. Suppose -s - 23 = -o*t, t + 0*t + s - 13 = 0. Does 9 divide t?
True
Let t be (-4806)/36*-2*1/1. Suppose 4*b - t = 2*k + 77, -344 = -4*b - 2*k. Is 12 a factor of b?
False
Suppose 0 = 19*f - 10*f - 2412. Does 12 divide f?
False
Let m = -168 - -298. Is m a multiple of 6?
False
Suppose 4*q = 10*q + 6. Is 37 a factor of 9/(-27)*(-1)/q*-597?
False
Let i = 10 + -6. Suppose 3*v - 157 = -i*s + 2*s, 10 = 2*s. Is v a multiple of 25?
False
Suppose 4 = d + 2. Suppose -4*w + 34 = 2*x + w, d*x = 5*w + 34. Let n = 32 - x. Is n a multiple of 5?
True
Let b = 2659 + -2581. Is 2 a factor of b?
True
Suppose 0 = 49*n - 34*n - 18240. Is n a multiple of 19?
True
Let g = -38 + 26. Let c be (0/(g/3))/(-2). Suppose -s - 50 = -4*y + 41, 2*y + 4*s - 68 = c. Is y a multiple of 10?
False
Suppose 5*g - 1128 = 2*g. Suppose 3*i + g = 5*n, -293 = -2*n - 2*n + 5*i. Is 3*(-8)/(-12) + n a multiple of 21?
False
Suppose 23*m - 26*m + 378 = 0. Let k = m + -58. Is k a multiple of 17?
True
Let c(q) = q**3 - 9*q**2 - 7*q + 16. Let h be c(10). Let o = 58 - h. Is 7 a factor of o?
False
Let k(n) = n**2 + 7*n - 4. Let l be k(-9). Let g = l + 9. Is g a multiple of 21?
False
Does 25 divide 2/(50405/(-92510) + (-18)/(-33))?
False
Let j = -1351 + 2020. Is 24 a factor of j?
False
Suppose -2*f - 9*b + 4*b - 227 = 0, f = -5*b - 106. Let t = 219 + f. Is 14 a factor of t?
True
Suppose -4*h = 8, 8*t - 4*h = 12*t - 2520. Suppose -t = 7*k - 9*k. Is 17 a factor of k?
False
Suppose 14*f = -13 + 41. Suppose f*d = 3*z + 2*z + 234, -131 = -d - z. Is 7 a factor of d?
False
Let q(b) = -b**3 - 11*b**2 - 11*b - 5. Let s be q(-10). Let o(i) = 18*i + 22. Is o(s) a multiple of 28?
True
Let n(v) = -v**2 + v + 7. Let q be n(3). Let s(j) be the second derivative of 11*j**4/12 + j**3/6 + 2*j. Is s(q) a multiple of 12?
True
Suppose -18*s + 3528 = -6*s. Is s a multiple of 6?
True
Let q = 935 - 792. Is q a multiple of 11?
True
Let x = -83 + 114. Let y = x - -80. Is 6 a factor of y?
False
Is 1/(-6) + 1371889/438 a multiple of 27?
True
Suppose 68 - 220 = -2*r. Let p = r - 16. Does 8 divide p?
False
Suppose 29 = 2*v - 95. Let d be (v*-1)/(-1 + 3). Let n = 59 + d. Is 11 a factor of n?
False
Let h(k) = -k + 1. Let w(p) = 6 - p - 7 - 3. Let f(j) = 3*h(j) - w(j). Is f(-13) a multiple of 14?
False
Let z(i) be the third derivative of i**5/60 + 11*i**4/24 - 4*i**3 + 18*i**2. Is z(-20) a multiple of 12?
True
Suppose 3*t = -o + 143, 8*o + t = 12*o - 572. Is 2 a factor of o?
False
Let s = 1049 + 2263. Does 12 divide s?
True
Suppose q - 3*s - 405 = 0, -q + 151 = 4*s - 240. Is q a multiple of 7?
True
Let o be (1/2)/(16/384). Let a be (-30)/(-9) - 4/o. Let f = a - -50. Does 14 divide f?
False
Suppose 2*i - 5*y = -y + 1108, 0 = -2*y - 8. Is 42 a factor of i?
True
Is 96 a factor of ((-1137)/(-15) + 1)*15/2?
True
Let w = 761 + 759. Is w a multiple of 95?
True
Let h(k) = 24*k**2 + 11*k + 2. Is 28 a factor of h(6)?
False
Let v(j) be the first derivative of -13*j**2 - 4*j - 7. Let h be 4/(-10)*5/1. Is v(h) a multiple of 24?
True
Let y = 9382 - 4406. Does 26 divide y?
False
Suppose 0 = 55*w - 53*w + 2*r - 2868, -2*r + 4 = 0. Does 11 divide w?
False
Suppose 4*k = -4*a + 380, -5*a + 6*k - 2*k = -475. Is a a multiple of 3?
False
Is 7/((-21)/54)*(-69)/9 a multiple of 5?
False
Suppose -18*g + 6 = -22926. Is g a multiple of 64?
False
Suppose 3*q - d + 2*d = 44, 17 = q - 2*d. Let y be (1/2)/((-1)/14). Let v = y + q. Is v a multiple of 3?
False
Let q(v) = -v**2 + 37*v - 4. Does 13 divide q(32)?
True
Is 73 a factor of (11 - 315/36)/(3/848)?
False
Let j = 704 - 194. Is j a multiple of 18?
False
Let w = 132 + -101. Is -52*(w/(-4) + (-5 - -8)) a multiple of 19?
True
Let i be 2 - (0 + -2)/1. Suppose -5*h + 2*g + 0*g = -24, 2*g = -2*h + i. Suppose 0 = 5*r + k - 34, 5*r - 34 + 3 = -h*k. Is r a multiple of 4?
False
Suppose -5*o + 18 = 3. Suppose 3*l - 10 = -h, o*h = l + 3*l + 4. Is 3 + (h - 3) + 71 a multiple of 25?
True
Suppose -2 = -4*a + 14. Suppose 2*w + 3*r - 362 + 70 = 0, 0 = w + a*r - 151. Let o = w - 80. Does 16 divide o?
False
Does 19 divide -6*(-1)/(-12)*-206?
False
Let o = 1356 + 1335. Does 15 divide o?
False
Is 323*-2*((-96)/(-8))/(-12) a multiple of 19?
True
Let i(w) = -2*w + 4. Let o be i(17). Is (o/(-10) - 1*4) + 76 a multiple of 36?
False
Let m(b) = 65*b**2 - 9*b + 18. Is m(2) a multiple of 52?
True
Suppose 2*o + o + 303 = 0. Let m be (8/3)/(-4) + (-3592)/(-24). Let y = o + m. Is y a multiple of 16?
True
Does 45 divide 820 + -16 + (6 - 0)?
True
Let f(t) be the first derivative of 2 + 11*t + 11/2*t**2 + 2/3*t**3. Does 10 divide f(-8)?
False
Let l(k) = -11*k + 0*k + 5*k + 16 + 4*k. Suppose 4*w = 6*w. Is l(w) a multiple of 10?
False
Let b(w) = -w**3 - 5*w**2 + 8*w + 4. Let m be b(-7). Suppose 3*u + 1 = m. Is u a multiple of 3?
True
Suppose -42*y = -5973 - 8013. Is y a multiple of 56?
False
Let f = 9 - 7. Suppose -f*g + 10 = -0*g. Suppose 0 = -g*d - 2*o + 326, 2*o + 244 = 4*d - 2*o. Does 18 divide d?
False
Suppose 4*w + 2*z = 1464, 0 = -3*w + 9*z - 11*z + 1097. Does 52 divide w?
False
Let o be (0 + 4)*7/14. Suppose 2*n + o = -3*i + 2*i, -8 = 4*i. Suppose n = -5*v + 1 + 59. Does 8 divide v?
False
Let c(l) = -l**3 - 3*l**2 - 4*l - 4. Let d be c(-2). Suppose 268 = -d*f + 4*f. Is 24 a factor of f?
False
Let c = 8 + -5. Suppose -2*s - 6*o - 8 = -2*o, 0 = -o - 2. Suppose 0 = c*x - 114 - s. Is x a multiple of 12?
False
Let n(x) = 6*x**2 - 17*x - 13. Let o(k) = -5*k**2 + 16*k + 12. Let p(j) = 6*n(j) + 7*o(j). Let r be p(-10). Suppose -r*m + 196 = m. Does 1