 + k*f = -63 - 17, -5*f - 140 = -5*a. Is 7 a factor of a?
False
Let w be 8*(-1 - 0 - -4). Suppose 4*h + 108 + w = 0. Does 15 divide h/55 - 276/(-10)?
False
Let f(s) = -13*s - 15. Suppose 2*v - 11 = -3*q - 34, -4*v = -4*q + 96. Is f(v) a multiple of 29?
True
Let y = -415 + 419. Suppose -420 - 556 = -y*q. Is q a multiple of 78?
False
Is 106 a factor of -8 + 124/14 - (-516384)/56?
True
Let o(f) = 28*f - 56. Let v be o(2). Suppose 5*k - 301 - 129 = v. Does 4 divide k?
False
Suppose 826 = 2*o + 265*f - 269*f, o - 5*f - 425 = 0. Is o a multiple of 11?
False
Let s be (16/(-10))/((-28)/(-1750)). Let o = 20 - s. Suppose 2*m = -3*m + o. Is 3 a factor of m?
True
Suppose -4*z + 45932 = -5*g, -73*z + 4*g + 45928 = -69*z. Is z a multiple of 74?
False
Let q = 67 + -55. Suppose 5*y = 137 - q. Suppose -4*t + 439 = 3*k, 93 + y = t - 2*k. Does 16 divide t?
True
Suppose 3 = -l + 2. Let n be (l - (-4)/(-8)*-6)/1. Does 25 divide 73 + (3 - -1 - n)?
True
Let z(v) = v**3 + 4*v**2 + v - 7. Let q be z(-3). Is 11 a factor of q + -3 - (-8 - -452)*-1?
True
Let b(a) = 26*a + 6. Let f be b(6). Let i(h) = h**2 - 28*h - 29. Let t be i(-1). Suppose -5*n + n + 4*c + 216 = t, 3*n + c = f. Does 9 divide n?
True
Let w(n) = 9882*n - 346. Is 16 a factor of w(1)?
True
Let p be 3 + (-6 - 6/(-2)). Suppose 144 = -2*z - 3*t - 161, p = z - 4*t + 125. Let s = z - -301. Is 13 a factor of s?
True
Let o = -10498 - -18757. Is o a multiple of 337?
False
Suppose 22*r = 18511 + 10595. Does 27 divide r?
True
Let x = -66 - -75. Suppose x*k = 4*k + 5*p + 15, 4*p = -4*k + 12. Is (-10)/(-75)*5 + 754/k a multiple of 36?
True
Suppose 0 = -2*i, -x + 6*i + 18 = 7*i. Suppose 8*q + x = 162. Is 18 a factor of q?
True
Let c(r) = -88*r - 7. Suppose 12*v + 3 = -69. Let p be c(v). Suppose p = 10*b - 1009. Is 17 a factor of b?
True
Let a(y) = -y**3 + 14*y**2 - 11*y + 124. Is a(-15) a multiple of 43?
False
Let g = 72 - 122. Let k be (g/(-15))/(6/(-495)). Let u = k + 400. Does 25 divide u?
True
Suppose -185*b + 1214010 = 25*b. Does 43 divide b?
False
Let w be ((1 + -1)/(-3))/1. Suppose 2*x = -3*q + 212, w = 2*q + 3*x - 2*x - 140. Suppose -2*k - 3*k - l = -144, 4*l = 3*k - q. Is k a multiple of 2?
True
Let s = -12 - -19. Suppose 0 = -15*c - s*c + 3542. Is c a multiple of 23?
True
Let y = -24405 + 64801. Does 39 divide y?
False
Suppose 35*w = -j + 31*w + 49294, 2*j = -4*w + 98624. Is 45 a factor of j?
False
Let s be -2*8 + (-6)/(-3). Let a be 4*(-2 + 1)/(-2) - s. Is 2/3*(5 + 424/a) a multiple of 19?
False
Let v be -17 + 16 - 12/(-4 + 2). Suppose 19*g - v*g = 42. Suppose -g*j = -800 + 50. Does 34 divide j?
False
Let m = -166 + 514. Suppose 5*z = 162 + m. Suppose 465 - z = 3*g. Is 23 a factor of g?
False
Let m(g) = 24*g**3 - 6*g**2 + 10*g - 151. Let r(y) = -21*y**3 + 5*y**2 - 9*y + 150. Let t(d) = 6*m(d) + 7*r(d). Does 25 divide t(0)?
False
Let m(w) = 17*w**2 + w - 28. Let z = 461 + -457. Does 28 divide m(z)?
False
Let w = 5 + -3. Let d(u) = 19*u - 692. Let k be d(48). Suppose 4*g - x = g + k, 4*g = w*x + 296. Is g a multiple of 18?
True
Suppose -3*p + 2*g + 35 = 0, -5*g + 2 = 7. Suppose 3*j - 5 + p = 0. Is j/(-1) - (-58)/(-4 + 5) a multiple of 10?
True
Suppose 3*q = -2*v + 14, -2*v = -8*q + 3*q + 2. Suppose -8 = 2*s, 2*c - 341 + 13 = v*s. Does 13 divide c?
True
Let l(c) = -4*c + 25. Let j be l(5). Suppose 403 = j*u + 28. Suppose -4*p = 5*s + p - u, 0 = -s + 5*p + 15. Is s a multiple of 3?
True
Suppose -2*r - 2390 - 2278 = -4*t, 5846 = 5*t + 3*r. Is 73 a factor of t?
True
Suppose 29*p - 7508 + 314 = 9162. Is p a multiple of 99?
False
Let u = 2546 + -1732. Suppose -3*r - u = -14*r. Does 37 divide r?
True
Let u = -51 + 56. Suppose -4*o - u*l = -20, -4*l + 3*l - 5 = -o. Suppose 0*v + 20 = 3*g + 5*v, -v - 24 = -o*g. Is g a multiple of 3?
False
Suppose -11576 = -115*o + 1517464. Is 16 a factor of o?
True
Suppose -22956 = -28*m - 6184. Let x = m + -554. Is 14 a factor of x?
False
Does 75 divide (-67495)/(-15) + (-3)/(-9)?
True
Let i(y) = 6*y**2 - 14*y - 35. Let p = 119 - 123. Let g(f) = -5*f**2 + 13*f + 35. Let q(j) = p*i(j) - 5*g(j). Is q(-5) a multiple of 5?
True
Let f = -1467 + 5806. Is 5 a factor of f?
False
Let d be 31 + 7 - (-3)/((-6)/4). Suppose -d = 4*x + 3*b - 241, 4*x = 4*b + 212. Suppose -2*p + x = 34. Is 9 a factor of p?
True
Suppose 0 = -6*b + 30 - 6. Suppose v - 110 = -b*v. Does 8 divide (-2 - (-48)/v) + (-680)/(-11)?
False
Let s be -6 + -2 + 0 - -3320. Suppose 5*y = s + 2428. Does 51 divide y?
False
Let y(m) = 2*m - 6. Let s be y(4). Suppose -n + s*n = -594. Does 28 divide n/(-21) - 8/28?
True
Does 83 divide (38/(-6))/((-2)/2874) - (-48 - -41)?
False
Suppose 2*f = 4*f - 3*d + 479, 0 = -2*f + 5*d - 481. Suppose -114 = 4*u + 490. Let m = u - f. Does 19 divide m?
False
Let y = -7387 + 7940. Is 7 a factor of y?
True
Let w = 4370 - 2030. Suppose -18*v = -27*v + w. Does 26 divide v?
True
Let l(a) = -3*a**2 - 4*a**2 + 7*a + 5*a**2 - a**3 + 3*a**2. Let x = -72 + 66. Is 30 a factor of l(x)?
True
Suppose 129 + 18 = 7*h. Is 9/(8/(4928/h)) a multiple of 44?
True
Let g(s) = 2*s**2 - 10*s + 14. Suppose -5*r - 4*v + 96 = 0, 0*r + r + 5*v - 36 = 0. Suppose 0*p + r = -4*p, 0 = 4*o - p - 56. Does 32 divide g(o)?
False
Let m = -4 - 14. Let n be (-4)/m + (-3052)/(-36). Is 14 a factor of 331/3 + n/51?
True
Suppose -3*m - c = -2521, 5057 = 6*m + 144*c - 145*c. Is m a multiple of 14?
False
Let d(v) = 143*v**2 + 7*v + 7. Does 23 divide d(4)?
True
Let c be -3 + (12 - -5) + 0/1. Let z be (-9 - -7)/((-4)/c). Suppose 109 = z*i - 59. Is 8 a factor of i?
True
Suppose -129357 = 888*g - 915*g. Is 17 a factor of g?
False
Suppose 7757 + 4975 = 3*u. Suppose 5*d + u = 5*l - 406, 0 = 4*l + d - 3720. Does 37 divide l?
False
Let t = -21667 - -48856. Is t a multiple of 9?
True
Let v be 21/(-49) + (-51)/(-21). Suppose v*c + 21*c = 12075. Is c a multiple of 7?
True
Let q = 1339 - 759. Let c = q - 217. Is c a multiple of 33?
True
Let i be 1/(7/70) - 6. Suppose -i*r = 3*u - 918, -338 = -3*u + r + 595. Is u a multiple of 10?
True
Let v = 35933 + -30813. Does 23 divide v?
False
Let n be (-126)/(-2 - (-35)/15). Let g = n + 680. Does 40 divide g?
False
Let z = 107 + -67. Let x = 42 - z. Suppose -19 = x*h - 41. Is 4 a factor of h?
False
Let o = -2305 + 2823. Is o a multiple of 37?
True
Suppose k = -5, -5*q + 25*k + 112755 = 26*k. Does 115 divide q?
False
Let i(m) = 2*m**2 + 8176. Let p be i(0). Suppose -12*u + p = 4*u. Is u a multiple of 60?
False
Let t(r) = 45*r - 21. Let c(x) = 23*x - 11. Let f(u) = 9*c(u) - 4*t(u). Let n be f(-6). Let y = -38 - n. Is 24 a factor of y?
False
Does 26 divide ((-2)/6)/(69/(-2856807))?
False
Let r(z) = 24*z**2 + 96*z + 304. Is 3 a factor of r(-3)?
False
Suppose -61*x - 149*x + 888386 = 283*x. Is 114 a factor of x?
False
Let n = -225 + 230. Suppose -n*h - 6*y + 566 = -5*y, 0 = h + 5*y - 94. Is h a multiple of 6?
True
Suppose 29 = 31*s - 126. Suppose -3*o + 821 = s*d, -4*o - 815 = -7*o + d. Is 17 a factor of o?
True
Let o(w) = -5*w**3 - 118*w**2 + 22*w + 55. Is 21 a factor of o(-25)?
False
Let k(x) = 124*x + 2. Suppose -194 + 62 = -6*c. Suppose w = -10*w + c. Does 10 divide k(w)?
True
Let d(t) = 5*t**2 + 18*t - 49. Let q = -251 + 239. Is d(q) a multiple of 23?
False
Let h be (-90)/1 + -1 + 3. Let m = -47 - -154. Let f = h + m. Is 2 a factor of f?
False
Suppose -4*g + 7*g + 78 = 0. Let k be (-1 + g/2)*(9 + -10). Suppose 0 = k*z - 3*z - 1232. Is z a multiple of 8?
True
Does 74 divide (-134706)/(-91) + (-204)/28 + 7?
True
Let v be (-116)/2 + -5 + 3. Does 9 divide v/(-25)*(-30)/(-8)?
True
Let s = 225 - 223. Suppose -50 = f + 5*l - 462, -s*f + 3*l + 811 = 0. Does 33 divide f?
False
Suppose -2*w = -3*i - 1522, 1527 = -3*i - w - 2*w. Let d = i - -534. Does 4 divide d?
False
Let h(b) = -5*b**2 - 304*b + 774. Does 10 divide h(-59)?
False
Let f be (-3687)/(-6) - (-3 - (-9)/6). Suppose 18*p - f = 16*p. Does 22 divide p?
True
Suppose -419*f - 5*k = -415*f - 11615, f - 2860 = 5*k. Does 18 divide f?
False
Let u(x) = -3*x**2 + 7*x - 23. Let p(i) = i**2 - 2*i. Let l(f) = 2*p(f) - 2*u(f). Is l(-10) a multiple of 38?
True
Let m = -1605 + 7509. Is 21 a factor of m?
False
Let h(u) be the second derivative of u**5/20 + 3*u**2/2 - 29*u. Let y be h(0). Suppose 423 = y*s + 15. Does 49 divide s?
False
Suppose -j = 4*j - 15. Suppose -2*v + j*w - 27 =