h**4 + 6*h + 3/2*h**2 + 4 - 4/3*h**3. Is 11 a factor of s(-5)?
False
Let t be -4 + (56 - -4) - 2. Let u = t + 6. Is 12 a factor of u?
True
Let a = 1523 + -718. Is 5 a factor of a?
True
Let j be ((-20)/25)/(4/70). Is 11 a factor of (-248)/j + 2/7?
False
Let m(g) = g**3 + 4*g**2 - 3. Let q be m(-3). Suppose 4*j = q*j + 68. Is 1/(-2) - j/4 a multiple of 4?
True
Let u(f) = f**2 + 5*f + 1. Let y(o) = o**2 + 5*o + 1. Let h(w) = 3*u(w) - 2*y(w). Let i be h(-2). Is 19 a factor of (25 - -5) + (i - -1)?
False
Let u(a) = 37*a**2 - 1. Let q be u(1). Suppose -23*l + 22*l = 0. Suppose l = h + 3*h - q. Is h a multiple of 4?
False
Is 13 a factor of ((-68)/6)/(4*(-7)/1218)?
False
Let y(u) be the second derivative of u**3 + 7*u**2/2 - u. Let t be 4/(-10) + 238/70. Is y(t) a multiple of 12?
False
Suppose -5*r - 5*a = -1060, -2*a = 3*r - 169 - 472. Does 6 divide r?
False
Let b(z) = -z + 1. Let q(k) = k + 2. Let p be q(-5). Let x be b(p). Suppose x*v - 11 = 17. Is 4 a factor of v?
False
Let d(p) = -p**3 + 6*p**2 - 2*p + 14. Let i be d(6). Let u = 2 - 0. Suppose 46 = i*b - u*q, -q + 0*q = 3*b - 49. Is b a multiple of 18?
True
Suppose 31*w - 25920 = 7*w. Is w a multiple of 9?
True
Suppose 6*o - o = -230. Let x = 51 - o. Is x a multiple of 6?
False
Suppose 2*z + 1014 = 5*c + 158, -c + 155 = 5*z. Is c a multiple of 10?
True
Does 74 divide 28/(-3)*17427/(-314)?
True
Let o(t) = -25*t - 5*t - 11*t - 19*t. Is o(-1) a multiple of 20?
True
Let z(l) = 81*l**2 - 3*l + 6. Let q(f) = 162*f**2 - 6*f + 11. Let n(j) = 4*q(j) - 7*z(j). Let d be n(2). Suppose 3*p + 86 - d = 0. Is 13 a factor of p?
True
Is 6461/77 + (-2)/(-22) a multiple of 12?
True
Suppose 3*i + 29 = 3*b + 620, -4*i + 768 = b. Suppose i + 157 = 7*r. Is 5 a factor of r?
True
Let c = -21 - -21. Suppose l + l - 4 = c, -66 = -4*r - 5*l. Is r a multiple of 9?
False
Let s be (-2 - 2 - 255)*-1. Let z = s - 104. Is z a multiple of 25?
False
Let b(t) = t + 5. Let s be b(-5). Suppose s = -z - 3*z + 468. Is 13 a factor of 2/3*z/6?
True
Let q = 52 + -45. Suppose -2*n - 250 = -q*n. Is 10 a factor of n?
True
Let t(j) = 201*j**2 - 3*j + 1. Let c be t(2). Let x = c + -449. Suppose -4*m - m + x = 0. Is 20 a factor of m?
False
Let z = 1894 + -1244. Is 3 a factor of z?
False
Suppose 0 = -4*d + 5*g + 1237 + 276, -d = g - 367. Suppose i + 5*i - d = 0. Is 31 a factor of i?
True
Let d(k) = -k**3 - 8*k**2 + 2*k + 11. Let v be d(-8). Let x be (-4)/v*(-30)/4. Let n(b) = -b**2 - 12*b - 3. Is n(x) a multiple of 28?
False
Suppose -12 = 13*u - 17*u. Suppose -154 = -u*y + y. Is 11 a factor of y?
True
Let c be (-2)/(-2) + 0 - -9. Let a = c + -13. Does 24 divide a/6 - 290/(-4)?
True
Let m(c) = c**3 - 5*c**2 - 5*c + 6. Let n be m(8). Suppose -3*f + 7*f = -w + 155, 0 = 4*f - 2*w - n. Is 13 a factor of f?
True
Suppose -4*q = 4*i - 768 - 316, 2*i = -4*q + 1078. Is 19 a factor of q?
False
Let r(t) = -30*t - 1. Let h be r(-1). Let q = h + 38. Suppose -q = -4*f + 5*w, -4*f - w = -0*w - 97. Does 3 divide f?
False
Let k = 25 + -26. Let b be (0/k)/(-4 - -5). Is 10 a factor of 10/(-8)*(-8 - b)?
True
Let k be 24/4*(-12)/(-9). Let w(q) = -q**3 + 9*q**2 - 10*q + 18. Let h be w(k). Suppose 0 = h*p - 1 - 167. Is p a multiple of 28?
True
Let u(g) = -g**2 + 18. Let q be u(0). Suppose 2*w + 4*j = -6, -j - q = -4*w + j. Suppose -5*k + 367 = 4*r, -k - 2*r - w*r + 65 = 0. Is k a multiple of 25?
True
Let s(f) = -217*f + 1. Let h be s(-1). Let a be 13*-6*(4 + -6). Let j = h - a. Does 27 divide j?
False
Suppose -5*g + k - 11 = -k, 0 = -5*g - 2*k + 1. Does 4 divide (-30)/(-2) + -1 + (-2)/g?
True
Suppose 0 = 4*x - 0*x - 4, 4*x = w + 4. Suppose w = -2*i + 16 + 28. Is 11 a factor of i?
True
Suppose 12*o = 8*o - 344. Let p(w) = -6*w**3 - 2*w**2 + 2. Let g be p(2). Let c = g - o. Is 10 a factor of c?
False
Let u = 1 - -4. Suppose 0 = -2*p - u*n + 61, -3*p + p = -5*n - 71. Is 21 a factor of p?
False
Let s(y) = 5*y - 1. Let j be s(4). Suppose 0 = 4*l - j - 9. Suppose 2*x - 19 = l. Is x a multiple of 8?
False
Let p be ((-2)/(-6))/(2/(-822)). Let v = -60 - p. Does 10 divide v?
False
Let t(w) be the first derivative of -w**5/120 + 5*w**4/4 + 11*w**3/3 - 3. Let s(m) be the third derivative of t(m). Is s(0) a multiple of 16?
False
Let z = -11 + 11. Suppose 2*w + 8 = z, -2*w - 35 = -n - 2*n. Let f = 18 - n. Is f a multiple of 3?
True
Let h = 2801 - 841. Is 40 a factor of h?
True
Let l = 1541 - 1331. Does 10 divide l?
True
Suppose 113*l - 114*l = -617. Is l a multiple of 26?
False
Suppose 2*x + 3 + 67 = 0. Let w = x + 47. Is 6 a factor of w?
True
Let q(k) = k - 1. Let d be q(2). Let o(g) = 11*g - 3. Let u be o(d). Suppose -p + u = -31. Is p a multiple of 13?
True
Let r = -6 - -6. Suppose r + 16 = -4*z. Let g = z + 12. Is 4 a factor of g?
True
Suppose 39*j = -12843 + 39675. Does 55 divide j?
False
Let q(k) = -6*k + 101. Is 41 a factor of q(10)?
True
Let v be (-3 - -18)*-1 - -2. Let k(t) = 9*t + 16. Let r be k(v). Let j = -26 - r. Is 25 a factor of j?
True
Let v = 1019 - 362. Does 13 divide v?
False
Does 10 divide ((-132)/18)/((-3)/414)?
False
Suppose 2*a + 12*x = 7*x + 1531, 3*a = -3*x + 2310. Does 16 divide a?
False
Let c(f) = 84*f + 12. Let h be c(9). Let w be h/(-3)*9/(-12). Let z = w + -131. Is z a multiple of 11?
False
Is 11 a factor of (1 + 2/(-1))/((-3)/165)?
True
Suppose 4*k = 3*k - 7. Let x be -19*(-6)/(-15) - (-2)/(-5). Is k/((-14)/x) + 10 a multiple of 3?
True
Let x = -169 - -67. Let s = -15 - x. Suppose 2*t + 2*i = 48, 5*i + 3 + s = 5*t. Does 8 divide t?
False
Let l = -8 - 4. Let p(t) = 3*t**2 + 23*t + 10. Is 61 a factor of p(l)?
False
Suppose -20 = 4*y, y = m - y - 25. Suppose -2 = -2*g, 4*d + m = -2*g + 281. Is d a multiple of 11?
True
Suppose 0 = 2*q + 8, -f + 0*q = -q - 6. Suppose -4*v = -3*b - 17, -4*b = -0*v - f*v - 4. Is 2 a factor of v?
True
Let o(j) = -j**3 + 17*j**2 + 18*j + 4. Let v be o(18). Let k(d) = 13*d - 2. Does 10 divide k(v)?
True
Suppose -2*r + 1 = -3*c + 27, 3*r = -5*c + 18. Suppose -135 = -c*w + 3*w. Does 9 divide w?
True
Is 62 a factor of (-10)/25 + -1*(-12408)/20?
True
Let g(i) = -3*i - 30. Let n be g(-16). Let k = 42 + n. Is 10 a factor of k?
True
Does 12 divide -38 + 35 - (-99 - 0)?
True
Let d(z) = -2*z**3 + 2*z - 6. Let b be d(-4). Does 17 divide b + 3 + -4 + -3?
False
Suppose -3*t + 5*k = -197, 2*t - 227 = -t - k. Let s = 127 - t. Is 9 a factor of s?
False
Suppose -176*l + 185*l - 3564 = 0. Is 22 a factor of l?
True
Suppose 11 = 3*w - 2*m, 0 = w + 2*m - 5*m - 6. Suppose -w*x = -3*l - 387, 0*l - 3*l = -2*x + 260. Is 46 a factor of x?
False
Let r(v) = v**3 - 6*v**2 + 6*v - 3. Let i = -22 - -27. Let n be r(i). Suppose -n*f - 117 = -11*f. Is f a multiple of 5?
False
Let v(a) = a**3 + 19*a**2 - 11*a + 3. Let k be v(-19). Let o = -44 + k. Is o a multiple of 12?
True
Let r be (-4 + -2)/(-2) + -4 + 952. Suppose -4*h + r = 3*z, -z + 239 = -3*h + 4*h. Is h a multiple of 11?
False
Suppose 4*a - 125 = 3*c, -3*c + c + 52 = 2*a. Is a a multiple of 29?
True
Let u(d) = 17*d**2 + d - 1. Let w = 7 - -8. Let g = w - 17. Does 10 divide u(g)?
False
Let w(i) = 4*i - 2. Let m be w(1). Suppose -m*p + 17 = -p. Does 7 divide p?
False
Let r(k) = -17*k - 6. Let j be r(-5). Let p = j + -12. Let l = -43 + p. Is 24 a factor of l?
True
Let o be -2 + -4 + (-40)/(-2). Does 12 divide (-28)/98 - (-2062)/o?
False
Suppose y = -5*x + 4534, -y = 3*y + 4*x - 18088. Is 14 a factor of y?
False
Let d(x) = -33*x**3 - x**2 + x + 1. Let k be d(-1). Let s(a) = a - 15. Let f be s(7). Is 18 a factor of 1144/k + (-2)/f?
True
Suppose -4*z + 4*r = -88, -3*r - 27 = -2*z + 18. Suppose -144 = 17*l - z*l. Is 9 a factor of l?
True
Let b = -14 - -16. Let m be 4 + 3/1 + b. Does 10 divide (m/(18/56))/2?
False
Suppose -4 = -7*y + 5*y. Suppose 0 = -q - y, 8*p - 4*p = -2*q + 388. Does 14 divide p?
True
Let v = -44 + 52. Let l(t) = 3*t**2 - 16*t - 8. Is l(v) a multiple of 14?
True
Is (-66)/((-407)/77 - -5) a multiple of 12?
False
Suppose 5*t + 11 = -4*g, 5*g - 2*g + 4*t + 9 = 0. Does 15 divide (-33 - 7)/(g*(-6)/27)?
True
Let x be 1808/12 + (-2)/(-6). Suppose -x = -4*v - 43. Does 9 divide v?
True
Let s be (8 + -2)*(-32)/(-6). Let d = s - 16. Suppose -c - 2*c = -x - 13, -c + d = 2*x. Does 3 divide c?
True
Let c(s) = 3 + 7 + 11*s - 9*s. Let j be c(-5). Suppose -2*g - 5*m + 6 + 27 = j, -m = 4*g - 21. Is g a mult