 of f(h)?
False
Suppose 75480 = 26*d + 17*d - 28*d. Is d a multiple of 136?
True
Suppose 4126 + 2030 = n + p, -2*p = 3*n - 18462. Is 22 a factor of n?
False
Let q(h) = 2*h**2 - 18*h + 2. Let m be q(9). Suppose z - 5*d = -m*z + 14, -2*z + d + 7 = 0. Suppose c = 3*s + 35, z*s = -3*c + 5*s + 98. Is c a multiple of 6?
False
Does 87 divide (-2 - 5/(-10))*22*469/(-21)?
False
Suppose -3*k - 5*x - 9 - 16 = 0, 1 = x. Does 3 divide (5/k)/(((-5)/(-450))/(-1))?
True
Suppose 2*p - 10 = 3*g - 17, 0 = -4*g - 4. Let i(k) = -k**3 - 3*k**2 + 5*k. Is i(p) a multiple of 3?
False
Suppose 287*b = 288*b - 5*m - 4110, -2*m - 16512 = -4*b. Does 11 divide b?
False
Let z be (-13780)/(-9) - 21/189. Let g = z - 1063. Does 16 divide g?
False
Suppose 5*x - 89 = -3*g, 0*x = -4*x + 5*g + 49. Let t = x + 54. Is ((-24)/60)/((-1)/t) a multiple of 6?
False
Is 4*(36 + -3)*(-888)/(-18) a multiple of 176?
True
Let u(o) = -33*o - 11. Let q be u(-2). Suppose q*w = 56*w - 4. Does 14 divide (-3)/w + (-559)/(-4)?
False
Let x = 63 - 42. Suppose 0 = 2*s - 10, 2*l - 64 + x = -5*s. Does 12 divide ((-4)/(-20)*-36)/(l/(-60))?
True
Let d = -6403 - -24883. Does 154 divide d?
True
Let o(h) = -h**2 + 17*h + 14. Let x be o(17). Let y be (-423)/(-36) + x/(-8) + 2. Let r = y + 48. Is 10 a factor of r?
True
Suppose -2*n + 3*r + 5037 = 0, 18*r = 5*n + 19*r - 12533. Is 33 a factor of n?
True
Suppose 3*j + 25 = 5*l, 7 = 2*j + l + 2. Let f be (j - 8/3)*30/(-20). Suppose -2*g + 216 = f*g. Does 9 divide g?
True
Does 32 divide -1 - -8258*(-14)/(-28)?
True
Suppose 34*w - 26*w - 32 = 0. Suppose -208 = -6*g + w*g. Is 8 a factor of g?
True
Is 7359/(-669) + 25*2467 a multiple of 16?
True
Suppose 0 = 5*t + 4*z - 1800, 5*z = -19*t + 17*t + 737. Does 38 divide t?
False
Let o(r) = -r**2 - 18*r + 25. Let q be o(-11). Suppose 2 = -3*g + 17. Is 27 a factor of q/4 - (g - 26/4)?
True
Let v(i) = -3*i - 70. Let u be v(-23). Is u/((-3)/(-264))*-1 a multiple of 27?
False
Suppose 3*c = 5*r - 28, -18 = 3*c - 8*r + 5*r. Let o be ((-794)/4 - (-6)/(-12))*c. Suppose 5*k = o + 516. Does 20 divide k?
False
Suppose 5*k + 285 = -2*y, 8*k = 5*k - 4*y - 157. Is ((-26)/8)/(k/4720) a multiple of 13?
True
Let r(a) = -a**3 - 8*a**2 + 4*a - 41. Let o be r(-11). Suppose -279*l = -o*l - 10. Is 4 a factor of l?
False
Suppose 16047 = 74*y - 15033. Is 10 a factor of y?
True
Let f(q) be the second derivative of -29*q**5/4 + q**3/3 + 3*q**2/2 - 48*q. Let z be f(-1). Let k = 260 - z. Is k a multiple of 16?
False
Let k(u) = u + 9. Let q be k(-6). Let i be 4 - (q - -1) - -521. Suppose i + 119 = 8*f. Does 20 divide f?
True
Is -157 + 147 - (-1809 + 0) a multiple of 21?
False
Is 9 a factor of ((-700)/3)/(204/(-918))?
False
Let f be -2 - (-4 - (2 + -1)). Suppose -3*o - 26 = 4*z - 2*o, 3*o + 24 = -f*z. Let p = 48 - z. Is 9 a factor of p?
True
Let d be (7/7)/((-2)/(-6)) + -1. Let n be 1628/16 - d/(-8). Suppose 0 = 2*c + 4*c - n. Is 13 a factor of c?
False
Suppose 0 = -5*r - 4*k + 85, -5*r + 5*k - 3*k = -55. Suppose -8*j = -r*j - 675. Let n = -95 - j. Does 8 divide n?
True
Suppose 0 = -3*w + 4*n - 9 - 11, 0 = 2*w + 2*n - 10. Is 16 a factor of 6/33 - (w + (-810)/22)?
False
Let h = 15928 - 10853. Does 29 divide h?
True
Let m(h) = -h - 3. Let i = 58 - 56. Let y(r) = -r - 4. Let j(s) = i*m(s) - 3*y(s). Is j(11) even?
False
Let j(w) = 5*w**2 - 3*w + 1. Let r be j(3). Suppose -31 = 2*z - r. Suppose -4*h - 256 = -2*n, 3*n - z*h - 359 = -2*h. Is 8 a factor of n?
False
Let q = 9404 + 196. Does 30 divide q?
True
Let j(g) = -g**3 - 29*g**2 + 2*g + 56. Let t be j(-29). Let l be (-300)/(-135) + t/9. Suppose -5*p = q - 129, l*p = -2*q + 112 + 178. Is q a multiple of 11?
False
Let j = 14046 - 1920. Does 12 divide j?
False
Suppose -44 = -5*g + x, -2*g - 47 = -7*g - 2*x. Suppose -f - g = -4*f. Suppose -11 = 4*t + 1, 45 = f*o + t. Is o a multiple of 16?
True
Does 26 divide 3089 + 0 + -1*(4 - 9)?
True
Let t(h) = -h**2 - 21*h - 34. Let g be t(-19). Let x = -8 - g. Let n(k) = -5*k - 9. Is n(x) a multiple of 22?
False
Let l = 16296 - -3550. Suppose -23*r - 2366 = -l. Is 76 a factor of r?
True
Let w(m) = -3*m + 34. Let i be w(11). Let v be (-3)/1 - (-15)/5*i. Suppose -10*u + 8*u + 380 = v. Is u a multiple of 19?
True
Let t be 9*(-1 + 5)/(1 + 2). Suppose -8*c + 8 = -t*c. Is 56 - (c + -1 - -7) a multiple of 4?
True
Let k = -19135 - -31007. Does 16 divide k?
True
Let k(f) = 61*f + 4448. Is k(-38) a multiple of 15?
True
Suppose -131*i + 6316552 = 48*i. Is i a multiple of 88?
True
Let a = 92360 - 60378. Is a a multiple of 148?
False
Suppose -3*r + 3 = -2*f - 3, 2*f + 10 = 5*r. Let o(y) = -12*y - 10 - 2*y - y**2 - y**2 + y**r. Is o(-6) a multiple of 19?
True
Let a(t) = -t**3 - 3*t**2 + 7*t - 3. Let x be a(-5). Suppose -x*y - 26 = -14*y. Suppose -107 = -5*v + y. Does 5 divide v?
False
Let w = 54 - 54. Suppose w = -5*b + 4*t - 26, -3*b - 12 = -4*t + 10. Does 5 divide (14/8)/(b/(-24))?
False
Let r(j) = j**2 + 2*j + 17. Let u be r(0). Let t(h) = -18 - 3*h**2 + 34 - 2*h + 2*h**3 - u + 0*h**3. Is t(5) a multiple of 26?
False
Let x(l) = -9*l - 42. Let y(h) = -h**2 + 12*h + 17. Let t be y(15). Let z = 10 + t. Is 20 a factor of x(z)?
True
Let c(o) = 2*o**2. Let r be (-348)/(-261) - (0 - (-2)/(-3)). Let j be c(r). Suppose j*x - 6*x = 222. Is x a multiple of 18?
False
Suppose j - v - v + 62 = 0, 3*v = -5*j - 349. Let f = j + 142. Does 37 divide f?
True
Suppose 2*k - 2214 = -4*u, -6*u + 1962 + 1380 = -4*k. Is 104 a factor of u?
False
Let l(f) be the second derivative of 0 - 8/3*f**3 + 13/2*f**2 - 1/12*f**4 + 6*f. Is l(-8) a multiple of 7?
True
Let a(n) be the second derivative of n**5/10 + n**4/6 - 11*n. Let d be a(3). Let v = d - 48. Does 3 divide v?
True
Let z(h) = -h**2 - 14*h - 36. Let a be z(-10). Does 35 divide (a/(-6))/((-48)/7560)?
True
Let p(i) = 78*i + 589. Does 5 divide p(-7)?
False
Suppose -5*v = 3*j - 39, -2*j - 2*j + 24 = 2*v. Is 12 a factor of (4/v)/(-1) - (-3328)/24?
False
Let p be 3 - (-2)/(-4)*(-504 + 8). Let l = 218 - 379. Let x = p + l. Is x a multiple of 10?
True
Let o be (62/3)/(8/(-12)). Let q = -37 + 36. Let k = q - o. Is k a multiple of 15?
True
Let b = -286 - -271. Is 11 a factor of (-6*2/(-4))/(b/(-2455))?
False
Let w = -135 - -160. Does 55 divide 95 - (w/15)/(10/6)?
False
Suppose 36*c + 4980 = 19380. Suppose -4*s = 20, -2*s - c = -r - 0*s. Is r a multiple of 15?
True
Let b be (-7)/(2 + (0 - 3)). Let h be 17/34*(260 - -2). Suppose b*o - h = 79. Does 2 divide o?
True
Let x(z) = -4*z - 80. Let j be x(-23). Is (-2)/j - 12316/(-24) a multiple of 19?
True
Suppose -n - 277 = 4*u - 5*u, -12 = -4*n. Is 13 a factor of (-27 + 0 - -1)/(u/(-8260))?
True
Suppose 0 = -4*f - 3*k + 23, -2*f + 3*k - 11 + 0 = 0. Suppose -5*q - 91 = -3*i, -2*q - 124 = -4*i + f*q. Suppose -85*c + 81*c + i = 0. Is 4 a factor of c?
True
Let d = -603 + 172. Let b = -259 - d. Is b a multiple of 18?
False
Let d = 5830 + 30910. Does 16 divide d?
False
Let m(c) = 2*c**2 - 8*c - 18. Suppose -28 = 2*s + 2*s. Is m(s) a multiple of 17?
True
Does 37 divide (-1)/((-361298)/(-72261) + -5)?
True
Let z(b) = b**2 + 1. Let h(r) = -5*r**2 - r - 16. Let g be (-1)/((-4)/72*3). Let d(y) = g*z(y) + h(y). Does 4 divide d(6)?
True
Suppose -9*q = 2113 + 2720. Let c = 970 + q. Does 6 divide c?
False
Suppose -42*f + 231938 = 28887 - 172093. Does 14 divide f?
True
Let v be (-385)/165*(2 - -1). Is (10 - (-272)/(-28)) + (-3001)/v a multiple of 11?
True
Suppose 5*h - 192726 = 4*f, -h = -3*f - 21822 - 16710. Does 19 divide h?
False
Let w(f) = f**2 - 19*f + 105. Let k be w(23). Suppose 5*n + d - 119 = 204, -3*n + d + k = 0. Is 8 a factor of n?
False
Let q = 58 + -60. Let b be 49 + 0 - (3 - (2 + q)). Does 7 divide (-1265)/b*(0 + -1 - 1)?
False
Let f(a) = -a**2 - 16*a - 27. Suppose 5*n = 5*q + 361 - 61, 2*q + 3*n = -130. Let y = q + 53. Does 13 divide f(y)?
False
Suppose 40*z - 140696 = -46*z. Does 18 divide z?
False
Suppose 6 - 2 = 2*d, -5*j + 3*d - 21 = 0. Let n(v) = 3*v + 13. Let y be n(j). Suppose -22 = -o - y*x, -4*o = -3*x - 0*x - 50. Is o a multiple of 14?
True
Suppose -213*q + 72*q - 55802 = -317216. Is q a multiple of 6?
True
Let t = -24 + 51. Let g = t - 18. Does 6 divide (7 - 19)/(g/(-30) + 0)?
False
Suppose -9*o = -17*o + 40. Suppose -2*s = -o*h + 92 + 286, -5*h = 5*s - 350. Is 2 a factor of h?
True
Suppose 4*p = -3*z + 4*z - 1