= 3*s + 123, -3*s - 5*g = 107. Let k be (-294)/4 - 7/14. Let y = s - k. Is y prime?
False
Suppose 10*g - 31771 = -761. Is g a composite number?
True
Let w(a) = -a**3 + a**2 - 2*a + 1. Let q be w(1). Let v be (-2 + (-3)/(-1))*q. Is 33 - (1 - v)/(-1) composite?
True
Let a(k) = 3*k**3 - 5*k**2 - 5. Let x(n) = n**3 - 3*n**2 - 2. Let h(u) = 2*a(u) - 5*x(u). Let s be h(-5). Suppose 3*j = 21 - s. Is j prime?
True
Let i be 2/(-7) - 2442/(-21). Suppose i = 3*r - 496. Suppose 4*q - r = -4*p + 2*q, -3*p - 3*q + 147 = 0. Is p a prime number?
True
Let u(v) = v**2 + v + 4. Suppose 3*g - 5 = 10. Is u(g) prime?
False
Is (-7)/(189/(-20325)) - 4/(-18) prime?
False
Let w(u) = -u**2 - 7*u - 4. Let d be w(-6). Let v be d/3 + 14/(-3). Is -1 + 3 - (3 + v) a prime number?
True
Is (6/4)/((-1)/22*-1) a composite number?
True
Let m(i) = 10*i**2 - 4*i**2 - 17*i + i**3 - 11 + 4*i**2 + 0. Is m(-11) a composite number?
True
Let a(d) be the third derivative of d**6/120 - 7*d**5/30 + d**4/3 - 3*d**3 - 5*d**2. Is a(14) composite?
True
Let b(d) = d**3 - 4*d**2 + 4. Let z be b(4). Is -76*(1 - 9/z) prime?
False
Suppose 0 = -o - 2*o + 57. Is o composite?
False
Let h(d) = -5*d + 1. Suppose 3*s - 2*s = 1. Let a be h(s). Let z = a - -7. Is z a composite number?
False
Let a = -610 - -983. Is a a prime number?
True
Suppose -7 = r + 4*p + 5, -3*p = -3*r + 24. Suppose r*a = a + 273. Is a a prime number?
False
Let v = 176 + -121. Suppose -62 = -3*y + 3*a + v, -3 = -a. Let l = y - 28. Is l composite?
True
Let s(x) = x**2 - 7*x + 5. Let i be s(6). Is (190/(-40))/(i/20) prime?
False
Let d(j) = -j**3 - 9*j**2 + 11*j + 6. Let c be d(-10). Let g be ((-3)/(-2))/((-3)/c). Suppose 0*p = -2*t - 2*p + 164, g*t - 5*p = 129. Is t a composite number?
True
Let t = 257 + 6. Is t composite?
False
Let n(p) = -p**2 - 8*p - 10. Let o be n(-7). Let b be 10/3 - o/(-9). Suppose b*m - 60 = 3*x, -2*m - 3*x = -46 + 1. Is m a prime number?
False
Suppose 25 = -3*x - 62. Let y = x - -21. Let z(o) = -o**2 - 9*o + 5. Is z(y) a composite number?
False
Suppose -10 = n - 6*n. Suppose 0*x + n*x + 240 = 3*c, x = -4*c + 331. Let j = c - -39. Is j a composite number?
True
Let l(a) = -8*a**3 + 2*a + 3. Let n be l(-2). Suppose 5*y - 32 = n. Let h = 32 - y. Is h composite?
False
Suppose 9 + 7 = -4*j. Let b be (j + -1)*4/5. Is (-52)/b*(2 - 1) a prime number?
True
Suppose -3*n + 0*z = -3*z - 141, -4*n + 194 = -2*z. Suppose -4*w + 62 = -n. Let x = 7 + w. Is x a prime number?
False
Let z = 3 + -3. Suppose z = -5*l + 15 - 0. Suppose -918 = -3*m - 3*i, 5*i = l*m + 2*m - 1480. Is m a composite number?
True
Let p(a) = -a**3 - a**2 - a - 2. Let k be p(-2). Suppose k*s - 1689 = s. Is s composite?
False
Let y be ((-62)/4)/(2/(-40)). Suppose 6*o = o + y. Is o a composite number?
True
Let g be (-140)/(-3) - 4/6. Let z(u) = u**3 + 14*u**2 + u + 16. Let w be z(-14). Suppose w*l - 4*l = -g. Is l a prime number?
True
Suppose 0*y = 5*y - 5. Let k be -15*(2/3 - y). Suppose 194 = k*n - 71. Is n composite?
False
Let u be (52/(-6))/((-2)/105). Suppose 4*i = r + 600, 6*r + u = 3*i + 4*r. Is i a prime number?
True
Suppose -3 = -4*b + 9. Suppose 4*c = 2*x + 10 - 0, -b*x + 25 = 4*c. Suppose -3*v - 157 = -2*h - 53, 157 = x*h - 5*v. Is h prime?
False
Suppose -4095 = -c - k, -c - 3*k + 4087 = -4*k. Is c composite?
False
Is 662/(-8)*8/(-2) composite?
False
Let y = 344 - 25. Is y a prime number?
False
Let d = -16 - -23. Let s = 78 + d. Is s a composite number?
True
Suppose -5*g = -4*t + 951 + 53, -2*g = -3*t + 753. Is t a prime number?
True
Let a(i) = -7*i - 9. Is a(-4) prime?
True
Let t(g) = g**3 - 5*g**2 - 7*g + 6. Let m be t(6). Suppose -2*i + 0*i + 4 = m. Suppose 8 = i*c, -4*n + 120 = -4*c - c. Is n prime?
False
Is (9 - -1)/(10/815) a composite number?
True
Let a(s) = s - 1. Let m be a(-3). Let r be m/14 - (-161)/49. Suppose -4*w = 4*z - 160, 0*z - 122 = -r*w - 5*z. Is w prime?
False
Let u(s) = 6*s**2 + 5*s - 2. Suppose 2*t = -0*t + 6. Is u(t) prime?
True
Suppose 517 = m - 5*d, -2*d - 517 = -m - d. Is m a composite number?
True
Is ((-22)/(-4))/((-5)/(-50)) a prime number?
False
Let g = -375 + 896. Is g a prime number?
True
Let b be (-3)/(-1 + 4)*-2. Suppose -3*m = -b*m - 2. Suppose 2*f - 308 = -m*f. Is f a prime number?
False
Let p be 2/(-9) - 6/(-27). Suppose p = -5*c - 11 + 56. Let x = c - 2. Is x composite?
False
Suppose -5*r + q = -8, 0 = q - 1 - 1. Is r - (-1*291 - 0) a composite number?
False
Let u(g) = g**2 - 4*g + 7. Let c be u(5). Let m = 34 + -39. Let v = c + m. Is v a composite number?
False
Let u(r) = -r + 9. Suppose 2*j = 3*j - 7. Let v be u(j). Is -25*(v/2)/(-1) prime?
False
Let j = -213 - -370. Is j a composite number?
False
Let s = 59 - 15. Is 5*-2*s/(-8) composite?
True
Suppose h - 658 = -h. Is h prime?
False
Suppose 0 = f - 2*g - g - 101, -4*f = -3*g - 440. Is f prime?
True
Suppose -3*v = -10*s + 5*s + 4, -5*s = -10. Suppose 2*b - 44 = v*j, 5*j + b = -49 - 37. Is (14/4)/((-3)/j) a prime number?
False
Suppose 0*y = -y - 21. Let v = 35 + y. Is v composite?
True
Let j be 1*(-1 + 2)*7. Suppose m = -j + 3, 4*l - 5*m = 636. Suppose 291 + l = 5*p. Is p composite?
False
Let z(d) = d + 4. Let g be z(-4). Suppose 0*m - 4*m = g. Suppose m = -4*y - 16, -2*y + 5 = 2*u - 25. Is u composite?
False
Let u(t) = 203*t + 13. Is u(8) composite?
False
Let q(x) = 4*x**2 + 5*x - 7. Let v(r) = 9*r**2 + 10*r - 14. Let f(b) = -7*q(b) + 3*v(b). Let g = -11 - -6. Is f(g) a prime number?
True
Let p(m) = -m**2 - 3*m + 11. Let c(l) = -l**2 - 2*l + 10. Let v(a) = -7*c(a) + 6*p(a). Let h be v(4). Let q(n) = 2*n**2 + 4*n - 3. Is q(h) a composite number?
False
Let f(y) = -y**3 + 4*y**2 + 5*y + 3. Let b be f(5). Is (b/(-6))/((-2)/140) a composite number?
True
Let n(j) = 31*j**2 + j - 27. Is n(-5) a prime number?
True
Let k(b) = b**3 - 3*b**2 - b - 4. Let d be k(4). Let x be 5/15 + 4352/3. Is x/9 + d/(-36) composite?
True
Let y = -15 + 38. Let q = -5 + 1. Let t = y + q. Is t composite?
False
Let b be -2 - 3/(-3 - -2). Suppose -g + 14 + b = 0. Is g a prime number?
False
Let s(b) = -b**3 - 9*b**2 + 10*b - 5. Is s(-11) a composite number?
False
Let s(d) = -212*d**3 + 2*d**2 + 2*d - 1. Let i(o) = 425*o**3 - 5*o**2 - 5*o + 2. Let f(x) = -2*i(x) - 5*s(x). Is f(1) prime?
True
Let a be 1/(2/9)*36. Let q = -95 + a. Is q prime?
True
Let v = -2032 + 2991. Is v prime?
False
Suppose -m + 4*n - 8 = -0*n, -5*m = -2*n - 14. Suppose c - 57 = m*x, 0 = -4*x - 4 + 24. Is c composite?
True
Let x(n) = n**3 + 5*n**2 + 4*n + 5. Let g be x(-4). Let z(s) = 10*s + 3. Is z(g) a prime number?
True
Let j be (-1)/(4/(-20 - -4)). Suppose -503 + 2179 = j*w. Is w a composite number?
False
Is (-61962)/(-24) - (-3)/(-4) prime?
False
Suppose 0*q + q = -25. Let j = 452 + q. Is j composite?
True
Let m be (-54)/2*(-2)/3. Suppose -2*v - m = -5*f, -2*f + 0*f + v = -8. Suppose 737 = 4*z - 6*x + 3*x, -f*z + 4*x = -366. Is z a composite number?
True
Let v = -6 - -19. Let b = 68 - v. Is b a composite number?
True
Suppose c = 5*c + 16. Let o be 9*(c/(-3))/2. Suppose -o*l + 265 = -l. Is l composite?
False
Let l(m) = -13*m - 15. Let x(u) be the first derivative of 9*u**2/2 + 10*u - 1. Let d(s) = -5*l(s) - 8*x(s). Is d(-6) a prime number?
True
Let s(v) = 6*v + 331. Is s(0) composite?
False
Suppose 6 = 2*u + 2. Suppose -u*z + 6*z = 4*j - 464, -3*z = 2*j - 207. Is j a composite number?
True
Let v be -1*(-1)/(-1)*1. Is (20/(-8))/(v/206) a composite number?
True
Let r = -2 - -4. Suppose 2 = -r*m + 8. Is 2/4*2*m a composite number?
False
Suppose r - 1618 = -2*z - r, -3*r - 4077 = -5*z. Let m = z - 451. Is m a prime number?
False
Let o = -319 - -452. Is o prime?
False
Suppose 0 = j + 4*j - 2800. Let b = j - 399. Is b a composite number?
True
Suppose -7*q + 2742 = -q. Is q a composite number?
False
Let d be ((-2)/7)/((-2)/14). Suppose 5*q + 185 = d*i + 892, q - 151 = -2*i. Is q a composite number?
True
Suppose s + 36 = 3*s. Suppose 21*g = s*g + 789. Is g composite?
False
Let x(z) = z**3 + z**2 + z + 2. Let t be x(0). Let w(c) = -3 + 2*c + c + c**t + 0*c**2. Is w(-5) a composite number?
False
Suppose -26*j = -3*j - 116219. Is j prime?
False
Let x = -8 + 2. Let a(q) = -q - 7. Let f be a(x). Is -3*(-13)/3 - f prime?
False
Let d = 780 + -487. Is d prime?
True
Suppose 0 = -2*y - 4*z - 18, 3*z = -5*y - 5 - 5. Is 2 + -1 + y*130 a co