ose 3*d = b*d - 14. Is d prime?
True
Let g be (-11)/(-8)*26*-4. Let m = g + 294. Let j = -62 + m. Is j composite?
False
Let p(i) = -i - 17. Let n be p(0). Let m = 1 - -41. Let o = n + m. Is o composite?
True
Is -67*1*(5 + -6) prime?
True
Suppose -18*j + 1055 = -13*j. Is j composite?
False
Let i(x) = x**3 - 4*x**2 + 3*x - 5. Let f be i(4). Let z be 1*(1 - 2) + 47. Let s = z + f. Is s a composite number?
False
Suppose 0 = -5*k - 15. Let x be 0 + (k - (-2 - 2)). Is (3/(-6))/(x/(-322)) a prime number?
False
Let q be 32 + (1 + -3)/2. Suppose 2*a - q = a. Let d = 64 - a. Is d prime?
False
Suppose -3*v = -4 + 16. Let x(l) = 2*l**2 + 7*l + 4. Let c be x(v). Is (20/c)/((-1)/(-14)) composite?
True
Let c = -6 + 8. Suppose 2*k = 4*n + 74, 4*k - n - 163 = c*n. Is k composite?
False
Let p be (-6)/12*22*-23. Suppose -3*x + 1058 = x - 3*j, -x - 5*j = -p. Is x composite?
False
Let c be (0 + 0)*(-2)/4. Suppose 6*x - 304 - 50 = c. Is x composite?
False
Is (3/(-9))/(2/(-2274)) a prime number?
True
Suppose 4*s - 1573 = 1975. Is s prime?
True
Let h = -624 + 1043. Is h a composite number?
False
Let c be 4/(-2) + (9 - 2). Suppose -3*u + 486 = 3*d + d, -5*u - c*d + 815 = 0. Is u composite?
True
Suppose 3*f - 3*u - 245 = -77, 5*u - 230 = -5*f. Is f prime?
False
Let w be 28/6 + 6/(-9). Suppose -2*a - 5 = -j, 3*a + a + 24 = w*j. Is j composite?
False
Let q(o) be the second derivative of 23*o**4/6 - o**2 + 4*o. Let j be q(2). Let y = -23 + j. Is y prime?
False
Is (-4)/(-10) + 315/25 composite?
False
Suppose -o = v - 738, 16 - 4 = -4*v. Let u(q) = 82*q + 10. Let a be u(-6). Let y = o + a. Is y a composite number?
True
Suppose -u - u + 198 = 0. Suppose 4*p - u = p. Is p prime?
False
Let a(f) = -22*f - 3. Let u(n) = n. Let l be -1 + 1 + 2 - 0. Let i(v) = l*u(v) + a(v). Is i(-5) composite?
False
Let n be (-10563)/39 + (-10)/65. Let s = -160 - n. Is s prime?
False
Let g(j) = -19*j - 6. Let k(b) = 18*b + 5. Let i(q) = -5*g(q) - 6*k(q). Is i(-3) composite?
True
Let d be (2 + (-12 - 1))*-1. Suppose -d*s = -8*s - 483. Is s composite?
True
Is (-111)/(-6)*16 - (1 - 3) prime?
False
Let t = -4 - -36. Let j = t - -159. Is j prime?
True
Suppose 3*f - 39 = -12. Suppose 0 = -5*k - 20, q + 6*k = 2*k + f. Is q prime?
False
Let m = 123 + 274. Is m composite?
False
Let a(n) be the second derivative of -1/2*n**2 + 1/10*n**5 - 1/3*n**3 - 2*n + 0 + 0*n**4. Is a(2) a prime number?
True
Let q be 2 - 0/(4/2). Suppose -q*m + 12 = 2*m. Suppose -m*s + 33 = -0*s. Is s prime?
True
Suppose 0 = 5*v - 9 - 1. Let p be -33 + -2 + 4/v. Let n = p + 55. Is n a prime number?
False
Let k(h) = 69*h**2 + 2*h - 4. Is k(3) prime?
False
Let h be (52/(-3))/(2/(-6)). Let b = -26 + h. Let p = b - -9. Is p a composite number?
True
Let b(m) = m**2 + 3*m - 1. Let x(u) = 5*u**2 - u. Let i be x(-1). Is b(i) a composite number?
False
Let t(x) = -5*x + 1. Let d be t(-1). Let s = d - 1. Suppose -40 = -s*z + 15. Is z prime?
True
Let b = 10 - 16. Let d = 7 + b. Is 32 - -3 - (-1 + d) a composite number?
True
Let w = 158 - 81. Is w a prime number?
False
Let b(z) = -z**3 + z**2 + z. Let p(l) = 30*l**3 + 5*l**2 + 7*l + 1. Let d(i) = 6*b(i) - p(i). Is d(-2) a composite number?
False
Suppose -4*k + 5*j - 18 = -1, 0 = -k + 3*j - 13. Suppose 0*z - 2*b = 3*z - 159, 4*b - 106 = -k*z. Is z prime?
True
Let x = -88 - -141. Is x a composite number?
False
Suppose -5*z - i = -1119, -4*z - 5*i = -225 - 687. Suppose 432 = 5*c - z. Is c prime?
True
Let x = 26 - 13. Let o(n) = n**2 - n + 1. Is o(x) composite?
False
Let k(v) = -v**2 + 4*v - 3*v + 5 - 1. Let z be k(0). Suppose -2*o + 18 - z = 0. Is o a prime number?
True
Let p = 2 - -1. Suppose -y - 24 = -3*y. Let l = y - p. Is l prime?
False
Let j be 4/(-2) - -4 - 0. Suppose 4*m - 94 = j*m. Is m a prime number?
True
Let d(q) = -40*q**2 - 7*q. Let i(v) = -41*v**2 - 8*v. Let r(j) = -7*d(j) + 6*i(j). Is r(1) a composite number?
True
Let q = 72 + 167. Is q composite?
False
Let r(k) = -k**2 - 7*k + 2. Let b be r(-5). Suppose -2*h - h = b. Is h/((-4)/(-2)) + 135 a prime number?
False
Let x(b) = b**2 - b + 2. Let g(n) = 3*n - 2 + 2. Let u be g(-1). Is x(u) a composite number?
True
Suppose 2 = -3*r + 8. Let k(j) = 8*j**2 + 3*j - 3. Is k(r) composite?
True
Let m be -181 + 3/(-1) + 1. Let f = m - -274. Is f a composite number?
True
Suppose f - 5*c + 2*c = -5869, 4*c - 12 = 0. Is (3/(-2))/(30/f) a composite number?
False
Let m be 36/10 + 12/30. Suppose -3*y + 304 = 5*q - 163, m*y = -2*q + 632. Is y a composite number?
True
Suppose 0*t = 4*t + 404. Let r = -70 - t. Is r composite?
False
Let y(m) be the second derivative of m**4/12 + 5*m**2 + 2*m. Let o = 17 + -8. Is y(o) a composite number?
True
Is (-309)/2*((-32)/12)/2 a prime number?
False
Let y(d) = d - 6. Let w be y(8). Suppose 50 = w*m - 372. Is m composite?
False
Let n(h) = h - 1. Let s be n(-2). Let v(o) = -o**3 - 4*o**2 - 3*o + 2. Let l be v(s). Suppose 20 = l*y + 6. Is y a prime number?
True
Let a(g) = g**3 - 3*g**2 - 3*g - 5. Let u be a(4). Let p(x) = 158*x**2 + 2*x + 1. Is p(u) prime?
True
Let o(n) = -n**3 - 6*n**2 + 3*n + 3. Let p = 5 + -12. Is o(p) a prime number?
True
Let c(y) = 3 - 18*y - 2 + 4 + 0. Is c(-6) a composite number?
False
Is -1 - 1 - (1 - 29) prime?
False
Is -1*(-125 + (2 - 4)) composite?
False
Let b(o) = -o**3 - o**2 - 4. Let r be b(-5). Suppose -a - 2*l - 7 + r = 0, -a - 3*l = -85. Is a a prime number?
True
Let r(x) = 4*x - 14. Let t be r(11). Suppose 0 = -2*u + t + 44. Is u a prime number?
True
Suppose -l = q - 0*q - 114, -q - 431 = -4*l. Is l composite?
False
Suppose 0 = b + b - 818. Is b prime?
True
Is (4 - 5)/((-4)/1172)*1 a composite number?
False
Is (-16)/((-4)/(-1)) - -165 prime?
False
Let k(v) = v**3 + 17*v**2 - 7*v - 4. Is k(-15) a composite number?
True
Let y = -16 + 29. Is y a composite number?
False
Let r = -9 - -11. Let q(m) be the second derivative of 22*m**3/3 - 3*m**2/2 + m. Is q(r) a composite number?
True
Let k = 4 - -1. Let d(b) = 3*b**2 - 2*b - 6. Is d(k) prime?
True
Let p(w) = 3*w**3 - 5*w**2 + 9. Is p(5) a composite number?
True
Suppose -2*f = -2, z = -3*f - 0*f + 7. Let s be (-2)/(((-3)/z)/3). Suppose 0 = -4*u + s*u - 76. Is u a composite number?
False
Let f be (10*3)/(4/38). Suppose -45 = 5*p + f. Let g = p + 97. Is g prime?
True
Suppose -5*x - 3*p + 331 = 0, 3*p = -4*x + 4*p + 258. Is x a prime number?
False
Suppose 5*m - 3*s - 173 = 0, 4*m - m = 4*s + 95. Is m a prime number?
True
Is (-4)/(-8)*-2 + 40 a composite number?
True
Suppose m = -3*u - 2*m - 822, -u = 5*m + 270. Let p be u/(-5)*(0 + 1). Suppose -r = -2*r + p. Is r a composite number?
True
Let s = 1017 - -884. Is s a composite number?
False
Suppose 0 = 5*f + 96 + 524. Let k = f + 315. Is k prime?
True
Let g = 4 + -1. Suppose -127 = -g*w + 2*w. Is w composite?
False
Let f be 1/(-2) - 2372/(-8). Suppose -5*v - 148 = -2*d, 3*d + 2*v = -d + f. Let g = 107 - d. Is g prime?
False
Let y(u) be the first derivative of -u + 0*u - 14*u**2 + 6*u - 2. Is y(-5) a composite number?
True
Suppose 3*c = 6*c - 879. Is c a prime number?
True
Suppose 88 = 2*f - 3*z - 1035, 5*f + 5*z = 2820. Is f a prime number?
True
Let p be (0/1)/(-7 + 6). Let t(n) = n + 259. Is t(p) a composite number?
True
Suppose 10*g = 4*g + 2802. Is g composite?
False
Let v be 10/75 - (-26)/30. Let j(q) = 114*q**2 + q. Is j(v) a prime number?
False
Let r be 22*(-3)/(-2) + -3. Let f = 71 - 4. Let z = f - r. Is z prime?
True
Let a(y) = 5*y**2 - 8*y - 26. Is a(-11) prime?
False
Let f(z) = 94*z - 7. Is f(19) a prime number?
False
Let i = 392 + -48. Let l = i - 37. Is l prime?
True
Is 3643/2*(5 + -3) prime?
True
Let p = -7 - -11. Suppose 2*h + p = 4*h. Is 130 + 1 - -1*h composite?
True
Let x(j) = -j**2 + j. Let u(s) = -s**3 + 6*s**2 - 5*s - 1. Let n(i) = u(i) + 5*x(i). Let g be n(1). Is 12 + g + (-2 - -1) prime?
False
Is (4 - 2 - 6) + 39 prime?
False
Let x(i) = -5*i - 1 - 7*i - 4*i. Suppose 5*k = k - 4. Is x(k) prime?
False
Suppose -285 = -v + 222. Suppose v = 2*s + 5*j, 3*j - 205 = -s + 49. Is s a prime number?
True
Let g(z) = 251*z + 1. Let v be g(1). Suppose -196 = -4*u + 4*h + 320, h - v = -2*u. Is u prime?
True
Let d(x) = -33*x + 20. Let j be d(9). Let k = 962 + j. Is k a composite number?
True
Let w = -3 + 46. Let l = -93 - -93. Let s = l + w. Is s composite?
False
Let l(t) = -18*t + 15. Is l(