1. Let u be j(1). Let c be u/6 + (-28)/(-6). Is s(c) a composite number?
False
Suppose -1305 - 1032 = -3*p. Is p a prime number?
False
Suppose -2*l = -5*l + 873. Is l prime?
False
Suppose 0 = -2*m - 3*j, -3 - 3 = 3*j. Suppose -47 = -r - m. Suppose 0 = -4*v - 4*p + 8 + 60, -4*v + 4*p = -r. Is v composite?
True
Is 3019 + 0 + (32 - 32) prime?
True
Let i be 2*2/(-10)*-5. Suppose -1580 = -i*m - 2*m. Suppose -2*f - 3*f + m = 0. Is f prime?
True
Let m be ((-10)/(-6))/(9/27). Let f(k) = -1. Let b(z) = -z. Let w(r) = -b(r) - f(r). Is w(m) a composite number?
True
Suppose 2*m + 64 = -2*m. Let c = -69 + 104. Let l = c + m. Is l composite?
False
Let m(y) be the second derivative of -y**5/60 - y**4/2 + 7*y**3/6 - y**2/2 - 2*y. Let q(l) be the first derivative of m(l). Is q(-8) prime?
False
Let o(g) = -g + 170. Let b be o(0). Let u = -117 + b. Is u prime?
True
Let u(n) = 54*n**2 - 7*n - 5. Is u(-4) a prime number?
True
Suppose -4*j + 6616 = -6*j. Is j/(-10) + (-3)/(-15) a prime number?
True
Suppose 0 = 6*o - 5*o - 31. Is o a prime number?
True
Let a = 3 + -1. Suppose 0 = a*i - 58 - 52. Let y = i - 33. Is y composite?
True
Suppose 0 = 5*r + 5*p - 4455, 2*r - 5*p - 1768 = -0*r. Is r prime?
False
Let q = -3 - -6. Suppose l = -2*m - q*l - 10, -5*m + 30 = -l. Suppose m = -5*w, 0 = -0*k - 2*k - w + 41. Is k a composite number?
True
Suppose -4*b - 13649 = -5*u, 2*u + 0*u - 5454 = -4*b. Is u a prime number?
True
Suppose -2032 = -q - 11. Is q a prime number?
False
Let u = 15 - 12. Let k(f) = 3*f**3 + f**2 - 5*f + 4. Is k(u) a composite number?
False
Let z be (-9)/(-2)*4/6. Suppose z + 6 = 3*y. Suppose -y*u - 82 = -283. Is u composite?
False
Let a be 1059*-1 - (8 - 8). Let n be 2/5 - a/15. Let z = -50 + n. Is z composite?
True
Is (651/(-6))/(-7)*10 a prime number?
False
Let n = -12 + 86. Is n prime?
False
Suppose -3*p = 5*z - 2 + 11, -15 = -z + 5*p. Suppose b + d = 414, 3*b - d + 3*d - 1241 = z. Is b a prime number?
False
Suppose 2*p + 318 = 4*p. Is 2/(-8) - p/(-12) a prime number?
True
Let l be -1 + -47*(-1 + 0). Let s = -27 + l. Is s a composite number?
False
Let l = 1873 - 2651. Let v = 1247 + l. Is v a prime number?
False
Let c(a) = a**3 - 5*a**2 + 5. Let j be c(5). Suppose -j*p = -p - 24. Suppose p*i - 95 = i. Is i a prime number?
True
Suppose -2*w + 2*d + 6744 = 2*w, -5*d - 10 = 0. Is w a composite number?
True
Suppose 0 = 3*l + 3*c - 420, -c + 46 = 4*l - 511. Is l composite?
False
Let f(c) = -3*c - 3*c + 10*c**2 + 6*c - 4. Is f(3) prime?
False
Let t(j) = -2*j + 7. Let m be t(7). Let k = m - 0. Let i = 7 - k. Is i composite?
True
Let l = -6 - -12. Suppose -5*r + l*r = 184. Suppose -2*w + r = -6. Is w prime?
False
Let y = 11 - 1. Let j = y + 4. Is j composite?
True
Suppose -3*x + 681 = -15210. Is x a prime number?
True
Suppose -5*g + 164 = -3*g. Is g composite?
True
Let b(t) = -t**2 + 5*t - 3. Let v(n) = -n. Let k(o) = -b(o) - 6*v(o). Let u(a) = a**3 + 2*a**2 + 5*a + 6. Let r be u(-2). Is k(r) composite?
True
Suppose -l = -4*l. Suppose u = b + 3*b - 10, 0 = 5*b - 5*u - 5. Suppose l = b*f + f - 84. Is f composite?
True
Let k(s) = 61*s - 4. Let j(w) = 2*w. Let l be j(6). Suppose 2*r - l = -2*r. Is k(r) prime?
True
Let h be ((-123)/(-3) - 2) + -1. Suppose 0 = -5*z + d - 0*d - 13, -2*z = 2*d - 2. Is h - ((0 - -1) + z) a composite number?
True
Suppose -3*k + 3*j - 148 = 32, -2*k + 5*j - 120 = 0. Let i = k + 149. Is i composite?
False
Suppose 0 = 2*q + 2*q - 2876. Let m = q + -354. Is m prime?
False
Let t = -47 + 130. Is t composite?
False
Let j(z) be the first derivative of -21*z**2 - z + 3. Is j(-2) a composite number?
False
Suppose 26 = -2*d + 10. Let p = 7 - d. Is p prime?
False
Let i = 13 + 170. Let v = i - 94. Is v a prime number?
True
Suppose 2095 = 4*b + b. Is b a composite number?
False
Suppose g = -d - 71, -g - 276 = 4*d - 5*g. Let l = -109 - d. Let v = l + 72. Is v a prime number?
False
Let h(j) = 12*j**2 + 2*j + 1. Let u(r) = r + 10. Let b be u(-9). Let z = b - -1. Is h(z) a composite number?
False
Let w(h) = -12*h**3 - 2*h**2 + 4. Let y be w(-3). Suppose t + u - 108 + 4 = 0, y = 3*t + 4*u. Is t prime?
False
Suppose -3*q + 13 = 4*x - 512, 0 = -4*x - 4*q + 528. Is x prime?
False
Let b(o) = 4 + 0 + 0 + 2*o. Let x be b(-8). Is (-33)/2*8/x a composite number?
False
Suppose 4 = 7*k - 5*k. Suppose k*a - 627 = -5*m, 0*m + 5*m + 4*a = 619. Is m a prime number?
True
Let s = -386 - -1463. Is s prime?
False
Suppose -48 = -3*m + 12. Suppose -4*q - q = -m. Suppose 0*b + q*g - 3 = -b, 3*g + 107 = 4*b. Is b a composite number?
False
Let b be 9/(-1) + (-8 - -9). Is (-1*503)/(-9 - b) a composite number?
False
Let r = 5 + -2. Suppose u = 2*q + 9, -u = -q + 2*q - r. Suppose 0*b - u*b + 485 = 0. Is b prime?
True
Let k(d) be the third derivative of 47*d**4/12 - d**3/6 - 9*d**2. Let w(s) = s**2 - 5*s + 6. Let m be w(4). Is k(m) a composite number?
True
Let y be (-1 - -1)/(2 + 0). Let q be (2 - y) + (-1 - -1). Suppose -7 = -q*d + 19. Is d a prime number?
True
Suppose -5*f + 3*a = -187, 6*f - f + 3*a = 193. Let t = f - 15. Is t prime?
True
Let g(i) = -46*i + 1. Let o = -6 - -4. Is g(o) composite?
True
Let g = 8 - 4. Suppose 0*f = -g*f - 20, -3*c = 2*f - 11. Is c a prime number?
True
Let z(n) = 3*n**3 + 2*n**2 + n - 4. Let v be z(-3). Let l be (1/2)/((-7)/v). Suppose l*u - 96 = 34. Is u composite?
True
Let q be 1/((-1)/3) - -6. Suppose -c - q*c = -268. Is c prime?
True
Let x be (0 - -1) + -13 + -1. Let j = 21 + x. Suppose -u = -0*c + c - 49, -2*c = j. Is u prime?
True
Let o(l) = -18*l + 3. Suppose -n = 4*k - 5 + 32, 4 = -k. Is o(n) a prime number?
False
Suppose -p + 26 + 5 = 0. Is p prime?
True
Let d(s) = s**3 + 9*s**2 + 2. Let k be d(-9). Suppose 3*i - 4 = k*i. Is 8/32 - (-99)/i composite?
True
Suppose 2*y + 452 = 3*y. Suppose -484 = -2*g - 3*m, 2*g - 4*m - m - y = 0. Let h = g + -45. Is h composite?
False
Let j be (2 - 1) + (2 - -1). Suppose 2*p - 2*g - 68 = 0, -j*g - 66 = -5*p + 3*p. Is p prime?
False
Let w = -5 + 5. Suppose -3*i = 5 - 17. Suppose w = -3*c - i + 109. Is c a composite number?
True
Suppose -4*z = -3*a + 20401 - 5540, 4*a = 2*z + 7428. Is 4/(-18) - z/36 composite?
False
Suppose 3*y - 6 = -4*m + 2*y, -3*y - 2 = 2*m. Suppose 5*w - 77 = m*r + 207, 5*w + 3*r = 299. Is w a composite number?
True
Suppose -3*s = 3*l - 2931, 5*l - 3*s = -36 + 4961. Is l composite?
True
Let v(c) be the second derivative of c**3/6 + 53*c**2/2 - c. Suppose -3*n = -n. Is v(n) a prime number?
True
Let a(s) = -15*s + 6. Let i(k) = -16*k + 7. Let w(v) = 3*a(v) - 4*i(v). Is w(7) prime?
False
Let x = -1107 + 2138. Is x a composite number?
False
Suppose 0 = g - 137 - 362. Is g prime?
True
Let l = 637 + 54. Is l prime?
True
Suppose 4*t + 0*t - 80 = 0. Let x = t + 107. Is x prime?
True
Let x(v) = 31*v - 3. Let h = 1 - -1. Is x(h) composite?
False
Let y(k) = -4*k**3 + k - 2. Is y(-3) a prime number?
True
Let r be (-26)/(-6) - 2/(-3). Let h(k) = -3*k - 3 + k + k**2 - k - r. Is h(9) composite?
True
Let v be (0 + (-1 - -3))*2. Suppose 0 = -v*q + q - 12. Is (-1)/q + (-1055)/(-20) composite?
False
Let x(i) = -2*i - 5. Let v be x(6). Let k be (39/(-4) - 0)*-4. Let h = k + v. Is h composite?
True
Suppose -3*v + 12 = v. Suppose v*n = -25 + 67. Is n a composite number?
True
Suppose -92 = -y + 107. Is y prime?
True
Let x(g) = 43*g - 8 - 15*g + 18*g - 5. Is x(6) prime?
True
Is (-39)/(-6)*86 + 4 a prime number?
True
Let y(v) = 15*v - 5. Suppose -5*s + 19 = 59. Let b(c) = -c**2 - 8*c + 6. Let t be b(s). Is y(t) a prime number?
False
Let s(l) = 4*l + 3. Let h be 2/(-8)*2*0. Suppose 0 = t - h*t - 8. Is s(t) prime?
False
Let a = 490 + -236. Is a composite?
True
Let z(m) = 14*m - 13. Is z(6) composite?
False
Let l = 3 + 0. Is l composite?
False
Let d(g) = -8*g**3 + g**2 - g - 7. Is d(-3) composite?
True
Let q be (-4)/6*(0 + 3). Let k(j) = 20*j**2 - 3*j - 3. Is k(q) a prime number?
True
Let r = 10 + -20. Is (-25)/r*(-1 + 5) a prime number?
False
Let w(a) = -a**2 - 6*a - 2. Suppose 2*m + 17 + 1 = -2*n, 0 = m + 5*n + 25. Let z be w(m). Suppose -z*k + r + 149 = 6*r, 55 = k + 3*r. Is k prime?
True
Let y = -16 + 14. Is ((-2820)/12)/(1 + y) a composite number?
True
Suppose -4*g + 5128 = 4*g. Is g prime?
True
Let v = 55 - -16. Let c = v + 18. Is c a composite number?
False
Suppose -l - 250 = 4*l. Let f = 9 - l. Is f a co