 l?
False
Let h be 1*(1 - 0 - 2). Let z be h + -1 - (2 + -15). Let m = 18 - z. Is m even?
False
Let n(q) = -2*q**2 - 29*q + 17. Let v be n(-15). Let p(o) = 48*o - 7. Is 31 a factor of p(v)?
False
Suppose 12*s = 21*s - 4680. Is s a multiple of 45?
False
Let n = 20 - 6. Suppose n*w = 13*w + 32. Is w a multiple of 4?
True
Let c = -65 - -561. Is 14 a factor of c?
False
Suppose 3*w = -2*h + 33, -w + 2*w = 3. Suppose 2*z + h = 4*z. Does 6 divide (-5 - -1)/((-2)/z)?
True
Is 56/(-42)*1*(-2028)/8 a multiple of 26?
True
Let f(o) = 2*o + 20. Let n be f(-15). Let u(s) = -2*s + s**3 - 2 - 1 + s + 10*s**2. Does 3 divide u(n)?
False
Let v(g) = 9*g**2 - 10*g + 5. Let c be v(3). Suppose x = c + 56. Does 16 divide x?
True
Let x(i) = -i**2 - 13*i - 8. Suppose -3*m + 4*r - 19 = -2*m, -3*m - 2*r = 29. Is x(m) a multiple of 14?
True
Let o be (16/(-10))/(14/35). Is (4 - 5)*o/2 + 308 a multiple of 10?
True
Suppose -5*x = 21*x - 676. Is 13 a factor of x?
True
Let j(p) = 4*p - 7. Let c be (-2 + 3)*7 - -3. Is 18 a factor of j(c)?
False
Suppose 4*y + 25 = 5*z, -4*y + 3*z - 19 = -4. Suppose y = -2*n + 5*n - 120. Does 10 divide n?
True
Let u(p) = p**3 + 18*p**2 + 6*p + 119. Is 32 a factor of u(-15)?
True
Suppose 24*l + 7*l - 29512 = 0. Is 17 a factor of l?
True
Let b = -365 + 37. Let u = b + 571. Is u a multiple of 35?
False
Let m = -20 - -24. Let l be (m + -5)*(2 - 2). Let w = 52 + l. Is 13 a factor of w?
True
Let t(p) be the third derivative of -p**5/60 + p**4/6 + p**3/2 + 11*p**2. Let v be t(3). Is (-2 + -2)*(-14 + v) a multiple of 8?
True
Suppose -5*c = -r - 707, 0 = 5*c + r - 494 - 209. Is c a multiple of 28?
False
Suppose 1 - 4 = -j, t + 3*j - 346 = 0. Is 4 a factor of t?
False
Suppose 0 = 5*o - k - 26, 0*o - 3*k = 4*o - 36. Is 10 a factor of 4*(6 + o + -2)?
True
Let n = -30 - -35. Suppose 1200 = n*p + p. Is 25 a factor of p?
True
Let r = 0 - 0. Let h = r - 4. Does 10 divide (-2)/h + 118/4?
True
Let i be (12/2)/((-15)/(-410)). Suppose 0 = 4*k - 3*u - i, -4*k + 164 = -u + 2*u. Suppose g - 10 - k = 0. Is g a multiple of 17?
True
Let c(b) = -b**2 - 18*b + 4. Let i be ((-13)/4)/(7 - (-189)/(-28)). Is c(i) a multiple of 4?
False
Suppose -4*d + d = -483. Suppose -d - 16 = -3*l. Does 5 divide l?
False
Let r(x) = 26*x - 173. Is r(27) a multiple of 72?
False
Let q = 127 + -91. Suppose 4*h - q = a, 0*a = 4*h + 2*a - 24. Does 2 divide h?
True
Let t be (-4)/14 + 172/14. Suppose 0 = 6*j - 2*j - 2*n - 26, -4*n = -t. Does 3 divide j?
False
Let t = -103 + 92. Let s(d) = -3*d + 5. Does 19 divide s(t)?
True
Let t(s) = s**3 - 3*s**2 - 3*s + 4. Let r be t(2). Let v(k) = k**2 + 4*k - 2. Is 5 a factor of v(r)?
True
Let u be 155/10*-2 + 4. Let t = u + 63. Is 9 a factor of t?
True
Suppose 2*n - 60 = 32. Let z = 13 - n. Let u = z + 57. Is 14 a factor of u?
False
Suppose -1069 + 349 = -5*s. Suppose -2*b + 48 = -l, -3*l + 0*l = 4*b + s. Let q = l + 76. Is q a multiple of 6?
False
Suppose -4*f + 1360 = a - 1220, 5*a + 2556 = 4*f. Does 23 divide f?
True
Suppose -2*u + 7*u - 5*k - 800 = 0, -3*u + 460 = 2*k. Does 6 divide u?
True
Is 8 a factor of (-428)/10*(-1 - 9)*1?
False
Is 104 a factor of 2/((-1)/((79175/10)/(-5)))?
False
Suppose 2*c + 644 = -4*z + 4370, -4*z + 3727 = 3*c. Does 19 divide z?
True
Suppose 27*y - 26110 + 3430 = 0. Is y a multiple of 21?
True
Suppose -95*c + 910 = -85*c. Does 2 divide c?
False
Let i = -2 + 20. Suppose 0*f - 3*f = -i. Let d(p) = p + 14. Is 6 a factor of d(f)?
False
Let p = 7343 + -4106. Is p a multiple of 31?
False
Let o = 59 + -55. Suppose -o*u = 4*f - 248, -2*f = 5*u - 97 - 36. Is 6 a factor of f?
False
Suppose 3*y - 2 + 17 = 0, -2*j + 3*y + 347 = 0. Is j a multiple of 12?
False
Let i = -18 + 25. Let d be (i + -9)*(50 + -1). Let h = -59 - d. Is 15 a factor of h?
False
Suppose -19*h = -24*h, -3*g - 5*h = -1296. Is g a multiple of 54?
True
Let l = 1094 + -1010. Does 14 divide l?
True
Let t be (-1816)/48 - (-1)/(-6). Let a = 86 + t. Does 3 divide a?
True
Suppose 0 = -7*j + 158 + 24. Let s = j - 15. Is s a multiple of 9?
False
Suppose -b - t + 0 = -5, 2*b + 3*t = 11. Suppose b*a - 21 = -3*l + 65, l - 2*a - 22 = 0. Is l a multiple of 8?
False
Let b(i) = 133*i**3 + 7*i**2 - i - 7. Let y(h) = 266*h**3 + 13*h**2 - 2*h - 13. Let s(t) = 11*b(t) - 6*y(t). Does 12 divide s(-1)?
True
Let o = -18 - -23. Suppose o*z = -2*u + 296, -3*u = -5*z + u + 308. Is z a multiple of 10?
True
Let f = 37 - -7. Let m = -23 + f. Let y = m - -30. Does 17 divide y?
True
Let c = -2910 + 4281. Does 66 divide c?
False
Let j(x) = 113*x**2 + x - 1. Let b be j(-1). Let f = b + 141. Is 36 a factor of f?
True
Let n(r) = -r**3 + 17*r**2 - r + 16. Let c be n(17). Does 3 divide c*2/(-4)*28?
False
Suppose 6 = g - 4. Suppose -7*y = -g*y. Suppose 2*h = -y*h + 42. Is 13 a factor of h?
False
Let n(t) = 3*t**2 - 40*t - 48. Does 54 divide n(-12)?
True
Suppose -25*t - 88 = -29*t. Is 2262/t - 12/(-66) a multiple of 25?
False
Suppose 7*x = 502 - 124. Does 3 divide x?
True
Let i = -1960 - -2602. Is i a multiple of 14?
False
Let z = -23 + 32. Let f(d) = 4*d - 8. Is f(z) a multiple of 7?
True
Let c be 256/14 - 2/7. Suppose 3*f - 12 + 42 = 0. Let p = c + f. Is p even?
True
Let h = -721 - -1077. Is h a multiple of 14?
False
Suppose 5*u + 2*g + 2 = 13, 5*u - 2*g = 19. Suppose -u*w + 43 = -137. Is w a multiple of 15?
True
Let o = 7 + -5. Let m be ((-7)/(-21))/(o/114). Let n = m + -5. Does 14 divide n?
True
Let q(w) = -29*w + 37. Does 40 divide q(-18)?
False
Let j be 530/(-7) - 16/56. Let y = j + 121. Is 15 a factor of y?
True
Suppose -52724 = -12*d - 2*d. Is d a multiple of 35?
False
Suppose -5*n + n = -12. Suppose -4*m + n*y = 2*y - 218, -y - 56 = -m. Is m a multiple of 9?
True
Let k(q) = -q + 12. Let t be k(12). Suppose -2*b - 26 = 4*l, 2*l - 3*b = -t*l - 33. Let v = l + 18. Is v a multiple of 3?
True
Is 8 a factor of 136/442 + 1244/13?
True
Suppose 6*l - 4*l = 4*z + 2868, 0 = 4*l + 5*z - 5788. Is l a multiple of 75?
False
Let c(f) = -2*f + 8 + f - f + 2*f**2 - 8*f. Is c(8) a multiple of 8?
True
Suppose 14*m - 1000 = -26*m. Is 12 a factor of m?
False
Suppose -147 - 1794 = -3*d. Is 17 a factor of d?
False
Let o(q) = 13*q - 8. Let x be o(-8). Let u = x - -36. Let j = 163 + u. Does 21 divide j?
False
Let s(j) = j**2 - 7*j + 3. Let l be s(7). Suppose -l*u + 3*t = -384, -2*u + 3*u - 134 = -2*t. Is 25 a factor of u?
False
Let o(l) = -l**2 + 44*l + 1116. Is 31 a factor of o(0)?
True
Let c(s) = -s**3 - s**2 - s + 2. Let b be c(0). Let o(i) = 60*i + 1. Does 8 divide o(b)?
False
Is 14 a factor of (568/14)/(6/21)*7?
True
Is 8 a factor of 2/4 - (-5 + (-648)/16)?
False
Let t = 419 + -305. Is t a multiple of 19?
True
Suppose 8*u - 3*u = 120. Let v = u + -12. Is 6 a factor of v?
True
Suppose -3*g - h - h + 48 = 0, 39 = 3*g + 5*h. Is 2 a factor of g?
True
Let z be (-4)/2 + (-72)/(-4). Let v be 7/21 - z/(-6). Suppose -v*l + 42 = -2*l. Is 42 a factor of l?
True
Let o(g) = -12*g. Let r be o(2). Is 13 a factor of ((-74)/(-3))/((-16)/r)?
False
Suppose 0 = -f - 3*m + 117, 5*f + 0*m - m - 553 = 0. Is f a multiple of 13?
False
Is 21 a factor of (72 - -47)*3/1?
True
Suppose u = 5*j - 3, -j + 4*j = u + 1. Suppose -5*f = -u*y + 31, -f - 2*f - 49 = -5*y. Does 3 divide y?
False
Let c(w) = w**3 + 2*w**2 + 2*w - 1. Let v be c(-2). Let x(m) = -2*m**2 - 13*m - 8. Let g be x(v). Suppose 6*n - 5*n = g. Does 2 divide n?
False
Let k = -46 + 56. Let p = k - -46. Does 19 divide p?
False
Is (-166)/4*-2 + -2 a multiple of 31?
False
Is 1032*(-13)/(-26) + 11 a multiple of 17?
True
Let w = -7 - -219. Is w a multiple of 4?
True
Let q = 280 + -167. Let w = q - 52. Let a = 87 - w. Is a a multiple of 6?
False
Let p = -9 - -11. Suppose p*f - 6 = f. Is 15 a factor of (-1)/f*2*-48?
False
Let m = 5 + -2. Suppose -m*t + 24 = -0*t + 3*d, -5*d + 24 = t. Suppose n = h - t*n - 11, -2 = -n. Is h a multiple of 13?
False
Let o be -1*81 + (3 + -3)/(-1). Let f = 142 + o. Does 18 divide f?
False
Let o(k) = 2*k - 24. Let y be o(12). Suppose -2*h + 14 = t, y = -4*t + 2*h + 14 + 12. Is 2 a factor of t?
True
Let w = -215 + 755. Is w a multiple of 37?
False
Let n(p) = 4*p**2 - 6*p + 12. Let s be n(3). Let x = 10 + s. Does 10 divide x?
True
Let r(a) = 4*a**2 + 4*a - 9. Let j(h) = 3*h**2 + 3*h - 8. Let s(v) = -5*j(v) + 4*r(v). Is s(-6) a multiple of 10?
False
Let d(q) = -q**3 + 23*q**