?
True
Let l be (-4)/10 - (-66)/15. Let t(k) = k**2 - 2. Let b be t(l). Let u = 28 - b. Is u a prime number?
False
Let o(m) = 6*m**2 - m + 2. Suppose 0*q = -3*p + q + 19, 0 = -p - 4*q + 15. Let a = 10 - p. Is o(a) a prime number?
True
Let g = 6 - 6. Suppose -2*p - 3*p + 50 = g. Is 3/(-5) - (-1496)/p a composite number?
False
Let u be 2 - -7*(-1 - -2). Let l = u + -5. Suppose -l*w - 43 = -t, 2*t + 3*t - 125 = 2*w. Is t prime?
True
Let s(i) = 20*i**2 - 3*i - 1. Is s(-1) prime?
False
Is (-1)/(1/(-109)) - -4 composite?
False
Is -4*(2 - 967/4) a prime number?
False
Let y(u) be the first derivative of -u**3/3 - 7*u**2/2 + u + 1. Let v(z) = 2*z + 6. Let t be v(-5). Is y(t) composite?
False
Let f = 2 + 2. Suppose 0 = f*t - t - 42. Is t a composite number?
True
Let x = 143 - 9. Let i = 2 - 2. Suppose 0 = -i*m - 2*m + x. Is m a composite number?
False
Suppose -3*d = -2*p - 2*p + 4241, -4*p = 3*d - 4247. Is p composite?
False
Let d = -1 - -1. Suppose -s + 3*s = d. Suppose s = 2*q - 24 - 106. Is q a prime number?
False
Suppose 4*b + 83 = 3*c, c + 3*b - 17 = -b. Suppose -7 = 2*z - c. Is z composite?
True
Is 2/7 - (-729)/21 composite?
True
Let l be (-1)/5*-2*-5. Let j(s) = 7*s**3 - s**2 - 2*s - 3. Let u be j(l). Let o = -10 - u. Is o prime?
False
Let y be (-67)/2 + 2/(-4). Suppose -384 = 4*m - 16. Let v = y - m. Is v a prime number?
False
Let w be ((-114)/(-8))/((-2)/8). Let g = -4 - w. Is g composite?
False
Let h(y) be the third derivative of 3*y**5/20 - y**4/8 + y**3/6 + 2*y**2. Is h(2) a prime number?
True
Let u(o) = -o**2 + 24*o - 9. Suppose -2*j = 2*j - 40. Is u(j) a prime number?
True
Let b = 828 + -514. Is b composite?
True
Let c(o) = -o**3 + 8*o**2 + 8*o + 4. Let d be c(9). Let y = d + 8. Is y a prime number?
True
Is 441 - (24/(-3))/4 - 0 a composite number?
False
Let g be 6*(1 - (2 - 0)). Is g*(1 - (-14)/(-4)) a prime number?
False
Suppose s - 6*s + 20 = 0. Suppose -3*t + 7 + 8 = 0, s*t = -3*d + 275. Is d composite?
True
Let j = -4 - -4. Let o = 2 - j. Suppose 35 = 5*d - o*m - 142, 5*d + 3*m = 197. Is d prime?
True
Let k be (-1)/4 + (-1)/(-4). Suppose 0*r = 4*r - 2*f - 18, -29 = -5*r - 4*f. Suppose 5*l + 375 = r*s, -5*s + 387 = l - k*l. Is s a prime number?
False
Let z = -183 - -370. Is z prime?
False
Suppose 1 = 4*z - 7. Suppose 0 = 6*m - m. Suppose -d - 4*r + 31 = m, -z*d + 7*d + r = 212. Is d prime?
True
Is (-4)/24*-9 - 1571/(-2) a composite number?
False
Suppose -f - 3*l + 17 = 0, -f + 4*l - 16 = f. Let t(u) = -10*u**2 + 2*u + 1. Let v be t(f). Is v/(-2)*(5 + -3) a composite number?
True
Let l(s) = 2*s**2 - s. Let p be l(2). Let o(y) = y**3 - y - 9. Let j be o(0). Is 201/(-2)*p/j a prime number?
True
Let b(n) = 39*n**2 - n - 9. Is b(-5) a prime number?
True
Let n(f) = -5*f - 8. Let a(o) = 10*o + 1. Let j be a(-1). Let z be 1*j/1*1. Is n(z) a composite number?
False
Let m = 0 - -4. Suppose m*y - 523 + 90 = -5*x, 2*y - 261 = -3*x. Is x a composite number?
False
Let y(o) be the first derivative of -o**7/840 + o**6/180 - o**5/40 + o**4/6 - o**3 - 3. Let v(n) be the third derivative of y(n). Is v(-3) a composite number?
True
Let z = -1060 + 2159. Is z prime?
False
Suppose -1 = -2*t - 3. Let u = 3 + t. Is u/2*(2 + 47) composite?
True
Suppose 5*i = 4*i - 24. Let t = i + -6. Let v = 49 + t. Is v a composite number?
False
Let i(r) = -18*r + 11. Is i(-6) a prime number?
False
Suppose 0*i - i = 3*d - 8, -d = -4*i + 6. Let v be 48/(-26) - 2/13. Is i + (0 - -79) + v a prime number?
True
Let x be 6 - ((-3 - -2) + 2). Let g = x - -34. Is g a composite number?
True
Let r(u) = 46*u - 1. Let f be r(5). Suppose 66 + f = 5*a. Is a prime?
True
Let n(r) = r**3 + 12*r**2 + 6*r + 2. Is n(-9) a prime number?
True
Let y(i) = -4*i**2 + i - 5. Let o be y(4). Let z = o + 103. Suppose 2*c = -3*v + 33, -2*v + 5*c + 3 = -z. Is v prime?
True
Suppose -37 = -4*t + 7. Suppose 0 = 5*b - t - 4. Is b a composite number?
False
Let f(a) = 202*a**2 - a + 2. Is f(1) a prime number?
False
Let z(o) = -9*o - 1. Let i(l) = 0*l**3 - 7*l**2 + l + 2*l**3 + 5*l - 4 - l**3. Let y be i(6). Is z(y) prime?
False
Let d be (-4)/(36/(-33) + 1). Let x(v) = -v + 11. Let j be x(5). Suppose -2*u - j = -d. Is u a prime number?
True
Let g = 77 + 40. Let l(v) = -9*v**2 - v - 4. Let i be l(-3). Let n = i + g. Is n a prime number?
False
Suppose -150 = -2*l - 4*d, -4*d = -0*d + 20. Is l composite?
True
Suppose -5*f + 4 = 2*u - 9, 3*f - 13 = 4*u. Suppose 21 = f*j + 3*l, 44 = 5*j - 4*l + 9. Suppose 5 + j = 2*x. Is x composite?
True
Suppose -5 = -i - 2. Let u = -27 - -111. Suppose -4*b + 163 = 4*d + 15, 2*b - u = i*d. Is b composite?
True
Suppose 4*k = -k + 5. Is 110/20*(11 - k) composite?
True
Suppose -x + 5*i = -2*x + 135, -2*i - 282 = -2*x. Suppose 3*o = x - 473. Let b = o + 158. Is b a composite number?
False
Let a = 1440 + -533. Is a composite?
False
Suppose i - 2*q = 388, q + 2 = -1. Is i a composite number?
True
Let y(g) = 18*g**2 + 4*g + 5. Suppose 0 = 3*b + 9. Is y(b) a composite number?
True
Suppose -5*b + 7831 = 3*j - 2058, 5*b = 3*j + 9901. Is b prime?
True
Let u(f) = -52*f - 27. Is u(-7) prime?
True
Let f(k) be the second derivative of -29*k**3/2 - k**2/2 + k. Is f(-6) composite?
False
Is (3/(-6))/((-3)/1146) a composite number?
False
Let l be 5/(-2 - (-2 + 1)). Let b(u) = u**2 + 3*u + 5. Is b(l) composite?
True
Let w(v) = 39*v**2 + 2*v - 3. Is w(4) a composite number?
True
Let n be -4*1/2 - -11. Suppose -4*o = -n*o + 1315. Is o composite?
False
Let c(z) = 2*z - 16. Let h be c(11). Suppose -u = -h*u + 10. Suppose i - 5*x = 188, 5*i - x - 830 = u*x. Is i a prime number?
True
Let c = -6 + 12. Let p(i) = -4*i**2 + 7*i + 3. Let m be p(c). Let w = m - -214. Is w a composite number?
True
Suppose -q + 30 + 4 = 5*p, 12 = 3*p. Suppose s = q + 19. Is s prime?
False
Suppose 1313 + 2177 = 5*s. Is s composite?
True
Let r be -4*-2*13/4. Let i be 1/(-5) + (-392)/(-10). Let n = i - r. Is n a composite number?
False
Let n(j) = -7*j**3 - 8*j**2 - 2*j + 9. Is n(-5) prime?
False
Let j be (-10)/(-15) + (-26)/(-6). Suppose -2*k = -j*i, -k + 0*i = 4*i - 13. Suppose -5*m + 58 = -k*r + 3, 3*m = r + 29. Is m a composite number?
True
Let t = 23371 - 16022. Is t a composite number?
False
Let j be ((-16)/12 - -1)*-6. Let k(b) = 2*b + 0*b - 1 + 2*b. Is k(j) prime?
True
Suppose c + 3*v - 5 = 0, 0 = 3*c + c - 2*v + 22. Let r be (c/6)/(7/(-2709)). Suppose -2*k = k - r. Is k a prime number?
False
Suppose 2*b - 248 = -r + 65, -651 = -2*r + b. Let y = r - 98. Suppose 161 = 2*s + p, 3*s - p - y = 3*p. Is s composite?
False
Let q be (27/18)/(2/12). Let j = -2 + q. Is j a prime number?
True
Suppose 0 = -t + 7 + 12. Is t composite?
False
Suppose -3*d + 18307 = 3046. Is d composite?
False
Let c be (-62 + 5)/(1/14). Let n = -529 - c. Is n a prime number?
True
Suppose -6*m = -4*m - 2302. Is m a prime number?
True
Let r(o) = o**2 - 1. Let g(u) = 5*u**2 - 12*u - 12. Let d(a) = -g(a) + 4*r(a). Suppose -2*v = 0, -6 - 30 = -4*w - 2*v. Is d(w) prime?
False
Is (-5)/(-25) + 5304/5 a prime number?
True
Let f(g) = -g**3 + 5*g**2 - g + 1. Let a be (-8)/2*20/(-16). Let z be f(a). Let y(o) = 7*o**2 - o - 1. Is y(z) a composite number?
True
Let t(q) = 14*q**2 - 15*q - 21. Is t(-14) prime?
False
Let h(r) = r**3 + 2*r**2 - 9*r + 3. Let d be h(6). Suppose 0 = -5*i + 2*i + d. Is i a prime number?
True
Suppose -2*s - 2*g = -0*s - 14, -5*s + 4*g - 10 = 0. Suppose -2*b = -n - 3*n + 144, -s*n = -2*b - 68. Let j = 57 - n. Is j a composite number?
False
Let c(n) = -n**3 + 8*n**2 + 8*n + 4. Let x be c(9). Let m(h) = 7 + 5*h + 6*h**2 - 3 + h**3 + 3. Is m(x) a prime number?
True
Let b(c) = 3*c - 2. Suppose 5*w - 4 - 6 = 0. Let h be b(w). Suppose 2*z - h*z + 38 = 0. Is z prime?
True
Suppose 0 = -4*x + 2*c + 74, 2*c - 11 = -x + 5. Is 2/(-6) + 4632/x a prime number?
True
Let m = 659 + -448. Is m composite?
False
Let i = -14 - -32. Let p = i + -8. Is p a prime number?
False
Suppose -4*l - 228 = -1084. Is l a composite number?
True
Let u = -5 - -10. Let i(m) = 3*m - 165 + 2*m + 161 + 2*m. Is i(u) a prime number?
True
Let a(s) be the first derivative of 2*s**3/3 + 3*s**2/2 + 7*s - 2. Is a(6) prime?
True
Suppose 3*q + 0*k - 797 = -4*k, 2*q = 2*k + 508. Is q composite?
True
Let q = 148 - -75. Is q prime?
True
Is (7240/3)/8 + 4/(-6) prime?
False
Suppose -4*g - 3*m = -1005 -