5*i + i + n. Is z a composite number?
True
Suppose 0 = 4*m - 2*m + 48. Let i = -2 - m. Is i composite?
True
Is ((-1)/(-2))/(10/4220) a prime number?
True
Let p(y) = -y**3 + 12*y**2 - 12*y + 3. Let s be p(8). Is s/(-2 - (2 + -5)) a prime number?
True
Suppose 0*v = 3*v - 231. Is v composite?
True
Let t = -1 + 3. Is ((-7)/2 + t)*-10 prime?
False
Suppose 4*f + f - 395 = h, h + 388 = -2*f. Is (-3)/(-12) + h/(-8) prime?
False
Suppose 4*s = -2*z + 1180, -z + 0*z = 4*s - 1180. Is s composite?
True
Let t be ((-15)/2)/(1/(-12)). Let g = -50 + t. Suppose -g = -2*q + 6. Is q a composite number?
False
Suppose 1 = o - 0. Suppose 2*t = 2*g - o - 11, -2*t = 2*g - 32. Is g prime?
True
Let p = 64 - -355. Is p a composite number?
False
Let g(x) = 5*x**3 - 10*x**2 - 13*x + 13. Let o(f) = 4*f**3 - 9*f**2 - 13*f + 12. Let r(h) = -3*g(h) + 4*o(h). Let a be r(8). Let c = a - 2. Is c prime?
True
Let t = 9 + 0. Let g = 16 - t. Is (-771)/(-21) + 2/g a prime number?
True
Let k = 3 - 2. Let r = -5 - -8. Is -113*(r/(-3))/k a composite number?
False
Suppose 4*c - 201 = 2*c - 5*x, 2*c + x = 189. Suppose 2*h = 3*m - 2*m - 95, -m + c = -4*h. Is m composite?
False
Let w(t) = -7*t**3 + t**2 - 8*t - 9. Let g be 8/3*9/(-6). Is w(g) composite?
False
Suppose w = 2*o - 258, -3*o + 0*o + 398 = 4*w. Suppose -3*a + o = 2*a. Suppose a = 4*z - 30. Is z a prime number?
False
Let z = 26 + -16. Is z a prime number?
False
Suppose 2*b - 16 = 3*x, 3*x + 2*b = x - 14. Let m(u) = 8*u + 2. Let j be m(x). Is (j/4)/((-3)/42) composite?
True
Suppose -899 = -2*j + 43. Is j composite?
True
Let y be (-9)/(-2)*26/3. Let x be (-7)/(11/(-10) - -1). Let m = x - y. Is m a composite number?
False
Is 20130/24 - (10/(-8) + 1) a prime number?
True
Let f(k) = -45*k**3 - 3*k**2 + 7*k. Let u(c) = -c**3 + c**2 - c + 1. Let o(r) = f(r) + 3*u(r). Let y be o(-2). Suppose 207 + y = 2*s. Is s a composite number?
False
Let v = -21 - -90. Is v composite?
True
Suppose -2*k - 5*p + 229 = k, 4*k = 3*p + 286. Let a = k - -24. Is a prime?
True
Suppose -1383 = -4*x + x. Suppose 98 + x = 3*q + 2*i, -565 = -3*q + 4*i. Is q prime?
False
Let b(h) = -40*h - 103. Is b(-23) a prime number?
False
Let o = 10186 + -2189. Is o a prime number?
False
Suppose 168 = -3*b + 6*b - 3*v, b = 4*v + 65. Is b prime?
True
Let n(b) be the second derivative of -b**3/3 - 2*b**2 - b. Let i be n(-4). Suppose -5*q + 349 = i*y - 38, q + 5*y = 69. Is q composite?
False
Suppose 2*a + 117 = 2*p - 23, 0 = 4*a - 3*p + 279. Let u(f) = -f**2 - 4*f - 2. Let x be u(-4). Is x + -1*1*a a composite number?
False
Suppose -c = 3*c - 3276. Let g be c/(-15) - 2/5. Is (-3150)/(-22) + 10/g prime?
False
Let c be (-1 + -1)*(-2)/(-4). Is (2*c - 0) + 91 a prime number?
True
Let u(h) = 8*h**2 + 4*h - 3. Let s(l) = l**2 + 7*l - 6. Suppose a + 4 + 4 = 0. Let x be s(a). Is u(x) prime?
True
Let g(o) = o**2 + 4*o - 15. Let l(t) = t**3 + 5*t**2 - 2*t + 2. Let q be l(-5). Is g(q) a composite number?
True
Let h(c) = 4*c + 2. Suppose 0 = 4*p - 12 - 0. Let t be h(p). Suppose q - t = -0*q. Is q a composite number?
True
Suppose 4*t - 686 - 942 = 0. Is t a prime number?
False
Suppose -5*f + 3*f + 1678 = 0. Is f a prime number?
True
Let t(w) be the second derivative of w**5/10 - w**4/3 - w**3/2 - 3*w**2/2 - 2*w. Is t(4) a prime number?
False
Suppose -8*z = -6*z - 284. Is z prime?
False
Let z(g) = -g**2 - 4*g + 7. Suppose -3*p - 12 = 3*j, 2*j + 23 = -2*j + 3*p. Let x be z(j). Suppose -m = x*m - 357. Is m a prime number?
False
Suppose -3*k - 1 + 7 = 0. Suppose 4 = o - 3. Suppose 65 = o*a - k*a. Is a composite?
False
Let u = -1142 + 2029. Is u a prime number?
True
Let n = -146 - -209. Let b = 22 - 38. Let k = n + b. Is k a composite number?
False
Suppose -2*a + 564 = -0*a. Suppose -5*d + a = -428. Is d a composite number?
True
Let i be (1 + 0)/(2/72). Let n be (0 - -1)/(3/i). Suppose -153 - n = -3*c. Is c a composite number?
True
Let k(v) = 2 + 0*v + v + v. Is k(6) composite?
True
Let x be 4/(-2)*(-1)/(-1). Let o be (-265)/x + (-1)/2. Suppose -8 = -4*n + o. Is n a composite number?
True
Let m = 3 - -2. Suppose 511 = m*t - 214. Is t prime?
False
Is 6171/3 - -3 - -2 a composite number?
True
Suppose 5*q = 3*r + 3*q - 1621, -r = 3*q - 544. Is r a composite number?
False
Is (69/12)/((-2)/(-8)) a prime number?
True
Let o = 5 - 7. Let d = 4 + o. Is 2026/6 - d/3 composite?
False
Let r(l) = -10*l - 4. Let m(v) = -v. Let b be m(-2). Let g be (0 + 3/(-2))*b. Is r(g) composite?
True
Suppose -5*w = -2*y - w - 22, -w = -5. Is ((-508)/(-1))/(1 - y) a composite number?
True
Suppose -w = -3*u - 182, 2*w - u + 2*u = 385. Is w a composite number?
False
Let u = 63 + -91. Let q = u + 50. Is q a composite number?
True
Let j(l) = l + 5. Is j(5) a composite number?
True
Is 56/(-126) + (-5719)/(-9) a prime number?
False
Suppose -4*s + 3573 = -9199. Is s a prime number?
False
Let p(m) = -7*m**2 - 1. Let s be p(1). Let r(j) = j**2 + 9*j + 11. Let n be r(s). Suppose -n*q = -0*q - 33. Is q composite?
False
Suppose 2*j + 3*r - 3 - 7 = 0, -2*j + r + 2 = 0. Let n be 2/(-4)*j*5. Let z = n - -12. Is z composite?
False
Let x(v) = 2*v + 91. Is x(0) a composite number?
True
Let k(u) = u**3 + 15*u**2 + 3*u + 47. Is k(-12) prime?
True
Let z(d) = -3*d + 6*d**2 + 6*d**2 + 6*d + 4. Is z(3) composite?
True
Let d(n) = 71*n - 41. Is d(8) a prime number?
False
Suppose 2*p = -2*r - 3*r, -4*p + 22 = -r. Let i(t) = 3*t**2 - 6*t - 7. Is i(p) composite?
True
Suppose -8*x = -4*x - 796. Is x a prime number?
True
Let g(c) = c - 2. Let b be g(-5). Let t(x) = 3*x**2 + 2*x - 6. Is t(b) prime?
True
Let l(z) = 65*z**2 - 2*z - 8. Is l(-3) composite?
True
Let v(t) = -17*t + 3. Let u(p) = 17*p - 4. Let r(l) = l**3 + 8*l**2 - 10*l - 6. Let a be r(-9). Let n(o) = a*u(o) + 2*v(o). Is n(5) composite?
False
Let d = -489 + 866. Is d composite?
True
Suppose -4*u - 7 = -5*b, -b - 5 = 2*u + 2. Is b/(2 + (-309)/153) composite?
True
Is -1 + 3 - (-3)/6*214 composite?
False
Suppose -2*r = 5*c - 1143 - 314, -4 = r. Is c composite?
False
Is (-1 - (-6)/8)/((-1)/2188) a composite number?
False
Suppose -10 + 2 = -f. Suppose 3*k - f = 187. Is k composite?
True
Let a(b) = b**3 + 8*b**2 - 2*b - 11. Let r be a(-8). Suppose 0 = -5*s + r*t + 900 + 115, -3*s + t = -609. Is s a prime number?
False
Let x = 163 - -100. Is x prime?
True
Let x be 1/(3/5)*3. Suppose -114 = 3*g - 333. Suppose -2*m = -3*u - x*m + 60, -3*m = -4*u + g. Is u a composite number?
False
Suppose 4*q - q - 1131 = 0. Is q prime?
False
Let n(g) = -10*g**2 + 2*g**2 + 8*g - 2*g. Let q be n(4). Let t = -71 - q. Is t a composite number?
True
Suppose 0*k = -3*n - 4*k + 168, -4*n - k + 211 = 0. Suppose -a = 2*h - 47, 4*h - h + n = a. Is a composite?
True
Suppose 4*o = -4*g + 8, 0 = -5*g + 2*g + 2*o + 16. Suppose -g - 2 = -l. Let r = 59 - l. Is r prime?
True
Suppose 3*p + 4*u = 6, 3*u = 4*p + 8*u - 9. Let f = p + -1. Let n = f + 1. Is n composite?
True
Let h be -2 - -5 - 0/1. Suppose -2*w + 30 = -7*w - 5*j, -14 = -h*w + 5*j. Let c = 117 + w. Is c composite?
True
Suppose -4*j = 4 + 12, 0 = -5*a - 4*j + 1159. Is a a prime number?
False
Let d be (-327)/6*(4 - 2). Let u = d - -186. Is u prime?
False
Suppose -2*r + 35 + 1 = 0. Let g be -3 + 1 - r/(-3). Suppose g + 4 = -2*y, 4*x = -3*y + 336. Is x composite?
True
Let y(s) = 41*s**2 - s + 12. Is y(-5) prime?
False
Suppose 28 + 83 = 3*q. Is q composite?
False
Let z(d) = 3*d**2 + 0 - 1 + 0*d - 2*d**2 + 4*d. Is z(4) composite?
False
Let w(v) = 8 + 22*v - 7 + 4. Is w(9) prime?
False
Suppose 4*a - 3*a = -4*i + 926, 3*a + 4*i - 2746 = 0. Suppose 5*o = 155 + a. Suppose -182 = -5*g + o. Is g composite?
False
Suppose -48 = z - 5*z. Suppose 4*j - 41 = -5*o, -j - z = 4*o - 36. Is j a composite number?
True
Let m(o) = -2*o**3 - 9*o**2 - 10*o - 22. Is m(-9) a composite number?
False
Suppose 2*i - 3083 = z, -6788 = -4*i + z - 619. Is i prime?
True
Let w = 9 - 14. Let z = 6 - w. Is z prime?
True
Let v(d) = -1331*d + 83. Is v(-6) composite?
False
Let p(d) = d + 7. Let l be p(5). Suppose l = 2*c + c. Let n = 9 + c. Is n a composite number?
False
Let c be 23/3 - (-2)/6. Is ((-539)/(-28))/(2/c) composite?
True
Let z(y) = y. Let b(w) = -w**2 - 7*w - 7. Let f(q) = -b(q) - 3*z(q). Let d(g) = -g**3 - 6*g**2 - 3*g + 4. Let c be d(-5). Is f(c) prime?
True
Let i(q) = 3*q**2 + 3*q + 7. Is i(-5) a compo