p - 591 = -z. Suppose -3*j + z - 136 = 0. Let u = j + -40. Is u composite?
True
Let s(v) = v**3 - 11*v**2 + 11*v - 5. Let i be s(10). Let o(z) = 839*z + 6. Is o(i) composite?
False
Let a(k) = k**3 - 11*k**2 + 33*k - 7. Let p be a(6). Let b be (1 + 0)/(2/24). Let n = b + p. Is n a prime number?
True
Let p(k) = k**3 - 11*k**2 - k - 18. Let l be (-12)/3 - 1*-17. Is p(l) prime?
True
Suppose -5*p + 2*h + 0 = -22, -3*p + 10 = 2*h. Let o be (p/8)/(3/(-282)). Is (-2)/(-7) - o/7 a prime number?
True
Suppose 0 = 2*r + 3*r - 65. Let c(n) = -n**3 + 12*n**2 + 14*n - 11. Let p be c(r). Suppose -j + 90 = -0*j + i, -3*i - 160 = -p*j. Is j composite?
True
Let o be 1/(((-9)/(-24))/3). Let p(d) = 9 - 14*d + o - 2. Is p(-5) composite?
True
Let b(q) = 102*q**2 + 141*q - 13. Is b(20) composite?
False
Is ((-6334)/(-5))/((-3)/(315/(-6))) a prime number?
False
Let j = 41 + 69. Suppose -j = 3*q - 881. Is q a composite number?
False
Let o(j) = -j**2 - 3*j. Let p be o(-3). Suppose p = 3*u + 3*c - 567, 1327 = 5*u - 4*c + 364. Is u composite?
False
Suppose 4*n - 97007 = i, 41*i = 3*n + 42*i - 72750. Is n a composite number?
False
Let n(s) = 14*s**2 + 3*s**2 + s - 21*s**2 + s + 6 - 5*s**3. Is n(-5) prime?
True
Let m be ((-558)/(-8))/(1/(-8)). Let j(b) = -42*b**2 + 2*b + 1. Let g be j(3). Let w = g - m. Is w a prime number?
False
Let b(t) = -t**3 - 20*t**2 + 5*t + 60. Is b(-26) a composite number?
True
Let c(x) = -x**3 - 10*x**2 + x + 13. Let z be c(-10). Suppose -r + 4044 = -2*w + 601, 2*w = z*r - 10333. Suppose n + 4*n = r. Is n composite?
True
Let i(d) be the first derivative of -15*d**2/2 + 19*d + 2. Let p be i(14). Let y = 358 + p. Is y composite?
False
Is 10/40*(-3 + 19639) a composite number?
False
Let s(k) = 27*k**2 + 6*k + 7. Let v be s(-6). Suppose -f + 880 + v = 0. Is f prime?
True
Is ((-116520)/36)/(1 + 5/(-3)) prime?
False
Suppose -4*f - 4*k = -0*k - 1336, 2*f + 5*k = 653. Suppose 0 = 3*i - f - 918. Is i a prime number?
True
Let y be 2/(1*(4 - 5)). Let c(f) = f**2 - f - 3. Let b be c(y). Suppose b*z - 3906 = 1743. Is z a composite number?
True
Let j(y) = y**3 - 11*y**2 + 11*y + 3. Let q(a) = -8*a**2 - a. Let s(r) = r**2. Let x(z) = -q(z) - 5*s(z). Let d be x(-2). Is j(d) a composite number?
False
Let z(c) = c**2 + 4*c - 5. Let g be z(-6). Let a = g - 8. Is ((-314)/1)/(a + -1) a prime number?
True
Suppose -1159 = -y + 2*o, 153 - 3614 = -3*y + 2*o. Is y composite?
False
Suppose -3*i - 266 = -2*i. Suppose 37 = -3*g - 494. Let k = g - i. Is k prime?
True
Suppose 0 = 11*c - 16*c + 35. Let t(l) = 7*l**2 - 5*l - 15. Is t(c) composite?
False
Let c be (1 - -1) + (-12)/2 - -2061. Let y = 3208 - c. Is y composite?
False
Suppose 0 = -12*s + s + 55583. Suppose 3*a = s + 389. Is a a prime number?
False
Let k be (-5 - 119/(-21))*-3. Let o(c) be the first derivative of 128*c**3/3 + 3*c**2 + 3*c - 1. Is o(k) a prime number?
True
Let f = 89 + -89. Suppose -5*o + 6135 = -2*o + 4*g, f = -4*o + 3*g + 8155. Is o a composite number?
True
Suppose -5*n + k = 2*k - 840, -2*k - 10 = 0. Let t = n + 111. Suppose 0 = 4*i + 3*s - t, i - 3*i = 4*s - 150. Is i prime?
True
Suppose 3*n + 0*n = 5*f + 31, -2*n - 5*f - 21 = 0. Suppose -5*a + 12 = n. Suppose -a*j + 405 = -377. Is j prime?
False
Suppose 5*z = 3*m - 86387, 5*m - 4*z - 143953 = -2*z. Is m a composite number?
False
Let p(i) = i**2 + 2*i - 3. Let y be p(-4). Let x be -1 + (653 - (-2 + 1)). Suppose y*o - x = -3*v, v - 2*v = -2*o - 203. Is v composite?
False
Let d = 4 - 7. Let i(g) = -36*g - 14. Let h be i(9). Is (-4)/(-12) + h/d composite?
False
Is ((-49389)/(-6))/(-5 + 22/4) a prime number?
False
Let f = 1571 - -817. Let l = 3931 - f. Is l composite?
False
Suppose -6*f + 30 = -f. Suppose 5*o + f*i = 3*i + 322, -4*i = 4*o - 264. Suppose -2*p = -0*p - o. Is p a composite number?
False
Suppose 4*z - 7394 = 4898. Is z prime?
False
Let x be -3 - (0 + -16 + -3). Suppose w - 90 = 5*a, -w - x = -2*a - 121. Is w a prime number?
False
Let r(s) = s - 1. Let w be r(-3). Let a(b) = -b. Let f(t) = -168*t - 3. Let i(j) = -4*a(j) + f(j). Is i(w) a composite number?
False
Suppose 17 = 2*d - 3*l, 2*d + 5*l = -3 - 4. Suppose d*z - 10*z = -492. Is z prime?
False
Suppose 6*m = m + 10. Suppose -m*x = x - 12. Suppose 0 = 3*f - x*f + 49. Is f composite?
True
Suppose 10*p - 1676443 = -43*p. Is p a composite number?
True
Is 29180/8*460/50 a composite number?
True
Let b be (-10 + 8)/((-2)/8). Suppose 0 = b*m - 1022 - 3066. Is m a composite number?
True
Let a(b) = -5*b - 25. Let r be a(-6). Is 292 + (2 + (2 - r))/(-1) composite?
False
Let p(w) = -194*w - 1. Let v be p(-3). Suppose 4*n + r - v = -0*r, -3*n + r = -434. Is n composite?
True
Suppose 105*r + 37592 = 113*r. Is r a composite number?
True
Is (49748/3)/((-4)/(-3)) a composite number?
False
Suppose 3*h = 4*d - 0*h - 30979, -4*h = 4*d - 30944. Is d a composite number?
False
Suppose 2*l + 16 = 2*o, -5*o + 3*l = l - 43. Suppose -o = 3*j, 5*i - 6 - 5 = -3*j. Is (-19719)/(-35) + i/(-10) a prime number?
True
Suppose 23748 = -168*g + 172*g - 2*w, -4*g = -5*w - 23736. Is g composite?
False
Let s be (0 - 4)*(-10 - -11). Is 2/s + 444/8 a prime number?
False
Let g(k) = -59*k**3 - k**2 - 4*k. Let v be g(-2). Let p = 749 - v. Let h = p + 30. Is h prime?
False
Let g(q) = 116*q**2 + 25*q + 7. Is g(-12) composite?
False
Suppose 0 = z + 2*b - 5*b - 26, 4*b = -z - 2. Let q be ((-3)/(-9))/((-3)/(-621)). Let k = q - z. Is k a prime number?
False
Let c(f) = f**2 + 8*f - 4. Let k be c(-9). Let g(x) = -x + 68. Let n be g(0). Suppose k*u - 1367 = n. Is u composite?
True
Suppose -4 = 2*r - 5*x, -12 = -4*r - 2*x + 28. Suppose -3*q + r*q = -10. Is 128 - 1/q*-2 composite?
False
Suppose -143020 = -4*f + 2*o, -2*o = 3*f - 53743 - 53522. Is f prime?
False
Is 21218/4 + 6/12 a composite number?
True
Suppose 0 = -5*a - 4*l + 23 - 75, 14 = -a - 2*l. Is 195 - (2/6 + a/(-12)) a composite number?
True
Let h(w) = 232*w**3 + 3*w**2 + 4*w - 11. Let x be h(2). Suppose 15*z - 10*z = x. Is z a prime number?
True
Let i = -131 - -280. Is i prime?
True
Is (-176)/(-792) - (2 + 25819/(-9)) composite?
True
Suppose -15*o = 5126 - 48881. Is o prime?
True
Let w(t) = 167*t**2 - 3*t - 5. Let g be w(-4). Suppose -3*d - d + g = -r, d - 2*r - 661 = 0. Is d a prime number?
False
Let h(k) = -2 + 46*k**2 + 1 - 4. Let f = -606 - -602. Is h(f) prime?
False
Let g(i) = -10*i - 91. Is g(-18) prime?
True
Let l(t) = t**3 - 2*t**2 + 1. Let n be l(2). Is n/(-4) - (-14223)/44 prime?
False
Let z(a) = -2*a - 22. Let g be z(-7). Let d(b) = -21*b + 19. Is d(g) composite?
True
Suppose -2 = -5*m + 5*v + 13, 5*m - v - 15 = 0. Is (-348)/(-8)*10/m composite?
True
Let f(z) be the third derivative of 2*z**2 + 0*z - 4/3*z**3 + 37/24*z**4 + 0. Is f(7) a prime number?
True
Let l = -41339 - -79662. Is l a composite number?
True
Suppose 3*q - 5*q = -8. Suppose -4*x - 5*t + 153 = 0, q*t - t = x - 51. Suppose i - 9 = 4*b - 3*b, -4*b + x = 2*i. Is i prime?
True
Let h = 99 + -95. Is (2/h)/(15/25890) a prime number?
True
Suppose 2*n - 5 = n - k, 2*n - 12 = -4*k. Suppose 0 = -g, -4*a + n*g + 0*g + 24 = 0. Let v(w) = 12*w - 1. Is v(a) a prime number?
True
Suppose 6894 = 8*t + 582. Suppose -5*p = 2*b - t, 3*b - 163 = -4*p + 3*p. Is p prime?
True
Let d be -1 + 1 + -1 + -1. Let t be (-4)/d*182/4. Let k = -32 + t. Is k composite?
False
Let x = -2471 + 21430. Is x prime?
True
Suppose 5*u = -4*q + 6734, 0 = -29*u + 25*u + 8. Is q a composite number?
True
Is 10/(-55) + (-4244644)/(-44) a composite number?
False
Let j(k) = 385*k**3 + 4*k**2 - 5*k. Let y be j(2). Suppose f + 2*h - 773 = 0, -4*f = -0*h + 5*h - y. Is f prime?
True
Suppose 5*j - 182 = 1233. Let q = 504 - j. Is q composite?
True
Let h = -299 + 306. Is h a composite number?
False
Suppose 0*c = 5*c - 50. Is 254/1 - (c + -15) composite?
True
Let n be (-72)/9 - (3 + 2). Let h(l) = -182*l + 41. Is h(n) composite?
True
Let s = -14 + 19. Suppose -4*f + 15 = f, s*g - 2*f = 19. Suppose g*k - 2058 = -373. Is k a composite number?
False
Let t be (-6 + (-7 - 15))/(2/(-586)). Suppose 5*h + 6653 = 4*p, h - 76 = -5*p + t. Is p prime?
True
Let j(l) = 8*l**2 - 22*l - 5. Let v be 6 + 11/(-2) - 15/(-2). Is j(v) composite?
False
Let l(k) = 2*k**2 + 9*k - 5. Let n be l(-5). Is (n - 8)/(-2)*(-1876)/(-112) composite?
False
Suppose -w - 2*n + 5 = -3*n, -4*n - 20 = -