. Suppose -m*o + 0*o = -234. Is 26 a factor of o?
True
Let c be (30/24)/(1/4). Let g be (5 - c) + (0 - 0). Suppose g = -4*k + 4*b + 68, -3*k - 3*b + 69 = 2*k. Is k a multiple of 5?
True
Suppose -32*m + 18258 + 23054 = 0. Is 3 a factor of m?
False
Let i(s) = 28 - s - 32 + 0*s. Let t be i(-6). Suppose 2*c - t*r = 20, -3*r = -10 - 5. Is 5 a factor of c?
True
Suppose -3*y + 425 = 5*n, 0*y - 5*n - 625 = -4*y. Is 50 a factor of y?
True
Let v(y) = -4 + 2*y + 3*y - 3 - 8*y. Let n(w) = -11*w**2 + 2*w - 1. Let p be n(1). Does 11 divide v(p)?
False
Let w be (-4)/(-5) - (4 + 46/(-5)). Suppose -2*o = -6, 3*o = 5*j - w*j + 26. Is 17 a factor of j?
True
Suppose -1 = 3*o - o - w, 4*o - 4*w + 4 = 0. Let v(g) = g**3 + 5*g**2 - 3*g + 3. Let x be v(-5). Suppose -u + 27 + x = o. Is 10 a factor of u?
False
Suppose 29*p - 20263 - 8476 = 0. Is p a multiple of 18?
False
Suppose -2*b - 10 = -44. Suppose r + 5 = b. Let n = r - -3. Is 3 a factor of n?
True
Let h(r) = 2*r - 2. Let p be h(3). Suppose p*u - 3*m + 12 = -u, -4*m + 16 = -5*u. Suppose 2*q - 7*q + 80 = u. Does 16 divide q?
True
Let h(t) = -t**2 + 16*t + 2. Let b be h(16). Suppose z - g = -b*z + 5, 2*z = g + 2. Suppose 0*v + z*v - 18 = 0. Is v a multiple of 6?
True
Let s = 16 + 76. Let g = -65 + s. Is 5 a factor of g?
False
Let l = 195 + -273. Let j = l + 123. Is 12 a factor of j?
False
Let z be 183 + (-7)/(-14) + (-6)/4. Suppose 4*n - 6 - z = 3*d, 3*n + 4*d = 166. Does 25 divide n?
True
Suppose -2*s - 3*c + 79 = 0, 3*s = -2*c - 3*c + 120. Let l = -8 + s. Is 13 a factor of 2 + (l - (1 - -2))?
True
Is 12 a factor of 1296/14 + (-1 - (-27)/63)?
False
Suppose -2*f = 13*o - 14*o + 640, 5*o - 3260 = -2*f. Is o a multiple of 80?
False
Is 41 a factor of 836 + 5 - (3/3 + -1)?
False
Let d(s) = -s**3 + 8*s**2 + 4*s - 27. Suppose -3*q + 4*k = -0*k - 12, 4*k + 28 = 5*q. Is d(q) a multiple of 3?
False
Suppose 4*y - 8 = 0, 3*i - y - 207 - 34 = 0. Let b = i - -12. Does 18 divide b?
False
Let z(q) = 2*q**3 - 2*q**2. Suppose 2*p = u + 5, 0 = 4*p - 2*p + 4*u - 10. Suppose p*x - 9 = -0*x. Does 9 divide z(x)?
True
Let w be 66/(-154) - (-31)/7. Suppose 21 = -w*x + 225. Is x a multiple of 15?
False
Let i = 0 + 12. Suppose i*j - 10*j - 40 = 0. Is 9 a factor of j?
False
Suppose p - 2*q = -q + 1, 2*q - 4 = 4*p. Let m be (-1 - p) + (1 - -3). Does 8 divide 3 + 56/(m/3)?
False
Let q(s) = -s**3 - s - 1. Let t(p) = -126*p**3 + 2*p**2 - 5*p - 6. Let a(b) = -5*q(b) + t(b). Is 14 a factor of a(-1)?
False
Suppose -39*s = -40*s - 2926. Is s/(-49) + 6/21 a multiple of 10?
True
Let f = -50 - -74. Suppose -f = -2*l + l. Does 24 divide l?
True
Let n(i) = -17*i - 18. Let r(b) = -b - 5. Let g be r(4). Is n(g) a multiple of 11?
False
Let m(d) = d**3 - 19*d**2 - 16*d - 17. Let t be m(20). Let o = t - -25. Is o a multiple of 22?
True
Let y = 34 - 9. Let q = y - 22. Is 7 a factor of (-14)/(-10)*15/q?
True
Let h(c) = -11*c**3 + 4*c + 4. Let x be h(-2). Let v = 119 - x. Is v a multiple of 7?
True
Suppose -4*f = -2*f - 4. Suppose -54 - 58 = -f*g. Does 19 divide g?
False
Let n be 452*(59/22 + (-2)/11). Suppose 0 = 40*l - 35*l - n. Does 22 divide l?
False
Let g(u) = u**3 + 5*u**2 - 28*u - 13. Is 5 a factor of g(-8)?
False
Suppose 0 = -5*c + 123 + 132. Does 5 divide c?
False
Suppose 4*p - 144 = m, 6*m - m - 155 = -5*p. Suppose 3*b = -2*b + p. Does 3 divide 7/(b/4) - 1?
True
Let l = 11 + -3. Suppose 0 = -4*x - 0 - l. Is 1*x*45/(-6) a multiple of 15?
True
Suppose l + 2*l = 0. Let t = l + 7. Suppose -t*w + 280 = -3*w. Does 14 divide w?
True
Is 56 a factor of (24 + 4 - 4)*1*203?
True
Suppose -19 = 3*k - 4. Let g(d) = -58*d + 18. Does 14 divide g(k)?
True
Let i = 1271 + -763. Is i a multiple of 14?
False
Suppose -5*i = -39 - 81. Suppose 0 = -4*d - i + 8. Is 4/(-2)*d*4 a multiple of 16?
True
Suppose 0*i - 68 = -2*i. Let s = 94 - i. Is s a multiple of 6?
True
Suppose 5*z - 4*h = 4852, 5*h - 362 = -3*z + 2564. Is z a multiple of 36?
True
Let r = -54 - -48. Is 14 a factor of ((-21)/4)/(r/144)?
True
Suppose 3*o = 2*x - 132, 2*x + o + 57 = 173. Is x a multiple of 15?
True
Suppose 3*n + 5*h - 57 = -8, -4*n + 80 = 3*h. Suppose -n*v = -28*v + 720. Is 26 a factor of v?
False
Let k be -3 + (3 - (-2 - 0)). Suppose 0 = -k*b - 5*n + 128, -192 = -3*b - 0*b + 5*n. Is 8 a factor of b?
True
Let a(q) = 7*q**2 - 8*q - 21. Does 74 divide a(-4)?
False
Suppose -9*q - v = -4*q - 2415, 3*v = -5*q + 2415. Is 11 a factor of q?
False
Does 8 divide (-2560)/(-800)*((-1290)/(-4))/3?
True
Let w be (7 + -1)*14/42. Does 18 divide (28/(-6) + w)/(3/(-162))?
True
Suppose -30*r = -65*r + 57295. Is r a multiple of 5?
False
Suppose -14501 - 5571 = -8*q. Is 11 a factor of q?
False
Suppose 4*b + 1159 = 5*g, -201 = -g + 4*b + 18. Let q(n) = -6*n**3 - 2*n**2 + 3*n + 3. Let h be q(3). Let l = h + g. Does 14 divide l?
False
Let z(k) = 28*k**2 + 2*k - 1. Let j be z(1). Let w = 23 - j. Is (w/(-4))/((-3)/(-42)) a multiple of 21?
True
Suppose 0 = d - 390 - 1730. Suppose -4*z + d = -0*z - 2*f, 5*z - 2644 = f. Suppose z = 2*u + 4*u. Is 11 a factor of u?
True
Suppose 25438 = -96*d + 103*d. Is d a multiple of 23?
True
Let b(x) = -3*x + 24 - 25 - x + 4*x**2. Let g be b(3). Suppose -5*z - g + 188 = 0. Does 33 divide z?
True
Let q(k) = -k**3 - 11*k**2 - 6*k - 6. Let c = 7 - 18. Is 13 a factor of q(c)?
False
Let c(x) = 5*x - 31. Suppose 13*u = 9*u + 68. Does 6 divide c(u)?
True
Suppose 1992 - 5592 = -4*h. Let c = 109 - 94. Does 20 divide h/c - (-1 - -1)?
True
Suppose -7*t - 189 = -14*t. Is t a multiple of 2?
False
Let m be 2 - -36 - (-2)/1. Suppose -b + m = -65. Is 35 a factor of b?
True
Let c(j) = 15*j + 23*j - 19*j - 1. Suppose 4 = 4*g - 4. Does 14 divide c(g)?
False
Suppose -6*t + 10*t = 2256. Is 12 a factor of t?
True
Suppose 0*z = -4*z. Let h be 45 + -5 + z + 3. Suppose 5*a - 109 + h = -u, u - 3*a - 34 = 0. Does 23 divide u?
True
Suppose -52 = -2*k + 236. Does 8 divide (17/(-17))/((-2)/k)?
True
Is (-2104)/(-10) + -6 + (-140)/(-25) a multiple of 35?
True
Is -8 - (-378)/48 - (-16203)/24 a multiple of 27?
True
Let q(g) = -g**2 + 8*g - 9. Let d be q(7). Let s(n) = n**3 + 3*n**2 - n - 2. Is s(d) a multiple of 2?
True
Let d(y) be the third derivative of y**6/120 + 11*y**5/60 + 3*y**4/4 + 3*y**3/2 - 29*y**2. Does 13 divide d(-5)?
False
Is 58 a factor of 9/((-54)/(-8))*(-306)/(-4)?
False
Let x = 24 - 22. Suppose p - x*j = 16, -4*j = 3*p - 3*j - 76. Suppose 0 = -4*c - 16 + 4, 0 = w + c - p. Does 9 divide w?
True
Let r = -2558 - -3674. Is r a multiple of 18?
True
Suppose -4*c = k - 1748, -6*k - 5259 = -9*k + 3*c. Is 73 a factor of k?
True
Let q(r) = 338*r**3 + 2*r**2 - r - 2. Let i be q(-1). Let f = i - -485. Is 37 a factor of f?
True
Let k(i) be the first derivative of -9*i**4/4 - i**3/3 + 3*i**2/2 - i - 2. Is k(-2) a multiple of 23?
False
Let i be 2/((48/(-884))/(-6)). Suppose 4*h + h + i = 4*n, -71 = -n - 4*h. Does 16 divide n?
False
Suppose 5*n - 3*v = 8158, -72*v + 70*v = 4*n - 6544. Is n a multiple of 60?
False
Let u = -464 - -904. Is u/45 - 2/(-9) a multiple of 5?
True
Let f(g) = 7*g**2 - 1. Let a be f(1). Let u(h) = 3*h**2 - 17*h - 5. Let t(j) = -j**2 + 6*j + 2. Let s(v) = a*u(v) + 17*t(v). Is 10 a factor of s(-4)?
True
Let f = -88 + 252. Let d = f - -88. Is 21 a factor of d?
True
Let l be ((-4)/10)/((-3)/30). Suppose 2*k = -4*u + k + 25, 5*u = 3*k + 27. Does 8 divide u/l*410/15?
False
Suppose 0 = -3*m + 12, 2*h - 1979 = 2*m + 3527. Is h a multiple of 13?
False
Let r(q) = 118*q - 631. Is r(32) a multiple of 17?
True
Suppose q + 6 = 5*o, -4*q - 2*o + 0*o + 20 = 0. Suppose 14*t - 6*t = 0. Suppose -3*l + q*l - 28 = t. Does 8 divide l?
False
Suppose 9*p - 4*p + 2365 = 3*o, -5*o - p = -3895. Is 13 a factor of o?
True
Let b = 179 - 153. Is 8 a factor of b?
False
Let x(i) = 10*i - 4. Let c be x(1). Let u = 199 + -142. Let o = c + u. Is 15 a factor of o?
False
Let g be ((-51)/(-12))/(2/8). Suppose -4*m + 302 = -114. Suppose -15*h - m = -g*h. Is 13 a factor of h?
True
Let w = -20 + 25. Suppose 5*u - 55 = -2*z, 39 = 4*u - 3*z - w. Is u a multiple of 11?
True
Let x = 2454 - 873. Is 43 a factor of x?
False
Let n = 1 - -5. Suppose -l - 2*p - 9 = -n*p, p + 19 = -4*l. Let h = 1 - l. Does 6 divide h?
True
Let q be -1*(0 + -36 - 3). Let l = -11 + q. Does 4 divide l?
True
Let j(x) = 50*x**2 + 2*x + 2. Let q be j(-1). Suppose d = 59 + q