+ 24 = 2*a, 3 = y - a - 0*a. Is 3 a factor of y?
True
Suppose 0 = -3*u + 11*l - 12*l + 290, 0 = -4*u - 4*l + 392. Does 6 divide u?
True
Let k = -2805 - -5295. Does 10 divide k?
True
Let t be (-180)/(-4)*1/3. Let g = 20 + t. Is 7 a factor of g?
True
Let d = 86 + 1649. Is 4 a factor of d?
False
Let j(u) = 5*u + 3. Let h be j(0). Suppose 2*x + 121 = 6*x + 3*l, h*l = 3*x - 117. Is x a multiple of 19?
False
Suppose 4*h - h = -9. Let u(z) = z**3 + 5*z**2 + 4*z. Let p be u(h). Suppose -x - p*k + 51 = -3*k, -2*x - 4*k + 96 = 0. Does 14 divide x?
True
Let z(c) = 3 + 3*c + 0*c + c + 3*c. Let r = 0 + 5. Is 23 a factor of z(r)?
False
Let g(l) = l + 13. Let z be g(-13). Suppose z*h - 3*h = -321. Let f = 158 - h. Is f a multiple of 26?
False
Let p(m) = 9 - 3*m - 2 + 3 + m**2. Does 10 divide p(5)?
True
Let a be 25/(-10)*(1 - -3). Let d = a + 13. Suppose -5*z - d*q + 0*q + 33 = 0, 10 = z + 4*q. Is z even?
True
Let f(n) = n**3 + 14*n**2 - 46*n + 16. Is 66 a factor of f(8)?
True
Suppose -5*o = -10 - 10. Let a be (-6)/o*(-8 + 6). Suppose a*p + 14 = 5*p. Is p even?
False
Let y(c) = -67*c**2 + c + 4. Let q be y(-2). Let v = q - -422. Is v a multiple of 39?
True
Suppose 0 = -3*g + 5*x + 16, -6*g = -g - x - 12. Suppose 2 = 3*h - g*v, 27 = 4*h + 3*v - 4. Is h a multiple of 4?
True
Let s(t) = 7*t**3 + 19*t**2 - 11*t - 23. Let o(g) = -3*g**3 - 9*g**2 + 5*g + 12. Let v(x) = -5*o(x) - 2*s(x). Is 10 a factor of v(-6)?
True
Suppose 10*l + 1065 = 3495. Does 7 divide l?
False
Let x be -1 + (36/(-3))/(-4). Suppose 0 = -m - x + 4. Suppose -3*o + 5*s + 9 = -4, 0 = -2*o - m*s + 30. Is 3 a factor of o?
False
Suppose -66 + 10 = u. Let y = u + 84. Is 14 a factor of y?
True
Let c = 149 + 497. Let i = c + -326. Does 10 divide i?
True
Suppose -35 - 20 = 5*a. Let y = a + 15. Suppose -y*s - 31 = -3*o - 87, -o - 48 = -4*s. Does 9 divide s?
False
Suppose -1450 + 370 = -2*v. Is v a multiple of 16?
False
Suppose 515 = 3*g + 5*o, 4*g - 740 = 4*o - 0*o. Is g a multiple of 10?
True
Suppose -9*y - 575 + 1673 = 0. Does 11 divide y?
False
Suppose 3*s = -d - 104, d = -2*d + 4*s - 260. Let l = 134 + d. Let u = l + -20. Is 11 a factor of u?
True
Let v(r) = 168*r + 18. Does 9 divide v(1)?
False
Let o = 303 + 387. Does 6 divide o/35 - 3 - (-4)/14?
False
Suppose k - 3*k - 3 = -3*u, -4*k + 18 = 2*u. Suppose -8*z = -11*z + 390. Suppose 0 = -5*r - k*d - 2*d + z, 36 = r - 4*d. Is r a multiple of 14?
True
Let j(p) = 53*p + 449. Is 4 a factor of j(-8)?
False
Let d be 3 + (129/9)/(3/(-9)). Let p = -33 - d. Is p even?
False
Let l(f) = -f**3 + 8*f**2 - 6*f + 10. Let m be l(7). Suppose 0 = -z - m - 23. Let y = -11 - z. Does 8 divide y?
False
Suppose 14 = 12*h - 13*h. Is 42 a factor of h/3*(195/(-10) - 3)?
False
Let w be 101 + (-3)/(12/20). Suppose 0 = -d + 53 + w. Is d a multiple of 25?
False
Suppose 35 = 7*g - 826. Does 13 divide g?
False
Suppose 0 = 6*a - 0*a - 900. Suppose 0 = -3*w - 3*c + a, 0*w - 150 = -3*w + 2*c. Is 25 a factor of w?
True
Let y(v) = v**2 + 40*v + 196. Does 20 divide y(-38)?
True
Suppose 29*j - 25*j = 776. Does 27 divide j?
False
Suppose l + 1970 = 4*n, 0*l + 490 = n + l. Is 41 a factor of n?
True
Let v(f) = -f + 24. Let o be v(0). Is o - 9/3*1 a multiple of 8?
False
Let p(a) = -a**3 + a**2 + 610. Let s be p(0). Suppose 5*c - s = -160. Suppose 3*j - 188 = d, -4*j + c = -d - 161. Is j a multiple of 20?
False
Let o(g) = 819*g**3 + g**2 + g - 2. Is 63 a factor of o(1)?
True
Suppose 2*c + 550 - 1956 = 0. Is c a multiple of 37?
True
Suppose -3*m - 4*r = -5*r - 2396, 4*r + 806 = m. Is 21 a factor of m?
True
Does 12 divide (-25980)/(-114) + (-2)/(-19)?
True
Let y be 6/(-21) + (-258)/(-21). Suppose 6*x = 70 + 146. Let f = x - y. Is f a multiple of 10?
False
Let g = -5 + 6. Suppose -u = -g - 2. Let h = 14 - u. Is h a multiple of 11?
True
Let v(d) = d**2 - 7*d - 6. Let s be v(8). Let x(f) = 2*f + 1. Let c be x(s). Suppose 0 = 4*t + c - 61. Is t a multiple of 14?
True
Let p be 3 - 1*0/3. Suppose 0 = p*j - 15. Suppose -x + j + 10 = 0. Is 3 a factor of x?
True
Let z be (-6)/(-4) + (-259)/(-14). Suppose 0 = 5*t - z, 4*r - 8*r + 3*t + 404 = 0. Does 13 divide r?
True
Is (-1179822)/(-203) + 8/116 a multiple of 84?
False
Suppose -i = 5*z + 69, -i + 57 = -4*z - 0*i. Is 26 a factor of 8/z - (-2208)/42?
True
Let p(y) be the first derivative of y**4/2 + 4*y**3/3 - 8*y - 14. Does 23 divide p(4)?
True
Suppose -3*p - 49 = -2*i, 4*i = p - 0*p + 23. Let r = -11 - p. Let w(a) = 2*a + 10. Does 9 divide w(r)?
True
Let d(p) = -p**3 - 9*p**2 + 9*p - 3. Let z be d(-10). Suppose 5*g = -2*r - 4, -10 = 3*g - 2*r + z*r. Is 23 - 3/1 - g a multiple of 13?
False
Suppose -2*g + 47 + 13 = 0. Is g a multiple of 5?
True
Does 50 divide 32/48*-3550*(-6)/4?
True
Suppose 0 = 9*s - 336 - 3012. Suppose 4*h = -2*t + 59 + 437, -3*h - 3*t + s = 0. Is 34 a factor of h?
False
Suppose -11*z = -4*z. Suppose 4*k + 5*g - 173 = z, -4*g - 12 = -0*g. Does 3 divide k?
False
Suppose 3*f + 1179 = 3*a, 2*a + a = -5*f + 1179. Suppose 22 = 5*c - a. Let z = c + -35. Is 24 a factor of z?
True
Let i(u) = -27*u + 3. Let h be i(-11). Let d = h - 130. Does 10 divide d?
True
Let v(i) = i**3 + 16*i**2 - 19*i - 22. Is 4 a factor of v(-11)?
True
Suppose 264 = r + r. Suppose 449 = -3*p - 2*p + 2*m, -3*p = 5*m + 257. Let z = p + r. Is 11 a factor of z?
False
Let z = 79 + -121. Let b = -6 - z. Is 12 a factor of b?
True
Suppose -3*h + 2*p + 7 = 0, -h = -5*h - 3*p + 15. Suppose -31 = -h*o + 14. Is 5 a factor of o?
True
Suppose -3*t + 11*t = 1432. Does 10 divide t?
False
Let p(g) = -1 + 5*g**2 - 53*g - 5 + 69*g. Is 31 a factor of p(-8)?
True
Let n be -11 + 7 - 1*-31. Suppose 5*t + 6*x = 2*x + 108, -n = -t + x. Is 24 a factor of t?
True
Suppose -2*z + 6 = f, 4*f = -z + 1 - 5. Suppose 0 = -z*o - o + 1350. Suppose -50 = -5*b + o. Does 32 divide b?
True
Let y = -27 + 29. Suppose y*j - 94 = -14. Is 10 a factor of j?
True
Let l(j) = 54*j + 6. Does 12 divide l(11)?
True
Suppose 32*u - 19*u = 689. Is 41 a factor of u?
False
Let j = -1 + 5. Let v(g) be the first derivative of 3*g**2/2 - 2*g - 159. Does 10 divide v(j)?
True
Let a(h) = -2*h. Let q be a(-3). Suppose 9 = q*k - 3*k. Suppose -10 - 152 = -k*s. Is 17 a factor of s?
False
Let h = -44 + 30. Let v = h + 96. Is v a multiple of 21?
False
Does 18 divide (-1 - (-2)/1)*(690 - -21)?
False
Suppose -38 = -3*d + 5*r + 11, -5*d + 2*r = -50. Let g = -6 + d. Suppose 18 = 5*v - g. Is v a multiple of 4?
True
Suppose 0 = -8*f - 0*f + 40. Suppose f*q + 4*m - 86 = 2*q, 115 = 5*q + m. Does 2 divide q?
True
Let h(n) = -n**3 + 6*n**2 + 9*n - 10. Let s be h(7). Suppose -4*p - s*z + 11 = -9, -4*p - 5*z + 21 = 0. Is 8 a factor of 1*p + -15 + 47?
False
Let j be (74/(-2))/(2/(-4)). Let h = j + -38. Does 12 divide h?
True
Suppose u - 123*l - 4856 = -122*l, u - 2*l - 4859 = 0. Does 14 divide u?
False
Suppose -4*p + 223 = -3*p - o, -2*o = -p + 221. Is 15 a factor of p?
True
Let t(h) be the first derivative of -h**5/20 - 2*h**4/3 - 5*h**3/6 + 7*h**2/2 - 11*h + 10. Let q(k) be the first derivative of t(k). Is q(-8) a multiple of 10?
False
Let a = -97 - -99. Suppose -2*n = 2*q - 50, 2*n - a*q - 75 = -n. Does 5 divide n?
True
Suppose n - 9 = -11. Let t = n + 44. Suppose t = z + z. Does 8 divide z?
False
Suppose 4*r - 20 = 0, -3*l + 35 = 2*r - r. Let c(j) = l + 2*j**2 + 0 + 8*j - 3. Is 17 a factor of c(-5)?
True
Let r = 168 + -75. Let v = r + -30. Is v a multiple of 21?
True
Let h be 4/3*1314/12. Suppose -c = -h + 2. Suppose -r - c = -4*r. Does 12 divide r?
True
Suppose 12*x + 72 = 1596. Does 5 divide x?
False
Is 566 - ((-4 - -1) + 3) a multiple of 11?
False
Suppose 4*i + 17 = 4*g + 1, -3*g + 18 = -5*i. Is ((-2)/(-4))/(i/(-294)) a multiple of 7?
True
Suppose -a - 3*a = 4*j + 8, -3*j = -5*a + 22. Let o(h) = -h**2 - 5*h - 4. Let l be o(-3). Suppose -3*c - a*t = l*t - 62, -c - t = -19. Is c a multiple of 6?
False
Let i(y) = 7*y - 58. Let q be i(9). Suppose -5*j + 0*w = q*w - 1290, 4*j - 4*w - 1016 = 0. Is 32 a factor of j?
True
Suppose 960 = -4*t - 4*t. Let g = -66 - t. Is g a multiple of 8?
False
Suppose -s = h + 3, -2*s - s + 2*h - 19 = 0. Let b(o) = 95*o**2 + 4*o - 3. Let x(a) = -142*a**2 - 6*a + 4. Let u(p) = s*x(p) - 7*b(p). Does 11 divide u(-1)?
True
Let c(p) = 13*p - 202. Does 75 divide c(41)?
False
Suppose -2*o + 5*o - 12 = 0. Suppose -2*a = -o*j +