?
True
Let m(r) = -2*r + 14. Let d be m(10). Is 474/4*d/(-9) prime?
True
Let h be (-2 + 3)*(-2 + 3). Let j(c) be the first derivative of 48*c**2 + c + 2. Is j(h) composite?
False
Suppose 0 = -f - 3*k - 8, 0 = f - 7*k + 3*k - 20. Suppose -p - 2*p + 74 = 5*z, p - 55 = -f*z. Suppose z = y - 4*u - 18, 0 = -5*y + u + 79. Is y composite?
True
Let d = 308 + -213. Is d composite?
True
Let s(o) = 107*o**2 + 14*o + 22. Is s(-7) composite?
False
Suppose -7*b + 2*b + 160 = 0. Suppose -w + 4 = -4*w + 2*s, 4*s + b = -4*w. Is ((-222)/8)/(1/w) a prime number?
False
Suppose -4*o = -6*w + 3*w + 3773, -4*w = 2*o - 5038. Is w prime?
True
Suppose -4*x - 5*l = -3*l + 514, -4*x - 544 = -4*l. Let o = x - -558. Is o prime?
False
Suppose 0 = 2*o - m + 35, 0 = -2*o - 2*o + m - 71. Is 6710/18 - 4/o a composite number?
False
Let h(s) = -s**3 + 13*s**2 - 4*s + 19. Is h(8) a prime number?
True
Let d(c) = 75*c - 1. Let r be ((-20)/15)/((-2)/(-9)). Let b = -4 - r. Is d(b) composite?
False
Let z = 9 - 7. Suppose -z*d - 3*d = -3*r - 365, -r = -3*d + 215. Suppose n = 3*n - d. Is n composite?
True
Let d(r) = -6*r**2 - 2*r - 2. Let f be d(-3). Let o = f - -112. Suppose -3*b - v = -o, -8*b + 3*v + 108 = -3*b. Is b composite?
True
Suppose 2*x - 3*w = 16 - 4, -4*w = 8. Suppose 2*t - 2 = -3*u, -2*u = 2*u + t - 11. Suppose -47 = -c + 3*z, x*c = 5*c + u*z - 134. Is c composite?
False
Let q(d) = 3*d**2 - 4*d. Let i be q(8). Let o = 271 - i. Is o prime?
False
Suppose 2*p = 0, -p - 2*p + 572 = 4*i. Is i a prime number?
False
Suppose -p - 4 = -10. Is p prime?
False
Let p = 0 + 9. Suppose -2*y - p = -71. Is (-2 + 1 - -1) + y composite?
False
Suppose -2*t = -4*v - 94, -3*v = -3*t - 0*v + 135. Is t prime?
True
Let m(k) = -83*k**2 - 8*k - 8. Let n(v) = 83*v**2 + 9*v + 9. Let b(c) = -6*m(c) - 5*n(c). Suppose 3*i + 9 = h, -4*h = -i - 3*h - 5. Is b(i) a composite number?
True
Suppose -5*z + 76 = -349. Is z a prime number?
False
Suppose -6*s = b - s - 26, 0 = -s + 2. Is (-5469)/(-11) + b/(-88) prime?
False
Suppose r + 5 = c - 23, -2*c + 56 = 2*r. Let u(z) = -z - 9. Let l be u(-9). Is c - (4 + l + -2) composite?
True
Let t = 5 - 2. Let a(s) = s**2 - s - 2. Let o be a(t). Suppose 2*m - m = -4*i + 28, 0 = -m + o. Is i prime?
False
Let v(j) be the second derivative of -37*j**3/2 + 4*j. Is v(-1) prime?
False
Let f = 0 - -2. Suppose -5*l + f = 12. Is (62/6)/(l/(-6)) composite?
False
Let f(s) = s**2 - 3*s - 11. Let l be f(8). Suppose -u - l = -118. Is u a prime number?
True
Is (4/(-11))/(-2) + 39384/99 a composite number?
True
Let u be ((-12)/14)/((-2)/(-14)). Let c = -3 - u. Suppose -5*a + 373 = -4*w, c*w - 119 = -2*a + 44. Is a a prime number?
False
Suppose 0 = -3*t - 0*j + 2*j + 1723, -2289 = -4*t + j. Is t prime?
True
Suppose -3*g - 3*j - j = 61, 4*g - 2*j = -96. Let a = -4 - g. Is a a prime number?
True
Let g = -9 + 12. Suppose -7*l + 124 = -g*l. Is l composite?
False
Let j(k) = k + 11. Let g be j(-8). Let h = g - 3. Suppose -3*v = -2*c - 99, 4*v + 5*c + 39 - 171 = h. Is v a prime number?
False
Suppose -x - 2*b - 6 = -1, 4 = -b. Suppose 1 = -x*f + 28. Is (1 + 177/f)*3 a prime number?
False
Let h(l) = -2*l - 1. Let c be h(-3). Suppose c*n - 3*k = 414, -5*n - 2*k + 185 = -214. Suppose -4*f + n = -51. Is f a prime number?
False
Let y(s) = -63*s**3 - 2*s**2 - s. Let o be y(-2). Suppose -k - 3*k - 163 = -g, -3*k = -3*g + o. Is g composite?
False
Let d(x) = -72*x. Let t be d(3). Let m = -110 - t. Is m composite?
True
Let t = 2 + 1. Suppose t + 1 = 2*u. Suppose u*j - 35 = -x - 0*x, -4*j = -4*x + 152. Is x composite?
False
Let z = -186 - -821. Suppose -8*j + 13*j - z = 0. Is j a prime number?
True
Suppose 130*c + 25876 = 134*c. Is c a prime number?
True
Let q = -6 + 6. Let b = -2 + 7. Suppose -300 = -0*x - 5*x + b*i, -2*x - 5*i + 85 = q. Is x a composite number?
True
Let y(t) = -43*t + 11. Let w be y(-8). Suppose -w + 129 = -2*c. Is c a composite number?
False
Let g(v) = 4*v**3 + 2*v**2 + 7*v - 13. Is g(8) a composite number?
True
Let q = -2 + 2. Suppose 0 = 2*d - 8 - q. Is d a prime number?
False
Suppose k + 2*k + 15 = 0, -2*v + 8 = 2*k. Is 357/v*(1 - -2) a prime number?
False
Suppose 32 = 4*a - 3*n, -a - 1 - 2 = 2*n. Suppose 5*o - 3*f = 39 - 13, -4*o + a*f = -13. Let z(x) = 7*x + 6. Is z(o) a prime number?
False
Let b(g) = 19*g**3 - g**2 + g - 6. Let x(p) = -37*p**3 + p**2 - p + 11. Let c(r) = 5*b(r) + 3*x(r). Is c(-2) composite?
True
Is ((-635)/(-10))/(2/4) a prime number?
True
Let w be 1/4 - 46/(-8). Let f(n) = 2*n**3 - 10*n**2 + 9*n + 1. Is f(w) prime?
True
Let h = 173 - 104. Suppose 0 = 3*r - 0*r - h. Is r prime?
True
Is 20*(2/5)/((-8)/(-865)) prime?
False
Let c(w) = 3*w**3 - 2*w**2 - 17*w + 13. Is c(6) a prime number?
True
Let z(k) = 12*k**2 - 2. Let s be 2 + (0 - -2 - 2). Let l be z(s). Let v = l + -25. Is v prime?
False
Let k(m) be the second derivative of -13*m**3/6 + 3*m**2/2 - m. Is k(-12) composite?
True
Suppose -8*h + 3980 = -2972. Is h composite?
True
Let z be -1*(0/1 - 7). Let v(r) = r - 3. Let i be v(z). Is i/(12/27) - 2 composite?
False
Suppose 3*i - n = 12478 + 3870, -3*i - n + 16346 = 0. Is i a prime number?
True
Suppose -6*f + 3*f + 6 = 0. Suppose 5*c = f*c + 9. Suppose c*h + h = 84. Is h prime?
False
Let k = 120 - -515. Is k a prime number?
False
Let a(i) = -2*i - 11. Let s(y) = -10*y**3 + 2*y**2 - 1. Let l be s(1). Is a(l) prime?
True
Suppose 9*b - 2092 - 2273 = 0. Is b prime?
False
Let n be -1 - -3 - 1/(-1). Suppose 2*x - n = x. Suppose 8*h - 105 = x*h. Is h composite?
True
Let o(x) = x**3 + 8*x**2 - x - 8. Let r be o(-8). Suppose -w - 1 = -r*w. Is (15 + w)*1/2 composite?
False
Let w(y) = 5*y + 3. Let o be w(-4). Let a be 12/(-30) + o/(-5). Suppose -5*v - 2*x = -81, -x + 1 + 47 = a*v. Is v prime?
False
Let z = 26 + -5. Is z a prime number?
False
Suppose -2*n + 6 = x, 0 = n - 2 - 3. Is (2 - 5) + 346 + x prime?
False
Let i(k) = k**3 + 4*k**2 + 2. Suppose 4*s + 19 = 3. Let z be (2/s)/((-3)/18). Is i(z) composite?
True
Is (-1)/(-4) - 61193/(-44) a prime number?
False
Let a(w) = -w**3 - w**2 + 1. Let x(d) = -12*d**3 - 6*d**2 + 5. Let t(j) = 6*a(j) - x(j). Let c be t(-1). Let l(g) = g**2 + 2*g - 4. Is l(c) composite?
False
Let f(j) = -8 + 6*j - 10*j - 5*j. Is f(-7) a prime number?
False
Let w(b) = 23*b + 16. Let c(x) = 8*x + 5. Let h(s) = -7*c(s) + 2*w(s). Suppose -v + 2*p - 6 = 2*v, 2*v + 20 = -4*p. Is h(v) a prime number?
True
Let o = -488 - -819. Is o composite?
False
Let y be (-20)/6*1584/(-5). Suppose 0 = -3*c + 4*c + 2, 4*r - 2*c - y = 0. Is r a composite number?
False
Let h be (-12)/4*4/(-3). Suppose h = t + t. Is (-336)/(-9) - t/6 a composite number?
False
Suppose 5*j = 3*p + 2*j + 9, 2*p + 5*j - 8 = 0. Let b be (-22)/(-3) + (-6)/(-9). Let t = b + p. Is t a composite number?
False
Suppose l - 730 = -l. Let v = 564 - l. Is v a prime number?
True
Let d = 23 + -20. Suppose -422 = d*g - 5*g. Is g a prime number?
True
Suppose 15 = 5*u - 4*i, -i - 3*i = 2*u - 6. Suppose -t - u*t = -940. Is t composite?
True
Let c(m) = m**2 + 3. Suppose 0 = 10*x - 14*x. Is c(x) a prime number?
True
Let h(z) = -z**3 - 14*z**2 + 15*z + 4. Let f be h(-15). Let a = -3 + 23. Suppose -f*y + 56 = -q - a, 0 = -3*q. Is y a prime number?
True
Suppose 3*i = 2*j - 4, 31 = 4*j + 3*i + 5. Let w be j + (-1 - 2) - 3. Is 1/(w - 108/(-106)) a composite number?
False
Suppose 2*s = -n + 7, -2*n + 28 = 2*n + s. Suppose n = -2*q + 3. Is 0/(-2) + (q - -9) composite?
False
Suppose 2*k - 785 = -3*k. Is k composite?
False
Let k = 22 + -31. Let p(n) = n**2 + 7*n + 4. Is p(k) a prime number?
False
Let b be 7*2*21/(-6). Let j = 30 - b. Is j a prime number?
True
Let v = 3 - -2. Suppose 0 = 2*g - g - 2, -v*y - 119 = -2*g. Is (y + 0)*(1 + -2) composite?
False
Let k(j) = 31*j**2 + j. Let z be k(2). Let i = 253 - z. Is i a prime number?
True
Let b be (5/(-10))/(3/12). Is b/((-32)/20)*44 a prime number?
False
Suppose -4*f = 4*x - 852, 0 = -3*x - 2*x + 10. Is f composite?
False
Let j(z) = 2*z - 9. Let c be j(7). Suppose 0*w + 40 = c*w. Is (-6)/24 - (-170)/w composite?
True
Suppose 0*q = 4*q - 3136. Suppose q + 2421 = 5*j. Is j prime?
True
Let g(z) = z**3 + 8*z**2 - z - 3. Let l(i) = 4*i**3 + 24*i**2 - 3*i - 9. Let t(p) = 7*g(p) - 2*l(p). Is t(7) a prime number?
False
Is 423/2 + 4*(-5)/40 a prime number?
True
Let m be (6 + -5)/((-1)/(-2)