se
Is 15311 - (6/(-6) - -2) a multiple of 123?
False
Suppose 0 = 4*n + 12, -3*f + 0*f + 3 = 3*n. Suppose 2*k + 12 = -2*p, k + 3*p = 5*k - f. Is 10 a factor of 7/k*-9 + 4/(-8)?
False
Let i be ((-2)/5)/2 - 15064/(-70). Suppose 5*v - i = -5*q, -2*v - 2*v - 33 = -q. Suppose q = 5*j - 3*u - 23, 5*j - u - 68 = 0. Is 7 a factor of j?
True
Suppose 12 = r + 2*r - 3*q, r = -5*q + 34. Suppose -r*z = -847 + 253. Let p = z - -84. Does 15 divide p?
True
Let p(c) = 93*c**2 + 9*c - 1. Let y = -971 - -973. Does 8 divide p(y)?
False
Let y = 23 + -17. Let n(m) be the second derivative of 5*m**4/12 - m**3/6 - 10*m**2 + 6*m. Does 7 divide n(y)?
True
Let g = 29 + -17. Let c be (-90)/27*(g/(-10) - 0). Suppose -p = -2*d - 5*p + 88, 0 = -c*d + 2*p + 196. Is d a multiple of 13?
False
Let h(w) = -2*w**2 - 48*w - 22. Let u be h(-23). Let z = -65 - -29. Let d = u - z. Is d a multiple of 12?
True
Let k(x) = -x**2 - 25*x + 165. Suppose 4*g + 32 + 50 = -3*m, 4*m + g = -118. Does 2 divide k(m)?
False
Let j(l) = -48 + 1 - 9 - 18*l. Does 11 divide j(-19)?
True
Let y(w) = 37*w**2 - 15*w - 590. Is y(-14) a multiple of 8?
True
Let r = -367 - -880. Let n = r + 72. Does 13 divide n?
True
Let g = 106 + -93. Suppose 14*v - g*v = 616. Is 43 a factor of v?
False
Let j be ((-7)/(-2) + -3)/(4/16). Suppose 0 = 3*u - 6, j*a - 4*u + 16 = 112. Does 21 divide (0 - -2)*a + (9 - 12)?
False
Let c be (32 - 4)/(4 + -2). Suppose -6 = 4*r + c. Is r/15*1 - (-302)/6 a multiple of 4?
False
Suppose 12*s - 44583 + 9591 = 0. Is 18 a factor of s?
True
Let b(i) = -32*i - 55. Let s(d) = -29*d - 55. Let h(g) = -2*b(g) + 3*s(g). Does 14 divide h(-3)?
True
Let u(l) = 3*l**2 - 6*l - 1. Let n(x) = 4*x**2 - 7*x - 2. Let w(v) = 4*n(v) - 5*u(v). Let s be w(-3). Suppose t - 144 = -s*t. Is 18 a factor of t?
True
Let s = 39 - -25. Suppose -4*o + s = -12*o. Is 14 a factor of ((-4)/(-10))/(-9*o/2520)?
True
Let g = 134 + -81. Let x(a) = 2*a**3 + 6*a**2 - 7*a - 8. Let r be x(-3). Suppose -5*l = r - g. Does 2 divide l?
True
Let q(p) = -670*p**3 + 4*p**2 + 16*p + 17. Does 15 divide q(-2)?
False
Let w(p) = -3111*p - 2093. Is w(-4) a multiple of 84?
False
Let m = 144190 - 81127. Is 231 a factor of m?
True
Let w = -636 - -1668. Let c be (1/(-2 - -1))/(49/(-98)). Is -1 + c - (w/6)/(-4) a multiple of 22?
True
Let d be (-2 - (-75)/6) + 78/(-52). Let n be ((-15)/(-4))/(2/40). Suppose n + d = c. Does 15 divide c?
False
Suppose 45*p = 46*p - 22. Suppose 0 = 3*s - p - 98. Does 26 divide s?
False
Suppose 4*u - u + 20853 = 0. Does 14 divide (u/(-5 - 2))/((-6)/(-2))?
False
Let w(t) = 27*t + 111. Suppose -3*i = -7 - 26. Is w(i) a multiple of 8?
True
Suppose -7*m = -8*m - 5*y - 81, 5*m + 428 = -2*y. Does 6 divide 6/((12/m)/(-6))?
True
Let x = -14 + 14. Suppose x = -5*p - 5*r + 5, -2*p - 3*r = 6 - 3. Suppose 4*i + p*v - 3*v - 204 = 0, -128 = -2*i + 5*v. Is i a multiple of 18?
True
Suppose c + 3*c - 448 = 0. Let t = c + -64. Is 5 a factor of (t/(-20))/((-108)/(-40) + -3)?
False
Suppose 11568476 = 216*i + 3263708. Is 54 a factor of i?
True
Let l(x) = 74*x**2 + 2*x + 62. Let c be l(-8). Suppose -c = -28*h + 5270. Is 16 a factor of h?
False
Let a be (-5)/20*-6 + 3/2. Is 43 a factor of (1780/(-15) + a)/(2/(-6))?
False
Suppose 4*v + 3016 = 5*t, -5*t - 4*v + 3024 = -0*t. Let o = t - 377. Does 10 divide o?
False
Let n be (-2 - 6/(-2))/(2/(-90)). Let s = n + 53. Suppose -4*o - s*v + 411 = -9*v, 5*v = -5*o + 495. Is o a multiple of 6?
True
Let v = 13756 - 7865. Is v a multiple of 115?
False
Let f = -15143 + 18118. Is 5 a factor of f?
True
Let c(t) = -t**2 - 6*t - 7. Let o be c(-6). Let j(d) = d**2 + 8*d + 4. Let m be j(o). Let v(w) = -36*w - 3. Is v(m) a multiple of 21?
True
Let l(n) = -n - 7. Let y be l(2). Let q be (y/27)/(2/(-42)). Let u(f) = 14*f + 20. Is 15 a factor of u(q)?
False
Let s = 109672 + -66846. Is s a multiple of 38?
True
Let w(i) = i**2 + 6*i - 2. Let k be w(4). Suppose 0 = 2*h - k - 6. Let f(n) = -n**2 + 24*n + 4. Does 8 divide f(h)?
True
Suppose 0 = 4*n - 176 - 304. Suppose 2*v + 4*b - 9*b = 135, -2*v + 2*b + n = 0. Suppose 4*j - 315 = -v. Does 13 divide j?
True
Let v = -230 - -232. Is 12 a factor of (-8)/v*79/(-4)*2?
False
Let q be (38/6 + -5)/(2/978). Suppose -3*y + q = l, -4*y + 880 = -11*l + 7*l. Is y a multiple of 66?
False
Let f = 22157 - 19520. Does 18 divide f?
False
Suppose -t + 40 = 2*m, 0 = -2*m - 3*t + 5*t + 46. Let n = m - 27. Is (-38 + 8)*n/4 a multiple of 15?
True
Let p(r) = 294*r + 195. Let y be p(21). Suppose 95*i = 84*i + y. Is 44 a factor of i?
False
Is 9 a factor of (-29895)/(-25) + (-162)/(-135)?
True
Let s(h) = -73*h - 2200. Does 176 divide s(-54)?
False
Suppose 4*b - 393 = b. Suppose -5*i - 254 = 2*q, i - 218 = 2*q - 3*i. Let w = b + q. Is w a multiple of 7?
True
Suppose 2*z - 5*k = -386, 0 = 4*k - 2 + 18. Let g = 21 - z. Is 7 a factor of g?
True
Let y(i) = -64*i + 336. Does 43 divide y(-27)?
True
Let c(g) = 4*g**3 - g**2 - 4*g + 4. Let f = -5 - 30. Let t = 38 + f. Does 22 divide c(t)?
False
Suppose 9*s - 54 = 3*s. Let r(w) = -w**2 + 14*w - 52. Let o be r(s). Is 59 + 3 + (o - -2) a multiple of 44?
False
Let p(w) = w**2 + 24*w + 51. Let m be p(-22). Suppose -1202 = -m*l - 243. Does 8 divide l?
False
Let j(h) = 10*h**2 + h + 28. Let p(b) = -29*b**2 - 3*b - 85. Let q(y) = -8*j(y) - 3*p(y). Is 67 a factor of q(-5)?
True
Suppose b + 3*y = -3*b + 18464, 4*y - 18468 = -4*b. Is 118 a factor of b?
False
Let k(n) = -4*n - 3 - 3*n**2 + 2*n**2 + 4*n**3 - 3*n**3 - 3*n**2. Let r(g) = -4*g**3 + 13*g**2 + 13*g + 9. Let d(w) = -7*k(w) - 2*r(w). Is 13 a factor of d(3)?
False
Suppose -92*b = -93*b + 1, -b = 2*h - 5683. Is h a multiple of 9?
False
Is (21/(-315))/(2/(-10)) + (-10166)/(-3) a multiple of 6?
False
Let w = -2172 - -5660. Does 32 divide w?
True
Let s = 519 + -549. Let t(n) = -5*n - 125. Does 4 divide t(s)?
False
Let a = -473 + 474. Suppose -14 = 4*t + 3*w, 7*t - 4*t + 2*w = -10. Does 34 divide (t + -3 - -191)/(a + 0)?
False
Let k = 227 + -222. Suppose -5*t - 530 = -k*u, -2*t + 221 - 5 = 2*u. Is u a multiple of 41?
False
Let r(x) = -87*x + 80. Let d(u) = 3304*u - 3038. Let b(y) = -2*d(y) - 77*r(y). Does 25 divide b(3)?
False
Let t = 18290 - 12873. Is 107 a factor of t?
False
Suppose -4*a + 3*f + 12220 = 7*f, 6114 = 2*a + f. Is 48 a factor of a?
False
Let p(r) = 631*r - 470. Is p(8) a multiple of 21?
True
Suppose 6116 = m + 3*l, 3*l = -216 + 219. Is 142 a factor of m?
False
Let g = -13 + 17. Suppose -2*z = 4*h, z + g*h = 4 - 10. Is 4 a factor of z/(-4)*(-14 + -2)?
True
Suppose 0 = -163*j + 59*j + 97240. Is j a multiple of 5?
True
Let x = -16 - -17. Let l be 482/4 - x*1/(-2). Suppose -7*i + 2*i + 5*m = -120, 5*i - 4*m - l = 0. Is i a multiple of 2?
False
Suppose 22*v - 101290 = -24378. Is v a multiple of 92?
True
Let t(k) = -11 + 4 + 3*k**2 - 3 + 0*k**2 - 5 + 4*k. Let j = 1 - -7. Is t(j) a multiple of 39?
False
Suppose 0 = 4*x + n + 689 - 35828, -5*n - 17531 = -2*x. Does 83 divide x?
False
Let f = 246 + -244. Suppose 2*v - f*h - 294 = 290, -v + 308 = -5*h. Is 36 a factor of v?
True
Let f(l) = -3*l**3 - 69*l**2 - 10*l + 49. Let j be f(-23). Does 31 divide (2 + -14)*j/(-36)?
True
Is 54 a factor of (-458246)/(-62) + (3 - -4) + 18/(-279)?
True
Let u(s) = 5*s**3 - 33*s**2 + 18*s + 13. Is 145 a factor of u(13)?
True
Suppose -5*m = -2*m + 2*o + 3, 0 = o - 3. Let c(i) = -i**3 - 5*i**2 - 7*i - 1. Let j be c(m). Suppose 0 = -j*n - 26 + 314. Does 18 divide n?
True
Let p(c) = -11*c - 59. Let x be p(-13). Let n be (-2)/3 + 27860/x. Let s = -156 + n. Does 25 divide s?
True
Let y = -324 + 332. Suppose 0 = 3*w + y*w - 1815. Is 11 a factor of w?
True
Suppose 0 = -4*k - 1413 + 225. Let w = k + 525. Is 19 a factor of ((-3)/(-4 + 10))/((-2)/w)?
True
Suppose 3*y + 948 = d, 7*y = 2*y - 5*d - 1560. Let p = y - -576. Is p a multiple of 17?
False
Let b be 34/(-7) + 5 + 8/(-7). Let f be (-2)/(-6)*b - (-2144)/24. Suppose c + 3*w - 24 = 0, 0 = -4*c - 3*w + 34 + f. Is 9 a factor of c?
False
Let l(r) = -r**3 - 10*r**2 + 9*r - 17. Let v be l(-7). Let o = v - -260. Does 8 divide o?
False
Let o be 0/((-8)/24*-6). Suppose o = 4*z - 11*z + 2660. Is 95 a factor of z?
True
Suppose -3*b = 3*f - 21, 0 = 3*b + 2*b - 3*f - 3. Let s(v) = 14*v**2 - 5*v + 2. Let n be s(b). Let l = 199 - n. Does 6 divide l?
False
Let z = 2583 + 3201. Does 29 divide z?
False
Let