g = s - a. Is g a multiple of 16?
True
Let b be -7*(-4 + 26/7). Suppose 0*t + b*t = -22. Let u = t + 51. Is u a multiple of 29?
False
Let h(t) = -t**3 + 20*t**2 + 25*t + 13. Let c be (-1 - -20 - 4) + 6. Is h(c) a multiple of 11?
False
Let r(w) = 44*w**2 + 68*w + 653. Is 25 a factor of r(-8)?
True
Let j = -447 + 460. Suppose -561 = -2*x + j. Is x a multiple of 12?
False
Let n be (-7 + 3)*(-3 - (-43)/2). Let k = 113 + n. Suppose w = k + 66. Is w a multiple of 21?
True
Let d(p) = -3*p + 15. Let x(m) = -5*m - 18. Let i be x(-3). Let a be d(i). Suppose -a*r + 30*r - 1254 = 0. Is r a multiple of 8?
False
Suppose 425 = 233*r - 238*r. Let y = r - -87. Suppose f - 475 = -o - o, -469 = -y*o + 5*f. Is o a multiple of 14?
False
Let k(o) = 2*o**3 + 3*o**2 - 5*o + 3. Suppose -10 = -3*d - 1. Let j be k(d). Suppose 0 = 4*a - 79 - j. Does 34 divide a?
False
Let q(x) = -x + 10. Let h be q(-3). Suppose -5 - h = -4*z - 2*s, 2*z = 5*s + 15. Suppose v + 196 = z*v. Is 7 a factor of v?
True
Suppose 8568 = 11*r - 5*r. Does 19 divide (r/35)/((-3)/(-10))?
False
Let z(p) = p**3 + 18*p**2 + 32*p + 20. Let c be z(-16). Suppose 3*a + 2*a = c. Suppose 4*q + 5*s - 293 = 0, -3*q + 218 + 2 = a*s. Is 24 a factor of q?
True
Let v = 25989 + -6897. Is v a multiple of 43?
True
Is 111 a factor of (-234)/((((-2)/(-7))/(-1))/(48 - 47))?
False
Suppose 105 = 4*f - 3*a, 0*f + 5*a + 87 = 3*f. Let q be (f/(-14))/(4/(-854)). Does 23 divide q/4 - (-3)/6?
True
Let o = 126 + 102. Suppose 3*b = 3 - o. Let x = b + 129. Is 18 a factor of x?
True
Let k be ((-14)/6)/(8/24). Does 47 divide (-2864)/(-7) + 1/k?
False
Let q = -237 - -54. Suppose -6*k - 2*y - 210 = -2*k, 0 = -k - 4*y - 63. Let m = k - q. Does 19 divide m?
False
Suppose 60626 = n - 2*l, -n - 8*l + 60625 = -9*l. Is n a multiple of 24?
True
Let q be 28/(-21)*3 - -5. Is 30 a factor of (3 + q)*(-49740)/(-240)?
False
Suppose -29666 = -7*n + 20629. Is n a multiple of 48?
False
Suppose -5*x + 0 = 4*q - 2, -3*x - 6 = 0. Suppose 0 = 2*m + r + 788, -4*m + m + q*r - 1200 = 0. Does 8 divide ((-8)/(-3))/((-24)/m)?
False
Is -7 + ((-4278)/24)/(-23) + (-32105)/(-4) a multiple of 18?
False
Let z(i) = 2*i - 148. Let q be z(24). Does 16 divide q/(-1) - (-9 - -13)?
True
Let h be 5 + (-2 + 0 - 3). Suppose w - l - 398 = 0, 0 = 5*w - h*w - 2*l - 2005. Does 13 divide w?
True
Suppose 9*n + 3*n - 48791 - 18373 = 0. Does 6 divide n?
False
Suppose 53*c = 92*c - 2302989. Is c a multiple of 12?
False
Let c(u) = 7*u**3 - 11*u**2 + 33*u - 23. Does 69 divide c(7)?
True
Let d(g) = -1810 + 1810 + 288*g. Does 12 divide d(1)?
True
Let p be (-558)/(-10) - 1/(-5). Does 12 divide (1 - (1 + -2)) + (p - -74)?
True
Let q = -14 - -25. Let i be 7/2 + q/(-22). Suppose -3*n = -3*m + 309, -i*n + 2*n = 5*m - 497. Is 20 a factor of m?
True
Let w = 14479 + -5076. Does 55 divide w?
False
Let v(k) be the second derivative of -7*k**3 + 37*k**2/2 + 51*k. Is 28 a factor of v(-7)?
False
Let r = 19615 + -14371. Does 19 divide r?
True
Suppose -a = -3*a - 4, 0 = p - 3*a - 11. Suppose p*g - n - 297 - 52 = 0, 81 = g - 3*n. Does 3 divide g?
True
Is 2/3*((-648)/(-96))/((-3)/(-472)) a multiple of 10?
False
Let y = -781 + 7967. Is y a multiple of 3?
False
Let j = 208 + -179. Suppose 5*u - j - 181 = -5*h, 2*u = -4*h + 86. Is 41 a factor of u?
True
Suppose 5*y + 12*y - 3094 = 0. Let o = -176 + y. Is o a multiple of 5?
False
Suppose 196*n + 66*n - 1182736 = 30*n. Is n a multiple of 8?
False
Let w = 13692 + -11417. Is 2 a factor of w?
False
Suppose -5*j = 0, 0 = -2*i - 4*j - 9 - 9. Let v be 2/((-6)/i) - 250/2. Is 18 a factor of (-3)/((-12)/16) - v?
True
Suppose 7*t + 1360 = -467. Let j = t + 391. Is j a multiple of 65?
True
Let g(m) = 0*m**2 - 10*m**3 - 2*m**2 + 12*m**2 - 15*m - 9 - 7*m**3 + 18*m**3. Let p be 2/(-2) - (-10)/(-1). Is g(p) a multiple of 6?
False
Let i be (1 - -2 - 4)/(8/(-24)). Suppose v + 2*n = 380, 3*v + i*n - 588 = 552. Is 43 a factor of v?
False
Suppose 0 = -5*s - 2*o + 60240, 4*s = -5*o - 6744 + 54953. Does 87 divide s?
False
Let g(v) = 17*v**3 - 20*v**2 - 69*v + 748. Is g(12) a multiple of 29?
False
Let z(j) = -j**3 - 25*j**2 - 14*j + 146. Let f(n) = n**3 - 8*n**2 + 4*n - 4. Let l be f(7). Does 8 divide z(l)?
True
Let x be -3 - (1/(-2))/((-13)/338). Let c = 18 + x. Suppose -b = -c, 0 = -4*y + b - 252 + 834. Does 26 divide y?
False
Let a(p) = p**3 + p**2 - 4*p + 8. Let v be a(4). Suppose -7*x + 96 = -v. Is x a multiple of 5?
False
Suppose 0 = -4*m - 4*c - 20, 5*m - 3*c + 8 = -25. Let d be (9/m + 2)/(12/(-2160)). Is (d/(-27))/(6/135) a multiple of 5?
True
Let k(d) = 3*d**2 - 46*d + 2753. Is 59 a factor of k(-48)?
False
Suppose 85 = -7*g + 113. Suppose g*v + 32 = 3*t, 11*v - 12*v - 76 = -5*t. Is 4 a factor of t?
True
Suppose -30927 + 239412 = 113*m. Is 3 a factor of m?
True
Suppose 5392 = f + 4*j, 4*j = -5*f + 41535 - 14639. Does 128 divide f?
True
Does 51 divide (-4)/74 + (-157626)/(-111)?
False
Let z = 208 + -175. Suppose 43*j - 720 = z*j. Is 18 a factor of j?
True
Let d(n) = n - 9. Let w be d(10). Let f(l) = -l**2. Let x(g) = -g**3 + 3*g**2 - 3*g + 5. Let s(p) = w*x(p) - 5*f(p). Is s(4) a multiple of 38?
False
Suppose 6*v = -2*v + 3*v. Suppose -x + 9 = x - s, v = -2*x + 2*s + 8. Is x a multiple of 2?
False
Suppose 66*c - 53652 = -19035 + 50655. Is c a multiple of 17?
True
Let s(t) = -t**3 - 4. Suppose i + 5 = -n, -2*i + 5*i - 2*n = 0. Let p be s(i). Suppose 4*w = 2*x + 548, -5*w + 101 + 571 = p*x. Is w a multiple of 11?
False
Let j(m) = -6*m**3 - 3*m**2 + m - 1. Let x = 56 + -47. Suppose x*c - 2 = 10*c. Does 13 divide j(c)?
False
Let g = -4221 - -4643. Is 23 a factor of g?
False
Suppose 4*v = -3*i + v + 3195, -2*v = -i + 1056. Suppose i = 12*t - 954. Suppose -t = -5*k - 2*s, -4*s + 83 = 2*k + 3. Does 32 divide k?
True
Let c = 5942 - 4612. Is 19 a factor of c?
True
Let d = 18 + -3. Let z be 3*(-5)/d - 0. Let s(k) = -70*k + 3. Does 6 divide s(z)?
False
Suppose 9*a = 37 - 10. Let t(s) = s**3 - 2*s**2 - s + 2. Let u be t(a). Is 31 a factor of u/14*(-1302)/(-12)?
True
Suppose 116101 = 81*r - 921671. Is 42 a factor of r?
False
Is 9 a factor of ((-2 - -3) + 920)/((-42)/(-224))?
False
Let z = -3303 + 3624. Is z a multiple of 14?
False
Let w(x) = -128*x**2 - x - 13. Let t(s) = 256*s**2 + 2*s + 25. Let o(p) = -2*t(p) - 5*w(p). Let a be o(-5). Is 34 a factor of 6/16 - a/(-16)?
False
Let q be (7 + -7)/(-2 + 0). Suppose 0 = -y + o - 11 + 57, q = -4*y + 2*o + 194. Does 32 divide y?
False
Does 8 divide 4023*(-44)/(-28) - (-120)/(-140)?
False
Suppose -3 = -d - i - 2, 5*d = 2*i + 40. Let r be 2/d - 35/(-21). Suppose 4*j - 283 = -5*x, -3*j + r*x + 214 = 4*x. Does 24 divide j?
True
Is (38 - 55) + 29158/1 a multiple of 23?
True
Let d be ((-1706)/(-3))/((-14)/(-63)). Suppose 14*u = 73 + d. Does 47 divide u?
True
Suppose 76*p - 34*p + 38*p - 198240 = 0. Is p a multiple of 14?
True
Suppose 0 = 234*t - 246*t - 60. Does 41 divide (-12 - t - -6)*2464/(-4)?
False
Suppose 8*z - 4308 - 9132 = 0. Suppose 0 = -4*u + t - 5*t + z, 0 = 5*u - 2*t - 2100. Does 42 divide u?
True
Let r(l) = -l**2 - 2*l + 128. Let b be r(10). Is (-52)/b*(5 - -5)*-10 a multiple of 49?
False
Let m be -1 + -2 - (-4 - (-2 + 145)). Suppose 168 = 4*v - m. Is v a multiple of 44?
False
Suppose -301*i + 307*i + 30 = 0. Let n(d) = -d**3 - 3*d + 4. Does 41 divide n(i)?
False
Let y(i) = i**2 + 11*i + 20. Let f be y(-4). Let l(c) = -c**3 - 10*c**2 - 6*c + 17. Let s be l(f). Is 250/9 - 14/s a multiple of 23?
False
Suppose -62*x = -24*x - 218994. Is x a multiple of 113?
True
Suppose 4510 + 1076 = 4*i - 5*r, 0 = -i + 4*r + 1391. Is 11 a factor of i?
False
Let t = 20825 - 11407. Suppose t = -2*c + 7*c - 3*o, o = 5*c - 9426. Is c a multiple of 39?
False
Let i(a) = 18*a**2 + a - 10. Let o be i(2). Let j = 288 - o. Does 7 divide j?
True
Suppose 18*b = 19*b - 1. Let u be (-3 - b) + 7/(-1). Does 17 divide (u + 12)/(2*1/136)?
True
Suppose 4*m - 287 = -3*u + 9204, 3*m - 7120 = -4*u. Is 35 a factor of m?
False
Suppose 13548 = -0*f + 23*f - 53037. Is 16 a factor of f?
False
Suppose -6*d + 2744 = 104. Is 16 a factor of d?
False
Suppose 3710 - 60505 = -8*n + 8077. Does 53 divide n?
True
Suppose 195*u - 200*u = -105. Let h be -3 + (-4)/((-12)/u). Suppose h*b = 2*b - 3*m + 212, 5*m = -10. Is b a multiple of 26?
False
Let z(b) = b**2 - 17*b - 13. Suppose 3*r + 7 = -1