1). Suppose 5*i - 382 = 353. Let f = w - i. Is f a multiple of 12?
False
Let d(c) = -c**3 + 17*c**2 - 13*c. Let f be d(9). Suppose 14*m = f + 1317. Is m a multiple of 33?
True
Let m(r) = 7*r**3 + 32*r**2 - 45*r - 49. Let l(a) = 10*a**3 + 48*a**2 - 67*a - 74. Let q(n) = 5*l(n) - 7*m(n). Is q(-17) a multiple of 8?
True
Suppose 725*l + 445900 = 760*l. Is 65 a factor of l?
True
Let q(d) = 22*d - 74. Let r = -177 - -181. Is 7 a factor of q(r)?
True
Suppose 14*a - 37842 = 59402. Is 46 a factor of a?
True
Suppose 9*u - 2902144 = -39*u - 31*u. Is u a multiple of 112?
True
Suppose -2486 - 85264 = -270*k. Is k a multiple of 2?
False
Suppose -199*v - 18470818 = -272*v - 570*v. Does 42 divide v?
False
Suppose 5*x = q + 5279, -5*x = -9*x - q + 4234. Does 3 divide x?
False
Let n be 24/(-42)*(-14)/4. Let r(j) = 7*j**3 - 6 - 6*j**3 - 19*j + 6 + 7*j**n. Is 3 a factor of r(-9)?
True
Let z be -915*(-5 - (-69)/15). Suppose -23*f + 17*f + z = 0. Suppose -3*g = -v - f, v + 20 + 3 = g. Does 11 divide g?
False
Let s be 1/(-3) + 3/9. Let u(k) be the first derivative of k**3/3 - k**2 + 15*k - 41. Does 5 divide u(s)?
True
Let h(g) = 10*g - 12. Suppose -1 = 4*u + 7. Let b = u - -6. Is 25 a factor of h(b)?
False
Let n = -26 + 34. Suppose 0 = 4*q + n. Is 5 a factor of (-200)/(-30) + q/(-6)?
False
Suppose 0 = 3*f - 7 - 11. Suppose a = -2*s + 28, s + 10 = 4*a + f. Is (s/(-21))/(3072/(-1533) + 2) a multiple of 9?
False
Let l = -68 - 227. Does 5 divide (-17641)/l + -2*2/(-20)?
True
Let f = -24118 - -33842. Is 33 a factor of f?
False
Suppose 5 = -5*k, -4*d + 3*d + 2*k + 70 = 0. Suppose 0 = 4*t - 4*r - d, 5*r - 80 = -2*t - 18. Suppose -26*b + t*b = -240. Does 24 divide b?
True
Suppose -5*h = 2*r - 360, -4*h - 29*r = -27*r - 288. Is 8 a factor of h?
True
Does 20 divide (-2)/10 + 16711255/1525?
False
Suppose 3*v + p = -0*p + 684, -5*v = -3*p - 1126. Suppose -v - 238 = -2*t - 3*y, 704 = 3*t - 2*y. Is 13 a factor of t?
True
Suppose -5*h + 2*b = -160, -3*h - 3*b + 75 = -0*b. Let o(l) = -12*l - 126. Let c be o(-18). Suppose -c = -6*f - h. Is 4 a factor of f?
False
Let f = -1055 + 1821. Suppose -f - 634 = -l. Is l a multiple of 50?
True
Suppose -3*g - 2*g = -4*r, -4*g - 5*r = -41. Let v(w) be the first derivative of w**4/2 + 5*w**3/3 - w**2/2 + 2*w + 566. Is v(g) a multiple of 35?
False
Let r = 15 - 24. Let s be 16/(-36) - 760/r. Let a = s + -54. Is 5 a factor of a?
True
Suppose -71 = -4*b - r, b + 3*r - 4 = 11. Suppose -b*i + 531 = -17*i. Is i a multiple of 27?
False
Let o(i) = -i - 2*i - 33 + 0*i**2 - i + i**2. Is o(-15) a multiple of 21?
True
Let i = -26873 + 47136. Does 6 divide i?
False
Let o be 2 - 6 - -1 - 378. Let g = -95 - o. Does 76 divide g?
False
Let d = 110 + 4. Let k = 171 + -97. Let q = d - k. Is q a multiple of 15?
False
Let z be (3 - (-1998)/15) + (-3)/15. Let y = -48 - z. Let l = y + 376. Does 10 divide l?
False
Let c be ((-560)/168)/(1/(-18)). Does 6 divide (-295)/(-2)*(564/c - 7)?
True
Let z = 137 - 283. Let y = z + 170. Is 5 a factor of y?
False
Suppose -4*o + 186 = g, -3*g + 3*o + 16 = -587. Let n(h) = -16*h + 114. Let k be n(7). Suppose -5*m = i - g, 81 = k*i + m - 315. Is 22 a factor of i?
True
Let i(o) = -765*o + 9456. Is i(-6) a multiple of 6?
True
Let r = -934 + 5505. Let g = r + -2639. Suppose 20*t + t - g = 0. Is t a multiple of 8?
False
Suppose g + 53 - 21 = 0. Let p = 18 - 16. Does 3 divide -2 - p - g/2?
True
Suppose -53*n - 16982 = -67*n. Suppose -16291 = -32*u + n. Does 68 divide u?
False
Let d be 7/(-42) - 1993/(-6). Let h = 508 - d. Does 18 divide h?
False
Let b = -9 + 19. Let z = 555 + -509. Suppose -5*f + z = 2*q, 7*q - b*q + 69 = 2*f. Is q a multiple of 5?
False
Let d(x) = -4*x - 19. Let s(f) = 5*f + 19. Let u(y) = -6*d(y) - 5*s(y). Let k(z) = -z**2 - 10*z - 10. Let i be k(-4). Does 2 divide u(i)?
False
Let v = 252 + -96. Suppose 2*z + v = -2*z. Let j = z + 48. Is 3 a factor of j?
True
Suppose -2*v = 4*r - 124, 4*v + 3*r - 218 = 5*r. Let m be (-8)/(-18) - v/(-36). Suppose -1248 = -m*p - 4*p. Does 13 divide p?
True
Let s(g) = 9*g**2 + 27*g + 219. Does 3 divide s(-12)?
True
Let j(a) = -29*a**3 + 45*a**2 + 213*a + 5. Is j(-5) a multiple of 45?
True
Let k(b) = b**3 + 43*b**2 + 23*b - 188. Is k(-42) a multiple of 5?
True
Let w = -4 + -6. Let y(n) be the second derivative of n**4/6 + 17*n**3/6 - 2*n**2 + 61*n. Does 11 divide y(w)?
False
Let d(x) = 2*x - 8. Let b be d(4). Suppose -6*u + b*u - 456 = 0. Does 9 divide ((-2)/(-4))/((u/432)/(-19))?
True
Suppose 3*y - 2*g = 675 + 1034, -g = 1. Is y a multiple of 2?
False
Let b(q) = 410*q - 4024. Is b(11) even?
True
Let v = 7197 - 2558. Is 17 a factor of v?
False
Suppose -6735 - 17910 = -3*j + 2*q, 0 = -j - 3*q + 8226. Does 99 divide j?
True
Let x(i) = 5*i**2 + 22*i + 18. Let l(j) = 8*j**2 + 44*j + 36. Let p(t) = 3*l(t) - 5*x(t). Does 10 divide p(8)?
True
Suppose 13 = 2*z + 93. Suppose 5*i - 4*i + 3 = 4*q, 4*i - 5 = -q. Is (z + 1)*(-2 - i) a multiple of 24?
False
Is 13 a factor of ((-4233)/(-83))/((-2)/(-484))?
False
Let n(m) be the first derivative of -15*m**2 - 4*m + 57. Does 4 divide n(-2)?
True
Let d(v) = -273*v**2 - 7*v + 5. Let m be d(3). Let r = -426 - m. Is 106 a factor of r?
False
Suppose -350*h = -347*h - 24. Suppose 1223 = 4*a + 5*d, -2*a + h*d + 634 = 6*d. Is 26 a factor of a?
True
Suppose 4*h + 22 + 6 = 0. Let t(i) = i + 12. Let a be t(h). Let c = 30 + a. Is c a multiple of 8?
False
Suppose -t - 55 = d + 193, -3*t - 4*d - 748 = 0. Let x = 864 + t. Is x a multiple of 30?
False
Suppose -57051 - 68977 - 13748 = -16*r. Is 20 a factor of r?
False
Is 2 a factor of 8244/6 - (-19 - -16)?
False
Is 24 a factor of (140152/10)/2 + ((-1650)/125)/(-33)?
True
Let b = -27 + 29. Suppose -5*r + 5*o = -0*r - 1715, b*o - 1342 = -4*r. Suppose 4*w = r + 42. Is 15 a factor of w?
False
Let l be -3 - ((-2)/(-15) + (-116)/(-30)). Let x(a) = a**3 + 10*a**2 + 13*a - 16. Is x(l) a multiple of 5?
True
Let f = 14576 + 3280. Does 12 divide f?
True
Let b = 26315 + -17225. Is 45 a factor of b?
True
Let q(a) = a**2 + 10*a + 1082. Let k be q(0). Let n = k - 629. Is 13 a factor of n?
False
Let j = -17535 + 25897. Does 2 divide j?
True
Suppose -21623 = -8*d + 11609. Is d a multiple of 28?
False
Let i be (-420)/9 - (-6)/9. Let o = 7 - i. Suppose 0 = -2*x - o + 341. Is x a multiple of 18?
True
Is 68 a factor of 2046 - 11/((-110)/(-60))?
True
Let o be (-1)/1*8283/11. Let j = 928 + o. Does 25 divide j?
True
Is 123 a factor of 120/(381/246 - (-3)/(-2))?
True
Suppose 2*i - 2*k = k, -i + 10 = k. Suppose -4*g + 7 = t - i*t, 5*g + 7 = t. Is (-242)/(-8) - t/(-12) a multiple of 5?
True
Let v be (3*10)/(1 + (-1 - 1)). Let c = v - -159. Is 43 a factor of c?
True
Let s = 27733 + -9953. Is s a multiple of 35?
True
Is (-10 - (-2 + -1))*320320/(-143) a multiple of 16?
True
Suppose 61*m - 30 = 62*m. Let u = -18 - m. Is 15 a factor of (-108)/((-18)/24 + (-3)/u)?
False
Let o = 360 - -252. Suppose 2*p = -2, -2*z + 141 + o = -3*p. Suppose -333 = -3*m + 2*n + z, -720 = -3*m - 2*n. Does 17 divide m?
True
Let a(i) = 81*i**2 + 36*i - 35. Does 5 divide a(-6)?
True
Suppose 0*q - 2*g - 12 = -q, q = -g - 3. Let n be q/(4/(-2))*52/(-13). Is 220*((-42)/28 - n/(-2)) a multiple of 22?
True
Let v = -47119 - -87832. Is v a multiple of 20?
False
Suppose -v - a = -2489, -v + 3594 = -2*a + 1096. Does 89 divide v?
True
Let i = 3693 - 2573. Does 55 divide i?
False
Let d(w) = -29 - 46045*w**2 + 46044*w**2 - 10 - 25*w. Let y(s) = 8*s. Let p be y(-2). Does 4 divide d(p)?
False
Let p(u) = -4952*u - 75. Let j be p(-10). Suppose 7*r = -22*r + j. Is r a multiple of 11?
True
Let q(n) = -117*n + 38. Let b be (-4)/(-10) - (-1 - 108/(-20)). Does 11 divide q(b)?
True
Suppose 0 = -3*x - 3*p - 78, -31 = 3*x + 4*p + 49. Let o = x + 86. Is o a multiple of 9?
False
Suppose -6*w = -w + 10. Let p be (-7440)/195 + w/(-13). Let h = p + 149. Does 21 divide h?
False
Suppose -8*m - 4*m + 42672 = -0*m. Does 47 divide m?
False
Let u = -341 - -337. Does 11 divide ((-41)/u)/(4 + 2680/(-672))?
False
Let n = 451 + -429. Suppose -n*c + 27*c = 2525. Is 22 a factor of c?
False
Let k(j) = 70*j. Let a be k(5). Suppose 5*x + 5*p = -65 + a, 243 = 4*x - p. Is 2 a factor of x?
True
Suppose 24*n - 22*n + 104 = 0. Let z = n + 57. Suppose -s - 4*s + z*x + 280 = 0, 0 = x + 1. Does 13 divide s?
False
Let l(w) = -7*