be (-5 - -2) + 3/3. Is (-4)/z*22/4 prime?
True
Let z(i) = 2*i**2 - 1. Is z(-8) a prime number?
True
Let d = 4 + 30. Is d a composite number?
True
Suppose -2*r = o + 65, 3*o + 196 = 5*r - 43. Let b = -210 - -100. Let g = o - b. Is g a prime number?
True
Suppose 0*p - 2*p + 1338 = 2*f, -4*f - 3*p = -2680. Is f a prime number?
True
Let j be (73/(-2))/((-3)/12). Suppose 3*i + 5*f - j = 0, 2*f = -2*i + 4 + 92. Is i prime?
True
Let t be (-2)/7 + (-23)/(-7). Suppose -2*s = -41 + t. Is s prime?
True
Suppose 1563 - 5257 = -2*l. Is l composite?
False
Let z = 412 - -1123. Is z prime?
False
Suppose -69 = -0*y - 3*y. Let n = 108 - y. Is n a composite number?
True
Let o(g) = 30*g**2 + 1. Is o(-2) a prime number?
False
Let t(w) = w**3 - 9*w**2 + 4*w + 1. Let j be (-220)/(-24) - 1/6. Is t(j) composite?
False
Let o be ((4/2)/(-2))/1. Is 848/10 + o/(-5) a prime number?
False
Is ((-526)/(-6))/(1/3) composite?
False
Let w(d) = 31*d - 14. Let o(g) = -16*g + 7. Let n(r) = -11*o(r) - 6*w(r). Is n(-6) composite?
False
Suppose -3*r - 129 = -4*j + 623, 2*r = 3*j - 565. Is j a composite number?
False
Suppose -m - 244 = -3*m. Let t = -83 + m. Is t prime?
False
Let w = -782 + 1501. Is w a prime number?
True
Let j be (-510)/21 - (-4)/14. Let y = 48 - j. Let p = -34 + y. Is p composite?
True
Suppose 3*l - 5*u - 12 = 4, 0 = l + u. Suppose -4*i = -l*i - 26. Is i a prime number?
True
Let b = 187 + -102. Is b a composite number?
True
Let l be ((-16)/(-12))/((-1)/(-3)). Let r(b) = 4*b**2 - 4*b - 1. Is r(l) a prime number?
True
Let n(r) = -r**2 - 2*r. Let s be n(-2). Suppose -4*t - t - 100 = s. Let z = -9 - t. Is z composite?
False
Let t(k) = -k**2 + 9*k - 5. Let l be t(8). Suppose l*h + h - 112 = 0. Is (37/(-4))/((-7)/h) a prime number?
True
Suppose -5*d + 578 = -147. Suppose 4*o + d = p + 1166, -1006 = -4*o - 2*p. Is o a composite number?
True
Let h(a) = -5 - a + 0 + 0 + 3. Let s be h(-6). Let t(f) = -f**2 + 10*f - 5. Is t(s) composite?
False
Is (-37697)/(-99) + (-4)/(-18) a prime number?
False
Let k(z) = 5*z + 2. Let x = 6 - -3. Is k(x) composite?
False
Let g = -663 + 1322. Is g composite?
False
Suppose 963 = 4*l - l. Is l a prime number?
False
Let b(h) = 23*h - 10. Let s be b(6). Suppose -15 = -5*m - 0. Suppose m*c - s = 211. Is c prime?
True
Let g be ((-1572)/5)/((-6)/20). Let p be g/(-10)*10/(-2). Let z = -313 + p. Is z a prime number?
True
Let o = -436 - -995. Is o composite?
True
Let x be (-3 - 0)/1 - 108. Let v = x + 194. Is v prime?
True
Suppose n = -4*n. Let g be n + -1 + (3 - 2). Suppose -i + g = -9. Is i a prime number?
False
Let c be -5*(1 - 46/10). Let j = -9 + c. Is j prime?
False
Let m = 117 + 74. Is m a prime number?
True
Suppose 3069 = y + 920. Is y a composite number?
True
Let c(o) = -132*o - 1. Is c(-2) prime?
True
Let v be 1*2*(-9)/(-6). Let y be (-21)/(-12) - (-2)/8. Suppose 0 = v*o - y*o - 23. Is o composite?
False
Let g(u) = u**2 + 2*u - 5. Let l be g(-4). Suppose 2 = m + l*p, 3*m - 4*m + 2 = p. Suppose 20 = 5*r, -f = 2*f + m*r - 293. Is f a prime number?
False
Let y(h) = -h**3 + 4*h**2 - h + 2. Let v be y(4). Let w(z) = 4*z + 3. Let s be w(v). Is (-3 - s) + 1 - -220 a prime number?
True
Let z(f) = 13*f**2 - 6*f + 42. Is z(-11) composite?
True
Suppose 23 = 4*o - 13. Suppose k = -4*r, 2*k - r = -0*r + o. Suppose -k*y = -168 - 188. Is y a prime number?
True
Suppose 0 = t - 3*t + 3*l + 9, -3*t = -3*l - 12. Is 1220/6 - 1/t composite?
True
Suppose 3*r = 16*r - 7969. Is r composite?
False
Suppose -988 = -4*w - 180. Is w a prime number?
False
Suppose -5*i - r + 2*r = -4080, -3*r - 3253 = -4*i. Is i a prime number?
False
Suppose 5*l - 4*u = 343, -4*l - l + 358 = u. Is l a prime number?
True
Let a be ((-82)/(-3))/2*3. Let t = -4 + a. Is t prime?
True
Let v be (-1 + (-9)/3)/(-1). Suppose -c = 4*c + 20, -v*x = c - 1276. Let t = x - 171. Is t prime?
True
Suppose 0 = y + 3*s - 1282 + 500, 792 = y + 5*s. Is y a prime number?
False
Let n be 12/(-48) + (-6750)/8. Is (21/14)/((-6)/n) a composite number?
False
Suppose -2*u = 5*f + 20, -8*u + 3*u = -3*f + 19. Let d = u + 16. Is d a composite number?
False
Let n(x) = x + 1. Let c(j) = 53*j**3 + j**2 - 6*j - 6. Let z(i) = -c(i) - 6*n(i). Let y be z(1). Is 1 - (-1)/((-3)/y) a prime number?
True
Let y(c) = c**2 + c - 308. Let r be y(0). Is r/(-16) + 2/(-8) a composite number?
False
Let z(x) = -x**3 + 8*x**2 + 11*x - 3. Let i = 20 + -13. Let o(c) = -c**2 + 9*c - 5. Let h be o(i). Is z(h) prime?
False
Let n(i) = -i + 3. Let m be n(0). Suppose 2*y = -2*d + 146, 92 = y - 3*d + m. Let o = y - 24. Is o prime?
True
Let w(z) = z**3 + 12*z**2 + 4*z + 4. Suppose 0*v - 5*v - 45 = 0. Is w(v) a prime number?
True
Is (2/(-3) - 0)/((-2)/1893) prime?
True
Suppose -7*t + 10 = -2*t. Suppose -t*b = -4*p + 858, -5*p + b = 5*b - 1066. Let u = -83 + p. Is u prime?
True
Suppose 4 = -5*l - 21. Let o = 8 - l. Is o composite?
False
Let m = -215 + 124. Let j = m + 12. Let l = j - -112. Is l composite?
True
Is (-148)/(0 + -4)*37 a prime number?
False
Let u = -7 + 6. Is (-72)/(u - 1) + -3 prime?
False
Let j(a) be the first derivative of 14*a**2 - 1. Let o be j(4). Suppose 16 = -2*s + 2*t + o, 5*s = -3*t + 264. Is s prime?
False
Suppose -5*g = -g - 2*x - 20, g - x = 4. Let l(o) = 5*o + 5. Let n(k) = -10*k - 11. Let s(f) = 5*l(f) + 2*n(f). Is s(g) prime?
False
Suppose -2*v = -5*v + 771. Is v composite?
False
Let m = 0 - -3. Let u(g) = 65*g - 4. Is u(m) a composite number?
False
Suppose -6*p = 4*w - 3*p - 3, 4*p = -w - 9. Suppose w = 3*t - 5*b - 3, -4*b + 6 = 3*t. Suppose -87 = -t*i + 23. Is i a composite number?
True
Suppose -3*w + 6*w + 24 = 0. Let z(g) = -2*g**3 - 9*g**2 - 3. Is z(w) a prime number?
False
Let b(o) = -116*o + 3. Is b(-4) composite?
False
Let c = 56 + -26. Suppose 2*m - 26 = -2*d - 2*m, 3*d + 3*m = c. Is d a composite number?
False
Let x(v) = 8*v + 2. Is x(9) a prime number?
False
Suppose 7*r - b = 4*r + 1963, 2*b = -4*r + 2624. Is r a composite number?
True
Is -97*2*-46*(-2)/(-8) a composite number?
True
Let q be 1 + -1 - 0/1. Suppose 3*p = 4*p - y - 20, 3*p - 66 = -3*y. Suppose 2*a - 17 - p = q. Is a a composite number?
False
Let l(r) = -22*r + 2. Let b(a) = -a**2 - 10*a + 9. Let u be b(-11). Is l(u) a prime number?
False
Let s be 92/(-24) - (-2)/(-12). Is 4/(s + 0) + 128 prime?
True
Let h(f) be the first derivative of -11*f**5/10 + f**4/6 + f**3/3 + f**2/2 + f - 1. Let a(y) be the first derivative of h(y). Is a(-1) a prime number?
True
Let x = 711 - 502. Is x a composite number?
True
Suppose -2*a = 3*w - 59, -11 + 52 = 2*w + 3*a. Is w composite?
False
Let n(l) = 2*l + 4. Let o(j) = j + 5. Let f(i) = 4*n(i) - 3*o(i). Is f(6) a prime number?
True
Suppose -w + 81 = -130. Is w a composite number?
False
Is (-2192 + -2)*(2 + 10/(-4)) prime?
True
Let q(p) = 6*p**2 + p - 2. Let l be q(2). Is ((-89)/4)/((-2)/l) a prime number?
False
Suppose 5*c = -868 - 7. Let m be (9/(-4))/((-21)/2408). Let n = c + m. Is n composite?
False
Suppose -3*h = -f + 2*h + 11, 3*f + h = 1. Let m be 3/((-2)/(-2)*f). Suppose 4*o = 4*z + 4, 5*o = z + m*o + 6. Is z a prime number?
False
Let l(s) = -14*s + 15. Is l(-8) composite?
False
Let y(d) = 173*d**2 + 3*d - 4. Is y(2) composite?
True
Let h = 8 + -5. Suppose -657 = -3*q + 5*s, 5*s + 0*s = -h*q + 657. Is q a prime number?
False
Let t = -7 - -9. Suppose t*h - 67 = h. Is h a prime number?
True
Let v = 230 + -39. Is v a composite number?
False
Let b be (-4)/(-18) + (-2)/9. Suppose b = -3*k + 1 - 4. Is ((-52)/12)/(k/21) a prime number?
False
Suppose 19 = q + 6. Let g = q + -3. Suppose -59 + g = -d. Is d a composite number?
True
Let a(p) = 2*p**2 + 14*p + 13. Is a(-20) a composite number?
True
Suppose 2*u + 4*w + 156 = -u, -2*u - 4*w = 108. Let f = u - -157. Is f a prime number?
True
Let m(o) be the second derivative of 11*o**5/20 - o**4/12 - o**2/2 - 9*o. Is m(2) prime?
True
Suppose -27 - 16 = -2*n + f, 0 = 5*n + 3*f - 80. Suppose g + 0*g = 0. Let q = n + g. Is q prime?
True
Suppose 5*m = 59 + 21. Let o = 21 + -15. Let n = m - o. Is n prime?
False
Suppose 0*s + 150 = 6*s. Suppose -w - 56 - s = -2*m, 20 = -4*w. Is m composite?
True
Let d(z) = -z + 1. Let t be d(1). Suppose p + 3*p = t. Suppose 0*s + 5*s - 335 = p. Is s composite?
False
Suppose a + 4*i = -2, -5*a - 2*i + 8 = -0*i. Suppose 3*n + a*n = -4*r + 591, 456 = 4*n 