4*t + 5*n = 13025, 60*t = 63*t + n - 9755. Does 50 divide t?
True
Let t(c) = -13*c**3 - 5*c**2 - 25*c - 5. Does 8 divide t(-3)?
True
Suppose -o - 474 - 214 = 0. Is 16 a factor of 0/(0 - -2) - o?
True
Let f(o) = -88*o + 7. Let n be f(2). Let k = 505 + n. Is 24 a factor of k?
True
Let o(b) = -b**3 + 23*b**2 - 23*b + 26. Let s be o(22). Suppose -u - 4*q = -19 - s, -u = -7*q - 34. Is 22 a factor of u?
False
Does 261 divide 10/(-80) - 5456031/(-248)?
False
Suppose -4*f = 99 - 431. Let y = 178 - f. Suppose 5*p + 0*j = -5*j + y, 2*p - 43 = 3*j. Does 3 divide p?
False
Suppose -588*h = 5*f - 589*h - 18899, -2*f + 7601 = -5*h. Does 20 divide f?
False
Let a(s) = s**3 - 25*s**2 - 4*s - 179. Let l be a(25). Let t = 171 - l. Does 25 divide t?
True
Let c(r) = -r + 10. Let y be c(10). Let w(t) = -2*t + 5. Let p be w(y). Suppose 0 = -8*n + 157 - p. Is 7 a factor of n?
False
Suppose 0 = 2*b - 2*x + 437 - 1337, -3*x + 1779 = 4*b. Suppose -4*a + 356 = -2*g, 3*g - 5*g - b = -5*a. Does 13 divide a?
True
Let l(d) be the second derivative of 16*d**3 - 5*d**2 + 15*d. Let n be l(6). Suppose 0 = 6*r + 56 - n. Is r a multiple of 30?
False
Let p(z) = z**2 + 2*z - 19. Suppose -m - 9 = 5*o - o, 4*m = -4*o. Suppose -m*y - 5 = -23. Is p(y) a multiple of 27?
False
Let x(g) = 94*g**2 + 19*g**2 + 31*g**2 - 1 + 2*g. Let q be x(1). Suppose 2*l - 30 + 0 = -h, 5*h + 5*l = q. Is h even?
True
Is 250 a factor of (-16)/52*858/(-36)*(-8691)/(-2)?
False
Let q(g) = 5*g + 37. Let t be q(-15). Let u = 43 + t. Suppose -u*w + 3*w + 190 = 0. Is 37 a factor of w?
False
Let u = 2533 + -1014. Does 4 divide u?
False
Let c be 2 - ((-1)/1 + 36/1). Let h = 38 + c. Suppose 0*j - h*l = -j + 136, 5*j - 590 = -5*l. Is 23 a factor of j?
False
Let a(u) = -4*u**2 - 5 - 3*u**3 + 8*u**2 + 2*u**3 - u. Let l be a(3). Is 16 + -8*l/2 a multiple of 12?
True
Suppose 0 = -2*b + 3 + 1. Suppose -2*t - 2*t + 16 = 0, 3*d + b*t = 14. Suppose -d*h = 3*r - 367, -4*r = r + 2*h - 605. Is r a multiple of 13?
False
Let c = 15736 + -3025. Does 57 divide c?
True
Let g be -8*((-10)/12 - (-1)/3). Suppose 0 = 2*y - g*t - 286, 4*y - 4*t + 5*t - 545 = 0. Suppose 13*r - 6 = y. Is 11 a factor of r?
True
Suppose -2*z = 2*f - 13308, 198 = -f + 2*z + 6837. Is 61 a factor of f?
True
Let v(t) = 42*t**2 + 105*t + 17. Is v(8) a multiple of 44?
False
Let f(u) = 581*u - 214. Is f(15) a multiple of 28?
False
Suppose 36*c - 59*c = -61180. Does 5 divide c?
True
Let n(p) = -4 + 3 + 258*p**2 + 107*p**2. Is n(1) a multiple of 14?
True
Let i = 1456 + 322. Is i a multiple of 35?
False
Suppose -4777*x = -4723*x - 1154736. Is x a multiple of 216?
True
Let r(o) = 21*o**2 + 267*o - 3. Let g be r(-13). Let n(y) = -2*y**2 - 6*y. Let v be n(-5). Let d = g + v. Does 9 divide d?
False
Let t(o) = -12*o**2 + 2*o - 8. Suppose m + 5*z = -0*z + 7, 0 = m + z - 15. Let p(s) = 35*s**2 - 6*s + 23. Let k(q) = m*t(q) + 6*p(q). Is 11 a factor of k(2)?
True
Suppose 8526*b - 875280 = 8496*b. Is b a multiple of 9?
False
Let t = -8728 + 13792. Does 24 divide t?
True
Is 31 a factor of 248/(-4)*(-285)/10?
True
Let h = 5435 + 11406. Is 13 a factor of h?
False
Let i = 332 - 332. Suppose -6*l + 19 + 167 = i. Does 10 divide l?
False
Suppose -32*z + 58881 = -4351. Does 33 divide (-68)/5 + 14 - z/(-10)?
True
Let d(n) = -n + 2. Let g(x) = -24*x**2 - x - 2. Let m(c) = 2*d(c) - g(c). Does 2 divide m(2)?
True
Let c(y) = -4*y**3 - 16*y**2 + 14*y + 5. Let s(m) = -7*m**3 - 30*m**2 + 27*m + 10. Let i(t) = 5*c(t) - 3*s(t). Is 24 a factor of i(-8)?
False
Let g = 10 - 7. Let s(d) = d**2 - 2*d. Let x be s(g). Suppose 0 = x*t + 3*b - 4*b - 589, -5*b = -5*t + 965. Is t a multiple of 13?
False
Let g(x) = -3*x - 116*x**3 - 3*x - 6 + 54*x**3 + 54*x**3. Does 7 divide g(-2)?
True
Suppose -2*l = -5*u + 3*l + 9415, -9427 = -5*u + 3*l. Does 4 divide u?
False
Suppose -5*a + 22162 - 836 = g, -5*a = -3*g + 63858. Is 11 a factor of g?
True
Suppose -a = -3*y - 2*y + 56, -5*a = -2*y + 4. Suppose -3*h + y = 0, x + 5*h - 86 = -4. Suppose 0 = -5*q + 742 - x. Is q a multiple of 34?
True
Let i(k) = 2*k + 19. Let r be i(12). Suppose -3*n + 4*h - 5*h + r = 0, 4*n - 3*h - 79 = 0. Suppose 0*c - n*c = -352. Is 11 a factor of c?
True
Is 22 a factor of (-2154 - (-2)/(-1))/((-312)/468)?
True
Let x = 320 - 310. Suppose 5*v = -x, 4*v = 13*l - 14*l + 339. Is l a multiple of 5?
False
Let l be -6 + 19/((-133)/(-42)). Suppose -5*s + 689 = q, l = -21*q + 16*q - 5. Does 5 divide s?
False
Let l = 731 + -728. Is (-36)/(-9) + l/(6/3646) a multiple of 16?
False
Let b = 897 + 132. Is b a multiple of 9?
False
Let b = 262 - 180. Suppose -782 = -5*d - 4*w, 4*w + 60 = d - b. Does 22 divide d?
True
Let s = 105 + -45. Let f = s + 260. Is f a multiple of 40?
True
Let k be (6/(-5))/(8/(-20)). Let g(w) = -6*w - k + 2 + 5 - 5. Is 10 a factor of g(-7)?
False
Let y = 230 + 1660. Suppose 5*r = 14*r - y. Is r a multiple of 14?
True
Let y(d) = -d**2 + 45. Let q be y(-26). Let z = -421 - q. Is z a multiple of 35?
True
Suppose 4 - 1 = g + 5*w, -2*w = g - 6. Let y be 60/(-9)*(-156)/g. Suppose -3*u + y = 2*u. Is 13 a factor of u?
True
Let h = 12218 + 1254. Is 21 a factor of h?
False
Let q(b) = -b**2 - 58*b - 151. Let g(r) = r**2 + 57*r + 152. Let m(f) = -7*g(f) - 6*q(f). Is 35 a factor of m(-34)?
True
Let t be 28/1*(4 + 21/(-6)). Let j = 408 + t. Does 15 divide j?
False
Let q(r) = r**3 + 15*r**2 + 16*r + 26. Let f be q(-14). Suppose -4*i + 5*i - 26 = 0. Let d = f + i. Is 5 a factor of d?
False
Let n = -31 - -36. Let v = 144 - 141. Suppose n*y + 82 + 238 = 5*s, 2*s = -v*y + 138. Does 11 divide s?
True
Suppose 0 = -3*x + 4 + 2. Suppose 0 = -3*n + d - x - 14, -5 = 2*n + 5*d. Let j(f) = -2*f**3 - 5*f**2 + 4*f + 7. Is 14 a factor of j(n)?
True
Suppose -2*t = -2*b + 2*t + 4, -b - 2*t = -10. Let v be (((-9)/b)/(-3))/(1/2). Is 16 a factor of (v + 3)/(9/252)?
True
Let t = 27352 - 6689. Is 39 a factor of t?
False
Let a = -69 - -105. Suppose -10132 = -a*f + 2*f. Is 44 a factor of f?
False
Suppose 0 = -11*o + 5*o + 72. Suppose -o*v + 46*v - 374 = 0. Is 11 a factor of v?
True
Suppose -2*r = -5*i - 198, -17*i + 174 = 2*r - 16*i. Suppose -r*c + 105*c - 13376 = 0. Is 76 a factor of c?
True
Suppose -c + 5158 = 4*p - 1188, -3*p + 25397 = 4*c. Does 10 divide c?
True
Let x(w) = 49*w**2 + w**3 + w - 89*w**2 + 53*w**2 + 15. Let n be x(-13). Suppose 5*d - 64 = -n*s - s, 0 = -2*s - 4. Is 10 a factor of d?
False
Let u = 14 + -10. Suppose 0 = -6*b + u*b - 2*m + 14, 1 = 3*b - m. Suppose -5*o = b*o - 315. Is o a multiple of 15?
True
Suppose -6*y = 2*y - 416. Let f = y + -48. Suppose -f*n - 60 = -8*n. Is n a multiple of 15?
True
Let l be -49 + 32 + (5 - -1). Let o(c) = c**3 + 13*c**2 + 22*c + 11. Is o(l) even?
False
Let f(t) = 2219*t - 7552. Is 202 a factor of f(5)?
False
Let j = 27302 + 736. Is j a multiple of 6?
True
Let k = -2852 - -1087. Let v = k - -2666. Is 53 a factor of v?
True
Is 1 + -5 - (-7 + 9)/(4/(-3034)) a multiple of 18?
False
Let t be ((-3)/(-2))/(4/8). Let w = 2228 - 1527. Suppose -t*z + w = z + v, -2*z = -3*v - 347. Does 35 divide z?
True
Suppose 836*o + 528 = 832*o. Is 43 a factor of (693/o)/((-2)/344)?
True
Suppose l - 271*r + 273*r - 1030 = 0, 5*l + r - 5132 = 0. Is l a multiple of 7?
False
Suppose -4*r + 3*l - 201 = 0, 3*r + 2*l = l - 167. Let d = r + 158. Let z = d + -71. Is z a multiple of 4?
False
Suppose 5*r + 4*m - 962 = -372, -m = 4*r - 461. Suppose z - 173 = -z + g, 5*g = -z + r. Is 7 a factor of z?
False
Suppose -r = 0, 5*x - 2*r - 2773 = 4702. Is x a multiple of 3?
False
Is 4*((-328)/(-8))/(-1 - 40/(-35)) a multiple of 7?
True
Suppose -4*a - 3*f + 35842 - 11870 = 0, 5*a = -5*f + 29965. Is 13 a factor of a?
True
Let t be (282/(-54) - -5) + (-74)/(-9). Let b be 24/5 + t/40. Suppose -6*f + 845 = b*n - 7*f, -f - 677 = -4*n. Is 21 a factor of n?
True
Suppose 0 = 75*g - 76*g + 372. Is 8 a factor of (g*(-24)/9)/(-1)?
True
Let k = 33 + -94. Let d(c) = 16*c - 208. Let m be d(6). Let z = k - m. Does 3 divide z?
True
Is (-121 - -11)/10 + 3721 a multiple of 53?
True
Let u = -39164 + 65583. Is 56 a factor of u?
False
Suppose 13*q = -5*u + 15*q + 65997, 0 = u - q - 13203. Does 53 divide u?
True
Suppose -68 = 56*q - 348. Let d(w) = -7*w**2 - 2*w - 12. Let k(g) = 6*g**2 + 2*g + 11. Let p(i) = 4*d(i) + 5*k(i). Does 13 divide p(q)?
False
Let v(m) = -1 + 7 - 4 - 6*m - 