5) a prime number?
True
Let t(s) = s**3 - 5*s**2 + 2*s - 4. Let g be t(5). Suppose 2*j - g*j + 124 = 0. Is j a prime number?
True
Suppose 5*v + 8 + 72 = 0. Let m = v + 10. Let p = 0 - m. Is p composite?
True
Suppose 1567 = 5*y - 4*q, q = 3*y + y - 1247. Is y a prime number?
True
Suppose 0 = -174*d + 177*d - 11901. Is d prime?
True
Let d be (-44)/(-33)*(-3)/(-2). Suppose 5*z + d = 12. Is z a prime number?
True
Suppose -4*m + 5 = -3*m. Suppose 0 = d + 4*z - 23 - 8, 0 = m*d - 5*z - 180. Is d a prime number?
False
Let l(i) = 2*i**2 + 0*i**2 + i + i**2 - 2*i**2 + 1. Let c be l(-1). Is 266/8 - c/4 a composite number?
True
Suppose 4*b = -3*y, 4*b = -5*y + 8 - 0. Let l(o) be the first derivative of -o**4/4 - 2*o**3/3 - 3*o - 11. Is l(b) a composite number?
True
Let x be (-1)/(0/(-1) - -1). Let d be (x + 5)/((-4)/14). Is 2/(-4)*d + 2 composite?
True
Let m(k) = -k - 2. Let z = 1 - 3. Let q be m(z). Suppose l - 3*i - 49 = 0, -l + 0*i - 4*i + 49 = q. Is l prime?
False
Suppose 2*a - 3*v + 8 = -0*a, 2*a - 5*v = -16. Suppose -4*w + a*w = -26. Is w composite?
False
Let f(z) = 3*z - 11. Let b(p) = 5*p - 22. Let a(c) = 3*b(c) - 7*f(c). Is a(-9) prime?
False
Let y(r) = 3*r**3 - 7 + 9*r - 4*r**3 + 5*r**2 + 2. Is y(6) a composite number?
False
Let a = 523 + -303. Suppose -4*i + 8*i = a. Is i prime?
False
Let f = -80 + 225. Is f composite?
True
Suppose -5*r + 57 = -2*r. Suppose -5*g + r = -56. Is g a prime number?
False
Let o(b) = b - 1. Let a be o(3). Suppose 4*p + 3*u = 4*u + 10, -4*p + 4 = -4*u. Suppose -p*s + 23 = -a*s. Is s composite?
False
Let z = 54 + -7. Is z prime?
True
Suppose -3*k = 3*m - 8106, -k + 10823 = 6*m - 2*m. Is m composite?
False
Is 3/(-18) + 10526/12 a composite number?
False
Let s(l) = -l**3 - l**2 + 2. Let c be s(-2). Let b be c*(-1 - (-267)/6). Suppose 2*q - b = -q. Is q prime?
False
Suppose 3*c + 2*c = -4*m + 259, -317 = -5*m - 4*c. Suppose -5*d + r + 48 = -m, -3*d + r + 67 = 0. Is d a composite number?
True
Let u(i) = -i + 2. Let n be u(9). Let d = n + 13. Is (31/(-2))/((-3)/d) a composite number?
False
Let l = -7 + 10. Let k(w) = 5*w**2 - 4*w. Is k(l) prime?
False
Suppose j = -g - 3*g + 77, -5*g - 95 = -j. Is j a composite number?
True
Suppose 291 + 1170 = l. Is l a prime number?
False
Let k(x) = -169*x + 17. Let c(h) = h. Let a(s) = -4*c(s) - k(s). Is a(6) a prime number?
False
Let s be (-166)/(-12)*-8*-3. Let q = -141 + s. Is q composite?
False
Let v = 111 - 42. Is v prime?
False
Let u(i) = i**3 - 9*i**2 + 2*i + 2. Let c be u(6). Let p = c + 185. Is p prime?
False
Let z(r) = r**3 - 6*r**2 - 7*r + 3. Let m be z(7). Suppose -4*t + 18 = w - 53, 245 = m*w - 4*t. Is w a composite number?
False
Is 1*1/2*1082 prime?
True
Let q = 5693 + -3898. Is q a prime number?
False
Let r = 229 + -116. Let w = r + -34. Is w prime?
True
Let t(p) be the third derivative of -p**6/60 + 2*p**5/15 + 7*p**4/24 + 2*p**3/3 + 5*p**2. Is t(-5) a composite number?
False
Suppose 3*m - 242 = 1537. Is m composite?
False
Suppose 7*y - 13*y + 4038 = 0. Is y prime?
True
Let y(c) = -c - 40. Suppose -4*b = -0*b. Let v be y(b). Is v/(-2) - (-1 + 0) a composite number?
True
Is 2/7 - 5485/(-35) a composite number?
False
Is (-10)/(-65) + 3742/(-26)*-15 composite?
True
Let c be 6/(-21) - (-46)/14. Suppose -211 = -c*v + 80. Is v prime?
True
Suppose -5*d + 2815 = -n + 7718, -5*d = -2*n + 4901. Let c = -688 - d. Is c composite?
False
Suppose -4*k + 3*d = 2*d - 1530, 3*d - 1155 = -3*k. Is k prime?
True
Let m = 18 - 14. Suppose -m*s + 1497 = -5*q, 2*q = 5*s - 1584 - 283. Is s prime?
True
Suppose 4*m = -2*z + 26, 5*z - 5*m + 12 = 2. Suppose -y - 4*l = -25, z*y - 2*l + 5 = 2*y. Suppose -4*i - 168 = -4*u, -2*u - i = -y*i - 94. Is u prime?
True
Let u be (5/2 + 2)*-26. Let i = -58 - u. Is i a composite number?
False
Is (457/4)/(((-15)/(-28))/15) a composite number?
True
Let g = 9 - 16. Let d(y) = -29*y**2 + 7*y - 4. Let t(i) = 19*i**2 - 5*i + 3. Let o(c) = g*t(c) - 5*d(c). Is o(-2) prime?
True
Suppose 0 = 7*p - 8*p + 419. Is p composite?
False
Let w = -4 + 10. Is 476/w + (-5)/15 composite?
False
Suppose o = 3*o - 2. Let k be o/5 - (-1)/(-5). Suppose k*v + 4*v - 92 = 0. Is v a prime number?
True
Suppose v = -3*v + 2220. Suppose 5*d - 5 - v = 0. Suppose -7*o = -m - 3*o + 41, 2*m = -2*o + d. Is m a prime number?
True
Let j = 31 + -19. Is 16/j - 178/(-6) a prime number?
True
Let s be 91/3 + (-4)/(-6). Let f = -7 + s. Suppose -5*y + 11 = -f. Is y prime?
True
Let g = -802 - -1433. Is g a composite number?
False
Let w(a) be the third derivative of a**4/24 - a**2. Let d be w(3). Suppose -3*n + y + d*y + 78 = 0, 0 = -y - 3. Is n composite?
True
Is (-3777)/(-12)*8/2 a composite number?
False
Let v(t) = 3*t. Let y be v(1). Let l(q) = -4*q - 4. Let n be l(y). Let b = 29 + n. Is b composite?
False
Is (-1 - -208) + -3 + (-4 - -3) prime?
False
Suppose 4*k + 482 - 2526 = 0. Is k a composite number?
True
Is (-54)/(-6)*1/((-3)/(-29)) prime?
False
Suppose -6*p = -2472 - 1338. Is p composite?
True
Suppose -1501 = -4*c + 583. Is c prime?
True
Let p(z) = -z**3 - 4*z**2 + 11*z + 7. Let h be p(-7). Suppose -v = 3*o - 9, -v = 4*v - o - h. Is v prime?
False
Let y be 7*((-23)/(-7) + -3). Is 1*y/4*70 prime?
False
Suppose -243 = -3*p + 24. Is p composite?
False
Let u(b) = b**3 + 3*b**2 + 1. Let n be u(-3). Let g(p) = 15*p**3 + p**2 - p. Is g(n) prime?
False
Suppose -4*h - h + 20 = 0. Is ((-70)/(-8))/(1/h) prime?
False
Suppose -3*r + 11395 = 2*i, 2*r - 3*i - 15182 = -2*r. Is r a composite number?
False
Let j(n) = -99*n**3 - 2*n + 1. Let t(o) = -o**2 - 7*o - 2. Let d be t(-7). Is j(d) prime?
True
Let z = 4 - 4. Suppose 4*l + 5 = -j, -2*l + 0*j + j + 5 = z. Let b = l - -6. Is b composite?
True
Is (159 - 2)*(-2)/(-2) a prime number?
True
Let q = 539 - 6. Is q composite?
True
Let c = -636 + 1133. Is c prime?
False
Suppose -4*g + 644 = x - 2*x, 4*x - 624 = -4*g. Suppose -o + i = 4*o - g, 3*i - 78 = -3*o. Is o composite?
False
Let a = 1272 + -571. Is a a prime number?
True
Suppose 4*g - 14 - 14 = 0. Suppose 19 - g = 2*x. Let w = x - 4. Is w composite?
False
Suppose 0 = 5*x - 2*x - 1905. Is x prime?
False
Suppose -3*c - 42 = -2*w, 2*c + 13 = 3*w - 20. Let g = 7 - c. Is g composite?
False
Suppose u - 2 = 0, -3*u + 2*u + 67 = -5*c. Let q = 20 + c. Is q composite?
False
Let k = -1078 + 1725. Is k a composite number?
False
Let u(i) be the first derivative of 1 - 7/3*i**3 + 11*i + 1/4*i**4 - 7/2*i**2. Is u(8) a prime number?
True
Suppose 11 + 25 = 2*l. Let g = 1 + l. Is g a composite number?
False
Suppose -6 - 39 = -3*h. Suppose h = c + 2*c. Let v(s) = -s**2 + 5*s + 3. Is v(c) a composite number?
False
Let m(h) = -h**3 + h + 1. Let f(i) = 122*i**3 - 2*i - 2. Let c(w) = -f(w) - 3*m(w). Is c(-1) prime?
False
Suppose 2*f = -3*f + 2190. Let x = f + -251. Is x prime?
False
Suppose 3*x + 2*k = 2263, 0*k = -x - 3*k + 759. Is x composite?
True
Let c(a) = 4*a. Let p be c(2). Let m(h) be the first derivative of 3*h**2 + 5*h - 2. Is m(p) a composite number?
False
Let n(f) = -55*f + 1. Is n(-6) a composite number?
False
Suppose -2*l - 1315 = -7*l. Is l a composite number?
False
Suppose 0 = -5*o + 2*a + 19245, 3*o + 7704 = 5*o - 2*a. Is o prime?
True
Let r be 7*17 + (0 - -3). Suppose -3*i + 8*i = p + 259, -r = -2*i + 5*p. Is i a prime number?
False
Suppose 3 = -y + 1. Let m(l) = -19*l - 1. Is m(y) a composite number?
False
Suppose -4*n + n + 1200 = 0. Let g = -177 + n. Is g a composite number?
False
Let a(v) = -v - 10. Let g be a(0). Is (-2)/(-4)*(g - -204) prime?
True
Let n be 4/(-2)*2/4. Let u be (8/(-2) - -2)/n. Suppose -u*h = 2*h - 28. Is h composite?
False
Let a = 6 + -3. Suppose -t = a*t - 212. Is t a composite number?
False
Suppose 3*r + 5 = 2*r. Let u(b) = 3*b**2 + 8*b + 4. Let x be u(-4). Is 150/8 - r/x a prime number?
True
Let x(q) = 8*q**2 + 3*q + 3. Let k be x(-2). Suppose 5*u + k = -6. Let i(b) = -2*b - 5. Is i(u) a composite number?
True
Suppose -914 = -2*u + 908. Is u prime?
True
Let u(d) = 116*d**2 - 1. Let c be u(1). Suppose 4*h - 147 = -t, 4*t + 4*h = 5*t - c. Is t a prime number?
True
Let w = -584 - -103. Is (w/26)/((-2)/20) a composite number?
True
Let h = 6 - 4. Suppose -4*g + 20 = 2*z, 0 = -2*g - h*g + 16. Suppose -z*q + 2*s + 324 = 0, 0 = -5*q - 3*s + 670 + 132. Is q a composite number?
True
Let a = -445 - -947. Is a