f?
True
Let h(m) = -m**3 + 4*m**2 + 12*m + 2. Let c be h(6). Suppose 2*y + c*y = -44. Is (-3)/((-9)/6) - y a multiple of 9?
False
Let y = -152 - -279. Is 45 a factor of y?
False
Let n(g) = -g**3 + 5*g**2 - 3*g - 1. Let s be n(4). Suppose -s*f + 0*f = 0. Suppose -5*w - 3*u + 4*u + 150 = f, 2*u = 0. Is 10 a factor of w?
True
Suppose -3*f + 16 + 11 = 0. Suppose 5*z - 6 - f = 0, -56 = -b - 2*z. Is 13 a factor of b?
False
Let p(f) be the second derivative of -1/2*f**2 + 5/6*f**3 - 2*f + 0 + 1/12*f**4. Is 14 a factor of p(-9)?
False
Let n be 0/(4 + -6) + -28. Let m = -14 - n. Suppose i - 18 = m. Is i a multiple of 8?
True
Suppose 85 = -2*m + 101. Is 2013/21 - m/(-56) a multiple of 8?
True
Is 21 a factor of 1575/30*(-8)/(-5)?
True
Let x = 190 - 153. Is 7 a factor of x?
False
Let o be 2/6*45/15. Let a be o + -1 + 3 + 1. Does 28 divide (-7)/(1 - 5/a)?
True
Suppose r - 538 = -5*h + 405, 3*h + 3*r - 561 = 0. Does 27 divide h?
True
Let q = 342 + -176. Let r = q + -70. Does 16 divide r?
True
Let r(n) = 106*n**2 - 9*n - 13. Is r(-2) a multiple of 33?
True
Suppose 2*j + k - 187 = -1, 0 = 3*j + 4*k - 284. Let m = j + -50. Is m a multiple of 8?
False
Let k(f) = f**3 + 9*f**2 + 10*f + 11. Let r(d) = d + 1. Let a be r(-8). Is k(a) a multiple of 7?
False
Suppose 7 = -h - 1. Does 6 divide (-1 + 0)/(1/h)?
False
Let p(k) = -5*k + 4*k**2 - 2 + 2*k**2 + 0 - 2*k**3 - 2*k**2. Let y be p(5). Is 2/(-3) + y/(-9) a multiple of 6?
False
Let m = 4 - 2. Suppose 5*q = -m*h + 569, 4*h + 35 = 5*q + 1158. Suppose 4*a = 2*w + h, 0*w = 3*a + 4*w - 206. Is a a multiple of 14?
True
Suppose 3*a = -3*f - 9, f - 9 = 2*a - 0*f. Is 14 a factor of 5 + a + (52 - -3)?
True
Suppose -3*i - 2*z + 9 = -3, 16 = 4*i - z. Suppose x - 237 = -2*o + 2*x, 122 = o - i*x. Is o a multiple of 43?
False
Suppose -2*w - 9 = -3*s, -5*s = 5*w - 2*w + 4. Let d(x) = -2*x**3 + 3*x + 2*x**2 - 1 + 0 - 2. Is d(w) a multiple of 34?
False
Let a(h) = 231*h - 20. Let t be a(8). Is 12 a factor of t/15 + (-5)/(450/(-12))?
False
Let p = 650 + -470. Is p a multiple of 15?
True
Let p be 3 + 0 + -4 - -3. Let l be (0 - -1)*(-2 - -6). Suppose -26 = p*g - l*g. Is 13 a factor of g?
True
Suppose -2*z + 3*t = -304, -7*z + 3*z + 624 = 2*t. Is z a multiple of 7?
False
Let s(w) = w**3 - 9*w**2 + 3*w - 11. Let x be 44/5 - 6/(-30). Let q be s(x). Suppose h = v - 4*h - q, -5*v + 26 = 2*h. Is 6 a factor of v?
True
Let j(m) = -m**2 - 10*m - 6. Let w be j(-9). Suppose 5*p - 19 = 171. Suppose 0 = -3*h + 5*h - 2*v - p, -w*h + 45 = 3*v. Is 4 a factor of h?
False
Let p(t) = 4*t**2 - 2*t - 2. Let o = -13 - -28. Suppose -3*q = -6 + o. Is p(q) a multiple of 20?
True
Let j be 0/(-6) + (-13 - 1). Let h = j + 15. Is 17 a factor of (h/(-3))/(4/(-408))?
True
Suppose -3*f + 2*n - 34 = 0, f - n + 8 = 3*n. Let p = f + 42. Is p a multiple of 15?
True
Suppose 0 = 16*v - 50*v + 884. Is 3 a factor of v?
False
Suppose 3*y + v - 3 = -3*v, 4*v - 21 = 3*y. Let x = 30 - 28. Is ((-2)/(x/y))/1 even?
False
Suppose 4*f + 4*x = -f + 168, -3*f = 2*x - 102. Let u(r) = f*r**3 + 3*r**2 + 2 - 30*r**3 + 0 - 3. Is u(2) a multiple of 8?
False
Is 24 a factor of (-32 - -41)*(-104)/(-3)?
True
Suppose 769*o = 768*o + 674. Is 22 a factor of o?
False
Let s be ((-2)/2)/(((-3)/(-3))/255). Let g = 468 + s. Is 37 a factor of g?
False
Suppose -a + 5*r = 14, 3*a + 0*r = r + 14. Suppose 3*p + a*p = 153. Does 8 divide p?
False
Let c = 335 - 332. Is 3 a factor of c?
True
Let v be ((-32)/(-40))/(1/(-15)). Is 86/6 + (-8)/v a multiple of 4?
False
Let t = -6 + 5. Let l be (-1)/(t/22) + -2. Does 7 divide (0 - 1) + l + 5?
False
Suppose -2*m - 14 = 2*v, v + 25 = -3*v - m. Let p = v - -21. Is p a multiple of 3?
True
Let g(j) = j**3 + 12*j**2 + 2*j + 1. Is 8 a factor of g(-7)?
True
Let g = 4 + 7. Suppose 6*j - g*j - 1060 = 0. Is 12 a factor of j/(-6) - (-20)/30?
True
Let v(f) = 5*f**2 + 135*f + 46. Is v(-37) a multiple of 12?
True
Let l = 185 - -407. Does 16 divide l?
True
Let c = 17 - 18. Let s be 72/(-15) + 2/(-10). Is 18 a factor of 1790/50 + c/s?
True
Is 0 + (7 - 5) - -218 a multiple of 10?
True
Suppose 23*w = -67 + 1746. Is w a multiple of 24?
False
Let h(n) = 2*n**2 - n - 17. Let v(o) = -o**2 + o + 8. Let c(a) = 3*h(a) + 7*v(a). Is 5 a factor of c(4)?
True
Let s = 156 + 762. Is 9 a factor of s?
True
Suppose -90 = -35*r + 5*r. Suppose -3*u - 19 - 35 = 0. Is 12/u - (-101)/r a multiple of 33?
True
Suppose -3 = -5*h + 7. Let r(q) = -q**3 - 3*q + 6 - 2*q + 10*q**h - 2 + 0*q**3. Does 21 divide r(9)?
False
Let p be (-6)/1 - (-420)/(-4). Let l(j) = j**3 + 3*j**2 + 4*j + 7. Let u be l(-5). Let r = u - p. Is r a multiple of 8?
True
Suppose 528 = p + 2*p. Does 11 divide p?
True
Is (-135 + -1)/((-144)/63 + 2) a multiple of 44?
False
Does 3 divide (109 + 1 + 0)/2?
False
Let h = -1082 + 4082. Suppose -6*u + h = -2*u. Suppose 5*i + 0*i = u. Does 33 divide i?
False
Let p be 82/(0 + 2 + (-3 - -3)). Let h = p + -12. Is 9 a factor of h?
False
Suppose -q - 22 = -0*q. Does 13 divide (429/q)/((-6)/8)?
True
Let n(w) = w**2 - 6*w - 4. Let d be n(7). Suppose -d*q + q + 62 = 0. Suppose 103 - q = 3*t. Does 18 divide t?
False
Suppose -5 + 0 = 5*u. Is (-3)/(-5 - -4) - 67/u a multiple of 10?
True
Let a be -5*(262/10 + -3). Let y = a + 184. Is 10 a factor of y?
False
Let i(b) = b**3 - 5*b**2 + 5*b - 2. Let g be i(4). Suppose 3*j = 3*o - 21, 0 = -o - g*o - 5*j + 5. Let c(z) = -z**3 + 7*z**2 - 3*z. Does 16 divide c(o)?
False
Let g(m) = -5*m**2 - m + 2. Let w be g(4). Is 21 a factor of 2*(1 - w/2)?
True
Suppose 0 = 5*v + m - 584, m = -1 + 5. Suppose -5 = -12*a + 11*a. Suppose y = -a*g + v, 19 = g - y - 9. Does 12 divide g?
True
Is 44 a factor of ((-4631)/(-110)*6)/(2/10)?
False
Let t = 114 - 79. Does 13 divide (-15)/t + (-656)/(-28)?
False
Is 52 a factor of (6 - (-96)/(-18)) + (-448)/(-3)?
False
Let g(p) = 16*p - 6. Let s(j) = 2*j**3 + j**2 + 6. Let c(w) = 3*w**3 - w + 6. Let i(b) = 3*c(b) - 4*s(b). Let v be i(5). Is 21 a factor of g(v)?
False
Suppose 6 = 2*f - 2*b, 3*f + 0*b = 2*b + 4. Let t be ((-20)/8)/(f/4). Suppose t*w + 1 - 31 = 0. Is 4 a factor of w?
False
Let b(l) be the second derivative of l**3 - l**2/2 + l. Let h be -2 + ((-12)/(-21) - 62/(-14)). Does 17 divide b(h)?
True
Let n be 1035/20 - 2/(-8). Let p = n + -13. Let w = -18 + p. Does 9 divide w?
False
Let k(u) = -3*u**3 - 7*u**2 - 2*u - 5. Let i be k(-5). Let c be 2/6 + i/15. Let a = c + 5. Is 19 a factor of a?
True
Let b = -27 - -36. Suppose 0 = -b*n + 62 + 253. Does 29 divide n?
False
Suppose l + o - 561 = 660, -l - 5*o = -1241. Is l a multiple of 9?
False
Suppose 5*q - q = 28. Let f(o) = 25*o**2 - 2*o - 4. Let z be f(3). Suppose -q*g = -2*g - z. Does 18 divide g?
False
Suppose -27*f + 7606 = -5786. Does 33 divide f?
False
Suppose 3*l - 5 = 2*l, -2*l = 2*f - 102. Let n = f - -69. Is n a multiple of 23?
True
Let i(h) = h**3 - 6*h**2 + 3*h - 13. Let s be i(6). Suppose 0 = 3*b - s - 400. Is b a multiple of 27?
True
Let w(m) = -4*m + 9. Let u be w(-3). Suppose 4*q + 326 = 3*r - u, 464 = 4*r - 4*q. Is r a multiple of 24?
False
Let c = -12 - -17. Suppose 0*y + 15 = c*y. Suppose -g + 35 = -5*h, -4*h + y*h + 3 = 0. Is 38 a factor of g?
False
Let u(i) = -4*i**3 - i**2 - 33*i - 4. Is 31 a factor of u(-5)?
False
Let h be ((-85)/20 - -3)*-8. Does 3 divide (-2)/h - (-561)/55?
False
Let z(x) = x**2 - 15*x + 46. Let o be z(11). Suppose -c - o = -87. Is c a multiple of 17?
True
Let o = -13 + 15. Suppose 0*f - 6 = -o*f. Suppose 141 = 3*b + 5*z, -129 = -f*b - 0*z - z. Is b a multiple of 14?
True
Suppose 0 = -3*o - 12, 2*o - 5*o = -f + 1520. Does 26 divide f?
True
Let d(j) = -j**3 + 17*j**2 - 15*j - 12. Is 4 a factor of d(16)?
True
Suppose 0 = -15*i + 8*i. Suppose 8*x - 11*x + 144 = i. Is x a multiple of 5?
False
Let z = 113 - 84. Suppose z*v - 19 = 28*v. Does 8 divide v?
False
Let c be 0/(-1 - (1 + -1)). Suppose c = o - 0*o - 5. Does 2 divide o?
False
Let b = 7 - -6. Let c = -9 + b. Suppose 0 = -3*w - c*d - 0*d + 80, -2*d + 26 = w. Is w a multiple of 14?
True
Let x(d) = d**3 + 12*d**2 + 3*d + 1. Let r be x(-12). Let u = 39 + r. Suppose u*w = -0*w + 56. Does 11 divide w?
False
Let d = 989 + -413. Is 72 a factor of d?
True
Let i = -28 - -29. Let u = 8 - i. Let b = 11 - u. Is 2 a factor of b?
True
Let p = -30 + 34. Suppose -4*v + p = -4. Does 2 divide (15/10)/(v/8)?
True
Suppose 