, -3*u + 803 = -v*u - 2*c. Is u prime?
True
Let z(g) = -30*g + 1. Let v = -3 + 6. Suppose o + v = -2*o. Is z(o) prime?
True
Suppose 0 = -3*y - 2*a - 2*a + 2062, 1413 = 2*y - 5*a. Is y prime?
False
Let m be -9 + 28 - (-3 + 0). Is 4/(-22) + 6406/m a prime number?
False
Let y(j) = 28*j + 22. Is y(9) a prime number?
False
Let d(i) = 336*i**2 + 2*i - 1. Suppose 2*c - 3*h - h = 18, 0 = -3*c - 2*h - 5. Is d(c) prime?
True
Is -5*(2/(-6))/(20/9156) a prime number?
False
Let w = 9 - 3. Suppose w*n - 1275 = n. Is ((-8)/10)/((-6)/n) a prime number?
False
Let q = 285 + -136. Is q composite?
False
Suppose -k + 4*k - 1681 = -p, -5*p = 3*k - 8453. Is p a composite number?
False
Let a(q) be the first derivative of -9*q**2/2 - 6*q + 6. Suppose 0 = -f + y - 1 - 8, 2*f + 6 = -y. Is a(f) prime?
False
Suppose 0 = 3*b - b + 14. Let x = 116 + b. Let d = x + -75. Is d a composite number?
True
Let q = 9 - 21. Let f be (4/q)/(2/(-30)). Suppose f*o - 168 = 77. Is o composite?
True
Let m = -7 - -10. Suppose m*i + 2*i = 115. Is i a prime number?
True
Let l(w) = -w**3 + 8*w**2 + 11*w - 13. Let f be l(9). Suppose -f*r + 24 = -101. Is r composite?
True
Let s(q) = 9*q**2 - 34*q - 9. Is s(-8) prime?
True
Let p(i) = 2*i**2. Let r be p(-2). Is (1324/r)/(1/2) a prime number?
True
Is (24/(-9) - 1)*-237 prime?
False
Let c = 0 + 0. Let j be (2/3)/((-2)/(-12)). Suppose c = 4*x + 4*m - 96, -j*x + 2*x - 3*m + 53 = 0. Is x a prime number?
True
Let g = 112 - 57. Is g a composite number?
True
Let w be (3 - (11 - -2)) + 0. Let z = -18 - -12. Let p = z - w. Is p composite?
True
Let u be (-198)/(-15)*20/3. Let y = u + -45. Suppose -w = 3*s + s - y, 4*w - 3*s = 115. Is w a prime number?
True
Let k = -507 + 764. Is k a prime number?
True
Is (11 + -10)*1/(2/322) prime?
False
Let q = 7 - 1. Let c = 80 - q. Is c prime?
False
Let c(o) = 7*o - 4. Let v be c(3). Suppose 4*m + 4*u - 265 = -v, 0 = 3*m - 2*u - 176. Suppose 0 = -0*k - 4*k + m. Is k composite?
True
Let b = 549 - 284. Is b a composite number?
True
Let l = 1446 + -385. Is l composite?
False
Let c(u) = u + 1. Let b be c(-7). Is 2/(-6) + (-134)/b a prime number?
False
Let h(n) = -5*n + 1. Let z be (-2)/(-6)*(-1 + -2). Is h(z) composite?
True
Let z(l) = -18*l - 1. Let v be z(1). Let w = v - -102. Is w prime?
True
Let n be (-4)/3*15/(-10). Suppose -n*y + 7*y = 590. Suppose -3*r - 3*z = -4*z - 142, -3*r - 5*z = -y. Is r composite?
True
Let q = 19 - 2. Let s = 32 - q. Is s a prime number?
False
Let l(a) = -5*a**2 + a. Let c = 5 + -4. Let i be l(c). Is -2*((-298)/i)/(-1) prime?
True
Let k(m) = 4*m**2 - 9*m - 20. Is k(-7) a prime number?
True
Let w be (464/(-12))/(8/(-84)). Suppose -r - 2*r + 5*u = -w, r = -u + 122. Is r a prime number?
True
Let u = -2 + 0. Let f be 16/1 + -2 + u. Is (-2)/(-3) + 220/f a prime number?
True
Suppose -4 = -o, 3*l - l + o = 10. Suppose -3*d - h - 1 = -2*d, 3*d = -h - l. Is (d - 4)*-1 + 2 a composite number?
False
Let g(c) = 50*c + 8. Let o be g(-6). Is 1/2 + o/(-8) prime?
True
Let a(y) = -9*y**3 - 2*y**2 + y. Let o be a(1). Let f(g) = g**3 + 9*g**2 - 13*g - 11. Is f(o) composite?
False
Let i(l) = 313*l**2 + 2*l - 1. Is i(1) composite?
True
Let n(w) = w + 15. Let a be n(-12). Suppose 0 = a*o + 4*c - 873, 4*o + c - 1189 = 4*c. Is o a composite number?
True
Let x(p) = p**3 + 12*p**2 + 8*p + 7. Let l be (2/3)/((-2)/36). Let c = l + 2. Is x(c) a prime number?
True
Suppose -471 = -2*h - h. Is h composite?
False
Let x(v) = -v**3 + 6*v**2 + 4. Let z(o) = o**3. Let f(i) = -x(i) - 4*z(i). Let j be f(-7). Let d = -520 + j. Is d a composite number?
False
Suppose 2*m + 3*i = 77, 4*i + 144 = 4*m + 8*i. Is m composite?
False
Let k(a) = -20*a - 1. Is k(-1) a prime number?
True
Let o(x) = 33*x**2 + x + 5. Let s be o(6). Let p = -581 + s. Let i = p - 311. Is i a prime number?
True
Let j = 2 + 33. Is j prime?
False
Let j(f) = -12*f**3 - 6*f**2 - f**2 + 4*f**2 + 5 - 3. Is j(-3) prime?
False
Is 2*(4 + 1065/10) composite?
True
Let f be -68 - (-3)/(9/(-3)). Is -4*2/4 - f a composite number?
False
Let s(i) = -i**2 + 6*i + 2. Let d be s(6). Let t = 37 - d. Is t composite?
True
Suppose 0 = -4*w + 2*w + 4. Let n be w/(2 + 75/(-38)). Let l = -23 + n. Is l a composite number?
False
Let g be (4/6)/((-10)/(-15)). Is (-21)/(((-6)/4)/g) a composite number?
True
Suppose -3*c = -3*j - 0*j + 21, -c + 1 = 3*j. Suppose 0 = -v + 4*q - 40 + 148, j*v = 3*q + 241. Suppose o = 21 + v. Is o composite?
False
Suppose -1326 = 5*r - 4*h, 3*r + 5*h + 802 = h. Let m be 0*((-1)/2)/(-1). Is m + (r/(-2))/1 a prime number?
False
Let s be (3/(-6))/((-1)/2). Let k = 24 - s. Is k a prime number?
True
Suppose -2 - 12 = 2*s + 3*p, -8 = 3*s - 2*p. Is (s/6)/((-14)/6153) a prime number?
True
Suppose -5*y = -z - 4, -4*z = -4*y + 5*y - 68. Let c = z - -141. Is c a composite number?
False
Let w(l) be the third derivative of l**4/8 - l**3/6 - l**2. Let z be w(1). Suppose -2*h = 5*t - 62, h + z*t - t - 31 = 0. Is h composite?
False
Let f = 1839 - 1030. Is f a composite number?
False
Suppose 13*m = 14*m - 6947. Is m prime?
True
Let c(f) = -3*f**2 + 2. Let i be c(-2). Let r be 1/(-2) - 1885/i. Suppose 0*w - r = -4*w. Is w prime?
True
Let l(j) = -24*j - 19. Is l(-13) composite?
False
Let m(q) = -103*q + 18. Is m(-11) a composite number?
False
Let r be (-3)/(-15) + 1806/(-5). Let v = r + 559. Let z = v + -13. Is z prime?
False
Suppose 2*a + 3*b - 1771 = 0, -3*a = 2*a - 4*b - 4485. Is (3 - 3 - -2) + a composite?
True
Suppose 0 = -2*i + 2*r + 370, -4*r + r = -6. Is i composite?
True
Let f(u) = u**3 + 0 + u**2 + 5*u**2 - 2*u + 3. Let a be f(-7). Let c = a - -45. Is c a prime number?
True
Let b(k) = 47*k + 19. Is b(5) prime?
False
Is 54 - (-4)/(-16)*4*-3 a composite number?
True
Let d be 13096/(-32) + 1/4. Let z = -116 - d. Is z a composite number?
False
Let n(z) = 3*z + 17. Let l be n(13). Let u = -17 + l. Is u a prime number?
False
Is -1*(1 + -462) - 4 composite?
False
Let b = 81 - -77. Suppose 5*u - 2*s + b + 35 = 0, 0 = -4*s - 4. Let h = u + 74. Is h a prime number?
False
Let i = 302 + 235. Is i prime?
False
Suppose 0 = 2*n + n - 1011. Is n a prime number?
True
Suppose 9 = 5*q - 6. Suppose 0*b + 3*y = b, -5*y = q*b - 28. Suppose 2 = x, -v - 5*x + 75 - b = 0. Is v composite?
False
Suppose 0 = -0*g - g + 974. Suppose 6*r + 2*f = 2*r + g, 0 = r + 4*f - 254. Suppose 0*o - 2*o = -r. Is o a composite number?
True
Let z(h) = -h**2 - 8*h - 3. Let l be z(-7). Suppose -l*v + 3542 = 3*o + 975, 637 = v - 4*o. Is v a prime number?
True
Suppose -3 = -2*h - u, 4*h - 2*u = u + 31. Suppose -4*g = -g + h*c - 28, 5*g + 3*c - 32 = 0. Is 18/(-6) + 14*g a composite number?
False
Let u be 4/(-18) + (-20)/(-9). Suppose -21 = -b - u. Is b composite?
False
Let w = -55 - -129. Is w a prime number?
False
Suppose -3*h + 2 = -4. Let t be -3*1 + 4/(-1) + 102. Suppose 0 = h*k - 7 - t. Is k a prime number?
False
Suppose 2*o + 7*n - 255 = 2*n, -5*n - 585 = -5*o. Let i = -51 + o. Is i prime?
False
Let k = 375 + -110. Is k a prime number?
False
Let s(v) = v**3 - 10*v**2 - 8*v - 27. Is s(11) composite?
True
Let n(d) = 8*d**2 - 10. Let l(s) = -9*s**2 - s + 11. Let z(r) = 5*l(r) + 6*n(r). Let a be z(5). Let y = a - 10. Is y prime?
False
Suppose v = -4*v - q + 110, 4*v = 4*q + 88. Let l = 34 - v. Let g = l + 2. Is g prime?
False
Let v be (3 - 5)*(-6)/3. Suppose v*r = 2*w + 1 + 1, 0 = 3*r + 3*w - 15. Is r/8 - 1535/(-20) composite?
True
Let l(g) = 6*g**3 - 2*g**2 + 3*g + 2. Is l(5) composite?
True
Suppose -3*y + 2*y - t + 4 = 0, -4 = -5*y - t. Suppose -3*c + 6*c - 93 = y. Is c a prime number?
True
Suppose -4*m - 29 = 3*f + 72, 2*f + 2*m = -66. Let s = f + 105. Is s a prime number?
False
Suppose 0 = -5*b - 8 - 12. Let c(i) be the first derivative of 5*i**3/3 + 3*i**2/2 - 3*i + 1. Is c(b) composite?
True
Suppose 0*g + g + r - 3 = 0, -3*r - 1 = -2*g. Suppose -2*z = -0*z - n - 150, -g*z + 3*n = -142. Is z prime?
False
Let m(z) = -13*z + 1. Let b be m(1). Let d be 2/((14/b)/(-7)). Is d/(-54) - (-1390)/18 a prime number?
False
Let l(d) = d**3 - 3*d**2 - 6*d + 7. Suppose 5*p - 26 = 3*q - 9, -3*q - 37 = 5*p. Let i be (-56)/q - 6/27. Is l(i) prime?
True
Is (-3)/(6*5/(-24730)) prime?
True
Suppose 0 = f + 3*g - 1, -g - 37 = 5*f. Is 2/f + 999/12 a prime number?
True
Let h(r) = -r**3 - 6*r**2 + r - 13. Is h(-9) prime?
False
Suppose 0 = 2*