 Is t(6) composite?
False
Let b be (0 - -1)*(-4 + 5). Let u = b + -3. Is (-19)/(-2)*u/(-1) a prime number?
True
Let o be 2/(-2) - -2*6. Suppose -3*j + 268 = 4*l - j, 2*l = 5*j + 122. Let y = l + o. Is y prime?
False
Let w = -817 + 1239. Is w prime?
False
Suppose -5*r + 4*r = -51. Suppose 2*b - r = -f, 0*b + b + 2*f = 27. Is b a prime number?
False
Let d(k) be the second derivative of k**8/6720 - k**7/360 + k**6/720 + k**5/15 + k**4/6 + 2*k. Let x(s) be the third derivative of d(s). Is x(7) composite?
True
Let s(j) = 2*j**2 - 2*j + 139. Is s(0) prime?
True
Suppose -4*p + 212 = -2*p. Let z = 212 - p. Is z a prime number?
False
Let l be (-3 + 14/4)*12. Let b(y) = y**3 + 5*y**2 - 3*y + 1. Is b(l) prime?
True
Let t(z) = z**2 + 8*z - 17. Let g be t(-10). Let r(y) = 2*y + 1 - y**2 - 2 + 3*y**3 + 0. Is r(g) a composite number?
True
Suppose -5*n + 268 = -m + 2*m, 0 = 4*n - 3*m - 203. Is n a prime number?
True
Suppose -4*h + 8*h = 0. Suppose h = -3*f - 11 + 104. Is f a prime number?
True
Suppose -2*u - 2*o = 6, 2*o = 3*u - 0*o + 4. Is 4*-7*u/8 composite?
False
Suppose -o + 4*o - 4005 = -2*c, -5*c - 15 = 0. Is o prime?
False
Suppose 3*o - 126 = -3*c, 0*o = -4*c + 3*o + 154. Let f = c - -15. Is f composite?
True
Suppose -u + 792 = x, u - 3*x = 351 + 461. Is u a composite number?
False
Let m be (-15)/(-6) + (-2)/4. Suppose m*u = -u + 39. Is u prime?
True
Suppose 3*r - 7*r = -14600. Suppose -5*l = -5*h - r, 3*h + h = -2*l + 1430. Suppose 10*a = 5*a + l. Is a a prime number?
False
Let z(n) = -26*n**3 + n**2 - n + 2. Suppose 0 - 3 = -3*a - p, 4*p = -2*a - 8. Let j be z(a). Let x = -91 - j. Is x a prime number?
True
Suppose -2*y + 2871 = -683. Is y a composite number?
False
Suppose r + 10 = 6*r. Suppose -4*s - 75 = -g, 11 = -r*s + 3. Is g a prime number?
True
Let f(k) be the first derivative of -k**4/4 - 4*k**3/3 + 9*k**2/2 + 9*k + 2. Is f(-7) a composite number?
True
Suppose -2965 = 5*a - 0*a. Let k = a - -910. Is k a prime number?
True
Let h be 1*(3 + 1) - 1. Suppose 5*m = -2*p + 270, p + 2*m - 556 = -3*p. Suppose z = -h*z + p. Is z prime?
False
Let l(j) = 43*j**2 + 8*j + 2. Is l(-5) a composite number?
True
Let p = -190 - -569. Is p composite?
False
Let i(s) be the second derivative of 4*s**4/3 + 2*s**3/3 - 3*s**2/2 - s. Let u be i(2). Let m = 116 + u. Is m a composite number?
True
Let u(n) = 5*n - 1. Let q be u(-1). Is (q/9)/((-6)/189) composite?
True
Let m = -6 + 10. Suppose 1212 = m*t + 4*f, -2*t - 323 = -3*t + 4*f. Is t a prime number?
True
Let w(j) = -11*j**3 - 10*j - 3. Let i be w(8). Is 8/(-12)*i/6 prime?
False
Let f(z) = 2*z**2 - 12*z + 15. Is f(-11) composite?
False
Let z(h) be the first derivative of h**4 + 2*h**3/3 + 3*h**2 - 5*h - 5. Is z(4) a prime number?
True
Let v(h) = -h - 1. Let z be v(-6). Suppose b = 4*j - 0*j + 103, 2*b + z*j = 258. Is b a composite number?
True
Suppose -2*y - 3*s + 6 = 0, 0 = -3*y - 2*y + 4*s + 15. Suppose 549 - 105 = 3*q. Suppose y*t = -t + q. Is t composite?
False
Let j(c) = -c**3 - 16*c**2 + 8*c + 17. Is j(-18) prime?
True
Suppose -4*q = -u - 7*q + 119, 0 = -3*u + 4*q + 357. Is u a composite number?
True
Let f(r) be the first derivative of r**3/3 + 9*r**2/2 + 5*r - 1. Let v be f(-9). Is (-4)/(-10) - (-63)/v a prime number?
True
Suppose 0 = -5*z - 5*c + 2070, -2*z + 5*c + 817 = -18. Is z a composite number?
True
Suppose -2*b - 845 = -3*t, -b - 281 = -4*t + 3*t. Suppose h = t - 66. Is h composite?
True
Let h be (-2)/(-4 - -2) + -1. Let d be h - (0/3)/1. Is (-34)/(-1) - (d + -1) a prime number?
False
Let x = 3 + 2. Suppose -20 = -x*n, 0*n + 340 = 4*u + 2*n. Is u prime?
True
Let a be (2 - (1 + 1))/(-2). Suppose 3*r - 2*x - 84 = -r, a = -5*r + x + 99. Is r prime?
True
Let o = 212 + -129. Is o a composite number?
False
Let u(j) = 17*j - 1. Is u(10) prime?
False
Suppose 3 = b + 1. Suppose 0 = b*l - 3*l - 106. Is (-1 - 1)/4*l a prime number?
True
Let l = -61 + -21. Let z(t) = -14*t**2 + 2*t + 1. Let u be z(-2). Let h = u - l. Is h prime?
True
Let b(v) = 2*v**3 - 2. Let t be b(2). Suppose -4*o - t - 6 = 3*i, -15 = 5*i + 3*o. Suppose -2*p - p + 63 = i. Is p composite?
True
Let d = 4 + -3. Let n(a) = 10*a**2 + a - 1. Is n(d) prime?
False
Suppose -21 - 4 = 5*o, 3*o = 4*y - 675. Suppose 0*s - 3*s + y = 0. Is s composite?
True
Let q(x) = 198*x**2. Let v be q(1). Let m = -101 + v. Is m prime?
True
Let n = -13 + 15. Suppose 4*t - n*t = 118. Is t prime?
True
Let g(v) = v + 139. Is g(0) a composite number?
False
Let r(s) = -8*s + 15. Let q(z) = 15*z - 29. Let k(i) = -12*i**2 + i. Let y be k(1). Let m(g) = y*r(g) - 6*q(g). Is m(-8) a prime number?
False
Let d(o) = o**3 - 7*o**2 + 6. Let g be d(7). Suppose -y = 4*c + g, -c - 1 - 1 = 0. Suppose -6 - 6 = -y*p. Is p prime?
False
Let c = -1573 + 2989. Let g = c + -928. Let j = -339 + g. Is j a composite number?
False
Let x(j) = -j**2 - j + 77. Is x(0) prime?
False
Let o(h) = 20*h**2 + 4*h + 1. Is o(5) a prime number?
True
Let k be (-6)/9*-3 - -1. Suppose -452 = -3*f - y, 0 = f - k*y + 7*y - 169. Is f a prime number?
True
Is (-2)/15*5 + (-18682)/(-6) a prime number?
False
Let g(q) = -q**2 - q - 3. Let h be g(0). Let x be 40/(h/(-84)*2). Is x - ((2 - 0) + 1) prime?
True
Suppose -4 = -w + 1. Suppose -w + 2 = -h. Suppose -73 + 10 = -h*c - 3*v, -2*c = -2*v - 34. Is c composite?
False
Suppose -31 = -7*i + 39. Let q(w) be the third derivative of w**5/30 - 7*w**4/12 + 11*w**3/6 + w**2. Is q(i) prime?
True
Let q(f) = f**2 + 2*f + 2. Let a be q(-2). Suppose -a*b + b = -6. Is (-4)/b*150/(-4) composite?
True
Let z be (-27)/6*-2 - 3. Is (-3)/z + (-1614)/(-12) composite?
True
Suppose -3*a - 150 = 2*a. Let s = 49 + a. Is s a composite number?
False
Let t = -6 + 6. Suppose -2*s = -2, 5*v + s - 21 - 40 = t. Let b = v + 1. Is b composite?
False
Suppose 0 = -m + 5, s = 2*s - m - 8. Suppose -4*d + d + 23 = 5*o, -2*d = 3*o - s. Suppose -2*l = -o*l + 465. Is l a composite number?
True
Let a = 0 + 0. Let g = 47 + -28. Is g - (2 - a - 2) prime?
True
Let j(m) = m**3 + m**2 - 2*m - 1. Is j(2) prime?
True
Suppose 0 = -4*v + 1551 + 585. Suppose s - v = -2*s. Suppose -4*c + s = -2*b - 44, 0 = -b - 1. Is c a composite number?
True
Let j(b) = 222*b**3 - b + 0*b**2 + 1 + 4*b**2 - 5*b**2 + 2*b**2. Is j(1) composite?
False
Is (-28164)/(-84) + (-2)/7 prime?
False
Let w = -56 + 87. Let p = 72 - w. Let s = -16 + p. Is s a composite number?
True
Let w(t) = t**2 - 3*t + 2. Let u = -1 + 7. Let y be w(u). Let n = 39 - y. Is n a composite number?
False
Let a be 0*(15/(-6) - -3). Suppose a = b - 4*b + 345. Is b prime?
False
Suppose 4*t + 3*y - 12 = 573, 5*t + 4*y - 731 = 0. Let p = 366 - t. Is p a composite number?
True
Let h = 167 - -44. Is h a prime number?
True
Let g = -2045 + 2910. Is g a composite number?
True
Let m(i) = 210*i**2 - i. Is m(-1) composite?
False
Suppose 0 = u - 255 + 67. Suppose -2*p + u = -0*p. Is p a prime number?
False
Let k(u) = 103*u**2 + 9*u - 7. Let q(i) = -51*i**2 - 5*i + 4. Suppose 0 = -0*w - 4*w + 20. Let j(d) = w*q(d) + 3*k(d). Is j(1) a prime number?
False
Suppose -k + 11 + 8 = 0. Is k prime?
True
Let w = -104 + 421. Is w prime?
True
Let a(v) = -v**3 + 5*v**2 + 9*v - 8. Is a(-7) composite?
True
Let y be 2/(-6) + 2512/(-24). Let z = y - -218. Is z prime?
True
Let o be 3/3*3 + -7. Is (o/(-5))/((-2)/(-115)) a prime number?
False
Let f(q) = 1304*q + 1. Is f(2) prime?
True
Let l(b) = 2*b - 7. Let q be l(6). Suppose 2 = s, -4*w + w = -q*s - 92. Is w a prime number?
False
Let n(q) = -8*q + 1. Let k = -3 + -1. Let u be n(k). Is 357/u - 6/(-33) composite?
False
Suppose -2*b + 11 = 3*f, 4*f - 2*b + b - 11 = 0. Suppose f*q - 17 = 52. Is q prime?
True
Suppose 0 = -2*b + 7*b - 30. Suppose x - 5*a - 31 = 118, 3*a = b. Is x a composite number?
True
Let t(l) = -l**2 + 12*l + 6. Let g = 5 - -7. Let j be t(g). Let r(u) = u**3 - 6*u**2 + 7*u + 5. Is r(j) a prime number?
True
Suppose -x = -0*x + 1. Let r = x - -4. Suppose u = -3*d + 33, -r*u - 26 = -3*d - 5. Is d a prime number?
False
Suppose -8897 = -4*f + 3867. Is f a prime number?
True
Let w(t) = -t**3 - 9*t**2 + 10*t - 5. Is w(-13) prime?
True
Let m = 42 + -7. Suppose 3*b - 2*a - 15 = m, 0 = -4*b - 5*a + 105. Let k = 31 - b. Is k a composite number?
False
Let s be (3 - 1)*1506/(-4). Let x = s + 1764. Is (x/9)/(2/6) prime?
True
Is -1 + 1708/5 - (-2)/5 composite?