(i) be the third derivative of 15*i**4/8 - 41*i**3/6 + 6*i**2. Is w(8) composite?
True
Suppose -3*h + 12*c = 17*c - 18128, 12107 = 2*h - c. Is h composite?
True
Let b be 5 - (-8)/20*-5. Suppose f - 19 = -b*i, 3*f + 7*i = 2*i + 37. Suppose -f*d + 159 = -d. Is d a composite number?
False
Let p(s) = -29*s + 2. Let u = -18 - -25. Suppose -5*x - u - 8 = 0. Is p(x) composite?
False
Is ((-2633351)/34 - 10)*(-4)/6 a prime number?
False
Let q be 0/((-1)/(1/(-2))). Suppose 2*y + y - 294 = q. Suppose 0 = 2*s + 6 - y. Is s prime?
False
Let n(y) = -y - 1. Let g(c) = -120*c**2 + 10*c - 11. Let x(q) = -g(q) - 3*n(q). Is x(-5) a prime number?
True
Let a = 4429 - 1170. Is a prime?
True
Suppose 0 = 4*k + 3*n - 23, -3*k - 2*n = -12 - 4. Let t(a) = 2*a - 2*a - k*a + 3 + 0*a + 4*a**2. Is t(2) composite?
True
Suppose 0 = 4*c - o - 44, -2*o = -3*c + 54 - 16. Suppose 4*j - 5*b = -13, 3*j - 2*b + c = 2. Is j + 5/(5/57) a composite number?
True
Let x(l) be the first derivative of 23*l**3/3 + 3*l**2/2 - 3*l + 4. Is x(6) a composite number?
True
Let j = -17340 - -27473. Is j composite?
False
Let q be 1 + -1 + -3 + 0. Let j be q/4*(-32)/(-8). Is (0 + -2 - j) + 66 a composite number?
False
Suppose 2*i + 8021 - 27906 = -3*t, -4*i + 39730 = -2*t. Is i a prime number?
False
Is 7621 - (4 + (-1 - (4 + -1))) a composite number?
False
Let f = -53 + 184. Is f composite?
False
Let r(k) = 12*k**2 + 3*k + 5. Let f(d) = d**2 - 6*d + 6. Let z be f(6). Suppose -48 = -5*t + 2*x, t - z = -x - 2. Is r(t) prime?
True
Let i = -5448 + 13601. Is i composite?
True
Let i = 760 + 1897. Is i prime?
True
Let l(y) be the first derivative of -y**4/4 - 2*y**3/3 - 11*y**2/2 + 7*y - 3. Let k(a) = a**3 + a**2 + 10*a - 7. Let x(i) = 3*k(i) + 2*l(i). Is x(5) composite?
True
Let o(r) = -34*r**2 + 2*r + 1. Let n(d) = -35*d**2 + 2*d + 2. Let b(l) = -2*n(l) + 3*o(l). Let y be b(2). Is 3 + (-1 - 0 - y) a composite number?
False
Suppose -4*l - l - 7065 = 0. Let n = -1000 - l. Is n prime?
False
Let m(a) = a**2 - 5*a - 14. Let z be m(7). Suppose k + z*k + 18 = 0. Let g = 65 - k. Is g composite?
False
Suppose -976 = m - 5*a - 4067, -4*m + 4*a = -12396. Is m a composite number?
True
Let w(d) = 2*d**3 - d**2 + 2*d. Let f be w(2). Suppose f*n - 9348 = 14*n. Let y = n + -2623. Is y a prime number?
False
Let p(l) be the first derivative of 2*l**3/3 - 2*l**2 + 3*l - 3. Let k be p(2). Suppose 185 = m + 2*z, -2*m - 4*z = -k*m + 185. Is m a composite number?
True
Suppose -5*s = 4*w - s - 32, s - 26 = -4*w. Is -2*((-1779)/w + 3) prime?
True
Let j(w) = -16*w**3 + w**2 + 1. Let f be j(1). Is (-13329)/(-63) - (-8)/f prime?
True
Suppose 16*z - 6548 = 12*z. Is z composite?
False
Let u be (1 + -155)*(-21)/(-42). Let y be (125 - 2) + 0 + 1. Let a = u + y. Is a a composite number?
False
Suppose 4 = w, -5*n + 4*w + 1909 = -0*w. Suppose -i - 5 = 0, 5*i + n = k - 7555. Is k prime?
False
Let p(j) = 296*j**2 - 7*j + 28. Is p(5) a composite number?
False
Let s be (-3)/24 + (-485)/(-40). Suppose -4*t + s*t = 13864. Is t a composite number?
False
Let v = 26 - 24. Suppose 2*l - 6 = r, 4*r - v*l = -0*l. Is (396 - 5) + -4 + r a prime number?
True
Let v(o) be the second derivative of 4*o**5/15 - 5*o**4/24 + o**3/3 + o**2/2 - 8*o. Let a(c) be the first derivative of v(c). Is a(-7) a prime number?
True
Let n = -41447 - -76804. Is n a composite number?
True
Suppose m + m = 2. Let r be m + -4 - 4*-21. Let n = -48 + r. Is n prime?
False
Suppose 3*o = 5*o. Let a = 8 - o. Is 2 + 84/a*2 a composite number?
False
Suppose 5*v + 41760 = 257875. Is v prime?
True
Suppose -5*i - 3*m = -6995, 0*i + 4*m = -4*i + 5596. Is i composite?
False
Is (40/(-4))/((-16)/34792) composite?
True
Suppose -9*c + 106 = -20. Suppose 19*y - 725 = c*y. Is y a prime number?
False
Let r = 8545 - 3348. Is r a prime number?
True
Let w(d) = 2111*d**3 - 2*d**2 - 5*d + 7. Is w(2) a prime number?
False
Let r = 142 + -374. Let g = -123 - r. Is g composite?
False
Suppose 18*x - 321241 + 6835 = 0. Is x prime?
True
Suppose 0 = 2*a - 4*k + 564, 7*k - 4*k + 1462 = -5*a. Let t = 489 + a. Is t a prime number?
True
Let n = -38 + 42. Is 1142/(-4)*2/((-4)/n) prime?
True
Let q(f) = 2336*f**3 - f**2 + 7*f - 21. Is q(2) a prime number?
False
Is (4/5)/((-52)/130) + 21 composite?
False
Let q = 108 + 41. Let x = q + -90. Let i = x + -37. Is i a composite number?
True
Suppose -k - 21005 = -5*n, 3*k + 852 + 15952 = 4*n. Is n a composite number?
False
Is 134/(-4)*226*(-35)/35 a prime number?
False
Is 2935/5*(-2)/(-2) a composite number?
False
Let q be 1/2 + (-5)/10. Suppose q = -5*m + 4*v + 85, -4*v + 7*v + 15 = 0. Suppose m*i - 8*i = 385. Is i prime?
False
Let s(x) = -236*x - 9. Let d = -60 - -55. Is s(d) composite?
False
Let s be 0/(-1 - 1)*-1. Suppose -3*g + 491 - 74 = s. Is g a composite number?
False
Is (-2)/((-1185448)/(-169352) - 7) a prime number?
True
Let o(t) = 5*t**3 - 7*t**2 - 6*t - 2. Let n(f) = -3*f**3 + 3*f**2 + 3*f + 1. Let i(k) = 13*n(k) + 6*o(k). Is i(-4) a composite number?
True
Suppose 0 = 30*z - 25*z - 10. Suppose -d - 2248 = -0*c - c, -z*d - 10 = 0. Is c a prime number?
True
Let t = 1388 + -499. Suppose 16*c - 9*c = t. Is c a prime number?
True
Let v(m) = 1508*m - 2. Let i(p) = 377*p - 1. Let g(c) = -9*i(c) + 2*v(c). Is g(-4) composite?
True
Let z = -58 - 1022. Let x = z + 1901. Is x composite?
False
Let t = -14 + 14. Is (-2846 + t)/(20/(-13 - -3)) a prime number?
True
Let s be 2532*(1 + 8/(-12)). Suppose -20*o - s = -24*o. Is o a prime number?
True
Suppose -1727 = 6*a - 5*a. Let u = 2898 + a. Is u prime?
True
Is 6 - (-11 + 12)*-8635 a prime number?
True
Suppose -47398 = -20*r + 7*r. Is r a composite number?
True
Is ((-2)/(-4))/(2 + 308907/(-154458)) prime?
True
Is (-4 + (2 - -6) - -949)*1 prime?
True
Suppose -2*l + 12*s - 10*s + 9818 = 0, 3*s = 5*l - 24541. Is l a composite number?
True
Let i(r) = -7*r + 4. Let s be i(-5). Let a be ((3 - 2) + 10)*s. Let h = -238 + a. Is h prime?
True
Let a(p) = 175*p - 69. Let z be a(10). Suppose c = -3*i - i + z, 4*i - 6748 = -4*c. Is c composite?
True
Let y = -2478 - -6299. Is y a composite number?
False
Let t = -12719 + 27790. Is t a composite number?
True
Let a(z) = -2*z + 2. Let c be a(-9). Let l be 1/(-2*5/c). Let r = 20 - l. Is r a composite number?
True
Is (-5)/40 - (430116/(-32) - 0) prime?
True
Let k(t) be the third derivative of t**5/12 - t**4/3 + 5*t**3/2 + 55*t**2. Let y(g) = -g**2 + 6*g. Let r be y(4). Is k(r) a composite number?
False
Let t(v) = -12*v**3 + 12*v**2 + 4*v + 13. Let u(q) = 11*q**3 - 11*q**2 - 4*q - 12. Let m(p) = -5*t(p) - 6*u(p). Is m(-5) a composite number?
False
Is 194*(1771/14)/23 a composite number?
True
Suppose 0 = -2*x - 5*g - 18, -5*g - 14 = 5*x - 4*x. Let i be 1/(x - -3) + 7. Is 1*208 - (i - 9) prime?
True
Let w(n) = 3*n - 4. Let p be w(3). Let x(h) = -6 - 23*h**3 - 1 + 31*h**3. Is x(p) composite?
True
Suppose 294 = -7*v + 2*v - h, -v - 57 = 2*h. Let j = 322 + v. Is j prime?
True
Let n(s) = 2*s**3 - 30*s**2 + 65*s + 4. Is n(19) composite?
False
Let w(m) = m**3 - 2*m**2 - 2*m. Let d be w(3). Suppose -2*y + 4960 = d*y. Let k = -573 + y. Is k prime?
True
Let f(b) = 12*b**2 - 15*b - 20. Is f(-9) composite?
False
Suppose 2*l + 0*g - g - 7 = 0, 0 = 4*l + g - 5. Suppose 5*h = 5*k + 40, -l*h + 28 = 3*k - 2*k. Is (-1 - h/(-3)) + 344 a composite number?
False
Is -1 + (-115170)/(-4) - 65/26 a composite number?
False
Suppose 0 = -l + 2*l - 2, -2 = -2*i - 5*l. Let u be ((-2)/i)/(15/90). Is u + 0 - (-387 - -1) a composite number?
False
Let z = 7327 + -4106. Is z a prime number?
True
Is 144/(-32) + 5 + (-5853)/(-2) a prime number?
True
Is (2/((-4)/3))/(123/(-932258)) prime?
True
Suppose -116266 = -76*o + 441650. Is o a composite number?
True
Let l(d) = d**3 - 3*d**2 + 5*d + 5. Let x be l(5). Let k = 51 + x. Is k a prime number?
True
Let l = -26 - -14. Let b(s) = s**2 + 10*s - 18. Is b(l) a prime number?
False
Let c = 6198 + 482. Suppose 4*o - t + 5344 = 0, -5*o + t - 4*t = c. Let n = -701 - o. Is n composite?
True
Let i(t) = 4*t**2 + 4*t - 7. Let z be i(6). Suppose 2 = 3*p + z. Let u = p - -90. Is u a prime number?
True
Suppose 20 - 8 = 4*f. Suppose -5*v - m = -2*m - 1927, -2*v + f*m + 776 = 0. Suppose -3*a = 2*a - v. Is a composite?
True
Let d = 9 + 1. Is d*((-34)/(-4) + -3) composite?
True
Suppose -5*n + 16 = -14. Suppose