 of 35/(-7) + 140 + d?
False
Suppose n + 4*f = 302, 2*n - 885 = -5*f - 272. Suppose o + a + 129 = n, 3*a = 5*o - 957. Is 21 a factor of o?
True
Let c be (-7 - 610/(-50))*(-5)/(-1). Suppose 0 = -6*q + c*q - 5400. Does 6 divide q?
True
Let i be 4 - (4 + -1 - 5)*1. Let l be (1 + (-16)/i)/((-2)/12). Is 11 a factor of (l/3)/((-24)/(-540))?
False
Let k = -1525 + 2404. Suppose 612 = 3*m - k. Is m a multiple of 56?
False
Let o(x) = x**3 - 12*x**2 + 15*x - 645. Is o(26) a multiple of 63?
False
Suppose -b + 2995 - 22124 = -12*b. Is 13 a factor of b?
False
Suppose -5*v = 2*b - b - 14, 0 = 4*b + 4. Suppose -r = -2*k + 11, 7*k - 4*k = v*r + 18. Suppose -3*h - 543 = -4*n, -4*n + 265 = -2*n + k*h. Is 31 a factor of n?
False
Suppose 0 = -4*s - 250 + 1314. Suppose 116*o - s = 109*o. Is 12 a factor of o?
False
Suppose 180 = 9*d + 180. Suppose 2*h - 3*q - 100 = d, -10*h + 7*h - 5*q = -131. Is 3 a factor of h?
False
Let i = -98 - -112. Suppose -i = -3*l + 3*r - 149, 0 = -2*l - 3*r - 110. Is 2 a factor of 2*l/21*3/(-2)?
False
Let q = -7 + 11. Suppose 2*p - o - 566 = 286, 0 = 5*p + 4*o - 2117. Suppose b = -q*b + p. Is 38 a factor of b?
False
Let g = -271 - -275. Suppose 0 = -g*d + 4*i + 2108, 4*i - 474 = -d + 43. Does 21 divide d?
True
Suppose 2*s + 743 = -5*q, 0 = -2*s - 3*q + 67 - 808. Is (s/12)/(8/(-96)) a multiple of 17?
False
Let o = 3210 + -2181. Does 16 divide o?
False
Let d(f) = f**3 - 5*f**2 + 2*f + 2. Let b be d(5). Suppose -b = -c - 3*c. Suppose -531 = -c*p - 6*p. Is p a multiple of 20?
False
Does 50 divide (-7596426)/(-403) + (-88)/(-286)?
True
Suppose -39*y + 65373 = -6*y. Suppose 1529 = 6*f - y. Is 65 a factor of f?
True
Suppose 4*r - 6*r + 7577 = 713. Is 78 a factor of r?
True
Let d be (9045/(-40))/(-9) - 5/40. Suppose -d = -2*g - 31, -g = -5*n + 1253. Is n a multiple of 3?
False
Suppose 39*u + 64044 = 44*u + 3*i, -25648 = -2*u - 5*i. Does 18 divide u?
False
Let t = 35 + -28. Let y(g) = g**3 - 6*g**2 + 4*g - 4. Let f be y(t). Suppose -77*m + 352 = -f*m. Is m a multiple of 8?
True
Let l = 4536 - 6417. Let i = -1206 - l. Is 27 a factor of i?
True
Suppose 8*v - 26 = -5*v. Suppose -5*w + 3 = -v. Let x(h) = 251*h**2 - 2*h + 1. Does 16 divide x(w)?
False
Suppose o + x - 8412 = 0, -33668 = -4*o - x + 2*x. Suppose -9*b = -17*b + o. Does 23 divide b?
False
Let g be (3 + 0)/(-15) + (-1342)/(-10). Suppose -583 + g = -j. Is j a multiple of 7?
False
Suppose 48476 = 4*h + 4*x, 10*h - 79476 - 41786 = 2*x. Does 125 divide h?
True
Let l = 3576 + -2536. Is 36 a factor of l?
False
Let l = -5 - 15. Let h be (-5)/(l/(-8)) - -108. Suppose -2*p + 2*r - r + 91 = 0, 2*p + 4*r - h = 0. Does 22 divide p?
False
Suppose -1084 = -4*f + 5*w, -18*f - 778 = -21*f - 5*w. Does 19 divide f?
True
Suppose 5*w + 1730 = -2*z, 0 = 32*w - 29*w + 4*z + 1052. Let y = -78 - w. Is y a multiple of 9?
False
Suppose 26*j + 9 = 29*j. Let f be ((-6)/7)/(5/(-1540)). Suppose j*p + f = 3*h, -5*p + 115 = 5*h - 325. Is h a multiple of 9?
False
Suppose 2*o - 19 = 5*l, -o + 4*o - 34 = 2*l. Suppose 0 = o*d - 3*d - 27. Let x(c) = 6*c**2 - c. Is x(d) a multiple of 7?
False
Suppose 5*b + 4*n - 1770 = 0, -3*n - 685 = -7*b + 5*b. Is b a multiple of 11?
False
Suppose i + 386 = -3*s + 16680, -4*i + 5402 = s. Does 19 divide s?
True
Let d be (-890)/12 - (4 + 100/(-24)). Let v = -74 - d. Suppose v = 9*f - 37 - 1412. Is f a multiple of 23?
True
Let v = 2242 + 6263. Does 15 divide v?
True
Let t(c) = c**3 - 15*c**2 - 12*c - 41. Let g be t(17). Let r = g - 315. Does 3 divide r?
True
Let b(s) = -10*s + 0*s - 8*s - 16 - 2*s. Does 19 divide b(-6)?
False
Let g = 30 - 25. Suppose -4*h = -2*i, 8 = -h + g*i - 10. Suppose -h*l = -2*s - 2*s + 756, -8 = 4*l. Is s a multiple of 17?
False
Suppose 138*p + 163093 = 684733. Is p a multiple of 35?
True
Let p be 7 + (-315)/49 - (-3)/7. Let w be p - (10/(-5) - -2). Is 138 + 9 + 3*(w - 0) a multiple of 47?
False
Let c(i) = -37*i + 88. Let k be (5 + ((-129)/21 - -2))*-21. Is c(k) a multiple of 13?
True
Suppose -6*x + 29 + 1 = 0. Suppose -x*l = -2*g - 606, -3*l + 370 = 3*g - g. Let h = l - 80. Is h a multiple of 42?
True
Suppose 15*t - 13*t = 24. Suppose 3*s = -t, -5*m + 0*s - 3*s + 188 = 0. Is m a multiple of 8?
True
Suppose -311620 - 283100 = -118*w. Is 112 a factor of w?
True
Let z be 1/6*19 + (-9)/54. Let o be 16/(-64) - 633/(-4). Is o/z - (-5)/45*3 a multiple of 9?
False
Let z = -8214 + 11598. Does 72 divide z?
True
Let f(b) = -140*b - 241. Is 9 a factor of f(-21)?
False
Let t(l) = -l**2 - 3*l + 153. Suppose c + 2 = -3*y, 10*y - 3*c - 6 = 14*y. Is t(y) a multiple of 51?
True
Let f be 14/4 - (-7)/14. Let r be (-1)/(f*1/96). Let a = r - -37. Is a a multiple of 4?
False
Suppose -2*q = -q + 3*m - 26, 3*q + 4*m - 53 = 0. Let g be (-2)/3*(-5280)/q. Suppose 3*j = -2*v + 61 + g, 961 = 5*v - j. Does 31 divide v?
False
Does 11 divide (-64*29)/(132/(-264))?
False
Suppose -f = 5*a - 2*a - 24, 0 = -3*a + 3*f + 12. Suppose -2*v = -a*v. Suppose v = -16*g + 11*g + 115. Is g a multiple of 4?
False
Let k(c) = 3*c**2 - 7*c + 30. Suppose -2*q - 16 = 3*w - 6*w, -5*q = -w + 40. Is 11 a factor of k(q)?
False
Does 21 divide (-3394)/4*(1 + -18 + 15)?
False
Suppose -3*q + w + 4*w = 23, 0 = 4*q - 4*w + 20. Does 7 divide 1 + q - (4 + -5 - 43)?
False
Let t(o) = 11*o**2 - o + 3. Let x(d) = 30. Let a(c) = c - 29. Let w(s) = -2*a(s) - 3*x(s). Let h be w(-17). Is 14 a factor of t(h)?
False
Let t = -45 - 36. Let a = 86 + t. Suppose a*x - 2*x = 192. Is 6 a factor of x?
False
Let b(k) = -6*k - 24 - 5*k + 2*k**2 - 5*k - 3*k**2 - 12*k. Let f = -29 - -14. Does 31 divide b(f)?
False
Is 107 a factor of (3/(-15))/((-33)/105930)?
True
Suppose 15*h - 303 = -33. Is -9*(-6)/h - -57 a multiple of 6?
True
Let z = -3196 + 10132. Is 48 a factor of z?
False
Let t = 14 - 15. Let y(i) = -4 + 4 + 9 - 92*i - 11. Does 15 divide y(t)?
True
Suppose 5 = -5*s - o, 4*o + 5 = -s + 4. Let j be -5 + (s/2 - (-2)/4). Let x(g) = 8*g**2 - g + 20. Is x(j) a multiple of 15?
True
Let i = 9438 + -5126. Is 58 a factor of i?
False
Let r be (16/20)/(18/135). Suppose 5*n - 1084 = i, n + r*i - 3*i = 204. Is n a multiple of 36?
True
Let u(t) = 4*t**3 - 6*t**2 - 7*t - 15. Let s be u(-6). Let c = 1492 + s. Does 39 divide c?
False
Suppose 5*r + 3*a - 373 - 321 = 0, 2*r - 3*a - 286 = 0. Suppose r = -y + 6*y. Suppose y + 83 = d. Does 37 divide d?
True
Let v be (-14)/(-28) - ((-1281)/6 + -1). Let p = 233 - v. Does 6 divide p?
True
Does 19 divide (-154132)/(-26) + (-8)/208*4?
True
Let j = 3932 + 5842. Does 181 divide j?
True
Let u = -19 + 22. Suppose 2*d + 1414 = 4*g, u*g - 2*d = g + 712. Suppose -5*o + s + g = 0, 73 = o - 3*s - 0*s. Is 10 a factor of o?
True
Let b(q) = -q**3 + 72*q**2 - 128*q - 366. Is 8 a factor of b(70)?
False
Suppose 4*z - 19511 = -k + 7249, 0 = 4*z + 24. Is 72 a factor of k?
True
Let m(r) = 51*r + 1184. Is 64 a factor of m(18)?
False
Let k be (-9 + (-462)/24)/((-2)/56). Let h = k + -455. Does 28 divide h?
True
Suppose -2*n + 1510 = -12*n. Let p be ((-9)/(-5) - 1)*-70. Let v = p - n. Is v a multiple of 43?
False
Is (11307/8)/((-33)/(-264)) + -9 a multiple of 269?
True
Let o be 1/(-3) + 2380/12. Let m = 376 - o. Does 58 divide m?
False
Suppose -i = -4, 0 = 3*c - i - 318 - 245. Let o = -163 + c. Is 4 a factor of o?
False
Let a(x) = x**3 - 17*x - 8. Let h be a(11). Suppose 533 = -0*c + 2*c + 5*w, h = 4*c - 4*w. Is 9 a factor of c?
True
Suppose 2*p - 15 = -t, t + 4*t = 3*p + 10. Suppose -4*j + 0*j - 4*l = -40, 35 = 2*j + p*l. Is (5/4)/(j - (-711)/(-144)) a multiple of 3?
False
Let t(r) = -r**2 - 15*r + 8. Let i be t(-8). Let u = i + -60. Suppose 4*v = -16, u*v - 233 = -d - 2*d. Is d a multiple of 33?
False
Suppose 0 = 16*b - 0. Let r(d) = d**2 + 3*d + 30. Is r(b) a multiple of 11?
False
Let r = -1726 - -1968. Does 6 divide r?
False
Let k be -4 + (-176)/18 + 6/(-27). Let c(n) = 3*n - 5. Let b be c(5). Let a = b - k. Does 13 divide a?
False
Suppose -3*y + 17 = -5*k + 4*k, k = y - 9. Suppose y*v - 439 = -5*j, -v - 5*j + 91 = -0*j. Does 4 divide v?
True
Suppose -28019 = 185*u - 667194. Is u a multiple of 9?
False
Let r(k) = -12*k**2 + 9*k**2 - k**3 - 190 + 170 + 16*k - 15*k**2. Suppose 3*x + 77 = 5*s, 5*s - 3*s - 27 = x. Is r(x) a multiple of 7?
False
Let m = 146 + -158. Does 21 divide ((-1076)/m + 3)/((-8)/(-12))?
False
Let w(r) = 87 + 4*r**3 - 5*r**3 