- 3*h**2 - h**3 - 9*h + 11*h. Let s be j(-5). Let k = 53 + s. Is 9 a factor of k?
True
Let n(w) = -3*w**2 + 42*w + 65. Let x be n(15). Let f be (-2 + -1)/(-1 - 0). Suppose -f*m + x + 4 = 0. Does 3 divide m?
False
Is 139 a factor of 3 + 6 + -2 + 6619?
False
Let b = 162 - -43. Let d = 21 - 14. Suppose -d*u + 667 = b. Is 8 a factor of u?
False
Let j = 13854 - 7959. Does 131 divide j?
True
Let b be ((-168)/(-105))/((-2)/35). Let j = 104 - 49. Let o = j + b. Does 16 divide o?
False
Let q be -1*(0 + -3) + -1 + 14. Does 2 divide (4/(q/(-4)))/((-1)/27)?
False
Let y(t) = -3*t**2 - 3*t - 5. Let z be y(4). Let v be 3/(-12) + z/(-20). Does 2 divide 6*1/9*v?
True
Suppose 5*r = -4*b + 2*b + 118534, r - 4*b = 23742. Is 183 a factor of r?
False
Suppose -56*t = 53*t - 31*t - 169650. Is 2 a factor of t?
False
Let i(r) = r**2 + 9*r - 34. Let b be i(3). Suppose 6*f - 2*f = 4*t - 488, 5*t - 596 = -b*f. Is 11 a factor of t?
False
Does 37 divide (-42)/14 - 29973/(-1)?
True
Let b(h) = 2*h**2 + 1. Let d be b(1). Let o be -3 + d + 2*-5. Does 39 divide (-8)/40 + (-392)/o?
True
Let u(p) = 394*p + 218. Is 43 a factor of u(18)?
True
Let z(x) be the second derivative of 2*x**3 + 91*x**2 + 310*x. Does 3 divide z(11)?
False
Let c(h) = 581*h + 3259. Is c(-5) a multiple of 6?
True
Suppose -3*m - 18 = -12*m. Suppose 4*d = 5*n - 2*n - 500, -m*n - 5*d = -295. Is n a multiple of 43?
False
Is (37508/14)/((-92)/(-322)) a multiple of 17?
False
Suppose 16*f = 109536 + 146152 + 67800. Does 22 divide f?
True
Let c(k) = -74*k + 26. Let m be c(-6). Let w be ((-28)/8)/(-7)*m. Let t = w + -97. Does 23 divide t?
True
Suppose -2*r + 296 = -4*m, -2*m - 4*r = -6*r + 152. Let i = -57 - m. Is 10 a factor of (i/(-6))/(2/(-8))?
True
Suppose -2*u - 5 - 15 = 0. Is 1/(u/(-1506)) + (-3)/5 a multiple of 23?
False
Let g be (1/3 - (-44)/3) + 1. Suppose 4032 = -g*u + 1344. Is (24/18)/(-1 + (-170)/u) a multiple of 12?
False
Suppose -r + 27 = -3*c, 14*r - 17*r = 4*c - 16. Is 14 a factor of (820/(-8) + -3)/((-2)/r)?
False
Suppose -5*a - 2*d = 44, 4*d - 59 = 5*a + 3. Let j be 6/(-15) - 214/a. Suppose j*c + 75 = 24*c. Is 2 a factor of c?
False
Let o be 5*(2*4/(-8))/(-1). Suppose -4*f + 2*r + 354 = -74, 222 = 2*f - o*r. Does 6 divide f?
False
Suppose -2*i + 2*n + 3722 = 2*i, 5*i - 4*n = 4645. Suppose 934 = 3*f - 2*m, -i = -3*f + m + 2*m. Does 13 divide f?
True
Is -19*(-266 - (-18 + 14)) a multiple of 163?
False
Suppose -4*q + 20 = 0, -18*q = n - 14*q - 44472. Does 124 divide n?
False
Let k(u) = -1086*u + 3115. Is k(-10) a multiple of 13?
True
Let c be 12/42 - 1020/(-7). Let d = -95 + 18. Let l = c + d. Is 17 a factor of l?
False
Let r(v) = 3076*v - 1124. Does 177 divide r(8)?
False
Let i(y) = -3*y - 100. Let a be i(0). Let o = a - -176. Is 26 a factor of o?
False
Let d(c) = c + 29. Let p be d(-6). Suppose 43165 - 10183 = p*i. Is i a multiple of 14?
False
Suppose 37 = d - 5*w, 0 = -d - 2*w - 1 + 3. Suppose -d*m = -14*m. Suppose b - 4*n - 113 = m, -165 = -2*b - 4*n + 85. Is b a multiple of 11?
True
Suppose i = -2*c - 0*i - 37, -c - 11 = 2*i. Let m be (0 + (-36)/c)/((-2)/(-14)). Suppose t - 5 - m = 0. Is t a multiple of 17?
True
Let y be 2/6 + 2608/24. Let t = 157 - y. Suppose -t*r + 357 = -45*r. Is r a multiple of 16?
False
Let j be (315/10 + -1)/(2/16). Let p = j - -372. Is 14 a factor of p?
True
Is (19 - 159/6)*-506 a multiple of 7?
False
Suppose -5*o = -s + 14715, -13*s + 15*s = -o + 29441. Does 33 divide s?
False
Suppose -5 = 5*j, -3*g + 6 = -j - 16. Let m(c) = -2*c**2 + 14*c. Let u be m(g). Let a = 74 + u. Is 37 a factor of a?
True
Suppose -3*s - 63 = 3*u, -4*u - 39 - 9 = 2*s. Does 18 divide 296/6 + 96/s + 5?
False
Let h = 412 - 240. Does 3 divide h?
False
Suppose 0 = 3*f - 44*s + 39*s - 20240, f + 2*s = 6721. Does 12 divide f?
False
Let l be (-3)/((-45)/(-20))*3. Let x be 0 + (4 + -8)/l + 4. Suppose -5*y - 25 - 59 = -g, 4*g - 261 = x*y. Is 59 a factor of g?
True
Let l(a) = -a**3 + 6*a**2 - 5*a - 3. Suppose f - q = -1, -7 = 2*f + q - 4*q. Let y be l(f). Let r = 34 - y. Is r a multiple of 9?
False
Let c be (-19)/((-171)/(-3240))*(-30)/4. Suppose -3232 = -4*p - c. Is 7 a factor of p?
True
Let f = -303 + 691. Let r = f - 367. Does 7 divide r?
True
Let i(a) = 36*a - 214. Let y be i(6). Suppose 5*w + 4*o + 0*o = 5096, 5*w = y*o + 5102. Does 22 divide w?
False
Let s be 6 - (-646)/26 - 2/(-13). Suppose s*x - 38*x = -574. Is 10 a factor of x?
False
Let l be (-1)/((-2)/(-2)) + 1. Suppose i - 4 + 0 = l. Suppose -28 = -2*n + 5*p - 4, i*n + 3*p = 48. Does 5 divide n?
False
Let g = -5340 - -6054. Is g a multiple of 15?
False
Suppose 0 = 3*q - 3, 4*q + 106 = -2*o - 246. Let p = 310 + o. Does 11 divide p?
True
Suppose 5*l - 2910 = -5*d, -d + 5*d = 5*l - 2955. Is l/4 - 6/(-29 - -5) a multiple of 9?
False
Let k = 54 - 50. Suppose 0 = 3*g + 15, -2*x + 2*g - 2 = k*g. Suppose x*w - 178 = 42. Is 11 a factor of w?
True
Is (94080/18)/(-8)*42/(-14) a multiple of 35?
True
Let y(z) = z**3 - 9*z**2 - 8*z - 12. Suppose 4*k = 62 + 10. Suppose k*x - 30 = 15*x. Is 4 a factor of y(x)?
True
Let j = 232 + -428. Let l be (-301)/1505 - 1811/(-5). Let z = j + l. Is 24 a factor of z?
False
Let l = -22207 - -31210. Is l a multiple of 10?
False
Let h(a) = -671*a**2 - 1. Let s = 142 - 143. Let d be h(s). Does 36 divide d/(-2)*168/196?
True
Let b(i) = -i**2 - 21*i - 106. Let s be b(-8). Is 6 a factor of ((-11)/s)/((-8)/(-128))?
False
Let j(c) = 2*c**2 + 2*c - 6. Let a be j(-3). Suppose 11*k = a*k + 1025. Is 14 a factor of k?
False
Suppose 41*o - 3524580 = -66*o. Does 12 divide o?
True
Suppose -5*p + 20 = y - 0*y, 5*y - 10 = 5*p. Suppose 3*h = 5*f + 60, -5*h = y*f + 40 + 20. Is 12 a factor of 5*39*(-4)/f?
False
Let z = -54 + 319. Suppose 3*b = -2*h - z + 654, 0 = -5*b - 4*h + 647. Is b a multiple of 10?
False
Suppose 3501*m = 3562*m - 200568. Is 7 a factor of m?
False
Suppose -2*g + 2*a - 5 = 1, 0 = 5*a - 25. Suppose 0 = w + b + 34, -g*b + 11 = 1. Is 15 a factor of (-1144)/w + (-2)/(-3)?
True
Let r(u) = 13*u - 21. Let b(q) = q**2 + 15*q + 40. Let p be b(-12). Let o be r(p). Suppose -c + o = 3*n - 76, 4*n - 139 = -5*c. Is n a multiple of 12?
True
Let q(g) = 717*g**3 - g**2 + 15*g + 18. Let o(s) = 358*s**3 - s**2 + 8*s + 10. Let m(f) = 7*o(f) - 4*q(f). Is 35 a factor of m(-1)?
False
Let k = 179 + -179. Suppose -2*w + 10 = k, 0*a - 4*w + 788 = 2*a. Is 8 a factor of a?
True
Let k = 14900 - 13209. Does 19 divide k?
True
Suppose -2*b = 2*z - 904, 0 = 5*b + 13*z - 10*z - 2272. Is b a multiple of 10?
False
Let u be (-1)/2 - 11/((-22)/843). Let y = -223 + u. Is 9 a factor of y?
True
Suppose -575*u = -71*u + 97*u - 8622547. Does 101 divide u?
False
Suppose 0 = -24*c + 31436 + 13276. Is c a multiple of 9?
True
Let d(u) = -603*u + 22. Let s be d(5). Let i = s + 5249. Does 47 divide 2/6*i/16?
True
Let r = 41 - 38. Suppose 10 = 3*g + r*q - 14, 0 = -3*g - 5*q + 24. Suppose 2*d + g = 110. Is 4 a factor of d?
False
Let f(g) = 8*g**2 + 3*g - 46. Suppose -25*w = 15*w + 240. Does 9 divide f(w)?
False
Suppose -454*p = -533*p + 1370808. Does 36 divide p?
True
Suppose y - 10 = 34. Let t = 44 - y. Suppose 17*a - 18*a + 180 = t. Is a a multiple of 36?
True
Let q = 852 - 22. Suppose 0 = c - 4, -3*f = 3*c - 7*c - q. Is f a multiple of 6?
True
Is 24 a factor of (-1 - 0)/((198292/(-22032) - -2) + 7)?
False
Let g(v) = -9*v**2 - 74*v + 44. Let z(r) = -2*r**2 + r - 1. Let l(j) = -g(j) + 5*z(j). Is 38 a factor of l(21)?
False
Let a(s) = 25*s + 36. Let z(v) = 5*v**2 - 15*v + 15. Let n be z(1). Is 23 a factor of a(n)?
True
Suppose 2*l - 3*v = -2*l + 23, 27 = 5*l - 2*v. Suppose -b + 5*j = b + 21, -l*b - j = 39. Does 12 divide b/36*-3 + (-120)/(-9)?
False
Suppose 70*j = 4*w + 73*j - 88809, 3*j - 9 = 0. Is w a multiple of 148?
True
Suppose -2*w - 1998 = -5*k + 7540, 4*k + w - 7646 = 0. Is k a multiple of 10?
True
Suppose -2*t + 144 = -8*t. Let m be (t/10 - 0)/((-4)/10). Suppose 10*b = m*b + 240. Is b a multiple of 20?
True
Suppose 4*o - 420 + 1588 = -2*t, 886 = -3*o - 4*t. Suppose 163*k - 732 = 167*k. Let r = k - o. Does 8 divide r?
False
Let w(s) = -126*s - 1077. Is 91 a factor of w(-64)?
False
Let g = 94 + 119. Suppose 215*d - 704 = g*d. Is 44 a factor of d?
True
Let q(w) = -2*w + 6*w + 11 + 45 - 6*w. Is q(8) a multiple of 5?
True
Let f be 476/16 + 6/(-8). Suppose -4*m - 3*o + 294 =