e
Let c = 68 + -67. Let l(f) = f**3 - 5*f**2 + 4*f + 3. Let a be l(5). Let r = a + c. Is r a multiple of 24?
True
Suppose 0*c = 2*c + 642. Let f = -191 - c. Suppose 37 = u + 2*d, d - 3*d = 4*u - f. Is 19 a factor of u?
False
Let k(f) = -11*f - f**2 - 3*f**2 + 0*f**2 + 7*f**2 + 16. Does 22 divide k(8)?
False
Suppose 0 = 5*u + 4*z - 12404, 2*z + z = 3*u - 7437. Does 14 divide u?
False
Let d = 665 - 650. Does 15 divide d?
True
Suppose -15*p + 25*p = 40. Suppose p*m - 952 = -0*m. Is m a multiple of 34?
True
Let f(o) = o + 6. Let t be f(-5). Let x(c) be the first derivative of 16*c**3 - c**2/2 + c - 5. Does 8 divide x(t)?
True
Let b be (-14)/(-28)*(11 + -1). Suppose -5*w + 35 = b*r, -4 = 3*w + 5. Suppose 2*l - r = -0. Is 3 a factor of l?
False
Let p(t) = -t**3 - 2*t**2 + 3*t - 3. Let v be p(-3). Let b be (v/(-2))/(9/12). Is ((-18)/(-4))/(b/12) a multiple of 9?
True
Let a(d) = 9*d**2 - 16*d + 56. Is a(8) a multiple of 18?
True
Let x(r) = r**2 - 6*r + 9. Let i(v) = 9*v**3 - v**2 + 3*v - 2. Let w be i(1). Does 18 divide x(w)?
True
Let d(f) = f**2 + 15*f - 50. Let h be d(-22). Let n = h + 1. Does 35 divide n?
True
Let b(p) = -p**3 - 12*p**2 - 9*p - 13. Let s be b(-12). Suppose -s = -4*w + 121. Let l = 93 - w. Is 11 a factor of l?
False
Suppose 28*o - 51948 = o. Does 13 divide o?
True
Let x(u) = 176*u + 11. Is x(1) a multiple of 15?
False
Let t be (4 + -2 + 8)*24. Suppose 0 = -4*f - 5*p + t, -f - 2*f - 3*p = -177. Is 10 a factor of f?
False
Let s = 21 + -14. Let n(v) = 4 + 3*v - 5 + 3 + s. Is 11 a factor of n(8)?
True
Suppose -980 = -3*i + 2*a, -8*i + 3*a = -12*i + 1335. Is i a multiple of 11?
True
Let d = -1799 + 2831. Is 6 a factor of d?
True
Let n(f) = -6*f + 2. Let r be n(-2). Let w = r - -23. Is w a multiple of 13?
False
Let l(r) = -10*r + 6. Is l(-6) a multiple of 3?
True
Is 42 a factor of 4704/22 + 5*6/165?
False
Is 9 a factor of (-254)/(-2)*3 + (-14 - -10)?
False
Let k(c) = -25*c**3 - 54 + 55 - c**2 - 14*c**3 - c**2. Let q be k(1). Is (q/6)/((-18)/405) a multiple of 32?
False
Let m(n) = -5*n + 49*n**2 - n + 5*n + 10*n**2. Let c be m(1). Suppose 0 = 2*j - c + 20. Is j a multiple of 12?
False
Let b be (0 + 3/6)/((-5)/(-1690)). Let r = b - 110. Does 6 divide r?
False
Suppose -s + 3*t + 344 = 0, -t - 257 = -3*s + 743. Is 19 a factor of s/6 - 3/9?
False
Let v(h) be the first derivative of -h**3/3 - 3*h**2 + 5. Let n be v(-5). Suppose n*b + 14 = 6*b. Is b a multiple of 3?
False
Suppose -19*j = -14*j - 30. Let m be j/8 + 4/16. Does 16 divide -12*(24/(-9))/m?
True
Let d(r) = -38*r - 4. Let t(n) = -n**2 + 7*n. Let m be t(6). Suppose -m = -10*x + 13*x. Does 16 divide d(x)?
False
Suppose 4*c + 2740 + 172 = 0. Let f(p) = p**2 - 8*p + 2. Let a be f(7). Is 12 a factor of (c/35)/(2/a)?
False
Suppose -3*h - 137*b = -134*b - 13239, -3*b + 4407 = h. Is 138 a factor of h?
True
Does 3 divide 12/(-120) - (531/(-10) - -2)?
True
Let q = -73 - -289. Is 22 a factor of 1*1*(q + -1)?
False
Suppose -3*z + 152 + 211 = 0. Suppose -400 = -4*x - 84. Suppose z = 5*k - x. Does 20 divide k?
True
Is 14 a factor of ((-54)/4)/(1155/196 - 6)?
True
Let b(y) = 2*y**2 - 3*y + 13. Let d(o) = o**2 - 4*o + 12. Let c(n) = 2*b(n) - 3*d(n). Let k be c(-7). Let m(r) = -13*r + 1. Does 11 divide m(k)?
False
Let a be (-6428)/20 + -3*6/(-45). Let k = 585 + a. Does 30 divide k?
False
Let g be 13 + -9 + (-1 - 5) - 387. Let i = -193 - g. Is 14 a factor of i?
True
Let b = 2 + -15. Let g = -10 + b. Let d = g + 59. Is d a multiple of 6?
True
Let d(y) = -5*y + 2. Let a(g) = -2*g - 5*g + 0 + 8*g + 7. Let r be a(-9). Is 6 a factor of d(r)?
True
Let l = -7 + 19. Does 18 divide 10/60 + 430/l?
True
Let j(z) = -1038*z**3 - z. Is 58 a factor of j(-1)?
False
Let v(z) = z**3 - 2*z**2 - 28*z + 85. Is v(9) a multiple of 8?
True
Let g = -8 - 1. Is 32 a factor of (-61)/(-2) + g/(-6)?
True
Does 65 divide 683*2 - 2 - (-23 + 22)?
True
Suppose 5*i - 26 = 369. Let r = i + -44. Does 5 divide r?
True
Suppose 3*h = 3*n - 30, -4*n + n + 35 = -2*h. Does 26 divide (-1)/2 + ((-44145)/(-18))/n?
False
Let s(p) = -141*p - 1. Let m be s(-1). Let k be ((-2)/(-4))/((-1)/(-8)). Suppose g = -k*g + m. Is 14 a factor of g?
True
Let a(q) = 3*q - 35. Let f be a(23). Let l = 83 - f. Is l a multiple of 33?
False
Suppose 9*z - 59 - 40 = 0. Is 3 a factor of z?
False
Let t = 68 + -43. Let x = t - 10. Does 15 divide x?
True
Let v(g) = -15*g + 5. Let c = 29 + -36. Is 11 a factor of v(c)?
True
Let h be ((-6)/(-10))/((-18)/(-2070)). Let y = h - 33. Is y a multiple of 9?
True
Let h = 246 + -47. Suppose 0 = 3*c - 581 - h. Let p = c - 182. Does 26 divide p?
True
Suppose 0 = 111*x - 132*x + 17997. Is 83 a factor of x?
False
Let u be 12/9*3/(-2). Does 14 divide (7/(-4)*u)/((-1)/(-36))?
True
Suppose -1208 = 174*k - 176*k - 4*r, r - 3047 = -5*k. Does 10 divide k?
True
Is 252/1 + (-2 - -7) a multiple of 4?
False
Let k = -54 - -57. Let r = k + 9. Is 12 a factor of r?
True
Suppose -5*p + 61 = 2*z, 83 = 4*z - 2*p - p. Let j = z + 62. Is j a multiple of 19?
False
Does 15 divide (-900 + 0)/(-5)*(-6)/(-4)?
True
Let y = -28 - -31. Let z be 30 + (-2 - -2 - y). Let r = -15 + z. Does 3 divide r?
True
Let l(o) = o**2 + 7*o - 6. Let k be l(-6). Let j = k - -13. Is 8 a factor of j/(-4) + 250/8?
False
Suppose o - 4373 = -q - q, -5*o + 25 = 0. Does 56 divide q?
True
Suppose 0 = 5*y - 114 - 11. Suppose 2*f - 5*o - 101 = -y, 176 = 4*f - 4*o. Does 24 divide f?
True
Let a be (-55)/(-20) - (-3)/(-4). Let m(t) = 2*t**a + 0 + 1 + 1. Is 8 a factor of m(-3)?
False
Suppose -239 = -3*a + 5*p, -153 - 161 = -4*a + 2*p. Is a a multiple of 29?
False
Let y(i) = 3 + 2*i**2 - 5*i**2 + 6 - 10*i + i**3. Let m be y(6). Let u = m + 8. Is u a multiple of 19?
False
Let w(t) be the second derivative of 4*t**4/3 - t**3/3 + t**2 - 3*t. Let s be w(-2). Suppose -2*h + s = 3*h. Is 7 a factor of h?
True
Let y = 18 - 13. Suppose -3*i - 2*z = z + 3, -y*i = -z + 11. Let h(v) = 6*v**2 - 2*v. Does 7 divide h(i)?
True
Suppose 2*y - 4*h = -72, -4*y - 73 - 62 = h. Let p = -34 - y. Suppose p*n + 72 = n. Is 12 a factor of n?
True
Let n(c) = 8*c**2 - 13*c + 27. Is n(6) a multiple of 7?
False
Suppose 23 = 2*v + 2*v + 3*s, 22 = 5*v - 3*s. Suppose -v*z + 959 = 2*q, 5*z - 769 = z - q. Suppose 0 = 2*m + 39 - z. Is m a multiple of 11?
True
Suppose -34*b = -35*b + 435. Does 14 divide b?
False
Suppose 2067*m = 2082*m - 495. Does 7 divide m?
False
Let z(v) = 2*v**2 - 19*v - 32. Is 19 a factor of z(-17)?
False
Suppose 1846 + 134 = 9*t. Does 20 divide t?
True
Let x(o) = 58*o - 116. Is 10 a factor of x(7)?
True
Let h = 113 + 259. Is h a multiple of 62?
True
Suppose 3*h = 8*h - 3*f - 70, 0 = -5*h - f + 50. Let w = 14 - h. Suppose w*z = 2 + 100. Does 34 divide z?
True
Let v(n) = -121*n + 545. Is v(-9) a multiple of 38?
True
Let s be 2*(1515/(-10))/3. Let m = s + 297. Is m a multiple of 28?
True
Does 4 divide (-9 - -5)/(-2 - 54/(-28))?
True
Let s(u) = u**3 - 9*u**2 - 9*u - 14. Let d be s(10). Let k(m) = -63*m + 14. Let l(z) = 21*z - 5. Let f(j) = d*k(j) - 11*l(j). Is 18 a factor of f(2)?
False
Let w(b) be the second derivative of b**4/12 - 5*b**3/6 + 7*b**2/2 + 4*b. Let m be w(5). Suppose 0 = -6*a + m*a - 21. Is a a multiple of 7?
True
Does 5 divide (100/(-75))/(2/(-111))?
False
Suppose 0 = o + 3*h - 2463, 3*h + 6488 = 5*o - 5917. Does 21 divide o?
True
Let z(j) = -44*j**3 + j**2 - 2*j - 2. Suppose -4*b - 2 = -26. Suppose -b*d + 2*d = 4. Is 17 a factor of z(d)?
False
Suppose 5*h - 5*m = 49 + 96, h - 9 = -4*m. Is h even?
False
Suppose 6*s - 30 - 1176 = 0. Let n = s - 96. Is n a multiple of 15?
True
Let q(v) = -2*v**3 + v**2 + 10*v + 11. Let z be q(-5). Suppose 625 - z = 3*d - 5*a, -5 = -a. Is d a multiple of 23?
True
Suppose -d + 4 = -1. Suppose l = -4*m + 86, 0*l = -3*l - d*m + 265. Is l a multiple of 18?
True
Let a be -2 + 3/(-3)*-116. Suppose 0*y + 3*y - 297 = -3*b, 0 = b + 4*y - a. Does 12 divide b?
False
Suppose -4*c = -4*j + 171 - 683, j - 384 = -3*c. Is c a multiple of 14?
False
Let f = -488 + 698. Does 35 divide f?
True
Does 7 divide (-5)/(-60)*99*20/3?
False
Let h = -879 - -1626. Does 12 divide h?
False
Let v(t) = -t**3 - 6*t**2 - 6*t - 3. Let x be v(-6). Suppose 5*a - 35 = -5*z, -4*a - z + x = -2*z. Let p(m) = -m**2 + 11*m - 6. Is 5 a factor of p(a)?
False
Suppose -k + n + 12 = 0, 60 - 24 = 4*k + 2*n. Let b = 42 +