*o = -20, 2*l - 16 + 4 = 5*o. Let q be (-23)/(-5) + l/(-10). Suppose -q = 2*a - 17. Is a prime?
False
Let b = 39 - 218. Let a = b - -250. Is a prime?
True
Suppose -762 = -2*x - b, 0 = 3*x + 4*b - 0*b - 1153. Suppose 2*o - x = 3. Is o a composite number?
False
Let a(d) = 11*d + 1. Let q = 4 - -2. Is a(q) prime?
True
Let h = 15 - -5. Let i = h + 14. Let z = i + -15. Is z prime?
True
Let v be 24/2*2*4. Let h = v + -51. Suppose 0 = 7*m - 2*m - h. Is m a composite number?
True
Let a be -2*(-3 - 15/(-6)). Suppose 2*o - 1 = a. Is 2/((-250)/254 + o) composite?
False
Let t be 10*5/((-50)/(-4)). Suppose -3*b = 5*m - 90, -b + t*b + m - 90 = 0. Let c = -15 + b. Is c a composite number?
True
Suppose -5*r = -r - 68. Is (r/(-2))/(1/(-26)) composite?
True
Let b = 4 + -1. Let m be ((-134)/(-2))/(b - 2). Let w = -41 + m. Is w a prime number?
False
Let y(o) = o**3 - o**2 - 2*o + 1. Let j be y(-2). Let v(q) = -11*q + 22 + q**2 - q**2 - q**2 - 31. Is v(j) composite?
False
Let x be 3 - 4 - (-207 + 1). Let w = x + -145. Suppose -5*y - 3*k = -160, 2*y + 4*k - w = 2*k. Is y composite?
True
Let s = 10 - 7. Let z(t) = -4*t + t - 1 - 4*t + 5*t - 18*t**s - 2*t**2. Is z(-2) prime?
True
Suppose -23 - 15 = -c. Is c composite?
True
Let h(m) = -m**2 + 4*m + 5. Let z be h(5). Suppose 3*n + 3*u - 36 = 0, 0 = -z*n - n + 5*u. Is n a prime number?
False
Let f be 9/(-6)*1*2. Is (43/4)/(f/(-60)) prime?
False
Is 2/1*499/2 a composite number?
False
Let i = 12 - 33. Is 14/i - (-311)/3 a prime number?
True
Let g be -1 + 39/(3 - 0). Suppose -g = -c + 94. Is (4 + -3)/(2/c) a composite number?
False
Let s(g) be the third derivative of 19*g**5/10 + g**4/12 - g**3/6 + 3*g**2. Is s(1) a composite number?
True
Let q = -6 + 6. Suppose q*a - 144 = -4*a. Suppose -2*d + a = -50. Is d prime?
True
Let s(z) = 360*z**2 - 2*z + 1. Is s(1) a prime number?
True
Let p(q) = 5*q**2 + 2*q - 2. Let y be p(2). Let z(u) = 16*u**2 - 1. Let c be z(-1). Let l = y - c. Is l prime?
True
Suppose 9*n = -8*n + 16609. Is n prime?
True
Let q(p) = -p**2 + 12*p - 10. Let y be q(8). Let t = -36 + y. Is (-158)/t + 4/(-14) a composite number?
False
Is (3 - -2)*116 + 1 a prime number?
False
Suppose 4*i + 3*o = 1231, -3*i + i + 616 = 2*o. Suppose -4*d + 943 - i = 0. Is d prime?
False
Suppose 6*y - 2*y = 20. Suppose 5*w - 201 = -2*o, -4*w + 4*o + 117 = -55. Suppose -w - 124 = -y*r. Is r composite?
True
Is (6/3)/((-6)/(-13641)) composite?
False
Let p = 20 - 78. Let g = p - -275. Is g prime?
False
Let s(n) = 446*n**2 - 2*n + 3. Is s(2) prime?
True
Is (15/(-3) + 12748)*1 a prime number?
True
Suppose k - 2*k = -167. Is k a prime number?
True
Suppose -6 = -z - 3. Is z/12 + 5625/12 composite?
True
Is -3 + (-2 + 1155 - -1) composite?
False
Suppose 0 = -3*u - 6, -v + 2*v - 281 = 5*u. Is v a composite number?
False
Suppose -2*n + 0*n - 2 = 0. Is (-3)/1 + (n - -83) a composite number?
False
Let y(i) be the first derivative of -i**4/4 - 7*i**3/3 + 4*i**2 + 6*i - 1. Let l be y(-8). Let f = -3 + l. Is f composite?
False
Suppose -207 - 66 = -3*f. Suppose -184 = -5*s + f. Is s a composite number?
True
Let a = -13 - -18. Suppose y - 5 = -2*s - 4, s - 14 = -a*y. Suppose y*b - 57 = -0*b. Is b a prime number?
True
Let v = 69 - -10. Is v a prime number?
True
Suppose -7*x + 2*x - 10 = 0. Let l(s) = -3 + 17*s**2 + 28*s**2 - 4*s - 9*s**2. Is l(x) a composite number?
False
Let b(o) = 2 - o + 0 + 12*o. Let f be b(2). Is f/1 + (2 - 5) a composite number?
True
Suppose -4*q - 4*s = -176, -2*q = 5*s - 0*s - 82. Is q a composite number?
True
Let v(y) = y**2 + 7*y - 6. Let m be v(-7). Is 3 + m - 0 - -26 prime?
True
Suppose 308 = 4*x - 1184. Is x a composite number?
False
Suppose 0 = -19*w + 22*w - 2301. Is w a prime number?
False
Suppose -4*y - 140 = -996. Is y a composite number?
True
Let t(c) = 110*c**3 + 2*c**2 - c. Is t(1) prime?
False
Let j(x) = -x**3 - 2*x**2 + 2. Let n be j(-2). Let p(c) = c**2 - 2*c + 1. Let h be p(n). Is 18 - (-1 + 0)/h prime?
True
Let r(q) = 64*q**3 + 2*q**2 - 2*q + 1. Let l be 0 + (2 - 1) + 0. Is r(l) prime?
False
Is (191/3)/(2/6) a prime number?
True
Is 1*(1 + (30 - 0)) a composite number?
False
Suppose 4*q - 341 = -2*b + q, -2*b = -4*q - 306. Is b prime?
True
Let m = 3440 + -2084. Suppose 4*h + 464 = m. Is h a composite number?
False
Let s(z) = -z - 7. Let j be s(-7). Suppose g + 3*m - 8 = -0*m, -5*g + 3*m + 4 = j. Suppose -g*c + 0*c + 20 = 0. Is c a prime number?
False
Let r = -2 + 4. Suppose 0*u - r*u + 98 = 0. Is u composite?
True
Let d(n) = -n**2 + 3*n - 1. Suppose 3 = 2*x - 5. Let i be d(x). Is (18/10)/((-1)/i) a prime number?
False
Suppose 0 = -3*z - 2*z + 15. Let m(o) = 44*o**2 + o - 1. Let p be m(-4). Suppose z*i - p = 180. Is i a composite number?
False
Suppose 3*g + 25 = 5*p, -g + 2 = 2*p + 3. Suppose 5*f + 3*m - 416 = 0, 4*f + p*m = 269 + 65. Is f composite?
True
Let u be 1*0*3/(-9). Suppose 0 = 5*w + 4*r - 475, 2*w = -u*r + 2*r + 172. Is w composite?
True
Let k = 26 + -25. Let p(a) = -48*a**2 + 2*a - 4. Let h(t) = 144*t**2 - 6*t + 11. Let m(z) = 3*h(z) + 8*p(z). Is m(k) a composite number?
False
Suppose -3*n + 9 = -3. Suppose -2*a = -d + 89, -3*d + n*a + 445 = 2*d. Is d a composite number?
False
Let u(c) = 2*c**3 - 7*c**2 - 7*c. Let y be u(6). Suppose 3*f + y = 5*f. Is f composite?
True
Let c(o) = -o**3 + 9*o**2 - 2*o + 7. Let r(l) = 3*l**3 - 26*l**2 + 7*l - 21. Let f(d) = 8*c(d) + 3*r(d). Is f(7) composite?
True
Let t(k) = 25*k - 2. Let p(z) = -76*z + 6. Let a(h) = 5*p(h) + 16*t(h). Let n be a(-2). Is ((-21)/(-6))/((-3)/n) composite?
True
Let t be 92/12 - (-2)/(-3). Suppose -2*m = 3*q - t - 21, 4*q + 4*m = 36. Is q a prime number?
False
Suppose -53 - 57 = -2*w. Let c(d) = -d - w*d**3 + 2*d + 3*d**3. Is c(-1) a prime number?
False
Let a be (-6)/(-5)*(-60)/(-18). Suppose -w = a*w - 165. Is w composite?
True
Suppose -5*a - 2 = 8. Is (a/(-8))/((-2)/(-2936)) prime?
True
Is 31/(-5*1/(-145)) prime?
False
Let p(q) = -q**3 - 6*q**2 - 6*q - 5. Let b be p(-5). Is (130 - 1) + b/(-3) a composite number?
True
Suppose -2*s + 30 = 3*s. Suppose i = s*i - 25. Suppose -45 = -3*y + i*l + 12, -5*l = -4*y + 71. Is y a prime number?
False
Is (12/(-1))/(-3) + 10 a composite number?
True
Suppose -4*z + 11 + 5 = 0. Suppose -z*y - 51 = -5*r + 108, 0 = 2*r + 3*y - 82. Is r composite?
True
Let t(o) be the second derivative of -o**5/20 + 3*o**4/4 - o**3 - o**2 + o. Let b be t(8). Let p = b - 0. Is p a prime number?
False
Suppose i + 3 = 2*g, -i + 13 = 4*g - 8. Let w be g*((-150)/(-4) + -1). Suppose -2*h + w + 116 = 0. Is h composite?
False
Let m(q) = q + 7. Let x be m(-7). Let f = -10 + 16. Suppose 2*u - f*u + 148 = x. Is u a prime number?
True
Let b(k) = -k + 5. Let m = 1 - 1. Let u be b(m). Suppose -u*q + 526 = -3*q. Is q a prime number?
True
Suppose -2*v - 3*v + 15 = 0. Suppose 0 = h - v*h. Suppose 5*g = -2*j - 11 + 110, -g + 5*j + 9 = h. Is g a composite number?
False
Let l = 136 - 65. Is l a prime number?
True
Let b = 1 + 4. Suppose n + 300 = b*n. Let k = n - 24. Is k a composite number?
True
Let d(g) = g**3 - 9*g**2 + 8*g - 9. Is d(11) prime?
False
Suppose 4*h + 8 = 5*h. Suppose -4*r - 1628 = -h*r. Is r prime?
False
Let f(w) = -9*w - 47. Is f(-8) a composite number?
True
Let c = 168 - 3. Suppose c = 5*z - 220. Is z a prime number?
False
Suppose p = 3 - 0, p = -y + 257. Is y prime?
False
Suppose -k + 0*x + x = -2, 0 = x - 2. Suppose k*d = -d + 25. Suppose -83 = -u - 3*r, 6*u - 2*u - 332 = -d*r. Is u a prime number?
True
Let f(w) = -w**3 - 5*w - 7. Suppose -j - 28 = 3*j - q, 2 = j + 2*q. Is f(j) a composite number?
False
Suppose -2*k - 5*v - 176 + 777 = 0, -4*k = -3*v - 1163. Is k a composite number?
False
Let r(h) = 7*h - 13. Is r(10) a prime number?
False
Let w = 99 + -65. Let k = -64 + w. Is (-3798)/k - (-4)/10 prime?
True
Is 2/((24/(-812))/(-3)) a prime number?
False
Suppose -2*z = z. Suppose 3*f = -2*r + 48 + 200, -2*r - 4*f + 246 = z. Is r prime?
True
Let g(a) = 2*a**3 + a**2 + 3*a + 2. Let f be g(-2). Let t = 30 + f. Suppose 3*h - t - 91 = 0. Is h composite?
True
Is 55070/22 - (-6)/(-33) prime?
True
Let n = 2 + -8. Is 2/3 + (-218)/n a prime number?
True
Let c(h) = 2*h**3 + 5*h - 7. Let x(j) = -3*j**3 - 4*j + 6. Let a(y) = 3*c(y) + 4*x(y). Is a(-4) prime?
False
Let b be 3/9 - 8/(-3). Suppose -b*o = 2*z - 161, 4*o = z - 117 + 42. Is 