e g/27 + (-142)/(-9)?
False
Suppose -2*j + 4*j = 30. Let a be 36*(j/6)/5. Suppose -4*o = -2*o - a. Is o a multiple of 3?
True
Let i be 12/27*(-9)/(-2). Let o(f) = 2*f**3 + 3*f**2 - 3*f + 3. Does 10 divide o(i)?
False
Let u(o) = 13 - 3*o - 6 - o**2 - 2. Let t be u(-6). Let b = t + 65. Is 13 a factor of b?
True
Let o(q) = q**2 - 12*q - 25. Let g be o(17). Suppose -6*v + 12*v = g. Is v even?
True
Let o = 405 - 205. Suppose -r + o = 3*r - 4*v, 3*v = r - 60. Is 13 a factor of (-4)/8 - r/(-2)?
False
Let v = 85 - 84. Is -2 + (-15)/(-3) - v a multiple of 2?
True
Let m be (-2)/((-4)/((-8)/(-1))). Suppose -w + 2*k - 8 - 17 = 0, m*k + 83 = -5*w. Let c(r) = -r**3 - 18*r**2 + 19*r + 23. Is 3 a factor of c(w)?
False
Let d(y) = y + 3. Suppose 4 = -2*u - 0. Let q be d(u). Let s = q + 31. Is 16 a factor of s?
True
Let r(l) = 2*l**3 + 10*l**2 - 14*l - 7. Let o be r(-6). Let h = 34 + o. Is 18 a factor of h?
False
Let i be (-1)/(-4) - 595/(-20). Suppose 155 = 4*o + j, -3*o - i + 165 = -3*j. Is o a multiple of 10?
True
Suppose -4*x - b = -10, -3*b - b = -4*x. Suppose -x*z = f - 34, 5*f - z - 267 = -108. Is f a multiple of 32?
True
Suppose -a + 0*j - 5*j = 5, 0 = -5*j - 10. Suppose a*o - 624 = i, -o = -4*i - 0*i - 121. Is 11 a factor of o?
False
Suppose -4*l + 1440 = 2*r, 1480 = 2*r - 0*l - 4*l. Does 29 divide r?
False
Let h = 255 + -192. Is h a multiple of 27?
False
Suppose 6*v - 471 = 147. Suppose v - 33 = 7*q. Is 2 a factor of q?
True
Suppose h + 141 + 111 = 0. Let m be ((-2)/6)/(21/h). Suppose -m*y = 5*p - 121, y = -0*y - p + 30. Does 6 divide y?
False
Let v be (308/(-33))/(1/3). Let t = 35 + v. Does 7 divide t?
True
Let s be -7 - 2/(-1) - -3. Does 6 divide 24/(-36)*417/s?
False
Let b(w) = -2*w + 24. Let m be b(10). Suppose m = s - 1, 5*f = s + 125. Is 26 a factor of f?
True
Suppose -5*a + 643 = -3*i + 1714, 0 = 3*i + 4*a - 1071. Is 15 a factor of i?
False
Let u = 759 - 497. Is u a multiple of 4?
False
Let j be (-2)/6 + 142/(-6). Let n = -7 - j. Suppose -2*z = -5*k - 3*z + n, 5*z = -15. Is k even?
True
Let f(v) = v**2 + 11*v. Let l be f(0). Let p(a) = 0*a**3 + 54 + a**3 - 2*a**3. Is 18 a factor of p(l)?
True
Let q be -5*(-1)/((-2)/(-1 + -1)). Suppose 2*f + 3*b - 51 - 117 = 0, 420 = q*f - 2*b. Is 12 a factor of f?
True
Let j be 0/3*(-1)/(-2). Suppose j*o + 18 = o. Suppose g - 7 - o = 0. Is 11 a factor of g?
False
Suppose 15*r - 15 = 12*r. Let o(w) = 27*w - 3. Is o(r) a multiple of 8?
False
Let m(q) = 23*q - 27. Does 5 divide m(4)?
True
Let x(g) = g**2 - 5*g - 6. Let r(l) = 6*l + 6. Let n(p) = 3*r(p) + 2*x(p). Is n(-9) a multiple of 24?
True
Suppose -3*k = -2*r + 116, -20 = 3*k - 8*k. Suppose -34 - r = -2*o. Suppose -4*d = -3*a - o, 5*a - 1 = 24. Is 14 a factor of d?
False
Let s(g) be the third derivative of 2*g**4/3 - g**3/6 + 8*g**2. Does 36 divide s(7)?
False
Let c(l) = -288*l + 4. Suppose -2*q + 16 = -4*t, 4*t + 2*q = -0*t. Let z be c(t). Is (z/25)/((-4)/(-10)) a multiple of 12?
False
Suppose -11*x = -6*x - 20. Let b(i) = 4*i**2 - 2*i + 7. Is 12 a factor of b(x)?
False
Suppose 379*l - 1495 = 374*l. Is 13 a factor of l?
True
Let d = -286 - -558. Is d a multiple of 2?
True
Let y(l) = l**3 + l. Let c(p) = -3*p**3 - 9*p**2 + 7*p - 10. Let a(v) = -c(v) - 2*y(v). Let h be a(-11). Is 31 a factor of 4 + -4 + 1 - h?
False
Let z = 22 + -45. Let h = 13 + z. Does 15 divide 36/90 + (-146)/h?
True
Let x be (-210)/(-8) + (-11)/44. Suppose 5*b - a + 0*a - 28 = 0, 5*b - 2*a = x. Suppose -128 = b*k - 698. Is k a multiple of 19?
True
Let d(f) = f**2 + 16*f - 11. Let k be d(-12). Let g = -1 + k. Is (-7)/(21/g) - 3 a multiple of 5?
False
Let a = 1806 - 818. Does 4 divide a?
True
Let h(o) = -o**3 + 12*o**2 - 4*o + 4. Let n be h(11). Let a = 290 - n. Suppose q = 2*t + 67, 2*t = 3*q - 2*t - a. Is q a multiple of 29?
False
Let d(c) = 16*c - 47. Is d(5) a multiple of 10?
False
Suppose -73 = 3*t + 5*c - 262, 315 = 5*t + c. Is 21 a factor of t?
True
Let c(y) = 3*y**2 + 2*y + 2. Let k be c(-1). Suppose -k*a = -9, -4*n - a = -2*a - 101. Is n a multiple of 26?
True
Let k = 44 - 42. Suppose -2*s = -k*a - 6*s + 72, -100 = -3*a - 4*s. Is 28 a factor of a?
True
Let z(l) = l**2 + 2*l - 1. Let k be z(-2). Let r be (-16)/(-4) - (3 + k). Is 19 a factor of r*(-1 + 177/6)?
True
Let i(j) = 4*j**3 - 3*j**2 - 2*j + 4. Let u be i(6). Suppose 0 = -3*z - z + u. Is z a multiple of 38?
False
Let t(p) be the third derivative of -p**6/120 + 7*p**5/30 - 5*p**4/8 - 2*p**3 - 2*p**2. Is 6 a factor of t(12)?
True
Let s(f) = -7*f + 1. Let k be s(-2). Suppose 211 = k*y - 704. Does 11 divide y?
False
Suppose 10*r = 6*r + 232. Is 29 a factor of r?
True
Suppose 7*g + 111 - 517 = 0. Does 12 divide g?
False
Suppose -3 = -3*n, -2*p + 4*p - 1432 = -2*n. Does 26 divide p?
False
Is 17 a factor of 6/24 + (0 - (-2923)/4)?
True
Let c be (-4)/10 - 712/(-5). Suppose 17*s + 24 = 21*s + 4*w, -4*w + 16 = 0. Suppose -q + c = q + s*j, 5*j + 320 = 4*q. Is 25 a factor of q?
True
Let l(x) = -x**2 + 173*x - 50. Is l(36) a multiple of 29?
False
Let c(u) = -255*u - 195. Is c(-2) a multiple of 7?
True
Let c(l) = 18*l**3 - 7*l**3 - 12*l**2 - 7*l**3 - 1 + 6*l. Let u(a) = -2*a**3 + 6*a**2 - 3*a + 1. Let q(o) = -4*c(o) - 9*u(o). Is q(4) a multiple of 13?
True
Is 76 a factor of ((-4)/6)/(294/(-66591))?
False
Let u(k) = k**2 + 4*k - 4. Let s be u(2). Is 6 a factor of s + -11 + 44/2?
False
Let b = 31 + -26. Does 3 divide ((-18)/b)/((-98)/(-35) - 3)?
True
Suppose -10916 - 22924 = -20*w. Does 36 divide w?
True
Let c be ((-4)/8)/((-4)/(-16)). Is 15 a factor of -2 - -13 - (-6 - c)?
True
Let o(f) = -5*f**2 - 11*f - 2. Let t(u) = -u**2. Let x(v) = -o(v) + 6*t(v). Let b be -1*(-3 - -1) - -3. Is 12 a factor of x(b)?
False
Let w = -26 + 27. Let p be (12 - 42)*w/2. Is 20 a factor of 250/p*(-6)/5?
True
Let c be (16 + -8)*(-1)/(-2). Suppose 127 = 2*z + v, -4*z + 284 = -0*z - c*v. Is z a multiple of 22?
True
Let b(p) be the second derivative of p**4/12 - p**3 - 4*p. Does 3 divide b(8)?
False
Let c be 2/2 - (-10)/(-5). Is (2052/c)/(-6) - -2 a multiple of 43?
True
Let t = 4 - -117. Is 11 a factor of t?
True
Let i be (-12 - -14)/(1/2). Suppose 0*j - 64 = -5*z + i*j, 2*z - 19 = -5*j. Does 7 divide z?
False
Let p(t) = t**3 + 8*t**2 - 20*t - 1. Let k be p(-10). Does 20 divide (2/(-2))/(k*(-1)/(-60))?
True
Suppose 18 - 1018 = -2*a. Is 25 a factor of a?
True
Suppose -2*m + 4*m = 0. Suppose 0*k + 3*k - 243 = m. Suppose 5*r + 2*v = k, 19 = r - 4*v - 6. Is 8 a factor of r?
False
Let w(h) = -h**3 - 13*h**2 - 12*h. Let p be (-2)/5 - (-116)/(-10). Let x be w(p). Suppose -4*m + 2*m + 44 = x. Does 11 divide m?
True
Suppose -94*o - 962 = -96*o. Is o a multiple of 8?
False
Suppose 11*i + 1752 = 12*i - 3*l, 3*i - 4*l - 5266 = 0. Does 8 divide i?
False
Let l(j) = 6*j**3 - 1. Let i be l(1). Suppose -4*p - 19 = 4*g - 7, -2*g + 2*p + 10 = 0. Is 2 a factor of g + -2 + i + 2?
True
Let r = -11 - -13. Suppose -2*y = y - 2*i - 145, 0 = r*y - 5*i - 115. Suppose -9 = -3*w + y. Is 6 a factor of w?
True
Suppose 7*r = 972 - 237. Does 33 divide r?
False
Let s = 196 + -116. Let f = s - 66. Does 9 divide f?
False
Let r = 140 + -99. Suppose 0 = -i + 10 - 8. Does 18 divide r - (i + (-1 - 4))?
False
Suppose x = -2*c + 1455 - 247, 0 = -2*c + 4*x + 1218. Let r be (-4)/14 - c/(-35). Suppose 30 = 5*n - 3*m - r, 5*n - 2*m = 48. Is n a multiple of 5?
True
Suppose 5*k - 1294 = -214. Does 8 divide k?
True
Suppose 45 = -3*m - 18. Is 8 a factor of (27*(-2)/m)/(2/112)?
True
Is ((-60)/8)/(-2*24/2368) a multiple of 74?
True
Let u be -72 - ((-119)/(-105) + 2/(-15)). Let x = u + 80. Does 4 divide x?
False
Suppose 2*l - n = -2, 5*n + 0*n + 23 = -l. Let a be 2 + (-188)/((-12)/l). Let o = 83 + a. Is o a multiple of 10?
False
Let m = -4388 - -6317. Is m a multiple of 10?
False
Let k(c) = 4*c**2 + 8*c. Let p(j) = -5 + 1 - 3*j + 7. Let q be p(3). Is k(q) a multiple of 30?
False
Suppose z + x - 1265 = 0, 5*z + 2*x - 6301 = 5*x. Does 36 divide z?
False
Let b(z) = -z**3 + 4*z**2 + 4*z + 12. Let y be b(5). Suppose c = 3*v - 14, y - 21 = -v + 5*c. Is v even?
True
Suppose 1453 = -6*u + 5893. Does 42 divide u?
False
Let o be (0/(-2))/((-18)/(-9)). Suppose 3*f - 2*c = -3, -f = -o*f + 4*c - 13. Suppose 2*z - s - 101 = 0, -3*s + f - 157 = -3*z. Is z a multiple of 21?
False
Let n = -223 - -346. Suppose -4*b - 4 - 4 = j, 0 = -