 composite?
True
Let n(c) = c + 8. Let r be n(0). Suppose -r*j + 644 = -4*j. Is j a prime number?
False
Suppose -3*w = -s - 5*w + 2737, -4*s = -3*w - 10981. Suppose 5*n - 2*g = s, -5*n - g + 1513 + 1218 = 0. Is n a composite number?
False
Let i(z) = -z**2 + 4*z - 3. Let g be i(3). Is g + 1 + 290/5 prime?
True
Let i = 6 + -5. Is i/(-2) - 135/(-2) a prime number?
True
Let m = 15 - 11. Let h(l) = -6*l - 4. Let w be h(-2). Suppose m = 4*b - w. Is b a prime number?
True
Let k(h) = -h - 12. Let b be k(-5). Is (-1)/(-7)*-6*b a prime number?
False
Is -2 - 0/(-2) - (-17 + -499) composite?
True
Suppose 0 = 2*d + 2*d - 2*l - 2962, -5*d + 3*l = -3702. Suppose d = 5*c - 2*c. Is c a prime number?
False
Let a(f) = -f - 11*f + 10 - 11. Let j = -11 + 7. Is a(j) a composite number?
False
Let y(i) be the first derivative of i**3/3 + 2*i**2 + 2*i - 3. Let r be y(-4). Is (r + -1)/((-8)/(-472)) a prime number?
True
Suppose 0 = -4*g - 5*t + 15773, 3*g + 2*g = -4*t + 19723. Is g prime?
True
Suppose -4*m - 2*o + 2342 = 0, m + 243 = -2*o + 824. Is m composite?
False
Suppose 0 = y - 0*x - 2*x - 261, 4*x = 4*y - 1048. Is y a composite number?
False
Suppose 0*j = -4*j + 540. Suppose 3*h = 5*l + j, 7*h = 3*h + l + 163. Suppose d - 13 - h = 0. Is d prime?
True
Let w(o) = -o**3 + 8*o**2 - 10*o + 6. Let h be w(6). Suppose h = 4*c - 2. Suppose 43 = -3*a + 4*a - s, 4*a = c*s + 172. Is a prime?
True
Is 40 - (2 + 3 - 2) a prime number?
True
Let j(t) = t**3 - 11*t**2 + 3. Let u be j(11). Suppose s - 104 = -u*s. Is s composite?
True
Suppose v + 8 = 5*v, 5*v - 175 = -3*f. Is f a prime number?
False
Suppose -9*q = -4*q - 105. Is q prime?
False
Let d(a) = a**2 - a - 3. Let x be d(3). Suppose 5*h - 2*h + 123 = 3*q, x*q + 3*h - 111 = 0. Is q composite?
True
Let h(b) = -13*b - 6. Is h(-23) a prime number?
True
Suppose 0 = -t + 5*z + 66, -188 = -3*t - t + z. Suppose -b = o - 11, 3*b = -2*o - 2*o + t. Is o a composite number?
False
Let w(f) = 5*f + 0*f - 2 - 3*f. Is w(4) a prime number?
False
Is (116 - 0) + 3 + -4 a composite number?
True
Let o(w) = 4*w - 5 + 3*w**2 + 4*w**2 - 7*w - 4*w**2. Is o(-4) a composite number?
True
Suppose -2*d + 3*d = 42. Is 1/(((-10)/d)/(-5)) a prime number?
False
Let d(g) = 4*g**2 + 8*g + 6. Let h be d(-6). Let t be (89 + 7)*1/2. Suppose 0*o + 2*z = 2*o - t, -5*o + h = 4*z. Is o prime?
False
Let d(o) = -o**3 + 12*o**2 - 14*o + 7. Is d(6) a prime number?
True
Let f(u) = 92*u + 5. Let n be f(5). Suppose 5*v - n = l - 3*l, 2*v - 5*l - 215 = 0. Is v a prime number?
False
Suppose 2*x = 5*c + x - 8, 5*x = 5*c - 20. Suppose 0 = -g - c - 2. Let h = 3 - g. Is h a prime number?
False
Is (-4837)/(-2)*26/13 a prime number?
False
Let b(f) = -5*f**2 - 4 + 2 + 4*f - 5 - f**3. Let g be b(-6). Suppose -g*u = -130 - 25. Is u a prime number?
True
Let t(k) be the third derivative of k**8/6720 + k**7/1260 - k**5/30 + k**2. Let j(r) be the third derivative of t(r). Is j(-7) a prime number?
False
Let s = -417 + 890. Suppose -4*c = -5*c + s. Is c prime?
False
Let y(k) = -k**3 - 6*k**2 - 5*k + 3. Let t be (12/(-10))/((-2)/(-10)). Is y(t) prime?
False
Let r(q) be the third derivative of 5*q**5/12 + q**4/24 + q**3/6 - 4*q**2. Is r(-1) a prime number?
False
Suppose -18 = -2*n + 2*j, 0 = n - 4*j - 12 - 6. Let u = -8 + n. Is (-2 - -4) + u - -19 composite?
False
Is (-2 - 2) + 6 + 351 a prime number?
True
Let u be ((-310)/(-4))/((-3)/(-6)). Suppose 3*r + h - u - 35 = 0, 4*r - 3*h = 275. Is r prime?
False
Let v = -13 + 21. Let z(q) = v - q + q**2 - 3*q - q. Is z(7) composite?
True
Let o(v) = 7*v**2 - 5*v - 1. Is o(4) a composite number?
True
Is (-57197)/(-21) + 2/(-3) composite?
True
Let y be (-1)/(-5) - 26072/(-40). Suppose 0*j = -4*j + y. Is j prime?
True
Suppose f + 2*c = -2*c - 11, -4*f + 4*c = -16. Is f - (0 + -9)/1 prime?
False
Let g = -2 - -6. Suppose y - g*o = -0*o + 15, 3*y - 5*o = 52. Is y composite?
False
Suppose -2*z - 25 = 107. Let k be 2*z/(0 - 3). Suppose -4*j - l + 140 = -j, -k = -j + l. Is j a prime number?
False
Suppose o - 1191 = -2*o. Is o a prime number?
True
Let c(u) = 243*u**2 + 4*u. Is c(1) a prime number?
False
Suppose 3*r - 2*m - m = 198, 5*r + 2*m - 337 = 0. Is r composite?
False
Let i(n) = 525*n - 39. Let r(p) = -105*p + 8. Let u(b) = 5*i(b) + 24*r(b). Is u(4) composite?
True
Let d = 1 - -2. Suppose 0 = d*f, 5*f - 47 - 19 = -3*k. Is k prime?
False
Let v = -49 + 19. Is (-12)/v - (-573)/5 a prime number?
False
Let x(u) = 28*u - 7. Let t(a) = -28*a + 7. Let f(z) = -7*t(z) - 6*x(z). Is f(5) prime?
False
Is 142/(-2)*78/(-6) a prime number?
False
Suppose 5*v - q = -0*q + 441, -v - 2*q + 97 = 0. Suppose 0 = 10*i - 11*i + v. Is i a prime number?
True
Let k(q) = 4*q**2 - 2*q**2 - 2*q**3 + 2 + 0 - 3*q. Is k(-5) composite?
False
Suppose 7 = -5*n - 3. Is n/(-12) + 5358/36 a prime number?
True
Let h(v) = -100*v + 21. Is h(-29) a prime number?
False
Suppose -5*g = -4*g + 3. Let w be (g/(-9))/((-2)/(-6)). Is 93*(4 - w)/9 composite?
False
Let w be -21 + (-1 - (2 - 5)). Let m = w - -10. Is ((-138)/m)/(4/6) a composite number?
False
Suppose -2*r - 16 = -3*r - 5*k, -2*r + 16 = 2*k. Suppose -2*d = r, -b - d = -3*d - 125. Is b a composite number?
True
Let t(d) = d**2 + 25. Let u be t(0). Let h = -50 + 210. Suppose -5*i = -u - h. Is i a prime number?
True
Let h = 1 + 31. Suppose -2*d + 62 = -h. Is d composite?
False
Let y(z) be the first derivative of 37*z**3/3 + z**2/2 + z + 2. Is y(-1) a composite number?
False
Suppose -3*c - 388 = -5*c. Is c a prime number?
False
Suppose -254 = -2*g + 918. Is g prime?
False
Suppose 3806 = j + 8*l - 7*l, -3798 = -j + l. Is j composite?
True
Let r(g) = -g**3 + g**2 + g + 4. Let f be r(0). Suppose -w - 4*w = 15. Is (-1 + w)*(-19)/f a prime number?
True
Suppose -h + 0 = -2. Suppose -h*d + 258 = d. Is d a composite number?
True
Suppose 2*o - 6 = -2. Suppose 3*f = -o*f + 35. Suppose -q + 5*m = 2*m - f, 2*q + m = 49. Is q a composite number?
True
Suppose -1292 = -8*c - 348. Is c a prime number?
False
Let j(m) = m + 6. Let t be j(-6). Suppose -3*b + 237 = -t. Suppose -3*s = c + 49 - 126, 3*s - c = b. Is s a prime number?
False
Suppose 5*c = 13 + 12. Suppose 2*l + 66 = 4*m, -c*m = -m + 12. Is (2 - 6)*l/12 a prime number?
True
Suppose -1166 = -2*a - 4*b, b + 785 = 5*a - 2075. Suppose -3*p + a = 18. Is p a prime number?
False
Suppose 5*w + 0*w = -25. Let a(d) = -d - 3. Let x be a(w). Is (-17)/(x - (-30)/(-14)) prime?
False
Let x(y) = -2*y**3 - 5*y**2 + 2*y + 6. Let k be (0 - -1)/(7/35). Let p = k + -9. Is x(p) prime?
False
Let m = 3553 + -390. Is m composite?
False
Let l(w) = w**3 + 11*w**2 - w - 11. Let n be l(-11). Let c be (-2 + n)/(-1) - -2. Suppose -4*i = -4*r - 648, c*i - 258 = r + 393. Is i composite?
False
Is 120 + (-3 - (-8 - -2)) composite?
True
Is ((-968)/(-12))/(2/3) prime?
False
Let v(q) = -31*q - 8. Let a be v(-8). Suppose -a = -2*n - n. Suppose 2*r - 5*c = n - 5, -5*r + 180 = -5*c. Is r a composite number?
True
Suppose 2*l + 10 = -3*l. Is -3 - -2 - (l - 66) prime?
True
Let a(p) = 2 + p - 4*p**3 + p + 3*p**2 + 0*p. Let w = -13 - -10. Is a(w) prime?
True
Let h = -4 - -6. Let d(y) = 0 - 2*y**3 + y**3 - 4*y - 1 + 0*y - 6*y**h. Is d(-6) composite?
False
Suppose 2*o - 1121 = -5*n - 108, -3*n = o - 608. Is n prime?
False
Suppose 0 = -4*n + 9*n - 12475. Is n a composite number?
True
Suppose 4*d - 1981 = -5*w, 3*w + 3*d = -2*d + 1199. Is w prime?
False
Let c = 2 + 0. Is 169/c + (-5)/(-10) composite?
True
Let v = 140 + -83. Suppose -2*f = -17 - v. Is f composite?
False
Suppose 0 = 2*w - 5*w - 180. Let d = w + 118. Is d a prime number?
False
Let x(z) = 4*z**3 + 5*z**2 - 3*z - 2. Let l be -2 - 5*(-2)/2. Let c be x(l). Let g = -96 + c. Is g a prime number?
False
Let r be (-1 + -2)*(-21)/(-9). Let b = 47 + -88. Let i = r - b. Is i a prime number?
False
Let o(l) = 3*l - 1. Suppose -3*f + 15 = -0. Is o(f) composite?
True
Suppose o - 4 = -0*o. Let z(x) = -5 + 0*x - x**2 - 11*x**3 + 0*x**3 - 3*x + o. Is z(-2) a prime number?
True
Suppose -12 = -3*j + 2*j - 2*x, -2*j + 4 = -x. Suppose -j*i - 76 = -4*l - 8*i, 5*l - 95 = i. Is l a prime number?
True
Suppose 5*j - 50 = -x, 3*x - 40 = -3*j - j. Let m = j + 5. Is m a prime number?
False
Let d(p) = -p + 1. Let h be d(-2). Suppose -2*a - h*a = -110. Is a prime?
False
Let b = 13060 - 7893. Is b composite?
False
Let u =