 33 a factor of f(10)?
False
Suppose 2*z + 160 = -2*v, 4*v + z + 204 + 107 = 0. Let f = v - -241. Suppose -f = -4*o - 3*n, -2*n - 202 = -5*o - 5*n. Is o a multiple of 7?
False
Let s(i) = -i**2 + 6*i + 2. Let k be s(6). Suppose -3*g - 3*t = -57, k*g - 2*t - 19 = g. Does 19 divide g?
True
Let m = -64 + 96. Let l = 87 - m. Is 16 a factor of l?
False
Let z(m) = -8*m + 164. Is 35 a factor of z(3)?
True
Suppose 2 = -3*f - 1, -2*f = 5*o - 1858. Is o a multiple of 35?
False
Let d(z) = -z**3 + 35*z**2 + 68*z - 36. Is d(36) a multiple of 17?
False
Suppose -d = 2*r - 8, 2*r = -2*r - 5*d + 28. Does 13 divide r - ((-384)/(-18))/((-1)/6)?
True
Is 15 a factor of 6*(-5898)/(-16)*(-88)/(-66)?
False
Suppose 0 = 3*h + h - 56. Let d(t) = t**3 - 15*t**2 + 15*t - 12. Let r be d(h). Is r/6*(47 + 4) a multiple of 8?
False
Let b(v) = v**3 - 4*v**2 + 2. Let s be b(5). Suppose -77 = -5*u - s. Let o(x) = 10*x. Is o(u) a multiple of 23?
False
Let o(t) = t**2 + 8*t + 5. Let w be o(-8). Suppose -u = -5*u. Suppose w*q + 3*v - 106 = u, -70 = 2*q - 5*q - 5*v. Is 10 a factor of q?
True
Suppose -4*b + 18 = -3*s, b - 8 = -3*b - 2*s. Suppose b*u + 5 = 4*u. Is u even?
False
Let k(o) = -o**2 + 4*o - 3. Let y be k(3). Is 2 a factor of 5/15*y + 6?
True
Suppose 3*g - 5*q = 989 - 219, -2*q = 5*g - 1304. Is 52 a factor of g?
True
Suppose -4*q - 420 = -3*m - 6*q, 0 = 3*m - 2*q - 408. Is m a multiple of 3?
True
Suppose 2*o = -3*f + 2*f + 5, -5*o = -2*f + 1. Does 9 divide -4 - (o + -125) - 0?
False
Let o = -13 - -19. Suppose -5*b + o = -124. Does 26 divide b?
True
Suppose 0 = -8*u + 16*u. Let r be 38 + 0/(-2) - -2. Suppose u = -5*m + 170 + r. Is m a multiple of 14?
True
Let u = 12 + -7. Suppose -r + 0*r - u*s = -7, 0 = 2*s + 2. Is 17 a factor of 57 + 1 - (10 - r)?
False
Let z = -7 - -12. Let w(d) = 0*d - 2*d + 2*d + 1 + 3*d. Does 4 divide w(z)?
True
Let s(z) = -5*z**3 + 3*z**2 - 5*z + 1. Let u(j) = -j**3 + 1. Let d(x) = -s(x) + 6*u(x). Let h be d(-4). Does 9 divide 29 + h/1 - -3?
False
Suppose -u - 5*j + 578 = 0, 2384 = 4*u - 2*j - 2*j. Is u a multiple of 23?
False
Let z(d) = d**2 - 6*d - 5. Let k be z(7). Let g(o) = -17*o - 6. Let t be g(2). Let h = k - t. Is h a multiple of 21?
True
Let g(a) = -46*a - 277. Is 10 a factor of g(-42)?
False
Let n = -74 + 80. Suppose 3*q = 24 + n. Is 2 a factor of q?
True
Let k(l) = l**3 - 4*l**2 - 2*l + 2. Let q be k(-2). Let n = 23 + 18. Let v = q + n. Does 13 divide v?
False
Suppose -98 = -u - u + i, -3*u - 5*i + 173 = 0. Is u a multiple of 9?
False
Let c = -23 - -78. Let d = c + -21. Suppose -10 = -j + d. Is j a multiple of 11?
True
Let g(c) = -10*c + 20. Let m be g(-6). Suppose m = 3*u + u + 4*h, 3*u + 5*h = 66. Is u a multiple of 3?
False
Suppose t = -4*t - 40. Let x = t - -3. Let h = x - -29. Is 24 a factor of h?
True
Let r(f) = -f**3 + 4*f**2 - 2*f - 3. Let b be r(3). Suppose 0 = 4*m + 2*o - 168, b = 5*m + 5*o - 86 - 119. Is 28 a factor of m?
False
Let t be (-14)/(-35)*160/2. Let r = 28 + t. Is 12 a factor of r?
True
Is 6 a factor of (-4 - 76/(-16)) + 4795/28?
False
Let p = 321 - 37. Let s(y) = y**2 + 6*y + 3. Let w be s(-7). Is (-4)/10 + p/w a multiple of 7?
True
Let x = 571 + -444. Does 13 divide x?
False
Let l be ((-2)/(8/10))/(19/(-456)). Suppose 53*a + 1687 = l*a. Is 22 a factor of a?
False
Suppose -7*q = -14*q + 441. Suppose -68*l + q*l = -535. Is l a multiple of 19?
False
Suppose 0 = 4*p + 3*y - 46, 5*p - 4*y - 23 = 19. Let g = p - 8. Suppose 0 = a - g*a + 15. Does 15 divide a?
True
Suppose 0 = 3*m + 3*u + 27, 2*u - 6 + 0 = 2*m. Is 13 a factor of (-542)/m + 10/15?
True
Let v(g) = g**2 - 18*g - 85. Is 47 a factor of v(-33)?
True
Let o(r) = -2*r**3 + r**2 + r + 1. Let g be o(-1). Let f be 17/(2/8*2). Suppose g*n - f = 5. Is n a multiple of 9?
False
Let d(x) = -5*x - 14. Let s be d(-7). Let y be -3 + 2 + s/7. Suppose 50 = 5*j + 2*b, y*j - 5*b = j + 37. Is j a multiple of 3?
True
Let w = -8 + -5. Let k = w + 16. Suppose -11 = -i + k*p, i + 0*i = 2*p + 11. Does 11 divide i?
True
Let u(f) = 9*f**3 + f**2 - 3*f + 3. Let a be u(1). Suppose 4*i + a - 70 = 0. Is 15 a factor of i?
True
Let l = 389 - 269. Is l a multiple of 8?
True
Let c be (15/5 - 1) + -2. Suppose -2*v + 234 = -3*t, c = v + 5*t - 51 - 53. Is v a multiple of 32?
False
Let z = -4 - 0. Let s = z + 4. Suppose q - 2*d - 3 = s, 4*q = 9*q - 3*d - 50. Is q a multiple of 13?
True
Let b = -6 + 9. Does 9 divide (-2261)/(-51) - 1/b?
False
Suppose 0*s = -3*b + 4*s + 6272, -2 = s. Does 12 divide b?
True
Let n(d) = -2*d + 19. Let p(y) = -6*y + 56. Let q(h) = 11*n(h) - 4*p(h). Let c be q(12). Suppose -c*i + 130 = -4*i. Is i a multiple of 6?
False
Suppose -8*f = -7*f - 20. Let d = 112 - f. Is d a multiple of 17?
False
Let k be 6*((-3)/(-6) - 1/(-2)). Suppose -10*c = -k*c - 12. Is 3 a factor of c?
True
Suppose -u - 3*u = -2*u. Suppose -a + 57 - 32 = u. Is 5 a factor of a?
True
Let y be 7/((-14)/(-6)) + 2. Suppose -5 = -y*q - 25. Is q*3/(-12)*30 a multiple of 6?
True
Let k = 445 - -17. Does 16 divide k?
False
Let b(z) = 2*z**2 + 11*z - 154. Is b(-32) a multiple of 23?
False
Suppose 0 = -4*t + g - 419, 4*g = -3*t + 82 - 401. Does 10 divide t/(-10) + 3/(-6)?
True
Suppose -3*q = -0*u + 4*u - 18, -2*u - 6 = 0. Does 9 divide 1628/20 + (-4)/q?
True
Let j(q) = q**2 + 9*q + 15. Let s be j(-10). Is 28 a factor of (-5)/s - (-5043)/15?
True
Suppose 3*h - 19 = 5*x - 8, 4*h = -3*x + 5. Suppose -h*b - 7 = -143. Does 4 divide b?
True
Suppose -6*i = -4*i - 74. Let b = -19 + i. Does 9 divide b?
True
Suppose -2*k - h = -4 + 41, 4 = 4*h. Let d = 148 + k. Does 35 divide d?
False
Does 3 divide (-7384)/(-32) - (-5)/20?
True
Suppose 8*o - 638 - 2066 = 0. Is 13 a factor of o?
True
Let g(t) = 13*t + 25. Let j be g(-11). Let q = j - -189. Does 13 divide q?
False
Let a(r) = -12*r - 19. Let n = 3 - -2. Suppose 2*u = n*f + 46, -6*u + u + 15 = 0. Is 16 a factor of a(f)?
False
Suppose 0 = -10*s + 3999 - 129. Is 13 a factor of s?
False
Suppose 0 = 4*y - 7*y + 3. Is 17 a factor of 5797/85 - y/5?
True
Is (-31 - -28) + (-177)/(-1) a multiple of 58?
True
Let g(w) = -4*w - 12. Let j be g(0). Is 17 a factor of j/8*476/(-6)?
True
Suppose 8*t = -190 + 1006. Does 3 divide t?
True
Let x(t) = -4*t**3 + t - 9. Does 4 divide x(-3)?
True
Suppose 4*b - 21 = y, 2*b - 7 = 3*y + 6. Suppose c = 2*r + b*c - 100, -5*r = 2*c - 218. Is r a multiple of 9?
False
Suppose 0*q + 36 = -3*q. Let o = q + 16. Suppose -8 = -g + o. Is g a multiple of 6?
True
Suppose -348*z - 2233 = -355*z. Is 8 a factor of z?
False
Suppose -8*l - 93 = -21. Is 11 a factor of (-2)/9 + (-794)/l?
True
Let w(h) = h + 17. Let x(r) = 1. Let k = 0 - 4. Let s(z) = k*x(z) + w(z). Does 4 divide s(-7)?
False
Suppose 4 = h + 1. Let c(j) = 16*j - 4. Let x be c(h). Let o = x - 30. Is o a multiple of 8?
False
Suppose -3*h - 3 = 6. Let l be 4*6*2/h. Let p = l - -28. Does 5 divide p?
False
Let j(x) = -6 - 7*x**2 + 7*x + 3 + 1 - 3 + x**3. Let s(g) = g**3 - 12*g**2 + 11*g + 7. Let m be s(11). Is 15 a factor of j(m)?
False
Let i(z) be the first derivative of -4*z - 3 + 1/3*z**3 - z**2. Is i(6) a multiple of 10?
True
Let s be 17/(119/42)*(-1)/(-2). Let l(h) = h**3 - 3*h**2 + h + 1. Let a be l(3). Suppose a = -y, 0*w = 3*w + s*y + 3. Is w even?
False
Is (4/(-10))/((-2)/240) a multiple of 45?
False
Let v(k) = 3*k**2 + k + 2. Let b be v(-1). Suppose -b = 2*m, i + 0*i + 5*m = 81. Is 16 a factor of i?
False
Let q be 1*26 - 2/(-5)*-10. Suppose 0 = -u + 3*u - q. Does 5 divide u?
False
Let x(q) be the first derivative of q**3 + 7*q**2/2 + 3*q - 1. Let h be (-72)/15 - (-2)/(-10). Is x(h) a multiple of 9?
False
Let l be (-2 + 32 + 2)*2/4. Suppose a - 73 = -5*f, -11*f - a - 67 = -l*f. Does 14 divide f?
True
Suppose o = 2*f - 154, 4*o - 13 - 295 = -4*f. Suppose 6 + 14 = -5*d. Is 15 a factor of f - d*2/4?
False
Let b(v) be the second derivative of v**5/20 - 7*v**4/12 - v**3/3 - 3*v**2 + 11*v. Is 11 a factor of b(8)?
False
Suppose 18*o = 20*o - 70. Is 17 a factor of o?
False
Let b be (-5 - 0)*102/(-15). Suppose -4*w - b = -l + 3*l, 0 = 4*w - 12. Let r = l - -35. Is 3 a factor of r?
True
Suppose -3*q - 103 = 104. Suppose -3*i + 328 = -11*i. Let z = i - q. Is z a multiple of 10?
False
Let x(c) = 5*c**2 + 1. Let i be x(-1). Suppose 0 = 3*h - 4*t - 300, h = 4*t + i + 86. Does 34 divide h?
False
Suppose 451 = 5*w + n, 4*w -