 - d. Let g be c(-1). Let h = 21 - g. Is h prime?
False
Suppose -68 = j - 3*n - 195, 4*j - 536 = -2*n. Is j prime?
False
Let j(x) = x**3 - 3*x**2 + 3*x - 1. Let r be j(3). Suppose r = q - 8. Suppose 3*n + 4 = q, 0 = -i + n + 9. Is i a composite number?
False
Let q(c) = -4*c**3 + c + 4. Let b be q(-3). Suppose 6*i - i + b = 2*l, 4*i + 200 = 4*l. Is l composite?
False
Let n be -690*(9/6 - 2). Suppose -h + 4*m = -65, 3*h + h - n = -m. Is h a prime number?
False
Let w = -3 - -3. Let r(t) = t - 6 + 2 + 35. Is r(w) prime?
True
Suppose -f - 5 = 0, -3*f - 980 = -5*b + 2*f. Is b prime?
True
Let s(f) = 3*f - 1. Let u be s(1). Let y(t) = t**2 - 2*t + 1. Let m be y(u). Is 12 - (m + -2 + 2) a prime number?
True
Suppose 0 = 2*j + x - 37, 5*x = 3*j + 4*x - 63. Let h = 1 - -1. Is j + h + -2 + 3 a prime number?
True
Let m(o) = 2*o**2 + 8*o - 2. Let b be m(-5). Is (-128)/(-5) + b/20 composite?
True
Let i be 3 - 45/(3/(-1)). Let p be ((-1)/(-2))/(3/i). Suppose t - 34 = l, -3*l = p*t - l - 97. Is t prime?
False
Let o = 40 - 29. Is o composite?
False
Suppose q - 497 = 5*i, 2*q - 2439 = -3*q + 2*i. Is q a composite number?
False
Suppose -3*q - 11 = -2*q. Let n = q - -2. Let r(y) = y**2 + 7*y - 5. Is r(n) composite?
False
Suppose -68*r - 13660 = -72*r. Is r a composite number?
True
Let s(u) = -6*u**2 - 8*u - 3. Let w be s(-6). Suppose -5*t = -4*c + 598, -t - c - 125 = -0*c. Let y = t - w. Is y a composite number?
True
Is 0 + -1 - 2 - -296 prime?
True
Is (-1136)/(-3) - (5 + (-112)/21) prime?
True
Let f = -1 - -24. Let d = 46 - f. Is d a composite number?
False
Suppose 21 - 6 = 3*m. Suppose m*h + 5*k = 11 + 79, -75 = -3*h + 4*k. Is h a composite number?
True
Suppose 3*r - 502 = r. Is r composite?
False
Suppose -24 = -4*h - 4*u, -5*h = 2*u - 35 + 2. Suppose -3*a = -h*a - 180. Is (-2)/(-9) + (-5705)/a a prime number?
True
Let c(o) = 86*o + 45. Is c(14) a prime number?
True
Let f = 6 + -4. Suppose -4 = -f*v + 70. Is v a prime number?
True
Suppose 20 - 2 = -q - 4*b, 2*q + 16 = -4*b. Suppose 5*r - 5*l = 565, l + 222 = q*r - 2*l. Let a = -62 + r. Is a composite?
True
Suppose -3*j + 46 - 16 = 0. Let n(k) = -k**3 + 10*k**2 + k + 9. Is n(j) prime?
True
Suppose -4*c + 24 = -w, 0 = w + 2*w + 12. Suppose c*s = -3*u + 3*s + 4079, s = 2*u - 2724. Is u composite?
False
Let h = 395 + 330. Suppose 3*a + 2*a = h. Is a composite?
True
Let c = 0 + 1. Let n = 23 - 33. Is (-3)/c + (-3680)/n a composite number?
True
Let l = 122 + 38. Suppose -l = 2*z - 66. Let r = z + 70. Is r a prime number?
True
Let n be ((-5)/2)/((-1)/2). Suppose -17 = -n*l - 2. Suppose l*x = -4*m + 75, 4*x - 8 = 3*m + 92. Is x a prime number?
False
Suppose 3*x + 3 = 0, -3*x + 7*x - 811 = -5*n. Is n a prime number?
True
Let k(b) be the first derivative of -b**4/2 + b**2 - 1. Let q be k(2). Is (-3)/q + (-39)/(-4) prime?
False
Suppose 2*y - 30 = 4*p - 702, -3*p - 5*y + 530 = 0. Let g = p + -64. Is g a prime number?
False
Suppose 3*s - 5*g - 28 = s, -4*s + 28 = -3*g. Suppose 3*m + 11 = s*z - 0*z, 2*m = -5*z + 31. Suppose -4*b + z*o + 9 = 0, 7*b = 2*b - 3*o + 39. Is b composite?
True
Suppose -2*y = -3*z - 76, z + y + 7 = -2*y. Let o be (2/4)/((-2)/16). Is (-766)/z + o/(-22) a composite number?
True
Suppose 0*b = -4*b + 8. Suppose -2*r + 85 - 231 = 4*t, 4*t + 126 = b*r. Is (-10)/(2 - (-72)/t) composite?
True
Is (-1 + 24)/((6/(-46))/(-3)) prime?
False
Let c = 101 - 69. Suppose 3*h - 5*w + 77 = 0, -h + 5 - 36 = -3*w. Let u = h + c. Is u composite?
False
Let k(l) = -l**2 + 4*l + 202. Is k(0) composite?
True
Let w(x) = 62*x - 25. Is w(6) a prime number?
True
Suppose 27 = -2*o + 3*o. Suppose 91 + o = 2*q. Is q prime?
True
Is (251/1)/(0 + 1) a composite number?
False
Let u = 131 - -67. Suppose -7*d - u = -4*d. Let z = d - -119. Is z prime?
True
Let q = 6538 + -4631. Is q a composite number?
False
Let c(p) = p**3 + 15*p**2 - 27. Is c(-11) a composite number?
False
Let f(x) = 0*x + 6 + 0*x + x. Let h = -9 - -17. Is f(h) prime?
False
Suppose -4*h = 2*p - 1054, -3*p = -4*h + 3*h + 281. Suppose -h - 42 = -4*l. Suppose 2*f + l = i, i - 5*f - 48 - 29 = 0. Is i a prime number?
False
Let v(a) = -a**2 + a. Let r be v(1). Let n be -6 + 8 - r/(-2). Suppose -3*l = -7*x + n*x - 62, -3*x = 5*l - 92. Is l a prime number?
True
Let l(h) = -h + 8. Let f be l(4). Suppose 5*b - 898 = -3*r, 7*r = 2*b + f*r - 355. Is b composite?
False
Let n be (-1 - 0)*2/(-1). Suppose n*v = 5*m + 11, m = 3*v - 3*m - 6. Is (v + 766)*2/8 a prime number?
True
Let u be (16/(-6))/(-4)*699. Suppose -4*y + 271 = -485. Suppose y = 5*h - u. Is h prime?
True
Suppose -2*v + 2348 = 2*v. Is v prime?
True
Let m be (-33)/(-7) + (-2)/(-7). Suppose a = -1, -1042 = -m*n + 2*a - 300. Suppose 5*z - z = n. Is z prime?
True
Let f(p) = 3*p + 1. Let w be f(-1). Let l be 3/w*4/(-3). Suppose 4*r + 4*q - 128 = 0, -36 = 4*r - l*q - 158. Is r a prime number?
True
Suppose -5*v - 33 = 7. Is (0 + -11)/(v/24) prime?
False
Suppose 5*m - 831 = 1099. Is m a composite number?
True
Let p(x) = -35*x - 22. Is p(-21) composite?
True
Let n(k) = 10*k - 7. Is n(6) a composite number?
False
Suppose -5*x + 4431 = 3*n, n + 2659 = 3*x + 3*n. Suppose 3*f + x = 6*f. Is f a prime number?
False
Let v = 4276 - 2059. Is v a composite number?
True
Suppose -3 = -0*x - x. Suppose 0 = x*u - 3*b - 207, u - 3*b = 4*u - 231. Let h = u + -27. Is h a prime number?
False
Let k = 0 + 4. Suppose 3*p = k*p. Is p + -1 + 1*54 composite?
False
Let i(b) = -7*b**3 + 2*b**2 + 26*b + 16. Is i(-7) a prime number?
True
Let k(s) = -s - 1. Let a = -4 - -7. Let b be k(a). Is ((-10)/b)/((-1)/(-14)) prime?
False
Let z(o) = -o**3 + 13*o**2 + 15*o - 4. Is z(13) prime?
True
Let o = -71 - -622. Is o prime?
False
Let c = -604 - -858. Is c prime?
False
Suppose 7*o - 6*o = 3. Suppose 300 = o*y - 45. Is y a composite number?
True
Suppose -4*u + 5*u = 3*f + 10, 3*u = 5*f + 18. Let s(d) = -7*d + 1. Let m be s(u). Let z = m + 15. Is z a prime number?
False
Suppose f + 15 = 4*f, f = -r + 8. Suppose -4*p + 5*t + 36 + 13 = 0, 2*p + 3*t = -r. Let x(a) = 11*a + 3. Is x(p) composite?
True
Let s = 8 - 3. Suppose -683 = -s*f - 103. Let u = 5 + f. Is u a prime number?
False
Let n = 17 + 196. Is n prime?
False
Let u(n) = 2*n**2 - n + 1. Is u(8) prime?
False
Suppose 0 = 9*x - 8*x - 1061. Is x a composite number?
False
Let w = -356 - -619. Is w a prime number?
True
Suppose 19*f + 370 = 2859. Is f prime?
True
Suppose -4*q = -6 + 14. Let r(t) = t**3 + 2*t**2 + 1. Let y be r(q). Let c(m) = 11*m**2 + m - 1. Is c(y) a prime number?
True
Let x be 184/(-2)*(-2 + 0). Suppose -5*t + 271 = -x. Is t composite?
True
Let j(a) be the first derivative of 3*a**4/2 + a**3 - a**2/2 + a + 5. Is j(2) a composite number?
False
Let u(b) = -2*b**3 - 2*b**2 - 2*b. Let d be u(-2). Is 7/(7/d) - 2 prime?
False
Let v = 192 - 107. Is v prime?
False
Suppose -15*i + 71365 = -10*i. Is i composite?
True
Let n = 12 - -9. Is ((-498)/3)/((-6)/n) a composite number?
True
Let r(o) = -86*o + 9. Is r(-22) composite?
False
Is 119 + 0/(5 + -2) a composite number?
True
Suppose 2*v = -259 + 905. Is v a composite number?
True
Is (30/5 - 5) + 96 prime?
True
Suppose -6*l + m + 3 = -5*l, 5*m = 2*l - 9. Suppose -3 = l*t + 5, 0 = 5*y - 4*t - 351. Is y a composite number?
False
Suppose 5*x = -4*c + 10, -3*c = 2*x - 3 - 1. Suppose 4*p - a - x = a, 0 = -4*p - a + 17. Suppose p*z - 21 = 2*z. Is z a composite number?
True
Suppose 3 = 4*g - 1. Suppose 4*r - 76 = -5*a, 14 + 38 = 3*a - 4*r. Let i = a - g. Is i prime?
False
Suppose 0*v = 2*v. Suppose z + 4*t = -v*t + 18, 0 = 2*z - 3*t + 8. Is 9 - 4*z/4 a prime number?
True
Let k be 20*(383/4 - -3). Suppose y + k = 6*y. Is y a prime number?
False
Suppose -z + 880 = 4*k, -5*k - 3*z + 791 = -316. Let c = 15 - 13. Suppose -35 = -c*j + k. Is j composite?
False
Suppose -2*x + 1820 = -786. Is x prime?
True
Let t(v) = -82*v - 69. Is t(-8) composite?
False
Let j be (2/(-1))/(16/(-8)). Is (j/(-2))/(3/(-474)) prime?
True
Let t be (2/(-4))/((-3)/(-12)). Let j(l) = -14*l**3 + l. Let i be j(t). Let h = i - 45. Is h composite?
True
Suppose -6*x + 25 = -x. Suppose 3*r - 704 = -x*h, h - 3*r - r - 150 = 0. Suppose -4*i = -h - 6. Is i composite?
False
Suppose 0 = -2*n + 10. Suppose -n*q = -2*q - 1335. Is q composite?
True
Suppose 0 = -g - 5, 0 = s - 5*s - 2*g + 4858. Is s a composite number?
F