
Suppose -3*j - 3*u - 24 = -0*u, 2*j + 4*u + 20 = 0. Let x be j/4*8/(-6). Is x*3/6*9 even?
False
Is 37 a factor of 5*(2 - 2/2) - -32?
True
Let l(p) be the third derivative of p**5/30 + 5*p**4/12 - 7*p**3/6 - 3*p**2. Let c be l(6). Let r = -58 + c. Is 22 a factor of r?
False
Let c(z) = -z**3 - z**2 - 2*z - 3. Let s be c(0). Let p be -147*((-16)/(-6) + s). Suppose p = 3*o + 5*y, -2*o + y + 3 = -21. Is o a multiple of 9?
False
Let a(b) = -b**3 - 8*b**2 + 3*b + 9. Let l be a(-8). Is 6 a factor of 2/l - ((-996)/(-45))/(-1)?
False
Suppose 0 = 2*a + a, 0 = 2*r - 3*a - 6. Suppose 3*q + 9 = -r*b + 3, 5*q - 20 = 5*b. Is 13 a factor of (-15)/q*(-5)/5?
False
Let h(z) be the third derivative of -z**4/6 + 2*z**3/3 - z**2. Let k be ((-6)/8)/((-4)/(-16)). Is h(k) a multiple of 16?
True
Let v(x) = x**3 + 16*x**2 - 28*x - 40. Let c be v(-18). Does 23 divide (c/5)/(3/(-15)*1)?
True
Suppose 0 = 5*c + 2*x + 85, -x - 2*x = -2*c - 15. Is 8 a factor of -5*(54/c + 2)?
True
Suppose 0 = -5*j - 3 - 12. Let b = 3 + j. Suppose b = 5*t + l - 27 - 23, -5*t = -4*l - 25. Does 9 divide t?
True
Let h = -696 - -3594. Is h a multiple of 69?
True
Let s be (-8)/((4 - 1) + (-7)/2). Suppose 82 = 4*y - 0*y + 2*h, -2*h + s = y. Is y a multiple of 3?
False
Suppose -5 = -v - 2. Suppose 7 - 1 = v*t. Is ((-12)/(-24))/(t/176) a multiple of 17?
False
Let u(g) = -g**2 + 10*g - 11. Suppose -2 = -2*y, -4*y = a - 0*a - 35. Suppose -5*w + a = 2*h, 4*w + 1 = h + 5. Is u(h) even?
False
Let k = 99 + -35. Suppose -191 = 5*x + k. Let m = -34 - x. Is m a multiple of 3?
False
Is 78 a factor of 90/(-9)*2752/(-40)?
False
Suppose 0 = -4*r + 2*i + 38, 4*r - 2*r + i = 25. Let c = 142 - 120. Let j = c + r. Is j a multiple of 10?
False
Let t(r) be the first derivative of r**4/4 + 5*r**3/3 + 4*r + 5. Let a be t(-5). Suppose -a*z = 4*v - 68, 2*v - 4*v = 3*z - 56. Is 15 a factor of z?
False
Suppose -86*i - i = -58464. Is i a multiple of 12?
True
Let m = 26 - 10. Let x(g) = -g + 19. Does 3 divide x(m)?
True
Let d be ((-156)/(-15))/((-4)/(-50)). Suppose 4*u - 175 = 3*x, -u + d = 2*u - 2*x. Does 8 divide u?
True
Let k(q) = q**2 - 3*q + 6. Let r be k(5). Suppose 2*c = -h - r + 54, 3*c - 6 = 0. Is h a multiple of 26?
False
Let c = 2893 - 1157. Does 28 divide c?
True
Let l(y) be the second derivative of 4*y**3/3 - 6*y**2 + 12*y. Is l(3) a multiple of 4?
True
Suppose 2*r + 15 = 7*r. Let c be (6/(-9)*r)/2. Is 8 a factor of (c + 0)/(5/(-145))?
False
Let x(y) = -41*y + 19. Let c be x(-5). Let s = -131 + c. Is 36 a factor of s?
False
Let j(r) = -4*r - 1. Let m(s) = s**3 - 18*s**2 + 18*s - 25. Let c be m(17). Does 31 divide j(c)?
True
Suppose -3*t + v + 160 = 0, 7*v - 4*v + 64 = t. Let q = 5 - t. Let f = 119 + q. Is 24 a factor of f?
True
Let y(l) = -280*l**3 + l**2 + l. Let h = 172 - 173. Is 28 a factor of y(h)?
True
Let a(t) = -t**2 - 7*t - 6. Let f be a(-5). Let o be (-5)/10 - (-14)/f. Does 20 divide 2 - o - (-1 + -34)?
False
Let p = -49 - -106. Let b = -49 + p. Is 2 a factor of b?
True
Let o(y) = y**2 + y - 2. Let b be 7/((-7)/4) + -3. Let j be (-46)/b + (-76)/133. Does 11 divide o(j)?
False
Is 3 a factor of 2/(-4) + (-1662)/(-4)?
False
Let x(f) = 6*f + 9. Let n be x(-4). Let r = 134 + n. Suppose -3*h + 188 = 5*c - r, -1 = c. Is 13 a factor of h?
True
Let q = 35 + 42. Let l be 226/14 - 11/q. Let g = 32 - l. Is 8 a factor of g?
True
Suppose -5*m = 5*x - 30, -3*x + 0*m + 5*m = -2. Suppose 307 + 96 = 5*k - l, l = -x*k + 317. Is k a multiple of 26?
False
Let j = 27 + 6. Let w = 65 - j. Is 7 a factor of w?
False
Suppose i - 2*o - 159 - 230 = 0, 10 = -5*o. Does 7 divide i?
True
Suppose 19 = 4*m + 3. Suppose -3*d + 28 + 77 = 2*w, -m*w = 4*d - 136. Is d a multiple of 8?
False
Let v = -152 - -1144. Is v a multiple of 24?
False
Let m(r) = r**2 + r - 7. Let l be m(3). Suppose -l*i + 61 = -214. Does 16 divide i?
False
Suppose 3*y = -r + 7, 2*r = -9*y + 8*y - 11. Let n = r + 68. Is 17 a factor of n?
False
Let d = 76 - 72. Is (1*22)/(d/64) a multiple of 16?
True
Suppose 3*t - 247 - 16 = 4*i, 5*t = 2*i + 415. Does 27 divide t?
True
Let y be 1455/165 + 2/11. Suppose q + 6*f = y*f + 148, -5*q = f - 756. Is 17 a factor of q?
False
Suppose 0 = 3*g + 4*r - 205 + 68, -3*g = r - 140. Let o = g + 51. Does 8 divide o/4 + 4/(-8)?
True
Suppose -2*v - 15 = -1. Let j(g) = g**2 + 5*g + 8. Let h be j(v). Suppose -n + h = 3*p, -18 = n - 7*p + 2*p. Is 2 a factor of n?
False
Let q(b) = 8*b**2 - 16. Is 14 a factor of q(4)?
True
Let v(u) = -6*u - 4. Let n be v(-2). Is 11 a factor of 294/4 + n/16?
False
Let x(k) be the third derivative of 3*k**4/8 + k**3/2 - 3*k**2. Let w be x(3). Suppose -2*a = -a - w. Does 13 divide a?
False
Let c be 15*((-1)/3 - (-14)/21). Suppose -k + 0*u - 3*u = c, 0 = 3*k + u - 17. Does 7 divide k?
True
Let k = -120 - -204. Suppose 72 = 4*f - k. Suppose -5*p = -2*c + 63, -2*c - 4*p + f = 3. Does 24 divide c?
True
Let a(f) = f - 8*f + 6*f - 11. Let y be a(-12). Let o(q) = 75*q**2 + q - 1. Is 17 a factor of o(y)?
False
Let f = 18 - 6. Suppose -11*z + f*z - 5 = 0. Suppose -4*p - 50 = -2*x, z*x + p + 2*p = 190. Does 7 divide x?
True
Let s be 1 + (-10 - (-1 + 2)). Let k = 13 + s. Suppose 0 = -o - k*o + 96. Is 8 a factor of o?
True
Let m(a) = 7*a**2 + 13*a + 2. Suppose 12*z = -28 - 20. Is m(z) a multiple of 4?
False
Let o = -277 + 290. Let t be -2*(1/2 + 1). Does 2 divide (t - 0/2) + o?
True
Let a be 12 - (0 - (-4)/1). Let f be (6/a)/((-2)/272). Let s = -48 - f. Does 16 divide s?
False
Let q be 0 + 2*(-7)/2. Let k(m) = 4*m**2 + 12*m**2 + 0*m + 5*m - 8 - 14*m**2. Is 21 a factor of k(q)?
False
Let o(f) = 21*f**2 + 190*f + 10. Is o(-10) a multiple of 7?
True
Suppose -7*k + 588 = -6*k. Suppose -5*x + 0*x = 2*g - 284, 0 = -4*g - 5*x + k. Is g a multiple of 45?
False
Let t = 70 + -179. Let u = 155 - t. Does 33 divide u?
True
Suppose 98 = 5*o - 2*i - 2370, 5*i - 2475 = -5*o. Is o a multiple of 19?
True
Suppose -5*o = -7*o + t + 66, -t = o - 27. Is o a multiple of 3?
False
Let t = -620 + 1042. Is 50 a factor of t?
False
Let s be ((-6)/10)/(1/15). Let a = -5 - s. Suppose -2*i + a*i = 60. Is i a multiple of 6?
True
Let i(s) = s**3 - 2*s - 4. Let c be i(3). Suppose -5*x + 55 + 10 = 5*w, 3*x = w - c. Is w a multiple of 7?
True
Is 4 a factor of (-880)/(-3) + (-48)/(-72) + -3?
False
Suppose 16*l - 112 = 256. Let h = l - 9. Is h a multiple of 7?
True
Suppose -16*w + 17*w = 200. Does 8 divide w/12 + 2/(-3)?
True
Let f(a) = a**2 + 1. Let v be f(0). Let q be ((-4)/(-2) - 1)*v. Is 18 a factor of -3*(q + 57/(-3))?
True
Let v(o) = -3*o + 349. Is v(34) a multiple of 13?
True
Let p be 4/10 - 306/15. Let c be (-368)/(-6) + p/15. Suppose -5*d + c = -25. Is 17 a factor of d?
True
Suppose n - 1 - 3 = 0. Suppose p = n*p - 279. Is p a multiple of 31?
True
Suppose 30*u - 15262 = 18938. Does 20 divide u?
True
Let o be (-2)/(-4) - 18/(-4). Suppose -4*u + 2*y = -10, u + o*y + 7 = 5*u. Suppose -3*x + 82 = -j, x - j = u*x - 48. Does 13 divide x?
True
Suppose 15*w = -9*w - 1200. Let a(f) = 17*f + 5. Let z be a(4). Let i = w + z. Is i a multiple of 9?
False
Suppose 162*y + 2016 = 168*y. Does 21 divide y?
True
Suppose -3*i = -5*b - i - 18, 0 = b - 4*i. Is 16 a factor of 94 + 0 + (-1)/b*8?
True
Let m(a) = 8*a - 1. Let f be m(1). Suppose -f*k + 355 = -2*k. Is k a multiple of 37?
False
Suppose -14772 = -11*c + 5864. Is c a multiple of 28?
True
Let y(j) = j**3 + 10*j**2 - 19*j + 17. Does 3 divide y(5)?
True
Let g = 12 - 6. Suppose -17*c - g = -20*c. Suppose 2*f - 3*f + 39 = 3*p, -c*p + 126 = 4*f. Is 10 a factor of f?
True
Let f = 77 + 129. Does 30 divide f?
False
Suppose -d - 9 = -3*j, -2*j - 84 = 5*d - 4*j. Is 22 a factor of 30*4/d*(-33)/2?
True
Suppose 3*k - 59 + 176 = -4*x, 4*x - 4*k + 152 = 0. Let c = -7 - x. Does 13 divide c?
True
Let v = 28 + -22. Let q = v + 10. Is 12 a factor of q?
False
Let d(v) = 9*v + 1. Let s be d(-1). Let q = 36 + s. Does 14 divide q?
True
Let p be 8/(-14) + 1460/(-140). Let a = 11 - 19. Let m = a - p. Is m a multiple of 3?
True
Suppose -28 = -5*b + 4*i - 8, b - i = 5. Suppose 0 = 3*t - b*t + 18. Is 32/t*33/(-2) a multiple of 12?
False
Let b = -4132 - -6257. Does 17 divide b?
True
Let f = 788 - 706. Is f a multiple of 9?
False
Let x(w) = -5*w + 62. Let a be x(12). Let b(q) = 26*q - 17. Is 3 a factor of b(a)?
False
Suppose 0 = 211*d - 215*d + 284. 