*q, l = -q + 7. Suppose 3*w + l = u - 2, 23 = 4*u - 3*w. Is u a multiple of 2?
False
Let m = -93 + 340. Is 21 a factor of m?
False
Let q(k) = k**3 + 5*k**2 - 5*k + 3. Does 10 divide q(3)?
True
Let v be 0 + -3 + 2 + 1. Suppose 84 = 2*t - v*t. Is t a multiple of 14?
True
Let k(x) = -x - 7. Let y be k(-8). Let q be -1*y/3*-15. Suppose -4*a = u - 74, 3*a + 0*a - 64 = -q*u. Is 18 a factor of a?
True
Let m = 46 - 28. Let l = 26 - m. Is l/(-40) - 62/(-10) a multiple of 2?
True
Suppose 3*d = -2*d + 375. Suppose -87 = -3*q + d. Is q a multiple of 18?
True
Let w(j) = 2*j**2 + 6*j + 4. Let r(u) = -u**2 - 6*u - 1. Let i be r(-7). Let a be (10/i)/(2/8). Is 12 a factor of w(a)?
True
Suppose -5*d + 324 = -2*d. Is d a multiple of 18?
True
Let k be (-97)/1 + (3 - 2). Let t = 159 + k. Suppose 13 - t = -5*a. Does 3 divide a?
False
Let z(r) = -r**3 - 10*r**2 + 12*r + 12. Let q be z(-11). Is 4 a factor of q/3 + 120/18?
False
Let x = 11 + -7. Suppose -28 = -x*r - 0. Let k = 39 + r. Is 15 a factor of k?
False
Suppose -2*f + 63 = f. Suppose 6*i - 105 = i + 4*t, i - 3*t = f. Is 13 a factor of i?
False
Let j(b) = -5 - 7*b**2 - 3*b - 2*b**3 + 2*b**2 + b**3 + 10*b. Does 22 divide j(-7)?
True
Let c(m) be the second derivative of m**4 + m**3/2 - m. Let n be c(-3). Suppose 3*v - n = i, 0 = -4*v - 5*i + i + 116. Is 16 a factor of v?
True
Let w = -9 - -5. Does 9 divide -1*7*(w - -2)?
False
Suppose -3*p = -5*m + 57, 4*p - 17 = -5*m + 47. Is m a multiple of 4?
True
Let d = -63 + 148. Suppose -d = l - 6*l. Is l a multiple of 7?
False
Let n be (0 + 2/2)*0. Suppose n*f - 15 = 2*s + 3*f, 0 = -4*f - 20. Suppose -5*a - 53 + 203 = s. Is a a multiple of 11?
False
Suppose 0 = -4*b + 3*b + 7. Suppose b*j = 3*w + 4*j, 0 = 5*w + 4*j - 27. Suppose -5*p - 2 = -t + 4, w*p = 2*t - 40. Is 13 a factor of t?
True
Let m(b) = b**3 - b + 12. Let q be m(0). Let g(k) = -2*k**3 + 6*k**2 - 7*k - 4. Let f be g(2). Is 25 a factor of (q/f)/(1/(-55))?
False
Let n(x) = x - 1. Let s(g) = 12*g + 2. Let m(v) = -3*n(v) - s(v). Is m(-1) a multiple of 8?
True
Let y be -1134*((2 - 5) + 2). Let a be y/(-15) + (-4)/10. Let r = 113 + a. Is 11 a factor of r?
False
Suppose 3*c = 18 - 3. Let z(q) = 2*q - 3 - 18*q**2 + 19*q**2 - 5*q. Is z(c) a multiple of 7?
True
Suppose 4*n + 2*w + 35 + 9 = 0, -2*n - 2*w - 26 = 0. Let z(m) = -3*m - 13. Is 7 a factor of z(n)?
True
Let j(n) = n**2 - 15*n. Let z be j(8). Let k = -34 - z. Is k a multiple of 11?
True
Suppose -4*r + 3*r = -4, 5*f = -2*r + 178. Let s = -24 + f. Let h = s - 4. Is h a multiple of 6?
True
Let m = -137 - -203. Does 31 divide m?
False
Suppose 3*h = 516 + 171. Is 22 a factor of h?
False
Let p = -3 - -34. Is p a multiple of 5?
False
Let j = 7 + 1. Is 1/4 + 94/j a multiple of 10?
False
Suppose -2*p + 3*u - 22 = -3, -5*p + 5*u = 35. Let b be (-31)/(-3) + p/(-3). Suppose 5*c - 131 = -b. Is 12 a factor of c?
True
Let j = 46 + -77. Let r = j + 49. Does 6 divide r?
True
Let c be 6/((-6)/(-279) + 0). Is 18 a factor of 2/3*c/6?
False
Suppose -2*v - 5*o + 16 = 0, v - 4*o = -4 - 1. Is 6 a factor of (v/(-12) + -2)*-8?
True
Let f = -7 - -10. Let o(z) = z + 1. Let w be o(f). Suppose w*d - 81 = -2*v - 1, -5*v - 20 = 0. Is d a multiple of 11?
True
Let w(k) = 5*k**3 + 3*k**2 + 9*k - 12. Is 14 a factor of w(4)?
True
Suppose h = -0 + 10. Is 4 a factor of h?
False
Suppose -5*r - 5*x + 295 = 0, 2*r = -r + x + 181. Does 15 divide r?
True
Is 3 + 1 + 12 + -3 a multiple of 4?
False
Let i(c) = -4*c**3 + c**2 + c - 2. Does 8 divide i(-2)?
True
Suppose 0 = -2*o + 6, -38 - 92 = -k + 2*o. Is 8 a factor of k?
True
Suppose 0 = -3*o - o. Suppose o*z = -z + 4. Does 4 divide z?
True
Suppose -g = -4*s - 2*g + 45, -4*s + 57 = -3*g. Is s a multiple of 7?
False
Let c(h) = -h**2 - h + 8. Let y be c(0). Let v = y - 8. Suppose -4*a - 2*t + t + 148 = v, 0 = 5*a + t - 184. Does 14 divide a?
False
Let t(q) = 2*q**3 - 4*q**2 - 5*q + 3. Is 16 a factor of t(5)?
True
Let p(k) = 2*k**2 + 17*k + 5. Is 7 a factor of p(-10)?
True
Suppose 3*w - 82 - 83 = 0. Does 11 divide w?
True
Let w = 67 - 43. Is 24 a factor of w?
True
Let q(x) = -x**3 - 3*x**2 - 7*x + 6. Is q(-6) a multiple of 33?
False
Suppose -4*w + 1190 = 3*w. Is 34 a factor of w?
True
Is 11 a factor of ((-108)/(-14))/(26/(-14) - -2)?
False
Let n = 52 - -41. Does 13 divide n?
False
Suppose 0 = -f + 4 + 16. Does 10 divide f?
True
Let v be -2*20*(-2)/(-5). Does 5 divide (-21)/(-2) + (-8)/v?
False
Let o = 258 - 63. Suppose 5*j - o = 5. Is j a multiple of 15?
False
Let m be 2/(-2)*(-28)/4. Suppose -m*i = -10*i + 9. Suppose 35 = 4*t + i. Is t a multiple of 6?
False
Let k = 12 - -4. Is 10 a factor of k?
False
Let i = 209 - 105. Is 22 a factor of i?
False
Let t(o) = -3*o - 2. Let g = -8 - -3. Is t(g) a multiple of 13?
True
Let j be (-1*2 - 3)/(-1). Suppose -4*h - 3*z + 316 = 0, j*h - 216 = 2*h + 3*z. Suppose 4*f = -3*r + 48 + h, -4*r = -4*f - 156. Is 19 a factor of r?
False
Let p(g) = 2*g**2 - g - 2. Let f be p(2). Let b = 6 - f. Is 2 a factor of b?
True
Suppose 0 = 5*l - 2*z + 2, 10 - 2 = -2*z. Let g(i) = -3*i - 1. Let m(n) = 6*n + 2. Let b(a) = 7*g(a) + 3*m(a). Is 2 a factor of b(l)?
False
Let s(n) = -n**3 + 5*n**2 - 4*n. Let p be s(3). Suppose i = 4*i + p. Let l(z) = -z**3 - 2*z**2 - 3*z - 3. Is 2 a factor of l(i)?
False
Let n(p) = p + 2. Let l(q) = -2*q - 4. Let t(g) = -2*l(g) - 5*n(g). Let k(y) = y + 3. Let x(f) = 6*k(f) + 5*t(f). Is 8 a factor of x(0)?
True
Suppose -3*g = -8*g + 15. Suppose g*n = -3*t + 33, 6*t - 2*n = 3*t + 28. Does 5 divide t?
True
Let c be 1 - 2/((-6)/(-3)). Suppose 5*t + 3*x + c*x - 11 = 0, -3*x - 1 = 2*t. Suppose 0 = -0*f - t*f + 204. Is 14 a factor of f?
False
Let b be (2/3)/((-10)/(-75)). Suppose n - 5*q - 6 = 0, 0 = -6*n + n + b*q + 10. Let d = 1 + n. Is d even?
True
Is 12 a factor of -24 - -23 - 61*-1?
True
Let i(z) = -3*z**3 - z**2 + z + 1. Let o(t) = -t**2 + 5*t - 1. Let j be o(5). Let m be i(j). Suppose -m*v + 5 = -1. Is v a multiple of 3?
True
Let z(o) = 2*o**2 - 9*o + 2. Does 4 divide z(8)?
False
Let j = 4 + -2. Suppose 2 = j*c - 8. Suppose 13 = c*l - 17. Does 6 divide l?
True
Suppose 178 = w + w. Is w a multiple of 23?
False
Suppose 0 = 2*r + 6, 4*p + p = 2*r + 106. Does 5 divide p?
True
Suppose 3*q = -q. Suppose 4*w - 4*c - 92 = q, -w + 3*w - 46 = c. Is w a multiple of 17?
False
Let h be 4/(-2*(2 + -3)). Is h/(-6)*3*-4 a multiple of 4?
True
Suppose 4 - 19 = -5*b. Let y(i) = 2*i**3 - 3*i**2 - 3*i - 4. Is y(b) a multiple of 5?
False
Let n be (-16)/(-6) + 2/6. Suppose -t - t - 5*o = 5, 0 = 5*t - n*o - 3. Suppose -4*q + 99 = l, -80 = -3*q - t*q + 5*l. Does 11 divide q?
False
Suppose 5*o - 267 = 153. Suppose -2*c = -2*h - o, h - 198 = -5*c - 0*h. Suppose -2*b + c = 2*b. Is b a multiple of 7?
False
Suppose 3*i - 13 = 4*m, -4*m + 4 = 2*i - 2*m. Is (-17)/(-3)*18/i a multiple of 12?
False
Is 6 a factor of (36/(-3))/(2/(-5))?
True
Suppose -3*r - 1 = 8. Let v = 3 + r. Suppose v = -g - g + 14. Is g a multiple of 5?
False
Let h = -23 - -45. Is 16 a factor of h?
False
Let k be -7 + -1 - (-5 + 3). Let t(q) = -2*q + 1. Is t(k) a multiple of 3?
False
Let r = -75 - -235. Is 32 a factor of r?
True
Suppose 2*s = -0*l + 4*l + 2, 3*l + 3 = 3*s. Suppose 4*c + 2*m = 38, 3*c - 8*c - 5*m + 60 = l. Let v = c - 3. Is v a multiple of 2?
True
Suppose 0*l - 2*l + 14 = 0. Does 2 divide l?
False
Let l(t) = t - 11. Let i = 3 + 2. Let b be l(i). Is (-4)/b + 86/6 a multiple of 5?
True
Let v = -34 - -67. Does 25 divide v?
False
Suppose -5*g + g = 48. Is 18 a factor of (9/g)/((-3)/72)?
True
Suppose 51 + 29 = z. Suppose 7*r + z = 2*p + 2*r, 2*p - 76 = 4*r. Is 15 a factor of p?
True
Let k(s) = s**2 + 3*s + 1. Let o be k(-2). Is 4 a factor of (-2)/o*(-39)/(-6)?
False
Let d be -5*(0 + 0 + -1). Let a(i) = -i**3 - 6*i**2 + 4*i + 3. Let j(x) = 3*x**3 + 12*x**2 - 9*x - 5. Let r(k) = -5*a(k) - 2*j(k). Does 5 divide r(d)?
True
Let c(p) = p**2 + p + 3. Let r be c(3). Let f = r + -8. Is 2 a factor of f?
False
Suppose 3 = t + 1. Suppose t*f - 2 = 6. Does 3 divide f?
False
Let k be (0 - 1)/(1/7). Let w be 48/(-28) + 2/k. Is -1*(0 + -6) - w a multiple of 6?
False
Let d(j) = j + 4. Is 2 a factor of d(6)?
True
Suppose -2*y = -3*a - 3, 0*y = -3*y - 5*a - 5. Suppose h + y + 3 = 0. Let b(r) = -8*r + 2. Is 9 a factor of b(h)?
False
Let b(x) = 3*x - 2. Let r be b(6). Does 17 divide 4/(