f - 1228 + 460. Is 9 a factor of f?
True
Let u(h) = h**3 - 5*h**2 - h + 2. Suppose 0 = -a + z + 7, -3*a + 0 = 4*z - 14. Let v be u(a). Suppose -v*f + 7 = -31*f. Is f a multiple of 7?
True
Let f = -122 - -197. Suppose f = -2*s + 219. Does 18 divide s?
True
Is ((-27069)/(-14))/(153/18 + -7) a multiple of 133?
False
Let z = 92 + -86. Let k be (3 - z)*(-4)/6. Suppose -108 = -k*q - 7*q. Is 4 a factor of q?
True
Suppose 0 = 3*z - 449 + 455, 19489 = 5*l - 2*z. Is 11 a factor of l?
False
Suppose -12*d - 259 = 233. Let k be (-69)/(-3 - 0)*2. Let a = k + d. Is a a multiple of 5?
True
Let r(v) = -23*v - 89. Let i be r(-4). Suppose i*m + 3*c = m + 2147, 3*m + c = 3238. Is m a multiple of 26?
False
Suppose 49*i = r + 48*i - 3420, 4*i + 12 = 0. Is 51 a factor of r?
True
Let g be 12/(-15)*(-2 - -7) + -5. Let p(c) = c**3 + 10*c**2 - 8*c + 24. Let t be p(g). Let o = t - -36. Is o a multiple of 20?
False
Let q = -21 - 108. Let l = 417 - q. Suppose 2*d - 3*d + 106 = z, -5*z + l = -3*d. Is 34 a factor of z?
False
Suppose 65*s - 21 = 58*s. Suppose -s*y - p = -2*y - 580, 5*y - 2896 = -p. Is y a multiple of 16?
False
Suppose 0 = 2*v + 5*g - 412, v + 4*g - 211 = -g. Suppose -368*n + 373*n - 5*z = -580, 3*n + 2*z = -343. Let x = n + v. Is 20 a factor of x?
False
Suppose 0 = 5*v - 5, 17 = 2*c - 25*v + 22*v. Is c + -6 + -11 + 347 a multiple of 5?
True
Suppose 160848 = 188*h - 164*h. Is 173 a factor of h?
False
Let f(s) = -s**2 + 43*s + 30. Let p = 33 - 1. Does 12 divide f(p)?
False
Suppose -964*g + 233*g = -1455421. Is 24 a factor of g?
False
Does 5 divide (148200/250)/((-1)/(-15))?
False
Let u = -4702 + 7780. Is 27 a factor of u?
True
Let k = 2025 + -1497. Is k a multiple of 12?
True
Suppose 15*c - 38415 = 1822 + 2303. Does 7 divide c?
False
Let x(z) be the first derivative of -25*z**2/2 - 5*z - 1. Suppose -16*s + 32 = -32*s. Is x(s) a multiple of 16?
False
Let b be ((48/(-9))/16)/(1/(-9)). Let o be -1 + 2 - (-3 - -1). Suppose -2*t + 87 = -b*l, t - 4*t + 123 = -o*l. Does 22 divide t?
False
Let i = 677 - -178. Is 18 a factor of i?
False
Suppose 2*g + 3 = -17. Does 18 divide (g/(-2))/30 + (-321)/(-18)?
True
Let k = -5259 - -6179. Is k a multiple of 5?
True
Let z = -566 + 931. Suppose 2*u - 71 = -k, 6*k = k - 5*u + z. Is k a multiple of 12?
False
Let j = -39 + 546. Let h = -291 + j. Is 36 a factor of h?
True
Let d = -2699 + 15972. Is d a multiple of 13?
True
Let h be 0 + (1 + 1 - -11). Suppose h = 5*s + b, -5*s + 5 = 2*b - 6. Suppose 4*c - 600 = 3*p, -s*p - 13 + 1 = 0. Is 19 a factor of c?
False
Let w = 1952 + 1108. Does 51 divide w?
True
Let j = -12003 + 12451. Does 28 divide j?
True
Let w(p) = 14*p**3 + 31*p**2 - 141*p + 89. Is w(9) a multiple of 4?
False
Suppose 2*u = -8*m + 12*m - 92, -3*m = 5*u - 95. Suppose -3399 = -8*y - m*y. Is 17 a factor of y?
False
Suppose -14*f + 17*k = 20*k - 73934, 2*f = -k + 10562. Is f a multiple of 8?
False
Suppose 199*v = 201*v + 8. Is 37 a factor of 10 + v - (-670)/2?
False
Suppose 4*l = l, 13*l - 6230 = -5*y + 12*l. Is y a multiple of 89?
True
Let i(c) = 23*c. Let s be i(15). Suppose 2*b = s + 285. Suppose 6*o + 63 = b. Is o a multiple of 14?
True
Is 3464 - (16/(-18))/(15 + 1781/(-117)) a multiple of 4?
True
Let b(i) = 19*i**2 + 14*i + 51. Is b(-44) a multiple of 12?
False
Suppose 8*y + 11 = 43. Suppose -7 - 1 = -y*f. Suppose 2*j + f*j = 2*r - 80, 3*r - 4*j - 126 = 0. Is 14 a factor of r?
False
Suppose -6*v = -32 - 46. Suppose v*w - 19*w = -1500. Is 17 a factor of w?
False
Let z(x) = 42*x**2 - 16*x - 31. Let f be z(-2). Let v = -28 + f. Is 20 a factor of v?
False
Suppose 0 = -5*m + 4*n + 6380, 3*m - 1052 - 2768 = 4*n. Is m a multiple of 23?
False
Suppose -2268*n + 118922 = -2260*n - 152798. Does 63 divide n?
False
Let h(d) = -20*d + 8. Let m(k) = -2*k - 2. Let b(n) = 2*h(n) - 4*m(n). Does 24 divide b(-9)?
True
Let s(d) = d**3 + 5*d**2 + 2*d + 1. Let r be s(-2). Let v(x) = 8*x - 15. Let f be v(r). Let j = 183 - f. Is j a multiple of 18?
True
Let v = -2087 + 5763. Is v a multiple of 14?
False
Let l = -18538 - -30056. Is 22 a factor of l?
False
Let r = 245 + -249. Does 25 divide 6/(-12) - 1302/r?
True
Suppose 0 = 31*p - 556*p + 5621175. Is p a multiple of 31?
False
Let w(n) = n**3 + 4*n**2 - 17*n + 7. Suppose y = 3*y, 0 = -2*c + 5*y + 10. Does 18 divide w(c)?
False
Suppose -2*c + 6*c - p - 1703 = 0, -3*c = -3*p - 1275. Suppose 2*r - c = 5*r. Let l = -85 - r. Is 19 a factor of l?
True
Suppose 2*j - 26 = -3*x + 5515, 18 = 3*j. Does 68 divide x?
False
Suppose 4*k = -2*a + 64, 0 = -4*k + 5*a + 30 + 48. Let l be (-1512)/153 - 2/k. Is 11 a factor of ((-24)/10)/(1/l) - 2?
True
Suppose 0 = -11*b - 86*b - 27384 + 628008. Is 48 a factor of b?
True
Let g = -9 - -2. Let m = -1541 + 1596. Does 15 divide g/((-7)/(-2)) + m*2?
False
Let g(y) be the second derivative of 0 - 3/2*y**3 + 2/3*y**4 - 24*y + 7*y**2. Does 6 divide g(4)?
False
Suppose -5*j + 31062 = -4*i, -3*j - 109*i = -114*i - 18645. Is 90 a factor of j?
True
Let b(p) = -p**3 + 17*p**2 + 23*p - 51. Let m be b(15). Suppose 0 = 5*v - m - 1116. Is v a multiple of 12?
True
Let k be 0/(-4) - (-18 + -4 + 2). Suppose 4*a - 245 = -4*r - r, r - k = 5*a. Does 15 divide r?
True
Let s = -2817 + 3792. Let r be (-6)/9 + (-2)/(-3). Suppose -7*x + 2*x + s = r. Is x a multiple of 37?
False
Suppose k + t = 322 + 4718, 0 = -3*k - 2*t + 15119. Does 31 divide k?
False
Let i = 3186 - 963. Does 5 divide i?
False
Suppose 0 = -4*m - 24 + 16. Is 6 a factor of m/(-2) - 2 - -67?
True
Let i be 5/(-2)*(-1499 + -15). Suppose -2*j = -i - 2605. Is 13 a factor of 4/(-14) + j/35?
True
Let d be 1/(-7) - (-4)/((-224)/888). Is (2616/d)/((-3)/8) a multiple of 8?
False
Suppose -28*n - 1959 = -45301 - 40770. Does 14 divide n?
False
Let j be (-1)/((-427)/28 - -15). Let u be 34 + 1 + (2 - 0). Suppose -u = j*q - 165. Is q a multiple of 32?
True
Let l = -936 + 1531. Suppose t + 4*t = l. Does 17 divide t?
True
Let z be ((-111)/333)/((-1)/(-18)). Suppose -2*h + 2*b = 2 + 4, h - 4*b + 6 = 0. Does 7 divide (h*z/(-24))/(1/(-14))?
True
Let x = 40 + -11. Let y = 25 - x. Let g(b) = 11*b**2 - 6*b - 2. Does 38 divide g(y)?
False
Let m(g) = -2*g + 29. Let l = 88 - 78. Does 5 divide m(l)?
False
Suppose -86*n = -88*n + b + 13809, 2*n + 5*b = 13827. Is n a multiple of 71?
False
Let a = 1120 + 609. Is a a multiple of 9?
False
Let o(u) = -u**3 - 7*u**2 + 3*u + 6. Let c be o(4). Let q = -51 - c. Let n = q + -100. Does 3 divide n?
False
Let c(k) be the first derivative of -k**3/3 + 13*k**2 + 2*k + 16. Is 24 a factor of c(15)?
False
Does 61 divide (-6044)/(-6)*6 + (-27 + 2)/5?
True
Let c(j) = 2531*j + 74. Is c(2) a multiple of 8?
True
Let u(f) = 2*f**2 + 23*f - 27. Let i be u(-17). Let a be ((i/12)/4)/(2/15). Let v = 95 + a. Is v a multiple of 20?
True
Let x = -77 + 82. Suppose 2*y = -x*u + 35, -6*y + 3*y = u - 20. Suppose -2*o - 4*h + 178 = -2*h, 0 = -y*o - 2*h + 448. Does 45 divide o?
True
Let n = 51 + -81. Let o be 46/4 + -9*5/n. Suppose -3*t + 150 = 14*b - o*b, b + 4*t = 151. Is b a multiple of 17?
False
Let g be -4*2/4*(2 - 3). Let v be 0/(-2 + (-8)/(-2)). Does 19 divide 75 + 1 + (2 + v - g)?
True
Let h(f) = -f**3 - 7*f**2 - 5*f + 5. Let m be h(-6). Does 11 divide m + (-8)/20 + (-224)/(-10)?
False
Let z be (-582)/(-12) + -1 - 80/32. Suppose -5*l = -0*l - 345. Let d = l + z. Is d a multiple of 38?
True
Let h(m) = -172*m**3 + m**2 - 81*m - 272. Does 102 divide h(-3)?
False
Let b = 45220 + -30743. Does 258 divide b?
False
Let o = -3423 - -13771. Does 26 divide o?
True
Suppose 0 = 4*y, y + 401 = 2*o - 445. Suppose 4*n - 6 = 2*s - 414, n - o = -2*s. Is 10 a factor of s?
True
Let i be (1 - 2)/(-4 + (-15795)/(-3951)). Let p = -429 + i. Is p a multiple of 3?
False
Let u(o) = 138*o - 3937. Is 55 a factor of u(64)?
True
Let l(z) = -15*z - 40. Let o be l(-3). Let t = o - 2. Suppose -4*f = -4*i - 16 - 176, t*i - 96 = -2*f. Is 16 a factor of f?
True
Is 12 a factor of ((-250632)/(-90))/4 - (-1 + 6/5)?
True
Suppose 885650 = 242*v - 1308564. Is v a multiple of 36?
False
Suppose 0 = -5*r - g - 436, 5*r + 0*r + 3*g + 428 = 0. Let h = r - -489. Does 21 divide h?
False
Let c be 60/8 - (-2)/8*6. Suppose -c*j + 15*j = 780. Is 10 a factor of j?
True
Suppose -2 = q - 0*q. Let h be q*4*3/(-6). Suppose -t - h*v = 2*t - 454, 4*t = v + 599. Is 25 a factor of t?
True
Suppose 