e
Let y(c) = 3*c - 25. Let a be (7 + 29)*(-1)/(-3). Let w be y(a). Let d = w - -73. Does 12 divide d?
True
Suppose 4*m + 64 + 48 = 0. Let a = 4 - m. Is 8 a factor of a?
True
Suppose 0 = 5*p - 2*k - 0*k - 5, 11 = 2*p + k. Suppose -3*f + 46 = -0*f + 4*q, f + p*q - 22 = 0. Is 15 a factor of ((-36)/f)/((-1)/10)?
False
Let d(b) = -b**2 - 2*b. Let o be d(-2). Suppose -2*p = -4*i - 88, o = 4*p - 0*p + 2*i - 216. Is 26 a factor of p?
True
Suppose 0 = f - 4*f, -3*l + 5*f + 105 = 0. Does 6 divide (112/(-6))/(-4)*270/l?
True
Suppose -3 = -5*d + 2. Let v be 110/11*d/2. Suppose -4*s - 200 + 26 = -5*r, -2*r = v*s - 63. Is r a multiple of 13?
False
Suppose 5*h = h. Suppose h = -8*i + 6*i - 14. Does 11 divide (-33)/(-1) - (i - -7)?
True
Let j be (-119)/(-35) - (-6)/10. Let f(d) = -d**3 - 8*d**2 + 5*d - 10. Let b be f(-9). Suppose -148 = -9*n + 4*n + 2*k, -b = -n + j*k. Does 7 divide n?
False
Let t(g) be the first derivative of -g**4 + g**3 + 2*g**2 + 3*g + 3. Let x = 17 + -19. Is 13 a factor of t(x)?
True
Let o be (-3)/((-4)/(296/(-3))). Let c(d) = -31*d**2 + d. Let x be c(-1). Let h = x - o. Is 21 a factor of h?
True
Let i be 6 + (1 - 4) + 32. Let c = i - 27. Suppose 162 = c*j - 558. Is j a multiple of 21?
False
Suppose -2*i = 4*g + 14 + 14, 20 = -4*g - 4*i. Let s = -8 - g. Suppose -o - 206 = -5*y, -2*o - 1 - s = 0. Is y a multiple of 7?
False
Suppose -43 = -8*z + 13. Suppose -43 = -6*q - z. Is 3 a factor of q?
True
Suppose -2*x + 1 = 2*u - 3, -4*x - 2*u + 12 = 0. Suppose -3*n = 2*p - 10, 6 + x = 2*n + 2*p. Suppose 4*r = -n*r + 120. Is 6 a factor of r?
True
Suppose 6*v - 3*m - 712 = v, v - 152 = 3*m. Does 28 divide v?
True
Let d(g) = -122*g**2 - 7*g - 5. Let n(p) = 366*p**2 + 20*p + 14. Let z(o) = 17*d(o) + 6*n(o). Is z(1) a multiple of 35?
False
Let b = 9 - 4. Suppose -2*t + 0 - 8 = -4*w, -b*t - 26 = -4*w. Is 2/t*(-9)/1 even?
False
Let c(d) = d**3 + 8*d**2 + 3*d - 5. Suppose 6*i = 5*v + i - 35, 0 = -2*v - 3*i - 6. Suppose -v*s + 4*s + 4 = 0. Is c(s) a multiple of 35?
False
Suppose -2*s - 118 = -2*v, -15*s + 16*s - 133 = -2*v. Does 2 divide v?
True
Let v = 6 + -4. Suppose -o - v = -5. Suppose -4*u = o*p - 16 - 4, -2*p - 2*u + 14 = 0. Is 8 a factor of p?
True
Suppose 6*s - 42 = 2*s + 5*p, 4*s - 40 = 4*p. Suppose -12 = -s*g + 756. Does 11 divide g?
False
Suppose 0*s = 4*s - 24. Let z(i) = -5*i**2 + 0 + 33 + 12*i + s*i**2. Is 26 a factor of z(-15)?
True
Suppose 3*o - 55*g + 52*g - 5115 = 0, -4*o - 3*g = -6785. Does 25 divide o?
True
Let x(b) be the first derivative of -3*b**2/2 - 12*b - 18. Let v = -22 + 13. Is x(v) a multiple of 15?
True
Let t = 91 - -127. Let b = 308 - t. Is 30 a factor of b?
True
Let w(l) = 18*l**3 + l**2 - 2*l + 2. Let z be w(1). Suppose 0 = 5*b - z - 86. Is 7 a factor of b?
True
Let m(p) = 31*p**2 - 56*p - 4. Is 6 a factor of m(5)?
False
Let h(m) = -m**2 - 19*m + 16. Is h(-9) a multiple of 10?
False
Suppose 31*b = 7944 - 2922. Is b a multiple of 18?
True
Let k = -1494 - -1794. Does 50 divide k?
True
Suppose -2*a = 5*s - 6*a - 258, 3*s + 4*a - 174 = 0. Is s a multiple of 8?
False
Let i(n) be the second derivative of n**5/20 - n**4/12 + 7*n**2 + 13*n. Is i(0) a multiple of 3?
False
Let k(j) be the second derivative of 0 - 2*j + 1/3*j**4 + 0*j**2 + 2/3*j**3. Is k(-3) a multiple of 12?
True
Let p(t) = 18 - t + 25 + 30 + 2*t. Let x be p(0). Suppose 3*u - x + 7 = 0. Is 11 a factor of u?
True
Suppose -19*q + 52*q - 36861 = 0. Is q a multiple of 20?
False
Suppose d - 7*d + 12 = 0. Is 18 a factor of (-4)/(d + 20/(-9))?
True
Suppose -27933 = -59*o + 31067. Is 40 a factor of o?
True
Suppose -p - 354 = -4*p - 4*f, 2*p - 222 = 2*f. Is 7 a factor of p?
False
Let a = 24 - 26. Let w be a/6 - 44/(-6). Does 21 divide 586/w + (-16)/(-56)?
True
Suppose -2*l = -0*v - 4*v + 56, 2*v - 112 = 4*l. Suppose 8*z + 55 = -25. Is z/(-35) - 1672/l a multiple of 15?
True
Suppose 0 = -45*r + 33*r + 5808. Is 11 a factor of r?
True
Let k(l) = -2*l**3 - 5*l**2 - 5*l - 7. Let f(b) be the first derivative of 2*b**3/3 + 5*b**2 + 4*b - 2. Let i be f(-4). Is 15 a factor of k(i)?
False
Let c be -1*(-6 + 2)/4. Let z be ((c - 4) + -2)*-70. Suppose -5*k - 2*s = -z, -5*s + 0*s = 2*k - 161. Is 25 a factor of k?
False
Suppose -3*j + 252 - 39 = 3*s, -4*s = j - 269. Is s a multiple of 6?
True
Let n = 396 - 311. Is n a multiple of 5?
True
Let s(q) = -4*q**3 - 4*q**2 + q + 2. Let c be s(-3). Let o = -125 + c. Does 10 divide ((-8)/(-3))/((-4)/o)?
False
Let j = 30 + -58. Suppose 3*s = 2*s + 3*r + 61, -r = 3. Let n = j + s. Does 12 divide n?
True
Suppose -9*v + 8*v = -453. Suppose 3*b = -z + 198, 5*b + z - v + 123 = 0. Does 4 divide b?
False
Let l(p) = 2*p**3 - 2*p**2 + 7*p - 12. Let k(q) = q**2 + 1. Let o(c) = -6*k(c) - l(c). Is o(-4) a multiple of 7?
True
Let i = 10021 - 6438. Does 49 divide i?
False
Suppose 2*l - 24*l = -154. Suppose 0*o = -2*o + 6. Suppose 0 = o*s - l - 41. Is 6 a factor of s?
False
Suppose 2*r - 2*y = 6*r - 452, -2*y - 8 = 0. Let c = 210 - r. Is c a multiple of 7?
False
Suppose -3*i + 97 = -h + 564, 2 = 2*i. Is h a multiple of 16?
False
Let c = -423 - -453. Is 6 a factor of c?
True
Suppose 0*n = -5*n - 10. Does 18 divide n/((-5)/315*2)?
False
Let b = 76 + -25. Suppose 13*j = 92 + b. Does 11 divide j?
True
Let o = -132 + 287. Is o a multiple of 12?
False
Let w = -40 - -40. Suppose -v - 3 = w, 4*v + 32 = -5*b + 290. Does 12 divide b?
False
Suppose -2*b + 1 + 17 = -4*o, -2*b = -3*o - 16. Is -3*o/(-27) - (-3370)/18 a multiple of 40?
False
Suppose 17 = 5*v - 3. Suppose 1 = z - v. Let q = -2 + z. Is q even?
False
Suppose 15 = -0*z + 3*z. Let h be (-3 - -4)*2*z. Suppose 0 = -3*g - 2*r + h, g + 2*r = -0*r + 2. Does 2 divide g?
True
Suppose 2*p + 12 = -2*i, -4*p - i = -0*i + 12. Is (-9)/6 + (-63)/p a multiple of 5?
True
Suppose 0 = -3*x - r + 8, 0 = 5*x + 2*r - 1 - 13. Suppose 10 = -x*v, -74 = -2*f + 5*v + 227. Is f a multiple of 29?
False
Suppose -3*n + 4*s = n - 72, 4*n - 2*s - 78 = 0. Suppose -n*h + 924 + 294 = 0. Does 38 divide h?
False
Let q(j) = j**3 - 12*j**2 - 5*j - 2. Let d be q(13). Let n = -18 + d. Suppose 20 + 0 = -5*t, n = 4*r + 2*t. Is 6 a factor of r?
False
Suppose 3*q = i - 12, 1 - 4 = q. Suppose 178 = i*x - 407. Is 15 a factor of x?
True
Suppose 4*c - t = 5 + 3, -4 = -2*c - 5*t. Let v be (242/5)/(2/10). Suppose 3*b + 5*n = v, c*n + 292 = 3*b - 3*n. Is b a multiple of 26?
False
Let s be (-1 + 2)/(14/9940). Suppose 5*f - 281 = -2*b, -5*f = 2*b + 3*b - s. Is b a multiple of 7?
False
Is 7 a factor of (-17)/(170/(-25240))*1/2?
False
Is 3064/21 + (-4)/(-42) a multiple of 4?
False
Suppose 10*m - 3*m = 1834. Suppose -5*j + 8 = -2, 5*j - m = -2*n. Does 14 divide n?
True
Does 12 divide 4*((-3)/(-10)*5 - -101)?
False
Does 8 divide (-175)/(-3) + (-196)/84?
True
Let x(i) = 2*i**2 - 10*i + 11. Let c be x(6). Suppose 3*b = -2*b, -l = 5*b - c. Does 23 divide l?
True
Suppose -5*j = -7*h + 5*h - 17, -h + 8 = 3*j. Let n be -7 - (h/1)/1. Let p(z) = -15*z - 3. Is p(n) a multiple of 14?
False
Suppose -2 = -2*p, f = -f + 2*p + 836. Is f a multiple of 81?
False
Suppose 0*z = 4*z - 16. Suppose -2*p = -z*q + 18 - 4, 4*p + 2 = -5*q. Is p + 5 - (1 - 137) a multiple of 29?
False
Let w(u) = -u**3 + 27*u**2 + 19*u + 47. Does 18 divide w(27)?
False
Suppose -7*r + 3*x - 4212 = -11*r, 2*r - 2100 = -3*x. Is 48 a factor of r?
True
Suppose 4*q = -2*q + 12. Suppose -2 = q*w, p = -3*p - w + 71. Is 18 a factor of p?
True
Suppose -7 = -v + 5*q, 5*v = v + 4*q - 4. Let p be (-4)/24*v*-2. Is 18 a factor of 0 - (-16 + -1 + p)?
True
Let t = -64 + 64. Does 9 divide t/2 + 2 + 12?
False
Suppose 0 = -4*f - 2*h + 18, 0*h = 5*h + 15. Let n(p) be the first derivative of p**4/4 - 5*p**3/3 + 3*p**2/2 + 7*p - 1. Does 14 divide n(f)?
False
Suppose -r - 6 = 2*r. Is 26 a factor of r + 156 - ((9 - 0) + -6)?
False
Let j = -13 + 15. Suppose 0 = -4*f + j*f + 128. Does 28 divide f*4/(-3 + 11)?
False
Let m(c) = c**3 - 8*c**2 - 7*c + 9. Let t be m(9). Suppose 7 = -4*x + t. Suppose 0 = x*p - 3*p - 78. Does 16 divide p?
False
Let i = -358 - -611. Suppose 0 = 2*y - 0*y + 274. Let n = i + y. Is 33 a factor of n?
False
Suppose -5*r = 363 + 407. Is 4 a factor of (-1204)/r - 2/(-11)?
True
Let f(c) = -c**2 - 8*c - 7. Let t be f(-6). Suppose -t*x + 157 - 32 = 0. Suppose 2*m = 5*w - 288 + x, -2*w + m = -106. Is w a multiple of 12?
Fal