?
True
Suppose 4*c - 3*c = -4*n + 7, 3*c = -n - 1. Suppose -n*x - 3*z + 15 = x, 3*z = 2*x - 5. Suppose 91 = x*v - 2*k - 45, -100 = -3*v + 2*k. Is 5 a factor of v?
False
Is 20 a factor of (-1604499)/(-325) + 2/25?
False
Let x = -34 - -36. Suppose x*m = 20 + 36. Is (-48)/(-14)*1/1*m a multiple of 7?
False
Suppose -4*m = 5*f - 123877, -3*m - 27859 + 3057 = -f. Is f a multiple of 11?
False
Does 18 divide -2*10/4 + 10458/18?
True
Suppose -j + 51 = 47. Suppose -27*s + 23*s + m = -256, -s = -j*m - 49. Does 58 divide s?
False
Suppose -1560 = -4*o + 3*j, -1170 = -6*o + 3*o + 3*j. Is 61 a factor of o?
False
Suppose 9 = -3*y, 0 = 3*j + y - 5315 - 30223. Is 48 a factor of j?
False
Let w be (-2)/(-7) + 2/(42/39663). Let o be w/(-2) - ((-21)/14)/(-3). Is ((-10)/15)/((1 - -2)/o) a multiple of 21?
True
Let o = -2 + 8. Let l(b) = -b**3 + 7*b**2 - 3*b - 9. Let r be l(o). Suppose -6*m + r = -351. Is 8 a factor of m?
False
Let s = -249 + 235. Let d(g) = -3*g + 132. Is d(s) a multiple of 12?
False
Let z = 28 + -12. Suppose p - z = -l - p, -22 = -l - 4*p. Suppose -3*r - l*r = -1430. Is r a multiple of 55?
True
Suppose 22*o + 18 = 31*o. Suppose 42*b + 5*c = 47*b - 3900, o*b = c + 1555. Is b a multiple of 31?
True
Let b(f) = 473*f + 2588. Does 14 divide b(9)?
False
Let v(j) = -2*j**3 + 9*j**2 + 13*j - 6. Let u(o) = 2*o**3 - 8*o**2 - 11*o + 5. Let l(s) = 7*u(s) + 6*v(s). Is l(5) a multiple of 6?
True
Let o(k) = 4*k**2 - 22*k + 114. Let d be o(12). Suppose 29*v - 24*v + 2*i - 1025 = 0, d = 2*v + 4*i. Is 3 a factor of v?
False
Suppose 13 = 2*r - 13. Suppose -5*t = -0*t + b - r, 2*b + 10 = 2*t. Suppose -5*q = -0*q + v - 434, t*q = -2*v + 259. Is q a multiple of 20?
False
Let j(z) = 4*z**2 - 2*z + 3. Let m be j(1). Let w = 11 + -8. Suppose -d - m*u - 339 = -3*d, 2*d - w*u - 345 = 0. Does 17 divide d?
False
Let u(r) = -2*r**2 - 33*r + 29. Let p be u(-17). Suppose p*q = 37*q - 1375. Does 12 divide q?
False
Let r(v) = -4*v**3 - 39*v**2 - 17*v - 6. Does 59 divide r(-11)?
False
Let c(v) = 56*v**2 + 6*v + 9. Let d be c(6). Let i = d + -1368. Is 8 a factor of i?
False
Suppose -6*m + 24*m - 81972 = 0. Is m a multiple of 46?
True
Suppose -2*n - 25*q = -21*q + 18, 2*n - 2*q + 12 = 0. Let i(c) = -4*c**2 - 51*c - 6. Is i(n) a multiple of 11?
False
Let j(t) = 210*t**2 - 144*t - 754. Is j(-6) a multiple of 5?
True
Suppose -4*h = -4*y - 12, 3*y - 1 = -2*h - 0*h. Let x be (7/h + -3)*190. Suppose 0 = -c + 4*a + 22, 4*c - x = 5*a - 18. Does 18 divide c?
True
Let m = 14045 + -3554. Does 26 divide m?
False
Let k be 5 - -6*1/(-3) - 3. Suppose 5*f + 4*o - 2838 - 885 = k, -4*o = -2*f + 1478. Is f a multiple of 8?
False
Let g(s) = -12*s**2 + 1 + 2 + 26 + s + s**3. Let k = 23278 + -23266. Does 23 divide g(k)?
False
Let r = -30325 - -62441. Does 18 divide r?
False
Let r(p) = 4*p - 10. Let v be r(3). Suppose -5*m = o - 2 - 17, v*m = -o + 10. Is o/(3*1/54) a multiple of 24?
True
Let z(y) = -8*y + 15*y - 29 - 9*y. Let q be z(-12). Let o(b) = -b**3 + 6*b + 9. Is 13 a factor of o(q)?
True
Let i be (-33 - -3)*(42/15)/7. Is (-15)/5*1312/i a multiple of 82?
True
Let c(j) = 54*j + 2502. Is 9 a factor of c(-39)?
True
Suppose -3*w + 11*w - 80 = 0. Suppose 6*j - w - 8 = 0. Is 4 a factor of -22*((0 - 1) + j/(-3))?
True
Suppose -3*m = -w - 24399, 0 = 3*m - 2*w - 14211 - 10188. Is m a multiple of 15?
False
Let f(l) = 52*l + 575. Let x be f(0). Suppose -456 + 101 = -3*p + y, 5*p - 5*y = x. Is 8 a factor of p?
True
Let b(q) = -20*q**3 + 12*q**2 + 20*q. Let i(g) = -7*g**3 + 4*g**2 + 7*g. Let d(s) = -6*b(s) + 17*i(s). Is d(5) a multiple of 18?
False
Is 27 a factor of (34/(-119)*7)/(1/945*-2)?
True
Let g = -3955 - -11485. Is 15 a factor of g?
True
Let c = 27697 - 16228. Is c a multiple of 9?
False
Let m = -14 + 11. Let c be m/18 + (-1899)/(-54). Suppose 4*z + c - 249 = -2*p, 2*p + 178 = 3*z. Is z a multiple of 7?
True
Let a = -527 + 507. Let l(f) = -17*f + 34. Is l(a) a multiple of 34?
True
Suppose -2*y + 456 = -4*x + 48, 0 = -4*y + 2*x + 816. Let h = 195 + y. Does 21 divide h?
True
Let d(p) = 4*p + 1. Let a be d(-12). Let s = a + 59. Suppose y - 313 = 5*r, 0 - s = 3*r. Does 33 divide y?
False
Let k = 557 + -537. Let y(o) = 3*o**2 - 8*o - 88. Is y(k) a multiple of 56?
True
Let h(a) = 30*a - 1. Let t be 0*(-4 - -1)/(-9). Let x be 3/(t - (-9)/3). Is h(x) a multiple of 6?
False
Suppose 4*o + 8 = -2*j, 2*j = -o - 3 + 4. Suppose 3*x = 13 + j. Suppose -2*t + x + 9 = 0. Does 6 divide t?
False
Let a = 73 - 102. Let g = a + 56. Let h = g + 19. Is h a multiple of 5?
False
Suppose 0*a - 3*a - 150 = 0. Let h be 205*2/(a/(-15)). Suppose 3*g - h = -5*q, 0*g = -4*q - 3*g + 99. Is 8 a factor of q?
True
Suppose 5*v + 0*v = 15. Let f be (-15344)/(-48) + 0 + 1/v. Suppose -83*s - f = -85*s. Is s a multiple of 16?
True
Suppose 4*i = -90 - 50. Let t = i + 59. Suppose 4*g - 152 = -t. Is 26 a factor of g?
False
Suppose -3*n + 0*n + 123 = 3*w, 2*w = -3*n + 121. Let o = n + 165. Does 12 divide o?
True
Let y(t) = 129*t + 1. Let c be y(-2). Let b = c + 166. Is (-7812)/b - 2/(-13) a multiple of 28?
False
Suppose 17*u + 13*u = 90. Suppose 429 = u*m - 4*s, -93*s + 92*s = -3*m + 429. Is 11 a factor of m?
True
Is ((-110)/44)/((-35)/25872) a multiple of 21?
True
Let m = 43 + -39. Suppose -4*i = 2*t, 4*i - m = -7*t + 3*t. Suppose -t*p = -0*p - 72. Is p a multiple of 18?
True
Let l = 457 + -440. Suppose l*s = 39*s - 1056. Is s a multiple of 48?
True
Is 21 a factor of 171/2*(-65 - -79)?
True
Suppose -224550 = -13*j - 34932. Is j a multiple of 26?
True
Let c(f) = f**3 - 2*f**2 + 3*f - 1. Let z be c(2). Is 7 a factor of z/20*-2*-214?
False
Let o(s) be the third derivative of s**6/40 + s**4/4 - 13*s**3/6 - 21*s**2. Let y be o(4). Suppose -3*k = -d - 307, -y = 2*k - 4*k - d. Does 17 divide k?
True
Let o(v) = v**3 + 5*v**2 - 18*v - 12. Let s be o(-7). Is 1911/15 + (-7)/(280/s) a multiple of 12?
False
Suppose 2617*u - 2630*u + 21320 = 0. Is u a multiple of 4?
True
Let x be 1*26*(-58)/(-116). Suppose -5*y - 3*v + 31 = 0, 4*v + 8 = -5*y + 36. Suppose -x*f + y*f + 475 = 0. Does 31 divide f?
False
Suppose -540 = 345*x - 350*x. Suppose o - g = x, -o + 5*g = -4*o + 308. Is 48 a factor of o?
False
Let h(c) = -c**3 + 14*c**2 + 16*c + 1. Suppose -2*v - 48 = -64. Is 27 a factor of h(v)?
True
Let h be (-172)/(-28) + (-5)/35. Suppose 4*g = -4*j + 468, 5*j - 225 = -h*g + 4*g. Is g a multiple of 24?
True
Let n = 304 + -47. Suppose -1231 = -4*y + n. Is y a multiple of 31?
True
Suppose -107*j + 127*j = 258720. Suppose 0 = 624*w - 635*w + j. Does 14 divide w?
True
Does 5 divide (-26103)/(-5) + (-879)/1465?
True
Let d be -3*5/(-30)*262. Let u be (-59)/2*(-3 - (-1 + -4)). Let k = u + d. Is k a multiple of 12?
True
Let a = 39128 + -26146. Is 23 a factor of a?
False
Suppose 5*n + 0*n = -735. Let r = 109 - 152. Let a = r - n. Does 15 divide a?
False
Let l(v) be the third derivative of v**6/120 - 11*v**5/30 + 7*v**4/24 - 20*v**3/3 - 38*v**2 - v. Is l(22) a multiple of 2?
True
Let g(a) = -190*a**3 - a**2 + 4*a + 4. Let y be g(-1). Is (-9562)/(-16) + -3 + y/56 a multiple of 34?
False
Let y = -538 - -549. Suppose 0 = -y*u - 28*u + 3783. Does 5 divide u?
False
Suppose -16*l + 3321 = 3*i - 19*l, -i + 3*l + 1107 = 0. Is i a multiple of 9?
True
Suppose 4*j - 2*d - d = 27, -4*j = 4*d + 8. Suppose 5*s + 136 = j*f, -3*f + 108 = 4*s + 17. Suppose 107 + f = k. Does 24 divide k?
True
Let r(k) = 4*k - 7. Let c be r(0). Let m = c + 700. Is m a multiple of 12?
False
Let x = 61136 - 35654. Is 31 a factor of x?
True
Let t = -521 - -531. Let f(p) = 17*p + 2. Let m be f(2). Suppose -4*r + m = u, -r + t = u - 26. Is 18 a factor of u?
True
Suppose 1210 = -5*l + 5*k, l - 3*k + 254 = 2*k. Let t = l - -390. Does 12 divide t?
False
Suppose 0 = 116*a - 113*a + 229854. Does 14 divide 2/(-10) - a/290?
False
Suppose 45*p - 735 = 40*p + 5*x, 0 = 5*p + 3*x - 711. Does 4 divide p?
True
Let l = -41 + 46. Suppose 4*k + 892 = l*k - 3*q, 0 = -2*k + 3*q + 1781. Suppose w = 8*w - k. Is w a multiple of 15?
False
Suppose -2*b = -7*w + 3*w + 70, -4*b - 136 = -4*w. Let u = 32 + b. Is 14 a factor of u - -130 - (1 - -2)?
True
Let w = -16 + 25. Let d be (-6)/9 + 6168/18. Suppose 3*l + d = w*l. Is 8 a factor of l?
False
Suppose f + 24 = 4*n + 5*f, n = -5*f + 10. Suppose -1180 = -n*c + 895. Suppose -5*d + c = 5*s, -d + 55 =