False
Let k be (6/4)/(6/(-8)). Let g be k*3/(-6)*-10. Is 5*((-24)/g + 2) a composite number?
True
Let y(x) = x**2 - 12*x - 9. Let l be y(13). Suppose 2*c - 494 = 4*m - 166, -l*c - m + 629 = 0. Let z = -105 + c. Is z composite?
False
Let f(q) = -q**3 - 18*q**2 + 20*q - 31. Is f(-22) prime?
False
Let o = 11 + -7. Let j(h) be the first derivative of 5*h**2/2 - 6*h + 2. Is j(o) composite?
True
Suppose o - 5*o = -20. Let r(t) = 4*t + 1. Is r(o) composite?
True
Let k(j) = 7*j - 419. Let z(t) = 10*t - 628. Let f(s) = 7*k(s) - 5*z(s). Let q be f(0). Suppose -2*y = h - q, 10*y + 221 = h + 5*y. Is h prime?
True
Let f(u) = u**2 - u + 469. Is f(0) composite?
True
Suppose 1082 + 307 = 3*d. Is d composite?
False
Suppose -10 + 0 = -2*c. Is 2/5 + 813/c composite?
False
Let h(d) = 69*d**2 - 3*d - 1. Is h(8) prime?
True
Suppose -5*v = 4*n, -4*v = -0*n - 3*n. Suppose -2*c = -4*c + 2*i + 126, -5*i + 10 = v. Is c a prime number?
False
Let i = 423 - 281. Let l = -80 + i. Is l prime?
False
Let p be 0/(2 + -2 + -2). Suppose 0*w + w - 185 = p. Is w a prime number?
False
Let x(n) = -n**3 - 6*n**2 + 6*n - 1. Let l be x(-7). Let q be l/14 - 162/(-14). Let g = 11 + q. Is g composite?
False
Let x(g) = 5*g**2 + 21*g - 9. Is x(-17) a prime number?
False
Let f(a) = 154*a - 3. Let d(t) = -77*t + 2. Let b(w) = -5*d(w) - 3*f(w). Is b(-4) prime?
True
Suppose 2*o - 1238 = -2*c, 0*o = -5*c + 3*o + 3127. Is c a prime number?
False
Let w(n) = 3*n**2 + n + 1. Let x be w(-3). Suppose 3*o = -q - 2*o + 6, q - 3*o - 22 = 0. Let r = x - q. Is r prime?
False
Let x be -134 + 2/(2 - 1). Let u = x + 201. Is u a prime number?
False
Suppose 6*f - 4*f - 3*o = 394, -20 = 5*o. Is f a composite number?
False
Let n be ((-1860)/(-4))/1 + -1. Suppose 5*o - 172 - 994 = 3*d, -2*d - n = -2*o. Is o a composite number?
True
Let q be (0 - 2)*95/(-38). Suppose 4*y - 80 = 140. Suppose 15 = q*u, -4*u - 8 + y = s. Is s composite?
True
Suppose -1 = 2*q - 3. Is ((-62)/4)/(q/(-14)) prime?
False
Let r(v) = -7*v**2 + 4*v - 14. Let c be r(-5). Suppose 2 - 8 = -3*q, -4*q - 964 = -3*g. Let a = g + c. Is a a prime number?
False
Suppose 2*x + 16 = -78. Let s be x/(2 - (-10)/(-4)). Suppose -4*z + 4*p = -s - 106, -5*z + 241 = -2*p. Is z composite?
False
Let i be -2*1/(-2)*3. Suppose -2*a = -2*f + 18, -i*a = 4*f - 0*a - 36. Is f a composite number?
True
Suppose 4*u - 6076 = -1472. Is u composite?
False
Let k(y) = -3*y**2 - 10 + 3*y - 2*y + 4*y**2 + 173. Is k(0) prime?
True
Suppose 0 = 4*w + 4*t + 384 - 1212, 4*t - 625 = -3*w. Is w a composite number?
True
Suppose -4*n + 5 = -43. Let z(y) = y**3 - 11*y**2 - y + 17. Is z(n) composite?
False
Let m be (-122)/(-8) + 9/12. Suppose m - 4 = 4*q, -2*d + 87 = -5*q. Is d prime?
False
Let l(c) = -5*c**3 + 9*c**2 - 16*c - 13. Let j(d) = -d**3 - d. Let f(p) = 4*j(p) - l(p). Is f(10) composite?
False
Suppose 5*z + 938 = -282. Let w be (-3)/((-3)/z*-2). Suppose 3*t + 0*t + k = w, 4*t - 3*k = 141. Is t composite?
True
Suppose 4*k + 4*n - 3744 = 0, -2*n - 2*n - 4 = 0. Is k a prime number?
True
Suppose -2*w = -0*w - 1328. Suppose 4*h = 2*p + 2*p - w, h - 679 = -4*p. Is p prime?
False
Let q(p) = 5*p - 19. Let j(i) = i - 1. Let r(c) = 6*j(c) - q(c). Let u be r(-6). Is (-3 + 1)*u/(-2) composite?
False
Is (-45201)/(-65) + (-2)/5 a prime number?
False
Let o(c) = 136*c - 6. Let q be o(5). Let f = -480 + q. Is f composite?
True
Let c = 996 - 461. Is c composite?
True
Let g = 383 - 658. Let b = g - -657. Is b a prime number?
False
Suppose 6*k = k + c + 20, -4*c + 40 = 4*k. Suppose 4*x - 25 = -5*o, -23 = -4*x - x + 2*o. Suppose -x*z = -k - 180. Is z a prime number?
True
Suppose -102 = 2*t - 5*t. Let j = t - 3. Let a = j + -21. Is a prime?
False
Suppose 15*m - 28979 = 89626. Is m a prime number?
True
Let x(h) be the third derivative of -1/12*h**4 + 0*h + 22/15*h**5 + 0 - 2*h**2 - 1/6*h**3. Is x(-1) composite?
False
Suppose -3*v + 60 = 2*v. Suppose -8 = 3*s - 2. Is 10*s*(-15)/v a prime number?
False
Suppose -p = 57 - 278. Is p composite?
True
Let k(j) = -22*j + 1. Let r be k(1). Suppose 2*l + 68 = -4*o, -3*l + 4*o - 120 = 22. Let c = r - l. Is c a composite number?
True
Let v = 9681 - 6316. Is v composite?
True
Suppose 0 = -4*m + 835 - 167. Suppose -3*r = -17 + m. Let p = r + 105. Is p a prime number?
False
Suppose 5*b - 5 = -p + 4*p, 0 = 5*p - 4*b - 9. Suppose -2*w - p*c - 5 = 0, 4*w + 5*c + 2 + 3 = 0. Suppose 5*h - 21 - 9 = w. Is h a composite number?
True
Let l be (-5)/((-10)/(-6)) + 6. Suppose -4*r + 866 = 2*q, 3*r = -l*q - 372 + 1020. Is r a prime number?
False
Let x(v) = 3*v**2 + 6*v - 23. Is x(12) a composite number?
True
Suppose 5*x - 3049 = -954. Is x prime?
True
Suppose 43895 = -5*c + 10*c. Is c a composite number?
False
Let l be -3 - (-1)/2*10. Is 432/4 + 2/l prime?
True
Let n(t) = 3 - 3*t + t + t. Suppose -c + 6*c = -4*a - 3, -4*c - 15 = 5*a. Is n(a) a composite number?
True
Let y(q) = -1135*q - 31. Is y(-6) prime?
True
Let r(l) = 0 - 51*l - 39*l - 1. Let k(u) = -u**2 + 2*u + 2. Let z be k(3). Is r(z) composite?
False
Suppose -4*m - 5*q + 379 = -0*m, 3*m - 286 = -2*q. Let d = m + -41. Is d prime?
False
Suppose -471 = -3*q - 0*q. Is q composite?
False
Let n(p) be the third derivative of -p**6/120 + 5*p**4/24 - p**3/6 + p**2. Is n(-6) prime?
False
Let h = -71 - -136. Is h prime?
False
Let v(r) = r**3 + 2*r + 4. Is v(5) prime?
True
Let u(m) = 3*m**2 - 2*m - 1. Let g be u(-2). Suppose 0 = -t + 220 - g. Let f = -90 + t. Is f a composite number?
True
Let m be (-3)/2*(-24)/9. Suppose -f + 82 + 72 = q, 4*f = m*q + 576. Is f prime?
True
Suppose 2*b = -0*b - 32. Is 12/18 + b/(-3) a prime number?
False
Let z(v) = -v**2 + 8*v + 6. Let n(f) = -f**2 - 5*f + 4. Let l be n(-4). Let a be z(l). Suppose a*q - 2*q = 308. Is q a composite number?
True
Suppose 3*z = -h - 9, 2*z = h - 0*z - 6. Is 19/(h - -4 - 3) composite?
False
Let u = -14 + 10. Is (-282)/((-7)/((-14)/u)) prime?
False
Let x(s) = 4*s + 5. Suppose -2*u + 9 + 7 = 0. Is x(u) composite?
False
Let w = 11 - 8. Suppose d - w = 1. Let y = 15 - d. Is y a prime number?
True
Let h = -11 + 8. Let z = h + 3. Suppose 2*n + 2*n - 44 = z. Is n composite?
False
Let i = -611 + 909. Is i a prime number?
False
Let v = 110 - 51. Suppose 0 = 2*t - t - v. Is t prime?
True
Suppose 0 = -4*j - 2*r + 710, -4*r + 330 - 857 = -3*j. Suppose 21*k - 152 = 17*k. Let w = j - k. Is w a prime number?
True
Let f = -8076 + 11509. Is f prime?
True
Let h(q) = 0 - 3*q + 9*q - 5 + 0*q + q**2. Is h(4) a composite number?
True
Let i be 23/(-5) - (-9)/15. Is (i/12)/(2/(-894)) prime?
True
Let m be -44 - (4 + 0/(-4)). Is (m/(-36))/((-2)/(-9)) a prime number?
False
Let b = 319 + -645. Let o = b + 531. Is o a prime number?
False
Let p(i) be the first derivative of 3*i**2 - 9*i - 1. Is p(7) prime?
False
Let r = 0 - -5. Suppose -4*j - j + 350 = 0. Suppose 0 = r*a - j - 0. Is a prime?
False
Let u(d) = 277*d - 5. Is u(4) prime?
True
Suppose 3*p - 7*p = -436. Suppose 0 = 2*j - 7 + 1. Suppose -4*x + 215 = -o, -x - p = -j*x + o. Is x composite?
False
Let y(a) = a - 6. Let r be y(0). Let t(j) = -2*j - 3 + 2*j + j - 2*j. Is t(r) a composite number?
False
Let j(f) = 2*f**3 + 4*f**2 + f + 2. Let u(x) = 9*x**3 + 20*x**2 + 4*x + 10. Let d(s) = -11*j(s) + 2*u(s). Is d(-3) composite?
False
Suppose 5*n + 5*u = -0*u + 3140, 0 = 3*n + u - 1874. Is n prime?
False
Let c(q) = 1 - 6*q**2 - 2*q + 16*q**2 - 2. Let j = 3 - 6. Is c(j) a composite number?
True
Let s be (-1 + 1)/(12/6). Is ((-2676)/3)/(-4) + s a prime number?
True
Let q = 3 - -91. Is q a prime number?
False
Let z be (-1)/(-5) + 119/5. Let x be (-2)/(-8) + (-78)/z. Is 1*((-105)/x + 2) composite?
False
Let y(o) = 11*o + 18. Let m be 26/1*(-3)/(-6). Is y(m) prime?
False
Suppose 3*p = 3*s + 2154, 5*p - 3380 - 205 = 4*s. Is p a prime number?
False
Is (246/(-24))/((-116)/112 + 1) a prime number?
False
Let x(d) = d**3 + d**2. Let v be x(1). Is 69/v*8/12 a composite number?
False
Suppose j + 1 - 4 = 0. Suppose -j*x = -5*x + 1158. Is x prime?
False
Suppose 0 = -5*h + 3*t - 0 + 136, -5*h + 4*t + 138 = 0. Let i be 32/(-3)*18/(-4). Let n = h + i. Is n prime?
False
Is (-13702)/(-14) - 5/(35/(-2)) a composite number?
True
Let p = 0 + -1. Suppose -y - 3*y = -120. Is 1*(y - 1/p) composite?
False
Is (0 + -2)/(2/(-159)) a prime number?
False
Let v(c) = -c**3 + 4*c**2 - 