Suppose h + 1591 = 7*i. Is 14 a factor of i?
False
Suppose -5*q = -3*q + 44. Let t = 68 + q. Does 25 divide t?
False
Let y(k) = -k - 4. Let n be y(-11). Suppose -n*p + 45 = -4. Does 7 divide p?
True
Let c(b) = -b + 5. Let y be c(4). Let t(u) = -3 - y - 2 + 2*u. Is 22 a factor of t(16)?
False
Suppose 4*w = 4*y + 76, 5*y - 12 + 35 = 2*w. Suppose -20*i = -w*i + 1000. Does 10 divide i?
True
Suppose 3*g = -5*k + 3 + 2, 20 = 2*g - 5*k. Let z(s) = 2*s**2 + g + 6*s - 3 + 0 - 3*s. Is 11 a factor of z(-3)?
True
Suppose 0 = f - 8*f + 42. Suppose -f - 714 = -6*z. Is 30 a factor of z?
True
Suppose 0*w = -2*j + w + 1, -3*j = -4*w + 11. Suppose -2*z = j*z - 110. Is z a multiple of 22?
True
Suppose -60 = 3*u - 579. Suppose -3*s + 2*c + u = 0, -s - 2*s - 5*c + 187 = 0. Let w = -40 + s. Does 5 divide w?
False
Let k(p) = p**3 + 16*p**2 + 5*p - 20. Let l be k(-15). Suppose 26 = 3*d - l. Is d a multiple of 26?
True
Let o(n) be the third derivative of n**4/24 + 4*n**3 - 13*n**2. Is o(-6) a multiple of 18?
True
Let y = 38 - -22. Suppose -2*a - 2*o - 52 = 0, -4*o - 47 - 87 = 5*a. Let p = y + a. Does 13 divide p?
False
Let x(s) = -5*s. Suppose w + u = 19, w - 32 = -5*u - 9. Suppose -6*r - w - 42 = 0. Is x(r) a multiple of 25?
True
Let n = 39 + -31. Let c = -9 + n. Let v = c - -18. Is 4 a factor of v?
False
Let u be (1/(-2))/(1/2). Let b(s) = -s**2 + 1. Let l be b(u). Suppose -52 = -d - l*d. Is 13 a factor of d?
True
Let x be (34/8)/(8/192). Suppose -3*q + 195 = -x. Is q a multiple of 33?
True
Suppose 12*n - 104 = 4*n. Suppose 66 = 24*b - n*b. Is 6 a factor of b?
True
Suppose 8*r - 11*r = -99. Is 33 a factor of r?
True
Let b = -14 + 14. Let u = b - -4. Is 5/(5/u) + 39 a multiple of 12?
False
Does 5 divide 1*87*(-1 + 2)?
False
Let s(l) = -l**2 - 36*l + 44. Is 21 a factor of s(-21)?
False
Suppose 0 = 5*v - 3*y - 0*y - 126, -5*y + 123 = 4*v. Suppose -4*t + v - 19 = 0. Suppose 31 = t*s + 1. Does 5 divide s?
True
Let s = -6 - -19. Suppose -17*y = -s*y - 128. Does 5 divide y?
False
Is 6 a factor of 355 - (-2 + 4 - -3 - 9)?
False
Let i be 4/(-2) - (-6)/(-12)*38. Does 6 divide (-3)/(-21) + (-585)/i?
False
Let n be 3*2*(-16)/12. Let l(v) = v + 6. Let f be l(n). Is 3 + (4/1 - f) a multiple of 2?
False
Is 39 a factor of (0 + -13)*(-1 - 14)?
True
Let j(u) = -24*u - 8. Does 10 divide j(-7)?
True
Suppose 4563 = 12*w + w. Suppose 0 = m - 4*d - 108, 4*d + w = 3*m + d. Is 8 a factor of m?
True
Suppose 2 = w - 5. Is 8 a factor of 22 + -3 - (10 - w)?
True
Let u(o) = 4*o - 21. Suppose 0*a = a - 3*y - 16, -y = 0. Is u(a) a multiple of 16?
False
Let x(d) = d**3 - 14*d**2 + d - 28. Let z be x(12). Let b = -184 - z. Is b a multiple of 40?
True
Let y(s) = 1. Let w(u) = -2. Let m(o) = -2*w(o) - 5*y(o). Let p(r) = 39*r - 2. Let v(x) = 5*m(x) - p(x). Is 25 a factor of v(-2)?
True
Is (-13 - -164) + (-5)/((-5)/2) a multiple of 13?
False
Let i be 1/(5/1935) + -2. Suppose -2*r = 129 - i. Is r a multiple of 20?
False
Let a(f) = -12*f - 20. Let o be a(-2). Suppose -38 = -3*w + 5*h + 234, -h + 332 = o*w. Is w a multiple of 6?
True
Does 35 divide (-92)/(-8)*58 + (-6 - -4)?
True
Let x(i) = i + 11. Let p be x(-7). Suppose -f = -p*v - 45, 2*f - 40 = -v + 5. Is 17 a factor of f?
False
Let m(v) = v**2 - 8*v - 20. Let w be m(-12). Suppose -40 = u - w. Does 18 divide u?
True
Does 11 divide 1/3*1 + (-122)/(-3)?
False
Let s = 19 - 21. Let a(b) = 10*b**2 + 5*b + 2. Is 8 a factor of a(s)?
True
Let o(v) = 2*v**3 - 5*v**2 - 2*v - 6. Let s(q) = 4*q**3 - 11*q**2 - 5*q - 13. Let r(b) = 5*o(b) - 2*s(b). Let d = 709 - 706. Does 12 divide r(d)?
False
Let b = -655 + 1752. Is b a multiple of 25?
False
Let k be ((42/12)/(-7))/(1/(-6)). Suppose -k*z - z = -92. Is z a multiple of 10?
False
Does 79 divide (0/(-2) + 79)*(-2 + 5)?
True
Suppose -3*x - 140 = -7*x + 4*t, -2*x = 4*t - 70. Is x a multiple of 7?
True
Suppose 5*y - w = 1322, -2*y = 5*w - 0*w - 518. Is 2 a factor of y?
True
Let m be ((-27)/(-54))/(2/132). Is 22 a factor of 3/((-9)/(-2))*m?
True
Suppose 4*b - 12 = 88. Let v be -19*2*(-1)/2. Suppose -2*j = -3*r - 60, b = 2*j + r - v. Is 8 a factor of j?
True
Does 16 divide (-1 - 38)*256/(-12)?
True
Let k be (-4 + 1)/(-3) + 22. Suppose 5*b = k + 2. Suppose i - b*c = 41, -2*c = 3*i - 3*c - 67. Does 12 divide i?
False
Suppose -t = -5*t + 8. Suppose -d + 0*d = -i + 58, 171 = 3*i - t*d. Is 20 a factor of i?
False
Suppose -3*j + 6*j + 2*k = 2, -2 = j + 2*k. Suppose -f + y = 3*y - 7, -f + j*y - 1 = 0. Suppose -w + 5*h = -9, -f*h + 8*h - 39 = -w. Is 24 a factor of w?
True
Suppose 295 = c + 180. Is c a multiple of 2?
False
Suppose -5*w + 4*h = -225 - 129, -2*h + 378 = 5*w. Let m(q) = -q**3 + q**2 - q - 24. Let g be m(0). Let p = w + g. Is p a multiple of 15?
False
Let d(m) = -2*m**3 + 3*m**2 + 4*m + 2. Let o be d(-1). Is 43 a factor of (3 + -2)/(1/507*o)?
False
Suppose 5*r + 2*t + 30 = 0, 5*t + 19 = 2*r + 2. Let g be r/2 - -3*38. Suppose -3*y + g = y. Does 7 divide y?
True
Suppose 3954 + 2578 = 3*i + 2*s, 5*i = -2*s + 10888. Is 9 a factor of i?
True
Let o = 1815 + -825. Is o a multiple of 30?
True
Suppose -17*k = -15*k + 66. Let f = 35 + k. Suppose -3*r = -f*l - l - 174, 3*r - 158 = -l. Is 15 a factor of r?
False
Suppose 0*y + 18 = 2*y. Let g = 11 + y. Does 5 divide g?
True
Is (60/(-16))/((-39)/17056) a multiple of 20?
True
Let l(z) = -z**2 + 7*z + 9. Let y be l(8). Let u be (y - (-1 + -6)) + -2. Suppose 15 = -3*x, -u*x + 23 = g - 4*x. Does 27 divide g?
False
Suppose 3*q + 12384 = 9*q. Is 6/(-4)*q/(-72) a multiple of 22?
False
Let t(b) = 3*b**3 - 26*b**2 - 94*b - 20. Let k(g) = g**3 - 9*g**2 - 31*g - 7. Let r(q) = 11*k(q) - 4*t(q). Does 8 divide r(8)?
False
Let o(g) = g**2 + 12*g - 6. Let x be o(-10). Let n be -3 + (3 - x*4). Does 13 divide n/12*3/2?
True
Suppose -3*l - g + 1301 = -0*g, -3*l + 2*g = -1286. Suppose 715 = 5*y - 5*k, -3*y + 7*k - 3*k + l = 0. Does 31 divide y?
False
Suppose 4*i + 3*k - 9792 = 0, 3*i - 2*i + 5*k = 2448. Is 12 a factor of i?
True
Suppose 3*r + 11 = 8. Let y = 14 + -16. Is (76 - y)*r/(-2) a multiple of 13?
True
Let k(x) = x**3 - 8*x**2 - 18*x + 56. Is k(11) a multiple of 13?
True
Let a be 24/108 - 68/(-18). Suppose 0 = 5*u + 6*h - 5*h - 55, -4*u = a*h - 60. Is u a multiple of 2?
True
Let v(z) = 26*z**2 + 4*z + 7. Suppose -p + x = -5*p - 11, 4*p - 4 = 4*x. Is 9 a factor of v(p)?
False
Let r be 220*(2 + -1 + 0). Suppose 0*y - 5*y + r = 0. Suppose -o = 2*l - y, -2*o - 2*o = 5*l - 113. Does 7 divide l?
True
Let n = 60 + -55. Suppose w - 2*w = n*d - 96, 3*w = 4*d + 231. Is w a multiple of 11?
False
Suppose -4*a + 0*a = -752. Suppose -37 = -3*w + a. Let s = w - 34. Is s a multiple of 11?
False
Does 13 divide (-4)/(-8 + 4)*817?
False
Let h(l) = l**2 - 9*l + 5. Let f be h(6). Let m be 4/(-3)*24/(-16) + 25. Let r = f + m. Is r a multiple of 14?
True
Let l be (((-1)/(-1))/2)/(1/70). Suppose -5*d + 102 = -4*t, 2*d - 13 = -2*t + l. Is 2 a factor of d?
True
Suppose -5*p = -2*n + 19, -39 = -6*n + 3*n + 4*p. Suppose 7*z + 940 = n*z. Is 18 a factor of z?
False
Let y(o) = 0*o**2 - o**2 + 0*o**2 + 5*o. Let a be y(3). Suppose -m - 270 = -a*m. Does 14 divide m?
False
Let m(v) = -v**2 + 5*v + 3. Let d = 10 - 24. Let f be 4/d - (-74)/14. Is m(f) a multiple of 2?
False
Suppose -5*c - 2*p + 1668 = 2*p, 1014 = 3*c - 2*p. Is 28 a factor of c?
True
Suppose 30*d - 28*d = 18. Suppose -d*v = 3*i - 10*v - 404, 0 = 3*i + v - 412. Does 9 divide i?
False
Let u = -491 + 889. Is 41 a factor of u?
False
Let w(q) = q + 11. Let l be w(-3). Suppose -l = 5*a - 1713. Does 31 divide a?
True
Suppose 0 = -4*v - 16, -5 = 3*o - 2*v - 19. Suppose -o*r + 4*r + 4 = -2*i, r = 4*i - 2. Does 4 divide (-2 + 2)/r + 8?
True
Let x(t) = 3 - t**3 - 3*t**2 + 0*t**2 - 2*t + 2*t**3. Suppose -3*q = -6, -15*l + 4 = -12*l - 4*q. Is x(l) a multiple of 11?
True
Let z(w) be the second derivative of -1/3*w**3 + 1/20*w**5 + 3/2*w**2 + 0 + 1/6*w**4 + w. Does 21 divide z(3)?
True
Suppose -21*g = -6*g - 3735. Is 11 a factor of g?
False
Let h(q) = -5*q - 13. Let m be h(-3). Is 28 a factor of ((-56)/(-24))/(m/216)?
True
Let a(b) = 11*b**2 - 17*b + 71. Does 21 divide a(6)?
False
Suppose 5*n = 3*f - 928, -13*n - 1 = -14*n. Is 41 a factor of f?
False
Suppose 0 = 3*f - 106 + 28. Suppose f = -5*j + 6. Let y = j + 32. Is y a multiple of 6?
False
Suppose -4*i + 2*g + 1134 = 0, -i 