?
False
Let c(u) = -u - 4. Let r be c(-6). Suppose 0 = 13*j - 101 + 75. Suppose -j*y + r*p + 134 = -152, 3*y = -2*p + 404. Is y a multiple of 23?
True
Suppose -13*q + 5*q = -2520. Is q a multiple of 7?
True
Suppose 0 = -2*i - 274 - 104. Let u be 2*186/(-4)*4/3. Let c = u - i. Does 13 divide c?
True
Let m = 33 - 76. Let d = m + 37. Is (d/(-5))/((-7)/(-280)) a multiple of 16?
True
Suppose -2*g + 11 = -1. Suppose 0 = -4*t - 3*y - 123, -1 + g = -y. Is 7 a factor of (11/((-132)/t))/(2/24)?
False
Let k(w) = 11*w**2 - 19*w + 51. Let x(g) = 9*g**2 - 18*g + 52. Let t(h) = -5*k(h) + 6*x(h). Is t(-14) a multiple of 2?
False
Let o = -35 + 59. Suppose 4*d = 3*d, 4*f - o = -d. Suppose -r + 469 = f*r. Is 13 a factor of r?
False
Let u(r) = r**3 + 9*r**2 - 2*r - 16. Let i be u(-9). Suppose i*o - 5*q + 27 = -2*o, -o = -q + 6. Is 12 a factor of (2/(-5))/((-6)/(-1080)*o)?
True
Suppose 0 = -7*o - o - 4000. Let y = -236 - o. Does 11 divide y?
True
Let x = -564 + 1035. Suppose -4*o + h + 31 + x = 0, 0 = 5*o + 2*h - 634. Does 14 divide o?
True
Let m(p) = -2*p**2 - 18*p - 20. Let y be m(-8). Does 3 divide -1*(16/y + -2)?
True
Is 76 a factor of 1*7963 + (1 - 2) - (-48 + 46)?
False
Let y = 1581 + -420. Is 29 a factor of y?
False
Let t be 16/(-72) - (-245)/9. Let d = 31 - t. Suppose -z + d*j + 0*j = -121, 0 = -5*z + 2*j + 515. Is 23 a factor of z?
False
Suppose 2*o - 3224 = -4*v, 4*v - 861*o + 857*o = 3200. Is v a multiple of 130?
False
Suppose -4 + 22 = -r + p, -12 = -3*p. Is (-4 + 2)*(2345/r - 0) a multiple of 5?
True
Suppose 7621 + 67714 = 19*z. Does 13 divide z?
True
Suppose 2*k - 1658 = 3190. Suppose -374 = 5*a - k. Is a a multiple of 21?
False
Suppose 8*i + 4416 = j, -5*j + 12*i + 22004 = 10*i. Does 11 divide j?
True
Suppose 21440 = 218*r - 210*r. Does 148 divide r?
False
Suppose -1038 - 2262 = -11*w. Let q = 426 - w. Is q a multiple of 6?
True
Let f(i) = -i**3 - 41*i**2 - 19*i - 24. Let k be f(-21). Does 67 divide k/(-9) + (-14)/42?
True
Is (-4723)/(-2) - (-25 + (-1375)/(-50)) a multiple of 150?
False
Suppose -5*l = 2 - 192. Let g be (l + 8/4)/(2/10). Suppose -4*b - b + g = 0. Is b a multiple of 5?
True
Let p(z) = 5*z + 18. Let w be p(-3). Suppose -w*v + 806 + 985 = 0. Does 31 divide v?
False
Let d be (-1)/(-1*2)*(-25 + 41). Let s(h) = 17*h - 46. Is 5 a factor of s(d)?
True
Suppose 0 = 4*u - 5*q - 16, u - 9 = 2*u + 2*q. Let i be (-6)/((-4)/(-54)*u). Let x = i - 12. Does 7 divide x?
False
Let x = 382 + -52. Suppose 72*l - x = 71*l. Is 11 a factor of l?
True
Suppose -4*u - 2*h + 93884 = 0, 8*u = 10*u - 3*h - 46926. Is 83 a factor of u?
False
Suppose 33*a - 31*a - 2*y - 5228 = 0, 0 = -5*a - 3*y + 13110. Is 9 a factor of a?
True
Let y = 5844 - 2244. Does 21 divide (y/(-105))/(4/(-42))?
False
Suppose -791648 = 44346*m - 44368*m. Does 104 divide m?
True
Suppose -2*z = -2*d - 4, -2*z = -z - 5*d + 2. Suppose -3*o - 3*y = -207, -5*y = z*o - 6*y - 211. Is 65 a factor of o?
False
Let f be (-47)/(-15) + 18/(-135). Suppose 4*v - f*q - 129 = 151, -280 = -4*v + 4*q. Suppose 10*k + v = 11*k. Is k a multiple of 14?
True
Suppose -2303*m = -2310*m + 3528. Is 24 a factor of m?
True
Let a = 5253 - 4917. Does 49 divide a?
False
Let s(t) = t - 9. Let m(r) = r - 19. Let v(y) = 2*m(y) - 5*s(y). Let n be v(0). Let p(d) = -d**3 + 8*d**2 - 6*d + 17. Is p(n) a multiple of 12?
True
Let z = -936 + 358. Let l be (-3)/((-32)/4 + 5). Is (-8)/(-20) + z/(-5) + l a multiple of 13?
True
Let h be (0 - 0)/(6 + -2 + -3). Suppose -25*s + 20*s - 10 = h. Does 18 divide s/((-2)/73) + 3 + 0?
False
Let b(i) = -3*i**3 + 2*i - 5. Let a be b(2). Let q be -6*(5/a - (-213)/(-10)). Suppose z - q = -o, z + o - 5*o = 134. Does 20 divide z?
False
Let l(k) = -9*k**3 - k**2 + 2*k + 62. Does 20 divide l(-5)?
False
Suppose -9 = -6*x + 33. Let g(f) = -7*f**2 - 2 - 6*f + 25*f**2 + 1 + x. Is g(2) a multiple of 22?
True
Is 2350932/78 + (-20)/130 a multiple of 137?
True
Suppose 274 = -4*c + 298. Suppose 2*q - 1124 = 3*z - c*z, z - 4*q = 398. Is z a multiple of 18?
True
Is 41 a factor of (-12)/((-430100)/(-71689) - 6)?
False
Let x(r) = -72*r**3 + r**2 - r. Suppose -d = -3*o + 2, 5*o - 4*o - 4*d + 3 = 0. Let b be x(o). Let g = b - -76. Is g a multiple of 4?
True
Let u(d) = d**3 + 53*d**2 + 176*d - 95. Does 122 divide u(-26)?
False
Let s(b) = b**2 - 43*b - 64. Is 23 a factor of s(-39)?
False
Suppose -5*u + 839 = 2*i, 3*u + 5*i - 137 - 355 = 0. Let m = 143 + u. Is m a multiple of 39?
True
Let v = 61 + -73. Let d be (4/(-6) - v/18)/(-1). Suppose -2*x + 77 + 55 = d. Does 10 divide x?
False
Suppose -2*a = 2*a + t - 703, -3*a - 2*t = -521. Let p = a + -26. Suppose -5*y - n + p = 0, 121 = 3*y + y + n. Does 6 divide y?
True
Let t(o) = 7*o**2 + 30*o - 30. Let z be 148/18 - (-8)/(-36). Is t(z) a multiple of 19?
False
Let d(m) = 7*m - 46. Let b be d(7). Suppose -5*r = -15, -x - 241 = -b*x + 3*r. Is x a multiple of 8?
False
Let b(s) = s - 1. Let n be b(5). Suppose -7*p - 156 = -n*p. Let l = -50 - p. Is 2 a factor of l?
True
Suppose 17 = -2*f + 5. Let w(r) = -4*r**3 - 8*r**2 + r + 13. Is 35 a factor of w(f)?
False
Suppose 0 = 3*n - h - 108, -n + 17 = 5*h - 3. Suppose n = x - 102. Is 6 a factor of x?
False
Let s(l) = -59 + 8*l + 25*l**2 - l - 2*l + 7*l. Is s(4) a multiple of 18?
False
Let u(c) = c**3 - 3*c**2 - 7*c + 2. Let j be u(6). Let p be 1012/j - (-8)/68. Let n = 40 - p. Does 22 divide n?
False
Let v = 428 + -1082. Let w = 717 + v. Is 3 a factor of w?
True
Let s(d) = 2*d + 15490. Is 77 a factor of s(-119)?
False
Suppose -25893 = 537*l - 544*l. Is l a multiple of 37?
False
Suppose n = 3, 8374 = 3*t - 4*n - 14294. Is t a multiple of 140?
True
Let n(t) = 3*t**3 + 3*t**2 + t - 9. Let z be n(5). Suppose -6*q + 8*q - z = 0. Suppose -2*b = -3*m + 139, 5*m + 2*b - q = b. Does 15 divide m?
True
Let d(y) = -7*y - 32. Let f be d(-5). Suppose -f*s + 1 = -5. Let c = s - -18. Does 20 divide c?
True
Suppose -5*q = -9*q + 32. Let c be ((-6)/q)/(11/308). Is (-303)/c + (-4)/(-7) a multiple of 4?
False
Suppose 0 = -3*o + 5*h + 57615, 1987*o - 4*h + 38454 = 1989*o. Does 15 divide o?
True
Let f = 22274 - 21874. Does 20 divide f?
True
Let k = 42 - 45. Is k/15 - (-17608)/40 a multiple of 18?
False
Let v(l) = -759*l**3 - 15*l**2 - 20*l + 39. Is v(-3) a multiple of 11?
False
Let n = -15 + 23. Let w(c) = 34*c - 91*c + 29*c + 35*c - 3. Is 53 a factor of w(n)?
True
Suppose 7*n - 8*n + 122309 = 3*y, -n + 326149 = 8*y. Does 56 divide y?
True
Suppose u - 92 = 5*g, -3*g - 3*u - 48 = -0*u. Is ((-1155)/(-2) - g/36) + 5 a multiple of 65?
False
Suppose -4*m = 2*m + 126. Let d = 448 + m. Is d a multiple of 15?
False
Let m = -176 + 344. Let c = m + -237. Let l = c - -183. Is l a multiple of 29?
False
Suppose -8388 + 163980 + 35163 = 81*d. Is 21 a factor of d?
False
Let z(t) = -t**3 - 14*t**2 + 11*t - 24. Let f be z(-9). Let d = -277 - f. Is d a multiple of 22?
False
Is 22 a factor of 24/(-220)*-5*(9977 - -44)?
False
Suppose 3*n = -4*s + 1358, -3*s + 2 = -2*s. Let a(d) = d**2 - 31*d - 61. Let k be a(-2). Suppose 2*h - 90 = -i - 0*h, 0 = k*i - 2*h - n. Is i a multiple of 33?
False
Suppose -2*y = 2*k - 30, 4*y - 1 + 39 = 3*k. Suppose -351 = -5*l + u, -16*l + 2*u + 134 = -k*l. Is 11 a factor of l?
False
Let f(g) = -3*g + 11. Let n(u) = 3*u - 12. Suppose -5*p + 3*o - 6 = 0, -3*o = -3*p - o - 3. Let d(m) = p*n(m) - 2*f(m). Is d(-7) a multiple of 7?
True
Let l = -173 + 108. Let q = 204 + l. Is 9 a factor of q?
False
Suppose -17*f + 9*f = 4*f. Suppose f = 26*t - 49*t + 13018. Does 20 divide t?
False
Let u(f) = f**3 - 10*f**2 - 11*f + 12. Let v be u(11). Suppose v = 4*k - 2*k. Suppose 0 = -k*z - 0*z + 1830. Is z a multiple of 55?
False
Does 110 divide 14085 - (16 - (-132)/(-12))?
True
Let p = -96 - -92. Let c be 1/((p/3380)/(-1)). Suppose -3*t - 2*r = -4*r - 850, -r - c = -3*t. Is t a multiple of 56?
True
Let o = -442 + 444. Suppose o*p - 965 = -3*x, -p + 266 + 239 = -3*x. Is p a multiple of 10?
True
Let z(u) = -2*u**2 - 94*u - 128. Suppose -2*n + q - 81 = 0, 202 + 7 = -5*n - 4*q. Is z(n) a multiple of 16?
False
Let n(w) = 14*w**3 - w**2 - w + 2. Let x be n(2). Let p = x - 103. Suppose p*k = 4*a - 840, 4*a - 5*a = 3*k - 227. Does 16 divide a?
False
Suppose 4*p = 2*q + 4, 2 = -p + 4*q - 4. Suppose -98 = -p*b + 88. Suppose -12*r + b = -99. Is r a multiple of 2?
True
Suppose f + 30