1?
True
Suppose -5*h - 1 = -0*b + b, 4*b = 5*h + 21. Suppose q = b*c - 127, -3*c = 5*q + 7 - 108. Is c a multiple of 10?
False
Let a = 72 - 9. Does 9 divide a?
True
Let p = -7 - -11. Let h(n) = 4*n + 1. Is h(p) a multiple of 12?
False
Let l(k) = 2*k - 3. Let c be l(6). Let n(y) = y**2 - 5*y + 2. Is n(c) a multiple of 21?
False
Suppose 8*k - 18 = 270. Is 12 a factor of k?
True
Let c(y) = y**3 + y**2 + 4*y + 3. Let b be c(-3). Let i = 51 + b. Is 12 a factor of i?
True
Let z be -3 - ((-1 - -2) + -1). Let b be (-2 - 0) + 2 - z. Suppose a + 192 = 5*g - 2*a, 2*g - b*a - 84 = 0. Is 10 a factor of g?
False
Let s = -19 + 47. Let a(x) = x + 22. Let h be a(-19). Does 14 divide 6/(2/(s/h))?
True
Let i = 12 + -7. Let g be -1*2 + i - -1. Is 10 a factor of (5 + -1)*26/g?
False
Let c(l) = -l**2 - 6*l - 2. Let q be c(-4). Suppose j = q - 0. Is j a multiple of 2?
True
Let j(x) = -x**3 + 2*x + 10. Is 26 a factor of j(-3)?
False
Let c = 0 + 3. Suppose -2*d - 5*s + 62 = 0, d = s - 2*s + 28. Suppose t + 65 = 5*b - t, -c*t = -2*b + d. Is 13 a factor of b?
True
Suppose 2*q + q - 2*b = 39, 3*q - b - 36 = 0. Does 9 divide q?
False
Let m = 43 + -4. Is m a multiple of 10?
False
Is (-1 - (-27)/(-15))*-1*5 a multiple of 7?
True
Suppose 0 = 4*v - 2*v. Suppose -5*p = -v*p - 25. Suppose 7 - 37 = -p*n. Is 6 a factor of n?
True
Let k be 1/4 - 28/(-16). Suppose 2*v = -4*z + 42, v = 3*z - 21 + k. Does 8 divide (-187)/(-9) - z/(-36)?
False
Let r(h) = 2*h - 11. Let s be r(8). Suppose -4*u = s*y - 217, -56 + 180 = 3*u - 4*y. Is 24 a factor of u?
True
Is 11 a factor of 72/30*(-30)/(-4)?
False
Suppose -5*k + 3*j = 5*j + 18, -4*j - 8 = -4*k. Let q(l) = l**3 + 4*l**2 + 1. Does 9 divide q(k)?
True
Let t(u) = 5*u - 1. Let j(b) = b + 5. Let a be j(-7). Let i be (-2)/(a - (-3 - -2)). Does 9 divide t(i)?
True
Suppose -2*b + 102 + 112 = 0. Let l = -69 + b. Suppose o - l = -5*t, 2*o + 0*t = -4*t + 82. Is o a multiple of 15?
False
Let l be (6/(-4))/(4/(-24)). Suppose 2*p + 2*v - 7*v + l = 0, v - 15 = -4*p. Suppose -6 = -p*z + 33. Is 13 a factor of z?
True
Let p(r) = -r**3 - 13*r**2 - 5*r + 8. Let s be p(-11). Let o = -114 - s. Does 13 divide o?
True
Let r be -1 + 2 + 0 + -54. Suppose 0*d - 3*a + 79 = d, -4*a = -4*d + 300. Let l = d + r. Does 6 divide l?
False
Suppose 0 = 5*s - 2*m + 3*m - 161, -2*m + 66 = 2*s. Is 17 a factor of s?
False
Let h = 8 - 6. Is (1 - (2 - h))*8 a multiple of 8?
True
Let a = -3 + 3. Suppose -t + 8 = t, d - 3*t + 2 = a. Does 7 divide d?
False
Let h(m) = -51*m + 1. Is 26 a factor of h(-1)?
True
Suppose 3*i = 4*r + 23, 5*r - 50 = -i - 4*i. Suppose -i = t - 27. Is 9 a factor of t?
True
Let m = 8 + -6. Suppose 3*f = 2*u + 67, m*f = f - 5*u + 11. Is f a multiple of 7?
True
Suppose 40 = 5*n - 5*y, 3*n - 5*y - 26 = 2. Let k(j) = -j**3 - 5*j**2 + 3*j - 6. Let i be k(-6). Does 7 divide (-1)/n - (-122)/i?
False
Suppose 0*y + 4*y - o + 67 = 0, 2*y - 2*o + 26 = 0. Let d = y - 2. Let l = d + 32. Is 5 a factor of l?
False
Let o(z) = -35*z**3 - z**2 - 3*z - 2. Is o(-1) a multiple of 6?
False
Let n = 122 + -87. Let c = -15 + n. Does 20 divide c?
True
Let s be ((-1 - -3) + -2)/1. Suppose s = -2*n + 3*n - 5. Is n even?
False
Let k(a) = -21*a - 1. Let q(v) = v**2 - 2*v - 1. Let i be q(2). Is k(i) a multiple of 20?
True
Let h(g) = -2*g + 1. Is 5 a factor of h(-2)?
True
Suppose n = -2*t - 19, 0 = 3*n - 5*t - 0*t + 90. Let m = 17 + n. Is m/(-28) - 68/(-7) a multiple of 10?
True
Let u(f) = f - 3. Let t be u(6). Suppose 0 = 3*h - 9 - t. Let g(c) = 5*c - 3. Does 7 divide g(h)?
False
Suppose 6*n + 2*n = 296. Is n a multiple of 12?
False
Suppose 0*p - 5*p = -5*i - 5, 2*i = 4*p - 6. Suppose p*r + 4 = 0, 3*r - 2*r = -5*g + 138. Is 13 a factor of g?
False
Let j = 15 - -69. Is 12 a factor of j?
True
Let o(x) = -x**2 + 4*x - 3. Let b be o(3). Suppose 3*h + 19 - 133 = b. Suppose -h = -j - j. Is j a multiple of 8?
False
Let l(s) = -4*s**2 + 3*s. Let d be l(2). Let r = d - -5. Let g(v) = v**3 + 6*v**2 + 3*v + 6. Is g(r) a multiple of 11?
False
Let z(f) = 7*f + 3. Let k(c) = 11*c + 5. Let b(l) = -5*k(l) + 8*z(l). Let v = -13 - -21. Is 6 a factor of b(v)?
False
Suppose 69 + 139 = 8*i. Is i a multiple of 2?
True
Let f be 36/(4/((-24)/(-9))). Let s = 43 - f. Suppose 3*g - 44 = s. Is g a multiple of 8?
False
Let w be (0 + -1)*-1*2. Let i(y) = -y**3 + y**2 + 2*y - 3. Let k be i(w). Let f(b) = -10*b. Does 10 divide f(k)?
True
Suppose 21*f - 22*f + 49 = 0. Does 17 divide f?
False
Let o(u) = 4*u + 4. Let m be o(-3). Let f(n) = -n**3 - 7*n**2 + 9*n + 12. Let z be f(m). Suppose -2*r + z*b = -42, -5*r - 10 + 85 = -4*b. Is 5 a factor of r?
False
Is 280/6 + (-8)/12 a multiple of 34?
False
Suppose -246 = -11*s + 18. Is s a multiple of 3?
True
Suppose 2*f - 10 = -0*f. Let b(u) = u**2 - 2*u + 5. Is 20 a factor of b(f)?
True
Let c(a) = -a + 8. Let w be c(-10). Suppose w - 2 = x. Suppose -24 - x = -4*q. Does 5 divide q?
True
Suppose -2*v + 5*v = -4*s + 10, 5 = 2*v + s. Suppose 5*j = -5*g + 115, g = -v*j + 3*j - 15. Is j a multiple of 3?
False
Let u(b) = b**3 - 2*b**2 - 6*b. Let n = -10 - -6. Let f(o) = o + 9. Let y be f(n). Does 12 divide u(y)?
False
Let z(h) = h**3 - 5*h**2 + 6*h. Is z(5) a multiple of 10?
True
Let z(j) = 39*j**3 + 2*j**2 - 1. Suppose -m = -5 + 4. Is 10 a factor of z(m)?
True
Let a(f) = -1. Let d(h) = 5*h + 2. Let n(x) = -14*a(x) - 2*d(x). Let p be n(9). Let q = 112 + p. Does 16 divide q?
True
Suppose -7 = 2*s - 1. Does 5 divide (s + -1)/((-22)/33)?
False
Suppose 13*n + 251 = 745. Does 5 divide n?
False
Let x = -81 - -201. Is 2/(-4) - x/(-16) a multiple of 7?
True
Does 11 divide 1525/30 - 6/(-36)?
False
Let m(f) = -2*f**2 - 3*f - 2. Let g be m(-3). Let v(u) = -u**3 - 12*u**2 - 13*u - 8. Is v(g) a multiple of 7?
True
Suppose 4*b - 2*y + 20 = 0, -4*b - 2*y = b + 34. Let o(n) = -n**3 - 6*n**2 + 5*n + 9. Let a be o(b). Is 4 a factor of (-2)/6 + (-112)/a?
False
Let d = 1 - -1. Let t(w) = -w**2 - 12*w - 11. Let a be t(-10). Is (6/a - d)*-24 a multiple of 16?
True
Let k = 16 + -11. Suppose 5*a + w = -30 - 3, k*w + 25 = -5*a. Let p = a + 15. Is p a multiple of 4?
True
Let t(n) = n**2 - 2 - 6 + n + 3. Is t(6) a multiple of 14?
False
Let a(i) = -2*i + 8. Let z(d) be the first derivative of d**2/2 - d - 1. Let h(y) = -a(y) - 6*z(y). Is 13 a factor of h(-7)?
True
Let s(x) = 7 - 4 - x - 1 + 0*x. Let q be s(-4). Is q + (-2)/(-2 - -3) even?
True
Suppose -8*q + 5 = -3*q. Is q + -2*(-2 + 1) a multiple of 3?
True
Suppose -5*l = -3*n - n + 135, 0 = -2*n - l + 71. Is n a multiple of 7?
True
Suppose 0 = r - 0*f + 3*f - 13, 4*f = -3*r + 29. Let h = 27 - r. Is h a multiple of 10?
True
Let i = -6 - -1. Let g = i - -4. Let l(n) = -11*n**3 - n. Is 12 a factor of l(g)?
True
Let c(w) = w**2 - 6*w - 5. Let g be c(7). Suppose g*n - 5*n = -108. Is 16 a factor of n?
False
Let v(l) = 4*l**2 - 3*l + 13. Is v(4) a multiple of 13?
True
Suppose 7*z - 3*z = -4. Is 7 a factor of -2 - 25*z - 2?
True
Let d(h) = -3*h. Let p be d(-1). Suppose -4*y + 3*b = -12, -p*y + 4*b - 1 = -3. Does 2 divide y?
True
Suppose -5*d + 12 = 2. Suppose 3*t - 1 = -5*m, 2*m = -3*t - 2*t + 27. Suppose d*o + 150 = t*o. Does 15 divide o?
True
Let h(c) = -c**3 - 6*c**2 + 8*c + 6. Let u be h(-7). Is 16*(u + (-11)/(-2)) a multiple of 24?
True
Let y(c) = -c**3 - c**2 - 5*c - 3. Let d be -4 + 5 - 8 - -3. Does 22 divide y(d)?
False
Let d = 57 + -29. Suppose 5*l + d = 228. Is l a multiple of 12?
False
Let s be 7*-1 - (-6 + 4). Let h(d) = d**2 - 3*d - 6. Does 14 divide h(s)?
False
Let g(h) = -h**2 + 2*h. Let v be g(0). Suppose v = 5*n - n - 72. Is 9 a factor of n?
True
Let a(t) = -6*t**3 - 5*t**2 + 2*t - 6. Let g(s) = s**3 + s**2 + 1. Let u(x) = -a(x) - 5*g(x). Let c be u(3). Suppose -50 - c = -3*m. Does 12 divide m?
True
Let q be 20*12/64*4. Let u(d) = -d**3 + 4*d**2 - 4. Let r be u(4). Let m = q + r. Does 11 divide m?
True
Let x(k) = 9*k**2 + 4 + 6*k + 8*k - 6*k - 2 + k**3. Let q be x(-6). Let c = q + -36. Is c a multiple of 12?
False
Suppose 5*j - 147 - 353 = 0. Suppose j = 3*r - 59. Does 21 divide r?
False
Let u(c) = 27*c**2 - 2*c. Is u(1) a multiple of 8?
False
Let c(o) = o**3 + 10*o**2 - 2*o - 17. Is 38 a factor of c(-4)?
False
Let u be -7*(30/14 - 3). Does 25 divide (100/u)/(2/3)?
True
Let z(i) be the first derivative of 2*i**3/3 - 3*i**2/2 - 2*i + 2. Let y(t) = -2*t -