number?
False
Suppose -3*n = q + 4, -3*q = -0*q + n - 4. Suppose -4*z = q*g - 94, 0 = -g - z - 4*z + 59. Is g prime?
False
Suppose 4*y + 4 = -0. Let j = y - -1. Suppose j*o + 4*o = 132. Is o prime?
False
Let s = 4 - 6. Let r = 0 - s. Suppose 0 = 3*q + r*q - 2*a - 27, -4*a = 5*q - 51. Is q prime?
True
Is 0 + 627 - (-3 - -1) a prime number?
False
Suppose -3*p - 3*x + 135 = -204, -129 = -p - 5*x. Is p composite?
False
Let y = 532 - 349. Is y a composite number?
True
Suppose -3*t + 2595 = 2*t. Is t a prime number?
False
Suppose 2*v - 218 - 36 = 0. Suppose 0 = -3*y - 3*m + 218 - 8, -5*y + 358 = m. Let l = v - y. Is l a prime number?
False
Let z be -3 - (3 + -2)*-11. Let c(y) be the third derivative of y**5/60 - y**4/8 + 3*y**3/2 + 3*y**2. Is c(z) a composite number?
True
Let t(g) = g - 1. Let c be t(4). Let n(x) = -x**2 - 5*x + 7. Let o be n(-5). Suppose v - o = c. Is v a composite number?
True
Let o(i) = 13*i**2 - 4*i - 2. Is o(-3) prime?
True
Suppose i - 34 = -3*a + 117, 5*a - 304 = -2*i. Is i prime?
True
Suppose -d = -4*d, 0 = -s + 2*d + 1. Is 86 + (3/(-3))/s a prime number?
False
Suppose 3*i - 961 = 6*j - 2*j, 0 = 5*i + 3*j - 1621. Is i prime?
False
Suppose 0 = -3*k + 845 + 586. Suppose -k = -4*q - 121. Is q a composite number?
False
Suppose -c - n = 8, -3*c + 8*n = 3*n. Let i = c + 26. Is i composite?
True
Suppose 3*m + 3*l - 4815 = 2424, -l = 0. Is m a composite number?
True
Is (1 - 7217/28)/(1/(-4)) a prime number?
False
Let b(p) = -p**2 + p - 1. Let m(t) = -t**2. Let v(n) = -5*b(n) + 4*m(n). Is v(-6) a prime number?
True
Let r(n) = 2*n**2 + 10*n + 14. Is r(12) a prime number?
False
Let s = -1073 - -5274. Is s prime?
True
Let s be 2/(-8) + (-226)/(-8). Let g = 47 - s. Let y = g - -48. Is y composite?
False
Suppose 5*o - 778 = 362. Suppose -a - 468 = -2*h - 3*a, o = h + 3*a. Is h prime?
False
Let u be (2 - 2) + 2 - 2. Let g be 1 - (2 + u + -1). Suppose -5*l + g*m + 2*m + 175 = 0, -2*l - 2*m + 84 = 0. Is l prime?
True
Let g = 1 - -1. Suppose i - 6 = -3*z, 1 = -2*i - 4*z + 9. Suppose -4*j + 3*c = -6, 4*j - g*c - 8 = -i*c. Is j a prime number?
True
Is 1/(-2) - (-54900)/24 a prime number?
True
Let h(k) be the third derivative of -k**6/60 - k**5/20 + k**4/12 - k**3/2 + 2*k**2. Let u be h(2). Let m = u + 41. Is m a prime number?
False
Let f = 473 - 204. Is f composite?
False
Suppose -5*x = -4*o - 75, 0 = 2*x + 3*x + 5*o - 30. Let a = x + -5. Is a prime?
False
Let g(k) = -5*k**3 - k**2 - k + 2. Is g(-3) composite?
False
Let y(u) = -3*u + 9 + 2*u - 2*u + 5*u. Is y(12) a composite number?
True
Let b(y) = y**2 - 2. Let z be b(2). Let x(i) = 3 + 1 - z + 4*i. Is x(5) a prime number?
False
Suppose 17*f - 23*f = -9378. Is f composite?
True
Suppose 2144 + 1112 = 4*s. Suppose -r = 2*t - s, -3*r = -4*t - r + 1644. Is t a composite number?
False
Let y = 164 - 111. Is y prime?
True
Let c(p) = 26*p**3 - 4*p**2 + p + 2. Let r be c(2). Is r/6*3/2 composite?
True
Let i(z) = -z**3 - z**2 + 3*z - 1. Let f be i(-3). Let x(w) = 2*w**2 - 4*w - 1. Let h be x(f). Suppose -c - 4*c = -h. Is c prime?
True
Let l(r) = -2*r + 9. Let w be l(4). Is w*9/3 + 1 composite?
True
Is ((-26808)/12)/(-1 + -1) prime?
True
Let r(w) = -91*w**3 - w**2 - 5*w - 1. Is r(-2) a prime number?
True
Let a(j) = j**3 - j**2 - j. Let m(g) = -7*g**3 + g**2 + 7*g + 3. Let i(v) = 4*a(v) + m(v). Let d be i(-3). Is 5*(2 - d/(-10)) prime?
False
Suppose -4*l + 3*l = -4*i - 48, 24 = -2*i - 3*l. Let u = i + 33. Is u prime?
False
Suppose -c + 16 = s, 3*s - 2*c = 22 + 21. Let v be 8/20*(234 - -1). Let k = v - s. Is k composite?
False
Is (13/(-2))/((-2)/236) a prime number?
False
Let d = 1118 - 63. Is d prime?
False
Let d(a) = -40*a**3 + a**2 - 5*a - 17. Is d(-4) a composite number?
False
Let u = 2 + -2. Suppose u = -5*h + 328 + 262. Is h a composite number?
True
Let c(m) = -2*m**3 + 2*m**2 - 6*m - 7. Is c(-8) composite?
False
Suppose -j + 7 = s + 3*j, 0 = 3*j. Is s composite?
False
Suppose -2*h - 4*b = -1070, -4*h - 603 + 2779 = -4*b. Is h prime?
True
Suppose -3*p + 4*a + 6 + 6 = 0, -2*a - 4 = -p. Suppose -p*h + o = -15 - 8, h = 4*o + 2. Is h composite?
True
Suppose -4*g - 8 = o + 3*o, 4*o + 24 = 4*g. Let i(k) = 2 - 8 - k**g - 1 + 10*k. Is i(8) a composite number?
True
Let o(j) = 130*j - 25. Is o(12) composite?
True
Let c(z) = -4*z**2 - 4*z - 1. Let k be c(3). Is 2 + (-2 - (k + -2)) composite?
True
Let m = 711 + -266. Is m a prime number?
False
Let r = 32 + -22. Suppose y + 4*y + 16 = 2*w, 6 = 4*w + 3*y. Suppose -n - q = -r, 0 = w*n + 3*q + q - 31. Is n a composite number?
True
Suppose j + 38 - 107 = -5*z, -2*j = 4*z - 54. Is z a prime number?
False
Let z = 44 - -41. Let o = z - 33. Is (o/(-8))/((-2)/4) composite?
False
Suppose 3*z + 328 = 4*z + y, 4*y = -2*z + 650. Is z composite?
False
Suppose -4*z + 19 = 67. Let j = 25 - z. Is j a composite number?
False
Let b be -30*(-10)/4*2. Let a = 13 + b. Is a a prime number?
True
Let s(v) = v**3 - 10*v**2 - 4. Let j be s(10). Let d be j/(-6) + 390/9. Suppose 3*i = -i + d. Is i a prime number?
True
Suppose -1525 = 4*w - 9*w + 2*n, -3*n = 15. Is w a prime number?
False
Let m be (6/(-15))/((-2)/10). Let w(y) = -2*y - 2 + 2*y**2 + m*y - 2*y. Is w(3) a prime number?
False
Let x(v) = 6*v**3 + v**2 + v + 1. Let r(k) = 12*k**3 + 3*k**2 + 2*k + 2. Let g(d) = -2*r(d) + 5*x(d). Is g(3) a composite number?
False
Let i = 2295 + -1196. Is i a prime number?
False
Let v = 7 - 4. Suppose v*r = r. Let p(a) = -a**3 + a**2 - a + 51. Is p(r) a composite number?
True
Suppose 0 = -6*o + 1543 + 935. Is o a prime number?
False
Let c(g) = g**3 - 6*g**2 + 3*g + 17. Is c(7) prime?
False
Let g be -1*((-1)/1)/1. Let j = g + 0. Is ((-78)/(-9)*3)/j prime?
False
Let v = 242 + -157. Is v a prime number?
False
Let n be 2*(-3 + 18/4). Suppose n*m - 28 - 20 = -3*u, 5*u + 3*m = 86. Is u prime?
True
Let y = 141 + -88. Is y composite?
False
Suppose -15 = -5*w - 0. Suppose 2*z - 5 = -w*u - 107, -5*z - 68 = 2*u. Is 2 - -2*u/(-4) composite?
False
Let c(p) = -22*p**3 + 2*p**2 + 2*p + 1. Let i be (-5)/(5/(-3)) - 4. Is c(i) a prime number?
True
Let z = 141 + 1076. Is z a composite number?
False
Let o be 2 - (-1)/((-3)/(-2043)). Suppose 3*p - 1922 = -o. Is p composite?
True
Suppose 0 = -h + 6*h - 2575. Is h a prime number?
False
Let f be 2 - (3 + -236)*5. Suppose -f = -l - 2*l. Suppose -l = -5*q - 54. Is q composite?
False
Suppose 0 = y + 4*y + 5. Let p = 2 - y. Suppose p*g - 820 = -g. Is g a prime number?
False
Suppose 3429 + 6832 = 5*q - y, -5*q + 10245 = -5*y. Is q a composite number?
False
Let x(a) = 91*a**2 + 109*a**2 - 1 - 54*a**2. Let w be ((-4)/2)/(2/1). Is x(w) a composite number?
True
Suppose 5*l - 207 - 2228 = 0. Is l composite?
False
Let x(q) = 4*q + 21. Let j be x(-14). Is 6316/10 + 21/j prime?
True
Suppose r = 3*r. Suppose 31 = 4*x - 3*i, 2*x + 2*x - i - 37 = r. Is x a prime number?
False
Let u = 3 + -3. Let w be u - -1 - (4 + -3). Suppose -s + 0*s + 23 = w. Is s composite?
False
Suppose 0 + 5 = 5*n. Let k = n + 3. Is 1526/18 - k/(-18) prime?
False
Let n = 7 + -7. Suppose -3*c = -n*c - 399. Is c prime?
False
Let d(s) = s**2 + 5. Let l(k) = 3*k**2 + 9. Let u(r) = 5*d(r) - 2*l(r). Is u(0) a composite number?
False
Let w be (-26)/10 + (-6)/(-10). Is (-37)/((-2 - w) + -1) a composite number?
False
Suppose -5*y + 4*n = -37, -10 = 5*y - 5*n - 45. Let z(w) be the first derivative of 3*w**2 + w - 2. Is z(y) composite?
True
Suppose -842 = -x - 3*z, 2538 = 3*x + 3*z + 2*z. Is x prime?
False
Suppose 5*b + 5*m = 3*b + 445, 15 = -3*m. Is b a composite number?
True
Let z = 1 - -1. Let n be z/(-6) + (-112)/(-3). Suppose -n = u - 2*u. Is u a prime number?
True
Suppose 9*x = 10*x - 7. Suppose r - x = 19. Is r a composite number?
True
Suppose -4*q + 6 = 114. Let l = q - -42. Is l a prime number?
False
Let o be (-2)/(-7) - (-72)/42. Suppose -2 = -o*r, -4*r + 13 + 51 = 4*a. Is a composite?
True
Let j = 1217 + -863. Suppose 5*a + 46 = 5*w - j, 3*a - 440 = -5*w. Is w prime?
False
Suppose -5*p + 30 = m, -2*p + 10 = -p + m. Let r(l) = 4*l**2 - 4*l - 6. Is r(p) a composite number?
True
Suppose 3*i + i - 16 = 0. Suppose 5*h - 680 = 2*z, -i*z - 429 = -3*h - 7. Suppose 0 = -4*j - j + 3*g + 212, -5*g = 3*j - h. Is j prime?
True
Let o(v) = -18*v + 4. Let y(c) = c. Let a(b) = -o(b) - 8*y(b). Is a(3) a composite number?
True
Suppo