 + j + 13117. Is p prime?
True
Let z be (-10 + 0)*(-2)/4. Suppose -z*o + 7*o = 864. Suppose 0 = -2*f + 8, -3*a + o = 3*f + 39. Is a prime?
True
Suppose 0 - 3 = 3*m. Let v(a) = -5*a**3 - a. Let n be v(m). Is (n/5)/((-4)/(-10)) prime?
True
Let o(w) = w + 9. Let b be 27/(-3) + (-2)/(-1). Let n be o(b). Is (-204)/n*2/(-4) prime?
False
Suppose -5*p + 3 - 18 = 0, -4*x + p + 439 = 0. Is x composite?
False
Let c = 12 - 8. Suppose -4*p = -4*f + 268 + 468, 4 = c*p. Is f prime?
False
Suppose 2292 = 4*l - 4*x, -2*x + 3*x - 2312 = -4*l. Is l a prime number?
True
Let i = 8831 - 6270. Is i prime?
False
Suppose 0 = -7*z + 5*z + 1354. Is z prime?
True
Suppose 4*g = 7*g. Suppose 0 = -2*o + 4*o + 5*v - 98, g = -o - 3*v + 47. Let k = o + -36. Is k prime?
True
Is 8/16*1*1522 a composite number?
False
Let a = -587 - -996. Is a a composite number?
False
Let h = -58 + 1. Let t = h + 108. Is t a prime number?
False
Suppose 3*i - 1446 = 3831. Is i a composite number?
False
Suppose -5*g = -0*g + 5*h - 4910, 5*h = -5. Is g a composite number?
False
Suppose 1 = j - 2. Let v = 1 + j. Suppose -f + 2*m + 38 = m, -f + 41 = -v*m. Is f composite?
False
Suppose -3*m = -5*m + 4. Suppose -m*j = -5*j + 141. Is j a prime number?
True
Is (-1)/4 + (-9913)/(-4) + -5 a prime number?
True
Let j = -4 - -6. Suppose -2*u + 3*u - 3*y - 134 = 0, 0 = 4*u + j*y - 466. Let a = u - 70. Is a a composite number?
True
Let v = 41 + -22. Suppose 2*w - 5*y + 32 = 7, 3*w + 15 = 3*y. Suppose o - v = -w*o. Is o a composite number?
False
Suppose 1712 = -0*n - 4*n. Let o = -279 - n. Is o prime?
True
Let a(b) = b**3 - 11*b**2 + 10*b - 2. Let v be a(10). Let o = v - -6. Suppose 2*q = o*q - j - 96, 5*j = 3*q - 151. Is q a prime number?
True
Let g(d) = -453*d + 1. Is g(-1) prime?
False
Suppose -3*j + 669 = -0*j. Is j a prime number?
True
Suppose c = -0*c - 2. Is 3602/14 - c/(-7) a composite number?
False
Suppose -2*t = -3*g - 2377, 5*t + 5*g - 4259 = 1721. Is t a composite number?
False
Let t(p) = -p - 12. Let c be t(-10). Is c/(-3)*(-2130)/(-4) a prime number?
False
Let c(z) = z**3 + 2*z**2 + 2*z - 2. Let j be c(-2). Is 266 + -1 + j/3 prime?
True
Let a(p) = p**2 + p - 1. Is a(-8) a composite number?
True
Let x = 3 - 9. Let w = -11 - x. Let a(q) = -q**2 - 8*q - 4. Is a(w) a composite number?
False
Let p = -3 + 3. Suppose -2*q - 3*i + 432 = 0, -i - 670 = -3*q - p*q. Suppose 4*j + 3 = 2*t + 179, 5*j - q = 2*t. Is j composite?
True
Let y(c) = c**2 - c + 4. Let w be y(0). Suppose -3*b + 24 = -0*b. Suppose -24 = w*v - b*v. Is v a prime number?
False
Is (-604)/(-5) + 17/85 prime?
False
Is 720/5*1 - 2 a prime number?
False
Let t(w) = -w**2 + 9*w - 1. Let s be t(8). Let c = s - 4. Is c prime?
True
Let w(l) = 2*l**3 - 8*l**2 + 8*l - 3. Let x be (32/(-20))/(1/5). Let g = 13 + x. Is w(g) composite?
True
Let o(m) = m**2 - 4*m - 7. Let r be o(6). Suppose -3*a + 3*h + 60 = -0*h, 0 = r*a - 3*h - 98. Suppose 0 = -3*w + a + 242. Is w a composite number?
True
Let p = 25 - 608. Is (-6)/(-27) + p/(-9) a prime number?
False
Let h = -1608 - -2325. Is h a composite number?
True
Let k = -2811 - -1577. Let q = k + 2193. Is q composite?
True
Let m = 382 - 156. Let i be (-2 + 140)/1 + -3. Let t = m - i. Is t a prime number?
False
Let g be -3*7/((-84)/16). Suppose 0 = -g*p + 385 + 1395. Is p a composite number?
True
Suppose 8*v - 2709 = -v. Is v a prime number?
False
Suppose -3*j - 3*k = -115 - 989, 0 = -2*j - 4*k + 742. Is j composite?
True
Let y be (-10)/(-3)*(-27)/(-18). Suppose -y*i + 1500 = -145. Is i a composite number?
True
Let i(k) = k**2 + 5*k + 4. Let n be i(-5). Suppose -y + 8 = -n*u + 140, 0 = -5*u + 3*y + 158. Is u composite?
True
Suppose 51 = 4*y - 3*y. Is y a composite number?
True
Let h(q) = -q**3 - 8*q**2 - 15*q + 3. Is h(-7) a composite number?
False
Let c = -15 - -25. Suppose 3*u = u + c. Let i = u - -4. Is i a prime number?
False
Suppose -5*t + 3*k + 1046 = 0, t - 208 = -0*t + k. Is t a prime number?
True
Suppose -4*h + 0*p = -3*p - 218, 5*h - 286 = -3*p. Is 3 + (-12)/2 + h composite?
False
Let a(g) = -g**3 + 3. Let v be a(0). Suppose 2*t = -4*b + 106, v*b + 28 = -3*t + 190. Suppose -t = -4*k + 93. Is k a prime number?
True
Is 6/15 + (-12315)/(-25) a prime number?
False
Suppose p - 3*c = 2*c, 0 = -3*p + 3*c + 12. Suppose 3*b - p*b + 374 = 0. Is b a composite number?
True
Suppose -92 = u + 2*l, -2*u + 7*u + 416 = l. Let b = 46 + u. Let m = -19 - b. Is m a prime number?
True
Let j = -99 - -1348. Is j composite?
False
Suppose 3*l = -f + 58, 2*l - 64 = -f + l. Is f a prime number?
True
Suppose 0*o - 8 = -2*o. Suppose -3*a + 165 = -o*a. Let s = -118 - a. Is s a prime number?
True
Let j(y) = 5 - 4 + 1 - 4*y. Is j(-2) prime?
False
Let r(h) = -h**2 + 16*h - 12. Let w be r(15). Suppose 3*g - 209 = -2*y, -6*g + g = -w*y + 323. Is y a composite number?
True
Let q = -3 + 3. Is (q - (-79)/2)*2 prime?
True
Suppose 2*s = 3*s - 21. Suppose 2*k = s + 161. Let g = 168 - k. Is g prime?
False
Suppose -7*f + 1420 = -3*f. Is f prime?
False
Let c(n) = n**3 - 7*n**2 - 8*n + 4. Suppose 0 = -10*x + 5*x + 40. Let m be c(x). Is 8/2*43/m prime?
True
Let u(g) = 4*g**2 + g + 1. Is u(4) a prime number?
False
Let j be (-2)/4 - 3/(-2). Let c(b) = 81*b**3 + 2*b**2 - 2*b + 1. Let x be c(j). Suppose 4*g - x = -g - 4*k, 17 = g + k. Is g a prime number?
False
Let u(w) = 14*w + 21. Is u(17) prime?
False
Let i(f) = -f + 1. Let h be i(-3). Suppose -d - 4*d - h = 4*u, 3*u - 2*d = 20. Suppose m + 4*x + 56 = 3*m, 4*m - u*x = 124. Is m prime?
False
Let d(z) = z**2 + 3*z - 7. Let f be d(-5). Let n = -5 - -7. Suppose p + 3*w = 4, -n*p - 16 = -f*p + 3*w. Is p a composite number?
True
Let b(j) = -14*j**3 - j**2 - 5*j - 2. Is b(-3) a composite number?
True
Let j = 232 - 45. Let n = 5 + 0. Suppose -z = -n*b - 0*z + j, 5*b + 4*z = 177. Is b prime?
True
Let w(q) = 3*q**2 - 4*q + 3. Let x be 6 + -1 + (-12)/(-4). Is w(x) a prime number?
True
Let a = 1097 + -630. Is a composite?
False
Let u(p) = -p + 8. Let h(k) = -k - 13. Let z be h(-6). Is u(z) a composite number?
True
Let m(c) be the second derivative of -1/12*c**4 + 0 - 1/6*c**3 + 7*c**2 + c. Is m(0) a prime number?
False
Let l(g) = -2*g**3 + 3*g**2 + g - 6. Let v be l(6). Let s = -121 - v. Is s a composite number?
True
Let t(w) = -w**2 - 8*w - 5. Let i be t(-7). Suppose 0 = 2*l, -7 = -i*x + 3*l + 1. Suppose -x*j - 55 = -267. Is j a prime number?
True
Let j = -8013 + 11672. Is j composite?
False
Let p be 75/(-65) - (-4)/26. Is (1 + -2)*-83 + p composite?
True
Let q(i) = -i**3 + 8*i**2 - 7*i + 3. Let g be q(7). Suppose -85 = -c + 2*d, g*c - 263 = -3*d + 5*d. Is c a prime number?
True
Let q be (-64)/(-10) + 2/(-5). Is (3 - 1)*(q + 5) a composite number?
True
Let s be (-2 - 16/(-6))*6. Suppose 433 = 5*y + s*q, -2*y + 0*y + 172 = 2*q. Is y a prime number?
True
Is (-4)/14 - 1479/(-7) prime?
True
Let t(s) = -84*s + 5. Is t(-3) a composite number?
False
Let r = -68 + 217. Is r prime?
True
Let c = -191 + 369. Let m = c - 75. Let b = 154 - m. Is b composite?
True
Suppose 0 = -4*k - 3*n + 1 - 2, -2*k + 4*n + 16 = 0. Suppose 8 = y + 5*u, 8*y - 3*y - 5*u + 20 = 0. Is (-7 + -150)*y/k a composite number?
False
Suppose -922 = 2*a - 5*f, -132 - 810 = 2*a + 5*f. Let g = a + 797. Is g composite?
False
Suppose -g - 4*g + 2865 = 0. Suppose 4*d - 7*d = -g. Is d a prime number?
True
Let n be (0 + -1)*2*-3. Suppose f + n = 4*f. Suppose 187 = f*p - 3*b + 53, 0 = 4*p + 5*b - 268. Is p a composite number?
False
Let m(i) be the second derivative of -1/12*i**4 + 0*i**2 - 2*i + 0*i**3 - 27/10*i**5 + 0. Is m(-1) a prime number?
True
Let m = -90 - -177. Is m prime?
False
Let i(n) = -26*n + 9. Is i(-4) a prime number?
True
Let o = -332 - -775. Is o a prime number?
True
Let l(q) = -q + 4. Suppose -k - 22 = -5*z, -5*z + 3*z + 4 = 2*k. Is l(k) a prime number?
False
Suppose 2*b - 1019 - 205 = 0. Let n be (-853)/(-2) + 8/16. Let x = b - n. Is x a composite number?
True
Suppose 0 = -2*m + 344 + 410. Is m a prime number?
False
Suppose -m + 3*m - 518 = -4*b, 0 = -5*m + 25. Let a = 528 + -365. Suppose -2*u = 3*l - a, -3*l - 5*u + b = -l. Is l a prime number?
False
Let o(a) = 5*a**2 + 7*a - 1. Is o(-5) a composite number?
False
Suppose 4*c - 74 - 2622 = 0. Let b = c + -463. Is b a prime number?
True
Suppose 0 = -w + 2 + 3. Suppose -647 = -2*x - 2*x + b, w*b