**4/8 + a**3/2 - 2*a**2. Let s(u) = u**2 + 6*u - 4. Let v be s(-6). Is c(v) a prime number?
True
Let z(p) = -48*p + 31. Is z(-4) composite?
False
Let z be ((-4)/3)/((-3)/(-18)). Let i(v) = -3*v + 5*v**2 + v + 7 - 12. Is i(z) a prime number?
True
Let t(d) = d**2 + 6*d + 7. Let i be t(-5). Suppose 2*p - 212 = -i*p. Is p a prime number?
True
Let z = -135 + 254. Is z prime?
False
Let a = 19 + -10. Let f be (-3)/a - (-19)/3. Suppose -30 = 3*l - f*l. Is l composite?
True
Let z(j) = -140*j**3 + 1. Is z(-1) prime?
False
Let m be (-104)/(-28) + (-6)/(-21). Suppose m*i - 2 = 34. Is i composite?
True
Let h be ((-32)/6)/(1/(-6)). Let a be 0 + (h/2 - 2). Let m = a - 1. Is m a composite number?
False
Suppose -5*i + 2*b = -8667, 2*i - 8660 = -3*i - 5*b. Is i prime?
True
Suppose 5*n - n = 5*z + 2, 4*z = -3*n - 14. Let y(g) = -6*g + 1. Is y(n) a composite number?
False
Let s = -93 + 192. Let t = s + -4. Is t prime?
False
Is 3*(-4 + 2275/15) a prime number?
True
Let u be (0 + 5)*(-72)/15. Let m = u - -55. Is m composite?
False
Let l(r) be the third derivative of -19*r**4/24 - 11*r**3/6 + r**2. Let t be l(-10). Suppose -5*o + 5*i + 182 = -103, -3*o + t = -5*i. Is o composite?
False
Suppose 0 = 5*o - 710 - 5205. Suppose 3*g - 3*u - o = -g, -4*u - 889 = -3*g. Suppose -g = 2*y - 7*y. Is y composite?
False
Let a = -3512 + 5845. Is a a composite number?
False
Let o(i) = -i**3 + 6*i**2 + i - 3. Let b be o(6). Suppose b*a = 198 + 357. Is a a composite number?
True
Suppose 4*n = 27 + 13. Suppose -10 - n = -5*r. Suppose 15 = o + r*o. Is o a composite number?
False
Let k(i) = -5*i + 126. Is k(-25) a prime number?
True
Let l = 1 - 1. Suppose -x - 4*x + 110 = l. Suppose -2*m = -2*w - x, -4*m + 56 = -0*w + 2*w. Is m a composite number?
False
Suppose -4*h - x + 4*x - 4 = 0, 0 = -5*x + 20. Suppose -r - 203 = -4*r + h*p, 263 = 4*r + 5*p. Is r a composite number?
False
Let d be 2*-3*(-2)/4. Suppose 0 = -a + f + 20, -2*a + d*f - 7 = -50. Suppose 5*g = 12 + 13, 2*s + g = a. Is s a composite number?
True
Let h be 12/8*10/3. Suppose -h*g + 342 = c - 0*c, -5*g + 354 = -3*c. Is g a prime number?
False
Let l(t) = -t**2 - t + 4. Let i be l(0). Suppose -i*g = -8 - 12. Suppose 2*o + 11 = -g*z, -34 = -2*o + 7*z - 3*z. Is o a composite number?
False
Let q = -38 - -75. Suppose -6*n + q = -5*n. Is n a prime number?
True
Let z = 1811 - 802. Is z prime?
True
Let s = 342 - 77. Is s composite?
True
Suppose -3*j = -2*j - 3. Suppose -2*w - 22 = 10. Let m = j - w. Is m composite?
False
Suppose 22 = 5*z - 3*s, -5*s - 8 - 2 = 5*z. Suppose -2 = -z*g + 6. Suppose -g*m = -3*a - 221, 28 = m + 5*a - 56. Is m prime?
True
Let o(s) = s + 1. Let r be o(8). Suppose -3*b = -r, 2*b = 5*c + b - 12. Let f = 4 + c. Is f a composite number?
False
Suppose 0*r + 6 = 3*r. Let h be r + 635 - (-3 - -5). Is 12/42 - h/(-7) prime?
False
Suppose -4*x = z - 12619, -3*z = -4*x + 6455 + 6168. Is x a composite number?
True
Let q be 10/(1/(2/1)). Let k = q + -12. Is 156/k - (-2)/(-4) composite?
False
Suppose 5*d - 53 = 3*y + 184, -5*y - 200 = -4*d. Suppose -3*n + 0*n = -d. Suppose 10 = b - n. Is b prime?
False
Suppose -3*b = f - 8 - 7, 2*b = 4*f + 24. Suppose -b*o + o = -155. Is o prime?
True
Let g(d) = d**2 - 4*d + 2. Let o be g(5). Suppose u + 147 = 2*i - o, 0 = 4*u. Is i a prime number?
False
Let h be (-2)/(-3) + (-13)/(-3). Is 4/10 - (-273)/h composite?
True
Let k(b) = 30*b + 4. Let x be k(-9). Is -7 - -8 - x/2 prime?
False
Let i(f) = -f**3 + 2*f**2 + 4*f - 1. Let z(l) = l**2 + 5*l - 6. Let c be z(-7). Let p = c - 12. Is i(p) a prime number?
True
Let p(l) = l**3 - 6*l**2 + 5*l - 2. Let s(a) = -5*a**3 - a**2 - a. Let f be s(-1). Let u be p(f). Is (u - -6) + -1 - -30 prime?
False
Let z = 18 - 7. Suppose 0 = -0*g - g + z. Is g prime?
True
Let z(t) = 7*t - 6. Let h be z(-11). Let x = h + 116. Is x a prime number?
False
Let a(b) be the first derivative of b**3 - 3*b**2/2 + 3*b - 2. Is a(4) a prime number?
False
Suppose 1877 = 3*j - 1387. Suppose 7*m = 4*p + 2*m - j, 4*p = 2*m + 1076. Suppose p = 2*l + l. Is l prime?
True
Let t(g) = -g**3 + 2*g**2 - g - 1. Is t(-6) composite?
False
Let u(m) = 4*m - 2. Let p be (3/(-3))/(2/(-18)). Let f be (-22)/(-4) - p/6. Is u(f) a composite number?
True
Suppose 117 = 2*p - 161. Is p prime?
True
Let l = 10 - 3. Is l prime?
True
Let d be 3/(4 - 410/104). Is 5*7/(70/d) a composite number?
True
Let i = -531 + 1029. Let b be (0 + 0 - -1) + 178. Let g = i - b. Is g composite?
True
Let r = 309 + 206. Is r a prime number?
False
Is 6/(-21) - ((-956)/14 + 1) a prime number?
True
Let k = -32 - -38. Is k a composite number?
True
Suppose -3*v + 778 = -179. Is v a prime number?
False
Let f = 1646 - 1141. Is f a composite number?
True
Let n(q) = 38*q - 11. Is n(8) composite?
False
Let v = -6 + 12. Suppose 0 = f + f + v, -4*f = 5*q - 83. Is q prime?
True
Let v(o) = 5 + 6*o**3 - 2*o**3 - 8*o - 3*o**3 + 7*o**2. Is v(-6) composite?
False
Is 4/(-26) + (-16161)/(-13) composite?
True
Is ((-318)/(-9))/(4/6) prime?
True
Let v = 1 + 11. Let d be (368/v)/(2/3). Suppose c - 3*c = -d. Is c a prime number?
True
Suppose 2*f - f - 213 = 0. Is f a composite number?
True
Let b = 16 - 10. Let c(p) = -3*p + 2. Let a(w) = 3*w - 1. Let y(f) = b*a(f) + 5*c(f). Is y(5) a prime number?
True
Let b be 1/(-3) - 280/6. Let q = -46 - -30. Let v = q - b. Is v a composite number?
False
Suppose 5*n - p - 13285 = 4*p, -2*n + p = -5318. Is n a composite number?
True
Suppose -4*q = -m - 852, -4*q + 4*m + 1076 = q. Let i = 469 - q. Is i composite?
False
Let s be 1/(-6) - 15/18. Is 26/((-1 + -1)*s) composite?
False
Let x(a) = a**3 + 9*a**2 + 3*a - 2. Let n = -2 + 8. Let v be (1 - -4)*(n + -7). Is x(v) prime?
True
Suppose -2*v + 23 = 4*r - r, -r - 4*v + 11 = 0. Suppose 0 = 2*b - b - r. Suppose -b*q = -2*q - 115. Is q prime?
True
Suppose 0 = -b, -2*l + 1 + 3 = -5*b. Let a = 5 - 2. Is (a - (l + 0))*55 prime?
False
Let t be 7/(-28) - 34/(-8). Suppose -y = -3*o - 0*y + 28, 0 = -t*o - 3*y + 59. Is o a prime number?
True
Let d = 535 - 282. Suppose 5*z - d = 4*b, 10*b = 5*b + 15. Is z composite?
False
Suppose 10 + 0 = 2*s. Suppose 4*d = s*k + 91, 4*d - k - 27 = 52. Is d a prime number?
True
Suppose v + 35 = 13. Let a = -16 - v. Is a composite?
True
Suppose 3 + 1 = z. Suppose 405 = -3*r + z*r. Suppose -b - 3*b = 4*a - 296, 2*b + r = 5*a. Is a a prime number?
True
Let r = 135 + -52. Is r prime?
True
Suppose -373 = -2*n + 141. Is n composite?
False
Is (-6)/4 + (-4351)/(-38) a composite number?
False
Let b be (2/4 - 0)*0. Let q = b - -2. Suppose 3*o + m = -q*m + 72, 0 = -2*o + 4*m + 30. Is o composite?
True
Let z be -6*(20/(-6))/5. Let r be (-27)/z + 2/(-8). Is (-387)/r + (-4)/14 composite?
True
Let n = 245 - 165. Let i = 123 - n. Is i composite?
False
Is 11/22 - 338*6/(-8) prime?
False
Let x be (4/2)/1 + -7. Let n = -12 - x. Let f = 56 + n. Is f a composite number?
True
Let x be (-6)/(-21) + 300/(-21). Let t be (-38)/x + (-4)/(-14). Suppose -j = -t*c - 18 - 58, 4*j = c + 315. Is j a prime number?
True
Let v be 16/1*(-14)/(-4). Let y(q) = -7*q - 5. Let i be y(4). Let n = i + v. Is n a prime number?
True
Let s be (-1)/(-3) + (-55)/(-15). Suppose 5*b + 307 = 3*c, 2*b = -c + s*c - 310. Suppose -c = -y - 3*y. Is y a prime number?
False
Suppose -3*a + 184 = 5*c, 4*a + 128 = 4*c - 0*a. Is c composite?
True
Let b(t) be the first derivative of -t**3/3 - 9*t**2/2 + 2*t - 5. Is b(-5) prime?
False
Let c(x) = -x**3 - 8*x**2 + x + 10. Let g be c(-8). Suppose g*o + 0*o - 22 = 0. Suppose 2*u - 3*u + o = 0. Is u prime?
True
Let y(t) = t**2 - 4*t + 4. Let i be y(3). Is 86/(1/1) - i prime?
False
Let v be 14/7 - (3 - -1). Is 29 + (-1 - -1 - v) a prime number?
True
Let c(w) = 25*w - 53. Is c(6) a prime number?
True
Let m(q) = -20*q**3 + 24*q**2 - 26*q + 4. Let h(j) = -7*j**3 + 8*j**2 - 9*j + 1. Let u(l) = 11*h(l) - 4*m(l). Let a be u(5). Suppose 4*r = r + a. Is r prime?
False
Is 799/3*(18*-1)/(-6) a prime number?
False
Suppose -4*h - 8 = 0, -3*o = -7*h + 4*h - 192. Is o prime?
False
Let r be (-177)/15 - (-2)/(-10). Let n be (-3)/r - 1/4. Suppose -3 = -n*d - d. Is d a prime number?
True
Let q(u) be the second derivative of 6*u**3 - u**2/2 - 3*u. Is q(2) a prime number?
True
Let m = 10 + -6. Suppose -m*g = 3*d - 13, 2*d + 1 = g - 5. Let k = g + 27. Is k prime?
True
Let m be 287