/5)/(256/130 + -2)?
True
Let r = 270 - 162. Is 33 a factor of r?
False
Let s(t) = -2*t + 8. Let c be s(6). Let a(g) = -g. Is 4 a factor of a(c)?
True
Is 14/(-21)*(-354)/4 a multiple of 12?
False
Suppose -5*d - 2*x = -16, 4*x - 1 = -2*d + 5*x. Suppose 2*z = -5*w - 0*w + 144, -2*w + d*z + 52 = 0. Does 5 divide w?
False
Suppose 0*y = 2*y - 72. Is 12 a factor of y?
True
Let y(b) = 4*b. Let o be y(-1). Let c be (-1)/o - (-335)/20. Suppose -5*j = -93 - c. Is j a multiple of 14?
False
Let x be 3/9*6/(-2). Is 12 a factor of (4 - 1)/(x/(-5))?
False
Suppose -2*u + 5*u - 84 = 0. Suppose -4*b + 2*q = -2*q - u, 0 = 5*b - 2*q - 41. Does 6 divide b?
False
Let v = -53 + 146. Is v a multiple of 18?
False
Let a = -7 - -11. Suppose -a*g = -12, 2*f + 3*g + g = 20. Suppose -2*n - 5 = -r, 3 - 35 = -f*r + 4*n. Is r a multiple of 9?
False
Let x(z) = -2*z**3 - 2*z**2 + 6*z - 8. Let i(o) = o**3 + o - 1. Let n(u) = -6*i(u) + x(u). Does 18 divide n(-2)?
True
Suppose a + 2 = 0, 3*v + 0*a - 98 = a. Is v a multiple of 5?
False
Let p(h) = -h**3 + 2*h**2 + 2*h + 1. Let c be p(-1). Suppose t - 341 = -3*t + m, 4*m - 166 = -c*t. Is 22 a factor of t?
False
Let b be 6/(-15) - 37/(-5). Suppose -2 = 3*z + b. Let y = z - -28. Is 13 a factor of y?
False
Suppose 2*j - 3*j + h = -84, 2*h - 8 = 0. Is 19 a factor of j?
False
Let s = 0 + 4. Suppose -w + 33 = m, -2*m = w - s*w - 91. Is 9 a factor of (m/4)/(2/4)?
False
Let w be ((-5)/(-10))/((-2)/(-240)). Suppose 4*z = 28 + w. Is 6 a factor of z?
False
Suppose i - 434 = -5*j, -4*j = -12*i + 11*i - 349. Is j a multiple of 18?
False
Is 22 a factor of 186/8 + (-2)/8?
False
Let r = -18 - -14. Does 14 divide 1 + (-2)/(r/106)?
False
Suppose -2*x - 2*h + 8 = 0, 2*x - 2*h + h = 2. Suppose 0*s + m - 36 = -3*s, -x*m + 61 = 5*s. Does 9 divide s?
False
Let t = -58 + 91. Suppose -5*m + 27 + t = 0. Does 11 divide (-2 - (2 - 3)) + m?
True
Suppose 2*d + 0*n - 2*n - 232 = 0, -4*d + 456 = -2*n. Is d a multiple of 35?
False
Is 15/(4*4/16) a multiple of 4?
False
Does 12 divide 61 + 1/(-3 - -2)?
True
Let t(a) be the first derivative of a**2/2 - 2*a - 3. Is t(10) a multiple of 8?
True
Let f(x) = x**2 - 5*x - 1. Let h = 0 - -5. Let y be f(h). Does 6 divide y*((0 - 2) + -16)?
True
Suppose 0 - 4 = -p + 4*t, -4*p + 2*t + 16 = 0. Suppose 0 = p*i + 2*x - 246, -2*x = -x - 1. Does 19 divide i?
False
Let x be 294/(-24)*(1 - -3). Let i = x + 76. Suppose 4*o - 49 = i. Does 8 divide o?
False
Let k(f) = 3*f**2 - 4*f - 5. Let j(v) = -v**2 + 1. Let s(i) = -2*j(i) - k(i). Suppose 13*t - 6*t = 28. Does 3 divide s(t)?
True
Let q(m) = 2 + 5*m**2 + 0*m - 4*m - m**3 + 0*m. Let k be q(4). Does 12 divide (-27 + -2 + k)/(-1)?
False
Let v(g) = 9*g**3 - 2*g**2 + 4*g - 3. Is v(2) a multiple of 13?
False
Suppose h = -h + 8. Suppose -4*m - 28 = -m - 5*o, -h*m = 5*o - 21. Does 5 divide (-1)/(4/5 + m)?
True
Let q(f) = -f**3 + 7*f**2 - 4*f - 8. Does 4 divide q(4)?
True
Let d = 290 - 168. Is 19 a factor of d?
False
Let k = 26 + -13. Let c(f) = -6 - 7*f**2 + f**3 + 7 + 0*f - k*f. Is 21 a factor of c(9)?
False
Is 21 a factor of 44/10*(5 + 0)?
False
Suppose 55 = 3*d + 2*k, -2*k - 109 = -5*d - k. Is d a multiple of 7?
True
Suppose -2*g = -t + 8, -4*g = -5*t - 6 + 22. Suppose t = 8*s - 4*s - 4, 279 = 4*a + 3*s. Is 22 a factor of a?
False
Is 23 a factor of (-3)/(-2)*(-670)/(-15)?
False
Suppose 4*o = -4*x, -2*x = 4*o - 3*x - 20. Suppose -a - 63 = -o*a. Does 7 divide a?
True
Let p be (5 + -2)/(0 + 1). Suppose p*b + g = -g + 80, -g = -3*b + 95. Is b a multiple of 15?
True
Let r = 28 - 45. Let y = r - -40. Is y a multiple of 10?
False
Let s(l) = -l**2 - 5*l + 1. Let r be s(-4). Let x(j) = 6*j**3 - 3*j**2 - 7*j - 7. Let n(w) = w**3 - w - 1. Let t(q) = r*n(q) - x(q). Is t(3) a multiple of 8?
True
Let n(u) be the second derivative of -u + 1/12*u**4 - u**2 - 1/6*u**3 + 0 + 1/20*u**5. Is n(2) a multiple of 4?
True
Suppose 2*n + 0*n = -5*p + 822, 2*p + 4*n = 332. Is p a multiple of 41?
True
Suppose 0 = l - 4*l - 24. Let i = l - -32. Is 13 a factor of i?
False
Let i = 91 - 43. Is i a multiple of 8?
True
Let j = -8 + 4. Let q be (-55)/j - 8/(-32). Suppose -q = -g + 4. Is g a multiple of 9?
True
Let g be 4/(-4) + 3 + 1. Suppose -2*c - 4 = -4*i - 2, -g*c - 3 = i. Let m(k) = -8*k**3 + k**2. Does 5 divide m(c)?
False
Let o be ((-24)/(-20))/((-6)/40). Let b(n) = n + 8. Let q be b(o). Suppose -2*w = -4*s - q*w + 16, 0 = -3*w. Is s even?
True
Suppose -3*v - r = -207, 3*v = -0*r + 5*r + 189. Suppose -5*p + 2 = 5*j - v, -2*p + 28 = -3*j. Does 14 divide p?
True
Suppose -41 = -3*h + 31. Suppose 2*b + 6 - h = 0. Suppose 2*w - b = 15. Is w a multiple of 12?
True
Let u = -159 - -235. Suppose -4 = 4*f - u. Does 9 divide f?
True
Suppose w - 5*x = 29, 0 = -2*x - 10 + 2. Is w even?
False
Suppose 0 = -4*l - 0 + 8. Suppose 5*d = -5*i + 2*i + 41, d = -i + 11. Suppose -2*v - i = -v + 3*y, 0 = v + l*y + 3. Does 2 divide v?
False
Suppose -4*z - 96 = -6*z. Is z a multiple of 20?
False
Suppose 3*v + 5*s = 7, -5 = 3*s - 2. Suppose -3*t - 2*t + z + 528 = 0, -5*z = v*t - 434. Is t/9 - (-6)/27 a multiple of 10?
False
Let j be (-2)/12*-4*3. Suppose -4*a - 4*p = -60, -4*p + 33 = j*a - 1. Is 13 a factor of a?
True
Suppose 2*x = 57 + 75. Let q = x + -44. Suppose -q - 42 = -3*m - p, -2*p = -3*m + 61. Is 11 a factor of m?
False
Let o(n) = 50*n**2 + 1. Let u be o(-1). Let w = 29 - u. Let s = 36 + w. Is 14 a factor of s?
True
Let r(j) = 5*j**2 + 4*j - 8. Is 20 a factor of r(2)?
True
Let y(k) = -k**3 - 6*k**2 + 9*k + 8. Let i be y(-7). Let m = 10 - i. Does 9 divide m?
False
Does 12 divide (-2 - 0) + (5 + -140)/(-3)?
False
Let s = -20 + 10. Let q be (-275)/s*(-8)/10. Let u = 33 + q. Is u a multiple of 4?
False
Is 35 a factor of (13/4)/(7/(-336)*-3)?
False
Suppose -11 = -6*f + 1. Is f even?
True
Suppose 2*j - 34 = -2*i - 2*j, -j = 5*i - 112. Let d = 37 - i. Suppose q + 4 = d. Is q a multiple of 4?
False
Let q = -4 - -7. Let o(g) be the second derivative of g**5/10 - g**4/4 + g**3/6 - g**2/2 - 4*g. Is 11 a factor of o(q)?
False
Let h(i) = i**3 + 6*i**2 + 5*i + 2. Let b be h(-5). Let r(w) = 3*w**2 + b*w - w**2 - 3 + 2. Is r(2) a multiple of 11?
True
Let t = -32 + 17. Is 9 a factor of (-29)/(-3) - (-10)/t?
True
Let a = 5 - 18. Let r = -9 - a. Is (-2)/r + 29/2 a multiple of 7?
True
Let g be 1*(3 + 0 + 1). Suppose -2*z - 11 = -4*c + z, 2*z + 6 = g*c. Is c*-2*10/2 a multiple of 10?
True
Suppose 0 = -0*i - 2*i. Suppose 3*h - 20 = -i*n - 4*n, 0 = -n - 2*h + 5. Suppose -j + n*j - 48 = 0. Is 6 a factor of j?
True
Suppose 6*m + c - 20 = 3*m, 0 = -2*m + 4*c + 32. Is 8 a factor of m?
True
Let k = 270 - 122. Is 9 a factor of k?
False
Let n = 89 - 35. Is 20 a factor of n?
False
Let z be (72/(-8))/((-1)/3). Is (-1 - z/(-15))*5 a multiple of 4?
True
Suppose 2*u - 5*u + 12 = 0. Suppose i = -5*t + 18, -i + u = 2*t - 2. Does 20 divide (i/5)/((-4)/460)?
False
Suppose -1 - 75 = -2*h. Suppose t + 4*q - h = 23, 2*q = -8. Does 30 divide t?
False
Suppose -170 = -3*x - 53. Does 13 divide x?
True
Let n be 4 + (-3 - -2) + 2. Suppose 5*c + 0 = n. Let k(x) = 16*x. Is k(c) a multiple of 8?
True
Let x(y) = 20*y - 4. Let g be x(3). Suppose -3*b - 35 = -2*b. Let n = g + b. Does 8 divide n?
False
Is 18 a factor of (158/(-8))/((-1)/4)?
False
Let b(y) = -y**3 + 5*y**2 - 3*y - 2. Suppose r = 3*j - r - 22, 4*j - 2*r = 26. Let o be b(j). Is 9 a factor of ((-4)/8)/(o/(-36))?
True
Is 1 - 133*((-170)/35 + 4) a multiple of 8?
False
Suppose -5*d - v = 2*v - 25, -5*v + 33 = 4*d. Suppose -4*x + 14 = -0*g - 3*g, 0 = 4*g - d*x + 2. Suppose -15 = -g*a - 1. Does 7 divide a?
True
Let n be 2/9 - (-1101)/27. Let q = n + -22. Is q a multiple of 19?
True
Let o(p) = 19*p - 3. Suppose 27 = b + 5*g, -3*b - 16 = -6*b - 2*g. Is o(b) a multiple of 13?
False
Let f = 11 + -7. Suppose 4*k + 0 = -f. Is (k - 3/(-2))*12 a multiple of 3?
True
Let u = 5 + 14. Suppose -u = -j + 14. Does 25 divide j?
False
Let l = -27 + 31. Is (l - 3)*1 - -22 a multiple of 9?
False
Let k(i) be the second derivative of i**5/20 + i**4/4 - 2*i**3/3 - 2*i**2 + i. Let z be k(-3). Let d = z - 0. Is d a multiple of 8?
True
Suppose -3*j - 2*h - 52 = 0, -5*h = -h + 20. Let u = j - -32. Is u a multiple of 18?
True
Let j be 154 + (-2)/(-4)*-2. Suppose -6*y + j = -3*y. Does 17 divide y?
True
Suppose -2*a + 4*a = 16. Is 9 a factor of a/(-20) - 141/(