n + 1262 = -1603. Suppose 212 = 5*a - n. Is a composite?
False
Suppose 4*s = -d + 17, -4*s + 37 = -0*s + 5*d. Suppose -3*b + s*l + 199 = -b, 2*l + 503 = 5*b. Suppose 5*y - 175 = -5*c, -6*c = -3*y - 5*c + b. Is y composite?
True
Let r be 28/(((-2)/1)/(-2)). Let b be 25*(0 + -3)*(-7)/(-21). Let h = r - b. Is h a prime number?
True
Suppose 2*i - 20 = -2*i. Suppose -i*z + 556 = -3*d - 203, 0 = -3*z + 5*d + 449. Let l = z - 34. Is l a prime number?
False
Suppose 3*w + 2 = -4*r, 5*w - 10 = 5*r + 10. Suppose g + 8 = 5*g. Suppose -g*p = -6, 5*p + 0*p = -w*b + 153. Is b a composite number?
True
Suppose 5 = -4*w - 3. Suppose -3*q + 26 = 4*o, -2*q - 2*q + 5*o - 17 = 0. Is -2 - w*q - -209 a composite number?
False
Suppose 6 = 7*q - 4*q. Suppose q*t = 5*k - 1013, 0*t - 405 = -2*k + t. Is k a prime number?
False
Is ((-35674)/(-4) + 0)/((-193)/(-386)) composite?
False
Suppose 14*s = 30321 + 32133. Suppose -5*v = j - s, 2*j + 4185 - 13083 = -4*v. Is j prime?
True
Let q = 23 - -16. Suppose 5*s - 21 - q = 0. Is 2187/15 - s/15 a composite number?
True
Suppose 8*o + 3 - 35 = 0. Suppose o*q + 4*f - 2696 = 0, 1351 = 2*q + 3*f + 2*f. Is q composite?
False
Let r(z) = 258*z**2 + 7*z + 6. Is r(5) a composite number?
False
Is 6/(-5)*(-705615)/9 a composite number?
True
Let t(z) = -z**2 + z. Let h(j) be the third derivative of -j**5/12 - 23*j**4/24 - 5*j**3/2 + 3*j**2. Let o(y) = h(y) - 4*t(y). Is o(-11) a composite number?
True
Let z = 3380 - 2193. Is z composite?
False
Let k = 0 - -4. Let y(f) = -10*f**3 - 3*f**2 - 11*f - 8. Let m be y(-7). Is 6/k*m/12 a prime number?
True
Suppose -1619 - 20357 = -8*d. Is d composite?
True
Let j be (11384/16)/((-3)/18). Let z = j + 6848. Is z prime?
True
Let a be 5*(-8)/(-20) - 3. Is 1 - (-260 - (a + 2)) composite?
True
Suppose 4*k + 0*k - 856 = 0. Let d = k - 117. Is d prime?
True
Let z(q) = 48*q**2 + 2*q + 1. Let j(p) = p**2 + 2 - p**3 - p + 2*p + 2 - 3. Let y be j(2). Is z(y) prime?
True
Let p(n) be the second derivative of -n**3/3 + 9*n**2 - n. Let b be p(8). Suppose -b*z - 185 = -t, 2*z - 259 = 3*t - 826. Is t a composite number?
False
Suppose -181942 - 529349 = -21*i. Is i a prime number?
True
Let t(a) = 3*a - 19. Let s be t(7). Suppose -8*d + 602 = u - 3*d, 4*u = s*d + 2386. Is u a prime number?
False
Let i = 440 - -87. Is i composite?
True
Let g(x) = -x**3 + 21*x**2 + x - 17. Let q be g(21). Suppose 5589 = 5*v - 2*n, -2*v + 3*n = -q*v + 2228. Is v prime?
True
Let w be ((-4)/(-10))/(-1) - (-374)/85. Suppose w*v + 4*f = 2520, -4*v + 1889 + 676 = -5*f. Is v composite?
True
Let r(h) = h**2 - h - 14. Let g be r(4). Is (g/(-4)*-641)/(8/(-16)) composite?
False
Suppose 14 = -2*v - 5*f + 1085, -3*v + 5*f = -1619. Is v a composite number?
True
Suppose 11795 = -13*s + 28942. Is s composite?
False
Suppose y + 651 = 4*y. Suppose 7*s + y = 4886. Is s prime?
False
Suppose -595 = -5*y + 12*y. Let x = y - -1708. Is x a composite number?
True
Suppose 2*s + 396 + 74 = 4*v, 0 = 2*v + 4*s - 250. Suppose 509 = 3*c + v. Is c - (0 - -1)*-1 prime?
True
Suppose -5*c - 1383 = -3*q, 5*c - 2333 = -5*q + 4*c. Suppose 4*h = 2*u + q - 2276, 5*h = -5*u + 4540. Is u composite?
False
Let c = -14 - -17. Suppose -c*d - 39 = -2*q, -d - q = -2*q + 14. Let a = d + 30. Is a a composite number?
False
Let i(p) = 155*p + 17. Let h be i(4). Suppose -u - 90 + h = 0. Is u a prime number?
True
Suppose 3*d + 3 = -3. Is (830/((-4)/4))/d a prime number?
False
Let f be 2/(-2) + (33 - 30). Suppose 4*y - 4 = 12. Suppose f*r - 454 = -y*i, -7 = -r - 4*i + 224. Is r a prime number?
True
Let p(c) = 445*c + 48. Is p(7) a prime number?
True
Let a(t) = 851*t**2 + 2*t + 10. Is a(-3) prime?
False
Let v(z) = 38*z + 40. Let r be v(5). Let t = r - 103. Is t a composite number?
False
Suppose 4*p + 8 = 6*p. Suppose -4*h - 370 = -2*j, -j = p*h + 107 - 274. Is j prime?
True
Let b be 7/((-1)/1 + 2). Let w(v) = -6*v + 9*v**2 - 10*v + 12*v. Is w(b) prime?
False
Suppose 3*r + 2029 = 2*a + 754, -2*a = r - 1263. Is a a composite number?
True
Let g be 118*(18/(-4))/(-3). Let s = g - 28. Is s a prime number?
True
Let m be (12/(-10))/(-2) - 713/5. Let b = m + 221. Is b a prime number?
True
Let i(b) = b**3 + 5*b**2 + 4*b - 1. Let u be i(-4). Let j = u - -1. Is (j - 2)/((-6)/2283) composite?
False
Suppose 5 = 4*j + 21. Let f(z) = -70*z + 15. Is f(j) prime?
False
Suppose 3*l = 4*p - 17275, -190*p = -186*p + 2*l - 17290. Is p a prime number?
False
Suppose -9 + 69 = 5*y. Is 9*(356/y + (4 - 4)) prime?
False
Is (-74310)/(-8) + (-7)/(-28) prime?
False
Suppose -4*p - 2*d - 8 = -2*p, -4*d - 18 = 2*p. Let m be p*468 + 3 + -1. Let x = 501 + m. Is x a prime number?
True
Let m(i) = -85*i + 18. Let a be m(-2). Let n = 475 - a. Is n composite?
True
Suppose -3*z + 2*z + 1033 = 4*m, 0 = -3*z + 2*m + 3029. Suppose -1521 - z = -4*s + 5*w, 0 = s + 4*w - 623. Is s composite?
False
Is 147/(-196) + (-27262)/(-8) composite?
False
Suppose -5*b = -g - 503163, 3*g - 5*g - 301895 = -3*b. Is b a prime number?
False
Is (4 - 3585/20)*-20 a composite number?
True
Suppose c = -0*c - 3*v + 4955, 0 = -2*c + 2*v + 9910. Suppose 3*d - t + 6*t = c, -2*t = -5*d + 8279. Is d a composite number?
True
Suppose o + 3*o = 20, 0 = 5*l + 4*o - 40. Suppose -4*a - 24 = -3*x, 2*x + 2 = l*x + 2*a. Is (-1)/(3519/(-879) + x) a prime number?
True
Let z be (-20)/3*(-14916)/55. Let w = z - 427. Is w prime?
True
Let b(q) = 2*q**3 - 17*q**2 + 28*q + 32. Is b(15) a composite number?
True
Let c(h) = -2359*h**3 + 6*h + 26. Is c(-3) composite?
True
Let r(w) = w. Let n(j) = j**2 - 162*j + 9. Let a(h) = -n(h) - r(h). Let s(z) be the first derivative of a(z). Is s(0) a composite number?
True
Let u(z) = -z**3 - 3*z**2 + z + 12. Let h be u(-4). Suppose -29*q = -h*q - 1585. Is q prime?
True
Is (64 - -19)/((-6)/(-606)) a composite number?
True
Is 2*(-15)/80 + (-23702)/(-16) a composite number?
False
Let b = 203 + -115. Let h(f) = -f**3 + 16*f**2 + 2*f - 25. Let z be h(16). Suppose 0 = 5*k - b - z. Is k a composite number?
False
Let f = 11439 - 7268. Is f a composite number?
True
Let v be (-3 - -3 - 5)*(-1)/5. Is ((-10)/(-4))/((-900)/904 + v) a prime number?
False
Suppose 5*y + 7*o = 4*o + 16644, -3*o = y - 3336. Is y prime?
False
Suppose s = -6 - 2. Suppose 7*i = 2*i - 10. Is (-4)/s - 37/i a composite number?
False
Let d(j) = -13*j**3 - 6*j**2 - 6*j - 259. Is d(-14) composite?
True
Is 1*-1 + 12/(-30)*-4205 a prime number?
False
Let o(m) = 40252*m**2 - 9*m - 10. Is o(-1) a composite number?
True
Let m be 10/(-35) + 18549/21. Suppose -5*d + 480 = 3*v, 2*d = -5*v - 102 + m. Is v a prime number?
False
Suppose 2*c + h = -3*c + 1260, -4*c + 979 = -5*h. Suppose c = 4*o - 729. Suppose -o = -2*x - 23. Is x prime?
False
Is ((-99590)/(-15))/(14/21) a prime number?
False
Let b be 0 + 0 - (-48)/3. Let j = 16 - b. Suppose j*t + 223 = t. Is t a composite number?
False
Let h(f) = -f**2 + 4*f - 6. Let c be h(5). Let y be c/77 - (-5475)/7. Suppose 3*q = -3*a - q + y, -a = 5*q - 279. Is a a composite number?
True
Let b(m) = -117*m + 11 - 145*m - 40*m. Is b(-4) composite?
True
Is (-99447*(-4)/(-4))/(4 - 7) a composite number?
False
Suppose -3*y - 12903 = -2*u, 8*u + 4*y = 6*u + 12938. Is u a composite number?
True
Let h(s) = 5 - 3 - 5*s + 1 + 6*s. Let f be h(-3). Suppose 2*x - 3*x + 587 = f. Is x composite?
False
Suppose 4*j + 5*g - 25 = 0, 4*g = -5*j + g + 28. Let a(l) = -8*l + 12*l**2 - 2 + j*l + 6*l. Is a(3) a prime number?
False
Let f(x) = -5*x + 18. Let t be f(-5). Let z = 100 + t. Is z prime?
False
Let o(c) = 366*c**2 - 3*c + 8. Is o(3) a prime number?
False
Suppose 0 = 3*o - 0*o - 2043. Suppose -o = -4*y + 843. Is y composite?
True
Let f(m) be the first derivative of -11*m**3/3 + m**2/2 + m - 10. Let t be f(-2). Is (-10)/t - (-6868)/36 prime?
True
Let h = 2533 + 7450. Is h a composite number?
True
Let t(s) = -146*s**3 - s**2. Let q(c) = -c**3 - 6*c**2 + 6*c - 8. Let i(h) = h - 14. Let m be i(7). Let z be q(m). Is t(z) composite?
True
Let v(j) = j**2 - 12*j + 22. Let l(m) = m + 3. Let i be l(7). Let f be v(i). Suppose 362 = f*z - 332. Is z composite?
False
Let i = -4729 + 9480. Is i prime?
True
Let q = -761 - -1487. Suppose q = 2*g + 218. Is g a prime number?
False
Let f be (40/(-6))/(-5)*3 - -339. Let k be 4/(-2) + 1*178. Let m = f - k. Is m a composite number?
False
Is 6 - -68410*