 Let w(r) = r**3 - 6*r**2 - r + 4. Let d be w(6). Is b(d) prime?
False
Let f be 60/((-3)/(-6)*2). Suppose 0 = -2*d - f + 314. Is d composite?
False
Let k = 475 + -26. Is k a prime number?
True
Suppose -w + 4*i = -3*w + 28, 0 = -3*w - 2*i + 42. Let a be (1 - -2)/(3/w). Let z = a + 0. Is z prime?
False
Suppose 0 = 3*f - f - h - 2696, 0 = h + 2. Is f a composite number?
True
Let k(j) = -j**2 - 7*j + 4. Let s be k(-7). Suppose s*x - 3*b - b - 680 = 0, 4*x - 675 = -b. Is x prime?
False
Suppose 2*w = -w - 396. Let h = -29 - w. Is h prime?
True
Let b(o) = o**2 + o - 1. Let a(d) = 2*d**2 - 1. Let l(g) = 3*a(g) - 4*b(g). Is l(6) prime?
False
Let d(l) = -18*l + 3. Let z(f) = f**2 + 3*f - 3. Let n be z(-3). Is d(n) a composite number?
True
Let d(v) = 160*v. Let s be d(1). Let i = 239 - s. Is i a prime number?
True
Let r = -17 + 11. Let v(y) = -2*y**3 - 25*y**2 - 14*y - 8. Let m(p) = -3*p**3 - 37*p**2 - 21*p - 12. Let o(n) = -5*m(n) + 7*v(n). Is o(r) a composite number?
True
Suppose -3*x + 3455 = 2*x. Is x a prime number?
True
Let d(p) be the second derivative of -1/2*p**2 + 0 + 5*p**3 - 2*p. Is d(2) prime?
True
Let c = 9 - 9. Suppose c = -2*z - 4 + 12. Let s(o) = o**2 - o - 5. Is s(z) a composite number?
False
Let n be (-6)/33 - 13895/(-11). Let m = n + -706. Is m composite?
False
Suppose l = -0*l + 71. Suppose 0 = -2*t + 183 + l. Is t a composite number?
False
Let y = -253 - -464. Is y a composite number?
False
Suppose 0*s = -3*s + 6. Let o(b) = -b**2 - 2 + s*b + b**3 - 7*b**2 + 8*b. Is o(7) a composite number?
False
Suppose -7*v = -1089 - 164. Is v a composite number?
False
Suppose 3*i - 101 = -0*j + j, 49 = 2*i + 3*j. Let g = i + 33. Is g a composite number?
True
Let o = -3 - -4. Let x(z) be the first derivative of 2*z**3 + z**2/2 - 16. Is x(o) prime?
True
Suppose -130 = -w + a, -2*a = -3*w - w + 514. Is w a prime number?
True
Let b = -8 - -11. Suppose d = -b - 6. Let q(o) = -o + 10. Is q(d) a composite number?
False
Let y(k) be the first derivative of k**4/4 - 2*k**3 - 7*k**2/2 + 3*k - 3. Is y(7) a composite number?
False
Let k be (-3 - 2/(-2))*-6. Let q(u) = 30*u + 13. Is q(k) a composite number?
False
Suppose 422 - 62 = 4*n. Suppose 0 = -5*o - 64 - 1. Let q = n + o. Is q a composite number?
True
Suppose 0*u + 3 = 3*u. Is 22 + (1 - 2)/u a prime number?
False
Let j = -1252 - -2129. Is j a composite number?
False
Suppose 2*b = -o + 55 + 79, -3*o = -5*b + 313. Is b prime?
False
Let z(j) be the second derivative of 11*j**5/5 - j**4/12 - j**3/6 + j**2/2 - 5*j. Is z(1) composite?
False
Let n(r) = 10 + r + 0*r - 3*r + 6*r. Is n(9) a prime number?
False
Let w be -1 + 2 + 1 + -1. Let q be 1 + (-41 + w - 1). Let a = 27 - q. Is a prime?
True
Let n = 588 + -197. Is n prime?
False
Let m(s) = -10*s + 2*s + 3*s**2 - 4*s**2. Let o be m(-8). Suppose 3*p - p - v - 108 = o, -v = 2. Is p a prime number?
True
Let t(y) = 3*y - 2. Let q(p) = 2*p**2. Let o be q(2). Is t(o) a composite number?
True
Let j(h) = h**3 - 2*h**2 - 2*h + 2. Let f be j(2). Is f*(-2)/((-12)/(-573)) prime?
True
Let m = -990 + 1404. Suppose -m = -4*i + 38. Is i a composite number?
False
Suppose 2 = a, a - 4*a = -5*l + 1699. Is l a composite number?
True
Let o(f) = -f**3 + 6*f**2 + 4. Let j be o(6). Suppose 8*l = j*l + 32. Is 318/4*l/12 prime?
True
Let a(u) = 19*u**3 - u**2 + u - 2. Is a(3) composite?
True
Suppose 7*z + v - 58 = 2*z, -2*z + v = -26. Is 159*-2*(-2)/z composite?
False
Is -10*5*-3 + (-26)/26 a prime number?
True
Suppose -3*k = -3*z + 16 - 7, 4*z + 4*k - 4 = 0. Suppose -9 = 4*u - 3*i, u + 3*i - 3 = z*i. Suppose u*s + 87 = 3*s - 3*h, h + 4 = 0. Is s prime?
False
Let v = 9899 + -4702. Is v composite?
False
Let v = 142 - -25. Is v a composite number?
False
Suppose 51 = -5*y + 2*y. Let h = -6 - y. Suppose 0 = -i + 4 + h. Is i prime?
False
Let x be ((-1)/(-3))/((-1)/(-12)). Suppose -k = 4*g - 11, k - x*g = -4*k - 17. Is -2*(k + 0) - -4 composite?
True
Let g(h) be the second derivative of -1/6*h**4 + 0 + 1/20*h**5 + 5/2*h**2 - h + 0*h**3. Is g(4) a prime number?
True
Let w(x) = 3*x + 7. Let g be w(-5). Suppose -2*c + 4 = -6*c. Let o = c - g. Is o composite?
False
Let h(t) = t**3 + t**2 + t + 2. Let x(c) = -c**3 + c**2 - c. Let m be x(0). Let f be h(m). Suppose -f*n - 2*w - 3*w = 11, -n - 13 = 4*w. Is n prime?
True
Suppose -2 = -v + 1. Let s be -31 + (3 - 2) + 2. Let d = v - s. Is d a composite number?
False
Let r(y) = 4*y - 2. Let w be (78/8)/((-6)/(-16)). Suppose -19 = 2*l - 0*l - 5*z, -2*l = 4*z - w. Is r(l) prime?
False
Let m(b) = 12*b - 5. Let y be (-2)/(-4) + 3/6. Let c be y + 2 + (-1 - -3). Is m(c) a composite number?
True
Let m(g) = -g - 1. Let d be m(2). Let t = d + 6. Suppose x - t*s + 86 = 5*x, -2 = s. Is x a composite number?
False
Suppose -11*w + 3*w = -7256. Is w prime?
True
Let x(g) = -g**2 - 6*g - 3. Let c be x(-5). Suppose -3*u - 141 = -4*u - 5*a, 2*u - 266 = -c*a. Is u prime?
True
Let u(d) = 7*d**2 - 2*d - 1. Let y be u(-1). Suppose v - 3*v = -y. Suppose -v = 5*m - 114. Is m composite?
True
Let r be 3/2*8/(-6). Let u be r/(-2 - 288/(-146)). Let v = u - 52. Is v prime?
False
Suppose -2*i + 3*u - u = -1916, -3 = u. Is i prime?
False
Let a(f) = -1648*f + 7. Is a(-1) composite?
True
Let w be 1*2 + (1 - 0). Let g = w + -5. Is g/9 + 280/45 prime?
False
Let k(n) = 65*n. Let y be k(1). Let x = 45 + y. Let s = x - -29. Is s a prime number?
True
Let m(v) = 2*v - 1. Let y be m(5). Suppose h - 4*h - y = 0. Is (-3)/(h/11) + 0 prime?
True
Let c be (-286)/77 - 4/14. Let k(l) = 6*l**2 + 2*l + 5. Is k(c) a composite number?
True
Let g(w) = 17*w**2 - 1. Let c be g(-1). Suppose 2*x = 6 - 14. Is (-1)/x + 2092/c a prime number?
True
Let a = 5 + -1. Suppose a*x - 66 = 410. Is x a prime number?
False
Suppose 0 = 5*t - 3*t - 1562. Is t prime?
False
Suppose -21*n + 16*n + 5345 = 0. Is n prime?
True
Suppose 4*z - 2*w + 1820 - 6854 = 0, 0 = 2*z - 3*w - 2515. Is z a prime number?
True
Let s(q) = 2*q**2 - 4*q - 2. Let i(n) = -3*n**2 + 7*n + 5. Let t = -5 - -10. Let b(d) = t*s(d) + 3*i(d). Is b(8) prime?
False
Suppose 1173 = 5*z + 68. Is z prime?
False
Let g(i) = -i**3 - 4*i**2 - 4*i - 3. Suppose -3*o + s = -4*s + 17, 3*o + 4*s + 8 = 0. Is g(o) composite?
False
Suppose 41 = -4*m - 59. Suppose 2*o = 84 + 34. Let i = o + m. Is i a composite number?
True
Let j(r) = r**2 + r. Let u be j(-1). Suppose -4*i + 0*i + 8 = u. Is 1 - ((i - 93) + 1) prime?
False
Suppose 5*l = -3*s + 2495, -s = 4*l + s - 1996. Is l a composite number?
False
Suppose -m = -0*m - 89. Let c = m - -20. Is c prime?
True
Suppose 53*k = 49*k + 1940. Is k a prime number?
False
Suppose 2592 = 4*f - 2*f + 2*s, s + 6450 = 5*f. Is f a prime number?
True
Let a be ((-2)/(-1))/(1/2). Suppose 3*l - 4*l + 3*y = -472, a*l - 1903 = -3*y. Suppose -3*r + l = 2*r. Is r prime?
False
Let k = 1154 - 739. Is k prime?
False
Let z(s) be the third derivative of 5*s**4/24 - 4*s**3/3 + s**2. Is z(11) a composite number?
False
Let i(w) = -14*w - 13. Let x be i(-9). Suppose 0 = -0*q - q + x. Is q a composite number?
False
Let b be ((-4)/(-10))/((-1)/(-5)). Let w be (-17)/(-2)*(-4 + b). Let a = -3 - w. Is a a composite number?
True
Let x(l) = 40*l**2 - l - 1. Let m(r) = -2*r**2. Let s be m(-1). Is x(s) a prime number?
False
Let a be (-16)/(-10)*(-25)/(-10). Suppose 0 = a*q - 0*q. Suppose m = -2*j - q*j + 31, -8 = -j + m. Is j composite?
False
Suppose -4*h + 6*h = 12. Let g = h + -4. Suppose -g*n = 3*i - 281, 3*n + 3*i - 2 = 412. Is n a prime number?
False
Suppose 4*s = 300 + 76. Is s a prime number?
False
Let v(o) = -15*o**2 + 3*o**2 + 7*o**2 - 1 + 2*o**3 + 2*o + 0*o**3. Is v(4) a composite number?
True
Let d = -1 + 4. Suppose 3*i + 43 = g, d*i - 247 = -5*g + 2*i. Is g prime?
False
Suppose x + 4*d + 0*d - 45 = 0, -4*x = -4*d - 120. Is x a composite number?
True
Let l = -273 + -18. Let r = -435 - l. Let q = r - -241. Is q composite?
False
Let q be (745/(-3))/(4/12). Let a = q + 1158. Is a prime?
False
Suppose n - 57 = -3*b, 0 = 5*n + 2*b + 2*b - 285. Is n composite?
True
Let g be 4/3 - 6/(-9). Suppose -2 = -c, 4*s = -g*c - 0*c + 24. Suppose 10*u - 35 = s*u. Is u prime?
True
Let j(y) = -6*y**3 + 3*y**2 + 4*y + 5. Let g(h) = 5*h**3 - 2*h**2 - 3*h - 4. Let k(m) = -5*g(m) - 4*j(m). Let p be k(-1). Suppose 79 = -p*x + x. Is x composite?
False
Let t(i) = -i**3 + 2*i**2 + i -