1 + (5 - 4)) a prime number?
False
Let n be 2/(-8) - 1118/8. Let t = -71 - n. Suppose u - 4*u + t = 0. Is u a prime number?
True
Let q(y) = y**2 - y - 4. Let v(u) = 3*u**3. Let w be v(1). Let p be q(w). Is ((-2)/(-2))/(p/70) composite?
True
Let b(t) = -t**2 + 9*t - 11. Let u be b(9). Let s = -7 - u. Suppose -103 + 19 = -s*h. Is h composite?
True
Let v = 339 + -116. Is v composite?
False
Is 0 + (-6)/(-2) - (-538)/1 prime?
True
Suppose 2*s = -2*s + 24. Suppose 0 = 2*z - 3*z + 14. Is (z/3)/(s/9) composite?
False
Is 0 + 247 + 2 + 0 a prime number?
False
Let v(w) = w**3 - 7*w**2 + w + 7. Suppose 0 = m - 6*m + 15. Suppose a - 2*h + 7*h - 18 = 0, 30 = m*a + 3*h. Is v(a) composite?
False
Let b be (-1244)/(-10) - (-14)/(-35). Suppose g - b = -3*g. Is g composite?
False
Suppose -5*p + 5*g = -615, 3*p - 4*g - 373 = -3*g. Suppose b + 2*c = 32 + p, 0 = -5*b + 2*c + 737. Is b composite?
False
Let n = 2824 - -411. Is n composite?
True
Let l = 7 + 268. Let w(r) = r**3 + 11*r**2 + 9*r - 8. Let y be w(-10). Suppose -y*n + 7*n - l = 0. Is n a prime number?
False
Let u be -1*(-3 + 1 - -2). Suppose -w + 3*o - 10 = -0*w, 3*o - 8 = 2*w. Suppose -5*v - d + 395 = u, 4*v - w*d - 316 = -0*d. Is v prime?
True
Suppose 3*f - 4*f = 1, 2*k = -2*f + 2078. Suppose -n - 7*g + 507 = -2*g, -2*n + k = -3*g. Is n prime?
False
Suppose 0 = -6*t + 4*t - 4*v + 1314, -v = -2*t + 1339. Is t composite?
True
Let i(t) = -t**3 - t**2 + 2*t - 204. Let d be i(0). Let c = d + 523. Is c composite?
True
Suppose -2*h + 5*l + 20 = 0, 12 = -0*h - 5*h - 3*l. Suppose h = g - 6*g + 110. Is g a prime number?
False
Suppose -4*q = 221 + 1263. Let x = 916 + q. Suppose 64 = -2*t - 3*l + 278, 5*l - x = -5*t. Is t prime?
True
Let t = 28 - -30. Is t prime?
False
Suppose 3*q - 16 = -q. Suppose q*f + 5*l = 41, 0*l = -3*f - 3*l + 27. Is ((-7)/(-2))/(2/f) a composite number?
False
Let t(b) = -b**3 - 9*b**2 - 9*b - 4. Let p be t(-8). Let s be 4 + p*(-3)/6. Let m = s - -7. Is m a composite number?
True
Let n(m) = -3*m**3 + 2*m**2 + 13*m - 17. Is n(-8) composite?
False
Let l = -3 - -2. Is l*1*(-88)/8 a composite number?
False
Let o(d) = 15*d - 5. Let q(n) = 16*n - 6. Let y(p) = 7*o(p) - 6*q(p). Is y(6) a composite number?
True
Let h(g) = 5*g**3 + g**2 - g + 1. Let k be h(1). Let u(s) = -s**2 + 10*s - 5. Is u(k) composite?
False
Suppose 2*x + 924 = 7*x + 3*h, x - 180 = h. Is x a composite number?
True
Let f(o) = -15*o - 3. Let s(j) = 22*j + 4. Let y(d) = 7*f(d) + 5*s(d). Let c = 7 + -4. Is y(c) a prime number?
False
Let p = 10 - 5. Let b = p + -6. Is 35 - (b - (0 - 3)) a composite number?
True
Suppose -x - v + 425 = -977, 3*v = -x + 1408. Is x a composite number?
False
Let i(k) = 49*k**2 + 5*k - 13. Is i(3) composite?
False
Let l(c) = c**2 - 21*c - 5. Is l(-21) composite?
False
Suppose 0*t + 5*t - 200 = 0. Let k = -17 + -4. Let j = k + t. Is j a prime number?
True
Let c(j) = j**2 - 3*j + 2. Let w be c(4). Suppose w*q = 5*q + 57. Suppose -q + 438 = 3*i. Is i a composite number?
False
Let r = 65 - 31. Is r prime?
False
Let v = -13 - -17. Let j(c) = 7*c**3 - 5*c**2 + 2*c - 5. Is j(v) a composite number?
True
Let p(f) = 16*f**2 + 23*f + 31. Is p(12) a composite number?
True
Let o be 302 + (-2)/(0 - -2). Let i = o - 144. Is i a prime number?
True
Suppose -178 - 7 = -5*n. Suppose -3*y - n = -4*y. Is y composite?
False
Suppose 764 = -2*p + 6*p. Is p composite?
False
Let r(h) = -h**2 + h + 3. Let d be r(0). Suppose -2*x = 5*p - 237, -d*p = x - 4*x + 408. Is x a prime number?
True
Suppose -4*f - 10 = -6*f. Is 3/f + 742/5 a composite number?
False
Is (-2*(-3)/(-9))/((-4)/10938) composite?
False
Let r(f) = -f**3 - 4*f**2 - 7*f + 11. Is r(-4) composite?
True
Let l be 4/(-6) + (-7530)/(-9). Let f be l/14 + (-2)/(-7). Suppose 35 = 5*s - f. Is s prime?
True
Is (-2)/(-7) + (-1970)/(-14) prime?
False
Let s = -10 + 22. Is (1 + s)/(2/14) prime?
False
Let p = -177 - -271. Is p composite?
True
Is 1567 - (4/22 + (-126)/(-33)) a composite number?
True
Let w be ((-12)/(-9) + 2)*-3. Is (-584)/w - (-2)/(-5) a composite number?
True
Suppose -4*p - 12*p = -14512. Is p composite?
False
Is 1*11626*(-4)/(-8) composite?
False
Let x = 6 + -4. Suppose -34 - 34 = -2*w - z, -4*z - 78 = -x*w. Is w prime?
False
Suppose -5*w - 5160 = -5*m + 1540, -6740 = -5*m - 3*w. Suppose 4*g - 1304 = -5*y, -m - 285 = -5*g + 3*y. Is 3/(-15) + g/5 a prime number?
False
Let s = 12 + -17. Let q = s - -9. Is (q/(-12))/(2/(-222)) a composite number?
False
Is (-2)/4*2*(-324 - -1) a composite number?
True
Let g be (707/14)/(1/2). Let d = 166 - g. Is d prime?
False
Let h(n) = -6*n**2 + n - 2. Let b = 2 - -1. Let x be h(b). Let d = 74 + x. Is d composite?
True
Let h(d) = 3*d**2 - d. Let z be h(1). Let s be (-10)/(-10)*(-16)/z. Is (0 + -4)/(s/6) composite?
False
Is (-2 - -60)/(2/3) prime?
False
Suppose 8*w = 3*w + 20. Suppose -w*f + 0*f = -764. Is f a prime number?
True
Let t = 11 + -8. Suppose -j = -2*x - 245, -2*j + t*j = 3*x + 242. Is j a prime number?
True
Suppose 3*l = -5*c + 4, -5*c - 2*l + 6 = -0*l. Is 2/c - -36*1 prime?
True
Is (3126/(-18))/((-1)/(-3))*-1 composite?
False
Let b = 4 + 0. Suppose -b*f + 232 = -3*x, -2*x + 174 = -f + 4*f. Suppose 4*p + f = 654. Is p a prime number?
True
Let d(s) = s**3 - 2*s**2 + 8*s + 3. Let q be d(6). Suppose m = 4*m + 4*g - q, 0 = -m + 4*g + 65. Suppose m = 4*j - 23. Is j composite?
True
Is 214948/36 - 1*(-6)/27 a composite number?
True
Suppose 7*s + 398 - 20845 = 0. Is s a composite number?
True
Suppose -t - 64 = -d, 261 = 4*d - 8*t + 3*t. Is d prime?
True
Let k(p) be the second derivative of p**6/120 - p**5/30 + p**4/12 - p**3/2 + p**2/2 - p. Let x(z) be the first derivative of k(z). Is x(4) a composite number?
False
Let c(j) = j**2 - 6. Let y(t) = -2*t**2 - t + 7. Let b(f) = -4*c(f) - 3*y(f). Let i be b(-3). Suppose 8*k = 4*k + i. Is k prime?
True
Suppose -3*s - b = -1146, -s - 3*b = -3*s + 753. Is s composite?
True
Suppose -s + 1 + 22 = 0. Let u = -43 + s. Let y = -14 - u. Is y prime?
False
Let d = -53 - -90. Is d a composite number?
False
Let p = 2415 + -1321. Is p a composite number?
True
Let v be 2*(-4)/(8/(-5)). Suppose 0 = v*i - i - 2212. Is i a prime number?
False
Let x(l) = 4*l**2 + 8*l. Suppose -2 = t - 5*w + 4, -6 = t + 2*w. Let u be x(t). Suppose -2*h + 34 = -u. Is h prime?
False
Let a be -1 - (3 + -2 - 3). Let n(b) = a - 2 + 30*b + 5*b. Is n(1) composite?
True
Let o = -62 - -65. Suppose 3*c - 13 = -2*v, 0*c + 2*c = 5*v - 23. Is c/((-1)/(-74)) + o composite?
True
Suppose -2*b - 3 = -2*h + 1, 4*h = b - 4. Let a be 5*(1 - 3 - b). Let y(n) = 2*n - 7. Is y(a) a composite number?
False
Suppose 2*r + 2*t - 28 = 0, -5*r - 4*t + 79 - 13 = 0. Let f(d) = -d + 11. Let a be f(r). Is 12 + a - (0 - 0) composite?
False
Suppose 2*g - y - 7 = -2*y, -3*y = 4*g - 17. Let r be (-2)/(-3) - g/3. Suppose -2*h + h + 65 = r. Is h a composite number?
True
Let i(r) = -7*r - 1. Let n be i(11). Let y be n/(-18) - (-1)/(-3). Suppose 0 = g - b - 14, 2*g = g + 3*b + y. Is g prime?
True
Let g = 11 + -6. Suppose 2*c + 3*w - 11 = -96, g*w + 210 = -5*c. Is (-1)/(-3) - c/3 prime?
False
Let z(t) = -t**3 + 6*t**2 - 7*t + 1. Let q be z(5). Is (42/q)/((-6)/27) prime?
False
Let z be (-3 - 1) + (-97)/(-1). Suppose 0 = 2*k - 275 + z. Is k a composite number?
True
Suppose -n - 2 = 4. Let g = 16 + n. Is g composite?
True
Suppose 3*k + 5*p = 7767, 5*k + 5*p - 8*p = 12945. Is k a composite number?
True
Suppose 0 = k + 3*y - 16, -3*k = 5*y + 11 - 47. Suppose -3*i - 2*d = -k*d - 29, d = -2*i + 2. Is (-2)/i + (-46)/(-6) a prime number?
True
Let l = 775 + -456. Is l prime?
False
Let m be (-2 + 4)*(-2)/(-1). Suppose 0 = m*h - h - 12. Suppose -5 = -5*j, -h*g + g + 3*j = -3. Is g a prime number?
True
Let k(t) = -t**3 + 15*t**2 - 13*t - 19. Let s be k(14). Let l(d) = 6*d**2 - 8*d - 5. Is l(s) prime?
False
Let m = -10 + 18. Let u(o) = 4*o + 7. Is u(m) prime?
False
Let t(u) = u**3 + 4*u**2 + 3*u + 4. Let m be t(-3). Let l = m - -73. Is l a prime number?
False
Suppose 2*c = 5*c - 27. Is c composite?
True
Let w = -11 - -8. Is w/(-6)*(134 + 0) a composite number?
False
Let m be (-42)/(-4) - (-2)/4. Suppose 4*y - m = 5*c, -2*y + c + 15 = 2*y. Suppose 2*f = y*f - 94. Is f a composite number?
False
Let a = 2523 - -184. Is a a composite number?
False
Let n(p) be the first derivative o