Let t = i + 49. Is t composite?
False
Let g(i) = i**3 - 3*i**2 + i + 11. Let d be g(5). Let h(k) = -2*k**2 + k. Let l be h(-1). Is (d/l - -3)/(-1) a composite number?
False
Suppose n - 425 = -4*n. Is n composite?
True
Let a be 6 + -6 + (282 - -1). Suppose -2*n + 117 = l - 26, -4*n = -l - a. Is n a composite number?
False
Let p = 465 - 256. Is p composite?
True
Let d(x) = 2554*x + 39. Is d(2) a prime number?
True
Let p = 24 - 52. Let t = p + 95. Is t a composite number?
False
Suppose 5*l = -4*g - 28, l + 4 = 2*l. Let d = 18 + g. Is d a composite number?
True
Let y = 870 - 385. Is y a composite number?
True
Is 214 + 4/(-2) + -3 composite?
True
Let v be (7/(-21))/(1/(-9)). Suppose 0*y + 438 = v*y. Is y prime?
False
Is ((-1490)/40)/(2/(-88)) a prime number?
False
Let u = 7 + -3. Suppose u*s - 872 = 4*m, 3*s = -4*m + 266 + 423. Suppose 29 = -2*k + s. Is k a prime number?
True
Let m be (11 + 0)*(-30)/(-2). Suppose -j + m = 2*j. Is j a composite number?
True
Let v(m) = m**3 + m**2 - 6. Let x be v(0). Is 718/6 + x/9 a prime number?
False
Let d(g) = -8*g**3 - 3*g**2 + 18*g - 4. Is d(-7) prime?
True
Suppose 4*o - 905 - 3307 = -2*m, -3*o + 3*m + 3177 = 0. Suppose -d + o = 4*d. Is d a prime number?
True
Let i = 532 - 374. Is i prime?
False
Let z(g) = 908*g**3 + g**2 - 1. Let l be z(1). Let r = l + -335. Is r composite?
True
Let l(u) = 36*u**2 - 12*u - 7. Is l(-6) prime?
True
Suppose -2*y = -4 - 18. Let q = 27 - y. Suppose 0 = -2*s - 2, 3*r - 3*s - q = 2*r. Is r a prime number?
True
Let s = -1 - -119. Suppose -3*b + s + 59 = 0. Is b a composite number?
False
Let m be (-2530)/4 + 6/(-12). Suppose -690 = 3*o + 3090. Is (-2)/(-2 + o/m) a prime number?
True
Let g be -1*194/(-2)*5. Is (g/(-10))/(2/(-4)) a prime number?
True
Suppose 3*x - 25 = -3*u + 32, 2*x = -4*u + 48. Is x a prime number?
False
Let r = -162 + 527. Is r a composite number?
True
Let b be (-15)/(-5) + -2 + 2. Suppose b*x = -c + 51, -c + 6*c - 2*x - 289 = 0. Is c composite?
True
Suppose -40*w + 44*w = -20. Let k(o) = 8*o**2 + 7*o - 6. Let m(j) = -23*j**2 - 20*j + 18. Let u(s) = -11*k(s) - 4*m(s). Is u(w) composite?
False
Let p = 2 - -3. Suppose 0 = -p*a + 3*m - 0*m + 46, 5*m + 40 = 5*a. Is a a prime number?
True
Let p(s) = 2*s - 4. Let y be p(3). Suppose -3*v + 2*r + 75 = 0, -4*v + y*r + r = -101. Is v a prime number?
True
Let r be (-18)/(2/(24/(-9))). Is 36/r*424/6 a composite number?
True
Let z be ((-2)/(-3))/((-4)/6). Let c(r) = -115*r - 2. Is c(z) composite?
False
Suppose -4*r + 116 = 4*y, 5*y - 43 = -r + 6. Suppose 3*z - r - 18 = 3*j, 4*j = 2*z - 52. Is 16/j*(-21)/2 a prime number?
False
Let x(h) = -1 - h - 3*h + 0 - 2*h**3 + 3*h + h**2. Let u be x(-1). Suppose 110 = -l + u*l. Is l prime?
False
Suppose -2*v + 18 = v. Is ((-51)/v - 3)*-2 prime?
True
Let g = -105 - 68. Let l = g - -806. Is l a composite number?
True
Suppose -3*a + 2 = -3*p + 23, -4*p + 24 = -3*a. Let u = 4 + 1. Suppose -34 = -p*d + u*s + 105, 5*d - 245 = 5*s. Is d a prime number?
True
Suppose -8 = 2*d - 54. Let q = -8 + 10. Suppose -q = 3*x - d. Is x a composite number?
False
Suppose -2*n + 0*d - 5*d = -24, 8 = 4*d. Suppose -5*l + 48 = 2*q, -5*q + 2 - n = 0. Is l composite?
True
Suppose -18 = 5*m + 3*q, -m - q = -4*m - 8. Let v(r) = 2*r**2 - r + 1. Is v(m) a composite number?
True
Is 2/4*2 - -526 a composite number?
True
Is ((-129304)/42)/(2/(-3)) a composite number?
True
Let h = -3 + 5. Let z = h + 1. Is z a composite number?
False
Suppose 0 = -5*s + 95 + 30. Suppose -2*o + c = -67, c + 79 = 2*o - 4*c. Suppose 3*a = -b + s, b - 3*b + o = -3*a. Is b prime?
True
Let g be 2/7 - 32/14. Let w = g + 4. Is ((-30)/(-8))/(w/8) composite?
True
Let d(x) = -x**3 - x**2 + 7*x + 15. Is d(-8) prime?
False
Let l be 5 + -2 - (-1 + 1). Suppose 0*r = -l*v - 4*r + 8, 5*v - 2*r = 22. Suppose -v*a + 8*a - 740 = 0. Is a a prime number?
False
Suppose -16*t - 270 = -11*t. Is (-4)/(-18) - 2742/t prime?
False
Suppose -h = -2*i + 1351, i - 5*i = h - 2711. Is i a composite number?
False
Let q(v) = -v**3 + 4*v**2 + v - 5. Is q(-4) prime?
False
Suppose -6414 = d - 7*d. Is d a composite number?
False
Suppose 5*g = -2*m + 14, -8 = -g - 5*m + 4. Let i be 12/(-3) - g/(-2). Is i/(-5) + 864/10 prime?
False
Let j = 9 + -6. Let d be 23/2 - 8/16. Suppose -2*q = -4, -f + q + d = j*q. Is f prime?
True
Let n = 6 + -4. Let z(k) = -20*k - k**n + 1 - 5 + 8*k. Is z(-7) composite?
False
Is ((-82)/(-6))/((-3)/(-45)) a prime number?
False
Let x(j) = -5*j**3 + j**2 + 35*j + 18. Is x(-8) prime?
False
Let k(a) = a**2 + a + 1. Is k(-3) a prime number?
True
Let s(a) = 17*a + 5. Let u be s(-5). Let o be 1*u*(0 - 1). Is o - (-2)/((-6)/3) prime?
True
Is (-2 + 623/(-4))*(-4 + 0) a composite number?
False
Let d = 39 - 106. Suppose 5*h - 20 = 3*m - 4*m, -h + 18 = 3*m. Is h - 1 - d/1 a prime number?
False
Let c(s) = 40*s**2 - 2*s - 6. Let z be c(-5). Suppose -3*h - h = -z. Is h a prime number?
True
Is (-35974)/(-10) - -4 - (-2)/(-5) a prime number?
False
Let z(h) = h**2 + 6*h + 2. Let v be z(-6). Let x be 23 + v*1/(-1). Suppose 0 = 3*q + 12, 2*a - 3*q = -a + x. Is a a prime number?
True
Is (4 + -1)/(3/1195) composite?
True
Let z = 0 - -4. Suppose -z*f - 10 = -26. Suppose 0 = 3*k - 2*n - 185, f*n - 3 - 82 = -k. Is k prime?
False
Suppose 8*d = 2*d + 3126. Is d a prime number?
True
Suppose 3*c - 298 = 581. Is c prime?
True
Suppose 4*t = 2*t + 382. Is t a prime number?
True
Let k = 16 + -17. Is 1/k + (-300)/(-2) prime?
True
Suppose -5769 = 8*u - 11*u. Is u prime?
False
Suppose -4*g + 1 + 15 = 0, 3*m - 243 = -3*g. Suppose -5*t + 4*t - 4*a = -m, 3*t + 2*a = 251. Is t composite?
True
Suppose p = 3*z - 36, -46 = -4*z - 0*p + 2*p. Is z composite?
False
Suppose 3*l = -3*q + 126, 3*q - 8*q = -5*l - 190. Is ((-2032)/q)/((-2)/5) composite?
False
Let y = -298 + 572. Suppose 4*o = -o + 3*f + y, 4*o - 5*f - 227 = 0. Is o a prime number?
True
Is (-6)/8 + (-2558)/(-8) a composite number?
True
Let y be (-1836)/(-14) - 1/7. Let k(n) = n**3 + n**2 - n + 46. Let f be k(0). Let m = y - f. Is m a prime number?
False
Let y(c) = 30*c + 11. Is y(5) a prime number?
False
Let n be (-1 + 3)/(-2) - 0. Let q = 8 - n. Is 1095/q - (-1)/3 prime?
False
Suppose 3*w - 1343 = -3*p - w, -3*w - 439 = -p. Is p composite?
True
Suppose -5*u - 23 = 3*q - 2, q - 10 = 4*u. Let f(c) = 2*c. Let a be f(u). Is (-18)/12*184/a a composite number?
True
Suppose 2*g - 25 - 15 = 0. Let t = 11 + -9. Suppose t*r - g + 0 = 0. Is r a prime number?
False
Let m = 5 + 21. Suppose 4*t + 3*z - 1 = 43, 3*z = t - m. Suppose 5*w + t = 189. Is w a composite number?
True
Suppose -4*f + 570 = 5*l, f + 0*l = 2*l + 149. Is f a prime number?
False
Let a be ((-4)/10)/((-3)/15). Suppose -2*t = q - 51, 5*t = a*t. Is q composite?
True
Let h(a) = -43*a - 21. Let s(q) = 14*q + 7. Let r(t) = -2*h(t) - 7*s(t). Is r(-5) a composite number?
False
Let r = 22 + 4. Suppose b + 4*k - 5 = -3, 0 = -3*b - 2*k + r. Suppose 2*v = 4*f - 18, v - 3*v = -b. Is f composite?
False
Suppose -110*u + 114*u - 19828 = 0. Is u prime?
True
Let i(l) = -l**3 + 4*l**2 + 8*l - 6. Let q be i(5). Suppose -5*k + q = -1. Suppose 20 + 18 = k*t. Is t prime?
True
Let m be 1/1*1094 + -3. Let n = 1565 - m. Suppose 0 = 3*i + 2*p - 367, 4*i - 6*p + p - n = 0. Is i prime?
False
Let w = 439 + 0. Is w prime?
True
Let s(j) = -434*j**2 + j + 1. Let k be s(1). Let h be 1382/(4*2/4). Let t = k + h. Is t prime?
False
Suppose g - 5*s + 0*s - 122 = 0, 0 = -4*g + 5*s + 503. Is g composite?
False
Suppose -o - 5*k - 13 = 0, 5*k + 19 = 5*o - 6. Suppose 0 = -y - o*s + 57, 5*y + 0*s - 2*s = 261. Is y a prime number?
True
Suppose k + d + 2*d - 372 = 0, -k - 5*d + 366 = 0. Is k a composite number?
True
Suppose -2*x + 7*x = 14915. Is x composite?
True
Let j(m) be the first derivative of m**3/3 - 3*m**2 + 4*m + 4. Let f be j(6). Suppose -5*v + f*v = -u + 253, -2*u = 5*v - 492. Is u prime?
True
Suppose 5*a - 5*i = 5, 4*i + 4 = -4. Is a - 0 - 264/(-3) prime?
False
Let j be (9/(-6))/((-6)/8). Suppose 0 = 4*p - 0*p - j*f + 140, -64 = 2*p - 4*f. Let d = 89 + p. Is d prime?
True
Let z(l) = -25*l**3 + 2*l**2 - l + 1. Let g(q) = -q - 2. Let t be g(0). Is z(t) composite?
False
Is 172*(-4 + (-21)/(-4)) composite?
True
Suppose k + 5*r - 93 - 16 = 0, r = 5*k - 441. Is k a composite number?
False
Suppose 36 = -3*t + t. Let f = t + 11