-3*l + 2876 - 245 = 0. Is l prime?
True
Let b = -30 + 48. Let v = -5 + b. Is v composite?
False
Suppose -5*j = -10*j - 15. Let x = j - -3. Suppose -d + 0*d + 21 = x. Is d composite?
True
Suppose -132 = -2*h + 276. Suppose -3*i + h = -45. Is i prime?
True
Is 7/((-28)/16) + 2159 a composite number?
True
Let x = -359 + 553. Is x a composite number?
True
Suppose -j + 2*j = 253. Is j a composite number?
True
Suppose 0*h + 400 = 4*h. Suppose -3*p + 253 = 2*j - 80, 3*j + h = p. Is p a composite number?
False
Suppose -4*k - 390 = -9*k. Let t = 133 - k. Is t prime?
False
Suppose 0 = -2*h - 3*t + t - 16, -3*h - 39 = -2*t. Let x = 16 + h. Suppose 0*w - 3*w - 449 = -2*z, -3*z + x*w = -674. Is z a composite number?
False
Let h = 4 - -19. Suppose 0 = -3*g + 10 + 17. Let d = h - g. Is d a prime number?
False
Suppose -2*s + 323 = 3*c + 91, -c = s - 118. Is s prime?
False
Let o = 48 + -68. Let l(p) = p - 9. Let v be l(4). Let q = v - o. Is q a prime number?
False
Is 0 + (-3 - -1) + 489 prime?
True
Let u(m) = m - 6. Let i be u(9). Suppose i*h - 5*h = 4*b - 524, 3*h + 12 = 0. Is b prime?
False
Let m = 513 - 250. Is m prime?
True
Suppose 0 = 5*h - h - 2*c - 2534, 5*c + 1271 = 2*h. Suppose 4*n = 7*n - h. Is n a prime number?
True
Let d(t) = 3*t**2 - t**3 + 2*t**2 - 3*t**3 - 14 + 1 - 2*t. Let b(q) = 6*q**3 - 7*q**2 + 3*q + 19. Let v(n) = -5*b(n) - 7*d(n). Is v(-3) composite?
False
Let f = 1 - -2. Suppose -f*v - 2*h = -396, 2*h - 124 = -v + 4. Is v a prime number?
False
Suppose 3*i - 3 = 2*i. Suppose 0 = i*m + 2*m - 1015. Is m a prime number?
False
Let m = 1 - 3. Let x = 255 - m. Is x prime?
True
Let y be 1/(-3) - 31/(-3). Suppose 234 = 4*o - f, f - y = -4*f. Is o composite?
False
Let s = -1 - 16. Let h = 36 + s. Is h a prime number?
True
Suppose 0 = -3*p - p - 4*g + 132, 5*p - 5*g - 215 = 0. Let d = 3 + -4. Let n = d + p. Is n a prime number?
True
Let n(i) be the second derivative of 3*i**5/20 - i**4/2 - i**3 + 7*i**2/2 - 6*i. Is n(5) a prime number?
False
Suppose -742 = 5*k - 3417. Is k a composite number?
True
Let c(o) = -o**2 + 12*o + 8. Let f be c(6). Suppose -m = 3*m - f. Is m prime?
True
Suppose -n + 15 + 1 = 4*r, 18 = 3*n + 2*r. Suppose 4*d = -2*l + 8, -n*d + d = 4*l - 6. Suppose 5*t - d*o = 435, 5*t - o = -2*o + 450. Is t prime?
True
Let q(u) = 8*u**3 + 5*u**2 - u - 1. Is q(6) a composite number?
False
Let k(v) = -2*v + 0*v**3 + v**3 + 0*v**3 + 3 + 3*v**2 - 2*v**3. Is k(-4) a prime number?
False
Suppose -2*x = -2*t - 3*x + 9, 0 = 2*t - 3*x - 29. Is t composite?
False
Let u(t) be the second derivative of 2*t**7/315 - t**6/360 + t**5/120 + t**4/12 - 3*t. Let o(z) be the third derivative of u(z). Is o(-2) a prime number?
False
Let b(n) = 25*n**2 - 5*n + 9. Let y be b(4). Suppose -3*m - s + y + 246 = 0, 856 = 4*m - s. Is m a composite number?
True
Suppose -5*b + 72 = -b. Is b/12 + (-2959)/(-2) prime?
True
Suppose -22780 = -8*c + 6540. Is c composite?
True
Let f = 34 - -109. Is f composite?
True
Suppose -200 - 680 = -4*l. Suppose -43 = 3*n - l. Is n a prime number?
True
Suppose 4*b = 2*b - 238. Let j = -64 - b. Is j a prime number?
False
Let d = 19 - -232. Is d composite?
False
Let p be (4/(-6))/((-5)/60). Let f = p - 5. Is f a prime number?
True
Suppose -5*u - 15 = 3*a, 4*a + 20 + 0 = -2*u. Suppose -4*b + 5*f + 152 = u, 4*b + 4*f = b + 114. Is b composite?
True
Suppose 4*t = -5*q + 2348, -3*t + 2*q + 2548 = 787. Is t prime?
True
Suppose 30 - 6 = -4*q. Let g = -14 - q. Is 472/14 + g/(-28) a composite number?
True
Let o(p) = -p**2 - p + 15. Let u be o(7). Let w = 147 + u. Is w a prime number?
False
Let o = 1613 - 1140. Is o prime?
False
Let b be ((-6)/(-2))/((-6)/(-8)). Suppose -2*l - 3*j + 4*j + 91 = 0, b*l + 5*j - 147 = 0. Is l a prime number?
True
Let i(o) be the second derivative of -3*o**5/10 - 5*o**4/12 - o**3/2 - 2*o**2 + 2*o. Is i(-3) a composite number?
True
Let s be -1*(-2)/2*4. Suppose v = -s*u - u + 32, 0 = -2*v + 3*u + 129. Is v a prime number?
False
Let m(l) be the third derivative of l**5/20 + 5*l**4/12 - l**3/3 - l**2. Let y be m(-9). Suppose -v + 52 = -y. Is v a composite number?
True
Let r(w) = w**3 + 5*w**2 - w - 6. Let m be r(-5). Let b be (2/2 + m)/(-1). Suppose b = o + 4*t - 3*t - 7, t = o - 5. Is o prime?
False
Let p = -14 - 0. Is (-4)/p + (-131)/(-7) a composite number?
False
Let k(d) be the second derivative of -2*d**3/3 - d**2/2 + 3*d. Let o be k(1). Let q(b) = -b**3 - 5*b**2 + 7. Is q(o) composite?
False
Suppose 0*u + u + 2 = 0. Is ((-31)/u)/(4/8) a prime number?
True
Let m = -50 + 111. Let s be -5*(-6)/15 + 246. Let n = s - m. Is n a composite number?
True
Let z(c) = c**3 - 4*c**2 + 6*c - 1. Let u be z(4). Let y = -14 + u. Is (2 + y/(-3))*-46 a composite number?
True
Is (-30)/(-12) - 1602/(-4) composite?
True
Let b = 227 + -104. Is b - -2 - (-2 - 0) a prime number?
True
Let x be (7 - 7)/(-2 - 0). Suppose x = 8*f - 4*f - 444. Is f prime?
False
Let p(s) = 5 + 5 - 5 - 19*s. Let q be p(4). Is 2/(-1) + (-2 - q) composite?
False
Let j = 8 + -4. Suppose c + 0*i - i = 51, j*c = 5*i + 206. Is c prime?
False
Suppose 3*l + 664 = 3*v - 2*l, 3*l = -v + 198. Let g = v - 64. Is g composite?
False
Let k(h) = -h**2 + 2*h - 2. Let i be k(3). Let r = i - -10. Suppose -2*l - 3*y = l - 51, 0 = r*l + 3*y - 93. Is l prime?
False
Is 906 + -6 - 2/2 a composite number?
True
Let m = 837 - 476. Is m composite?
True
Let x = -1274 + 3033. Is x composite?
False
Suppose 603 + 741 = 2*v - 5*u, 2704 = 4*v - 2*u. Is v a composite number?
False
Let y be 1 + ((-3)/(-1) - -34). Suppose -y = v + 76. Let n = -47 - v. Is n a composite number?
False
Let k = -2 + 1. Let o be (-3)/((-3)/k) - -1. Suppose 0 = 5*q - 3*n - 3, -q - 2*n + 7*n - 17 = o. Is q a prime number?
True
Let x = 625 + -243. Is x prime?
False
Let i(l) = -73*l + 3. Let n be i(-4). Suppose -n = -2*m + 31. Is m a composite number?
False
Let z be 3 - (2 + 14) - 0. Let f(b) = b**3 + 14*b**2 + 8*b + 12. Is f(z) a prime number?
False
Let p be ((-2)/4)/((-2)/88). Suppose -3*a + 159 = 3*n, 79 = n - a + p. Is n a prime number?
False
Suppose -298 = -0*a - a. Suppose 4*f - a = 2*f. Is f a prime number?
True
Let i(s) = -3*s**3 - 9*s**2 - 2*s - 1. Let v(o) = 7*o**3 + 19*o**2 + 4*o + 2. Let d(k) = 5*i(k) + 2*v(k). Is d(-7) prime?
True
Is 266 - ((-2)/(-3) + 4/12) prime?
False
Is ((-2)/3)/(6/(-1071)) a prime number?
False
Let n be -2 - 234/(-4)*16. Let j = n + -477. Is j/5 + (-6)/15 prime?
False
Suppose -k - p = -43, 0 = 2*k - 3*k + 2*p + 52. Is k a composite number?
True
Suppose 4*l + 4 = 2*j + 38, -l + 4 = 0. Is (-93)/j - 1/3 prime?
False
Let z be 2 - (-41 + (-1 - -1)). Suppose 0 = -2*q - 2, 3*r - z = -2*q. Is r prime?
False
Let t = 16 - 14. Suppose 396 = 2*z - 4*i, t*z - i - 382 = -4*i. Is z a composite number?
True
Let m = 7 + -5. Suppose -5*v - 1 = -3*d + 147, 0 = 2*v - m. Is d a composite number?
True
Let b = 187 - 91. Let v(h) = 14*h**2 - 3*h + 3. Let l be v(2). Let j = l + b. Is j prime?
True
Let v = 6 - 1. Suppose u = -2*b + 442 + 8, 0 = 5*b + v*u - 1135. Is b a composite number?
False
Suppose -2*w - r + 1 = 0, -17 = -0*w - w + 5*r. Let k = 5 - w. Suppose 7*v = k*v + 76. Is v a prime number?
True
Suppose 5 = 5*q, -4*q + 19 = 5*r - 0*q. Suppose -r*u + 519 = -114. Is u composite?
False
Suppose -2*n = 2*j - 6*n - 70, 2*j - 3*n - 75 = 0. Suppose 20 = 5*p - j. Is p prime?
True
Suppose 153 = 5*c - 1217. Suppose 0 = 5*j - 2*k + 108 - 379, 5*j - c = 3*k. Is j a prime number?
True
Suppose 8*f - 10 = 3*f. Suppose -f*m = m - 753. Is m a prime number?
True
Is 16334/6 - ((-30)/(-9))/(-5) prime?
False
Let y = 3 - 3. Is 303*1 + y + 2 a prime number?
False
Let a = -6 + 4. Let m be (-3)/a*(-10)/(-1). Suppose -2*h = d - m - 0, -5*d - 3*h = -110. Is d a composite number?
True
Suppose 2 = v, -3*v = 2*h - 137 + 13. Is h prime?
True
Suppose -5*u + 5*b = -2765, -3*u + 4*b = -4*u + 553. Is u prime?
False
Suppose n = -0*n + 4. Suppose -4*y + n = 0, -k - 4*y + 5 = -2*y. Suppose -k*f + 138 = -0*f. Is f a composite number?
True
Let o(y) = 22*y + 6. Let n(k) = -7*k - 2. Let r(j) = -14*n(j) - 5*o(j). Let w be r(-2). Is 1*w/(3 - 1) composite?
False
Let j(f) = 509*f + 34. Is j(5) a composite number?
False
Suppose -3*n + 0*g + 6467 = -4*g, -4*n = -5*g - 8624. Is n composite?
False
Let v be (-12)/2*(-5)/10. Suppose 0 = -3*n - 5*k + 104, -2*n + v*n 