 Let l = b + t. Is l prime?
False
Suppose 3*n + 3*p = 18, 3*p = -4*n - 0*p + 21. Suppose d - 52 = -n*d. Is d a prime number?
True
Let b(c) = 5*c**3 - 5*c**2 + 4*c - 2. Let p be b(4). Let o = p + -177. Is o composite?
True
Let u(j) = -56*j. Let m(d) = d**3 + 8*d**2 + 9*d + 8. Let l be m(-7). Let a be u(l). Let t = a + -203. Is t composite?
True
Let q be -3*2*4/(-8). Let n be (q/(-9))/(3/(-387)). Suppose -n = -2*h + 55. Is h a composite number?
True
Suppose 0 = d - 5*d + 12. Suppose 15 = g - 4*c, -5*g + 18 = -g - 2*c. Suppose 0 = g*u + 2*u - 25, 160 = d*n - u. Is n a prime number?
False
Let l(p) = p**3 + 10*p**2 + 2*p + 12. Let w be -4 + -3 + 0 - 2. Let t be l(w). Let u = t + 18. Is u a composite number?
True
Let w(b) = 19*b. Suppose 24 = -v + 4*n, -5*n + 2*n + 23 = -2*v. Let i = 6 + v. Is w(i) prime?
False
Suppose 26*v - 5322 = 20*v. Is v composite?
False
Let v(g) = g + 9. Let c be v(-4). Let l(t) = -t + 9. Let p be l(5). Suppose -1625 = -5*w - p*b, 3*w = -0*b - c*b + 962. Is w prime?
False
Let g = 355 + 1006. Is g composite?
False
Let c(b) be the second derivative of b**3/6 - 3*b**2 - 2*b. Let a(k) = 5*k - 31. Let x(f) = 2*a(f) - 11*c(f). Is x(0) prime?
False
Let q = -44 - -144. Let m = -41 + q. Is m a composite number?
False
Is (2/(-2) - -2) + 250 prime?
True
Let d = -6 - -8. Suppose -2*y = -4*o + 30, 2*y + d*o + 54 = -0*o. Is -2 + 0 + 2 - y a composite number?
False
Suppose 3*m + 11 = 2*x, -m = -0*x + 2*x - 15. Suppose 2*a - x = 1. Suppose a*u - 4*t = 217 - 17, 0 = 4*u - t - 197. Is u composite?
True
Suppose 0 = 2*d - 6*d - 4*c + 4064, -3*c - 2007 = -2*d. Is d a composite number?
True
Let h(z) = -2*z**3 - z**2 - 2*z - 1. Suppose 0 = -0*i - 2*i + 4. Let f be (-1 + (2 - 2))*i. Is h(f) a composite number?
True
Let q = 286 + 65. Suppose q = -2*g - g. Is (4/6)/((-6)/g) a composite number?
False
Suppose q - 148 - 331 = 0. Is q a composite number?
False
Let x be 1 + 0 - (0 + 2). Let q(a) = -19*a. Is q(x) composite?
False
Let s be (4 - 1)*(-7)/(-3). Let g = s + 0. Is g composite?
False
Let p = -127 - -412. Suppose -10*z + p = -7*z. Is z composite?
True
Let u be 246 + (6/(-3) - 1). Let j = 550 - u. Is j a composite number?
False
Let o(m) = -m**3 - 7*m**2 - 5*m - 4. Let f be o(-6). Is 713/5 + (-4)/f prime?
False
Let y(g) = 103*g**2 + 5*g + 3. Is y(-4) a composite number?
True
Suppose -k - 2 = 1, -4*o + 3*k = -537. Is o/(-16)*(-4 - 0) prime?
False
Suppose -3*h = -4*k + 8144, -k - 2*h - 2*h + 2055 = 0. Is k prime?
True
Let w = -1264 + 1899. Is w prime?
False
Suppose 3*i - 23 = -l - i, 0 = 4*l - 5*i + 13. Suppose -l*q = -2*q - 211. Is q prime?
True
Let v(o) = 895*o + 18. Is v(5) prime?
True
Suppose -25 = -5*b - 0. Suppose 4*x = 3*y + 305, -b*y - 2 = -4*x + 301. Is x composite?
True
Suppose 5*z - z + 893 = -5*g, 2*g + 377 = 5*z. Let v = g - -340. Is v composite?
True
Let m be ((-2)/(-1) + -2)/3. Let x(z) = z + 83. Is x(m) composite?
False
Let t(r) = -r**3 - 14*r**2 + 13*r + 49. Is t(-21) composite?
True
Let w be (16/(-14))/(6/(-21)). Suppose w*r + 125 = 433. Is r composite?
True
Let p(v) = v + 22. Let f be p(0). Suppose d = -d + f. Is d composite?
False
Let z(f) = 24*f - 7. Is z(4) composite?
False
Let h(s) = -60*s - 33. Suppose -5*k - 4*l = -67 + 7, 4*l = -k + 28. Let n(r) = 40*r + 22. Let a(f) = k*n(f) + 5*h(f). Is a(9) prime?
True
Let q be 1 + 2 + (1 - 0). Suppose 3*u = q*u - 19. Suppose -3*s = -4*s + u. Is s a prime number?
True
Suppose 0 = 4*d - m - 897, -2*m + 636 = 2*d + 200. Is d a prime number?
True
Let u(o) = -o - 4. Let j be u(-6). Suppose 3*x + 2*x - j*n = 563, 0 = 3*x - 5*n - 334. Is x prime?
True
Let f be (1/2)/(1/2). Suppose -1 - f = -r. Suppose -6 = 3*s, -3*o + 35 = -r*o + 4*s. Is o composite?
False
Suppose 68 = -5*j - 2. Let a be (12/j)/((-5)/(-35)). Let l(b) = b**2 + 5*b + 4. Is l(a) a prime number?
False
Suppose 10*b - 1588 = 1462. Is b a prime number?
False
Suppose -6*y = -2*y - 16. Let p(u) = 2*u**2 - 2*u - 5. Is p(y) a composite number?
False
Suppose -m = -0*m + 10. Is 5/m + 75/2 prime?
True
Suppose -24177 = -20*u + 35723. Is u composite?
True
Suppose 0 = 3*f - 6*f + 18. Let h = 8 - 1. Suppose -f = -s + h. Is s a composite number?
False
Let v = -7 + 9. Suppose 0 = -2*k + 4*l - v*l + 324, 3*k = 2*l + 481. Is k a prime number?
True
Suppose 0 = p + c - 898 - 6581, -p + 3*c = -7487. Is p composite?
False
Let k = -54 + 107. Is k prime?
True
Is 712/10 + (54/(-30))/9 a prime number?
True
Suppose 5*v = -i - 4, 5*i - 7 + 167 = 3*v. Let n = 26 - i. Is n composite?
True
Suppose 0 = c + 2*c - 63. Suppose 0 = -j - 2*k - 3, 2*j = j + 4*k + c. Suppose y = j*w - 0*w - 182, 0 = 5*w + y - 188. Is w composite?
False
Suppose 2*n - 918 = -0*n + 4*g, 5*g = -4*n + 1771. Is n composite?
False
Suppose -t + 638 = t. Is t a composite number?
True
Let a(z) = -z - 6. Let v be a(-8). Is 1674 + (4 - 6)/v a composite number?
True
Suppose 1511 + 349 = 4*k. Let w = -280 + k. Let y = -106 + w. Is y a composite number?
False
Let n(u) = -7 - u**3 + 1 - 9*u**2 - 4 - 7*u. Suppose 7*k = 4*k - 27. Is n(k) prime?
True
Let b = 293 - 107. Suppose 4*d - 216 = -2*g - 2*g, 3*d - 5*g - b = 0. Is d composite?
True
Suppose 4 = 2*l - 4*l. Let j be (-60)/(-9) + l/3. Let t(q) = q**2 - 4*q + 9. Is t(j) prime?
False
Let m = 9 + 3. Let s be ((-4)/(-3))/((-4)/m). Is 28 - (-3)/(6/s) composite?
True
Let p(k) = 31*k**2 + 9*k + 1. Let u(l) = -l**3 - 7*l**2 + 7*l - 4. Let s be u(-8). Is p(s) a prime number?
False
Suppose -3*v - 2*l = 10, 0 = 4*v - 2*v + 2*l + 4. Let t(d) = d + 3. Let p be t(-4). Is p/(-2) + (-39)/v prime?
True
Suppose -3*c + 2*o = c - 1666, -4*c + 3*o = -1663. Suppose 2*p = -2*n + c, -5*n = -7 + 22. Suppose -3*z + 4*k + 117 = -p, -5*z + 535 = -4*k. Is z composite?
False
Let k = -1794 + 2661. Suppose -s = -4*c - 251, -3*s + c - 114 + k = 0. Is s a prime number?
True
Suppose -2*j + 17 - 1 = 0. Suppose -b - 2*d + 5*d = j, -b - 5*d + 8 = 0. Let o(t) = -7*t**3 + 4*t + 3. Is o(b) composite?
True
Is 18/(-135)*-1895 + (-2)/(-6) a composite number?
True
Let s be -5*(-5)/(25/2). Suppose -2*v + 118 = r + s*v, -5*r + 2*v + 590 = 0. Is r composite?
True
Suppose -347 = -3*l - 4*f + 48, -f = -3*l + 370. Suppose -x - l = -6*x. Is x prime?
False
Let z(q) = q**3 - q + 40. Let b be z(0). Suppose -2*x = 3*x - b. Is ((-38)/x)/(2/(-8)) a prime number?
True
Let p = 5 - 0. Suppose p*y + 3*f = 0, -f + 0*f - 8 = -y. Suppose -5*b + 4*g + 422 = g, 3*g = y*b - 252. Is b a composite number?
True
Suppose 4*j + 10*h - 7269 = 11*h, j - 4*h - 1821 = 0. Is j composite?
True
Let m = 16 + 10. Is m a composite number?
True
Let a = 1854 - 1271. Is a a composite number?
True
Let d(j) = 3*j**3 - j**2 - 2*j. Let m be d(2). Is 1960/m + (-3)/2 a prime number?
False
Let l = 125 + 52. Is l prime?
False
Let a(k) be the first derivative of 26*k**3/3 - k**2/2 + k + 7. Is a(1) a prime number?
False
Let p(s) = s**3 + 7*s**2 + 2*s + 3. Let j be p(-5). Suppose 82 + j = 5*h. Is h composite?
True
Let d be (-4)/6 - (-40)/15. Let z = 14 - d. Let s = 35 - z. Is s prime?
True
Let q(a) = -a**2 - 2*a - 4. Let c be q(4). Let r = -15 - c. Is r a prime number?
True
Suppose 3*t - 94 - 23 = -3*u, 3*u = -5*t + 115. Let g be 12/(-18)*183/(-2). Let z = g - u. Is z a composite number?
True
Let o(d) be the third derivative of d**6/120 - 2*d**5/15 - d**4/12 - 11*d**3/6 + 5*d**2. Is o(12) prime?
True
Let c(p) = -p - 2 + 3 + 7. Let t be c(4). Is 14*(10/t - 2) a composite number?
False
Suppose -5*l = -5179 - 656. Is l a prime number?
False
Let r = -8 + 13. Suppose p = 2*f - 2*p - 17, 19 = f - r*p. Suppose c - 87 = -f. Is c composite?
False
Let o(y) = 92*y - 6. Let l be o(-5). Let k = 238 + l. Let p = -151 - k. Is p a prime number?
False
Suppose 575 = 3*m + l, -6 = 3*l - 6*l. Is m composite?
False
Let b(x) = x**2 + 6. Let m(p) = -p**2 + 5*p**2 + p**3 + 0*p**3 - 6*p. Let w be m(-5). Is b(w) prime?
True
Let p(l) = -l**3 - 11*l**2 - 9*l + 14. Let q be p(-10). Let s be 22/(-4) - 2/q. Is s/3 + 2*8 composite?
True
Suppose -6 = -3*h + 6. Suppose -5*g = 0, h*g + 290 = -3*o + 5*o. Is o composite?
True
Let c(w) = 4*w**2 + 2*w - 1. Let v be c(-3). Suppose 4*t - v = 11. Suppose 0 = -2*y - 8, -2*o + t = -3*y - 24. Is o prime?
True
Suppose 0 = -5*r - s + 131 + 178, -r + s = -63. Let b = r - -129. Is b a prime number?
True
Let x = -57 + 95. Suppose 0 = j - 2*o +