 Let k = h - 25. Does 24 divide k?
True
Let p(a) = -a**2 - 2*a + 10. Suppose -2*f + 0*f = 0. Is 9 a factor of p(f)?
False
Suppose 168 = 2*a + 2*a + 4*z, -a = -4*z - 17. Is (4 + -1)*a/3 a multiple of 8?
False
Let z(m) = m**3 + m**2 - m + 1. Let l(y) = 4*y**3 + 10*y**2 - 3*y. Let g(q) = l(q) - 3*z(q). Does 25 divide g(-5)?
False
Let o be (-10)/(-12) + 1/6. Let t = o + 1. Let n = 7 - t. Is n even?
False
Suppose 5*g + 4*t = 40, 5*t - 10 - 7 = 2*g. Let y be (-3)/(-3 - g/(-2)). Suppose -4 = p, 12 - 4 = 4*c + y*p. Is 3 a factor of c?
False
Suppose -5*s + 4*x + 3 = 0, -3 = -4*s + 3*x - 1. Let n(r) = r + 1. Let y(o) = -22*o - 4. Let c(a) = s*y(a) - 5*n(a). Is 13 a factor of c(1)?
False
Let u = -3 - -3. Suppose 2*a + 5 = -5*v, 2*v + u + 2 = 2*a. Suppose 0 = 2*t + 2*w - 10, -9 = -3*t - a*t + 3*w. Is t even?
True
Let y be (11 + 1)*(-1)/(-4). Suppose -y*h + 4*n - 6 = 0, 0*n = 3*h - 2*n. Suppose 0 = h*z - z - 11. Is 11 a factor of z?
True
Let c = 37 - -67. Is c a multiple of 7?
False
Suppose 0 = -5*h - 25, -4*h + 2 - 7 = -5*a. Let u be 13/a - (-4)/12. Does 9 divide 14*(2/u + 2)?
False
Suppose 0 = -5*s + 4*s + 3. Suppose 2*z + s*o - 24 = 84, 2*z - 3*o - 84 = 0. Does 24 divide z?
True
Let f be ((-44)/8 + 2)*16. Let t = 98 + f. Is 10 a factor of t?
False
Suppose 3*c + c + j = 425, -4*j = -4*c + 420. Is c a multiple of 19?
False
Is 2 a factor of (-54)/(-3) + -2 + -1?
False
Is 19 a factor of 33424/80 + (-1)/(-5)?
True
Suppose 2*q = -3*q. Suppose q*t + 3*t = -69. Let d = t + 33. Is d a multiple of 7?
False
Does 9 divide 189/7 - 0/2?
True
Let v(p) = -2*p - 8. Let n be v(-6). Let h be 6/n - 3/(-6). Suppose 0*d + 12 = h*d. Does 5 divide d?
False
Is (-26)/117 + (-724)/(-18) a multiple of 10?
True
Let o(h) = h**2 - 3*h + 8. Is 24 a factor of o(14)?
False
Suppose 0 = 2*b - 6, 33 = 2*g - 0*b + b. Is 4 a factor of g?
False
Suppose -20 = -5*v, -6*s = -s + 5*v - 20. Suppose 0*k = k. Suppose g - 6 + s = k. Does 3 divide g?
True
Let h = -71 + 121. Does 15 divide h?
False
Does 20 divide (-2)/(-2)*(11 + 49)?
True
Let q = 169 + -88. Does 13 divide q?
False
Suppose 4*u + 3 = 15. Suppose 28 = o + 5*k, o + k = u*k + 14. Is 18 a factor of o?
True
Suppose 4*k - 482 = 970. Suppose -48 = 5*p - k. Does 12 divide p?
False
Let z(f) = f**2 - 7*f + 15. Is z(6) a multiple of 3?
True
Suppose -2 = -d - 0*d. Suppose 0 = -d*r + 4*r - 14. Is 7 a factor of r?
True
Suppose 2*f = 4*g + 18, 4*f - 36 = 2*g - g. Is 9 a factor of f?
True
Let i(d) = 393*d**2 - 1. Let c be i(1). Suppose -v + c = 3*a, 3*a + 4*v + 252 = 5*a. Suppose -r - 4*r = -a. Is 13 a factor of r?
True
Let z be 1/((-3)/2 - -1). Let u(s) = 13*s**2 + 4*s + 2. Does 12 divide u(z)?
False
Suppose -4*m + 180 = 4*q, -2*q + 0*m = -m - 93. Is q a multiple of 11?
False
Let z = 12 + -7. Suppose 4*q - 51 = -z*l + 53, 3*q - 78 = -4*l. Does 6 divide q?
False
Suppose -5 = -l + 2. Let g = 22 - l. Is 5 a factor of g?
True
Suppose 18 = 4*j - 2*j. Does 9 divide j?
True
Suppose 0 = 12*q - 13*q - 13. Let x(s) = s**3 + 14*s**2 + 12*s + 6. Does 19 divide x(q)?
True
Suppose -3*k + 2*k = -5. Does 5 divide k?
True
Let l(a) = a + 13. Let j be l(-7). Suppose 0 = -j*y + 4*y - 4. Does 5 divide (y/1 - -2) + 15?
True
Let u(f) = -f**3 + 0 - f - 2 + 0 - f**2. Let y be u(-2). Suppose -y*r = 3*m - 80, 5*r + 37 - 2 = 3*m. Is m a multiple of 8?
False
Suppose -4*h - 120 = -8*h. Suppose 4*t - h = -t. Does 6 divide t?
True
Let s = 120 - 80. Is s a multiple of 8?
True
Let u be 313/9 - (-4)/18. Suppose -3*c + u = -2*r, 0*r - 5 = -r. Is 12 a factor of c?
False
Suppose -5*l - 3*v = -0*v + 15, 5*l + 2*v = -20. Is 14 a factor of (50/l)/((-2)/6)?
False
Suppose -t = -2*u - 11, -4 = -2*t + 3*t + 3*u. Suppose 2*x = -t + 47. Is x a multiple of 7?
True
Let k = 11 - 9. Let g be (1 + 1)*4/k. Suppose -s - 169 = -g*s + 2*w, 3*s - 174 = -3*w. Is s a multiple of 17?
False
Suppose 0 = -3*d - d + 8608. Is 15 a factor of d/36 - (-6)/27?
True
Let m(h) = 7*h. Does 14 divide m(4)?
True
Let d(p) = 32*p**2 + 3*p - 2. Let y be d(2). Suppose -w - 2*g - 132 = -6*w, 4*w = -5*g + y. Suppose 3*b - 2*b = w. Is 16 a factor of b?
False
Suppose -5 = -2*b + 49. Suppose -a - b = -2*i, -i + a - 45 = -5*i. Is 12 a factor of i?
True
Suppose -c = -2*c - 92. Does 19 divide c/6*(-7 + 4)?
False
Let k = 157 - 65. Is 23 a factor of k?
True
Suppose 4*y + 2*h - 108 = 0, -5*h + 8 - 88 = -4*y. Is y a multiple of 3?
False
Suppose -4*f - 23 + 279 = 0. Is 16 a factor of f?
True
Let x be -47*(1 - 4/2). Suppose 17 = 4*q - 7. Does 4 divide x/7 + q/21?
False
Let v be 0*(-2 + -1 + 2). Suppose c - 13 = -v*c. Suppose 27 = 5*z - c. Does 7 divide z?
False
Suppose 84 = x + 28. Suppose 6*g - 4*n = 2*g + x, -2*g + 5*n + 28 = 0. Suppose 5*p = 5*r - 39 - 51, -r + g = p. Is r a multiple of 16?
True
Does 40 divide 90/(4/(-16) + 1)?
True
Suppose 28*p - 29*p = -187. Is 13 a factor of p?
False
Let x(m) = -4*m + 10. Let k be x(-5). Suppose -2*j + 49 - 19 = -4*z, -2*j + k = -3*z. Is 11 a factor of j?
False
Suppose 5*j + 5*k + 12 = 147, 0 = 2*j - 4*k - 36. Is 14 a factor of 42/(-4)*j/(-7)?
False
Suppose 16 = -2*u + 4*u - 2*r, -10 = -3*u - 4*r. Suppose -3*k + u*k - 30 = 0. Is k a multiple of 5?
True
Let k(i) = -i**2 + i + 1. Let w(p) = 29*p**3 - 2*p**2 + p + 1. Let b(g) = 2*k(g) - w(g). Is 8 a factor of b(-1)?
False
Let n = -4 - -8. Let y be 9/12 + (-206)/8. Let h = n - y. Does 18 divide h?
False
Suppose -3 = -3*h, -3*s + 398 = 3*h - 4*h. Does 19 divide s?
True
Suppose -x - 3*f = -3*x + 201, -4*x - 2*f + 426 = 0. Suppose 5*n + x = 5*d, d - 4*n - 11 - 1 = 0. Does 8 divide d?
True
Let d = 29 + 11. Is d a multiple of 40?
True
Does 37 divide (3/(-1) + 6)*(-296)/(-6)?
True
Let i = 0 - 22. Is -2*1/(2/i) a multiple of 17?
False
Let d be (-2)/(-7) - (-693)/147. Suppose d*v = -v + 300. Is v a multiple of 27?
False
Suppose 11 = -d - 3*s, -2*d - 9 = 2*d + 5*s. Suppose t = -d*t + 45. Is t a multiple of 3?
True
Let t = -3 + 7. Suppose -t*m + 44 = -12. Is m a multiple of 4?
False
Let h = -5 - 2. Does 18 divide (-3)/(-7) + (-242)/h?
False
Let t = -112 + 51. Let s = t + 103. Is s a multiple of 10?
False
Let a be 4 + (0 + 0 - 2). Suppose 3*x - 6 = 5*x, -2*i - 2*x = 4. Does 5 divide i/(a - 27/15)?
True
Suppose -44 = -4*y + 16. Is y a multiple of 3?
True
Suppose 56 = 2*n - 3*h, -h = -2*n + 3*n - 38. Is 6 a factor of (-2)/(-4) + n/4?
False
Let r = -204 + 435. Let t be r/(-14)*128/(-6). Does 9 divide t/10 + 1/(-5)?
False
Let b = -1 + -1. Is 13 a factor of (-1)/((6/39)/b)?
True
Let o(l) = -l**2 + 10*l. Let b be o(10). Let k be b + (1 - (2 + -2)). Let j = k + 7. Does 8 divide j?
True
Let u(v) = 21*v + 15. Is u(5) a multiple of 6?
True
Let j be (-3 - (-29)/9)*9. Is 15 a factor of j - (-41 - (4 + -2))?
True
Let q(h) = 9*h - 46. Is 12 a factor of q(13)?
False
Suppose 0 = -51*w + 55*w - 1148. Is 22 a factor of w?
False
Is 5 a factor of (2/(-4))/((-27)/(-90))*-21?
True
Let r(j) be the second derivative of 2*j**3/3 - 3*j**2/2 + 2*j. Does 11 divide r(6)?
False
Let q(k) = k**2 - 3*k + 22. Is q(0) a multiple of 22?
True
Let t be (1 + 14)/((-3)/(-6)). Suppose -3*z + t = 2*z. Does 5 divide z?
False
Let l(h) = -h**3 - 4*h**2 - 4*h - 2. Let p be l(-3). Let z be 1 + -16 - (0 - p). Let d = -4 - z. Is d a multiple of 10?
True
Let h = 52 - 13. Is h a multiple of 4?
False
Let d(k) = -2 + 3 - k - k + k**2. Let w be d(1). Suppose w = -2*f + 36 - 2. Is f a multiple of 10?
False
Let t(u) = u**3 - 4*u**2 - u + 4. Let s be t(4). Suppose 2*l + 3*l - 3*w - 276 = 0, s = l - w - 54. Does 29 divide l?
False
Let g be (-2)/(-8) - 1676/(-16). Let n be (-94)/6*-1*3. Let i = g - n. Is 24 a factor of i?
False
Suppose 0 = 2*t + g - 247, 546 = 5*t - 3*g - 55. Let j = t + -79. Let p = 66 - j. Is 16 a factor of p?
False
Let j(s) = 16*s. Let p be j(-4). Let m = -156 + 110. Let g = m - p. Does 9 divide g?
True
Let s be 14/3*(-15)/(-10). Let p(j) = 8*j - 4. Does 26 divide p(s)?
True
Suppose -3*d = -16 - 2. Let t(g) = g**2 - 2*g. Does 14 divide t(d)?
False
Let u be -1*-2*(-13)/(-2). Let y(b) = b**2 - 11*b - 8. Is 6 a factor of y(u)?
True
Let m(u) = -u + 2. Let o be m(-6). Does 6 divide o/(1 - -3) + 4?
True
Let m = -30 + 11. Let a = m - -61. Is a a multiple of 14?
True
Let n = -14 - -23. Let o be 46 - -6 - (0 - 3). Suppose 44 = 3*x - 4*l + n, 0 = 4*x + 3*l - o. Is x a multiple of 10?
False
Suppose -2*y = -y + 2.