/(-24). Let z = -24 + a. Is 10 a factor of z?
True
Let q(h) be the third derivative of 31*h**5/60 - 17*h**4/24 - 8*h**3/3 + 126*h**2. Is 16 a factor of q(-1)?
True
Does 122 divide 136630/70 + (-6)/(-42)?
True
Let c(u) be the first derivative of u**5/20 + 17*u**4/12 + 4*u**2 - 5*u - 9. Let s(y) be the first derivative of c(y). Is s(-17) even?
True
Suppose -12*i + 18 = -3*i. Does 7 divide i/(-5) + 4*2211/60?
True
Let h = 106 + 1900. Is 34 a factor of h?
True
Let v be (-320344)/(-64) - (-12)/(-32). Suppose 0 = -7*o - 6*o + v. Is o a multiple of 55?
True
Suppose -9882 = -7*w + 29486. Is w a multiple of 23?
False
Let d = 18186 - 6662. Is d a multiple of 134?
True
Let u be (-8)/12*(-9)/2. Suppose -3*y = 5*d - 1988, u*d + 2*y = -0*d + 1192. Is 14 a factor of d?
False
Suppose -2*g = 3*g - 20. Suppose g*f = 0, -2*f = 3*r + 3*f - 288. Is 48 a factor of r?
True
Let h = -291 + 295. Suppose d - 577 = -3*q, 7*q - 5*q + h*d = 388. Is 32 a factor of q?
True
Suppose -9*m - 726 = 2568. Let t = 561 + m. Does 39 divide t?
True
Let v(t) = -9*t - 14. Let x be v(-5). Let c = x + 28. Suppose -3*z = -c - 133. Is 6 a factor of z?
False
Is -12 - (-270 + 6 + 1) a multiple of 6?
False
Suppose 4*z - 2*k = -446, -4*k = -3*z + z - 214. Let q = z - -132. Suppose -q*c + 874 = -0*c. Is c a multiple of 23?
True
Let g be 26*-1*5/(-5). Let l(j) = -j**3 + 27*j**2 + 4*j + 85. Does 17 divide l(g)?
False
Let f = -2485 + 6401. Is f a multiple of 89?
True
Let p = -63 + 66. Suppose -25 = p*f - 8*f. Let s(r) = 20*r - 12. Is s(f) a multiple of 8?
True
Let t(r) = 0*r**2 + r**2 - 5*r**2 - 10*r**3 + 3*r**2. Let s be t(-3). Suppose -3*q - 2*b = -5*b - s, -2*b + 414 = 5*q. Is q a multiple of 12?
True
Let t = 21848 - 13400. Is t a multiple of 88?
True
Suppose 2836 + 576 = y - b, -b - 6828 = -2*y. Does 14 divide y?
True
Let f be (4 + -4)/(3/(9/6)). Suppose f = -2*x - 4*q + 12, -9*q + 1 = -x - 4*q. Suppose x*z = -5*t + 172 + 184, -4*z - 2*t + 368 = 0. Is z a multiple of 16?
False
Let a(x) = -x**2 - 23*x + 26. Let l be a(-24). Let r = 212 - l. Is 21 a factor of r?
True
Let r(f) = -f**3 - f**2 + 11*f - 25. Suppose 7*b = -2*l + 2*b + 11, 0 = 5*l - 2*b + 45. Is 12 a factor of r(l)?
True
Is ((-7020)/(-24))/(-39)*(-3688)/6 a multiple of 26?
False
Let x(r) = r**2 + 7*r + 14. Let p be x(-3). Let h = 7 - -2. Does 3 divide 1 + (0 + p - h)*-1?
False
Suppose 2*w = 194 - 206, -r + 4*w = -21045. Does 147 divide r?
True
Suppose 27 = 4*f - 9. Let p = 77 + f. Is p a multiple of 13?
False
Suppose -178 = -3*u + g - 6*g, 0 = -3*g + 15. Let o(x) = -2*x**3 - 76*x**2 + 80*x + 44. Let s be o(-39). Let h = u - s. Is 17 a factor of h?
True
Suppose 6*p - 32253 - 2063 = 2*p. Is 23 a factor of p?
True
Let t be 18/(-108) - (-3229)/6. Let n = 906 - t. Is 46 a factor of n?
True
Let p(z) = z + 12. Let m be p(-9). Suppose 5*n + 1 = -4*y + 57, 4*n - 45 = -m*y. Suppose 0 = -n*s + 242 + 334. Is 24 a factor of s?
True
Suppose -5*v + 85 - 746 = -4*m, 5*v - 353 = -2*m. Is m a multiple of 15?
False
Let x(q) be the third derivative of q**6/180 + 11*q**5/10 + q**4/3 + 4*q**2. Let t(n) be the second derivative of x(n). Is t(0) a multiple of 11?
True
Let h = -17703 + 69903. Does 14 divide h?
False
Suppose -31*c - 480 = -36*c. Let q = 101 - c. Suppose -424 = -5*s + q*g - g, -2*s + 3*g + 171 = 0. Does 7 divide s?
True
Let w be (48/(-40))/((-12)/40) + 0. Suppose -2*d + 10*n + 15 = 15*n, -n - w = -d. Is d a multiple of 2?
False
Let d(f) = 5*f**3 - 2*f**2 + 2*f - 1. Let i = -75 - -76. Let v be d(i). Suppose v = x, -5*g + 417 + 144 = -x. Does 21 divide g?
False
Let n(w) be the first derivative of -w**4/4 + 4*w**3 - 4*w**2 + 8*w + 49. Is 9 a factor of n(9)?
False
Let p(a) = -7*a + 32. Let d be p(8). Let c = -22 - d. Suppose -4*r - b = -665, -c*r + 309 = -4*b - 19. Does 17 divide r?
False
Let i(x) = -x + 30. Let u be i(29). Is 8 a factor of (u + 2)*(6950/(-15))/(-5)?
False
Suppose 4*r - y - 230 = y, 0 = 2*r + 3*y - 103. Suppose 16*n = 9*n + r. Is 2 a factor of n/8 + (-54)/(-2)?
True
Let j(p) = -3 + 0 - 12*p - 44*p. Let i = -1141 + 1138. Is 15 a factor of j(i)?
True
Suppose -6 = -2*i, 0 = 5*g + 5*i - 2439 - 6576. Suppose c - g = -2*c - 3*t, -t + 2394 = 4*c. Is c a multiple of 46?
True
Let x(m) = 8*m**2 - 3*m + 8. Let t be 49*1 + 8 + -4 + -5. Let i = t + -52. Does 13 divide x(i)?
False
Let u(h) = h**2 + 19*h + 83. Let t be u(-6). Is 17 a factor of t/((-30)/(-5724)) + 2 + 2?
False
Suppose 652*g - 787*g + 869564 + 819421 = 0. Is g a multiple of 91?
False
Let t be ((-54)/(-12))/(1/2). Suppose t*l = 8*l + 6. Suppose c - 225 = -2*h, l*c - 8*c + 108 = h. Does 15 divide h?
False
Let m(v) = -2656*v + 4. Let n be m(-1). Suppose 8*d - 36*d = -n. Does 6 divide d?
False
Let h be 0 + 0 + 1 + 3. Suppose -w + h*w = -o + 5, -w = -o + 5. Suppose 5*v - 65 - 65 = -4*c, -c - o = 0. Is v a multiple of 4?
False
Suppose -2 - 5 = 4*z + 5*a, 13 = -z - 5*a. Suppose 3*x = -z*x + 600. Does 20 divide x?
True
Suppose -n - 3*n + 3*b = 27, 0 = 2*n + 2*b + 10. Let x be n/4 + (891/6 - 0). Suppose 29*l = 32*l - x. Does 13 divide l?
False
Let j(i) = -4*i**3 + 4*i**2 - 5*i - 47. Is 2 a factor of j(-5)?
True
Is 126 a factor of (-6)/(-2) + 5058 + 189/(-9)?
True
Let d = -228 + 232. Suppose -3*z = -d*y + 1437, 4*y - 2*z + 3*z - 1425 = 0. Does 51 divide y?
True
Let q = 1265 - -3279. Is 8 a factor of q?
True
Let p be 10989/4 + -3 + (-75)/(-20). Suppose q = 13*q - p. Is q a multiple of 13?
False
Let l(r) = -14*r - 13*r - 84 - 4*r + 27*r. Let p be l(0). Let o = p - -132. Is o a multiple of 48?
True
Let g(n) = -4*n - 26. Let q(b) = b. Let f(v) = v + 1. Let s(m) = 4*f(m) + q(m). Let y be s(-3). Does 9 divide g(y)?
True
Suppose 14 = 3*n - 295. Let k be 3*((-3)/(-27))/(7/2667). Suppose s - 4*c = -2*s + n, 4*s - k = -5*c. Does 7 divide s?
False
Let n(w) = -50*w - 4. Let u be n(-4). Let v = -40 + u. Is v a multiple of 12?
True
Let t(j) = j**2 + 10*j + 24. Let x be t(-7). Suppose x*g - 4*h + 6*h - 127 = 0, -2*g = -2*h - 98. Is g a multiple of 5?
True
Let k = -1062 + 1402. Is 17 a factor of k?
True
Suppose 0 = 5*i - 9*i - 612. Let o = -29 - i. Suppose -o = -4*q - 4*r, -58 = -q + 4*r - 2. Is q even?
True
Let k(i) = -8*i**3 + i**2 - 2*i - 3. Let b be k(-1). Suppose -b*o + 1777 = -2095. Does 19 divide o?
False
Let x(m) = 7*m - 32. Let o(j) = j. Let t(l) = 22*o(l) - 2*x(l). Let d be t(-7). Does 20 divide 1134/d - 10/(-8)?
False
Let z = 26 - 136. Is 21 a factor of 66/z - 1336/(-10)?
False
Let b be 882/(-245) - (1 + (-6)/10). Is 10 a factor of (54/b)/((-39)/260)?
True
Is (1100/70)/((-6)/(-1092)) a multiple of 22?
True
Let w(l) = -5*l**3 - 2*l**2 - 3*l - 6. Suppose 23 = 6*t + 5. Let q be w(t). Is (22/(-4) + 1)*q/126 a multiple of 3?
True
Let g(x) = x**2 + 4*x - 6 + 4*x**3 + 3 + 3 + 3. Let z(i) = i**3 + i**2 + i. Let d(t) = g(t) - 3*z(t). Is 2 a factor of d(3)?
False
Let n = 152 + -149. Suppose 0*l = n*b + 2*l - 292, -3*b + 293 = l. Does 17 divide b?
False
Let p(j) = 41*j - 167. Let d be p(6). Suppose d*s + 630 = 85*s. Is s a multiple of 15?
True
Let a(p) = -5817*p - 382. Does 4 divide a(-2)?
True
Suppose r - 296 = -294. Let b(v) = 4*v**2 - 3*v - 2. Let n be b(r). Suppose 114 = n*s - 5*s. Is 30 a factor of s?
False
Let s(m) = 279*m - 303*m + m**2 - 76 + m**2. Is s(22) a multiple of 28?
True
Suppose 2*i - 4 = 6. Suppose -67 = -3*f + 4*h, 3*h + h = i*f - 125. Does 28 divide 2*(f + 2 + -3)?
True
Let z = 20 + -16. Suppose -4*h - c = -168, z*h - 5*c = 108 + 60. Is h a multiple of 6?
True
Suppose t - 56703 = -5*a, -2*a - 2306 + 24996 = -4*t. Is a a multiple of 43?
False
Suppose 0 = -0*u + u. Suppose -5*w + q + 4*q + 95 = 0, 3*w + 5*q - 57 = u. Let r = 35 - w. Is r even?
True
Let p = -9751 - -11029. Is p a multiple of 14?
False
Let v(q) = -q**3 + q**2 - 8*q + 7. Let f be 8/64 - (-41)/(-8). Does 36 divide v(f)?
False
Let d(h) = 3*h - 36. Let x be d(11). Let s = x - 35. Is ((1 - 7) + 0)/(s/95) a multiple of 4?
False
Is 51 a factor of (-37 - -33) + (-38)/(-11) - 62838/(-11)?
True
Suppose 14*s - 4*s - 20 = 0. Suppose -s*h = 3*h - 2*w - 442, -3*w = -h + 91. Does 12 divide h?
False
Let o = -17776 - -20800. Does 56 divide o?
True
Suppose -230 = -44*c + 34*c. Suppose 41*s = c*s + 11700. Is 44 a factor of s?
False
Suppose -5230 = -2*o - 4*j, -6*o + 12*j + 7917 = -3*o. Is 15 a factor of o?
False
Let t be -324*((-66)/(-9) -