Let c be f(-15). Is (-5)/(15/(-12)) - (-248 - c) a prime number?
True
Is 0 + 1 + (-2266194)/(-79) prime?
True
Suppose 10*g - 350218 = 278392. Is g composite?
False
Suppose -99 = -j - 26. Let a = 94 - 92. Suppose -v = i - 0*v - 71, i - j = -a*v. Is i a composite number?
True
Suppose 0 = -0*y + 2*y - 2*t - 10, -y = -3*t - 15. Suppose -4*o - 2324 = -y*o. Let b = 1402 + o. Is b a prime number?
True
Suppose -7516 + 76 = -8*o. Let c = -371 + o. Is c a composite number?
True
Is ((-5748)/(-6))/((-6)/(-3)) a composite number?
False
Let s be 65/5 + (-2 - 2). Suppose -s*p + 3*p = -12. Is -2 + (3 - (-16 + p)) a composite number?
True
Let f(s) = 1146*s**3 + s**2 - 1. Let c be f(1). Suppose -c = -4*q + 94. Suppose -q = -4*l + 286. Is l a composite number?
False
Let l be (4/((-48)/(-18)))/(3/10). Is (-79)/(-1) - (7 - l) a composite number?
True
Suppose -3*b + 9 = l - 3*l, -2*b + 6 = 4*l. Suppose l = -4*t + 5*t - 8. Suppose t = -2*a + 6*a. Is a a prime number?
True
Let c(l) = l**3 - 5*l**2 - l + 10. Let p be c(5). Let z(n) = 2*n**3 - 4*n**2 + 2*n - 11. Is z(p) prime?
True
Let m(i) = 3*i + 67. Let t = -68 - -68. Is m(t) prime?
True
Suppose -4*l = 5 + 11. Let m be (-20)/15*(-2226)/l. Let c = m - -1071. Is c a prime number?
False
Suppose 0 = 3*l - 7 + 16. Is (-3 - l - 3)*-7 a prime number?
False
Let u = 9624 - 1095. Is u a prime number?
False
Let z be -5 - (0 + (-1 - -1)). Let v = 0 - z. Suppose v*x - 2*x - 105 = 0. Is x a prime number?
False
Let h be 8/(-12) - 17/(-3). Suppose -3*g + 679 = -0*g - 2*d, -4*d + 1095 = h*g. Is g a prime number?
True
Suppose -9841 - 17858 = -7*x. Is x prime?
False
Let l be 16/(-10)*50/4. Let y = l - -32. Is ((-8)/y - -1)*1119 prime?
True
Let x(p) = -2*p**2 + p + 323. Let a(b) = -183*b + 4 + 184*b - 2. Let l be a(-2). Is x(l) prime?
False
Suppose -50178 = -721*b + 719*b. Is b a prime number?
False
Is (6 + -5387)/(5/(-5)) a composite number?
False
Let p = 223474 + -137223. Is p a composite number?
True
Let h(p) = -2*p + 28. Let q be h(12). Suppose q*n = 2880 - 964. Is n composite?
False
Let r = 27 + 48. Is (18/(-10))/((-9)/r) composite?
True
Let c(q) = -q + 11. Suppose -5*n + 24 = -3*j - 2*n, 16 = j + 5*n. Let z be c(j). Is z/(-10) - 79/(-2) a composite number?
True
Suppose 3*j - 2*j - 30 = 0. Is 262/5*j/12 a composite number?
False
Let k = 3400 + -1874. Let i = k - -2115. Is i composite?
True
Suppose 1367 + 897 = -8*t. Let j = t - -494. Is j composite?
False
Let m(k) = -k**2 - 4*k + 9. Let v be m(-9). Let t = v - -24. Let z(u) = 3*u**2 + u - 1. Is z(t) a composite number?
False
Let i(k) = 51*k**3 + k**2 + 1. Let c be i(-2). Let o be 4/(-6) + (-3170)/15. Let t = o - c. Is t a prime number?
True
Suppose 0 = 3*r + 4*a + 14772, 3*r + a + 2*a + 14769 = 0. Is 0 + (r/(-12) - (1 - 0)) a composite number?
False
Suppose -17*b = -18*b - o + 32496, -5*b = -5*o - 162490. Is b prime?
True
Let d(f) = -25*f**2 + 255*f + 9. Is d(10) composite?
False
Suppose 3 = -2*g + 3*l + 7, -2*g - 2*l + 4 = 0. Is (g - -72)*17/2 composite?
True
Let v be (-1)/(3/15*-1). Suppose n + 0*n = 0, v*z - 1130 = -5*n. Is z prime?
False
Suppose -3*r + 6*r + z - 19 = 0, 5*r - 3*z - 13 = 0. Suppose -3*u = w - 5402, 5*u - 6846 = r*w + 2164. Is u prime?
True
Let x(f) = 1895*f + 73. Is x(12) prime?
False
Suppose 680*q - 482383 = 669*q. Is q composite?
False
Let u(m) = 3*m + 2. Let r be u(1). Suppose 3*t + 3*k + 4 = -5, -r*k = -10. Is (-1112)/t - 9/(-15) composite?
False
Let i(r) = 38*r**3 - 4*r**2 + 35*r - 7. Is i(4) a composite number?
True
Suppose 27*p - 361090 = 1651949. Is p a prime number?
False
Suppose -3*j = -4*j + 3*b + 368, 5*j + 2*b = 1823. Suppose -j = -4*w + 503. Is w composite?
True
Let c be (-1 - -2)*5 - (-25 + 26). Suppose c*z = 0, 114 = r + 2*z - 145. Is r a prime number?
False
Let t(g) be the first derivative of 4*g**3/3 + 7*g**2/2 - 8*g + 14. Is t(-6) a prime number?
False
Let u be (-30)/(-25)*15/(-6) - -956. Suppose 0 = 5*n + 2*t - u, -n - 4*t + 192 = -5*t. Is n composite?
False
Let x(p) = 74*p + 9. Let y(v) = 74*v + 8. Let s(q) = -q - 2. Let b be s(-7). Let c(m) = b*x(m) - 6*y(m). Is c(-2) composite?
True
Suppose 0 = 6*t - 9621 - 1983. Is t a composite number?
True
Let z = 192 + -103. Suppose 4*m + 65 = c, 0 = -2*c + 4*m + 61 + z. Is c a composite number?
True
Suppose 8 = -2*w + 4*w. Suppose 8*r = w*r + 4748. Is r composite?
False
Let l be 1*(4 + (0 - 4)). Suppose -5438 = -2*d + 3*p - l*p, 0 = -p. Is d composite?
False
Suppose -656 = -4*i - 68. Let j = 755 - i. Suppose -5*f + 4*q + 1975 = 0, 5*f + q = -j + 2583. Is f composite?
True
Let x(g) = g + 11. Let y be x(-7). Let h = 7 - 4. Suppose h*n + 109 = y*n. Is n prime?
True
Let d(p) = -520*p + 6 - 5 + 37*p. Is d(-8) a prime number?
False
Suppose 4*s - 74 - 26 = 0. Suppose -9*o = -s*o + 3792. Is o a composite number?
True
Is (-7933816)/(-136) + 2/17 composite?
False
Suppose -2*j = -3*v + 30, 4*v - 19 = 5*j + 28. Suppose 4*s + 4 = 5*h, -v = -2*h - 5*s + 20. Suppose 0 = c - h*c + 159. Is c prime?
True
Let v(b) = -b - 1. Let l be v(-4). Let u = 45 + -45. Is l - u*5/20 prime?
True
Let c(k) = 108*k - 13. Let v be (-11)/(2/(0 + -2)). Let j be c(v). Suppose -386 + j = 3*a. Is a prime?
True
Let w(a) = 295*a**3 - 7*a**2 + a - 1. Is w(2) composite?
False
Suppose f - 2*v = -711, 3*f = 7*f + 2*v + 2894. Let x = f + 1530. Is x a prime number?
True
Let q(f) = -4838*f - 1117. Is q(-22) a composite number?
False
Is (-16 - 433328/96)*12/(-2) a composite number?
False
Let h(g) = 47*g**2 + 4*g + 7. Is h(8) a composite number?
True
Let g(a) = a**2 + 11*a + 14. Let i be g(-10). Let o = 19 - i. Suppose 4*v - o - 213 = 0. Is v a composite number?
True
Suppose 8808 = 4*v - 4*w, -3*v = -w - 4546 - 2068. Is v a composite number?
True
Suppose -q = -5*u - 90, 4*q + 0*q = u + 37. Let c = u + 17. Suppose c = 4*l - 24 - 0. Is l a composite number?
True
Let w = 7054 + -3371. Is w a prime number?
False
Suppose 0 = -6*m - 2*m - 96. Let g(i) = 27*i**2 + 9*i + 11. Is g(m) composite?
True
Is ((-3)/(18/20316))/(-2) composite?
False
Let h(v) = v**3 + 3*v**2 - 2*v - 4. Let d = 10 - 13. Let i be h(d). Suppose -162 = -i*p - 2*u, -3*p + 8*p - 403 = -4*u. Is p composite?
False
Suppose -c + 6784 + 706 = -3*f, 0 = -2*c + 2*f + 14984. Is c a prime number?
False
Suppose 4*h - 8293 = -3*n + 4, -2*h + 10 = 0. Is n a composite number?
True
Let u = -6033 + 8936. Is u a prime number?
True
Let a(g) = -2*g**2 - 4*g - 11. Let f = 21 + -16. Let b(h) = -2*h**2 - 3*h - 11. Let m(q) = f*a(q) - 6*b(q). Is m(5) a prime number?
False
Let l(t) be the first derivative of -4*t**2 + 3*t + 8. Let f be l(3). Let z(m) = -m**3 - 21*m**2 - 13*m - 14. Is z(f) composite?
True
Suppose i + 11 - 12 = 0. Let b be -447 + (-1 - i - -2). Is (-24)/(-18)*b/(-2) composite?
True
Suppose 0 = -26*x + 23*x - 5*d + 150618, 2*d = 5*x - 250999. Is x a prime number?
False
Let j be ((-2)/6 + 4/(-6))*-5. Suppose j*n + 6 = 2791. Is n a prime number?
True
Let k(f) = -20 + f**2 + 3*f**2 - 12 + 9*f + 7. Is k(-9) a prime number?
False
Suppose 4*b - p - 93848 = 0, -4*p + 81287 = 3*b + 10920. Is b composite?
True
Let d(n) = -n**2 + 6*n + 1. Let w be d(4). Is (w + -3 - -3) + 4 a composite number?
False
Suppose -3*o + 224 = -949. Suppose -w = -106 - o. Is w composite?
True
Suppose -13*m - 244178 = -35*m. Is m a composite number?
True
Let n = -72 + 33. Let r be (-5)/(15/n) - -1. Let u(p) = -p**3 + 14*p**2 + 5*p + 1. Is u(r) a composite number?
False
Let m = 43222 + -14873. Is m composite?
False
Let b be (-1)/(-2) - (-95)/(-38). Is (-3 + 6 + -4)*3326/b prime?
True
Let q = 10 - 6. Suppose 0 = r + q*o - 114, 5*r - 3*o = 4*r + 79. Is r composite?
True
Suppose 54225 + 185281 = 62*l. Is l prime?
True
Suppose g - 23 - 1 = 0. Let p be (21 - 1)*1758/g. Suppose -3*a + 8*a = p. Is a composite?
False
Let i(f) = -f - 3. Let q be i(-9). Is 1087*(-15)/(-6)*q/15 a composite number?
False
Suppose -571 + 28633 = 18*c. Is c a composite number?
False
Suppose 3*x - 5*z - 45 = 0, 2*x + 2*z - 30 = -0. Let c = x + -2. Is c a composite number?
False
Suppose 3*g + 16 = 2*o, -o - 5*g = -12 + 30. Suppose o*q + 3*q = 2765. Is q a prime number?
False
Suppose -129*b + 134*b - 55565 = 0. Is b a prime number?
True
Suppose -2*r + 23 = -3*w, 0*w + 45 = 5*r - 5*w. Suppose 0 = r*s - 3*p - 3871, s = -4*p + 165 + 798. Is s a composite number?
False