Let g = -35 - -30. Is 2 + (-10)/(-5) - g a multiple of 5?
False
Suppose -4*l + 118 = -2*v, 3*v - 5*l - 100 = 5*v. Let m be ((-1)/2)/((-2)/472). Let t = m + v. Is 21 a factor of t?
True
Let d(h) = h**3 + 2*h**2 - 2*h - 2. Let s be d(-1). Is 51 a factor of ((-306)/3)/((-2)/s)?
True
Suppose 2*p + 409 = 5*v, -4*v + 322 = -4*p + 5*p. Suppose -v = -3*r - 18. Is 7 a factor of r?
True
Let q(j) be the third derivative of j**5/20 + 3*j**4/8 + 19*j**3/6 + 5*j**2. Is q(-7) a multiple of 10?
False
Let h be (0 - 310)/(12/(-6)). Suppose 0 = -8*k + 3*k + h. Is 11 a factor of k?
False
Suppose -113*f + 3328 = -105*f. Does 13 divide f?
True
Let h be 6/4*(-16)/(-6). Suppose -4 = h*j - 2*j. Does 2 divide -3 - (13 + -1)/j?
False
Suppose -4*g + 203 = i - 269, 0 = -4*g + 5*i + 448. Suppose 0 = 4*b + 4*y - 139 - g, -5*y = 2*b - 128. Does 7 divide b?
False
Is 31 a factor of (-310)/(2/(-20)*4)?
True
Let w(u) be the second derivative of -u**3/3 + 7*u**2 - 5*u. Let o be w(7). Suppose o = f - 4*l - 52, 4*l - 6*l = 8. Is f a multiple of 18?
True
Let l(t) = 24*t**2 + 4*t - 8. Let u be l(4). Suppose -15*w + u = -7*w. Is 24 a factor of w?
False
Let d(h) = -4*h + 761. Does 19 divide d(5)?
True
Let y = 102 + 236. Is y a multiple of 13?
True
Let l = 36 - 22. Let z = l - -38. Is 7 a factor of z?
False
Is (189225/54)/25 + 1/(-6) a multiple of 14?
True
Let l be (1/(-2))/(1/1062). Let h = 858 + l. Suppose 0 = -5*a + 5, 0 = -u - 4*u + 3*a + h. Is u a multiple of 22?
True
Let w be 2/((-7)/(-2) - 3). Let s(c) = c**2 + c - 5. Is 3 a factor of s(w)?
True
Let v = -39 - -44. Let s = 26 + v. Does 25 divide s?
False
Suppose 0 = -5*p - u + 3*u - 412, -2*p - u = 172. Let b = -42 - p. Does 20 divide b?
False
Let c(n) = 9*n + 4. Is c(5) a multiple of 13?
False
Suppose -3*y = -31 - 158. Is 4 a factor of y/6*(-48)/(-18)?
True
Suppose -6824 + 45608 = 16*g. Is 11 a factor of g?
False
Let v = 2254 - 1525. Does 32 divide v?
False
Let a be (-1)/(4 + -3)*-1. Let h be -1*(8 + a)/(-3). Suppose 0 = -p + h*s + 8, -4*p - 2*s + 100 = 3*s. Is 20 a factor of p?
True
Suppose 0 = 5*x - 20, -l + 2*x = -3*l + 22. Suppose -1 - l = -2*w. Suppose w*o = 2*j - 2, 2*o = 4*j - 14 - 14. Is 2 a factor of j?
False
Let p = -714 + 1092. Is p a multiple of 18?
True
Suppose 2*t + 8*j = 1566, 7*t - 11*t + 2*j + 3204 = 0. Does 3 divide t?
False
Let w(m) = -3*m**3 - 4*m**2 - m - 3. Let c be w(-3). Is (-30)/c*39/(-2) even?
False
Suppose -28*f + 33*f = -595. Let y = -85 - f. Is 3 a factor of y?
False
Let m = 3360 - 1795. Is m a multiple of 12?
False
Let g = 36 - 89. Let s = g - -99. Does 23 divide s?
True
Let g = -6 + 8. Suppose g = -2*p - 2. Is 26 a factor of p/5*-5*13?
True
Is 28 a factor of (14/(-2) - 443)*-1?
False
Let y(r) = 4*r**2 - 5*r**2 - 21 - 7 + 34*r - 17. Is y(27) a multiple of 18?
True
Does 14 divide 42/140 - (-8468)/40?
False
Does 8 divide (-2 - 1)/((-19)/(42104/3))?
True
Let s(v) = 120*v - 225. Does 5 divide s(4)?
True
Let n(a) = 4*a + 54. Does 15 divide n(3)?
False
Suppose -5*w + 3*f + 130 + 119 = 0, -4*f - 12 = 0. Is w a multiple of 8?
True
Let g(i) = i**3 + 2*i**2 - i. Let o be g(2). Suppose 3*t + 3 = 0, -m + o = t + 2. Does 10 divide m?
False
Let l = 434 - 70. Is 14 a factor of l?
True
Let h(f) = 8*f + 31. Is h(-3) even?
False
Suppose 0 = 15*x - 13*x. Suppose -3*o + 4 + 8 = x, -802 = -5*b + 2*o. Does 31 divide b?
False
Suppose -4*p = -7*p + 12. Suppose 0*h = p*j - 2*h - 178, 2*j + 5*h - 59 = 0. Is j a multiple of 14?
True
Let z(x) = -9*x**3 - 2*x**2 - 4*x. Let y be z(-3). Let l = y + -133. Is 15 a factor of l?
False
Let f be 2/(8/(-4)) - -196. Let k = -110 + f. Does 18 divide k?
False
Let w(i) be the second derivative of -i**4/12 - i**3 - i**2/2 - 12*i. Is w(-4) a multiple of 2?
False
Let b(f) be the first derivative of f**4/4 + 2*f**3 + f**2 - 2*f + 1. Suppose -2*a = 4*h + 12, -5*a - 5*h = -0*h + 25. Is b(a) a multiple of 22?
True
Let t = 159 + -6. Does 47 divide 23647/t - (-4)/9?
False
Does 64 divide 8/28 - 15308/(-28)?
False
Suppose 0 = 5*g - 5. Suppose 3*w - 91 = -g. Suppose 0 = -2*u - 3*l + 53, 3 = 2*u - l - w. Is 5 a factor of u?
False
Let c = -47 - -37. Let r(p) = p**3 + 13*p**2 + 20*p - 15. Is 17 a factor of r(c)?
True
Let d = 61 + -66. Let r(t) = 4*t**2 - 6*t - 1. Let p(y) = -y**2 + y. Let g(c) = -5*p(c) - r(c). Is 12 a factor of g(d)?
False
Let z be 18/4*(-3224)/3. Does 15 divide z/(-108) + 3/((-54)/(-4))?
True
Is 26 a factor of (-5782)/(-28)*88/28?
False
Let x(b) = -b**3 - 13*b**2 - 12*b - 10. Let p be x(-12). Let d = p + 2. Let t = d + 11. Does 3 divide t?
True
Suppose -4*r - 83 = -5*c, -3*c + 37 = r + 3*r. Does 3 divide c?
True
Does 58 divide -1*3/(-6) + 2776/16?
True
Does 29 divide 692 - -1 - 3/6*6?
False
Suppose -2*v + 0 = 2. Let h be 108/26 - (-10)/(-65). Let f = h - v. Is 3 a factor of f?
False
Let z be (8 - -1)*(2 + -1). Let h be 543/z + 6/9. Let a = h + -26. Is a a multiple of 10?
False
Is (52/(-6))/(-1 + (-848)/(-852)) a multiple of 13?
True
Let r = -16 + 17. Let o be 2/(-1)*r - -6. Suppose -46 = -o*x + 66. Is x a multiple of 7?
True
Let a be ((-2)/4)/(2/(-4)). Let k be -2*(-1 + a - -14). Let r = -12 - k. Is 4 a factor of r?
True
Suppose -3*g = -5*j - 414 - 62, 2 = j. Does 6 divide g?
True
Let g(c) be the third derivative of -c**4 - 2*c**3/3 - 2*c**2. Let h be (-1)/((-20)/12)*(1 - 6). Is g(h) a multiple of 17?
True
Let t be (3 - 0)/(6/6). Let p(g) = g + 7. Let k be p(-7). Suppose -t*m - 2*m = 3*c - 130, k = -4*m + 20. Does 9 divide c?
False
Let i = -260 + 606. Is 31 a factor of i?
False
Let z = 17 - 20. Let y be (-12)/6*z/3. Suppose -y*w = 13 - 49. Does 18 divide w?
True
Is (8 - 7) + 7 - -1584 a multiple of 23?
False
Let t = -19 - -41. Suppose -28*r = -27*r + 4*i + 10, 5*i + 13 = -r. Suppose -t = -3*v + r*v. Is 11 a factor of v?
True
Let b(m) = 202*m**3 - 17*m**2 + 5*m - 2. Is b(2) a multiple of 34?
False
Suppose b + 13482 = 4*b. Is b/98 + 1/7 a multiple of 9?
False
Let y be -7 - (-2 + -4) - (6 - 0). Let i = 203 + y. Is 16 a factor of i?
False
Let u = 14 + -14. Suppose -3*m - 11 + 29 = u. Does 2 divide m?
True
Let n = 1979 - 988. Is 76 a factor of n?
False
Suppose 2*h = 4*w + 354, h = -2*h - 4*w + 561. Let f = h + -123. Is 20 a factor of f?
True
Suppose -4*n + 2613 = i, 0*n + 4*i = -5*n + 3258. Does 55 divide n?
False
Let g = 2117 - 1051. Does 14 divide g?
False
Suppose 0 = 2*w - 19 - 25. Suppose -16*g = -w*g + 2352. Is 45 a factor of g?
False
Let d(s) = -s**2 - s - 3. Let n be d(0). Let b be n/((-44)/48 - -1). Is 9 a factor of (4/8)/((-2)/b)?
True
Suppose -4*s + 3*l = 3, 0*l = -5*s - 4*l + 35. Suppose -50 = -b - 5*d, -2*b + 2*d = -s*d - 160. Is b a multiple of 5?
True
Suppose -12*d + 14*d - 8 = 0. Suppose d*u = 24 + 4. Does 2 divide u?
False
Suppose -117*v = -128*v + 7458. Is v a multiple of 28?
False
Let i(g) = 77*g**2 + 2*g. Is i(-2) a multiple of 19?
True
Suppose 1817 = 5*o + r, -2*r = -o - o + 734. Suppose 0 = 29*h - 31*h + o. Is 17 a factor of h?
False
Let n(r) = -r**3 + 17*r**2 - 11*r + 20. Does 61 divide n(15)?
True
Let r(t) be the first derivative of 18*t + 1/3*t**3 - 1/4*t**4 + 5 - 1/2*t**2. Is r(0) a multiple of 8?
False
Is 18 a factor of (-11)/((-10)/(-3540)*-6)?
False
Let u = -8 - -14. Let f(d) = 3*d**2 - 7*d - 6. Does 15 divide f(u)?
True
Let r be (-1)/(-3) - (-14)/(-42). Let w(p) = 2*p + 3. Let i be w(r). Suppose i*n - 98 = -0*n + 2*g, -14 = -n - 4*g. Does 6 divide n?
True
Let t(o) = o**3 - 25*o**2 + 28*o - 44. Is t(24) a multiple of 28?
False
Let b be (3 + 0)/(1/5). Let o = -19 + b. Let y(j) = -j**3 - 4*j**2 - j + 8. Is 10 a factor of y(o)?
False
Let s(l) = l + 11. Let v be s(-11). Suppose -c + 4*b - 2 = 0, v = -2*c + 5*b + 3 - 4. Does 21 divide (c - 3) + 5 + 17?
True
Suppose -3*g = g + 16. Let l be (-2 - -2) + g/(-2). Suppose l*j = -j + 90. Does 17 divide j?
False
Let q(l) = -2*l**3 - 4*l**2 - 3 - 4*l - l + 3*l**3. Let w be q(5). Does 5 divide 2/(-2) - (w + -5)?
False
Let k(t) be the second derivative of -5*t**3/6 - 21*t**2/2 + 18*t. Is k(-7) even?
True
Suppose -39*j = -40*j + 3. Let g(f) be the first derivative of 9*f**2/2 - 5*f - 1. Is g(j) a multiple of 10?
False
Suppose 3*j + 4*q - 2028 = 0, 7*q - 3*q - 12 = 0. Does 12 divide j?
True
Suppose -3*t + 14 = j + j, t = -4*j - 2. Let p(y) = 4*y - 3. Let d be p(t). Suppose 0 = 2*w - 27 - d. Is w a multiple of 8?
True
Let d(x) =