 z composite?
True
Suppose -y = -5*z + 11, 4*z + z = 2*y + 7. Suppose u = y*u - 1623. Is u composite?
False
Let y = 495 + 5852. Is y prime?
False
Let g(h) be the second derivative of 103*h**4/12 - 5*h**3/6 + h**2/2 + 2*h. Is g(2) prime?
False
Let l be ((-8)/5)/(((-36)/10)/9). Suppose l*v - z = z + 7200, 5401 = 3*v - 2*z. Is v composite?
True
Suppose -5*o + 678 = -362. Let y be (-10)/4*o/(-20). Is (247/y)/(1/2) a prime number?
True
Let y = 1270 - -9625. Is y a composite number?
True
Let y be ((-18)/4)/(12/(-1680)). Let w = y + -393. Is w a prime number?
False
Let o = 339 - -8968. Let a = o + -5348. Is a a composite number?
True
Suppose -4*d = 5*o - 2, -2 = -4*d - 4*o + 2. Suppose 154 = d*r - 68. Is r composite?
True
Suppose 7*x - 1468 = 7954. Is x a prime number?
False
Let i = -18 - -21. Suppose 0 = 3*y - 4*t - 6153, 0 = -i*y + 4*y - 4*t - 2051. Is y composite?
True
Let h be (-52017)/9 + (-3)/9. Let y be (h/25)/((-1)/5). Let b = -575 + y. Is b a composite number?
True
Let v(i) = 282*i + 15. Let s be v(-8). Is s/(-12) + 2/8 prime?
False
Suppose -2*t = -10, 5*t - 4*t = 5*y - 79910. Is y a prime number?
False
Let s(k) = 4247*k + 34. Is s(5) composite?
False
Suppose 8*x - 332309 = 261283. Is x composite?
True
Let x(m) = -2 + m + 0 + 1. Let k(u) = -2*u**2 + 12*u - 13. Let w(o) = -k(o) + 2*x(o). Is w(-9) a composite number?
False
Let c(y) = 1440*y + 9. Let t be c(7). Is t/19*1/3 a composite number?
True
Suppose 63*x - 64*x = -5189. Let b = x + -3588. Is b a composite number?
False
Let t(p) = p**2 + 12*p + 6. Let n be t(-11). Let x(m) = 12*m**2 + m. Is x(n) prime?
False
Suppose 16 = 4*z - 2*s, 7*z - 24 = 3*z - 2*s. Suppose 10 = -z*i - 5. Is ((-9)/(-1))/i + 24 a composite number?
True
Let q = 2 - -1. Let x be 3 + (0 - 282) + q. Let y = -149 - x. Is y a prime number?
True
Suppose 2*f + 3*b - 4 = 4*f, 0 = 2*f + 4*b + 4. Is -2*f/(-12)*(-347 - 7) composite?
True
Let l(k) = 101*k**3 + 5*k**2 + 4*k - 13. Is l(4) prime?
True
Let q = 24 - 31. Let l be (-24)/(((-56)/(-12))/q). Suppose -v = -l - 61. Is v a prime number?
True
Let r(a) = -10 - 6 + 10 + 40*a - 1. Let l be r(9). Let f = l - 18. Is f prime?
False
Let i = 23 + -20. Suppose -2*j - 2384 = -i*j. Let b = j - 1269. Is b a prime number?
False
Let j(n) = -14*n**2 + 7 + 38*n**2 + 29*n**2 - 6*n + 13*n**2. Let a(d) = d - 2. Let l be a(5). Is j(l) prime?
False
Let c be 10958/8 + 36/(-48). Let y = c - 798. Is y prime?
True
Let i = 1748 - 1016. Let z = -517 + i. Is z composite?
True
Let h = -8 - -11. Suppose -10 = -3*n - 0*a + 2*a, h*a = -2*n - 15. Suppose -3*p + 99 = -n*p. Is p prime?
False
Let p(y) = -2*y**3 - 8*y**2 + 50. Let z(b) = -b**3 - 4*b**2 + 25. Let q(m) = -6*p(m) + 11*z(m). Is q(8) a prime number?
True
Is (-24)/66 + (-362854)/(-22) composite?
False
Let f = 8 + -6. Let g(i) = -i**2 + 9*i + 4*i**3 + 0*i**3 - 5 + 0*i**f - 3*i. Is g(4) prime?
False
Let r(v) = v**3 - 8*v**2 + 3. Let z be r(9). Let l = z - -173. Is l prime?
True
Let x = 80 + -133. Suppose 0 = 5*k + 2*v + 86 + 628, 0 = -4*k - 2*v - 570. Let b = x - k. Is b a composite number?
True
Let z(h) = -84*h + 13. Is z(-22) prime?
True
Suppose -3*f - f - 4*v = -4, 0 = -2*f + v - 13. Is 16/1 + (f - -7) a composite number?
False
Is ((62740/8)/(-5))/(3/(-12)) prime?
False
Let c(z) = 2652*z - 46. Is c(5) a prime number?
False
Suppose -30*r - 13287 = -33*r. Let p = r + 106. Is p a prime number?
False
Let h be 4688/(-6)*(-2 + -1). Is 16/48 + h/6 prime?
False
Let o = 3271 + -1772. Is o a prime number?
True
Suppose -3*n - 2*q + 17455 = 0, n + 3*q = -0*q + 5830. Is n a prime number?
False
Suppose 4*b + 283763 = 3*d, -2*d - 4*b = -b - 189198. Is d a composite number?
True
Let h(a) be the second derivative of -a**5/20 + a**3/6 + 211*a**2/2 - 2*a. Suppose -4*s = -6*s. Is h(s) composite?
False
Let a(n) = n**2 - n - 2. Let v be a(3). Is ((-1361)/(-3))/(v/12) a composite number?
False
Let l(b) = -b**3 + 12*b**2 + 1. Let k be l(11). Suppose p - w = -p + k, -5*w + 134 = 2*p. Suppose 4*c + p = 506. Is c composite?
True
Let m be 36/(-27)*-6 + 69. Suppose 2*w + 2*w = 0. Suppose -3*i + 3*z + 312 = 0, w = -3*i - 3*z + 401 - m. Is i prime?
False
Let p(n) be the second derivative of 830*n**3/3 - 3*n**2/2 + 14*n. Is p(1) a prime number?
True
Let d(l) = -24*l**3 + 16*l**2 + 27*l + 13. Is d(-8) composite?
False
Let l(a) = 5*a**2 - 22*a + 15. Let b(m) = -m**3 + 5*m**2 + 13*m - 4. Let s be b(7). Is l(s) composite?
True
Suppose -10*m = -4*m - 8886. Is m a prime number?
True
Let f = -3987 - -11656. Is f a composite number?
False
Suppose -5*v = -4*b + 27297, 3*v + 27294 = 4*b + v. Is b a prime number?
True
Let l = -93 - -93. Is 6/10 + l + (-269020)/(-50) prime?
True
Let r(k) = -7*k**3 - 17*k**2 - 15*k - 34. Is r(-11) prime?
False
Suppose 2*i - 5*i - 12 = v, 0 = -3*v - 5*i - 24. Is (7607/3)/(v/(-9)) a composite number?
False
Let j = 2004 - -718. Is j prime?
False
Let d = 3868 - 2755. Suppose -u - a + 61 = -d, u = 5*a + 1144. Is u a composite number?
True
Let f = -65 + 150. Suppose f = -o + 4*n + 359, -o + 2*n = -264. Is o a composite number?
True
Suppose -2*x = -2*t - 7 - 19, -2*t = 2*x + 10. Is t/(-3) + -3 + 0 + 789 a composite number?
True
Suppose -f + 25393 = 5*g, 15245 = 3*g - 116*f + 112*f. Is g a composite number?
True
Suppose -255 = -2*v - 3*v. Let w(t) = v*t**2 - 4*t - 152 + 151 + 4*t. Is w(2) prime?
False
Let h be 3 + (-2 - (-3 + 104)). Let x = 731 + h. Is x a composite number?
False
Suppose -4*m + 476 = -3*m - 3*a, -5*m + 2346 = 2*a. Let z = 1111 - m. Is z composite?
False
Let q(v) = -22*v**3 - 8*v - 38. Is q(-4) composite?
True
Let q(s) be the second derivative of s**3/6 + 5*s**2/2 + 5*s. Let y be q(0). Suppose -a - 79 = -y*h + 76, -3*h + 3*a = -93. Is h a prime number?
True
Suppose 1268 = -0*j + 4*j. Let y = j - -390. Is y a prime number?
False
Let b(c) be the first derivative of -c**4/2 - 5*c**3/3 - 5*c**2/2 + 7*c + 12. Is b(-8) a composite number?
False
Let t be (3/(-12) - 5/(-4)) + -1. Suppose -3*u = p - 6486, -3*u + 5*p = -t*p - 6468. Is u composite?
False
Let s(k) = -k**3 + 7*k**2 + 50*k - 53. Is s(-25) a prime number?
False
Suppose -6*u + 57883 + 111779 = 0. Is u a composite number?
False
Let h(c) = 5*c**2 - 13*c - 13. Suppose 3*p + 41 = 5*g, 2*p + 13 = -p - 2*g. Is h(p) prime?
False
Suppose d = 5*y + 1176, 21*y - 5745 = -5*d + 19*y. Is d prime?
True
Let u = 263604 - 96605. Is u prime?
False
Suppose -2*h = -2*y - 4*h - 144, 3*y + 2*h + 220 = 0. Let f = y - -239. Is f a composite number?
False
Suppose 0 = 5*y - 0 + 5. Let h(l) = 5*l**3 + 3*l**2 - 4*l + 1. Let a(j) = -j**3 - j**2 + j - 1. Let w(s) = y*h(s) - 4*a(s). Is w(-3) prime?
False
Let p = 8 - 28. Is (-2 + 2764)*(-10)/p composite?
False
Let f be (9/(-9))/(0 - 1). Let n(p) be the third derivative of 7*p**5/3 - p**4/12 + p**3/6 - 4*p**2. Is n(f) a composite number?
False
Let p(o) = -o**2 - 3*o + 2. Suppose -3*x - i = -24, 5*i = x + 5 + 3. Let u be p(x). Let k = -21 - u. Is k composite?
False
Suppose 0 = 2*p - 3*p + 243. Let j = -88 - 46. Let v = j + p. Is v prime?
True
Let j be 3*(1 - -2)/3. Suppose 12 = 4*r + 2*l, j*l = -0 + 6. Is 339/r*6/9 prime?
True
Let a(p) = -2*p**2 + 6*p - 4. Let t be a(2). Suppose t*m = -4*m + 4772. Is m prime?
True
Let i = 16085 - 10346. Is i a prime number?
False
Let w(a) = 58*a**2 - a - 1. Suppose 0 = 9*m + 18. Is w(m) composite?
False
Let d(r) = r**2 + 4*r. Let h be d(2). Suppose h*t + t = 3263. Is t a composite number?
False
Suppose s - 2*j - 27 = 0, 9 = 2*s + 9*j - 4*j. Suppose -20*p + 1119 = -s*p. Is p a prime number?
True
Suppose 3*v - 4*v = 0. Suppose p - 2 = -v. Let a(j) = 63*j**2 + 2*j + 1. Is a(p) prime?
True
Is 5/(50/(-107612))*225/(-90) composite?
False
Let w(r) = -2*r**3 - 2*r**2 + r - 1. Let h be w(-2). Let p = -1 + h. Suppose n + 341 = 4*z - 133, p = -2*n. Is z prime?
False
Let h(w) = 16*w**2 + 15*w - 70. Is h(9) composite?
False
Let f(h) = h**2 + 111. Let z = 16 - 22. Let g be z/(-36) - (-2)/(-12). Is f(g) composite?
True
Let n = 14 + -12. Suppose 0 = 7*h - n*h. Suppose -3*i + 2*i + 77 = h. Is i a composite number?
True
Let u be 1340/(-70) - (-2)/14. Let b(l) = -l**2 - 25*l - 17. Is b(u) a prime number?
True
Suppose 2907 = -7*f + 20960. Is f composite?
False
Let p(s) = s**2 - 4*s**2 + 2*s + 6 + 2*s**2 + 10*s. Let t be p(13). Let n(g) = 6*g**2 + 3*g - 8. Is n(t) a prime