 26. Suppose -f*b + 10 = -b. Is 2 a factor of b?
True
Let x = 431 + -341. Is 10 a factor of x?
True
Let f be (4 - 5) + (-15)/(-5). Suppose -f*l + 0*s + 141 = s, -4*s + 292 = 4*l. Does 6 divide l?
False
Suppose 3*l + 36 = b - 77, 78 = -2*l - 2*b. Let w = 108 + l. Is 16 a factor of w?
False
Let h = -400 - -636. Does 21 divide h?
False
Suppose 0 = -2*s - c + 7 + 8, -15 = -s - 3*c. Suppose -2*d + 4 = 0, 2*d + 68 = 2*l + s*d. Is 25 a factor of l?
False
Suppose 0*u + 3*u - 200 = -4*v, -4*v = u - 64. Let m = -44 + u. Does 12 divide m?
True
Is 5 a factor of 1/(-10) - (-67995)/450?
False
Let j(u) = 7*u**2 + 2*u + 1. Let g be j(-1). Let d(y) = -2*y - 1. Let n be d(g). Let z(b) = b**2 + 8*b - 5. Is 15 a factor of z(n)?
True
Suppose -2*r + 3526 = 2*f + 4*f, 3*f - r - 1753 = 0. Is f a multiple of 8?
False
Let a = -176 + 480. Is 3 a factor of a?
False
Is 36 a factor of 69/115 + (-2154)/(-10)?
True
Let u(d) = -7*d + 15. Let x(q) = q**2 + 13*q + 7. Let c be x(-11). Let l be c*4*(-2)/(-24). Is u(l) a multiple of 16?
False
Suppose -3*g = 2*p - 6166, -3*p = 4*g - 1341 - 7907. Is 44 a factor of p?
True
Suppose -5*n - 595 = -5*m, -5*m - 5*n + 625 = 70. Suppose -9*u + m = -74. Is 5 a factor of u?
False
Let s be ((-6)/12)/(1/6). Let t be 1 - (1153 - 4)/s. Suppose -2*v = -6*v + t. Is 24 a factor of v?
True
Let v(j) = 5*j + 10. Let o be v(0). Let k = 1 - 0. Does 4 divide 1/2*k*o?
False
Let z(q) = 7*q - 7*q + 24*q + 8*q - 1. Does 22 divide z(1)?
False
Let t = 891 - 230. Does 24 divide t?
False
Let x = 742 - 260. Is 39 a factor of x?
False
Let f = 503 - 346. Is f a multiple of 2?
False
Let t be 4 + -4 + (150 - -2). Let z = -189 - -285. Suppose 0 = 3*y + o - t, 0 = -0*y - 2*y - 2*o + z. Is 13 a factor of y?
True
Suppose 0 = -26*d + 7*d + 12103. Does 7 divide d?
True
Let c(l) = -4*l + 2. Suppose 16 = 3*a - i, -2*a = 4*i + 2 + 6. Suppose 3*h = 4*p + 6*h + 35, -a*p - 30 = 2*h. Does 10 divide c(p)?
False
Let b = -31 - -131. Suppose -3*v - 124 = -4*n + v, -3*n + b = 4*v. Let j = n + 10. Is j a multiple of 14?
True
Let t = 112 + 258. Does 10 divide t?
True
Suppose -a - 10 = -5*j - 0*j, -2*a + 16 = 2*j. Let u(v) = -13*v**3 - 5*v + 3. Let k(w) = 20*w**3 + 7*w - 4. Let m(p) = a*k(p) + 7*u(p). Does 3 divide m(1)?
False
Suppose i + 2*y - 13 = 4*y, -8 = 4*i + 4*y. Is 26 a factor of (4 + 0)/((i + -7)/(-208))?
True
Suppose -q + 2119 - 343 = 0. Is 67 a factor of q?
False
Suppose 20*v - 16*v = -4*k + 2740, 0 = -4*k + v + 2735. Is 19 a factor of k?
True
Suppose -c = -0*c + 2, -c - 137 = 3*f. Let b = 55 + f. Is b a multiple of 10?
True
Let i(p) = p**2 - 5*p + 13. Let c be i(13). Suppose 4*y - c - 19 = 0. Is y a multiple of 25?
False
Let t be (-12)/18*(-2043)/6. Let g = -147 + t. Is 24 a factor of g?
False
Does 20 divide (-8 - (-4 + -1 - 1)) + 1662?
True
Suppose 0*k = 5*k + 965. Let t = 286 + k. Is 32 a factor of (t + 1)/(7/7)?
False
Suppose 0 = 5*b + 25, -4*h - 5*b - 21 = -2*h. Suppose -2 = 2*s, -5*d + 964 = 2*s - 6*s. Suppose h*c + d = 5*c. Is 32 a factor of c?
True
Let y(u) = 5*u**2 + 3*u - 5. Suppose -2*l = -3*s + 3*l + 37, 2 = -l. Let z(f) = f**3 - 9*f**2 + f - 13. Let q be z(s). Does 21 divide y(q)?
True
Suppose 17 = -5*n - 8, 3*v - 19 = 2*n. Suppose -360 = -v*p - 3*p. Does 16 divide p?
False
Suppose i = -3*g + 2*i + 12, 4*g = -2*i + 6. Suppose f - 40 = -0*f + 5*v, g*v = 5*f - 134. Is 25 a factor of f?
True
Let s(m) = -9*m**2 - m + 2. Let z be s(1). Does 2 divide (32/28)/(z/(-28))?
True
Let w(x) = x**3 + 6*x**2 - 6*x - 6. Is w(7) a multiple of 19?
True
Let x be (-1)/4 + ((-4956)/16)/(-7). Let r = 3 + x. Is r a multiple of 14?
False
Let y = 9 + -5. Suppose r + 0*r = y. Is 18 a factor of (1 - 31/r)*-8?
True
Let n = 31 - 35. Does 13 divide (-166)/n - 2/(-4)?
False
Let z(v) = v + 7. Let m be z(-4). Suppose -5*b - 2*u - 12 = 0, m*u - 3 = -5*b - 16. Does 9 divide (9/(-3))/(b/6)?
True
Let f = -16 - -35. Suppose 16*d = f*d - 360. Is 10 a factor of d?
True
Let j(y) = y**3 - 10*y**2 - 13*y + 7. Suppose 2*b - 35 = -13. Let x be j(b). Is (-228)/(-5) - 6/x a multiple of 9?
False
Let o(k) = -k**2 - 12*k + 1. Let s be o(-11). Let z be (-204)/(-8) - (-6)/4. Suppose -s*q = -9*q - z. Is q a multiple of 9?
True
Let i = -66 - -255. Is 15 a factor of i?
False
Suppose 2*q = 6*f - 97 - 283, -5*q - 82 = -f. Is f even?
True
Let x be (308/2)/2 - -4. Suppose 2*d + 5*r = 30 + x, 4*r = 5*d - 228. Is 8 a factor of d?
True
Let d be 21/(-14)*4/3. Let a(x) = -8*x**3 + 4*x**2 + 6*x + 7. Does 15 divide a(d)?
True
Let s(k) = -5*k - 1. Let t be s(-1). Suppose y + t = 2*y, 5*p + 4*y = 36. Suppose -30 = -2*x - p*q, 3*x - 62 - 5 = 5*q. Does 8 divide x?
False
Suppose 21*h - 3047 = 1951. Is 9 a factor of h?
False
Suppose 0*c - 15 = -2*c + k, -3*k + 9 = 0. Is (1*45)/(c/6) a multiple of 14?
False
Does 55 divide (-10)/15*(-10725)/10?
True
Let t = 17 - 17. Let o be t/(1 + (-4)/(-4)). Let p = o - -16. Is p a multiple of 4?
True
Let z be (90/35)/((-9)/(-714)). Suppose -z = -t + 2*f, -5*t + 4*t - 3*f + 189 = 0. Is t a multiple of 18?
True
Suppose 4*u + 11 + 9 = -m, -2*m + u = -5. Let x be -6*(4 - 45/10). Does 13 divide (29 - m) + x*-1?
True
Suppose -139*j + 678 = -133*j. Is j a multiple of 2?
False
Suppose 19 = i - 26. Suppose -26*f + i = -25*f. Is f a multiple of 12?
False
Does 7 divide (252/(-27))/((-4)/18)?
True
Let u be (2 - -6)/(1/(-2)) - -1. Let w = 123 + u. Does 18 divide w?
True
Let w(f) = -f + 4. Let a be w(-2). Let n = a - 1. Suppose 0 = -2*p - n*b + 100, 16 - 4 = 3*b. Does 15 divide p?
False
Let v = -29 - -18. Let k = v - -13. Suppose -k*p - 2 = -12. Is p a multiple of 5?
True
Let g be 3/(-9)*((-264)/2 + 3). Suppose 61 = 3*p - h - g, 0 = -2*p + 3*h + 67. Is 35 a factor of p?
True
Let y be (-2)/10 + 208/40. Let z(j) = 11*j**3 + 23*j**2 + 6*j + 23. Let g(u) = 7*u**3 + 15*u**2 + 4*u + 15. Let v(c) = y*z(c) - 8*g(c). Does 4 divide v(-5)?
False
Let n(x) = x**3 + 8*x**2 + 7*x + 5. Let c(r) = -r**3 - 6*r**2 - r + 1. Let p be c(-6). Suppose p + 13 = -4*q. Is n(q) a multiple of 15?
True
Let n(b) = -b + 16. Let l be (0 - -11)/(-2 - -1). Does 9 divide n(l)?
True
Suppose -3 = -k - 2*v, -2*k - 3*k = 5*v - 35. Let x(h) be the first derivative of -h**3/3 + 6*h**2 + 10*h - 5. Does 7 divide x(k)?
True
Let f(z) = -3*z - 3*z + z**2 + 7*z + 7*z - 3. Let a be f(-9). Let h(i) = 3*i**2 - 7*i + 12. Is 39 a factor of h(a)?
True
Suppose -f = -4*y + 16, 6*y - y + 4*f + 1 = 0. Suppose y*n = 5*a - 2*n - 110, 4*a = 3*n + 86. Does 13 divide (-5)/a + 105/4?
True
Suppose 0 = 108*c - 112*c + 3312. Is c a multiple of 92?
True
Let r = 243 - 20. Is r a multiple of 15?
False
Suppose 0 = -3*x + 4 + 17. Let m be 2*2 + (3 - x). Suppose g - 5*o = 74, 3*g + m*o - 262 = 5*o. Is g a multiple of 12?
False
Let q = 91 - 89. Suppose 0 = -q*x + 3*u + 408, -46 = -3*x - 2*u + 566. Is x a multiple of 17?
True
Let s(a) = -10*a - 3. Let z = 4 - 2. Suppose 5*n = -18 - z. Does 24 divide s(n)?
False
Suppose -5*z - 59 = -969. Is 26 a factor of z?
True
Suppose 0 = -13*w + 16*w - 27. Let s(c) = c**3 - 7*c**2 - 9*c - 1. Is 10 a factor of s(w)?
True
Let x(o) = o**2 - 8*o + 10. Let c be x(6). Is 10 a factor of (-4)/18 - c*4353/54?
False
Let i be 8/(-3)*54/(-24). Let c be 17/i + (-1)/(-6). Is 16 a factor of -47*((-3)/c)/1?
False
Suppose s - 31*s + 960 = 0. Is s a multiple of 10?
False
Let y = 32 + -17. Is (y/6 + -1)/(6/48) a multiple of 2?
True
Let u be (6/(-9))/((-1)/54). Suppose -u = -c - 2*c. Let s = 21 - c. Is 3 a factor of s?
True
Let s = 295 + -88. Is s a multiple of 52?
False
Suppose 5*s - 29 = 3*p, -p - s - 2 + 3 = 0. Let f(r) = 10 - r**3 + 6*r + 1 - 5. Does 15 divide f(p)?
True
Let h(y) = -y**2 - 7*y - 5. Let x be h(-3). Suppose 90 = x*p - 57. Is 7 a factor of p?
True
Let i(w) = 12*w + 26. Let r = 39 - 34. Is i(r) a multiple of 43?
True
Suppose -28 = -5*k - 0*k - 3*r, 3*k - 11 = 4*r. Suppose -86 = -3*o - k. Does 9 divide o?
True
Let d(m) = 185*m + 12. Is d(1) a multiple of 21?
False
Let i = -38 + 61. Suppose i*g - 159 = 22*g. Does 13 divide g?
False
Suppose 3*p - 493 = 839. Does 37 divide p?
True
Suppose -10*a - 36 = -8*a. Let f = a + 33. Is f a multiple of 5?
True
Suppose 197 = -3*t - 4*n, -2*t + 4*n = 3*n + 146. Let b = -36 - t. Is b a multiple of 23?
False
Let t be (-10)/(-45) + ((-104)/(-18) - -1). Let n(k) = 4*k - 23. Does 5 divide n(t)?
True
Let p(k) = k + 1. Let y