d composite?
True
Suppose 0*u + 4*u = 4952. Suppose 4*o = -2*m + u, 0*o + 2*o - m = 609. Is o prime?
True
Suppose -a + 4*b + 5 = 53, b + 107 = -4*a. Is 2880/14 + (-8)/a a prime number?
False
Suppose 3*p = 2*z - 3*z + 800, 0 = z - 4*p - 793. Is z a composite number?
False
Let d(w) = 3*w - 1 + 0 + 0. Suppose -5*u = -3*r - 51, 8*r = u + 3*r - 19. Is d(u) a composite number?
True
Suppose -p + 0*p = 0. Suppose -5*t = -3*a + 195, p = -2*a + t + 38 + 92. Is a a prime number?
False
Let h(l) = l - 3. Suppose 0 = -3*b + 7 + 2. Let y be h(b). Suppose y = -0*p + 2*p - 78. Is p composite?
True
Let h(m) = -4*m**3 + 4*m**2 + 5*m + 2. Is h(-3) a composite number?
False
Suppose -2*i = -0*i - 24. Suppose 3*c - 5*c = 6. Is (25/c)/((-4)/i) prime?
False
Suppose 0 = -q + 4*q - 12. Suppose -3*a + q*j + 793 = 2*a, 783 = 5*a + j. Is a composite?
False
Suppose t + 3*n = 13, 4*n + 4 = t + 5. Is 119 + 1 - (t + -8) prime?
False
Is -2 + 123 + (-1 - 1) composite?
True
Let d(w) = w + 2. Let p be d(0). Let i = p - -1. Is i composite?
False
Let w be -4 - -2 - (-760)/5. Let v = w - 19. Is v prime?
True
Suppose 3*u - 4 = 11. Suppose 5*k - 115 = 3*s - 738, u*s + 2*k - 1059 = 0. Is s a prime number?
True
Let y(o) = 4*o**3 - 6*o**2 - 6*o + 1. Is y(6) a prime number?
True
Is (-1)/(-1) - (17 - 207) prime?
True
Let c be (-27)/63 + 3688/14. Let q = c + 186. Is q composite?
False
Let a(f) be the third derivative of f**5/10 - f**4/6 - f**3/6 - 4*f**2. Is a(-3) composite?
True
Suppose 0*s + 4*s = 2*y - 6, 3*y + 5*s - 20 = 0. Suppose -y*t + 35 = -0*t. Is t prime?
True
Let v = 909 - 372. Is v prime?
False
Let z = 8 + -5. Let i be z + -4 + (2 - 1). Suppose i = p + 2 - 13. Is p a prime number?
True
Suppose 3 = 3*x + 6. Let d = x + 3. Is d*(165/6)/1 a composite number?
True
Suppose -2*q = -3*w - 3, 5*q - 2*q + 3*w = -3. Suppose -3*t + 2073 - 150 = q. Is t a composite number?
False
Suppose s = -2*g + 7, 2*g = s + 3*s - 58. Suppose n - 118 = -s. Is 1*-3*n/(-9) prime?
False
Suppose 3*p - 1 = 5. Suppose -a + 237 = p*a. Is a prime?
True
Is (1 - -1)/((-1)/(3261/(-6))) prime?
True
Let a(t) = -t**2 + 18*t - 40. Is a(13) a composite number?
True
Let r be 0 + -6 + (-1 - 2). Let n be (r - -10)*(1 + 106). Let j = 156 - n. Is j prime?
False
Let s(f) = -6*f**3 + 5*f**2 + 7*f + 3. Is s(-4) a composite number?
False
Let k be 12*-4*82/(-12). Is k/4 + -4 + 1 composite?
False
Let w(f) = 6*f**2 + 6*f - 7. Is w(7) composite?
True
Suppose 3 = -2*t + 5, -g + 3*t = 9. Let m = -743 + 375. Is m/(-3) - (-4)/g a composite number?
True
Let k(b) = 14*b**2 + 10. Let q be k(-8). Suppose -333 = -3*v + q. Is v a composite number?
True
Suppose 2*v = 3*v. Suppose v = -3*z - 2 + 17. Suppose 45 = 5*h - z*c, 4*c - 41 = 2*h - 5*h. Is h composite?
False
Is (0 - 1) + 181 + 9 + -2 a composite number?
True
Let a(h) = 7*h + 2. Let q be a(6). Let f be q/10 - (-6)/(-15). Suppose 5 = -f*i - 11, -x + 35 = 4*i. Is x composite?
True
Let f = -42 - -40. Suppose 2*r + 3 = -3. Is f + 1 + (-42)/r a prime number?
True
Let r(o) = o**2 - 12*o - 4. Let b be r(6). Let s = 91 - b. Is s a composite number?
False
Is -4*-8*1 - 1 a prime number?
True
Suppose 1 - 10 = -3*f. Suppose 0 = -2*h - 3*x + 15, 5*h - 2*h - 18 = -f*x. Let r(p) = 9*p**2 + 4*p - 2. Is r(h) prime?
False
Let s = -8 + 13. Suppose 0 = 5*c - c - 2*r + 28, -4*c - s*r - 28 = 0. Let k(d) = -7*d. Is k(c) composite?
True
Let z(n) be the first derivative of n**5/20 - 2*n**4/3 + 5*n**3/6 - 7*n**2/2 + n + 2. Let d(w) be the first derivative of z(w). Is d(8) composite?
True
Let j = -5 + 8. Let f(n) be the third derivative of 7*n**4/24 + n**3/3 - 2*n**2. Is f(j) a prime number?
True
Let a = 79 + -57. Is a a prime number?
False
Let i = 65 - -576. Is i a prime number?
True
Let o(g) = g**3 + g**2 + g + 1. Let b(f) = -319*f**3 - 3*f**2 - 3. Let x(j) = -b(j) - 2*o(j). Is x(1) a prime number?
True
Suppose 141 = -k - 353. Let n = k - -705. Is n a composite number?
False
Let f = 0 - -3. Suppose 0 = 2*c - 5*g + 3 - 36, f*g + 15 = 0. Suppose n - 5*p - 82 = 0, -6*n + n + c*p = -347. Is n a prime number?
True
Suppose -v - j + 69 = 0, 5*j - 25 = -v + 44. Suppose -3*a + 180 = -v. Is a composite?
False
Let k(b) be the third derivative of -1/6*b**3 + 2*b**2 + 5/4*b**4 + 0*b + 0. Is k(3) a composite number?
False
Let m be 0 + -1 - 3*-2. Suppose -r + 2*o + 5 = 0, -4*r - o = 11 - 31. Suppose m = -z - r*v, -3*z + 2*v + 38 = -z. Is z a prime number?
False
Let b(g) = g**3 - 9*g**2 + 6*g - 6. Let y be b(9). Suppose 2*o - 96 = -f, y = o - f + 6. Is o prime?
False
Let c = 5303 - 3342. Is c composite?
True
Suppose -r - 5 = -342. Is r composite?
False
Let w be (6/9)/((-4)/6). Let o be (1 - 0 - 0)/(-1). Is 33 + (w + o)*-1 prime?
False
Let a(u) = -u**3 + 6*u**2 - 5*u + 4. Let m be a(5). Let s be -1*0*(-2)/m. Suppose s = t - 38 - 29. Is t prime?
True
Suppose 0 = -3*y - 4*w + 1145, 5*w - w + 750 = 2*y. Is y a prime number?
True
Let y be (-1)/(-4) - (-175)/20. Suppose -t + 9*h - 4*h = -114, y = -3*h. Suppose -136 = -3*j - a - 22, -3*j + 4*a + t = 0. Is j composite?
False
Suppose 0 = -4*a + 34 + 90. Is a composite?
False
Let b(t) = -t**2 - 5*t + 2. Let i be b(-5). Suppose 0 = -3*v - 0*v + 2*o + 157, 2 = 2*o. Suppose -i*a + 207 = v. Is a a prime number?
False
Let r(k) = -62*k + 9. Is r(-5) a prime number?
False
Suppose -2*j - 20 = 3*j. Let d be j/22 + (-70)/(-22). Suppose -d*b + 90 = 2*h, 3*h - 2*b - 169 = 2*b. Is h a composite number?
True
Let q(w) = w**3 - w + 509. Suppose -2*y + 3*y = 0. Is q(y) prime?
True
Suppose -61*x = -62*x + 3629. Is x prime?
False
Let m(v) = -2*v**3 + v**2 + 2*v - 9. Is m(-4) a prime number?
True
Let i(b) = b**3 - 8*b**2 + 8*b - 11. Is i(9) composite?
True
Let l(b) = b**2 - b + 2. Let r = 0 - -1. Let u be (0 + 0)*r/(-1). Is l(u) prime?
True
Is (-4 - -4 - 3) + 382 prime?
True
Suppose 5*b = -2*z + 88, 0*z - 2*b = 3*z - 143. Let d = z - -69. Is d a composite number?
True
Let d = 237 - 354. Let q = d - -320. Is q prime?
False
Suppose -2*p = 330 + 96. Is 1 - (p + -3) - 2 a composite number?
True
Let f(l) = -2*l**2 - 2. Let q be f(-2). Let z = q - -20. Is (14/(-4))/((-1)/z) composite?
True
Let d(h) = h**3 + 18*h**2 + 10*h + 30. Is d(-13) a prime number?
False
Suppose 0 = 7*o - o - 3522. Is o a composite number?
False
Let a = 13 - 9. Suppose 0 = -m + 3*u + 67, -u + 271 = m + a*m. Is m a prime number?
False
Let k be ((-2)/2)/((-3)/18). Suppose -19 - k = -5*d. Suppose -5*t + s + 181 = 0, 2*s - 41 = -d*t + 152. Is t a composite number?
False
Suppose 308 = 2*w - 558. Let k be (-8)/(-12) - 1492/6. Let g = k + w. Is g prime?
False
Let s(a) = 2*a**3 + a - 1. Let z be s(1). Suppose -447 = -z*c - c. Is c composite?
False
Let p(m) = -3*m**3 - 4*m**2 - 6*m - 7. Is p(-4) composite?
True
Let i(w) be the first derivative of -7*w + 31/2*w**2 + 2. Is i(6) a prime number?
True
Suppose -4*c - 70 = -786. Is c composite?
False
Suppose -3*b + 0*b = 6, 4*z - b = 4870. Is z a prime number?
True
Let g(d) = -d**3 + d + 1. Let y(w) = -4*w**3 - 6*w**2 + 14*w + 12. Let c(x) = 3*g(x) - y(x). Let f = 19 + -26. Is c(f) a composite number?
False
Suppose 2*v = -5*n - 3*v + 10, 3*n = 3*v + 18. Suppose -293 = -n*l + 3*l. Is l a composite number?
False
Suppose 2*u = 4*u + 2*n - 242, -4*u + 468 = -4*n. Is u composite?
True
Let y = 3410 + -1773. Is y a prime number?
True
Let r(t) be the second derivative of -6*t**3 - 3*t**2/2 - 3*t. Is r(-2) composite?
True
Let b(a) = -a + 47. Let j be 1*(-2 - (-6 - 2)). Suppose -j*o = -o. Is b(o) composite?
False
Suppose -5*f = -2337 - 3928. Is f a composite number?
True
Let a = 886 + -357. Is a composite?
True
Let q be 37/(-2) - (-2)/(-4). Let l = q + 74. Is l a composite number?
True
Suppose 2*p = 4 - 0, 4*p - 8 = -5*m. Suppose 0 = -5*k + 35 - m. Is k composite?
False
Let o be 2 + 0 + 609/3. Suppose 2*m - o - 25 = 0. Is m prime?
False
Suppose 15818 + 7345 = 3*n. Is n a composite number?
True
Is ((-374)/8)/(2/(-8)) a prime number?
False
Let r(k) = k**3 - 4*k**2 + k + 2. Let z be r(3). Let j(w) = -w - 4. Let q be j(z). Is q + 64 - (-4 + 1) a composite number?
False
Let n(a) = a**3 + 7*a**2 + 6*a. Let r be n(-6). Suppose r = 2*d + z + 3*z - 742, 0 = -z - 3. Is d a prime number?
False
Suppose 2*z - 2*q - 528 = 0, 120 = z - 3*q - 154. Let h = 450 - z. Is h a prime number?
True
Suppose -2*w - 3*y = -607 + 100, 4*y - 2