 composite?
False
Let o be -191*-1*(-1 - -3). Is o/4*(11 + (0 - -3)) prime?
False
Let j be (-23 - 439)/(1/2). Let a = j + 1537. Is a a prime number?
True
Let l = 12 + -46. Let n = -36 - l. Is -2*n/(20/2785) prime?
True
Let a = -22 - -12. Let d = a - -12. Suppose -d*s = -609 - 133. Is s prime?
False
Suppose 3*y + 3 = 0, 2*j + j + 2*y = -995. Let x = 624 + j. Is x a composite number?
False
Let i = -30 + 43. Let y(g) = 7 - 9*g + i*g + 1 - 1. Is y(12) prime?
False
Let z(o) = 18*o**2 + 11*o + 6. Let a(i) = 17*i**2 + 10*i + 5. Let q = 16 - 22. Let b(v) = q*z(v) + 7*a(v). Is b(6) a prime number?
True
Let v be (0 - 2) + -4 + 1. Let a be (v - 0) + 12/4. Is ((-19)/4)/(a/8) a prime number?
True
Let v = 290 - 287. Let o be 81 - (1/(-1) - -2). Suppose 2*i + v*a = 220, -27 - o = -i - 3*a. Is i a prime number?
True
Let g(f) = -f**2 - 4*f + 11. Let x be g(-7). Is (-12 - x)/((-2)/226) a composite number?
True
Let u be ((-4)/10)/((-1)/5). Suppose -10 = u*w, 16 = 5*l - 5*w - 19. Suppose -l*m + 92 = -120. Is m prime?
False
Suppose 3*w = t + 8, -3*t + 2 - 8 = 0. Let k(z) = 496*z - 3. Is k(w) a prime number?
False
Let n(h) = -h**2 + 9*h - 16. Let r be n(4). Is (7 - r) + 0 - (-1142)/1 prime?
False
Suppose -58942 = -2*j + 83296. Is j composite?
False
Let c be ((-3)/2)/(6/(-6968)). Is ((-27)/54)/((-1)/c) a prime number?
False
Suppose 23 = 4*c - 1. Suppose -c*y + 8*y = 0. Suppose y = -q + 3*q - 998. Is q prime?
True
Suppose -4*o = -7*o. Let p(i) = i**3 + 2*i + 249. Is p(o) prime?
False
Let b be (-6)/(-2) + 0/2. Suppose -4*a - 26 = -2*y, -b*a + 19 = 3*y - 4*a. Suppose 2*w = -y*w + 833. Is w prime?
False
Let f(m) = m + 7. Let w(z) = -z**3 - 10*z**2 - 11*z - 3. Let l(r) = -r - 20. Let o be l(-11). Let a be w(o). Is f(a) a prime number?
False
Suppose -5*p + 0*p = -15. Let c(z) = -z + 2 - 114*z**p + 7 + 3 - 14. Is c(-1) prime?
True
Let s(g) = -1255*g**3 + g**2 - g - 2. Let b be (-4)/3 - (-2)/6. Is s(b) composite?
True
Suppose -2*v - 991 = -7437. Is v a prime number?
False
Suppose 0 = -n - 5*w + 1263, 0*n - 1269 = -n - 2*w. Is n a prime number?
False
Suppose -2*m - 5*j - 119 = 0, 0 = 2*m + j + 83 + 56. Let r = m + 263. Is r a composite number?
False
Let o = 7865 + -1062. Is o prime?
True
Let j(a) = -39*a**3 - 4*a**2 + 3*a - 9. Let v be j(3). Let w = -248 - v. Is w a prime number?
False
Let v(w) be the first derivative of -7*w**5/120 - 5*w**4/24 + 8*w**3/3 - 3. Let u(l) be the third derivative of v(l). Is u(-6) prime?
True
Suppose 0 = 5*p, -4*p = 2*u - 5*u + 18. Is (-3 - (-22)/u)/(4/2238) prime?
True
Suppose -j + 6*j - 5*x + 480 = 0, 112 = -j + 5*x. Is (-46)/j - ((-959)/2 + 1) prime?
True
Suppose -4*g = -170*z + 168*z + 77790, -4*g = -z + 38891. Is z a composite number?
True
Suppose -3*b = b. Let l(p) = p + 1735. Is l(b) a composite number?
True
Let u(b) = 4*b**2 - 51*b - 269. Is u(-30) a composite number?
False
Let v(u) = -942*u + 209. Is v(-7) prime?
True
Suppose 0 = 6*d - 24*d + 40626. Is d prime?
False
Suppose 361 = w + 13. Is ((-26)/4)/((-6)/w) a composite number?
True
Let a(z) = 262*z - 34. Is a(6) a composite number?
True
Suppose -3*b + 1 - 18 = -2*k, -5 = 5*k + 2*b. Suppose -k = g, -4*a + 582 = -g - 863. Is a composite?
True
Is 836530/(-4)*42/(-105) prime?
True
Is (1 + 0)/((-16)/(-177584)) composite?
True
Let o(y) = 4*y**2 + 11. Let h be ((-3)/(-2))/((-9)/(-18)). Suppose 0 = -h*s - 5 - 10. Is o(s) prime?
False
Suppose -10 = -r - 8. Suppose 3232 = 4*n + 5*l, 5*n + r*l + 3*l = 4035. Is n a prime number?
False
Suppose 2*c - 24 = -2*x + 4*c, 3 = -x - 2*c. Suppose 4*i = x*i - 9. Suppose -a + 400 = i*o, 0*a - a + 394 = 5*o. Is a a composite number?
False
Suppose 110357 = 15*b - 6448. Is b prime?
False
Suppose 449*o + 138 = 451*o. Let r be (-2)/(-3) + 520/(-6). Let v = o - r. Is v a composite number?
True
Suppose -82*p - x - 1047 = -84*p, 0 = 3*x - 15. Is p a composite number?
True
Let t(k) = -9*k + 2. Suppose -4*x + 21 + 11 = 0. Let n be t(x). Is ((-18)/30)/(2/n) a prime number?
False
Is 6031*(-1 + 8/4) prime?
False
Let q = 8322 - 2939. Is q a composite number?
True
Suppose -12*i - 13*i = -225825. Is i a composite number?
True
Let n be (-3290)/(-3) - (-4)/12. Suppose 0 = 5*v - n - 258. Is v a prime number?
True
Let z(a) = -2*a**2 - 15*a + 16. Let b be z(-8). Suppose -5*c + 40 = -3*c. Is (-1057)/(-5) - b/c a prime number?
True
Suppose 5*k - 2*m = 19939 - 84, -2*m + 7956 = 2*k. Is k a composite number?
True
Let l = 18 - 56. Let k = 32 + l. Is (-100)/6*k/4 prime?
False
Let q(v) = -4*v - 4. Let f(g) = 4*g + 5. Let u(p) = -6*f(p) - 7*q(p). Let m be u(-14). Is (m/(-4))/((-3)/(-18)) composite?
True
Suppose 14*y + 9138 = 16*y. Is y composite?
True
Suppose -5*f - 3*y = -11, -4*y - 3 = -5*f + 29. Suppose -2*s = f*h - 40, -4*h + h - 9 = 0. Let u = s + -15. Is u composite?
False
Let c(h) = -4*h**3 - h**2 + 10*h + 10. Let z be (-2)/(1 + 1/(-3)). Is c(z) a composite number?
False
Suppose a = -k + 5034 + 6213, -5*a + 20 = 0. Is k prime?
True
Let k = -755 + 1365. Suppose -k = j - 1869. Is j prime?
True
Let o be -1*(23/1 + 2). Let y = -82 + 126. Let r = y + o. Is r a prime number?
True
Let y(f) = 2*f**2 + 7*f + 1. Let b be y(-6). Suppose -b = -v + 42. Suppose 0 = -5*n - 0*k + 2*k + 187, -2*n - k = -v. Is n a composite number?
False
Let p(a) be the second derivative of 9*a**5/10 + 5*a**4/12 + 2*a**3/3 - 5*a**2/2 - 9*a. Is p(4) a composite number?
True
Let a = 20651 + -12556. Is a composite?
True
Let k(q) = q**3 + 3*q**2 + 5*q + 4. Let s be k(-2). Is (1351 - -2) + s/1 a prime number?
False
Let a(u) = -986*u + 1. Let j be a(1). Let d(w) = -3*w**2 - 13*w + 6. Let h be d(11). Let o = h - j. Is o prime?
False
Suppose 5*v = -2*w - 25, w + 2*w = 4*v - 3. Let j(x) = -x**2 + x - 1. Let m(z) = z**3 - 9*z**2 - 6*z + 12. Let t(u) = v*j(u) - m(u). Is t(11) a prime number?
False
Let a(c) = 995*c**3 + 7*c**2 + 3*c - 8. Is a(3) composite?
True
Let v(i) be the first derivative of i**5/20 + 5*i**4/6 - i**3/3 - 11*i**2/2 - 3*i + 1. Let d(m) be the first derivative of v(m). Is d(-8) a composite number?
True
Let k(o) = o**3 + 22*o**2 + 14*o - 649. Is k(20) prime?
False
Let w(v) = 2*v - 7. Let c be w(6). Let r(b) = -97*b + 14. Let k(y) = 98*y - 11. Let t(f) = 4*k(f) + 3*r(f). Is t(c) a composite number?
False
Let m(b) be the first derivative of -b**6/15 + b**5/15 + b**4/12 - b**3/3 - b**2 - 1. Let a(g) be the second derivative of m(g). Is a(-2) a composite number?
True
Suppose 0 = -3*t + 28 - 16. Let v be 216/(-18)*(-74)/t. Suppose -4*m + 2*j = -242, 5*m + 3*j - 64 = v. Is m composite?
False
Suppose 0 = -3*m - 0 + 9. Let r = -10 - m. Is ((-89)/2)/(r/26) a prime number?
True
Let h(x) = x**2 - 5*x - 4. Let k be h(6). Suppose 4*i - 14 = 2*i + k*v, -4*v - 25 = -3*i. Suppose 265 = i*p + 2*p. Is p composite?
False
Is 812/348 - 11092/(-6) prime?
False
Let x(r) = -3 + 40*r**2 + 0 - 26*r**2. Let p be x(3). Let a = p - 68. Is a a composite number?
True
Let c be -3 + (-1)/(-2)*14. Suppose -c*a = 12 - 0. Is a*(-6)/9 + 200 composite?
True
Is (4169917/890)/((-2)/(-20)) prime?
True
Let t = -44 + 88. Let x be t/77*14/4. Suppose 7*j - 3755 = x*j. Is j prime?
True
Let f be (6 - 3)/((-3)/2). Let d = -177 + 189. Is f + d/3 - -183 a composite number?
True
Let d = 1326 + 198. Suppose 6*k = 10*k - d. Is k prime?
False
Let b(m) = 2*m**2 + m - 12. Let v be b(4). Let w = v - -31. Is w a composite number?
True
Is ((-146)/(-584))/((-217687)/108844 - -2) a prime number?
True
Let i be 14 - 15 - (-2340 - 1). Is (13/2)/(i/584 - 4) a composite number?
True
Let o = 1 - -3. Suppose -12 = -4*p + o. Is -1*(-91)/(p/4) prime?
False
Let y(p) = -p - 4. Suppose 0*n = -3*n + 24. Let m be y(n). Let c(f) = f**2 + 2*f - 7. Is c(m) composite?
False
Let s(f) = 17*f + 2. Let p be 2/6*3 + 3. Let j be s(p). Is (-20)/j - (-3019)/7 prime?
True
Suppose -88 = -9*k + 47. Is (-9236)/10*k/(-6) a prime number?
True
Let x be (3/6)/(5/(-140)). Is (-4)/x - 2317/(-98)*54 composite?
False
Let y(r) = r**3 - 3*r**2 + 4*r + 2. Suppose 4*g = -2*g + 24. Is y(g) a prime number?
False
Let z = -4510 + 6497. Is z a composite number?
False
Let z = 22007 - 10330. Is z a prime number?
True
Suppose g - 11 = -3*w, 0 = -3*g - 5*w + 2 + 19. Is (g - 1)/(5/3155) prime?
True
Let d(f) = -f**3 + 7*f**2 - 5*f - 10. Let w be d(6). Is 3 + (w - (-3 - -2)) + 839 prime?
True
Let x(r) = -8*r**3 + 1