 = 2 - i. Let x = t + 4. Is x a prime number?
True
Let i = 11 - 4. Let y = -2 + i. Suppose 3*n - 2*s - 32 = 0, y*s + 13 = 5*n - 32. Is n composite?
True
Suppose 5*c = -o + 3*o + 2227, 3*o - 1800 = -4*c. Suppose -3*n = -c - 51. Is n a prime number?
False
Let m(i) = 56*i**2 + 2*i + 1. Let a(j) = -j**3 - 13*j**2 + 13*j - 15. Let x be a(-14). Is m(x) a prime number?
False
Let w be (-2393)/(-2) - (-3)/6. Suppose -5*l + 123 = -w. Suppose 4*u - l = -0*u + 2*x, x = -2. Is u prime?
False
Let i be -8 - -7 - 5*-1. Suppose -i*k - 1 - 3 = 0, 3*a - 5*k = 26. Is a prime?
True
Suppose 450 = 5*d + 5*q, 4*d - q - 184 = 151. Is d a prime number?
False
Let f(d) = 8*d**2 + 8*d + 23. Is f(12) prime?
False
Suppose 0 = -u - 3*g + 1125, -2*u + g = -647 - 1589. Is u composite?
True
Let k(c) = -41*c**3 - 3*c + 1. Is k(-3) composite?
False
Let f(c) = c**3 + 10*c**2 + 5*c - 5. Suppose 2*t = -4*q + q - 6, 19 = -3*t - 2*q. Is f(t) composite?
False
Let y(w) be the first derivative of w**2 + 11*w - 8. Is y(10) composite?
False
Let i be 160/26 + 8/(-52). Suppose i*j = 5*j + 34. Is j prime?
False
Suppose -o - o = 10. Is 1372/20 - 2/o a prime number?
False
Let h = 24 - -235. Is h composite?
True
Let q(z) = -26*z + 3. Is q(-10) composite?
False
Let j(f) = 13*f**2 + 3*f + 9. Is j(7) composite?
True
Let a = 13 + -9. Is 3/a - (-7208)/32 a prime number?
False
Suppose 0*i - 15 = 3*i. Is (i/(-2))/(-5)*-46 prime?
True
Let z be (0 + -3)/(2/(-6)). Let r = z + 2. Is (-15)/(-6)*(r + -1) a prime number?
False
Suppose -56 = -8*z + 2352. Is z a composite number?
True
Let p(j) = j**2 + 9*j + 3. Let l be p(-9). Is l/9*0 - -31 a prime number?
True
Let s(b) be the first derivative of 3*b**4/2 + b**3/3 - 3*b**2/2 - 2*b - 1. Let g be s(3). Suppose -2*i + 2*d = -3*i + 49, 0 = 4*i - 4*d - g. Is i prime?
True
Let n = -4 + 2. Let w = n - -2. Suppose -h - 2*h + 45 = w. Is h a composite number?
True
Let x be (-3 - -9) + 0 + -1. Suppose -3*y + 267 = -3*u, x*y = -2*u - 65 + 510. Is y prime?
True
Let t(l) = -2 - 7*l**2 + 2*l - 3*l - 50*l**3 + 8*l**2. Let q be t(-2). Is (-8)/24 + q/6 a composite number?
False
Suppose -11*r + 7870 = -2437. Is r composite?
False
Let w be (-3)/(1 - 83/86). Let o = -52 - w. Suppose -5*h - x = -o, -4*x - 5 - 9 = -5*h. Is h composite?
True
Suppose 0*w = w - 3*q - 129, -3*w = -5*q - 387. Suppose 3*b = -5*f - 270, b = 3*f + 19 + w. Is 1/1 - (1 + f) prime?
False
Suppose -3*m = -2*o - 421 - 110, 4*o = 4*m - 704. Is m a composite number?
False
Suppose 3*y - 3 - 6 = 0. Let k(m) = -m**3 + 13*m**2 + 3*m - 28. Let w be k(13). Suppose y*o = s - 29 - w, 3*s - 116 = 5*o. Is s composite?
False
Let u be 2/(-11) - 48/(-22). Suppose u*m - 4*n - 15 = -7*n, -4*n = -12. Suppose -k + 2*k = 0, -m*v + 4*k = -111. Is v a composite number?
False
Is (-2 + -5)*(-64 + 6/(-2)) prime?
False
Let r(j) = 4*j**3 + j**2 + 3*j - 52. Let q(c) = -c**3 - c - 1. Let t(m) = -3*q(m) - r(m). Is t(0) a composite number?
True
Let w(u) = 8*u**2 - 3*u - 4. Let h be w(-4). Let t = h + 5. Is t composite?
True
Suppose 2*g - 7 = 3*g. Let h = 21 + g. Is h a prime number?
False
Let o(b) = -139*b - 30. Is o(-8) a prime number?
False
Suppose -3*d = -4*f - 54 - 1, 2*f - 2*d + 26 = 0. Let i be f/(-12)*(-3)/(-2). Suppose 5*r + w - 93 = 0, -3*w = i*r - 26 - 6. Is r a prime number?
True
Suppose -5*k - 8 = 237. Let i = -34 - k. Is (-368)/(-3) - (-5)/i composite?
True
Let y = -7065 - -11110. Is y composite?
True
Suppose -4 = -4*z + 2*z. Suppose 6*o - 508 = z*o. Is o prime?
True
Let d(l) = l**3 + 6*l**2 - l - 6. Let m be d(-6). Suppose j - 4*z + 18 = m, 4*j - 5*z = j - 19. Suppose 115 = y + 4*u, 275 = 2*y + y - j*u. Is y a prime number?
False
Let s = 4 - 2. Is (s/(-4))/(3/(-90)) a composite number?
True
Let o = -43 + 130. Is o a composite number?
True
Let d = -772 + 2427. Is d prime?
False
Suppose 0 = -3*z - p + 9, -z + p + 17 = 6*p. Let i be (3/(-6))/(z/(-36)). Let j = 28 - i. Is j a prime number?
True
Suppose -5*p = -3*b + 29, p + 5*b - 8 = b. Is (-36)/8*p/3 a prime number?
False
Let q(z) = 13*z**2 + 6*z - 15. Let f(r) = -6*r**2 - 3*r + 7. Let v(n) = -5*f(n) - 2*q(n). Is v(-6) a composite number?
True
Suppose 5*a + 4 - 6 = -f, -4*f + 8 = -4*a. Suppose 0*m + 58 = 3*g + 5*m, a = -5*g - 4*m + 75. Is g prime?
True
Suppose -c + 2*n - 1454 = 0, 0*c = -c + 3*n - 1451. Let p = -1041 - c. Is p a prime number?
True
Is ((-1)/2)/(19/(-196270)) composite?
True
Let r(a) = 147*a**2 + 7*a - 7. Is r(-4) prime?
False
Suppose -j + 1 = 0, 3*m - 232 + 796 = -3*j. Suppose -2*s = -3*s + 278. Let t = m + s. Is t a prime number?
True
Suppose -2*i + 3*f = -9, -5*f = 4*i - f - 68. Suppose -i = n + 2*n. Is n/(-42)*9*7 a prime number?
False
Suppose 4*l = 5*c - 3499, 69 = -c - 4*l + 764. Is c/(-2)*(-8)/12 composite?
False
Let v be -1 - (2 - (-8 + 1)). Is (-534)/(-10) - (-4)/v a prime number?
True
Is -3 + (1 - (-560 + -1)) prime?
False
Let c be 0 - (-1 + (7 - 2)). Is c/(-18) - 15245/(-45) a composite number?
True
Is 1074/18 - 4/6 prime?
True
Let x(q) = 5*q**2 - 9*q - 6. Let w(o) = -4*o**2 + 9*o + 6. Let r(s) = 6*w(s) + 5*x(s). Let d be r(-8). Is (0 + 10)*(-5)/d a composite number?
True
Let u(z) = 3*z**2 + 3*z + 1. Let p be (-4)/(-6) - 16/6. Let b be 2 - (p + 1)*1. Is u(b) composite?
False
Suppose 4*l + 4*c - 3*c + 207 = 0, -4*l = 3*c + 213. Let q = -11 - l. Suppose -4*f + 4*o + q = 0, -35 = -f - o - 3*o. Is f composite?
True
Is -1 + (-38064)/(-42) + 6/(-21) prime?
False
Let b(k) be the third derivative of -k**7/1260 - k**6/720 + k**5/30 + k**2. Let s(j) be the third derivative of b(j). Is s(-5) composite?
False
Suppose 11*j - 3*j = 35896. Is j composite?
True
Let z(c) be the third derivative of -11*c**7/630 + c**6/720 + c**5/60 + c**2. Let q(g) be the third derivative of z(g). Is q(-3) composite?
True
Let y(w) = -w**3 - 4*w**2 - w. Let a be y(-3). Let o(r) be the second derivative of -3*r**3/2 - 7*r**2/2 - 16*r. Is o(a) a prime number?
True
Suppose -4*f - 249 = -4*o + o, o - 5*f = 83. Is o composite?
False
Suppose f - 5*f = 3*p - 29723, -2*p + 7437 = f. Is f a composite number?
True
Let v = -1060 + 1617. Is v composite?
False
Let b(w) = -15*w + 1. Let l be b(2). Let c = 50 + l. Is c a composite number?
True
Suppose 0 = -3*v - 3*o - 6 + 15, 15 = 4*v + 5*o. Suppose -2*i = -v*i - 148. Suppose 5*d = 3*d + i. Is d composite?
False
Let j = 15 + -26. Let n(y) = -y**3 - 10*y**2 - y - 5. Is n(j) composite?
False
Let b(f) = f**3 - 5*f**2 + 5*f - 3. Let a be b(4). Let p = a + 2. Suppose 0 = -5*g, x - p*g = -4*g + 25. Is x composite?
True
Suppose -40 = -4*w + 212. Let u = 43 - w. Let r = 41 + u. Is r prime?
False
Let j = -1160 + 1701. Is j a prime number?
True
Let q be -1 + 5 + -1 + -1. Suppose -q*d - 3*d = -110. Is d a composite number?
True
Is 23*(-4)/2*(-67)/2 a prime number?
False
Suppose -16 = -3*z - m, z - 12 = -3*z + m. Let w be (2 - 4)*(-22)/z. Suppose g - 2*g = -w. Is g composite?
False
Let g = -1 + 3. Suppose 0 = 4*w - g - 338. Suppose 4*y = -5*d + w, 0 = y - 6*y + 4*d + 55. Is y composite?
True
Let z(b) = 706*b**3 + b**2 - 2*b + 2. Is z(1) a prime number?
False
Let s(f) = -79*f - 4. Is s(-11) a composite number?
True
Let o be (87/(-2))/(7/(-14)). Is (-42)/9*o/(-2) a prime number?
False
Let a = 7 - 5. Suppose 3*g - a*g = 12. Let i = g + -5. Is i a composite number?
False
Let t(i) = i**3 - 3*i**2 + i - 3. Let a be t(3). Suppose -r = r + 4, a = 3*v + 3*r - 2895. Is v a composite number?
False
Suppose -20 = -y - 4*k + 15, 5*y = k + 259. Suppose 30 + y = 3*v - 5*g, 3*v + 2*g - 102 = 0. Suppose 4*r = v + 12. Is r a prime number?
True
Suppose -5*t + u = -21, -9 = -t - 4*t + 4*u. Let o be (-291)/4*(-3 - 1). Suppose t*q - o = 2*q. Is q a prime number?
True
Suppose 555 + 265 = 4*b. Let r = 332 - b. Is r prime?
True
Suppose 5*h - 4 = -9. Let y be (h + 1)*(-3 - -4). Suppose -2*v + y*v - 5*g + 144 = 0, -5*v - 3*g + 379 = 0. Is v a prime number?
False
Let o(k) = 189*k + 61*k + 0 + 1. Is o(1) composite?
False
Let b(q) = q - 1. Let y(k) = -4*k + 1. Let n(c) = -5*b(c) - y(c). Let p be n(0). Suppose 2*a = -2*g + 72, 9*g - p*g = 3*a - 116. Is a prime?
True
Suppose 4*d - 6385 = -d. Suppose 0 = -4*i - 225 + d. Is i a composite number?
False
Let k(g) = g - 6. Let q = 1 - -4. Let s be k(q). Let c = 34 - s. Is c composite?
True
Suppose 2*k - 5 = -5*y, 5*y = -k + 3*k + 5. Suppose z - 3 = -k*