= 1, -4*g - 4*y - 24 = 0. Is (-2331)/(-15) - g/(-5) a composite number?
True
Is (-4)/18 + 17875/45 a composite number?
False
Suppose -k + 4*k - 222 = 0. Suppose 0 = 5*f - k - 201. Is f prime?
False
Suppose 3*x = -7 + 16. Suppose 0 = x*u - 2*q - 11, 5*u + 4*q + 6 - 17 = 0. Is u a prime number?
True
Let b be (-5)/4*2*2. Let a be 42/b + 8/20. Is ((-2)/(-3))/(a/(-804)) a composite number?
False
Let z be (-56)/3 + 2/3. Suppose 10*d = 3*d + 308. Let c = z + d. Is c composite?
True
Suppose -4*v = 2*k + 18, 0 = -5*v + 4*v + 2*k - 12. Let h = -16 + 17. Is (v/(-9) - h)*-33 a prime number?
True
Let s(y) = 3*y**2 - 6*y - 5. Is s(6) a composite number?
False
Suppose -2*b + 3*g + 2771 = 0, -7*b - g + 4140 = -4*b. Is b a composite number?
False
Is (-3 - (0 - 2)) + 1260 - -2 composite?
True
Suppose -v - 5*z = -z - 16, -2*v + 4*z = 28. Let a = 6 + v. Suppose 3*f = a*f + 3*i + 37, 5*i = 2*f - 69. Is f prime?
False
Let w(p) = p + 4. Suppose -y = -k + 5, 5*k + 13 - 3 = -2*y. Let s be w(y). Is (-21)/(-6)*(-4)/s a prime number?
False
Let z = -116 - -383. Is z a prime number?
False
Let u = -1 + -1. Is u - -4 - 17/(-1) prime?
True
Let j be 4/(4*2/(-44)). Let t = 31 - j. Is t a composite number?
False
Suppose 5*g - 1826 = -2*w - 371, -611 = -2*g + 5*w. Is g a composite number?
False
Let t(q) = -q**3 - 4*q**2 + q + 3. Let j be t(-4). Let k be -2 - -2 - -1 - j. Suppose 0 = k*x - 0*x - 38. Is x a composite number?
False
Let s(l) = -5 - 5*l - 1 + 1. Is s(-4) composite?
True
Suppose -2935 = -s - 0*s. Is s a composite number?
True
Let o(t) = -t**3 + 7*t**2 - 8*t + 5. Let d(j) = j**2 - 12*j + 5. Let i be d(12). Is o(i) a composite number?
True
Suppose k - 6 + 1 = 0, -p - 3*k = -8. Let f(o) = -8*o - 8. Let d be f(-10). Let w = d - p. Is w prime?
True
Is 6/(-27) - 1200/(-54) prime?
False
Let d(p) = p**3 - 5*p**2 + 4. Let v be d(5). Let a be ((-6)/v)/((-1)/70). Suppose -a = -w - 4*w. Is w a prime number?
False
Suppose 0 = -4*y + 5 + 15. Let i be (-20)/3 - (-4)/6. Is (-14)/i*(-2 + y) prime?
True
Let k = -4 + 6. Suppose 578 = -k*m + 4*m. Is m a prime number?
False
Let x(n) = 0*n**2 + 7*n**2 + 0*n**2 - 4*n**2 - 8 + 3*n. Is x(-6) a composite number?
True
Let q(z) = 2954*z - 1. Let g be q(-1). Let u be (2/3)/((-10)/g). Let w = -128 + u. Is w prime?
False
Suppose -4970 - 1854 = -8*r. Is r prime?
True
Let j(p) = -p**2 - 4*p - 2. Let m be j(-2). Suppose r - 23 = m*d, -3*d - d = -3*r + 49. Let w = d + 23. Is w a composite number?
False
Let j = 13 - 8. Let p(r) = -r - 8 - 16*r + j. Is p(-2) a prime number?
True
Let q(t) = -t + 8. Let x be 44/6 + 6/9. Let k be q(x). Suppose k = c + 39 - 106. Is c a prime number?
True
Suppose -4*f = -6*f - 6. Is (3/(-2))/f*14 prime?
True
Suppose -5*x + 249 = 64. Suppose -x = -5*j - 7. Is (-3)/j - 78/(-4) a composite number?
False
Suppose -4*s + 266 = -182. Suppose 5*k - s = 43. Is k a prime number?
True
Is (0 - 0 - -1)*17565/3 a prime number?
False
Let r(v) be the first derivative of -15*v**2/2 - 4*v + 1. Let b be r(-3). Suppose 0 = 2*k - 21 - b. Is k composite?
False
Is 28/14*14866/4 a prime number?
True
Let t be 2/4*(0 - 0). Suppose -k - 5 = -t, -3*j - 4*k = 56. Is (-776)/j + 2/6 prime?
False
Let o = 137 + -210. Let v = -27 - o. Let g = 1 + v. Is g prime?
True
Is (4/2)/(4/242) a composite number?
True
Suppose 7*y + 995 = 12*y. Is y a composite number?
False
Suppose -4*d = -8*d + 12. Suppose -4*n + 191 = -d*n. Is n a composite number?
False
Suppose -2*q - 6 = 0, -2*q + q - 5 = -l. Is l/7 - (-3351)/7 prime?
True
Let r(c) = -c**3 - 5*c**2 + 7*c + 6. Let o be r(-6). Suppose 0 = -5*d - l + 1050, -2*d + 3*l + 457 - 20 = o. Is d prime?
True
Let f = 8 + 0. Let w be (-1)/4 - (-42)/f. Is w/((-10)/(-4)) - -89 a prime number?
False
Let p be 1/((-16)/(-14) + -1). Suppose 10 = -a + 4*b, -2*a + 3*b - p = -2. Suppose c - a - 4 = -4*l, 4*l = 4*c - 124. Is c a prime number?
False
Let y be 1*(1 + -1) + 3. Suppose -2*r - y*r + 185 = 0. Is r a prime number?
True
Let n(r) = 2*r**2 + 4*r - 19. Is n(-15) composite?
True
Let s = 11 - 8. Suppose s*k - 5*k + 20 = 0. Is k a composite number?
True
Suppose 0 = -2*f - 13 + 95. Let z(y) = y**3 + 11*y**2 + 5*y + 8. Let l be z(-8). Let v = l - f. Is v a prime number?
False
Is 2161/7 - (-6)/21 prime?
False
Suppose -4*v + 3*r + 2*r - 10 = 0, -3*v - 2*r = -4. Suppose v = 3*d - 222 - 9. Is d prime?
False
Suppose 4*i = -2*x + 16, 9*i - 15 = 4*i - 5*x. Suppose 0 = -i*w + 135 + 140. Is w a composite number?
True
Suppose -3*u - l + 290 + 1 = 0, 0 = -4*u - 2*l + 388. Suppose -b + 2*b - u = 0. Is b a prime number?
True
Suppose -4*q + 6*q - 5870 = 0. Is q a prime number?
False
Suppose -2*t = -0*t - 558. Suppose 0 = -z - 2*z + t. Is (-3)/(-9)*(z - 0) a composite number?
False
Let p(k) = 88*k + 5. Is p(5) composite?
True
Let s = -25 - -31. Is s composite?
True
Is (0 + 641/2)/((-2)/(-4)) composite?
False
Is -127*(0 - -1)*-1 a composite number?
False
Let c = 157 - -214. Is c prime?
False
Let f = 273 - 88. Let g = f + 84. Is g prime?
True
Suppose -o + 4*o + 2*b - 1775 = 0, 0 = -4*b + 16. Suppose -4*g - 2*t + o = -7*t, -2*t - 151 = -g. Is g a prime number?
False
Suppose 4*u = 2*o - 1422, 2860 = 5*o + 5*u - 755. Is o a composite number?
False
Suppose 879 = r + j + 80, -4*r + 5*j = -3178. Is r prime?
True
Let u(y) = y**2 + 4*y + 2. Is u(-11) prime?
True
Let g = 570 - 124. Is g a composite number?
True
Let g(t) = t**2 + 8*t - 1. Let b be g(-7). Is (-5)/(b/7 - -1) a composite number?
True
Is (4 - 0) + 5 + 2022 a composite number?
True
Suppose 4*z - 155 = -3*d, -2*d + 7*d - 262 = -3*z. Is d prime?
True
Suppose -2*m = j + 3*j + 16, 2*j = -8. Suppose m = -3*u + 3. Is 2 + (63 - (1 - u)) composite?
True
Is ((-1)/(-1) - (-3 - -5)) + 764 composite?
True
Suppose -w - 1 = -0, 0 = -4*f - w + 867. Is f prime?
False
Suppose z + 5 = 4. Is -1 + 319 + z + 0 a composite number?
False
Let q(k) = -4*k**3 - 10*k**2 + 4*k - 11. Let m(f) = -3*f**3 - 10*f**2 + 5*f - 11. Let g(d) = -5*m(d) + 4*q(d). Let c be g(8). Let b = c - -20. Is b composite?
True
Let s = -490 + 707. Is s a prime number?
False
Suppose -3*h - 1 - 2 = 0. Let t(r) be the second derivative of -r**3/3 + 2*r. Is t(h) prime?
True
Suppose 0 = -6*i + 2*i. Let o = 4 + i. Is (-1)/(-2) + 138/o a composite number?
True
Let g(h) = 6*h**3 + h**2 - 5*h + 233. Let n(z) = z**3 - z. Let r(p) = g(p) - 5*n(p). Is r(0) composite?
False
Let c = -10 + 13. Suppose -c*s + 355 + 162 = 4*f, 3*f - 880 = -5*s. Is s prime?
True
Let q = -1 + 3. Let l(a) = 19*a**3 + 2*a**2 + 2*a - 3. Is l(q) a prime number?
False
Let l be (-5)/(15/216) + 0. Let c = l + 182. Let g = c + -76. Is g prime?
False
Suppose -4*t + 27190 = 6*t. Is t a composite number?
False
Let f(a) = -a**3 - a**2 + 2*a + 691. Is f(0) prime?
True
Suppose 0 = g - 6*g - 4*u + 11657, -5*g + u + 11667 = 0. Is g prime?
True
Let z = 6 - 8. Let u(y) = 14*y**2 - 2*y - 1. Let w be u(z). Suppose 3*d = 5*t + d - 263, -w = -t + 2*d. Is t a composite number?
True
Is (-2)/(-5) + 2052/20 a prime number?
True
Let u(z) = 13*z - 8. Let w = 7 - 7. Suppose 3*g = 3*q + 15, 4*g + w = -3*q + 34. Is u(g) a composite number?
False
Suppose 3*o = -0*o + 1524. Let w = o - 303. Is w prime?
False
Let q(o) = 766*o**2 + 2*o - 1. Is q(1) prime?
False
Let p(x) = -x + 283. Let y be p(0). Suppose -2*f = -3*b - y, 2*f + 2*b + 3*b - 243 = 0. Is f composite?
True
Let u be (-1 + 1)*(-2)/(-4). Suppose 2*j + m - 4*m - 3 = u, -2*j - 5*m + 11 = 0. Is j*(11/3 - 0) a prime number?
True
Let f(x) = 16*x + 3. Is f(3) a composite number?
True
Let y(x) be the first derivative of x**4/4 - 2*x**3/3 + x**2/2 + 7*x + 2. Is y(5) prime?
False
Suppose 3*y = 4*g - 7, 3*y - 5*g + 0*g = -11. Suppose 0 = -3*s + 12, -y*s + 2 = -5*h + 15. Suppose 2*o - 3*j = 32, -o - 4*o + 75 = -h*j. Is o a prime number?
True
Let q(z) = -35*z - 3. Let k(v) = 209*v + 19. Let s(m) = -6*k(m) - 39*q(m). Is s(4) a composite number?
True
Let m(f) = -f**2 + 3*f + 3. Let u be m(3). Is (-24)/(-6) + u*51 composite?
False
Let c(a) = -a**3 + 7*a**2 + 7*a - 2. Let u(y) = y**3 - 8*y**2 - 8*y + 2. Let j(s) = -5*c(s) - 4*u(s). Is j(5) a prime number?
True
Let v = 1105 + -616. Suppose 4 = q + q. Suppose -z + v = q*z. Is z a prime number?
True
Let m(j) = -j + 5. Let r be m(5). Let f(h) = -2*h + 1 + r*h + 6*h**2 + 6*h. Is f(3) composite?
False
Suppose -8*a - 2084 = -7660. Is a