?
True
Let h be (5 - 5)*4/16. Suppose 3 = a - 5*l, h*a = 3*a - 2*l - 9. Suppose -32 = a*p - 4*p. Is 32 a factor of p?
True
Let r = -209 - -198. Is 19 a factor of (96/(-1) + 1)/(r/11)?
True
Does 14 divide (-2 - -4) + 12/(-8) - (-32654)/4?
False
Let t(h) = -3*h**3 + 9*h + 9. Let y be t(-1). Suppose o + 3*u - 1022 = 0, 0 = 2*o + y*u - 0*u - 2029. Is o a multiple of 53?
True
Let y be -1 + (-4)/(-3 + 2). Suppose -o = 3*v - 4*v + 293, y*v - 2*o - 874 = 0. Does 8 divide v?
True
Suppose -2001 = -2*h - b, 4417 = 5*h - 3*b - 613. Suppose 0 = j + 5*m - h, 2*m - 3*m = 3*j - 2967. Is 38 a factor of j?
True
Let f be (3 + -11 + 7)*-389. Suppose 182 = x + 2*q, 3*x - f = x + q. Is x a multiple of 12?
True
Let h(d) = 8*d**2 - d + 263. Is h(11) a multiple of 61?
True
Suppose 2649 = -9*h + 993. Let a be h/(-13) - 24/156. Is 11 a factor of ((-7)/a)/((-2)/660)?
True
Suppose -i + 9*i + 1264 = 12*i. Is i even?
True
Let b(p) = p**2 - 3*p - 890. Does 43 divide b(46)?
False
Let m(n) = -29*n + 496. Does 8 divide m(10)?
False
Let i be (-1850)/(-111)*(-12)/(-10). Is 25 a factor of (i/15)/(12/4581)?
False
Suppose 98*i - 69*i = 52200. Is i a multiple of 18?
True
Let v(z) = -z**3 + 5*z + 922. Let p be v(0). Let a = p - -128. Does 25 divide a?
True
Let z(g) be the third derivative of g**5/20 + 5*g**4/2 + 95*g**3/6 - 109*g**2. Is z(-25) a multiple of 34?
False
Suppose 74*f - 988501 = -64389. Is 3 a factor of f?
False
Let x(l) be the third derivative of -2*l**2 - l**3 + 0 + 0*l - 2/15*l**5 - 1/8*l**4 - 1/120*l**6. Is 9 a factor of x(-8)?
True
Let h = -545 + 1804. Suppose -8*i + h = -509. Suppose 0 = 12*p + i - 1205. Is 22 a factor of p?
False
Suppose 173*s - 59*s = -4674. Let t be -1 + 1 + (-197)/(-1). Let r = t + s. Is r a multiple of 26?
True
Suppose 3*k - 627 = b - 6*b, 3*k + 4*b = 624. Suppose -5*h = -k - 96. Suppose -6*o + 6 = -h. Does 7 divide o?
False
Is (90/24)/(23/13248) a multiple of 7?
False
Suppose 632052 = 54*s - 243180. Does 25 divide s?
False
Let p be ((-3)/(-9))/((-9)/(-27)). Let c(f) = 12*f**3 - f**2 - f + 1. Let a be c(p). Suppose -532 - 128 = -a*u. Is 6 a factor of u?
True
Let n be (-5)/4 - 25/(-100). Let x be (-296)/(-16) + (9/(-6))/n. Suppose -132 = x*z - 23*z. Does 3 divide z?
False
Suppose 2*c + p = 11, -2 - 4 = -2*c + 4*p. Suppose 2*u - c*b - 586 = -b, -4*u - b = -1208. Does 16 divide u?
False
Is (948/24)/(6/7488) a multiple of 79?
True
Suppose 4*l - 35 = -3*l. Suppose r + 6*r = l*r. Is 17 a factor of r - (-101 - -2) - (3 - 6)?
True
Suppose 1683*w - 1701*w = -57060. Is 15 a factor of w?
False
Let q(g) = g - 1. Let m be q(7). Suppose 3*w = -4*f + 7, 2*f - 16 = 2*w - m*w. Does 3 divide (f/(-1))/((-7)/(-63))?
True
Is (-16)/(384/18) + -74012*1/(-16) a multiple of 12?
False
Let i = 24437 - 14555. Is i a multiple of 26?
False
Let a(n) = 160*n**2 - 112*n - 16. Is 49 a factor of a(-16)?
False
Let y = 9935 - 8591. Is y a multiple of 28?
True
Suppose -632*b + 381*b = -2032347. Is 5 a factor of b?
False
Let y = -36 + 41. Let i(f) = -128*f + 4. Let o be i(y). Is 15 a factor of (4/(-12)*2)/(8/o)?
False
Let s be -100 + (1 - 0) - (-476)/119. Suppose -4*n = -17 + 5. Does 19 divide (s/(-2))/(n/6)?
True
Let o be 10/(-40) + ((-9510)/24)/(-5). Suppose -4*s - 34 = 58. Let q = s + o. Is 6 a factor of q?
False
Suppose -2*b = 4*m + 182 - 66, b = m + 29. Let s = -27 - m. Suppose 2*t - t - 823 = -3*j, -s*t = -2. Is 47 a factor of j?
False
Let s(y) = -8406*y - 382. Is s(-3) a multiple of 14?
True
Suppose -14*x = -6346 - 20128. Is x even?
False
Suppose -227*u + 225*u = -11518. Is 13 a factor of u?
True
Suppose 5*g = -15, -2*g + 3 = -3*s - 7*g. Is 11 a factor of (2026/6 - s)*3?
True
Let p = -112 - -138. Suppose -p*t + 22*t = -20. Suppose -2*h - 588 = -t*h. Is h a multiple of 49?
True
Suppose 26*k + 347368 = 444084 + 988576. Is 18 a factor of k?
True
Suppose -5249 = -31*w + 13289. Is w a multiple of 2?
True
Suppose 44*m + 17*m - 728936 = 18*m. Is 13 a factor of m?
True
Let f(s) be the second derivative of s**4/4 + 10*s**3/3 + 28*s**2 + 106*s. Is f(-16) a multiple of 42?
True
Let i be ((-8)/5 + 1870/2200)/(2/(-8)). Suppose 0*d = -5*d + 160. Suppose -h - g + 194 - d = 0, -i*h + 2*g = -506. Does 46 divide h?
False
Let c(j) = -j**3 - 5*j**2 - 8*j + 3. Let t be c(-10). Let r = -215 + t. Does 24 divide r?
False
Let x(z) = -z**3 - 35*z**2 - 69*z + 61. Let h be x(-41). Suppose -24*a + h = 3520. Does 32 divide a?
False
Let t = -26 + 24. Let x be (t - -1 - -2)/((-11)/(-55)). Suppose -s + x*d + 42 = -15, s - 30 = -4*d. Is 8 a factor of s?
False
Suppose -5*j - 4*p = -42781, -205*j - 5*p + 17109 = -203*j. Does 13 divide j?
False
Let t(h) = -78*h**3 + 2*h**2 + 2*h + 30. Is 6 a factor of t(-4)?
True
Let m be -4 - (-12)/(-24)*38/(-1). Suppose -4*d = q + d + 15, 0 = -q + 4*d - m. Is (q - -13)*(-25 - 0/1) a multiple of 10?
True
Suppose -20*v = -3*q - 25*v + 2886, 0 = 2*q - 2*v - 1892. Does 68 divide q?
True
Suppose -38 = -3*z - 2*j - 0*j, 3*z = 2*j + 22. Is 19 a factor of 575 - (z - (6 - 1))?
True
Suppose 5 = -h - 0. Let d(q) = -4*q**3 - q**2 - 4*q + 2. Let y(i) = -5*i**3 - 2*i**2 - 4*i + 1. Let r(f) = 6*d(f) - 5*y(f). Is r(h) a multiple of 2?
True
Let l(s) = -s**2 + 91 - 43 - 45 - 32*s. Is l(-29) a multiple of 31?
False
Suppose -u = 3*u - 108. Suppose g + u - 2 = 0. Is g/10*(-4)/5 + 20 even?
True
Let u(g) = g**3 - 9*g**2 + 23*g - 115. Let a be u(8). Let y be (-1467)/(-5) - (-4)/(-10). Suppose 0 = -t + 4*b + 92, -a*b + y = 2*t + t. Is t a multiple of 6?
True
Let x = -1000 + 2692. Is 7 a factor of x?
False
Suppose 4*u = 5*f + 10 - 30, -3*f = -12. Suppose 5*d - 371 = -b + 7879, u = 3*d + b - 4950. Does 25 divide d?
True
Let l = 8 + -6. Suppose 3*w + l = 2. Suppose w = -9*v + 673 + 29. Is v a multiple of 39?
True
Let d(u) = -9*u - 194. Let n be d(-11). Let a = 215 - n. Is 5 a factor of a?
True
Let k be ((-78)/9)/(4/(-18)). Let h = k + -45. Does 4 divide (-72)/(-7) + h/21?
False
Suppose -14 = 86*r - 88*r. Suppose -r*q + 1686 = -519. Does 14 divide q?
False
Is 93 a factor of ((-284)/(-20) - -1)/((-12)/(-1440))?
False
Suppose 167424 = 40*n - 8*n. Does 12 divide n?
True
Let i(c) = 1360*c**3 - 5*c**2 + 4*c - 4. Is 14 a factor of i(2)?
True
Suppose -20706 = -30*f + 18*f - 2886. Is f a multiple of 11?
True
Suppose 4*i - 121 = 147. Let b = -62 + i. Suppose b*s = 87 - 57. Is 3 a factor of s?
True
Is 92 + 571 + 6/(-2) a multiple of 60?
True
Suppose -4*o + 666 = -5*g, 5*o + 6*g - 3*g = 851. Suppose 0*r - 2*r + 134 = -4*m, 3*m = r - 63. Let p = o - r. Is 18 a factor of p?
False
Let f = -5940 + 10296. Is f a multiple of 44?
True
Suppose -515*o + 501*o + 31017 + 50729 = 0. Is 5 a factor of o?
False
Let i = 42 + -54. Let x = -84 + i. Let f = -52 - x. Does 27 divide f?
False
Let g = 36 - -279. Suppose 0 = 2*i, -3*l + g = -3*i + 7*i. Is 6 a factor of l?
False
Let a(x) = 5461*x**2 - 18*x + 17. Is 30 a factor of a(1)?
True
Suppose 115650 = -174*r + 105*r + 84*r. Is 23 a factor of r?
False
Let k be 14/(-4)*2 - -12. Suppose 2*r + 844 = 4*z - 2*z, 0 = k*z + 4*r - 2065. Does 41 divide z?
False
Is 22 a factor of 1543 + -2 - 2/(6/(-15)) - -7?
False
Let o = -31 + 34. Suppose -b = o*b + 8. Does 8 divide 0 - (4 + b + -1 + -44)?
False
Let z(j) be the second derivative of 15*j**2 + 9*j - 1/6*j**3 + 0. Is 5 a factor of z(17)?
False
Let m be (-2 + 3)*(-5 + 377). Suppose -3*l = 2*w + l - m, -9 = 3*l. Does 30 divide w?
False
Let y = -48 + 35. Let v(t) = -t**3 - 13*t**2 - 11*t + 17. Let q be v(y). Suppose 8*d - 4*d = q. Is d a multiple of 3?
False
Let d = -51 + 45. Is ((-2)/d)/(-24 - -23)*-1347 a multiple of 36?
False
Let d be 4881*1*(15/45)/(-1). Let x = -767 - d. Does 20 divide x?
True
Suppose 3*y - 1032 = -5*k + 2*k, -4*y + 3*k + 1355 = 0. Let o = y + -177. Does 4 divide o?
True
Suppose 15*i - 10*i = -50. Let v = i - -278. Does 10 divide v?
False
Let y(o) = 10*o**3 + 2*o - 1. Let t be y(1). Suppose -t*w + 2522 = 2*w. Is 8 a factor of w?
False
Suppose 6 = 8*v - 6*v. Suppose -v*s = -111 + 117. Is 19 a factor of (((-3)/s)/(-1))/(8/(-912))?
True
Suppose -g + 4*j = 4*g - 14183, 4*g - 11344 = 2*j. Suppose 5*n + 4*c - 2378 = 462, -5*n + g = 5*c. Is n a multiple of 13?
True
Let i = 141 - 114. Is (-290)/(-6) + 99/i + -2 a multiple of 4?
False
Let u(f) = -2*f**3 - 28*f**2 - 37*f - 848. Is 14 a factor of u(-26)?
True
Does 132 divide 99876/(-4