**2 + 2*a. Let p be c(-1). Suppose -v + p = -0*v. Is v composite?
True
Let z = 48 + -30. Suppose 0 = 4*y + 4*h - 12 - 16, -2*h = -y + 22. Let b = z - y. Is b composite?
True
Suppose 970 = 7*d - 5*d. Is d a prime number?
False
Let i(y) = -2*y**2 + 9*y + 2. Let g(b) = b**2 - 9*b - 2. Let n(u) = 3*g(u) + 2*i(u). Let o be n(-7). Is 1833/9 + (-8)/o prime?
False
Let w = -68 - -247. Is w prime?
True
Suppose 5273 = 5*t + 2*p, -t + 0*p = -4*p - 1059. Suppose t + 525 = 4*r. Is r a prime number?
False
Let o be -11*-2*(-2)/(-4). Suppose r = 2*r - o. Suppose -p + 3 = -r. Is p composite?
True
Suppose i - 4 = -0*i. Suppose g + i*m - 107 = 0, -2*m - 356 = -4*g - 0*g. Is g a composite number?
True
Let p = 3 + 0. Suppose 3*r - p*d = -27, -5*d + 1 = -2*r - 29. Let m = r - -87. Is m composite?
True
Let p = 3 + -1. Suppose -12 = 3*h, -i - 16 = 7*h - p*h. Let w = i + 7. Is w prime?
True
Suppose o - 369 - 44 = -3*c, 0 = -c - 3. Is (o/3)/((-2)/(-3)) composite?
False
Suppose 0 = 4*o - 2*o - 4. Suppose -293 = -o*i + i. Is i a prime number?
True
Suppose 0 = v + 2*v - d - 953, -4*d = -16. Is v a prime number?
False
Let d be (-2)/4 + 5103/14. Suppose -s - d = -5*s - 5*a, 0 = 3*a. Is s composite?
True
Let o(s) = -2*s + 0 + 2*s**2 + 4*s - 7. Let u(v) = v**3 - 5*v**2 + 5*v - 2. Let h be u(3). Is o(h) composite?
True
Suppose -6 = -0*q - 2*q + i, -4*q = 4*i. Suppose 0 = -5*s + p + 68, 2*s - 3*p = q*p + 41. Is s prime?
True
Suppose -v = -26 - 281. Is v a composite number?
False
Let u(q) = -2*q - 2. Let a be u(-5). Suppose 0 = -3*b - 2 + a. Suppose w - 4*m = -b*w + 325, 5*m = 25. Is w prime?
False
Let o(x) = -5*x + 3. Let z be o(-1). Let c(j) = 4*j**2 - 7*j - 1. Is c(z) composite?
False
Let g be (-1)/1 - 8/(-2). Let r be ((-2)/g)/((-3)/(-54)). Let z = -6 - r. Is z prime?
False
Suppose 2*m + 16 + 4 = 0. Let i = m - -23. Is i composite?
False
Let r(g) = -2 - 1 - 3*g + 2*g**2 - 2 + 5*g. Is r(-4) prime?
True
Suppose 0 = 2*b + b - 2*f - 5, -3*b = -3*f. Let x(s) = s**3 - 5*s**2 + 7*s + 3. Is x(b) prime?
False
Suppose 0 = -3*h + o + 4*o + 89, 0 = 2*h - o - 64. Is h a composite number?
True
Suppose -3*q = 4*k + 32 - 192, -4*q = -16. Suppose 3*g - g - 48 = 0. Let y = k - g. Is y composite?
False
Let z(p) = p**2 - 5*p. Let y be z(5). Suppose u + 0*u - 191 = y. Is u a prime number?
True
Let o be 6/(-9) - (-1589)/3. Suppose -3*s - o = -1315. Suppose 2*j = 4*j - s. Is j a prime number?
True
Suppose 0*r - 3*l = 4*r + 233, 2*l - 258 = 4*r. Is 0 + (-5 - -2) - r a composite number?
False
Suppose 8 = 3*b - 10. Let l be (69/6)/(3/b). Suppose -m + l = -6*r + 3*r, 5*m = -r + 67. Is m a composite number?
True
Suppose 2*i + 3*i - 70 = 0. Let d(z) = z + 3. Let k be d(-3). Suppose x = -k + i. Is x a prime number?
False
Let m be ((-1116)/(-10))/(2/10). Suppose -2*n + a = -367, n - m = -2*n - a. Suppose 5*k - n = -5*v, -4*k + 62 + 49 = 3*v. Is v composite?
False
Suppose 2*p - o - 25 = 0, -3*p - 2*o + 20 = -0*p. Suppose 6*j - 156 = 3*j. Suppose 2*g - j = p. Is g a composite number?
False
Suppose 3*a - 45 = 2*a. Let u = -88 + a. Let m = -21 - u. Is m a prime number?
False
Suppose 27 = 5*q - 2*q. Suppose -m - 2*m + q = 0. Suppose -12 = -m*z, -4*n + 88 + 156 = 2*z. Is n a prime number?
True
Let t = 455 + -244. Is t prime?
True
Suppose 0*x + 2*x = 1642. Is x composite?
False
Let a(t) = 0*t**3 - t**3 - t + 4 - 6 - 4*t**2. Let n(v) = -v**2 + 1. Let y(o) = -a(o) + 4*n(o). Is y(0) prime?
False
Suppose 0 = 13*p - 15*p + 356. Suppose 0 = q - 2*q + p. Is q a prime number?
False
Let u = 6 - 8. Is (-892)/(-8) - (-1)/u prime?
False
Let j = 12 + -6. Let z(m) = 2*m**2 - 4*m - 3 - 3*m - 2. Is z(j) composite?
True
Let b = -1 - 6. Let g = b + 4. Is 4/6 + (-91)/g composite?
False
Let r(k) = k**2 - k. Let d be r(-5). Suppose -5*n - l = -110, -4*n + 47 = 3*l - d. Is n prime?
True
Let x be 45/6*2/3. Suppose -x*b + 2486 = 441. Is b composite?
False
Let b = 80 - -39. Is b prime?
False
Is (6/((-6)/(-1735)))/1 a prime number?
False
Let z be (-25)/(-2) + (-3)/6. Suppose 2*a - z = -2*m - 0*a, 3*a = 4*m - 10. Suppose 0 = m*s - 7 - 9. Is s composite?
True
Let f be 3/(-7) - 9/(-21). Let r(q) = q**3 + q**2 - q + 87. Is r(f) a composite number?
True
Let k be (-4)/3 - 2/(-6). Let f be k*(-4)/(-2 + 3). Is ((-30)/f)/(9/(-12)) composite?
True
Suppose 4*j - 4*m = 680, -3*m - m = 0. Suppose 5*g - 5*a - 465 = 0, -3*g + g - 2*a = -j. Is g prime?
True
Suppose -85 - 45 = -2*t. Let b = t - 31. Is b prime?
False
Let i(w) = 3*w**2 - 1. Let k be i(-1). Suppose k*n - 97 = n. Is n prime?
True
Let f(i) be the second derivative of -i**5/20 + 2*i**4/3 + 3*i**2/2 - 2*i. Is f(8) a prime number?
True
Suppose -3*a = -0*a + 2*c - 363, -2*a = -4*c - 242. Is a a prime number?
False
Suppose -2*w + 398 = -24. Is w a composite number?
False
Let v be ((-9)/(-36))/((-2)/(-40)). Suppose -v*j = -0*j - 325. Is j composite?
True
Let c(x) = 23*x - 3 + 1 - 3 + 6. Let m be c(-1). Let y = -15 - m. Is y a composite number?
False
Let a(j) = j**2 - 6*j - 7. Let z be a(7). Suppose -4*b + 20 = -z*b. Let i(w) = 6*w**2 + 2*w + 7. Is i(b) a prime number?
True
Suppose -5*g + 118 = t - 26, -g = -2*t + 343. Suppose 0 = -5*u - 20, 0 = 2*v - 5*v + u + t. Is v a composite number?
True
Let n = 4 + 0. Suppose -n*c = -c. Suppose 3*j - 31 = -m, m - 35 = -c*m + j. Is m a composite number?
True
Let i(o) = -o**3 - 6*o**2 - 5*o + 4. Let l be i(-5). Is (-787)/(-5) + l/(-10) composite?
False
Suppose 5*k - 3068 - 4289 = q, -4*q - 4421 = -3*k. Is k prime?
True
Suppose -y = -114 - 2. Let z = y + -59. Is z a prime number?
False
Suppose 2*b = 6*b. Let x be b*(6/4 + -2). Suppose 3*n + x = 159. Is n a composite number?
False
Let n be (1/2)/((-2)/8). Let l be (-2)/n + (3 - -40). Suppose 4*v = 2*v + l. Is v prime?
False
Let u(r) = 6*r**3 + 10*r**2. Let s(y) = 7*y**3 + 9*y**2 - 1. Let m(w) = -5*s(w) + 6*u(w). Is m(-12) a composite number?
True
Let j = -44 - -25. Let u = j + 62. Is u a prime number?
True
Let l be 6*(-6)/(-10)*-85. Let y = 163 - l. Is y prime?
False
Let l(n) = n**3 + 5*n**2 + 3*n + 2. Let w be l(-3). Let d(b) = b**3 - 11*b**2 + 13*b - 12. Is d(w) composite?
False
Let w be -1 + 3 + -1 - 76. Let a = -44 - w. Is a a prime number?
True
Suppose 11 + 3 = m - 5*b, 4*m - 2*b - 146 = 0. Is m prime?
False
Suppose 0 = 2*s - 409 - 861. Let c(m) = -m**3 + 2*m. Let o be c(-2). Suppose o*d = -d + s. Is d composite?
False
Suppose -2674 = -4*r + 1674. Is r composite?
False
Suppose 10*h - 7*h = 0. Let q(j) = j**3 - 4*j**2 + 5*j - 4. Let f be q(3). Suppose -f*a + 22 + 0 = h. Is a a composite number?
False
Let c(x) = -13*x - x**3 - 4 - 11*x**2 - 2 - 2. Is c(-10) prime?
False
Suppose -4*a - 6*d - 660 = -2*d, 4*a - 2*d = -642. Is 3/(a/57 - -3) a composite number?
False
Let a be (-28)/(-6)*(-135)/(-6). Is 1 + 1/(1/a) prime?
False
Suppose -5*y = 3*k + 38, 3*k + y = -2*y - 30. Let l(j) = -j**3 - 4*j**2 + 3*j - 7. Is l(k) composite?
False
Let s(n) be the first derivative of -35*n**2 + n - 3. Is s(-1) prime?
True
Suppose -q + 3*q = 188. Let f = q - -225. Is f composite?
True
Suppose -25 = -5*p - 4*f, -2*f - f = 0. Suppose 0 = -z - p*d + 5, 0 = -z - 4*d + 3 + 6. Is z a composite number?
True
Let r(k) = -k + 7. Let b be r(5). Let n(h) = 2*h. Let p be n(b). Suppose -2*z - 49 = -s, -p*s + 43 = z - 162. Is s prime?
False
Let v = -180 + 517. Is v a prime number?
True
Let t = -4 - -6. Suppose -2*k + 0*a + 114 = t*a, -5*a - 265 = -5*k. Is k a composite number?
True
Suppose -2128 + 13035 = 13*o. Is o a composite number?
False
Let f(k) be the third derivative of 59*k**4/24 - k**3/3 + 4*k**2. Is f(5) a prime number?
True
Let h = -12 + 20. Suppose h*t - 2*t - 1218 = 0. Is t a prime number?
False
Suppose 0 = 5*t - 4*v - 66, -2*v + 7*v - 30 = -5*t. Is t/4*(8 - -2) a composite number?
True
Let f = -47 - -236. Suppose -w = 3*s - 81, 5*s + 3*w = -58 + f. Suppose -s + 472 = 3*r + 5*i, r + 4*i = 155. Is r composite?
True
Suppose 4*p - 317 = -65. Let c = 96 - p. Is c a prime number?
False
Let q be 7*(1 - 10/14). Suppose -k = -3*k + 6, q*t + 6 = 4*k. Suppose 5*f = a - 109, -t*a = -0*a + 3*f - 255. Is a prime?
True
Suppose -2*b = -3 - 1. Let v be ((-9)/1)/((-3)/2). Is 296/6 - b/v a composite number?
True
Let f(r) = r**3 - 3*r**2 - 4*r - 7. Let b be (-11)/((-1 - -3) + -3). Let h = -6 + b. Is f(h) prime?
True
Suppose -z + 416 = -633. Is z a 