4*x - 881 = 1000. Is k composite?
False
Let b(r) = 2*r - 26. Let x(z) = z - 25. Let h(a) = 2*b(a) - 3*x(a). Is h(0) a prime number?
True
Suppose 2*v + 3*c = -207, v - 4*c + 2*c + 100 = 0. Let y = -25 - v. Is y composite?
True
Let u be 26/(-8) + (-10)/(-40). Is 138/(-4)*10/u a composite number?
True
Let t(p) = -p + 13. Is t(-9) prime?
False
Let k(q) = q**2 + 2*q - 4. Let v(b) = b**3 + 8*b**2 + 7*b + 5. Let m be v(-7). Is k(m) composite?
False
Let l be (-8)/2 + 4 + -4. Is (11/l - -3)*508 a composite number?
False
Let f(w) = w + 8. Let c = -4 - 0. Let d be f(c). Is (10/d)/(2/20) a composite number?
True
Suppose -u - 4*u + 55 = 0. Suppose 4*y + 3 - u = 0. Suppose y*h = -h + 33. Is h a prime number?
True
Let p be (1 - 1)/(-1 + -1). Suppose -4*v - 77 = -5*s, v + 16 = s - p*s. Is s prime?
True
Suppose q - 3 = 3*t, 5*t = 3*q - 3 - 22. Suppose 3 = 2*u + q. Is 102/4 + (-3)/u a composite number?
True
Let i(w) = 233*w**3 - w + 1. Let a be i(1). Let l = 260 + a. Is l composite?
True
Suppose -n + 5*w = 2, -w = n - 3*w + 5. Let k = n + 7. Suppose k = -d + 87 - 32. Is d a prime number?
False
Suppose 26 - 210 = 4*g. Let h = 7 - g. Is h a prime number?
True
Let p = -56 - -139. Is p composite?
False
Suppose -5*m = 4*l + 6, 5*l - 4 = -3*m - 18. Let h(w) = -22*w + 1. Is h(l) a composite number?
False
Let k be (-4)/(-18) - 116/36. Let t(u) = u**2 + 3*u + 3. Let f be t(k). Suppose -d - 20 = -f*d. Is d prime?
False
Suppose 5*c - 12 = -2*f, -4*f + 1 = -3*f. Is (-3)/c*(-892)/6 composite?
False
Let c(s) = s**2 - 6*s - 3. Let o be c(5). Let p(j) be the third derivative of -j**4/4 + 5*j**3/6 + 4*j**2. Is p(o) prime?
True
Let i(t) = 3 - 13*t**2 + 4*t**3 - 4*t**3 - 5 + t**3 + 21*t. Let h be i(14). Suppose h = 4*d + u - 5*u, -4*u = d - 107. Is d a composite number?
True
Suppose -5*n = -5*s + 60, -3*n + n = 10. Let p(q) = -11*q**2 + 13*q - 29. Let f(l) = 7*l**2 - 9*l + 19. Let u(a) = 8*f(a) + 5*p(a). Is u(s) composite?
False
Suppose 5*a - 530 = 3*a. Suppose -4*g + a = g. Is g a composite number?
False
Suppose -267 - 159 = -3*h. Is h a prime number?
False
Let d(s) be the second derivative of s**4/12 + 4*s**3/3 - 11*s**2/2 - 4*s. Is d(-12) prime?
True
Let b = 11 + 34. Let u = b + -10. Is u a prime number?
False
Suppose -28 - 332 = -5*t. Suppose -2*u + 26 + t = 0. Is u a prime number?
False
Let k = 24 - -71. Is k a composite number?
True
Suppose -s + i + 5 = -i, -3*i - 9 = -2*s. Is 111 + (s + -2 - -1) prime?
True
Suppose -125 = -3*r + 4*p, 0 - 35 = -r - 2*p. Suppose 0 = -3*z + r - 6. Is z composite?
False
Let k(y) = -8*y**3 - y**2 + 5*y - 1. Let d be 44/(-12) - 2/(-3). Is k(d) prime?
True
Suppose -3*p + 2*p = -11. Is 1637/p + 6/33 a composite number?
False
Suppose 0 = 3*c - 5*y - 799, -269 = -c + y + 2*y. Is c a composite number?
False
Let y = 9 - 5. Suppose -5*z - 60 = -t, -y*t - 109 = z - 370. Is t a prime number?
False
Suppose 6*i = 19*i - 34541. Is i composite?
False
Let y(c) = -c**2 + 5*c - 2. Let s be 2/(-11) - 92/(-22). Let i be y(s). Suppose 0 = -i*m - m + 249. Is m a composite number?
False
Suppose -4*z + 4*i = -402 - 1738, 2 = i. Is z prime?
False
Let j(p) = -p**2 - 4*p - 1. Let f be j(-2). Suppose 9 = -f*z, -5*z = -2*l - 3*l + 5720. Is l composite?
True
Let f(u) = 150*u - 5. Is f(3) composite?
True
Is ((-5169)/6)/(6/(-12)) composite?
False
Let d = 2041 + -1178. Is d a composite number?
False
Let s = -501 + 1118. Let m = s + -258. Is m a composite number?
False
Suppose 5*f = -5*l, -f + l = 3*f - 15. Suppose -f*a + 3 = -3. Suppose 5 + 1 = u - 4*w, 0 = a*w. Is u a composite number?
True
Let g = -10 - -6. Is 19/((-2)/(-8 - g)) a composite number?
True
Let s(f) = 8*f**2 - 5*f + 9. Let d(a) = 7*a**2 - a. Let g be d(1). Is s(g) composite?
True
Suppose -z + 18 = 3*b - 2*b, 0 = -2*z + 5*b + 8. Is z a prime number?
False
Let f(w) = -w**3 + 2*w**2 - 5*w + 3. Let j = -3 - 1. Is f(j) a prime number?
False
Let c(a) = 3*a**3 + 10. Is c(7) composite?
False
Suppose 3 = -u - d, -5*u + 5*d = -29 - 6. Suppose u*g - 89 = 333. Is g a prime number?
True
Let a = 640 - 449. Let m = a - 50. Is m a prime number?
False
Let z(c) = c**3 - 5*c**2 - 5*c + 2. Let j be z(5). Let q = j - -77. Suppose 0 = -5*h - 4 + q. Is h prime?
False
Let g be (18/(-4) - -4)*-2. Is g*(2/(-2) - -294) a prime number?
True
Suppose 2*w + 2*m = 34, -1 = -m - 3. Suppose 4*c + v = 14, 3*c - w = v - 6*v. Suppose 0 = c*s - 2*r - 58, 4*s - 80 = 2*r - 0*r. Is s a composite number?
True
Is 4/10 + 2652/20 a prime number?
False
Suppose 2*c - 4*c + 1678 = 4*h, 1256 = 3*h + c. Let o = h - 206. Is o a prime number?
True
Let i be 4/10 + 54/15. Suppose -2*j + j = -5*m + 33, i*j + 6 = -m. Is m composite?
True
Let c(i) be the second derivative of 58*i**3/3 - i**2/2 + 2*i. Is c(1) prime?
False
Is (0 - 2)/((-18)/3609) prime?
True
Let s = -7 + 11. Is (5 - 0) + 8/s prime?
True
Suppose -r = -p - 3*r - 3, 0 = 3*r + 6. Suppose -5*v + 2*v - k = -p, 3*k = -2*v - 11. Suppose 34 = v*h - 228. Is h prime?
True
Let v = 13 - 10. Suppose 111 = 4*l - v*l. Is l a composite number?
True
Let z(k) be the first derivative of 13*k**3/3 + k - 1. Let l(u) = u**3 - 6*u**2 + 6*u - 6. Let x be l(5). Is z(x) prime?
False
Suppose -3*r + 18 = -21. Suppose -2*h = -61 - r. Is h a prime number?
True
Let o(y) = 104*y**2 + y - 5. Let z be o(-5). Let i be 2/(-3) + z/15. Suppose 3*d - i = 605. Is d a composite number?
True
Let t = 20 + -13. Suppose -t = -2*g + g. Is g composite?
False
Is (-4 - -7) + (-1)/((-1)/3488) composite?
False
Is 1 - -2 - (-952)/2 a composite number?
False
Let f(d) = -174*d. Let v be f(-1). Suppose -3*u - 1 = 5, u + v = 4*a. Is a a prime number?
True
Let t(r) = -r**3 - 4*r**2 - 3*r + 1. Let s be t(-3). Let b(v) = 54*v - 1. Is b(s) prime?
True
Suppose 0*o - 4*m = -5*o - 1, -5*o - 2*m = -23. Let b(d) be the first derivative of 3*d**2 + 4*d - 3. Is b(o) a composite number?
True
Let b(t) = -t**3 - 6*t**2 + 10*t - 2. Let k be b(-7). Let z = 48 + k. Is (-314)/(-10) - 10/z composite?
False
Let y = 1946 - 907. Is y prime?
True
Let c(f) = -3 + 3*f - f - f**2 - 6*f. Let d be c(-3). Is -68*((-26)/8 + d) a prime number?
False
Let v(p) be the first derivative of -p**3/3 + 5*p**2/2 - 3*p + 2. Let k be v(3). Suppose k*s = 0, z + 2*s - 55 = -2*s. Is z a prime number?
False
Suppose 2*o = 3*w - 17, 0 = -5*w + 5*o + 10 + 20. Suppose 0 = w*m - 4 + 9. Is 1 + 1 + 22 + m a composite number?
False
Let c(i) be the second derivative of -5*i**3/6 + i**2 - 3*i. Let n be 2*2/(-4)*7. Is c(n) prime?
True
Let f = -51 + 443. Suppose -5*a + f = -563. Is a composite?
False
Let v be ((-12)/(-5) + -2)*5. Suppose d - n - 16 = v*n, -2*d + 2*n + 16 = 0. Suppose -134 = -2*i - 4*x, d*i = i - x + 226. Is i prime?
False
Suppose q - 265 = -5*i, q - 5*q + 1076 = 4*i. Let j = -139 + q. Is j composite?
False
Suppose 6 + 163 = d. Is d a composite number?
True
Suppose 5*c + r + 174 = 0, -4*c - 151 + 31 = -4*r. Let m = c + 189. Is m a composite number?
True
Let o = 7 + -3. Suppose 2*b - 1 = -3*t, 2*b - 3*t - o = 3. Suppose 0 = -4*m - 2*a + 82, -b = -m + 3*a + 36. Is m a prime number?
True
Suppose 52*b - 55*b + 318 = 0. Is b composite?
True
Let n(y) = y - 10. Let d be n(11). Let s(h) = 134*h - 1. Is s(d) composite?
True
Let t = -2719 - -4010. Is t a composite number?
False
Let w = 3 - -4. Suppose -4*o + 4*q = -356, -2*o = -w*o - q + 427. Is o composite?
True
Let d(t) = -t**3 - 7*t**2 + 7*t - 4. Let j be d(-8). Suppose -j*g + 105 = -g. Is g a composite number?
True
Let m(c) = 3*c**2 + 2 + c - 3*c - 2*c. Is m(2) a composite number?
True
Suppose -2*w = -3*y - 298, -27 = 3*w - 4*y - 476. Is w composite?
True
Let k = -5 - -10. Suppose -5*x - 5*q + 610 = 0, 2*x - k*q - 232 = -4*q. Let p = x - 71. Is p composite?
False
Let v = 365 + -252. Is v prime?
True
Let k(l) = l**3 - 5*l**2 - 9*l + 10. Is k(9) prime?
False
Let k(d) = -5 - 2 - 12*d + 22*d. Is k(5) prime?
True
Let x = 5 - 3. Suppose 4 = -x*k - 0. Is 0 - (-2)/k*-4 a prime number?
False
Suppose 3164 = 5*u - 3*p, -5*p - 1059 = -u - 413. Is u prime?
True
Suppose 5*x + 25 = 5*m, 2*m - 4*m + 14 = -4*x. Is (-4)/m*18/(-4) prime?
False
Let k = 773 + -384. Is k a prime number?
True
Let s(g) = 7*g**2 + 3*g + 3. Is s(-6) a composite number?
True
Suppose 9*m - 7*m = 2426. Is m composite?
False
Let o(h) = -h**3 - 8*h**2 - 16*h + 23. Is o(-10) a composite number?
Fal