0/(-15)*(-126)/(-4). Let a = t + 104. Is a a multiple of 31?
True
Does 2 divide 3 - (0/1 - 4)?
False
Suppose 3*o = o + 6. Suppose 4*v - 26 = -0*f - 2*f, 2*v + 3*f - 23 = 0. Suppose 4*k = -4*x, v*k = -0*x - 3*x - o. Is x a multiple of 2?
False
Let f(i) = -i - 12. Let p be f(-11). Let t be (-2 + p + 4)*4. Suppose -3*d + 24 = u - d, 5*u - 108 = -t*d. Is 20 a factor of u?
True
Let n = 8 + -6. Let d(t) = t**2 - 1. Let c be d(1). Suppose a = -c*a - 2*v, n*a - 12 = 2*v. Is a even?
True
Let z(k) = -k + 2. Let a be z(6). Let i(l) = -l**2 + 3*l + 4. Let n be i(5). Is 18/4*a/n even?
False
Suppose -3*v - v + 40 = 0. Let b = 1 + v. Does 4 divide b?
False
Suppose g + 2*g - 339 = 0. Suppose 4*d = -2*r + 56, 4*d - 5*r + 29 = g. Suppose -2*z + 40 + d = 0. Does 14 divide z?
True
Let s(w) = 4*w**2. Let f = -2 - 0. Let q be s(f). Suppose 5*t = 3*u - q, t - 12 = -2*t. Is 12 a factor of u?
True
Is -6 - -1 - (11 - 161) a multiple of 29?
True
Let m(t) = -t**3 + 6*t**2 - 5*t - 1. Let n be m(4). Let q = n - 5. Is 6 a factor of q?
True
Let p(q) = q**2 - 27. Is p(-9) a multiple of 27?
True
Let u(w) = w**3 + 5*w**2 + 1. Let z be u(-5). Let n(v) be the second derivative of 7*v**5/10 - v**4/12 + v**3/6 + 6*v. Does 12 divide n(z)?
False
Suppose 5*s + 3*f - 93 = 0, 4*s - 29 - 48 = -5*f. Is 7 a factor of s?
False
Let r = -8 - -66. Does 19 divide r?
False
Suppose 4*h = -0*h + 12. Suppose 0 = -3*l + 3*g + 147, -l - h*g = 4*l - 253. Let n = l + -35. Is 6 a factor of n?
False
Let w = 131 - 87. Is w a multiple of 3?
False
Let a be 2/(-9) + (-542)/(-9). Suppose -4*h + a - 8 = 0. Is h a multiple of 12?
False
Let v = -4 + 35. Suppose -2*a + 1 = -v. Is 6 a factor of a?
False
Let v = 38 - -14. Is 19 a factor of v - (-5)/(5/(-2))?
False
Let h = 0 + 2. Is 14 a factor of h/(-6) + (-182)/(-6)?
False
Let c be 8/3 + 2/(-3). Suppose -5*y + 0*o = -o + 91, 4*y + 3*o + 88 = 0. Is y/(0 - 1) + c a multiple of 21?
True
Is (-88)/(-6) + (-8)/12 a multiple of 4?
False
Let f be (-26 + 1 + 0)/1. Let v = 13 - f. Suppose -31 = -3*g + v. Does 8 divide g?
False
Let x(h) be the second derivative of 5*h**4/12 - h**3/3 - h**2 + 2*h. Does 6 divide x(2)?
False
Does 13 divide 1519/9 - (-10)/45?
True
Let j(o) = o**2 + 6*o + 7. Let y(s) = -s. Let u be y(5). Is 2 a factor of j(u)?
True
Let q = 15 + -7. Does 4 divide q?
True
Let u = 38 + -17. Suppose 0 = q - 2*m - u, -q - 38 = -3*q + 5*m. Does 12 divide q?
False
Suppose 3*o + 5*n = 7*o + 19, -3*n - 3 = 0. Is (-19)/(-2 - o/4) a multiple of 18?
False
Let s(l) = l**3 + 10*l**2 + l + 12. Let n be s(-10). Let v be (-2)/n + (-2)/(-2). Does 14 divide v/(-2) + 15 + -1?
True
Let b(l) = -2*l**2 - 3*l**2 + 0*l**2 - 6 + 2*l + 4*l**2. Let g be b(-6). Is (2 - 0)/((-3)/g) a multiple of 18?
True
Is 36 a factor of ((-8)/(-6))/(-2 - (-5012)/2499)?
False
Let j = 5 + -3. Suppose -a + 0*a + 17 = l, -4*l - a = -68. Suppose -j*w + 3*w - l = 0. Does 17 divide w?
True
Is (-222)/(-10) + (1/(-5) - -1) a multiple of 12?
False
Suppose -5*d + 11 = -4. Suppose d*u + 3*s - 62 = 94, -3*u + s = -140. Let p = u + -30. Is 11 a factor of p?
False
Let d(k) = -k - 2. Let r be ((-12)/15)/((-2)/20). Let g be d(r). Let w = 43 + g. Does 11 divide w?
True
Suppose 9*q = 6*q + 369. Is 12 a factor of q?
False
Let h = 5 + -5. Suppose -2*o - 3*i + 24 = h, 36 = 4*o + 2*i + i. Is 6 a factor of o?
True
Suppose -7 = -4*b + 9. Suppose -4*c - 5*t + 21 = 0, -c = c - 4*t - b. Is c even?
True
Let x(j) = 23*j + 8. Let n be x(7). Let k = n + -97. Suppose -2*t + k = 24. Does 12 divide t?
True
Suppose 0 = -4*r + 2*u + 184, 126 = 2*r + 4*u + 44. Let v(c) = c**2 + 9*c + 12. Let w be v(-6). Is 3/w - r/(-2) a multiple of 8?
False
Suppose -7 + 19 = -2*q. Let s be (9/(-12))/(q/16). Is 14 a factor of (-273)/(-6) + s/(-4)?
False
Let u = 42 - 28. Is u a multiple of 7?
True
Suppose -3*d - 6 = -2*z, 3*z - 5*d - 12 = -2. Suppose z*a - 2*a + 16 = 0. Does 8 divide a?
True
Let q(c) = 4*c**2 - 11*c + 45. Is 13 a factor of q(5)?
False
Let t = -177 + 257. Is 40 a factor of t?
True
Let w(d) be the second derivative of 7*d**4/12 + 2*d**3/3 + d**2/2 - d. Let g be w(-5). Suppose v - 3*k - g = -3*v, v = k + 38. Is v a multiple of 21?
True
Let t be (36/(-16))/(6/(-16)). Let i(o) = o**2 - 6*o + 2. Let d be i(t). Suppose -d*l = 4*u + 16, 5 = -2*l - 3*u - 6. Is l a multiple of 2?
True
Suppose 2*a - 115 - 13 = 0. Does 12 divide a?
False
Suppose -4*w + 447 + 269 = 3*i, -i + 3*w + 217 = 0. Suppose -d + 4*d = 9, 5*c - d = i. Is 13 a factor of c?
False
Suppose 2*s = 3*o + 6, 5 - 1 = -3*s - 2*o. Suppose -v = -s*v - 3. Suppose 26 = 2*x + 2*l, -v*x - 7 + 40 = l. Does 5 divide x?
True
Let b be (-2)/2 - (-6 + 0). Suppose b*y - 87 = 18. Suppose 4*j = z - y - 20, -3*j = -2*z + 77. Is 21 a factor of z?
False
Let o(a) = a**2 - 6*a + 5. Let b be o(5). Suppose b = 6*u - 12 - 0. Is u a multiple of 2?
True
Is 8 a factor of -1 + (-3 - 1) + 14?
False
Let y be (122/6)/((-13)/(-39)). Suppose 3*g - 4*d = y + 23, -28 = -g + d. Is 7 a factor of g?
True
Suppose k + 2*m - 91 = m, 3*k = -2*m + 275. Is k a multiple of 23?
False
Let r(j) = 57*j**3 - 1. Let u be r(1). Suppose 4*l = -g - g + u, -5*g = -4*l + 84. Is 8 a factor of l?
True
Let j(m) = -3*m + 2. Is 2 a factor of j(-3)?
False
Suppose i - 3*i = -6. Let v be -3 + 1*(-3)/i. Is 3 a factor of v*1*(-6)/6?
False
Suppose 2*v - 4*v - 4*f = -6, f + 4 = 5*v. Suppose -5*r - 11 = -v. Let n = 6 - r. Is n a multiple of 4?
True
Is (-12 + 11)*(0 - 67) a multiple of 17?
False
Let r(c) be the second derivative of -c**4/12 - c**3/6 + 23*c**2/2 + 4*c. Suppose 2*t - j = 2*j + 6, -2*j = 4. Does 12 divide r(t)?
False
Let k(c) = c**3 - c. Let s(j) = -j**3 + 2*j - 46. Let w(f) = -2*k(f) - s(f). Is w(0) a multiple of 23?
True
Let i(o) = -o + 8. Let g be i(5). Suppose g*f - 2 = -8. Is 4 a factor of 8 - ((-4)/f - 3)?
False
Let l = 315 + -195. Is l a multiple of 15?
True
Let m(t) = 2*t**2 + 5*t - 3. Let k be (-150)/36 - (-1)/6. Is m(k) a multiple of 8?
False
Let a be (-4)/((-87)/27 - -3). Does 14 divide (-9)/12*a*-4?
False
Suppose 3*p + 0*p - 18 = 0. Let z be (p/(-9))/(2/3). Let a = z + 6. Is a a multiple of 2?
False
Let t(i) = -i**3 - 5*i**2 - 6*i - 3. Let w be t(-4). Suppose c = 5*m - 91 - 137, 5*m - w*c = 220. Is m a multiple of 23?
True
Let o(n) = n**2 - 5*n + 7. Is 21 a factor of o(7)?
True
Let m be -1*(-6)/(-3) - 6. Let x be (20/m)/(2/60). Let g = -53 - x. Is 22 a factor of g?
True
Let t(n) = 20*n**2 + 5*n + 9. Let f(p) = 7*p**2 + 2*p + 3. Let g(m) = -17*f(m) + 6*t(m). Let y be g(4). Suppose 0 = -y*d + 5*d - 20. Is d a multiple of 5?
True
Let g = 5 + -2. Suppose 0*b - g*q = -5*b + 87, 0 = q - 1. Is 4 a factor of b?
False
Suppose k + 5 = -0*k. Let y = -3 - k. Suppose y*n = n + 20. Is 10 a factor of n?
True
Suppose -2*c = 2*w + 8, -2*c - c - 2*w = 8. Let i be 1/3*c + 2. Suppose -20 = -i*m + m. Does 13 divide m?
False
Suppose 0 = -3*j - 0*j - 5*k + 2, -20 = -4*j + 2*k. Suppose -5*n = 4*v - 26, 2*n - 2*v + j = -0*n. Is n/(-3*1/(-42)) a multiple of 10?
False
Let j(q) = -5*q - 5. Let x(c) = -c**3 + 7*c**2 - 4. Let i be x(7). Is j(i) a multiple of 15?
True
Let j = 31 - 25. Does 4 divide j?
False
Let j(z) = -3*z - 11. Is 2 a factor of j(-5)?
True
Suppose -211 = -5*d + 594. Does 23 divide d?
True
Let c(b) = -11*b**3 - 4*b + 2. Let i(v) = -32*v**3 - 11*v + 6. Let w(z) = -17*c(z) + 6*i(z). Let f be w(-2). Let l = f + -24. Is l a multiple of 7?
True
Let y = -114 - -160. Let i = 64 - y. Does 18 divide i?
True
Suppose w = 5*m + 54, 4*w - 4*m - 292 = -3*m. Does 23 divide w?
False
Suppose -5*q - 117 = -4*p, -3*p + 3*q - 174 = -8*p. Suppose -4*l + p = -83. Is 12 a factor of l?
False
Let p(l) = 3*l**3 - 2*l**2 - 2*l - 2. Let s be p(-2). Let w be (-80)/6*s/25. Suppose j - w = -0*j. Is j a multiple of 8?
True
Suppose 0 = -10*g + 11*g - 11. Is 2 a factor of g?
False
Let t(d) = -d**3 - d + 2. Let v be t(0). Let f be (v/(-2) - -72) + -2. Suppose 4*o - 19 = f. Is 11 a factor of o?
True
Let g(t) = -t + 11. Suppose 0*c - 2 = c + 5*o, c - 4*o - 16 = 0. Is 3 a factor of g(c)?
True
Suppose 4*g - 3 - 1 = 0. Let t(r) = 18*r - 1. Is t(g) a multiple of 11?
False
Let m be (-60)/(-3)*1/2. Suppose -2*s - 3*s = 0. Let g = m - s. Does 5 divide g?
True
Suppose -2*y - 9 = 1. Does 23 divide (-1)/(-5) + (-114)/y?
True
Suppose 3*s + 3 = 4*s. Suppose 18 = -s*d + d. Is 2 a factor of 10/3 