 o = -u. Is o a composite number?
False
Let j(i) = i**3 - 8*i**2 - 7*i + 9. Let a be j(10). Suppose -2*q + 341 = 5*y + 2*q, q = 2*y - a. Is y prime?
False
Let x(y) = y - 1. Let v be x(-1). Is 116 - ((-4)/4 - v) prime?
False
Let m(i) = -8*i**3 + 3*i**2 - 3*i - 1. Suppose -n + c - 4 = 2*n, -3*c = -n + 12. Is m(n) a composite number?
False
Let v = 1430 - 751. Is v a composite number?
True
Suppose 0 = -3*f - 2*f + 685. Suppose 0 = -4*k + f + 171. Is k prime?
False
Let o = 11 + -4. Let q(n) = n**3 - n**2 - 3*n - 10. Is q(o) composite?
False
Let t(o) = 3*o**3 - 4*o**2 + 14*o + 3. Is t(7) a prime number?
False
Suppose 14*a = 17*a - 2631. Is a prime?
True
Let n = 58 - -457. Let r = n + -32. Is (-2)/(-1 + r/489) a composite number?
False
Let t(x) be the second derivative of x**5/20 - 7*x**4/12 - 5*x**3/6 - 5*x**2/2 - x. Is t(8) composite?
False
Let g = 99 - -5458. Is g composite?
False
Let i = 2 - 1. Let g = 1 - i. Suppose -2*z + 0*z + 154 = g. Is z composite?
True
Suppose 0 = 4*l - 2*l + 4. Let q(t) = -26*t + 1. Is q(l) composite?
False
Let g be -11 + 1 - (-2 + 4). Let j be 2/3 + (-952)/g. Is j - (1 - 0/(-1)) a prime number?
True
Suppose 3*t = -2*t. Suppose 0 = 5*x - t*x - 20. Suppose 0 = 4*a + x*b - 5*b - 42, -5*b = -3*a + 23. Is a a composite number?
False
Let j be 9*2 + -3 + 1. Let c = -9 + j. Suppose -9 = 3*p, -c*f + p + 708 = -2*f. Is f a prime number?
False
Let k(r) = -r**3 - 2*r**2 - 5*r + 3. Let h(g) = g**3 - g**2 - g + 1. Let j(b) = -4*h(b) + k(b). Is j(-2) a composite number?
True
Suppose 3*b - 1422 = -15*b. Is b composite?
False
Let w(d) = 58*d**3 - 5*d**2 - 5*d + 4. Let y(t) = -t**2 - t + 1. Let l(u) = -w(u) + 4*y(u). Suppose -4*f + 2*g = 4, 1 = -f - 5*g - 0. Is l(f) a prime number?
False
Let q be 12/2*3/(-9). Let h(n) = -96*n - 2. Let a be h(q). Suppose -a - 622 = -4*m. Is m prime?
False
Suppose 2*v = -d, -3*v = -4*d + d - 18. Let r be -1*(0 + -1) + -1. Suppose r = -v*k + 13 - 1. Is k a composite number?
True
Suppose -20 = -m - 1. Is m a composite number?
False
Let h = 8 + -7. Let k(i) = 43 - i**2 - h + i + 43. Is k(0) a prime number?
False
Suppose 0 = r + 2*r - 6. Suppose r*z - z + 98 = 5*i, 4*i = -z - 116. Let d = z + 253. Is d prime?
False
Suppose 6*u - 64490 = -4*u. Is u a prime number?
True
Let d(c) = -185*c - 14. Is d(-3) composite?
False
Let j(r) = r**3 - 6*r**2 - 7*r + 3. Let c be j(7). Suppose -3*t + 8 = -t, -4*s + 20 = c*t. Suppose s*p + 0*p - 98 = 0. Is p composite?
True
Let m(d) = 22*d**2 + 4*d + 3. Is m(-6) a composite number?
True
Suppose -4*t + x = 164, -3*t - t - 3*x = 180. Let a = 109 + t. Is a prime?
True
Suppose 0*b + 3 = b. Suppose -b*q = 235 + 47. Let s = q - -145. Is s a composite number?
True
Let o = -218 - -60. Let x = -31 - o. Is x composite?
False
Suppose 5*i + 12 = 2*w + 30, 0 = 5*i - w - 19. Let s be (34/i)/(5/(-20)). Let a = 71 + s. Is a a composite number?
False
Let m(r) = -125*r + 34. Is m(-9) prime?
False
Suppose -2*u + 3 - 1 = 2*n, 0 = -2*n + 4*u + 2. Let i be 2 + ((-3)/(-1) - n). Suppose i*m = p + 129, 0*m + 2*p + 27 = m. Is m prime?
False
Let h(f) = -f**2 - 4*f + 11. Let x be h(-8). Let n = 16 - x. Is n prime?
True
Let l = 142 + -21. Suppose 0*f + i - 1 = -f, 0 = -3*f - 2*i + 7. Suppose -167 = -3*k + f*o - 31, 3*k - l = 2*o. Is k a composite number?
False
Let r(x) be the third derivative of x**6/120 - x**5/60 + 29*x**3/2 - 3*x**2. Is r(0) prime?
False
Is (-1)/(2 + 252/(-124)) prime?
True
Suppose 871 = 2*l - w, w + 1711 - 405 = 3*l. Suppose -i = -2*z - 2*z - l, -2*i - 4*z + 822 = 0. Is i a composite number?
False
Let b = 271 - 563. Is -2*(b/8 - -3) composite?
False
Let b be 2106/8 - 2/8. Suppose -2*m = 4*s + 698, -5*m + 409 = -4*s - 282. Let r = s + b. Is r a prime number?
True
Suppose 3*l + 3 = -w - 3*w, 0 = -l - w - 2. Let m(y) = -y**3 - 5*y**2 - 4*y - 7. Let z be m(l). Suppose -j + z = -9. Is j a composite number?
True
Suppose 4*l - 6 = 2*q, 4*l - 4*q = 5*l - 15. Suppose 8 + 4 = f + l*k, -3*f - 2*k = -57. Is f a composite number?
True
Let s(p) = 8*p + 1. Let w(k) = 46*k + 15. Let q(u) = -23*u - 8. Let x(o) = -11*q(o) - 6*w(o). Let d(i) = 17*s(i) + 6*x(i). Is d(-8) a composite number?
True
Suppose 88 = -y + 351. Is y composite?
False
Suppose -3*k + k = h - 310, -2*h = k - 158. Suppose -k = r + 10. Is (-1*(1 + r))/1 prime?
True
Suppose -2*t + z = 3*t - 808, 3*t = 2*z + 489. Is t a prime number?
False
Let q(n) = n**3 - 5*n**2 + n - 1. Let u be q(6). Suppose -u - 38 = -b. Is b prime?
True
Suppose 0 = 3*d - 8*d + 95. Is d a prime number?
True
Let t be (-4 - -2) + -2009 + -1. Is (t/6)/((-4)/6) prime?
True
Let v be (-44)/(-4) - (0 - -3). Let n be (-4 + 5)/(2/v). Suppose -f + 745 = n*f. Is f prime?
True
Is (4 - 3)*79 + 4 composite?
False
Let k(z) = z + 62. Let i = -6 - -6. Is k(i) a prime number?
False
Let g = 3 + -6. Let o(n) = 5*n**2 + 2*n - 4. Is o(g) composite?
True
Suppose 0 = 4*l + a - 0*a - 1, -3*a - 8 = l. Is 292 + (-1 + l - -3) composite?
True
Suppose -4*m - 4*k + 1212 = -8, -5*k - 624 = -2*m. Is m prime?
True
Suppose -33*j + 115 = -32*j. Is j a prime number?
False
Let d = 8 - 3. Let u be 4 - 2 - -29*1. Suppose z - 6*z = f - u, d*z = 0. Is f a prime number?
True
Let n = -165 - -304. Let o = 10 + n. Is o a prime number?
True
Suppose 4*k - 2*k = v + 7, -3*v = 4*k - 29. Suppose -4*w + 3*u + 695 = -2*u, 3*u + 859 = 5*w. Suppose -5*l = -v*l - w. Is l prime?
False
Let v = 52 - 21. Is v prime?
True
Let o(z) = -z + 1. Let m be o(3). Let w(f) = -8*f - 1. Is w(m) a composite number?
True
Let i(m) = -m**2 + 8*m. Let f be i(7). Let z(s) = s**2 - 4*s - 2. Is z(f) composite?
False
Let w(b) = -b**2 - 7*b + 7. Let g(t) = -1 - 2*t + 14 - 2. Let s be g(9). Is w(s) a composite number?
False
Let a be (10 + -2 + 5)/1. Suppose 3*j + a = -y, -5*y - 2*j - j - 113 = 0. Is (-1680)/y + (-1)/5 prime?
True
Let t(l) = l**2 + 2*l. Is t(-5) a prime number?
False
Suppose 1 = w + 2. Is 1136/12 + w/(-3) a prime number?
False
Let b(x) = 3*x**2 + 2*x - 1. Let u be -3 - -1 - (-4 + 1). Let c be b(u). Suppose -2*s - 3*a = -32, s + 5*a - c - 19 = 0. Is s composite?
False
Let y(u) = u**3 - 25*u**2 - 17*u - 25. Is y(26) composite?
True
Let w(f) = -4*f**3 - 2*f**2 - 3*f - 3. Is w(-4) composite?
False
Let c = -120 - -359. Suppose -3*y = 92 - c. Is y prime?
False
Suppose -72*d = -76*d + 8948. Is d prime?
True
Suppose o - 4*m + 18 = 0, 0 = -3*o - 3*m + 8 + 13. Suppose z - 202 = -3*b, o*b + 4*z = -0*b + 138. Is b prime?
True
Let a = -8 + 8. Suppose 2*z + 8 = 0, 8 = -m - 2*z + 3. Suppose 0 = s - a*i + 2*i - 93, -5*i = -m*s + 257. Is s a composite number?
False
Let p = 2066 - 705. Is p a prime number?
True
Is (3/(-1))/(-3 + 9216/3076) a composite number?
False
Suppose -3*r + 5*u = -7*r - 19, -r + 8 = -3*u. Let q = 2 + r. Is (-2 - -108)*q/2 composite?
False
Let t = -528 + 793. Is t prime?
False
Let q(w) = 32*w**3 - w. Let g(a) = a + 1. Let l be g(0). Is q(l) composite?
False
Let g(b) = -b - 1. Let i(v) = 72*v + 6. Let w(n) = 5*g(n) + i(n). Let l be w(1). Suppose -170 = -5*q + 4*u, q + q = 4*u + l. Is q composite?
True
Let y(k) = 139*k**2 + 3*k. Let b be y(-2). Suppose 0 = -i + 3*g + b, 3*i - 3*g - 2*g - 1654 = 0. Is i a prime number?
False
Let q = 9 + -15. Let x = 9 + -6. Is (-34)/((q/7)/x) a composite number?
True
Suppose 0*o - 198 = -3*o. Suppose -t - t = -o. Is t a composite number?
True
Suppose 0 = 25*u - 26*u + 218. Is u a composite number?
True
Let x be 0 + 22/3*3. Suppose w - 57 = x. Is w a composite number?
False
Suppose 5*s = -5*n + s - 21, -4*s = -5*n + 11. Is n/(-4) + 5049/44 composite?
True
Let r(h) = -3819*h + 2. Is r(-1) composite?
False
Let u = 17 + -10. Is (-2484)/(-28) + 2/u a prime number?
True
Let q = 7 + 1. Let t(y) = -y + 6. Let n be t(q). Let b(d) = 14*d**2 + 2*d + 3. Is b(n) a prime number?
False
Suppose 4*y - 2*a = -936, -2*y - 2*y = 4*a + 960. Let z = 423 + y. Is z composite?
True
Let i(v) = v**2 + 6*v + 3. Let m be i(-5). Let q = 98 + -63. Is (q/4)/(m/(-8)) prime?
False
Let k(s) = -s**3 + 12*s**2 - 9*s - 9. Let g be k(8). Let n = -60 + g. Is n a prime number?
False
Let v(f) = -65*f**3 - 2*f**2 + f + 1. Suppose -2*p = 5*x - 11, 4*x - 6*x = p - 4. Is v(p) a composite number?
True
Let n(v) = -2*v + 2. Let c be n(-2). Let s be (4/c)/(3/(-36)). Let x = 17 + s. Is x a prime number?
False
Suppose -1 + 0 = g, -4*t - 2*g + 890 = 