*2 + 6*k + 3. Let v be w(-6). Let b = 39 - v. Suppose -s - s - r + 30 = 0, -b = -3*s + 3*r. Is s composite?
True
Let h = -13 - -55. Suppose -5*s - 16 - 142 = -3*z, -3*z - 3*s = -198. Let l = z - h. Is l a composite number?
False
Let k(r) = 2*r**2 + 1. Let x be k(-2). Suppose -j = -x - 44. Is j prime?
True
Let s(n) = 14*n - 20. Let r be s(15). Suppose -h - 2*h = -6. Suppose -h*x = -4*x + r. Is x a composite number?
True
Let h(n) = 5*n**3 - 5*n**2 + 3*n + 4. Let v be h(3). Suppose -2*z + 3*z - v = 0. Is z composite?
False
Let g = -904 - -3723. Is g a composite number?
False
Suppose -s + 3260 = 9. Is s a prime number?
True
Let i(v) = -2421*v - 13. Is i(-10) a prime number?
True
Suppose -3*v = 11 + 4, c = -3*v - 93. Let i(q) = -3*q**2 + 4*q + 8. Let u be i(-6). Let s = c - u. Is s composite?
True
Suppose -4*n + 1300 = -0*n. Suppose 0*u - n = -5*u. Let m = u + 98. Is m composite?
False
Let y be (80/24)/(2/3). Suppose -5*d = g - 111, 0 = -2*d + 5*d - y*g - 89. Is d prime?
True
Let n be (2/(-6)*0)/1. Suppose -5*x + 783 = 2*c, n = 4*c - 0*x + x - 1593. Let j = -250 + c. Is j prime?
True
Let r(h) = h**2 + 8*h - 6. Suppose 15 + 9 = -3*w. Let m be r(w). Is (-489)/(-2)*(-4)/m prime?
True
Is 4/(-20) + (-20992)/(-10) a prime number?
True
Suppose -6 = f + 6. Let g be 502/(-4) - 6/f. Is 0 + 2/1 - g prime?
True
Let x be (3/(-6))/((-2)/(-4)). Is x*-1*(-4 + 57) composite?
False
Suppose 0 = -4*q + 2 + 2. Let v(x) = 131*x**2 + x - 1. Is v(q) a prime number?
True
Suppose 15 = -5*a, 0*a = -5*u + 3*a + 34. Suppose k - 13 = -t + 3*k, -t = -5*k - 25. Suppose -t = w, 5*w - 10 = 4*j - u*j. Is j a prime number?
False
Let f(n) = -6*n - 3. Let q be f(-2). Suppose -165 = -3*a - 2*s, 6*s - q = 3*s. Is a a prime number?
True
Suppose -t - 3*q + 47 = 0, 3*t - 5*q + 95 = 236. Is t a prime number?
True
Let t = 101 - 8. Is t a prime number?
False
Suppose 0 = 3*h - 2605 - 3638. Is h a composite number?
False
Let k = 932 + -111. Is k composite?
False
Let f be 44/(-6) - (-2)/(-3). Let c(k) = -5*k - 5. Is c(f) a composite number?
True
Is 393*1 - (-8)/40*-10 a composite number?
True
Let i(z) = -z + 5. Suppose 3*l + 0 = -h + 11, 0 = h - 5*l + 5. Let x be i(h). Suppose x*u - 27 = -o + u, -2*u + 132 = 4*o. Is o a prime number?
True
Let u(n) = 45*n + 34. Is u(19) prime?
False
Suppose -5*c + 2*c = -483. Is c composite?
True
Let b be (-30)/(-4)*8/(-10). Let j(z) = 10*z**2 + z + 1. Is j(b) prime?
False
Let d(n) = 2*n**3 - 4*n**2 - 2*n + 3. Is d(4) composite?
False
Is (-2)/1 + (3941 - 24/(-6)) prime?
True
Let t = 687 - 491. Is (-2 - -6)/(-2) + t prime?
False
Let k = -24 - -50. Let o = 8 - k. Let u = o + 55. Is u prime?
True
Is ((-9)/(-6))/((-3)/(-814)) prime?
False
Let w be -6*((-8)/(-3))/(-2). Let h(q) = -q**2 - 10*q + 5. Let t be h(-10). Suppose -t*r = -w*r + 99. Is r a prime number?
False
Suppose 0 = -c - 3*q - 30, -2*c + 5*q + 85 = -6*c. Let h = -59 - c. Let w = h + 66. Is w a prime number?
False
Suppose -4*b + 2*b = 0. Let l(z) = z**2 + z + 5. Let q be l(0). Is b - 5/(q/(-22)) composite?
True
Let m = 47 - -66. Is m prime?
True
Let m = 46 + -32. Suppose -3*f + 21 = -y - 3*y, -4*y = -2*f + m. Is f a prime number?
True
Let v = 11 + -9. Suppose v + 5 = g. Is g composite?
False
Let z = -16 - -27. Let w(h) = 47*h - 20. Is w(z) prime?
False
Let y(x) = -x**3 - 5*x**2 + 6*x + 4. Let u be y(-6). Suppose -84 = -2*p + t + 102, -u*t - 465 = -5*p. Is p composite?
True
Let g = 123 - 88. Let i = g + -21. Let m = 0 + i. Is m composite?
True
Suppose -f + 1555 = 2*r, 3*r - 6*r - 3110 = -2*f. Is f a prime number?
False
Suppose -9*s = -11*s + 118. Is s prime?
True
Let f(m) be the third derivative of m**6/60 + 2*m**3/3 + 3*m**2. Is f(3) a composite number?
True
Suppose -4*i = 2*f - 3*i - 3, -5*i - 41 = -4*f. Let w(h) = 2*h**2 - 2*h + 3. Let y(u) = -2*u**2 + u - 3. Let j(r) = -4*w(r) - 5*y(r). Is j(f) a prime number?
True
Suppose -4*u = -25 + 1. Let m be (-4)/(-6) + 176/u. Suppose 0 = j + 2*j - m. Is j prime?
False
Let r(d) = 4*d**3 - 2*d**2 + 2*d - 1. Let t be r(1). Suppose w + 4*l = 0, 0*w = 4*w + t*l. Suppose w = -z + 165 - 34. Is z prime?
True
Suppose 4*p - 265 = -p + 5*r, 3*p = 4*r + 162. Suppose -5*v + 10 = m + 4*m, 5*m - 3*v - p = 0. Is m a prime number?
True
Let t = 8 - 6. Suppose 2*x - 196 = t*m, 3*x - 124 = -2*m + 165. Is x a prime number?
True
Suppose -3*d + 2 + 1 = 0. Let k(y) = 71*y**3 - y**2 + 3*y - 1. Let g(i) = i**3 - i**2 + i. Let j(m) = -3*g(m) + k(m). Is j(d) a prime number?
False
Suppose -2*z = 0, -5 - 11 = -4*t - 3*z. Suppose -f - 327 = -t*f. Is f a composite number?
False
Let v(u) = -u**3 - 7*u**2 - 5*u. Let p be v(-6). Let d = -2 - p. Suppose -4*a + 126 = 5*o, -4*a = d*o - 9*a - 68. Is o prime?
False
Is ((-56)/(-6))/7*3 + 183 prime?
False
Suppose x = -2 - 0. Is (3 + x)/(-1) - -38 a prime number?
True
Let x be -2 + (-16)/(-4) - (0 - -2). Suppose -3 = 2*w + w. Is 47/(x + w + 2) a composite number?
False
Let n(j) = j**3 - 16*j**2 + 3*j - 14. Is n(16) prime?
False
Let l(w) = w**3 - 8*w**2 + 4*w + 4. Let c(d) = 3*d**3 - 17*d**2 + 9*d + 8. Let k(n) = -6*c(n) + 13*l(n). Is k(-3) a prime number?
True
Let g(s) = 131*s**3 + s - 1. Let y(c) = -524*c**3 - 4*c + 5. Let j(p) = -9*g(p) - 2*y(p). Is j(-1) a prime number?
True
Let g = 32 + -19. Suppose -4 + g = 3*c. Suppose 23 = -c*r + 4*r. Is r composite?
False
Suppose 142*z - 3476 = 138*z. Is z a prime number?
False
Suppose -v = -w - 17, 0 = -w - 2 - 0. Suppose -v = -0*k - 3*k. Suppose -5*i - d = -i - 233, 289 = k*i + 2*d. Is i prime?
True
Suppose -3*s = -4*s + 211. Is s composite?
False
Let n(f) = -f**3 - 5*f + 5. Let j be n(8). Let w = -368 - j. Is w composite?
False
Is 6/(-8) - 319/(-4) a composite number?
False
Suppose -2*l = 314 + 10. Let f be 6/2 - (l - -3). Let h = f + -107. Is h a prime number?
False
Is 12/(-4) + (-6)/(-2) + 2287 a prime number?
True
Let x(o) = 202*o**3 + 1. Let h be x(1). Let l = -143 + h. Suppose -d + l = -17. Is d composite?
True
Suppose 5*a - 6 = 5*o - 31, 2*a - 25 = -5*o. Is o/(-20) - 58/(-8) a prime number?
True
Let b(y) = 186*y - 1. Is b(2) a composite number?
True
Suppose 3*y + a = 20 - 1, -4*y - 4*a = -36. Let j(t) = 4*t**2 - y*t + t**3 + 7 + t - t. Is j(-5) a composite number?
False
Suppose u = 3*y + 482, 0 = -3*u - 4*y + 338 + 1173. Is u a prime number?
False
Let z = 5 - 5. Is z - (-3 - 118/2) composite?
True
Let h = -2101 + 3023. Is h composite?
True
Let k(n) be the second derivative of n**4/12 - n**2 - 3*n. Let h be k(-6). Suppose b = p - h, 0*p + 5*p - 167 = 4*b. Is p composite?
False
Suppose 0*r - 236 = -4*r. Suppose 3*u - 2*l - r = 0, -5*l + 3*l - 17 = -u. Is u prime?
False
Let q = 149 - 75. Suppose 8*v - q = 6*v. Is v composite?
False
Suppose -2*x + 4*u - 18 = 2*u, 5*x = -3*u - 5. Suppose a = -4*a - 50. Is (-74)/x + (-5)/a composite?
False
Suppose 3*w - 627 = 72. Is w a composite number?
False
Let c be (-63)/(-2)*(-8)/(-3). Suppose -k + c = -u, -2*u = -k + 32 + 138. Let y = u - -183. Is y a prime number?
True
Let p(t) be the first derivative of t**4/2 - 7*t**3/3 - 5*t**2 + 7*t + 4. Is p(6) a composite number?
False
Let h(f) = -f**3 - 8*f**2 - f - 5. Let w be h(-8). Let r(k) = k + k**w + 24 + k**2 + 28 - 15. Is r(0) prime?
True
Suppose d - r - 2 - 4 = 0, -3*r = -4*d + 23. Suppose 4*g + 303 = d*j + 28, 0 = -4*j + 2*g + 226. Is j a composite number?
False
Let l(g) = 2 - 9 + 1 + g. Let i be l(10). Is (-157)/(-3) + i/6 composite?
False
Let s(v) = 6 + 8*v - 2*v + 3*v - 2*v. Is s(7) prime?
False
Let z be (-1)/2 + (-52)/(-8). Suppose 9 = 4*r - 7. Suppose r*y = 110 - z. Is y prime?
False
Let h be (-4)/(-5)*(-15)/6. Let k be h - (-1 - 6 - -2). Suppose 0 = -3*a - n + 114, -2*a - 5*n + 180 = k*a. Is a a prime number?
False
Is (12/(-18))/(2/(-7509)*1) prime?
True
Is 887*3/2*(-4)/(-6) a composite number?
False
Suppose -5*z = -z + 16. Is 4/((-48)/69)*z composite?
False
Suppose 24 = -4*d - 0*d. Is 132/(-9)*9/d a composite number?
True
Let l be 15/(-9)*-3*-1. Let q be 1*-10*(-6)/l. Let s = 19 + q. Is s a prime number?
True
Let p(g) = -12*g**2 + 10*g + 5. Let k be p(-8). Let o = -356 - k. Is o composite?
False
Let y(k) = -k + 2. Let a be y(-1). Suppose a*f = -3*s + 186, -29 - 30 = -f - 2*s. Is f composite?
True
Suppose -2 = -2*b - 6. Is -1*(-1 - b) + 78 composite?
True
Let s = 5 - 6. Is s/((-3)/(112 - 1)) a prime number?
True