d. Does 3 divide n?
True
Suppose -38057 - 111044 = -5*n - a, 89481 = 3*n + 4*a. Is n a multiple of 70?
False
Let t be (-192)/4 - 3 - 1. Let b = 58 + t. Suppose -2*p + 472 = 2*y, -b*p + p + 1183 = 2*y. Is 15 a factor of p?
False
Let d(f) = -f**3 - 33*f**2 + 30*f - 30. Let a be d(-34). Is -1 - (-5 - (0 + a)) a multiple of 8?
False
Suppose 8 = y + 6. Let a = -98 + 272. Suppose -a + 4 = -y*w. Is 17 a factor of w?
True
Suppose -98*p - 294573 = -559202 - 615019. Is 34 a factor of p?
True
Suppose 2*j - 316 = 2*w, 4*j + 2*w - 34 - 622 = 0. Is 39 a factor of (-3036)/(-10) - j/270?
False
Let w(x) = 21*x**3 - 6*x**2 + 19*x + 38. Is 4 a factor of w(7)?
True
Is 76 a factor of (-1182)/14775 + 1740804/50?
False
Suppose -g = 4*n + 249 - 2047, n = -3*g + 5416. Is g a multiple of 6?
True
Let s(o) = o**3 - 31*o**2 + 63*o + 74. Does 19 divide s(30)?
True
Let f be (-910)/(-6) - 5/(-15). Let i = f + -58. Suppose 0 = -2*y + i + 60. Is 6 a factor of y?
False
Let y = 19736 + -19267. Does 7 divide y?
True
Suppose 7 = 3*g - 53. Let j be g/11 - 14/(-77) - -8. Does 23 divide j*(-4 - (-66)/5)?
True
Suppose -2*b + 201 = 5*n, 0 = -3*n + 4*b + 36 + 95. Does 33 divide n?
False
Let r(w) be the third derivative of w**8/20160 - w**7/840 - w**6/72 - w**5/10 - 6*w**2. Let l(t) be the third derivative of r(t). Does 16 divide l(-4)?
False
Let a = -207 - -417. Let r = 263 - a. Does 3 divide r?
False
Suppose -73 = -5*i + 1617. Suppose i + 268 = -6*l. Let h = l - -123. Is 8 a factor of h?
False
Let h = 458 + -446. Suppose h*r = -2441 + 7193. Is 24 a factor of r?
False
Let i(t) = -83*t - 69. Let v(d) = -d - 14. Let m be v(-8). Does 26 divide i(m)?
False
Let w(t) = 4*t**2 + 5*t + 12. Let a be w(-8). Suppose -3*r - 2*l = l - a, -3*r = l - 236. Does 4 divide 21/(-14)*r/(-6)?
True
Is 188 a factor of 1/1 - (36/8)/(16/(-53472))?
True
Suppose -1752 = -4*o - 3*m, -5*o + 5*m + 2159 = m. Let u be o/(-4) - (-24)/32. Does 12 divide (u/(-21))/((-7)/(-49))?
True
Suppose 1049 = 2*p + 8*p + 89. Does 32 divide p?
True
Suppose 0 = 11*g + 5*g - 1792. Let r = g + 278. Is r a multiple of 29?
False
Does 36 divide 110162/6 + (-18 + 34)/(-48)?
True
Suppose 4*y - 8 = 4*w, -y = 4*w - 0*y - 17. Suppose 2754 = w*a + 114. Does 55 divide a?
True
Suppose -3*r + 22 = -101. Let g = 22 + r. Let y = 26 + g. Is y a multiple of 13?
False
Let a(x) = 52*x**2 + 3*x. Let b(r) = 63*r**2 + 3*r + 1. Let o(c) = -6*a(c) + 5*b(c). Let n = 5 - 3. Is o(n) a multiple of 2?
False
Let c = 3109 - 2471. Does 11 divide c?
True
Let c(l) = l**2 - 5. Let x(n) = -5*n**2 - 6*n - 33. Let o(a) = -6*c(a) - x(a). Is o(0) a multiple of 7?
True
Let s(c) = c**3 + 2*c**2 - 3*c + 5. Let m be s(-4). Let t(h) = -20 - 104*h + 38*h - h**2 + 48*h. Does 22 divide t(m)?
False
Suppose 3234*f = 3212*f + 1445488. Is 43 a factor of f?
True
Let f = 288 - 278. Suppose 4424 = -2*y + f*y. Is y a multiple of 25?
False
Suppose 40*y - 54*y + 41370 = 0. Suppose 1178 = 2*z + 36*l - 38*l, 3*l + y = 5*z. Is 66 a factor of z?
True
Suppose 0 = 294*d - 302*d + 16. Suppose d*y = 4*t + 66, 0 = 3*t + 12. Is y even?
False
Let k = -372 - -376. Suppose -k*r + 12 = 0, 53*m = 52*m + 5*r + 241. Does 5 divide m?
False
Let k be 4/(-4)*1*(-4 - -4). Let h be 1 - -3 - -1 - 1. Suppose h*o + k*o = 136. Is o a multiple of 12?
False
Suppose 397*r + 132815 = 416*r - 27925. Is r a multiple of 15?
True
Let f = -271 - -379. Is 21 a factor of (f/(-14))/((-7)/343)?
True
Let c = 24195 + -12763. Does 11 divide c?
False
Is 72/(-21)*(-722 + -8 - -9) a multiple of 24?
True
Suppose 1440501 + 512830 = 238*w - 10723977. Does 15 divide w?
False
Let x = -83 - -101. Suppose -16*r + x*r = 1600. Is 81 a factor of r?
False
Let l(s) = -s**3 - 21*s**2 + 31*s - 27. Let g = 105 - 129. Is l(g) a multiple of 29?
True
Suppose -4*p - j + 21 = -36, -2*j - 36 = -2*p. Suppose -p = -o - c + 3*c, -2*c - 10 = 0. Suppose 5*l + 2*n = 250, o*n + 100 = 2*l + n. Is 8 a factor of l?
False
Let t(b) be the second derivative of 5*b**4/12 + 3*b**3/2 + 11*b**2/2 - 106*b - 1. Let d(p) = -p**2 + p + 1. Let a be d(-2). Is 8 a factor of t(a)?
False
Suppose -v - 680*y = -684*y - 7790, -4*v + 31090 = -2*y. Is v a multiple of 5?
True
Let z(y) = -36*y + 168. Suppose 0*r - 112 = 8*r. Is z(r) a multiple of 12?
True
Let v be 1 - (-1 - 6/(-2)). Let j(s) = -457*s + 1. Let k be j(v). Suppose -r = -2, -k = -4*h + 3*r - 4*r. Is 19 a factor of h?
True
Suppose -31*v + 27470 = -0*v - 208037. Is v a multiple of 62?
False
Let v be -2*10*18/(-24). Does 43 divide (-6)/v - ((-10840)/(-25))/(-4)?
False
Let j(g) = g**2 + 25*g + 4. Let o(i) = 2*i**2 + 51*i + 8. Let s(n) = -7*j(n) + 3*o(n). Suppose 25*l + 283 = -167. Is 7 a factor of s(l)?
False
Let q = 509 - 505. Suppose -2*x = -3*g + 201, -4 - 8 = q*x. Is g a multiple of 65?
True
Suppose 5*r + 0*v - 2*v - 712 = 0, 2*r - v - 284 = 0. Does 3 divide r?
True
Let o = -12221 + 19901. Is o a multiple of 48?
True
Suppose 4*j = -92 + 128. Let t be (-6)/(-4) + j/6*1. Suppose -t*a + 3*h = 2*h - 105, 0 = -a - h + 35. Does 5 divide a?
True
Suppose 20060 = 11*w - 7699 + 567. Is 6 a factor of w?
True
Let d(o) = -3*o**2 - 54*o + 35. Let x be d(-20). Let b = x - -277. Does 6 divide b?
True
Suppose d + 3*k - 4154 = 0, 4*d + 56*k - 54*k - 16616 = 0. Does 13 divide d?
False
Let x(m) = 2*m**3 - 18*m**2 - 19*m + 3. Let h be x(10). Suppose h*p - 7033 = 3185. Does 57 divide p?
False
Let k = -41 + -195. Let z = k + 363. Let l = 183 - z. Is l a multiple of 19?
False
Suppose -5*b + 1858 = -10*h + 11*h, 4*b - 4*h = 1496. Is b a multiple of 18?
False
Suppose 0 = 2*v - 8, -6 - 16 = 2*d - 4*v. Let q(n) = 4*n + 20. Let y(f) = f - 3. Let o(z) = -q(z) - 6*y(z). Does 14 divide o(d)?
True
Suppose 2*t + 94 = 2*p + 350, 0 = -3*t + p + 376. Is t a multiple of 62?
True
Let c = 51 - 49. Suppose -c*n = 3*o + n + 12, 8 = 2*o - 2*n. Suppose o = -5*v - 110 + 320. Is 5 a factor of v?
False
Let g(n) be the third derivative of -n**5/60 + n**4/2 - 7*n**3/2 + 7*n**2. Let b be g(9). Suppose -5*x + b*x = 36. Is 12 a factor of x?
True
Let x = 35729 - 20693. Is x a multiple of 12?
True
Let t(k) = -k**3 + 9*k**2 - 8*k + 12. Let c be t(6). Let l = 255 - 245. Suppose -l*y + 248 = -c. Is y a multiple of 16?
True
Let p(b) = -20*b**3 + 2*b**2 - 39*b - 167. Does 268 divide p(-10)?
False
Let s(w) = w**2 + 7*w - 1. Let r = -76 + 95. Let a be s(r). Let n = a - 319. Does 11 divide n?
False
Is 27 a factor of ((-7155)/675)/((-3)/165)?
False
Suppose -a - 3*q + 651 = 0, a - q = 361 + 286. Does 12 divide a?
True
Suppose 0 = -2*p - 2*n + 686, 92*n - 87*n = -5. Let u = 1092 - p. Does 7 divide u?
False
Suppose 3*d = 306*j - 304*j - 4848, 4*j - 9696 = -d. Is j a multiple of 6?
True
Let k be (23*3/(-15))/(52/(-13780)). Suppose 3*g + 4*j = 3661, g + 16*j - 15*j = k. Is 27 a factor of g?
True
Let j(v) = -v**3 + 7*v**2 - 8*v + 8. Let b be (((-24)/9)/(-8))/((-1)/(-18)). Let z be j(b). Does 37 divide (9/(54/(-444)))/(z/10)?
True
Is ((189/(-18))/(-21))/((-1)/(-1912)) a multiple of 36?
False
Suppose 14*k = 23*k - 19485. Is k a multiple of 29?
False
Let w(h) = 383*h - 10057. Is w(54) a multiple of 16?
False
Suppose 77*n = 24426 + 2330003. Is 94 a factor of n?
False
Let x be (-1 - (-9)/11) + 471/(-11). Let r = -15 - x. Suppose r*p - 24*p = 184. Is 8 a factor of p?
False
Let v be 0 - (1 + (-4)/4). Let i(r) = r**2 + r + 189. Let g be i(v). Let u = g - 93. Is u a multiple of 32?
True
Suppose 40 = 9*s + 4. Is 6*(-2)/s - -193 a multiple of 38?
True
Does 68 divide (-1413)/12*((-9786)/63 - 2)?
False
Let j(t) = -5*t**3 - 11*t**2 - 2*t - 27. Let a(u) = -4*u**3 - 12*u**2 - 26. Let l(f) = -4*a(f) + 3*j(f). Does 45 divide l(-12)?
False
Suppose 2032695 = 107*c + 167685. Does 70 divide c?
True
Suppose 29 = -5*f + 39. Suppose -4*t - f*i = -1066, t - 4*i + 9 = 253. Is 11 a factor of t?
True
Suppose 5*s - a + 183 = 0, -a + 11 = -2*s - 61. Let h be s*(-2)/26 - 16/(-104). Suppose p + 456 = 5*o, 0*p - 458 = -5*o + h*p. Is 7 a factor of o?
True
Let t(s) = s**2 + 18*s + 2. Let d be t(-19). Suppose -6*g - 9 = -d. Suppose -z - 1 = -g*r - 9, 5*r = 3*z - 26. Does 4 divide z?
True
Let u(p) = p**3 + 6*p**2 + 27*p + 8. Let c be u(-10). Let m = c + 1146. Is 22 a factor of m?
True
Let l(a) = 3437*a + 589. Is l(2) a multiple of 97?
False
Let a(v) = 6*v - 15. Let n be a(3). Suppose 0 = n*r - 36 + 261. Does 18 divide (45/r)/(1/