 4*x + 274, 4*x + 270 = 3*t. Let q = 20 - x. Is q a composite number?
False
Suppose 21*k = 3*k + 37782. Is k prime?
True
Let m = 405 + -169. Suppose -350 = -2*b + m. Is b a composite number?
False
Suppose 0*l = 6*l - 30. Suppose 0 = 3*r - l*j - 8756, 3*r + j = -3*j + 8801. Is r prime?
True
Let g(k) = -k**3 - 22*k**2 - 104*k + 7. Is g(-18) a prime number?
False
Let l(w) = -3*w - 21. Let v be l(-10). Suppose -6*s = -v*s + 1167. Is s a prime number?
True
Suppose -4*a = -2*t + 6164, a - 6*a = -4*t + 12334. Is t prime?
False
Let l = -318 - -76. Let t = -31 - l. Is t a prime number?
True
Let a(z) = 9*z**3 - 9*z**3 - 26*z**3 + 17*z + 13 - 2*z**2. Is a(-6) a prime number?
False
Let p(t) = t + 1. Let s = 7 - 6. Let b(h) = h**3 + h**2 + 2*h + 7. Let i(x) = s*b(x) - p(x). Is i(5) a prime number?
False
Let q(h) = -3*h**2 - 44*h + 17. Let f(d) = 9*d**2 + 132*d - 52. Let p(z) = 6*f(z) + 17*q(z). Is p(-18) composite?
False
Let f = -1391 + -544. Let w = f + 3194. Is w composite?
False
Suppose 2*h = h - 1, 5*x + 5*h - 24830 = 0. Is x a composite number?
False
Let u(o) = 1265*o**3 + 4*o**2 + 2*o + 3. Let x(q) = q**3 + q**2 + 1. Let i(s) = -u(s) + 2*x(s). Is i(-1) a prime number?
False
Suppose 0 = -3*d + 2*d + 1. Let g be (2/(-6))/(d/(-3)). Is 2/2*353*g a composite number?
False
Suppose -5*t - k + 87 = 0, 8*t - 40 = 6*t - 3*k. Suppose t*h - 20*h + 249 = 0. Is h a prime number?
True
Suppose -5*l + 4*l + 12 = 0. Let s be (-84)/(-2)*150/l. Let a = s + -26. Is a a prime number?
True
Let v be (16/5)/(3/(-15)). Let g be v/(-10)*(-205)/(-2). Let w = g - -89. Is w composite?
True
Suppose 0 = -92*p + 67*p + 97450. Is p a prime number?
False
Let m = 2207 + -1454. Is m composite?
True
Let h(l) = l**3 - 7*l**2 - 8*l + 2. Let o be h(8). Suppose 4*y = -3*r + 83, 3*r = -3*y + o + 64. Is -1 + y + -6 + 3 a composite number?
False
Let u = 1777 + 397. Is u prime?
False
Suppose -222*x + 2211 = -219*x. Is x prime?
False
Let d be (-3)/9*(0 + -39). Suppose 15*t = d*t + 382. Is t prime?
True
Suppose -15*m + 12023 = -25162. Is m composite?
True
Suppose 4*g - 4*i = 16, -3*i = -3*g - i + 12. Suppose -v = g*v - 10. Suppose -v*n - n + 93 = 0. Is n a prime number?
True
Suppose g + 99 = 2*t, 2*t - 4*g - 89 = -g. Let r be 4/(-14) - t/14. Let j(k) = 25*k**2 + k + 1. Is j(r) a composite number?
False
Let g(f) = f**2 + f + 1535. Let y(c) = c**3 - 9*c**2. Let n be y(9). Let t be g(n). Suppose i = -4*i + t. Is i a composite number?
False
Suppose 5*x + 5 = -0*x, 3*q + 4*x = 8. Suppose -475 = -2*y - 5*r, -q*y + 813 + 132 = 5*r. Is y a prime number?
False
Suppose -2*j + 3*j - 26 = 0. Let k = j - 23. Is (-46)/k*3/(-2) a composite number?
False
Suppose -i - 4 = t, 5*t - 5*i - 20 = t. Let w = -9 - -12. Is t/(w/3) - -295 composite?
True
Let j be -2*34/(-8)*2. Suppose -j*u = -18*u + 127. Is u a prime number?
True
Suppose -533211 = -42*r + 179907. Is r a composite number?
False
Let w(j) = j - 1. Let q be w(5). Suppose q*r - 3*r = 2. Suppose 3*u - 396 = -5*l, -r*u - 2*l = l - 263. Is u composite?
False
Let k(r) = 33*r**2 + 11*r - 51. Is k(-11) composite?
False
Let n be 6/9 - (-698)/6. Suppose 0*l = -5*l + 15, 155 = c - 5*l. Let a = c - n. Is a a prime number?
True
Let d = 40 - 56. Is (12/d)/(1/(-524)) a composite number?
True
Let j(k) = -k**2 + k + 254. Let v be (2 - 2)/(-2 - -3). Suppose v = 2*t + 3*t. Is j(t) prime?
False
Let v(f) = 6*f - 2. Let o be v(-1). Let a(k) = -2*k**3 + 8*k**2 + 2. Is a(o) a prime number?
False
Let m be (3/9)/(-1*1/(-15)). Suppose -1988 = a - m*a. Is a a composite number?
True
Suppose 0 = -f + 9 - 3. Suppose 3*b = -f, 2*n + 5*b - 4*b - 762 = 0. Is n composite?
True
Suppose -3*b + 789 = -3*x, 5*x = 4*b - 1021 - 35. Is b composite?
True
Suppose 1044 = -6*x + 9*x. Suppose 3*r + x = 7*r. Is r a prime number?
False
Let r(d) = 211*d - 3. Let w(s) = 2*s**3 - 2*s**2 + 3*s - 1. Let v be w(1). Is r(v) a composite number?
False
Let j = -2388 + 13987. Is j a prime number?
False
Suppose 81*k + 74067 = 84*k. Is k a prime number?
False
Suppose -15*p = -20499 - 42516. Is p a prime number?
True
Suppose -318279 = 19*q - 903802. Is q composite?
False
Suppose 14*j + 16362 = 5*j. Let r = -1021 - j. Is r a prime number?
True
Suppose 22 - 2 = -5*s. Is 0 + (416 - (s - -1)) prime?
True
Is (-2 - -26101) + (3 - 1 - 2) a composite number?
False
Let m = 102 - 150. Is (3 - m/(-18))/((-3)/(-16299)) prime?
True
Let l(a) = -14*a - 19. Let j(b) = -6*b + 53. Let v be j(12). Is l(v) a composite number?
True
Let k be (-18)/(-45) - 226/(-10). Suppose 19*l - k*l = -676. Is l prime?
False
Suppose -898 = -4*h + 2506. Is h a composite number?
True
Suppose 11*g = 8*g + 10524. Is (-3)/((-24)/g)*2 a composite number?
False
Let o = -2883 + 5062. Is o a composite number?
False
Let p(l) = 2*l + 32. Let b be p(-15). Is (-1)/b - (-7)/(70/21495) prime?
False
Suppose -69*u - 13610 = -79*u. Is u a prime number?
True
Let w(a) = 157*a**2 - 10*a + 53. Is w(10) a composite number?
True
Let v be (-2 - (-5)/3)*-6. Suppose -v*k = f - 4 - 1, 0 = 3*k. Suppose f*n - 261 = 2*n. Is n composite?
True
Suppose -19*d = 5*d. Suppose -2*v + 703 = -245. Suppose d*x - v = -6*x. Is x a prime number?
True
Let j = 87 + -83. Suppose -7*z + 10*z + 3*p = 3666, -z + 1237 = j*p. Is z composite?
False
Let b = 2 - -1. Let r be ((-2)/b)/((-6)/(-18)). Is (1192/(-16))/(r/4) composite?
False
Is 5383/91 - 4/26 a prime number?
True
Suppose -16 - 5 = -7*x. Suppose -c + 2*h + 238 = 7*h, -x*h = 15. Is c a prime number?
True
Suppose 87 = 9*m - 12. Suppose m*n - 7*n = 952. Suppose -3*x + n = -821. Is x a prime number?
True
Suppose -19*s + 18*s + 2*n + 1937 = 0, 3*s = 4*n + 5805. Is s prime?
True
Is (-860598)/(-54)*6/2 composite?
True
Let v be (-2)/7 + (-19)/(133/(-282)). Is (-1)/((-3487)/8705 + 16/v) prime?
True
Suppose 14*w = 2*w + 60. Suppose -j - 2*o + w*o + 1147 = 0, 0 = 4*j - o - 4544. Is j a prime number?
False
Let h(i) = -i**2 + 8*i - 3. Let w be h(7). Suppose w*a = -0*a + 356. Is a composite?
False
Let m be (-1)/4 + 21/(-12). Let u = 491 - m. Suppose u - 1615 = -6*i. Is i composite?
True
Let x(q) = -590*q + 87. Is x(-10) composite?
False
Let f(b) = -6*b**3 - 12*b**2 - 16*b + 29. Is f(-12) prime?
True
Suppose -314*o = -322*o + 34064. Is o prime?
False
Suppose 0 = -11*l + 14*l - 501. Let a = l + -76. Is a composite?
True
Let u = 96 - 327. Let r(j) = 18*j**2 + 6*j + 2. Let z be r(5). Let t = z + u. Is t a prime number?
True
Let p(w) = w - 1. Let r be p(3). Suppose -2*d = -r*l - 12, 3*l = -d + 2*l. Let c = d + 52. Is c a composite number?
True
Suppose 2*a + 5 = 3*t, -5*t - 2*a + 0*a = -35. Suppose 4*f + f - 575 = -5*k, -t*f + k + 593 = 0. Is f a prime number?
False
Let l(v) = -850*v**3 - 5*v. Let c be l(-2). Suppose -1711 = -i + 4*m, 4*i + 3*m - c = 2*m. Is i prime?
False
Let c = -15 - -18. Suppose 0 = 2*g - c*g - 7. Is (-6147)/(-21) + (-2)/g prime?
True
Let j(v) = -v**3 + 4*v**2 + 3*v + 11. Let t be j(5). Let s be t + 578 - (-1 - -1). Let o = s + -226. Is o a composite number?
False
Let h = 15 + -9. Suppose 0 = 2*w - h*w + 2992. Suppose -7*l - w = -11*l. Is l a prime number?
False
Let p(j) = -j**3 + j**2 - 2*j + 2. Let b be p(1). Is (-2 + 3)*(-1 - b) - -1152 composite?
False
Let x(b) = 2*b - 6. Let g be x(4). Suppose 0 = -5*y + 15, 3*r + g*r - 6068 = -y. Is r prime?
True
Let i(o) = 42*o - 3. Suppose -d - a = -2*a - 1, 3 = 3*a. Let k be i(d). Suppose -c - 2*m = m - k, 5*c - 4*m - 443 = 0. Is c a prime number?
False
Let l(x) = x**2 - 6*x. Let n be l(5). Let j be (28/(-35))/(2/n). Is (-57)/(-6)*6 + j a composite number?
False
Let c(i) = -2*i + 8. Let h(m) = 2*m - 7. Let f(y) = -6*c(y) - 7*h(y). Suppose 5*z + 41 = 11. Is f(z) a prime number?
True
Is 3/(-2) - 646135/(-70) prime?
False
Let k(b) = 361*b - 18. Is k(23) composite?
True
Let m(p) = -13*p + 1 + 2*p**3 - 3*p**3 + 6*p - 2*p. Is m(-7) composite?
True
Let r = 3706 - 1627. Suppose -4*t - 499 = -r. Is t prime?
False
Let j(q) = q**3 - 3*q**2 - 4*q + 4. Let x be j(4). Suppose x*s - 844 = -3*g, -5*s - 440 + 1526 = -4*g. Is s composite?
True
Let n(o) = -10*o + 29. Let t be 2/9 - 28/(-36). Suppose 47 = -4*g - t. Is n(g) prime?
True
Suppose 0 = 4*g - 8*g + 15020. Is g a composite number?
True
Suppose 0 = -5*r - 0 + 10. Suppose r*w + 0*w - 4 = 0. Suppose -5*c + c - 3*g = -280, 0 = -w*c + 4*g + 118. Is c a prime number?
Tr