 divide (-1254)/(-24) + x/12?
True
Let g = 393 - 388. Suppose g*c - 970 = 1175. Is c a multiple of 13?
True
Let o be 12*472/48*-4. Let h = -364 - o. Does 6 divide h?
True
Suppose 280*x - 45903 = 247*x. Does 3 divide x?
False
Let b(l) = 42*l - 14. Let p be b(3). Let c = 142 - p. Is 3 a factor of c?
True
Suppose -2*s = -5 - 29. Suppose -s*p = -6*p - 4015. Is p a multiple of 13?
False
Let d = 771 - 785. Let n(z) = 5*z**2 + 25*z - 28. Is n(d) a multiple of 7?
True
Suppose 4776*k + 71550 = 4782*k. Is k a multiple of 9?
True
Let a = -382 - -386. Suppose -3*h = -12, -6*j + 2*j + a*h = -628. Is 23 a factor of j?
True
Let g = -27 - -28. Suppose 0 = 2*q + 5*z - 60, 5 - g = z. Is 20 a factor of q?
True
Let t = 1081 + 123. Is 24 a factor of t?
False
Suppose 10 = -35*i + 40*i. Suppose -4*z + 1460 = w, -2*z - i*z + 4*w = -1480. Is 14 a factor of z?
False
Let g(j) = 127*j**2 + 26*j + 83. Let l be g(-5). Suppose -2*q = -2*z - z + l, -2*z - 3*q + 2094 = 0. Is 9 a factor of z?
True
Is 13 + -505*(-22 + 11) a multiple of 24?
True
Let s(g) = -g**3 - 4*g**2 - 6. Suppose 18 - 3 = 3*h. Let v(c) = 2*c**3 - 8*c**2 - 10*c - 5. Let i be v(h). Does 4 divide s(i)?
False
Let y be (394/4)/(1/(-6)). Let k = 1137 + y. Does 26 divide k?
True
Suppose -3*m + 5*c + 142 = 47, 3*m - 140 = -4*c. Suppose 7371 = -33*i + m*i. Is 19 a factor of i?
False
Suppose 0 = -54*b + 66170 + 266632. Is 126 a factor of b?
False
Let z(f) = 12*f + 5305. Does 43 divide z(-73)?
True
Let o(w) = -114*w + 68. Let s(b) = 2*b**3 - 23*b**2 - 10*b - 30. Let g be s(12). Is o(g) a multiple of 16?
True
Suppose -38*w + 35*w = -774. Suppose 9*j - w = 3*j. Is j a multiple of 4?
False
Let o = 17693 + -17506. Does 187 divide o?
True
Suppose -2*t - 2*x = -90948, 26229 = 2*t + 5*x - 64695. Does 26 divide t?
False
Suppose -101*n + 106*n - 130655 = -5*l, 26116 = n + 4*l. Is n a multiple of 98?
False
Suppose -2*k + 9 = 19. Let r(f) = f**2 + 3*f - 1. Let j be r(k). Suppose 4*w = j*w - 25. Is 3 a factor of w?
False
Let p = -38 - -42. Suppose 366 = p*b + 18. Suppose -b = -0*s - 3*s. Does 29 divide s?
True
Let u be (4/6 - 17/(-51)) + 2. Suppose u*w = 6*p - 2*p + 344, -319 = -3*w - p. Is w a multiple of 5?
False
Does 24 divide 1473 + 5 - (-3 + -7 + 3 + 3)?
False
Let l(v) = 14*v**2 + 30*v - 144. Suppose 10*a - 7 = 9*a - s, 5*a - 5*s = 15. Does 16 divide l(a)?
False
Let u(t) = -8*t**2 + 9*t - 9 + t**3 - 2*t + 0*t + 4*t. Suppose 2*l + k = 7*l - 32, -k + 24 = 3*l. Is 19 a factor of u(l)?
True
Let g be -39 + (6 - (-6)/(-3)). Let n = g + 145. Does 22 divide n?
True
Suppose 0 = 5*d + 23*o - 18*o - 205680, -5*d = o - 205660. Does 16 divide d?
False
Suppose 5*p - 6715 = 2*r, 56*p - 4*r = 52*p + 5360. Does 5 divide p?
True
Suppose -x + 61 = 4*o, -4*o - 304 = -4*x - 0*o. Let q = x - 77. Let w(h) = 7*h**2 + 4. Is w(q) a multiple of 11?
False
Let a be ((-49)/(-28) - 1)*12. Let v(p) = p**3 - 3*p**2 + 6*p - 69. Is v(a) a multiple of 40?
False
Suppose -4*q - 13 = -5*a + 87, -4*q - 100 = 5*a. Let f = -24 - q. Let c = f + 15. Is 2 a factor of c?
True
Suppose 2*b + 2*y - 799 - 4855 = 0, b - 2821 = y. Suppose -7*d + b = -3*d. Does 15 divide d?
False
Suppose -3*v = 2*b + 2*v - 8, -16 = -4*b - 3*v. Let g(u) = b*u + u + 16*u - u**2. Does 10 divide g(20)?
True
Suppose -m - 2*m - 6 = 0. Let v be 13/(-26)*m*53. Suppose c + v = 3*f, -5*f = -2*f - 4*c - 68. Is f a multiple of 8?
True
Let h = 36 - 50. Let o(b) = b**2 - 7*b - 38. Is o(h) a multiple of 9?
False
Suppose 29*m - 40754 - 29223 = 0. Is 2 a factor of m?
False
Let c be (-15)/(-2) + 13/26. Suppose -4*r - 3*v + 4 = 0, c = -2*r + r - 3*v. Suppose r*q + 95 = 4*h - 29, 0 = 4*q + 8. Is h a multiple of 2?
False
Is 27 a factor of ((-4239)/6)/(1 + -4 + (-170)/(-60))?
True
Suppose -5*l = 5*g + 265, 5*l + 65 = -g - 0*l. Let f = 150 + g. Is f a multiple of 23?
False
Let j(f) = -36*f**2 + 4*f - 2. Let h(p) = -36*p**2 + 6*p - 2. Let s(q) = 3*h(q) - 4*j(q). Suppose 3 = -4*r - 1. Is 18 a factor of s(r)?
True
Let g(t) = 35*t**2 + 407*t - 45. Is 49 a factor of g(-19)?
False
Let j(d) = -d**3 - 5*d**2 + 7*d + 26. Let y be j(-4). Is 6 a factor of y/10*(26790/(-9))/19?
True
Let o = -14 + 24. Let z(k) = -32*k**2 + 67*k**2 + 12*k - 46*k**2 + k**3 - k. Is z(o) a multiple of 7?
False
Let h(x) = 6*x**2 - 2*x + 3. Let o(s) = 2*s + 51. Let u be o(-25). Does 7 divide h(u)?
True
Suppose -54 = q + 3*q + 3*h, -q + h = 10. Let s be -1 - (q + 74 + (-2)/(-1)). Let l = s - -164. Does 11 divide l?
True
Does 80 divide -80*((-2184)/(-4))/(-13)?
True
Suppose -3*p - y = -4300 - 11897, 4*p - 21597 = -y. Does 54 divide p?
True
Let y(x) = -x**3 - 8*x**2 + 9*x + 16. Let i be y(-9). Suppose -15*z - 456 = -i*z. Does 57 divide z?
True
Let v(o) = -o**3 - 3*o + 57. Let z be v(0). Suppose -7 = -3*g + 2. Suppose -36 = -2*u + g*b + b, 3*b = -2*u + z. Is 4 a factor of u?
True
Let v(f) = 56*f**2 - 22*f + 7. Is v(3) a multiple of 20?
False
Let n(j) = 7*j**2 - 19*j + 33. Let b be n(6). Let q = b + 123. Is q a multiple of 14?
True
Suppose -47943 - 86999 = -38*x + 199876. Is x a multiple of 89?
True
Let y(o) = 5*o**3 + 11*o**2 - 64*o + 11. Is 70 a factor of y(7)?
False
Let o = 21346 - -4976. Does 82 divide o?
True
Let n be (-22)/55 + (-5781)/(-15). Is 5 a factor of (-3)/7 - (-81785)/n?
False
Let u(f) = 7*f + 20. Let c be u(14). Suppose 5*l - 30 = -5. Suppose -5*v + 345 = -l*y, c + 110 = 3*v + 4*y. Does 24 divide v?
True
Let v = -36 - -36. Let g be ((-15)/(-9) + v)*3. Suppose u - 18 = -t + 5, -4*u + 87 = g*t. Does 7 divide u?
True
Let y = -21453 - -31482. Does 109 divide y?
False
Let q(n) = -n**3 + 9*n**2 - 4*n + 15. Let m(y) = y**3 - 5*y - 5. Let z be m(0). Let w be (z/1 - (-2 - 0)) + 9. Is 9 a factor of q(w)?
True
Suppose 2*f = -2*g + 17896, -34*f = -2*g - 31*f + 17886. Is (3/(-2))/1 - g/(-36) a multiple of 19?
True
Let s = 168 + 140. Suppose -s = -4*x - 28. Does 3 divide x?
False
Is 20 a factor of (5 - (-195324)/44) + -5 + (-6)/33?
False
Let t = 3069 - 1991. Does 3 divide t?
False
Suppose 27*b + 47835 = 83395 + 57752. Does 2 divide b?
True
Let y(f) = -50*f**3 + 3*f**2 + 10*f + 21. Is 41 a factor of y(-5)?
False
Let s(d) = d**3 - 2*d**2 + 5*d - 5. Suppose -2*t - 2 = -3*t. Let a be s(t). Suppose -920 = -a*r - 4*c - 372, -4*r + c + 451 = 0. Does 16 divide r?
True
Suppose 35*j - 13*j = 172480. Suppose -j - 23386 = -26*z. Is 75 a factor of z?
False
Suppose 65*b - 70*b + 36450 = 5*a, 5*a - b - 36438 = 0. Does 14 divide a?
False
Suppose -59*p - 14*p + 1087710 = 57*p. Is 16 a factor of p?
False
Let z = 2764 + -773. Does 12 divide z?
False
Let m = 15325 - 9753. Does 28 divide m?
True
Suppose -2*s + 246 + 276 = 0. Let c = s + -156. Does 15 divide c?
True
Suppose 3*t + 1483 = 4*t + 3*i, -2*t + 2950 = 2*i. Let v = t + -419. Does 26 divide v?
False
Is 147 a factor of (3 - (-657006)/30) + (-3)/15?
True
Suppose 39 = -12*j + 27. Is 3 a factor of 24/(-12) - j/(-1)*-15?
False
Let l(x) = 1856*x - 2123. Does 2 divide l(2)?
False
Let f(q) = 145*q**2 + 48*q - 265. Is f(-20) a multiple of 15?
True
Let p(r) = -2*r**3 + 69*r**2 + 57*r + 50. Let l be p(35). Let o = -298 + l. Is 29 a factor of o?
True
Suppose 10*r = 12*r - 4. Suppose -4*f - 624 - 224 = -r*c, -4*c - f + 1660 = 0. Is 8 a factor of c?
True
Does 2 divide (0 - -1 - (2 - 4))/(5775/204050)?
True
Let z be (4 - 11)/(-14)*-3*2. Let b be 1/z + 27/81. Suppose -14*u - 297 + 857 = b. Is 16 a factor of u?
False
Let g = 37227 + -37091. Is 8 a factor of g?
True
Let h(i) = 542*i + 166. Is 95 a factor of h(15)?
False
Let u = 4354 - 3994. Does 120 divide u?
True
Let c be (-4)/(48/(-100)) + (-1)/3. Suppose -2*w + c*w = 0. Let b(x) = -3*x + 114. Does 26 divide b(w)?
False
Let o(j) = 12*j + 2. Let v(c) = 8*c + 1. Let u(w) = 5*o(w) - 7*v(w). Let t be u(3). Is 15 a factor of 6/t - (-146)/10?
True
Let o be 4/(-26) + 8/52. Suppose o = -4*u + 562 + 130. Is 12 a factor of u?
False
Suppose 2445 = 8*x - 5*x. Let s = x - 382. Suppose -7*c + 2*c + k = -546, 0 = 4*c + 3*k - s. Is 35 a factor of c?
False
Let k(r) = -1184*r - 65. Is k(-1) a multiple of 64?
False
Suppose -5931276 = -233*z - 1877076. Does 6 divide z?
True
Let k(c) = c + 32. Suppose 2*n - 39 + 123 = 0. Let s = 26 + n. Is k(s) a multiple of 12?
False
Let l = 5067 - 2427. Is 8 a factor of l?
True
Let c(d) = -199*d - 7. Let v be c(2). Is v/20*(800/(-12))/5 a multiple of 30?
True
Let x