 multiple of 37?
False
Suppose -3*l = 3*p + 1305 - 3690, 4*p - 3164 = 4*l. Is 13 a factor of p?
True
Suppose 5*u - 2 - 8 = -5*n, 2*u + 5 = -5*n. Suppose -5*i - 5*d = -106 + 21, 0 = i - u*d - 29. Is i a multiple of 4?
False
Let t(b) = 3*b + 6. Let a = 5 + -1. Let z be t(a). Is 12 a factor of (z/7)/(27/252)?
True
Suppose 8*b - 16*b + 7944 = 0. Is b a multiple of 7?
False
Suppose 2*u - 104 + 32 = -2*w, -3*u + 3 = 0. Let l be 4/14 - (-200)/w. Suppose t - 8 = l. Does 5 divide t?
False
Let w = 273 + 138. Does 4 divide w?
False
Suppose 3*j = -0*j + 69. Let q be ((-5)/(-5))/((10/22)/5). Let z = j - q. Is z a multiple of 4?
True
Suppose -15 = -5*q, 0 = h + q + q - 15. Suppose h*z - z = 80. Does 6 divide z?
False
Let m = -1724 + 1982. Is 2 a factor of m?
True
Let j(u) = -u - 3. Let i be j(-5). Let m(k) = -k**3 + 10*k**2 + 13*k - 1. Let l be m(11). Suppose 0 = i*o - o - l. Is o a multiple of 7?
True
Let t = 2486 + 1339. Is 51 a factor of t?
True
Let t be ((-1)/(-2))/((36/(-16))/(-9)). Suppose 1 = -5*r - 14, -5*b + 40 = -5*r. Suppose b*o - t*o - 45 = 0. Does 12 divide o?
False
Suppose 4 = 5*k + 4*p, 5*k - 9*p + 4 = -5*p. Suppose k = 5*o + r - 2 - 38, -5*o - 4*r = -55. Does 2 divide o?
False
Suppose 0 = -3*h + 5*l + 2, l = 5*h - 0*l - 18. Let y = 9 + h. Suppose 0 = 3*r - y - 59. Does 24 divide r?
True
Let i(t) = t - t - 13 + 2*t - t. Let w be i(9). Is 12 a factor of 18/(3 + w + 2)?
False
Suppose -63*g + 35 = -58*g. Let u(s) = 22*s - 28. Is 14 a factor of u(g)?
True
Let j(z) be the first derivative of -9*z**2/2 - 2*z + 8. Is 3 a factor of j(-1)?
False
Suppose -231 = 14*a - 3*a. Let h = 34 + a. Does 3 divide h?
False
Suppose 2*n + 3*u = 1413 + 432, -n + 4*u = -928. Is 42 a factor of n?
True
Suppose -82 - 153 = -5*d - 4*u, 0 = -3*d - 4*u + 141. Suppose -3*s - 2*x = -58, -5*s + 135 - d = -x. Does 18 divide s?
True
Let p(t) = -t**2 - 10*t + 2. Let u be p(-10). Let s = u - 1. Is 3 a factor of s/(-2) - (-180)/24?
False
Suppose 4*n = -y + 51, 3*n - 127 - 116 = -4*y. Does 7 divide y?
True
Let n(k) be the third derivative of k**6/60 - k**5/15 + 7*k**4/24 + k**3/6 - 30*k**2. Does 20 divide n(3)?
True
Let a = -65 + 67. Does 26 divide a/7 + (18870/(-35))/(-3)?
False
Suppose -72168 - 59111 = -43*n. Is n a multiple of 13?
False
Let h(l) = -12*l - 20. Does 57 divide h(-16)?
False
Suppose -7*k - 1620 = -4*n - 12*k, 5*k - 1220 = -3*n. Does 40 divide n?
True
Suppose 0 = 3*c - 0*c - 6. Suppose 2*z = -c*z + 116. Does 6 divide z?
False
Let a = 381 + 423. Is a a multiple of 36?
False
Let p(j) = -8*j**2 + j - 5. Let k(n) = n**2 - 1. Let i(o) = -21*k(o) - 3*p(o). Does 14 divide i(-9)?
False
Let y = 3 + 24. Let g be -1 - -1 - (-2 - -1). Is y + g/((-1)/3) a multiple of 8?
True
Suppose 176*t - 178*t + 164 = 0. Is t even?
True
Let p = -1446 - -2878. Does 10 divide p?
False
Let c(l) = 5*l**2 - 3*l. Let j be c(2). Let t = -9 + j. Suppose 0 = 4*w - 0*w - t*f - 194, 2*f = w - 50. Does 14 divide w?
False
Suppose -2*j - 5*f + 60 = 0, 5*j - 55 = -3*f + 57. Is j a multiple of 4?
True
Let b = 70 - 49. Let c be (-1)/(26/(-9) - -3). Let w = c + b. Is w a multiple of 6?
True
Let g(s) be the second derivative of -s**4/12 + 13*s**3/3 - 23*s**2/2 + 9*s. Is g(11) a multiple of 29?
False
Let j be 4/(-6) + 25/15. Let n(u) = u + 1. Let z be n(-1). Is j/(z + -1) + 34 a multiple of 29?
False
Let n be (0 - 3) + 27/3. Let l = n + -17. Let h = l - -50. Is 11 a factor of h?
False
Let a(z) = 9*z. Let h be a(-1). Let o = 20 + h. Let x = o - 6. Is 5 a factor of x?
True
Let i(b) = 7*b**2 - 23*b + 22. Let u(j) = -3*j**2 + 11*j - 11. Let y(w) = -2*i(w) - 5*u(w). Let p be y(8). Suppose -p*c + 23 = -4. Does 9 divide c?
True
Suppose 0 = -3*j + 2*b + 13 + 81, 5*j - 154 = 4*b. Let d = j - -79. Is 11 a factor of d?
False
Let w = 2194 + -634. Is w a multiple of 5?
True
Suppose 2*s + 760 = w + w, 4*s = -w + 395. Let n = w + -208. Is n a multiple of 24?
False
Let a(l) = -8*l - 2*l**2 + 5*l**2 - 5 - 8 - 2*l**2. Let d be a(-9). Suppose -5*b + 10*b = d. Is 21 a factor of b?
False
Suppose -2*w - 3*y = 7, -w + 7 = -5*y + 4. Suppose -39*m - 3232 = -35*m. Is 23 a factor of m/(-14) - w/7?
False
Let i(n) be the first derivative of -n**4/2 - 7*n**3/3 + 7*n**2/2 - 12*n + 19. Is i(-6) a multiple of 7?
True
Let d = -16 + 17. Suppose -7 = -2*y + d. Suppose -108 = -y*z - x, x - 3*x - 36 = -z. Does 14 divide z?
True
Suppose -3*c = -5*n + 16, 6 - 2 = 2*n. Let r be c/(-6) - 159/(-9). Is (-2 + r)/2 + -1 a multiple of 3?
False
Let a = 1159 - 782. Does 8 divide a?
False
Let a(b) = -15 + b + 2 + 2*b - 8*b. Let p be a(-4). Suppose f = p*f - 240. Is 10 a factor of f?
True
Suppose -16*h + 20*h + 20 = 0. Let u(z) = 4*z**2 + 11*z - 5. Let x be u(h). Does 4 divide x*((-12)/(-5) - 2)?
True
Suppose -16*g + 13*g + 775 = 2*b, 4*b - 1515 = g. Does 10 divide b?
True
Let d(j) = j**2 + 1839 - 3*j - j - 1839 - 5*j**3. Is 6 a factor of d(-2)?
False
Let i(s) = s - 5. Let o be i(5). Suppose t = 2*b - 2, -2*b + 2 = -o*b. Suppose -a - a = -4*m - 10, t = -4*a + 2*m + 44. Is a a multiple of 7?
False
Let x(r) = -r**2 + 55*r - 14. Is x(31) a multiple of 17?
False
Let o be (-124)/(-24) + 2/(-12). Suppose -5*n = o + 25. Does 4 divide (-2 + (-8)/n)*-18?
True
Let q(g) = -3*g + 2. Let p be q(-4). Let o = p - 11. Suppose 12 = -3*c, -3*c = -2*a - o*a + 147. Does 27 divide a?
True
Does 2 divide 1*4*(12/12 - -6)?
True
Let n = 157 - -247. Suppose 3*h + 4*i - n = 0, 3*i - 5*i - 392 = -3*h. Is h a multiple of 14?
False
Suppose 4*s - 5*o = 894, 4*s - 4*o - 677 = 219. Is s a multiple of 6?
False
Suppose 0 = -5*s + 3*s + 44. Is s a multiple of 11?
True
Suppose 0 = a - 2*j + 4, 4*a - 2*a = -j + 7. Suppose 32 = -96*s + 104*s. Suppose -3*u - a*u = -5*m - 85, -s*u = 2*m - 62. Is u a multiple of 9?
False
Let v(j) = j - 34. Let a be v(14). Does 28 divide (255/a + 2)/(1/(-12))?
False
Let x = 123 + -103. Suppose -48 = -o + 5*f, -4*o - f + 109 = -x. Does 4 divide o?
False
Suppose 5*w - 5 = 0, z - 2*w + 1664 = 3*z. Is z a multiple of 20?
False
Suppose -w + 2 = 2*t, 4*w + 15 + 5 = -t. Let p be 1/w + 217/42. Suppose p*b = 2*b + 27. Does 3 divide b?
True
Let i(d) = 2*d**2 - 3*d - 11. Let y be i(-8). Suppose -l = 5*v - 36, 4*l = -v + 98 + y. Is l a multiple of 18?
False
Suppose 2*u - 19*u + 5780 = 0. Does 14 divide u?
False
Let r = -36 - -37. Is 13 a factor of 3/(r + -4) + 27?
True
Let k(z) = z**2 + 18*z + 4. Is 19 a factor of k(11)?
True
Let h be 381/(-15) + 4/10. Is 30 a factor of 8*(4 + h/(-10))?
False
Let s be 60/3*4/(-5). Let y = s + 24. Suppose y*n - 365 - 43 = 0. Does 8 divide n?
False
Suppose 5*n - 2*y + 26 = 0, 2*n + 5 = 3*y - 12. Does 11 divide 6/(7 + n) - -23?
False
Let j = -106 + 148. Does 9 divide (-110)/(-3) - j/63?
True
Suppose 2*x + 2 = 3*x. Suppose 0*q = x*q - 474. Suppose 4*w - 145 = 2*i + 45, -5*w = -3*i - q. Is w a multiple of 16?
True
Suppose 25*j - 90*j = -86515. Is j a multiple of 24?
False
Suppose 5*s + 11095 = 5*g, -4*s - 2219 = -g - 0*s. Does 33 divide g?
False
Let r = -47 - -22. Let x = r + 43. Let a = x + -6. Does 12 divide a?
True
Suppose -14*c + 1350 = -9*c. Is 15 a factor of c?
True
Let b = 18 + -13. Suppose -5 = -r, b*q + 2*r + 0*r = 10. Suppose 132 = 4*o - 2*t, -4*o + q*o - 4*t + 144 = 0. Is o a multiple of 17?
True
Suppose 6*b = 252 + 2556. Does 26 divide b?
True
Let g(h) = 10*h - 33. Let z be g(8). Suppose -z - 40 = -3*r. Is 29 a factor of r?
True
Let d(r) = -4*r + 14. Let q be d(-10). Suppose -4*k = -x + 72, -3*k - 7*x + 2*x = q. Is 7 a factor of 4*(-2 - k/3)?
False
Suppose 0 = -o + s + 32, 162 = 5*o + 4*s - 7. Does 16 divide o?
False
Let y be 73*1/(2 + -1). Suppose -4*r + j - 53 = -0*r, 0 = -4*r + 5*j - y. Let a = r - -19. Is a a multiple of 3?
False
Suppose 0*w = -2*w - 30. Let r = -11 - w. Suppose -g - 15 = -r*g. Is g a multiple of 3?
False
Suppose -140 = -5*a - 5*s, 5*s - 76 = -3*a + 18. Suppose 31*q = 30*q + 5. Suppose -q*r + 2*g = -106, g + 0*g = r - a. Is 9 a factor of r?
False
Let p be -1 - 0 - (22 - 25). Suppose -2*f = -f - 3. Suppose l = -3*o + 75, l + p*o = -f*o + 85. Is 20 a factor of l?
True
Suppose 340 = 2*s + 2*d, 3*s + 6*d = 7*d + 510. Is s a multiple of 5?
True
Let l(n) = -117*n**2 - 4*n + 9. Let i be l(3). Is ((-2)/2)/((-8)/i*-2) a multiple of 11?
True
Let d(p) = p**2 - p + 1. Let q(a) = 5*a**2 - 7*a + 4. Suppose -18 = 5*o - 8. Let n(g) = 