*1. Suppose -52 = -x*s - s. Is s prime?
True
Suppose 129 = 5*k - 2696. Suppose 6*t + 31 = k. Is t composite?
False
Suppose 0 = -4*r + 10*r - 2406. Is r composite?
False
Suppose -y + 1892 = -5*v, 0*y = 3*y - 5*v - 5686. Let x = -1346 + y. Is x a composite number?
True
Let a = 21 + -17. Suppose -6*p + 314 = -a*p. Is p a composite number?
False
Suppose 30*x + 1271 = 31*x. Is x prime?
False
Let s(h) = -h**3 + 11*h**2 + 15*h + 17. Is s(12) composite?
False
Let v be (-1976)/(-10) - (-6)/15. Suppose 0 = 4*x - 7*x - v. Is (-2)/(4/x) + -2 prime?
True
Let y be 5/(-20) + (-13)/(-4). Suppose -539 + 158 = -y*t. Is t composite?
False
Let o(q) = 23*q - 15 + 15. Is o(2) a prime number?
False
Let h(o) be the first derivative of -o**3/3 + 7*o**2/2 + 3*o - 2. Let v be h(7). Suppose 6*i - 18 = v*i. Is i a prime number?
False
Is 182136/15 - (-3)/5 composite?
False
Let o(z) = -79*z. Is o(-7) composite?
True
Suppose -12 = 3*z - 6*z. Is (-41)/(-4) + (-1)/z composite?
True
Let f(i) = -i**2 - 7*i + 11. Let o be f(-8). Suppose -69 = -o*z + 90. Is z composite?
False
Suppose -2*m - 4 = 4*r, 4 = -3*r - 0*m - 2*m. Suppose d = -2*d + 6. Suppose -y + d + 33 = r. Is y composite?
True
Let q = -7 + 12. Let u(s) be the first derivative of 2*s**3/3 - s**2/2 + 4*s - 1. Is u(q) a prime number?
False
Suppose 302 + 1464 = 2*j. Is j a composite number?
False
Let i(g) = -61*g + 58. Is i(-21) a composite number?
True
Suppose 6 = 2*i, -w - i + 1 = -2*w. Let g(f) = 9*f**2 - 3*f + 3. Let q(a) = a**2. Let c(l) = g(l) - 6*q(l). Is c(w) a composite number?
True
Let g be 252/3 + (-2 - -3). Suppose 3*n = -2*s + 47, -2*n - g = -4*s + n. Is s a prime number?
False
Suppose 2*v + 3*u = 300, 4*v + 3*u - 389 - 199 = 0. Let o = 109 + v. Is o a composite number?
True
Let w be (-748)/(-10) + 3/15. Let f = w - -28. Suppose -2*l + f = -3. Is l a composite number?
False
Let f(r) = -r**3 + 12*r**2 + 14*r + 4. Let d be f(12). Suppose 2*o = q + d, -4*q + 8 = -0*q. Is o a prime number?
False
Let s(m) = m**2 + 4*m + 3. Let h be s(-5). Suppose f - a - 60 + h = 0, -269 = -5*f - 4*a. Is f prime?
True
Let z be (6/1)/((-7)/(-336)). Let x = z - 124. Suppose -3*c + 265 = -x. Is c a prime number?
False
Let a(q) = -18*q - 11. Is a(-6) prime?
True
Let j be (-55944)/(-60) + 2/(-5). Suppose y + j = 4*u, -y = 3*u + y - 699. Is u a composite number?
False
Let q(x) = 3 + 3*x + 3*x**2 + 1 - x**3 - x**2. Let j be q(3). Suppose -142 = -4*f + 2*h, j*f = -h + 94 + 45. Is f a prime number?
False
Let f be 399 - ((-1 - 2) + 0). Is ((-1)/(-3))/(2/f) a prime number?
True
Let v = 1437 - -28. Suppose -10*z + 15*z - v = 0. Is z composite?
False
Let d be (4/(-3))/((-4)/(-54)). Let r = -6 - d. Let p = r - -41. Is p a prime number?
True
Suppose 252 = 5*w - 113. Suppose 33 = 2*b - w. Is b composite?
False
Suppose 6*l - 3*l = 2607. Is l composite?
True
Let a(s) = -37*s**3 + 3*s + 3. Is a(-2) a prime number?
True
Let y = -19 - -31. Suppose 1 + 8 = -3*o. Is (-2)/o*342/y a composite number?
False
Let k = 437 - 93. Is ((-1 - 2) + k)/1 prime?
False
Suppose 2 = -3*f + 8. Suppose -k - 123 = -f*k. Is k prime?
False
Suppose c = 2*q - 829, 2*q = -5*c + 11 + 824. Is q a composite number?
True
Suppose 32 = 2*r - 116. Is r a composite number?
True
Let p(u) = 2*u**2 + 9*u - 8. Let o be p(-7). Let q be 4/(-18) - 9390/o. Is (q/(-30))/(1/5) prime?
False
Suppose -2*j - 1 = 4*y + 37, -2*j - 2*y = 46. Let n = j - -116. Is n prime?
True
Let t(v) be the third derivative of 1/60*v**5 - 3*v**2 + 1/6*v**3 + 7/24*v**4 + 0*v + 0. Is t(8) composite?
True
Let a(w) = w**2 + 0 + 2 + 3. Is a(-4) composite?
True
Let c be 1/(-5) - (-46)/5. Is 1 + (c/(-3) - -121) prime?
False
Suppose 4*w + 423 = 3*o - 1346, -599 = -o - w. Suppose -3*s + o = 2*s. Is s prime?
False
Suppose 4*v + 3*i - 142 = 0, 110 = 3*v - 0*v + 4*i. Suppose -2*r = -5 - 1. Let w = v + r. Is w a prime number?
True
Let w = -75 - -314. Is w composite?
False
Let z = 789 + 528. Is z prime?
False
Suppose o - 6*o + 202 = 3*t, 211 = 3*t - 4*o. Is t a prime number?
False
Suppose 0 = 4*c - 5*c - 31. Let b = -11 - c. Suppose 4*z + 5*h - 3*h = 852, -5*h + b = 0. Is z composite?
False
Let o(u) = -u - 4. Let v be o(-4). Let d(g) = -4*g - 3. Let m be d(-2). Suppose v*s = -m*s + 175. Is s a composite number?
True
Let x = 9737 + -6804. Is x a composite number?
True
Suppose 5*k + 3*n - 24 = 0, -2*k - 5*n + 30 = 9. Is k*10/6*2 a composite number?
True
Is ((-253)/(-4))/((-10)/(-40)) prime?
False
Let y(s) = s**2 - 23*s + 5. Is y(-6) a prime number?
True
Suppose -4*b - 8 = 0, 0*b + b - 10 = 2*r. Let a be (-4)/(-8) - r/4. Is ((-89)/a)/((-4)/8) composite?
False
Let j = 730 + -399. Is j prime?
True
Suppose -5*b - 6*b = -5599. Is b a prime number?
True
Suppose -3*s - 3*g = -432, -s - 3*g + 33 = -113. Is s a prime number?
False
Let q(g) be the second derivative of -g**3/6 + 35*g**2/2 + 2*g. Let i(n) = n**3 - 10*n**2 + 8*n + 9. Let w be i(9). Is q(w) a prime number?
False
Suppose 3*y - q + 4*q - 993 = 0, -3*q - 1655 = -5*y. Is y composite?
False
Suppose 0 = 41*d - 45*d + 748. Is d composite?
True
Let j(h) = 33*h - 20. Is j(17) prime?
True
Let r = -9 + 15. Let x(g) = -8*g - r + 14*g + 13*g. Is x(5) a composite number?
False
Is -2217*((-25)/(-15) + -2) a prime number?
True
Suppose 2*h - 5007 = 3159. Is h composite?
True
Suppose o = 11 + 59. Let j = 17 + o. Is j prime?
False
Suppose 5*r - 7*r = -4. Suppose l - 38 = -i, -4 = -r*l - 2. Is i prime?
True
Let u be (2/(-5))/((-2)/(-10)). Let k(t) = 33*t**2 + 4*t + 3. Is k(u) composite?
False
Suppose -q + 0*z + 307 = -4*z, 0 = 5*q + 4*z - 1535. Is q a prime number?
True
Suppose 76 = 4*z - 240. Is z a composite number?
False
Let j(t) = t**3 + 7*t**2 + 3*t + 4. Let n be j(-6). Let z = 69 - n. Is z prime?
True
Let h(q) = q - 8. Let j be h(8). Suppose 5*p - 6*p + 131 = j. Is p a prime number?
True
Let c be (-2)/5 - 3424/(-10). Suppose l - 11 = -4*b + 9, 0 = -3*l. Suppose -3*k + 15 = 2*k, b*k = 3*t - c. Is t prime?
False
Let i(f) = 39*f**2 - f + 55. Is i(-12) prime?
True
Let y be 1/((-1)/2) + -1. Let p be (y/((-3)/(-2)))/1. Is ((-134)/8)/(p/8) a prime number?
True
Let z be (-4)/(-10) + (-52)/5. Let c = 0 - z. Is c composite?
True
Let d = 15 - 6. Let l(m) = 15*m - 11. Let n be l(d). Suppose 0*z + 4*z - n = 0. Is z prime?
True
Suppose -3*s - 6 = -45. Suppose w + s = -k - 3*k, 7 = -k - w. Is k + 1 - (-198)/3 a composite number?
True
Suppose -h + 4*h - 24 = 0. Suppose -2*r - 2*r = -h. Suppose -r*t - 5*s + 246 = 0, 2*s + 545 = 5*t - 3*s. Is t a prime number?
True
Let v = 256 + -3. Is v prime?
False
Suppose -a = -6 + 2. Suppose -5177 = -5*q + 2*f - 1414, a*q - 3*f = 3016. Is q composite?
False
Is 4/16 + 939/4 composite?
True
Suppose -q = -4*r - 957, 3*r = r - 8. Is q a prime number?
True
Suppose 0*j + 3*i - 98 = 4*j, -3*j = -4*i + 70. Is (2 - -2)/(-8)*j a composite number?
False
Suppose -1263 = 5*x + 487. Let q = x + 891. Is q prime?
True
Let y = -449 + 828. Is y a composite number?
False
Let s be 3/5 + 6/(-10). Let i(o) = -o + 149. Is i(s) a composite number?
False
Suppose -4*p = 78 + 190. Let f = 228 + p. Is f prime?
False
Let o be (1/(-2)*-4)/(-2). Let t = o + 3. Let f(w) = 33*w**2 - 2*w + 3. Is f(t) composite?
False
Suppose 10 = -5*z + 10*z. Suppose -z*b + 449 = -x, -3*x - 9 - 223 = -b. Is b composite?
False
Suppose 2 + 0 = -2*j - 3*w, -15 = j + 5*w. Suppose n - 7 = -4*a, n = -4*a + j*n + 12. Suppose a*i = -5*t + 108, 5*i - 3*t - 235 = 2*t. Is i a composite number?
True
Let s(x) = x + 1. Let k = 3 + -1. Let a = 3 - k. Is s(a) composite?
False
Suppose -2*q + 100 - 27 = 5*o, o - 18 = 3*q. Is o a composite number?
True
Let j(g) = 19*g**2 - 19*g + 5. Is j(8) composite?
False
Let t = 512 - 93. Is t prime?
True
Suppose 3*j - 9 = -3. Suppose -5*i = -j*i. Suppose i*n + 356 = 4*n. Is n a prime number?
True
Let s(o) = 110*o - 8. Let p be s(3). Let w = p - 177. Is w composite?
True
Let a(g) = -173*g - 2. Is a(-3) a prime number?
False
Let v = -13 - -14. Is 2/1*v + 305 a composite number?
False
Suppose 3*w = -596 + 1931. Is w a composite number?
True
Let g = 590 - 412. Is g composite?
True
Let k(o) = 185*o**2 + 6*o + 5. Is k(-2) a composite number?
False
Suppose 6*m = 8*m + 214. Let g = -28 - m. Is g a prime number?
True
Let v be (-9)/(-6) + 3/(-2). Let r(w) = w**2 + w + 28. Let t be r(v). Suppose 5*s - s = t. Is s 