uppose -7*z + 9*z - 134 = 0. Is z prime?
True
Let z = 5 - 5. Let p = 3 - z. Is p a prime number?
True
Suppose o = -2*o - 48. Let n = 23 - o. Is n composite?
True
Let j be (-13)/(-4) - 6/24. Suppose -3*k + z + 186 = k, j*z = -5*k + 241. Is k a prime number?
True
Let n = 68 - -21. Is n a composite number?
False
Is -1*(-298)/(1 + 1) prime?
True
Suppose -356 = 3*m - 2297. Is m a prime number?
True
Suppose 0*x + 2*x = 4*y - 4, -6 = -3*x. Let t(w) = -2*w - 1 + 4 + 2*w**2 + 19*w**3 + 27*w**3 - 4. Is t(y) a composite number?
True
Let r = 17 + -2. Let y = 16 + r. Is y composite?
False
Let y = 4 + -1. Suppose -136 = -y*v + 122. Suppose 3*k + 2*c - 121 = 0, 3*k - k + 4*c - v = 0. Is k prime?
False
Suppose -16 = 2*k + 1046. Is k/6*6/(-9) a prime number?
True
Suppose -5*p - 6 = -26. Suppose -p*s = -9*s. Suppose -5*f + 10 = 5*c, -f + s*c + c = -12. Is f a prime number?
True
Let a(j) be the second derivative of -j**4/12 + 5*j**3/6 + j**2 + j. Let x be a(5). Suppose -x*f = 4*h - 76, 5*f - 2*f = -5*h + 95. Is h a prime number?
True
Let j(d) = -d**2 + 4*d + 1. Let v be j(4). Let a(p) = 117*p**3 + 1. Let r be a(v). Suppose -2*n = -r - 56. Is n a prime number?
False
Let m(y) = -88*y - 3. Let j be m(-2). Let l = -114 + j. Is l a prime number?
True
Let o = -5 + 8. Suppose -109 = -o*g + 2*g. Is g prime?
True
Let i(p) = -4*p + 1. Let v be i(-5). Let u = v + -14. Is u composite?
False
Let p = 6 + -10. Let m = 5 + p. Is (-17 + 3)/((-2)/m) a prime number?
True
Let g(h) = h**3 + 12*h**2 + 13*h + 32. Is g(-11) a composite number?
True
Suppose 0 = 2*y - 14*y + 4308. Is y composite?
False
Let k be 32 - -2*(-6)/(-4). Let r be (-2 - -3)/((-5)/k). Is r/((-7)/206) - 3 a prime number?
False
Let l be -1 - (-3)/((-12)/(-76)). Let y be (-152)/(-36) - (-2)/(-9). Suppose y*u = 2*i - l, -i - 4*u + 34 = i. Is i prime?
True
Let d(t) = 194*t - 25. Is d(9) a prime number?
True
Let f be -2 + 1 + 0 + 4. Suppose 0 = f*n - 19 - 80. Suppose 2*m - n = -m. Is m composite?
False
Suppose 4*t - 2*t - 10 = 0, 4*r = 5*t + 4171. Is r composite?
False
Let p = 1 - 2. Is ((-7)/(-14))/(p/(-526)) prime?
True
Suppose -94197 + 8221 = -8*n. Is n a composite number?
True
Suppose 2*f - 32 = i + 18, -12 = 3*i. Let h = f + 72. Is h a composite number?
True
Let s be 3*(14/(-6) + -1). Let c = -7 - s. Is c composite?
False
Let w be (-11)/2 - (-4)/8. Let x = -4 - w. Let h(u) = 22*u**2 - 2*u + 1. Is h(x) a prime number?
False
Suppose 0 = -5*z + z. Is (-1)/2*(z + -314) a composite number?
False
Is (7 + -8)/(1/(-863)) a prime number?
True
Let j(b) = b - 17. Let w(o) = 3*o - 35. Let v(d) = -5*j(d) + 2*w(d). Suppose -f = f. Is v(f) a prime number?
False
Let o(r) = -r**3 - 7*r**2 - 6*r + 11. Is o(-18) a prime number?
False
Let r = -2767 + 5694. Is r a prime number?
True
Let x = 849 + -486. Suppose -2*v + x = 3*w, -5*w + v + 601 = 3*v. Is w a composite number?
True
Let t(d) = -d**2 + 11*d - 8. Let q be t(10). Suppose -157 = -j + r, -5 - 3 = -q*r. Is j a prime number?
False
Let n(k) = k**3 - k**2 - 3*k. Is n(5) a composite number?
True
Let r be 4*(15/4 - 3). Is (112/24)/(2/r) prime?
True
Let s = -31 - -24. Suppose -2*g - 4*i + 1984 = 160, 5*i = -2*g + 1823. Is 2/s + g/14 a composite number?
True
Let l be 7/(-14)*(-33 + 1). Let a be (27/(-12))/(6/l). Is a/3*-14 + 3 prime?
True
Let q be (2 - 175)/(-1 - 0). Suppose 5*z + 33 = x + 3*x, -3*x + 2*z + 16 = 0. Suppose 15 - q = -x*l. Is l prime?
True
Suppose l - 10 = -l. Suppose -4*k + 4*z + 268 = -0*z, 20 = l*z. Is k a prime number?
True
Let b(t) = -16*t + 6. Let x be b(-7). Let q = x + -35. Is q a composite number?
False
Let c = 79 + -55. Let y = 235 - c. Is y composite?
False
Let c = -141 + 1094. Is c composite?
False
Is (-5)/15 - (-712)/12 composite?
False
Let k = 195 + -68. Is k a prime number?
True
Let s be 4 + 1 + -1*3. Suppose -s*g = 3*c - 0 - 2, 5*c + 4*g - 4 = 0. Suppose 2*p + c*p - 106 = 0. Is p a composite number?
False
Let i be 2*(-15*8 + 3). Let g = i + 525. Suppose g = 3*t + 5*x - 328, -5*t - x + 1017 = 0. Is t composite?
True
Suppose -372 = 2*j + j. Let d = j + 759. Is d a composite number?
True
Let o be (-3)/(1 + -2 + 0). Let z be (274 - 3)/(1 + 0). Suppose 5*r - z = -o*b + 7*b, -2*b + 2 = 0. Is r composite?
True
Let f(h) = -h**3 - 5*h**2 + 6*h - 4. Let m be f(-6). Suppose 0 = 6*k - k + 5. Is -6*(6/m + k) a composite number?
True
Suppose -8 = -3*l + 4. Suppose -51 = -2*j + z, -4*j + z + l*z = -117. Let b = j - 1. Is b composite?
True
Let n(s) = s**2 + 3. Let g(t) = 9*t**2 - t. Let r be g(1). Is n(r) prime?
True
Let k = 5 + -6. Let i be (k - 0)*3 + 142. Suppose -4*v + r + i = -126, 61 = v - 2*r. Is v a composite number?
False
Let v(j) = -j**2 + 4*j - 3. Let b be v(3). Suppose 8 = -b*q + 2*q. Suppose s = -3 + 4, q*m - 2*s = 450. Is m prime?
True
Suppose -5*x - 150 = -j, -4*j + 302 = -x - 298. Suppose -j = -4*p + 182. Is p prime?
True
Suppose 0 = l - 2*l. Suppose 2*k = -n - 6, -4*k - 14 - 6 = l. Is n composite?
True
Let j be -9 + -3*(-2)/6. Let r(b) = -b**3 - 6*b**2 + 5*b - 9. Is r(j) composite?
False
Is ((-257)/(-3))/(2/6) a prime number?
True
Let v = -1933 + 3356. Is v prime?
True
Let v(y) = 5*y - 9. Let a be v(6). Is 3513/a - 6/21 a prime number?
True
Let d = -2926 - -5527. Is (-2)/(-11) + d/33 a prime number?
True
Suppose 0*y + 4*y - 244 = 0. Suppose -7*d + 3*d + 130 = -2*i, -2*i = d - 45. Let g = y - d. Is g a prime number?
False
Let c = -900 - -1337. Is c a composite number?
True
Let r(n) = n + 254. Let m be r(0). Let v = m + -31. Is v composite?
False
Suppose -750 = -5*l + 7*w - 2*w, -5*l - 4*w + 777 = 0. Suppose r - 2*u - l = -2*r, -3*r + 3*u = -150. Is r prime?
True
Suppose 0 = -2*g + 4. Suppose -125 = -3*h - g*h. Is h a prime number?
False
Let k(q) = -q**3 - 4*q**2 + 7*q + 4. Suppose -24 = 3*b - 3*n, 5*n = 1 - 6. Is k(b) composite?
True
Let x(q) = 2*q - 3. Let r be x(-6). Let h = 99 + r. Suppose -105 = -5*d + 3*v, -4*d = -3*v - v - h. Is d a prime number?
False
Let a(b) = 2*b**2 - 3*b + 6. Suppose -15 = 2*g - 5. Is a(g) a composite number?
False
Suppose 2*n - 3*q = 74, -3*q + 96 = -0*n + 3*n. Let s = n + -3. Is s a composite number?
False
Suppose -i - 336 = -4*i. Let z = i + -35. Is z a composite number?
True
Is 5 + -5 + 230 - -5 a composite number?
True
Let h be -2 - (-1 + 1 - 1). Let i = -1 - h. Suppose i = -l + 1 + 5. Is l composite?
True
Let p = -12 + 14. Is p/7 + 1522/14 a composite number?
False
Suppose -2*r + 4*c = -1650, r = 2*c - 4*c + 809. Is r a composite number?
True
Suppose 0 = -2*n - 60 + 350. Is n a composite number?
True
Let i = 0 - 0. Is (-67)/2*(i - 2) a prime number?
True
Let j = 2069 + -1428. Is j prime?
True
Suppose k = -k. Is (1 - k)/((-7)/(-147)) composite?
True
Is (352 - 3) + 3 + -5 prime?
True
Let g(p) = -p - 6. Let b be g(-11). Suppose 2*y + 9 = 3, b*y = 4*o - 235. Is o prime?
False
Let g(z) = z + 13. Let c be g(-8). Suppose -c*x - 5 = -3*s, 5*s + 0*x + x - 55 = 0. Is s a prime number?
False
Let o(j) = -j**3 + 3*j**2 + 2*j. Let d be o(4). Let y be d/(-6) - (-4)/(-12). Is -2 - (70/(-2))/y a prime number?
False
Let v(h) = -5*h**3 + 3*h**2 - 10*h + 10. Let x(o) = 9*o**3 - 6*o**2 + 19*o - 19. Let y(t) = 5*v(t) + 3*x(t). Is y(5) a prime number?
False
Let t be 2 + -2 + 8/(-2). Let f = t - -11. Let x = 2 + f. Is x a prime number?
False
Let a = 7 - -6. Let l = a + -2. Suppose -5*b = -3*w + 34, 0*w - 3*w = 4*b + l. Is w a composite number?
False
Let j = -1 - 9. Let o = 4 - j. Is o prime?
False
Let x = 10 + -8. Suppose 99 = w + x*w. Is w composite?
True
Suppose -3*q + 9 = -2*q. Let a = q - -6. Is a prime?
False
Let i = 5 - -62. Is i composite?
False
Suppose -4*r + 3*w = -208, -2*r + 3*w + 126 = 7*w. Is r a composite number?
True
Suppose -r + 200 = -597. Is r a composite number?
False
Is (-16)/64 - (-3189)/4 composite?
False
Let y = 5 + -3. Let t be (-1)/y - 161/14. Is 51/4 + (-3)/t prime?
True
Suppose -3*l = -b - 4920, 3*l - 4*l = -5*b - 1654. Is l prime?
False
Let h = -20 + 41. Let y(b) = -b**3 - 2*b**2 + 3*b + 3. Let l be y(-3). Suppose l*f = -h + 90. Is f composite?
False
Suppose -2*b - 4*p + 11258 = 0, -p = -4*b + 8203 + 14349. Is b a composite number?
True
Let s be (127 + (1 - 1))*-1. Let o = -76 - s. Is o a prime number?
False
Let f(d) = d**2 - 8*d. Let m be f(8). Suppose m*t - 4*t = -4*r - 2700, 0 = 2*t - 3*r - 1346. Is t composite?