*2 - 7*x - 4. Let l be z(-8). Let m = 63 + l. Let y = m - 4. Is y prime?
True
Suppose -5*f + 2*v + 25 = 0, 0 = -2*f + 4*f + 5*v + 19. Suppose 0 = -3*x - 2*k + 57, -3*x + 0*k + f*k = -72. Is x composite?
True
Suppose 4*g - 5*j - 5 = 3, g - 2 = 4*j. Suppose 0 = -g*u + u + 37. Is u a composite number?
False
Is 17927/21 - 4/6 prime?
True
Is (-52)/39 - 631/(-3) a composite number?
True
Let w be 14/(-91) + 108/26. Suppose -a = -3*h - 598, 4*h = -w*a + 6*a - 1206. Is a a composite number?
False
Suppose 7*h - 61199 = -12*h. Is h prime?
True
Let z be -4*((-34)/8 + 3). Suppose -5*x - w + z*w + 559 = 0, 0 = -5*w + 20. Is x a composite number?
True
Let b = -14 + 5. Let r(z) = -z**3 - 8*z**2 - z - 5. Is r(b) a prime number?
False
Suppose -b - 3*t + 3 = -0*t, 2*t - 6 = -2*b. Suppose 295 = b*c + 2*c. Is c a prime number?
True
Suppose 4*w - 24 = -l, 6*w - 12 = 2*l + 2*w. Suppose 3*x = -3*c + 45, -l*x + 0*c - 2*c + 56 = 0. Is x composite?
False
Let k(n) = -5*n + 6. Let c(v) = -9*v + 11. Let r(q) = 4*c(q) - 7*k(q). Let a be r(0). Is a*(-2)/((-4)/163) a prime number?
True
Suppose -2 = -2*p - 5*h - 13, -8 = 2*p + 2*h. Let u = p + 3. Suppose u*q - 393 = -3*q. Is q composite?
False
Let b(l) = l**3 + 4*l**2 + l - 3. Let x(m) = -m**3 + 5*m**2 - 2*m - 3. Let s be x(4). Suppose 0 = s*i + 5*a, -2*i + 3*a - 18 = -a. Is b(i) composite?
False
Suppose -24 = -2*c + 5*r, c + 14 = -2*c - 5*r. Suppose -c*t = 2*k - 25 - 33, 5*k - 113 = 3*t. Is k prime?
False
Let v(f) = -f**3 - 10*f**2 - 14*f + 25. Is v(-12) composite?
True
Let o = -2 + 2. Suppose d + 0*d + 34 = o. Is (-2 + 5)/((-3)/d) a prime number?
False
Let x(n) = 27*n**2 + 4*n - 5. Let m(r) = -14*r**2 - 2*r + 3. Let l(h) = 7*m(h) + 4*x(h). Is l(-2) a composite number?
False
Is 1/4 - (-34763)/4 composite?
True
Let x be (2/(-6))/(2/6). Let l be 5 - -70 - x/(-1). Let w = -41 + l. Is w prime?
False
Let g = 4 - -3. Suppose -2*b + g = -23. Is b composite?
True
Suppose -5*k - 20 = 0, 5*b - 2*k + 6 = 4. Let o = b + 9. Is o composite?
False
Suppose 0 = -2*f + 16*f - 6692. Is f a prime number?
False
Let m(z) = 55*z**2 - z + 1. Is m(-2) composite?
False
Let l be (70 - -4)*(-57)/(-6). Suppose 3*y = l - 130. Is y composite?
False
Is ((-4)/12)/(((-1)/(-2343))/(-1)) a prime number?
False
Let l be 76/6 + (-1)/(-3). Suppose -k - y - 3 = 0, 5*k - k - 2*y = -6. Let m = l - k. Is m a prime number?
False
Let x be (-4)/10 - 2886/(-15). Suppose -4*t + 0*t + x = 0. Suppose -t = -2*a + 22. Is a a composite number?
True
Suppose 5*m = 10, -2*m + 3*m - 1054 = -2*s. Is s a prime number?
False
Is 628 - -1 - (0 + 0)/2 prime?
False
Suppose -1510 = -t - 4*t. Let r = t + -85. Is r prime?
False
Suppose 0*n = 3*n - 9. Suppose 2*p - n = 9. Suppose -2*v + p = -v. Is v a composite number?
True
Let r(x) = x**2 + 3*x - 1. Let a(b) = b**2 + b - 1. Let d(m) = 10*a(m) - 6*r(m). Let f be d(-6). Suppose 2*y = 0, -3*l = -y - f + 23. Is l prime?
False
Suppose -a - 4 = 0, -n - 4*n + 3*a = -2. Let o = 5 + n. Is o a composite number?
False
Is (-52866)/(-42) + 6/21 composite?
False
Let g be -2 + 10 - (-8)/(-4). Let o be (2 - 0)*g/4. Suppose 7*v - o*v = 60. Is v a prime number?
False
Is 4702 + -2 + 12 + -11 a composite number?
True
Let n be ((-50)/3)/(1/(-9)). Suppose 0 = -2*u + 4*i + n, -4*u + 5*u = -4*i + 45. Is u a composite number?
True
Suppose 5*b - 3877 = -512. Is b a prime number?
True
Suppose -4 = -b, -b - 328 = -3*o - o. Is o composite?
False
Is -8*((-239)/12 + (-3)/(-18)) prime?
False
Suppose 4*y + 3*w = 5762, 5*w = -2*y + 2521 + 367. Is y a prime number?
True
Is (1 + -6)/(1/(-59)) a prime number?
False
Let z = -277 + 421. Let u = z - -329. Is u a prime number?
False
Suppose 5*t - 2043 = -88. Is t a composite number?
True
Let n(q) = q**2 - 5*q - 3. Let h be n(6). Suppose h*k - 5171 = -2000. Is k a composite number?
True
Is (((-24)/(-10))/3)/(16/22840) a prime number?
False
Let h(i) be the first derivative of -i**4/2 - i**3 + i**2 - 5*i - 1. Is h(-4) a composite number?
False
Let v(i) be the second derivative of -1/2*i**2 + 61/6*i**4 + 0*i**3 + 2*i + 0. Is v(-1) composite?
True
Suppose 0 = -4*s - 9 + 21. Suppose -a + 42 = 5*t, -s*a + a - 3*t + 77 = 0. Suppose -122 = -3*y + a. Is y prime?
True
Let o = 6 - 4. Suppose 0 = -o*l - 5 + 175. Is l composite?
True
Suppose 0 = -5*a - 4*h + 6, -2*h + 5 = 3*a - h. Let v(f) = 1 - 3*f + 39*f**a + 3*f. Is v(-2) a composite number?
False
Let p = -43 + 229. Let s = -31 + p. Is s a prime number?
False
Suppose 2*m - 96 = 2*i, 0 = 3*m - 4*i + 5*i - 136. Suppose 2*r = -r. Suppose r = -3*t + 2*t + m. Is t prime?
False
Let d = -285 + 704. Is d prime?
True
Let y = 10 + 6. Let k = y - 1. Is k composite?
True
Let h(f) = 2*f**2 - f + 4. Let q be -4*3/(-4)*3. Is h(q) a prime number?
True
Let j be ((-19)/2)/(2/4). Let n = j + 11. Let x = n - -21. Is x a composite number?
False
Let u = -285 - -166. Let h = u - -196. Is h a prime number?
False
Let b(s) = s**2 + 2*s - 4. Let c be b(-4). Let r = 0 + c. Suppose 3*p = 8 + r, -p - 234 = -2*y. Is y composite?
True
Let d(s) = -s**3 + 18*s**2 + 25*s + 7. Is d(19) prime?
False
Suppose -2*j - 3*n - 13 = 0, 2*j - 2*n = -n + 7. Is 21 + -2 + j + -1 composite?
False
Is 1 + 1193 + 1 - (0 + 0) composite?
True
Suppose i - 2*i = -117. Suppose -5*g + 4*t + i = -1058, 705 = 3*g + 5*t. Is g a prime number?
False
Is (9 - (-4 + 9)) + 882 composite?
True
Let d(n) = 3*n**2 - n - 2. Let c be d(3). Let j = 68 - c. Is j prime?
False
Let u be -2 - 3/((-6)/(-4)). Let n(s) = 7*s - 2. Let p(j) = -13*j + 5. Let d(o) = 5*n(o) + 3*p(o). Is d(u) a composite number?
True
Suppose -3*l = -4*w + l - 264, 0 = 5*l - 5. Let d = w + 20. Let r = d - -64. Is r a composite number?
False
Suppose -2*p + m + 2*m + 1103 = 0, -4*p + 2216 = -4*m. Suppose -11 = -5*h + p. Let o = 160 - h. Is o a composite number?
True
Is (-2)/(5/(-1985)*1) a composite number?
True
Let i(p) = -7*p**3 + p - 1. Suppose 0 = 2*j - f - 0*f, 5*j + 2*f + 18 = 0. Is i(j) a prime number?
True
Let n(i) = 42*i**2 + i + 7. Is n(-3) prime?
False
Let l be (-2)/(4/6) - -7. Suppose a - l*r - 153 = 0, -a - 8*r = -4*r - 169. Is a composite?
True
Let h = -1967 + 3328. Is h a prime number?
True
Is 45/6*(-76)/(-6) composite?
True
Let r(i) be the first derivative of 4*i**3 - 3*i**2 - 7*i + 5. Is r(-5) composite?
True
Is (3/(-3) - 0)/((-4)/1516) a composite number?
False
Suppose 3*h - 11*h + 66808 = 0. Is h composite?
True
Let a be -38*(-1 - (-10)/(-4)). Suppose 5*t - 140 = -v, 5*t - 5*v - a - 7 = 0. Suppose -11 = -d + t. Is d prime?
False
Let b = 20 + 10. Let f = b - -49. Is f a composite number?
False
Suppose -4114 = -4*s - 2*x, 0*s - 5*x = -3*s + 3118. Is s a prime number?
True
Let c(u) = 78*u**2 + 18*u - 1. Is c(-11) prime?
True
Let i be (-1)/4 + (-3283)/(-28). Is (i/12)/(2/8) prime?
False
Let c(r) = r**2 - 15*r - 20. Is c(18) prime?
False
Suppose -1146 = -5*a - 296. Suppose 4*w = -4*x + 348, w + 4*x = -w + a. Is w a prime number?
True
Let u = 11 - 8. Suppose 2*p - 570 = -5*n - u*p, -2*n - 3*p = -223. Is n a composite number?
True
Let j = 12 - 7. Suppose 0 = 4*n + j*k - 26, 2*n = -3*n + 5*k + 10. Is (n/8)/((-1)/(-98)) a composite number?
True
Suppose 0*n = -n - r + 1937, 1937 = n + 2*r. Is n prime?
False
Suppose 366 = -3*a + 6*a. Is a prime?
False
Let o = 1172 + 189. Is o a composite number?
False
Let a(d) = -d**2 - 2*d. Let w be a(-2). Let r(k) be the first derivative of -k**4/4 - k**2/2 + 37*k + 1. Is r(w) prime?
True
Let v = 2000 - -129. Is v a composite number?
False
Let s = -12 + 36. Let r = 181 + s. Is r a prime number?
False
Let c(g) = -39*g - 2. Let v = -19 - -10. Let q = v + 6. Is c(q) a composite number?
True
Is (4/(-16))/((-1)/596) a composite number?
False
Suppose -4*j = -134 - 14. Is j prime?
True
Let p(n) be the third derivative of n**5/10 - n**4/3 - 7*n**3/6 + 4*n**2. Is p(-6) composite?
False
Let k = -17 + 33. Suppose 2*r + 10*c - 5*c = -12, 3*c = r - k. Is r prime?
False
Suppose 15*r - 9245 = 8770. Is r a composite number?
False
Let h = -263 - -402. Is h a prime number?
True
Let f be 130/3*30/25. Let l be (-3)/(-1) - (-10)/5. Suppose 0 = -c + l*c - f. Is c prime?
True
Let a = 5 + 11. Let u be a/6*(-9)/(-4). Suppose -u*s + 1465 = -s. Is s a prime number?
True
Let t(g) = 2*g**2 + 4*g + 5. Let k = -7 - -3. Is t(k) a composite number?
True
Let b(c) = -944*c - 5. Is b(-2)