. Is n composite?
False
Suppose 3*m - 6614 = 2*n - 254457, -3*m + 123944 = n. Is n composite?
True
Suppose -4*k + 5*u = 18, -5*k + u - 6 = 6. Let c be k*(-1 - (-209)/(-2)). Is (0 + c/(-3))*-3 a prime number?
True
Suppose 0 = 5*g + 4*s - 13029, s - 10428 = -4*g - s. Is g prime?
True
Let o = 15 - 13. Suppose 2*j = -2*k + 6, -2*j + 5*j - 8 = -o*k. Is -1 + -7*-16*k a composite number?
True
Let a(c) = c**2 + 6*c - 10. Let d be a(-7). Let z be d/(-2)*144/54. Suppose -1015 = -5*f - 0*s - 4*s, 812 = z*f - 4*s. Is f prime?
False
Let h(u) = -554*u + 11. Let y be h(4). Let o = y + 3782. Is o prime?
False
Let k(m) be the third derivative of m**5/60 - 9*m**4/8 + 2*m**3/3 - 13*m**2. Is k(-11) a prime number?
False
Let a(v) = -19*v + 78. Is a(-11) a composite number?
True
Let d(p) = -p**2 + 11*p - 4. Let g be d(8). Suppose -2 = -2*x - g. Is (57/x)/((-2)/6) a prime number?
True
Suppose -9*p + 46 = 10. Suppose -p*f - 1189 = -h, -5*h + 3600 = -2*h - f. Is h a prime number?
True
Let w(x) = -171*x - 14. Let l(v) = v + 1. Let b(i) = 5*l(i) + w(i). Is b(-2) composite?
True
Let x = -593 + 856. Is x prime?
True
Suppose -5*n + 12 = -n - 3*g, -2*n + g + 4 = 0. Suppose -4*w + 63 = 4*u - 5*u, 5*w + 3*u = 66. Suppose n = -3*x - w, 0 = r + x - 3*x - 13. Is r prime?
True
Is 9382*(-2)/(-16)*4 a composite number?
False
Let z = 347 - -396. Is z composite?
False
Let p be 15/(-45) - 17/3. Let r(w) = -2*w**3 + 6*w**2 - 6*w + 3. Let s be r(p). Let j = s + -461. Is j prime?
False
Let t = 1231 - 1198. Is t a composite number?
True
Suppose -3*b + t + 10 = -1, -3*b + 5*t = -31. Suppose -5*w + 3*w = -b. Is (-3 - -3)/w + 497 a prime number?
False
Let i = -12908 - -22349. Suppose 0 = a + g - 2364, -6*a + i = -2*a - g. Is a a composite number?
True
Let w(o) be the second derivative of 7*o - 1/2*o**2 - 1/6*o**3 + 0 - 1/5*o**5 - 1/4*o**4. Is w(-3) a composite number?
False
Suppose 0 = -4*x + 5*m + 45, 16 = 3*x - 3*m - 14. Let t(a) = -a - 3. Let f be t(x). Is f*((-42)/8 - 2) a prime number?
False
Suppose 5*z - 5*k = z + 67, -3*k = 9. Let f = 28 - z. Is -4 + f/3 - -14 a composite number?
True
Let r(c) be the third derivative of 1/20*c**5 - c**3 - 1/12*c**4 + 0 + 0*c + 3*c**2. Is r(7) a composite number?
False
Let c(l) = -5*l - 13 + 10*l - 2*l - 5*l. Let j be c(-11). Is 18/j + (182 - -1) prime?
False
Let y be (-4)/(-10) + (-14)/10. Let d = -725 + 723. Is y + 25*16 + d composite?
False
Let q = -23 + 24. Is (286/(-8))/(q/(-4)) a prime number?
False
Let a(q) = 25*q + 23. Suppose -2*g = -12 - 4. Is a(g) prime?
True
Let v(i) = -4*i**2 + 6*i + 9. Let f be v(-6). Let p(d) = 1444*d + 171. Let o(s) = 17*s + 2. Let k(y) = f*o(y) + 2*p(y). Is k(-3) composite?
True
Let r = 54721 + -36602. Is r composite?
False
Let s = -1 - -4. Let y be (2/s)/((-4)/(-30)). Suppose l + 318 = 4*p, y*l + 9 = -1. Is p a composite number?
False
Let l = 14 + -12. Suppose 0 = l*k, 3*w - 16 = -w + 3*k. Suppose -c - w = 0, -n + 5*c + 121 = 2*c. Is n prime?
True
Let g = -4 - -11. Suppose 4*i = g*i - 6. Suppose -i*m + 635 = 3*m. Is m a composite number?
False
Suppose 0 = -8*v + 87080 - 5808. Is v a prime number?
True
Suppose 0 = 4*m - 2 - 6. Suppose -3*h + 4*k = 18, -m*h - 5*k + 13 = -h. Let c(z) = -19*z**3 + 3*z**2 + 3*z + 3. Is c(h) a composite number?
True
Let a(c) = 1236*c**2 + 8*c + 3. Is a(-2) a composite number?
False
Suppose 0 = -3*d - 4*a + 4486 + 12255, 0 = 2*d - 5*a - 11176. Is d a composite number?
True
Let r be 5754/(-4)*(71 + -3). Is (-4)/22 - r/154 prime?
False
Let a = -3 - -6. Suppose a*m - 6*m = 0. Suppose m = -5*b + 2*b + 213. Is b a prime number?
True
Let p(o) be the first derivative of 91*o**2/2 - 3*o + 6. Suppose 6 = 4*m + h + 3, 3*m + h - 1 = 0. Is p(m) a prime number?
True
Suppose 3*m - 3*j = 870, -3*m + 0*j + 870 = 2*j. Suppose -l = 1 - 178. Let v = m - l. Is v a prime number?
True
Let l(u) = 398*u**3 + 4*u**2 - 8*u + 19. Is l(4) prime?
True
Suppose -12*f = -7*f - 30. Suppose -l - 6*p + 2*p = -16, 2*p - f = 0. Suppose -l*m + 292 + 360 = 0. Is m a composite number?
False
Suppose 106514 = 19*o - 65607. Is o prime?
True
Let b(g) = 557*g**2 + g + 1. Let c(a) be the first derivative of -a**4/4 - 11*a**3/3 - 11*a**2/2 - 11*a - 3. Let n be c(-10). Is b(n) composite?
False
Let h(y) = 2*y**3 + 19*y**2 - 34*y + 38. Is h(13) composite?
True
Let w(i) = -47*i**3 - 5*i**2 - 16*i - 23. Is w(-8) composite?
True
Let p = 0 + -40. Let c be ((-9)/(-6))/((-6)/p). Suppose -3*d + 5*d + c = 0, -5*h + 2240 = d. Is h a prime number?
True
Let z(g) = 20 + 18 - 25 - 16*g. Is z(-24) composite?
False
Let h = -5342 - -11349. Is h composite?
False
Let k be 6/5*220/2. Suppose -21*b + 7*b + 252 = 0. Suppose b*p - 14*p = k. Is p composite?
True
Suppose -3*a + 70 = -2*r, 4*a = -a - r + 121. Is -33*(-3)/2*a/36 composite?
True
Let t(c) = c**3 - 26*c**2 + 21*c + 97. Is t(30) a composite number?
False
Let b = 37 - -6. Suppose 3*x = -b + 4054. Is x composite?
True
Suppose -2*g = -4*g, -2*q + g + 6 = 0. Let a(n) = n**2 - 1. Let z(k) = -4*k**3 + 3*k**2 + 2*k + 2. Let j(s) = 2*a(s) - z(s). Is j(q) composite?
False
Let z(u) = -14*u + 5. Let p be z(2). Let j = 15 + p. Is ((-257)/2)/(4/j) a prime number?
True
Let o(l) = l**3 + 13*l**2 + 12*l - 9. Let y be o(-12). Is y/(-72) + 15/8 - -8283 composite?
True
Suppose -18*g - 331 = -6793. Is g a prime number?
True
Let o(q) = -5*q - 4. Let s(g) be the third derivative of g**4/4 + 5*g**3/6 - 3*g**2. Let x(b) = -2*o(b) - 3*s(b). Is x(-4) a composite number?
True
Let b be -680*((-85)/75)/(1/6). Suppose 10*y - 1686 - b = 0. Is y composite?
False
Suppose 53*h - 64857 - 136172 = 0. Is h a composite number?
False
Let a(p) = 15*p + 210. Let g be a(-14). Suppose 0 = 4*t - 2*t - 714. Suppose g = -0*x - 3*x + t. Is x a composite number?
True
Let z(k) = 5*k - 18. Let q be z(27). Let a = 32 + q. Is a prime?
True
Let d = -2299 - -744. Let r = 2434 + d. Is r composite?
True
Suppose 4*o - 3*i = 2*o + 30245, 75606 = 5*o - i. Is o prime?
True
Suppose -2*d - d + 18 = b, 0 = -4*b - d + 28. Let u(a) = a**3 - 4*a**2 - 6*a + 7. Is u(b) prime?
True
Let p be 39/2 + 2/4. Let m = 689 + -434. Suppose -p = -5*y + m. Is y composite?
True
Let g be (28 + -16)*1*5. Let w be ((-6)/(-9))/((-8)/g). Is 167*4 - 5/w prime?
False
Suppose 0 = 2*l + 4*k + 4304, 5*l + 10721 = 3*k - 0*k. Let a = l + 1220. Let p = -303 - a. Is p prime?
False
Let w(p) = 437*p + 9. Let c be w(3). Suppose -1654 = -5*h - j, -4*j = 5*h - h - c. Is h prime?
True
Suppose 45*p = 1365851 + 3904. Is p a composite number?
True
Let m(p) = 132*p**2 + 9*p - 7. Let f be m(3). Let g = f - 637. Is g prime?
True
Suppose 5*w + 4*p - 71 = -0*w, 4*p - 5 = w. Suppose w*i = 3*i + 7096. Is i a composite number?
False
Let l(b) = -26648*b + 39. Is l(-1) a composite number?
False
Let g = -53 - -58. Suppose -6525 - 15940 = -g*a. Is a prime?
True
Let h(p) = 796*p - 7. Let u be h(3). Suppose -q - 1757 = -3*n + 4*q, 4*n - u = -q. Suppose -4*j - 554 = -2*c, 4*j - n = -4*c + 2*c. Is c a composite number?
True
Let b(m) be the third derivative of m**5/5 + m**4/8 + 2*m**3/3 - 26*m**2. Let f = 18 - 13. Is b(f) prime?
False
Let o(a) = 2*a**3 - 22*a**2 + 15*a - 52. Let q be o(21). Suppose 8375 = 14*l - q. Is l a prime number?
False
Is 4753 + (-2)/(-10) + 126/(-30) a composite number?
True
Let d = -6 + 19. Let s = 15 - d. Suppose -s*f - 3*r = -2*r - 421, 2*r + 424 = 2*f. Is f prime?
True
Let m = -27 + 37. Is (-4404)/(-15) + (-6)/m composite?
False
Let c = -2 - -14. Let x(i) = 81*i + 15. Let r be x(c). Suppose -4*g + 3*g + 5 = 0, -3*g = -3*l + r. Is l a composite number?
True
Let b(g) = g**3 - 18*g**2 + 14*g + 14. Let z be 6/4*152/12. Suppose -6*m + 7*m - z = 0. Is b(m) a composite number?
False
Let p = 1 - 4. Is (p - (0/1 - 487)) + 1 composite?
True
Let z be 196 + (2 - (-8)/(-2)). Let k = z - 31. Is k composite?
False
Suppose 0 = 5*w + 2404 - 604. Let u = w + 563. Is u a prime number?
False
Let m be (-4)/20*3*-5. Suppose -m*f = -2*f - 223. Suppose -4*g + 5*g = f. Is g a prime number?
True
Let c(h) = 6 - 1 + 12*h**2 - 3. Let n be c(2). Let d = -35 + n. Is d composite?
True
Let t be ((-4)/3)/(1/3). Let g(v) be the second derivative of -53*v**3/6 + v**2 + v + 10. Is g(t) prime?
False
Suppose 0 = 3*j + 9, -7*s + 6*s - j = -2768. Is s composite?
True
Let q(m) = m**2 - 4*m + 2. Let h be q(4). Suppose h*c + 25 = -5*