 Let o be (-1)/2*g*-1. Is (o/1)/(6/258) composite?
False
Let w be 0 - ((2 - 3) + -4). Let i be (-3 - -1) + 1*w. Suppose t = i*t - 178. Is t prime?
True
Let h = 1357 + -248. Is h composite?
False
Let y(l) = -l**3 + 4*l**2 - 3*l + 1. Let g be y(3). Let q(u) = 19*u. Is q(g) composite?
False
Suppose k + 4 = -8. Is 33/2*(-40)/k a composite number?
True
Let l be (-3)/12 - (-26)/8. Suppose -3*w + l = -0, -2*v = -w + 129. Let o = v - -119. Is o composite?
True
Suppose 0 = w - l + 2, 5*l = -3*w + 11 - 33. Let m(k) = -172*k - 9. Is m(w) composite?
True
Suppose o = -5*w + 502, -5*w - 497 + 25 = -o. Is o prime?
True
Suppose 5*z + 217 = 3*k - 100, 4*z + 94 = k. Let r = 79 + k. Let q = -114 + r. Is q prime?
True
Let t(i) = 2*i**2 + 8*i. Let z be t(-4). Is -1 + z + (-75)/(-5) prime?
False
Suppose 0 = -4*z + 5*z - 223. Is z prime?
True
Let j(c) = -7*c**3 + 3*c**2 + 19*c + 14. Is j(-7) composite?
True
Let c(x) = 4*x**2 - 3*x + 3. Let q = 6 - 11. Let p = q + 7. Is c(p) composite?
False
Let m(y) = -3*y + 1. Let g be m(-3). Let w be 186/g + (-2)/(-5). Suppose d - 3*x = -x + w, -d + 4*x = -15. Is d prime?
True
Is (5 + -1)*(-1996)/(-16) composite?
False
Is (18/8 + -1)*1916 composite?
True
Suppose a + 11 = -5*w, -3*w = 4*a + 2*w - 1. Suppose 5*r + c - 155 = -a*c, -3*r - 4*c + 89 = 0. Is r composite?
True
Let p(j) = j**3 + 6*j**2 + 7*j + 6. Let d be p(-5). Let f be 914/10 + d/10. Suppose -f = -2*b + 63. Is b composite?
True
Let r(f) = f**2 - f + 1. Let i be r(3). Suppose 355 = -2*s + i*s. Is s a prime number?
True
Suppose 0*v = -4*v + 284. Is v prime?
True
Suppose -2*o + 831 = -1101. Suppose 322 - o = -4*s. Is s composite?
True
Suppose -2*g + 8*g = 534. Is g a composite number?
False
Suppose x - 16 + 1 = 0. Suppose -4*v + x - 3 = 0, -2*d + 3*v - 1 = 0. Suppose d*z - 158 = -2*h, -4*z + 1 = -3*z. Is h a prime number?
False
Suppose 16*r - 2*r = 17990. Is r a composite number?
True
Suppose g = -5*u + 5*g + 2225, 0 = 3*u + 4*g - 1335. Is u a prime number?
False
Let u be 130/6 + (-6)/(-18). Suppose -u - 38 = -4*c. Is c prime?
False
Suppose -3*d + 19 - 1 = 0. Let i be (-2)/d + (-10)/(-3). Suppose 2*t + i*g + 0*g - 121 = 0, 5*t + 3*g = 280. Is t composite?
False
Suppose 2190 = 5*n - 0*n. Suppose -566 - n = -4*w. Is w composite?
False
Suppose -2*i + 5*t = -50, -2*i - 5*t = i - 50. Let u = i - -13. Is u a prime number?
False
Suppose -f - 525 = 2*d, 0 = 4*d + 4*f + 1140 - 100. Let n = d - -941. Is n/8 - (-1)/2 a prime number?
False
Let r = 233 + 23. Suppose -3*i + b = -r, -1 = b - 6. Is i prime?
False
Let p be (-2)/(-3) + (-206)/3. Let k be 8/(-12) + p/(-3). Is (-4)/(-8)*1*k a composite number?
False
Let h = 1186 - 771. Is h a prime number?
False
Suppose -5*n = -139 - 106. Let k = n - 12. Is k prime?
True
Let l(x) = x**2 + x + 5. Suppose 3*k = 5*k + 12. Is l(k) a prime number?
False
Suppose 2*l - 25 = -3*l, 20 = 5*h + 2*l. Is (-4388)/(-20) - h/5 a prime number?
False
Is ((-154)/(-4))/(11/22) composite?
True
Let s = -15 - -4. Let u = 10 - s. Is u composite?
True
Let j(o) = 3*o**2 - 12*o + 10. Is j(9) a prime number?
False
Let s be (0 + -5)*6/(-5). Suppose 3*w + s = w + 2*u, -2*u = -3*w - 4. Suppose w*q + 2*f = -f + 56, -4*q = f - 92. Is q prime?
False
Let h be ((-144)/20)/((-2)/(-60)). Let q = h + 439. Is q a composite number?
False
Let i(n) = 3 - 3*n**2 + 6*n**2 - 3*n + n**2. Is i(2) prime?
True
Let v(p) = 149*p**2 - 8*p - 4. Is v(-3) a composite number?
False
Suppose 2*m + 8 = -0*m. Is (m/(-6))/(4/402) a composite number?
False
Let r(n) = -n**2 - 19*n - 13. Let f = 17 - 32. Is r(f) a prime number?
True
Let y be (3/(-2))/(1/(-2)). Suppose 5*g + 2*k - 279 = k, y*g + 3*k - 165 = 0. Let j = -19 + g. Is j a prime number?
True
Let p = 3 - 4. Let i(t) = 18*t**2 + 16*t**2 + 1 - 1 - t. Is i(p) a composite number?
True
Let m = 94 - -17. Is m a prime number?
False
Let y(l) = 37*l**3 + 4*l**2 - 5*l + 1. Is y(2) prime?
False
Let g be 2533/3 + (-2)/6. Suppose 4*f + g - 2520 = 0. Is f a prime number?
True
Let a(z) = 96*z**2 - z. Is a(-1) composite?
False
Let z = -79 - -209. Suppose 0*f - 5*f - 5*i + z = 0, -f + 5*i = -8. Is f prime?
True
Suppose 3*f - 453 = 288. Is f prime?
False
Suppose 18*y = 17*y + 587. Is y a composite number?
False
Let i = 182 - 88. Let j = i + -39. Is j prime?
False
Let t = 1 - 8. Let o(c) = -c**3 + 11*c**2 - 9*c - 11. Let x be o(9). Is t/(x/12)*-5 a prime number?
False
Let o be (1/3)/((-1)/3). Let n be -1 - (-3)/o - -2. Let y(x) = -2*x - 2. Is y(n) composite?
False
Is 3/(3/2) + 287 composite?
True
Is 8/12*(-942)/(-4) prime?
True
Suppose 0 = -p - 559 + 2102. Is p a composite number?
False
Suppose -6*f + 4 = 4*i - 3*f, 5*i + 2*f = 12. Suppose 189 = i*n - 119. Is n composite?
True
Let i = -2 - -2. Suppose -4*t = i, -5*h + 140 = -h + 3*t. Is h prime?
False
Let o be 49 - (4*-1 + 2). Suppose 2*d - 27 - o = 0. Suppose 0 = -f + 4*r - 5*r + d, -r = 5*f - 191. Is f prime?
False
Suppose -2*p - p - 21 = 0. Let o(r) = 2*r**3 - r**2 + r + 1. Let m be o(-2). Is (-6)/m + (-831)/p prime?
False
Let j(t) = 3*t**2 - t + 1. Let k be j(3). Suppose k = -4*g - 39. Let d = g - -31. Is d prime?
False
Suppose -2*o = 2*t - 3*o - 84, -3*t + 3*o = -126. Let i = 51 + -30. Let y = t - i. Is y a prime number?
False
Let r(p) = -3473*p + 54. Is r(-3) composite?
True
Let a = 7 + -4. Suppose 14*t - 6 = 12*t. Suppose -143 = -2*o - t*k, -o = 3*o + a*k - 301. Is o a prime number?
True
Suppose -l - r + 106 = 0, -l = l - 2*r - 232. Is l a prime number?
False
Let n = 60 + -88. Suppose -32 = 2*d + 2*d. Is 93/7 - d/n composite?
False
Is (6 - 5)/(2/662) composite?
False
Let x(d) = -5*d**2 - 4*d - 6. Let t(l) = -l**2 - l + 1. Let b(h) = 4*t(h) - x(h). Is b(-7) composite?
False
Let i be 6/9 - (-340)/(-15). Let n = 79 + i. Is n prime?
False
Is 6/(-8)*-1622 + (-2)/(-4) prime?
True
Let v = 238 - 1. Suppose 4*j - v = j. Is j prime?
True
Let f(q) = 19*q**2 - 2*q - 3. Let u = 16 + -9. Let a = u + -9. Is f(a) a composite number?
True
Suppose 0 = 3*f - 6 - 6. Suppose -4*z + 40 = f*j, -3*z + 7 + 8 = 0. Suppose 126 = -5*v + j*l + 741, 0 = -5*l - 10. Is v a prime number?
False
Suppose -4*r - 2 - 6 = 0. Let a = 0 + r. Is 3/(a - -5)*31 a prime number?
True
Suppose -3*c = -c - 2. Let g be c*2*3/2. Is (1 + -2 + g)*2 a composite number?
True
Let v = 5 - 1. Suppose v*i + 3*b - 98 = -0*b, -i - b = -25. Suppose -y = -i - 16. Is y composite?
True
Suppose -2*u = 3*m + 1, 3*u - 5 = -2*m + 1. Suppose 3*d = -k - k - 5, 15 = -k - u*d. Suppose -l + 5 = -k. Is l a composite number?
True
Let b = -96 - -251. Is b a composite number?
True
Let z(x) = -x + 3. Let m be z(0). Suppose -2*s = 2*h + 2*s - 4, 0 = m*h - s + 1. Suppose 5*d - 5*k = d + 181, h = d + 5*k - 64. Is d composite?
True
Let k(x) = x**2 + 5*x - 4. Let i be k(-4). Let d(h) = -19*h - 3. Is d(i) composite?
False
Let d(t) = -t**2 + 5*t + 2. Let j be d(5). Suppose -j*n + 2*h + 14 = 0, 0 = -0*h - h + 2. Let v(p) = -p**2 + 13*p - 13. Is v(n) prime?
True
Is ((-1047)/(-9) + -4)*3 prime?
True
Suppose 10*u - 40 = 5*u. Let l(y) = y**3 + 7*y**2 - 8*y - 7. Is l(u) composite?
True
Let a(t) = -153*t. Let g(l) = 458*l. Let r(x) = -7*a(x) - 2*g(x). Let b be r(3). Suppose -3*c + 5*m + 286 = 0, 5*c = -3*m + b + 23. Is c prime?
True
Let u = 1 + 0. Suppose 5 = 2*f - u. Suppose -j - 5*d - 34 = -3*j, 33 = 3*j - f*d. Is j prime?
True
Suppose 6 = -7*m + 2*m - 2*y, -2*m + 5*y = -15. Suppose m = -6*l + 415 + 1427. Is l a composite number?
False
Suppose 2 + 6 = -2*t. Let h(s) = -s**3 + s**2 + 6. Let z be h(0). Let w = t + z. Is w a prime number?
True
Let r = -1 - -8. Let j = r - 7. Suppose 7*k - 3*k - 204 = j. Is k a composite number?
True
Let k(z) be the third derivative of z**6/120 + 2*z**5/15 + z**4/12 - 5*z**3/3 + 4*z**2. Suppose 0*r = 3*r + 21. Is k(r) a composite number?
True
Suppose 4*s - 13 = 3. Let d(n) = n**2 + 5*n + 1. Let t be d(-5). Is (59/s)/(t/4) prime?
True
Suppose 5*u + 2*k - 923 = 3*k, -3*k - 364 = -2*u. Is u a prime number?
False
Suppose 0 = -4*l + 5*h + 18, 0 = -h - 2 - 0. Suppose l*d = -0*c - c + 122, d = 5*c + 39. Is d composite?
False
Suppose -9*m = -1781 - 3898. Is m a prime number?
True
Suppose 4*b = 2*z + 4, 2*b + 2 = -z - 3*b. Is 156 - z*12/8 composite?
True
Suppose 3*w - 15 = 0, 0 = -3*g + w - 2*w + 20. Let m be -194*((-1)/1 - 0). Suppose -m = -g*c + 221. Is c prime?
True
Supp