+ 15, 2*o - 96 = -3*m. Is m a multiple of 30?
True
Let q(h) = 9*h**3 + 3*h**2 - 2*h + 1. Let t = -18 - -20. Does 27 divide q(t)?
True
Let c(l) = -l**2 + 9*l + 75. Let r be c(-6). Is 5 a factor of 453/10 + r/50?
True
Let a = -14 - 41. Suppose -5*u + 0*u = c + 123, 4*c - 2*u = -580. Let g = a - c. Is 14 a factor of g?
False
Let f(d) = 2 + 110*d**2 - 217*d + 218*d - 1. Is 41 a factor of f(3)?
False
Let g = 45669 - 22863. Is g a multiple of 42?
True
Suppose -3*y + 14 = 173. Let l = 48 + y. Does 2 divide 1/(l/(-6))*(-25)/(-2)?
False
Let g(x) be the third derivative of 0*x + 14*x**2 + 1/24*x**4 + 1/60*x**5 - x**3 + 0. Is g(-7) a multiple of 18?
True
Let u be 1/((-7)/(-231)) - (0 + 1). Let l = -328 + u. Let y = l - -436. Is y a multiple of 19?
False
Suppose 27279*f - 27287*f + 20984 = 0. Does 15 divide f?
False
Suppose 221*w - 9*w - 2297360 = -23*w. Is w a multiple of 188?
True
Suppose -75048 = -20*f + 16*f - 5*i, f - 2*i - 18736 = 0. Does 38 divide f?
False
Does 81 divide -8 + (75 - -26714) + 4 + 1?
False
Let r(h) = 24*h**2 - 135*h + 3124. Does 28 divide r(20)?
True
Suppose -211 = -4*d + 17. Let x = d - 32. Suppose 4*f + x = 97. Does 7 divide f?
False
Suppose 0 = 2*k - 3*n - 7476, 6*n + 14960 = 4*k + 2*n. Does 59 divide k?
False
Is (18 - -36057)/13*2/6 a multiple of 34?
False
Let a(n) = 401*n**2 - 73*n + 585. Is 163 a factor of a(7)?
True
Let v be (60/9)/(6/9). Suppose -280 = 5*o - v*o. Is 4 a factor of o?
True
Let i(w) = -w**2 - 13*w + 12. Suppose -10*z - 125 = 15. Let l be i(z). Is 20 a factor of 0 - -2 - (l - 36)?
True
Let k(z) = z**3 - 21*z**2 + 251*z + 95. Is 59 a factor of k(13)?
True
Let h(x) = 2*x**2 + 14*x + 10735. Is 95 a factor of h(0)?
True
Let i be (9 - (-2 - -1)) + 3/(-3). Let c be -5 + -4 + i + 52 + 0. Suppose 0*t = 2*t - c. Does 13 divide t?
True
Let m(t) = -1356*t + 12. Is m(-2) a multiple of 12?
True
Suppose l = -4*k - 0*l + 1170, 0 = -4*l - 8. Let z = -125 + k. Is z a multiple of 7?
True
Let a be 1*(-3 + 2)*-1 + 3. Suppose -2*g = a*g - 1596. Is g a multiple of 38?
True
Suppose 21 = 4*b + 53. Is 17/2*(27 + (-8)/b) a multiple of 14?
True
Let h(w) = 47*w**2 + w - 3. Let y be h(-1). Suppose -y*v + 38*v + 2890 = 4*j, 0 = -4*v + 5*j + 2312. Is v a multiple of 34?
True
Suppose 3*y = 3*v + 21, 0 = 3*v - 26 + 14. Suppose -4*p = -y*p + 5663. Is p a multiple of 51?
False
Suppose 13 = 6*p + 7. Let h be (p*8)/(5 - 6). Is 29 a factor of (-590)/h - (-8)/32?
False
Suppose -k - 2618 = 62*l - 64*l, -2654 = -2*l - 17*k. Is 10 a factor of l?
True
Let i(v) = -v**2 - 4*v + 95. Let y(d) = -d**3 - 3*d + 95. Let u(p) = -2*i(p) + 3*y(p). Is 3 a factor of u(0)?
False
Let x be 0 - 1 - (7 - 10). Suppose x*b - 5*b = 21. Let p(l) = l**3 + 12*l**2 + 13*l - 3. Is 45 a factor of p(b)?
False
Suppose 5*i - 17 - 78 = 0. Let t(z) = -z**2 - 8*z + 123. Let l be t(-16). Let d = i - l. Is d even?
True
Suppose 0*c - 3*c = 9, -2*j = c - 497. Let t = j - 202. Does 8 divide t?
True
Suppose -5*g = -6*g. Suppose g = -7*l + l. Suppose l = y - 0*y - 8. Is y even?
True
Suppose -5*w = -6*w + 128*w - 600964. Is 13 a factor of w?
True
Is (38 + -49)*(-2 + -39) a multiple of 32?
False
Suppose -4*s = -103 + 131. Suppose 0 = -3*i + c + 3*c + 83, 32 = 2*i + 2*c. Let k = i - s. Is 28 a factor of k?
True
Let o be 7*2/4*10/5. Suppose -o*s = -9*s + 210. Is s a multiple of 5?
True
Let m be (-1 - 0)/((-6)/(-3792)). Let c = m - -920. Is c a multiple of 72?
True
Suppose -15*f - 63627 = -96762. Is f a multiple of 47?
True
Suppose 27*m = 2604 + 2850. Is m a multiple of 3?
False
Let j = 699 + 1124. Let x = -1177 + j. Is 17 a factor of x?
True
Suppose 6*k + 154 = 8*k. Let r = k + -104. Is 6 a factor of (3 - (-5 - r))*-2?
False
Suppose -25604 = 577*i - 609*i + 732. Does 68 divide i?
False
Let j be (6*(-98)/7)/((-3)/4). Let o = j + 249. Is 90 a factor of o?
False
Let k(p) = 14*p**2 + p - 1. Let h be k(-2). Let j = 775 + -804. Let y = j + h. Is y a multiple of 12?
True
Let w(h) = 5*h**2 - 4*h + 5. Let c(g) = -10*g**2 + 8*g - 11. Let i(a) = 2*c(a) + 5*w(a). Suppose 17 = 2*b - v, -25 = -b + 4*v + 1. Is 39 a factor of i(b)?
False
Suppose 0 = -4*k - 116 + 136. Suppose 4*w - 6*m = -3*m + 107, -3*m = -k*w + 136. Is w a multiple of 3?
False
Let j(o) = 22*o**3 - 44*o**2 + 10*o. Is j(5) a multiple of 7?
False
Let i(l) be the first derivative of l**3/3 - 5*l**2/2 - 28*l - 52. Suppose -2*f - 30 = -2*a + f, 4*a - 24 = -3*f. Does 2 divide i(a)?
True
Let f = 6412 - -26516. Is f a multiple of 16?
True
Is 7 a factor of (-10514)/(-8) + (-28)/112?
False
Let d(x) = 7586*x + 3166. Is d(10) a multiple of 13?
False
Suppose -11*a = 49 - 16. Is (2 - 3)/((-1520)/(-508) + a) a multiple of 20?
False
Let n = 35 + -20. Let p = n + -55. Let q = -19 - p. Is 21 a factor of q?
True
Let u(g) = g**3 + 18*g**2 - 14*g + 5. Let r be u(-20). Let w = 818 + r. Is w a multiple of 101?
True
Let p(w) = -108*w**2 + 3*w - 8. Let g be p(2). Let h = g + 822. Does 18 divide h?
False
Does 10 divide (2 - (-3820)/6)/((-136)/(-612))?
False
Let q = 21 + 69. Let v = 126 - q. Is v a multiple of 31?
False
Let d(x) = x**2 - 23*x + 123. Let c be d(8). Suppose -c*r - 44 = -197. Is r a multiple of 6?
False
Let t(h) = -7*h - 47. Let z(f) = f**2 - 11*f. Let s be z(11). Suppose -4 = 2*l - 0, s = -3*m - 2*l - 31. Is 5 a factor of t(m)?
False
Suppose c - 8*c = -49. Let v be -20*c/(112/(-12)). Does 13 divide 6/((-3)/(-1)) + v*4?
False
Let q(c) = 5*c**2 - 11*c + 14. Suppose 3*i - 30 = -2*i. Suppose -i*b = -10*b + 20. Is q(b) a multiple of 28?
True
Let n(g) = -232*g**2 - 4 - 1 - 9*g + 239*g**2 - 4. Let w be n(-5). Suppose -w - 19 = -v. Is 46 a factor of v?
True
Let v(q) = 2*q + 33. Let u be v(-15). Suppose 0 = w - u*w + 210. Let y = 179 - w. Does 37 divide y?
True
Let n(f) be the second derivative of 43*f**4/12 - 5*f**3/6 - 2*f**2 + 178*f. Let w(l) = l**2 - 9*l + 7. Let y be w(8). Does 11 divide n(y)?
True
Suppose 2*z = 2*p - 328, 2*p - 696 = 5*z + 133. Let l = 253 - 570. Let i = z - l. Does 12 divide i?
False
Let j = 8 + -2. Suppose 0*c = j*c - 450. Does 24 divide (-2)/((-10)/(-15)) + c?
True
Suppose -4*q = -5*m - 1297, 5*q = 4*q - 4*m + 298. Is 27 a factor of q/18*(-1 - -4)?
False
Suppose 223*w = 196*w + 246888. Is w a multiple of 72?
True
Let l = 2630 - -6167. Suppose 13*y - l - 1863 = 0. Does 41 divide y?
True
Suppose -3*x + 288 = -0*x. Let w = -93 + x. Suppose -60 = -2*v + w*m, -4*v + 3*v + 5*m = -16. Does 9 divide v?
True
Let a = 5747 + -813. Does 10 divide a?
False
Suppose 5*h + 5 = -5*g, 4*h + 3*g + 0*g + 3 = 0. Suppose 4*s + 14 + 46 = h. Let c = s + 32. Does 12 divide c?
False
Let o = -546 + 536. Let h(i) = 7*i**2 - 12*i + 93. Does 17 divide h(o)?
False
Let v = -29 - -13. Let y be 1256/v + 1/(-2). Let b = y - -233. Is 22 a factor of b?
True
Let c(x) = -11*x + 20. Let l be c(0). Suppose -3692 = -6*i - l*i. Is 27 a factor of i?
False
Let z be 1572/14 + ((-28)/49)/2. Let s = z + -232. Let w = -102 - s. Does 3 divide w?
True
Let x(h) = -8*h - 235. Let q be x(-30). Suppose -g + 450 + 1311 = 4*i, q*i = -5*g + 8820. Does 77 divide g?
False
Suppose 0 = a - 2*a + 13. Suppose -a*x - 4871 = -1387. Is 3 a factor of 4/24*-1 - x/24?
False
Suppose -228 = -3*m - 219. Does 17 divide (-1)/m*(-6 - (3 - -348))?
True
Suppose 2*k - o + 250 = 7*k, 2*o = -k + 59. Suppose -k = -3*m + 224. Does 2 divide m?
False
Let z be (-217)/6 - 23/(-138). Does 51 divide 88/6*(-2214)/z?
False
Is 49 a factor of 124058/(-396)*8*-9?
False
Let f be (1 - 0) + (3 - 5) - -96. Let d = f - -8. Does 4 divide d?
False
Suppose 2483 = 9*q + 521. Let n = 32 - 30. Suppose n*c + 268 = 4*b - q, b + 2*c = 114. Is 10 a factor of b?
True
Suppose -3*u + 2088 = 5*u. Let r = u + 24. Is r a multiple of 19?
True
Suppose -305 = -2*n + 7*y, 6*n - 4*n + 3*y - 295 = 0. Does 5 divide n?
False
Let n = 4629 - 1989. Suppose 12*d = 2*d + n. Is d a multiple of 37?
False
Suppose 10*r = 8*r - 6. Let p(o) = 6*o**2 + 12. Does 3 divide p(r)?
True
Suppose -3*c = 3*p - 11867 - 61453, 0 = 5*c - 2*p - 122228. Does 14 divide c?
True
Let r(w) = 12*w**3 - 2*w**2 - 5*w - 3. Let s be r(-1). Is 20 a factor of s/(-2)*240/18?
True
Let l(x) = 35*x + 23. Let q be l(-5). Does 7 divide (21/(-2))/(19/q)?
True
Suppose 0 = 5*n + 3*n. Suppose -5*y - 2*h + 110 = n, 2*y - 75 = -3*y + 5*h. Let i = y + -14. Is 3 a factor of i?
True
Let k = -22808 - -67643. Is