True
Let y(g) = 32*g + 2. Is y(6) composite?
True
Let w(x) = 2*x - 2. Let v be w(-2). Let n be (-639)/v*4/3. Let s = -89 + n. Is s composite?
False
Let g = -446 + 805. Is g a prime number?
True
Let c(x) = 548*x**3 + 3*x**2 - 3*x + 1. Is c(2) prime?
True
Suppose -3*h - 422 = -5*h. Is h prime?
True
Let m(w) = 3*w - 2. Let o be m(2). Suppose 132 = o*v + 2*c - 4*c, 99 = 3*v + c. Is v composite?
True
Let r = -8 + 11. Suppose 6*h = r*h + 159. Is h a composite number?
False
Let u(s) = -s**3 - 6*s**2 + 27*s - 11. Is u(-13) a prime number?
True
Suppose 115 + 297 = 4*r. Is r a prime number?
True
Suppose -186 = -m + 65. Is m a prime number?
True
Let p = 57 - -7. Suppose 5*y = -4*z - 210, 0*y + y + z + 42 = 0. Let q = p + y. Is q a composite number?
True
Suppose 2*k = -2 + 6. Let d = 1 + -1. Suppose d*b = k*b - 334. Is b a prime number?
True
Is 5*(2 + -3 - (-102 - 0)) a composite number?
True
Let q(m) = m**2 - 7*m - 2. Let g be 4 - (-2 + 3/(-3)). Let w be q(g). Is (3 + -6)*-181 + w a prime number?
True
Suppose 0 = -5*u + 2480 + 17765. Is u a composite number?
False
Let m = 3 - 3. Let r(d) = d**2 - d + 26. Let g be r(m). Let t = 56 + g. Is t a prime number?
False
Let s = 94 + -50. Let z = s - 9. Is z a prime number?
False
Suppose 5*h - 3 = 2. Is (2 - h)/1*163 prime?
True
Let b = 277 + -100. Is b prime?
False
Suppose 209 = 4*r + l, 5*r - 2*l - 277 = 2*l. Is r composite?
False
Let r be (5/(-3))/((-5)/9495). Suppose 5*q = -0*q + r. Is q composite?
True
Suppose 286 = s + s. Is s composite?
True
Let n(f) = -f**2 + 10*f - 5. Let j be n(9). Suppose -66 = -2*b + j*t, -6*b + b - 3*t + 178 = 0. Is b prime?
False
Let q = 51 - 6. Let h = q - -9. Suppose -5*w = -371 - h. Is w composite?
True
Let a be (0 - -69)/(9/30). Is a*(6/4 + -1) prime?
False
Let c(z) = -18*z - 17. Is c(-8) prime?
True
Let t(z) = z**2 - 7*z + 1. Let q be t(6). Let p = 0 - q. Suppose -p*g = -112 + 42. Is g a composite number?
True
Suppose -6 = 4*w - 26. Let p be -8*(0 + 0 + -2). Let l = w + p. Is l composite?
True
Let d be -5*-1*(1 + 1). Let x be 2/(-5) + 454/d. Let q = x + 38. Is q composite?
False
Let r(p) = 1470*p**2 - p. Is r(1) a prime number?
False
Let y be (16/10)/(6/15). Suppose -y*i + 182 + 126 = 0. Is i composite?
True
Suppose -3*a = a - 32. Let d be (-1)/(-2 - (-14)/a). Suppose 0 = 4*j - o - 219, 5*o - 2*o = d*j - 217. Is j a prime number?
False
Let u(p) = 3*p**2 + 6*p + 4. Is u(-5) a prime number?
False
Let p(f) = -f**2 + 2*f - 1. Let q be p(3). Let d(r) = 12*r**2 + 2*r + 3. Is d(q) a prime number?
False
Let o(n) = 3*n**2 + 2*n - 5. Let m = 5 - 20. Let t = m - -9. Is o(t) a prime number?
False
Suppose -2*x = 3*u - 4*u + 75, 2*x - 3*u = -77. Let p = -4 - x. Is p a composite number?
True
Is (-4)/(-18) - 4/(72/(-13478)) a composite number?
True
Suppose 3*r + 0*r = -54. Is (-4)/r + (-61)/(-9) prime?
True
Let q = -6 + 6. Suppose q = s - 67 - 116. Is s composite?
True
Let c(z) = -z**2 + 6*z + 3. Suppose 44 = 4*g + 5*q - 5, q = 3*g - 13. Is c(g) a composite number?
False
Let d = -2144 - -3087. Is d prime?
False
Let o(d) = -16*d - 4 - 1 - 84*d - 8. Is o(-8) prime?
True
Let b be 4/4 + -1 + 2. Suppose -b*z + 3 = -z. Suppose -z*v = 3*a - 48, v = -2*a - 3*v + 42. Is a prime?
True
Let m(d) = 3*d**3 - 4*d**2 - 8*d - 12. Is m(11) a prime number?
False
Is 2 - (-2 + (-703 - 2)) a composite number?
False
Suppose -4*v = -7 - 17. Let g(q) = -10 + 1 + 16*q + v*q. Is g(7) a composite number?
True
Suppose k - 45 = 61. Suppose 0 = -h + 3*h + 4*o - k, -2*h + 94 = o. Suppose 3*g = -y + h, 151 = 6*y - 3*y + g. Is y composite?
True
Let h(j) = -j + 0 - 1 - 2. Let k be h(-6). Suppose -v + k*l - l = -24, 3 = 2*v + 5*l. Is v composite?
True
Suppose 2*y + 4*m - 26 = 0, 0 = y - 5*m + 1 + 21. Suppose -3*g = -5*c - 2*g + 749, y*c - 5*g - 467 = 0. Is c composite?
False
Let v(h) = 2*h - 2. Let m be v(7). Let q be ((-981)/m)/((-6)/16). Suppose 4*a - q = 138. Is a a prime number?
True
Let w be ((-3)/(-2))/3*-2. Let k = w - -3. Is (-30)/k*(-58)/6 composite?
True
Let r(l) = 2*l - 4*l**3 + 3*l**3 + l - 5 - 5*l**2. Let o(a) = -a**2 - 2*a + 9. Let n be o(-5). Is r(n) a prime number?
True
Let s(i) = -4*i**3 - 4*i + 5*i**3 - 6*i**2 - 52 + 42. Suppose 3*y - 14 = 7. Is s(y) a composite number?
False
Suppose -14 = -d + 4*c, -4*d + 0*c + 76 = 4*c. Suppose -2*f + 140 = -d. Is f a composite number?
False
Suppose 5*w - 323 = 422. Is w a composite number?
False
Suppose -c + 3*u = -4*c + 117, c = -5*u + 59. Is c prime?
False
Let i = -29 + 198. Is i composite?
True
Suppose -5*a + 7 + 3 = 0. Let z be (-1)/(-5) - a/10. Let g(b) = -b + 89. Is g(z) prime?
True
Suppose -3*p + 422 = 155. Is p prime?
True
Let g = -4 - -6. Let c = -11 - -6. Is 0 - (g - 0) - c a composite number?
False
Let w(s) = -s + 1. Let y(k) = -92*k + 5. Let r(h) = 6*w(h) - y(h). Is r(3) composite?
True
Suppose 248 = -4*g + 8*g. Let z = -30 + g. Suppose z + 53 = l. Is l a composite number?
True
Suppose 571 = g - 0*g. Is g prime?
True
Let x(z) be the second derivative of -z**3/6 + z**2/2 - 2*z. Let r be x(-4). Suppose 0 = -r*b - 88 + 273. Is b a prime number?
True
Let t = -7 + 1280. Is t prime?
False
Suppose 3*o + 2*o = 10. Suppose -r - 23 = -5*i, 2*r - o*i = -0*r - 6. Is r - (-31 - -2)*1 a composite number?
False
Suppose -198 = -0*u - 3*u. Let q = u + -35. Is q a prime number?
True
Suppose -u - 97 = -2*y + 15, -265 = -5*y - 5*u. Is y a prime number?
False
Suppose 5*o - 18 = -j, -o + 15 = 2*j + 2*j. Suppose 0 = -4*x + 4, o*l + 2 - 6 = 2*x. Suppose -4*c = -l*c - 12. Is c a composite number?
True
Let a(x) = 173*x - 7 - 5 + 5 - 2. Is a(4) a composite number?
False
Let q be 35*(-1 + (-110)/(-14)). Suppose -4*o + 0*o = q. Is o/(-9) + 1/3 a prime number?
True
Let c = 458 + -247. Is c a composite number?
False
Let a(w) = w**3 - w**2 + 4*w + 5. Let u(d) = d**3 + 4*d**2 + 2*d + 1. Let t be u(-3). Is a(t) a prime number?
False
Let j(d) = -124*d**2 + 2*d + 1. Let q be j(2). Let s = -198 - q. Is s composite?
False
Let s(a) = a**3 - 6*a**2 - 6*a - 4. Let p be s(7). Suppose -81 + 232 = 2*o + 3*g, -5*o + 400 = p*g. Is o a composite number?
False
Let i(a) = 6 + 24*a**2 - 4 + 4*a - 2*a**2 + 0*a. Is i(-2) a prime number?
False
Suppose 4*m = -4*p + 3008, -m + p = 4*p - 758. Is m a prime number?
False
Suppose k = 2*k - 3. Let h be k - 1 - 2/(-2). Is (-155)/(-3) - 2/h a prime number?
False
Suppose -4*a + 3*a = 0. Suppose -2*g + 10 = a, 5*n - 369 = -g + 201. Is n a composite number?
False
Let u(c) = 8 - 9 + 4*c - 3*c + 0*c. Is u(7) composite?
True
Is (-2)/((-8)/(-3012)*-3) composite?
False
Let j(d) = 1151*d**2 - 2*d + 2. Is j(1) composite?
False
Suppose -4*o + 455 = i, -2*i + o + 880 = -o. Is i composite?
False
Suppose 4*u - 198 = -2*v, -4*v + 148 = 3*u - 3*v. Suppose -4*l + 27 = -u. Is l a prime number?
True
Suppose -h = -0*h - 6. Suppose 2*x = 4*x - h. Suppose x*n = -9 + 66. Is n a prime number?
True
Let b be (-2)/(-3) + (-8)/3. Is 85 + 4 + -2 + b composite?
True
Let d = 247 - 157. Let t = 59 + d. Is t prime?
True
Let b(v) be the third derivative of -v**6/60 + v**3/6 + 4*v**2. Is b(-5) a prime number?
True
Let a = 1484 + -853. Is a composite?
False
Is (-1 - -398) + 92/23 a prime number?
True
Let j(v) = -61*v + 4. Let f(a) = 62*a - 5. Let n(y) = -3*f(y) - 4*j(y). Let t be (-11)/(-5) - 2/10. Is n(t) a composite number?
True
Suppose -2*u - 6 = -4*u. Let s be 3*u/9 - -2. Suppose n - 4*r = r + 19, s*n - 4*r = 57. Is n prime?
True
Let i = -401 + 616. Is i composite?
True
Let z be (15/6)/(2/4). Suppose -a = -s + z*s + 13, -3*s + 5*a + 19 = 0. Is (-173)/s - 3/2 a prime number?
False
Suppose -4*x = -x - 15. Suppose 0*l - x*l + 10 = 0. Let s = 21 + l. Is s a prime number?
True
Suppose -5*j - 2644 + 20833 = -2*y, 10915 = 3*j - 2*y. Is j a composite number?
False
Suppose -4197 = 45*z - 48*z. Is z a prime number?
True
Suppose 7*s - 1352 = -211. Is s prime?
True
Let w be -1 + 3 + 22 + 1. Is 6/10 - (-1460)/w a composite number?
False
Let i be ((-5)/(-4))/((-2)/(-8)). Suppose 0*z = i*z - 435. Is z prime?
False
Let z(s) = 26*s**2 + 2*s - 3. Let y be z(2). Suppose -1 - y = -o. Is o a composite number?
True
Let m(g) = -g**2 - 4*g - 4. Let t be m(-3). Let w be (t - -6)*2/(-5). Is w/6 + 174/9 composite?
False
Let w = 18 + -13. Suppose -w*g = -g - 812. Is g prime?
False
Let w(z) = -z**2 - 8*z + 6. Let g be w(-8). Supp