Suppose 5*d + 5*x = d + 269, -3*x - 80 = -d. Suppose 196 + d = 3*f. Is f a composite number?
False
Let q = 4 + 1035. Is q a composite number?
False
Is (-12)/(4 + 0) + 34 a composite number?
False
Let f(b) be the second derivative of 7*b**4/3 - b**2/2 + 2*b. Let x be f(-1). Suppose -6*l = -3*l - x. Is l prime?
False
Suppose 0 = 3*x + 3 + 3, 0 = 3*a + 3*x - 132. Is a prime?
False
Let r(w) = 48*w - w + 21*w + 0*w - 7. Is r(7) a prime number?
False
Let l(u) = 0 + 2*u + 3 - 4 + 4 - u**2. Let z be l(4). Let v = z - -7. Is v a composite number?
False
Let f = 12 - 17. Is (f/(-3))/((-1)/(-9)) composite?
True
Suppose 3*w = -6*o + o - 2, 2*w - 5*o = -18. Let z(m) = 2*m**2 + 3*m + 2. Let g(n) = -2*n**2 - 2*n - 1. Let k(x) = -5*g(x) - 4*z(x). Is k(w) prime?
True
Let x(i) = i + 127. Is x(0) prime?
True
Let u(a) = -2*a**3 - a**2 - 2*a - 1. Let f be u(-1). Suppose -f*m - 2*x + 20 = 0, 2*x + 16 = -3*m + 46. Suppose 4*h - 9 = -t, -t + 1 + m = 2*h. Is t composite?
False
Let f = 87 - -6. Is f a prime number?
False
Let x(o) = o**2 - 3*o + 1. Suppose 3*m - 20 = -5*a + 9, 0 = -4*a - 4*m + 28. Let s be x(a). Suppose -3*c + 2*w = 4*w - 33, s*w + 80 = 5*c. Is c composite?
False
Let r be (4460/6)/(6/9). Suppose -z + 2*z + r = 5*j, -5*j + 4*z = -1115. Is j a composite number?
False
Suppose -6 = -0*n - 2*n. Let f be -4 + 1 + (n - -2). Is 95 + 0 + f/1 composite?
False
Let r(u) = 4*u + 9. Let p = 9 + -3. Let s(j) = -12*j - 26. Let o(w) = p*s(w) + 17*r(w). Is o(-6) a composite number?
True
Suppose 0 = -3*p + 15, -3*x + 2177 = -0*x + 4*p. Is x prime?
True
Let a(t) = t**3. Let r(w) = -4*w**3 - 4*w**2 - w - 3. Let b(c) = -3*a(c) - r(c). Let q be b(-4). Is q*(-5 - 2/2) prime?
False
Let f be -2 - 8 - 0 - -4. Is f/39 - (-5282)/26 prime?
False
Suppose -4*n - n = 0. Let v be 0 + (n - 1)*4. Is (v/(-6))/((-16)/(-312)) prime?
True
Let h be 2/8 + 2/(-8). Let f = h - 39. Let p = f + 64. Is p prime?
False
Suppose i = -5*n - 0*i - 16, 4*n = 3*i - 28. Is (-12)/16 + (-475)/n a composite number?
True
Suppose -4*i + 6 = 2*m, -m + i = m - 16. Let v(c) = -5*c + m - 2 - 7*c. Is v(-6) a composite number?
True
Suppose 4*m = 8, -2*w - 5*m + 2 = -10*m. Suppose -4*r - 296 = -3*v - w*r, -r - 391 = -4*v. Suppose -3*l + 5*k + 95 = -l, 2*l = 4*k + v. Is l prime?
False
Suppose 3*y + 0*a - 4*a + 16 = 0, a - 4 = -3*y. Suppose -5*o + 3*o - 8 = y, -5*o = s - 17. Is s composite?
False
Suppose -2*i = -n - 99, -i + 33 = -0*i + 5*n. Suppose 2 = t, -2*t + i = 2*c - 4*t. Is c a prime number?
False
Let n = 1015 - 712. Is n prime?
False
Suppose x - 4 - 6 = 0. Let l = 9 + x. Is l a composite number?
False
Suppose -585 = -4*d - 49. Is d composite?
True
Is -1 - -1194 - (2 + -4) composite?
True
Let z(g) = g - 5. Let u be z(7). Suppose 0*k + 106 = u*k. Is k a composite number?
False
Let b be ((-2 - -1) + 2)*3. Let d be 52/(-6) + (-1)/b. Is 26/3*d/(-2) a composite number?
True
Let k(x) be the second derivative of -2*x + 11/12*x**4 + 7/2*x**2 + 0 + 7/6*x**3 + 1/20*x**5. Is k(-10) a composite number?
False
Let r be ((-6)/8)/(6/(-6192)). Is (-1)/3*r/(-6) a composite number?
False
Suppose 5*b = b + 116. Suppose -4*j + 2*o + 5 = b, 12 = -2*j - 5*o. Is (-212)/3*j/4 prime?
False
Let l(i) = i**2 + 2. Is l(-1) a composite number?
False
Let l(r) be the second derivative of 13*r**4/3 + r**3/6 + 2*r. Is l(-1) prime?
False
Let u = -186 - -1127. Is u prime?
True
Let l be (-38)/(-14) + (-12)/(-42). Suppose 0*n - 11 = 2*n - l*j, 0 = -3*n - 4*j + 26. Is ((-15)/(-5))/(n/10) a prime number?
False
Let x = 10 + -14. Let n = x - -6. Is n a composite number?
False
Suppose 4*u = 121 + 11. Is u prime?
False
Suppose 3*o + 9 = 0, -o - 13708 = -3*j - 2*j. Is j composite?
False
Let i(w) = 4*w**2 - 5. Is i(7) composite?
False
Let b(u) = 94*u - 3. Is b(5) prime?
True
Suppose -4*p - 7 = -19. Suppose p*u - 403 = -y + 6*y, -2*u + 270 = -3*y. Let d = u + -52. Is d prime?
True
Let k(l) be the first derivative of l**2 - 7*l + 2. Let g be k(5). Suppose 48 = 2*u + 5*m, -4*u + g*m = m - 72. Is u a composite number?
False
Is 1/4 + 5430/8 composite?
True
Let t be (-3)/(-1 - 2/4). Let y(q) = 1 - t*q**2 + 4*q**3 + 0*q**2 + 3*q**2. Is y(2) a composite number?
False
Let n(b) = 25*b**2 + 3*b. Is n(-2) a composite number?
True
Let r(l) = 3*l**2 + 9*l - 7. Is r(8) composite?
False
Suppose 0 = -5*h - 3*v - 16 + 109, 4 = -v. Is h a composite number?
True
Let h = -33 + 72. Suppose 5*d - 119 = -2*b, -b + 16 + h = 4*d. Is b a composite number?
False
Let d(f) = 11 + 3*f + 4 + 10*f**2 - 9*f**2. Is d(-16) prime?
True
Suppose 0 = 9*y - 7*y - 370. Is y a composite number?
True
Let g(l) = -10*l + 9. Is g(-13) a prime number?
True
Let r = 3196 + -1835. Is r a composite number?
False
Let i(d) = -d + 54. Let x be i(0). Suppose q = -5*v + 34, 2*q - 5*q + v = -x. Is q a prime number?
True
Let o(l) = 182*l**2 - 5*l + 22. Is o(5) a prime number?
True
Suppose 0 = -b + 129 + 266. Let k = b + -245. Let q = k - 55. Is q a prime number?
False
Let h(c) be the second derivative of -c**6/120 - 7*c**5/60 - 7*c**4/24 + 2*c**3/3 - c**2/2 - 2*c. Let p(z) be the first derivative of h(z). Is p(-6) composite?
True
Let v be (2 - 4) + 2 + 635. Suppose -6*c + v = -c. Is c composite?
False
Suppose -j = -5*h - 6*j + 20, 3*h - 14 = -4*j. Suppose -114 = -h*i + 184. Is i a composite number?
False
Let k(l) = 4*l**3 + 2*l**2 - l + 8. Is k(11) composite?
False
Let d(y) = y**2 + 4*y + 5. Let h be d(-4). Suppose -h*f + 15 = 0, 2*f + 289 = 5*s - 0*f. Is s a composite number?
False
Suppose 0 = -2*z - 3*d + 290, -z + 145 = -4*d + 5*d. Is z a composite number?
True
Let a(y) = -y**2 - 6*y - 5. Let u be a(-5). Suppose 4*g - 2*g - 158 = u. Is g a composite number?
False
Let b = 222 + 107. Is b a composite number?
True
Let z = 10 + -8. Suppose -2*r = 5*l - 70, -4*l + 47 - 9 = r. Suppose -380 = -z*k + r. Is k a prime number?
False
Let o(w) = -6*w**3 - w**2 + 3*w + 3. Let p be o(-3). Let h = 2 + -2. Suppose h = -m + 4*m - p. Is m a prime number?
False
Is (2/(-4))/(4/(-616)) a composite number?
True
Let u(o) = -o**2 + o - 2. Let t be u(2). Let p(j) = -j**3 + 4*j + 3. Is p(t) a prime number?
False
Suppose 237 = 5*x - 2*x. Is x prime?
True
Suppose 2*x - 5 = -3*w, -x + w + 13 + 2 = 0. Let f be (-6 + 3)/((-3)/x). Is (5/f)/(2/276) prime?
False
Suppose 5*p - p - m + 1147 = 0, -4*p = -2*m + 1146. Let h = p - -634. Is h a composite number?
False
Is 1246 - (-1)/((-3)/(-9)) composite?
False
Let i(h) = 2*h**2 + 11*h + 5. Let c be i(9). Let b = c - 135. Is b a prime number?
True
Let s(h) = -h**3 - 3*h**2 - 2*h. Let x be s(-2). Suppose x*r - r + 5 = 0. Suppose 312 = r*b - 33. Is b composite?
True
Let u(w) = -w**2 - 10*w - 8. Let f be u(-9). Is 361 - (f + 0 - 1) composite?
True
Suppose m - 4*m + 231 = 0. Suppose m = 3*g - 988. Is g composite?
True
Let v = 314 - -729. Is v a composite number?
True
Let t be (14/4)/((-5)/(-870)). Suppose -3*n - 207 = -t. Is n composite?
True
Is (4/6)/(8/252) composite?
True
Let x(a) = 168*a**2 - 93*a**2 - 1 + 117*a**2. Is x(-1) a composite number?
False
Suppose -2*p = -1420 - 1666. Is p a composite number?
False
Let h(l) = 2*l - 1 + 2 - 2*l**2 + l**2 - 3. Let d be h(-3). Is -4 - -3 - d - 3 a prime number?
True
Is ((-20)/(-8))/5*5854 prime?
True
Suppose -5*r = -2*w + 18, -4*w - 4*r + 4 = -4. Suppose 4*z = w*o + 1376, 1014 = 4*z - z + 3*o. Is z prime?
False
Let z = -32 - 14. Let y = 45 - 146. Let b = z - y. Is b composite?
True
Suppose 0*f + 3*x + 12 = -2*f, -4*f = 4*x + 16. Suppose -5*o = -f*o - 75. Is o prime?
False
Suppose -4*g - c + 232 = c, -174 = -3*g - 5*c. Suppose 0 = f - 19 - g. Is f a prime number?
False
Let o(w) = -w**2 + 2*w. Let l be o(2). Suppose -4*g + 37 = 3*a - l*g, 4*g + 77 = 3*a. Is a a composite number?
False
Let p = 7 - 5. Suppose p*s - 166 - 1723 = -5*r, r - 3*s = 388. Is r composite?
False
Suppose 4*l - 3*l + 28 = 0. Let w = 177 + l. Is w prime?
True
Suppose 2*y + o - 18 = 0, -5*y - 2*o + 47 = o. Let k(t) = -1 + 2*t + 1. Is k(y) composite?
True
Let q = -42 + 307. Is q composite?
True
Suppose -8*l + 215 = -7*l. Is l prime?
False
Is (3/9)/((-3)/(-1035)) a composite number?
True
Suppose 0 = -5*s - 3*x + 865 + 279, 0 = -3*s - 5*x + 680. Let c be (2 - s)/(-3) - 0. Suppose c = 2*p + 2*p. Is p prime?
True
Let m(s) = 37*s + 15. Is m(7) a composite number?
True
Let z(o) = -o**2 + 15*o - 3. Is z