e
Let p = 10268 + -3210. Does 54 divide p?
False
Suppose 15122 = 2*x + 3*a, -100*a + 104*a + 22649 = 3*x. Does 40 divide x?
False
Let m = 93 - 91. Let f be -1*(6 - m - 3)/(-1). Does 15 divide (16 - 22)*10*(-2 + f)?
True
Does 22 divide 24/(-44) + 305936/88?
True
Does 116 divide -12 + (-476352)/(-18 - 6)?
True
Let x(c) = -116*c**3 - 6*c**2 + 146*c + 1219. Is 13 a factor of x(-8)?
True
Let x(j) = 8*j - 13. Let k be x(2). Suppose 0*w = -k*w + 9. Suppose -b + 3*q = -65 - 71, 3*b = w*q + 378. Is b a multiple of 7?
False
Does 8 divide 3858/2*((-416)/24)/(-13)?
False
Let z be (-1026)/(-180) + 6/20. Let l(y) = 12*y**2 + 5*y - 7. Is 65 a factor of l(z)?
True
Let k(c) = -27*c + 1897. Is k(43) a multiple of 3?
False
Suppose -12*x = -26 + 182. Let z be (x - -14)*(-294 + 1) - 3. Let n = 4 - z. Is 13 a factor of n?
False
Let b(h) = h**3 + 14*h**2 + 9*h - 12. Suppose -120 = -0*p + 10*p. Is b(p) a multiple of 28?
True
Let y = 742 - 473. Let w be (24/10)/(6/15). Suppose 0 = w*z - y + 77. Does 32 divide z?
True
Let c(n) = -35*n - 65. Let v(s) = 18*s**3 - 2*s**2 + s + 2. Let p be v(-1). Is 10 a factor of c(p)?
True
Let s = -211 + 163. Let o = s + 160. Is o a multiple of 14?
True
Let k(s) be the first derivative of s**6/360 - s**5/60 + s**4/2 - 5*s**3 - 1. Let b(p) be the third derivative of k(p). Is b(4) a multiple of 13?
False
Let c(x) = x**3 - 9*x**2 + 16*x - 21. Let j = 147 + -74. Let i = 82 - j. Does 11 divide c(i)?
False
Let j(u) be the first derivative of u**4/4 - 10*u**3/3 + 3*u**2/2 - 10*u + 9. Let r be j(10). Does 28 divide 1748/20 - 8/r?
False
Suppose 21*w + 1047 - 20577 = 0. Suppose 16*v = v + w. Is v a multiple of 3?
False
Let f be (-16 + 5 + 3)/((-2)/(-111)). Let k = f + 497. Is 53 a factor of k?
True
Let y = 22 + -18. Suppose 2*w - 540 = -y*w. Let n = -31 + w. Is 37 a factor of n?
False
Suppose 0 = -5*z - 18 + 63. Suppose z + 39 = h. Let v = h + -15. Is 9 a factor of v?
False
Is 435 - -1*(5 - 4) a multiple of 123?
False
Suppose -4*j = 3*r - 52, -j - j = r - 28. Suppose -2*z = -6*z - j, 20 = 2*x - 2*z. Suppose x*a = 721 + 269. Is a a multiple of 15?
True
Let w(r) = -2*r**2 + 34*r + 39. Let z be w(18). Suppose 2*q + 54 = 4*b - 162, z*b = -4*q + 140. Is b a multiple of 4?
True
Suppose -2*k + 5*k = 45. Suppose -4*m - k + 51 = 0. Suppose -5*q + m = -211. Is 44 a factor of q?
True
Let s be -120 - (-8)/((-32)/8). Let w = s + 144. Does 2 divide w?
True
Let x(u) be the third derivative of -u**5/60 + 5*u**4/12 - 7*u**3/3 + 38*u**2. Suppose -3*s - 14 = -5*s. Is x(s) a multiple of 4?
False
Suppose 16*q - 20*q = -24. Suppose -3*y + q*y = 15. Suppose -y*t + 3*o = -0*o - 516, 2*t + 3*o = 198. Is 17 a factor of t?
True
Suppose -4*a + 190957 = -o, 10*a + 190954 = 14*a - 2*o. Does 55 divide a?
True
Let h be (-1 + -1 + 6)/(1/226). Let g = h + -445. Does 27 divide g?
True
Let d = -17 + -20. Let t = 150 + d. Is t a multiple of 38?
False
Let a be (-3)/(9/(-2)) - 212/(-6). Let x = 46 - a. Let o(d) = 16*d - 5. Is o(x) a multiple of 40?
False
Suppose -4*k - 338 = -2*s + 212, 2*k = -2*s + 592. Does 122 divide s?
False
Suppose 2*a - 4*h + 608 = 0, -2*a - 546 - 50 = 2*h. Let l = a - -749. Does 46 divide l?
False
Suppose 2*x + 3*x = -2*x + 5432. Is 4 a factor of x?
True
Suppose 29*n - 2321 = 1014. Suppose -n = -h - 19. Is h a multiple of 12?
True
Let p = -33 + 33. Suppose -5*m + m - 4 = p. Let a(g) = 68*g**2 - 2*g - 1. Is 23 a factor of a(m)?
True
Let k(l) = l**3 - 5*l**2 - l + 9. Let q be k(5). Suppose q*y + 2*d = 0, d = 2*y - y. Suppose -2*c - r + 4*r + 253 = y, 0 = -c - 4*r + 132. Is 11 a factor of c?
False
Let o = -9467 - -13757. Does 33 divide o?
True
Is -36*(-5 - (-64)/12) + 27480 a multiple of 28?
True
Does 88 divide (75/10)/(78/4576)?
True
Let v = 2724 + -1602. Is 3 a factor of v?
True
Is (22/3 - 4)/(((-12)/1305)/(-4)) a multiple of 23?
False
Suppose 11*g - 7*g + 22*g = 254072. Is 2 a factor of g?
True
Let d(t) = -535*t + 3822. Is d(-54) a multiple of 232?
True
Let a be (-20)/30 - ((-2344)/6 + -2). Let g = -138 + a. Is 59 a factor of g?
False
Suppose 0 = 3*q - 8*q + j + 27, 0 = 2*q + 5*j. Suppose -4*o + 4*l + 388 = 0, -o + q*l + 61 + 28 = 0. Suppose 2*c - o - 57 = 0. Is c a multiple of 26?
True
Suppose 0 = -7*z + 17 + 32. Let i(a) = 6*a**2 - 21. Is i(z) a multiple of 21?
True
Suppose 24*d - 2245 = 5891. Suppose 3*q - 469 = -i + 38, i = -2*q + d. Does 8 divide q?
True
Let y be -3 + 45/10 + (-2)/(-4). Suppose -y*i = 4*j - 8 - 10, 4*i - 8 = -j. Suppose 36 = -3*f + j*f. Is 6 a factor of f?
True
Let p(m) = -6*m + 30. Let g be p(2). Suppose y + g*f - 1346 = 13*f, 3*f = -2*y + 2727. Is y a multiple of 35?
False
Suppose -2*m + 56 = 2*a + a, -54 = -m + 5*a. Suppose d + m = 146. Is 8 a factor of d?
True
Let r(b) = -b + 7. Let o(q) = 3*q - 22. Let u(y) = -4*o(y) - 11*r(y). Let k be u(8). Let x(l) = 4*l**3 - 4*l**2 + 4*l - 4. Is 15 a factor of x(k)?
False
Let r(m) be the third derivative of m**4/12 - 14*m**2. Let x be r(1). Suppose 149 = 3*o - q, 5*q + 202 = 4*o + x*q. Is 6 a factor of o?
False
Let h(x) = 51*x**2 - 5*x + 409. Does 9 divide h(11)?
True
Suppose 17 - 2501 = 3*j. Let i = 1455 + j. Is 23 a factor of i?
False
Let d = -20 - -309. Let v = -180 + d. Let y = 37 + v. Is y a multiple of 33?
False
Suppose 4*a = a - 252. Let h = a - -25. Let x = h + 102. Does 17 divide x?
False
Suppose 4*y - 32*y + 1960 = 0. Let g = y + 268. Is g a multiple of 27?
False
Let y = 42 - 44. Let b be (-3 + 13)/(y/(-22)). Does 22 divide (b/20)/(((-5)/(-24))/5)?
True
Let p(g) = 4195*g**2 - 57*g + 56. Is p(1) a multiple of 5?
False
Let w(y) be the first derivative of y**3/3 + 15*y**2/2 + 11*y + 4. Let p be w(-18). Let v = -57 + p. Is v a multiple of 2?
True
Suppose 0 = 5*v + 2*i - 4698, -4*i + 3755 = 4*v + i. Let x = -532 + v. Suppose 0 = 8*k - 1176 + x. Is 8 a factor of k?
True
Let x(i) = 35*i - 205. Let v be x(6). Suppose 0 = -l - m + 1252, 3*m + 1900 = v*l - 4336. Is 29 a factor of l?
False
Suppose -110*f + 111*f = 20305. Is 155 a factor of f?
True
Let h = -176 + 133. Let t = -38 - h. Suppose 13*y - 447 = -t. Is y a multiple of 15?
False
Suppose 2*l + 4*w - 198 = 0, 7*l - 9*l + 200 = 3*w. Suppose -3*o + 1054 - l = 0. Let f = -141 + o. Is 11 a factor of f?
True
Suppose -4*v = -v - 6. Suppose -v = -4*b + 5*b. Is 20 a factor of 246/4 - (35/10 + b)?
True
Suppose 0 = -5*a - 5*a + 150. Suppose 2*c - 2*q = -7*q + a, c - 5*q + 15 = 0. Suppose -5*p + 3*p + 110 = c. Does 9 divide p?
False
Suppose -12*k + 196*k - 296608 = 0. Is 52 a factor of k?
True
Let r(k) = -14*k + 486*k**3 + 0 - 1 - 4*k**2 + 16*k. Is 23 a factor of r(1)?
True
Suppose 0 = h + 2*j - 0 - 11, -h + 3*j = 9. Suppose -3*b + 388 = -5*g, 0 = -2*b - 2*g + h + 261. Is b even?
False
Let y(i) = 209*i**2 - 182*i - 1089. Is y(-6) a multiple of 39?
True
Let w(m) = m**2 + 40*m - 19. Let v be w(-17). Let d = v - -888. Suppose -d = -13*o - 36. Does 9 divide o?
False
Let n(u) = -u**3 + 29*u**2 + 37*u - 1. Let r be n(30). Suppose -1059 = -17*a - r. Is a a multiple of 7?
False
Let a(x) = x**3 + 23*x**2 + 22*x - 10. Let q be a(-22). Let s be (-52)/130 - (-6)/q. Let j(l) = 35*l**2 - 3*l - 3. Is j(s) a multiple of 7?
True
Let k = 454 + -134. Does 5 divide (4 - k/(-4)) + 5?
False
Let u(x) = x**2 - 11*x + 33. Let a be u(7). Suppose -929 = -a*o + 681. Is o a multiple of 30?
False
Suppose 0 = 60*r - 57*r - 9, 5*d - r = 35677. Is d a multiple of 4?
True
Let j = -2053 - -2059. Let t = -864 - -1593. Suppose t = j*v + 3*v. Does 31 divide v?
False
Let l(x) = 26*x + 111. Let j be l(15). Suppose 0 = -21*q + 717 + j. Does 37 divide q?
False
Let j = -3820 - -6053. Does 3 divide j?
False
Let g(x) = -x**3 + x**2 + 10*x - 7. Let m be g(-4). Suppose -24*j + m*j - 1296 = 0. Does 16 divide j?
True
Suppose -2*w = 2*d - 14, -w + d - 2 = -d. Let r be (2/w)/((-8)/(-112)). Does 17 divide (4 - r) + 4 + 76?
False
Let s(o) be the first derivative of 15*o**3 + 3*o**2 + 41. Let u be (2/6)/((-7)/42). Is 12 a factor of s(u)?
True
Suppose 0 = -13*u - 117*u + 53742 + 447538. Does 3 divide u?
False
Suppose 4*o - 339 = -z, 139*z = 135*z - o + 1401. Does 9 divide z?
True
Let x = -105 - -84. Is (x + (-1)/1)*57/(-6) a multiple of 12?
False
Suppose 19725 = 19422*o - 19419*o. Does 54 divide o?
False
Suppose -372 = -4*v + 2*b + 1280, -5*b + 402 = v. Suppose -416 = -4*j - 3*n, 0 = -4*j - 0*n - 4*n + 