
Let s(y) be the third derivative of 127*y**8/6720 - y**7/2520 + y**6/720 - 5*y**4/24 - 5*y**2. Let h(z) be the second derivative of s(z). Is h(1) composite?
False
Suppose 2*k = 15 + 17. Suppose -2*u - k = 3*h, 2*u + 0*h + 5*h = -24. Is (u + -35)/((-3)/15) a composite number?
True
Suppose 0*y - 29 = -2*y - r, 0 = 2*y + 2*r - 28. Is ((-2435)/y)/((-5)/(-3) - 2) a composite number?
False
Let v(q) = 315*q - 166. Is v(5) a prime number?
True
Let x(d) be the second derivative of d**4/3 + 5*d**3/6 - d**2 - d. Let t(j) = 8*j - 7. Let b be t(0). Is x(b) a prime number?
False
Let j be -131 + -7 + (2 - -1). Is 5692*j/(-72)*(-2)/(-5) composite?
True
Suppose -73*w + 79*w = 142356. Is w composite?
True
Suppose p = -2, -q + 8*p + 277 = 3*p. Let g = 152 + q. Is g prime?
True
Suppose -104 = -3*h - 4*i + 1069, -2*h - 5*i = -775. Let q be (3/(-4))/(2/(-8)). Suppose h + 274 = q*t. Is t composite?
False
Let f(m) be the second derivative of 54*m**3 + m**2/2 + 3*m. Let x be f(1). Suppose y - 6*y = -x. Is y prime?
False
Suppose 19*w - 16*w = 0. Suppose u - 57 - 310 = w. Is u a composite number?
False
Let t = 62 + -52. Is 2*(3809/t + (-30)/75) a prime number?
True
Let n = -28 - -49. Suppose 2*w - n = -3*m + 5*w, -4*m + 12 = 4*w. Suppose 33 = m*p - 2*p. Is p composite?
False
Suppose 33*d - 9614 = -3*f + 34*d, 2*f + d = 6401. Is f a composite number?
False
Suppose 0 = -2*k - 3*k - 4*n + 90083, 5*k - 4*n = 90107. Is k a prime number?
False
Let t(r) = 0 + 0 - 2 - 2530*r**2 + 2555*r**2. Let n = 9 + -6. Is t(n) composite?
False
Suppose -3*k - 2*a = -245, -3*k - a = 2*k - 406. Let j = 574 + k. Is j composite?
True
Suppose -14 = -2*n - 12. Let p be 2 + 1 + n + 0. Suppose 0 = -2*f + p*o + 742, o - 6 = -3. Is f prime?
False
Let a(q) = 81*q**2 - 4*q + 5. Is a(2) composite?
True
Suppose 4*l = 3*l + 3*u + 14, -2*l = u - 7. Let y(v) be the third derivative of v**5/60 + v**4/4 + 2*v**3/3 - 13*v**2. Is y(l) composite?
False
Let r(k) = k - 11. Let v be r(7). Is 110/v*(2 - 4) a prime number?
False
Let z = 1219 - -148. Is z a composite number?
False
Is -2 - 4/(-8)*1478 a prime number?
False
Let j be (16/(-6))/((-12)/1638). Let n = -173 + j. Is n prime?
True
Let k = 4928 + -2869. Is k a prime number?
False
Let p = 1139 - -6122. Is p a composite number?
True
Suppose 4*i - 10 = -w, i = -2*w - 0*w + 27. Let x(c) = 1 + 66*c + 26*c - w*c + 0. Is x(1) a prime number?
True
Let l = 1222 + -591. Is l composite?
False
Let x(r) = -22*r**3 + 2*r**2 + r. Let c be (20/4)/(1/1). Suppose c*h = h - 4. Is x(h) a composite number?
False
Let h(y) be the second derivative of -5*y - 1/20*y**5 - 2/3*y**3 + 0 + 13/12*y**4 - 7/2*y**2. Is h(11) a composite number?
False
Let l = -45 + 48. Suppose 1250 - 3445 = -5*o. Suppose y - l*y + 3*c + 433 = 0, c = 2*y - o. Is y a composite number?
True
Let v(x) be the second derivative of -19/2*x**2 - 8*x + 1/2*x**3 + 0 + 1/6*x**4. Is v(8) a composite number?
True
Let w(y) = y - 3. Let h be w(4). Let v be (h - -3) + (11 - 11). Suppose -v*a + 4361 = -1875. Is a a composite number?
False
Let f be (-2 - -1) + -2 + (1228 - -3). Suppose 3*s - f = -s. Is s a composite number?
False
Suppose 3*k + 7769 = -2*d + 1687, 3*k + 6088 = -5*d. Let h = 2879 + k. Is h prime?
True
Is (18 + -10)*(-1)/(-8) - -798 prime?
False
Let r(c) = -45*c + 3. Let z be r(4). Let s = -328 - z. Let b = 296 + s. Is b prime?
False
Let m(k) be the second derivative of -3*k**5/20 - k**4/12 + 7*k**3/6 + 4*k**2 + 15*k. Is m(-5) prime?
False
Suppose 2*q = k - 1573, -k - 10*q + 1553 = -8*q. Is k composite?
True
Suppose -3*v = v. Suppose 4*c + v*b = 2*b + 88, 4*b + 84 = 4*c. Is c a prime number?
True
Let v = -31 - 5. Is (8/(-10))/(v/3330) prime?
False
Let c be (-4252)/(-6)*(5 + 39/(-6)). Is 0 + -5 - (c + 3) a prime number?
False
Let b be (7509*12/(-18))/(-1). Suppose 0*z = -z + b. Is z a prime number?
False
Let f(x) = -x**3 - x**2 - x + 7283. Is f(0) composite?
False
Let p = 2308 + 1077. Suppose 2014 = 3*m - t, m + 4*m = -4*t + p. Is m a prime number?
True
Is (-3 - 3) + 2300 + -1 prime?
True
Let q = -47544 - -165107. Is q prime?
True
Suppose -4*y - r + 4*r = -8686, -5*y + 4*r = -10857. Is y a prime number?
False
Suppose -3*u + 17 = 4*h, 2*u - 4*h + 5 = u. Suppose 0 = -u*q - 2*q + 25275. Is (3/9)/(5/q) prime?
True
Let a = 12 + -10. Let c be a*(-4)/((-12)/3). Let u(j) = 59*j**3 - 2*j**2 + j + 1. Is u(c) a composite number?
False
Let x = 7 + -5. Suppose -8 = 3*c - x. Is (-607)/c + 1/(-2) a prime number?
False
Suppose 0 = 8*p - 13689 - 6295. Is p prime?
False
Suppose -w = 5*c + 218, 2*w - 4*w = -4. Let r be 1/(-6)*2 - (-229)/3. Is c*(r/(-16) + 4) prime?
False
Suppose -6*k + k = -15, 3*a + 4*k - 12 = 0. Is a + 1*6211 - (-14 - -14) composite?
False
Let f be (-2)/(-3) - (-16)/(-6). Let q be 818 + f + (-3 - -5). Suppose 5*u = 2*n + q + 1529, -4 = 4*n. Is u prime?
False
Suppose 2*p + p - 3*o - 23496 = 0, 31301 = 4*p + 5*o. Is p prime?
True
Let o be 6*(11/3 + -3). Suppose -3*p + 3*d + 1314 = 0, -2*d - 1749 = -o*p + d. Suppose 2*g - 425 = -3*x, x = -2*g - 4*x + p. Is g a prime number?
False
Let n(z) = -8120*z**3 + 2*z**2 + 2*z + 1. Is n(-1) a prime number?
False
Let y(k) = -k - 15. Let r be y(-15). Suppose r*f + 869 = 3*f - 2*w, 0 = 3*w - 15. Is f prime?
True
Suppose -3*g = -9 - 0. Let m be 0 + (339/1)/g. Let w = m - -146. Is w a composite number?
True
Suppose -6*r - 3*r = 0. Suppose x + 3*k - 130 = r, -240 = -0*x - 2*x - 2*k. Is x prime?
False
Let m(j) = -7*j**2 - 4*j + 3. Let t be m(2). Let c = t - -35. Suppose c*v = -v - 2*q + 1471, 0 = -4*q + 8. Is v prime?
False
Suppose -242 = 5*r - 897. Is r a composite number?
False
Let f be (-1300)/6*(-4 - -1). Let a = -261 + f. Let o = 682 - a. Is o a prime number?
True
Let h(q) be the third derivative of 59*q**7/5040 + q**6/30 + 11*q**5/60 + 3*q**2. Let p(m) be the third derivative of h(m). Is p(11) a composite number?
False
Let v(n) = -n + 2603. Let s(f) = -1302. Let u(k) = 5*s(k) + 3*v(k). Is u(0) a prime number?
False
Let f = -60 + 54. Is ((-3)/(f/(-2)))/((-7)/3787) a composite number?
False
Suppose -2*l - 27*a + 31*a + 148406 = 0, 296779 = 4*l + 3*a. Is l prime?
True
Suppose 40918 = 19*w - 52353. Is w prime?
True
Let v = -2788 + 8645. Is v prime?
True
Let l(g) = -22*g**3 - 6*g**2 - 6*g - 24. Let n be l(-7). Suppose -z = 2*w + 3*z - n, -w - 5*z = -3626. Is w prime?
False
Let s(m) = -m**3 + 4*m**2 - m + 5. Let t be s(6). Let d = 120 + t. Is d a composite number?
False
Let f(d) = 2*d - 20*d**3 + d + d**2 - 3 + 59*d**3. Is f(2) a prime number?
False
Is ((-68)/(-68))/(1/61463) a prime number?
True
Let n(f) = 3*f**2 - 4*f - 9. Is n(-6) prime?
False
Let z(s) = 24*s**3 + 8*s**2 + 9*s - 46. Is z(7) a prime number?
True
Is 5*(-3)/(-45) - (-61780)/6 a prime number?
False
Let z(w) = 8337*w - 68. Is z(5) prime?
True
Let o = 55 - 53. Suppose -4*q = 3*u - u - 3190, -1607 = -u + o*q. Is u composite?
False
Suppose -3*s = -7*s + 2556. Suppose -6*d = -3*z - 5*d + 1357, -z + 453 = -d. Let f = s - z. Is f a prime number?
False
Let s = 4 + 1. Suppose s*i - 2557 = -202. Let c = i - 308. Is c composite?
False
Let a(y) be the third derivative of 0 + 1/3*y**4 + 0*y - 1/2*y**3 - 2*y**2. Is a(10) a prime number?
False
Suppose -4*y = -20, 19*y - 20*y = -2*w + 5573. Is w prime?
True
Is ((-2)/3)/(-6 + 435064/72513) prime?
False
Let z(h) = 6*h**3 + 3*h**2 + 2. Let a = 14 + 1. Let f = a + -12. Is z(f) a prime number?
True
Suppose 2*z = 6*z - 12. Suppose -5263 = -z*q - 1720. Is q a composite number?
False
Suppose -2*w = -7*w. Is 961 + 11 - 1/(w + 1) composite?
False
Let p be (2/4)/((-2)/7424). Let y = 3439 + p. Is y composite?
False
Suppose 4*t - 20 = -0*t. Let v = 5 - 2. Suppose -5*p = n - 226, t*n - p - 1245 = -v*p. Is n prime?
True
Let v(b) = -2*b**2 - 3*b + 5. Let f be v(3). Let x = -20 - f. Suppose 0*w + 8 = x*w. Is w a composite number?
True
Let c(v) be the first derivative of -v**4/4 + 2*v**3 + 9*v**2/2 - v + 20. Is c(-7) a prime number?
False
Let r(d) = 10*d**2 + 4*d - 6. Let y = -12 - -7. Let a be r(y). Let s = a - 155. Is s composite?
True
Suppose 4*h - 16 - 4 = 0. Suppose -h = 2*j - 1. Is j - (-2 - (1 + 534)) a prime number?
False
Is 4/(-18) + (-40529350)/(-450) prime?
False
Let j(f) = 317*f - 12. Let n be j(6). Suppose 4*k - 650 - n = 0. Is k composite?
True
Is ((-6253)/(-52))/((-5)/(-20)) prime?
Fal