 divide h?
True
Suppose 2*i - 2 = -2*z, -i = -2*i + 1. Suppose -5*t + 1065 = 5*p, 4*t - 5*t - 2*p + 213 = z. Is 12 a factor of t?
False
Let z = 2 - 1. Suppose -39*c + 81 = 276. Does 3 divide (-55)/c - 4 - z/1?
True
Let o = 12 + -7. Suppose o*v - 28 = t + 2, 5*v - 30 = -t. Does 15 divide ((-225)/v - 0)*-2?
True
Let y = 12097 - 5607. Is 55 a factor of y?
True
Suppose 0 = 21*z + 31*z - 204256. Does 29 divide z?
False
Suppose 38 = 4*t - 70. Suppose -a - 51*p - 20 = -46*p, 2*p = -2. Let u = t + a. Does 10 divide u?
False
Suppose -2*d - 4*y = d - 17639, 0 = 5*d + 3*y - 29380. Is 15 a factor of d?
False
Is 3 a factor of 2/29 - 438/(-522)*3207?
True
Suppose 2*f = -3*s - 7, -2*s = 4*f - 6*f - 12. Let b(z) = -6*z - 3*z**3 + 0*z**3 - 13 + 4*z**3 + 8*z**2. Is b(f) a multiple of 10?
False
Let a(c) = c**3 + 5*c**2 + 8*c - 8. Let l be a(-5). Suppose 3*v - 244 - 197 = 0. Let q = l + v. Is q a multiple of 9?
True
Let y be (8 + 6)*(-12)/(-14). Suppose 5*a + 1904 = y*a. Is 17 a factor of a?
True
Suppose 13*z - 40*z + 13203 = 0. Suppose z = 10*f - 951. Is 18 a factor of f?
True
Let y = 50 - 50. Let v(f) = -2*f - 5 + 0*f**2 + y*f + 10 + f**2. Does 12 divide v(-7)?
False
Suppose -1526335 = -237*c + 994871. Is c a multiple of 14?
False
Let k(t) be the third derivative of -t**6/120 - 11*t**5/60 - 7*t**4/6 - 4*t**3 - 14*t**2 - 3*t. Does 8 divide k(-8)?
True
Suppose -25*u + 170 = -20*u. Suppose -2*r - 42 + u = 0. Does 16 divide (3 + r - 3)*-8*2?
True
Suppose 76*v - 1638823 = 1223261. Is 68 a factor of v?
False
Let j be (342/(-10))/3 - (-21)/(-35). Let p be (-30)/j*(2 + 8/2). Suppose p*m - 108 = 6*m. Is m a multiple of 3?
True
Is (57 + -31)*(-5 + 885/6) a multiple of 39?
True
Let d(s) = 4*s + 36. Let q be d(-13). Let n = 113 + q. Suppose 0 = -5*x + n - 2. Is x a multiple of 11?
False
Let n(k) = -2169*k + 53. Let a be n(-3). Suppose 10*g - a = -31*g. Is 20 a factor of g?
True
Does 10 divide 30380 - (-17 + 16)*-17?
False
Suppose 0 = -1462*y + 1500*y - 851390. Does 125 divide y?
False
Let i(a) = -6084*a + 466. Does 103 divide i(-2)?
False
Suppose 0*t - 2*t + 3*u - 1 = 0, 2*u = 4*t - 10. Suppose -t*m + 6600 = 8*m. Is 22 a factor of m?
True
Suppose 5386 = 2*c + p, 3*c + 106*p - 102*p = 8059. Is 93 a factor of c?
True
Let c(p) = p**2 - 89*p + 1533. Let y be c(35). Let r be 20*(1 + 48/2). Let i = r + y. Is 54 a factor of i?
False
Let o(i) = -i**2 - 392*i - 11796. Is o(-37) a multiple of 28?
False
Let n = -168 - -174. Does 28 divide n/33 + (-3675)/(-55)?
False
Let u(c) = -11*c**3 - 5*c**2 - 6*c - 3. Let q be u(-2). Suppose -1 = -6*b + q. Let j(t) = t**2 - 12*t + 14. Does 9 divide j(b)?
True
Suppose 84*v + 83128 = 179*v - 87*v. Does 27 divide v?
False
Let h(g) = -2*g**2 - 280*g - 837. Is h(-120) a multiple of 26?
False
Let o = 3197 - 635. Is 122 a factor of o?
True
Let h(y) = 5*y**2 - 3*y + 2. Let j be h(1). Let t be (1 - 4) + (-9)/(-7 + j). Suppose t*c + 2*c - 254 = 0. Is 21 a factor of c?
False
Let f(b) be the second derivative of -b**4/12 - 14*b**3/3 - 14*b**2 - 16*b + 1. Does 4 divide f(-26)?
True
Let z = 694 + -50. Suppose 12*g - 160 - z = 0. Suppose t - 190 = -g. Is t a multiple of 14?
False
Suppose -2*d - 6 = 5*l, 2 - 5 = -2*l + d. Suppose i + 3*i - 8 = l. Let s = i + 11. Is s a multiple of 4?
False
Suppose 4*k - 15 = -11*k. Let j be (-2 + 1)/(k*(-6)/66). Suppose -10*z - 33 = -j*z. Is 11 a factor of z?
True
Let k(i) = i**3 + 13*i**2 + 8*i - 31. Let a be k(-12). Suppose 207 = 7*q - a. Is q a multiple of 6?
False
Let u = 21356 + -2356. Is u a multiple of 25?
True
Suppose 4*d + 52 = -5*x, -5*d = -x - d + 4. Let p(v) = v**3 - 7*v**2 + 8*v - 8. Let t be p(7). Let l = x + t. Is l a multiple of 23?
False
Suppose 3*t + t + 4*h = 4, t - 3*h = 5. Let i be (t + (-6)/5)*5. Suppose -3*r + 139 = -i*a - a, -3*r + 142 = -2*a. Is r a multiple of 24?
True
Let c be (-1)/(-2) + 0 + 535/10. Suppose -3*b = -6*b + c. Is 18 a factor of b?
True
Let n(o) = o - 20. Let s be n(-7). Let t = -62 - s. Is 4/(-8)*t*4 a multiple of 35?
True
Let o = -199 + 225. Let u(r) = -r + 98. Is 20 a factor of u(o)?
False
Suppose 2*l + 4 = -8, 4*s = -2*l + 41044. Does 10 divide s?
False
Let f = 3246 - 1977. Is f a multiple of 52?
False
Suppose 3*t + 692 = -2*s, 3*t - 346 = s + t. Let l = 433 + s. Is l a multiple of 5?
False
Let n(s) = 52*s + 21. Let j be n(0). Suppose 2*l = i - 83, 23*i - l - 163 = j*i. Does 41 divide i?
False
Is ((-31)/4)/((-76)/24928) a multiple of 41?
True
Let a = 9853 + -4633. Suppose -7*f + f = -a. Does 15 divide f?
True
Let t = -23 - -28. Suppose -t*n + 368 = -d - d, 3*n + 3*d = 204. Suppose -14*j = -10*j - n. Is 9 a factor of j?
True
Let l(s) be the second derivative of s**3/6 + 99*s**2/2 + s + 44. Is l(-9) a multiple of 15?
True
Suppose 4*f - 5*y = -4*y, -2*y = -5*f. Suppose f = 3*p + o - 221, 3*p - 3*o = 33 + 168. Is 4 a factor of p?
True
Does 11 divide (-2034060)/(-1512) - 2/4 - 4/(-18)?
False
Let u(t) = 2*t**2 - 19*t + 9. Let j be u(20). Suppose -4*r + x + 1761 = 0, -2*x + j = 2*r - r. Let s = 654 - r. Is s a multiple of 43?
True
Let m(r) = -843*r - 103. Does 45 divide m(-4)?
False
Suppose 817*i - 60606 = 804*i. Is i a multiple of 37?
True
Suppose -5*x + 488 = -212. Suppose -5*i + 79 + 347 = 4*q, -5*q = -3*i + 226. Let b = x - i. Is b a multiple of 22?
False
Let c = -14971 - -15803. Is c a multiple of 6?
False
Let i(o) = 4*o - 46. Let p be i(12). Suppose -5*s + 2580 = -0*c + c, -c - 1039 = -p*s. Is s a multiple of 13?
False
Let q be 3 + 30/(-21) - (-9)/21. Suppose q*t = -3*r + 9, -2*r + 7 = -4*t + 1. Let l(o) = 32*o - 5. Does 11 divide l(r)?
False
Suppose 8226 + 8174 = -37*u + 53*u. Does 5 divide u?
True
Is 48/18*5/((-40)/(-132)) a multiple of 22?
True
Suppose 0 = -5*f + 9*f + 8. Let k be 77/44 + f/(-8). Does 41 divide -4*(-1 + (29/(-4) - k))?
True
Suppose 68*c = -103*c + 2003949. Is c a multiple of 95?
False
Let k(u) = -68*u + 269. Let j be k(4). Is (-34008)/(-117)*(0 - j) a multiple of 7?
False
Let b be (10/3)/(10/15). Suppose -6*d + 2*n = -d - 25, -4*d + 20 = b*n. Suppose 37 = d*u - w, -5*u = -2*u + w - 27. Does 8 divide u?
True
Let r = -44 - -43. Let a be -3 - r - (-10 + 10) - -4. Suppose 4*f - 442 = -2*m, -2*f + 209 = a*m - 5*m. Is 56 a factor of f?
False
Suppose -3*p + 154 = 4*p. Is 9 a factor of 2/3*4719/p?
False
Let b = -139 + 63. Let f be b/(-13) - (-20)/130. Is 724/f + ((-40)/24 - -2) a multiple of 15?
False
Suppose 0 = w - 5*q + 5 - 47, 0 = -3*q - 6. Is 3 a factor of 84/(-21) + -2*w*-1?
True
Let v(c) be the third derivative of -c**5/60 + c**4/3 + 36*c**2. Let j be v(7). Suppose 134 + 265 = j*h. Is 7 a factor of h?
False
Let w = -1389 - -2036. Suppose -648*m = -w*m - 342. Is m a multiple of 19?
True
Does 7 divide (1 - 1*-5778) + ((-20)/5)/1?
True
Suppose -20 = -4*u, 2*d - 200 = -d + 2*u. Suppose -6*b - d = -250. Is 22 a factor of b?
False
Let t(d) = 7*d + 208. Let p be t(-29). Suppose 4*y + 152 = p*w, 3*y = w - 7 - 19. Is 13 a factor of w?
False
Let q(x) = -8*x**3 + 6*x**2 - 19*x - 75. Is q(-5) a multiple of 45?
True
Let w(g) = 7*g**2 + 4. Let a(x) = 2*x**2 - 4*x**2 + 9*x**2 + 7*x**2 + 8. Let z(u) = -2*a(u) + 5*w(u). Does 4 divide z(2)?
True
Suppose 3*g + 2*g = 2*m - 11856, 4*g + 29640 = 5*m. Is m a multiple of 26?
True
Suppose a + 2*a = 9. Does 28 divide (22/a)/((-8)/(-672))?
True
Suppose 5*v = y + 2*y + 19, 2*v - 1 = -y. Suppose 3*s - 1960 = -v*f, 23*s - 19*s - 2615 = -3*f. Does 25 divide s?
True
Let l(t) = -10 + 9*t + 6 - 13. Let u = 16704 - 16694. Is l(u) a multiple of 7?
False
Let r(n) = 1835*n**2 + 144*n + 430. Does 20 divide r(-3)?
False
Let w = -2463 + 2463. Let y(n) = 586*n**3 - n**2 + n - 1. Let b be y(1). Suppose w = -5*r + a + b, 0*a - 15 = -3*a. Does 25 divide r?
False
Let p = 12989 + -3791. Is 146 a factor of p?
True
Let d(a) = a**3 - 9*a**2 - 23*a + 10. Let z be d(11). Let o = 8 - z. Let x(n) = 5*n + 15. Is x(o) a multiple of 17?
False
Let j(f) = 13*f**2 - 37*f - 204. Is j(-22) a multiple of 29?
True
Does 41 divide 35/((-735)/(-12))*(-24857)/(-2)?
False
Let u(z) = 85*z + 8*z - 5*z + 44*z + 38*z - 130. Does 45 divide u(5)?
True
Let v = -6222 + 9462. Is v a multiple of 72?
True
Is (18 + 155)*12/2 a multiple of 27?
False
Let o be (4 - 4) + 243 + 0. Is (1/(4/6))/(o/4698) a multiple of 11?
False
Suppose 0*y + 20 = 4*y. Let q(g) = g**2 - 4*g + 3. Let h be q(y). Suppo