 1 = 5*c + 16, -15 = 2*c + g. Let u be l(c). Suppose -4 = u*w, -2*k + 7*k - w = 186. Is k prime?
True
Suppose 72 + 48 = 4*l. Is 352/10 + (-6)/l prime?
False
Suppose 2*h - 676 = 66. Let x = h - 160. Is x a prime number?
True
Let i be (-2)/(-2) - (-5 - -4). Suppose -d = -i*s + 5, s + 5*d - 20 = -4*s. Is s prime?
True
Let g = 16 - 14. Suppose g*y + 1 = -3, 3*k + y - 100 = 0. Is k prime?
False
Let h = 309 - 62. Is h a composite number?
True
Let a = -236 + 903. Is a a composite number?
True
Let y = -178 + 2121. Is y prime?
False
Suppose -2*n = 2*n + 212. Let s = n + 101. Let f = 83 - s. Is f prime?
False
Let a(g) = -g**3 + 3*g**2 + g - 1. Let m be a(3). Let h be 3 + (0 - (m - 1)). Suppose b = h*b - 26. Is b composite?
True
Let m be 2/(-3)*2*6. Let u be (-118)/m - (-2)/8. Let r = u + -8. Is r composite?
False
Suppose -2*c = 2*c. Let s be (-12)/(-16) + 15/(-4). Is 14/(-3)*s + c a prime number?
False
Suppose 5004 + 3105 = 9*s. Is s composite?
True
Is (-1)/(-2) - (46410/(-4))/5 composite?
True
Let i = 104 - -1113. Is i a composite number?
False
Is (-8 - 9)*(1 + -6) prime?
False
Suppose -2926 = -5*f - 3*q, 0*f - 1776 = -3*f + 5*q. Is f prime?
True
Suppose -11*u - 1090 = -6*u. Is -2*u*(-3)/(-12) composite?
False
Suppose -5*t + 64 + 256 = 0. Suppose -s + 2*s = -f + t, -3*f + s = -172. Is f prime?
True
Is (-6 - 0 - -2548) + (-1)/(-1) composite?
False
Suppose -4*g + 4*n = -240, 5*g - 4*n + 2*n = 294. Is g a composite number?
True
Suppose -2 = 3*x - a - 4*a, 3*x - 4 = -a. Suppose x = w - 1. Is 49 + 1/w*0 a prime number?
False
Let y(a) = 77*a - 7. Let l(w) = -1. Let v(i) = -2*l(i) + y(i). Is v(2) a prime number?
True
Suppose -5286 = -5*n - 91. Is n prime?
True
Let s be (4/(-6))/((-1)/(-6)). Let j be ((-10)/s)/(-5)*-12. Is (-890)/(-6) - (-4)/j prime?
True
Let r(j) = -j**3 - j**2 - j - 1. Let f(z) = 59*z**3 + 6*z**2 + 4*z + 4. Let c(d) = f(d) + 5*r(d). Let v be c(-1). Let b = v - -110. Is b composite?
True
Is 1*(1660 - (-9)/(-3)) composite?
False
Is -222*1/(-1 + -2) a composite number?
True
Is (1538/(-6) - 3)*(-3)/2 a composite number?
False
Let k be ((-2614)/4)/(3/(-6)). Suppose -4*q + k + 353 = 0. Is q composite?
True
Let d(j) = -2*j**3 - j**2 + 5*j + 7. Is d(-3) a composite number?
False
Let n(o) = 7*o**3 - 15*o**2 - 2*o + 15. Let f(a) = 4*a**3 - 8*a**2 - a + 8. Let m(d) = -5*f(d) + 3*n(d). Let t be m(5). Is (-2)/(t - 2/53) a composite number?
False
Is ((-10)/20)/(1/(-166)) a prime number?
True
Let q be 5*4/10 + 1522. Suppose -3*u - u = -q. Is u composite?
True
Suppose -3*q = -347 - 271. Suppose 4*w - 782 = q. Is w a composite number?
True
Let c = -61 - -164. Is c a prime number?
True
Let b = 127 + -72. Is b a prime number?
False
Let j = 6 + 1. Suppose 4*v = l - 15, -4*l + j*l - 38 = 5*v. Is l a composite number?
False
Let f = -4 - -8. Let y = f - -7. Is y prime?
True
Suppose 0 = 3*r - 57 - 108. Is r composite?
True
Suppose -2*p + 0*p = -220. Suppose -p = n - 3*n. Is n prime?
False
Let y = 7 + -2. Suppose -6 - 4 = y*a, 5*t + 4*a - 312 = 0. Suppose g - t = h, 194 = -g + 4*g - h. Is g prime?
False
Let v(d) be the first derivative of 5*d**2/2 - 4*d - 2. Let k be v(7). Suppose 4*w = 9 + k. Is w composite?
True
Let v = -4 - -2. Let a(x) = -x**3 + 4*x**2 + 4*x + 3. Is a(v) prime?
True
Let q be -3 - 159*(0 + -1). Suppose -q = -i - i + t, 5*t = -10. Is i composite?
True
Suppose -13 = -4*j - 1. Let p(c) = j*c + 2*c + 2*c**2 - 1 - 3*c. Is p(-5) a composite number?
True
Suppose 14 = -5*k - 6. Let n(o) = o + 2. Let x be n(k). Is x - -8*(-4)/(-2) a composite number?
True
Suppose a = -4*a + 2*h - 37, 0 = 2*a - 5*h - 2. Let p = a - -12. Is ((-5)/(-2) - p)*-22 a prime number?
True
Let o = 0 + 2. Suppose -5*l - 2*g + 26 = 0, o*l + g - 28 = -3*l. Is l a prime number?
False
Let r = -112 - -249. Suppose 2*x - 149 = r. Suppose -2*w - 29 = -x. Is w prime?
False
Let r be ((-282)/5)/((-1)/(-5)). Is (1/2)/((-3)/r) prime?
True
Suppose 1 + 1 = z. Suppose 0*b = z*b - 2104. Is 3/5 - b/(-5) a composite number?
False
Suppose 0 = -d + 14*d - 3471. Is d prime?
False
Let q(l) = -l**2 + 12*l - 5. Let d(v) = 4*v**2 + 6*v. Let o be d(-4). Suppose 3*y - o = -y. Is q(y) prime?
False
Suppose -1262 = -b - b + 4*s, 4*b - 2530 = 5*s. Is b a composite number?
True
Let o(z) = 13*z**2 + 3. Let a be o(-2). Let i = -20 + a. Is i a composite number?
True
Let a(k) = 1169*k. Is a(1) a composite number?
True
Let t be (-2 - -5)/(0 - -1). Let n = t + -1. Suppose n*v - 9 - 13 = 0. Is v a prime number?
True
Suppose -5*f + 2*f - 228 = 0. Is f/16*1*-4 composite?
False
Is (8/(-16))/((-1)/526) prime?
True
Let i(l) = l**2 + 12*l - 2. Let a be i(-13). Suppose 3*u + a = 110. Is u a composite number?
True
Let j(a) = a**3 + 11*a**2 + 5*a - 1. Let i = 11 + 4. Let g = 9 - i. Is j(g) a prime number?
True
Suppose 29*h = 25*h + 1012. Is h prime?
False
Let h be (50/15)/(4/6). Suppose -h*m + 141 = -3*l, -4*m - 2*l - 3*l + 98 = 0. Let z = -12 + m. Is z composite?
True
Suppose z - 973 = -5*d, -2*z + 4761 = 3*z - d. Is z prime?
True
Suppose -y = 12*y - 2613. Is y a composite number?
True
Let j be 2/(-2)*-2*-1. Let r be 4*j/(-4) - 2. Suppose -9 = -5*d + 3*u + 56, -d - 5*u + 13 = r. Is d a prime number?
True
Let r be (-9888)/14 + (-14)/(-49). Let j = r + 1118. Let d = j - 291. Is d a composite number?
True
Suppose 0 = 3*o - 8*o. Suppose 5*z = 2*d + 236, -2*d - d - 404 = 5*z. Is (o + -1)*(d - -1) a composite number?
False
Suppose -n + 109 = t, -n - 343 = -4*t + t. Is t prime?
True
Is 4*(3/9 - (-1403)/12) a composite number?
True
Suppose -4*o - 5*n + 869 = 0, 2*o + 5*n - 262 = 185. Is o a composite number?
False
Let r = 224 + -135. Let n be (r - -3) + 0/2. Suppose 2*a - 2*y + 64 = 4*a, y = 3*a - n. Is a a prime number?
True
Let l = 15 - 13. Suppose -5 + 3 = -u, -l*s + u + 420 = 0. Is s a composite number?
False
Suppose 0 = 5*x - 45 - 0. Is 5/(-15) + 624/x composite?
True
Let n(o) = 7*o**3 - 4*o**2 + 5*o - 7. Is n(4) composite?
False
Suppose 5*r + 4*f - 283 = 0, 2*f - 6*f - 102 = -2*r. Is r a prime number?
False
Let x(q) = -q**3 + 21*q**2 + 4*q + 29. Is x(20) prime?
True
Suppose y - 6*y = -1115. Let g = y - 156. Is g a composite number?
False
Is (2 - (-5546)/4)/((-1)/(-2)) a prime number?
True
Suppose 3*m - 9 = -0*m. Suppose 5*h - 14 = -2*s + m, h = 4*s + 21. Suppose -4*w + 4*n + 232 = 0, 2*w - 3*n - 120 = -h*n. Is w a prime number?
True
Suppose 6 = -3*b - 9. Let w(o) = -o**3 - 5*o**2 + 7. Is w(b) composite?
False
Suppose 20 = -0*t + 4*t. Suppose r - t = -3. Suppose -5*s + 1290 = -5*h, r*s - h = 4*s - 513. Is s composite?
False
Let j(s) = 13*s**3 - 4*s**2 - 3. Suppose n + 9 = 4*n. Let x be j(n). Suppose -c + 150 = 5*k - 243, -4*k = 2*c - x. Is k a prime number?
True
Let g = 744 - 451. Is g prime?
True
Suppose -l - 3*l + 3*p = -238, -3*p - 6 = 0. Is l a prime number?
False
Let a = 6 - 2. Let d(o) = -2*o**3 - 2*o**2 + 2*o + 1. Let s be d(-4). Suppose g - r - 32 = 0, -3*g - a*r = -28 - s. Is g composite?
True
Let s(v) = -v**2 + 3*v + 3. Let b be s(3). Suppose 2*m + 2*p = 10, 12 = -m + 3*m + b*p. Suppose m*o - 61 = -19. Is o a composite number?
True
Suppose 4*l - l - 126 = 0. Suppose -73 - l = -5*b. Is b prime?
True
Is 3 + 1576/28 + (-4)/14 prime?
True
Let d(c) = -9*c - 43. Is d(-18) composite?
True
Let y(x) = -x**3 - 7*x**2 - x - 10. Let b be y(-7). Let f be -1 - (b/(-3) - 2). Suppose -3*k + 114 = 3*v, 3*v + f*v - 5*k = 154. Is v prime?
True
Suppose 1936 = 2*z + 162. Is z a composite number?
False
Let o(u) = -2*u + 11*u + 7*u**2 - 6 - 1 - 2. Is o(5) a composite number?
False
Let k be 1 + 2 - (2 + 1). Let u(v) = v**2 + 19. Is u(k) a composite number?
False
Let h(t) be the third derivative of -t**4/6 - t**3/6 + t**2. Is h(-6) prime?
True
Is (6 - 8)/(2/(-1409)) prime?
True
Let c(k) be the third derivative of 7*k**6/720 - k**5/15 - k**4/12 - k**2. Let t(m) be the second derivative of c(m). Is t(9) composite?
True
Let d be 135/10 + 2/(-4). Suppose n + 78 = 4*i - 35, 4*n = -5*i + 136. Let p = i - d. Is p a prime number?
False
Let y be 2*((-93)/(-2) - 2). Let o = 623 - y. Is o/(-4)*2/(-3) a prime number?
True
Let z(u) = u + 263. Is z(0) a composite number?
False
Let u = -39 - 1. Let s = u + 148. Let o = -70 + s. Is o composite?
True
Let f(d) be the third derivative of 25*d**4/8 - d**3/3 - 2*d**2. Is f(5) a prime number?
True
Let x = 51 - 410