prime number?
False
Suppose -2*g + 10105 = g - 4*o, 16835 = 5*g - 5*o. Suppose -5*f + g = -f - 5*x, 0 = 5*f - 4*x - 4206. Is f a composite number?
True
Let i(c) = -c. Let g(o) = -73*o**2 - 3*o - 5. Let n(d) = -g(d) + 2*i(d). Let f = 1 + -3. Is n(f) a composite number?
True
Suppose 0 = -5*t + 4*r + 8177, -16*t - r + 3263 = -14*t. Is t a composite number?
True
Is (-1)/((-39438)/78868 + 27/54) prime?
True
Let p be ((-3)/(-9))/(4/24). Let y(v) = v**3 + 6*v + 4*v**p + 3 + 3 - 2*v**3 + 0*v**3. Is y(-5) prime?
False
Suppose -10 = -d + t, -5*d = 5*t - 2*t - 10. Suppose 3*r + 14 = h + 377, d*h = 4*r - 484. Is r composite?
True
Suppose -26134 = -11*y + 33750. Suppose -y = -6*v + 2*v. Is v prime?
True
Let o = 90 - -29. Is o composite?
True
Let o = 33 - 31. Suppose v + 4*l = 138, 0 = -2*l + o. Is v composite?
True
Suppose 0 = -6*b + 318 + 4728. Let u = 2952 + b. Is u a prime number?
True
Suppose -4*j + 995 - 139 = -5*f, -5*j + 1057 = -3*f. Is j a prime number?
False
Let q(j) = 219*j**2 - 30*j + 58. Is q(-14) a prime number?
False
Suppose 447 = -5*h - 128. Let m = -9 - h. Suppose -3*s + 304 = 2*q - m, q - 4*s - 227 = 0. Is q composite?
False
Suppose 0 = -14*c - 2719 + 431553. Is c prime?
True
Let k = -1 - -3. Let j(t) = 14*t + 26. Let b be j(-1). Suppose 32 - b = k*q. Is q composite?
True
Let v = -10 - -4. Let o(c) = c**3 - c**2 + c - 4. Let y be o(0). Is v/(-8) + (-1625)/y a composite number?
True
Suppose 0 = 40*b - 47*b + 27699. Is b composite?
True
Let w(c) be the first derivative of -c**4/2 - 5*c**3/3 - 5*c**2/2 - 10*c - 15. Is w(-4) a prime number?
False
Let x = 155 - 108. Suppose -2*c + 340 = -4*t, -c + 4*t + 178 = -0*t. Suppose -q + c - x = 0. Is q prime?
False
Let c be (-2)/4 + (-2770)/(-20). Is c/3*(-15)/(-6) a composite number?
True
Let h(m) = 116*m**3 - m**2 - 15*m - 5. Is h(4) a prime number?
False
Let u(h) = 8*h**2 + h + 2. Let x(y) = y**3 + 3*y**2 - 3*y + 4. Let f be x(-4). Suppose 3*l + 4 - 13 = f. Is u(l) a prime number?
False
Let c(t) = 2*t - 6. Let d be c(3). Suppose d*y - 2*y = 0. Is (7 + -368)/(-1 - y) a prime number?
False
Let m(c) = 25*c**2 + c + 1. Let j = -17 + 19. Is m(j) a prime number?
True
Let c be 6/1 - (6 + -5). Suppose 7723 - 2328 = c*g. Is g a composite number?
True
Let u(s) = 3*s + 2. Let r be u(1). Suppose 0*v = r*v + 3*c - 2075, -c = 0. Suppose t = -4*k + v, 71 = 5*k + 3*t - 453. Is k prime?
True
Is 3/(-36)*-3 + 10965/12 a composite number?
True
Suppose 12 = 4*c, -h + 3*h - c = 86795. Is h a prime number?
True
Suppose 3*l - 14 = -0*l + 2*g, 3*l = -5*g - 14. Let t(v) = 6*v**2 - v - v**2 + 3 - 2*v**l. Is t(4) prime?
True
Let p(a) = 2*a**3 + a**2 - 2*a + 2. Let b be p(-4). Let d = 661 - 356. Let z = b + d. Is z a prime number?
False
Suppose -4*l + 3*v = 21, 2*v + v - 15 = 2*l. Let h be (2/l)/((-6)/18). Is (520/16)/(1/h) a composite number?
True
Suppose -5*z = -5*c + 80, -1 = -c + 3*z + 19. Let y be (1/(-3))/(c/(-252)). Suppose -a = -y*a + 470. Is a composite?
True
Let q(y) = y**2 - 1. Let v(c) = 6*c**2 - 563*c - 6. Let s(i) = 5*q(i) - v(i). Let f(t) be the first derivative of s(t). Is f(0) a composite number?
False
Let h = 88 + -79. Let f(w) = 4*w**2 + 2*w - 11. Is f(h) a prime number?
True
Let f(a) = -2*a**3 - 4*a**2 + 195769. Is f(0) a composite number?
True
Suppose -3*z = 3*t - 1968, 3*z - 2*t - 1968 = -0*z. Is z/4*(-21)/(-12) a prime number?
False
Let v(f) = 36589*f**2 + 4*f - 4. Is v(1) prime?
False
Suppose -9*p + 13*p = 64828. Is p prime?
False
Let x(q) = 571*q**2 + 7*q + 79. Is x(-6) a prime number?
True
Let w(y) = 4*y**2 - 10*y - 17. Let d(v) = v**3 - 3*v**2 - 6*v - 7. Let o be d(5). Is w(o) a composite number?
True
Suppose -3*q - 4*h + 11 = 0, -4*q + h + 5 = -16. Suppose -15 = -q*r + 2*r. Suppose 2*t = 4*k - 20, 5*k + 5*t + r = -0. Is k a composite number?
False
Let t be (0 - (-8)/(-6))*-195. Let k be t/(-1)*(-14)/8. Suppose 4*j - k = 285. Is j prime?
False
Suppose 5*r + 80 = -0*r. Let l(k) be the first derivative of -25*k**2/2 + 11*k + 248. Is l(r) a composite number?
True
Let a = 2052 - 59. Is a prime?
True
Let y be (-7)/(140/2516) + 1/(-5). Suppose -4*q = -h + 199 + 29, 2*q - 3*h = -114. Let s = q - y. Is s composite?
True
Suppose -18*y + 123 = -75. Let j(n) be the third derivative of -n**5/60 + 5*n**4/8 - 7*n**3/6 + n**2. Is j(y) a composite number?
False
Let q(i) = 2*i - 16. Let y be q(8). Suppose y*f + 5*f = 45. Is f composite?
True
Suppose 0 = 7*n - 6*n + 20. Let g = 39 + n. Is g a prime number?
True
Suppose 31 = 8*g - 9. Suppose 5*p + g*r = 2345, 3*p + 320 = -4*r + 1723. Is p a composite number?
True
Let f(i) = 10*i**2 - 9*i - 47. Is f(-10) a composite number?
True
Let x(s) = s**3 + 6*s**2 + 3*s - 6. Let w be x(-5). Let i be ((-345)/12)/(w/(-96)). Suppose -3*p + 0*p - 4*d = -1049, 2*p - i = -5*d. Is p a composite number?
True
Let w(v) = 3697*v + 555. Is w(14) prime?
True
Is 7461/18 + (-15)/10 composite?
True
Let i = -168 - -171. Suppose 5*o - 1112 = 1253. Suppose -i*l + w - 6*w = -o, w = -l + 161. Is l prime?
False
Let d(w) = 31*w**2 + 8*w - 4. Let r be d(-12). Suppose y + 5*q - 3444 = 0, 3*y - r = -2*q + 5981. Suppose y = 3*i - 184. Is i a composite number?
True
Let k be -1 + (-13 - 1)/(-2). Let a(c) = 4*c + 395. Let s be a(0). Suppose t = k*t - s. Is t composite?
False
Suppose 0 = -2*d - 2*y - 0*y + 1236, -d + 2*y + 621 = 0. Suppose 5*j = -204 + d. Is j a composite number?
False
Let p(x) = -2*x + 10. Let u be p(-5). Is u/(-15)*-3 + 10 prime?
False
Let v = -4 - -3. Let r be v/(-3) - (-2233)/(-21). Is 3*(r/3)/(-2) composite?
False
Let w = -30 - -56. Let x = 29 - w. Is (379 - x) + 1/1 composite?
True
Let p(q) = -5 - 4*q**2 - 3*q - q**2 - q**2 + 9*q. Let c be p(4). Let l = c - -328. Is l prime?
True
Let i be ((-8)/(-14))/(4/(-14)). Is (-3)/i + 1079/2 a composite number?
False
Suppose 0*d - 12158 = -3*r + 4*d, 4 = 4*d. Is r a composite number?
True
Let k(w) = -w**2 + 6*w - 2. Let g be k(4). Let c be (-2)/g + (-18692)/(-6). Suppose c = 5*l - 0*l. Is l a composite number?
True
Is (-8)/12 - (-1)/3*9755 composite?
False
Let t(w) = w**3 - w**2 + w + 1. Let s(m) = -142*m**3 - 2*m**2 + 2*m + 3. Let y(v) = -s(v) + 3*t(v). Is y(1) a composite number?
True
Let s(x) = -156*x + 1. Suppose -2*u + 4*c = -u + 3, 0 = 5*u + 2*c + 15. Is s(u) composite?
True
Suppose -8*b + 602 = 6*b. Suppose -47*q + b*q = -844. Is q prime?
True
Let a(j) = -1 + 107*j**3 - j**2 + 6*j**3 + 158*j**3 + 2*j. Let p be a(2). Suppose -2261 = -4*o - 5*f, -2*f = -4*o + p + 59. Is o prime?
False
Suppose -9 = 32*v - 35*v. Suppose v*p = -12, 3*p + p - 994 = -5*z. Is z a prime number?
False
Let o = 7 - -6. Suppose -m - 52 = -5*x - 5*m, 0 = -5*x + m + 37. Suppose -x*a - 1285 = -o*a. Is a a prime number?
True
Let d be (5/(-15))/(3/(-27)). Suppose 16 = 3*x + 4*u, 0 = -5*x + 5*u - d - 17. Is (-41 + x)*(-9 - -7) a composite number?
True
Suppose -3*p = -9, 11*p - 8*p - 89731 = -2*x. Is x composite?
True
Let s be (-104)/18 - 4/18. Let o be (-8)/s*2*105. Suppose -g = -2*m - 4*g + 111, o = 5*m + 5*g. Is m a composite number?
True
Let t(b) = -b - 1. Let u(v) = -13*v + 20. Let j(k) = -6*t(k) - 2*u(k). Is j(15) prime?
False
Suppose 0*c - 363 = 3*y - 3*c, -y + 5*c - 109 = 0. Let u(h) = -2*h - 11. Let f be u(14). Let k = f - y. Is k prime?
False
Suppose c - 5*x - 8995 = 8763, -20 = -4*x. Is c a composite number?
False
Suppose 79452 = 40*w - 28*w. Is w prime?
False
Let h(k) = -904*k + 5. Let j(m) = 4521*m - 26. Let i(t) = -11*h(t) - 2*j(t). Is i(5) composite?
False
Let y = 201 + -78. Is y - (-7 + 2 + 1) composite?
False
Let c = -12 - -13. Is (-558)/(-6) - (-1 - c) prime?
False
Let n(f) = 1140*f**3 - 4*f**2 - 9*f + 20. Is n(3) composite?
True
Let h(m) be the second derivative of m**5/20 + 5*m**4/6 - 11*m**3/6 + 11*m**2/2 - 17*m. Is h(-9) composite?
False
Let n(v) be the second derivative of v**5/20 + v**4/3 - 13*v**3/6 - 3*v**2/2 - v. Is n(9) prime?
False
Let n(z) = 1253*z + 6. Is n(1) a prime number?
True
Let y be 8/(-48) - ((-259)/(-6))/(-7). Is (7 - y)/((-3)/(-159)) a composite number?
False
Is 10*(-8964)/(-9) - -7 a prime number?
True
Let l(r) = r**3 + 25*r**2 - 3. Is l(-9) prime?
False
Let f(r) = 5*r - 37. Let c be f(16). Let h = c + -12. Is h composite?
False
Let s(z) = z**2 + 14*z - 26. Let t be s(-16). Let y(f) = 6*f**3 - 11*f**2 - f + 5. Is y(t) composite?
True
