rue
Suppose 4*d - 3*i = 350, 0 = -3*d + 4*i + 297 - 31. Suppose 4*j - d = 3*x, -74 = -3*j - 4*x - 22. Is 10 a factor of j?
True
Let a = -81 - -56. Let c be -2 + a + 3/3. Is 4 a factor of (-1)/3 - c/6?
True
Let b be (-236)/5*(-25)/10. Suppose -2*q = -4*q + 4*i + b, 2*i = 5*q - 271. Does 13 divide q?
False
Let v(n) = -n - 1. Let y be v(-5). Suppose -c + 0*c + y = 0. Suppose -c*g + 72 = 4*u, u - 3 + 0 = 2*g. Is 13 a factor of u?
True
Suppose 2*z = 72 + 40. Is 18 a factor of z?
False
Let c(m) = 3*m + 1. Let a be c(-3). Let p = 39 - 24. Let l = p + a. Is l even?
False
Let b be (-2)/9 + 29/9. Suppose 0 = -t - b*t + 44. Does 11 divide t?
True
Let d = 26 + -15. Is 2 a factor of d?
False
Suppose -13*x = -9*x - 1408. Does 11 divide x?
True
Let l(w) be the second derivative of w**4/6 - 2*w**3/3 - 3*w**2 - 2*w. Is l(-4) a multiple of 33?
False
Suppose i = 2*i + 5*n - 15, 30 = 2*i - 4*n. Does 15 divide i?
True
Let z(a) be the second derivative of a**5/20 + a**2/2 - 2*a. Let o be z(-1). Suppose o = -n + 17 - 4. Does 9 divide n?
False
Suppose 0*u = 4*u - 16. Suppose u*l = 2*y - 18, 0 = 4*y + 3*l - 8*l - 45. Is 5 a factor of y?
True
Let x(r) = -2 + 2 - 1 - 18*r. Suppose -5*u = -1 + 6. Is x(u) a multiple of 17?
True
Let h(n) = -n**3 + n**2 + n + 5. Suppose 0 = -5*g + g + c - 5, 5*g + 3*c = 15. Let f be h(g). Suppose -f*j + 61 = -14. Does 5 divide j?
True
Suppose 3*q - 6 = q. Let u be 1/(-5) - (-272)/10. Suppose -2*l + u = -l - 3*i, 2*i - 26 = -q*l. Is l a multiple of 6?
True
Suppose 4*b - 151 = 17. Let z = 60 - b. Is z a multiple of 9?
True
Let d = 1 + 0. Let b(a) = 2*a + 2*a + 10*a**2 - 10*a - d - a**3. Is b(9) a multiple of 13?
True
Let u(b) = 9*b - 8. Does 6 divide u(2)?
False
Let x = 90 - 74. Is x a multiple of 16?
True
Let u = -94 + 67. Let r = u + 47. Is r a multiple of 13?
False
Suppose -5*o = -4*o - 40. Let b = o + 11. Is b a multiple of 15?
False
Let d = -3 - -7. Let n be 171/(-12) + 1/d. Let k = n - -20. Does 3 divide k?
True
Let b(l) = -l**3 + 5*l**2 - 3*l - 3. Let k be b(4). Suppose k + 64 = 5*i. Does 6 divide i?
False
Let i = -11 - -17. Does 6 divide i?
True
Suppose 2 = q - 3. Suppose -4*h = -6*s + 4*s + 28, q*h - 20 = 0. Is s a multiple of 22?
True
Suppose -2*k - 281 - 1139 = -3*j, 4*k - 478 = -j. Does 12 divide 2/5 - j/(-15)?
False
Let s(a) be the second derivative of -a**8/6720 - a**7/630 + a**6/720 + a**5/40 + a**4/12 + 2*a. Let p(q) be the third derivative of s(q). Does 12 divide p(-5)?
False
Let x = -1 - -1. Let n = x + 39. Is 13 a factor of n?
True
Let c(g) = 3*g + 6. Is c(13) a multiple of 10?
False
Suppose 0 = -3*w + 2*b + 112, 4*w + 5*b = -0 + 134. Is w a multiple of 9?
True
Let y(f) be the second derivative of f**3/3 + 2*f. Is y(6) a multiple of 12?
True
Does 5 divide (-10 + 46)*(-2)/(-3)?
False
Suppose 0 = 5*k + 4*k - 1206. Is k a multiple of 23?
False
Let w = 8 - 3. Let q be (7/w + -2)*-5. Is 10 a factor of 2 + (6 - -2)*q?
False
Let v = 2 + 1. Suppose 5*c + 134 = 2*x, -v = -c - 1. Let y = -42 + x. Does 15 divide y?
True
Let k = -20 + 116. Does 16 divide k?
True
Is (-2)/6*(-204)/2 a multiple of 27?
False
Suppose 4*b - 4 = 2*h, 4*b - b - 4*h + 7 = 0. Suppose -5*t + b*t = -56. Suppose 0 = -4*i + t + 12. Is i a multiple of 8?
False
Let p(n) = -n**3 - 5*n**2 - 5*n - 3. Let q be p(-4). Let g = q - -2. Does 10 divide (-4 - -1)/(g/(-20))?
True
Suppose 4*h - 25 + 201 = 0. Let c = h - -78. Is c a multiple of 18?
False
Does 15 divide 265 - 15/(-3)*1?
True
Suppose 3*u - 5 = -t, -t + 20 = -u + 3*t. Suppose 2*n - 3*n + 3 = 0. Suppose u*s + 60 = n*s. Is 14 a factor of s?
False
Let c(w) = 3*w + 3*w - 5*w**2 + w**3 - 3 - 1. Let y be c(4). Suppose 10 + y = 2*s. Is s a multiple of 7?
True
Suppose 0*j = -j + h - 1, 6 = 2*h. Suppose -j*g = 3*g. Suppose g = -4*k + 4*q - 5*q + 64, -32 = -2*k + 4*q. Is 8 a factor of k?
True
Let u be 1*-5*(1 - 0). Let b be -3 - (-5 + 4 - -5). Is (b + u)/(-1 + -1) a multiple of 4?
False
Is (8*2)/(23/322) a multiple of 56?
True
Suppose 20 = c + 83. Let o be c/(-14)*(-4)/(-3). Let r = o + 0. Is 6 a factor of r?
True
Let y be 25/(-10)*6/(-5). Is 13 - 1*(y + -1) a multiple of 11?
True
Let r(v) = -v**3 + 6*v**2 + 2*v - 7. Let l be r(5). Suppose l = 2*t - 34. Is 12 a factor of t?
False
Suppose 0 = 3*b + 32 - 11. Is 33 a factor of 66/2 - (7 + b)?
True
Let g(o) = -o**3 - o**2 - o + 4. Suppose 3*p + 2*t = 3*t - 5, 10 = 3*p + 2*t. Let h be g(p). Is h/(-2) - 7*-1 a multiple of 5?
True
Let p = -18 - -35. Does 10 divide p?
False
Let f(w) = w**3 + 3*w**2 - 4*w + 4. Let h be f(-4). Let d = 3 + h. Is d a multiple of 2?
False
Let s = 50 + -28. Suppose -3*g + 5*g + 3*w - s = 0, 15 = -g + 5*w. Suppose -80 + 10 = -g*b. Is b a multiple of 9?
False
Let y be (2/(-1))/(-2)*0. Suppose y = 5*j - 2*j. Suppose j = -5*t + 60 + 25. Does 12 divide t?
False
Let t = 9 - 5. Let l be 130/t*(-1 - 1). Let s = l - -96. Does 13 divide s?
False
Let o be (9/(-18))/(1/(-8)). Suppose o*d + 3*f = 17, -4*f + 0 - 4 = 0. Does 3 divide d?
False
Suppose -27 + 75 = 2*v. Does 8 divide v?
True
Let p = 208 - 124. Is 42 a factor of p?
True
Let h = 63 + 8. Let w be 39 - (1 + 0)*-1. Let o = h - w. Does 14 divide o?
False
Suppose -2*s + 52 = -4*x, -46 = 4*x + 2*s - s. Let a = -1 - x. Is a a multiple of 11?
True
Suppose -5*f + 10 = -0*f. Suppose -f*z = -z - 13. Is 13 a factor of z?
True
Suppose 0 = -3*v + 5 + 7. Suppose -4*c = 8, -c = -v*y + 4*c + 42. Is 8 a factor of y?
True
Suppose -m + 5*y + 11 = 0, 3*m + 4*y = 4*m - 8. Is 11 a factor of 65/2 - 2/m?
True
Let k be (5 - -1)*(-15)/6. Suppose -2*g - 3*y = -101, -2*g + 38 + 57 = -3*y. Let n = g + k. Is 13 a factor of n?
False
Let i(n) = -n**2 - 9*n + 12. Let s be i(-9). Suppose -42 = -3*w + s. Is w a multiple of 5?
False
Suppose 5*r - 2*x - 485 = x, -505 = -5*r - x. Is 25 a factor of r?
True
Let f(v) = -v**3 - 2*v**2 - 4*v - 5. Let m be f(-4). Let w = -54 - -32. Let t = m + w. Is t a multiple of 8?
False
Let l(n) = -2*n**2 + 5*n - 1. Let f be l(5). Is f/(-3) + (-10)/(-30) a multiple of 3?
True
Let o be 16/6*(-2 + 59). Suppose -8*x = -6*x - o. Does 13 divide x?
False
Let z = 8 + -7. Let o be (3 + 1)*z/1. Let c = o + 4. Is 3 a factor of c?
False
Suppose 4*t - 83 - 69 = 0. Does 19 divide t?
True
Does 12 divide (15/20)/((-1)/(-32))?
True
Let j(w) = w**2 - 5*w**2 + 4 - 2*w + 6*w**3 - 5*w**3. Does 19 divide j(5)?
True
Let m be (12/(-9))/(4/174). Let q = 46 - 74. Let p = q - m. Is p a multiple of 15?
True
Is 19 a factor of (-82 + 0/(-2))/(-2)?
False
Let p be 1/2*0/(-1). Suppose p = d - 6. Let h = -2 + d. Is 4 a factor of h?
True
Suppose 1509 = 7*f + 249. Does 45 divide f?
True
Let z(j) = -j**3 - 6*j**2 - 8*j - 7. Let s(w) = -w**2 + w + 1. Suppose 2*b + m - 8 = -0*b, -b + 7 = 2*m. Let n be s(b). Does 4 divide z(n)?
True
Let p(r) = -r**3 + 14*r**2 + 17*r + 31. Is 8 a factor of p(15)?
False
Let j(v) = -v**2 + 3*v + 3. Let w be j(3). Suppose 48 = 4*r + r + w*g, 0 = 4*g - 4. Does 6 divide r?
False
Let y(o) be the third derivative of -o**6/120 + 2*o**5/15 + o**4/3 + 13*o**3/6 + 3*o**2. Is y(9) a multiple of 4?
True
Let h = 2 + -2. Suppose -3*b + h*b = 0. Suppose b = -5*x + 4*x + 6. Does 3 divide x?
True
Let m(i) = 46*i**2 - 2*i - 3. Is m(-1) a multiple of 9?
True
Let c(n) = 43*n**2 - 2*n + 1. Does 7 divide c(1)?
True
Suppose c - 2*b + 6 = 0, 17 = c + 4*b + 5. Suppose -4*t - 3*q + 83 = c, -4*q = -4*t + q + 107. Is t a multiple of 23?
True
Suppose n - 1 = 4. Suppose 0 = n*h - 5*s - 15, 3*h = -6*s + s - 15. Let r(k) = k**2 - k + 12. Is r(h) a multiple of 4?
True
Let r(k) = k**2 - 6*k + 9. Let z(y) = y**2 - 5*y - 2. Let g(c) = 3*c**2 - 16*c - 6. Let f(i) = 4*g(i) - 11*z(i). Let p be f(10). Is 20 a factor of r(p)?
False
Let l(h) = -h**3 + 9*h**2 + h + 2. Let x be 244/28 - (-4)/14. Is l(x) a multiple of 5?
False
Does 30 divide 172/(-6)*36/(-12)?
False
Let q = -2 + 3. Let k(t) = 9*t**3 + t**2 + t - 1. Let f be k(q). Suppose 20 = -o - 5*m, 0 = -o - 6*m + 3*m - f. Is o a multiple of 5?
True
Let t = 7 - 16. Does 14 divide 11 - t/(6 + -3)?
True
Suppose 0*p + 3*p = 12. Is 8 a factor of 382/18 + p/(-18)?
False
Let q = 52 + -33. Does 19 divide q?
True
Suppose 0 = z + 3 - 5. Let m(r) = r**2 - 1. Let s(y) = -y**3 + 4*y**2 - 3*y + 1. Let u(d) = z*m(d) + s(d). Is 4 a factor of u(5)?
False
Let x = -1 + -4. Let k(y) = -y - 10. Let v be k(x). Let f = 25 + v. Is f 