?
True
Let t = -8 - 1. Let o(b) = b**2 - 4*b - 3. Let i be o(3). Is 3227/21 - i/t a multiple of 15?
False
Let l = 15699 - 8811. Is l a multiple of 14?
True
Suppose -81*x + 1053000 = 97*x - 151*x. Is 39 a factor of x?
True
Let q be -2 + 0 - 1563/(6/(-2)). Suppose 0*y = 3*o - 4*y - 366, -4*o + q = 5*y. Is 23 a factor of o?
False
Suppose 0 = -8*d - 1618 - 4902. Let k = 1714 + d. Is k a multiple of 43?
False
Suppose 3*i + 8*i = 39411 + 38799. Is i a multiple of 45?
True
Let s(r) = 12*r**2 + 56*r + 19. Does 28 divide s(-8)?
False
Let i(z) be the third derivative of z**5/30 + 5*z**4/12 - 10*z**3/3 - 58*z**2. Is i(-13) a multiple of 9?
False
Let m be (-6)/(-18)*-1 - 56/(-6). Suppose -m*b - 3*x - 2141 = -11*b, 2*b = -x + 2121. Is b a multiple of 67?
False
Let j be 14*(-44)/(-231)*(-3)/2. Is 0/j + -3 - -255 a multiple of 14?
True
Let a be (-119)/(-28) + 2/(-8)*1. Suppose -v - 11*m = -6*m - 86, -a*v = 3*m - 276. Is 22 a factor of v?
True
Let r(d) = 3*d**2. Let s be r(1). Let v(t) = t**2 - 9*t + 36. Is v(s) a multiple of 9?
True
Let m(s) = 12*s + 6. Let v be m(10). Let d be ((-11)/(-3) - 3)/((-3)/v). Let h = d - -48. Is h a multiple of 10?
True
Let o = 663 + -577. Let f(x) = 4*x**2 - x + 1. Let a be f(1). Let q = o + a. Is 15 a factor of q?
True
Suppose 4*l - 2 = -3*u - 0*l, 4*l = 4*u - 40. Suppose -68 + 338 = u*w. Is 39 a factor of w?
False
Let h = -22 - -29. Let v = 22 - h. Suppose v*z - 30 = 10*z. Is z a multiple of 3?
True
Let p(h) = 4*h - 201. Let q(i) = -2*i + 101. Let a(c) = 6*p(c) + 14*q(c). Is a(36) a multiple of 8?
True
Let a be (5/(-4))/((-3)/12). Let w be -24*a/20*-2. Let l = w + 114. Is l a multiple of 18?
True
Suppose 137 = -3*t + 41. Let r be (63/35)/(-2*(-12)/640). Does 21 divide 18*(3 + -1 + t/r)?
False
Let y = 18664 - 9680. Is y a multiple of 31?
False
Suppose -5*z = 5*q - 107070, 2*q + 84304 + 1322 = 4*z. Does 271 divide z?
True
Let z be (-3)/((-1 - -1) + 15/(-20)). Suppose -z*v = -0*v - 3*f + 152, -3*v - f = 114. Let s = 74 - v. Is s a multiple of 28?
True
Suppose 3*c = -0*c - a - 135, 2*c = -2*a - 94. Let p be -62 - 0*(-5)/(-20). Let h = c - p. Does 18 divide h?
True
Let j(c) = -5*c**3 + 2*c. Let s be j(-1). Is 53 a factor of (-72)/60*(-465)/s?
False
Let h be ((-400)/(-15))/((4 - 2)/(-6)). Let y = -38 - h. Is y a multiple of 10?
False
Suppose 0*j + 4*u = -j, u = -2*j + 21. Suppose 3*w - 3*q = j, q - 32 = -3*w - q. Suppose w*x + 239 = 1039. Does 16 divide x?
False
Suppose -1378 = -11*l + 3022. Suppose 7*h - l = 580. Is h a multiple of 10?
True
Suppose 21*l - 12*l = 0. Suppose -x - 21 = -2*u, u - 13 = 3*x + 10. Is 9 a factor of u/(-12)*(-109 + 1 + l)?
True
Let x(r) = -r**2 + 67*r - 69. Does 13 divide x(47)?
True
Suppose 4*t + 19 = 7*t + y, -5*y + 35 = 5*t. Is (-3)/(-18) + 1553/t + 3 a multiple of 13?
False
Suppose 5*g = 3*a + 10853, -3*g + 6514 = -6*a + 2*a. Is 31 a factor of g?
True
Let f = 36152 - 15876. Does 74 divide f?
True
Let h(n) = -n**2 + n + 10. Let g be h(-3). Let k be (g/10 - 1)*(-240)/72. Suppose m + 0*f - 19 = k*f, m - 5*f - 16 = 0. Is m a multiple of 4?
False
Let d(b) = b + 19. Let o be d(-10). Suppose 1122 = o*q - 1128. Let j = -172 + q. Is 13 a factor of j?
True
Suppose 0 = 155*s - 7795041 + 2830701. Is 20 a factor of s?
False
Suppose 49*f - 50*f = 4*p - 42293, -27 = -3*f. Is p a multiple of 135?
False
Let l(s) = s**3 - 20*s**2 + 20*s - 11. Let w = -63 + 82. Let c be l(w). Is 22 a factor of (-7)/(42/(-400)) + c/(-12)?
True
Let l(i) = -i**3 - 18*i**2 - 27*i - 165. Let v be l(-17). Is (v - -4 - 4)*(85 + 0) a multiple of 21?
False
Let b(g) = 479*g + 0*g**2 - 470*g + 12 + 82*g**2. Is 6 a factor of b(-2)?
False
Let g(l) = 67*l**2 - 13*l + 106. Does 30 divide g(-12)?
False
Suppose 0*x + 5*k + 9090 = 5*x, -x = -2*k - 1814. Let r = x - 1029. Does 61 divide r?
True
Let q(m) = m**3 + 11*m**2 + 8*m - 8. Let j be q(-10). Suppose 2*u = 2*b - j, -5*u + 6 = 3*b - 4. Suppose b*l + z = 83, -2*z - 1 = 3. Is 16 a factor of l?
False
Let a be (-2 + -1 - -8)*(5 + 5). Is ((-12)/(-15) + -2)/(a/(-2125)) a multiple of 2?
False
Let r(q) = 6 - 5*q + 7 + 3*q. Let s = 1120 - 1132. Is 3 a factor of r(s)?
False
Is 4 a factor of 64/72 + 2148482/342?
False
Let o = -30 + -5. Let b be (1/(-1))/(3/39). Let a = b - o. Is a a multiple of 9?
False
Let n = 268 - 263. Suppose -5*j = -i - 1496, -160 = -j + n*i + 144. Is j a multiple of 8?
False
Suppose -4*p = 3*r - 5 + 21, 4*p + 4 = 0. Let z = -109 - r. Is (84/z)/(2/(-10)) even?
True
Suppose 3*h = -4*h + 14. Suppose 3*x - 104 = -2*s - h*s, -3*x + 112 = -4*s. Suppose -k + x + 27 = 3*j, -k = -2*j - 53. Is k a multiple of 19?
True
Let i(m) = m**2 - 3*m - 12. Let q be i(6). Let r(u) = -u**2 + 6*u + 2. Let t be r(q). Suppose -h = -t*n - 27, -5*h + 9*h + 2*n = 118. Is 4 a factor of h?
False
Suppose -6 = 3*v + 6. Let o(b) = 4*b + 12. Let p be o(v). Is p/10 + 1731/15 + -3 a multiple of 16?
True
Let m(z) = z + 332. Is m(-47) a multiple of 34?
False
Let o = -33 - -40. Suppose o*y = -153 + 433. Suppose y = d + f, -4*d + 4*f + 167 = f. Is d a multiple of 41?
True
Suppose 0 = -4*x + 11 - 3. Let c = 34 - 34. Suppose x = -2*i + 2*z + 96, -4*z = c. Does 9 divide i?
False
Does 25 divide 5 + 3*9080/4?
False
Suppose -177535 = -5*o + 4*f, -o + 12*f + 35507 = 11*f. Is o a multiple of 261?
False
Suppose -156288 = -15591*r + 15580*r. Does 12 divide r?
True
Let w(m) = 4*m - 14. Suppose -25 - 31 = -14*r. Let d be w(r). Suppose -d*i - i = -2*y - 700, -4*y - 20 = 0. Is i a multiple of 46?
True
Let t(c) = -c**3 + c**2 + 1. Let u be t(1). Let g(z) = 158*z**3 - z**2 - z + 1. Is 21 a factor of g(u)?
False
Let w = -15 + 18. Suppose -w*h + 8*h = -160. Let s = h - -104. Does 24 divide s?
True
Let b be (1584/(-15))/(10/(-25)). Suppose 0 = o + 4*v - 80, -o - o - 4*v = -168. Suppose 11*f - o = b. Is 32 a factor of f?
True
Is 10 a factor of (-5 - 3913/(-21))/(26/195)?
True
Let t be 1/((-4)/(-29))*(47 - 39). Let u = -54 + t. Suppose 2*k - u*k = 5*q - 267, 2*k - 214 = -4*q. Is q a multiple of 47?
False
Suppose 441073 = 24*r + 31*r - 183507. Is 18 a factor of r?
False
Suppose 2*m + 500 = 798. Suppose n + m = 221. Does 24 divide n?
True
Suppose d - 266 = 1405. Let h = d - 1082. Is h a multiple of 13?
False
Suppose 3*s - 82 = -2*h - 2*h, 0 = 5*s + 3*h - 122. Suppose 6498 = -3*z + s*z. Is 19 a factor of z?
True
Let w = 189 - 369. Let z = 342 + w. Suppose -228 - z = -6*x. Does 10 divide x?
False
Let x(y) = -133*y + 4715. Is 183 a factor of x(-76)?
True
Suppose 0*i = -4*i + 3*n, 5*i - 3*n - 3 = 0. Suppose -5*r = i*x - 8*x + 855, 5*x + 3*r = 823. Let u = x - 86. Does 13 divide u?
False
Is 14 a factor of 3 + -8 + ((-122326)/(-8) - 287/164)?
False
Suppose -4362290 + 11668148 = 161*m. Is 325 a factor of m?
False
Does 20 divide 4143 + (-4 - -2*(-4 + (-18)/(-4)))?
True
Suppose -5*d = -4*f + 39 + 13, 12 = -3*d. Suppose 2*b = 2*y - f, 0 = -5*b - 26 + 1. Does 21 divide (-1*(6 - y))/(12/(-252))?
True
Let q(z) = -z**3 - 26*z**2 - 49*z - 18. Let m be q(-24). Let r = 399 - -11. Is (-6)/(-9) + r/m + 1 a multiple of 43?
False
Suppose 12*v - 51325 = 5*v + 14804. Is 67 a factor of v?
True
Suppose -5*h - 3*z + 7 = 4, 0 = -3*h - 2*z + 2. Suppose h = 4*l - o - 3036, l + 4*o = 385 + 374. Is 33 a factor of l?
True
Let y(u) = -19*u**2 + 43*u + 87. Let f(q) = 14*q**2 - 43*q - 86. Let a(m) = 4*f(m) + 3*y(m). Does 9 divide a(-24)?
False
Let v be 20 + -17 + (0 - 0). Suppose -v*m = 3*d + 207, -3*m - 2*d = -0*d + 202. Let g = 94 + m. Does 17 divide g?
False
Suppose 33981 = 3*z - 4*a + 5000, -3*z = 2*a - 28993. Does 25 divide z?
False
Is 7 a factor of (8/(-6))/(1 - 32781/32760)?
False
Is 20 a factor of (-1083584)/(-60) + (-212)/(-795)?
True
Let z(t) = 436*t + 3026. Does 305 divide z(19)?
False
Let h = -161 - -165. Is 10 a factor of h*233/2 - (1 - 5)?
True
Suppose i + i = 0. Let r be (-4)/14 + (-1680)/(-735). Suppose -4*o - 5*u + 661 = i, -r*o - u = 2*u - 329. Is 32 a factor of o?
False
Let p(k) = -k**3 + 13*k**2. Let d be p(13). Suppose u = -d*u + 12. Is u even?
True
Suppose 2*t - 5*i - 4895 = 0, 18*t - 17*t + i = 2451. Is 14 a factor of t?
True
Let k = -24542 + 25368. Is 59 a factor of k?
True
Let k(i) = 159*i - 67. Let v be k(12). Is ((-6)/(42/v))/(-1) a multiple of 13?
False
Let p = 10551 + -5526. Is p a multiple of 75?
True
Let u = -28306 - -30650. Is 15 a factor of u?
False
S