be the first derivative of -3*v**4/2 + 10*v**3/3 + 3*v**2/2 - 19*v + 14. Is y(-6) prime?
True
Let u(a) = 747336*a**2 + 492*a + 493. Is u(-1) a prime number?
False
Is ((-21)/(-3) - 5) + 15*20215/3 a prime number?
False
Suppose -16*f + 21*f = -p + 50642, 0 = -3*f - 2*p + 30381. Is f prime?
False
Let o(w) = 578*w**3 - 2*w**2 + 9*w - 58. Is o(3) prime?
False
Let r be (-2)/(((-12)/(-5))/(-6)). Suppose 3*f + r*h - 60 = -2*f, -h = -4*f + 53. Suppose -6*l + f*l - 2891 = 0. Is l composite?
True
Let c(j) = 3*j**2 - j - 9. Let k(i) = 4*i**2 - i - 9. Let p(m) = 4*c(m) - 5*k(m). Let v be p(5). Let d = 25 - v. Is d prime?
True
Let f(n) = -2*n - 1 + 3 + 21*n + 11*n. Let l be f(5). Suppose -6012 = -4*d - l. Is d a prime number?
False
Suppose 1890653 - 438851 = 44*b - 2616922. Is b prime?
False
Suppose -3*k = -701 - 208. Suppose -5*t + 567 = 2*u, -19*u + 18*u + 4*t = -k. Is u a prime number?
False
Suppose -4*p = 8*v - 12*v - 50640, v = 0. Let w = p + -8179. Is w prime?
True
Let p(o) = -19*o + 39. Let y be p(-8). Suppose 4*n - 1083 = -g, n = -4*g + y + 76. Is n a prime number?
True
Let p(t) = -t**2 + 46*t + 482. Let w be p(61). Let s be 1 - (-608)/(-2) - -1. Let l = s - w. Is l prime?
True
Suppose 0 = -46*k + 50*k - 8. Suppose -4*x - k*n + 58808 = n, 0 = 4*x + 2*n - 58804. Is x composite?
False
Let j = -1126870 - -1890849. Is j a prime number?
False
Let n(x) = 2*x + 2313. Let r be n(0). Let d = 145 + r. Suppose 4078 = a + 4*a + 3*f, -3*a + f + d = 0. Is a composite?
True
Let w(h) = 5*h**3 + h**2 + 3*h + 17651. Let f(d) = -d**2 - d + 2. Let l be f(-2). Is w(l) a prime number?
False
Suppose 3*q + k = 639 + 446, -k = -5*q + 1795. Let w = 437 - q. Is w composite?
True
Suppose 7*c + 5575888 = -16*c + 16098917. Is c a composite number?
True
Suppose -5*x = -k + 14137, -x + 1920 = 3*k - 40395. Is k a prime number?
True
Let r(m) = -145*m**2 + 2*m. Let h be r(-2). Let j = h + 1186. Suppose -3*z - 2*s + j = 0, -5*s + 11 + 383 = 2*z. Is z a prime number?
False
Let i be 5/(0 - (4 + -3)). Let j(z) = 26*z**2 + z - 11. Is j(i) a prime number?
False
Let m = 32764 - 73567. Let f = m - -59634. Is f composite?
True
Suppose 25 = i + m, 2*m + m = -12. Let h = 37 - i. Suppose h = 3*k - 223. Is k prime?
False
Suppose -34165 = 20*s - 90245. Let p(t) = t**2 + 3*t + 1. Let l be p(-5). Suppose -l*g = -7*g - s. Is g a composite number?
False
Suppose 808725 + 1165472 = 32*q + 191701. Is q prime?
False
Suppose 7226 = 48*t + 55754. Let u = -364 - t. Is u a composite number?
False
Let c(v) = -30*v + 26. Let i be c(6). Let y = i - -110. Is 1 + 11/(y/(-576)) composite?
True
Is 4/(48/48429)*2856/306 composite?
True
Let d(c) = 12437*c**3 + 3*c**2 - 3*c + 2. Let b = 325 + -324. Is d(b) a prime number?
False
Suppose 2 + 3 = -c - 2*l, 4*c = 4*l + 28. Suppose b - 1 = 0, -c*b + 2837 = -t - 2*b. Let x = t + 4937. Is x composite?
True
Let x = 143 + -125. Suppose -3*i - 2*i - 2*o + 77 = 0, 3*o - x = -i. Suppose -1255 = -i*f + 10*f. Is f a prime number?
True
Let s(u) be the first derivative of -15*u + 43/2*u**2 + 14. Is s(8) prime?
False
Suppose a - 3*v - 15 = -0*a, a + 4*v = -13. Suppose -2*k - 10 = -2*x, 7 = -0*x - x - 3*k. Is a/(-3) - x - -502 a composite number?
False
Suppose 4*c = -0*c - 4*o - 188, 3*c + 5*o + 137 = 0. Let a = c + 1773. Suppose 2*i + 0 = 4, 0 = -2*r + 3*i + a. Is r prime?
False
Let x = -22 - -50. Suppose 2*n - 6 = x. Suppose -n = -u - 2. Is u a composite number?
True
Let o = 22 + -22. Let y be (6/(-1) - o)*(-4)/(-6). Is (2 + -1)/(y/((-9380)/5)) prime?
False
Suppose 34 = -7*q - 358. Let g = -42 - q. Is (g/4)/((-3)/(-102)) composite?
True
Let s = 1070 + -626. Let r = s + 917. Is r a composite number?
False
Let i = 191118 - 42619. Is i a composite number?
True
Let z(r) be the third derivative of 11*r**6/15 - r**5/20 + r**4/12 + r**3 + 17*r**2. Let l be z(-2). Let o = 1007 + l. Is o prime?
True
Let x = 204868 + -123269. Is x prime?
False
Let u = -260 + 265. Suppose -u*v - m - 3*m = -2491, 0 = 2*v - 4*m - 1002. Is v prime?
True
Let d(y) be the third derivative of -y**6/120 - 17*y**5/60 + 9*y**3/2 + y**2 - 46*y. Suppose x - 23 = -4*s - 96, -48 = 3*s + 3*x. Is d(s) a prime number?
False
Let y(x) = -7*x**3 - 10*x**2 - x + 33. Let v(d) = -8*d**3 - 11*d**2 - d + 34. Let n(q) = -2*v(q) + 3*y(q). Is n(-7) a composite number?
False
Let m(s) = -5*s**2 + 14 + 3*s - 3*s**2 + s + 7*s**2. Let c be m(6). Suppose -380 = -c*h + 42. Is h a prime number?
True
Is 4/((-21)/((-6594441)/4)) composite?
False
Suppose 0 = 2*r + 4*a + 16, -4*a + 8 = 24. Suppose -2*z - z + 2103 = r. Suppose -4*w + 887 + z = 0. Is w a prime number?
True
Let m be ((-90)/4)/((-4)/(-8)). Let z be -2 + -2*m/10. Suppose z*h = 4*h + 447. Is h a prime number?
True
Let f(w) = 106*w - 10. Let c be f(2). Suppose -j + c = 196. Suppose -j = -2*t + 1102. Is t a prime number?
False
Suppose 5*x - 4*j = 216, j + 2 = 3*j. Suppose -p + 43 = -4*p - y, 5*y = 2*p + 40. Let c = x - p. Is c composite?
False
Let g(q) = -33*q**3 - 19*q**2 - 158*q - 1. Is g(-8) composite?
False
Suppose 0 = 7*v + 60 - 53. Let f(s) = -2*s**3 + s**2 + s + 1. Let o be f(v). Suppose 2*z = r - 4719, z + o*z = -3*r + 14117. Is r composite?
True
Let o = -554 + 564. Suppose o*f - 11782 - 174448 = 0. Is f prime?
False
Let m(x) = x**3 - 5*x**2 - 8*x - 1. Suppose -36 - 27 = 7*n. Let l be n/((-1)/(3 + -2)). Is m(l) prime?
True
Let u(c) = -c**2 - 8*c - 10. Let p be u(-2). Suppose -5*a = 3*j + 11, 1 = 3*j + 2*a - 0*a. Suppose 0 = -p*n + 2*x + 1248, n + j*x - 649 = -x. Is n prime?
False
Let p = 917 - 980. Is (-21840)/p + 2/12*2 prime?
True
Let j be ((-1005)/20)/3 - (-3)/4. Let f be (-32)/(-9) - j/36. Suppose 2*d + 1366 = f*d. Is d a prime number?
True
Let z be -2 + 5/(-5) + 20. Suppose -z*q - 1190 = -12*q. Let n = 547 + q. Is n a composite number?
True
Is ((-27)/18)/(45/(-6)) - 609770/(-25) a prime number?
True
Suppose 6*z - 165918 - 78828 = 0. Is z composite?
True
Let c(y) = -177*y**3 + 17*y**2 + 9*y + 20. Is c(-7) composite?
True
Is (1 - -69779) + -21*-4*7/(-84) composite?
True
Suppose -23*c + 5*c = 54*c - 2724552. Is c prime?
False
Let r(i) = 412660*i**3 + 3*i**2 + 11*i - 13. Let u be r(1). Suppose 3*f = 40*f - u. Is f a prime number?
False
Is (-7128)/(-8) + 6 + -2 a prime number?
False
Let j(r) be the second derivative of 91*r**6/45 + 3*r**5/40 - 9*r**4/4 - 17*r. Let b(m) be the third derivative of j(m). Is b(1) a prime number?
False
Let f = 5907 - 4216. Is f a composite number?
True
Let f be 224/10 + 5 + (-27)/5. Suppose -16424 = f*d - 26*d. Is d composite?
True
Let l = 86 - -61. Suppose l*d - 153*d + 40566 = 0. Is d prime?
True
Suppose 0 = -5*a - 3*x + 7, -14*a + 19*a + 13 = 2*x. Is (a/(1/2))/(20/(-66190)) a prime number?
True
Is 96/(-288)*((-601395)/(-20))/(2/(-8)) a composite number?
False
Suppose 1898*a - 1862*a - 8939124 = 0. Is a a composite number?
False
Suppose 2977 + 48965 = 6*t. Suppose 4*u - 3539 = t. Is u composite?
False
Let u(l) be the third derivative of l**3 - 9/8*l**4 + 0*l - 19*l**2 + 0. Is u(-5) prime?
False
Let z = 122166 - 51869. Is z a prime number?
True
Let d(p) = -84*p + 4717. Is d(-114) composite?
False
Let d(o) = 2204*o + 2967. Is d(10) a prime number?
False
Let o(h) be the third derivative of -5*h**4/24 - h**3/2 - 37*h**2. Let f be o(-1). Suppose 0*s = f*s - 5*v - 1601, 5*v = 5. Is s composite?
True
Let l be (-2 + 4)/(1/(-12)*-4). Suppose x - 289 = -2*p + l*x, 3*x = -p + 139. Suppose -4*v + 584 = -4*a, 2*v - a - 153 = p. Is v prime?
True
Let a = -6 - -2. Is 15/a - -4 - 150124/(-16) a composite number?
True
Suppose 13*s - 189948 - 171335 = 0. Is s a composite number?
False
Suppose -14 = -5*u + 2*m - m, m = 3*u - 10. Let p = -1132 - -1108. Is (16/p)/(u - (-1608)/(-801)) composite?
False
Let p = 5187 + 76712. Is p prime?
True
Let r(k) = -27*k**3 + 2*k**2 - 88*k - 491. Is r(-6) composite?
True
Let h(t) = 412*t**2 - 6*t - 12. Let v be h(5). Is (-126)/210 + v/5 a composite number?
True
Suppose 162 = f + 162. Suppose 3*l + 4*d - 81189 = 0, f*l - 5*d = l - 27074. Is l a composite number?
False
Suppose 0*r + 7 = n + 2*r, 5*n - 23 = 2*r. Suppose 2 = -d, n*w - 9344 = w - 2*d. Suppose -3*v + 1411 = j, 5*v - 4*j = -2*j + w. Is v a composite number?
True
Let f(y) be the first derivative of 19*y**5/12 - y**4/4 - 13*y**3/6 - y**2/2 + 26. Let j(v) be the second derivative