1))/(-2 + 1). Let c = k + 309. Let h = -210 - c. Is h a prime number?
False
Let v(h) = -176*h**3 + 5*h**2 - 8*h - 18. Is v(-5) prime?
True
Let v = 103472 + -63277. Is v composite?
True
Let w(y) = -y**3 - 5*y**2 - 6*y - 4. Let o = -11 - -7. Let m be w(o). Suppose -m*q = -256 + 36. Is q a composite number?
True
Let g = 11291 - 4292. Is g composite?
True
Suppose 151578 = 7*p + 47117. Is p prime?
True
Let g = -45 + 63. Let h = g - 29. Is 2/h - (-2138)/22 a composite number?
False
Let a = -10 - -10. Suppose 3*q = -a*q + 18. Is -2 + (q/2 - -556) prime?
True
Let s be -1 - (-6)/(0 + -3). Let k be -4 + s/6*-18. Suppose 0 = -v + k*v - 764. Is v a composite number?
False
Suppose v = 4*n - v - 2, 5*n = v + 1. Suppose 1300 = -5*t - n*t. Is t/(-5) - 1*-1 a prime number?
True
Is 4/(-7) - ((-71100)/14 + -1) a composite number?
True
Let j = -2612 - -9429. Is j a composite number?
True
Let k = -86 + 798. Let l = -213 + k. Is l prime?
True
Let f = 1468 - -2413. Is f a prime number?
True
Let h be 7440/(-25) - 4/10. Let x = h - -704. Suppose 4*j = 358 + x. Is j a composite number?
False
Let p(t) = -t**3 - 10*t**2 - 8*t + 24. Suppose -4*h = 3*g + 45, 3*g = -6*h + h - 54. Is p(h) a composite number?
True
Let q be 6/(-9)*(-15)/5. Suppose 4*p = -q*d + 312, p + p - 4*d = 166. Is p a composite number?
False
Let v(g) = 10*g**3 - 6*g**2 - 4*g + 16. Let s be v(7). Let w = -591 + s. Is w a composite number?
True
Suppose n + 5*l = 2128, -41*n - 4280 = -43*n + 2*l. Is n prime?
False
Suppose 0 = -5*m - 4*t + 9139, 3*m - 1365 = -3*t + 4116. Is m a composite number?
False
Let x = -7 + 12. Let k(c) be the third derivative of c**6/60 - c**5/12 - c**4/4 - 2*c**3/3 - 7*c**2 - 3*c. Is k(x) a prime number?
False
Let w(d) = d - 8. Let n be w(10). Suppose o + n = 4. Suppose -o*t + 1075 = 3*t. Is t composite?
True
Let m(p) = 390*p**2 - 3*p - 10. Is m(-7) a prime number?
True
Let c(q) = -q - 11. Let i be c(-11). Suppose i = 5*b - 3*b - 976. Let p = -309 + b. Is p a prime number?
True
Let i(u) = -4*u - 14. Let c be i(8). Suppose 2*q - 148 = -3*k + 153, -3*q = -k + 104. Let l = k + c. Is l composite?
True
Suppose 6*t - 2956 = 2*t. Let w = t + -488. Is w a prime number?
True
Let c(u) = -7*u**3 - u**2 - 5*u - 3. Let d be c(7). Is (-2)/4*(d + 2) composite?
True
Let r = 6205 + -1847. Is r prime?
False
Let p(c) = 2*c**2 - 7*c - 2. Let b = -42 - -26. Let x be 3/(-1) - b/(-8). Is p(x) composite?
False
Let p be (-3 - (-4 + 0))*9. Suppose -11*z = -p*z - 254. Is z a composite number?
False
Let m(t) = t**2 + 12*t - 11. Suppose 0 = -p - 0*p, -52 = 4*v + 3*p. Let j be m(v). Is (-44)/j*(-74)/4 a prime number?
False
Suppose 0 = 2*u + 4*v - 32, -7 = -4*u - 2*v + 27. Suppose -11*t = -u*t - 20. Suppose -t*a + 855 = -149. Is a prime?
True
Let m be (-1352)/(-4) + (0 - -2). Suppose -4*s + 8*s = m. Is s composite?
True
Let y(p) = 16*p - 2. Let r be y(-5). Let s be (-3)/(-12)*-6*r. Suppose -2*q - z - 116 = -5*q, -4*q = 5*z - s. Is q a prime number?
True
Suppose -5*v - 12 + 42 = -4*k, 4*v - 23 = 3*k. Suppose -m = -4*m + n + 7092, 2*m + 4*n = 4728. Is (4/12)/(v/m) a composite number?
True
Suppose 10 = -5*p - 5*d, 0*p - 2*p = -d + 4. Is -1 + 2 + 0 + p + 195 composite?
True
Let a = 1 - -2. Suppose 5*z - 232 = a*z. Is z/6 - (-5)/(-15) a prime number?
True
Suppose -4*g + 3*g = -4*w - 13835, 3*w = -2*g + 27670. Is g a composite number?
True
Let p = 47864 + -22669. Is p a prime number?
False
Suppose -8268 = q - 2*q. Is 2/(-7) + q/28 a composite number?
True
Suppose -15*y - 428 = -87968. Let b = -3969 + y. Is b a prime number?
True
Let w(v) be the third derivative of -191*v**6/40 + v**5/20 + v**4/24 + v**3/6 + 4*v**2 - 2*v. Is w(-2) prime?
False
Is (-15632)/36*189/(-42) composite?
True
Let i(x) = x**3 + 8*x**2 - 10*x - 9. Let u be i(-9). Suppose 3*l = 4*f - 9, u = 3*l + 2*f + 27. Is l/(-2)*(-136)/(-4) a composite number?
True
Let p = 25 - 20. Suppose 0 = t + p*r - 73, -t + 4*r + 481 = 4*t. Let g = t - -38. Is g a composite number?
False
Suppose 2*o = -l - 32 + 224, 5*o = -2*l + 389. Let y = -115 + l. Is y a prime number?
True
Let u(p) = -151*p + 13. Let s(g) = -454*g + 39. Let v(l) = 6*s(l) - 17*u(l). Is v(-6) composite?
True
Let f(j) = -9 - 94*j + 16 + 0 + 18. Is f(-7) composite?
False
Is (-1559)/((1 - -5)/(-6)) prime?
True
Let m = -4 + 8. Let k be 3 + 4 + (12 - 15). Suppose -k*g = -m*f + 691 + 77, f - 190 = -g. Is f a prime number?
True
Let o = -23 - -18. Let a(y) = 2 + 2*y**2 + 2 + 4*y + 4*y - y. Is a(o) a composite number?
False
Let m(d) = -2*d**3 - 22*d**2 + 8*d - 14. Let g be 12/(-30) + 116/(-10). Is m(g) prime?
False
Suppose 5*m - 2425 = -5*k, -2 = 4*k + 2. Suppose 8*o = 3*o - 1335. Let u = o + m. Is u prime?
False
Let k = 13 - -15. Let w(y) = -y**3 + 27*y**2 + 33*y + 23. Is w(k) a prime number?
True
Suppose 0 = 7*x + 3826 - 1124. Suppose -3*c + 3*m = 288, 3*c + 2*c + 2*m + 459 = 0. Let w = c - x. Is w composite?
False
Suppose -3*l + 10 = -2*c + 7*c, 0 = -3*l - 15. Suppose c*t - 1421 = 1334. Is t a composite number?
True
Is (4 - -1)/5 + 9965/5 a composite number?
True
Suppose 2*z + 4*j - 10 = 0, 3*z - 2*j - 51 = j. Let s be 2/z - (-162)/(-39). Is (0 + s + 3)*-269 a prime number?
True
Is 5/((-15)/(-5178)) - (5 - 10) prime?
False
Let f be (-1)/(-2)*2*0. Suppose -4*v + f*v = -12. Suppose r = 2*r + 4*n - 123, -v*n = 3. Is r prime?
True
Let j(s) = -4*s + 11. Let k = 46 + -51. Is j(k) a composite number?
False
Let p = -77 - -207. Suppose 0 = -f - 4*f + p. Is (-5)/(((-4)/f)/2) a prime number?
False
Let f be (-10)/(-14) - -2 - 46/(-161). Let v(l) = 667*l**2 + 2*l - 1. Let w be v(1). Suppose -2*t + 3*n + w = 0, -t - f*n + 343 = -0*t. Is t a prime number?
True
Suppose 47*q + 28975 = n + 51*q, 0 = -5*n - q + 144913. Is n a composite number?
True
Suppose 0*n - 5*n = -5*r - 9070, 5*n = -4*r + 9115. Suppose 16*v - n = 213. Is v prime?
True
Is (-4706835)/(-414) - (-2)/(-12) composite?
False
Let y(f) = 1939*f + 48. Is y(11) composite?
False
Let n = 65 - -146. Is n a composite number?
False
Let z(o) = 68*o**3 + 1. Let a be z(2). Let n(y) = 18*y - 282. Let h be n(16). Is a + -6*4/h composite?
False
Let q be (74/6 - 1)/(8/12). Suppose 0 = -22*i + q*i + 3925. Is i composite?
True
Suppose 5*k + 2*p - 23 = 0, 8*k - 20 = 5*k + 5*p. Suppose 3*c = -3*b + 474, -k*c + 793 = 5*b - 3*b. Is c composite?
True
Suppose 2*a = -4*a. Suppose -5*v + 5009 = q - 5185, 3*q + 3 = a. Is v a composite number?
False
Suppose 5*r = -4*m - 37, 11 = 4*m + 3*r + 38. Is m/(-6)*(937 - 3) composite?
False
Let l = 700 - -811. Is l composite?
False
Is 5 + 44763/6 - (-15)/(-6) a prime number?
False
Suppose 4*s = -s. Suppose -z + s*z = -6. Suppose z*t = 3*t + 2013. Is t a composite number?
True
Suppose -4*p = -5*d + 555, 2*p - 2*d + 358 - 80 = 0. Let l = 23 - p. Is l a prime number?
True
Let p(y) = 25*y**2 + 1 + y + 3*y + 0. Suppose -f = -4*f + 12. Is p(f) prime?
False
Let g = 7989 + 3062. Is g a prime number?
False
Suppose 0 = 2*b + 3*o - 70514, b + o = 18958 + 16297. Is b composite?
False
Suppose -7*y + 34*y - 354213 = 0. Is y prime?
False
Let o(d) = 3*d**3 + 3*d**2 + 4*d + 9. Let p(f) be the third derivative of -f**6/120 - f**4/24 - f**3/6 + 4*f**2. Let b(g) = -o(g) - 2*p(g). Is b(-6) composite?
False
Suppose 5*j = -t + 26, 0*t - 3*t + 5*j = 22. Suppose -t - 2 = -3*x. Let q(u) = 553*u**3 + 2*u**2 - 2*u. Is q(x) composite?
True
Suppose -4*o - 3 = -3*j, -3*o - 18 = -4*o - 3*j. Suppose -4*t + 1782 = -2*d, -2*d = -o*d - 3. Suppose -2*f = 2*f - t. Is f a prime number?
False
Let s = 7 + -7. Let o be 2 + s/(2 - 4). Is (4/o)/(2/71) composite?
False
Let z be (6 - 3)*(-4)/12. Let t be (1/(-3))/(z/3). Let q(c) = 87*c. Is q(t) a composite number?
True
Let v be (32/(-2))/((-5)/((-25)/(-10))). Is 222/(-4)*(96/(-9))/v a composite number?
True
Let q(c) = 27*c**3 + 3*c**2 + 6*c - 5. Suppose 30 = -l - 2*k, -k = -2*k - 3. Let v = -20 - l. Is q(v) prime?
False
Let w(t) = -276*t + 10. Is w(-2) a prime number?
False
Is (-10)/(-30) - 1472922/(-27) prime?
False
Suppose 10*m = 11*m + 4. Is (830/m)/5*6/(-3) prime?
True
Suppose -34*z + 1669108 = -3110544. Is z prime?
False
Let t be -175 + (-1 - 4/(-2)). Let v = 63 - t. Is v prime?
False
Let z(i) be the third derivative of i**6/120 - i**5/60 - i**4/24 + 467*i**3/6 + 9*i**2. Is z(0) prime?
True
Suppose 0 = 5*w + 5*y - 4190, -477 = -w + 3*y 