 = -4*s, -4*o = 8*s - 11*s - 8012. Is o composite?
False
Let k(b) = -45*b**3 - 8*b**2 - 8*b - 17. Let y be k(-5). Suppose y = 4*p - 2*j, 4093 = 5*p - 2*p + 2*j. Is p prime?
False
Let h = 3 - -1. Suppose -c + 103 + 80 = b, 5*c - 870 = h*b. Let x = 513 + c. Is x composite?
False
Let w(b) = -b**3 - 3*b**2 + 4*b. Let f be w(-4). Let c(q) = -1 + q + f*q + 5*q. Is c(14) prime?
True
Suppose 2*p + 153 = -43. Is (p/14)/((-1)/59) prime?
False
Let g(p) = 5*p**3 + 12*p**2 - 11*p - 13. Let s be g(-9). Let l = s - -6374. Is l a prime number?
False
Is (-239)/(-4) - 6/(-72)*-9 prime?
True
Let b = 155 + -2. Let w = -116 + b. Is w composite?
False
Let g = 28 - 28. Suppose h - 235 + 36 = g. Is h composite?
False
Let h(a) = -89*a**3 - 7*a**2 - 10*a - 23. Is h(-6) a composite number?
False
Suppose -44375 - 1644 = -17*v. Is v a composite number?
False
Let y = 1043 - 8. Let o = y - -192. Is o prime?
False
Is -2*(15/(-6) - -3) + 206 a composite number?
True
Let j be 1*-3*(-22)/6. Let o = -14 + j. Let s(f) = -11*f**3 - f**2 - f + 2. Is s(o) a composite number?
False
Let l(v) be the first derivative of 14*v**2 - 5*v - 38. Suppose 0*p = 4*p - 24. Is l(p) a composite number?
False
Suppose 4*f - 3*g = 573, 5*f + 5*g - 549 = f. Is f prime?
False
Is 4/(-8)*64806/(-7) prime?
False
Let u(t) = 2*t**3 - t**2 - 3*t + 1. Let c be u(2). Suppose 0 = -k - 3*m - c, -m - 1 = k - 0*m. Is k/8 + (-7245)/(-28) prime?
False
Suppose -2*r + r + 3 = 0. Suppose 0 = -r*g - 1698 + 456. Is 1/(g/(-206) - 2) a composite number?
False
Is (3*2/(-18))/((-4)/451932) a composite number?
True
Suppose 0*a = 3*a - 7311. Is a composite?
False
Let x(z) be the first derivative of 11*z**4/4 + 3*z**2 + 9. Is x(5) a composite number?
True
Suppose -6*g - 1650 = -2*z - 10*g, 5*z = -2*g + 4109. Is z prime?
True
Suppose -2*t = -2*v - 192, -t = -5*t + 2*v + 374. Suppose t + 158 = 3*y. Is y composite?
False
Suppose 4*i = 16*i - 38436. Is i composite?
False
Suppose 0*k + 8*k - 24 = 0. Suppose 0 = 5*v + a - 576, -a = k*v + 2*a - 348. Is v a prime number?
False
Suppose -6*b = -841 + 259. Suppose -2*w + 933 = -b. Is w a prime number?
False
Suppose 0 = -3*i + 2*d + 3815, -i + 0*i - 3*d = -1279. Is i prime?
False
Let a(v) = 13*v**3 + 4*v**2 - 3*v + 4. Let c be a(3). Let s be (-531)/(-15)*(10 + -5). Let q = c - s. Is q composite?
True
Let b(n) = 637*n**2 + 28*n - 16. Is b(9) composite?
True
Suppose 5*v = -3*y + 97, -4*y - 18 = -0*v - 2*v. Suppose 4*f - 4 = u - 21, f = -4*u + v. Suppose 3*b = 5*t + 6, -u*b + t = -17 - 15. Is b composite?
False
Let y = -3470 - -6079. Is y a prime number?
True
Let m be (-2)/9 + (-348)/(-108). Suppose -m*g = g - 1644. Is g a prime number?
False
Suppose 32696 = 8*p - 0*p. Is p composite?
True
Let a(t) = 13*t**2 - 24*t + 16. Is a(9) a composite number?
False
Let v be 1*(15/(-3) + 4)*1. Let f(q) = -2204*q**3 - 3*q**2 + 2. Is f(v) a prime number?
True
Suppose -5*i + 3 = -2*y, 5*y = -5*i + 2 + 8. Suppose 21 = 3*p + 3*d, -3*d + 25 = 4*p - i. Let z(n) = 11*n - 6. Is z(p) a composite number?
True
Suppose -5*j - 5875 = 5*m, -3*m = 2*m - 2*j + 5889. Let k = 5394 + m. Suppose -z = 3*r - k, -3*z = 6*r - r - 7031. Is r composite?
True
Let p be 182*2*(0 + -1). Let n = 1173 + p. Is n prime?
True
Suppose 0 = -3*z - 971 + 308. Suppose -3*j + 781 - 2071 = 0. Let o = z - j. Is o composite?
True
Let k be (-3)/1 - 160 - 1. Let o = 39 - k. Is o composite?
True
Let s be (8/(-20))/((-2)/10). Suppose -s*v = 4 - 8. Suppose 0 = 5*i + 5*b - 405, 2*b - v = 4*b. Is i a prime number?
False
Let y(i) = 4*i**2 - 31*i - 65. Let x(w) = w**2 - 10*w - 22. Let t(q) = -8*x(q) + 3*y(q). Let l be (-10)/(4 - (-10)/(-2)). Is t(l) a prime number?
True
Suppose -q = -r + 6*r - 19, q = -3*r + 13. Suppose -g + q*g = 858. Suppose -6*c = -2*j - 4*c + g, 0 = -c. Is j a composite number?
True
Let g(w) = -3*w**3 - w**2 + 7*w + 7. Let b(m) = m + 5. Let c be b(-9). Is g(c) a prime number?
False
Let q be ((-1)/(-2) + -1)*(3 + -3). Suppose q*b - 1157 = -3*d - 4*b, d = -b + 384. Is d composite?
False
Let w(c) = -c**3 - 9*c**2 - 15*c - 5. Let f be w(-7). Suppose f*i + 476 = 6*i. Is i prime?
False
Let y be (6 - 0/2)/1. Let h(j) be the first derivative of 43*j**2/2 - 5*j - 2. Is h(y) prime?
False
Suppose -5*q + 22927 = -3*h, 0 = q + 2*h - 3596 - 979. Is q prime?
True
Let p = 14227 + -7280. Is p prime?
True
Let i = -66 + 32. Let a = -30 - i. Suppose -1735 = -a*j - 507. Is j a composite number?
False
Let l = 465 + 332. Is l a composite number?
False
Let o(y) = 97*y**3 - 10*y**2 - 3*y - 1. Let c be o(5). Let t = -6704 + c. Is t a prime number?
False
Is (508574/(3 - 14))/(2/(-1)) a prime number?
True
Let t be ((-4464)/60)/((-6)/(-20)). Is -4 + (1 - t/4) a prime number?
True
Suppose -k - h + 2323 = 3*h, 3*h - 9344 = -4*k. Let c = -5586 + k. Is (c/34)/(2/(-4)) prime?
True
Suppose -2*f + 9412 = -2*u, 4*u + 9397 = 2*f + 7*u. Is f a composite number?
False
Let w be 12/((-17)/110 - (-5)/30). Suppose 0 = -4*p + 4002 - w. Is p prime?
False
Is -1 - (-173412)/((-48)/(-8)) a prime number?
True
Let n = 3721 - 2620. Is n a prime number?
False
Let q = 53703 + -30206. Is q composite?
False
Let v = 19660 + -8633. Is v composite?
False
Let y be 24/16*898/3. Suppose -y = -0*x - x. Is x composite?
False
Suppose 0 = -3*j + 50 - 38. Suppose -l + 2*l = 5*x - 1004, 3*l = -j*x + 807. Is x a prime number?
False
Let u(m) = -m**3 - m**2 + 3*m - 5. Let c be u(6). Let w = 862 + c. Is w a composite number?
True
Let i(m) = -651*m + 13. Let f be i(4). Let z = 3652 + f. Is z composite?
False
Let t(d) = -d**3 + d**2 - d + 3. Let l be t(0). Suppose l*q - 4*f - 24 = 0, -4*f = -0*f. Suppose m - 4 = -2*n + 13, 4*n - q = 0. Is m prime?
True
Let f(o) = 16*o - 7 - 2 + 0. Is f(6) a composite number?
True
Suppose -h = -4*h + 12. Is 11848/32 + 3/h prime?
False
Let n(l) = l**3 - 18*l**2 + 125*l - 35. Is n(29) prime?
True
Let k(v) = 2*v - 17. Let o be k(6). Let p = -20 - o. Is -3*(1315/p + 4) a prime number?
True
Suppose 45392 = 10*z - 44778. Is z composite?
True
Suppose -2 - 18 = -5*h. Suppose 0 = h*k - 2947 - 2649. Is k composite?
False
Suppose -3*f = -5*h + 5795, 2*h + f - 2329 = -0*h. Let w be (2 - 1)*h - -3. Suppose 5*o - w = -0*o. Is o prime?
True
Let q = -371 - -524. Suppose 0 = -2*v + 262 + 238. Let l = v - q. Is l a composite number?
False
Let u = 24 + 9. Let b be 0/1 + 9/3. Suppose 0*r - u = -b*r. Is r a composite number?
False
Suppose -p + 2*h = -4*p + 63, -2*p + h + 35 = 0. Is p composite?
False
Let z(q) = -q**2 + q + 5. Let a be z(0). Suppose -4*c + 2*u + 74 = 234, -a*c = -4*u + 200. Is -33*(3 - c/(-12)) prime?
True
Suppose -6*z = -3*z. Suppose z*f - 3164 = -4*f. Is f a prime number?
False
Suppose -6*r + 1146 = -3024. Suppose 5*m + 3*d = 3690 + r, 0 = 3*m - 3*d - 2631. Is m a prime number?
True
Let x(p) = p**3 - p + 233. Let g(w) = w + 9. Let s be g(13). Let q = s - 22. Is x(q) prime?
True
Let s(i) = -i**3 - 8*i**2 + 7*i - 10. Let g be s(-9). Suppose 0*z = -g*z + 408. Is z composite?
True
Suppose -5*g - b - 24 = 0, -2*b = 2*g - 4*b. Let k = 289 - g. Is k composite?
False
Let k(q) = -q - 1. Let n(r) = -3*r - 14. Let w(t) = 2*k(t) - n(t). Suppose -2*c = 2*p - 22, -17 = -c - 4*p - 0. Is w(c) a prime number?
False
Suppose -3*a - 194 = -5*a. Let i = -50 + a. Is i a composite number?
False
Let u be 4/22 + 9/11. Let i be 0 + u/1 - -49. Suppose -2*k + 4*w + 374 = 0, -k + w + 239 = i. Is k a composite number?
False
Let g(c) = 26*c - 12. Let b be g(9). Suppose 0 = x + 119 + b. Let o = x + 712. Is o composite?
True
Let m be (-2 - -9) + (-3 - -2). Let d be 4*m/4*31. Suppose -i + d = 59. Is i composite?
False
Let v be -3 + 2 - -2 - -1. Suppose -4*x = -2*y + 434, -v*x = y - 6*y + 1093. Let m = y + -56. Is m a prime number?
True
Is (-307955)/(-55) - (-7)/((-385)/10) prime?
False
Let z = 2264 - 1351. Is z a prime number?
False
Let z(l) = -12*l**3 + 3*l**2 - l - 2. Let h = 26 - 23. Let n be z(h). Let o = -139 - n. Is o prime?
True
Suppose -675*f + 674*f = -2. Suppose 6*c - 5*b - 31 = 3*c, -5*b - 19 = 3*c. Is -47*f/((-4)/c) prime?
True
Is 4710 - ((-20)/(-5) + -5) a prime number?
False
Let h = 35 + 0. Let u be ((-63)/h)/((-3)/10). Suppose f + 175 = u*f. Is f prime?
False
Suppose -3*w = 12, w = -4*m + 3*w + 31212. Is m composite?
True
Let h = 4136 + -1426. Suppose 6*d - 1892 - h = 0. Is d a prime number?
Fa