e
Let m(u) = 2*u**3 - 11*u**2 - 7*u + 15. Let k be m(6). Let v(t) = 33 - 9*t + 21*t + 3*t**2 - 4*t**2. Is 6 a factor of v(k)?
True
Suppose 0 = 3*l + 24 - 18. Let d be 34/85 - l/(-5). Suppose -2*s + 120 + 44 = d. Does 14 divide s?
False
Let v(p) = 2*p + 20. Let d be v(-12). Let r be (-3)/(5 + d - 2). Suppose -2*k - 11*a = -6*a - 85, -5*a = -r*k + 65. Is 10 a factor of k?
True
Suppose 5*p = -c + 24862, 3*c = p - 5836 + 80566. Is c a multiple of 280?
False
Let w(c) be the second derivative of 211*c**3/3 + 2*c**2 + 50*c. Is w(1) a multiple of 36?
False
Let c = 5659 - 5368. Does 6 divide c?
False
Suppose 0 = 2*f - 2*g - 2600 + 892, 0 = g. Let p = f - 287. Does 9 divide p?
True
Suppose 2*h + 38 = 3*l - 127, -2*l + 121 = -5*h. Let r = l + -50. Suppose -r*c = -15*c + 1920. Does 13 divide c?
False
Suppose -42*t - 25*t = -6*t - 713761. Does 116 divide t?
False
Suppose -w + 196 = 5*q + 2*w, 2*q - 76 = -2*w. Suppose -6*n + 53 = q. Suppose n*d = 9*d - 490. Is 5 a factor of d?
True
Let y(r) = r**2 + 10*r - 19. Let w be y(-12). Suppose 5*l + g + 0*g + 15 = 0, -l + w*g + 23 = 0. Does 7 divide ((-141 + 1)/5)/l?
True
Is 1/((-20)/10108800*-26) a multiple of 81?
True
Let s = -133 + 141. Suppose s*h = 10*h - 32. Does 8 divide h?
True
Let y(j) = -681*j + 814. Is y(-9) a multiple of 27?
False
Let n(j) be the first derivative of -j**4/2 - 17*j**3/3 - 9*j**2/2 - 10. Let i be n(-8). Suppose 744 = i*b - 0*b. Is 31 a factor of b?
True
Suppose -179*w = -176*w - 162. Suppose 4*j - 2242 = -w. Is 24 a factor of j?
False
Suppose -25080 = 64*p - 76*p. Is 38 a factor of p?
True
Let d = -2022 - -2109. Suppose 5*w + 3*p - 2753 + 482 = 0, 2*w = 4*p + 898. Suppose 15 + d = q + 2*z, 4*q = z + w. Is q a multiple of 28?
True
Let c be 1/(-2)*2 - -1. Suppose c = -3*s + 6, -s = -4*i - i + 8. Does 10 divide 20 - ((-1 - i) + 3) - 0?
True
Let u = -7540 - -8809. Does 23 divide u?
False
Let s = 53799 - 15877. Does 283 divide s?
True
Let o = -9962 + 14249. Suppose 6*z - o + 855 = 0. Does 52 divide z?
True
Let n be ((-208)/(-5))/((-1)/5). Suppose 1210 = -13*f - 129. Let q = f - n. Does 16 divide q?
False
Let y be ((-25)/(100/24))/((-6)/(-208)). Let f = y - -235. Is f a multiple of 15?
False
Let u(w) = 8 + w - 11 + 10 + 8. Let r be u(-13). Let s(y) = 21*y - 1. Is 12 a factor of s(r)?
False
Suppose 7 = 8*f - 217. Let s be 147/f + (9/(-4) - -2). Suppose -275 = -5*i - v + 279, 4*v = -s*i + 551. Is 15 a factor of i?
False
Suppose -3*s + 3621 = 3*j, -4*j + 390*s + 4828 = 388*s. Is 14 a factor of j?
False
Let t(w) = -57*w - 3115. Is 12 a factor of t(-87)?
False
Suppose 3*h + 9 - 26 = 5*t, -18 = -4*h + 2*t. Let l be h/(2 + -4) + 83. Let g = 4 + l. Is g a multiple of 17?
True
Suppose 4*i = 5*f - 1059, -2*f - 8*i = -12*i - 438. Does 69 divide f?
True
Let x(n) = -928*n - 3087. Is 21 a factor of x(-18)?
False
Let g = -127304 - -214274. Does 65 divide g?
True
Suppose 982 = 47*f - 45*f. Let x = 53 + f. Is 34 a factor of x?
True
Let l(r) = 9*r**2 + 22*r - 120. Is l(-26) a multiple of 16?
True
Suppose -2*d + 8*d + 42 = 0. Let m = -2 - d. Is 13 a factor of 2/(((-15)/(-78))/m)?
True
Suppose 16*r - 44391 = 11*r - 4*p, 5*r = -5*p + 44385. Is r a multiple of 27?
True
Let d = 1524 + 1052. Suppose -5*x = 5*g - g - 4304, -3*x + 4*g = -d. Does 16 divide 4/(-6) - x/(-12)?
False
Does 13 divide (-5)/(-15)*(6 - -9*1853)?
False
Let m(t) = 8*t - 44. Let f be m(-6). Let k = 48 - f. Does 13 divide k?
False
Let l = 2340 - 1080. Suppose -2700 = -5*b + l. Does 9 divide b?
True
Let g = -43 - -72. Suppose -5*w + 5*y = y - g, -5*y = -2*w - 2. Suppose 0 = -w*j + j + 496. Does 41 divide j?
False
Suppose 39*x - 35*x = 28. Does 21 divide (-18)/63 + 3117/x?
False
Suppose -508605 - 197321 = -172*f + 467802. Does 4 divide f?
True
Let p(z) = z**3 + 34*z**2 + 66*z + 40. Let w be p(-32). Let g(i) = -i + 6. Is g(w) a multiple of 30?
True
Let d(t) = t**2 + 105*t + 3947. Is d(-62) a multiple of 21?
True
Suppose 40 = 3*j + 34. Suppose v - 251 = j*b, -v + b = -2*v + 257. Does 15 divide v?
True
Let h(u) = 1224*u**2 - 176*u - 360. Is 30 a factor of h(-2)?
False
Let k be (-2)/4*-3 + (-261)/(-2). Let c = -97 + k. Does 2 divide c?
False
Let m(a) = a**3 + 8*a**2 + 3*a + 9. Let f be m(-6). Suppose 60*b - f*b = -1041. Is 15 a factor of b?
False
Let r = 22695 + -16281. Is r a multiple of 2?
True
Suppose 5*o - 3*x + 6*x - 129 = 0, -x + 3 = 0. Let t = o - -71. Suppose -m = 4*r - 162 - 25, 0 = 2*r + m - t. Is 23 a factor of r?
True
Suppose -1991 + 18 = 5*m + n, -5*m + 3*n = 1981. Let w = 491 + m. Does 19 divide w?
False
Let a(f) = -35*f**3 - f**2 + 4*f - 2. Let z be a(1). Suppose -2*h = -6*h + 488. Let q = z + h. Is 11 a factor of q?
True
Suppose 3*v + 708 = 3*c, 708 = c + 2*c + v. Let b = -3 + 5. Suppose -b*q - 3*q - 260 = -j, -j - 3*q + c = 0. Does 26 divide j?
False
Let s be -1 - (1 - (-24 + 8)). Is 3 a factor of 51 - (s/(-15)*5 + -3)?
True
Suppose -99*o = 40*o - 295792. Is o a multiple of 28?
True
Let x = 1116 - 768. Suppose -156 = -5*f + 2*u + x, -195 = -2*f + 3*u. Does 22 divide f?
False
Let r(t) = t + 10. Let w = -84 + 44. Let v = 48 + w. Is r(v) a multiple of 18?
True
Suppose -2*o + 637 = -739. Suppose -o - 357 = -5*r. Suppose r = 3*m - 82. Is m a multiple of 21?
False
Suppose -4*f + 608 = -2*v, 4*f = -5*v + 500 + 122. Let s = f + -20. Suppose s = 9*j + 7. Is j a multiple of 14?
True
Suppose -4*r = n - 12208, 5*r - 14 = 6. Does 10 divide n?
False
Suppose -4 - 2 = -4*m + 2*r, 4*m - 7 = r. Suppose -m*o = 5*f + 89, 2 = 3*o + 8. Let q(y) = -11*y - 27. Is q(f) a multiple of 20?
True
Suppose -87696 = -119*t + 77*t. Is t a multiple of 24?
True
Let z(i) = 4*i**3 + 13*i**2 + 9*i - 20. Does 10 divide z(9)?
True
Suppose 84*w - 132*w = -188*w + 367500. Is w a multiple of 15?
True
Let i(a) = 83*a + 2440. Does 5 divide i(-10)?
True
Does 10 divide (-14 + (16 - 14))*(-20)/(-24)*-688?
True
Suppose 8 = 4*v + 20. Is 38 a factor of (v + (-30)/(-9))/(5/7410)?
True
Does 32 divide (-9 + -3529)*8/(192/(-108))?
False
Let n = -284 - -551. Let l = 313 - n. Does 2 divide l?
True
Let n(h) = 725*h + 42. Let o(l) = 181*l + 10. Let z(t) = 2*n(t) - 9*o(t). Is 16 a factor of z(-2)?
True
Let d(a) = -16*a**2 + 5*a + 14. Let j be d(10). Does 32 divide (j/(-18))/(6/81)?
True
Is -274*3/(-6)*(9 - 2142/(-17)) a multiple of 62?
False
Suppose 0 = -2*y + 42 + 8. Suppose g + 28 = y. Is -2*(g/(-2))/(-3) + 30 a multiple of 3?
False
Let u(d) = d**2 + 10*d + 20. Let o be u(-7). Let a be (28/(-12) - o)*12/(-4). Suppose -a*m - 5*m = -1215. Does 15 divide m?
True
Let p(y) = 42*y**3 - 11*y**2 - 60*y + 246. Is p(4) a multiple of 9?
False
Let f be 12/8*(-8)/4. Suppose 3*u - 5*n + 9 = u, -n = -4*u - 9. Is u/f + (-19)/(-3) a multiple of 2?
False
Suppose m = 2*h + 3, -h = 4*m - 2*m - 6. Suppose -578 = -4*j + 2*b, 0 = 3*b + m + 6. Does 13 divide j?
True
Let y be (-3)/(24/(-106))*24/(-3). Let w be (1 + y)*((-16)/(-12) + -2). Suppose -a - 2*n = 2*n - 24, -3*n + w = 4*a. Is 4 a factor of a?
True
Let i(q) = -2*q**2 - 20*q - 20. Let p be i(-9). Does 17 divide (p - -8) + -11 + 600?
True
Let q be 214*(4/16*6)/(-3). Let x = q + 27. Does 5 divide 2 + x/36 + (-47)/(-9)?
True
Suppose 36*r = 33*r + 6. Suppose -r*p - 1144 = -10*p. Is p a multiple of 53?
False
Let j(y) = 20*y + 1008. Does 63 divide j(0)?
True
Let i(d) = -144 - 28 - 111 + 30 + 139*d. Is i(7) a multiple of 15?
True
Let i(n) = -133*n + 132. Is i(-11) a multiple of 3?
False
Let m = 19 - 12. Suppose -5*n + 624 = -m*a + 6*a, -3*n - 2*a = -364. Does 20 divide n?
False
Let r be 38/(-8) - -5 - (-1)/(-4). Suppose 0 = g - d - d - 6, r = -d. Let z(u) = 25*u - 34. Does 29 divide z(g)?
True
Suppose -3*h - a + 36 = 2*a, 5*h - a - 90 = 0. Suppose w - 67 - h = 0. Is 29 a factor of w - (1 + 2 - 6)?
True
Let q be (-7353)/12 - 45/(-60). Let m = -112 - q. Is 25 a factor of m?
True
Suppose 363*z - 273*z + 479513 - 5343833 = 0. Does 11 divide z?
False
Suppose 0 = 8*x - 3012 + 2244. Let g be 207 + 2 + (-2 - 0). Suppose g = 5*j - 3*b + 76, 4*j = -2*b + x. Does 24 divide j?
False
Let c(m) = 251*m**2 + 116*m - 478. Does 36 divide c(4)?
False
Let z be (-1 + 2)/((-1)/13). Suppose -88*d = -58*d + 240. Let s = d - z. Does 2 divide s?
False
Suppose -138 - 191 = -u - 3*m, 0 = -4*u - 4*m + 1308. Let l be ((-1)/(-2))/(1/(-332)). Let x = u + l. Is 40 a factor of x?
True
Suppose 0 = -5*m