3 - j**2 - j + 10. Is p(h) composite?
True
Let d be (-60)/9*72/10. Let h = -13 - d. Is h composite?
True
Let s(a) = 56*a**2 + 7*a + 15. Is s(-4) a composite number?
False
Let a(h) = 7*h. Let c be a(2). Suppose 0 = x - 2*x, -i = 3*x - c. Is i a composite number?
True
Suppose 29 + 11 = 5*k. Let x(i) be the second derivative of -i**5/20 + 2*i**4/3 + i**3/2 - 11*i**2/2 + i. Is x(k) composite?
False
Let b(y) = y**2 - 7*y + 7. Suppose -5*g = -97 + 32. Is b(g) composite?
True
Let q(l) = l**2 + 18*l + 19. Is q(-18) composite?
False
Suppose -q + 27 = -4*q. Is q/(-3)*14/3 prime?
False
Let q(i) be the second derivative of i**5/5 - i. Suppose 2*b + 14 = -4*n, -b + 3*n = -5 - 8. Is q(b) a composite number?
True
Let c be (6/(-9))/((-4)/390). Let t = -40 + c. Suppose -s + 2*u = -t, -s - u = -0*u - 19. Is s a composite number?
True
Let u(g) be the second derivative of -g**4/12 + 7*g**3/6 + g**2/2 + 2*g. Let p(i) = -i**3 + 4*i**2 + 5*i + 3. Let k be p(5). Is u(k) a prime number?
True
Let n be (1 - -2)/(2/14). Suppose -4*s + 68 = -5*l, 3*s + 57 = -3*l - 0*s. Let k = n - l. Is k prime?
True
Suppose 12 = 7*y - 4*y. Suppose 5*o - y*b = 133, 3*b = 4*o - 62 - 44. Is o prime?
False
Suppose -1134 + 310 = -2*x + 2*n, -5*x - 5*n = -2090. Suppose 6*r - 2*r + 16 = 0, 5*l + 5*r = x. Is l a prime number?
False
Suppose -4*k - 43685 = -5*f, -5*f = -5*k - 40185 - 3495. Is f a composite number?
False
Suppose -5*i - 22 - 28 = 0. Let o = -6 - i. Suppose -92 = -0*v - o*v. Is v a prime number?
True
Let s = 1933 - 992. Is s prime?
True
Suppose 6*y - 12 = 2*y. Suppose w = -5*u + 38, 0 = w - y*u - 20 - 18. Is w a prime number?
False
Let t be 4/6 - 58/(-3). Is t + ((-1)/(-1))/(-1) a composite number?
False
Suppose -p = 4*p + 4*c - 75, -2*c = 4*p - 54. Is p + -13 - (0 - 499) prime?
False
Suppose 3*b = 4*i - 216, 239 = 5*i + 4*b - 0*b. Suppose -2*u = -225 + i. Is u composite?
True
Let v(b) = b**3 + 3*b**2 - 2*b - 1. Let n be v(-3). Let z = 8 - n. Let d(a) = a**3 - 3*a**2 + 2*a - 4. Is d(z) composite?
False
Let y be (-8)/28 - 32/(-14). Suppose -5*a + y*a + 255 = 0. Is a prime?
False
Let s(o) = -2*o - o - 9*o - o - 1. Suppose -4*g = u - 2*g, g + 3 = -2*u. Is s(u) composite?
True
Suppose -4*q + 2017 = l, 2*l + 518 = q + 5*l. Is q a composite number?
False
Let h be -6 - (0 - (-4 - 0)). Is 2/h + 3816/30 prime?
True
Let o(d) = -18*d + 5. Let k = -34 + 24. Is o(k) a prime number?
False
Let t(j) = -j + 10. Let a be t(8). Suppose 2*n - 132 = -2*n + q, -5*q - 66 = -a*n. Is n composite?
True
Suppose 4*z = 81 + 151. Let b = -24 + 3. Let w = z + b. Is w composite?
False
Let a = 411 + -116. Is a a composite number?
True
Let o be 25/9 - 16/(-72). Suppose 2*n - 4*f = 124, -2*f + 6*f = -o*n + 146. Let c = -35 + n. Is c a prime number?
True
Let v be 0/(-2)*(-2 - -1). Suppose -2*o - 1 - 7 = v. Is (6/o)/(3/(-8)) prime?
False
Let r(w) = -1 + 5*w + 0 + 6*w. Let u be r(-1). Is 93/1*(-4)/u a prime number?
True
Is ((-4608)/2 - -2)*(-9)/18 a composite number?
False
Let m(v) = -2*v + v**2 + 2*v**2 - v**2. Let r be m(-3). Is (2 + r)/(4/2) composite?
False
Let x be ((-24)/(-36))/((-2)/3). Is (-73 + -6)*(x - 0) prime?
True
Suppose t = 3*t - 10. Suppose 4*h - t*h = -19. Is h a composite number?
False
Suppose -2*y + 16 = -2. Let k = y + -16. Let p(x) = x**2 + 5*x + 1. Is p(k) composite?
True
Suppose 2*j = -4*n + 12, 4*n - j = -2*j + 14. Suppose -t = 4*c - 311, -n*c = -5*t - 147 - 194. Is c composite?
False
Suppose 5*m = 3*t - 11, -5*m + 0 + 5 = 5*t. Suppose -3*f = t*g - 154, 0*g + 4*f - 150 = -2*g. Is g a composite number?
False
Let v be (0 + -3)/(12/(-8)). Suppose -v*c = a - 5*a - 8, -4 = -c - 3*a. Let y = c - -15. Is y composite?
False
Let v be -2 + 4 + -1 - 1. Suppose -3*f = 12, -2*i - f + 5*f + 66 = v. Is i prime?
False
Let q be (22 + -1)/3 + 3. Let t(b) = 89*b - 3. Is t(q) a composite number?
False
Is 3*-1 + (-16780)/(15/(-3)) a composite number?
True
Suppose 180 = 2*z + 3*z + 2*k, -4*k - 180 = -5*z. Suppose 5*b - g = -5*g + z, 3*g + 4 = 4*b. Suppose q + 0*q - 17 = -4*r, 20 = b*q. Is r composite?
False
Is (-40)/(-2)*(-5)/(-4) composite?
True
Suppose -m = 4*q - 0*q - 456, -3*q + 361 = -4*m. Let x(v) = -65*v**2 - v. Let h be x(1). Let c = q + h. Is c a prime number?
False
Is (22/(-4))/(0 - 3/642) composite?
True
Let y be 3 - (0/(-3))/(-2). Suppose -y*g - 131 = -566. Is g a composite number?
True
Let k = -4 - -9. Let s be (-3*k/(-3))/1. Suppose -4*j - 393 = -s*o, -4*o + 112 = 2*j - 192. Is o a prime number?
False
Suppose -13201 - 9622 = -3*d + 2*x, 3*x = 5*d - 38038. Is d composite?
False
Suppose 4*p = 2*h, 3*p + p + 2*h = 0. Let c = 7 - 2. Suppose p*g - c*g = -95. Is g a composite number?
False
Let w(f) = 13*f + 6. Let d = -10 - -16. Let v = d - -1. Is w(v) composite?
False
Suppose -5*c + 38 + 22 = 0. Let z be (0 + -2)*(c - 1). Let p = -11 - z. Is p a prime number?
True
Let i be (-5142)/(-5) + 2/(-5). Suppose 4*s = -0*s + i. Is s a prime number?
True
Let q be (14 + 0)*(-2)/(-4). Suppose -2*v + 7 = g, v + q = -g + 6*v. Suppose u + 31 = 2*s - 107, -2*u = g*s - 193. Is s composite?
False
Suppose 0 = 2*i + i + 5*w - 2103, 2103 = 3*i - 4*w. Is i prime?
True
Let b(u) be the third derivative of -u**4/24 + 5*u**3/6 + 2*u**2. Let j be b(-4). Suppose 235 = n + 3*n + 5*h, j = 3*h. Is n a composite number?
True
Let a(d) = -d**3 + 2*d**2 + 3*d + 3. Let w be a(3). Let h(k) = 2*k - 2*k + 2*k - w. Is h(5) prime?
True
Suppose 0 = -2*j + 2*q + 214, 20 = 4*q - 0*q. Let x = 22 + j. Let t = x + 125. Is t a prime number?
False
Suppose 5*a - 849 = 1506. Is a a prime number?
False
Is 2024/(-24)*6/(-2) prime?
False
Let o(z) = z**2 - 9*z + 10. Let f(b) = -b**2 + 8. Let n be f(0). Let p be o(n). Is (3 + -4)/(p/(-46)) prime?
True
Suppose 0 = -3*f + 562 + 1001. Is f composite?
False
Let c be (-2)/3 - 2/(-3). Suppose c = 2*i + i. Suppose -4*n + 3*j - 7*j = -44, i = -2*n + 4*j + 46. Is n a prime number?
False
Let j(c) = c**3 - 8*c**2 - 6*c + 17. Is j(12) a composite number?
False
Let k = 1704 - 517. Is k composite?
False
Suppose 5*r + 3*f - 925 = -0*f, 389 = 2*r + 5*f. Is r/4 - 2/(-4) a composite number?
True
Let c be 6/(-27) + (-16)/9. Let a be (-2)/((4 + c)/12). Let z = a + 26. Is z a prime number?
False
Let a(i) = 148*i + 1. Let f be a(-2). Let m = -181 - f. Suppose -12 = -3*x, 2*h = 4*h + 4*x - m. Is h a prime number?
False
Let m(y) = -2*y + 7. Let u be m(5). Let q be u*(1/(-3) - 0). Let z(d) = 7*d**3 - d**2 + d. Is z(q) a composite number?
False
Let l = -605 - -1394. Is l prime?
False
Let k(q) = 63*q + 103. Is k(12) a prime number?
True
Let g(h) = 2*h**2 + 9. Let d be g(-9). Suppose 0 = -3*a + 183 + d. Is a prime?
False
Let x(a) = 9*a - 13. Let b be x(12). Suppose 3*i - b = 166. Is i composite?
True
Let f = -370 - -657. Is f prime?
False
Let g(r) be the first derivative of r**3/3 + 2*r**2 + 5*r - 4. Let a be g(-8). Let i = -24 + a. Is i prime?
True
Let t(j) = j**3 + 8*j**2 - 10*j - 2. Let x be t(9). Suppose -x = -2*h - 3*h. Is h prime?
True
Let k(v) = 12*v + 11. Is k(6) prime?
True
Let r = 23 - -6. Let t = r + 6. Is t prime?
False
Let u = 87 - -30. Suppose 0 = s - 3 + 5, 252 = -4*j + 2*s. Let o = u + j. Is o a prime number?
True
Suppose 4*w - 9 = -0*q - q, 0 = -5*w. Let d(n) = -n**2 + 12*n - 12. Is d(q) prime?
False
Let h(y) = -y**3 - 3*y**2 + 7*y - 7. Let z be h(-8). Suppose -l + z = 6. Is l composite?
False
Let j be (-6)/(-6) - (-8 - 1). Is (-1372)/(-20) + 4/j a prime number?
False
Suppose -m + 5*a = -826, 5*m + 4*a - 1108 - 2993 = 0. Is m a prime number?
True
Let j(v) = -22*v**2 + 2*v - 4. Let n be j(3). Let s = n + 387. Is s a prime number?
True
Let f(n) = 63*n**3 + n - 1. Is f(2) composite?
True
Let c(t) be the first derivative of 22*t**3/3 - t**2 - t + 4. Is c(-1) prime?
True
Let t = -21 - -127. Suppose 849 = 5*r - t. Is r a composite number?
False
Suppose -5 = -3*u + 7. Let x(v) = -v**2 + 8*v - 8. Let c be x(7). Is 79/3*(u + c) a composite number?
False
Let g(u) = 4*u**3 - 3*u**2 + 3*u - 1. Let b be g(2). Suppose p + 0*p = b. Is p a composite number?
True
Let u = -3 - -6. Suppose -2*c + 20 = 5*p + 2*c, 5*p - 20 = -u*c. Suppose 4*d - 509 = b, 2*d = p*d + 4*b - 250. Is d a prime number?
True
Let c = -3966 - -5705. Is c a prime number?
False
Suppose 3*p - 237 = -0*p. Is p a composite number?
False
Is (-39251)/(-17) - 4/102*-3 compos