21 divide z?
False
Suppose t = o + 3*t - 14, -t - 92 = -5*o. Suppose -o = 4*p - p. Let v = -4 - p. Does 2 divide v?
True
Let a(c) = -c + 4. Let h be a(9). Let s be 122 + (-3 - h)/1. Suppose 7*g - s = 3*g. Is 8 a factor of g?
False
Suppose 0*i = -5*i + 10. Let r(u) = 2*u**2 + 3*u - 2. Is 6 a factor of r(i)?
True
Suppose -4*t + 8 = -2*t. Suppose -t*l = -38 - 26. Does 12 divide l?
False
Let b = 56 + -53. Does 2 divide b?
False
Let r = -12 - -16. Is 49 + 3/4*r a multiple of 26?
True
Let y(j) = -3*j. Let v be y(4). Let m = v + 18. Does 2 divide m?
True
Let k = 397 + -221. Is 16 a factor of k?
True
Suppose -l - 12 = -5*l - 3*v, 0 = -l + 2*v + 3. Let y(b) = -10*b + 10 - 4 + l*b + 4*b**2 - 2*b**2. Is y(4) a multiple of 4?
False
Suppose -2*n = 3*q - 8 - 97, 5*n - 15 = 0. Is 20 a factor of q?
False
Let a(t) = t**3 + t**2 - 2*t - 3. Let u(b) = b**2 + 4*b - 3. Let k be u(-5). Suppose -k*f + 6 = -0*f. Is a(f) a multiple of 12?
False
Let k = -17 + 19. Suppose -51 = t - k*t. Is 12 a factor of t?
False
Suppose 3*l - d - 21 = -5*d, 21 = 3*l + 5*d. Let x(g) = g - 11. Let k be x(l). Let c(j) = j**3 + 3*j**2 - 6*j - 4. Is c(k) a multiple of 4?
True
Let d(p) be the first derivative of -3/2*p**2 + 2 + 4*p. Is 12 a factor of d(-7)?
False
Let p be -3*6/9 + 4. Let x(n) = -7*n + 2. Let a be x(p). Is 5 a factor of (-2 - a*1) + 1?
False
Let t(a) = 24*a**3 + 2 - a**2 + 4 - 23*a**3 - 6*a. Let z be t(4). Suppose -m = -4*w - 0 - 3, 4*w = -2*m + z. Does 5 divide m?
False
Let t(j) = -9*j**2 + 3*j + 2 + 4 - 2 + 5 + j**3. Does 17 divide t(9)?
False
Let x = 87 + -25. Let l = x - 34. Is l a multiple of 20?
False
Let t(x) = -11*x + 10. Does 24 divide t(-5)?
False
Let u = 187 + -119. Let m = u - 36. Does 16 divide m?
True
Let t = 43 - -7. Is t a multiple of 25?
True
Let f(w) = 3*w**3 + w**2 - 12*w - 6. Let l(s) = s**3 - 4*s - 2. Let a(r) = 3*f(r) - 8*l(r). Does 5 divide a(-3)?
True
Let j(z) = 10*z**2 + z. Let c be j(2). Let y be -4*(29/(-4) + 1). Let o = c - y. Is 15 a factor of o?
False
Suppose -2*i - 12 = -44. Suppose -3*h + 3*z + 6 = 30, 4*z + i = -2*h. Let l(u) = u**3 + 8*u**2 - 2*u - 4. Is l(h) a multiple of 10?
False
Let n(a) = 3*a**2 - 3*a + 1. Let l(h) = h + 1. Let r be 2/9 - (-28)/36. Let q be l(r). Is 5 a factor of n(q)?
False
Let s(m) = -m**3 - 5*m**2 - 7. Let z be s(-3). Let x = z + 85. Is 20 a factor of x?
True
Suppose -5 = t - 2*t. Let n(c) = c**3 - 4*c**2 - 3*c - 3. Is 3 a factor of n(t)?
False
Let v(f) = 3*f - 5*f + 6 - 1 + f**3 - 5*f**2. Let i be v(6). Let m = -13 + i. Does 8 divide m?
True
Let h = 560 + -361. Let s = h + -142. Is 19 a factor of s?
True
Is 24 a factor of (23 + -21)/((-2)/(-166))?
False
Let w(v) = -10*v - 4. Let d = 0 + -2. Is w(d) a multiple of 7?
False
Suppose 4*d + 3 = -0*f + f, -3*d - 5*f = 8. Let y(p) = -5*p - 1. Is y(d) even?
True
Let n be (0 - 84/9)*-3. Suppose 27 = 5*y - n. Is y a multiple of 11?
True
Suppose -5*p = -2*p - 306. Is p a multiple of 28?
False
Suppose 0 = 5*b - b - 920. Is b a multiple of 40?
False
Suppose 4 - 220 = -9*o. Is o a multiple of 17?
False
Let d(u) = -u + 17. Is 4 a factor of d(9)?
True
Let y be -22*1*-2 + 1. Let j = 36 + y. Is j a multiple of 27?
True
Let g(m) = 48*m + 5. Is 19 a factor of g(1)?
False
Is 3 a factor of ((-19)/2)/(6/12 - 1)?
False
Suppose -2*r = -3*r + 2. Suppose 5*k + 5*u - 270 = -0*u, 4*k = -r*u + 218. Does 13 divide k?
False
Let f be (20/(-5))/(1/(-2)). Suppose -3*w = w + f. Is 5 a factor of w/8 + (-114)/(-8)?
False
Let r be (228/(-18))/(4/(-6)). Suppose -2*o = -o - r. Is 7 a factor of o?
False
Let w(n) = -n**2 + 2*n - 1. Let t be w(3). Let b = t - -6. Is 11 a factor of (-1)/b + 135/6?
True
Let t = 14 + -2. Is t a multiple of 9?
False
Let n = 50 + 50. Suppose z + 3*z + n = 0. Let l = -3 - z. Does 10 divide l?
False
Is -1 + (-44)/(-12)*3 a multiple of 2?
True
Suppose -2*r + 5*r = 156. Does 9 divide r?
False
Is (-4)/(-30) - 6352/(-60) a multiple of 38?
False
Let y be (-2 + 2)/(2/2). Let d be 1*(25 + (3 - 3)). Let v = y + d. Is 25 a factor of v?
True
Let z(l) = l + 5. Let n be z(-7). Let w be (4 - 0) + n - 8. Let d(m) = m**3 + 5*m**2 - 6*m + 8. Is 4 a factor of d(w)?
True
Let k(i) = 7*i**2. Let z = 6 - 3. Suppose -2*s + z*d + 2 = 0, -d + 2 - 5 = -3*s. Is k(s) a multiple of 7?
True
Suppose -5*u = 0, 2*u + 18 = 2*w - 132. Is w a multiple of 15?
True
Let i be 28/(-6) + (-5)/15. Let q be ((-5)/i)/(1/4). Is (-2)/(q/(-6))*12 a multiple of 18?
True
Suppose -2*t - 25 = -7*t. Let s be 2/t*(9 + 1). Let i = s + 3. Is 7 a factor of i?
True
Let p = 424 + -303. Is 11 a factor of p?
True
Let f(s) = -s - 5. Let u be f(-5). Suppose u = 3*d - 123 + 3. Is 20 a factor of d?
True
Let v = 121 - 65. Is v a multiple of 14?
True
Let f = 1 + 2. Is ((-14)/f)/((-14)/21) a multiple of 5?
False
Let z be (1 - -2 - -2) + -2. Suppose -99 = -0*v - z*v. Does 16 divide v?
False
Suppose -5*b + 28 = -42. Let v(f) = f**2 - 12*f - 16. Is v(b) a multiple of 8?
False
Suppose 4*i + 0*i = 44. Let s = i - 6. Suppose s*l + 3*y - 10 = 88, 4*l - 2*y - 96 = 0. Is 8 a factor of l?
False
Suppose -4*m + 0 = -16. Suppose -2*c = -4*h + 82, 112 = 2*h + 2*h + m*c. Does 17 divide h?
False
Suppose 3*u + 6 = -b - 1, -u - 1 = b. Suppose l - 4*d - 42 = 0, 0 = d - 2*d + b. Suppose -5 + l = 5*w. Is w a multiple of 8?
False
Suppose 2*z - h + 0*h - 214 = 0, 12 = -3*h. Is 12 a factor of z?
False
Suppose -q + 2*q = 4. Suppose 0 = q*k - 5 - 11, -5*v = 5*k - 155. Does 9 divide v?
True
Suppose -3*j + 8*j = -2*a + 119, -4*a + 193 = -5*j. Does 13 divide a?
True
Suppose 3*d - 29 = 5*l, -2*l - 5 = 2*d - 3. Is ((-6)/l)/(2/4) a multiple of 3?
True
Let r = 130 - 45. Is 17 a factor of r?
True
Let y be 18 + (-2 - 0/2). Let g = y + 27. Is 13 a factor of g?
False
Suppose -y = 2*l - 53, -61 = -5*l - 4*y + 67. Is 14 a factor of l?
True
Let t be -1 - 4 - (-5 + 3). Is (-30)/9*t*2 a multiple of 20?
True
Let i = 4 - 4. Suppose i = -5*g + 4 + 21. Does 4 divide g?
False
Suppose -62 + 572 = 10*c. Is c a multiple of 10?
False
Let k(h) = -h**3 + 3*h**2 - 3*h + 1. Is 36 a factor of k(-5)?
True
Let t = 50 + -6. Is 13 a factor of t?
False
Let v be 0 + 3 + -2 + 1. Suppose 0 = v*i + 7 - 75. Is 19 a factor of i?
False
Suppose -112 = -368*f + 366*f. Is f even?
True
Let w = 282 + -159. Let x = 179 - w. Is 28 a factor of x?
True
Suppose -z + 3*z = -4, -g = -5*z - 56. Is g a multiple of 6?
False
Let o = 28 + -20. Suppose -o = -3*c + 37. Is c a multiple of 10?
False
Suppose 0 = -4*r + 2*g + 94, -g = 2*r + 2*g - 51. Does 6 divide r?
True
Let o(d) = d**3 - 14*d**2 + 26*d - 18. Does 6 divide o(12)?
True
Let d(r) = 7*r - 5*r - r**2 + 2*r. Let n be d(5). Let v = n + 13. Is 6 a factor of v?
False
Let q = -9 + 11. Suppose -v = -4*r - 12, -v + q*r - 1 = -7. Is 8 a factor of v*3/6 + 8?
True
Suppose 0 = -5*y - 2 + 12. Let h be -1 - -2 - -52 - y. Let j = h - 10. Is 16 a factor of j?
False
Suppose -4*t + 6 = 3*l + 3, -2*l = t + 3. Does 23 divide (-126)/l + 0/(-1)?
False
Let r(k) = -k**3 - 9*k**2 + 5*k + 11. Does 26 divide r(-10)?
False
Let x(l) = 10*l + 36. Does 41 divide x(9)?
False
Let z = 28 - 18. Let s = z + 4. Let u = 36 - s. Is u a multiple of 11?
True
Let y be 1/2*(-92)/(-2). Is 10 a factor of -6*1/2 + y?
True
Suppose 0 = -5*b - 2*x + 6, -2*b + 4*x = -5*b - 2. Suppose 2*d - 4*m = 100, d = b*m + m + 54. Is 10 a factor of d?
False
Suppose 1 - 13 = -2*x + 4*g, -4*x - 4*g = -72. Is x a multiple of 7?
True
Let o(p) = p**3 - 7*p**2 + 7*p - 3. Is 13 a factor of o(8)?
True
Let f(t) = t**3 + 6*t**2 - t + 7. Let s be (24/(5 + -1))/(-1). Is f(s) a multiple of 5?
False
Let p = -54 - -118. Does 8 divide p?
True
Let n = -15 - -25. Suppose 0*l - 2*l + n = 0. Is l a multiple of 2?
False
Suppose -24*u + 138 = -22*u. Is u a multiple of 29?
False
Let r = -47 - -83. Does 9 divide r?
True
Suppose -h + 10 = 2*b, -b + 25 = -5*h + 4*b. Suppose 2*a - 3*a + 11 = 4*c, 0 = 2*c + 3*a - 13. Suppose 0 = c*v + 6, h*v + 3*v = -4*p + 19. Is 7 a factor of p?
True
Let b(n) = n**3 + n**2 - n + 3. Let d(s) = s**3 + 2*s**2 + 4. Let z(m) = -3*b(m) + 2*d(m). Suppose -1 = 2*r + 5. Is 11 a factor of z(r)?
False
Suppose -2*y = 2*m - 12, 0 = 4*y + 4*m - m - 21. Suppose 0 = 4*k - 6 - 2. Suppose k*s - 22 + 1 = c, 2*s - 1 = -y*c. Does 8 divide s?
True
Suppose 4*q - k - 3 = -4*k, k - 1 = 0. Let h be ((-6)/(-6))/(2/26). Let a = q + h. Does 13 divide a?
