s 17 divide ((-26)/(-4) - s)*10?
True
Let k = -42 + 146. Suppose 2*t - 332 = -p - 2*p, p - k = t. Is p a multiple of 36?
True
Let l(p) = p**3 + 29*p**2 - 14*p - 142. Is l(-24) a multiple of 86?
False
Is 6 a factor of (1/7 - (3 + (-570)/175))*8790?
True
Let x = -34 - -44. Let u be 40/x + (1 - -119). Suppose 3*c + u = 5*c. Is c a multiple of 31?
True
Does 57 divide (-1)/(-2) - -1466*(-30)/(-24)?
False
Suppose -73*s = -69*s + 1152. Let y = -92 - s. Is 28 a factor of y?
True
Suppose 161966 = -3*n + 22*n - 250600. Does 77 divide n?
True
Let l(n) = n**3 - n - 5. Is 3 a factor of l(11)?
False
Let f be (3/1 + 3 + -16)/(-2). Suppose 8 = f*j - 2. Suppose 0 = 5*q + 2*t + 2*t - 337, -3*t - 121 = -j*q. Is 28 a factor of q?
False
Let t(l) = 24*l**2 - 13*l - 53. Let j be t(2). Let c(s) = -20*s**2 + 74*s - 18. Let x(n) = 7*n**2 - 25*n + 6. Let w(m) = 6*c(m) + 17*x(m). Does 6 divide w(j)?
False
Suppose 10*k - 9166 = -2476. Suppose 0 = -24*x + 27 + k. Is x a multiple of 5?
False
Let p(m) = 7*m**2 + 28*m + 11. Let i be p(15). Suppose 21*o = 9650 - i. Does 52 divide o?
True
Let i(v) = v**2 + 28*v + 1645. Is 25 a factor of i(-54)?
False
Let q(w) = -w**3 - 9*w**2 + 9*w - 2. Let d = 33 + -43. Let y be q(d). Suppose 2*u + 414 = y*u. Is 28 a factor of u?
False
Suppose 0 = -3*x - 6 - 6. Let z be 2 - 4 - (-4 - x - 1). Does 21 divide 88 - z*(4 - 4)?
False
Does 17 divide -4*(-136)/(-64)*-772?
True
Suppose -4*m - 26 = -3*f, -3*f + f - 1 = m. Suppose -3*t - f*q + 3*q + 9 = 0, 0 = -t + 5*q + 17. Suppose 0*k + t*k = 126. Is 20 a factor of k?
False
Suppose 3*c + 296 = -5*c. Let l be c/(-4) + 2/(-8). Does 35 divide (2 + (-15)/l)*105?
True
Let f = 108 - 99. Suppose -6*k - 216 = -f*k. Is 12 a factor of k?
True
Is 1 + (-31194)/(-4) + (-83)/(-166) a multiple of 10?
True
Suppose 37*t + 4*t = -1353. Is (-522)/81*t*3 a multiple of 22?
True
Let g(r) = 7*r - 8. Let q be g(5). Suppose 0 = q*c - 14*c - 2639. Is 29 a factor of c?
True
Suppose -2*c + 7*c + 3*f = 4, -2 = 3*c + 4*f. Suppose 6*w - 2*w + 4 = 0, 163 = d + c*w. Is 7 a factor of d?
False
Suppose 387*q = 356*q + 166718. Is q a multiple of 44?
False
Let y = -45 + 47. Suppose 3*m + 2*d = 235, 0 = y*m + 3*m + d - 401. Is 8 a factor of m?
False
Let t = -17 - -29. Suppose -h - h - 2*z + 6 = 0, -t = -3*z. Is (1 - h/3)/((-10)/(-465)) a multiple of 31?
True
Let b(z) = 279*z**2 - 10*z + 14. Let u be b(2). Suppose u - 284 = 7*o. Is o a multiple of 27?
False
Let l(j) = -j**2 - 9*j - 12. Let h be l(-7). Suppose -s = 3*s - h*s. Is 25 a factor of s + (0 + -1)*-155?
False
Suppose -a = -141*w + 137*w + 2294, -4*w = 4*a - 2304. Is 3 a factor of w?
False
Let s = -27449 + 48743. Does 21 divide s?
True
Suppose -3121 - 686722 = -123*i + 460453. Is 59 a factor of i?
False
Let a be (139 - -13) + (-3)/(-3). Suppose 268 = -a*c + 157*c. Is 23 a factor of c?
False
Suppose 714*n - 30 = 709*n. Suppose -1252 - 296 = -n*x. Does 86 divide x?
True
Suppose 0 = -3*m - 5*q + 24, 2*m + 0*q - 15 = -3*q. Suppose 7*s - 13 - 15 = 0. Suppose s*j - 17 - 111 = -5*u, m*u - 68 = 2*j. Does 6 divide u?
True
Suppose 0 = -4*g - 12 - 56. Let u(m) = m**3 + 16*m**2 - 14*m + 45. Let t be u(g). Is 22 a factor of (1/2)/(0 - t/1236)?
False
Suppose l + 3*a - a = 68, -3*l + 159 = -3*a. Suppose -4*t + 3*t - 50 = -4*v, 5*v = -t + l. Suppose 14*p - v = 12*p. Is 3 a factor of p?
True
Let w(i) = i**3 - 5*i**2 - 8*i - 18. Does 14 divide w(16)?
False
Suppose 3*f = 6*z - 5*z + 15698, -5*f - z = -26158. Does 24 divide f?
True
Let j(p) = -13*p - 219. Let t = 683 + -716. Is 6 a factor of j(t)?
True
Let s(c) = -c + 25. Let l be s(13). Suppose 0 = 3*h - l*h + 1827. Let k = h + -35. Is 28 a factor of k?
True
Suppose 278*d - 274*d - 10332 = 0. Is d a multiple of 113?
False
Suppose -3*g + 8*r - 3*r + 1340 = 0, -g + 444 = -3*r. Let l = g + -271. Is 13 a factor of l?
False
Suppose 3*u - 60997 - 14147 = -21*u. Is 19 a factor of u?
False
Let v = -3604 - -2399. Let y = v + 2308. Does 49 divide y?
False
Let d = -7153 + 14961. Is d a multiple of 14?
False
Let p = 85 - 31. Let b = -50 + p. Suppose 4*i - 337 = -o, -4*o + 329 + 23 = b*i. Does 13 divide i?
False
Let l = -74 - -164. Let t be 110/(-6) + -6*(-5)/l. Is 118/3 + t/(-27) a multiple of 5?
True
Let a be (16/4)/((6/(-201))/(-1)). Suppose -109*x + 111*x - a = 0. Is x a multiple of 22?
False
Let v be ((-5198)/(-115))/((-4)/(-10)). Let c = v + -113. Suppose 1 + 1 = b, 2*p + 4*b - 388 = c. Is 17 a factor of p?
False
Suppose 0 = -4*l - 4*u + 22336, -4*l + 14*u + 22342 = 12*u. Is l a multiple of 14?
False
Suppose 0 = 2*o + 3*w - 74, 6*w - 180 = -5*o + w. Suppose -o*v = -25*v - 144. Does 8 divide v?
True
Suppose -7*k + 0*k = -k. Suppose 0 = -5*g - 5*r - 240, -2*g - 4*r + 3*r - 93 = k. Let u = g + 175. Does 24 divide u?
False
Suppose -3*b - 5*k + 16 = -4*b, -5*b + 3*k - 14 = 0. Let w(r) = -42*r + 6. Does 4 divide w(b)?
True
Suppose -v = 3*g + 752 - 22117, 21393 = v - 4*g. Is 16 a factor of v?
False
Let s(x) = 102*x**2 + 895*x + 17. Is 68 a factor of s(-17)?
True
Suppose 20 = 5*l, -z + 1 + 19 = 5*l. Suppose -7*x - 4*i = -2*x - 20, 4*x + i - 5 = z. Suppose 7*f - 113 - 48 = x. Does 10 divide f?
False
Suppose 23*n = 301832 - 31605. Is 8 a factor of n?
False
Suppose 0*v = -v - i + 202, -4*v + 818 = -i. Let q be v/(-8)*-2 + 4. Suppose q*z - 58*z = -351. Is z a multiple of 9?
True
Suppose 134 = 11*a - 10*a. Is (-1197 + 0 + -1)*(-67)/a a multiple of 18?
False
Suppose -13*l + 22304 - 2958 = -34136. Is 11 a factor of l?
True
Does 7 divide 72695/(-93)*6/(-2)?
True
Let x be -3 + -4652 + 1 + -3. Let c = 9040 + x. Does 24 divide (-4)/(-6) - c/(-27)?
False
Suppose 574182 = -1467*u + 1516*u. Is 31 a factor of u?
True
Let t be 4 + ((-6)/(-8) - 2/(-8)). Suppose -2*w - 69 = t*i - 749, 2*i + w = 271. Is i a multiple of 7?
False
Is 14/(-42) - 418582/(-30) - (-4)/(-10) a multiple of 16?
True
Suppose -2*g + 3*o = -8092 - 56932, -18*o = 3*g - 97491. Does 59 divide g?
True
Suppose 7*b = 6*b + 4. Suppose -2*z + b*z - 3*m = 101, 3*z - 5*m = 153. Let f = 52 - z. Does 2 divide f?
True
Suppose 0 = 9*h - f - 22278, -11*h = -7*h - 4*f - 9912. Is 33 a factor of h?
True
Let i = -238 - -257. Suppose 7040 = -3*z + i*z. Is 20 a factor of z?
True
Let t = 53 - 49. Suppose -6*h - t = -8*h. Suppose 5*n = 4*s + 29, -h*s + 7*s = 2*n - 15. Does 3 divide n?
False
Does 9 divide ((-34938)/(-12))/((-1)/(-2))?
True
Let w = -15619 - -19738. Is 20 a factor of w?
False
Suppose 5*t - 4*n = 185175, -9*t + 2*n + 333315 = 4*n. Is t a multiple of 15?
True
Let j(m) = -m**3 - 2*m**2 - 1. Let c(n) = 2*n**3 + 13*n**2 + 9*n + 11. Let f(g) = -c(g) - 3*j(g). Is 33 a factor of f(9)?
False
Suppose 0 = 22*v - 56369 - 30933 + 1634. Is v a multiple of 3?
True
Suppose 2*s - 13*s = -22. Suppose 7*c - 3*z - 1222 = 2*c, s*c + z = 491. Does 26 divide c?
False
Suppose -16 = -5*y + 14. Suppose 0 = 5*v - 1 + y, -5*v - 167 = -3*u. Is u a multiple of 9?
True
Suppose -37*g + 16 = -33*g. Is 60 a factor of ((-1)/(-2)*-58)/(g/(-12))?
False
Let a(m) = 31*m**2 + 94*m + 548. Is a(-52) a multiple of 69?
False
Suppose -22 = -9*u - 2*u. Does 18 divide (-31 + 7)*5/(-3)*u?
False
Suppose 0 = -9*c - 114 + 6. Is ((-32)/c)/((-394)/132 - -3) a multiple of 11?
True
Let t be (24/28)/((-10)/(-35)). Suppose 0 = v - 5*g - 152, -v - t*g + 75 = -93. Is 13 a factor of v?
False
Suppose -5*w - 7582 = -8*w + 16010. Is w a multiple of 17?
False
Let j(y) = 11*y**3 + 3*y**2 + 16*y + 14. Let c be j(5). Suppose 25*x - 21*x = c. Is 43 a factor of x?
False
Let p(i) = 4*i + 483. Does 20 divide p(-86)?
False
Let o = -693 + 8521. Is 103 a factor of o?
True
Let w(n) = -4 - 3*n**2 - 5*n**2 + 3*n**3 - 14*n - 4*n**3. Let i be (-35)/(7 - 14) - 12. Is 8 a factor of w(i)?
False
Suppose 4*c + 156 = 8*c. Let t(x) = 7*x - 93. Is t(c) a multiple of 45?
True
Suppose 1556 + 700 = 8*w. Let d = w - 32. Let t = -148 + d. Does 17 divide t?
True
Let o(t) = -340*t - 440. Is o(-41) a multiple of 54?
True
Suppose -4*x + 219 = 7. Let p = x + -53. Suppose 4*z - 596 = -p*z. Does 28 divide z?
False
Suppose -40*c - 25726 + 329790 = 10824. Is c a multiple of 38?
False
Suppose 19*v = -3*v - 6116. Let g = v + 658. Does 7 divide g?
False
Suppose -32 = -5*g + 4*q, -4*g - q = -0*g - 13. Suppose -d + 413 = -g*s, -2*d + 218 + 599 = s. Does 26 divide d?
False
Let f(c) = 259*c**2 - 7*c - 96. Is f(-14) a multiple