 q + q + 4*d + 12, 2*q - 4*d = 28. Is 34 - -1 - 0/q a prime number?
False
Suppose 939 = 2*y - 1183. Is y a prime number?
True
Suppose -2*l - 72 = 216. Let q = l - -73. Let x = 26 - q. Is x prime?
True
Suppose -4*z = 40 - 4. Suppose 2*v - 8 = 96. Let o = z + v. Is o a prime number?
True
Is (15 + -16)/(1/(-37)) a prime number?
True
Let z(v) = 99*v - 52. Is z(5) composite?
False
Let d be (0 - 132)*(-2)/3. Suppose 5*a - d = a. Is a prime?
False
Suppose 3*i = 15, 2*i - 22658 = -3*x + 7*x. Is 6/(-8) + x/(-8) composite?
True
Let i(j) = j**3 - 9*j**2 + 8*j - 9. Let x be i(9). Suppose z + x = 5*b - 31, 5*b = -z + 96. Is b composite?
False
Suppose 3*g = 2*i + 99 - 10, -4*i + 8 = 0. Let h be 1138/10 - 3/(-15). Suppose -f - g = -h. Is f a composite number?
False
Suppose -2*k = 12 - 442. Is k composite?
True
Let n = -175 + 309. Let k = 553 - n. Is k a composite number?
False
Suppose -u - 854 = 5*l, -l + 82 + 1604 = -2*u. Is (-1)/(((-8)/u)/(-2)) composite?
False
Let c(x) = -2 + 3 + 2 - 15*x - 4. Is c(-8) composite?
True
Let i(p) = 2*p + 2*p + 0*p - 3*p. Let l(m) = 6*m + 39. Let v(j) = -5*i(j) + l(j). Is v(0) composite?
True
Let j(m) = -81*m**2 + 4*m - 3. Let d be j(2). Let s = d + 518. Is s a composite number?
False
Is (-3 - 7/(-2))*6 - -124 a composite number?
False
Let y(z) be the first derivative of -z**4/4 - z**3/3 + z**2/2 + 119*z - 8. Is y(0) composite?
True
Let j = -1 + 5. Suppose 0 = j*r - 42 - 170. Is r prime?
True
Suppose 8*o = o + 1477. Is o a composite number?
False
Suppose 4*p - 2*m + 2 - 10 = 0, -4*m = 2*p + 16. Suppose -3*u + 5*u + 66 = p. Is (u/9)/(2/(-42)) a composite number?
True
Let y(l) = 4*l**3 + 6*l**3 + 5*l**3. Is y(1) a prime number?
False
Suppose 0 = -4*n + 8*n - 388. Suppose -5*x + n = -4*x. Let o = x + -62. Is o prime?
False
Suppose -3*k - 996 = -3*w, -5*k - 1331 = -4*w - 0*k. Is w a composite number?
True
Let n(c) = 25*c - 5. Is n(4) a prime number?
False
Let h(r) = 88*r**2 + 6*r - 1. Is h(6) a composite number?
False
Is -195*(0 + -34) - -5 prime?
False
Suppose 4*c - c = 261. Let n = 58 + c. Is n a composite number?
True
Let i(l) = -l + 8. Let c be i(7). Let r be c/((-3)/(-6)) + 25. Suppose r = 5*u - 143. Is u a prime number?
False
Let s(u) = 4*u**2 + u - 1. Let x be s(1). Suppose 0 = -5*m - 5*l - 32 + 132, x*m - 5*l = 98. Is m composite?
True
Let b = -16 - -19. Suppose -b*n + 5*n = 222. Is n composite?
True
Let v be (0 - 2)*(-36)/6. Let b = -22 + v. Let p(t) = -t**3 - 9*t**2 + 2*t + 5. Is p(b) prime?
False
Let y = 94 + -138. Let h = y - 36. Let b = h - -117. Is b a composite number?
False
Let i(t) = 190*t + 1. Is i(1) prime?
True
Let j(l) = l**2 - 9*l + 12. Let s be j(9). Suppose -v + s = v. Suppose -v*h + 184 = -2*h. Is h a composite number?
True
Suppose 213 - 768 = -5*i. Suppose 4*l = 277 + i. Is l composite?
False
Let y(n) = n**3 + 2*n - 1. Let t be y(0). Is (t/(-3))/(2/498) composite?
False
Let m be (36/27)/((-2)/(-264)). Is m - 12/(12/(-3)) composite?
False
Suppose 5*p - 13 = 7. Suppose -v + 205 = -2*b, -p*b = -v - 3*b + 208. Is v a composite number?
False
Let k be 1*(1 - 0) + -2. Let u be k - (-6 + 0 + 0). Let w(h) = 3*h + 4. Is w(u) a prime number?
True
Let p(x) = -x - 6. Let s(k) = k - 1. Let u(h) = p(h) + 3*s(h). Let d be u(6). Suppose d*y - 15 = 2*i, 0*y + 2*i + 8 = 2*y. Is y a composite number?
False
Let o be (8/20)/((-1)/5). Is (-7 - -9)*(-13)/o a composite number?
False
Let w = 486 + -149. Is w a composite number?
False
Let y = 143 + -72. Let g = y + -6. Is g a composite number?
True
Suppose 3*z = 148 + 221. Is z prime?
False
Let x(t) = t**2 + 5*t - 1. Let o be x(-6). Suppose o*k + 25 = 90. Is k a composite number?
False
Let b(s) = -s**3 + 7*s**2 + 3*s - 7. Let z(k) = k**2 - 6*k. Let t be z(5). Let p(v) = -v**3 - 4*v**2 + 5*v + 7. Let c be p(t). Is b(c) composite?
True
Suppose 5 = 4*t - 3. Is ((-2)/t)/((-7)/413) a prime number?
True
Let q(z) = 3*z**2 + z - 9. Is q(8) a composite number?
False
Let h(z) = 941*z**2 + 4*z - 1. Is h(-2) composite?
True
Is (-814)/33*51/(-2) a prime number?
False
Let t(d) = 24*d**2 + 1. Suppose -4*u + 20 = u. Suppose x = -5*p - 2, p + x = -u*x + 14. Is t(p) a prime number?
False
Is (-4)/28 - 234/(-21) a prime number?
True
Suppose 0 = -5*h + 6*x - x + 35, -x = -2*h + 11. Suppose h*q - 45 = -4*t + 7, 0 = t + 2*q - 11. Is t prime?
False
Let a = 21 + -20. Is a/1*(-1 + 214) a prime number?
False
Let m(q) be the second derivative of -1/2*q**3 + 0 + 3*q + 7/2*q**2. Is m(-6) prime?
False
Suppose 5*c = 3*x - 245, c - 2*c + 399 = 5*x. Let t(d) = -d**2 - 7*d - 2. Let l be t(-6). Suppose l*h - x - 196 = 0. Is h a prime number?
False
Suppose -16 = -i - i. Let s = i + -6. Suppose -s*r - 4*z + 104 = 14, z = -r + 47. Is r a composite number?
True
Suppose 1261 = 3*d - 5*z, 0 = -3*z - 9 + 3. Is d composite?
True
Let t(d) = -166*d - 4. Let s be t(-4). Suppose y + 2*y = s. Suppose -5*l + l = -y. Is l prime?
False
Let r(k) = 34*k - 5. Let m be r(6). Let f = 98 - m. Let y = -58 - f. Is y a composite number?
False
Suppose 0*r + 3*r = 6441. Is r prime?
False
Let h = -6 + 10. Suppose h*z - 345 = -z. Is z a prime number?
False
Suppose 197 = p + 5*r, -2*p - 4*r + 756 = 2*p. Let j be 2/10 + (-91)/5. Is p/9 + (-4)/j prime?
False
Let r = 150 + -35. Is r a prime number?
False
Is (-2 + 3)/((-1)/(-3073)) composite?
True
Let m(f) = -5*f**3 + f**2 + 2*f + 1. Let w be m(-1). Suppose 0*l - 5*t - 96 = -2*l, 5*l - w*t = 255. Is l a composite number?
False
Let a(v) = v**2 - 3*v + 3. Let t be a(3). Let g(h) = 6*h**3 - 2*h**2 + 3*h - 2. Let l be g(4). Suppose 4*q = c + l, -t*c = 3*q - 41 - 238. Is q composite?
True
Let x(a) = -a**3 + 8*a**2 - 2*a + 11. Let y be x(8). Let c(t) = t**3 + 6*t**2 + 6*t + 3. Let w be c(y). Is w + ((-546)/(-2))/3 a prime number?
True
Let u(v) = 36*v**2 - 19*v + 6. Is u(7) a composite number?
False
Is 711*3/3 - 4 prime?
False
Let f(j) = -j**3 + 23*j**2 - 21*j - 16. Is f(17) composite?
False
Suppose 5*c - 552 = -52. Is -4 + c + -1 + 2 prime?
True
Suppose 4*b = 2*b + 8. Suppose 0*h - 2*h = -b. Suppose -h*q + 22 = -0*q. Is q a composite number?
False
Suppose 0 = q - 4*h + 9, 2*q - 5*h - 15 = 6*q. Is q/(-30) - 185/(-6) a prime number?
True
Suppose -3*o - o + 32 = 0. Suppose -5*k + 33 - o = 0. Suppose -m - 7 = -x, 2*m - m - 59 = -k*x. Is x composite?
False
Suppose -3*n = -3 - 6. Suppose -2*d + 80 = -d. Let c = d - n. Is c composite?
True
Suppose 5*p + 2*r = 4, 4 = r + r. Is 7/((-3)/(-15) - p) a prime number?
False
Let b(n) = -7*n - 10. Is b(-7) a composite number?
True
Let u = 3 - 0. Suppose -3*l + 41 = -2*h, -4*l + u*l - h = -7. Suppose c - d - l + 2 = 0, -d - 39 = -4*c. Is c a composite number?
True
Let l(z) = 4*z**2 - 5*z + 15. Suppose -2*j + j = 6. Let s(m) = 2*m**2 - 3*m + 7. Let r(p) = j*l(p) + 13*s(p). Is r(6) a prime number?
True
Let p(o) = -o**3 + 3. Let g be p(0). Suppose -32 - 7 = -3*y + 5*c, -5*y + g*c = -65. Is y prime?
True
Suppose 2*k + p - 471 = 0, -5*p + 4 = -p. Is k a composite number?
True
Suppose 4*h - 4129 = -0*h + 5*f, -4*h + f + 4125 = 0. Is h prime?
True
Suppose l - 4*o = -3*l + 1008, 5*o - 511 = -2*l. Is l a prime number?
False
Let s = 31 + -21. Is 62/s - (-2)/(-10) prime?
False
Is 10/8 - 1 - (-8073)/12 a composite number?
False
Suppose -6*o = -3*o - 1713. Is o a composite number?
False
Suppose -21*i = -26*i + 155. Is i a prime number?
True
Let b be (-4)/(-10) + 186/(-15). Let o = -8 - b. Let x(t) = t**3 - 4*t**2 + 4*t + 3. Is x(o) composite?
False
Let v(j) = 2*j**3 - 4*j**2 - j - 2. Is v(5) prime?
False
Let a(t) = 2*t**2 + 8*t + 9. Let k(j) = 4*j**2 + 17*j + 18. Let s(m) = -5*a(m) + 3*k(m). Suppose l + g = -5, -l + 1 = -0*l + 3*g. Is s(l) prime?
False
Suppose 2*f = 4*f - 16. Let z be (-2)/(0 - 1) + 1. Suppose z*h = f*h - 590. Is h a composite number?
True
Let i = -25 - -17. Let u(w) = -w**3 + w**2 - w - 1. Let c(x) = -4*x**3 + 14*x**2 + 5*x - 11. Let d(z) = -c(z) + 5*u(z). Is d(i) prime?
False
Let a be (4 + 13)*(1 - -1). Suppose -a = -4*k - 3*v + 1, -3*k - 5*v + 40 = 0. Suppose -k*r = 5*t - 185, -t = -6*t - 3*r + 179. Is t a composite number?
True
Let z(p) = 6*p**2 + 2*p + 2. Let w be z(-2). Suppose 4*x = b - 225, -5*x + 5*b - 306 + 36 = 0. Let n = w - x. Is n a prime number?
True
Let b(m) = 8*m**2 + 3*m + 2. Suppose -3 = 6*g - 7*g. Is b(g) a prime number?
True
Let o(p) = -p**3 -