e
Let c(w) = -w**3 - 4*w**2 - 8*w - 12. Is c(-6) a multiple of 12?
True
Suppose 2596 = 3*m + 514. Is m a multiple of 65?
False
Let a = -34 - -39. Suppose -3*c - 3*b = -b - 200, 5*b - 325 = -5*c. Suppose a*r + 2*r = c. Does 9 divide r?
False
Let x = 2 - -2. Let j be (-6)/8 + 23/x. Suppose 4*d - 55 = j*i, 5*d - 37 = 3*i + 48. Is 20 a factor of d?
True
Let s be (-114)/21 + 6/14. Let u(f) = -f**3 - f**2 + f - 1. Let l(t) = 6*t**3 - 8*t + 3. Let d(w) = s*u(w) - l(w). Does 6 divide d(5)?
False
Does 14 divide (-15)/(-480)*-8 + (-5333)/(-4)?
False
Suppose -5*r + 19 = 5*z - 16, 3*z + 11 = 5*r. Suppose 3*l = 5*k - 51, r*k - 15 = 3*l + 24. Does 12 divide k?
True
Suppose 21*o - 19*o - 46 = 0. Is o a multiple of 15?
False
Is 14 a factor of (-1)/(-1) - (10 + -23)?
True
Let c = 16 + -31. Let g = -4 - c. Suppose -k + 4 = -g. Does 15 divide k?
True
Suppose 3*p + 390 = -3*x, 0*x - 280 = 2*x - 2*p. Let r = x + 261. Is r a multiple of 37?
False
Suppose -5*h + 39 = -6. Let c be (-4)/(-6) - (-12)/h. Suppose c*q = -v + 30 + 13, 81 = 2*v + 3*q. Is 15 a factor of v?
False
Let t = -45 + 51. Is t*(-9)/4*(-114)/9 a multiple of 26?
False
Let m(c) be the second derivative of c**4/12 + c**3/2 - c**2 - c. Suppose -12 = -4*k - 0. Is m(k) a multiple of 11?
False
Let c(d) be the first derivative of -d**5/15 + d**4/24 - 7*d**3/3 - 3. Let t(a) be the third derivative of c(a). Is 11 a factor of t(-4)?
True
Let m(x) be the first derivative of 107*x**3/3 + x - 1. Does 18 divide m(1)?
True
Suppose 0 = -33*d + 11*d + 7854. Is d a multiple of 14?
False
Let m be (6*(-4)/(-48))/(1/10). Is ((-236)/5)/((6/m)/(-3)) a multiple of 31?
False
Let n = 52 - 148. Let q = -77 - n. Is 3 a factor of q?
False
Suppose -4*l = -4*c + 36, c = 3*c - 5*l - 30. Let f(i) = 2*i**2 - 9*i + 23. Is f(c) a multiple of 8?
False
Suppose 0 = -3*h + 8 + 262. Does 30 divide h?
True
Suppose -3 = -2*f - d + 3, -3*f + 12 = 3*d. Suppose -x + 5*n + 60 = 3*x, f*n - 45 = -3*x. Is x a multiple of 15?
True
Let v = -70 + 74. Suppose -3*o = -v*b + 399, 2*b + 4*o + o = 219. Is 17 a factor of b?
True
Suppose 2*l - 431 = 209. Is 40 a factor of l?
True
Suppose 2*z + 13 = -t, -4*z - t - 38 = -3*t. Is 36 - ((-2)/z + 2/(-8)) a multiple of 5?
False
Suppose h = -15*h + 2384. Suppose 0 = -5*s + 91 + h. Is s a multiple of 33?
False
Suppose 52 = 3*c + 10. Let a = 157 - c. Does 11 divide a?
True
Let o be 1358/12 - 12/72. Suppose -z - z = -5*b - o, -z + 44 = -5*b. Suppose -z = -7*k + 6*k. Is 19 a factor of k?
False
Suppose 5200 = 2*w + 18*w. Is 33 a factor of w?
False
Let t be 2*-213*1/(-6). Suppose -s + t = b, -2*s - 15 + 5 = 0. Suppose 60 = 4*a - b. Is 10 a factor of a?
False
Suppose r = -4*c + 931, -6*c + c + 1175 = 5*r. Suppose -4*u = -2*u - c. Is u a multiple of 29?
True
Suppose 7*b + 308 = 1806. Is b a multiple of 59?
False
Suppose 3*t + 499 = -y, 342 = 3*t - 5*t + 4*y. Let m = t + 234. Is 11 a factor of m?
False
Let k(c) = c**3 + c**2 - 2*c + 2. Let l be k(-2). Let p(b) = 8*b**3 - 3*b**2 + 2*b - 4. Is 5 a factor of p(l)?
False
Let r(z) = -12*z**2 + z + z - 7*z - 3 + 0*z. Let b(a) = -13*a**2 - 6*a - 4. Let d(x) = 4*b(x) - 5*r(x). Is 11 a factor of d(-2)?
False
Let l(z) = 2*z**2 + 75*z + 55. Does 9 divide l(-41)?
True
Let x be (-5 - (-4 + 0))*3. Let k be (-9)/(-27) - (-73)/x. Is 17 a factor of k/(-10)*(-90)/(-12)?
False
Suppose i = -2*k + 1021, 4*k - 2492 = -4*i - 444. Is k a multiple of 36?
False
Let s(f) = f**3 + 5*f**2 - f. Let u be s(-5). Let d(c) = -15*c + 42. Let r be d(-4). Suppose -3*m + 2*m = a - r, 5*m + 550 = u*a. Is 34 a factor of a?
False
Let m(r) = -r**3 - 11*r**2 - 13*r - 18. Let j be m(-10). Suppose -480 = 7*l - j*l. Is 32 a factor of l?
True
Let z = 601 - 472. Is 8 a factor of z?
False
Suppose 14*q + 1651 = 181. Suppose 2*w = r - 339, 0*r + 177 = -w + 3*r. Let k = q - w. Does 17 divide k?
False
Let r(h) be the third derivative of 0*h - 1/12*h**4 + 0 + 1/6*h**3 + 1/60*h**5 - 7*h**2. Is r(-5) a multiple of 12?
True
Is 4 a factor of ((-1064)/57)/(4/(-84))?
True
Is (5*-1)/(0 - (-9)/(-1926)) a multiple of 10?
True
Let d = -14 - -14. Suppose -11*n + 6*n + 360 = d. Suppose n - 2 = 5*p. Is 3 a factor of p?
False
Let c(d) = -d - 5 + 6 + 1. Let z be c(4). Does 4 divide -4*(-1 + 2)*z?
True
Let l(d) = -297*d**3 - 3*d**2 + 2. Is l(-2) a multiple of 26?
True
Suppose -b - 2*w = -6*w - 1, 4*b = -3*w - 15. Let r = b + 9. Let j = 21 - r. Is 5 a factor of j?
True
Let m(h) = -7*h - 14. Let d(g) be the second derivative of 7*g**3/6 + 15*g**2/2 + 3*g. Let v(n) = 5*d(n) + 6*m(n). Does 15 divide v(-12)?
True
Let s(f) = 0*f - 2*f - 14 + 4*f. Let g be s(7). Is 21 a factor of (-4 + g - -7) + 69?
False
Let m(o) = 3*o**3 - 18*o**2 + 6*o + 47. Is 12 a factor of m(10)?
False
Suppose -2*q - 990 = -6*g + 3*g, -g + 2*q = -334. Is g a multiple of 11?
False
Suppose -5*v - 2*j = -4084, -5*j - 806 = -9*v + 8*v. Does 24 divide v?
True
Suppose 2*t - 119 = 1981. Let j = t - 707. Is 28 a factor of j?
False
Suppose -8*z - 1235 + 4475 = 0. Is 23 a factor of z?
False
Let a(h) = 4*h**3 + 8*h**2 + 3*h - 3. Let f(g) = g**3 - 1. Let t(c) = a(c) - 3*f(c). Let v be ((-4)/6)/((-3)/(-18)). Does 11 divide t(v)?
False
Let r = 728 - 725. Is 3 a factor of r?
True
Let t(i) = -4 - 12 - 5*i + 3*i**2 - 11*i**2 - i**3 + 0*i**3. Does 6 divide t(-8)?
True
Suppose -339 + 2176 = 11*m. Does 3 divide m?
False
Let p be (3 - (-10)/(-4))*18. Suppose 2*d = 5*s, -4*d - s = -p*d. Suppose -8*q + 4*q + 20 = d. Is 2 a factor of q?
False
Let v(z) = 3*z - 10. Suppose -2*b + 40 = 2*m, 3*b + 2*m - 85 + 24 = 0. Let s = -15 + b. Is v(s) a multiple of 5?
False
Let z = -1279 - -2090. Is 77 a factor of z?
False
Let a(z) = 141*z - 13. Is 33 a factor of a(6)?
False
Let h(w) = 31*w**3 + w + 2*w**3 + 0*w - 2*w**2. Suppose o - 2*n = 5, 5*n - 3 + 13 = 0. Does 6 divide h(o)?
False
Let x(l) = 3*l - 19. Let p be 79/6 + (-6)/36. Let r be x(p). Suppose -r = -8*b + 6*b. Is 5 a factor of b?
True
Suppose 5*l = -42 + 42. Suppose o + 0*y = -y + 66, -2*y + 2 = l. Does 13 divide o?
True
Let p = 46 + -43. Suppose p*z - 2*z = 105. Is z a multiple of 35?
True
Let h(s) = 13*s**2 - 6*s - 47. Let j(o) = -9*o**2 + 4*o + 31. Let v(b) = 5*h(b) + 7*j(b). Is 30 a factor of v(-5)?
False
Suppose -2*s - 4*a + 438 = -298, 3*s - 1109 = -5*a. Is s a multiple of 18?
True
Let r be (4 - -1)/(1/7). Suppose -7*h + 12*h - r = 0. Is h even?
False
Suppose -2*m - 4*i = 50, 2*m = 2*i - 27 - 17. Let w = m + 31. Does 8 divide w?
True
Suppose -2*i - 66 = -2. Let d = 35 + i. Does 16 divide (330/9)/(2/d)?
False
Let u = -1994 + 3091. Does 5 divide u?
False
Let t = 144 - -64. Is 16 a factor of t?
True
Suppose 36*d - 1645 = 29*d. Does 47 divide d?
True
Let b(l) = 115*l + 45. Let n(i) = 38*i + 15. Let k(s) = -3*b(s) + 8*n(s). Is k(-3) a multiple of 19?
False
Does 8 divide (-2276)/(-12) - (-12)/9?
False
Let g = -18 - -20. Let c(v) = g*v - 6*v + 10*v - 11. Is c(14) a multiple of 16?
False
Suppose -2*p + 5*p = -4*h - 76, h = 4*p. Is 3/(-15)*-1438 + h/(-40) a multiple of 48?
True
Suppose 0*p = -2*p + 2. Let l(n) = 100*n**3 - n**2 + 2*n - 1. Let t be l(p). Let w = -60 + t. Is w a multiple of 20?
True
Suppose 2*d = 23 - 83. Does 3 divide (d/9)/(2/(-6))?
False
Suppose -3*r = -5*c - 6, c = -3*c - r + 2. Let y(x) = x**2 + 26*x + 130. Let u be y(-20). Is 4 a factor of u/1 - c/1?
False
Suppose -2*g + 3*p + 69 = -5*g, 2*g + 3*p = -51. Is 3 a factor of (42/g)/7*-45?
True
Suppose -y - 24 = 2*y. Let k = -6 - y. Suppose 3*s = 2*n - 39 + 4, 6 = -k*s. Does 3 divide n?
False
Suppose 0*d = 3*d - 6. Let x(h) = -59*h**2 + h + 2. Let n be x(d). Is (n/12)/(4/(-6)) a multiple of 6?
False
Let z(j) = 21*j. Let o be z(-1). Let f = 42 + o. Is f a multiple of 7?
True
Let l(h) be the first derivative of -9/2*h**2 + 9*h - 1. Is 22 a factor of l(-11)?
False
Let t(h) = -5*h**3 + 40*h**2 - 10*h - 11. Does 7 divide t(7)?
False
Let x(a) be the second derivative of a**4/12 - 2*a**3/3 - 5*a**2/2 - 45*a. Does 10 divide x(-3)?
False
Let z(v) = v**2 + 5*v + 16. Suppose -y + 2 = y, -4*b - y - 43 = 0. Let q be z(b). Suppose 22 - q = -3*u. Is 7 a factor of u?
False
Let f = 50 + -50. Suppose -6*y + y + 30 = -4*b, 2*b - 10 = f. Does 6 divide y?
False
Let u = 77 + -26. Let d be (1/1 - 0)*0. Suppose 2*s - u + 9 = d. Does 9 divide s?
False
Let f be (8 + -1 - 3) + 29. Suppose 5*q - j = -74, 4*j = -5*q - 