s + d + 81 = 0. Suppose -v = -n + 75. Is n prime?
True
Let i = 852 - 205. Let k = i - 216. Is k a composite number?
False
Let z = 1 + 3. Suppose -115 = -z*t + 145. Is t a composite number?
True
Let a be -39*4*3/12. Let t(n) = -2*n - 1. Let o be t(-4). Let u = o - a. Is u composite?
True
Let d(q) = -q**3 + q - 2*q**2 + 3*q**3 + q + 3*q - 2. Is d(3) a composite number?
True
Let n = -323 - -814. Is n a composite number?
False
Suppose 6*u - 2620 = 2*u. Is u a composite number?
True
Let n(c) = 2*c**3 - 2*c**2 + 4*c - 5. Is n(6) prime?
True
Suppose 4647 = 3*y - p - 1085, -5*y - p + 9540 = 0. Is y a prime number?
False
Suppose 10*q + 413 = 11*q. Is q prime?
False
Let b = 9681 - 5110. Is b prime?
False
Suppose -f + 1074 = 2*f. Suppose -2*t + 5*o = 216, -3*t - f = -0*t + o. Let d = -83 - t. Is d composite?
True
Let j(n) = 14*n - n**2 - 19*n + 3*n - 1 + 17*n. Is j(13) a composite number?
True
Let k(f) = -2*f + 0*f + 2*f**2 - 2*f - 5. Is k(-6) composite?
True
Suppose 5*v + 3*m - 13984 = 0, 6*v = 3*v - 5*m + 8384. Is v a composite number?
True
Suppose 3*l + j = 22676, 5*l - 2*j + 5*j - 37792 = 0. Is l prime?
True
Let h = 77 - 154. Let f = 282 + h. Is f composite?
True
Let i(s) = -2*s**3 - 5*s**2 + 2*s. Let y be i(-4). Let v = -38 - -60. Suppose 2*a = y + v. Is a prime?
True
Suppose 4*c - 6*c - 4 = 0, 3*i + c = 811. Suppose f - 63 = -4*r, r + i = 4*f - 2*r. Is f a prime number?
True
Let m be 2148/9 - 4/(-12). Let x = -128 + m. Is x prime?
False
Suppose -n + 2*n - 2 = 0. Let s(y) = 6*y**3 + 3*y**2 - 2*y + 3. Is s(n) a prime number?
True
Let y = -378 - -571. Let u = y + -84. Is u composite?
False
Let j be (-6)/(-9) + (-70)/(-3). Suppose -3*o + 6*o - 5*x - j = 0, 4*o = 2*x + 46. Suppose -2*r = -u + r + o, 5*u = r + 23. Is u a composite number?
True
Suppose 0 = -0*b - 2*b + 422. Is b prime?
True
Let d be 4 - -182 - (-1 - -3). Suppose d = 4*a - 7*z + 2*z, 0 = -2*a + 5*z + 102. Suppose 9 = 5*k - a. Is k a composite number?
True
Let f = 15 + -5. Let c be (f/(-35))/((-1)/7). Is (-596)/(-16) + c/(-8) a composite number?
False
Let v(b) = b**2 - b + 11. Let j be v(0). Let q = 17 - j. Let t(y) = 7*y - 5. Is t(q) composite?
False
Let p = 11 + -10. Is 376/20 + p/5 a composite number?
False
Let y = 7 + 0. Suppose 3*g - 1 = 14. Suppose g*m = -15, -115 = -4*h + y*m - 2*m. Is h a composite number?
True
Suppose -3*t + 1194 = -3*b, 1998 = 5*t - 0*t - b. Suppose x = 2*k - x - t, 0 = -3*x + 3. Is k a prime number?
False
Let r(v) = 5*v**2 + v. Let i be r(1). Let n be (12 + 0)*i/(-8). Is (-44)/(-6)*n/(-6) a composite number?
False
Let f = -1 - -3. Is f/(-2) - (5 + -32) a composite number?
True
Let r be (-6174)/(-70) + 2/(-10). Let v = 15 + -10. Suppose 4*t - 110 = -5*c, 2*c - 6*c - v*t + r = 0. Is c a composite number?
True
Suppose 2*u - 269 = 45. Is u prime?
True
Suppose -2*m + 7*m + 25 = 0, 0 = -j - 5*m - 39. Suppose -3*q + 37 + 26 = 0. Is (-4)/j - (-687)/q a prime number?
False
Let q be 1710/20*(-1 - 1). Let i = -94 - q. Is i composite?
True
Let c(x) = 10*x - 11. Let g = 28 + -19. Is c(g) a composite number?
False
Let m(x) = -873*x + 85. Is m(-6) composite?
False
Let s(p) = 22*p**2 - 7*p - 1. Is s(-4) a composite number?
False
Suppose 0 = -4*o - 5*f + 256, 5*o = -2*f + 42 + 261. Is o composite?
False
Suppose -2*w = -0*w - 14. Let y = 53 - w. Is y a prime number?
False
Suppose -q + 12 - 7 = 0. Is 263/q - 2/(-5) composite?
False
Suppose 0 = -p - p + 226. Suppose 5*o - p = -38. Suppose -o = 3*u, -t - 4*t = -5*u - 75. Is t a composite number?
True
Let m(s) = -s**3 + 21*s**2 + 17*s - 18. Is m(21) prime?
False
Let x be (-1 + 2)*7 - 1. Suppose -n + x*n - 15 = 0. Suppose -4*m - 158 = -2*q - 0*q, -2*q = n*m - 172. Is q a prime number?
True
Let b(t) be the second derivative of -131*t**3/6 - t**2/2 + 2*t. Let l be b(2). Let k = l + 441. Is k a composite number?
True
Let y be (-993)/(-21) - 2/7. Suppose 4 = 2*g - 2*n, 6 = -2*g - 5*n - 4. Suppose -2*m - l + y = g, -l + 28 = m - 2*l. Is m a prime number?
False
Suppose -3*c - 27 = -2*c + 2*g, 0 = -4*c + 2*g - 98. Let f = -1 + c. Let o = -15 - f. Is o a composite number?
False
Is (7899/(-12))/(3/(0 - 12)) a prime number?
True
Suppose -5*z + 2*k = -0*k - 23, -4*k - 16 = 0. Suppose -h = -z + 1. Is (-15)/(-1) + h + -2 composite?
True
Let i be 3 - (1 - -1) - -2. Suppose 0*a = 3*a + 2*g - 61, -a + 26 = -5*g. Is i/4*(a - 1) a prime number?
False
Let k(x) = -1002*x**3 - x**2 - 2*x. Is k(-1) a composite number?
True
Let c be (-3)/(-2) - (-28)/(-8). Let u be ((-2 - c)*-1)/2. Suppose 5*l = -n + 110, u*n + 2*l - 573 = -5*n. Is n a composite number?
True
Suppose -5*h = -4*h - 33. Suppose -y = -0*y - h. Is y composite?
True
Let s(y) = -y**3 + 10*y**2 - 9*y + 9. Let g = -6 + 15. Let o = 17 - g. Is s(o) a composite number?
True
Let d = -5 + 7. Suppose 3*n - d*s - 373 = 0, 0 = 2*s - s - 4. Is n composite?
False
Let a = 139 - -18. Is a a prime number?
True
Let i = 16 + 393. Is i a composite number?
False
Let p be ((-2)/2 + -4)*-5. Let j = p - 18. Is j a prime number?
True
Let s(i) = -i**2 + i + 9. Let f be s(0). Is 52/6 - (-3)/f composite?
True
Suppose 0 = -2*r + 49 + 23. Suppose -t - r = -181. Is t composite?
True
Is 79*((-52)/12 + 4)*-3 a prime number?
True
Suppose -4*w + 668 + 368 = 0. Is w a composite number?
True
Let h = 2 + 0. Suppose -2*b - 2*m = m - 376, -h*b = -5*m - 392. Is b a composite number?
False
Suppose 5*k + 990 = 3925. Is k a prime number?
True
Let h = -85 - -140. Is h a composite number?
True
Suppose 0 = -3*p - 7 + 22. Suppose p*q - 3*t = -t + 271, -5*q = -t - 273. Is q prime?
False
Let a(u) = 5*u**2 + 14*u - 2. Suppose -4*w - 3*h = 29, 0*w + 30 = -5*w - 5*h. Is a(w) composite?
False
Let p = 23 - 28. Let b(t) = 12*t**2 - t + 2. Is b(p) composite?
False
Let s(x) = -34*x**3 + 4*x**2 - 2*x - 2. Let f(j) = -j**3 + j**2 - 1. Let r(n) = 3*f(n) - s(n). Is r(2) prime?
False
Let v = 291 - -67. Is v a composite number?
True
Let j be (1 - -1)*(-6)/(-4). Let v = 17 - j. Is v composite?
True
Let v(t) be the first derivative of -59*t**2/2 - 1. Is v(-2) prime?
False
Let m(t) = t - 10. Let n(j) = j - 9. Let q(b) = 3*m(b) - 4*n(b). Let u be q(8). Is ((-226)/u)/(3/3) a prime number?
True
Let m be 1*(3 + -4)*11. Let t = m - -26. Suppose a - 5*b - t = 0, 3*a - b + 5 - 106 = 0. Is a a composite number?
True
Let h = 16 - 11. Let y = h - -1. Suppose r = 3*g + 212, y*r - 833 = 2*r - 3*g. Is r a composite number?
True
Let b(m) = -m - 1. Let j be b(-7). Is (-4)/j*(-690)/4 prime?
False
Suppose 398 = 9*h - 376. Is h a composite number?
True
Suppose -2*o + 29 = -41. Is o composite?
True
Suppose 0 = -3*m + 32 + 88. Let t be m/8 - 2*1. Let q(u) = 4*u**2 - 4*u + 1. Is q(t) composite?
True
Suppose -3*p = -5*p + 500. Is 1/(-3)*-3 + p a composite number?
False
Let b(n) = 644*n - 3. Is b(2) a composite number?
True
Let n be (-1)/(-2)*(-130 - 0). Let q be 25*1/((-4)/(-16)). Let i = n + q. Is i composite?
True
Let g be (33/9)/(2/6). Suppose -3*r + m = -772, -3*m + g + 4 = 0. Is r a composite number?
True
Let u(d) = -d**3 - 6*d**2 - 4*d - 4. Let c be u(-5). Let a = 24 + c. Is a a prime number?
False
Suppose 5*z - 7*y = -2*y + 5, y = 4*z - 1. Suppose 2*o + 376 = 5*i, -3*i + 8*i + 4*o - 358 = z. Is i prime?
False
Suppose 4*m = -3*z + 2795, 3*m = -z + 2*z - 949. Is z a composite number?
False
Let f(x) = 4 + 4*x**2 - 1 + 14*x**2 + 2 - 11*x. Is f(4) a prime number?
False
Suppose 0 = y - 6*y + 15. Suppose -2*i = 3*u - 739, i - 2*i = -y*u + 751. Is u a composite number?
True
Suppose l - p = -5*p + 779, -4*l + 5*p = -3158. Is l a composite number?
False
Let r = -116 + 79. Let i = 180 + r. Is i prime?
False
Let n = 172 + -110. Suppose t = -t + n. Is t a composite number?
False
Let t(v) = -53*v + 25. Is t(-8) prime?
True
Let x(h) = -h + 5. Let d be x(-13). Suppose -139 - d = -q. Is q composite?
False
Let k = -6 + 13. Suppose -k*w + 2*w = -25. Let s(n) = 2*n + 1. Is s(w) a prime number?
True
Suppose 1496 = 5*h - 2279. Is h a prime number?
False
Let u(t) = 5*t**2 - 20*t + 23. Is u(-16) a composite number?
True
Let w(j) = 7*j + 4. Is w(5) a composite number?
True
Let p(q) = -375*q**2 - 5*q + 5. Let l(y) = -187*y**2 - 3*y + 3. Let a(d) = 7*l(d) - 4*p(d). Suppose 5 = 2*g + f, 21 = 5*g + 5*f + 1. Is a(g) a prime number?
True
Suppose -4*g = -5*v - 4371, 5*g - 8*v - 5500 = -9*v. Is g a compo