rue
Let q = 114 - 212. Let n = 151 + q. Is n a composite number?
False
Suppose 4*y - 7 = 1. Suppose -y*z + 27 = 5*c, 0*c = -z + 5*c + 6. Is z prime?
True
Let g(i) = i**3 + 3*i**2 - 5*i - 2. Let m be g(-4). Suppose -l + 43 = -3*a, -3*l + 151 = m*a - 0*a. Is l prime?
False
Suppose 3*r - 2*r - 134 = 0. Is (-4)/(24/(-15))*r a prime number?
False
Suppose -v - u + 4*u = -383, 0 = 4*u + 12. Let q = -247 + v. Is q composite?
False
Suppose 6*h - 5267 = -5. Is h composite?
False
Let u(i) = -1185*i - 4. Is u(-1) a prime number?
True
Let b(s) = -2*s + 89. Let g(z) = z**3 - 12*z**2 - 14*z + 13. Let x be g(13). Is b(x) prime?
True
Is ((-254)/(-6))/(2/30) composite?
True
Let k be 2/(-2)*(3 - 402). Suppose 3*q + 54 - k = 0. Is q prime?
False
Suppose -4*y + 695 = -69. Is y a prime number?
True
Let v(j) = 1 + 5 - 11*j + 0. Let m = -7 + 0. Is v(m) prime?
True
Let s(u) = -u**3 - 10*u**2 + 20*u + 16. Suppose 0 = 4*q - 4*y + 68, 2*q + y + 38 = 4*y. Is s(q) composite?
False
Let a(p) = 45*p - 7. Is a(6) prime?
True
Suppose 1063 = 4*h - q, 3*h - q - 473 = 325. Is h composite?
True
Let l be (-4)/(-2) - (-5096)/4. Suppose 0*d - l = -4*d. Is d a composite number?
True
Suppose -5*t + 796 = d - 846, 4*t + 4*d = 1304. Is t a composite number?
True
Let v be (-55)/33 + (-4)/(-6). Is -1 - v - (2 - 159) a prime number?
True
Let b be 94/14 + (-6)/(-21). Suppose b = 2*i - 7. Is i prime?
True
Suppose p + 4*c - 275 = 0, c + 271 = p + 3*c. Is p composite?
True
Suppose 3*v - 5 = -3*r + 7, 5*v - 18 = -3*r. Suppose -v*m = 2*p + 3, 0*p = 4*m - p + 4. Let u(t) = -12*t + 1. Is u(m) prime?
True
Let l = 335 - 38. Suppose -3*j + 3*m + 242 = j, -5*j = -m - l. Is j a prime number?
True
Is (-2 - 1) + 1240/(-5 + 9) prime?
True
Let t(n) = n**2 + 71. Is t(0) prime?
True
Let w = 103 + 42. Is w a prime number?
False
Is (-11)/44 - 1773/(-4) a prime number?
True
Let a = 3 - -14. Let y = a + 5. Is y composite?
True
Suppose -5*s - 4*r + 185 = -198, -3*r = -s + 88. Is s a composite number?
False
Let i(y) = y**2 + 3*y - 2. Let w be i(-4). Let s(o) = 5 - 4 + 19*o**w + 2*o - o. Is s(2) prime?
True
Suppose -2*w + 908 = 2*w. Suppose -2*f = -3*f - w. Is 2/(-9) + f/(-9) a composite number?
True
Let q(v) = -2*v + 1. Let u be q(2). Let p be 1*u/(9/(-84)). Suppose -p = 5*j - 93. Is j a prime number?
True
Suppose 2*m - 7*m + 7450 = 5*f, 0 = 4*f. Suppose -u - 4*u + 5*z + m = 0, -5*u = -z - 1478. Is u a composite number?
True
Suppose 3*l = -0*l - 9. Let d = 16 + l. Is d a composite number?
False
Let z(c) = 3*c**2 + 7*c + 1. Let f be z(5). Suppose 5*b + f = -4*n, -24 = 4*n - 3*n + 5*b. Let o = n - -52. Is o prime?
True
Let p(b) = 538*b + 3. Is p(1) composite?
False
Suppose -4*k = 84 + 16. Let l be (30/k)/((-2)/5). Suppose -4*p - 2*t + 312 = 0, -l*p = -2*p + t - 79. Is p composite?
True
Let j(y) = 4*y + 3. Let t be j(5). Let n = 42 - t. Is n prime?
True
Is 18/135 - (-33506)/30 composite?
False
Let h(r) be the first derivative of -r**4/4 + 8*r**3/3 + 11*r**2/2 + r - 1. Let n(l) = l**2 + 8*l + 9. Let w be n(-8). Is h(w) a composite number?
False
Let i(k) = -k**3 - k**2 - 1. Let x(p) = -4*p**3 + p**2 - p - 4. Let f(w) = -5*i(w) + x(w). Is f(4) prime?
True
Suppose -5*h = -238 - 817. Is h a composite number?
False
Suppose -j + 8 = -5*l - 11, -5*j - 3*l + 39 = 0. Suppose j = -3*x + 6*x. Suppose 6*w = 4*d + x*w - 95, -3*d - 4*w + 90 = 0. Is d composite?
True
Let r(y) = -y**3 - 2*y**2 + 4*y + 3. Let j(i) = 2*i**3 + 3*i**2 - 8*i - 7. Let p(u) = -4*j(u) - 9*r(u). Is p(-4) composite?
True
Let i = 18 - 32. Is i*(2 - 11/2) composite?
True
Is ((-28)/6)/((-2)/39) a prime number?
False
Let a = -884 + 1440. Is a/(-6)*30/(-20) prime?
True
Let b = -833 + 1206. Is b prime?
True
Suppose 118 = 4*s - 14. Let r = s - 2. Is r prime?
True
Let y(h) = h**2 + 14*h + 2. Let s be y(-14). Suppose -4*q - p = -2192, s*q + 3*p - 7*p - 1078 = 0. Is q composite?
False
Let j(s) = 21*s**3. Suppose 2 = v - 1. Suppose 3*q = -0*d + d + v, q = -2*d + 1. Is j(q) a prime number?
False
Let k = 0 + 1. Let m be ((-3)/9)/(k/(-9)). Suppose 130 = m*q - q. Is q a composite number?
True
Suppose 10*b = 9*b - 211. Let s = -8 - b. Is s prime?
False
Let z(j) = j**3 - 13*j**2 - 8*j - 11. Let o be z(8). Let f be o/(-25) + (-1)/(-5). Let n = 15 + f. Is n prime?
True
Suppose -4*m + 4 + 444 = 0. Suppose -x + 3 = -m. Is x a prime number?
False
Suppose 4*z + 2*v + 2 = 0, 4*v = 2*z - v + 19. Let g(n) = -53*n + 1. Let y be g(z). Let x = y + -72. Is x prime?
False
Suppose 2*y = 2 - 8. Let g be (2 + y)/1 + 61. Suppose -4*v + g = -0*v. Is v composite?
True
Let l = -16 - 3. Let x = l - -78. Is x composite?
False
Let n = -27 + 39. Let v be 987/n + 1/(-4). Suppose 6 = -4*c + v. Is c composite?
False
Suppose -3*o = -2*z + o - 4, 2*o + 14 = 5*z. Suppose -4*n = b - 146, n - z*b - 46 + 1 = 0. Is n a prime number?
True
Let i be 2*16 - (-4 - -6). Suppose 5*q + 11 = -g - 0*q, i = 2*g - 3*q. Let n(b) = -b**2 + 10*b + 13. Is n(g) composite?
True
Suppose -39 = -2*q + 91. Suppose 0 = c + a + 2*a - q, -2*a + 273 = 5*c. Is c composite?
False
Let i = 828 + -397. Let k = i - 282. Is k prime?
True
Suppose -10299 = -2*q - g, -3*g - 20573 = q - 5*q. Is q a composite number?
False
Is (-479)/(-9) + 6/(-27) composite?
False
Suppose -4 = -3*p + 2. Suppose 0*q + 3*q - 63 = 0. Suppose -q = -p*u - u. Is u composite?
False
Let s(v) = -13 - 8*v**2 + 2*v + 1 - v**3 - 4*v. Let m be s(-8). Suppose m*c - 3*z - 28 = -4*z, 2*c - z = 8. Is c composite?
True
Let s(z) = z + 5. Let d be s(0). Let a(f) = f**3 - 4*f**2 + 1. Is a(d) a composite number?
True
Suppose 3*f - 5149 = -q, -5*f + 4*q - 3*q = -8587. Is f a composite number?
True
Suppose 4 = 5*a - 1. Let g = -3 + a. Let t(f) = 8*f**2 - 3*f - 3. Is t(g) a prime number?
False
Let p(z) = 6*z**2 - 7*z - 6. Let f be p(-5). Suppose -f = -4*i - g + 10, -5*i + 233 = -2*g. Suppose -30 - i = -r. Is r composite?
True
Suppose 0 = 4*q - 100 - 88. Is q a prime number?
True
Is (80/(-15) + 6)/(2/12603) prime?
True
Suppose y - 2*b + b = 395, -3*b = 0. Is y composite?
True
Let u = 2 + 2. Suppose 2*y = 2*c + 68, -4*y - 3*c = -u*c - 127. Is y a composite number?
False
Suppose -3*d = 3*v - 381, -133 = -v + d + d. Is v prime?
False
Let u = 69 - -121. Is (2 - 3) + (u - -2) a composite number?
False
Let v be ((-3)/6)/(3/(-30)). Let z(x) = -3*x**3 - 3*x**2. Let a be z(-4). Suppose n - v*q - 44 = -2*q, 3*n - 5*q = a. Is n composite?
False
Suppose -32 = -4*m - 0. Suppose m*k - 330 = 2*k. Is k a composite number?
True
Let s(c) = 787*c**2. Is s(1) composite?
False
Let a(t) be the second derivative of t**8/6720 + t**7/420 - t**6/72 - t**5/20 + t**4/3 + t. Let x(y) be the third derivative of a(y). Is x(-7) composite?
True
Is (-7305)/(-25) + 12/15 prime?
True
Is (-415)/(-1)*4/4 a prime number?
False
Let t be 6/2 - 1*-13. Suppose 0 = -4*b - 5*j - 3 - 3, -3*b = -2*j + t. Let q(h) = -4*h**3 - 3*h**2 + 4*h - 5. Is q(b) prime?
False
Let y(b) = 13*b**2 - 4*b - 2. Is y(-3) a composite number?
False
Let n be 3/(1 + 0) - 3. Suppose -v - 1 + 2 = 0. Is 3 - (-56 + n)*v composite?
False
Let i = 3 + 6. Suppose -5*r + u = -45, -3*u + i = -2*r + 5*r. Suppose r = -v + 19. Is v a composite number?
False
Suppose -10*z + 8992 = -1558. Is z a composite number?
True
Let v(i) = -1 + 2 + i + 4*i + i**2 + i**2. Is v(-6) a prime number?
True
Suppose 0 = 3*t - 0*t - 93. Suppose 0 = -2*x + t + 199. Is x a prime number?
False
Let a(f) = f**2 - 2*f - 1. Let q be a(-1). Suppose 4*j = 20, -5*x + q*j = -j + 45. Is (-2)/x - 130/(-6) a composite number?
True
Let u = 3639 - 1606. Is u a prime number?
False
Suppose -3*m + 5*m - 24 = 0. Suppose -3*c = -0*c + m. Is (3 - 17/c)*12 a composite number?
True
Let o be -4 + (0 - (-3 + -148)). Let y = 310 - o. Is y composite?
False
Let b = -39 - -19. Let p = 3 - b. Is p a prime number?
True
Suppose 4*y + 1 - 29 = 0. Is (-4)/14 + 156/y prime?
False
Let i be 18/12 + (-2)/(-4). Suppose -7*o = -i*o. Suppose o = -2*n + z + 37, -2*n - z + 3*z = -36. Is n a prime number?
True
Suppose 0*q = q - 3. Suppose x - 21 = -w, -5*w = q*x - x - 30. Is x a composite number?
True
Let u = -28 - -39. Is u prime?
True
Let o(b) be the second derivative of -b**4/12 - b**3 + 3*b**2 + 7*b. Let w = -11 - -6. Is o(w) a prime number?
True
Let h(p) = -p**3 - 5*p**2 + 9*p + 15. Let r be h(-6). Suppose -2*u - 11 = 55. Is u*r/1