 Let i be -36*((-642)/4)/(n/7). Suppose -10*o = -o - i. Is o a multiple of 23?
False
Suppose -5*c - 4*j = -5*j - 1159, -4*c - 5*j + 904 = 0. Let k = 159 + c. Is 30 a factor of k?
True
Suppose 0 = -5*l + p + 38548, -3*l + 342 = p - 22798. Is 132 a factor of l?
False
Suppose 37736 = 140*p - 47610 + 17166. Is p a multiple of 58?
False
Does 22 divide 15 + (7 - -484) + -12?
False
Let q(d) = -11*d**2 - 40*d + 2. Let h be q(10). Let j = h - -2382. Is j a multiple of 52?
True
Let x be 12*((-354)/(-24) + (7 - 2)). Let c = x - 137. Does 25 divide c?
True
Suppose 0 = 3*q - i - 3283, -5*q - 18*i + 21*i + 5477 = 0. Is q even?
False
Let h(g) = 42*g - 31. Let i(m) = -14*m + 11. Let r(l) = 6*h(l) + 17*i(l). Does 3 divide r(4)?
True
Suppose -3*c + 58 = -c. Let z = c + -24. Suppose -5*a = -i - 459, -2*a + z*i = -6*a + 344. Is a a multiple of 18?
False
Suppose 4*k - 69889 = -5*u, 88*k - 5*u - 17491 = 87*k. Is k a multiple of 34?
True
Let r(z) = -13*z - 6. Let w be r(-5). Let m(s) = -589*s + 4142. Let p be m(7). Suppose p = -5*j + w. Does 4 divide j?
True
Let j = 30 + 152. Suppose 0 = 4*g - 2*x - 478, 5*g - 3*g = 3*x + 229. Let o = j - g. Is o a multiple of 10?
True
Let w be 6/4 + (-530)/20. Is 2*w/10 - -202 a multiple of 10?
False
Suppose 132*l + 55948 = 136*l. Does 14 divide l?
False
Suppose 3*p - 1361 = -5*v, 16*v + 5*p = 19*v - 837. Is v a multiple of 12?
False
Let a = -44 - -10. Let c = a - -20. Let f(b) = -b**2 - 21*b - 34. Is 16 a factor of f(c)?
True
Suppose -19*r = -21*r + 2*m + 4, 2*m - 32 = -4*r. Suppose -r*n - 60 = -10*n. Is n a multiple of 6?
False
Suppose -8*z + 28 = 4. Suppose -i - z = 1. Does 24 divide -4*i/8 - -286?
True
Let m(p) = -29*p - 86. Let y be ((-39)/26)/(3/26). Let t be m(y). Is 3 a factor of (t/(-9) + 5)*(-3)/2?
False
Suppose 19 = -b - f + 3*f, 3*b - 2*f + 37 = 0. Let d = b - -267. Suppose -2*m - m = 3*a - 243, 2*m = 3*a - d. Is a a multiple of 27?
False
Suppose -2*o = 2*o - 144. Let w be (496/48 - 10)*(23 - -1). Let y = o - w. Does 4 divide y?
True
Let r be -1*(60*(4 + -2) + -3). Let x = r + 310. Suppose 549 = 7*z - x. Is 9 a factor of z?
False
Suppose -5*z + 188 - 1458 = 3*n, -3*z = 5*n + 746. Let s = z + 458. Is 15 a factor of s?
False
Let s(u) = 4*u**2 - 37*u + 122. Does 74 divide s(32)?
True
Suppose -144*u + 19235 = 19*u + 3261. Is 3 a factor of u?
False
Let n(h) = -1634*h - 1610. Does 80 divide n(-5)?
True
Let f(o) = -o**3 + 6*o**2 - o + 52. Let l be f(7). Is 61 a factor of (-189)/(-18) + -9 - 1674/l?
False
Is (-123680)/70*(-462)/44 a multiple of 30?
False
Let k = 4630 + 8117. Is k a multiple of 13?
False
Suppose -14*d + 5*d + 90 = 0. Suppose -2*r = -d*r - 5528. Let z = r - -1003. Is 52 a factor of z?
True
Let f = 260 + 2600. Is f a multiple of 28?
False
Suppose -f = -2*f + 19. Suppose -4*l + 14 = 3*p, l + 6 = 4*p + f. Suppose -4*z = c - 25, l*c + 4*z + 35 = 96. Is 6 a factor of c?
False
Suppose -5*g = 5, -3*g + 204 = -3*y - 24. Let l = y - -138. Is 61 a factor of l?
True
Let f(v) = 181*v**2 - 33*v - 15. Is f(-6) a multiple of 21?
True
Let l(p) = -p**3 - 22*p**2 + 8*p - 280. Does 17 divide l(-24)?
True
Let b(f) = f**2 - 17*f - 24. Let o be b(18). Is 2 a factor of 10 + (14/(-2) - o)?
False
Let v = 676 - 534. Is v a multiple of 43?
False
Let a(l) be the third derivative of l**4/12 - l**3 + 20*l**2. Let k be a(3). Suppose -3*r + 2*d + 3*d + 224 = 0, r - d - 76 = k. Is r a multiple of 13?
True
Let i(y) = y**2 + 3*y - 460. Does 55 divide i(-45)?
True
Let c(x) = -14*x + 64 - 3*x - 119. Does 10 divide c(-15)?
True
Let p(k) = 4*k - 31. Let t be p(8). Is 62 a factor of -2 + -1 - (3955 - t)/(-6)?
False
Let c be (1 - 7)*((-261)/27 - -9). Suppose -4*w - 520 = -2*h - 0*w, c*h = 5*w + 1037. Is h a multiple of 5?
False
Does 373 divide -12*(-540)/80*373?
True
Let l(w) = w**3 - 47*w**2 - 98*w + 7. Let v be l(49). Let c(x) = -5 + 2 - 4 + 9*x + x**2. Does 15 divide c(v)?
True
Suppose 5*t - 4*x - 55436 = 0, t - 13874 = 5*x - 2791. Is 18 a factor of t?
True
Let j(s) = -s**3 + 13*s**2 - 17*s + 8. Suppose 6*g - 7 = 59. Let w be j(g). Let z = -15 + w. Is 12 a factor of z?
True
Suppose -28*o + 31*o = 6. Let l(t) = 10*t + 3 - o - t**2 + 0 + 2. Does 27 divide l(6)?
True
Suppose 143086 - 60419 = 156*n - 222781. Does 57 divide n?
False
Suppose -226201 = -285*n + 256116 - 151432. Does 2 divide n?
False
Let f(k) = -12*k**3 - 12*k**2 - 39*k - 32. Is f(-4) a multiple of 5?
True
Suppose 4*o - 5*p - 39 = 0, -5*o + 0*p - 2*p + 24 = 0. Suppose -o*g - 30 + 6 = 0. Does 7 divide g/(9 + -5) - (-85 - -1)?
False
Let k be (5/(15/(-12)))/((-2)/5). Let h be 72/(-18)*(k + -2). Is 3 a factor of 65 - (1*-1)/(8/h)?
False
Let s(w) = -50*w - 15 - 78*w - 367*w. Is s(-1) a multiple of 48?
True
Let d(k) = 17*k**2 - 6*k + 9. Let c(i) = 8*i**2 - 3*i + 5. Let s(v) = -7*c(v) + 4*d(v). Let u be s(-4). Suppose -4*a + u + 51 = 0. Is a a multiple of 32?
True
Let d = -9887 + 18649. Is d a multiple of 12?
False
Let u be (856/5)/((-10)/(400/(-4))). Suppose -20*i + u = -4*i. Is i a multiple of 14?
False
Let g = 8408 - 4218. Is 62 a factor of g?
False
Let q be (-48807)/(-68) + (-1)/(-4). Let a = -334 + q. Does 48 divide a?
True
Suppose -3*y = 5*g + 8, 3*g + 6 = -4*y + g. Let x be (2 + -5 - 18)*y. Suppose 0 = -2*i - 3*m + 89, 4*m + 1 = x. Is i a multiple of 37?
True
Is ((-439852)/230)/(8/(-20)) a multiple of 7?
True
Let n(o) = 52*o**2 + o + 5. Let l be n(7). Suppose 0 = -39*b + 44*b - l. Does 42 divide b?
False
Let m = -28 - -32. Let n be (m + -6)*6/(-4). Suppose 0 = -4*t + 103 - n. Is 23 a factor of t?
False
Let k(j) be the first derivative of -j**4/4 - 5*j**3/3 - 2*j**2 - 5*j - 7. Let x be k(-6). Suppose 3*r = x + 11. Is r a multiple of 7?
False
Let a be (13 + -13)*(-2)/2. Suppose l + a*x - 7 = 2*x, l + 7 = -5*x. Suppose 76 = -2*g + l*g. Is 38 a factor of g?
True
Let t(n) be the third derivative of -7*n**4/24 - 3*n**3 + 4*n**2. Let p be t(8). Let g = -30 - p. Is 15 a factor of g?
False
Suppose 0 = -12*q - 1227 + 5367. Let t = q - 227. Is 8 a factor of t?
False
Let x(k) be the third derivative of k**4/24 + 2*k**3 + 30*k**2. Let y be x(-10). Suppose y*h = 3*z - z + 100, -5*h + 252 = -4*z. Is 6 a factor of h?
False
Suppose 201*y = 708014 + 542608. Is 122 a factor of y?
True
Suppose 2*x + x = 72. Let r be (x + -3)/(2/12). Let q = r - 26. Is q a multiple of 25?
True
Let b = 207 + -192. Suppose -7*d + b + 76 = 0. Does 2 divide d?
False
Suppose -19*l + 15*l = -160. Let s = l + 127. Suppose -2*j = 4*m - 1128, s = -3*m + 5*j + 1000. Does 14 divide m?
False
Let g = -7081 - -10468. Is 50 a factor of g?
False
Suppose -25*y + 660 = -14*y. Suppose y + 1182 = o. Is 9 a factor of o?
True
Suppose 5*k = -i + 585, k - 35 - 56 = 5*i. Let m = 32 + -10. Let z = k + m. Is 31 a factor of z?
False
Let g(r) = 131*r**2 + 21. Let s be g(-3). Let h = -546 + s. Is h a multiple of 69?
False
Let t(r) = -4*r - 10. Let z(b) = -b**2 - 21*b + 39. Suppose -3*n - 72 = 3*s, -8*n + 5*s - 87 = -4*n. Let j be z(n). Does 9 divide t(j)?
True
Let o = 77772 - 35542. Is 103 a factor of o?
True
Let t(n) = -n**3 - 11*n**2 - 4*n - 79. Is 64 a factor of t(-23)?
False
Let r be (11/((-11)/(-2)))/(2/(-161653)). Is 44 a factor of r/(-119) + 9/(-21)?
False
Let f(w) = -4*w**3 + 2*w**2 + 14*w + 11. Let s be f(-1). Suppose s*v = -3*t + 3144, 4*t + 805 = 5*v - 4390. Does 14 divide v?
False
Let v(f) = -f**3 + 61*f**2 - 14*f + 168. Does 68 divide v(58)?
False
Let m(u) = u**3 + 12*u**2 + u + 40. Let c be 28/21*-9*1. Let b be m(c). Suppose 0 = -j + 102 + b. Is j a multiple of 13?
True
Let o(g) = 5*g**2 + 15*g + 28. Let j be o(-11). Suppose 19*t = 1261 + j. Does 39 divide t?
False
Let q(g) = g - 14. Let h = -13 + 30. Let u be q(h). Suppose -5*w + 581 = -4*j, -3*j = -u*w + 372 - 24. Is 13 a factor of w?
True
Suppose 30*z - 42 = 228. Suppose -7*d - 890 = -z*d. Is 26 a factor of d?
False
Let f be (0 + -256)/(1 + 30/(-25)). Let a be ((-38)/(-5))/(4/f*4). Suppose -3*g = 0, a = 4*z + 4*g + 216. Is 16 a factor of z?
False
Let n = 65 - -3. Suppose 404 = 4*l - n. Let a = 278 - l. Does 32 divide a?
True
Let n(w) = -89*w + 53. Let v = -133 - -127. Is n(v) a multiple of 79?
False
Suppose -293*g = -296*g. Suppose -j - 20*j + 8673 = g. Is 6 a factor of j?
False
Let y = -157 - -158. Let h = 119 + y. Is 7 a factor of h?
False
Let n(q) = 29*q**2 + 45*q + 102. Is n(-20) a