 = -d + 4. Suppose 4*u = -2*l + q + 5, -4*l = 4*u - 4. Is (l - 2)/(1/(-17)) composite?
True
Let v(i) = i**3 - 9*i**2 + 9*i - 4. Let r = 23 - 15. Is v(r) a composite number?
True
Let y(l) = 4 + 0*l - 3 - 31*l - 4. Is y(-2) a prime number?
True
Suppose 5*q - 5 + 0 = -5*s, 0 = -4*q + 3*s + 39. Suppose q*m - 3*m - 165 = 0. Is m composite?
True
Let a(g) = -g**3 - 7*g**2 + 1. Let z be a(-7). Let h = z - -1. Suppose n + 10 = h*n. Is n a prime number?
False
Suppose 0 = -4*j, 2*q - j - 5345 = -3*q. Is q a composite number?
False
Let b = -6 - -3. Let a be (-1)/b - 28/(-6). Suppose a*l = -4*x + 167, -4*l = 6*x - 11*x - 150. Is l prime?
False
Suppose -150 = -2*t - 4*m, 5*m + 203 = 4*t - t. Suppose -t - 10 = -4*c + 3*l, 2*l = c - 24. Suppose o = -a + c, 10 - 37 = -2*o - 5*a. Is o a composite number?
True
Suppose -d - 2022 = -3*c + 1755, -4*d = 0. Is c a prime number?
True
Let z = -11 - -15. Suppose 4*k + 276 = 2*i, z*k - 185 = -2*i + 75. Let x = i + -79. Is x composite?
True
Suppose -3*a + a - 2*b = -1774, 4*b - 2659 = -3*a. Is a prime?
False
Suppose -3*p - 7894 = -7*p - y, 0 = 5*p - 3*y - 9859. Is p composite?
False
Let y(f) = f**2 + f. Let d(q) = -q**3 + 2*q**2 - q - 3. Let b(t) = -t - 10. Let s be b(-9). Let p(a) = s*y(a) + d(a). Is p(-3) a prime number?
False
Let a = 5336 - 2629. Is a a prime number?
True
Is ((-242)/(-4) + 3)*4 composite?
True
Let a be (-72)/(-33) - (-4)/(-22). Suppose -a*z + 328 = 4*j, 2*z - 61 = -5*j + 350. Is j prime?
True
Let l = -812 - -1231. Is l a prime number?
True
Let j = 336 + 110. Is j a composite number?
True
Let k = -9 + 5. Let u = 14 + -6. Is u*(1 + 2/k) a composite number?
True
Let d be (-2 - -4)/((-1)/(-3)). Suppose 2*u - d*u = -2*t + 102, -2*t - 3*u + 102 = 0. Is t prime?
False
Suppose r - 3*r = -16. Let k(t) be the second derivative of t**5/20 - 7*t**4/12 + 7*t**3/6 + 11*t**2/2 - 2*t. Is k(r) a prime number?
True
Let c(o) = 2*o + 1. Let s be c(-2). Let m be 3/s - (-2)/2. Suppose -2*x + 64 + 34 = m. Is x a prime number?
False
Suppose -2*j - 2 = 0, 2*j = -2*q + 4*q - 90. Let r = q - 31. Is r a composite number?
False
Let d(h) = 10*h**2 - 2*h + 1. Let q(l) = -19*l**2 + 4*l - 2. Let u(p) = -7*d(p) - 4*q(p). Let w be u(1). Suppose -w*a + 78 - 23 = 0. Is a prime?
True
Suppose -4*l = -5*r - 3, 4*l + 5 = -4*r - 19. Let o be -6*l/(9/2). Suppose -g - 20 = o*g, 3*s = -3*g + 93. Is s prime?
False
Let s = 2814 + -1893. Is s a prime number?
False
Suppose -6 = -5*t + 14. Is t composite?
True
Let o(h) = -h**3 + 8*h**2 + 2*h - 12. Let t be o(8). Suppose 4*n - 44 = -2*k, t*n = 4*k + 34 - 2. Is n prime?
False
Suppose 11 = 2*d + 3. Suppose -j - 32 = -3*b, 5*b - 106 = 4*j + d*b. Let c = -15 - j. Is c composite?
False
Is (175 - -4) + -3 + 3 composite?
False
Let y = 4518 - 1583. Is y a prime number?
False
Let n(p) = -3*p - 4. Let r be n(-3). Suppose 60 = r*w + 5. Is w a prime number?
True
Let y(u) = -2*u + 6. Let s be y(4). Let v be s/(2/(-37)) + -3. Let t = -21 + v. Is t prime?
True
Suppose -6*a + 2*k + 68 = -5*a, 3*a + 5*k = 259. Let v be (-82*1)/2*(3 + -2). Let d = a + v. Is d prime?
True
Suppose 3*j = 8*j + 45. Let n(o) = o**3 + 10*o**2 + 7*o + 1. Is n(j) composite?
False
Let x be 6/21*(1 + 6). Suppose -x*s + 2 = -136. Suppose -2*p = -5*c - s, 0*c - 255 = -5*p - 4*c. Is p composite?
False
Let i be 81 - ((-2)/(-1))/(-2). Suppose -3*p + 8*p = -15. Is 6/p + i/2 a prime number?
False
Let o(y) = y**2 + 2 + 2*y - 2*y + 2*y. Let s = -5 - -9. Is o(s) a prime number?
False
Let i(w) = 4*w**2 + 3 + w**3 + 1 - w - 3 - 2. Let u be i(-4). Suppose u*m + m - k = 156, -5*k + 170 = 5*m. Is m prime?
False
Let k(n) be the third derivative of 73*n**4/24 + 2*n**3/3 - n**2. Is k(3) a composite number?
False
Suppose -4*w + 1468 = 4*t, 5*t + 23 = 3. Is w prime?
False
Let p(a) = a**3 + 11*a**2 + 9*a - 7. Let j be 20 + 8/(-2) + 3. Suppose 3*b = -5*m + m - 17, -3*m - b = j. Is p(m) a composite number?
False
Let b(m) = m**2 - 3*m - 9. Let p be b(7). Let y = -12 + p. Is y composite?
False
Let m be 2/(-3)*(5 + 166). Let q(n) = -3*n**2 - 2. Let t be q(5). Let a = t - m. Is a a prime number?
True
Is 5950/15 - (-2)/6 a composite number?
False
Let p(r) = -r + 9. Let q(k) = k**3 + 5*k**2 + 3*k + 5. Let z be q(-5). Is p(z) prime?
True
Let m = 21 + 61. Suppose 4*r = -4*h + r + 78, -4*h - r = -m. Is h a prime number?
False
Let u = -105 + 192. Is u prime?
False
Let h(t) = 3*t**2. Let a be h(1). Suppose 0 = 4*i - a*i - 127. Is i prime?
True
Suppose 28 = 5*i - 42. Let s = 27 - i. Is s prime?
True
Let z(t) = 33*t - 3. Let n be z(5). Suppose -3*r + n = 3*q, 3*r - 3*q - 35 - 97 = 0. Is r a prime number?
False
Let x = -4 - -1. Is (20 - x) + 1 + 1 prime?
False
Suppose 0*a - 1515 = -5*a. Let v = a - 188. Is v a prime number?
False
Suppose t - 1 = 1. Suppose -3*l - r = 16, -t*l - 18 = -2*r - 2. Let f(h) = h**2 - 7*h + 1. Is f(l) a composite number?
False
Suppose 3*s - 111 = 2*t, -4*s + 47 = -3*t - 102. Is s prime?
False
Is -1*3 - (-2062)/1 composite?
True
Let r = -155 + 298. Is r - -3 - (5 - 4) a composite number?
True
Let h(f) = -f**3 + 7*f**2 + 9*f - 5. Let g be h(8). Suppose 2*d = g*i + 107, 5*d - i = -6*i + 280. Is d a composite number?
True
Let u = -9 - -64. Suppose u = 3*q - 212. Is q composite?
False
Let m = 26 - 18. Suppose -q + 4*b = -19, -2*q - m = -4*b - 30. Suppose -5*j = 4*g - 15, 3*j = 5*g + q - 68. Is g a composite number?
True
Let q(x) = x**2 + 4*x - 1. Let i be q(-7). Let n be (-408)/i + (-4)/(-10). Is (-308)/n - 4/10 composite?
True
Suppose 3*m + 0*m - 324 = -5*k, -4*k - 4*m + 256 = 0. Suppose -r - 4*g + 30 = g, 5*r - k = -4*g. Is (-185)/r*(1 - 3) a prime number?
True
Suppose -1001 = -5*q - 3*y, -5*q + 5*y = 4*y - 993. Is q prime?
True
Let i(b) = 22*b + 1. Let r be i(-6). Let f = r - -47. Let d = 163 + f. Is d composite?
False
Let m(l) = -l**2 + 3*l + 2. Let y be m(3). Let g = y - 0. Suppose 0 = 3*j + 3*n - 144, -146 = -j - g*j - n. Is j composite?
True
Suppose -4*w + 3*p + 23 = 0, -4*p - 21 = -3*w - 2. Suppose s - 4*y = w*s - 288, 3*y = 3*s - 198. Is s composite?
True
Let o be (12/(-20))/((-3)/15). Suppose 13 = o*f - 47. Suppose q + 3*q + 3*h - 113 = 0, q - 2*h - f = 0. Is q a composite number?
True
Suppose k + 0*k = 84. Let f = 307 + k. Is f composite?
True
Suppose 3882 + 8008 = 10*j. Is j a prime number?
False
Suppose -2*o - 27 = -5*c, -4*c + 9 = o - 10. Suppose -4*n - 14 = -d - 0*d, -n - c = -d. Suppose -u - 4*q - 7 = 0, d*u = -5*q - 0 + 1. Is u composite?
False
Suppose -3*t = 4*j - 20, -3*j + 13 = -2*t - 19. Suppose j*p - 1675 = 3*p. Is p a composite number?
True
Let x(u) = -11*u - 7. Is x(-6) composite?
False
Let g be ((-8)/20)/(1/(-10)). Suppose -p + 3*w = 5*w - 29, g*p - 127 = 3*w. Is p prime?
True
Let x be -1*(-189 + -1 - 0). Suppose 3*g + 2*g + 3*q - x = 0, 5*g = 4*q + 155. Is g a composite number?
True
Suppose 2*y = 5*a + 15, -5*y + 18 = -y + 2*a. Let x(c) = 11*c - 6. Let r be x(y). Let h = -23 + r. Is h a composite number?
True
Let y(r) = -58*r - 11. Is y(-6) a prime number?
True
Let u be (3/(-6))/((-2)/(-32)). Let o = 5 - u. Suppose -y - 2*v = -o, -3*y - 5*v = -v - 39. Is y a composite number?
False
Let q be 1/4 + (-11)/(-4). Is ((-2)/q)/(2/(-447)) prime?
True
Let q be (-4)/6 - 12/9. Let f be (1 - 0)/(q/(-4)). Suppose -66 = f*p - 5*p. Is p prime?
False
Suppose -h = -3*r - 689, -r + 693 = h - 3*r. Suppose -t = -6*t + 3*z + h, 5*z + 149 = t. Is t composite?
False
Let a(u) = 0*u - 1 - 2*u + 3 + 6*u**2. Let g be a(-4). Suppose -t = t - g. Is t a prime number?
True
Suppose -3*z = -0*r - r - 22, 0 = -4*z - 4*r + 8. Let c be (15/z)/5*-2. Is (-1)/(2/134*c) prime?
True
Suppose 5*m = -u - 2, -3*u = -8*u + 4*m - 10. Let o = u + 8. Is o a composite number?
True
Let u = -1 + -8. Let a = 18 + u. Is a prime?
False
Let i(m) = 17*m**2 - m - 2. Let a be i(-3). Suppose 3*v - a = v. Is v composite?
True
Let m(j) be the first derivative of 5*j**4/2 + j**3 - j**2/2 - j - 8. Is m(2) a prime number?
True
Let r be 936 + (5 - 3 - 4). Suppose -n + 3*s = 4*n - r, 0 = -2*n - s + 378. Suppose 50 - n = -2*k. Is k composite?
True
Is 23/(-115) - 466/(-5) composite?
True
Suppose k - 8 = 2*i + 6, k - i = 15. Suppose k = 4*p - 0. Is 1/p - 231/(-4) prime?
False
Let o(j) = -j + 4*j - 4*j + 3. Let y be (-1)/2 + 1/2. Is o(y) composite?
False
Let y(h) = 11*h - 33. Let m(q) = -5*q + 16. Let