 g(n) = 5*n**2 - 4*n. Let c be g(-3). Let j = c + 26. Is j a prime number?
True
Let h(q) = -q**2 + 6*q - 1. Let b be h(7). Is (-2)/(-8) + (-662)/b a prime number?
True
Suppose 2*k = -6*k + 1048. Is k composite?
False
Let g be (-6)/(-1)*315/18. Suppose 8*b - 3*b - g = 0. Is b composite?
True
Let m be 9/(-6)*-2 + -314. Let z = m + 618. Is z a prime number?
True
Suppose -3*d + 3*t - 341 = t, -d + 3*t = 123. Is d/(-2) + 2/(-4) composite?
True
Let g(t) = 0*t + 12 + t - 3 + 0*t. Let w be g(-8). Is w/((-2)/(-6)) + 16 composite?
False
Let s(m) = 5*m**3 - 11*m**2 + 8*m - 3. Let h(t) = 11*t**3 - 22*t**2 + 16*t - 7. Let g(f) = -3*h(f) + 7*s(f). Is g(7) prime?
False
Let w be -1 - -12 - (2 - 0). Is -21*(-30)/w + -1 prime?
False
Suppose 2*j - 108 - 610 = 0. Let d = j + -196. Is d a composite number?
False
Suppose 3*w + 3*p - 15 = 0, 11 = -w - 4*w + 4*p. Suppose -15 = -4*y + 37. Is -3*y*(-2 + w) a prime number?
False
Let s(a) = -3*a**3 + a**3 - a - 12*a**2 + 3*a**3 + 15. Is s(12) prime?
True
Let j = -49 - -378. Is j a composite number?
True
Suppose 0 = -5*k - c + 8530, -c = 2*k - 3753 + 341. Is k prime?
False
Suppose -9*h = -4*h + 45. Let k(i) = -i**3 + 4*i**2 + 9*i - 17. Is k(h) a composite number?
True
Suppose 2*t + 19 - 23 = 0. Suppose 521 = q - t*l, 0 = 2*q - l - 161 - 875. Is q prime?
False
Let s(d) = d**2 - 8*d + 3. Let m be s(8). Suppose -j = m*c - 9, c - 5*j + 12 = 5*c. Suppose p = z + c, 5*p + z + z - 43 = 0. Is p a composite number?
False
Let l(u) = 65*u + 8. Let i(d) = 43*d + 5. Let q(a) = 7*i(a) - 5*l(a). Let b = 13 + -20. Is q(b) prime?
True
Suppose -352 + 58 = -b - 5*s, -4*b - s = -1271. Is b a composite number?
True
Let p be (6/(-3) - -2)/(-1). Suppose p = -0*u - 5*u + 15. Suppose 0 = -x - u*x + 44. Is x prime?
True
Suppose -12 = -2*z + 5*z + 2*g, 0 = -5*z + g - 33. Let m = 25 + z. Is m composite?
False
Let v(s) = s + 8. Let k be v(-6). Let t be 3*(k + 0 + 1). Is t - (-5)/(5/2) a prime number?
True
Let h(c) = 18*c**2 + 7*c - 7. Is h(6) a composite number?
False
Let i = 0 - -2. Suppose -i*o = -o - 144. Suppose -3*h + t + o = 0, h - 3*t - 2*t - 34 = 0. Is h prime?
False
Suppose -4*f + 5*d + 3104 + 565 = 0, 0 = 2*f + 4*d - 1854. Is f a prime number?
False
Let f = 28 + -16. Let q(x) = f*x + 1 + 57*x - 17*x. Is q(1) a composite number?
False
Suppose m = 5*a, 0 = 4*a + m + 2*m - 19. Suppose -4*l + 413 = a. Is l a prime number?
True
Is 44/8*1*4 a prime number?
False
Let u(o) = -o**3 + 3*o**2 + o - 1. Let p be u(3). Let q = p + 0. Is 0 - (-37 + (q - 0)) composite?
True
Let c = -6 - -29. Let f = 62 - c. Let d = 61 - f. Is d a prime number?
False
Let d(s) = 3*s**2 - s + 1. Let q be d(1). Suppose -4*y - 5*c = y - 455, -y = -q*c - 91. Is y prime?
False
Suppose -y + 62 - 9 = 0. Is y prime?
True
Let w = 2542 + -1761. Is w a composite number?
True
Let b = 2 - -1. Suppose -3*y - 736 = 2*a - 4*a, 1119 = 3*a + b*y. Is a composite?
True
Let b(z) = z**3 + 13*z**2 + 8*z - 11. Let j(r) = -r**3 - 14*r**2 - 9*r + 11. Let v(o) = -3*b(o) - 4*j(o). Is v(-16) composite?
False
Let z = -210 - -1007. Is z a prime number?
True
Let h be -2 + 3 + -3 + 253. Let y = h - 172. Is y a prime number?
True
Let u(f) = 36*f - 23. Is u(4) a composite number?
True
Let t(g) = -176*g - 5. Let q be 4 + -12 + 4 - -2. Is t(q) composite?
False
Let s = -376 - -533. Is s a prime number?
True
Let i be 84/16 + (-1)/4. Is ((-34)/i)/(2/(-10)) composite?
True
Is (-5)/(-1)*188/20 prime?
True
Suppose 4*y + 22 + 14 = 0. Let h(i) = -i**3 + 5*i**2 - 4*i + 2. Let j be h(4). Is (j/(-6))/(1/y) a prime number?
True
Suppose -5*x = 4*y - 5675 - 3302, -5*x = -y - 8987. Is x a composite number?
True
Let r be (-6)/(52/32 + -2). Is (-4)/(-6)*3864/r a prime number?
False
Let y(m) = 11*m - 17. Is y(10) a composite number?
True
Suppose -t + 2*q + 678 = 0, 1376 = t + t + q. Suppose -4*h = 4*o - 24, -5*o + 0*h = -h - 18. Suppose -o*b - 178 = -t. Is b a composite number?
False
Let w = -8 + 8. Let o(c) = 19*c**3 + 4*c**2 + w + 3*c**2 + 3 - 3*c - 4*c**2. Is o(2) a prime number?
False
Let d(q) = 5*q**2 + 0*q**3 - 4*q + 7*q**2 - q**3 - 6. Is d(7) a prime number?
True
Suppose 4*v - 16 = -0*v. Let g(d) = d**2 - 5*d - 3. Let c be g(v). Is (-2*25)/(c + 5) composite?
True
Let k = -3269 + 4812. Is k a prime number?
True
Suppose 0 = -4*i - 2*b - 1088 - 448, i + 2*b = -378. Let y = -195 - i. Is y composite?
False
Suppose 0 = 3*k - 4*k + 3*w, -3*k - w + 10 = 0. Let a be k/3 + (0 - -4). Let z(m) = 3*m - 6. Is z(a) composite?
True
Let y(a) be the third derivative of a**5/10 + 7*a**4/24 + a**3 - a**2. Is y(-7) a composite number?
False
Let f = 2327 - 4265. Is (-4)/(-8) - f/4 prime?
False
Let q(i) = -i**3 + i**2 + i + 81. Let z be q(0). Is z/15 - (-3)/5 prime?
False
Suppose 2*b - 9 = 19. Let d = b + -11. Let p(f) = -f + 5. Is p(d) a composite number?
False
Let s = 724 + -343. Is s a composite number?
True
Let s(n) = 145 + 15 + n**2 + 4*n**3 + 19 - 3*n**3. Is s(0) prime?
True
Suppose -35*c = -30*c - 34115. Is c prime?
True
Let h be 2/(-3) + 187/33. Suppose -p = -5*y + 921, 7*y - 2*y - h*p = 905. Is y a prime number?
False
Is (-381)/(-6)*(4 - 2) prime?
True
Let b(a) = -7*a - 5. Let l be 6/24 - (-50)/(-8). Is b(l) a prime number?
True
Is -1090*-3*(-4)/(-24) prime?
False
Suppose -2*m = 2*m + 12. Let k(g) = -38*g - 3. Is k(m) composite?
True
Let z be 1*(-1 - 2) - -5. Suppose z*c = -2*c + 328. Is c prime?
False
Let z be 8/36 - 4/18. Suppose 5*g - 15 = 0, -2*g = 2*h - z*g - 26. Is h a prime number?
False
Let l(y) = -y**3 + 7*y**2 + 5*y - 2. Let h be l(-5). Suppose -t - h = -2*i - 2*i, -2*i = 4*t - 150. Is i a prime number?
False
Let w(s) be the third derivative of s**4/8 - s**3/3 - 2*s**2. Let j be 1/2 + 10/4. Is w(j) a composite number?
False
Is (0 + -2)*(-254)/4 a prime number?
True
Let j be 2*(0 - 6/4). Let n = j + 6. Suppose -5*s + n*p = 4*p - 271, 0 = -4*s + 2*p + 228. Is s prime?
False
Let f = -16 - -17. Is 3/(f + (-296)/308) composite?
True
Suppose 0 = 2*k + k - 435. Is k composite?
True
Let s(h) = -4*h - 1. Is s(-15) a composite number?
False
Let n be -9*(-3)/9*1. Let i be n*(-3)/((-9)/13). Suppose 2*c - 57 = i. Is c a prime number?
False
Let i(f) = 2*f + 0 - 1 + f. Is i(8) prime?
True
Let x be (16/20)/((-10)/(-3225)). Suppose u - x = -2*u. Is u a composite number?
True
Suppose 3 = 3*a - 6*a. Is a - 59/(0 - 1) a prime number?
False
Let f(r) = r + 1. Let a be f(1). Suppose 4*t - 2*x - 864 = 0, 0*t - 438 = -2*t - a*x. Is t composite?
True
Suppose 3 + 13 = -4*l, 744 = -r + l. Let q = -269 - r. Is q a prime number?
True
Let y(d) = d**2 + 4*d + 3. Let k be y(-3). Suppose s = -k*s + 95. Suppose s = 2*f + 3*f. Is f a prime number?
True
Suppose 0 = -3*n + 2*w - 3*w + 2102, 3*n - 5*w - 2108 = 0. Is n prime?
True
Let i be 6/(-10) + 8/(-20). Let o(f) = -1461*f**3 - f - 1. Let n be o(i). Suppose 5*b - n = 2*b. Is b a composite number?
False
Suppose 5*k = 17420 + 14825. Is k composite?
False
Let o(z) = z**2 - 5*z - 1. Let v(q) = -q**2 - q - 4. Suppose 4*j = 4 - 16. Let r be v(j). Is o(r) a composite number?
False
Let w be (-2 + -1)/(3/(-4)). Suppose 5*d - 21 - w = 0. Suppose -2*c - d*o = -113, -4*c + 4*o = -0*o - 240. Is c composite?
False
Let m(p) = -2*p**3 - 5*p**2 + 5*p + 3. Let r be m(-6). Let b = 119 - r. Let t = b - -317. Is t a prime number?
True
Suppose -2*s + 4*t = -s - 19, 5*s + 3*t - 3 = 0. Let a = s - 5. Is 1*(a + 49)*1 composite?
False
Let c(i) = -i**2 + 4*i - 1. Let w be c(3). Suppose -q = w*q - f - 1167, f = 0. Is q prime?
True
Suppose -2*d = 5*d - 14. Suppose 13 = -d*w + 79. Is w prime?
False
Suppose -6*y = -y + 15. Is (y/(-6))/((-2)/(-1492)) prime?
True
Let j(q) be the second derivative of q**5/20 - 7*q**4/6 + 5*q**3/2 + 5*q**2/2 + 4*q. Is j(14) a prime number?
False
Let j(c) = -243*c - 14. Is j(-4) prime?
False
Suppose -2*u - 170 = -7*u. Is u prime?
False
Let b(c) = 4*c**2 - 13*c - 4. Is b(9) prime?
False
Suppose w - k - 1258 = 0, 2985 - 472 = 2*w - 5*k. Is w prime?
True
Let l = -21 - -40. Suppose m = -3*t + 73, -53 = -4*t + 5*m + l. Suppose 16 + t = 3*x. Is x a prime number?
True
Suppose -1254 = -2*w - 4*d, 5*w - 4*d - 1829 = 1334. Is w a prime number?
True
Let o be 457/4 - 2/8. Suppose -2*h + 73 = -g - 26, 0 = -2*h - 2*g + o. Is h + (2/(-1))/(-2) a prime number?
True
Suppose 3*p = 4*p - 4. Let f(r) = 20*r + 5. Is f(p) composi