se
Let a = -18 - 47. Let p = a + 68. Suppose 3*u - 120 = -2*u + 4*m, -5*m - 72 = -p*u. Is 17 a factor of u?
False
Does 14 divide (-3)/(473262/(-26292) - -18)?
True
Let d(c) = c**3 - 7*c**2 - 172*c + 106. Is d(29) a multiple of 15?
True
Let o = -20030 - -26208. Does 19 divide o?
False
Let z(i) be the second derivative of i**3/3 + 23*i**2/2 + 9*i. Let s be z(-10). Suppose w - 54 = 2*v, 3*w + s*v + 191 = 7*w. Is w a multiple of 12?
False
Let q be (4 + 0)*((-2)/(-1))/(-8). Is 47 a factor of (-55)/(-11) + (q - -1 - -559)?
True
Let k = -67 - -67. Suppose -4*x + k*x + 1040 = 0. Is 13 a factor of x?
True
Let f be (84/30)/(1/(-10)). Let d = f - -165. Suppose 8*u = d + 23. Does 11 divide u?
False
Let z(n) be the third derivative of n**6/120 - n**5/20 - n**4/4 - n**3/3 - 15*n**2. Let r(k) = k - 1. Let x(g) = -4*r(g) - z(g). Is x(-3) a multiple of 18?
True
Let l(f) = f**3 - 2*f**2 - 3*f + 3. Suppose -16*c + 24 = -8*c. Let x be l(c). Suppose 101 = 5*t + j, 0*t + x*j - 9 = -t. Is t a multiple of 2?
False
Let x(t) = 2*t**2 + 258*t - 441. Does 7 divide x(-140)?
True
Suppose -8*f = -17*f + 2421. Suppose 15*a - f = 1951. Is a a multiple of 11?
False
Let q(w) = 6*w**3 - 2*w - 1. Let b be q(-1). Let o = 10 + -11. Is (o - -1)/b + 69 a multiple of 19?
False
Let y(n) = -3768*n - 2232. Is y(-3) a multiple of 168?
True
Let y(t) = -10*t - 20. Let o be y(-20). Let a(s) = s**3 - 11*s**2 + s - 6. Let x be a(11). Suppose 0 = -x*g + o + 90. Is g a multiple of 12?
False
Let z = -72 + 87. Suppose -3*r = z - 21. Suppose -r*q = 5*k - 75, 4*q + 1 + 2 = -k. Is 17 a factor of k?
True
Let i(o) = 2*o - 2*o**3 + 3*o**2 - o**2 - 7 + 2*o**2. Let b(t) = -t**3 - 11*t**2 + 5*t - 87. Let v be b(-12). Is 11 a factor of i(v)?
True
Suppose 5*b - 502 = -4*a, 0*a + 493 = 5*b + a. Let u = 138 - b. Is u a multiple of 10?
True
Let s = 41 - 42. Does 16 divide (1 - 2)*s*(-11 + 1552)?
False
Let w(l) = 314*l**3 - 5*l**2 + 9*l - 5. Let v(b) = 313*b**3 - 4*b**2 + 9*b - 6. Let h(p) = 4*v(p) - 3*w(p). Does 13 divide h(1)?
False
Let r = -99 + 165. Let u = 18 + r. Does 11 divide u?
False
Suppose b + 0*b = 59. Suppose b*y + 1745 = 64*y. Does 63 divide y?
False
Let d = 81 - 138. Let a = 47 + d. Is 29 a factor of (-58)/(-3)*(16 + a)?
True
Let l(s) = 27*s - 62. Let q be l(14). Let u = q + 20. Is 28 a factor of u?
True
Suppose -3840 = 11*s - 5523 - 131417. Does 50 divide s?
True
Suppose -5*f = -7*d - 108680, 65*d = 66*d. Is f a multiple of 22?
True
Let x be (2/(-4))/(1/(-64)). Suppose 2539 - 2511 = 4*y. Suppose d + y = x. Is 5 a factor of d?
True
Let o = 1732 + 1925. Does 59 divide o?
False
Suppose 2*p = 4*s - 6, -6 = -s - p + 3*p. Suppose s = 31*w - 29*w - 36. Is 2 a factor of w?
True
Let m = -22851 - -37824. Is m a multiple of 69?
True
Let s = 36852 + -20248. Is 14 a factor of s?
True
Let u be (8 - 6)/((-2)/(-9)). Let r be (u/2)/(15/40) - 0. Is 8 a factor of 3/12 - (-477)/r?
True
Is (-3228)/6*-1 + -6 a multiple of 4?
True
Suppose 11*p - 6*p - 53461 = -3*g, -42772 = -4*p - 4*g. Suppose -13*z + 34 = -p. Is z a multiple of 55?
True
Suppose 2*b - 27 = 3*p, 2*b + 2*b - 39 = 3*p. Suppose -4*s + 6 = -b. Suppose 4*g + q - 80 = 4*q, -2*g - s*q + 22 = 0. Is 11 a factor of g?
False
Suppose 0 = 9*f - 11*f + 8. Suppose 4*k + 1448 = -f*k. Is 26 a factor of 0/60 + (1 - 0 - k)?
True
Let v = 25 + -22. Suppose -5*j = z - 46, v*z + 8 + 4 = 0. Suppose 0*c - c = -t - 54, 0 = 2*t - j. Does 12 divide c?
False
Suppose -4*h - 28 + 21 = 3*z, z + h = -2. Let p be 1 + 0 - (-3)/(-1). Is 15 a factor of (z/(3/(-480)) - p) + 3?
True
Let q(k) = 1636*k - 8275. Does 49 divide q(10)?
True
Let g be ((-399)/4)/(6 + (-270)/48). Let h = -234 - g. Is 3 a factor of h?
False
Let m(o) = 52*o - 1441. Does 19 divide m(50)?
True
Is 44280/(21 - -9) + -1 + 0 + 8 a multiple of 16?
False
Is 104*32 + 0*-1*(-4)/8 a multiple of 128?
True
Let q = 2836 - -13152. Is 4 a factor of q?
True
Let u = 1225 - 809. Let l = u - 124. Is 41 a factor of l?
False
Let h = -2634 - -9306. Does 13 divide h?
False
Suppose 526*w - 455*w = 340800. Does 3 divide w?
True
Let j(t) = 233*t**2 - 22*t + 46. Let z(r) = 234*r**2 - 23*r + 47. Let m(n) = 3*j(n) - 2*z(n). Does 16 divide m(2)?
True
Let r(k) = 11*k**2 - 12*k - 83. Let h(m) = -m**2 - 19*m - 5. Let t be h(-19). Is r(t) a multiple of 9?
True
Let m(c) = 27*c**2 - 3*c + 3. Let p be m(1). Suppose 5*t + 5*g = p + 33, -t - 3*g = -4. Does 3 divide t?
False
Suppose 5*a = -908 - 282. Suppose 20*z = -4028 + 11168. Let g = z + a. Does 11 divide g?
False
Suppose 2*z = 2*t - 4, -5*z - 16 = 2*t - 3*z. Does 4 divide (-9828)/(-70) + 4/(-10) - t?
False
Suppose -7*s + 5*d = -2*s - 5990, -1204 = -s + 4*d. Suppose -5*t = -3*t - s. Does 23 divide t?
True
Suppose -3*p + 8 = -2*p. Let q be (-2 - (-2 + -1))/(p/24). Is 4 a factor of 2/q + 199/3?
False
Let g = -4333 + 7349. Is 27 a factor of g?
False
Is (-1 - 13/3)*(-1159977)/1214 a multiple of 52?
True
Let d = 36590 - 23391. Is d a multiple of 20?
False
Let q be -20*282/((-55)/20 - 1). Let w = -454 + q. Is 10 a factor of w?
True
Suppose -99*i - 885472 = -127*i. Is 59 a factor of i?
True
Suppose 0 = 4*s - 3*r - 31, r + 1 = -2*s + 4. Suppose 87 = 7*q - s. Suppose q*n = 17*n - 404. Does 31 divide n?
False
Let r(b) = 3*b + 24. Let m be r(-8). Let t(p) = m*p**3 + 4 + p + 5*p**3 - 2*p - 3*p**3 - p**2. Does 14 divide t(2)?
True
Let k be (-2 + -10)/((-2)/73). Suppose 5*w - k = 2*b, 3*w - 81 - 180 = 3*b. Is w a multiple of 8?
True
Let b = 16504 - 3988. Is b a multiple of 14?
True
Let s(a) = -a**2 - 6*a - 4. Let m be s(-3). Suppose 6*o - m*o - 70 = 0. Is o a multiple of 10?
True
Let a(c) = -349*c + 24. Let g(v) = -v**3 + 13*v**2 + 8*v + 80. Let t be g(14). Is a(t) a multiple of 34?
False
Is 13 a factor of (-3)/(6/(-3656))*156/24?
True
Let w(d) = d**3 - 24*d**2 + 26*d + 30. Let a be w(23). Let h = 128 - a. Is 29 a factor of h?
True
Suppose 49900*v = 49901*v - 9612. Is v a multiple of 27?
True
Suppose y - 4*j - 130 = 0, -y - 264*j + 265*j = -127. Is 3 a factor of y?
True
Let l be -2*(-1 - -4)*(-5302)/33. Suppose -4*q + 2*r = -l, 5*q = 5*r - r + 1202. Let c = -158 + q. Does 28 divide c?
True
Suppose 0 = -35*z + 30*z + 3*m + 30527, -24466 = -4*z - 5*m. Does 51 divide z?
False
Suppose 0 = -51*v + 38*v - 273. Let r = v + 144. Is 12 a factor of r?
False
Let q(s) = 27*s**3 - 8*s**2 + 7*s + 14. Is q(6) a multiple of 40?
True
Suppose 2*w - 49860 = 3*y, -3*w + 124625 = 2*w + 5*y. Does 19 divide w?
False
Suppose -j = -t, 8 = t - 27*j + 30*j. Suppose 0*i - 4*i + 4 = 4*b, i + 24 = 4*b. Suppose -s - 363 = -4*x, 0 = -x - t*x + b*s + 251. Is x a multiple of 8?
False
Let u(i) = -i**3 - 31*i**2 - 90*i - 121. Is 47 a factor of u(-28)?
True
Let a = -4468 + 4995. Is a a multiple of 6?
False
Let r be 174/(-45) - (-15)/((-1350)/12). Is 19 a factor of (-2 - 145)*4/r?
False
Suppose 7*s - 9 = 4*s. Suppose -s*n - 43 = 4*x + 72, 0 = 3*n - 4*x + 155. Let z = 167 + n. Is z a multiple of 7?
False
Suppose -r = -6*q + q - 1352, -5*r + 6613 = -4*q. Is r a multiple of 10?
False
Let p be 12/(14/63*9). Let t(x) = 2*x**3 - 8*x**2 - 6*x. Is 4 a factor of t(p)?
True
Let c be (2*(-2)/6)/(6/18). Is c/(-10) + (-41118)/(-210) a multiple of 14?
True
Let q be (8782/6)/(((-48)/4)/(-36)). Suppose q + 2273 = 7*a. Is a a multiple of 28?
True
Suppose 328979 - 105119 = 82*w. Is 26 a factor of w?
True
Suppose 36*o + 84*o - 1853280 = 0. Is 39 a factor of o?
True
Is 13 a factor of (-272088)/(-48) - (-4)/(-8)?
True
Let j = 24628 - -4256. Is j a multiple of 6?
True
Let b = 6968 - 5078. Is b a multiple of 35?
True
Let h = 360 + -194. Let l = h - 140. Is l a multiple of 2?
True
Let c = -27 - -44. Suppose 21*p = c*p. Does 15 divide p - -309 - (-18 + 2)/8?
False
Let o = -32 - -42. Does 3 divide 2/5 + 396/o?
False
Let h = -63 - -64. Let y be (h/2)/(1/6)*1. Suppose -3*b - 5*q + 672 = -2*q, 2*q + 692 = y*b. Is b a multiple of 19?
True
Let d = 22339 - 13125. Is d a multiple of 271?
True
Suppose 22314 - 758 = 3*g - 9413. Does 8 divide g?
False
Suppose 5*b + 6980 = 420. Let n = b - -2269. Is 29 a factor of n?
True
Let b be 296/12*2/((-16)/(-60)). Does 12 divide (b + 0)*(9 + -8)?
False
Let j(v) be the third derivative of -5/24*v**4 + 0*v + 0 + 1/60*v**5 + 37*v**2 + 3*v**3. Is j(8) a multiple of 7?
True
Suppose 6457 = 4*b + 5*p, -11*b = -6*b - 5*p - 8105. Does 9 divide b/12 + 48/28