 3*r - 184 = 4*b, 0 = -4*r + f*b - 2*b + 241. Is 20 a factor of r?
True
Suppose -3*k - 10 = -5*k. Let n = 26 + k. Let z = 51 - n. Does 10 divide z?
True
Suppose 192 = -5*f + 867. Is f a multiple of 17?
False
Let x(k) = 2 + 0 - 2*k + 3*k + 6. Let p be x(-8). Suppose -4*s + z + 33 = -0*s, p = -s + 5*z + 32. Does 5 divide s?
False
Suppose -m - 48 = -131. Let k = 94 - m. Does 7 divide k?
False
Suppose 3*z = z + 86. Suppose -4*a - z = 5. Is (-1 - 1)/(a/258) a multiple of 21?
False
Let d(g) = -g + 23. Let r be d(14). Let p be (-1 - 0)*(2 - 5). Suppose p*c - r = 45. Is c a multiple of 11?
False
Let t(c) = 193*c - 4. Let p be t(3). Suppose n = -4*n + p. Is n a multiple of 17?
False
Let p be 3 - 30/5 - -97. Let g = p - 16. Is 24 a factor of g?
False
Let z(i) = i**2 - 1. Let h(q) = 5*q**2 - 15*q - 26. Let t(o) = -h(o) + 4*z(o). Is 8 a factor of t(15)?
False
Is 23 a factor of 140 + 5/5 - 3?
True
Is (6/2 + 0)*(-235)/(-15) a multiple of 19?
False
Suppose 0 = 4*d + 3*k - 28, 4*d - 5*k = -6 + 2. Suppose 4*a = a - d*g - 11, 3*a + 7 = -2*g. Let r(m) = -129*m + 1. Does 33 divide r(a)?
False
Let p = -4 - -6. Suppose 0 = -2*f - p*z + 16, -4*f + z = 4*z - 35. Is 2 a factor of f?
False
Is ((-645)/6)/(16/(-32)) a multiple of 9?
False
Let a = 17 + 191. Suppose h - 4*j - 96 = 0, 4*j - a = h - 4*h. Does 23 divide h?
False
Suppose 3*m = 9*m - 1062. Suppose 2*s = -0*s - 4*y + 118, 0 = -3*s - 3*y + m. Is s a multiple of 6?
False
Let a = 353 - 350. Suppose -2*f = -5*f + 1338. Suppose 5*j - f = 4*n, -2*j + a*j - 87 = 3*n. Is j a multiple of 17?
False
Let k(g) = -48*g + 143. Does 11 divide k(-5)?
False
Let w = 113 + 63. Is w a multiple of 8?
True
Does 5 divide 4 - (29 - 6)*-1?
False
Let i(m) = -m + 15. Let o be i(11). Let c = o + 38. Is c a multiple of 14?
True
Suppose -13*t = -12*t - 316. Suppose -5*v + 2*a = 6*a - t, -3*a = -3*v + 168. Is v a multiple of 25?
False
Let r be (3*1)/((-12)/(-16)). Let j be r + -7 - (-1 + 38). Is ((-3)/4)/(10/j) a multiple of 2?
False
Let g(z) be the second derivative of 3*z**3/2 - 73*z**2/2 + 25*z. Is g(17) a multiple of 16?
True
Let d(p) = -4*p - 11. Let o be d(-6). Let x = -10 + o. Let c(n) = 2*n**3 - n**2 - 3*n + 4. Is 10 a factor of c(x)?
True
Let u = -13 - -16. Suppose b = u*o + 1 + 2, -4*o = 3*b - 9. Suppose -5*z = -o*n - n + 34, 0 = -5*n - 5*z + 200. Is n a multiple of 13?
True
Let x(j) be the second derivative of 93*j + 2*j**3 - 11*j**3 - 84*j + j**2. Is x(-1) a multiple of 14?
True
Is (30/12)/((-25)/(-7330)) a multiple of 6?
False
Let z(m) = -7*m**3 + m**2 + 4*m + 5. Let w(q) = -4*q**3 + q**2 + 2*q + 3. Let g(u) = 5*w(u) - 3*z(u). Let i be g(-3). Does 9 divide (54/(-8))/(i/12)?
True
Let i(f) = 34*f + 14. Let g be i(-3). Let q = g - -131. Is q a multiple of 42?
False
Suppose -35 = 2*p + 39. Suppose -2*r = 5*s - 262, -s = 2*s - 3*r - 153. Let g = s + p. Is g a multiple of 15?
True
Suppose -q = -6*q + 490. Suppose -j = -8*j + q. Is 14 a factor of j?
True
Suppose 292*j = 285*j + 2429. Is j a multiple of 10?
False
Let z = 773 + -433. Is 4 a factor of z?
True
Suppose -6*h = -3*h + 4*q - 1143, -1528 = -4*h - 4*q. Is h a multiple of 55?
True
Let h(f) = f**3 - 45*f**2 + 49*f - 55. Is 11 a factor of h(44)?
True
Does 22 divide (-2 - -295) + -7*1?
True
Let q = -7 - -11. Suppose -h = q*h - 90. Does 18 divide h?
True
Suppose 29 = 2*x - 15. Let a be x/(-55) - 17/(-5). Suppose 0 = -a*h - 4*t - 0*t + 35, -h = -t - 14. Does 13 divide h?
True
Let g(r) = 36*r**2 + r. Let d be g(1). Let b = d + -10. Suppose -w - 9 = -5*f, w - f - b = -w. Is w a multiple of 8?
True
Suppose -2*y = 6*g - 4*g - 12, 0 = -g + 2*y. Suppose g*w + 2*w - 468 = 0. Does 6 divide w?
True
Suppose 0 = 2*b - z, 5*b + 6 = 2*z + 2*z. Suppose -3*h = h + 2*p - 62, h - 18 = b*p. Is 5 a factor of h?
False
Does 16 divide (148/14)/((-120)/(-7140))?
False
Let p(y) = y**3 + 8*y**2 + 6*y - 5. Let t be p(-7). Suppose 5*x + 12 = -2*o - 0*x, -2*x - 20 = -3*o. Suppose -100 = -t*l + o. Does 14 divide l?
False
Let m be (92/(-4))/(-3 - -2 - 0). Let n = 86 - m. Is 9 a factor of n?
True
Let o(y) = -2486*y**3 - 13*y**2 - 12*y - 1. Is 18 a factor of o(-1)?
True
Suppose -2*y + 12 = -8*y. Let c(k) = -6*k**3 + 2*k**2 - 2. Is c(y) a multiple of 18?
True
Let k = 2715 + -2331. Is k a multiple of 14?
False
Suppose 5*t - 4*b - 417 = 0, -3*b + 234 = 2*t + t. Is t a multiple of 9?
True
Let a(t) = -17*t + 43. Let f be a(-13). Suppose 4*y = f + 376. Is 32 a factor of y?
True
Suppose -332 = -2*n + 2*q, -45*n = -46*n + 5*q + 158. Is 71 a factor of n?
False
Let y(g) = -5*g**2 + g + 6. Let s(u) = u. Let t be s(-3). Let k be y(t). Let m = -30 - k. Is 4 a factor of m?
True
Let z = 25 - 13. Let a(p) = p + z - 14 + 19. Is 12 a factor of a(-5)?
True
Suppose -12*w + 4144 = 4*w. Is 35 a factor of w?
False
Suppose 0 = 3*o - 4*o + 6. Suppose -12*p = -10*p - o. Suppose -p*s = -0*s - 153. Is 17 a factor of s?
True
Let z = -1 - -1. Suppose z*r - r - 56 = 0. Let c = -29 - r. Is c a multiple of 13?
False
Let w(o) = o + 2. Let h be w(-7). Let z = -1 + h. Is (-1)/z - (-1624)/48 a multiple of 9?
False
Suppose 2*z - 8*z + 372 = 0. Let m = -34 + z. Is 3*(-1 - m/(-3)) a multiple of 6?
False
Is 2 a factor of 97 + -15 - (-12)/2?
True
Let x(o) = o**3 + 4*o**2 - 4*o + 1. Let n be x(-5). Is ((-1)/2*n - -27)*1 a multiple of 5?
False
Let m(x) = 2*x**2 - 7*x - 7. Let f be m(4). Let t(u) = -28*u. Let q be t(f). Suppose q = -c + 3*c. Is 6 a factor of c?
True
Let p be (-1)/((-4)/62)*10. Suppose 5*x = 5*q + p, -4*x - 64 = -2*q - 186. Is x a multiple of 5?
True
Suppose -2*l + 654 + 501 = -3*h, 0 = 5*l - 3*h - 2865. Is 57 a factor of l?
True
Let t be 0/(-3 - -4 - 3). Let s be t + (54 + 0 - 1). Let n = s - 23. Is n a multiple of 10?
True
Suppose -16*i = -69*i + 76638. Does 20 divide i?
False
Let q = -771 + 1203. Is q a multiple of 48?
True
Let u = 195 + -71. Is u a multiple of 12?
False
Let a(u) = 10*u + 1. Suppose 8 = s - o, -2*o = 2*s - 0*o. Suppose -16 = 5*l + s, -5*l = -5*p + 25. Is 3 a factor of a(p)?
False
Let v(u) = 28*u**3 + 3*u**2 + 4*u - 4. Let b(t) = -3*t + 26. Let q be b(8). Is v(q) a multiple of 35?
False
Suppose 0 = -r - 4*d + 712, -r - 10*d + 712 = -14*d. Is r a multiple of 35?
False
Suppose 6*s = 3 + 21. Is 8 a factor of 3*(s/10 + (-239)/(-15))?
False
Suppose 5 = 3*a - 7. Suppose 0 = a*t - 3*t - 2. Is 2 a factor of t?
True
Let v(g) = -2*g + 2. Let x be v(2). Is 14 a factor of (6/12)/(x/(-168))?
True
Let t(p) = 2*p**2 - 4 + 4*p**2 + 6*p + 13 + 2. Let l be t(-5). Suppose a - 2*u - 53 = 0, u = -3*a - 0*u + l. Is a a multiple of 15?
True
Is ((-861)/12 + -4)*-8 a multiple of 25?
False
Suppose -2*d = -6*d - 92. Let m = 102 + d. Suppose 5*k - 15 = 0, -4*n + 3*k = -0*n - m. Does 22 divide n?
True
Suppose -5*u + 58 = -792. Let r = u + -68. Does 34 divide r?
True
Let q(n) = 3*n**3 - 2*n**2 - 2*n + 2. Let l be q(2). Suppose 231 = l*r - 63. Does 3 divide r?
True
Suppose -58 = -o + 20. Suppose -274 = 7*s + 6. Let i = o + s. Does 22 divide i?
False
Let i(d) = 8*d + 17. Let y(w) = 13*w**2 + 1. Let o be y(1). Is 43 a factor of i(o)?
True
Suppose 6*s = -0*s + 786. Let l = s + -107. Is 20 a factor of l?
False
Suppose 12 = o - 10. Suppose -o = -y + 3*t, -2*y + 3*y + 2*t + 3 = 0. Let l = 19 + y. Does 13 divide l?
True
Let m(b) be the first derivative of 8/3*b**3 - 6 + 3*b + 5/2*b**2. Does 15 divide m(-3)?
True
Suppose -25016 = -43*v + 67735. Does 14 divide v?
False
Let s(m) = -m - 8. Let u be s(-5). Does 8 divide ((-30)/(-9) + u)*48?
True
Suppose 0 = -37*v + 29*v + 2904. Is v a multiple of 24?
False
Let o = -946 + 1748. Is 28 a factor of o?
False
Let x(h) = -12*h**3 - 6*h**2 + 10*h + 2. Does 93 divide x(-5)?
True
Suppose 7*b - 9*b = 0. Suppose 0 = -4*s, f - s + 4*s - 119 = b. Suppose a - f + 0 = -2*w, 5*w + 5*a - 290 = 0. Is 15 a factor of w?
False
Let k be 5 + 347 - (2 + -6)/2. Let y = k + -194. Is 40 a factor of y?
True
Is 7 a factor of -24 + 35 - (-7 - 1)?
False
Let q = 1837 + -1189. Does 55 divide q?
False
Let q be -1 - -4 - (0 - 0). Let t be q/(-2) - (-85)/10. Suppose 0 = -2*j + 17 - t. Is j a multiple of 5?
True
Let j = 34 + -54. Let w be ((-16)/j)/(6/(-15)). Does 9 divide (-435)/(-15) - (-8)/w?
False
Suppose 355 = 6*c + 73. Does 21 divide (c - 2)*(-50)/(-15)?
False
Suppose -18*k + 1228 = -770. Is 33 a factor of k?
False
Let v be 6/(-39) + (-513)/(-39)