 s = 7 + g. Suppose 41 = s*t - 2*q + 3, 0 = -3*q - 9. Is t a multiple of 5?
False
Suppose 88 = -2*l - 2*l - 4*o, 2*l - o = -41. Let m = -15 - l. Is 194/10 - m/15 a multiple of 19?
True
Let k = 622 + -271. Does 27 divide k?
True
Let z(n) = 322*n**3 + 2*n**2 - 3*n + 1. Is z(1) a multiple of 14?
True
Let a = -5 + -1. Suppose -6*t = 2*t - 888. Is 14 a factor of (a + t)*2/6?
False
Does 31 divide (-113490)/(-312) + 2/8?
False
Let m = 2003 + -1152. Is 38 a factor of m?
False
Let j be (-50)/(-13) + (-18)/(-117). Suppose 3*i + j*z + 20 = 5*i, -3*i - 2*z = -6. Suppose -w + i = -84. Does 22 divide w?
True
Suppose 0*l + 5658 = 6*l. Is l a multiple of 67?
False
Let r(y) be the first derivative of -y**4/4 - 7*y**3/3 + 7*y**2/2 - 28*y - 23. Does 32 divide r(-10)?
False
Suppose 2*y - h + 43 = 0, -106 = 2*y + 2*y + 2*h. Let n = y - -115. Is 2198/n - 2/13 a multiple of 12?
True
Is (-4)/22 + 15957/99 + -5 a multiple of 26?
True
Let r = -6 + 9. Suppose -303 = -r*v + 3*z, -8 - 302 = -3*v - 4*z. Let k = v - 60. Is 18 a factor of k?
False
Let n(s) = s**3 - 22*s**2 + 8*s + 43. Is n(22) a multiple of 20?
False
Suppose -2*r = 5*l + 41 - 223, -2*r - 178 = -5*l. Let b = l + 8. Does 22 divide b?
True
Let f(s) = 27*s - 261. Does 9 divide f(26)?
True
Does 48 divide ((-4083)/(-30))/(18/180)?
False
Suppose 20*d + 154 = 22*d. Is 35 a factor of d?
False
Suppose 14*i - 18*i + 552 = 0. Let w = i + 26. Is w a multiple of 43?
False
Let r be 152/(-95)*170/(-4). Suppose -3*h = -2*j - r, -4*h + 129 = 3*j + 2*j. Does 26 divide h?
True
Suppose -10*g + 14 = -6. Let v(o) = 3*o**2 + 2*o. Let m be v(3). Suppose -g*x = -x - m. Is 12 a factor of x?
False
Let o(k) be the first derivative of k**5/20 - k**4/2 - 2*k**3 + 9*k**2/2 + 4*k - 7. Let g(z) be the first derivative of o(z). Does 14 divide g(8)?
False
Let o = -39 + 31. Let j(x) = -7 + 9*x**2 + x**2 + x + x**3 - x**2. Is 13 a factor of j(o)?
False
Let g = 1310 + -1204. Is 2 a factor of g?
True
Let j(m) = -2*m - 12. Let u be j(-10). Let l be (76 - -2)/(12/u). Let c = l - 30. Is c a multiple of 16?
False
Let r = 277 - 161. Does 29 divide r?
True
Let z be ((-11)/(-11))/((-1)/(-2)). Suppose 5*n + t = 940, z*n - 399 = -7*t + 2*t. Is n a multiple of 11?
True
Let y = 1180 + -696. Does 12 divide y?
False
Let h = 20 + -17. Suppose -5*g = -h*g - 56. Does 12 divide g?
False
Suppose -2*n - 6*n = -128. Suppose -5*v + 8 = 4*k - 7, 0 = v + 5*k - 3. Suppose -n = -v*l + l. Is l a multiple of 2?
True
Does 12 divide -2 + -9 + 17 - -176?
False
Suppose 115 - 531 = -3*i + g, 0 = 5*i - g - 692. Is 4 - (0 - i/3) a multiple of 10?
True
Suppose 3*j - 275 + 35 = -g, 4*g + 12 = 0. Suppose 0*s + s - 3*t = j, 295 = 3*s + 4*t. Does 14 divide s?
False
Let r be (-98 + -7)*1/(-1). Suppose 2*j - r - 87 = 0. Is 27 a factor of j?
False
Does 19 divide 4*-1 - (-2*171 + -4)?
True
Does 8 divide (-2 + -3 + 14)/(3/106)?
False
Let t(m) = m**3 - 2*m**2 + m + 2. Let j be t(2). Suppose -2*l = 2*l + j*a - 28, 0 = -5*l + 2*a + 7. Is l/9*3 + 19 a multiple of 5?
True
Suppose 3 = -n, 2*w - 31 = -2*w + 5*n. Suppose 0 = w*s + 7 + 5. Let v = 45 + s. Is v a multiple of 14?
True
Suppose -66*l + 49*l = -22644. Does 83 divide l?
False
Is ((-20)/(-12))/((-28)/(-39312)) a multiple of 16?
False
Let s be (-124)/20 + 7 - (-3782)/10. Suppose s = 14*m - 237. Is m a multiple of 3?
False
Let v = 1041 - -444. Does 7 divide v?
False
Let s be (399/(-35))/((-2)/((-20)/(-2))). Is 8 a factor of (31 - -1)/(38/s)?
True
Let l(h) be the third derivative of -h**6/120 - 4*h**5/15 - h**4/6 - 7*h**3/6 - 5*h**2. Is 19 a factor of l(-16)?
True
Let m be (-1268)/28 - (-10)/35. Let g = 60 + m. Does 3 divide g?
True
Suppose y - 5*s = -2*y + 3212, -4252 = -4*y - s. Is y a multiple of 14?
True
Suppose 0 = -5*m - 3*o + 347, 4*m + o - 4*o = 256. Is m a multiple of 7?
False
Does 3 divide (-11 - 1)/((-7)/14)?
True
Let t(q) = q**2 + q + 2. Let x be t(0). Suppose -2*k + 288 = x*k. Is k a multiple of 6?
True
Let g(i) = -i**2 + 7*i + 2. Let s be g(7). Let r(f) = 7*f - 30. Let a be r(10). Suppose -v = -s*v + a. Is v a multiple of 20?
True
Suppose -o - 3*c + 26 = 4*o, -2*o + 11 = c. Suppose 0 = o*y + 205 - 828. Is 12 a factor of y?
False
Suppose 2*l + 0 - 44 = 0. Let g = 73 - l. Is g a multiple of 6?
False
Let h = 185 - 113. Suppose 0 = -m + 5*c + h, -2*c = 3*c + 20. Does 13 divide m?
True
Let g(w) = -2*w**3 - 5*w**2 + 9*w + 49. Is g(-4) a multiple of 3?
False
Suppose 0 = 17*j - 14*j - 54. Suppose -3*l + 141 = j. Suppose -3*y + l = 11. Is 4 a factor of y?
False
Let z(q) = 6*q**2 + q - 2. Let h be z(1). Suppose 5*y = -3*p + 73 - 2, -14 = -2*p + h*y. Does 7 divide p?
False
Let r = -165 - -331. Suppose -f - r = -3*f. Is 9 a factor of f?
False
Suppose u - 2*j = 127, 4*j = -u + j + 152. Is 33 a factor of u?
False
Let p(l) = -4*l + 3. Let z = 4 - -5. Let m = z - 20. Is 15 a factor of p(m)?
False
Suppose 13*g - 9 = 14*g. Let d = g + 50. Does 8 divide d?
False
Let k be (142/12)/((-2)/(-12)). Let i = k - 26. Does 6 divide i?
False
Suppose 2660 = 5*m - 3*b, m - 532 = 3*b - 7*b. Is 7 a factor of m?
True
Let c = 14 + -22. Suppose -2*h = -3*q + 5, -2*h + 2 = -5*q + 5. Is 2*c*h/8 a multiple of 4?
True
Suppose 4*c - 453 = 7583. Does 53 divide c?
False
Let x(b) = 7 - b - 8 + 2. Let a be x(-2). Suppose -8 = -2*m, -22 = i - 2*i + a*m. Is i a multiple of 9?
False
Suppose -9*f = -2*f - 357. Let b(v) = v**2 - v - 4. Let x be b(3). Suppose -j = s - f, x*s + 2*s + 3*j = 207. Is s a multiple of 18?
True
Let r(h) = h - 15. Let d be r(12). Let s(c) = -c - 1. Let y be s(d). Suppose 2*v + 4*o - 76 - 32 = 0, -y*v = 3*o - 103. Is 11 a factor of v?
True
Suppose 0 = 37*x + 4139 - 17459. Is x a multiple of 18?
True
Let q(x) = -4*x**3 - 5*x**2 - 2*x. Let s = 21 + -16. Let z(y) = -7*y**3 - 11*y**2 - 3*y - 1. Let c(o) = s*q(o) - 3*z(o). Is c(-8) a multiple of 10?
False
Let l be (327/(-4))/((-3)/8). Let t = -124 + l. Is t a multiple of 16?
False
Let n be (6/(-5))/(20/(-1350)). Does 11 divide n - 3/((-9)/(-12))?
True
Let b be (-14)/(-4)*2*-1. Let j(s) = s**3 + 9*s**2 + 2*s. Let n be j(b). Suppose 2*z - n = -z. Is 14 a factor of z?
True
Let t = -61 - -41. Is ((-17)/(-5)*-1)/(4/t) a multiple of 10?
False
Suppose 3*l = -12, -4*v + 392 = -l + 3*l. Is 21 a factor of v?
False
Let k(p) = p**2 + 27*p + 56. Is k(-26) a multiple of 10?
True
Let c = 234 + -167. Suppose g + v + 29 = 3*g, 5*g - c = -3*v. Is (-14)/(-1) - (-15 + g) a multiple of 5?
True
Suppose 0 = 6*w - 489 + 159. Does 22 divide ((-16)/10)/((-1)/w)?
True
Let k(x) = 312*x**3 - 19*x**2 + 35*x + 2. Is 88 a factor of k(2)?
False
Let p(m) = 1269*m**2 + 45*m + 43. Is p(-1) a multiple of 31?
False
Let m = -429 + 461. Is m a multiple of 3?
False
Is (419 - -3) + -4*(-3)/4 a multiple of 5?
True
Let y(w) = 2 - 15*w + 1 + 13*w - 4 + 18*w**2. Let h be y(-1). Let q = h - -17. Does 12 divide q?
True
Let l be 57/11 + 22/(-121). Let d be ((-372)/15)/(-2)*l. Let n = 88 - d. Is n a multiple of 13?
True
Suppose 81 = 4*m + 33. Let k(x) = -7 + m - 6 + 15*x + 28*x. Is 14 a factor of k(1)?
True
Is (76/(-18) + 20/90)*-145 a multiple of 58?
True
Let i(k) = k**3 - 8*k**2 + 8*k + 4. Let z be i(6). Does 19 divide ((-228)/(-30))/((-1)/z)?
True
Suppose -2*f - f = -6. Suppose -2 = 2*j - 4, -2*h - f*j + 132 = 0. Let z = h + -2. Is 21 a factor of z?
True
Let y = 4449 + 291. Is 15 a factor of y?
True
Suppose -p + 4 = 32. Let y = 31 + p. Suppose y*b - 21 = 3. Is 4 a factor of b?
True
Suppose 1738 = 21*y - 10778. Is 43 a factor of y?
False
Let l = -23 + 56. Suppose -2*a - r + 31 = 0, -2*a + 0*a + r = -l. Is a a multiple of 2?
True
Let h be (-18 - -17)/(-1 + (-14)/(-12)). Let m = h + 97. Is m a multiple of 12?
False
Suppose 4*y + 2*k - 7*k - 898 = 0, 676 = 3*y - 5*k. Is y a multiple of 10?
False
Suppose 4 = g + 5. Is (33 - 1) + g + 1 a multiple of 8?
True
Let k = -269 + 162. Does 18 divide (-5 - -4)/(1/k)?
False
Let m be (152/95)/(0 + (-2)/(-380)). Let r = m + -169. Does 27 divide r?
True
Does 19 divide 758 - 0 - (7 - -2 - 11)?
True
Suppose 7*a - 4 = -2*n + 2*a, n - 2 = -4*a. Suppose -n*c + 6 = c. Suppose 0 = 2*o - 3*g - 96, -c*o - g - 2*g = -84. Does 15 divide o?
True
Let n(u) = -113*u**3 - 11*u**2 - 16*u. Is 36 a factor of n(-2)?
False
Let a = -11 - -18. Is (-1 + 19/a)/(9/378) a multiple of 8?
True
Let r(t) = t - 5. Let z be r(9). Suppose -4*l = -2*i + 