 Let b be r(4). Suppose 9 = b*w - 3. Suppose w = -2*j, 0*x - j + 350 = 2*x. Is x a multiple of 48?
False
Let n = 196 - 192. Suppose -n*h + 877 + 243 = 0. Does 14 divide h?
True
Suppose 2*c - 273708 = -5*u, -2*u - 4*c = -65339 - 44173. Does 9 divide u?
True
Is 5 + (1 - (8 + -7) - 888/(-4)) a multiple of 2?
False
Let h = 5937 - 1967. Is h a multiple of 118?
False
Let v be 8 - -6*1/(-2). Suppose 5*d - 74 = -3*z, v*z - 60 = -2*d - 19. Suppose b = d + 53. Is 17 a factor of b?
False
Let q be 17 + (-2 - 2) - -2. Suppose -2*t - q = 3*t, 2*s + 2*t - 230 = 0. Does 15 divide s?
False
Suppose 2*g = -0*g + 12. Suppose -8 = -3*s + 5*x, -76*s - x + 26 = -72*s. Suppose 90 = g*p - s. Does 6 divide p?
False
Let p = -4242 - -5736. Is p a multiple of 6?
True
Suppose 2*v = -4*v + 30. Suppose -14 = -v*t + 6. Suppose 0 = 8*o - t*o - 76. Does 19 divide o?
True
Let t = 60 - 97. Let i = t + 44. Suppose 207 = v + i*r - 2*r, -2*v + 2*r = -378. Does 32 divide v?
True
Let l = -1 + 6. Let n(v) = v**3 + 15*v**2 + v - 162. Let g be n(-12). Suppose l*h - g = 2*h. Is h a multiple of 43?
True
Suppose 4*i - 2*q = 6, 4*i + 6*q + 15 = q. Suppose 2*w + i - 10 = 2*t, -2*t + 25 = 3*w. Suppose w*l = 25*l - 4356. Is l a multiple of 18?
False
Let i = -14401 - -16592. Is 6 a factor of i?
False
Suppose -2 = 5*b + l, 4*l + 55 = -3*b + 47. Let h(r) = 2*r + 151 - 65 + 78 + r - r**3. Does 41 divide h(b)?
True
Suppose 0 = 33*n + 19*n + 4663 - 259827. Is 158 a factor of n?
False
Let u(r) = 841*r + 1626. Does 164 divide u(12)?
False
Let b(h) = 0*h**2 + h**2 + 7*h + 2 - 5. Let a(u) = u**3 + 11*u**2 - 42*u + 6. Let r be a(-14). Does 13 divide b(r)?
False
Let n = -14318 - -21542. Is n a multiple of 129?
True
Let x = 4903 + -1180. Does 17 divide x?
True
Suppose -3*c + 2*v + 17 = 0, 2*v = 5*c - v - 28. Suppose -4*m + m = -c*f - 17, 3*m = 12. Is 33 a factor of ((-21)/5)/(1*f/15)?
False
Let z(b) = -12 + 10 + b**2 - 7*b + 10. Let s be z(7). Suppose s*d - 101 = 1435. Is d a multiple of 12?
True
Let j(n) = -n + 7. Let w be j(7). Let z(t) = t**3 + t**2 + t + 144. Does 48 divide z(w)?
True
Let f(g) = -g**3 + 16*g**2 + 9*g + 24. Let v be f(17). Let h be 1824/7 + 64/v. Let m = -26 + h. Does 39 divide m?
True
Let f = -1298 + 1300. Let j(t) = 2*t**3 - 3*t**2 - t - 5. Let h be j(4). Does 4 divide (h - -3)/(-1 + f)?
False
Suppose 34*a = 30920 + 10118. Is a a multiple of 17?
True
Let m = 139 + -163. Let s be ((-89478)/m)/9 - 2/8. Is 23 a factor of s/1*(-1 + 3/2)?
True
Suppose 40 = -12*q - 8. Let p(d) = 9*d**2 + 3*d - 5. Is p(q) a multiple of 3?
False
Let b = -222 - -225. Suppose 305 = b*v - 481. Is v a multiple of 17?
False
Let p(s) = 2*s + 28. Let x be p(-13). Suppose -11*u = -x*u - 117. Suppose u*c - 56 = 9*c. Is 9 a factor of c?
False
Let j(o) = 2*o**2 + 20*o + 3. Let u be j(-9). Does 19 divide -8*9*(-1 + 80/u)?
True
Suppose w - 6 = -2*c, 3*c + 0*c + 26 = 2*w. Suppose 14*z - 44 = w*z. Does 4 divide z + ((-4)/(-4) - 1 - 0)?
False
Let u(m) = 148*m**2 - 10*m - 23. Let p be u(-4). Suppose 10*l - p = 2965. Does 6 divide l?
False
Let z = -402 - -404. Suppose z*l + 3*t - 141 + 23 = 0, -5*t = -20. Is l even?
False
Suppose -10*o = -63890 - 50170. Does 46 divide o?
False
Suppose -2*r = -5*g + 10, -g - 22*r + 20*r - 10 = 0. Suppose g*x = 2*v + 2*x - 72, 0 = -3*v + 2*x + 113. Does 19 divide v?
False
Let b be 13 - ((-9)/3 + 6). Suppose 6131 + 5329 = b*m. Is 11 a factor of m?
False
Let f be (-5 - -1) + 32/24*-3. Does 2 divide 21541/273 - f/84?
False
Suppose -3*y = 0, 192 = -49*r + 53*r + 4*y. Let o(z) = -z**2 - z - 1. Let w be o(-1). Is r*2/20 + w/(-5) a multiple of 3?
False
Let f = 50478 - 29526. Does 52 divide f?
False
Suppose 0*z + 48 = 16*z. Suppose -x + 464 = -3*q + 7*q, z*x = -2*q + 1372. Is 12 a factor of x?
True
Let h = 241 - 236. Suppose -h*w - 1040 = -9*w. Is 45 a factor of w?
False
Suppose -4*c - 3*j = -254, 3*c + 5*j - 199 = -14. Suppose -p - 2*m = -521, 0 = -2*p + 4*m + c + 977. Is p a multiple of 54?
False
Suppose -2*f + 7706 = s, 5*s = 3*f - 14631 + 3072. Does 37 divide f?
False
Let j(s) be the first derivative of -1 + 19/2*s**2 + 4*s. Is j(2) a multiple of 21?
True
Suppose 64*z + 53459 = 183251. Is 39 a factor of z?
True
Let q(a) = -25*a**2 - 17*a + 6. Let w(k) = 38*k**2 + 25*k - 9. Let x(n) = -7*q(n) - 5*w(n). Let s be x(-3). Is 11 a factor of (s/(-12))/((-3)/(-6))?
False
Suppose 2840*o + 9812 + 9398 = 2850*o. Is o a multiple of 37?
False
Let k(u) = -u**2 + 4*u + 5. Let t be k(5). Let j be (7/3)/(108/324). Suppose t = j*a - 621 + 124. Is a a multiple of 5?
False
Let b(n) = 3*n**2 - 30*n + 27. Does 47 divide b(56)?
True
Suppose 2 + 18 = -d. Does 27 divide 2 + d/5 + (164 - 0)?
True
Suppose 16 - 76 = -12*r. Suppose -2890 = -4*n + 2*a, -r*a + 4698 - 1123 = 5*n. Does 16 divide n?
True
Let d(j) = 29*j + 47 - 9*j + 5*j. Is 17 a factor of d(9)?
True
Suppose 0 = -58*b - 59*b + 4538156 + 2025076. Does 59 divide b?
False
Let z = -814 - -809. Is 4 a factor of z + (4/6)/((-54)/(-19521))?
True
Suppose -10842017 = -232*g + 1989671. Is 19 a factor of g?
True
Suppose 7*t - 36 = -2*t. Suppose 0 = -d + t + 4. Is d/(-6)*348/(-8) a multiple of 16?
False
Suppose 177*t = 167*t - 9880. Let i = -505 - t. Does 69 divide i?
True
Does 214 divide 8781 - 1 - ((-2544)/(-420) - (-2)/(-35))?
True
Let w be 3617 + 12/4 + 2 + -2. Suppose 4*i = i - o + 2695, 4*i - w = 4*o. Is i a multiple of 45?
True
Let u(v) = 4*v**2 - 52*v - 2524. Is 4 a factor of u(48)?
True
Let u be (-8)/(-14)*-1 + (-477)/(-63). Suppose -u*y + 183 = -601. Is y a multiple of 12?
False
Is 10 a factor of 132/297 + (-1 - (2 + 289352/(-36)))?
False
Let x(t) = -t**2 + 5 - 162*t + 187*t + 2*t**2. Let w be x(-25). Is 15 a factor of (3 + (-633)/9)/(w/(-15))?
False
Let j(o) = -o**2 - 9*o - 7. Let w(n) = n**3 - 9*n**2 + 5*n + 19. Let m be w(7). Let v = 38 + m. Is j(v) a multiple of 8?
False
Suppose 15 = -5*d, 0 = -2*g + 2*d + 2*d + 7488. Is g a multiple of 21?
True
Suppose -5*p + 274 = -171. Suppose 5*g = p + 296. Does 3 divide g?
False
Let f(i) = 3*i**2 + 87*i - 994. Is f(48) a multiple of 49?
True
Let h = -10 - -13. Let s be ((-5)/(-10))/(2/4). Suppose h*v - s = 44. Does 3 divide v?
True
Let q(n) = 10*n - 28. Let i be q(3). Suppose -i*r + 96 = 4*v + 8, -76 = -4*v - 5*r. Does 6 divide v?
True
Suppose -f = -368 + 145. Suppose -5*d + f = -4*d. Does 10 divide d?
False
Let w(p) = 12*p - 12 + 12 - 44*p. Let v be w(-3). Suppose -v = -2*f + 32. Is 8 a factor of f?
True
Let w(y) be the first derivative of -2*y**3/3 - 5*y**2/2 - 20. Let j(g) = -5*g**2 - 15*g. Let r(q) = 3*j(q) - 8*w(q). Is 11 a factor of r(11)?
True
Let l(i) = -4*i**2 - 31*i - 3. Let z be l(-7). Does 11 divide ((-9)/6)/(z/(-2100))?
False
Suppose -3*x + 3*w = 0, -10 = -3*x - w - w. Suppose 0 = -5*m + v - 2*v, v = -x*m. Suppose 0 = -m*y - 3*y + 15, -3*y = 3*h - 393. Is 14 a factor of h?
True
Let r(w) = w**3 - 4*w**2 - 7*w + 12. Suppose -17 = -4*i + 3. Let d be r(i). Is 26 a factor of 3*d/(-4)*-40?
False
Is 0 + 1 - (5 + -4869)*(-24)/(-16) a multiple of 11?
False
Suppose 0 = 4*w - 80 - 256. Is 43 a factor of (-8)/6*(-13293)/w?
False
Let r = -45392 - -107481. Does 35 divide r?
False
Suppose f + f - 490 = -3*b, 2*b + 2*f = 330. Suppose 0 = -b*d + 161*d - 44. Does 23 divide d?
False
Suppose -2*l - 17*l + 10577 + 16384 = 0. Is l a multiple of 6?
False
Let s(z) = -5*z**3 - 34*z**2 - 597*z - 10. Does 170 divide s(-13)?
False
Suppose -46*u = 7*u - 106. Suppose 2*o + 1450 = 6*o - 2*p, -u*p = o - 365. Does 11 divide o?
True
Let w be (-6)/10 + 186/(-15). Does 20 divide (w/((-65)/(-100)))/((-1)/2)?
True
Does 70 divide 10 + -11 + -10 + 9903?
False
Let k(p) = -p**3 + 43*p**2 - 39*p - 127. Let m be k(42). Let s(z) = -503*z**3 + 3*z**2 - z. Is s(m) a multiple of 23?
False
Let f(w) = w**3 - w**2 - w + 3. Let s be f(2). Suppose -118 - 38 = -4*a. Suppose 0 = -5*l + d + 71, s*d = -3*l + a - 2. Is l a multiple of 7?
True
Let u be 15/17 - 1 - 2/(-17). Suppose u*d = 3*d + 12, 5*d = -5*j + 50. Does 14 divide j?
True
Suppose -9*f - 117 = -12*f. Suppose -f*z = -35*z - 132. Is 10 a factor of z?
False
Let z(r) = 7*r**3 - 6*r**2 + 5*r - 10. Let n be z(4). Let a = -155 + n. Does 69 divide a?
True
Let f(l) = 12*l**2 - 144*l - 311. Does 29 divide f(31)?
True
Is 4/8*1266 - (18 + -12) a multiple of 19?
True
Suppose -y = -w + 13204 + 6372, -97920 = -5*w - 3*y