e
Let j be -2 + (-4)/(-2)*1. Suppose 6*d - 113 = -5*t + 4*d, j = 3*t - d - 59. Suppose -16*k + t*k - 1245 = 0. Does 29 divide k?
False
Suppose -299394 + 226678 = -56*m + 378084. Does 230 divide m?
True
Suppose -r = 4*z - 15544, z + 24074 = 2*r - 7032. Is r a multiple of 72?
True
Let n = 4442 - 1231. Is n a multiple of 25?
False
Let s(m) = 59*m - 6. Let q be s(1). Suppose -48*w - 20 = -q*w. Suppose -w*u + 336 = -0*u. Is 28 a factor of u?
True
Suppose 3*f - 99 = -3*q, -4*q + f + f + 138 = 0. Suppose 0 = -2*n - 3*n + 15. Suppose -3*h + 5*i = -12 - q, -n*i = -4*h + 54. Is h a multiple of 2?
True
Let r = -304 + 308. Suppose -3*m + r*u - 6*u = -110, 0 = m - 2*u - 26. Does 21 divide m?
False
Let r(g) = 2286*g**3 + 2*g**2 - 8*g + 8. Is 22 a factor of r(1)?
True
Suppose -2*a + 132 = 3*f, 2*f + 2*a = 9 + 77. Suppose -2*x + 112 = -f. Let u = x + -66. Is 13 a factor of u?
True
Suppose 386*d - 1500231 = 1475057. Is 50 a factor of d?
False
Suppose -11*z + z + 24430 = 0. Suppose -8*d + 1901 = -z. Suppose 5*q + 0*y + y = 901, -3*q - 3*y + d = 0. Does 12 divide q?
True
Let u(f) = 39*f**3 + f**2 - 5*f - 4. Let k(j) = -j**3 + j. Let z(x) = -5*k(x) - u(x). Suppose 7*s + 4*i = 8*s + 2, 3*i - 4 = 2*s. Is 40 a factor of z(s)?
False
Let p(d) = -12*d - 94. Let s(f) = f**2 + 8*f - 13. Let v be s(-6). Is 22 a factor of p(v)?
False
Let s = -2561 - -2773. Is s a multiple of 5?
False
Let a be (1 + 7)*(15 - 75). Is (287/(-28) - -5)/(4/a) a multiple of 15?
True
Suppose -171*m + 20*m + 208947 = -333445. Is 80 a factor of m?
False
Let f(t) = 39460*t - 2016. Is f(1) a multiple of 148?
True
Let y(j) be the first derivative of -5*j**4 - 4*j**3/3 - 3*j**2/2 - j - 17. Let z be y(-1). Suppose -z = -2*t + 26. Is 11 a factor of t?
True
Let s(u) be the third derivative of -53*u**6/60 + u**5/20 - u**4/12 + 2*u**3/3 - 20*u**2. Let b be s(2). Is 20 a factor of (-21)/35 - b/10?
False
Suppose 351 = h + 2*j + j, h - 345 = 3*j. Suppose -47 - h = -5*y. Is y a multiple of 16?
False
Let a = 13 + -13. Suppose a = 9*o - 2261 + 605. Is 23 a factor of o?
True
Suppose 196*r + 10 = 198*r. Suppose r*i + 2210 = 4*n, 1012 = 2*n - 2*i - 92. Does 51 divide n?
False
Let d(u) be the second derivative of u**5/20 + 19*u**4/12 + 5*u**3/2 - 16*u**2 - u. Let i be d(-18). Is 16 a factor of ((-144)/10)/3*(2 - i)?
True
Let h be (0 + 2 + -11)*6. Suppose -o + 2*o - 108 = -z, 3*z = 3*o + 336. Let y = h + z. Does 7 divide y?
True
Let l(h) = 13*h**2 - 62*h - 1276. Does 23 divide l(-20)?
False
Let d = 171 + -167. Suppose -4*m - 4*c + 636 = 0, -5*c + c = d. Does 10 divide m?
True
Let c(i) = -i**3 - 5*i**2 + 4*i - 12. Let a be c(-6). Suppose a = 4*m - 3*v - 2031, 3*v - 2682 = -4*m - 657. Suppose -207 = 10*w - m. Does 5 divide w?
True
Let q = 299 - 774. Let r be -12 - -8 - 0 - q*1. Does 26 divide r/11 - ((-106)/(-22) + -5)?
False
Let y(q) = 82*q - 164*q + 6*q**2 + 92*q. Does 6 divide y(-6)?
True
Suppose 54*x - 134784 = -24*x. Does 16 divide x?
True
Is (406/273 - (-4)/(-26)) + 11605/15 a multiple of 121?
False
Let m = 74 - -66. Is m - ((4 - 0)*2)/(-2) even?
True
Is (-122341)/(-114) + -3*(-1)/(-18) a multiple of 9?
False
Let s(r) = -410*r - 77. Is s(-37) a multiple of 85?
False
Let g be ((-24)/(-8))/(1 + -2) - -5. Suppose -2*l = 3*p + p - 292, p = g. Is 8 a factor of l/(0 - -2 - 0)?
False
Let u be 8/48 + (-34)/(-12). Let v(f) = -8*f + u*f**2 - 11*f + 20 - 4*f**2. Is 17 a factor of v(-14)?
False
Let c = -188 + 193. Suppose -908 = -4*t - 2*v, 2*v - c = 3. Does 25 divide t?
True
Does 3 divide -5 - ((-2)/(-3))/(429112/(-22584) - -19)?
True
Suppose 0 = a - 2*a + 54. Suppose 0 = 37*z + 709 - 2522. Let d = a - z. Is d a multiple of 2?
False
Let o = -34 - -116. Let m = 35 - o. Let x = m - -52. Does 3 divide x?
False
Suppose 38 = 2*h - 252. Let s = h + -127. Is s even?
True
Let n be (-4)/14 + 7 + (-1944)/(-42). Suppose -8*d - n = 3. Let t = d + 76. Does 13 divide t?
False
Suppose -3640 = -118*p + 11*p + 514240. Is p a multiple of 55?
True
Let d be (-3)/7 - ((-3327)/21 - 5). Suppose -d = -o + 165. Is 23 a factor of o?
False
Let t(q) = q - 41. Let r(n) = -16 - 13 - 23 + 12. Let f(c) = -2*r(c) + 3*t(c). Is 6 a factor of f(22)?
False
Let y(z) = -2985*z + 1103. Is y(-9) a multiple of 64?
True
Let r(c) = c**2 + 11*c + 23. Suppose -5*t - 51 = -b + 17, 0 = 4*t + 2*b + 60. Is 11 a factor of r(t)?
False
Let j = 6 - 2. Let r(o) be the third derivative of o**5/60 + 5*o**4/24 - 7*o**3/6 + 947*o**2 + 1. Is r(j) a multiple of 4?
False
Let f = -7129 - -31699. Does 315 divide f?
True
Suppose -l + 3*k = 1 - 9, 4*l - 4*k = 24. Suppose -c - 48 = -3*w, -l*w + 8 = 3. Let b = 88 + c. Is b a multiple of 7?
False
Let f(k) = -k**3 + 11*k**2 - 7*k + 12. Let i(s) = -s**2 + 2*s + 45. Let u be i(-5). Does 7 divide f(u)?
True
Suppose 3*h - 5*r - 1 = -21, 4*r - 16 = -3*h. Is 2/5 - h - (-40287)/195 a multiple of 9?
True
Let t be 322/9 + 5/180*8. Suppose 191*u - 200*u + t = 0. Is u a multiple of 4?
True
Is 75 a factor of 2*366*(546/(-117) + 7)?
False
Let f = 485 - 319. Suppose 5*o = -2*n + f - 33, -4*o - 60 = -n. Is n a multiple of 6?
False
Let b = 9151 - 3963. Is 17 a factor of b?
False
Suppose -8*q - 2 + 34 = 0. Let j(n) = 2 + n**3 + 565*n**2 - 579*n**2 - 4 + q*n - 9. Does 15 divide j(14)?
True
Let y(q) = q**2 + 11*q + 20. Let i be y(-5). Let a = 14 + 32. Let w = i + a. Does 10 divide w?
False
Let u(z) = 15*z**2 + 39*z - 30. Let w be u(-8). Suppose 5856 - w = 18*v. Is v a multiple of 25?
False
Suppose 33*l - 121*l + 326656 = 0. Is 128 a factor of l?
True
Suppose 71*m + 92*m - 72175 = 138*m. Is m a multiple of 35?
False
Let x be (-129)/86 - (2490/4 + -1). Let t = 881 + x. Is 21 a factor of t?
False
Let o = -18580 + 27197. Does 117 divide o?
False
Let l(r) = -10*r + 3055. Does 5 divide l(99)?
True
Let p = 620 + -594. Suppose p*v - 20*v = 2490. Is v a multiple of 5?
True
Let a(f) = -2*f + 10. Let r be a(5). Suppose -2*v + r*v = -44. Suppose 0*j + j + c - v = 0, 74 = 3*j - c. Does 4 divide j?
True
Let m(y) = -y**3 + 18*y**2 - 28*y + 10. Let f be m(11). Suppose -h - 205 = -f. Is h a multiple of 31?
False
Suppose 30*f = 28*f - 20. Let n = -5 + f. Let x(p) = -p**2 - 28*p + 17. Does 53 divide x(n)?
True
Let h(r) be the third derivative of r**6/60 + r**5/60 - r**3/3 - 98*r**2. Is h(5) a multiple of 21?
True
Suppose 2*c - 4 = 4*q - 9*q, -4*c = -4*q - 8. Suppose r - 565 = h + c*h, 2220 = 4*r - 2*h. Is r a multiple of 58?
False
Let u(d) = 4*d**2 + 2*d + 43. Let o be u(-9). Does 4 divide o/5 - (10 - 408/40)?
False
Suppose -35*m + 39*m - 4*x = 44680, 4*m = -5*x + 44635. Is 77 a factor of m?
True
Suppose -122*m = -120*m - 864. Suppose 2*u + 4*l - l - 288 = 0, -m = -3*u + 4*l. Is u a multiple of 12?
True
Suppose 5*j + 2*a = 18, 0*a - 4*a = -4*j - 8. Suppose -j*o = y - 2575, 9738 - 3308 = 5*o + 4*y. Suppose o = 9*p - 213. Is 36 a factor of p?
False
Suppose 2*q - k + 4*k = 173, -5*q - 2*k + 438 = 0. Suppose g - 178*n + 181*n = -67, -3*g = -3*n + 177. Let r = g + q. Does 4 divide r?
False
Let z(x) = 801*x + 705. Does 42 divide z(3)?
True
Let f = 59 + -65. Let c be (3 + f)*-1 + -403. Let b = c + 568. Does 12 divide b?
True
Suppose 7*b - 472*d + 475*d = 127007, -5*d - 25 = 0. Is 43 a factor of b?
True
Let c be 5/2 + 5/(70/21). Suppose 0*b + b = -c*i - 5, 5*b - 9 = -3*i. Is 8 a factor of i + -1 + (98 - -9)?
True
Let c(q) = -62*q + q**2 - 67*q + 130*q. Let f be c(0). Is 17 a factor of 0 - -30 - ((2 - f) + -4)?
False
Let g = 4369 - 2970. Suppose -5*n + 5*s + g = 4*s, -5*n - 3*s + 1383 = 0. Is 59 a factor of n?
False
Let d = -22992 - -47433. Does 29 divide d?
False
Let n(d) = -6*d - 22. Let m(r) = -r**3 + 5*r**2 - 5*r + 5. Let y(p) = -p**3 + 5*p**2 - 6*p + 6. Let b(k) = -3*m(k) + 2*y(k). Let t be b(3). Does 13 divide n(t)?
False
Let s(h) = h**2 - 6*h + 7. Let i(c) be the third derivative of 7*c**4/24 - 17*c**3/6 - 2*c**2. Let j be i(4). Is s(j) a multiple of 21?
False
Let t(f) = -6*f**3 - f**3 + 2*f**2 + 2*f + 8*f**3. Let v be t(-2). Is 24 a factor of -25*(2/v - (-7)/(-10))?
False
Let p(j) = 3*j**2 + j - 4. Let x be p(2). Let d(v) = 6*v**2 - 3*v - 18. Let k be d(x). Suppose 0 = 7*r - 3*r - k. Is r a multiple of 18?
False
Suppose -2*o = 2, -2*a + 7 = 2*o + 3. Suppose -319 = -4*c + q, -a*q = -2*q - 5. Is 21 a factor of c?
False
Let s = 113 - 113. Suppose s = 14*f - 2622 - 1298. Is f a mul