+ c**2. Let s be i(5). Let g = s - -166. Is g prime?
False
Suppose -4 - 8 = 3*o, -k + 5*o = -16. Is 1 + -4 - 216/k prime?
False
Let q(y) = 387*y + 1. Let z be q(1). Let u = -197 + z. Is u prime?
True
Suppose -4*v = 5*c - 20, v + 0 + 5 = 0. Is (c/(-12))/(1/(-39)) composite?
True
Let y = 13429 - 3368. Is y composite?
False
Suppose -5*o = -3*j - 0*j + 11, 0 = 2*j + 3*o - 1. Suppose -2*b + 100 = -7*b + 5*x, 0 = -5*b + j*x - 106. Let v = -3 - b. Is v a prime number?
True
Suppose -2*d - 2 = -d. Let a be 3*(0 + (-2)/d). Suppose -5*l + 484 = a*y, 0 = -l - 2*y - 0*y + 101. Is l composite?
True
Let g be (-4)/16 - 34/(-8). Let j = g + -6. Is j*2*38/(-8) composite?
False
Let y be 15/10 - (-1)/2. Suppose -5*k = 5*w - 635, -w - 2*k = y*w - 381. Is w a composite number?
False
Suppose -3471 = -2*r + 793. Suppose -x = 3*x - r. Is x a prime number?
False
Suppose -h + 5*h - 4 = 0, -3*h = 3*b + 27. Let w = -10 - b. Suppose w = 4*a - 4*i + 8, 0 = 3*a + 4*i - i - 24. Is a a prime number?
True
Let f(k) = 6*k**2 - 4*k + 1. Let y(o) = -o**3 - 13*o**2 + 8*o - 2. Let p(t) = -5*f(t) - 2*y(t). Is p(4) a prime number?
True
Suppose 5*m + 26397 - 84872 = 0. Is m prime?
False
Is (-22)/8*(0 - 44) prime?
False
Suppose 5*l + 4*g = 5, -3*l - g + 2 = -l. Let r(y) = 107*y**2 - y + 1. Let t be r(l). Suppose 0 = -3*z - 4*h + t, 5*z - 2*h - 36 = 151. Is z a composite number?
False
Suppose 0 = -5*g + 4 + 11. Suppose -20 = -5*d + g*d. Is d a prime number?
False
Let b(u) = u**2 + 9*u - 8. Let j be b(-10). Suppose -2*i + 2 = -j. Suppose i*l - 148 = -2*l. Is l a composite number?
False
Let y be (104/(-3))/2*-3. Suppose 3*k = -k + y. Is k a prime number?
True
Let o(m) = m**2 - 2*m - 1. Suppose -2*s - w + 17 = -4*s, 0 = -2*s + 2*w - 18. Is o(s) prime?
True
Suppose -3*l = 15, -l - 5 - 5 = 5*i. Let u be (2/(-4))/(2/4). Is u/i + -4 + 194 a composite number?
False
Let u = 1 + 1. Let q be 2*1/2 - 0. Is u*-1 + q + 4 composite?
False
Let k(y) = 16*y**2 - 4 - 3*y - 1 + 4. Is k(-2) prime?
False
Let c(y) = -4*y**2 - 3*y + 5. Let g(b) = -7*b**2 - 6*b + 9. Let j(z) = -5*c(z) + 3*g(z). Let t be j(-3). Let h(n) = 7*n - 1. Is h(t) a prime number?
True
Let y(r) be the second derivative of r**4/4 - r**3/3 - 6*r**2 - 7*r. Is y(-13) prime?
True
Let y = -462 - -182. Let f = -153 - y. Is f a composite number?
False
Suppose -12 = 4*l, -l + 393 = 3*t + 4*l. Suppose 5 = -y, -a + t = -5*y - 938. Is a prime?
True
Suppose 5*c - 1676 = 4*r + 753, 0 = r + 1. Is c a prime number?
False
Let l = 15 - 6. Let r(p) = -p**2 + 13*p - 1. Is r(l) prime?
False
Suppose 8*h = 6*h + 2722. Is h a prime number?
True
Suppose 2*a = -7*w + 2*w + 1121, -3*a - w + 1714 = 0. Is 2/(3*2/a) composite?
False
Let k = -1550 + 2179. Is k a prime number?
False
Is (4/(-2))/(1/1) + 3411 prime?
False
Suppose 0 = -3*v + 3*c + 24, -5*v + 5*c - 6*c + 16 = 0. Let n be (2/v)/((-2)/(-296)). Suppose i + i - n = 0. Is i a prime number?
True
Let s = -28 + 16. Let k = 18 + s. Is k a composite number?
True
Is (-3 - (-110)/25)*185 a prime number?
False
Suppose 3 = 5*w - 12. Suppose -3*o = w*c - 171, -2*o - 3*c + 47 = -o. Let x = o - 37. Is x prime?
False
Let b(j) = j**2 - 3*j + 8. Let n be b(6). Let f(w) = w - 2. Let d be f(5). Let z = n - d. Is z a prime number?
True
Let b(u) = 5*u - 2. Let j be b(4). Suppose 0 = -3*a - l + 7, 4*a - l - j = 2*l. Suppose 0*p - 275 = -a*p - z, -3*p = 2*z - 277. Is p a composite number?
True
Let g be -9 + 8 - (-4 + 1). Let f(i) = 84*i + 8. Let n be f(7). Suppose -6*r + n = -g*r. Is r a prime number?
True
Suppose 5*k = -8 - 27. Let m(n) = -24*n + 8. Let q be m(k). Is 2/(-7) + q/28 composite?
True
Suppose a = -a + 3*k + 9, 3*a = 3*k + 12. Suppose 4*j + d - a*d - 28 = 0, 2*j + 2*d = 20. Suppose -5*u + j + 39 = 2*o, 4*o = -16. Is u composite?
False
Let y = 682 - 161. Is y composite?
False
Suppose 3*l - 2*o - 109 = 0, l - 69 = 4*o - 16. Let d = 38 + l. Is d a composite number?
False
Let k = 20 - 6. Suppose 0 = -3*t + 2*p + k, -6 = -p - 2*p. Suppose -t*u + 4*u = -68. Is u composite?
True
Let y = -1 + 5. Suppose -m = y*m - 280. Let t = 41 + m. Is t a prime number?
True
Suppose 2*t + 20 = 426. Is t prime?
False
Let p = -86 - -271. Is p prime?
False
Let b(i) = 2*i. Let j be b(1). Suppose -r = -5*s + 4*s - 9, -26 = -4*r + 2*s. Suppose -38 = j*y - r*y. Is y composite?
False
Is (6003 + (1 - -1))*18/18 a composite number?
True
Suppose 0 = -2*z - z + 159. Is z composite?
False
Let u = -209 + 386. Is u prime?
False
Let z = 1142 + -2188. Let x = 568 - 1295. Let u = x - z. Is u composite?
True
Suppose -5*p = 3*p - 4328. Is p a composite number?
False
Suppose 4*i + 5*j = 633, 2*i - 3*j + 51 = 340. Suppose -i = -a - 39. Is a a prime number?
True
Let h = 130 - 264. Is h/(-8)*(4 + 0) prime?
True
Suppose 12*a = -4 - 8. Suppose 0 = 4*g + g. Is (g - a) + 2*6 composite?
False
Let q be (-1)/((-8)/6 - -1). Suppose q*g = -0*g + 111. Is g prime?
True
Let c(z) = -z**3 - 16*z**2 + 11. Is c(-16) prime?
True
Let z(l) = -l**3 - 8*l**2 - 2*l - 4. Is z(-11) prime?
False
Let z(t) = -10*t**2 + 7 - 12*t - 3*t**3 + 2*t**3 + 3*t. Let n be z(-9). Is 1 + n + 1 + 0 composite?
True
Let f(h) = -10*h**3 + 5*h**2 - 6*h + 4. Is f(-5) prime?
True
Let n be (-2)/2 - (-1 - -1). Let a be (-37)/2*(-4)/(-2). Is 2/n - 1*a composite?
True
Suppose 3*q - 165 = -2*q. Let w = q - -20. Is w composite?
False
Suppose -3*u + 387 - 126 = 0. Is u a composite number?
True
Suppose 5*y + 5*q = 2*y - 10, 3*q + 5 = -2*y. Suppose 3*n = 5*n - y*j - 57, 4*n + j = 125. Is n a prime number?
True
Let j = 879 + 778. Is j prime?
True
Let r(h) = -h - 1. Let s be (-9)/(-6)*(-16)/6. Let a be r(s). Suppose -5*l - q + 267 = -a*q, 3*q = -2*l + 103. Is l composite?
False
Suppose 4*h = 5*y + 41, -2*h + 2*y + 2 = -4*h. Is (-1399)/(-11) - h/22 a composite number?
False
Is ((-64658)/55)/(36/(-15) + 2) a prime number?
True
Suppose -14*t + 162 = -1490. Is t a prime number?
False
Is 5559/17 - (3 + 1) composite?
True
Let z(g) = -g**3 - 5*g**2 - 2*g - 1. Let u be z(-4). Is 23/(3/u*-3) composite?
False
Suppose -3*i + 372 = -7*i. Let p = i - -169. Suppose -4*t = -p + 20. Is t a prime number?
False
Suppose -o + 10 = 4*o. Let m(y) = -o + 3*y + y + 0*y. Is m(7) a prime number?
False
Let z = -10 - -6. Let q(j) be the second derivative of j**4/12 - 5*j**2/2 + j. Is q(z) prime?
True
Let d(a) = 0*a + 3*a + 11*a + 1. Is d(1) a prime number?
False
Is (0 + -1)/(3/(-465)) a composite number?
True
Suppose -5*l - 2*j + 1975 = 0, -j = 3*l - l - 789. Is l a prime number?
True
Suppose 5*y + 164 - 874 = 5*n, -3*y + 5*n + 426 = 0. Let p be 129/(-9) + (-6)/9. Let l = p + y. Is l prime?
True
Let o = -92 + 203. Suppose -5*l + o = -0*l - h, 0 = -3*h + 12. Is l a prime number?
True
Let w(n) = -n**3 - 2*n**2. Let c(z) = -z**3 - z**2 + z - 1. Let p(q) = 5*c(q) - 4*w(q). Let y be p(4). Let v(r) = -20*r - 1. Is v(y) a composite number?
False
Let u(l) = -l**3 + l**2 - l - 1. Let o = 1 + -2. Let p(y) = -9*y**2 + 12*y. Let g(b) = o*u(b) - p(b). Is g(-9) a prime number?
True
Suppose 277 = -9*h + 10*h. Suppose h = 2*w + 3*m, -3*w + 403 = -0*w + 2*m. Is w a prime number?
True
Suppose -5*f - 52 = 138. Let h = f + 84. Suppose -h = -0*u - 2*u. Is u a composite number?
False
Let s(r) = 28*r**2 - r + 1. Let u be 0/(3*-1) - -1. Let o be s(u). Suppose 4*f + 4*a - 28 = o, -5 = -a. Is f a prime number?
False
Let w(o) = -o**3 - 3*o**2 - 6*o - 5. Suppose -2*b - 26 = z + 3*z, z + b = -9. Is w(z) prime?
False
Suppose -f - 23 = -2*f. Let j(h) = -4 + f*h - 2 + 1 + 3. Is j(3) prime?
True
Let m(a) = 235*a - 11. Is m(6) a prime number?
True
Suppose 0 = t - 4*t. Suppose t*s = s - 179. Is s a composite number?
False
Suppose 3*j + 262 = y, -3*y - 178 = 2*j - 2*y. Let a = 177 + j. Is a a prime number?
True
Suppose -3*v = -2*t - 138 - 1259, 1901 = 4*v + 5*t. Is v a prime number?
False
Let k(a) = 2*a + 10. Let x be k(-9). Let c(t) = t + 5. Let w be c(x). Is (w/(-4))/((-2)/(-8)) composite?
False
Suppose p - 10 = 3*p. Let l(s) = -7*s**3 + 9*s**2 - s - 1. Let i(m) = -3*m**3 + 4*m**2 - m - 1. Let v(h) = p*i(h) + 2*l(h). Is v(4) composite?
False
Let b = 2 - -35. Is b a prime number?
True
Suppose -2*h + 5*w - 40 = -4*h, 3*h - 18 = 3*w. Is ((-4)/(-6))/(h/555) composite?
False
Let j(i) = 5*i - 24*i - 22*i - 1 + 9*i. Is j(-4) composite?
False
Suppose 5*z + 0*z = 55. Let a = -7 + z. Suppose