 = 44 - k. Is h prime?
False
Let c(r) = -r**3 - 9*r**2 - 2*r - 10. Let n be c(-9). Is (n/(-4) - -1)*-103 composite?
False
Let o = -1 - 2. Let b(i) = -2*i + 2. Let r be b(o). Suppose v = 5 + r. Is v a prime number?
True
Suppose 2*o - 3*o - 6 = 0. Is (2/6)/(o/(-1422)) prime?
True
Let n(d) = -3*d - 1. Let f be n(-1). Suppose f*z - 101 = 209. Is z a composite number?
True
Let s = 525 + -338. Is s composite?
True
Suppose -2*i + 0*y = y - 503, 3*y = i - 234. Is i prime?
False
Let o = 1 - -2. Suppose -h = -o*h + 106. Is h composite?
False
Is ((-210)/(-24))/((-1)/(-4)) a prime number?
False
Suppose -4*d = -7*d. Is 36 + (2 + -3 - d) a composite number?
True
Suppose -4*x - 175 = -9*x. Let d be (-297)/(-5) + (-14)/x. Suppose 2*f - 3 = d. Is f composite?
False
Is (-3)/(-18) + 73988/24 prime?
True
Let u = -64 + 21. Let z = -20 - u. Is z prime?
True
Let s(n) = 31*n - 5. Let b be s(4). Suppose 4*h - 521 = o, -b = h - 2*h + 4*o. Is h composite?
False
Let t(g) = g**3 + 17*g**2 + 17*g + 16. Let j(b) = -6*b - 3. Let a be j(2). Is t(a) composite?
False
Suppose -190 = -4*l + 2*o, -l + 3*o + 235 = 4*l. Suppose l = 2*p - 26. Is p a prime number?
False
Let i be ((-1)/(-3))/(2/90). Is ((-354)/(-10))/(3/i) a prime number?
False
Let t be (-36)/5 + 1/5. Is (-1181)/t + 2/7 a prime number?
False
Suppose -913 = -5*i - x, -2*i + 2*x + 736 = 2*i. Suppose -397 - i = -4*a. Is a a composite number?
True
Is 8/(-10)*5/(-2) - -1397 composite?
False
Let b(j) = -j**3 - 3*j**2 - 2*j - 3. Let l be b(-3). Suppose 8*r = l*r + 50. Suppose 0 = -2*h - 4*u + 146, -4*u = r + 2. Is h prime?
True
Is 20*(-3 - (-43)/4) composite?
True
Let d(w) be the third derivative of -1/24*w**4 + 0 - 1/120*w**6 + 0*w + 2*w**2 - 1/60*w**5 + 25/6*w**3. Is d(0) composite?
True
Is 291/(-6)*-1*6 composite?
True
Let z(g) = g**2 + 6*g - 1. Let o be z(-7). Let q(i) = 5*i**2 - 9*i + 6. Let w(k) = -k**2 + 2*k - 1. Let b(p) = -4*q(p) - 22*w(p). Is b(o) composite?
True
Suppose 4*c - 4*k = 7780, -5839 = -3*c - 0*k + 5*k. Is c composite?
True
Suppose 0*y + 8 = 2*y. Let o = 73 + -38. Suppose a = -y*a - 5, -5*a - o = -3*t. Is t prime?
False
Suppose 0 = v + 4*v. Suppose -10*j + 9 = -7*j. Suppose 2*f = 3*f + p - 88, -f + j*p + 92 = v. Is f a prime number?
True
Let k = -28 + 43. Let a = 26 - 16. Is k/a*(-134)/(-3) prime?
True
Let u = 501 + -210. Is u a prime number?
False
Let i = 202 - -7. Suppose -i = -5*k + x - 49, -5 = x. Is k a prime number?
True
Let k be 11/(-5)*(-15)/3. Let p = k - -20. Is p a prime number?
True
Suppose 0 = -4*r + r. Suppose -6*d = -4 - 8. Let x = r + d. Is x a composite number?
False
Let t(u) be the first derivative of 18*u**3 - 3*u**2/2 + u - 4. Is t(2) composite?
False
Let z = -296 - -2211. Is z composite?
True
Is 3*-4*9055/(-60) a prime number?
True
Let h(f) = f. Let n(m) = m**3 - m**2 - 4*m - 5. Let u = -3 + 2. Let x(k) = u*n(k) - 2*h(k). Is x(-5) a composite number?
True
Let h = 96 + -50. Suppose -5*v - 67 = 3*u, -h = 2*u + v + 2*v. Let c = u - -60. Is c a prime number?
True
Let z = -376 + 693. Is z prime?
True
Suppose 0 = 2*n - 0*n. Suppose -j + 5*r = -42, 2*j + 3*j - 4*r - 189 = n. Is j prime?
True
Suppose -508 = -a - 3*a. Is a a composite number?
False
Let m(n) = 3*n**2 + 7*n + 10. Let z be m(-10). Suppose z = -2*p + 3*p. Suppose -4*x = v - 193, 0*x + p = 5*x + v. Is x a composite number?
False
Let t(a) be the third derivative of -5*a**4/12 - a**3/2 - 6*a**2. Is t(-4) prime?
True
Let x = 1952 - -197. Is x a composite number?
True
Suppose 0 = -g + 5*f + 17 + 176, -5*g - 5*f = -905. Let n = g + 32. Is n composite?
True
Suppose -15*d = -11*d - 1636. Is d a prime number?
True
Let q(m) be the second derivative of 3/20*m**5 + 0*m**3 + m + m**2 + 0*m**4 + 0. Is q(3) prime?
True
Let q be ((-1010)/20)/((-1)/20). Suppose 4*v - q = 762. Is v composite?
False
Suppose 300 = 2*h + 3*h. Let l = h + -32. Let j = l + 11. Is j prime?
False
Let k = 487 + -66. Let u = k - 130. Is u composite?
True
Let l be 8/((-21)/19 - -1). Let s = 121 + l. Let r = -10 + s. Is r prime?
False
Suppose -i - 24 = -3*i. Is i/(-78) - 35130/(-26) prime?
False
Let y(c) = 159*c. Let f be y(1). Let g = -270 + f. Let k = 170 + g. Is k composite?
False
Let t = 230 + -7. Is t a composite number?
False
Let z be -2 + -4 + 3 - -2. Is (4 - 3) + 79 + z a composite number?
False
Let b be (-369)/(-3)*(-3)/(-3). Suppose 3*a - 380 = -5*r, 3*a - 29 + b = r. Let l = 52 + r. Is l composite?
False
Let a = 60 - 84. Is (a/10)/((-2)/5) a prime number?
False
Suppose 4*r + 3377 = l, r = 2*l + 5*r - 6790. Is l a composite number?
False
Suppose -7*y = -745 - 2356. Is y a composite number?
False
Is (-1)/3 - (-21204)/27 composite?
True
Let x = -29 - -66. Is x composite?
False
Let b(u) = -u - 4. Let m be b(4). Let o be (-2)/(-8) + (-78)/m. Is o*1/((-4)/(-14)) a composite number?
True
Suppose 2*d = -8*c + 12*c + 9522, 3*c - 4786 = -d. Is d a composite number?
True
Let p be 4 + (2 - 5 - -3). Suppose 0 = -p*b + 1071 + 709. Is b prime?
False
Let c = -67 + 278. Is c composite?
False
Let t be (-25)/3 + 8/24. Let y(f) = -f**3 - 8*f**2 - f + 2. Is y(t) a prime number?
False
Let s(b) = b + 8. Let k be s(-10). Is 1122/24 + k/(-8) a prime number?
True
Let y(g) = 5*g**3 + 7*g**2 + 8*g - 8. Let z(r) = 6*r**3 + 8*r**2 + 9*r - 9. Suppose -3*h + h - 14 = 0. Let l(d) = h*y(d) + 6*z(d). Is l(2) a prime number?
True
Suppose -6*r - 9051 = -13*r. Is r a prime number?
False
Let m = 91 - 177. Let z(r) = 12*r + 3. Let n be z(10). Let w = n + m. Is w a composite number?
False
Let a be (1 + -77)/((-10)/15). Let y = a - 57. Is y composite?
True
Let c be (-6)/(2/(8/(-6))). Suppose 0 = -c*m - 3*x + 517, -4*m - 2*x + 3*x = -505. Is m composite?
False
Let h(k) = k**2 + 3. Let l = -4 + 4. Let n be h(l). Suppose -5*c + 73 = n. Is c composite?
True
Suppose 0*a - a - 1254 = -4*b, 3*b - 5*a - 932 = 0. Is b a composite number?
True
Let x = -322 - -657. Is x prime?
False
Let h(z) = z**3 + 10*z**2 + 10*z + 11. Let g be h(-9). Suppose g*w = -3*w + 1505. Is w a prime number?
False
Suppose 0 = 3*a - 2*y - 6, 4*y = -2*a + 2*y + 4. Let o be a/6*(-9)/(-1). Suppose -o*b = -22 - 8. Is b prime?
False
Suppose 5*f - 7 = 8. Let y = 5 - f. Suppose -y*m + 20 = 3*k, 2*k + m - 10 = 3*m. Is k a composite number?
True
Let x(z) = -z**2 - 18*z - 12. Let b(n) = -1 + 5*n + 8*n**2 - 3*n - 3 + n**3 + 6*n. Let f be b(-7). Is x(f) a composite number?
True
Let d = 6545 + -4012. Is d composite?
True
Suppose -2*y = -6*y - 24. Let u(k) = k**3 + 6*k**2 + 6*k - 1. Let n(x) = -2*x**3 - 11*x**2 - 11*x + 3. Let a(g) = 2*n(g) + 5*u(g). Is a(y) prime?
False
Suppose -2*v = -2*o - 984, 3*v + 4*o = 5*o + 1474. Is v a prime number?
True
Let a(y) = y**2 + 3. Let g be a(0). Suppose 2*p - 20 = -g*p. Suppose -3*s = v - 160, p*s - 5*v + 85 - 292 = 0. Is s composite?
False
Let i(k) = -k**3 + 9*k**2 - 6*k - 3. Is i(5) a composite number?
False
Suppose -4*m - 3*l = -1267, -2*m + 5*l + 972 = m. Is m a composite number?
True
Let z(o) = o + 4. Let s be z(-3). Let u(g) = 3*g**2 + 0*g**2 + 3 - 4*g + s. Is u(3) a composite number?
False
Let z(p) = -p**2 - 2*p + 2. Let s be z(-3). Suppose -5*v - 67 + 317 = 0. Let r = v + s. Is r composite?
True
Suppose -2*b = -5*d + 135, 0 = 4*d - 0*b - b - 105. Suppose -3*s = 3*i - 18, -i + 23 = 2*i + 4*s. Is (-1)/(i/(2 - d)) prime?
True
Suppose 9*x - 695 = 4*x. Is x prime?
True
Let k be -1*(-364 + 0 + 2). Let y be k/2 + (7 - 9). Suppose 43 + y = 2*f. Is f a composite number?
True
Is (68/(-6))/(1*4/(-78)) prime?
False
Suppose -3*m + 37 = -5*s, -3*m = -2*s - 16 - 15. Let x be (-2)/(-6) - 3/m. Suppose x = -5*r + 40 + 85. Is r composite?
True
Let h be 0/(-2) + (3 - -1). Suppose 3*r = -h*p + p + 300, -2*r = -p + 91. Is p composite?
False
Let p = -38 + 59. Is p composite?
True
Suppose 0 = 2*z + 4, 0*z + 4 = 3*b + z. Is 291/b + 2/(-4) a composite number?
True
Let q(n) = n**2 - 2*n. Let v be q(2). Let k = 668 - 314. Suppose v*l + k = 5*r + 3*l, 5*r = -5*l + 360. Is r a prime number?
False
Let r(g) = -2*g**3 + g + 1. Let q be r(-1). Is (6/(-1))/q - -77 a composite number?
True
Let v(g) = -2*g**3 + 4. Suppose d - 6 + 1 = 0. Suppose -4 + 2 = 2*p, -8 = j + d*p. Is v(j) composite?
True
Suppose -999 = -3*l - 120. Is l a prime number?
True
Let a = -1 + 5. Let r = 0 + 0. Let n = a + r. Is n composite?
True
Let h be (-2)/3 + (-338)/(-3).