 12 divide x?
True
Suppose 3*q + q - 204 = 0. Suppose q + 0 = 3*h. Does 12 divide h?
False
Suppose -2*d = -0*v - 3*v + 884, 5*v = -d + 1482. Does 37 divide v?
True
Let h(m) = -6*m**3 + 3*m**2 - m + 3. Let z(f) = 17*f**3 - 9*f**2 + 4*f - 9. Let g(q) = 8*h(q) + 3*z(q). Suppose -6 = -3*t - 0*t. Does 13 divide g(t)?
False
Suppose 1 = -2*h + 111. Does 15 divide h?
False
Let i = 19 + -1. Does 9 divide i?
True
Let q = 5 - -2. Suppose 4*f = -40 + 116. Suppose -l = q - f. Does 4 divide l?
True
Let d = -15 + 32. Suppose f + d = 2*f. Suppose -o = -f - 10. Is o a multiple of 14?
False
Suppose -b = -0*b + 4. Suppose -2*c + c + 2 = 0. Does 9 divide (36/(-8))/(c/b)?
True
Let o(f) be the first derivative of -f**4/4 + 8*f**3/3 + 3*f**2/2 + 10*f + 3. Let j be o(8). Let t = -23 + j. Does 11 divide t?
True
Suppose -2*j = 3*a - 439, -2*a + 775 = 5*j - 295. Is j a multiple of 23?
False
Suppose 3*s - 12 = 0, 2*q = -2*q - 2*s + 888. Is 44 a factor of q?
True
Suppose 27 - 5 = -j + 5*k, 0 = j + 2*k - 13. Suppose 0*o + j*o - 24 = -4*p, 33 = 2*o - 3*p. Is 11 a factor of o?
False
Is 7 a factor of (1*-1)/((22/(-72))/11)?
False
Suppose -4*d = 5*z - 10, 3*d = -z - 3*z + 7. Suppose 0 = -0*s - 2*s + 70. Suppose d*p + s = 190. Is 12 a factor of p?
False
Suppose 0 = -5*w + 4*z + 15 + 191, -4*w + 4*z + 168 = 0. Let s = -27 + w. Is s a multiple of 11?
True
Is 9 a factor of (-157)/(-4) - 1/4?
False
Is (-1 - 416/(-6)) + 20/30 a multiple of 23?
True
Let f(x) = 6*x. Let a(q) = -6*q + 1. Let s(r) = -4*a(r) - 3*f(r). Let i be s(3). Suppose -18 = -4*d + i. Is 4 a factor of d?
True
Is (-220)/(-6) + (-2)/(-6) a multiple of 10?
False
Does 27 divide (-6)/30 + 141/5?
False
Let r = -4 - -7. Does 3 divide r?
True
Let j = 5 + -5. Let y(b) = -b**3 + 9*b**2 - 11*b + 4. Let c be y(7). Suppose -n - h + c = j, -4*h = -n - 2*n + 110. Does 15 divide n?
True
Does 2 divide (6 + 0)/((-6)/(-9))?
False
Suppose -290 = -4*p - 30. Let z = 113 - p. Is 24 a factor of z?
True
Does 10 divide ((-2)/(-2))/((-1)/(-29))?
False
Suppose 0 = -4*d + 2*z + 292, 5*d - 2*z - 371 = 2*z. Is 20 a factor of d?
False
Let k(f) = -2*f + 10. Is k(0) a multiple of 3?
False
Suppose 216 = 30*t - 24*t. Does 6 divide t?
True
Let z be 1 + 2 + (-3)/(-3). Suppose 2*b = -0*b + z. Suppose -121 + 15 = -3*a + b*p, -a + 35 = -p. Does 18 divide a?
True
Let x(v) = -v**2 - v + 1. Let o(c) = -c**3 + 8*c**2 + 8*c - 7. Let w(j) = -o(j) - 6*x(j). Let t be w(3). Is 14 a factor of (t - 5)*(-20 - 2)?
False
Suppose -12*t = -0*t - 1068. Is 9 a factor of t?
False
Let r be ((-4)/(-2) + 2)*1. Suppose -d = -4*d. Does 19 divide (r/5 + d)*45?
False
Let r(x) = x**2 - x - 38. Is 4 a factor of r(7)?
True
Let c(d) = d**3 - 4*d**2 + 6*d - 2. Suppose -2*o - 20 = -7*o. Is 11 a factor of c(o)?
True
Suppose -2*v + 54 = p - 6*p, -4 = -p. Does 37 divide v?
True
Let x = 14 + -6. Is 6 a factor of x*(3 - 1)/2?
False
Let v = 112 + -32. Is v a multiple of 10?
True
Let n = -6 + 1. Let d = 11 + n. Is 3 a factor of d?
True
Let b(d) = -d - 4. Let q be b(-6). Suppose a = -2*p + 67, -q*p + 7*p - 3*a = 162. Does 9 divide p?
False
Suppose -2*j + 2*y = -10, 2*y + 1 = j - 4. Suppose 2*a - 27 = -j*h, h = 2*a + 2*a - 21. Is a a multiple of 4?
False
Let z = 168 - 134. Is 12 a factor of z?
False
Let f(k) = 8*k - 20. Does 14 divide f(6)?
True
Suppose -5*q - 4 = -6*q. Suppose -3*z + 5 = t - 8, -q*z - 2*t + 20 = 0. Suppose a - 39 = -3*a + z*c, 0 = -4*a + c + 45. Does 4 divide a?
True
Let n = -1 + 1. Suppose -3*j = -n*j - 45. Is j a multiple of 15?
True
Suppose -5*z = -2 - 13. Let c(y) = y**3 + y**2 - 2*y - 3. Let s be c(z). Suppose x + 13 = 5*m + 4*x, -3*x = -3*m + s. Does 2 divide m?
False
Let x(a) = 18*a**2 - 9*a - 4. Is 16 a factor of x(-2)?
False
Let t(y) = 13*y**2 + 14*y + 4. Is 54 a factor of t(-4)?
False
Suppose -15 = 2*a + 3*a. Let z = 39 - a. Is z a multiple of 12?
False
Suppose 15 = 2*a + 3*a. Suppose -a*q - 2*q + 56 = 3*t, -3*t - 4*q = -52. Is t a multiple of 10?
False
Suppose 5*l - 4*w = 2 + 8, 0 = 4*l + 4*w + 28. Let i = l + 7. Suppose 0*q - 150 = -i*q. Is q a multiple of 15?
True
Let o = -5 + 15. Let c = o + -11. Is 2 a factor of -3 + 7 + -1 + c?
True
Let a(p) = -p**3 - 10*p**2 - 9*p + 3. Let f be a(-9). Suppose -v - 9 - f = 0. Let l = 0 - v. Is l a multiple of 12?
True
Suppose -63 - 92 = -5*x. Suppose 4*t - 1 = -0*l + 5*l, -x = -4*t - 5*l. Is t a multiple of 4?
True
Suppose 0 = -3*o - 2*o - 3*s + 6, 0 = -4*o - s + 9. Let i = -10 - -46. Suppose -i = -c - o*c. Is c a multiple of 9?
True
Let t(c) = c - 7. Let n be t(7). Let s be 1/(-2)*0/(-2). Suppose n*b - b + 5 = s. Is b even?
False
Let s(z) = 5*z**3 - z + 0*z - 3 + 5*z**2 - 4*z**3. Does 15 divide s(-4)?
False
Let k(o) = -o**3 + o**2 - o + 43. Let l be k(0). Does 23 divide (-2 - -1)/(-1)*l?
False
Is 144/20*160/12 a multiple of 24?
True
Suppose -n + 53 = 3*g, 2 = -2*g - 2. Does 7 divide n?
False
Let y be ((-20)/(-6) - 2)*3. Suppose 5*g - 4*x - 83 = 0, g = 6*g + y*x - 67. Is 5 a factor of 24/g*(-1 + 6)?
False
Let n(s) = s - 6*s + 1 + s + 3*s. Does 4 divide n(-3)?
True
Is -4*((-36)/8)/3 a multiple of 6?
True
Let f(a) = -a + 2. Let b be f(-3). Let w(l) = -l + 0*l + 3*l - 4*l**2 + l**3 - 6 - 3*l. Does 7 divide w(b)?
True
Suppose 6*a = 415 + 551. Is a a multiple of 23?
True
Suppose 0 = -0*r - 3*r - 3*o + 45, 0 = 3*r + o - 51. Suppose -w - w = -r. Is 8 a factor of w?
False
Suppose 5*f + 3 = 4*f. Let h = -1 - f. Suppose 5*y + 30 = 3*u, -2*u + h*y + 11 = -5. Is u a multiple of 5?
True
Let v(d) = -3*d**3 - 24*d**2 + 12*d + 5. Is 34 a factor of v(-9)?
False
Suppose 0 = -2*s + s + 2. Suppose 3*q - 11 = s*q. Is 6 a factor of q?
False
Suppose 6*m - 15 - 9 = 0. Is m a multiple of 2?
True
Let l(h) be the third derivative of 0 + 11/6*h**3 - 1/3*h**4 + 3*h**2 + 0*h + 1/60*h**5. Is 10 a factor of l(9)?
True
Let s(i) be the first derivative of -i**2/2 + 6*i - 2. Let y be s(6). Is 17 a factor of (-17)/(1 - y - 2)?
True
Is 244/(-2)*(-1)/2 a multiple of 24?
False
Suppose k - 7 = -2. Let w(d) = 6*d + 3*d**2 - 5 - k*d**2 - d**3 - 3*d**2. Does 15 divide w(-7)?
False
Suppose -1 + 37 = -4*i. Let f be (6 + -3)*(6 - 0). Let j = i + f. Is j a multiple of 4?
False
Let r(o) = -o - 2. Let a be r(-4). Suppose -t + 6 = -a*k, 3*k - 18 = -t + 2*k. Does 10 divide t?
False
Let p be 94/18 + 2/(-9). Let q = -11 + 11. Suppose -p*n = -q*n - 80. Is n a multiple of 12?
False
Suppose 0 = -5*a + 9*a - 12. Suppose 16 = -4*x, 12 = a*q - 3*x - 0. Suppose 2*v - 29 + 5 = q. Is v a multiple of 12?
True
Let k = 32 - 5. Does 9 divide k?
True
Let l be (-10)/(-40) - (-799)/4. Suppose -2*v + 56 = -4*s, -5*s = 5*v - 0*v - l. Is 18 a factor of v?
True
Suppose 0 = -b, -3*p + b = -p - 6. Does 3 divide p?
True
Let l(u) = u**2 - u + 8. Let c(b) = b - 4. Let p be c(4). Let k be l(p). Let f = k + -5. Is 2 a factor of f?
False
Let a = -6 + 7. Is (-18 + 3)/(a - 2) a multiple of 14?
False
Let w(p) = -3*p - 18. Let n(x) = -x**3 + 3*x**2 - 2*x - 6. Let q be n(3). Is 6 a factor of w(q)?
True
Suppose -9*o + o = -2120. Is o a multiple of 14?
False
Let c(g) be the third derivative of 0 + 1/60*g**5 + 2*g**2 - 5/6*g**3 + 0*g + 1/12*g**4. Is c(-7) a multiple of 11?
False
Let x be (0 + -2)/((-1)/(-10)). Let d = -12 - x. Is 5 a factor of d?
False
Suppose -7 = 2*h - 3*a + 8*a, -7 = 3*h + 4*a. Let u be h/(-5) + (-428)/(-10). Suppose 2*f = 3*d + 25, -2*f = 2*f + d - u. Is f a multiple of 7?
False
Let n be (1 + -1 - 1)*-5. Let t(i) = -n*i + 4*i**2 + 4*i - i**3 + 3*i - 3. Does 12 divide t(3)?
True
Let y = 4 - 0. Suppose -5*i + 18 = 3. Suppose -i*u + y*u = 8. Is u a multiple of 7?
False
Is 17 a factor of 1 - 1 - (-4 - (32 - 2))?
True
Let z = -73 + 101. Does 21 divide z?
False
Let y be -3 + 2 + 3 + 2. Suppose 3*p - 2*j = y + 37, 0 = p + 4*j - 23. Suppose -9 = -4*n + p. Is 6 a factor of n?
True
Let z(j) = -2 + 4 - 51*j - 3. Let w be z(-1). Suppose 4*s - w = -3*m + 34, -5*s - 15 = 0. Is 12 a factor of m?
False
Let h = 3 - -10. Suppose 65 = 5*f - 2*v, -f - v = -2*v - h. Does 13 divide f?
True
Let z(j) = j**2 + 22. Let l = 2 + -2. Does 8 divide z(l)?
False
Does 19 divide (3 + -5)*(-242)/4?
False
Let u(i) be the second derivative of -1/2*i**2 + 0 + 2*i - 7/6*i**3. Is u(-1) a multiple of 4?
False
Suppose a - 7*c = -2*c - 27, 11 = -3*a + c. Is 9 a factor of a/(-12) + (-807)/(-18)?
True
Let w be (-1 - -3)*-1 + 2. Suppose