+ 5*j - 17. Is t(12) a composite number?
True
Suppose 5*i = 2*u + 1677, i + 0*i - 3*u = 325. Is i prime?
True
Let h = -7 - -9. Suppose -4*i + 5*z = -33, -3*i = -8*i - h*z. Suppose -i*a - a - 1 = -s, -5*s + 2*a = -31. Is s a prime number?
True
Let k = 294 + 95. Is k a composite number?
False
Suppose -2*n + 73 = -69. Let q = n - 50. Is q composite?
True
Let c(h) = h**3 + 4*h**2 + 3*h + 1. Let k be c(-2). Suppose -29 - k = 4*x. Is 12/x - 22/(-4) a composite number?
True
Let h(l) = -57*l - 1. Let z(x) = -2*x**3 + x**2. Let m be z(-1). Suppose -m*k = 9 - 3. Is h(k) prime?
True
Suppose -3*f + 20 + 28 = 0. Suppose -372 = -4*j + 5*c, 5*j + 79 - 515 = -c. Suppose -r = -g + f, r + 4*r - j = -3*g. Is g a composite number?
True
Let g = 539 - 943. Let s = g - -220. Let m = -131 - s. Is m a composite number?
False
Let x be (-44 + -4)*2/(-3). Let c = 1 - -3. Suppose c*i = 72 + x. Is i prime?
False
Let m(j) = 2*j - 1. Let o be m(2). Suppose -85 = -2*z - o*r, -3*z = -0*z - 3*r - 135. Let w = -9 + z. Is w a prime number?
False
Let l(x) = -x**3 - 5*x**2 + 4*x - 10. Let n be l(-6). Suppose 519 = 4*v + 115. Suppose -n*h - 2*z = -34, 6*h - h = 3*z + v. Is h prime?
True
Let n(z) = -30*z + 5. Let j be n(-4). Let k = -28 + j. Is k prime?
True
Let m = 13 + -49. Suppose -i + 16 = 66. Let r = m - i. Is r a prime number?
False
Suppose -8*k = -5*k - 987. Is k a composite number?
True
Suppose z + 25 = 226. Suppose v = -5*u + z, u - 4*v = -13 + 49. Suppose u = d + 3. Is d a prime number?
True
Suppose -2*c + 3 + 1 = 0. Suppose c*r - 6*r = 2*y - 44, -4*y + 88 = -4*r. Is y a prime number?
False
Let j be (-6)/6 + 1 + 10. Let c be (-4)/10*j/2. Is 6 + -7 + (-172)/c composite?
True
Let p(q) = 14*q**3 + q - 1. Let g be p(1). Let a = 7 - 3. Is 1166/g + a/(-14) a composite number?
False
Let f(j) be the first derivative of 3*j**3 + 1/4*j**4 + 6*j - 5*j**2 - 3. Is f(-10) a prime number?
False
Let w = -9 + 64. Is w a prime number?
False
Suppose 5*h - 3*k + 4*k - 2984 = 0, -h + 3*k = -600. Suppose 2*v - h = 185. Is v prime?
False
Suppose 0 = -2*l + 4*i + 42, 5*l + 4*i = 27 + 8. Let n(q) = -q**3 + 11*q**2 + 2*q + 9. Is n(l) composite?
False
Let m = 6 - 4. Suppose -y = 4*c - 15, m*c - 4 = -5*y - 1. Let h(z) = z**2 + 2*z - 3. Is h(c) composite?
True
Let r(b) = 8*b**2 - b + 2. Let k be r(-3). Let a = k + -24. Is a a composite number?
False
Suppose k + 0*x = 3*x + 77, 4*k = -3*x + 263. Suppose -3*i - 27 = 18. Let v = k + i. Is v a prime number?
True
Suppose -4*q = -m - 185, -3 = q + m - 48. Is q prime?
False
Suppose 2*x = -2*v - 3*v - 9, -2*x - 4*v - 8 = 0. Let f be ((-572)/1)/(-2) - x. Suppose 473 = 5*d - 4*b, -b - f = -2*d - d. Is d prime?
True
Let j = -485 + 756. Let l = j + -156. Is l composite?
True
Is -82*1*(-2 - 13/2) composite?
True
Suppose 3*m + 0*m = 87. Let h = 172 + m. Is h prime?
False
Let f(x) = -x**3 + 6*x**2 + x - 4. Let l be f(6). Let k(b) = 3*b**2 + 7*b + 5. Let w be k(-4). Suppose -2*n + 3*n - w = d, l*d = -n + 25. Is n prime?
False
Let o be 4/6*(-15)/10. Let q = o + 2. Is (0 - 0) + q + 12 composite?
False
Suppose 3*d - 487 + 56 = -5*t, -2*t + d + 168 = 0. Suppose -5*j = 3*g + t, 91 = -2*g - j + 32. Let q = 3 - g. Is q composite?
True
Let a be 6 - (-4 + 3)/(-1). Suppose l = -3*v + 230, -l - a = 4*l. Is v composite?
True
Suppose -47 = -5*n + 4*k - 3*k, 5 = 2*n - 5*k. Suppose 4*v + n*x - 49 = 5*x, -2*x + 22 = 2*v. Is v a composite number?
True
Let a be (-2 + 1)/((-1)/4). Suppose 2*g - 641 = a*v - 9*v, 511 = 4*v + g. Is v a prime number?
True
Let x be (-2)/1 - (408 + 0). Let d = -629 - x. Let j = -152 - d. Is j composite?
False
Let c(a) = a**3 - 4*a**2 + 2*a + 3. Let v(q) = 2*q - 7. Let x be v(5). Let h be c(x). Suppose h = 2*i, 117 - 6 = 3*l + 4*i. Is l a prime number?
True
Let o(b) = -3*b**2 - 2*b**2 + 3*b + 6*b**2 + b + 5. Is o(4) composite?
False
Let o = -956 + 2463. Is o prime?
False
Let x be 56/(-12) + (-2)/(-3). Is 6/(-8) - 79/x composite?
False
Is 1 + (3/6*-2 - -141) a composite number?
True
Suppose -8*u + 3*u + 15 = 0. Suppose b + 2*b - 4*n = 69, -3*b + u*n = -69. Is b a composite number?
False
Let t(g) be the second derivative of g**4/6 - 2*g**3/3 + 7*g**2/2 + g. Suppose -2*b - 21 = -7*b - 4*f, -2*b + 2*f + 12 = 0. Is t(b) composite?
False
Let w = 1895 - 954. Is w a composite number?
False
Suppose 0 = 2*i - 2*l + 6*l - 1266, 1254 = 2*i - 2*l. Is i a prime number?
False
Suppose -3*o + 1282 - 164 = -5*m, 2*o = m + 757. Is -3*(-1)/(9/o) prime?
True
Let g = -142 + 222. Suppose -l = l + 2*i - g, 0 = l + 3*i - 46. Is l a prime number?
True
Let c(q) = 4*q**2 - 4*q + 1. Let h = 11 - 6. Suppose -d = v + 2*d + h, 2*v - d = 11. Is c(v) prime?
False
Suppose -5*m + 2090 = -1695. Is m a composite number?
False
Let f(m) = -m + 9. Let z be f(10). Is z/(-3 + 260/87) a composite number?
True
Is (-21)/35 + (-68)/(-5) prime?
True
Let k(t) = t**3 + 3*t**2 + 2*t - 1. Let z be k(-3). Is z*(-3 + 2) + 0 prime?
True
Let k be (0 - 1)*(-2 - 6). Let i = -6 + k. Suppose r + 3*b - 13 = 31, 0 = 5*r + i*b - 181. Is r a composite number?
True
Suppose 16 = -5*t - 59. Let k = 18 + t. Is k a prime number?
True
Let u be ((-4)/(-6))/((-6)/(-45)). Let z(q) = q**3 - u*q**2 + 3*q - 1 + 3 - 4*q + 8*q. Is z(5) a composite number?
False
Suppose 2*f + 2*l + 187 = 1695, l - 5 = 0. Is f a prime number?
False
Suppose q - 2*q = -51. Is q prime?
False
Suppose 0*j + 5*j - 10 = 0. Suppose -j*f + 73 = -25. Suppose 0 = 2*h - 4*n + 3*n - 62, -h + f = 4*n. Is h a prime number?
False
Let g = -175 - -386. Is g prime?
True
Let h = 616 - 85. Let w = -309 + h. Is (12/18)/(4/w) composite?
False
Let d(g) = -2*g**3 - 11*g**2 + 10*g - 10. Is d(-9) a prime number?
True
Let v(k) = 2*k**3 - k**2 + 4*k - 3*k + k + 2. Suppose 0 - 4 = -2*f + s, -3*f + 3 = -3*s. Is v(f) composite?
False
Suppose 2*p - 397 = -79. Suppose -5*l = -2*l - p. Is l composite?
False
Suppose 2*w = -2*w + 24. Suppose -3*a - 147 = -w*a. Is a a composite number?
True
Suppose k = 5*l - 9, 0 = -2*k - 3*l + 6 + 2. Suppose -k = 3*s - 19. Suppose 0*b + s = b. Is b prime?
False
Suppose 5*g + 81 = 4*l, -4*g + 0 = 4. Is l prime?
True
Is (-110383)/(-117) - (-8)/(-18) prime?
False
Suppose 0 = 4*t - l - 32, 5*t - 3*t = 3*l + 16. Suppose 0*o = -4*o + t. Is -5 + o + 0 + 266 composite?
False
Let v = 26 + -20. Suppose -x - x - 54 = 0. Let l = v - x. Is l a prime number?
False
Let m be (20/6)/((-7)/(-1722)). Let b = m - 439. Is b a composite number?
True
Let x(v) = -v**3 + v**2 + 3*v. Let a be x(-4). Is (7/4)/(1/a) a prime number?
False
Let c = 821 - -4168. Is c a composite number?
True
Let p = 69 - -92. Is p prime?
False
Let j be 4 - -1*(0 - 1). Let u be ((-10)/(-6)*j)/1. Suppose u*l = 158 + 77. Is l composite?
False
Suppose -34 = -3*h - 7. Let k(n) = n**3 - 10*n**2 + 13*n - 13. Is k(h) prime?
True
Let v be (-4)/14 + 424/14. Let k = v + 293. Suppose 4*x = k + 65. Is x a prime number?
True
Suppose 0 = 3*v + 5*c - 2*c - 54, -5*c = 10. Suppose -2*b - v = -2*d - 7*b, 18 = 4*d - b. Suppose x + 4*a - 18 = 0, a - 60 - d = -3*x. Is x prime?
False
Suppose -3*g + 385 + 746 = 0. Is g a composite number?
True
Let o be (-4 - -5)*-4 - -4. Suppose -3*z - 5*n + 271 = o, 181 = 2*z + 2*n + 7. Is z prime?
False
Suppose -2*w = -4*w + 4*h + 150, -4*h = 16. Is w composite?
False
Is 12/(-8)*3310/(-3) prime?
False
Let n = 7 - 4. Let r be ((-405)/54)/(6/(-4)). Suppose 0 = -h - 4*h - n*p + 160, -r = p. Is h prime?
False
Suppose 0*o + 5*o + 4*u = 903, -4*u - 744 = -4*o. Is o a prime number?
False
Let b = -1064 - -3351. Is b a prime number?
True
Suppose k = -5*c + 8451, 5*k - 452 = -2*c + 2910. Is c a composite number?
True
Let m = 3095 - -1932. Is m a prime number?
False
Let w(l) = 0*l - 2*l + 2*l - l. Is w(-9) a composite number?
True
Suppose -o - v = -1, -4*v + 20 = 2*o - 8*v. Suppose 5 + 0 = p - 4*u, 0 = o*p - 5*u - 64. Is p composite?
True
Suppose -5*d = f + 5, 2*f - 31 = -3*f + 3*d. Suppose -6*o + 325 = -o + 2*x, f*x = o - 92. Is o prime?
True
Let o(z) = -30*z**2 + z. Let u be o(-1). Is u*(-7)/1*1 prime?
False
Let h(y) = -28*y**3 - 3*y**2 + 4*y + 4. Is h(-3) a prime number?
False
Suppose p - 2*p = 0. Suppose -5*k + t + 95 = p, t = -k - k + 45. Is -3*(0 + k/(-6)) prime?
False
Let h(q) be the second derivative of -q**5/20 - q**4/4 - 7*q**3/6 - q**2/2 + q. Let j be h(-5). Let c = -51 + j. Is c composite