 x?
True
Suppose 8 = -2*m - 2*g, 9*g - 4*g + 12 = -m. Is 13 a factor of (m + 0)/(-2 + 0) - -155?
True
Suppose i - 725 = 5*p, 29*p = i + 32*p - 685. Is 14 a factor of i?
True
Let s(c) = 2 - 26*c + 50*c - 25*c - 2*c**3 - 4*c**2. Is 38 a factor of s(-4)?
False
Suppose -5*p + 2*p = -5*q - 19, -2*q + 10 = p. Is (-1430)/(-40) + 2/p + 0 a multiple of 4?
True
Let o(v) = 24*v - 1. Let s(q) = 49*q - 1. Let u(r) = 5*o(r) - 3*s(r). Let n be ((-5 + 1 + 2)*2)/2. Is u(n) a multiple of 7?
False
Let m(l) = l + 10. Let w be m(-6). Suppose 3*o = 12 + 9. Is 14 a factor of w*o/2*2?
True
Does 13 divide 0 + 82 + -6 + -4 + 7?
False
Suppose 0 = 2*k - 3*k + 28. Suppose 54 = 4*j + 2*b, -6*b + k = 3*j - 2*b. Let a = j + 75. Does 13 divide a?
True
Suppose 1490 = 3*t + 5*j, 5*j + 7 + 18 = 0. Suppose 4*w = 255 + t. Is 19 a factor of w?
True
Let o = -83 + -2. Let r = 39 - o. Is 31 a factor of r?
True
Does 3 divide (-42 + 44)*29/2?
False
Let j = -1169 + 1685. Is j a multiple of 16?
False
Let p(i) = 2*i**3 + i**2 - 3*i - 2. Let o be p(3). Suppose -4*f + 3*u - u + 16 = 0, 0 = 5*u. Suppose -2*z - o = -f*z. Does 13 divide z?
True
Let n = 298 - 232. Is n a multiple of 5?
False
Suppose -h = 2*b - 371, -130 = -5*b - 3*h + 796. Is b a multiple of 11?
True
Let t = 16 - 13. Suppose -3*q + 12 = a, 2*a - q = -1 - t. Let d(l) = -l + 6. Is 6 a factor of d(a)?
True
Let r(b) = b**2 + 11*b + 10. Let x be r(-9). Let q be ((-15)/10)/(3/x). Suppose -q*o + 2*n + 90 = -2*o, n = -3*o + 139. Does 14 divide o?
False
Let f(q) = q**3 + 29*q**2 + 14*q + 121. Is f(-28) a multiple of 19?
True
Is 17 a factor of 6 + 0 + (681 - -1)?
False
Let t = -374 + 1174. Does 42 divide t?
False
Let n(q) = -q**3 + 19*q**2 + 42*q + 8. Let j be n(21). Let s(x) be the third derivative of x**4/8 + 4*x**3/3 - x**2. Is s(j) a multiple of 8?
True
Suppose 8 = 5*w - 532. Is 27 a factor of w?
True
Suppose -350 = -4*f - 5*l, 5*f - 5*l = 8*f - 260. Does 30 divide f?
True
Let k(u) = -u**3 - 9*u**2 - 11*u - 16. Let j be k(-8). Suppose j*c - c - 371 = 0. Does 8 divide c?
False
Let i(a) = -a**3 - 7*a**2 + 5*a + 6. Is i(-10) a multiple of 41?
False
Let h(t) = t**3 + t**2. Let m(n) = -3*n**3 - 4*n**2 + n - 19. Let f(v) = -4*h(v) - m(v). Let k be 1 + 11/(-10) - 14/(-140). Is f(k) a multiple of 19?
True
Let a(m) = -15*m + 79. Let t be a(5). Suppose d + d = 2*u + 80, -5*d = -2*u - 194. Let v = d + t. Is 24 a factor of v?
False
Let s = 160 + -323. Let o = s - -251. Is 44 a factor of o?
True
Let i = 58 - 97. Let m = i - -144. Does 25 divide m?
False
Let f = 1135 + 1690. Does 106 divide f?
False
Let v = 17 + -22. Is 24 a factor of (216/(-15))/(v/25)?
True
Let u = 23 + -14. Let h(v) = 7*v + u + 11 - 5. Does 14 divide h(7)?
False
Suppose -5*x - 756 + 11 = -4*j, -3*j + 558 = -4*x. Suppose -5*v = -7*v + j. Is 14 a factor of v?
False
Let c(z) = 5*z**3 + 6*z**2 - 21*z - 1. Let k(i) = i**3 - i**2 - i. Let r(v) = -c(v) + 6*k(v). Let t be r(11). Let b = t - 17. Is 9 a factor of b?
False
Suppose p - 18 = 5*z, 0 = 2*p - 3*p + 3*z + 12. Suppose -p*m + 5 + 10 = 0. Let j(u) = -u**2 + 8*u - 12. Is j(m) a multiple of 3?
True
Let m(q) = -q**2 - 7*q + 591. Does 57 divide m(0)?
False
Let t(u) = u**2 - 28*u + 23. Let m be t(19). Let c = 247 + m. Is 33 a factor of c?
True
Suppose 0 = 2*q + o - 4907, -5*o + 6*o - 5 = 0. Is q a multiple of 16?
False
Let q = -128 + 213. Is 12 a factor of q + (-4)/(-2) - -1?
False
Let u(b) = 3*b**3 - 21*b**2 + 11*b - 22. Is u(8) a multiple of 3?
True
Suppose 37887 = 25*m - 28713. Is 28 a factor of m?
False
Let s(k) = -10*k + 3*k**2 + 0*k**2 + 7*k - 2 + 12*k. Is s(-7) a multiple of 29?
False
Suppose 0 = 5*p - 3*t - 9, p + 3*p + 2*t + 6 = 0. Suppose 6*k - 3*k = p. Suppose k = -2*r - 0*r + 88. Is 22 a factor of r?
True
Suppose 2*z + 4 = -3*u, 0 = 2*z - 5*z + u + 16. Let b be 9/z + 6/(-24). Suppose 0 = b*h - 15 + 3. Is 3 a factor of h?
True
Let l(n) = 2*n**2 - 25*n + 12. Let r be l(12). Suppose r = 5*v + 53 - 313. Is 18 a factor of v?
False
Suppose -4*b + c + 12 = 4*c, 5*c = 0. Suppose 32*z - 2964 = 13*z. Suppose -56 = 5*w + 5*q - z, -w - b*q + 28 = 0. Is w a multiple of 16?
True
Let x be ((-22)/(-6) - 1)/((-42)/(-63)). Let a be 76/(-10)*(-10)/2. Let n = a + x. Does 14 divide n?
True
Let p(f) = 4*f - f**2 - 109 + 5*f + 122. Suppose 0 = -2*a + 4*a + 4*i - 30, 5*a + 4*i - 57 = 0. Is 13 a factor of p(a)?
True
Suppose -130 = -o + 2*f, -2*o + 246 = -5*f - 17. Suppose 0 = -23*t + 21*t + o. Does 18 divide t?
False
Let z = 97 - -253. Is 25 a factor of z?
True
Suppose 5*b + 33 = 18. Let l be b/6*(0 + 0). Suppose l = -3*y + 9*y - 24. Is y even?
True
Let p = 298 - 34. Is 24 a factor of p?
True
Suppose 5*y + 30*y = 6545. Does 11 divide y?
True
Is (-4)/(-32) - 4077/(-24) a multiple of 7?
False
Is 4 a factor of 15/(18/(-153)*3/(-8))?
True
Suppose -10*x = -1563 - 1207. Does 17 divide x?
False
Suppose 33*w - 9856 = 5*w. Is w a multiple of 5?
False
Suppose 5*d + p = 200, 2*p + 2*p = 0. Is d even?
True
Let d(w) = 2*w**3 + 25*w**2 - 8*w + 15. Does 13 divide d(7)?
False
Does 16 divide (-2 - -7 - 6) + 1121?
True
Let p(g) = -g**3 - 7*g**2 + 9*g + 8. Let v(u) = u**3 + 7*u**2 - 10*u - 9. Let o(f) = -5*p(f) - 4*v(f). Does 13 divide o(-7)?
False
Let s(f) = 10*f**2 - 2. Suppose -4*x - 32 = -5*k, -4*k + 15 = -1. Let t be s(x). Is 17 a factor of (-4)/(-6) + t/3?
False
Does 26 divide ((-16)/56)/(2/(-910))?
True
Let l(k) be the first derivative of -k**4/4 + 10*k**3/3 + 11*k + 26. Suppose -18 = -4*b + 2*b. Does 23 divide l(b)?
True
Let m(d) = -d**3 - d**2 - d + 55. Let c be 2/(-1) - (-1 - 0). Let u(t) = -2*t**2 - t + 1. Let n be u(c). Is 8 a factor of m(n)?
False
Let b = 796 - 301. Does 33 divide b?
True
Let a(k) be the first derivative of -15*k**2/2 - 2*k + 1. Suppose -z - 2*y = -5, -3*y + 5 = z + z. Is 29 a factor of a(z)?
False
Let y(x) = 41*x + 23. Let h be y(-4). Let f = h - -192. Is 4 a factor of f?
False
Let g(i) be the third derivative of -i**6/60 + i**5/30 + i**4/24 + i**3/2 + 28*i**2. Does 25 divide g(-2)?
True
Let d(w) = w**3 - 2*w**2 - 3*w + 1018. Is 31 a factor of d(0)?
False
Suppose 5*h = 25, 2*h - 380 = -37*a + 35*a. Is 19 a factor of a?
False
Let o(p) = 10*p - 5. Let l be (-6 + (-24)/(-9))*(-6)/4. Is o(l) a multiple of 9?
True
Let s = -4 - -5. Is 19 a factor of (-2 - s - -20) + 2?
True
Does 7 divide 70/(-3)*(-21)/7?
True
Is 14 a factor of (-1 - -31)*186/12?
False
Let q = 29 - 29. Let j(i) = i**3 - 5*i**2 - 12*i + 9. Let z be j(9). Suppose -3*h = -q*h - z. Does 19 divide h?
False
Let s(p) be the second derivative of -p**4/12 - 4*p. Let d be s(-3). Let b = -7 - d. Is b even?
True
Does 29 divide 10*(117/8 + (-10)/80)?
True
Suppose -5*m = h - 3797, -7*h = -2*m - 3*h + 1532. Does 38 divide m?
True
Is 33 a factor of -3 + (2 - 169)/(-1)?
False
Suppose -g = -5*m + 15, -4*g + 2*m + 40 = 7*m. Suppose -g*t - a - 3*a + 70 = 0, -4*t = -4*a - 20. Let c(l) = l**3 - 11*l**2 + 12*l + 3. Does 8 divide c(t)?
False
Let w = 14 - 4. Let l be 3*(-8)/(-18)*(-141)/2. Does 12 divide (5/w)/((-1)/l)?
False
Let s = 12 + -9. Is 18 a factor of s - (4/(-3))/(2/261)?
False
Suppose 0 = -2*v + 17 - 7. Suppose -1 + 5 = -o - 4*g, 3*g + 26 = v*o. Suppose -2*p = -o*p + 132. Is p a multiple of 17?
False
Let w(n) = n**3 - 5*n**2 - 6*n + 4. Let o be w(6). Let s = 198 - -402. Is 10 a factor of (-1)/(o/s*-3)?
True
Let a = -1698 + 1812. Is 45 a factor of a?
False
Let c(v) = -82*v - 28. Let s be c(-5). Let x = -214 + s. Is 14 a factor of x?
True
Let k = -1932 - -1996. Does 10 divide k?
False
Suppose -195 = -2*r + 81. Does 2 divide (2 + -1)*-2*r/(-12)?
False
Let b(w) = -w**3 - 7*w**2 + 14*w - 3. Let r be b(-8). Let j = 80 + r. Is j a multiple of 26?
False
Let h(k) = 20*k**2 - 2*k - 2. Let w be h(-1). Suppose -2*q + q = -w. Suppose q*y - 555 = 15*y. Is 37 a factor of y?
True
Suppose 12*q = 7*q + 20. Is 18 a factor of (-114 + 0/q)*3/(-9)?
False
Let l = -542 - -710. Is 24 a factor of l?
True
Let p = 974 + -506. Is 36 a factor of p?
True
Suppose -13*b - 2 = -15*b. Does 21 divide b/(-8) - 4545/(-72)?
True
Let c be 3*(-3)/9 - 21. Is 18 a factor of (-2)/(-4)*383 + (-33)/c?
False
Is 8 a factor of 36/90 + ((-646)/(-10) - 1)?
True
Let v be 3/(-4)*(-1 + 10/(-6)). Suppose -5*a + 18 = v*r + 4, a - 22 = -2*r. Is r a multiple of 6?
True
Suppose 2*c = 3*g + 1983, -4*g = 84*c - 81*c - 2966. Does 14 divide c?
Fals