or of (-75 + 1)*(-10)/s?
True
Suppose -3*b + 13 = -x, 3*b - 6*b + 5*x = 7. Let k(g) be the third derivative of -g**6/120 + g**5/10 + g**4/8 + 11*g**3/6 + g**2 - 128. Is k(b) a multiple of 3?
False
Let g(m) = 11*m + 229. Let v(c) = -104*c - 2176. Let t(u) = 48*g(u) + 5*v(u). Does 43 divide t(25)?
False
Is (-242290)/(-15) + (11 - (-256)/(-24)) a multiple of 39?
False
Suppose -3*b - 25 = -4*p, 4*p + 4*b + b = 33. Let v be 0 + 588 + 3*(-12)/(-18). Suppose p*j - 1871 = -v. Is j a multiple of 31?
False
Let r be 22/143 + (-1588)/26*-11. Does 14 divide (-10)/(6/(r/110) + -1)?
True
Let p(w) be the third derivative of w**6/120 + w**5/6 - w**4/24 - 13*w**3/6 + 22*w**2 + w. Does 10 divide p(-6)?
False
Suppose 0 = 3*r - f - 53379, -3121*r - 35586 = -3123*r + 2*f. Does 57 divide r?
False
Suppose -6 - 22 = -7*j. Suppose j*p = 414 + 18. Let k = 196 - p. Is k a multiple of 11?
True
Let t(v) = 19*v**2 + 12*v - 2. Let k = 158 + -154. Does 35 divide t(k)?
True
Suppose 3*x = 5*k - 78150, -21*k + 79*x = 84*x - 328230. Does 5 divide k?
True
Let q(t) = 96*t**2 - 10*t + 9. Suppose 0 = 5*n + 4*o + 11, -3*n = -2*n + 5*o + 19. Is 19 a factor of q(n)?
True
Suppose 0 = -6*h + 7*h - 3*m - 10016, 2*m - 30004 = -3*h. Is h a multiple of 11?
False
Let i be (-4 - (8 + -378)) + 7. Let k = i + -213. Is 16 a factor of k?
True
Is (8/(-20))/(15/(-8025)) a multiple of 37?
False
Suppose -12*o + 7*o + 151 = m, 0 = 5*m + 3*o - 821. Is 44 a factor of m?
False
Let x be (681/(-6) + 3)/((-4)/8). Is x + -2 + 3 + (18 - 15) a multiple of 15?
True
Let v = 30680 + -29336. Does 32 divide v?
True
Let k be ((-1632)/14)/(-2) - 34/119. Suppose -2*w + 408 = k. Let c = 319 - w. Does 18 divide c?
True
Suppose 11 = -3*q + 20. Suppose -1336 = -q*o - 4*m + 752, 3*o = -2*m + 2094. Is 35 a factor of o?
True
Let m(z) = -5*z**3 - 4*z**2 - 56*z + 4. Is m(-5) a multiple of 9?
False
Suppose 2*h - 12 = 4*g, h + 6*g = 2*g. Suppose 5*u + 1890 = 10*u. Is 47 a factor of u/h - 1*3/6?
True
Let z = -408 + 276. Let w = z + 252. Suppose 2*i - 4*i + w = 0. Does 17 divide i?
False
Let b be ((-16)/(11 + -3))/((-2)/2). Suppose 318 = b*w + 106. Does 47 divide w?
False
Let s(o) = -o**3 - 14*o**2 - o - 16. Let u be s(-6). Let h = -103 - u. Is h a multiple of 39?
True
Is (720/27)/(-8)*110/(-4)*48 a multiple of 23?
False
Suppose 51755 = 37*c + 13016. Suppose 70*i - 73*i = -c. Does 27 divide i?
False
Is 44 a factor of -10*(-201 + -45)*1/4?
False
Suppose 193182 + 1315464 = 186*s. Does 96 divide s?
False
Suppose -3060*d = -3058*d - 2306. Is d a multiple of 34?
False
Let p(s) = -4*s**3 - 25*s**2 - 37*s - 33. Let d(a) = -3*a**3 - 26*a**2 - 36*a - 32. Let h(b) = -5*d(b) + 4*p(b). Is h(31) a multiple of 2?
False
Suppose 56231 = 5*x - a, -58*a = -3*x - 56*a + 33740. Does 78 divide x?
False
Suppose 0 = -5*u - s - 3*s + 684, -5*u + s + 679 = 0. Suppose -35*o = -27*o - u. Does 6 divide o?
False
Let h(q) = q + 15. Let j be h(9). Let d(n) = -13*n - 36. Let u be d(-4). Is 23 a factor of (-4)/(12/(-725)) - u/j?
False
Suppose 0 = -0*c - c - 3*t - 5, -3*t = -4*c - 5. Let r = 16 + c. Suppose 2 = -4*h - r, -h + 146 = 2*y. Does 31 divide y?
False
Let w be 0*(2/12)/((-4)/(-12)). Suppose 4 = -4*q + 4*r, w = -q + 4*q + 3*r - 3. Suppose q = 3*v - 3 - 237. Does 16 divide v?
True
Suppose -7*u = -2*u - 10. Suppose -3*z + 5 = -u*z. Suppose 2*r + 7 = k - 14, -5*k + 120 = z*r. Is k a multiple of 2?
False
Let l = -25373 + 50669. Is 31 a factor of l?
True
Let r be 72/324 - -41*(-28)/(-18). Is 9/(388/r - 6) a multiple of 9?
True
Suppose 158*s - 11*s = 1380330. Does 6 divide s?
True
Let x(h) = 30*h**2 + 26*h - 24. Let d be x(12). Suppose -d = -26*n + 1268. Is 21 a factor of n?
False
Let j(u) = u**2 + 21. Let s be j(11). Suppose s = 10*t + 462. Is t/(-8) + 315/3 a multiple of 24?
False
Suppose 2573*d - 2565*d - 72360 = 0. Is d a multiple of 27?
True
Let v(h) be the second derivative of -6*h**3 - 9*h**2/2 - 1119*h. Let r be (-1)/(-2 - 7/(-3)). Does 22 divide v(r)?
False
Let m = 22092 - 10956. Is 48 a factor of m?
True
Suppose 0 = -5*i + 2*k + 17, k + 2*k = -i. Suppose -3*l + 6*x + i = x, l + 4*x = 1. Does 12 divide (-32)/12*l*-51?
False
Suppose 4*i + 70 = -2*t, 5*t - 3*t = 3*i - 91. Let j = 83 + t. Is j a multiple of 6?
True
Let z be -5*2/8 - 1164/(-48). Let w = -1708 - -960. Is 25 a factor of z/115 + w/(-10)?
True
Suppose f - 3*f + 1156 = 3*n, 0 = 5*n + 20. Suppose 2*v = s - f, 4*s - 470 = -v + 1821. Is 9 a factor of s?
False
Let b be 86/(-15)*-5*3. Let p = -11 + b. Is p a multiple of 9?
False
Suppose -46105 + 77512 + 92249 = 41*l. Is l a multiple of 8?
True
Suppose -2*i + 17052 = -2*g, 67*i - 64*i - g - 25590 = 0. Does 6 divide i?
True
Let j = 345 - 203. Suppose 13*o - 15*o = -j. Is 9 a factor of o?
False
Suppose -5*k - 5*k = -10. Let i(o) = 416*o**2 - 3*o + 1. Is i(k) a multiple of 13?
False
Let z = -355 - -364. Does 16 divide 1/z + 16458/351?
False
Let r(j) = -866*j + 5209. Let p be r(6). Let u(c) be the second derivative of -c**5/20 + c**4 + 13*c**3/6 + 6*c**2 + c. Is u(p) even?
True
Suppose 0 = 6*m - 28 + 10. Suppose 2*h + m*x = 129, 5*x + 15 - 150 = -2*h. Does 4 divide h?
True
Suppose -l - t + 10 = -12, 5*l - 102 = 3*t. Suppose 25*a = l*a + 8. Suppose 2*f + 25 = 3*i + 109, -84 = -a*f + 5*i. Is 14 a factor of f?
True
Let s(v) = -2*v**2 - 20*v - 16. Let j(y) = 3*y + 14. Let i be j(-9). Let w be s(i). Let b = w - -108. Is 7 a factor of b?
True
Let i(a) = 2*a**2 + 29*a. Let d be i(-16). Suppose -3*y + 0 = -2*k + d, 2*y + 25 = -k. Does 37 divide 105/(-10)*4/6*y?
False
Let r(w) = 84*w**2 - 100*w - 1242. Does 7 divide r(-12)?
True
Suppose -12 = -5*o + 2*o. Suppose -4*y - 4*i = -36, -5*i + 51 = o*y + 10. Suppose -5*j + 3*g + 613 + 307 = 0, j + y*g - 184 = 0. Is 46 a factor of j?
True
Let b = -45 - -44. Let r(i) = 25 - 17 - 214*i + 60*i. Is r(b) a multiple of 16?
False
Let p(f) = -f**3 + 8*f**2 - 5*f - 11. Let o be p(7). Suppose -o*r + 4*u = -23 - 854, u - 1431 = -5*r. Is r a multiple of 41?
True
Let k = -1426 + 5866. Does 111 divide k?
True
Does 7 divide ((-531)/(-354))/(3/3992)?
False
Suppose 4*b + b - 1100 = 0. Suppose -4*u + b = 5*w, 2*u - 84 = 7*w - 3*w. Does 10 divide u?
True
Let c = -14902 + 23766. Is 21 a factor of c?
False
Let o = -19 + 37. Suppose 3*n - o = 3*t, t - 2 + 6 = 0. Suppose -2*u = -3*x - 163, -u + n*x = 6*x - 65. Does 11 divide u?
True
Let o = 546 - 574. Let m = o + 50. Is m a multiple of 12?
False
Let j be (-2 - 1)/((-2)/40) + 4. Let x = j + -2. Is x a multiple of 15?
False
Let u = 23235 - 20438. Is u a multiple of 19?
False
Let i be ((-4854)/(-4)*(-8)/(-12))/(-1). Let h = i + 1541. Is h a multiple of 11?
False
Let k be 9 + -6 + 1*4. Suppose k*b - 49 = 6*b - 5*z, -5*b + 3*z = -133. Is b a multiple of 7?
False
Suppose 1093 - 6268 = -15*g. Let j = 489 - g. Does 36 divide j?
True
Let l be -3 + 190 + 0/5. Let i = -76 + l. Suppose 4*o - 431 = -i. Is 16 a factor of o?
True
Let p(s) = s**2 + 37*s + 603. Is 2 a factor of p(-26)?
False
Suppose -a - 2 = k, -5*a - 4*k = -6*k + 3. Let h(g) = 4*g. Let p be h(-2). Let r = a - p. Does 7 divide r?
True
Let c(w) = w + 14. Let j be -10 - 0*(-1)/3. Let i be c(j). Suppose -3*y = i*y - 329. Does 8 divide y?
False
Let n = 3 - 2. Let m(r) be the first derivative of 69*r**4/4 + r**3/3 - 3*r**2/2 + 2*r + 200. Is 15 a factor of m(n)?
False
Is (2/(-4) - 10/(-12)) + (-14450352)/(-1008) a multiple of 262?
False
Let y(c) = 33*c + 83. Let x be 1/(4/16*4/14). Does 24 divide y(x)?
False
Let l(i) = -464*i - 339. Is 83 a factor of l(-12)?
True
Let c(o) = -12*o - 16. Let z be c(-3). Let d(s) = 13 - z*s - 4 + 7*s. Does 11 divide d(-8)?
False
Let u be (-4860)/(-144)*((-32)/3)/(-2). Suppose 5*p = -g + u, 3*p = 10*g - 12*g + 115. Is p a multiple of 5?
True
Suppose 11237 + 5153 = 5*n + 5*g, -2 = -g. Is n a multiple of 14?
True
Suppose t = 3*h + 6 - 1, 4*h = t - 6. Suppose 5*u = t*u + 15, 96 = -2*w + 4*u. Let i = w + 58. Is 4 a factor of i?
True
Suppose -4 = -5*y + y, -148 = -3*a - y. Suppose -a*t = -52*t + 45. Let u = 49 + t. Is 8 a factor of u?
True
Let d = 38 + 39. Suppose -d = 4*g - 173. Does 24 divide g?
True
Let g be (-119294)/(-49) - ((-51)/21 - -2). Suppose 5*u = -4*w + 708 + 1227, 3*u - g = -5*w. Is 14 a factor of w?
True
Let a(t) = 163*t - 16. Let h(p) = -p**3 + 18*p**2 - 13*p - 64. Let v be h(17). Does 12 divide a(v)?
True
