*o + 3*x = -0*x + 3. Is (o - 23)*(-12)/9 a multiple of 16?
True
Let b(t) = 4*t**2 - 1. Let x be b(-1). Suppose -x*g - 2*i = 17, 3*i - 25 = 5*g - 3. Let u(r) = -r - 3. Does 2 divide u(g)?
True
Suppose 85 = 3*s + s - w, 56 = 2*s + 4*w. Is s a multiple of 7?
False
Let h = 23 - 7. Is 6 a factor of h?
False
Suppose 5*g = 2*g + 588. Does 28 divide g?
True
Let f(h) = -h**2 - 8*h - 5. Let x be -3*(-5)/(45/(-12)). Let k be f(x). Let s = 5 + k. Is s a multiple of 14?
False
Let r be (-12)/(-9)*(-9)/2. Let s be (0 + 27)/(r/(-44)). Suppose 4*d + 87 = 2*j + 5*d, 4*d = 5*j - s. Is 21 a factor of j?
True
Let i(m) = -m**3 - 6*m**2 + 5*m - 6. Let h be i(-7). Let a be (8/(-3))/(h/(-60)). Suppose p + a = 5*p. Is p even?
False
Let s(i) = 11*i**3 - 2*i**2 - 3*i + 3. Suppose -5 = 3*m + 7, -2 = -3*z - m. Is 19 a factor of s(z)?
False
Let a be 4 - (0 - -2 - 4). Let w = -4 - -7. Is 7 a factor of 2/w + 38/a?
True
Suppose 3*f + 2 = 4*f. Suppose -4*t - 37 + 130 = -5*i, -t + 21 = -f*i. Does 5 divide t?
False
Suppose -3*o + 20 = 2*o. Suppose 0 = f + o*f - 60. Is 12 a factor of f?
True
Let a be 1 - (-2 - 2)/1. Suppose a*k - 5*y + 0*y = 70, -2*k + 31 = y. Does 13 divide k?
False
Let w(r) = -r - 6 - 2*r**2 + r**3 - 4*r**2 - 4 + 0*r. Does 14 divide w(7)?
False
Suppose 0 = 3*q - 2*q - 4. Suppose 0 = q*d - 22 - 6. Suppose 29 = o - d. Does 14 divide o?
False
Let i(r) = -r**2 + 10*r - 6. Suppose -3*d + 13 = -2. Suppose -4*g + d*k = -26, 2*k - 1 = -5. Is 7 a factor of i(g)?
False
Let i be ((-228)/8)/((-2)/4). Let c = i - 38. Does 19 divide c?
True
Suppose 0 = 3*p + 5*w - 74, -8*w + 13*w + 10 = 0. Is p a multiple of 8?
False
Let v = -11 - -35. Suppose -2*z + 4*u = -v, 2*z - u + 0*u = 30. Is z a multiple of 9?
False
Let r be 7 + (-3 - -4)*-2. Suppose -4*q = -3*s + 26, r*s - 4 = q + 3*s. Is 3 a factor of (-25)/(-2)*q/(-10)?
False
Suppose 0 = -7*d + 2*d + 80. Does 16 divide d?
True
Let y(h) = -h**2 - 5*h + 3. Let c be y(-5). Let v(u) = 4*u. Is v(c) a multiple of 6?
True
Let q be (0 + 0)/(2 - 1). Suppose q = s - 38 + 14. Does 16 divide s?
False
Suppose -b - 25 = -3*b + 3*g, 0 = 2*b - g - 15. Suppose 200 = 5*m + b*z, -4*m + z + z + 130 = 0. Does 7 divide m?
True
Suppose -16 = 4*t - 3*f, 4*f + 4 = -3*t + 2*t. Let g = 4 + t. Suppose g = d + 2*d - 96. Is 16 a factor of d?
True
Suppose 0 = 3*x + 22 - 322. Suppose -3*p - 22 + x = 0. Is 7 a factor of p?
False
Let p = -15 - -84. Suppose -p = -2*c + 25. Suppose -3*j - 14 = 5*f - c, 5*f - 15 = 0. Does 3 divide j?
True
Let x(i) = -i**3 + 15*i**2 - 18*i - 4. Is x(6) a multiple of 14?
False
Suppose -50*c + 47*c + 156 = 0. Does 13 divide c?
True
Let b = -9 - -50. Does 13 divide b?
False
Is 10 a factor of 21/2*2*(-12)/(-18)?
False
Suppose 0 = -4*j - 9 + 41. Does 8 divide j?
True
Let n(g) be the first derivative of -1 + 13*g + 1/3*g**3 + 9/2*g**2. Is n(-9) a multiple of 12?
False
Suppose 0 = 3*h + 5*y - 175, 4*h = 9*y - 5*y + 180. Does 5 divide h?
True
Let r = 12 + -7. Let u = r - -22. Is 13 a factor of u?
False
Suppose 72 = f - 0*f. Let n be 146/(-9) + 16/f. Does 8 divide (n/3)/(3/(-9))?
True
Suppose -25 = 2*a + 11. Does 9 divide a*(-1)/(1 + 1)?
True
Suppose -2*c = y + 19 + 7, 4*c = -3*y - 74. Let k = y + 92. Is 14 a factor of k?
True
Suppose 3*i = 3*r + 219 + 123, 4*i = -5*r + 420. Does 27 divide i?
False
Let i(z) be the second derivative of -z**3 + 3*z**2 - 6*z. Does 12 divide i(-5)?
True
Suppose 536 = -5*c - 3389. Let v = -485 - c. Suppose 4*t - v = -t. Is 22 a factor of t?
False
Suppose 50 = 3*j + 2*k, 4*k - 24 = -5*j + 58. Let t be j/(-8)*(-8)/3. Suppose r = t*r - 100. Does 10 divide r?
True
Let m = -2 + -2. Let h(i) = -i + 1. Let p be h(m). Suppose -g + 0 + p = 0. Does 5 divide g?
True
Suppose 2*g - 322 = 14. Does 28 divide g?
True
Suppose -x - 3*m + 24 = 0, -4*x - 2*m + 65 = -81. Is x a multiple of 15?
False
Let o be (-9)/(-12) + (-3)/4. Suppose -2*q = -o*q - 4. Is q a multiple of 2?
True
Let g(h) = h**2 + h - 6. Let d be g(0). Let f(a) = a**3 + 7*a**2 + 6*a + 7. Is 6 a factor of f(d)?
False
Let w(c) = -8*c**3 - c**2 + c + 1. Let i be w(-1). Let k be 22/(-5) - (-4)/10. Let d = i + k. Is d even?
False
Suppose -2*j + 26 = -0*f - 2*f, 5*j = -2*f + 79. Is j a multiple of 5?
True
Let p be ((-9)/(-2))/(6/(-16)). Let c = -27 - -63. Let d = c + p. Is d a multiple of 12?
True
Let b(s) = -s**3 + 9*s**2 + 3*s - 11. Let h be b(9). Suppose h = 5*a - a, a = -3*m - 2. Let v = m - -18. Is v a multiple of 8?
True
Let p(z) = -z**3 - 4*z**2 + 2. Let u be p(-4). Suppose 5*r - u*r = 60. Does 8 divide r?
False
Suppose 2*d - 3*l - 18 = 0, -l - 46 = -0*d - 4*d. Is 4 a factor of d?
True
Does 6 divide 146 - ((-6)/(-15) + 36/10)?
False
Let z(y) = y**2 + 10*y - 45. Is z(-19) a multiple of 7?
True
Let p(f) = f**3 - 6*f**2 + 6*f. Let r be p(6). Suppose k + r = 2*k. Suppose -2*g = -6*g + k. Does 8 divide g?
False
Let t = -9 + 21. Suppose -5*d + 13 = -j, d - 2 = -4*j - t. Suppose d*v - 5*v - 5*h = -104, 3*v - 3*h = 120. Does 20 divide v?
False
Does 14 divide (-4)/(-30) - 1226/(-30)?
False
Suppose h = -h + 3*c + 107, c = -5*h + 276. Is 5 a factor of h?
True
Suppose -343 - 2 = -5*d. Is 14 a factor of d?
False
Let b = 44 + -38. Does 6 divide b?
True
Let r = 145 - -51. Is 14 a factor of r?
True
Let u = -7 - -20. Suppose -3*o + 22 = -2*r, -o - r + u = 4*r. Does 8 divide o?
True
Let m(v) be the first derivative of v**3/3 - v**2 + 2*v + 2. Let d be m(3). Suppose 4*o + 60 = 2*g + 24, -d*o = -2*g + 40. Does 4 divide g?
False
Suppose 3*d = -0*d + 21. Is 7 a factor of d?
True
Let g = -30 - -105. Let s = 107 - g. Does 16 divide s?
True
Suppose 0 = 4*s + 2*y + y - 22, -5*y = -5*s + 10. Suppose 0*z + 5*z + 3*v - 38 = 0, z - s*v = 26. Does 12 divide 2/5 - (-236)/z?
True
Let y(t) = -13*t + 1. Let k be y(-1). Does 12 divide -2 + -1 + 1 + k?
True
Let j(d) = -d**3 + 7*d**2 + d + 3. Let p be j(7). Suppose 2 = 4*g - p. Does 9 divide (-2 - (-2 + g))*-4?
False
Let b = 212 - 150. Does 25 divide b?
False
Let n(b) = b**2 - 2*b. Let v be n(-3). Suppose 2*i - v = 9. Is 6 a factor of i?
True
Suppose 0 = 4*r - f - 261, 4*r - 3*f = 352 - 81. Is r a multiple of 16?
True
Let c(q) = 390*q + 9. Does 57 divide c(1)?
True
Suppose 3*h + 2*h + 245 = 0. Let u = h + 87. Does 10 divide u?
False
Is 448 - ((1 - 1) + 12/6) a multiple of 24?
False
Suppose -10*n = -4*n - 840. Is n a multiple of 41?
False
Let z = -82 + 171. Is z a multiple of 23?
False
Suppose -3*h = -4*g - 11 - 16, 10 = -h - 5*g. Let j be (2 + -1)/(-3)*-15. Let t = j + h. Is t a multiple of 10?
True
Suppose 5*n + 10 = -4*v, 2*n + 1 + 3 = v. Let m = v - -6. Does 2 divide m?
True
Let d(b) = -b**3 - b**2 + 2*b - 1. Suppose -3*v + 2*z = 3*z - 27, -2*v + z = -13. Suppose 3*h - 20 = v*h. Does 13 divide d(h)?
True
Let u(f) = f**3 + 6*f**2 + 3*f - 5. Let x be u(-5). Suppose -x*h + 14 = n, 4*n + 2*h = 2*n + 4. Let j(l) = 28*l**2 + l. Is j(n) a multiple of 12?
False
Suppose 5*l = 3*l + 60. Is l a multiple of 6?
True
Is 3/7 + 1204/49 a multiple of 5?
True
Let n = -7 + 6. Does 5 divide (-5 + 3)*n + 17?
False
Let d(x) = 36*x**2 - 3*x + 3. Is d(1) a multiple of 13?
False
Does 29 divide 10/(-25)*(-290)/1?
True
Let w be 4/10 - 4/10. Suppose d = 3 + 1. Suppose 2*r + w*r = 0, 0 = d*h - r - 152. Does 15 divide h?
False
Let i(n) = n**2 - 12*n + 17. Is 9 a factor of i(14)?
True
Is -3 - (-1)/(4/228) a multiple of 11?
False
Suppose -5*k + 3*n - n = -627, -5*k + 624 = n. Is k a multiple of 33?
False
Suppose -u + 11*u = 220. Is 4 a factor of u?
False
Let p(g) = -2*g - 10. Is p(-12) a multiple of 3?
False
Let t(b) be the second derivative of b**4/2 + 2*b**3/3 + b**2 + b. Let a be t(-5). Suppose 5*z - z - a = 0. Does 12 divide z?
False
Suppose -10 = -6*f + 4*f, 3*a + 4*f - 146 = 0. Is 14 a factor of a?
True
Let k(q) = -q**3 - 9*q**2 - 3*q - 3. Let c be k(-9). Suppose 2*n - 4*n = -c. Is 6 a factor of n?
True
Suppose -r - 43 = -4*s, -4 = -2*s - 2*r + 10. Suppose 2*i - 5*m - s = 3*i, 2*i = 2*m + 4. Suppose 0 = 3*u - i*u - 90. Does 13 divide u?
False
Let n(m) = -m**3 - 3*m**2 - 2*m + 1. Suppose 8 = -i + 2*h, 0 = -3*i - 5*h - 0*h + 31. Suppose f - 7 = -i*u, -u = 2*f - 4*f - 11. Is n(f) even?
False
Suppose 54 = -7*a + 544. Is 14 a factor of a?
True
Let p = -94 - -292. Is p a multiple of 11?
True
Suppose -3*b = -2*d - 9, 2*d = -2*b + d + 6. Suppose 7*a = b*a + 12. Suppose -p - 154 = -