 = 15308 + -8361. Is z prime?
True
Let i = 3 - -10. Let u be -2*1/5*-60. Suppose -i - u = -l. Is l a composite number?
False
Suppose 4*i + 12 = z, -2*z + i = -3*z - 3. Suppose z = -5*r - 0*r - 15. Let m(c) = -2*c**3 + 3*c**2 + 3*c - 3. Is m(r) prime?
False
Let j = -9 - -10. Let f be 48 + (j + -2 - 2). Suppose -4*c = f - 433. Is c a composite number?
False
Let c = -2 + 7. Let a(j) = -j**2 + 6*j - 2. Let y be a(c). Suppose -y*l = -4*l + 454. Is l a composite number?
True
Let h(z) = z**3 - 22*z**2 + 9*z - 34. Is h(31) a composite number?
True
Suppose -35062 + 4322 = -20*p. Is p a prime number?
False
Is (-2)/(-24)*(184 - -281780) a composite number?
False
Let x = -31615 + 107360. Is x a composite number?
True
Suppose -n - 4*j + 469 = 0, -1776 = -4*n + 8*j - 4*j. Is n prime?
True
Let q be 4/(-6) - 960/18. Let k(o) = 21*o - 4. Let l be k(-5). Let t = q - l. Is t composite?
True
Suppose 0 = -4*f - 5*i + 2452, -i - 2*i = 0. Is f composite?
False
Suppose 0 = -0*z + 4*z - 1928. Suppose 5*v - 1455 = -l - 195, 2*v = 4*l + z. Is v a prime number?
True
Let o = -46 + 47. Let l(b) be the second derivative of 22*b**5/5 + b**3/6 - b. Is l(o) composite?
False
Let a(c) = 6*c**3 + 2*c**2 + 8*c - 1. Let z = -12 + 16. Let s(t) = -5*t**3 - 2*t**2 - 7*t + 1. Let k(n) = z*a(n) + 5*s(n). Is k(-3) a prime number?
True
Let o = 26 - 30. Is 2/(3/((-8022)/o)) a composite number?
True
Let q be (-1 - (-3)/(-3))/((-32)/48). Suppose -696 + 2853 = q*i. Is i a composite number?
False
Suppose 0 = -5*t + 10*t - 25. Suppose 4*u + u = -t*b + 14890, b - 2*u = 2963. Is b a composite number?
True
Let v(i) = 36*i**3 - 2*i**2 - 11*i + 1. Is v(6) a composite number?
False
Suppose -3*t = -7*t + 16. Suppose m + 3 = 0, -i - t*i + 73 = -m. Is i composite?
True
Suppose 0 = 5*t - 10646 + 1686. Let j = 8016 + -5439. Let m = j - t. Is m a composite number?
True
Let z(j) = j**3 + 2*j**2 + j + 1. Let l be z(-2). Let f be 43 - (0 + -4) - l. Suppose 2*w - f = 566. Is w a composite number?
False
Suppose a = -10 + 31. Suppose -16*j + a*j - 3205 = 0. Is j prime?
True
Let b = -55215 + 107092. Is b composite?
True
Let n(p) = p**2 + 3*p - 7. Let c be n(-5). Let a = 9 - c. Let f(b) = b**3 - 5*b**2 - 3*b + 4. Is f(a) prime?
False
Suppose 4 = -m - 2. Let z(d) = -3 + 4 + 4 + 3*d + 2*d**2. Is z(m) a prime number?
True
Let z(f) = -4*f + 1. Let t be z(-1). Suppose -t*a = 4*c - 18200, 0*a + 4*a - 2*c - 14586 = 0. Suppose 0 = -4*l - 4*o + a, 0 = l - 3*o - o - 891. Is l composite?
False
Let w be -3*(1 + (-15)/9). Suppose 0*x + 763 = 3*x + 2*l, l = w*x - 504. Is x a composite number?
True
Let a(z) = -21*z - 62. Is a(-9) a prime number?
True
Is -5 - 17773/(-14)*-20*-1 a prime number?
False
Let n = -1982 - -62. Let p = 2729 + n. Is p composite?
False
Let v = 2919 - -200. Is v composite?
False
Let b(p) be the third derivative of -p**4/12 + 7*p**3/6 - 3*p**2. Is b(-6) composite?
False
Let q(b) = 12*b - 229. Is q(31) a composite number?
True
Suppose -2*a = 10, 2*w = 4*w + 3*a - 3. Is -1 + 1214 + (7 - w) a prime number?
False
Let g = -259 - -178. Let f = g + 1405. Suppose -3*y = -7*y + f. Is y a composite number?
False
Let b(s) = s + 19. Let f(d) = -d**2 + 3*d + 3. Let j be f(6). Let x be b(j). Suppose 69 = x*q - 19. Is q composite?
True
Let n = 22 + -18. Suppose 0 = -n*m - 4*o + 4520, 2*m + m - 3414 = 5*o. Is m prime?
False
Suppose 23*d - 17*d = 16998. Is d prime?
True
Suppose -32218 - 2208 = -14*t. Is t a prime number?
True
Suppose -7*t - 144 = -9*t. Let u be ((-9)/(-6))/3*t. Is (-53)/(u/20 + -2) composite?
True
Is 1817 - (-7)/(-14)*6 a prime number?
False
Let y = 7324 + -1277. Is y composite?
False
Let t = -13 - -13. Suppose f - 8 + t = -u, 0 = -u - 2*f + 13. Is ((-335)/(-20))/(u/12) a composite number?
False
Let g(a) = -489*a + 404. Is g(-35) a composite number?
False
Let b be 1208/6*(-3)/(-2). Let g = 504 - b. Let u = 343 - g. Is u prime?
False
Let i(z) = -z**3 + z**2 + 121. Let n be ((-24)/10)/((-3)/30). Let y = -24 + n. Is i(y) a prime number?
False
Let m(t) = -6*t**3 + 5*t + 2. Let l be m(-6). Suppose -32*v = -23*v + 7371. Let w = v + l. Is w a prime number?
True
Let c(h) be the third derivative of h**6/120 - h**5/15 - 5*h**4/6 + 2*h**3/3 + 12*h**2. Is c(11) composite?
False
Suppose -5*q - 2*r - 44958 = -9*q, 4*q - 3*r = 44959. Is q a prime number?
True
Let s(a) = -78*a + 1. Let q be (-1)/(7/(-2) - -3). Suppose 5 = -3*y - q*y. Is s(y) composite?
False
Let z = 1529 - 387. Let j = 117 + z. Is j a prime number?
True
Let j be ((-2)/4)/((-9)/144). Suppose 0 = 5*m - 0*f - f, -j = 3*m + f. Is (1399 + m)*(-6)/(-12) a composite number?
True
Let p = 151107 - 79066. Is p prime?
False
Let f(p) = -53*p - 13. Let l be f(-28). Is (-3 - (0 - 2))/((-1)/l) a prime number?
True
Let i(x) = 168*x - 61. Is i(15) prime?
True
Let o(h) = -6*h**2 + 10*h**2 + 0*h**2 + 4*h + 3*h**2 + 8. Is o(5) composite?
True
Suppose -16092 = -6*j - 6*j. Suppose 3*c - 1481 = 2*t, 0 = 4*c - 5*t - 636 - j. Is c prime?
False
Let t = -1955 + 3856. Is t prime?
True
Let j(k) = 1 - 15*k - 32 + 10. Is j(-12) a composite number?
True
Let x = -2187 - -4084. Is x composite?
True
Let l = 53 + -3. Let i = 65 + l. Is i a composite number?
True
Suppose 15*u - 5*u - 8770 = 0. Is u composite?
False
Let s be 1 + -2 - 120/(-1). Suppose 350 - s = 3*p - 3*t, p = -5*t + 77. Is p a composite number?
True
Let y(r) = r + 10. Let m be y(0). Let c(f) be the third derivative of 13*f**4/8 + 5*f**3/6 + 12*f**2. Is c(m) composite?
True
Let a(w) = w**2 + 3*w - 13. Let b be a(0). Let s = -11 - b. Suppose 0 = -s*n - 5*y - 1, -4*n - 3*y + 4 = -15. Is n a composite number?
False
Let p be 66/(3/(-2 - 25)). Let d = -94 - 297. Let h = d - p. Is h a composite number?
True
Suppose 0 = 34*h - 146553 - 765769. Is h prime?
True
Suppose -3*q + 4775 = f, 4*q - 4*f - 6362 = -3*f. Is q prime?
False
Suppose -69 + 13625 = 4*h. Is h a composite number?
False
Let r be 60*(3 + 2)*1. Is (r - (4 + -3)) + 0 composite?
True
Suppose 2*c + y - 6756 = 0, 92*c - 2*y = 88*c + 13504. Is c a composite number?
True
Let t = 74996 + -27805. Is t a prime number?
False
Suppose 5*n + 3 + 518 = m, 5*n - 20 = 0. Is m prime?
True
Let g be 0/(1 + (-3)/(-3)). Suppose -l + g*l = -189. Let x = l - -85. Is x a prime number?
False
Let x be ((-90)/5)/(2/(-14)). Suppose 3*q = n + 96, 2*q - x = -2*q + 2*n. Is q prime?
False
Let m = 6321 - 3154. Suppose -4*b + m = 2*k + 3*k, k = 3*b + 622. Is k a prime number?
True
Let g = 990 - -3769. Is g composite?
False
Suppose -5*y - 58 = -p - 2*y, -3*y - 232 = -4*p. Suppose 2242 = 12*w + 742. Let c = w - p. Is c a prime number?
True
Let r(t) = 6*t**2 + t. Let a be r(-3). Suppose 3*v = -3*k + a, v - 3*v = -5*k - 48. Is v a prime number?
True
Let m be (-2)/(-20)*362 + 12/15. Suppose -m*i + 44*i = 14721. Is i a prime number?
False
Let p(n) = 1411*n**3 + 2*n**2 - n. Let s be p(1). Suppose 2*x - s = -0. Is x composite?
True
Let g be (-20)/(-5) - (0 + -1). Suppose 1618 = 4*u + 2*d + 100, 2*u = -g*d + 763. Is u prime?
True
Let o(h) = -255*h + 42239. Is o(0) a prime number?
True
Suppose 8*n = 4*n + 24. Let q(o) = -o + 6. Let c be q(n). Suppose 4*f - 6*f + 4*z + 38 = 0, -4*z = c. Is f a composite number?
False
Suppose n - v - 782 = -0*n, -3*v = n - 802. Is n composite?
False
Let f(s) be the second derivative of s**3/3 + 4*s**2 + 5*s. Let k be f(7). Let z = k - 15. Is z composite?
False
Suppose 1350 = 5*x - 4*q, 0 = 4*x - 5*x - 3*q + 251. Let m = 110 + x. Let g = m + -265. Is g composite?
True
Suppose 3*j - 8*j = 0. Suppose 1245 = -0*i + 4*i - 3*q, j = -3*i + 3*q + 936. Is i a prime number?
False
Suppose -23*a = 2*a - 114275. Is a a composite number?
True
Suppose 0 = 28*y - 32*y + 20. Suppose 2*b = -3*p + 239, b = y*p - 0*p + 152. Is b prime?
True
Is (3 - 20/6)*-6918 a prime number?
False
Suppose 2*a = -7*a - 18. Is 2 + a - (-395 + 6) a composite number?
False
Let x(v) = -5*v**2 + 5*v + 1. Let j(a) = -a**2 - 10*a - 9. Let z be j(-6). Let o be x(z). Is (o/(-2))/(3/6) a composite number?
False
Suppose 10 = -5*b, 0 = z - 5*b - 5. Let k(c) = -7*c**3 - 4*c**2 + 3*c + 9. Is k(z) a composite number?
False
Let q(o) = -109*o**3 + o**2 + 4*o - 7. Is q(-3) prime?
False
Let j(k) = 79*k**2 - 4*k - 46. Is j(-17) a composite number?
False
Suppose 5*h - 399 = 1551. Suppose -56 = 2*z - h. Is z prime?
True
Suppose -2*c - 16 