159*o**4/4 + o**3/6 - 13*o**2/2 + 7. Let a(w) be the second derivative of z(w). Is a(1) composite?
True
Let x be 68/16*(-2 + -6). Let l = 0 + x. Let f = 165 - l. Is f a composite number?
False
Let c(x) = -x**3 + 14*x**2 - 12*x - 8. Let z be (-216)/(-16) + 2/(-4). Let h be c(z). Suppose h*s = -29 + 514. Is s a prime number?
True
Let y be 4/(-6)*627/22. Let v = 9 - y. Is 16/v - 1522/(-7) a composite number?
True
Is 1 - -5409 - 57/(-57) a prime number?
False
Let b(l) be the first derivative of l**4/4 + 2*l**3/3 - 5*l**2/2 - 2*l - 3. Let x be b(-3). Suppose -q - 151 = -d + 4*q, x*d + q - 646 = 0. Is d composite?
True
Suppose 3*y - 6558 = 4*v + 704, -5*y - 1804 = v. Let q = -935 - v. Is q a composite number?
True
Let u(r) = -16*r + 9. Let p be u(-9). Let o be (-2)/3 + p/27. Suppose 4*c + o*l - 895 + 223 = 0, -c + l = -159. Is c a prime number?
True
Suppose 84962 = -102*w + 148*w. Is w a prime number?
True
Suppose -265*z = -235*z - 75090. Is z composite?
False
Is (-1069)/(-4)*(-5 + 9) prime?
True
Let b be 1149/(-1)*(-4)/6. Suppose o - b = 591. Is o composite?
True
Let x(t) be the first derivative of -4*t - 2 + 51/2*t**2. Is x(5) prime?
True
Let t = 11113 - 6350. Is t composite?
True
Suppose -4*q - 6 - 6 = t, 4*t + 48 = -3*q. Let b = 14 + t. Suppose i - 3*k = 220, -8*i - b*k + 838 = -4*i. Is i composite?
False
Suppose -b - 79 = -1285. Suppose -7*c + b = -c. Is c composite?
True
Let w be 21/(-14)*1*2. Let u be (-2 + 1 - w)*-1. Is 2364/18 + u/6 a composite number?
False
Suppose y - 55051 = -19952. Is y a prime number?
True
Let d = -57 - -203. Let p = 251 - d. Let w = -36 + p. Is w composite?
True
Suppose -4222 = -3*t + 815. Is t composite?
True
Let o(w) = 12*w**2 - 30*w - 1. Is o(14) a composite number?
False
Let c = -13 + 12. Let d be (1 - c)*(-18)/4. Is (-1434)/d - (-3)/(-9) prime?
False
Suppose 11*r - 7*r + 9140 = 4*w, 0 = -2*r. Is w a composite number?
True
Let g = 60 + -56. Is -1*(g + -1159) - 4 a composite number?
False
Suppose -8526 = -6*u + 7992. Suppose -5*m = 5*x - 4575, 2*x - 5*x + u = m. Is x composite?
False
Let o(c) = c**2 - 3. Let i(a) = a**2 - 8*a + 7. Let n be i(7). Let r be o(n). Is r*(-10 - 0 - -3) a prime number?
False
Let z be (-32 - 2)*(-9)/2. Suppose -z - 3207 = -4*w. Let v = -467 + w. Is v composite?
False
Let q(f) = -3*f**2 - 3*f + 2. Let j(m) = 5*m**2 + 5*m - 5. Let z(s) = -4*j(s) - 9*q(s). Let v be z(7). Let n = -267 + v. Is n a composite number?
False
Let x = -12352 + 38943. Is x prime?
True
Let d(c) be the first derivative of 7*c - 1/2*c**2 - 1. Is d(-7) composite?
True
Is ((-27)/2 + -2)/((-9)/10242) prime?
False
Suppose 3*c = 0, 3*q + 2*c - 2979 + 1008 = 0. Let i = q - 248. Is i composite?
False
Suppose 10 = 7*i + 31. Let h(p) = 28*p**2 - 3*p + 2. Is h(i) composite?
False
Let z(h) = 23*h**2 - h + 47. Let v be z(-16). Suppose 4*s = -3*k + 5*s + 8925, -2*k + v = -s. Is k composite?
True
Let m(h) = 13325*h**2 - 7*h + 1. Is m(1) a composite number?
True
Suppose 3342 = 3*i - 4*q, 4*q - 1160 + 46 = -i. Is i composite?
True
Suppose 22926 = 3*s + 3*s. Is s a composite number?
False
Let j = 35448 + -9781. Is j composite?
False
Is -6 + (-128)/(-20) + (-160326)/(-10) a prime number?
True
Suppose -3*l + 0*q = -q - 8286, 0 = -3*l + 3*q + 8292. Is l composite?
True
Let l = 13502 + -3893. Is l a prime number?
False
Let a(k) = k**2 - k - 6. Let m(f) = -f**2 + f + 5. Let v(r) = -5*a(r) - 6*m(r). Let t be v(1). Is (2 - -230) + 1 - t a prime number?
True
Let u(o) = 20*o**3 - 8*o + 1. Is u(7) a composite number?
True
Suppose -4083643 = -125*a - 24*a. Is a composite?
False
Suppose 2676 = p + 2*p. Is (9/(-18))/((-1)/p) a composite number?
True
Is (60 - -7)/(3/9) prime?
False
Suppose 5*m - 3*s = 80, m - 2*s - 3*s + 6 = 0. Let j(v) = 4*v - 10 + m + 103*v**2 - 6. Is j(-2) prime?
False
Suppose 4*k - 7798 = -10*k. Is k a composite number?
False
Let i be 3/((-24)/2812)*-2. Let l = 1178 - i. Let n = l - 210. Is n prime?
False
Let d = -3995 + 9466. Is d composite?
False
Let t(b) = -3*b - 20. Let y be t(-8). Suppose -411 = -y*q + 97. Is q a prime number?
True
Let u(z) = -z - 12. Let a be u(-12). Suppose 3 = 2*v - 2*d - 3, 4*v + 3*d - 5 = a. Suppose -v*o = -4*q + 650, -2*o = -3*q - o + 488. Is q composite?
False
Let r(i) = 81*i - 13. Is r(32) prime?
True
Let v(p) = p - 7. Let a be v(6). Let b be a/((-9)/(-6) + -2). Suppose f - 5*f = -b*u - 242, f = 3*u + 73. Is f composite?
True
Is (-7)/(-14)*1*-2 - -20200 composite?
True
Let t(y) = 25*y**2 - 15*y + 1. Is t(8) a prime number?
True
Suppose y + 1538 = 2*j, 4*j + 3*y - 2*y - 3076 = 0. Is j a prime number?
True
Suppose -11*f + 9*f = 42. Let h be 17*-3*f/(-9). Let d = h + 372. Is d a prime number?
False
Let c = 2222 - 1436. Suppose 4*a - c = -2*a. Is a composite?
False
Let r(n) = n**2 - 8*n + 11. Let p be r(7). Is p/8 - (-1881)/2 a composite number?
False
Let l be 15/25 - 8/5. Let z(i) = -i + 2. Let v be z(l). Suppose -5*b = -v*o + 268, 3*o + 4*b - 250 = -0*b. Is o composite?
True
Let y = 48898 - 24239. Is y a prime number?
True
Suppose 3*l = 4*l, -w = l. Suppose -3*m + 605 = 4*f, -5*m - 5*f + f + 1011 = w. Is m prime?
False
Let y be -3 + (-3 - -3) - -8. Suppose 2*a + 180656 = -r - 4*r, -y*r = -3*a + 180666. Is r/(-48) - 2/(-8) a composite number?
True
Let i(u) = 5*u**2 - 15*u + 1. Suppose 2*w = -5*q + 17, -3*q - 13 - 14 = -5*w. Is i(w) prime?
False
Let a = 2 + 3. Let z(r) = 41*r**2 + 8*r - 10. Is z(a) a composite number?
True
Let o = 16 - 21. Let s(l) = 10*l**2 + 4*l - 15. Is s(o) a composite number?
True
Suppose 0 = -2*y + 1 - 3. Let x be 0/y*(-1)/(-1). Suppose x = -r - 30 + 185. Is r a composite number?
True
Suppose 2*f - r = 377, 4*r + 431 + 127 = 3*f. Suppose 0*y - f = 2*y. Let d = y + 780. Is d composite?
True
Suppose -2*h = 4*v - 32354, -19*h - 4*v = -21*h + 32378. Is h prime?
True
Suppose 0 = -h + 88 - 84. Is -6 + 46/8 - (-4389)/h a composite number?
False
Let i = 48213 - 32300. Is i composite?
False
Let m(k) = -k**3 + 16*k**2 - 16*k + 31. Is m(14) prime?
True
Suppose 10 + 60 = 7*n. Suppose n*y + 2056 = 14*y. Is y prime?
False
Is ((-5535 - 5) + -5)/(-1) a prime number?
False
Let x(y) = -8126*y**3 + y**2 - 5*y - 17. Is x(-2) a composite number?
True
Let b(p) = -p**3 + 12*p**2 - 14. Let t be b(12). Let s be -2868*(t/6)/7. Suppose -s + 142 = -2*r. Is r prime?
False
Suppose n - 19 = 3*w, n + w = -0*n - 1. Suppose -n*f - 2787 = -7*f. Is f a prime number?
True
Let p be (-3)/(-5)*(-15)/12*16. Let j(i) = -89*i - 37. Is j(p) a prime number?
True
Let k(j) = -207*j**3 + 3*j**2 - 35*j - 185. Is k(-6) a prime number?
False
Let t = 4809 - 786. Is t/6 - 1/(-2) prime?
False
Let q = -36760 + 54977. Is q a composite number?
False
Suppose 3*q = -2*s + 36, -3*s + 3 = -6. Let r(x) = x - 6. Let w be r(q). Is (-3)/w - (-3640)/32 prime?
True
Let f(n) = 205*n. Let b be f(6). Suppose -5*y + b = -0*y. Suppose 0 = -3*r + 3*w + y, 0 = -3*r - 4*w + w + 276. Is r a prime number?
False
Let w(g) = -g**2 + 15*g - 17*g + 11 + 13*g + 3*g**2. Is w(12) prime?
True
Let h = 155 - 65. Suppose -o = -4*o - h. Let a = o + 95. Is a a prime number?
False
Let x(s) = -4*s + 51. Let u be x(12). Suppose -o = 2*t - 175, -4*t - u*o - 276 = -7*t. Is t a composite number?
False
Suppose r = 3*r. Let l be (r - -2)*(-6)/(-4). Suppose -l*g = -0*g - 159. Is g a prime number?
True
Let t be (-1)/((-2)/(-7) - (-24183)/(-84714)). Let f = t - -7045. Is f a composite number?
False
Let p be 3 + (-2 - -1) - 4984/28. Let g = 11 - p. Is g a composite number?
True
Suppose 0 = -37*d - 6696 + 89465. Is d a composite number?
False
Let r(z) = 80*z**3 - 8*z**2 - 6*z - 2. Let f be r(-4). Let g = -2973 - f. Is g a composite number?
True
Suppose 15 = -5*b - 0. Let j = -22 + 71. Let v = b + j. Is v prime?
False
Suppose 5*p - 2*s + 4943 = 0, 4*s - 4951 = 4*p + p. Let b = p + 1391. Is (b - 4 - 3)/1 prime?
True
Let t = 476 - 282. Let i be (256/2 - -3)*(12 - 9). Let q = i - t. Is q prime?
True
Let l(i) = i**3 - i**2 - i + 38. Let b(c) = c**3 - c**2. Let j = -1 + 2. Let z be b(j). Is l(z) a composite number?
True
Suppose 0 = 3*v - 6. Suppose -x - v*g + 978 = -463, g - 2876 = -2*x. Is x a prime number?
False
Let g(x) = -x**3 + 26*x**2 + 7*x - 6. Suppose -4*k = 2*u + u - 91, -k = u - 22. Is g(k) a prime number?
False
Let u(b) = 3*b**3 + 4*b**2 + 55*b + 25. Is u(14) prime?
True
Let