 g = -4. Suppose k = w - z - 6, -w + 4*z = -19. Does 11 divide w?
True
Suppose i - 5*d + 2*d = 113, 3*d + 3 = 0. Suppose -3*q + 16 = -i. Is q a multiple of 14?
True
Does 27 divide 90/(-4)*(3 - (-3483)/(-45))?
True
Suppose 3*q - 136 = 263. Let x = q - 64. Is x a multiple of 23?
True
Suppose 143 = 3*i - 1576. Is i even?
False
Let o = 1085 + 640. Is o a multiple of 23?
True
Let l = -24 - -38. Let u be ((-8)/10)/(l/(-1225)). Does 14 divide 1000/u + (-2)/7?
True
Suppose 4*t + 372 = 1224. Suppose 4*s + t = 589. Let g = s - 40. Does 18 divide g?
True
Let u(g) = -g**3 - 10*g**2 - 2*g + 12. Let o be u(-9). Let k = 159 + -67. Let p = o + k. Is 26 a factor of p?
False
Suppose 8*u + 224 = u. Let h = u - -37. Suppose i = -h*o + 55, -i + 5*o = o - 100. Does 14 divide i?
False
Let h be (((-3)/2)/((-6)/64))/(-1). Let z = 6 - h. Is z a multiple of 11?
True
Let g(r) = 5*r**2 - 5*r - 3. Is g(5) a multiple of 5?
False
Let i(u) = u**3 + 8*u**2 + 9*u - 11. Is i(-5) a multiple of 4?
False
Suppose 0 = 2*k - 2*c - 228, 15*c - 14*c + 566 = 5*k. Is 6 a factor of k?
False
Let u(q) = -q**3 - 4*q**2 - 4*q - 1. Let p be u(-3). Suppose 218 = 4*f + p*d, -92 = 5*f + 2*d - 362. Does 13 divide f?
True
Let j(f) = -10 + 6 + 12 + 0*f - 3*f. Let n be j(-5). Does 20 divide n + (2 - 8/(-4))?
False
Let n(j) = j**3 + 16*j**2 + 13*j - 8. Let d be n(-15). Suppose 19 + d = u. Is u a multiple of 19?
False
Suppose 3*x - 93 = 15. Suppose x*q + 210 = 41*q. Is 14 a factor of q?
True
Let u(k) be the second derivative of k**5/20 + 7*k**4/12 + k**3/6 + 9*k**2/2 - 7*k. Let y be u(-7). Suppose -160 = -y*n - 3*n. Is n a multiple of 16?
True
Suppose -n = 7*n - 1120. Suppose 20 = u + 5*h, -2*u - 3*h = -11 - 8. Suppose 0 = -q + u*q - n. Is q a multiple of 14?
False
Suppose -36*c + 11676 = -20076. Is c a multiple of 41?
False
Let t = -311 - -719. Is 6 a factor of t?
True
Let a = 8 + -13. Let r(x) = x**3 + 6*x**2 - 2. Does 23 divide r(a)?
True
Suppose -w + 6 = r, -r - 4*w - w = -22. Suppose r*k + 48 - 234 = 0. Does 31 divide k?
True
Let u(p) = 21*p - 23. Let q(g) = -g**2 + 14*g - 18. Let s be q(12). Is u(s) a multiple of 24?
False
Let j be -2*951/6 + -4. Let k = -160 - j. Is 14 a factor of k?
False
Let i = 167 + -106. Is 7 a factor of i?
False
Let u(b) = b**2 + 2. Let x = -22 + 25. Is u(x) a multiple of 11?
True
Let h = 30 + 21. Is 26 a factor of h + 0 + 3 + -2?
True
Let z = 6 + -2. Suppose 25 = -i + z*c, -3*c + 2*c = -i - 10. Is 13 a factor of 8*i/(-3)*3?
False
Let t(d) = -12*d - 7. Let o(z) = 1. Let b(l) = -6*o(l) - t(l). Is 5 a factor of b(2)?
True
Let s be ((-8)/12)/(2/(-54)). Let d be s/12 + (-2)/(-4). Suppose 4*v = d*v + 20. Does 2 divide v?
True
Let i(p) = -p**3 - 6*p**2 - 8*p + 6. Let o(w) = 3*w**3 + 13*w**2 + 16*w - 12. Let g(y) = 5*i(y) + 2*o(y). Is 15 a factor of g(6)?
True
Let n be 9/2*(-28)/21. Let f = n - -58. Suppose 7*s + f = 9*s. Is 15 a factor of s?
False
Let p = 6 + -4. Suppose -p*i = i - 12. Suppose 3*s + i*j - 152 = -s, 2*s - 2*j = 80. Does 16 divide s?
False
Suppose 12 = -8*o + 44. Is (-3 + o)/(1/(-99)*-1) a multiple of 15?
False
Suppose 36 = -7*g + 19*g. Suppose -6 = 5*t - g*t, -23 = -2*b - t. Is b a multiple of 2?
False
Suppose 4*o - 1392 = 4*g, 2*g + 1283 = 4*o - 109. Is 22 a factor of o?
False
Let k = -45 + 50. Suppose -4*q = -4, 0*w + k*w - 561 = -q. Is w a multiple of 16?
True
Let d(k) = -k + 1. Let v(y) = y**3 - 18*y**2 - 33*y + 3. Let i(j) = 5*d(j) + v(j). Is 6 a factor of i(20)?
True
Let t = -68 - -190. Let l = -58 + t. Does 27 divide l?
False
Suppose -11*g + 471 + 233 = 0. Let h = 14 - 47. Let y = h + g. Is y a multiple of 7?
False
Is 83 a factor of 2235096/792 + 1/(-11)?
True
Suppose -5*z - y + 1693 = 345, 0 = -3*y - 6. Does 9 divide z?
True
Let z(f) = 139*f**2 - 6*f + 2. Let d(v) = -69*v**2 + 3*v - 1. Let i(g) = 7*d(g) + 4*z(g). Does 4 divide i(1)?
False
Suppose -a = -0*a + 3*r - 10, 0 = 2*r. Let b be 6/10 + 144/a. Suppose 3*u - b = -3*c, 0*c + c = -2*u. Is c a multiple of 4?
False
Suppose -6*z + 1677 = -3465. Is z a multiple of 30?
False
Suppose 3*p + 22 = j, 5*j - 41 = -p + 37. Is 3 a factor of 52/j*((0 - -13) + -1)?
True
Suppose -5*b - 45 = 2*w, 10*w + 36 = -4*b + 11*w. Suppose 10 = 2*m - 22. Let p = m - b. Does 25 divide p?
True
Let s = -323 + 641. Is s a multiple of 10?
False
Let a(x) = 4*x**3. Let m be a(1). Suppose m*d + d - v - 5 = 0, -25 = -5*v. Is 2 a factor of d?
True
Let j(a) = -5*a**3 - a**2 + 1. Let y be j(-1). Suppose -r - 2*r = -4*i + 256, 0 = r - y*i + 89. Let x = 130 + r. Is 12 a factor of x?
False
Suppose 9*i - 2*i = 0. Suppose w + 31 = 2*f, 3*f + f - 4*w - 56 = i. Is 17 a factor of f?
True
Suppose -1080 = -211*q + 208*q. Is q a multiple of 6?
True
Let h(b) = -8*b + 16. Let o be h(14). Let p = o + 177. Suppose 2*w - p = w. Is w a multiple of 20?
False
Let j(r) = r**3 - 6*r**2 + 3*r + 12. Let s = -7 + 12. Let n be j(s). Suppose -n*x + 6*x - 44 = 0. Does 3 divide x?
False
Suppose 5*b - 3919 = -d, -2*b + 0*b = d - 1570. Does 9 divide b?
True
Suppose 10560 = 44*x - 24*x. Is 16 a factor of x?
True
Let k = -1 + 4. Let p(b) = b - 1. Let a be p(k). Suppose 2*i + 0*i - 12 = -a*t, -4*i - 5*t + 22 = 0. Is i a multiple of 4?
True
Let d(a) be the first derivative of 0*a**2 + 2 + 2*a**3 + 1/4*a**4 + 13*a. Is 12 a factor of d(-6)?
False
Let t(x) = -2*x**3 + 14*x**2 + 13*x + 14. Does 7 divide t(-7)?
True
Let f(c) = c**3 + c**2. Let s(b) = -5*b**3 + b**2 + 3*b - 1. Let d(j) = f(j) + s(j). Is 17 a factor of d(-2)?
False
Let x(g) = 4*g**3 - 12*g**2 + 2*g - 5. Let v(c) = 8*c + 4. Let m be v(0). Does 11 divide x(m)?
False
Suppose 332*w - 328*w = 7208. Does 106 divide w?
True
Is (-2 - 0)/(60/(-270)) a multiple of 3?
True
Suppose o + 16 = 5*o. Suppose -4*k = -l - 47, 4*k - o*l = k + 32. Is 6 a factor of k?
True
Let q(h) = 2*h**3 - 8*h**2 + 10*h + 32. Does 13 divide q(8)?
True
Suppose -3*i = 2*k + 32, -6 = -3*k + i - 32. Let w be (-3 + 2)/(2/k). Suppose w*b = 27 + 13. Does 5 divide b?
False
Let i(l) = -2*l**2 - 50*l + 41. Does 12 divide i(-24)?
False
Is 12/(-8)*(-3774)/9 a multiple of 16?
False
Is 23 a factor of (-8*4/8)/(2/(-228))?
False
Suppose 6*t = 4386 + 16260. Is 93 a factor of t?
True
Suppose 28*p - 26*p - 270 = 0. Suppose -4*u = -p - 73. Does 17 divide u?
False
Let y(o) be the third derivative of o**6/360 + o**5/20 - 7*o**4/24 - o**3/3 + 2*o**2. Let w(d) be the first derivative of y(d). Is w(5) a multiple of 34?
False
Let v = 67 - -23. Let u(a) = a**3 - 2*a - 2. Let g be u(-4). Let b = v + g. Is b a multiple of 16?
True
Suppose 3270 = 5*x - 7120. Does 13 divide x?
False
Suppose -7 - 9 = 4*b. Let r = 4 + b. Suppose -2*k + 7 + 25 = r. Is 5 a factor of k?
False
Let l(g) = g**3 - 2*g**2 - 4*g + 3. Let x be l(3). Let v be 20*(-5 - (-4 + x)). Does 13 divide ((-65)/10)/(2/v)?
True
Let r(i) = -i + 365. Is r(-23) a multiple of 22?
False
Suppose -2*k - 4*q = -0*k - 18, -2*k = -3*q + 10. Does 14 divide 42/8*(k + (-58)/(-6))?
True
Let m(i) = 7*i**2 - 56*i - 363. Is 13 a factor of m(-10)?
True
Let z(u) = -3*u**3 - 4*u**2 - 8*u - 31. Is 13 a factor of z(-8)?
True
Let z = -17 - -15. Let u(x) = 3*x**2 - 2*x. Does 16 divide u(z)?
True
Let a = 8 + 42. Does 3 divide a?
False
Let i(j) be the second derivative of 7*j**4/24 - 2*j**3 + 5*j**2 - 3*j. Let q(r) be the first derivative of i(r). Is 15 a factor of q(6)?
True
Let t = -21 + 10. Let w = 19 - t. Is 8 a factor of w?
False
Let v be -6 - (-2 - -3*1). Let r(i) = -3*i - 2. Let n(h) = h. Let t(u) = 4*n(u) + 4*r(u). Is t(v) a multiple of 16?
True
Suppose -2845 + 18604 = 17*o. Is o a multiple of 9?
True
Let d(y) = 96*y**3 + 7*y**2 - 13*y. Does 23 divide d(2)?
False
Suppose 0*d - 6 = 3*d, -5*n - 2*d + 1516 = 0. Is n a multiple of 19?
True
Let o(n) = -16*n - 17 + 8*n - 13*n - n**2. Is 7 a factor of o(-16)?
True
Let r be 363/(-21) + 10/35. Let c(v) = -v + 8. Is c(r) a multiple of 2?
False
Is (-147)/(0 - -1 - (-160)/(-144)) a multiple of 10?
False
Suppose -8*j + 3*j = 5. Is 26 a factor of (2/j)/((-9)/450)?
False
Let f be 2 + 1 + (-2 - 0) + 2. Let y(j) = j**2 - 5*j + 3. Let r be y(5). Is 19 a factor of -1*f/(r/(-19))?
True
Let b(d) = -5*d - 1. Let u(q) = 9*q + 4. Let r(f) = 7*b(f) + 4*u(f). Let p be ((-8)/(-10))/(4/(-30)). Is 3 a factor of r(p)?
True
Let r = 1219 + -326. Is 48 a factor of r?
False
Let z(v) = -45*v - 156. Is z(-18) a multiple 