 21*j + 15. Is v(11) a composite number?
True
Suppose 2239 + 1079 = 6*z. Is z a prime number?
False
Let v(i) be the second derivative of 13*i**4/6 - i**3/3 + i**2/2 + i. Let s be (-3)/(-5) + (-6)/(-15). Is v(s) a prime number?
False
Let p = 22 + -8. Suppose -f - 3*r = -p, -f + 3*r + 0*r + 2 = 0. Suppose t - 5*t = f, t - 235 = -3*k. Is k a composite number?
False
Let z be 2/(-3 + 1) + 13. Suppose h + 3*h - z = 0. Suppose h*x = x + 38. Is x a prime number?
True
Let d(b) = 3*b + 0 + 3*b**2 + 4 - 1 - 2*b. Is d(3) a composite number?
True
Suppose 2*q = 106 + 174. Suppose 0 = -0*i + 4*i - q. Is i a prime number?
False
Is (1 - 8/14) + 10478/182 prime?
False
Let z = -44 - -99. Suppose -2 = -q + z. Is q a composite number?
True
Suppose -2*g = 3*g - 325. Is g a composite number?
True
Let f(y) = -58*y - 1. Let o be f(-2). Suppose o + 540 = 5*q. Is q prime?
True
Let m be 3/6 - (-20)/8. Is m*254*(-4)/(-24) prime?
True
Let t = -94 + 347. Is t prime?
False
Let a = 7 + -5. Suppose 3*q - a*q = 2. Suppose -q*w - 195 = -5*w. Is w composite?
True
Suppose 6*q = q + 20, -101 = -l + q. Suppose -2*y - 3*h = -13, -5*y + 4*h - 15 = -l. Suppose 5*j - 4*j = y. Is j a composite number?
True
Suppose 2*f - 40 = -2*f. Suppose 5*n + y = -14, -2*y - 3 = 5*n + f. Let u(z) = -z**3 + z**2 + 3*z - 1. Is u(n) composite?
True
Is ((-4 - -483)*1)/1 prime?
True
Is (-1253)/(-14) + (-2)/4 a prime number?
True
Let q(u) be the third derivative of u**5/60 - u**4/8 + u**3/6 - u**2. Let b be q(2). Let f(j) = 38*j**2 + 2*j + 1. Is f(b) prime?
True
Let u = 321 - 110. Is u composite?
False
Suppose 2*t - 208 = 30. Is t a composite number?
True
Suppose 1442 = v - 3*g, g - 1577 = -v - 119. Let c = -1023 + v. Is c prime?
True
Suppose 5*w = 1737 - 687. Suppose 0 = 4*p - 174 - w. Suppose 0 = 5*g - 79 - p. Is g prime?
False
Suppose 3*c + f = 361, -2*f + 6*f = 2*c - 236. Let a = 220 - c. Suppose 6 = 2*s - a. Is s a prime number?
True
Suppose 0 = -8*b + 12*b - 20. Suppose 0 = m - b*f + 8, 5*m + 8 = 6*m + 3*f. Is ((-74)/4)/((-1)/m) prime?
True
Suppose -2*k = -0*a - 2*a + 788, -3*k - 4*a - 1154 = 0. Let r = k + 653. Is r composite?
False
Let a = -25 - -22. Let x(v) = -74*v - 7. Is x(a) a prime number?
False
Let o(y) be the first derivative of y**4/4 + 7*y**3/3 + 3*y + 2. Is o(-5) a composite number?
False
Let d be 2/(-3) - (-80)/(-15). Let u = d - -3. Is u/6 - 141/(-6) a composite number?
False
Suppose 3*j - 3 = -2*b - 2, 5*j - 3 = -2*b. Let u(l) = -19*l**2 + 32*l**2 + 26*l**2. Is u(b) a prime number?
False
Is 23 - (-3)/(12/(-8)) prime?
False
Suppose -4*t + 3*t - 56 = -3*c, t - 58 = -3*c. Suppose 0 = x - 72 + c. Is x composite?
False
Suppose -5*b = 5*r + 10, 3*r = -2*r - 3*b - 6. Let y be (0 - -5)*5 - r. Suppose k + y = 2*k. Is k composite?
True
Suppose -5*h + 4 = -21. Let z be -2 + (-3 + h - -30). Suppose 0*m - z = -2*m. Is m a prime number?
False
Let z = 1 + -3. Let v = -27 - z. Let w = v - -62. Is w composite?
False
Let x = -3 + 10. Let b be 6968/(-14) + (-2)/x. Is (b/9)/(4/(-6)) a composite number?
False
Let l = 39 + -6. Let a be ((-1)/1)/1 - -12. Is (-6)/l + 1795/a composite?
False
Let v(l) = -370*l + 21. Is v(-7) a composite number?
True
Let v(l) = -58*l - 1. Is v(-2) a composite number?
True
Let f(u) = -123*u + 5. Is f(-4) a composite number?
True
Let a(i) = 106*i**2 + 4*i - 7. Let o = -3 - -9. Let s(p) = 319*p**2 + 11*p - 20. Let k(l) = o*s(l) - 17*a(l). Is k(-1) a composite number?
False
Is (-2621)/(-9) - (-26)/(-117) composite?
True
Suppose -4*a + 3959 = 5*p - 8*a, 2*a = 2*p - 1584. Suppose -4*m - 283 = -p. Is m a prime number?
True
Let c(f) = 234*f + 77. Is c(6) composite?
False
Let h be 608*(-3)/(3*-2). Let z = h + -207. Is z prime?
True
Let c(v) = -v + 8. Let w be c(8). Suppose -t + n + 3 = w, 2*t - 5*n - 10 = -n. Suppose 39 = 2*l + t. Is l a composite number?
False
Suppose -4 = -3*k + 8, g = -3*k + 139. Is g a composite number?
False
Let u be -5*(3 - 102/10). Let r = 163 - u. Is r a prime number?
True
Is (786 - 5/5)/1 prime?
False
Let j = 305 - 54. Is j composite?
False
Suppose 0*h - h = 0. Suppose -3*c + h*c = 5*r + 17, 5*r - 3*c - 7 = 0. Is r/2 - 142/(-4) a prime number?
False
Let n(p) = p + 3. Let o be n(9). Let l(v) = -v**3 + 13*v**2 - 11*v - 8. Is l(o) a composite number?
True
Let s(l) = 58*l + 2. Is s(2) a prime number?
False
Suppose 2*z = 4*z. Suppose 5*u - 90 + 35 = z. Is u a prime number?
True
Let s = 8 + -8. Suppose s*m - 661 = -3*t - 5*m, 0 = 4*t + 3*m - 874. Is t prime?
False
Let n = 254 - 43. Is n a composite number?
False
Suppose 3*q - 105 = -0. Suppose -2*y + q = -y. Suppose n + y = 2*p, -64 = -4*p - n + 5*n. Is p a prime number?
True
Is 4536 - -2 - 5/1 composite?
True
Suppose 3*j + 40 - 7 = 0. Let c = -8 - j. Suppose -c*d + 237 = -0*d. Is d a prime number?
True
Let m = -2 - 2. Let g be -2*(-3)/m*-2. Suppose -g*j - 2*p + 20 = 0, p - 11 = -j - 4*p. Is j prime?
False
Let i be (5/10)/((-2)/16). Let z = i - -5. Is (1 + -38)/(0 - z) a composite number?
False
Let f(s) = -s**2 + 8*s + 1. Let d be f(6). Suppose -3*l = -c + 6*c - d, 0 = -3*c - 3*l + 9. Is c a prime number?
True
Suppose 5*j - 10 = -w - 3*w, -4*j + 5*w = -8. Suppose 3*g - 2*q = 3*q + 563, g = -j*q + 173. Is g prime?
True
Suppose 13 = 4*d - 35. Is (-21)/d*(-76)/1 composite?
True
Suppose -3*x + 156 = -2*p - 214, -5*x - p = -621. Suppose -x = -u - d, -u + 0*u + 4*d + 109 = 0. Is u prime?
False
Suppose -4*y = -5*o + 1759, -2*y + 11 - 3 = 0. Is o a prime number?
False
Suppose -4 = -4*v + 4. Let p be (v/1)/(2/13). Suppose -2*m - p = -83. Is m prime?
False
Suppose 0 = l + 1 - 4. Is 4432/24 + 1/l a composite number?
True
Suppose -3*c = 3*d - d - 296, -c = -4. Is d prime?
False
Let y be (0 - 1 - -2) + 7. Suppose y*u = 5*u + 3. Is (2 + -3)/u + 22 prime?
False
Suppose -k + 2 + 3 = 3*i, 4*i + 2*k - 6 = 0. Suppose -a = g + i*a - 137, 0 = -2*a - 8. Is g prime?
True
Let k(p) = -p**2 + 4*p - 2. Let l be k(4). Is (-500)/(-35) - l/(-7) composite?
True
Let t(l) = 6*l - 8. Is t(15) composite?
True
Let s be 146/(-1 + 0 + 3). Suppose 4*o + 126 = -n - 4*n, 5*n = -3*o - 127. Let j = n + s. Is j composite?
False
Let n(p) = -p**3 - 7*p**2 + 4*p - 1. Let b be 378/(-49) + 4/(-14). Is n(b) a composite number?
False
Let s = 47 - -176. Is s a prime number?
True
Let d = -8 - -17. Let w(f) be the second derivative of 3*f**3/2 + 4*f**2 - 2*f. Is w(d) composite?
False
Let s be (4/5)/((-2)/(-5)). Suppose 93 = s*q - 3*l, -5*q + 109 = -3*l - 137. Is (q*-1)/((-6)/4) composite?
True
Suppose -3*r = 2*r. Let v = r - -3. Is 14*v*1/6 composite?
False
Suppose w + 0*w - 6 = 0. Let f = 8 - w. Suppose 3*a + 28 = f*d + 2, -4*d - 5*a + 52 = 0. Is d prime?
True
Let z(s) = 88*s + 6. Let u be z(5). Suppose -l = l - u. Is l a prime number?
True
Let a = -6 + 12. Suppose -p + a*p - 230 = 0. Is 1*p/(-4)*-2 a composite number?
False
Is 22862/22 + (2 - (-24)/(-11)) a composite number?
False
Suppose -2*y + 2*t + 135 = -y, 2*t = -y + 147. Is y prime?
False
Let o = 306 + -161. Is o prime?
False
Let u be 0/(5/(15/6)). Suppose -5*d - 2*x + 1 + 9 = 0, u = -3*d + 5*x + 6. Is d - -124 - -2 - -3 a composite number?
False
Let c = 11 - -24. Is c prime?
False
Is -5 + 5 - (-2 + -329) composite?
False
Let d be 1*((-2)/7 - (-1476)/21). Let y(f) = f**2 + 6*f + 2. Let z be y(-6). Suppose -3*h - g = -208, -d = -h + z*g - 3*g. Is h composite?
True
Let f(s) = 4*s**3 + 13*s**2 + 23*s + 4. Let n(z) = 2*z**3 + 7*z**2 + 12*z + 2. Let w(o) = -6*f(o) + 11*n(o). Is w(-5) a prime number?
False
Is 3 - ((-6)/(-3) - 266) a composite number?
True
Let k(g) = -g - 9. Let c be k(-9). Suppose 109 = h - c*h. Is h a composite number?
False
Suppose 48*i + 4532 = 52*i. Is i a composite number?
True
Let h(y) = 12*y**3 + 1. Suppose 0 = 2*b - b - 1. Is h(b) a composite number?
False
Suppose 0 = -2*f + 3*f + 2*q - 5, -11 = -2*f - 5*q. Is (-2 + f)/((-1)/(-37)) a composite number?
False
Let b(k) = -2*k + 16*k**2 + 2*k + 3*k - 4. Is b(3) composite?
False
Suppose 208 = -2*w + 3*i, -3*w + 136 = 4*i + 431. Suppose -4*j + 6*j = -356. Let o = w - j. Is o prime?
False
Let o(p) = -47*p**3 - p**2 + 7*p - 10. Is o(-3) prime?
True
Suppose 2*w + 36 = l, 0 = 3*w + 5*l + 77 - 23. Is 1918/6 - (-12)/w composite?
True
Let w(z) = 2*z**3 - 3*z**2 - 3*z - 3. Is w(3) a composite number?
True
Let h(d) = 2*d - 8. Let o be h(-6). Let u be o/((