Let x = -616 - -840. Suppose 132*g + x = 148*g. Is 7 a factor of g?
True
Let n = -12892 + 14344. Is n a multiple of 33?
True
Let p be 20/(-5) + 6 + 4. Suppose 0 = b - p*b - 3*v + 1561, 0 = -3*b + 2*v + 929. Is b a multiple of 4?
False
Let t be 2/(-7) + (-1180)/(-14). Suppose 223*s - 891 = 322*s. Let f = t + s. Is f a multiple of 25?
True
Let h(f) = f**2 + 3*f + 14. Let o be -1 - 2/2 - (-504)/42. Let y be h(o). Suppose 5*z - 636 = -k, z = -0*z + 4*k + y. Is 32 a factor of z?
True
Suppose 0 = 14*p - 4 - 38. Suppose 3*n - 76 = -p*o + 128, n = 2*o - 148. Does 16 divide o?
False
Suppose -13 = 3*r + 5*m, -4*r + 5*m = 3 - 44. Suppose -5*f = 3*t - 2365, f + r*t + 496 = 2*f. Is f a multiple of 17?
True
Let d be (-2)/(5 + 27/(-5)). Suppose -d*c = 3*f - 1345, 24*c + 1350 = 29*c + 4*f. Does 17 divide c?
False
Let x = 24309 - -22024. Is 72 a factor of x?
False
Let l(d) = 4*d**3 + 21*d**2 + d - 21. Let a be l(-5). Does 49 divide (5 + -585 - -6)*a?
False
Let h(n) = 2*n**2 + 10*n - 4. Let y be h(3). Suppose -r - 51 = -y. Let c = 85 + r. Is 26 a factor of c?
True
Let d be 783/232 - (-3)/(-8). Suppose 4*n - 614 = -2*g + g, -4*n - d*g + 610 = 0. Is n a multiple of 14?
True
Let l(s) = -54*s**2 + 8 + s**3 + 16*s + 76*s**2 - 3. Does 14 divide l(-21)?
False
Suppose 5*a - 30*q - 40581 = -32*q, -5*a + 4*q = -40623. Is 47 a factor of a?
False
Let f = -87 + 66. Let o = 46 + f. Suppose -q + 23 = 4*i, -7*i = -2*i + 2*q - o. Does 7 divide i?
True
Suppose -252*o + 4746555 = -29*o. Is 28 a factor of o?
False
Is (3735/(-6))/(165/(-1430)) a multiple of 13?
True
Suppose 24*j - 7*j = 42772. Does 14 divide j?
False
Let s(p) = 10 + 3*p**2 - 5 - 6*p**2 + 12*p + p**3 - 5*p**2. Let f be s(6). Suppose f*x + 8 = 108. Is 10 a factor of x?
True
Let q = 404 + -948. Let f = q + 827. Is f a multiple of 5?
False
Suppose 25 = 5*h, -4*i + 5*h + 0 = 25. Suppose -8 + i = 4*y, -204 = 5*o - 3*y. Let f = o - -264. Does 37 divide f?
True
Let v(s) = -s**2 + s. Let y(f) = 4*f**2 + 10*f + 16. Let o(i) = -8*v(i) + y(i). Let u be o(5). Suppose -51 = 5*w - u. Is 11 a factor of w?
True
Let k = 132 + 437. Suppose k = 6*d - 1069. Does 91 divide d?
True
Is 17 a factor of -1 + 1977 + (11 + -2 + -13)*1?
True
Suppose -5*m = -28*m - 1587. Does 22 divide (m/115)/(182/(-180) + 1)?
False
Let k = 28559 - 6012. Is 34 a factor of k?
False
Suppose 0 = -h + 20*h + 1900. Let d = 127 - h. Does 16 divide d?
False
Suppose 2*u - 3*m + 1181 = 7704, -m = u - 3274. Suppose 3*q - l - u = 3*l, 0 = -2*q + 3*l + 2179. Is q a multiple of 55?
False
Let d(m) = 10*m**3 + 55*m**2 + 31*m + 34. Let k(t) = 3*t**3 + 18*t**2 + 10*t + 11. Let o(f) = -2*d(f) + 7*k(f). Is 39 a factor of o(-7)?
False
Let h(q) = -q**3 - 5*q**2 - 10*q - 10. Let g be h(-3). Suppose g*l = b + 399 + 255, 5*b = 3*l - 981. Does 6 divide l?
False
Suppose 3605 = 5*z + l, 0 = -5*z + 2*l + 258 + 3347. Does 13 divide z?
False
Is (-32602)/(-11) + (15/35 - 266/1078) a multiple of 8?
False
Suppose -5*v + 114*v = 897724. Is 29 a factor of v?
True
Let u be (1/3)/((-3)/171). Let p = 178 - 214. Let n = u - p. Is 10 a factor of n?
False
Let t(k) = 2*k**2 + 18*k + 15. Let p be t(-8). Let r(u) = 291*u**2 + u + 2. Is r(p) a multiple of 25?
False
Let s(f) = 4*f**2 + 36*f - 926. Is s(20) a multiple of 33?
False
Let f(b) = -b - 17. Let l(r) = r. Let p(u) = -f(u) - 2*l(u). Let c be p(10). Is ((-82)/14 - -5)*-2*c a multiple of 12?
True
Let h(b) = -3*b**3 - 2*b**2 - 4. Let n be h(-2). Let j = n - -4. Suppose j*g = 9*g + 231. Does 18 divide g?
False
Let h be (2/3)/(10/105). Let f(m) = -2*m**2 + 8*m - 24. Let q be f(h). Let y = 130 + q. Is y a multiple of 8?
True
Is (1446/8)/(9270/123552 + 8/(-132)) a multiple of 60?
False
Let p be -1*(5 - 1) + 20. Let y(b) = 8*b**3 + 37*b**2 - 26*b - 48. Let a(l) = 3*l**3 + 12*l**2 - 9*l - 16. Let v(s) = 11*a(s) - 4*y(s). Is 16 a factor of v(p)?
True
Suppose -3 = -2*m - 2*x + 5, -5*m = -5*x. Let f be (7/m)/(7/14). Suppose 3*t + 528 = f*t. Is t a multiple of 12?
True
Suppose 10*i + 20 = 15*i. Suppose c + 4*v + 322 = i*c, 2*v = 10. Let h = c + -14. Is 10 a factor of h?
True
Suppose -129 = -7*j - 94. Suppose 915 = 5*g - 3*h, 4*g + j*h = h + 764. Does 21 divide g?
False
Suppose 6*g + 4 = 8*g. Is 27 a factor of (-1 + 61)*(-99)/(-11) - g?
False
Suppose 3*p - 3*y + 6*y + 111 = 0, 0 = -2*y + 4. Let t = p + 70. Suppose -5*h + 39 = -t. Does 3 divide h?
False
Suppose 5*p + 30 = 0, 17490 = 5*j + 922*p - 927*p. Is 36 a factor of j?
True
Let a(t) = -t**3 - 8*t**2 - 8*t - 13. Let c be a(-5). Let b(n) = -5*n + 3. Let w be b(-11). Let h = c + w. Is 8 a factor of h?
False
Suppose x + 7*x = -896. Let h = x + 141. Does 29 divide h?
True
Suppose -5*z = -6*p + 3*p - 683, z - 922 = 4*p. Is (p/22)/21 + 954/4 a multiple of 14?
True
Suppose x - 548 = -5*f, 3*x - 1622 = -0*f - 4*f. Suppose 0 = 9*z - 65 - x. Is z a multiple of 6?
False
Suppose -3*k + 3*d + 5055 = k, -2510 = -2*k - 2*d. Suppose -182 + k = 11*a. Does 4 divide a?
False
Let v be ((-3)/(-2))/(5/10 - 0). Suppose -v*n = -3*z - 1389, -3*n + z = -2069 + 676. Is 31 a factor of n?
True
Let j(h) = -130*h + 1064. Is j(-4) a multiple of 72?
True
Let i(d) = 11*d**2 - 3 + 6 + 22*d - 70 - 4*d. Is 36 a factor of i(8)?
False
Let l be -393 - (-27)/(4 + 5). Let o = 695 + l. Does 32 divide o?
False
Suppose -3*n = 34 - 43. Suppose 2*f = -3*m + n*f + 56, 14 = m + 2*f. Is 18 a factor of m?
True
Suppose -5*o + 98 = 2*l + 1213, -2*o = -3*l - 1644. Let v = -434 - l. Is 58 a factor of v?
True
Let d(a) = 2*a**2 - 15*a - 25. Suppose -t = -4*u - 4 + 2, 0 = -2*u - 8. Is d(t) a multiple of 105?
False
Let u(c) = -c**2 - 7*c - 6. Let l be u(-7). Suppose -26 = m + 3*n - 193, 4*n + 174 = m. Is (4/3)/(l/9) + m a multiple of 21?
True
Is 44 a factor of 222579/9*((-22)/(-7) - 3)?
False
Suppose -3 = -3*b + 18. Suppose -b = m + 4*s + 4, -41 = -5*m + 4*s. Suppose 9*g - 4*h = 4*g + 102, -15 = m*h. Does 12 divide g?
False
Is (-210)/(-945) - (-10040)/18 a multiple of 62?
True
Let l = -11 + 14. Suppose -3*q - 17 = -3*a + 13, -30 = -3*a - 4*q. Suppose -38 = -l*o + a. Is o a multiple of 8?
True
Let a(u) = 4*u**2 + 76*u - 1492. Is 68 a factor of a(67)?
True
Let b(y) = -4*y + 75. Let n be b(-6). Suppose -108*h + n*h = -2043. Is h a multiple of 10?
False
Suppose -5*c - 31 = -41. Suppose -c*v = -3*s + 1961, -5*s + 3251 = 2*v - v. Does 21 divide s?
True
Let x = -39 - -138. Let y = 308 - x. Is y a multiple of 54?
False
Let z = 127 + -122. Does 22 divide (5/10)/(4/13200*z)?
True
Let b(d) = 19*d**2 - 14*d + 499. Does 63 divide b(22)?
True
Let t(d) = d**3 - 9*d**2 - 6*d - 21. Let r(p) = 2*p**2 - 3*p. Let k be r(3). Let w be t(k). Let i = w + 136. Does 13 divide i?
False
Let z(b) = 13*b - 26. Let u be -3*4/12 - -64. Suppose 27 = -6*p + u. Is 13 a factor of z(p)?
True
Suppose 38*j = 34*j + 740. Let b = -54 + j. Is b a multiple of 21?
False
Suppose 0*m - 15 = 5*m + 3*o, -5*m + 3*o - 45 = 0. Let u(l) = l**2 + 3*l - 16. Let w be u(m). Suppose -9*d = -w*d - 1316. Is 47 a factor of d?
True
Let y(i) be the third derivative of i**6/30 + i**4/8 - 3*i**3/2 + 52*i**2. Is 19 a factor of y(4)?
False
Let v(m) = -2715*m**3 - 9*m**2 - 3*m + 3. Is 305 a factor of v(-2)?
False
Let g(y) = -17*y - 223. Let a be g(-13). Is 29 a factor of (-6624)/(a + -10) - (1 + 0)?
True
Let w be ((-24)/15)/(2/185). Let s = w - -359. Is s a multiple of 16?
False
Let k(t) = 59*t**3 + 4*t**2 + 8*t - 2. Let b(u) = u**3 + u**2 + u - 1. Let y(w) = 6*b(w) - k(w). Is y(-2) a multiple of 54?
True
Suppose 3*f - 100 = 3*a - 4, -5*a - 164 = -4*f. Let q be (-8)/a + 106/9. Suppose -10*i = -q*i + 104. Is 23 a factor of i?
False
Suppose -280 = -8*a + 32. Suppose -427 = -2*r + 5*b + a, 2*r - b - 458 = 0. Is r a multiple of 19?
True
Suppose -6*q + 4 = -5*q. Suppose -2*b = q*b - 24. Is -1 + b + -2 + 1 + 85 a multiple of 15?
False
Suppose 0 = 5*f + 4*g + 371, -2*f + g - 138 = -0*g. Let h = 75 + f. Suppose -2*l = -h*b - 150, 3*b + 235 = 3*l - b. Does 13 divide l?
False
Let p be (-140)/40*4/(-7). Suppose 0 = 5*d - p*q - 900, -d - 2*d + 540 = -3*q. Does 9 divide d?
True
Let f be (-9)/(-90) - 387/(-30). Suppose -10505 - 1416 = -f*o. Is o a multiple of 48?
False
Suppose 5*i + 3*d - 23589 = 0, 11*i + 35*d - 33*d = 51859. Does 5 divide i?
False
Suppose -12 = -3*c - c. Let k be 0 - 1*-6 - (-4 - -6). Suppose k*s + 20 = 0, c*i - s - 323 = 9