3*l - 2*q - 4, -2*q = 0. Suppose 0*c - c = -l*o - 23, -c - o = -43. Is c composite?
True
Suppose -5*a + a = -12. Suppose -5*w + 3*m = 404, -5*m + 3*m = -a*w - 243. Let x = -24 - w. Is x a prime number?
False
Let w = 59 - 32. Is (-1750)/(-18) - 6/w a prime number?
True
Let v = -2 + 3. Let z be (-6)/v - (3 + -1). Let q = 23 + z. Is q composite?
True
Let u(y) = y + 7. Let w be u(-5). Suppose 0 = -5*b + 3*s + w*s - 10, -2*b = 5*s + 11. Is (-678)/(-18) + 2/b a composite number?
False
Let t(v) be the third derivative of -v**4/3 - v**3/6 + 6*v**2. Is t(-6) prime?
True
Is -1*(-4)/((-4)/(-131)) composite?
False
Is (-1 - -963) + (-12)/4 composite?
True
Let n(m) = 11*m**2 - 8*m - 9. Is n(8) a prime number?
True
Let u(q) = 37*q**3 + 11*q - 1. Is u(4) prime?
True
Let n(v) = -8*v + 2*v**3 - 7 + v**3 + 3*v**2 - 4*v**3. Is n(-8) a prime number?
True
Let m be (-4)/1 - (-50)/(-1). Let y(j) = 19*j - 7. Let v be y(6). Let w = m + v. Is w a composite number?
False
Let o be -6*2*(-1)/6. Let b(w) = w - 7. Let q be b(9). Is 22 + q/(-2) - o a composite number?
False
Let z(k) = -2*k - 3. Let w be z(-2). Let u(p) = 45*p**3 + 2*p**2 - 1. Let j be u(w). Let g = j + 13. Is g a composite number?
False
Suppose -3*a - 2*u = -387 - 214, 2*a - 408 = -5*u. Is a prime?
True
Suppose 5*b + 82 = 347. Is b prime?
True
Let w = 46 + 45. Is w a prime number?
False
Suppose 4*a = -4*h + 4484, h + 2*a - 1372 + 253 = 0. Is h a composite number?
False
Let o be -1 + (-2 - -4)*11. Suppose -2*g + o = -47. Is g composite?
True
Suppose j + j - 1502 = y, -5*j - 2*y = -3755. Is j prime?
True
Let x be -1*(2 - 0) + -1. Let t be (-2 - x/(-3))/1. Is (-320)/(-15) - 2/t prime?
False
Let r(i) = -34*i**3 - 9*i**2 - 12*i - 48. Is r(-7) composite?
False
Suppose 1474 = 14*t - 12*t. Is t a composite number?
True
Let y be (2/(-6))/((-2)/6). Let h = 4 - y. Suppose 0 = u + h, 0*r - 4*r - 5*u + 133 = 0. Is r prime?
True
Let c be 608 - ((-8)/(-2) + -3). Suppose 802 = s + 3*s + a, 3*s - c = 2*a. Is s composite?
True
Let i = 219 - -688. Is i a composite number?
False
Suppose 0 = -5*m - 0*m + 1160. Suppose 3*k - m = -4*q, 3*k + 49 - 116 = -q. Is q a composite number?
True
Suppose -2*a - 58 + 642 = -2*m, 3*a - 877 = 2*m. Is a a composite number?
False
Suppose -t - 14 = -89. Let r = -37 + t. Is r prime?
False
Is 2/(-2 - 0)*-77 a prime number?
False
Let d = -20 + 18. Is d/6 - 2420/(-15) composite?
True
Is (-2)/(-5) + (-1530)/(-50) composite?
False
Let n be (-8)/(-2)*1/2. Suppose -a + 0 = -n. Suppose -a*l = l - 33. Is l prime?
True
Let t(n) = n**2 - 14*n + 5*n + 6 + 0*n**2. Is t(9) a composite number?
True
Let c = 205 - 301. Let p = 242 + c. Is p a prime number?
False
Is ((-802)/(-4))/(9/18) a composite number?
False
Suppose 4*a - 2*a - 2*y - 622 = 0, 0 = -4*a - 2*y + 1262. Is a a composite number?
True
Let q(p) = 79*p**2 - 4*p + 11. Is q(4) prime?
True
Suppose -2 = -5*a + 2*t + 10, 5*a = -5*t + 40. Let u(s) = -s + 2. Let q be u(a). Is (-3 + 1)*15/q a prime number?
False
Let o(q) = q - 3. Let x be o(6). Suppose 2*z + 133 = 6*z - x*k, 190 = 5*z + k. Is z a composite number?
False
Let v(o) be the third derivative of -o**5/60 - o**4/8 - o**3/6 + 2*o**2. Let s be v(-2). Is -2 + 1/s + 8 prime?
True
Let f = 98 + -63. Is f a prime number?
False
Let a(y) = y**2 - 5*y - 1. Let k be a(6). Let u(o) = 25*o**3 - 4*o**2 + 4*o - 3. Let s be u(2). Suppose 0 = k*d + l - s, -2*l = l - 12. Is d a prime number?
True
Let x = -21 - -41. Let h(d) = 7*d**2 + 2*d. Let m be h(-2). Suppose m = 2*o - x. Is o composite?
True
Let a(i) = -6*i**2 - 13*i + 16. Let w be a(8). Let c(r) = -r**3 - 6*r**2 + 3*r + 3. Let u be c(-6). Is w/(-3) + 5/u prime?
True
Let h = 72 + -35. Is h prime?
True
Let x(z) = z - 2. Let r be x(4). Suppose -2*j = r*j - 308. Is j composite?
True
Suppose k + 2 = -4*k - 4*o, -4*k - 2*o = -2. Suppose k*w = -19 + 987. Suppose 4*p = -0*p + w. Is p prime?
False
Let x = -5 - -8. Suppose 37 + 5 = x*n. Suppose h + 0*h = n. Is h a prime number?
False
Is (-4)/(6 + -2) - 1*-1194 prime?
True
Suppose -5*i + 400 = -8*q + 3*q, -5*q - 317 = -4*i. Is i composite?
False
Let b(s) = -6*s**3 + 2*s**2 - 1. Let p be b(1). Let u = 5 - p. Is u composite?
True
Let n(z) = -z**3 + 12*z**2 - 12*z + 11. Is n(10) a composite number?
True
Let x(f) = 53*f**2 + f - 1. Suppose 2*j - 20 + 24 = 0. Is x(j) composite?
True
Let d be 296/12*(-3)/(-1). Is d/(-2 + 4)*1 a composite number?
False
Let b(u) = -u**2 - 12*u - 10. Let x be b(-10). Suppose 0*l - x = -l. Is l prime?
False
Let h = 6 - 8. Let v be 1/h*-2*0. Suppose 3*a + 0*a - 69 = v. Is a composite?
False
Let k(s) = 14*s**3 - s**2. Let p(j) = j**2 - 6*j + 6. Let w be p(5). Is k(w) a composite number?
False
Let g(d) = 6*d - 5. Is g(4) composite?
False
Let s be (-836)/5 + 4/20. Let f = s - -286. Is f composite?
True
Suppose -3*x - 34 = -193. Is x a composite number?
False
Suppose 2*w - 422 = 972. Is w a prime number?
False
Suppose 5 = g - 3*p, 2*g + 4*p - p + 8 = 0. Let a be g - (-1 + (-6)/2). Suppose -a*t + 2*t = -35. Is t composite?
True
Suppose -2*w + 267 = -387. Suppose 0 = -5*l - 62 + w. Is l a prime number?
True
Let i = -11 - -9. Let l(p) = 5*p**2 - 3*p - 3. Is l(i) a composite number?
False
Let q = 332 - 198. Suppose q = 4*j - 798. Is j a prime number?
True
Suppose 0 = 2*b + 6, 24 = q + 4*b - 469. Is q a prime number?
False
Let f(v) = -3*v**3 - 5*v**2 - v + 10. Is f(-5) a composite number?
True
Suppose -4*i + 5*r = -4393, 3*i - 3293 = -0*i + 2*r. Is i a composite number?
False
Let f be ((-10)/8)/(1/4). Let z(d) = -d**2 - 4*d + 7. Let w be z(f). Suppose -5*a + w*a - 574 = -5*h, 5*a = -5*h + 550. Is h composite?
False
Let q be ((-332)/8)/(2/(-4)). Suppose 142 = 5*l - q. Suppose 2*i - 113 = l. Is i composite?
False
Suppose -m - 3*r = -5 - 2, 10 = 5*r. Is 398 + (-3 - -3 - m) a prime number?
True
Let n(j) = 87*j**2 - j - 17. Is n(6) prime?
True
Let u be 0*(-3)/(1 + -4). Is (1 - u) + (7 - -7) a prime number?
False
Let n(h) = 2*h**2 + 11*h - 6. Is n(-7) prime?
False
Let x(s) be the first derivative of s**6/180 + s**5/60 - s**4/24 + s**3/3 + 1. Let y(p) be the third derivative of x(p). Is y(-5) a prime number?
False
Suppose 13*m + 12751 = 49944. Is m composite?
False
Let g(y) = -y**2 + 16*y - 12. Let v be g(15). Let h = 83 - 28. Suppose v*j - 104 = h. Is j prime?
True
Let y = -1488 + 2213. Is (y + 16)*2/6 a prime number?
False
Suppose -53 = -8*t + 7*t. Is t a prime number?
True
Suppose 3*m - 23 = -t, -3*m - 4*t + 20 = -0*m. Is 141*2*4/m a prime number?
False
Let u(j) = -j**2 + 14*j + 2. Is u(7) a prime number?
False
Suppose 0*b = 3*b - 99. Suppose b = 3*t + 2*n + 1, -3*n + 6 = t. Suppose -4*z - 4*r + 2*r = -t, -30 = -5*z + 5*r. Is z a composite number?
True
Let d be (-24)/(-15) + (-4)/(-10). Suppose 0 = -k - 2*x + 5 - 1, 0 = 5*k + d*x - 44. Is k composite?
True
Suppose 4*x - 302 = 3*a, 4*x + 3*a = -2*a + 286. Is x a composite number?
True
Suppose -2*r + 18 = 3*n, 2*r = 5*r + 2*n - 17. Suppose 5*d - r*j - 228 = 2*d, 5*d - 401 = -2*j. Is d prime?
True
Let d be (-2)/(-4)*-4 - -72. Suppose -2*f = -0*f - d. Is f composite?
True
Let u = -3 - -3. Suppose -i + 85 + 34 = u. Is i a composite number?
True
Suppose 0 = -6*v + 4*v. Suppose -5*c = -4*t + 3*t + 38, 2*c = v. Suppose -h + 2*z = -z - t, h = 5*z + 28. Is h composite?
False
Let m(q) be the second derivative of q**4/8 + q**3/2 - q**2/2 + 2*q. Let s(y) be the first derivative of m(y). Is s(4) prime?
False
Let g(b) = 10*b - 2. Let t be g(6). Suppose 0 = 4*p - 1 - 15. Suppose p*w - 206 = -t. Is w prime?
True
Suppose 2*p - 12 - 140 = 0. Let s = 219 + p. Is s a composite number?
True
Let v = -127 + 392. Is v a composite number?
True
Let j = -742 - -1221. Is j a prime number?
True
Let l = -156 - -99. Let f = l + 94. Is f prime?
True
Suppose -5*v - 3*a + 179 = -0*a, 3*a = 3*v - 117. Let h = -18 + v. Is h*(2/1 + -1) a composite number?
False
Let z = 580 + -321. Is z a prime number?
False
Let c = -11 + 11. Is (c - (-6)/4)*74 composite?
True
Is (6/(-4) - -2)/(22/32692) prime?
True
Let o = 1558 + -141. Is o prime?
False
Is (-47)/15*-237 - 4/(-10) a prime number?
True
Suppose 4 = -4*v - 16. Let s(m) be the third derivative of m**6/120 + 7*m**5/60 + m**4/4 + 5*m**3/6 - m**2. Is s(v) a composite number?
True
Suppose 3*b + 2*b + 4*u - 2669 = 0, b = -2*u + 535. Is b a prime number?
False