= l*h, h + v + 11 = 56. Is 15 a factor of h?
False
Suppose -l - v + 18 = 0, 3*v + 63 = 4*l - 2*v. Is 6 a factor of l?
False
Suppose 945 = 5*h - 2*h. Does 35 divide h?
True
Suppose 2*t - 29 = t. Suppose -11 = -2*g + t. Does 5 divide g?
True
Let k = 12 + -7. Suppose 3 = 2*z + k, z = y - 8. Is y a multiple of 7?
True
Is 3 - (-12 - 4 - 1) a multiple of 5?
True
Suppose 3*j - 3 - 7 = v, -4*j + 8 = 4*v. Suppose -j*o = 4*f - 3*f - 34, -o = -f + 46. Is f a multiple of 22?
False
Suppose y + 5*a = 142, -2*a = -2*y + 140 + 120. Is y a multiple of 22?
True
Let y(t) = 2*t**2 - 2*t - 12. Is 22 a factor of y(5)?
False
Let u = -7 + 10. Suppose 0 = -3*t - 6, -5*n - 2*t = u*t - 155. Is 11 a factor of n?
True
Suppose -4*p + 264 = -36. Is 32 a factor of p?
False
Suppose 5*f - 165 = 2*f. Is f a multiple of 11?
True
Let c(b) = 7*b + 4. Let z be c(5). Suppose 2*m - i - 2 = 0, -4*m + 1 = -m - 2*i. Suppose -z = -m*k + 81. Does 19 divide k?
False
Suppose 0 = 3*u - u - 6. Suppose -2*t + 2*k = -0*t - 12, -5*t - 4*k + u = 0. Is t a multiple of 3?
True
Let s(r) = -6*r**3 - r**2 - r - 2. Let k be s(-2). Let y = k - -11. Is 17 a factor of y?
False
Suppose 4 + 2 = 3*j. Let a(v) = -3*v**j + 3*v**2 - 3*v + v**2. Does 12 divide a(-4)?
False
Is 40 a factor of 0 + -1 - (-7 - 258)?
False
Let t = 75 - 32. Suppose n - t = -2*k + 14, 111 = 4*k - n. Is 14 a factor of k?
True
Is 20 a factor of 3*3/(-3) + 41?
False
Is 32 a factor of (-373)/(-2) - 1/2?
False
Let g(q) = 18*q. Is g(2) a multiple of 7?
False
Let r(j) = j**3 + 9*j**2 + 5*j + 2. Let y = 10 - 18. Does 13 divide r(y)?
True
Let b be (-2 - -12)*2/(-5). Let k = b + 4. Suppose 0 = 2*n - 7*n + f + 76, k = -5*n - 5*f + 100. Is 8 a factor of n?
True
Suppose -10 = -2*v - 0. Let r be 3 + -1 - (0 + 0). Suppose v*x = -r*q + 36, -2*x + 3*x - 21 = -5*q. Is 6 a factor of x?
True
Suppose r + 0 = 1. Let u(s) = 87*s**2 + 1. Is u(r) a multiple of 23?
False
Suppose -3*c + 4*h - 7 = 0, 5*h = -2*c + 3*c + 17. Let y be ((-90)/4)/(c/(-4)). Suppose 0 = 5*p + y - 90. Is 12 a factor of p?
True
Does 3 divide (-1)/5 - (-2 - 243/15)?
True
Let q = 8 + -5. Suppose -y + 160 = q*y. Is y a multiple of 20?
True
Suppose -14 = -n - 4. Is (-18)/(-15)*1*n a multiple of 4?
True
Let t = -10 + 19. Let u(n) = -n**3 - n**2 - n - 1. Let q(i) = 3*i**3 - 6*i**2 - 6*i + 6. Let w(d) = q(d) + 2*u(d). Is w(t) a multiple of 13?
True
Let v = -161 + 236. Is v a multiple of 19?
False
Let h = -7 - -13. Suppose h - 13 = -v. Does 5 divide v?
False
Is 8/(-8)*33*4/(-6) a multiple of 3?
False
Suppose -2*b + 30 = 5*g - 47, 5*g - 41 = -b. Does 12 divide b?
True
Let q be (-20)/(-50) - 8/(-5). Let f = q - -32. Is 24 a factor of f?
False
Let x(f) = -f**2 - 17*f + 10. Does 14 divide x(-11)?
False
Let x = 147 + -61. Suppose 4*m = 5*o + 134 + x, -3*m - 3*o + 165 = 0. Let c = m + -25. Is c a multiple of 12?
False
Let o be (-3 + 2)/((-3)/48). Let n = 35 + o. Is n a multiple of 17?
True
Let h(n) = 2 + 2 - 2*n**3 - 2 + 6*n**2 - 4*n + n**3. Does 9 divide h(4)?
True
Let r(u) = -9*u**2 + 11*u + 4. Let d(w) = 8*w**2 - 10*w - 4. Let b(s) = 6*d(s) + 5*r(s). Let v(y) = y**2 + 3*y - 5. Let t be v(-5). Does 19 divide b(t)?
False
Let f be (1/(-1))/(1/(-5)). Suppose -4*d + 2*r + 124 = d, -r = -3. Suppose -w = 2*i + w - d, -f*i + 75 = 3*w. Is 18 a factor of i?
True
Suppose 5*n = -27 - 118. Does 10 divide -1*5/(5/n)?
False
Suppose -84 = 3*k - 291. Is k a multiple of 18?
False
Suppose 8 = -b - 21. Is (3 - 1)/(-2) - b a multiple of 14?
True
Suppose -5*x - 4*n + 45 = 0, 2*x = -3*n - n + 30. Let b(z) = -z**2 + 9*z - 2. Is b(x) a multiple of 9?
True
Let i be (-57)/(-11) - (-12)/(-66). Let z(l) = -l**2 + 4*l - 2. Let t be z(i). Let v = 17 + t. Does 10 divide v?
True
Suppose -d - 3*z = -195 - 21, 0 = 5*z + 10. Does 12 divide d?
False
Let q(f) be the second derivative of f**5/20 + 5*f**4/6 - f**3/3 + 3*f**2/2 + f. Let s be q(-10). Let u = s - -35. Does 20 divide u?
False
Let r be -15 - (4 + -5 + 2). Does 9 divide -1*2*360/r?
True
Let m(l) = 4*l**3 + 2*l**2 - 4*l + 2. Let d be m(2). Let j = 30 - 6. Let g = d - j. Does 5 divide g?
True
Let u = -7 + 12. Suppose 2 = -x + u. Suppose 3*m + 3 = 0, x*o = -2*m + 19 + 33. Is 8 a factor of o?
False
Let q(r) = -r**3 + 3*r**2 + 3*r. Let u be q(4). Let x(t) = -4*t**2 - 4*t - 6. Let g be x(u). Let j = -28 - g. Is 10 a factor of j?
False
Let o(u) = -7 - 3*u + 2 + 4*u + 4 + 5*u**2. Does 13 divide o(3)?
False
Let s be 2/(-1) + -3 + 1. Suppose 3*z = -2*c - c, -5 = -4*c + z. Is 6/(c/(s/(-3))) a multiple of 4?
True
Let o(n) = n + 41. Is o(0) a multiple of 10?
False
Suppose -2*k + 5*f = -73, -52 - 12 = -2*k - 4*f. Does 28 divide k?
False
Let o be (-2)/4*-12 + -2. Suppose 0 = -o*a - 9 + 161. Does 19 divide a?
True
Let m be (2/1)/(10/15). Suppose -2*z = 2*z - 20. Suppose m*a + 50 = z*a. Is 25 a factor of a?
True
Let h(r) be the third derivative of r**6/120 - r**5/10 + 7*r**4/24 - 5*r**3/6 - r**2. Let f be h(5). Suppose 0 = f*a - 0*a - 100. Is a a multiple of 20?
True
Let b = -378 + 567. Is b a multiple of 45?
False
Suppose 2*m - 96 = 3*v - 8*v, m - 5*v - 63 = 0. Suppose q - m = 10. Is q a multiple of 21?
True
Does 16 divide (3/(9/(-302)))/((-10)/15)?
False
Suppose 3*n + 45 = g, -5*n = 4*g - 3*n - 166. Is g a multiple of 21?
True
Suppose 5*c = 2*c + 42. Let s be (-12)/(-4 + 8) - -9. Does 9 divide 36/6*c/s?
False
Let t(a) = a**2 - 8*a - 7. Does 49 divide t(-7)?
True
Let d(t) = 24*t**2 - t - 1. Is 20 a factor of d(2)?
False
Let r(a) = a**3 - 9*a**2 + 9*a + 7. Let q be r(8). Let k = 25 - q. Does 4 divide k?
False
Is 6 a factor of (-4)/14 - (-535)/35?
False
Suppose 4*n = 4, -t + 0*n = -4*n + 1. Let l be (-2)/t*-3*52. Suppose 4*a = -0*a + l. Is 13 a factor of a?
True
Let y be 4 - (0 - (-2 + 2)). Suppose 0 = -3*d + d + 8, -y*d - 83 = 3*g. Does 9 divide (-2)/2*(g - 1)?
False
Is 5 a factor of 1 - (6/(-3) - 28)?
False
Let h(z) = 28*z**2 + 2*z + 1. Let k be h(-1). Suppose 3*j - 2*n = 127, -4*n + 22 = j + 3. Let y = j - k. Is 8 a factor of y?
False
Let i be -4*3*(-3)/6. Is 2 a factor of (-2)/i + 14/6?
True
Let u = 31 - 15. Is 8 a factor of u?
True
Suppose 156 = t + 3*t. Does 21 divide t?
False
Suppose -3*y - 2*w = -7 - 1, -5*y - w = -25. Let u = y + 8. Is u a multiple of 5?
False
Let t = 33 + -18. Is t a multiple of 9?
False
Let b(q) = -5*q - 11. Let u be (-30)/9*(-6)/(-4). Does 7 divide b(u)?
True
Let f(u) be the third derivative of -u**6/120 - 7*u**5/60 - u**4/24 - u**3/2 + 2*u**2. Does 4 divide f(-7)?
True
Let p(b) = -2*b - 2. Suppose -9 = -3*l - 0. Let j = -5 + l. Does 2 divide p(j)?
True
Suppose l = -10 + 70. Is l a multiple of 20?
True
Let x(d) be the second derivative of 10*d**3/3 + 2*d**2 + 8*d. Is x(4) a multiple of 12?
True
Let o(f) = 3*f**2 - 2*f. Suppose -5*m + 3*p + 22 = 0, -20 = -3*m + m + 4*p. Let s be o(m). Suppose -95 = -s*i + 3*i. Does 10 divide i?
False
Suppose 2*w + 28 = -2*w. Let q = -5 - w. Is q even?
True
Let t = -24 + 26. Is t even?
True
Let u = 12 + -2. Let p = -6 + u. Is p a multiple of 2?
True
Let v = 38 - 28. Is 5 a factor of v?
True
Suppose o - 10 = 3*o, 3*r + 5*o = 2. Let u = r + -19. Let t = -4 - u. Does 6 divide t?
True
Let i = 121 + -56. Does 3 divide i?
False
Let a(g) be the first derivative of g**2/2 + 72*g + 2. Is a(0) a multiple of 17?
False
Suppose -4*r - 83 + 239 = 0. Suppose 3*x = -0*x + 3*t + r, 5*t - 5 = -2*x. Does 6 divide x?
False
Suppose -3*i - v + 16 = -58, -3*i + 4*v + 79 = 0. Is i a multiple of 11?
False
Let q(g) be the second derivative of g**5/20 + 5*g**4/12 + 5*g**3/6 + 3*g**2/2 + 3*g. Is 6 a factor of q(-3)?
True
Let x = -72 + 105. Does 5 divide x?
False
Suppose 6*p = 4*p + 180. Suppose -2*d = -4, -4*a + 0*a - d = -p. Is 9 a factor of a?
False
Is 5 a factor of 3 + (-12)/(-3) + 3?
True
Suppose 1 - 2 = -v. Suppose -5*i + v = -14. Suppose 7*c - 4*c + 2*z = 30, -i*z - 69 = -5*c. Does 7 divide c?
False
Let h be -2*23/2 - -2. Suppose -2*g = 4*i - 0*g + 6, 4*g + 19 = -i. Let l = i - h. Does 11 divide l?
True
Let m(g) be the first derivative of 6 - 8*g - g**2 - 3 - 3*g. Is 8 a factor of m(-10)?
False
Let d = 76 - 48. Suppose -d = -3*z + z. Is z a multiple of 7?
True
Let o be (-56)/(-2*3/(-15)). Let a be (-12)/7*o/8. Let j = -10 + a. Is 6 a factor of j?
False
Does 15 divide (-1)/(4 + (-372)/92)?
False
Let h be (1 - 2 - -3)/1. Let g be (-27)/(-5) + h/(-5). Let 