Let b = 44 - 221. Let a = w - b. Is a a composite number?
False
Let g(h) = -2*h - 3. Let v be g(-2). Is v/((-42)/43 - -1) a prime number?
True
Let g be (-102)/2*(-2 - -1). Let w = g - 36. Is w composite?
True
Let n = -56 + 865. Is n prime?
True
Let i(u) = 5*u**2 + 3*u - 2. Let d be i(2). Let z be (-6)/d - 26/(-8). Is z - 2/(-3)*6 a prime number?
True
Let n(o) = -o**3 - 8*o**2 - o - 3. Is n(-9) a prime number?
False
Let m(n) = n**2 - 24*n - 11. Is m(-16) prime?
False
Let x(t) = -11*t**3 + 5*t**2 + 7*t + 4. Is x(-5) composite?
True
Let q(r) = -2*r + 7. Let x be q(5). Let v = x - -4. Is (-1)/((-42)/(-45) - v) composite?
True
Suppose 3*j = -2*j + 190. Suppose -f = -j + 3. Is f prime?
False
Suppose -7065 = -3*q + 3*t - 915, -2070 = -q + 5*t. Is q a composite number?
True
Let v = -319 - -786. Is v composite?
False
Let k(o) = 10*o + 6. Let a be k(5). Let j = a + -215. Is j/(2 - -1)*-1 composite?
False
Is (-1052)/(-8)*2 - 0 a composite number?
False
Suppose -5*v = c - 89, -2*v - 391 = -4*c - c. Is c composite?
False
Let r be ((-8)/6)/(4/(-6)). Suppose 2*j = 2*k - 7*k - 10, -4*j - 20 = -2*k. Suppose k*t - 3*t - v + 115 = 0, -r*t = -2*v - 66. Is t a prime number?
True
Suppose 42 = -3*m - 3*h, -4*m + 4*h = -m + 35. Suppose -4*j + 115 = -157. Let c = j + m. Is c a composite number?
True
Suppose 0*b + 8 = 2*b. Suppose 207 = b*i - 733. Is i composite?
True
Suppose 6*m - 12 = 3*m. Suppose 0*l = -m*l + 652. Is l prime?
True
Suppose -2*o - 4 = -12. Suppose 0*k + o*k = 12. Suppose -k*m + 0*m + 253 = 5*q, 2*m - 45 = -q. Is q composite?
False
Let z(h) = h**3 + 7*h**2 + 8*h + 4. Let g be z(-5). Suppose 4*l + g = 2. Let t = l - -14. Is t composite?
False
Suppose 106 = 3*r - 53. Is r composite?
False
Suppose 2*z = 5*z - 3. Is ((-245)/21)/(z/(-3)) prime?
False
Suppose -10393 + 29452 = 3*w. Is w prime?
True
Let q = -191 + 550. Is q a composite number?
False
Let d(i) be the third derivative of i**5/60 + i**4/4 + 7*i**3/6 - i**2. Let u be d(-5). Suppose 4*q + 5*x - 92 = 0, 0*x = u*q - 3*x - 46. Is q composite?
False
Suppose 0*t + 656 = 4*t. Let v = t + -85. Is v a composite number?
False
Let b be (-2)/(-6)*(2 + 13). Suppose -b*u + 1429 - 124 = 0. Suppose n = -4*k + u, 3*k + 3*n - 4*n = 194. Is k prime?
False
Is -3 + 222/6 + (-2 - -1) composite?
True
Let w(g) = -g**3 + 2*g**2 + 2*g + 1. Let o be w(2). Suppose 3*l + o = 4*l. Suppose -3*t - 2*t + 317 = -2*s, -t = l*s - 85. Is t prime?
False
Let o be (-2)/((-4)/482)*1. Let r = 378 - o. Suppose -d + 100 = 3*w - 2*d, -4*w = -5*d - r. Is w prime?
False
Let u(b) = -b + 1. Let z = 7 + -9. Let i be u(z). Suppose -4*v - 3*q = -2*v - 68, 0 = -i*v - 2*q + 107. Is v a composite number?
False
Let b be 4/6 - 16/(-3). Let p(r) = r**2 - 6*r + 3. Let s be p(b). Is 21 + (-3)/s + -1 prime?
True
Suppose -3*o + 526 = -713. Is o prime?
False
Let q = 3 - 0. Suppose -4*g - q*k = -2 + 20, -3*g = -k + 20. Is (-4)/(-2)*(-57)/g prime?
True
Let f = 49 - 34. Is f prime?
False
Let v(t) = t**3 + 7*t**2 - 3*t + 8. Is v(-6) prime?
False
Suppose -3*p + 1007 = -427. Is p a composite number?
True
Suppose h - 16 = -3*f + 292, -5*f + 619 = 2*h. Is h a composite number?
False
Let n(p) = 31*p**2 + p + 1. Is n(2) a composite number?
False
Suppose -2*u - 2 = 4*n, -n - 3*u = 10 + 3. Is n/(-5) + 374/10 prime?
True
Suppose -3582 = -15*z + 6*z. Is z prime?
False
Let v be 3/6 - (-43)/2. Suppose -7 = 5*m - v. Suppose 2*b = m*j + 2*j + 129, 2*b + j = 159. Is b prime?
False
Suppose z - 3*z - 5*l = -160, -2*z + 174 = -2*l. Is z composite?
True
Suppose 2*j - 3*s = -2*j - 1, 4*s = j - 16. Let p(h) be the second derivative of -h**3 - h**2 + 4*h. Is p(j) a composite number?
True
Let s be (1/(-2))/((-2)/8). Suppose 0 = -3*n - 9, y = -s*n - n + 60. Is y a composite number?
True
Let w(u) = 60*u**2 + 2*u - 23. Is w(-7) prime?
True
Let c = 6 - 20. Let w be 2*(-2 + c/(-4)). Suppose -w*s - 10 = -109. Is s a prime number?
False
Suppose m - l = -4*l - 10, -2*m + 3*l + 25 = 0. Let r(j) = 2 + 4 + 21*j - m. Is r(4) a composite number?
True
Suppose 0 = 5*t + 5*x, -t - 5*x = -0*x + 16. Suppose 0 = -t*b - 275 + 3203. Is (-2)/(-5) + b/20 a composite number?
False
Suppose 0*f = f - 2*z, -2*z - 4 = -3*f. Suppose 0*q - f*q = -12. Suppose q = -0*y + 2*y. Is y prime?
True
Let k(q) = q**2 + q - 12. Let s be k(0). Let v be 12/(-10)*30/s. Suppose -v*j + 188 = j. Is j composite?
False
Suppose -j = -2*j - 11. Is 4*52 + (-8 - j) a prime number?
True
Suppose -4*h = 564 + 232. Let m = h - -288. Is m prime?
True
Let x = 25 + -5. Suppose 2*j - 8 = 0, -5*t + 5*j - x = -2*t. Suppose t = -b + 6*b - 50. Is b a prime number?
False
Is 20/6*174/4 composite?
True
Let v(f) = 3*f**2 + f - 1. Suppose -3*c + 4*t - 2 = 0, 2 = c + 4*c - 4*t. Is v(c) a prime number?
True
Let q(j) = 517*j + 2. Is q(1) prime?
False
Suppose -m + 3 = -0. Suppose 2*x - m = 1. Suppose 3*n + 35 = 2*c, x*c - n = 33 + 8. Is c composite?
True
Suppose -7*i + 5*i = -354. Suppose -3*j = -0*j - i. Is j prime?
True
Let r = -1056 - 50. Let k be 0 + -3 + r/(-2). Suppose -149 = -3*t + k. Is t a prime number?
True
Let c(p) = p**2 + p - 6. Let w be c(-11). Suppose -70 - w = -2*i. Is i a composite number?
True
Suppose 5*z - 4*o - 3969 = 0, z + 6*o - 817 = o. Is z a composite number?
False
Let j = 23 + -32. Let m = -5 - j. Suppose 4*a + m*f - 120 = 0, 2*f + 36 = a - 3*f. Is a prime?
True
Let c(u) = u**3 + 9*u**2 - 5*u - 4. Let y be c(-8). Let h(d) = -d**3 - 5*d**2 - 5*d - 8. Let v be h(-6). Suppose -2*l + v = -y. Is l a composite number?
False
Is 2/(-4)*6 + 121 a composite number?
True
Is ((-1061)/(-6)*-2)/((-1)/3) a prime number?
True
Let x be 12/78 - (-126)/26. Suppose -x = -5*w, 0*j - 4*j + 10 = -2*w. Suppose -59 = j*h - 4*h. Is h composite?
False
Let p(c) be the third derivative of 7*c**4/24 + c**3/6 + 2*c**2. Let n be p(1). Is (-12)/n*124/(-6) prime?
True
Let d(u) = 2*u + 3. Let t = 13 - 8. Is d(t) a composite number?
False
Let c(r) = 3*r**3 - 4*r**3 - 8*r - 10*r**2 + 10 - 3. Suppose m + 4*s + 26 = 0, -9*s + 4*s - 10 = -m. Is c(m) a composite number?
True
Suppose -5*i + 10 = -3*s + 5*s, 4*s - 4*i = -36. Let t be 4/10 + (-8)/s. Suppose u = t*u - 39. Is u a composite number?
True
Let w(d) = 20*d - 4. Let u be w(10). Let x = 15 + u. Is x a composite number?
False
Is 1 - 920/(-2 - 3) a composite number?
True
Suppose -4*v + 4*t - 6 = -2*v, 3*t - 9 = 0. Suppose v*g + 15 = 0, 2*h - g + 2*g = 101. Is h a composite number?
False
Suppose -2*i = 3*y - 112, 3*i + 5*y - 2*y = 162. Suppose -z + 44 + 41 = 0. Let x = z - i. Is x a composite number?
True
Let y = -112 - -77. Let k be 64 - ((0 - 0) + -2). Let o = y + k. Is o a prime number?
True
Let x(w) = -w**2 + 3*w + 5. Let k be x(4). Let z = k - 2. Is z/1 + 1*60 a composite number?
False
Let j(w) = 3*w**2 + 12*w - 7. Let v = -5 - 0. Let q(s) = -7*s**2 - 25*s + 14. Let h(r) = v*j(r) - 2*q(r). Is h(-8) prime?
True
Let h(o) = -o**2 + 12*o + 1. Let r be h(11). Suppose -r - 14 = -t. Is t composite?
True
Let n = 142 + 237. Is n a prime number?
True
Suppose 0*a + 2*g - 8 = 2*a, 4*a = -3*g + 5. Is a/(728/(-242) + 3) a prime number?
False
Suppose 3*a - 70 = -5*p + 62, 0 = 3*a - 4*p - 105. Suppose -3*u - 33 = a. Let b = -13 - u. Is b a prime number?
True
Let x = -1252 - -1887. Is x composite?
True
Let v(o) = -2*o**3 - 21*o**2 - 17*o + 22. Let d(l) = -l**3 - 11*l**2 - 9*l + 11. Let z(f) = -7*d(f) + 4*v(f). Is z(-8) prime?
False
Let p = -511 - -937. Suppose 5*z - p + 1 = 0. Is z a composite number?
True
Let k = -3042 + 5215. Is k composite?
True
Suppose 0*d = -d + 26. Suppose x - 28 = -g + d, -3*x = g - 152. Is x prime?
False
Suppose g + 2*b - 119 = -0*b, -4*g + 5*b + 476 = 0. Is g a prime number?
False
Let a(f) = 82*f**2 + 1. Is a(-1) prime?
True
Let n = 7 + -4. Let q be 6*((-6)/n)/6. Is 122/8 + q/8 prime?
False
Suppose -4*v - 3*g + 2333 = 0, g = 4*v + 3*g - 2330. Is v composite?
True
Let v(d) = 25*d - 6. Let j be 4/(-18) + (-280)/(-45). Let n be 2 - 1/(-2)*j. Is v(n) a prime number?
False
Let y(t) = 8*t - 404. Let r(p) = 7*p - 405. Let g(f) = -5*r(f) + 4*y(f). Is g(0) a composite number?
False
Let k = 635 + 304. Is k a prime number?
False
Let o = 16 - 10. Suppose -5*h = -m - 1144, -3*h - m + 238 + 450 = 0. Suppose 5*p - 205 = -4*a, -4*a = -o*p + 3*p - h. Is a composite?
True
Suppose -3*a + a + 4 = 0. Suppose 5*s + 78 = 3*l, 