 Is u(17) a prime number?
False
Suppose 0 = 2*d + 2*d - 12. Let c be (-3)/(-4 + d)*2. Suppose -11*g = -c*g - 895. Is g composite?
False
Suppose r + 66 - 26 = 0. Suppose -4*f + 25 - 93 = 0. Let s = f - r. Is s composite?
False
Let i(f) = -10*f + 101. Is i(-9) prime?
True
Let o be 1 + (-6 - (1 - 5)). Let g be 1 + (6 - 3) + o. Let y(x) = x**3 + x**2 - x + 2. Is y(g) a composite number?
True
Let b(v) be the first derivative of v**4 + 7*v**3/3 - 5*v**2/2 - 9*v + 3. Let u(x) be the first derivative of b(x). Is u(-12) a prime number?
False
Let b(u) = 96*u - 10. Let r(x) = 1. Let h(z) = -b(z) - 3*r(z). Is h(-5) composite?
False
Suppose -63 = 3*s - 3*c, -4*s - 5*c - 78 = -3*c. Is ((-1835)/s + 3)*4 composite?
False
Let z(n) = -117*n + 2. Let s = -9 - -4. Let y be z(s). Suppose y - 117 = 5*h. Is h composite?
True
Suppose -q - 3*f = -658 - 127, -3*q + f + 2345 = 0. Suppose 0 = -2*z - g + 523, -2*z + 5*z + g = q. Is z a prime number?
False
Let k be 2/(1/((-18)/(-4))). Let j(q) be the first derivative of -q**3/3 + 13*q**2/2 - q + 27. Is j(k) prime?
False
Let w be 0 + (6/2 - -24). Let x be 800/(-36) - (-6)/w. Let h = x - -68. Is h prime?
False
Let l = 32118 + -20921. Is l a composite number?
False
Let p be ((-6)/9)/(2/(-12)). Suppose -t + 573 = -p*g, 2895 = 5*t + g - 6*g. Is t prime?
False
Is 307705/(-570)*(-2 - 8/2) prime?
False
Let n = -1223 - -626. Let u = 94 - n. Is u prime?
True
Suppose -7*o + 8 = 2*l - 6*o, -3*l + 5*o + 25 = 0. Let m be (-26)/(-8) - (-1)/(-4). Suppose -58 = -w + l*k + 126, 188 = w - m*k. Is w prime?
False
Suppose 0 = 5*d + r - 745 - 6934, -5*d + 4*r + 7659 = 0. Is d prime?
False
Let g(y) be the first derivative of -1 - 5*y + 3*y**3 + 2*y**2 - 1/4*y**4. Is g(6) a composite number?
False
Let p be (-25)/(-6) + 4/(-24). Suppose p*o + 2*z - 14 = 0, o = 2*o - z + 1. Suppose o*b - 582 = 452. Is b composite?
True
Let k(g) = 3*g**2 - 2*g - 1. Let u be k(2). Suppose 0 = q + u - 612. Suppose 0 = -c + 192 + q. Is c a composite number?
False
Suppose -239 = -g + 4*k, 3*g = -2*g + 4*k + 1147. Suppose s - g + 18 = 0. Is s a prime number?
False
Let q(s) = s + 8. Let j be q(-6). Suppose -j*k - 4*f = -28, -k - 4*f = -0*f - 22. Is 218 - (3 - k/3) composite?
True
Suppose -5*y + y + 55724 = 3*p, 3*p + 55748 = 4*y. Is y a prime number?
False
Suppose 4*s = 401 + 1427. Let k = s - 256. Is k a prime number?
False
Suppose -y = -0*y - 2. Let q(b) = -5 + 0*b**y - 9 + 2*b**2 + b + 0*b. Is q(13) a composite number?
False
Let r(i) = i**2 - 46*i - 34. Is r(-19) prime?
True
Let i = 4 - 1. Suppose i*d = -0*d - 3*l + 63, 5*d - 119 = 2*l. Suppose r - d - 62 = 0. Is r a prime number?
False
Let n(p) = -10*p**3 - 5*p**2 + 12*p + 17. Is n(-14) prime?
True
Let y = -662 - -1289. Suppose -3*r = -y + 9. Suppose -r = -a - 5*o, -o = a + o - 209. Is a a composite number?
False
Suppose -l + 0*l - 5 = -2*d, 0 = 4*d - 3*l - 7. Let t be (1 + (-6)/d)*-4. Suppose t*s + 3*s = 265. Is s composite?
False
Let i(k) = -k**3 - 4*k**2 + 6*k - 14. Suppose 5*n = -v - 2*v - 26, 0 = -4*v + n - 27. Is i(v) composite?
True
Let b(d) = -d**3 - 8*d**2 - 7*d + 5. Let a be b(-7). Is 15/a - -1 - -669 composite?
False
Suppose 9*s - 10*s = -30. Suppose -2*g + 3*x = 28, g + x = 3 - 22. Let a = g + s. Is a prime?
True
Let l(x) = 494*x - 151. Is l(21) a prime number?
True
Let z be 2/(-13) + 68856/52. Suppose k - 331 = -g, 4*k - 5*g = -g + z. Is k prime?
True
Let o be 30312 + 1*-1 + (9 - 8). Suppose 7*h + 7723 = o. Is h a prime number?
False
Let v(a) = -5*a**3 + a. Let h = -3 - -2. Let t be v(h). Suppose 0*r - 260 = -t*r. Is r composite?
True
Is (-2)/9 + 2678050/450 a composite number?
True
Let f be (-31)/(1*1/(-1)). Let w = -15 + f. Suppose 0 = -w*y + 11*y + 2345. Is y composite?
True
Is 1 - -10 - (-12492 - -12) composite?
False
Let u = 21282 + -7569. Suppose -u = 3*x - 10*x. Is x composite?
True
Suppose 0*b = 5*b - 45. Suppose 2*l - 5*l = -b. Suppose 5*n - 62 = l*n. Is n a composite number?
False
Is (444/(-18))/(6/(-27)) composite?
True
Let j(t) = -t**2 + 10*t + 7. Let a be j(10). Suppose a*b - 172 = 9*b. Is (3/(-6))/(1/b) composite?
False
Suppose -13*h + 72 + 6 = 0. Let p(d) = 2*d**3 - d - 7. Is p(h) composite?
False
Let t(x) = x**2 - x + 1. Let d(y) = 4*y**2 - 10*y + 2. Let r(b) = -d(b) + 5*t(b). Let a be r(-5). Suppose l - 4*v = a*l - 56, 5*v = 3*l - 139. Is l prime?
False
Suppose 11*h - 5*h + 1830 = 0. Let v = 1194 + h. Is v a prime number?
False
Let j be (-1)/(-7) + (-702)/(-182). Is 3 + 5851/j + 6/(-8) prime?
False
Suppose -1 = -4*k + 3. Let d be 4 + 3 + (1 - k). Let m(o) = 4*o**2 - 2*o + 9. Is m(d) composite?
False
Let a = 7842 + -4005. Suppose -4*x + 8*x = 5*s - 6397, -3*s + 2*x = -a. Is s a prime number?
True
Let l be 0 + -1 - (-5 - (-5 - -4)). Suppose -l*o + 5*q + 5186 = 0, 8*q = -4*o + 4*q + 6904. Is o a prime number?
False
Let x = 21 - 15. Suppose -2*s + 9 = i, -5*s - 4*i = -x*i. Suppose 1406 = 3*w + 5*r, -2414 = -4*w + s*r - 548. Is w prime?
True
Let k = 391 + -175. Suppose -r = -k + 39. Suppose -5*g = -4*n + 936 - r, 5*g + 186 = n. Is n a prime number?
True
Let v(s) = 12*s**3 - 9*s**2 + 42*s + 34. Is v(13) a prime number?
True
Is ((-2328186)/(-392))/(3/20) a composite number?
True
Let q(a) = 4*a**3 + a**2 + a - 1. Let s = -10 + 11. Let z be q(s). Let y(h) = 58*h + 5. Is y(z) composite?
True
Let n(p) be the first derivative of 1 + 19/2*p**2 + p. Is n(10) a prime number?
True
Let r be ((-2)/(-3))/((-3)/(-9)). Let b = 2 + r. Suppose 16 = b*n, 0 = -4*l - 0*n - 2*n + 112. Is l a composite number?
True
Suppose -3*k - 7 = i, 4*i - 2 = -5*k - 16. Let d = 4 + i. Suppose -n + 92 = d*n. Is n a prime number?
True
Is 2 + -1 - 3 - -3069 composite?
False
Let p(i) = 17*i**3 + 6*i**2 + i + 4. Let k be p(6). Let d = -2241 + k. Is d composite?
False
Is -6 - (7 - (-3 - -797)) composite?
True
Suppose 3 - 13 = -5*i. Suppose 4*w - 15 - 7 = -5*r, i*w = 4*r - 2. Suppose o + w*o - 748 = 0. Is o composite?
True
Suppose 0 = 5*g - g + 272. Is ((-14)/(-8))/(8 + -9)*g a composite number?
True
Let g(i) be the second derivative of 0 - 1/2*i**2 + 1/6*i**4 - i**3 + 4*i. Is g(-4) a prime number?
False
Suppose z - 5*w - 1424 = -2*w, 2*z - 5*w - 2843 = 0. Is z composite?
False
Let l(i) = 158*i + 31. Let v(a) = -79*a - 15. Let m(j) = -4*l(j) - 9*v(j). Is m(6) prime?
False
Let c(x) be the first derivative of 2*x**3/3 - 40*x + 4. Is c(13) composite?
True
Suppose 0 = 4*r + c - 5, -r = r - 3*c + 1. Let t be (r - 3)*(-1 - 0). Is 150 - (t - (2 - 1)) composite?
False
Let o = 22 - -1056. Let l = o + -743. Is l composite?
True
Suppose j + 12 = 2*k, -5*k + 2*j = -j - 31. Suppose -h = 3*i - 916 - 4459, 0 = 3*h - k*i - 16153. Is h prime?
True
Let d(r) = 4*r**2 + 26*r + 65. Let u(f) = -f**2 - 5*f - 13. Let k(x) = -2*d(x) - 11*u(x). Is k(-7) a prime number?
True
Is 71348/3 - -8*(-6)/(-144) composite?
True
Let q(d) = d**3 + 8. Let v be q(0). Is 20628/v + (-4)/(-8) prime?
True
Suppose -2*m - 8 = 0, 2*n = -4*m + 9*m + 88. Suppose n*k = 32*k + 514. Is k prime?
True
Suppose q - 3*p = -4*p - 2, 2*q + 8 = -3*p. Suppose -30 = -2*a - q*o, o = 2*o + 4. Suppose l - a = 7. Is l a composite number?
True
Let p(x) = 4*x**2 - 9*x + 7. Let v be p(3). Let d be (6/(-5))/(v/(-40)). Suppose -4046 + 749 = -d*c. Is c composite?
True
Let t = -4 + 13. Suppose -4*a + t*a = -535. Let v = a - -262. Is v a prime number?
False
Let c(s) = 9*s + 1. Let w be c(5). Suppose 5*p - 139 - w = 0. Is p a composite number?
False
Let p(h) be the first derivative of 5 - 3*h + 5/3*h**3 - 5/2*h**2. Is p(5) composite?
False
Let f(i) = -i - 6. Let p be f(-11). Suppose p*h - 1172 = h. Is h composite?
False
Suppose -5*l - 6 + 57 = 3*u, -2*u + 2*l + 18 = 0. Suppose 2*f = -2*f + u. Is ((-1)/(-2))/(f/3018) a prime number?
True
Let c(a) = a**3 - 5*a**2 + 5*a - 4. Let m be c(4). Suppose m = -k - 4*k + 2005. Is k a composite number?
False
Is 1197/(-532) + 245066/8 a prime number?
True
Suppose -21*m = 5*d - 16*m - 7705, -d + 1545 = -m. Is d composite?
False
Suppose r - 3*b + 2284 - 15012 = 0, -50923 = -4*r + b. Is r a composite number?
True
Let j(y) = -141*y + 8. Let x(t) = -423*t + 23. Let f(u) = 11*j(u) - 4*x(u). Is f(7) composite?
False
Let j = -6 - -19. Let m(d) = -10*d - j - 10*d - 14*d. Is m(-9) a prime number?
True
Let s(p) = p**3 + 29*p**2 + 39*p + 46. Is s(19) prime?
False
Let q(r) = -8*r + 