g - 7. Is t(4) a prime number?
False
Let d(z) = 1 + z**2 - 2*z**2 + 5*z + 4. Let p be d(6). Is (-1 + p)*13/(-2) prime?
True
Let g(b) = b**3 + 3*b**2 - 3*b + 1. Suppose -2*w + 18 = -4*l, 3 + 0 = w. Let k be g(l). Suppose y = -3 + k. Is y a prime number?
True
Suppose -4*p + 296 + 145 = -z, 2*z - 450 = -4*p. Is p composite?
True
Suppose 0 = -2*g - 2*g + 32. Let f be g/(-20) + (-52)/(-5). Suppose -4*r - d = -84, -r + 2*d - 5*d = -f. Is r a prime number?
False
Let n(l) = 189*l**2 - 3*l + 49. Is n(5) a prime number?
True
Let l = -2953 + 8172. Is l a prime number?
False
Let j = 6 - -3. Let w be (-21)/j - 1/(-3). Is 37 - (0/w - 0) composite?
False
Suppose -2302 = 15*w - 16*w. Is w a composite number?
True
Let s = 8 - 4. Suppose 4*f = -s*l + 8, -8 = f - 2*l - 2*l. Let g(j) = -j + 35. Is g(f) prime?
False
Let h = -13 + 8. Is (-411 - -1)/(-7 - h) a composite number?
True
Let f = 0 + -1. Let i = f + 3. Suppose -k = -i*k + 77. Is k a composite number?
True
Let c = 7 + -9. Is (-2348)/(-8) + c/4 prime?
True
Let b(l) be the first derivative of -l**3/3 + 9*l**2/2 + 11*l - 2. Let v be b(9). Is (-2)/v - 862/(-22) composite?
True
Suppose -2*l - 2 = -3*l. Suppose -i - 5*z + 0 = -121, -2*i = l*z - 218. Suppose 3*w = 2*f - i, 3*f - 131 - 54 = -2*w. Is f a composite number?
False
Suppose 42 = h - 5*w - 42, -5*w = -3*h + 292. Let n = h + -10. Is n composite?
True
Let w be -2 + (0 - -1) + -3. Let f be (-1)/w + (-438)/(-8). Let o = 140 - f. Is o a composite number?
True
Suppose -93 = -2*y + 3*r - 8*r, 3*y + 4*r = 122. Is y/(-6)*(-32 + -1) a prime number?
False
Suppose -r + 4*q + 17 = 0, -5*q + 0*q = 5*r - 210. Is r composite?
False
Let z(l) = l**3 - 9*l**2 + 2*l - 5. Let j be z(9). Suppose -a - j = -19. Is a a prime number?
False
Is 38 - (2 - -1 - 0) prime?
False
Suppose 0 = 3*r - s - 20, 2*r = -0*s - 2*s + 24. Let p(x) = 8*x - 1. Let g be p(r). Suppose -g = -k + 128. Is k a composite number?
False
Suppose 2*i - 102 = -0*i. Is i prime?
False
Suppose -3*g = -y + 51, 0 = -2*y - y - 3*g + 165. Suppose -4*t + 5*s - 77 = 0, 0*s + 4*s - 72 = 4*t. Let r = y - t. Is r prime?
True
Let p(m) be the third derivative of m**5/30 - m**4/12 - m**3/2 - 7*m**2. Suppose 0 = -3*x + 4*z - 6*z - 2, 3*z = 15. Is p(x) a composite number?
False
Let t be ((-3)/(-2))/((-4)/(-8)). Let h be 96 - ((-9)/1)/t. Suppose -2*c - c + h = 0. Is c a composite number?
True
Let v = 2 - 2. Let b be v/(1 + (-2 - -2)). Suppose b = -5*m - 2*r + 421, 3*r - 92 = -0*m - m. Is m prime?
True
Suppose -246 = -2*d - 56. Suppose k = -4*k + d. Let a = 0 + k. Is a composite?
False
Let i(n) = -n. Let l(w) be the first derivative of 4*w - 2. Let u(v) = -6*i(v) - l(v). Is u(3) prime?
False
Let k = 397 + 280. Is k a prime number?
True
Let f(y) = 42*y**2 + 3*y - 3. Let d be f(2). Suppose 0*z - 98 = -2*z - 2*x, 3*x = 3*z - d. Is z a prime number?
True
Is (-2)/(6/(-3429)*3) prime?
False
Is (-3193)/(-9) + 54/243 prime?
False
Suppose 4*k - 2 = 14, 4*x - k + 4 = 0. Let c be (-2)/4*-4 + x. Suppose c*i + 242 = 4*i. Is i prime?
False
Let h(g) be the second derivative of -23*g**3/3 - 3*g**2/2 + 3*g. Is h(-2) a prime number?
True
Let a be 3/18 + 106/12. Let s be (-12)/54 - (-2)/a. Suppose -6 = 3*w - s*w, 0 = 2*q - 2*w - 342. Is q a composite number?
True
Let f = -1279 + 2430. Is f a composite number?
False
Suppose 8*c - 4348 = -2*h + 6*c, -2*c - 2165 = -h. Is h a composite number?
True
Let s(z) = -5*z - 2. Let l be s(-1). Suppose 5*w - 432 = -2*q - 2*q, 12 = -l*w. Is q composite?
False
Let n be (-1421)/(-21) + 2/6. Let w = -37 + n. Is w prime?
True
Let f(w) = -9*w. Let j be f(-7). Suppose 3*m + 3 = 0, -4*t - 3*m + 138 + j = 0. Is t prime?
False
Is (4/(-6))/((-2)/30) prime?
False
Let i(s) = -10*s**3 - 1 + 1 + 3*s + 4*s**2 + 4. Let z be i(-3). Suppose -z = 4*a - 1785. Is a composite?
True
Let j(x) = -x**2 - 6*x - 2. Suppose -t - 15 = 3*r, 2*r - r - 3*t + 5 = 0. Let b be j(r). Suppose d + 110 = b*d. Is d a prime number?
False
Suppose q - 3*q + 15 = 3*g, 5 = -2*q + g. Is 0 - -49 - q - 3 a composite number?
True
Let g(h) = -8*h**2 + 2*h + 1. Let d(t) = -41*t**2 + 11*t + 5. Let z(r) = 2*d(r) - 11*g(r). Is z(-3) a composite number?
False
Suppose c = 4*c - 2877. Is c prime?
False
Suppose o + 7 = 2*o + j, -2*j = -5*o + 7. Let w be -5 + 6 - o/(-1). Suppose w*y + y = 565. Is y a prime number?
True
Is (11 + -13)/((-4)/12918) a composite number?
True
Suppose f + 4 = 3*f. Let p(z) = -14*z + 8*z**2 - f*z**2 + 7 - 4*z**2 + 0. Is p(12) a composite number?
False
Let v(p) = 160*p**2 - 2*p - 1. Is v(2) prime?
False
Let t(p) = 6*p**3 + 2*p**2 - 5*p + 5. Let i(v) = -6*v**3 - 2*v**2 + 6*v - 6. Let s(z) = 2*i(z) + 3*t(z). Let a be s(3). Let j = 251 - a. Is j prime?
False
Let r be (-6)/(-10) + (-6)/10. Suppose i - 3*i = r. Suppose -5*d - 109 = -5*s + 66, 4*s - 3*d - 138 = i. Is s a prime number?
False
Let u(d) = -3*d**3 - 7*d**2 + 5*d + 26. Is u(-11) composite?
True
Let j(z) = -z**3 - z**2. Let b be j(0). Suppose -5*h + 2*h + 285 = b. Suppose -3*c = s - h, -3*s - 34 = -4*c - 293. Is s composite?
False
Let p be (4*(-181)/2)/(-1). Suppose p = -4*f + 1358. Is f composite?
True
Let k(r) = -4*r + 1. Let c be k(-1). Suppose c*m - 1104 = 1031. Is m a composite number?
True
Is 282/4*44/6 a composite number?
True
Suppose -2*q + 1506 = 2*h, -4*h + 3*q = -2*q - 2994. Is h a composite number?
False
Let s(c) be the first derivative of c**7/420 + c**5/120 - 5*c**4/24 - 2*c**3/3 + 3. Let n(z) be the third derivative of s(z). Is n(4) prime?
True
Let w = 1895 - 744. Is w composite?
False
Let s(b) = -b**2 + 7*b + 4. Let p be s(7). Suppose -5*u = 2*w + 3*w - 1045, 0 = -3*u - p*w + 625. Is u a prime number?
True
Suppose -3*m = -2*m - 925. Let n = -618 + m. Is n composite?
False
Suppose 106 = 2*s - s. Is s a prime number?
False
Suppose 4*n - 725 = -n. Is n composite?
True
Suppose -a - 6712 = -9*a. Is a a prime number?
True
Suppose 50 = n - 3*h, 3*n + 3*h = 306 - 120. Is n composite?
False
Let g(s) = 6*s**2 + 7. Let n(j) = -j**2 - j + 9. Let x be n(0). Suppose -4*h - 15 - x = 0. Is g(h) a prime number?
True
Is 2055*-5*(-5)/75 a composite number?
True
Let h = 192 - 345. Let w = 176 - h. Is w a composite number?
True
Let u(s) = 76*s**2 - 3*s + 8. Is u(-5) a prime number?
False
Let x be 60/(-6)*3/(12/(-10)). Suppose -2*k = -k + 15. Let y = x + k. Is y a prime number?
False
Let g(b) = -50*b**3 + b**2 + 2*b + 2. Is g(-1) a prime number?
False
Suppose 0 = -21*t + 16*t + 2395. Is t composite?
False
Let c(x) = -x**2 + x + 1. Let r be c(0). Is 40 + r/((-1)/3) composite?
False
Let n = 15 - 13. Suppose n*v - 255 = 29. Is v prime?
False
Let p(m) = m**3 + m**2 + 2*m + 209. Is p(0) composite?
True
Let k(z) = -3*z**2 - 8*z - 2. Let h(o) = 6*o**2 + 17*o + 4. Let y(v) = -4*h(v) - 9*k(v). Is y(-7) a prime number?
False
Suppose -2*p + 4*s + 317 - 117 = 0, 0 = -2*s - 8. Suppose -4*a + p = -64. Is a a composite number?
True
Suppose 33 = -2*g - 3*b, -2*b + 24 = -4*g - 2. Is (-471)/g - (-2)/3 prime?
True
Let k(x) = -x**2 + 13*x + 33. Is k(15) a prime number?
True
Let d(m) = 3*m**2 + 4*m - 1. Suppose 0 = -5*x + 6 + 24. Is d(x) a composite number?
False
Suppose -2*p + 5 - 1 = 2*u, 2*p = -4*u + 10. Suppose 2*n = -8, 5*d - 2*n + u = 11. Suppose 142 = 2*h - d*h - 4*f, 5*h + f - 333 = 0. Is h a composite number?
False
Suppose 0 = -6*c + 3*c + 24. Is 25*(c/5 - 1) composite?
True
Let g(b) be the first derivative of -265*b**2/2 - 4*b - 5. Is g(-3) a composite number?
True
Is (-5)/15*-127*3 prime?
True
Suppose 0 = -3*w + 14*w - 19415. Is w a composite number?
True
Let w(u) = -9*u - 17. Is w(-20) a prime number?
True
Let w = 4 - 2. Suppose w*l - 38 = -0. Is l a prime number?
True
Suppose 4*x = 2*f + 7514, -4*x - x + 3*f + 9390 = 0. Is x/12 + (-1)/(-4) prime?
True
Let d be (2 - (-2 - -4)) + 2. Is ((-1)/d)/(2/(-24)) composite?
True
Let i(x) = 2*x - 8*x**2 + 2 + 16*x**2 + 48*x**2 - 3. Is i(-4) prime?
True
Let p(a) = 10*a**2 - 6*a + 7. Let q(d) = -11*d**2 + 6*d - 7. Let s(v) = 5*p(v) + 4*q(v). Is s(3) a prime number?
True
Let o(w) = 2*w**3 + 5*w**2 + 4*w + 5. Let l be o(5). Suppose 5*p - l = p. Suppose -y = 2*b - 29, b = -4*y - y + p. Is y a prime number?
True
Let x = 2 + -5. Let k be 0 - x*6/9. Suppose 3*l - 5*r - 189 = -k*r, -2*r = -8. Is l a prime number?
True
Suppose -4*x = -14 - 6. Suppose 17 = -p - 3*d, x*p + d 