
True
Is 30 - ((-18)/(-2) + -9) a multiple of 6?
True
Let y(b) be the third derivative of -b**5/60 + 23*b**4/24 + b**3/6 - 14*b**2. Let s be y(22). Suppose 10 = -s*n + 25*n. Is n a multiple of 2?
False
Let l(a) = -18*a + 0 + 73*a**2 + 2 - 18*a + 40*a. Is l(-2) a multiple of 22?
True
Let n(f) be the third derivative of f**5/60 + 5*f**4/4 - 155*f**3/6 - 135*f**2. Is n(-37) a multiple of 34?
False
Let g be (-8)/6*(7/1 - 1). Is 14 a factor of 2/g - -423*117/108?
False
Suppose 165*y - 164*y - m = 1034, -5*y - 3*m = -5138. Is 5 a factor of y?
True
Does 14 divide (4/(-4))/(6/(-91404))?
False
Suppose -14918 = -129*v - 8*v + 835852. Is v a multiple of 138?
True
Is 2/(-3)*(-3)/5*(54 - -2716) a multiple of 79?
False
Suppose -6435 = -v + 2*l, 35*v - 30*v + 3*l = 32175. Is 13 a factor of v?
True
Suppose n + 5*o = -0*n + 87, 0 = 3*n + 4*o - 272. Let p be 2/(-1 + n/100). Let d = -1 - p. Is 12 a factor of d?
True
Does 32 divide (-1*33392/(-80))/((-1)/(-5))?
False
Let u be (-2)/14 - 215/(-35). Suppose 2*m + 1332 = u*m. Is m a multiple of 37?
True
Let x(d) = 9*d**2 - 5*d**3 - 11*d - 12*d**2 + 10*d + 1. Is 4 a factor of x(-1)?
True
Let n = 51503 - 34381. Is n a multiple of 7?
True
Let x(f) = 5*f**2 + 3*f - 1. Let j be x(2). Suppose y = -s + 20 + 2, j = y + 4*s. Suppose z + y = 78. Is z a multiple of 6?
False
Let p be (-1 + 1)/((-72)/(-8) + -7). Suppose p = 5*y - 3*a - 3960, -3*y - a = -0*y - 2362. Is y a multiple of 8?
False
Suppose -2*a + 4 = n - 3, 2*a - 4*n = 22. Suppose 41 - 6 = a*k. Suppose -3*d - 180 = -k*d. Does 5 divide d?
True
Let d = -55 - -58. Suppose 0 = -4*y + d*w - 19, w - 2*w + 5 = 0. Let b(p) = -99*p**3 - 2*p - 3. Is b(y) a multiple of 14?
True
Let x(v) = -v. Let t be x(-4). Let z(o) = 48 + 34 - 74 + 43 + t*o. Does 26 divide z(20)?
False
Suppose 5*b + 171 - 176 = 0. Is 58 a factor of (-3880)/(-5) + -1 - b?
False
Suppose 1000 = 3*w - 7*w. Let g = -99 - w. Is 9 a factor of g?
False
Let b(t) be the second derivative of -25*t**3/6 - 53*t**2/2 + 66*t. Does 14 divide b(-17)?
False
Suppose 2*g + 60*j - 20900 = 56*j, 2*g - 20900 = j. Does 55 divide g?
True
Suppose -22*j = -21*j + 3*d - 2655, -5*j = -2*d - 13292. Is 31 a factor of j?
False
Suppose f + 99 - 22 = 0. Is 7 a factor of ((-8)/(-44) - 0) + (-12922)/f?
True
Let d(l) = l**3 - 6*l - 3*l - 14 + 19*l**2 - 12*l. Let v(k) = k**3 + 8*k**2 - k - 28. Let s be v(-8). Is 6 a factor of d(s)?
True
Let v = -15740 + 16676. Is v a multiple of 24?
True
Suppose -5*w + 12337 = -5*l - 35503, 5*w + 5*l - 47820 = 0. Is w a multiple of 166?
False
Let w be 0/(2/(-8) - 42/56). Suppose -5*o - 2*h + 493 = 0, w = 2*o - 0*o + 5*h - 214. Suppose 184 = 3*g - 4*k, -2*g + 253 = 4*k + o. Is 15 a factor of g?
False
Let k(u) = -4*u + 31. Let p be k(-5). Suppose 493 = p*g - 34*g. Is 29 a factor of g?
True
Let r = 2053 - 2983. Let k = r - -1348. Does 22 divide k?
True
Let o be (-3)/((-12)/8 + 0). Let t(d) = -23 + 0*d**o + d**2 + 11*d + 0*d**2 + 4*d. Is t(-17) a multiple of 3?
False
Let q(c) = 2*c**2 - 8*c - 2. Let a = -54 - -51. Does 4 divide q(a)?
True
Let l = -15 + 15. Suppose -4*p - 6*p + 40 = l. Suppose p*f + 6 = f, 0 = -2*z - f + 318. Is z a multiple of 16?
True
Let w(v) = 2*v - 194*v**3 - 11 + 0*v - 3 + 195*v**3 - 12*v**2. Let n be (5/40 + 46/16)*4. Is 2 a factor of w(n)?
True
Suppose 3*m - 37 = 5*l + 11, 108 = 5*m + l. Let v be (-3)/m + 13611/21. Suppose 9*n - v = -3*n. Is 18 a factor of n?
True
Let a = -2026 + 2026. Let o(n) = 152 - n**3 - 2*n + n**2 + 2*n**2 - 2*n**2. Is o(a) a multiple of 38?
True
Suppose 4*q = r + 19, r - q + 1 = -3*q. Let x(a) = -2*a**2 - 22*a - 15. Does 19 divide x(r)?
False
Let j(t) = -9 + 0*t**2 - 2*t - 2*t + 3*t**2. Let r(d) = 5*d**2 - 8*d - 19. Let n(s) = 7*j(s) - 4*r(s). Is n(-6) a multiple of 8?
False
Let s be ((-3)/(-5))/(2/(30/3)). Suppose w + 101 = -2*v + 370, -2*w + 524 = -s*v. Let k = -48 + w. Is 49 a factor of k?
False
Suppose 3*c - 3*f - 6 = 0, 2*c + 2*f + 1 = 9. Suppose 5*r = -l + 253 + 50, -r + 881 = c*l. Is l a multiple of 34?
False
Let t be (-17 - -11)/(0 + 3/(-2)). Let s(c) = -11*c + 48. Let a be s(t). Is (-11)/a*(-27 - (-3 + 0)) a multiple of 15?
False
Let r = 86 - 86. Is 5 + -3 + r + 65 a multiple of 5?
False
Suppose -5*v - 52 = -2*v + n, -v + 4*n - 26 = 0. Let d(p) = 401 - 338 - 26 - p. Does 20 divide d(v)?
False
Let w(u) be the third derivative of u**4/12 + 19*u**3/6 - 15*u**2. Suppose -2*a + 0*b + 14 = -b, 3*a + 2*b - 14 = 0. Does 5 divide w(a)?
False
Let d(p) = 5*p**3 - 5*p**2 + 13*p + 4. Let t be d(4). Let h = t + -169. Does 11 divide h?
False
Let d(l) = l**2 + 4*l - 2. Let c be (-4)/1 + -5 + 4. Let p be d(c). Suppose 128 = p*r + 5*r. Does 10 divide r?
False
Let x(k) = -k**3 + 24*k**2 + 26*k - 24. Let l be x(25). Let v(z) be the third derivative of 7*z**6/60 + z**5/60 + z**2. Is v(l) a multiple of 15?
True
Suppose 2*r + 4*w = -w + 36361, 54569 = 3*r + 2*w. Is 4 a factor of r?
False
Suppose 1277 = 56*a - 3651. Let t be (-39)/((6/4)/(-1)). Is 11 a factor of (a/(-6))/(t/(-39))?
True
Let v = 62 + -63. Let h be (3 - 6)*(0/3 + v). Suppose 3*i = 2*p - 116, h*i - 84 = -3*p + 120. Does 32 divide p?
True
Let d = 294 + -186. Is 21 a factor of (-147)/2*d/(-21)?
True
Let z(g) = 0*g + 6*g + 9 - 96 + 3*g. Let m(l) = l - 1. Let d(x) = 4*m(x) - z(x). Does 22 divide d(-23)?
True
Suppose 14885 + 77 = k - 5*q, -2*k + q + 29852 = 0. Is k a multiple of 46?
False
Suppose 11*m - 29147 - 22358 + 18835 = 0. Does 50 divide m?
False
Let n(t) = -127*t**3 + 452*t**2 + 1787*t + 4. Is n(-4) a multiple of 52?
True
Suppose 27*h - 23*h = -3*i - 47, i - 5*h - 16 = 0. Is 5 a factor of 305 - 2/(0 + 6/i)?
False
Suppose -5*c + 5 = -2*f, 5*f = -4*c + 1 + 69. Suppose 15 = 15*x - f*x. Suppose -x*z + 4*q = -0*q - 210, -z + 2*q + 72 = 0. Is 37 a factor of z?
False
Let i(j) = 3*j**3 + j**2 - 2*j + 2. Let s be i(2). Let v(f) = 75*f**2 + 9*f - 7. Let w be v(1). Let n = s + w. Does 16 divide n?
False
Suppose -o = -z - 2, z + 2*o + 33 = 43. Let h = -6 + 9. Does 24 divide z/(-4)*(-432)/h?
True
Let z = 20797 - 12173. Is 176 a factor of z?
True
Let a = -1539 - -2917. Is a a multiple of 153?
False
Suppose -32*f + 32 = -28*f. Let p be ((-466)/f)/(6 + 46/(-8)). Let c = -143 - p. Is 30 a factor of c?
True
Let l(o) = -23*o + 5. Let d(b) = 34*b - 8. Let r(f) = 5*d(f) + 7*l(f). Let q(y) = y**2 + 101*y - 751. Let v be q(-108). Is r(v) a multiple of 4?
True
Let p(h) = 4*h**2 + 52*h + 36. Is 34 a factor of p(28)?
False
Suppose 5*f - 269 = 3*m, -5*f - 4*m + 25 = -258. Suppose -862 = -5*x - 2*k, -x + 131 + f = -3*k. Is 20 a factor of x?
False
Suppose -11*s + 4 = 26. Does 3 divide ((-1)/s*-3)/(273/(-4004))?
False
Let b(z) = 3*z**2 - 9*z + 12. Let t be b(2). Suppose -t*x = -10*x + 8. Suppose 0 = x*j - 65 - 7. Is j a multiple of 18?
True
Let y(n) = 6*n - 34. Let g be y(8). Suppose 19*o - g*o = 25. Suppose -3*m - o*d = -45, 5*m - 4*m - d - 15 = 0. Is m a multiple of 15?
True
Let u be 616/(-770)*1/(2/(-10)). Suppose 2*t = 3*y + 2*y - 171, 3*t = 4*y - 134. Let r = y + u. Is 11 a factor of r?
False
Suppose -5*v + 5*l - 10 = 0, -5*l - 1 = v - 11. Suppose -3*x + 79 + 104 = v. Is 5 a factor of x?
False
Let q(p) = 257*p + 6. Let v be q(-1). Let b = 314 + v. Is b a multiple of 5?
False
Let m = 2146 - 2052. Is m even?
True
Suppose 3*t + 261 = 2*l, 0*t = 3*t - 3*l + 264. Let g be 2/(-5) - 2244/t. Let h = g + 67. Is 34 a factor of h?
False
Let m = 252 - -103. Suppose 12*u - 1709 = m. Does 7 divide u?
False
Let n(q) = q**3 + q**2 + q - 1. Let y be n(1). Suppose y = -8*b + 9*b. Suppose 0 = b*o - 0*o - 44. Is o a multiple of 19?
False
Suppose 0 = n + 5*z + 325, -1515 = -0*n + 5*n + 3*z. Let t be (-10)/(-4)*n/(-125). Suppose -t = -3*a, 4*a + 59 = l - 33. Does 25 divide l?
True
Let z(o) = -2*o**3 + 127*o**2 + 48*o - 816. Does 4 divide z(62)?
True
Let c = -8590 + 18572. Is c a multiple of 12?
False
Is 8 a factor of (-32)/(-96)*(4/2 - 20) + 6942?
True
Suppose 12*h - 125 = -5. Let s(b) = 3*b**2 - 34*b + 72. Is s(h) a multiple of 11?
False
Let u be (1 - 0) + -5 - -8. Let f(v) = 98*v - 14. Is f(u) a multiple of 21?
True
Let h = -235502 - -162683. Is 17 a factor of h/(-62)*(2 - 4/3)?
False
Suppose -w + 5*k + 820 = 3*w, 0 = -4*w + k + 836. Let x be (-28)/w - (-56)/(-30). Is ((-5)/2)/(x/48) a multiple of 33?
False
Suppose -61*k + 67*k - 18 = 0. Suppose k*i - 5*i + 1