76*v - n. Is 29 a factor of v?
True
Let q = 180377 + -119041. Does 44 divide q?
True
Suppose 50*x = 48*x - 176. Let m = x - -118. Is 3 a factor of 149/3 + 10/m?
False
Let q(f) = 3*f - 51. Let z be q(17). Suppose z = 3*p - j - 541, -2 = 3*j + 1. Does 12 divide p?
True
Suppose 2*y - 3*s = 11, -s = 2*s - 3. Let w(b) = b**3 - 6*b**2 - 6*b + 5. Let d be w(y). Is 91*(d/3 - 16/7) a multiple of 27?
False
Suppose 0 = 2735*n - 2671*n - 1299712. Is n a multiple of 140?
False
Let l(c) = 28*c - 110. Let s be l(-17). Let r = 648 + s. Is 31 a factor of r?
True
Let b be 1*-5 + 69 + 10 + -8. Suppose 0 = 5*i - 276 + b. Is i a multiple of 42?
True
Let u be 0/(3 - 2*(-15)/(-6)). Suppose 2*f - 302 = -5*m, 5*m + 4*f + f - 290 = u. Does 46 divide m?
False
Suppose 11*g - 265288 = -24949. Is g/33 - (8 + (-522)/66) a multiple of 60?
False
Is 10929 + -45 + ((-3)/6)/((-1)/10) a multiple of 151?
False
Let o = 15607 + -7969. Is o a multiple of 71?
False
Let t(u) = u**2 + 5*u + 10. Suppose -4*v + 65 = -19. Suppose 7 = -4*k - v. Does 8 divide t(k)?
True
Let x = -8863 + 10358. Does 12 divide x?
False
Let b(f) = 728*f**2 - 19*f + 25. Is 31 a factor of b(-4)?
True
Does 3 divide (8 - (-4 - -6)) + -11638*12/(-24)?
False
Let k(x) = -87*x + 8854. Is 59 a factor of k(76)?
True
Let u = 59 - 57. Suppose u*j = j. Suppose j*s = s + 4*h - 60, 2*s = -5*h + 117. Does 14 divide s?
True
Let u(x) = x**2 + 7*x - 6. Let q be u(-8). Let d be ((-2)/(-4))/(q/4) - 118. Let o = d - -207. Does 13 divide o?
False
Let c(r) = 1422*r + 432. Is c(3) a multiple of 105?
False
Suppose -209 = -5*l - 4*g, -2*g + 55 = 4*l - 117. Suppose -4*b - 5*b = -l. Suppose -3*f + 17 = v, -85 = -b*v - 0*v + 5*f. Is 5 a factor of v?
False
Does 10 divide (2583075/310)/(2/(-3) - 51/(-36))?
True
Suppose 0 = -11*z + 44*z - 99. Suppose 5*k + r - 1049 = -2*r, z*k - 621 = r. Is 13 a factor of k?
True
Suppose -3*s - 90 = -3*c, 3*c + 9*s - 70 = 7*s. Suppose 9963 = 35*l - c*l. Is l a multiple of 9?
True
Suppose 5*g = 5*m + 86 - 21, 5*g + 4*m - 29 = 0. Suppose g = 2*z + 1. Suppose -l + 931 = z*t - 6*l, 15 = -5*l. Is 39 a factor of t?
False
Let f(s) = -499*s - 1765. Is f(-16) a multiple of 9?
True
Let c(h) = -h**3 - 24*h**2 - 24*h - 4. Suppose 3*s + 5*j - 27 = 0, -2*j = -5*s - 0*s + 14. Suppose 3*m = -3*p - 81, s*p + 4*m + 85 = p. Is c(p) a multiple of 5?
False
Let l be (-48)/32*(-8)/6. Let g be 8*(l - 1) + -4. Is 12 a factor of 2/g + 0 + 284/8?
True
Let a be (-104)/(-40) - 4/(-10). Is 11*17 - 16/(24/a) a multiple of 14?
False
Does 197 divide ((-14968)/6)/((208/(-117))/16)?
False
Suppose -1 = m, -2*m - 133520 = -261*z + 258*z. Is z a multiple of 34?
True
Let n(p) = p**3 - 47*p**2 + 56*p + 163. Does 13 divide n(48)?
False
Let w(r) be the second derivative of 5*r**4/6 + r**3/6 + 11*r**2 + 4*r - 23. Is 7 a factor of w(-7)?
False
Let k(r) = -r**3 + 30*r**2 + 7*r - 61. Is k(22) a multiple of 65?
True
Let i(m) = -7*m + 6. Let z(a) = 7*a - 6. Let y(s) = -5*i(s) - 4*z(s). Let f be y(2). Is (-18)/(3/((-12)/f)) a multiple of 9?
True
Is 19 a factor of 80*(4/(-26) + (6 - 39816/(-910)))?
False
Let l be (-2*2/(-3))/(16/36). Suppose l*x - 419 = -f + 46, -4*x - 1369 = -3*f. Suppose -7*y = -1683 - f. Is y a multiple of 41?
False
Let r(w) = -591*w - 2450. Is r(-38) a multiple of 233?
False
Let s(u) be the first derivative of -14*u**2 - 140*u - 4. Is 3 a factor of s(-7)?
False
Let f be 32/(-60)*(-3)/2*235. Let b = f + -103. Let m = b - 77. Does 3 divide m?
False
Suppose 2*d - 3*h - 231 = 0, -3*d + 426 = -3*h + 87. Does 9 divide ((-128)/(-12))/(4/d)?
True
Suppose 6*k - 3*k = -k. Suppose 3*z - 26 - 13 = k. Suppose -4*v = -z - 3. Is v a multiple of 4?
True
Suppose 5*c = 19 + 31. Suppose 7*p - 2 = 2*w + 11*p, 22 = 4*w - 5*p. Suppose -w*z + c*z = 315. Does 9 divide z?
True
Let l(j) = j**2 - 14*j + 35. Let p be l(12). Suppose -p*n + 12 = -8*n. Suppose k - 4*k + 5*o + 111 = 0, -o = -n*k + 165. Is k a multiple of 6?
True
Let f be 1 - (-3 + 4) - -2 - -5038. Suppose 25*d - 4*d = f. Does 16 divide d?
True
Let w = -287 + 199. Let j = -86 - w. Suppose -u + 288 = 3*v, j*v + 3*u = 7*v - 466. Is 12 a factor of v?
False
Suppose -86*x + z - 9699 = -90*x, -3*x - z + 7275 = 0. Is x a multiple of 6?
True
Let c = -1413 + 2355. Does 20 divide c?
False
Suppose 0 = f + f - 3*f + 944. Is 9 a factor of f?
False
Is (-2)/((-8)/(-20)) - 47012/21*-3 a multiple of 23?
False
Let g(q) = -2*q**2 + 2*q - 12. Let c(v) = -v + 1. Let w(l) = -c(l) - g(l). Let b be w(0). Does 16 divide 72*b/(66/4)?
True
Let k(i) = -i**3 + i + 3406 + 7*i + 3403 - 6820 + 5*i**2. Suppose -4*s - 3*z + 2 = -18, 15 = 3*s + z. Is 22 a factor of k(s)?
False
Let y be (-1)/(-1)*129*2/(-3). Does 41 divide (-125)/(-2)*1*y/(-43)?
False
Let p be (-10)/((6/(-9))/((-2)/6)). Is 1326/(2 - -1) + (p - -7) a multiple of 53?
False
Let k = -262 - -302. Does 9 divide 5/k - (1 - 4341/24)?
True
Let l(t) = -t + 1. Let j(w) = -121*w - 13. Let z(o) = j(o) + 4*l(o). Let p be z(-2). Suppose g - 81 = b, 88 + p = 4*g - 5*b. Does 11 divide g?
False
Suppose -q + 1 = -4*f, -f - q = q - 11. Let o(b) = 599*b**3 - 3*b + 4. Let u be o(f). Let z = u + -408. Is 48 a factor of z?
True
Suppose -4*t + 4*s = -27856, 3*t - 20900 = -9*s + 14*s. Is 145 a factor of t?
True
Let w(s) = -304*s - 3444. Is 7 a factor of w(-17)?
False
Let y(p) = 1156*p - 329. Is y(14) a multiple of 151?
True
Let l = 11918 + -6911. Does 76 divide l?
False
Let j be (-90)/(-25) - 2/(-5). Suppose 0 = -2*d + 2, 5*d = -0*n - j*n + 305. Suppose 3*t - 2*t + o - 83 = 0, t - o = n. Is t a multiple of 21?
False
Suppose -22*t + 23*t = 2. Suppose -8 = -4*l + 4*w, -6 = -w - t*w. Suppose 0 = -5*k - 5*c + 660 - 100, -2*c = -l*k + 436. Does 11 divide k?
True
Suppose -257*f + 262*f = -4*n + 228761, 2*f = -5*n + 285981. Does 47 divide n?
True
Let n = 67461 + -17379. Is n a multiple of 17?
True
Let r(i) = i**2 - 6*i - 90. Let k(p) = p**2 - 7*p - 90. Let f(d) = 3*k(d) - 4*r(d). Let g be f(0). Suppose -10 = 2*j, 5*q - j - g = 2*j. Is q a multiple of 15?
True
Let s = 20348 + -17807. Is 11 a factor of s?
True
Suppose -3*b + 0 + 12 = 0, 257 = -3*r - b. Let y = r + 117. Let c = 63 + y. Is 4 a factor of c?
False
Let y(c) = -6*c + 300. Is y(-75) a multiple of 30?
True
Let m = 25 - 17. Let l = -92 + m. Let v = -61 - l. Is 23 a factor of v?
True
Is ((-1)/(-4))/((-440)/(-320)) - (-942938)/22 a multiple of 13?
True
Suppose -20*h + 2*k - 811 = -23*h, -h + 261 = 2*k. Does 18 divide h?
False
Suppose -26*b - 534313 = -78*b + 191087. Is 25 a factor of b?
True
Suppose 61640 = 148*n - 128*n. Does 134 divide n?
True
Suppose -5*m - 9740 = -29*m + 22*m. Is m a multiple of 12?
False
Suppose -s - l - 4 = l, -3*s + 2*l = -20. Suppose -2*j = d - 3*j - 202, s*d + j - 788 = 0. Is 18 a factor of d?
True
Is 2 + (-3)/(-3) - 68959/(-11) a multiple of 49?
True
Suppose -157 = 33*w - 883. Suppose 0 = 7*j - w - 468. Does 10 divide j?
True
Let v = 583 + 172. Suppose 2*b = -920 - 44. Let u = b + v. Does 39 divide u?
True
Let n = 91 - -32. Let f = n + -118. Is (6 + 0)*(f - 0) a multiple of 4?
False
Suppose 5*t = 332 + 258. Suppose t*b = 113*b + 1830. Is 16 a factor of b?
False
Let z = 7628 - 1224. Is 36 a factor of z?
False
Suppose -44 = 3*v - 1361. Let d = v - -122. Is d a multiple of 17?
True
Is 3 a factor of 1179176/84 - 12/(-63)?
False
Let u be (3 - 30/9)*-1*147. Suppose -432 + u = -p. Is 14 a factor of p?
False
Let k = -7072 + 11664. Is 56 a factor of k?
True
Suppose 0 = -4*k + 2*k. Suppose -4*q = 2*a - 126, -4*a + a + 5*q + 211 = k. Is 14 a factor of a + (4 - (-6)/(-3)) + 1?
True
Is 3 a factor of ((-6)/15*(-815)/8)/((-2)/(-160))?
False
Let a(c) = 5*c**2 - 90*c - 160. Does 20 divide a(-20)?
True
Suppose 18*x - 285 = 201. Suppose -x*w - 22448 = -43*w. Does 23 divide w?
True
Let d(r) = r**2 - 7*r - 13. Let u be d(11). Suppose y - 35 = 5*a, -5*a + 4*y - u = 4. Let p = a - -68. Does 20 divide p?
False
Let p be (-6 - -5)/((-2)/(-904)). Let r = p + 648. Is r*(6 + -4 - 1) a multiple of 14?
True
Does 4 divide 575 - -1474 - (-10)/1?
False
Let n = -5 - -14. Let a(v) = v + 1. Let b(t) = 8*t + 21. Let j(m) = a(m) + b(m). Does 16 divide j(n)?
False
Let j be ((-700)/(-6 + 11))/1. Let b = -44 - j. Does 12 divide b?
True
Suppose -16 = 4*v, 5*w - 31890 = 4*v - 2514. Is 184 a factor of w?
False
Let m(z) = 337*z**2 + 25*z + 143. Is m(-5) a multiple o