2 + 4*h - 6. Let f be x(6). Is (-1 - (0 - 2)) + f composite?
True
Suppose -5*a + 833 = -702. Is a a prime number?
True
Suppose 4*g - 16 - 96 = 0. Let y = g + 27. Is y a composite number?
True
Let k(s) = 7*s**2 - s + 7. Is k(6) prime?
False
Let l(q) = -103 + 41 - 95 + q**3 - q. Let t be l(0). Let z = t - -224. Is z prime?
True
Let m = -700 + 993. Is m composite?
False
Let a = -51 - -86. Suppose 0 = -4*l - l + a. Is l a composite number?
False
Let h(n) = -n**2 - 6 + n**3 + 2 - 2*n + 3. Suppose 11 = 3*z + 5*u - 11, 4*z + 2*u = 20. Is h(z) a composite number?
True
Let p(a) = a**3 - a**2 - 9*a - 6. Let g be p(-6). Let s = -98 - g. Suppose -3*o + 5*r + 170 = 0, -o - 2*r + s - 31 = 0. Is o a composite number?
True
Let q = 15 - 11. Suppose 1072 = -0*c + 4*c. Suppose 4*x - q*h + 5*h - c = 0, -2*x + 134 = -4*h. Is x a composite number?
False
Let c be (1 - -2)/(1/5). Is ((-8)/2 - -2) + c a prime number?
True
Suppose -3*k - 4*o + 18433 = 0, -4*k - 4*o = -2*o - 24564. Is k composite?
True
Let z(i) be the second derivative of i**3 - i**2 + 2*i. Let t be z(9). Let l = t + -21. Is l a prime number?
True
Suppose -3*g = -9, 4*u + g - 43 = -0*g. Is u a composite number?
True
Suppose 2*c = -c. Suppose c = 5*m - m - 372. Is m composite?
True
Let m(x) be the first derivative of 19*x**5/30 - x**4/8 - x**3/6 - x**2 + 4. Let y(p) be the second derivative of m(p). Is y(-2) composite?
False
Let k(l) = -l**3 + 2*l + 5*l**2 + 7*l + 0*l + 7. Let x be k(7). Let u = -18 - x. Is u composite?
True
Let v(p) be the second derivative of 11*p**5/20 - 5*p**4/12 + p**3/6 + 2*p**2 + p. Let x be (-22)/(-8) - (-3)/12. Is v(x) a composite number?
True
Is 3882/9*(-3 - (-18)/4) a composite number?
False
Let c(t) = 2*t + 4. Let a be c(-5). Let y(z) = 3 + 1 + 2*z**2 - 3 + 9*z. Is y(a) a composite number?
False
Let d(h) = h**3 - 2*h**2 + h. Let x be d(1). Is 0 + x + (81 - -2) a prime number?
True
Is (4/16)/((-1)/(-76)) a prime number?
True
Let o(z) = 3*z**3 + 6*z**2 - z + 3. Let x(j) = -4*j**3 - 6*j**2 + j - 2. Let y(k) = -k - 5. Let f be y(-8). Let r(s) = f*o(s) + 2*x(s). Is r(-5) prime?
False
Suppose -24 = 4*l + 4*u, 5*u = -l - 18 - 4. Let a(p) = -p**2 + 3*p - 3. Let s be a(3). Is 47/s*(-1 + l) prime?
True
Suppose 2*a = -a. Is 2 - (a - -2)*-28 a composite number?
True
Suppose 3*u - 1142 = -5*p, -3*p + 1146 = 2*u + u. Let d be 1502/(-6) - 4/6. Let o = d + u. Is o a prime number?
False
Suppose -3*y = -4*o + 4427, 4*o - 544 = -4*y + 3848. Is o a composite number?
False
Is (2468 + -9)*(2 + -1) a prime number?
True
Suppose o = -3*i + 17 - 6, o = 5*i - 5. Let m = -61 - -103. Suppose -k = i*k - m. Is k prime?
False
Is (-2467)/(-5) + 8/20*-1 prime?
False
Let g(u) = -u - 13. Let d be g(0). Is (-1133)/d + 2/(-13) a composite number?
True
Let c(z) = 20*z + 26. Let s be c(12). Suppose -14*j + 12*j + s = 0. Is j prime?
False
Is (54/9)/((-2)/(-37)) a composite number?
True
Let y be -1 + 4/((-12)/(-15)). Suppose u = -t + 4, -3*t - 35 = -y*u - 12. Is (u - 2) + 16*4 a composite number?
False
Let y(m) = -m**3 - 4*m**2 + 3*m - 6. Suppose 6 = -j + 1. Let x be y(j). Let c(z) = 3*z**2 - 6*z + 1. Is c(x) prime?
False
Suppose 288 = 3*i - 3*d, -d + 6 = i - 84. Is ((-6)/9)/((-2)/i) prime?
True
Let l = -3 - -5. Is 33/l*4/6 prime?
True
Is (-5)/4*(3 - 11) a composite number?
True
Let l(y) = -3*y**2 - 4*y - 2. Let b be l(-2). Let d be 4/b*(-15)/(-10). Let v(p) = -58*p + 1. Is v(d) a composite number?
False
Suppose x = -c + 16, 0 = 3*c + 2*c + 4*x - 81. Suppose -c = 3*j + 13. Is 6/j - 836/(-10) a prime number?
True
Let z(a) = -a**3 + 6*a**2 + 3. Let q be z(6). Suppose 58 = g - 2*l, 0*l = q*l. Is g a composite number?
True
Let a(p) = p**2 + 12. Let r be a(0). Is (1 - r)/((-2)/10) prime?
False
Suppose -2*a + 4*r - 8 = 0, -3*r - 6 = -a + r. Let n be 2/(a/(-6) + -2). Is n/(-18) + 94/3 composite?
False
Suppose 0*s - 3 = -3*s. Let m be 136/(-2)*(-2 + s). Suppose 4*a - 64 = m. Is a composite?
True
Suppose 4*c - 2*w - 173 = -21, 4*c + 2*w = 160. Is c composite?
True
Let s = 1818 - 707. Is s prime?
False
Let q = 1658 + -912. Is q a prime number?
False
Suppose -4*h + 0*h = -1052. Is h prime?
True
Let o be 0 + (-18)/4*-6. Suppose 2*b - 2*c = -o + 97, 2*c = 5*b - 175. Is b a prime number?
False
Let c(l) = 91*l - 25. Is c(4) prime?
False
Let y = -14 + 14. Let g(u) = -2*u + 253. Is g(y) a composite number?
True
Suppose 5*a + 2*u - 155 = -589, 4*a + u = -349. Let l = -41 - a. Is l composite?
False
Is (-605163)/(-65) + (-2)/(-10)*4 prime?
True
Let z = 4 + -5. Let b be ((2 - -1) + -8)*z. Suppose 2*v - 280 = -b*i, v + 5 = -0*v. Is i a composite number?
True
Is -10*1/2*-263 prime?
False
Suppose -i = -2 - 0. Suppose j + 19 = 2*j + 3*b, i*j = 5*b + 49. Let c = -11 + j. Is c a composite number?
False
Let f = 25 + -72. Is f*(-4 + (-3)/(-1)) composite?
False
Let z be 19/(-3) + (-3)/(-9). Let u(c) = -5*c - 7. Is u(z) a prime number?
True
Suppose 0 = -0*y + y - 3. Suppose -i - 509 = -5*l, -99 = -0*l - l + y*i. Suppose -5*t + l = -63. Is t composite?
True
Let r = -16 - -29. Let y = r + 69. Is y a composite number?
True
Suppose 184 + 46 = 5*s. Is s prime?
False
Let s = 113 + 6. Is s a composite number?
True
Suppose 466 = 5*u - 2989. Is u a composite number?
False
Suppose -5*h = -4*y + 5*y - 38, -4*h + 37 = 3*y. Let q(d) = d - 3. Let l be q(h). Suppose -l*r + b = -209, 3*r - 2*b - 86 = 67. Is r composite?
False
Suppose -3*t - 4*d = -249, 3*t + 91 = -3*d + 337. Is t prime?
True
Let d(s) be the first derivative of s**2/2 - 4*s - 2. Let n be d(4). Suppose n = p - 10 - 23. Is p a composite number?
True
Let k be (5 - (-4)/(-1)) + 3. Suppose 17 + 315 = k*f. Is f a prime number?
True
Suppose 0 = 8*z - 3*z. Suppose z = -2*f + 113 - 9. Suppose f = 2*w + 5*p - 122, p - 190 = -2*w. Is w prime?
True
Suppose i = 4*i - 933. Suppose 44 = l + 214. Let u = i + l. Is u composite?
True
Suppose 5*x - 24 - 1 = 0. Let c(z) = -3*z + 4 - 5 - 4 - z**3 - x*z**2. Is c(-6) composite?
True
Let j = 30 - 28. Let a be 1/(-1*1/(-158)). Suppose 0*h - a = -j*h. Is h prime?
True
Suppose y = -3*y + 88. Is y composite?
True
Let h = 0 + 0. Let r be 153/15 + (-2)/10. Let p = r - h. Is p prime?
False
Let b(r) = -1 + 68*r**3 + 2*r**2 - 3*r - 2 - 47*r**3. Is b(3) a prime number?
False
Let t = 37 + -164. Let z = t + 212. Is z composite?
True
Let t(r) = -r**3 + r**2 - r + 1. Let f be t(1). Is (0 - -122) + f + -1 composite?
True
Let l(d) = -d + 14. Let b be l(9). Suppose -b*h - q = 3*q - 27, -5*h = -5*q. Is h a prime number?
True
Let g(a) = -179*a. Is g(-1) a prime number?
True
Let n(p) = -20*p**3 - 2*p**2 - p. Let i be 1 - (-9)/(-3) - -1. Is n(i) a prime number?
True
Suppose 529 = 5*m + 119. Is m composite?
True
Suppose 3*z = z + 48. Suppose 2*y - 14 - z = 0. Is y a composite number?
False
Suppose 17 = -3*j + 5*m - m, 0 = 5*j + 2*m + 11. Let a be j/9 - (-4)/3. Is ((-1)/(-2))/(a/8) prime?
False
Suppose n - 3*w - 176 = 0, 0*n - 5*w + 216 = n. Is n prime?
True
Let g = -76 - -43. Let w = g + 136. Is w composite?
False
Let c(u) = -33*u + 23. Is c(-10) a composite number?
False
Suppose -3680 = -13*y + 4289. Is y composite?
False
Suppose 0 = 3*x - 9 + 39. Let k(o) = -o**2 - 13*o - 15. Is k(x) composite?
True
Let o = 114 - 80. Suppose -2*i + 74 = 4*f, -o = -4*i - 14. Let v = -5 + f. Is v prime?
True
Let w(s) be the second derivative of 0 + 0*s**3 - 1/2*s**2 + 11/6*s**4 + 2*s. Is w(-1) composite?
True
Is (-582)/4*(-6)/9 a prime number?
True
Let a(w) = -229*w - 124. Is a(-33) a composite number?
False
Suppose m - 136 - 142 = 0. Suppose -2*c + 671 = 5*h, -c = -2*h - 5*c + m. Suppose p = 2*p - h. Is p composite?
True
Let u(i) be the third derivative of -1/6*i**4 + 1/20*i**5 + 1/60*i**6 - 5/6*i**3 + 2*i**2 + 0*i + 0. Is u(4) prime?
False
Suppose -2*q = 2*q + 5*z - 192, 2*z = -4*q + 180. Let i = 76 - q. Is i a prime number?
False
Let r(s) = -s**2 - 2*s + 10. Let w be r(-6). Is (-2)/(4/w)*89 composite?
True
Let g be (-2 + 1)/((-1)/3). Suppose 16 = -4*i - 0*i. Is (-190)/(-8) + g/i prime?
True
Let w(c) = c**2 + 9*c - 10. Let v be w(-8). Let n = v - -53. Suppose 0 = r - 0*r - n. Is r prime?
False
Suppose 5*r + 5*c + 411 - 36 = 0, 5*r + 2*c + 366 = 0. Let a(k) = -k**3 + 9*k**2 + 7*k - 8. Let v be a(7). Let o = v + r. Is o prime?
True
Let x be (-48)/30 - (-4)/(-10). Let k be (-22)/x + (3 - 3). Is (-3 + -2)/