2586 = -o. Does 50 divide o?
False
Suppose 0 = 2*s + h - 10, -s = -3*h - 10 - 2. Suppose 5*k - 2*k - s = 0. Suppose -k*z + 18 = -0*z + v, -5*v + 20 = 0. Does 7 divide z?
True
Is 112/16 - 1214/(-1) a multiple of 15?
False
Let x(p) = 5*p - 99. Let f be x(22). Does 11 divide 22/(1 - 3)*-1*f?
True
Let m(f) = f**2 - f + 17. Let y be m(0). Suppose 2*b + 2*b + y = -5*g, 4*g + 10 = -5*b. Suppose -38 = -b*l + 34. Does 18 divide l?
True
Suppose 5*g = 4*a - 5102, -14*g - 3825 = -3*a - 11*g. Is 19 a factor of a?
True
Let g = -554 - -1126. Does 44 divide g?
True
Let g be (-15)/(-30) - 13/2. Let x(r) = 2*r - 6*r - 5*r - 1 + 2*r. Is 20 a factor of x(g)?
False
Suppose 0 = -5*q + 2*q - 6. Let x be q + 4/1*1. Suppose -x*b - 5 + 27 = 0. Is b a multiple of 11?
True
Suppose 2844 = 3*b + 3*p, 2*b - 67*p = -68*p + 1900. Is b a multiple of 3?
False
Suppose 5*d + 33 + 2 = 0. Let v be d/((-14)/(-4))*-2. Suppose -8*c = -v*c - 24. Is 3 a factor of c?
True
Let q = -94 - -76. Let x = 36 - q. Is x a multiple of 10?
False
Is 682*10/220*11 a multiple of 36?
False
Let z = -76 - -223. Is 3 a factor of z?
True
Suppose -2*g - 332 + 72 = 0. Let z = -217 + 139. Let t = z - g. Is 26 a factor of t?
True
Suppose -22 - 18 = -5*z. Is 27 - (z + -4) - -1 a multiple of 5?
False
Let y = 4826 - 2986. Is 40 a factor of y?
True
Suppose 3*i + 598 = 7*i + 2*x, 0 = 4*x - 4. Is i a multiple of 6?
False
Suppose -3*i - l + 1710 = 0, -3*i + 5*i = -5*l + 1140. Is i a multiple of 21?
False
Let y(t) = 2*t**2 + 5*t + 24. Suppose 8*h + 22 = 6*h. Does 24 divide y(h)?
False
Let t = 110 - -520. Is 46 a factor of t?
False
Suppose -2*o + 282 = o. Let x = 158 - o. Does 21 divide x?
False
Suppose 0 = -4*a + 5*k + 72 - 6, 0 = 3*k + 6. Let u(r) = -9*r**2 + 24*r**2 + 5 - r**3 - 12*r + 7. Does 10 divide u(a)?
True
Suppose 93*c = 88*c + 2870. Suppose -7*f + c = -406. Is 21 a factor of f?
False
Suppose 2*s + 3*q - 1 = 0, -5*q = -2*s - 0*q + 9. Suppose -4*c = -s*c - 2*i - 200, 5*c - 497 = 2*i. Suppose -2*r - 15 = -c. Is 9 a factor of r?
False
Let a = -47 - -52. Suppose 2*r = a*g - r - 290, 5*r + 158 = 3*g. Is g a multiple of 9?
False
Suppose h - 6 - 103 = 0. Let i = h - 34. Is 19 a factor of i?
False
Let w = -124 - -176. Let m(n) = n**3 - 3*n**2 - 9*n + 5. Let r be m(3). Let o = w + r. Does 9 divide o?
False
Suppose 2*v + 4 = 2*f, -3*v + f + 2 + 0 = 0. Let p be (v/3)/((-12)/468). Let m = 95 + p. Does 23 divide m?
True
Let g = 50 - 13. Let c = g + 53. Does 15 divide c?
True
Suppose -13*i + 54 = -4*i. Suppose -c = c - i. Is c a multiple of 3?
True
Let w = 185 + 69. Is 6 a factor of w?
False
Suppose 3 + 1 = o - y, 0 = -4*o + 5*y + 13. Suppose -w + o*w = 1536. Suppose -3*q + 369 = 3*m, 0 = 2*q + m + 3*m - w. Does 21 divide q?
False
Let u(j) = j**2 + 2*j + 2. Let c be u(0). Let p(q) = 1 - 3*q + 6*q - 2*q - 13*q**c - 2*q**3 + 3*q**3. Is 6 a factor of p(13)?
False
Let c(x) = x**2 + 25*x + 17. Let r be c(-27). Let b = 149 - r. Is 13 a factor of b?
True
Suppose -8*u + 88 + 112 = 0. Let n = -22 + u. Suppose n*l - 3*c = 51, -15 = -3*c - 6. Is l a multiple of 3?
False
Let r = -6 - -15. Is ((-243)/r)/((-2)/4) a multiple of 14?
False
Suppose -3*x = 15, -3*d = 4*x - 2*x + 7. Does 9 divide 13 + (0/4)/d?
False
Is 24 a factor of 28/(-8)*1152/(-21)?
True
Suppose -3*r + 18 = -6*r. Let d be (r/(-12))/(2/68). Suppose 3*q = 4*u - 49 - 1, d = u - 3*q. Does 3 divide u?
False
Let m(a) = 14*a. Let w(r) = -1. Let x(h) = -m(h) + 5*w(h). Is x(-4) a multiple of 17?
True
Let c be 405/60*(-16)/(-6). Let p = 34 - c. Does 8 divide p?
True
Let r(y) = -y**2 - 2*y + 8. Let m be r(-5). Let s = m - -27. Let u = 5 + s. Is u a multiple of 5?
True
Let x = 9 - -109. Is x a multiple of 20?
False
Suppose -3 = -a + 3. Let w(b) = 52*b - 32. Is 40 a factor of w(a)?
True
Let k(q) be the first derivative of 5*q**3/3 - q**2/2 + 2*q + 4. Let j be k(-3). Suppose -4*t - 2*a = -68, a = 2*t - 2*a - j. Does 5 divide t?
False
Suppose 2 = 3*f - 1. Let q(r) = 3*r**3 - 2*r**2 - r + 2. Does 2 divide q(f)?
True
Let y(k) = 5*k - 2. Let p(u) = -14*u + 6. Let n(x) = 6*p(x) + 17*y(x). Let t be n(10). Suppose 3*j - 5*w - 180 = -j, -t = 3*w. Is j a multiple of 13?
False
Let o(h) = h**2 - 18*h - 39. Let k be o(16). Let s = k + 137. Is s a multiple of 6?
True
Let j = 2966 - 1910. Is 33 a factor of j?
True
Let c = 3 - 0. Let g be (61/c)/(3/9). Let l = g - -11. Is l a multiple of 24?
True
Let y(c) = -5*c**3 - 123*c**2 + 10*c + 49. Is y(-25) a multiple of 72?
False
Let m(l) = -6*l**3 - 6*l**2 - 2*l - 11. Let n(h) = 2*h - 1. Let i be n(-2). Let w be m(i). Suppose 4*c + 235 = w. Is 13 a factor of c?
True
Let v = -81 - -843. Is 72 a factor of v?
False
Suppose -4999 = -9*w + 4640. Is 21 a factor of w?
True
Let w(h) = h**3 + 19*h**2 + 32*h + 23. Is w(-14) a multiple of 111?
True
Suppose -2*t + 669 = 5*b, -b + 141 = -9*t + 7*t. Does 5 divide b?
True
Suppose 0*i + 3*i - 3 = 0, 2*i - 47 = -5*m. Suppose -m = -2*x + 7. Is ((-12)/x)/(1/(-14)) a multiple of 15?
False
Let s(c) = c**3 - 11*c**2 + 13*c - 2. Let y be s(10). Suppose -2*t + y + 6 = 0. Let z = -5 + t. Is z a multiple of 6?
True
Suppose -5*k = -5*n + 10, -5*n + n + 8 = 3*k. Suppose -3*g - 13 = -3*h + 5, n*g = -4*h. Suppose 3*p - 44 = -4*l, h*l - 4*l = -4*p - 22. Does 3 divide l?
False
Let h be -12*-2*(-5)/30. Is 18 - (h - -6) - -1 a multiple of 7?
False
Let d(b) = b**2 + 9*b + 10. Let u be d(-8). Let t = u - 0. Let j(i) = 11*i**3 + 4*i - 3. Does 24 divide j(t)?
False
Let b(j) = 4*j**2 + 1. Let f be b(1). Let t = f - -116. Let x = -58 + t. Is 18 a factor of x?
False
Let x(l) = -l**2 + 8*l - 2. Let k be x(6). Let h = 12 - k. Suppose -5*y = -h*y - 24. Is 8 a factor of y?
True
Let g = 1238 - 571. Is 12 a factor of g?
False
Suppose 10026 = -89*p + 98*p. Is p a multiple of 16?
False
Let q be 8/3 + ((-132)/(-18) - 7). Suppose -q*t + 70 = 4*t. Does 5 divide t?
True
Let q = -124 - -125. Let n(m) = -2*m**3 + 8*m**3 + 7*m**3. Does 8 divide n(q)?
False
Let t be (-179 - 0)*(-4 + 2 - 1). Let h = t - 320. Is h a multiple of 42?
False
Let k be -6 + -112 - (0 + 0 - 2). Let o = 231 + k. Does 14 divide o?
False
Suppose -6*y - 130 = -9*y - 4*k, 0 = 2*y + k - 85. Does 3 divide y?
True
Is 42/147 - 16458/(-21) a multiple of 22?
False
Let b be -2*(4*(-4)/8 - -1). Suppose 0*k + k = 4*p - 502, 0 = -3*p - b*k + 382. Is p a multiple of 18?
True
Let s = -170 + 509. Is s a multiple of 50?
False
Suppose -4*o + 332 = 4*f, -19*o + 14*o + 370 = -4*f. Is 39 a factor of o?
True
Let r be 134/8*37 - 1/(-4). Let v = r - 347. Is v a multiple of 23?
False
Suppose 6*h = -0*h + 1152. Suppose 0 = 3*z + 42 - h. Is 25 a factor of z?
True
Suppose 5*a + 0*a = 2*l + 17, -a + 9 = l. Let m be 46/(-3) + l/3. Let z = 1 - m. Does 9 divide z?
False
Is 38 a factor of (-1 + 103)/((-59)/(-1121))?
True
Suppose 327 = u + 5*f, -11*f = 5*u - 6*f - 1735. Is 10 a factor of u?
False
Let l(m) = -9*m**2 + 6. Let b(w) = 1. Let s(q) = 4*b(q) - l(q). Is s(1) a multiple of 7?
True
Let k = -38 + 40. Suppose 3*s = 2*a - 101, 48 = a + k*s - 6*s. Is 3 a factor of a?
False
Let g(k) = 2*k - 10. Let w be g(7). Let a(y) = -2 + 0 + 27*y - 2. Does 33 divide a(w)?
False
Let n(b) = -b**3 - 8*b**2 - b - 5. Let x be n(-8). Is 4 a factor of (-1235)/(-91) - x/(-7)?
False
Let s(b) = -3*b - 1. Let a be s(-1). Suppose a*g = -g + 30. Is 22 a factor of 246/g + 24/60?
False
Let z(j) = -j + 6. Suppose 3*a + 3*h = 27, -5*h + 28 = 2*a + 1. Suppose -3*c = -a*c + 6, -l - 14 = -4*c. Is 3 a factor of z(l)?
True
Let i = -793 + 1473. Does 10 divide i?
True
Is 20/15*177*(-12)/(-6) a multiple of 118?
True
Let b = 1 - 0. Let n = b - -1. Suppose -36 = n*w - 136. Is 25 a factor of w?
True
Let l be 1 + -2 - (-24 + -211). Suppose -12*q + l = -546. Is 12 a factor of q?
False
Let y(i) = -3*i + 158. Let g be y(0). Suppose -4*w + 6*w - g = 0. Is w a multiple of 24?
False
Suppose -4*b = -4*q - 0 + 12, 3*q + 12 = -4*b. Suppose -c = -q*c - 10. Does 4 divide c?
False
Is 105*(1 - -1 - (6 - 5)) a multiple of 5?
True
Let b be 4 + ((-8)/10)/(2/5). Is 5 a factor of b - 3 - (-1 + -60 - 0)?
True
Suppose -4*u = 4*c - 796, 2*u - 3*c - 191 - 202 = 0. Is u a multiple of 3?
True
Let v(r) = 12 - 11*r + 24*r - r**3 - 14*r - 4*r**2. Does 13 divide v(-6)?
False
Let v = -16 + 18. Suppose 49 + 26 = t + v*p, p = -t + 70. Does 13 divide t?
True
Let d be 3/9 + -29*(-10)/(-15)