-2*y + g*q. Suppose -4*t - 21 + 97 = y. Is t prime?
True
Suppose -2*m + 38 = -5*y, m + 0*m - 32 = -4*y. Suppose 10*n = 6*n + m. Is n a composite number?
True
Let q(h) = 1221*h**2 + 2*h + 1. Let m be q(-1). Suppose 0 = -3*r + 7*r - m. Is r a prime number?
False
Suppose -o = -3*d + 4*o - 10, 5*o = 25. Suppose 3*n - 58 = d*x, -14 - 2 = -4*x. Let j = n - 11. Is j prime?
False
Let g be (-20)/10 - 2*-2. Suppose r - 3*r = 2*q - 8, -2*q = r - 7. Suppose -q = u - g*u. Is u a prime number?
True
Suppose 8838 = 2*j + 2*s, 4*j = -j - 2*s + 22089. Is j composite?
True
Let n be 12/(-66) - (-180)/22. Suppose -2*l + 6*l = n. Suppose -55 = l*w - 3*w. Is w composite?
True
Let v(g) = 126*g - 19. Is v(6) a composite number?
True
Let g(i) = i + 3. Let d be g(3). Is (8 - d) + -1 + 88 composite?
False
Let m(u) = u**2 + 4. Let o be m(5). Let d = o - -5. Is d a prime number?
False
Let c be -2 - (-11 - (-1)/1). Let z be (c/5)/((-6)/(-15)). Suppose 32 = 4*f - 4*i, i - 2 = -z*f + 25. Is f a composite number?
False
Suppose -5 = -3*b - 2*b. Let u(i) be the third derivative of 13*i**4/24 + 2*i**2. Is u(b) prime?
True
Suppose -3*p - 523 = -4*p. Is p a prime number?
True
Let m = 497 - 12. Is m prime?
False
Suppose 3*x - 4 = 2. Suppose 0 = x*v - 197 - 389. Is v prime?
True
Let w be (-50)/(-12) + (-2)/12. Suppose l + 3*l - w*z = 208, 2*z = 6. Is l prime?
False
Suppose 5*g = 2*v + 2*v + 17, -9 = -2*v - g. Suppose 0 = 4*c + t - 156, 2*c - 68 = -v*t + 4*t. Suppose -f + c = f. Is f a composite number?
False
Is (-21222)/(-39) - 3 - 2/13 prime?
True
Let c = -375 - -628. Is c a composite number?
True
Suppose 4*c = -20, -2*k = -c - 4*c - 279. Is k a composite number?
False
Let c(m) = -197*m + 4. Is c(-9) composite?
False
Let a(w) = 32*w**2 - 3*w - 7. Is a(-6) prime?
True
Let t(i) = -7*i + 0 - 1 + 5*i**2 + i**3 + 2*i. Let h be ((-8)/(-10))/((-1)/5). Is t(h) a composite number?
True
Suppose 0 = 4*g - 12, -4*k - 2*g = -1723 - 975. Is k a composite number?
False
Let z(g) = 48*g**2 - 2*g + 2. Let y be z(2). Let h(f) = 5*f + 2. Let a be h(5). Suppose q = y - a. Is q prime?
True
Suppose -3*l + 5663 = 1886. Is l a composite number?
False
Let r(o) = 179*o - 1. Is r(1) prime?
False
Suppose 408 = 5*v - 97. Suppose 2*b - 523 + v = 0. Is b prime?
True
Suppose -3*q = 3*q - 1626. Is q composite?
False
Suppose 2*y + 2*y = -5*k, 2*y = -2*k. Suppose k = -4*o + 5*d + 43, -3*o - o + 22 = 2*d. Is o prime?
True
Suppose -162 = -2*x + 2*v, x + v - 48 - 41 = 0. Is x prime?
False
Let x(f) = -2*f - 3. Let n be x(-4). Let u be (4/n)/(3/15). Is ((-212)/8)/((-2)/u) composite?
False
Is (-111)/(-3)*(31 - 0/(-3)) composite?
True
Let b = -60 + -52. Let a = -111 + 78. Let f = a - b. Is f composite?
False
Suppose 3*y + 4*o - 2425 = 0, -2*y = -2*o - 1302 - 310. Is y a composite number?
True
Suppose -4*g = -602 - 1626. Is g a composite number?
False
Suppose 19*i + 8780 = 23*i. Is i composite?
True
Let x(n) = n**2 - 8*n. Let y be x(8). Suppose -3*k + 99 = -y*q + 3*q, 0 = -5*k + 10. Is q a composite number?
False
Let c(b) = -b + 2*b - 1 - 1. Suppose -r - 8 = -2*r. Is c(r) a prime number?
False
Let j be 3*(60/(-9))/(-5). Suppose -123 = -x + j*w, 5*w + 0*w = -5*x + 640. Is x composite?
False
Suppose -3*b + 286 = -2*z, 0 = -2*b - 3*z + 214 - 32. Let t be b/(-6)*(-1 - -4). Let n = t - -158. Is n prime?
False
Suppose 5*r + 167 = 3*n - 165, -5*n - r = -600. Is n prime?
False
Suppose 193 = -3*z + 1654. Is z prime?
True
Let v be 2/2 - 2*-1. Suppose -410 = -v*n - 2*n. Is n a composite number?
True
Let v be 6*(20/(-3))/4. Suppose -z + 32 = -49. Let j = z - v. Is j prime?
False
Let f = 60 - -142. Is f a prime number?
False
Suppose 0 = -0*x - 4*x + 16. Suppose a + 4*w = -168, 2*w = x*w + 8. Let y = 235 + a. Is y a prime number?
True
Let k(s) be the third derivative of 113*s**5/30 + s**4/24 + s**3/6 + 2*s**2. Let m be k(-1). Suppose 0 = -f + 3*f - m. Is f a prime number?
True
Let y(i) be the second derivative of i**4/4 + i. Let u be y(-1). Suppose -5*z = -u*l - 188, 3*z = -0*z - 5*l + 106. Is z prime?
True
Let j(k) = 6*k**2 - 5*k - 5. Suppose l = -4*w - 9 + 3, l = -3*w - 3. Let t be j(l). Suppose 3 = 3*i, 4*d - t = 5*i - 38. Is d a composite number?
False
Suppose l + 36 = -l. Is (l - 3)/(-1 - 0) composite?
True
Suppose -5*m - 5 + 44 = n, 3*m = 5*n - 55. Is n a prime number?
False
Let w(o) = -2*o + 4. Let i be w(4). Let r be ((-98)/(-8) - 1)*i. Let l = -26 - r. Is l composite?
False
Let w = 504 + -61. Is w a composite number?
False
Let p(t) = 15*t**2 - 7 - t - 4*t**2 + 0*t**3 + t**3. Let n be p(-11). Suppose 5 + 7 = -n*y, -4*s = y - 193. Is s prime?
False
Let t = -16 - -19. Suppose v = -t*v + 740. Is v composite?
True
Let x = 338 - -759. Is x a prime number?
True
Suppose 0*s = 2*s. Suppose 0 = -3*d - 2*x - 80, s = 8*d - 3*d - 4*x + 104. Let o = d + 79. Is o prime?
False
Suppose 4*n - 640 = 3*z, 2*z + 2*z + 16 = 0. Is n a prime number?
True
Let g be -16 - (0 + -1 + -2). Is 2/g - 1798/(-26) prime?
False
Let x = 14 - 10. Is 2/(2 - x) - -22 a composite number?
True
Let h = 388 - 136. Suppose h = 5*q + 3*g, -5*g = -q - 39 + 95. Is q a prime number?
False
Let s(j) = 40*j - 9. Is s(5) prime?
True
Is -2827*(-6)/18 - 2/(-3) a composite number?
True
Let d(a) = -5*a - 2. Let u be d(-4). Suppose -j - 3 = -u. Let k = 89 - j. Is k a prime number?
False
Let c be (-4)/2 + (8 - 6). Suppose -u + 191 = -c*u. Is u prime?
True
Let w be (-34)/(-9) + (-8)/(-36). Suppose -w*q + 206 = -110. Is q composite?
False
Suppose 3*o + 5*c = 3277, c + c - 10 = 0. Suppose o - 314 = 2*t. Suppose -i = 4*i - t. Is i prime?
False
Suppose -f + 4*x = -45, 21 + 226 = 5*f + 2*x. Is f a composite number?
True
Let k = -5 + 7. Let p(y) = 35*y**2 - 2*y - 9. Let b(m) = 12*m**2 - m - 3. Let x(o) = -8*b(o) + 3*p(o). Is x(k) a prime number?
True
Suppose -3*f + 3492 = -81. Is f a composite number?
True
Let y = 3071 + -1842. Is y prime?
True
Let f be (14 - -3)*(0 + -1). Let r = 70 + f. Is r prime?
True
Suppose 0 = -3*z - 2*z - 15, z = -3*j + 2403. Is j prime?
False
Suppose 0 = 5*l - 20, 4*l + 294 = 4*r + r. Let t = r - 28. Is t a prime number?
False
Let z(a) = a**3 + 4*a**2 - 3*a + 2. Let u be z(-5). Let f(c) = -14*c - 2. Let g be f(u). Suppose -4*h - 12 = 0, -4*h = -4*p + g + 114. Is p composite?
False
Let g(a) = -7*a**2 - 6. Let i(z) = -15*z**2 - z - 13. Let p(c) = -5*g(c) + 2*i(c). Is p(-3) a composite number?
True
Let j = -540 + 941. Is j a composite number?
False
Suppose -3*f = 5*i - 132, 3*f - 123 = -2*i - 0*i. Is f a composite number?
True
Suppose -6 = -2*b - 0*b. Suppose k + 5*r - 13 = 0, -b*r + 0 = -k - 3. Suppose k*z = z + 434. Is z a prime number?
False
Suppose 0*x - 5*x + 236 = i, 759 = 3*i - 2*x. Is i composite?
False
Suppose -j - 2*j = 2*y + 20, -2*y + 4 = -3*j. Let q be (-1)/2 - 6/j. Is ((-1)/q)/(2/(-12)) a composite number?
True
Is 98 + -15 + (-2)/(-1) a composite number?
True
Suppose -17254 = -5*x + 4*t - 1239, 0 = 4*t. Is x a prime number?
True
Let q be 1 - (-2 + 3 + -3). Suppose g = q*g - 14. Is g prime?
True
Let k(s) be the third derivative of s**5/10 + s**4/8 + 17*s**3/6 + s**2. Let p(z) = 3*z**2 + 2*z + 8. Let x(a) = -4*k(a) + 9*p(a). Is x(-5) a composite number?
True
Let d(y) = -3*y - 17. Let z be d(-7). Suppose -3*j - z*f + 785 = 0, -6*j + j - 3*f = -1323. Is j a prime number?
False
Is (-2345)/(-10) + 9/(-6) composite?
False
Let n = -1 - -4. Suppose 0 = n*m + 12, 3*g + 5*m = -0*g + 1. Is g prime?
True
Let d(v) = 17*v + 2. Let h be d(-5). Suppose -4*n = 6 - 22, 2*n - 248 = -2*k. Let q = k + h. Is q a composite number?
False
Suppose 6 = 5*c - 24. Let m be -5*(-1 - 0)*1. Suppose -c = 2*t + 2, t = -m*z + 161. Is z a composite number?
True
Suppose -2*n + 483 = n. Suppose 0 = 2*y + 41 - n. Suppose -y - 200 = -4*k. Is k a prime number?
False
Suppose -5*b + 0*b = -2235. Is b a composite number?
True
Let h(u) = u - 1. Let n = -1 + 4. Let o be h(n). Suppose -5*j + o*j = -111. Is j prime?
True
Suppose o + 1 = 3. Let c = -19 + 24. Suppose -o*s = -c*v - 128, -1 = -4*v + 7. Is s a prime number?
False
Let x(m) = -35*m**3 + 2*m**2 - m. Let r(l) = l**2. Let o(p) = r(p) - x(p). Let v be 1/((-1)/(1 + -2)). Is o(v) prime?
False
Let g = -619 - -886. Is g a prime number?
False
Let n = 4 + 1. Is 1045/n + (0 - -2) prime?
True
Let u(l) = 9*l**3 + 4*l**2 - l - 3. Let y be u(3). Suppose x +