*h + 4*h = 15715. Is h composite?
True
Let n = -538 - -3281. Is n a prime number?
False
Let p = 87 - 65. Let u(d) = 186*d + 77. Is u(p) a composite number?
True
Suppose -36*i + 652778 = -26938. Is i a composite number?
True
Let h = 2244 + -2162. Is h a prime number?
False
Is 3328248/165 - 2/10 a composite number?
True
Suppose -4*a + 0*a = 0. Let w = -3 - a. Is w/(-7) - 2368/(-28) a prime number?
False
Let i = -26 + 18. Let k(a) = -a**3 - 9*a**2 + 3*a + 3. Let f be k(i). Is (0 - (-3 + 4))*f a composite number?
True
Suppose 26*q - 30*q = -8376. Suppose -q = -5*n + 1851. Is n a composite number?
True
Is (-8 - (-1 - -1290))*-13 a composite number?
True
Let j = 1362 + -671. Is j a prime number?
True
Let o be (-120)/100*5*1. Let d(p) = 6*p**2 + 9*p - 7. Is d(o) composite?
True
Let i = -8 + 11. Suppose a = t - i*a + 12, 3 = 3*t + a. Suppose t = -4*d + 5*d - 26. Is d a composite number?
True
Let h = -1149 - -4952. Is h a prime number?
True
Let l(m) = -234*m**3 - m - 2. Let v be l(-1). Let p = 952 - v. Is p prime?
True
Suppose -489*u = -491*u + 946. Is u prime?
False
Let z(r) = 13*r**3 + 7*r**2 + 4*r - 1. Let i(m) = -26*m**3 - 15*m**2 - 8*m + 3. Let c(j) = -4*i(j) - 9*z(j). Is c(-5) composite?
False
Is (-757)/(-2)*(-30)/(-15) composite?
False
Suppose -5*q + 24 = -2*j, -3*j - 14 = -4*q + 8. Suppose f + 4 = 0, -3*n - q*f + 1809 = -392. Is n a composite number?
False
Let f(v) = 422*v**2 - 2. Let k(d) = d**3 + 10*d**2 + 8*d - 10. Let a be k(-9). Let n be f(a). Suppose 0*s - 5*l = 5*s - n, 0 = -2*s + l + 183. Is s composite?
False
Let q = -1011 + 1764. Is q composite?
True
Let y be 0 - 1/(4/(-8)). Suppose -q + 2382 = 4*p, 2*p + y*p = 2*q + 2388. Suppose p = -6*g + 1862. Is g prime?
True
Suppose 14 = 2*s - 2*h, -4*s + 2*h - 12 = -32. Suppose s*b - 465 = 2*w, -w = -2*b + 438 - 128. Let a = b - -176. Is a prime?
True
Let o(x) = -6*x - 17. Is o(-30) composite?
False
Let h(p) = -p**3 + 14*p**2 - 13*p + 3. Let s be h(13). Let f = s - -19. Is f a prime number?
False
Is 5564 + (-2)/(10/35) composite?
False
Let y(w) = -18*w**2 - 2*w - 1. Let d be y(3). Let u = -772 + 352. Let g = d - u. Is g a composite number?
False
Let o(x) = -x + 1. Let g be o(0). Let p(n) = -n**3 + 5*n**2 + 3*n + 9. Let y(k) = -k**2 - k + 1. Let c(j) = g*p(j) - 5*y(j). Is c(9) composite?
False
Suppose 4 + 6 = 5*n. Suppose 5*x + n*l - 318 = 0, 0 = 3*x - 5*l + l - 170. Suppose 6*j + 4*g - 58 = 3*j, x = 5*j - 2*g. Is j prime?
False
Let z(f) = -f**2 - 9*f + 10. Suppose -2*b + 11 = 5*d, b + 3*b = -d - 23. Let i be z(b). Suppose m = i + 117. Is m prime?
False
Suppose -12 = 16*x - 12*x, 0 = -5*n + 4*x + 138677. Is n a prime number?
True
Suppose 0 = 4*q - 0*q + 12. Let r(m) = -10*m - 4. Let j be r(q). Let l = j + -23. Is l a prime number?
True
Let u = -61 - -63. Suppose -g + 3*j - 5*j + 14565 = 0, g - 14569 = u*j. Is g a prime number?
False
Let s = 2218 + -747. Is s composite?
False
Suppose 4*n - 3*a - 124972 = -8*a, -a = 0. Is n prime?
False
Suppose -f = -4*i + 8721, i + 8706 = 5*i + 2*f. Is i a composite number?
False
Let c(h) = 571*h + 2. Is c(1) a prime number?
False
Let i be (4/3)/((-2)/(-3)). Is (-1)/(i*5/(-330)) a prime number?
False
Let d(w) = -529*w**3 - 12*w**2 - 7*w + 11. Is d(-4) a prime number?
True
Is 2 + 57/(-27) + 22465636/306 a composite number?
False
Let m = 9076 + -5799. Is m prime?
False
Let b(d) = 2907*d**2 - 5*d - 9. Is b(-2) a composite number?
True
Let s be (2 - 5)*28/12. Let w(v) = -3*v**3 - 9*v**2 + 3*v - 10. Is w(s) a prime number?
True
Let j(d) = 25*d**3 + 3*d**2 - 3*d + 2. Let u(g) = -25*g**3 - 4*g**2 + 4*g - 2. Let n(h) = 4*j(h) + 3*u(h). Is n(3) a composite number?
False
Let t(n) = n + 5 + 5 - 5 - 4. Let u(i) = i - 63. Let d(w) = 4*t(w) - u(w). Is d(0) a prime number?
True
Suppose -l + 5*w = -4*l + 13650, -4552 = -l - w. Is l prime?
False
Is (9/((-27)/(-14)))/((-6)/(-4581)) a composite number?
True
Suppose 2*j = -3*d + 69, d + 3*d = 4. Suppose 29*l - j*l = -1316. Is l composite?
True
Let x(z) = -z**3 - 17*z**2 - 32*z + 121. Is x(-20) prime?
False
Let f be (-6 - 4)*(-2 + (-24)/(-15)). Let k be (-20 - 0)/2 + 2. Is (k/f)/(6/(-555)) a prime number?
False
Let s = 2204 - -1166. Suppose w + 10 = -w, 0 = 5*p - 5*w - s. Is p composite?
True
Suppose -10*i + 4*i = -30. Suppose 0 = i*f - 5, 0 = 2*n + f - 9. Suppose 2202 = n*j + 718. Is j composite?
True
Let d(g) = 21*g - 3. Suppose 10 = 5*u - 0. Suppose u = -4*j + 10. Is d(j) composite?
True
Suppose 2*x - 5*w + 4*w = 9, -2*x - 4*w = -4. Let h be -1 + 0/(-1) + x. Suppose 4*c - 740 = -2*z, -c - h*z + 60 + 115 = 0. Is c a prime number?
False
Let c = 180 - 100. Suppose 4*o = -o + c. Is 8/o - (-253)/2 composite?
False
Suppose -5*a + 2*g + 2 = -a, -2*a - 2*g + 16 = 0. Suppose 3*f + 6 = 3*m, 0 = -3*m - a*f + 4*f + 6. Suppose m*u - 4 - 38 = 0. Is u a composite number?
True
Let o(y) be the first derivative of y**3/3 + 7*y**2/2 - 19*y + 51. Is o(-13) a prime number?
True
Let p(l) = l**3 + 5*l**2 + 3*l - 3. Let z be p(-4). Suppose 0 = -3*b - z + 31. Is 14/(-35) + 5534/b composite?
True
Let p be ((-3)/(-6))/((-7)/(-70)). Suppose -p*g - 45 + 1370 = 0. Is g a prime number?
False
Suppose 223*a = 226*a - 31335. Is a composite?
True
Let o = 131 - 86. Suppose 3*x - 5*d = 97, 228 - o = 5*x - 3*d. Is x prime?
False
Let a(f) = 118*f**2 - f - 4. Suppose -5*i = 21 - 6. Is a(i) a composite number?
False
Let r = 654 + 5767. Is r prime?
True
Let l(q) = 23*q**2 + 6*q - 5. Let t(d) = -d + 1. Let w be t(5). Is l(w) prime?
False
Let j be ((-160)/30)/(2/(-1605)). Let a = j + -2873. Suppose k - a = -2*k. Is k a prime number?
False
Let k be 1950*((-24)/(-10) - 2). Suppose y + 290 + 193 = 5*c, -y = 5*c + 443. Let t = k + y. Is t prime?
True
Suppose -k - a - 77790 = -6*k, 4*a = 3*k - 46691. Is k a composite number?
True
Let r = 76 + 3. Suppose 3*l = d + r, 0 = d - 3*d - 4*l - 128. Let g = 109 + d. Is g prime?
False
Suppose -d = 4*n - 129493 + 10002, -d + 119527 = -5*n. Is d prime?
False
Let k = 1895 + -1322. Is k a composite number?
True
Let g be 0/2 - -5 - 4. Suppose -2*s - a = s - g, 3*s + 4*a = 4. Suppose s = -u + 2*u - 119. Is u a prime number?
False
Let t(u) = -u**3 + 10*u**2 - 9*u + 5. Let i be t(9). Suppose 0 = i*s - 2*f + 20, 2*s + 2*f - 3*f = -8. Is (-374)/s + 7/(-14) a composite number?
True
Let r(q) = q**2 - q + 143. Let b be r(0). Suppose -m - 16 = b. Let g = -92 - m. Is g a composite number?
False
Let q = -148 - -211. Let d = q + 1222. Is d composite?
True
Suppose 0 = 14*m - 18*m. Suppose -5*f + 1751 + 194 = m. Is f a prime number?
True
Let n(l) = -2347*l - 7. Let r be n(9). Let x be 8/(-3)*945/28. Is r/x + (-2)/(-9) a prime number?
False
Let q = 610 - -1047. Is q a prime number?
True
Suppose -2*f + 27 = 7*f. Suppose f*d = -0*d - 93. Is (-4 + 7 + -4)*d a composite number?
False
Suppose 4427 = -6*t + 59. Let q = 1853 + t. Suppose -k + q + 415 = 5*i, -4*k = -3*i + 947. Is i prime?
False
Suppose 0 = -3*h + 2*i + 398 + 1810, 5*i = -15. Suppose -5*z + h = -971. Is z composite?
True
Suppose -2*u + 6 = 0, 0 = -5*o + 3*u + 46 + 25. Let b(w) = -7*w + w + o*w**2 + 1 + 2 - 2. Is b(4) a composite number?
False
Suppose 6695 = -9*c + 22*c. Is c composite?
True
Is (-2)/4 + (-22287)/(-38) a composite number?
True
Let i(k) = 11152*k - 37. Is i(2) a composite number?
True
Suppose -3*r + 0*r + 4*t = 7249, -5*r - 12097 = t. Let v = -372 - r. Is v a prime number?
False
Let u(f) = -7845*f + 539. Is u(-4) a composite number?
True
Let m(g) = g**3 - 7*g**2 + 6*g + 3. Let f be m(6). Suppose f*l - 14 = l. Is 142/(-2)*l/(-7) prime?
True
Suppose 0 = -13*o + 75599 + 2804. Is o a composite number?
True
Suppose 0 = -x - 3 + 2. Is 1 - 3 - (-644 + (0 - x)) a prime number?
True
Suppose 0*i + 5*i = 3*p + 6405, -p - 3843 = -3*i. Suppose -2*v - i - 4418 = -3*j, -2*v - 7600 = -4*j. Is j a composite number?
False
Suppose -3*y = -3*b + b - 1712, 5*b = -5*y + 2845. Suppose 0 = -5*w + 5*m + y, 4*w - 2*m - 446 = -0*m. Is w a composite number?
False
Suppose 0 = 4*c - 4, -c + 5 = f + c. Suppose -k = 2*a - 4, -6*a + f*a = -2*k - 13. Suppose 4*n = -q + 166 + 59, -a = -3*n. Is q a prime number?
False
Let d = -20 - -23. Is -7*d*(-716)/42 prime?
False
Is (78635/(-3))/(5/(-3)) a prime number?
True
Let s be 12/(-21) - (2 + (-8)/14). Is 24550/7 + s + (-2)/14 a composite number?
True
Let p = -13518 - -231