number?
True
Let t = 1182 - -73. Is t a composite number?
True
Let c be (-3 + 11 + -1)*22. Suppose 3*p - c = p. Is p composite?
True
Suppose 3*u - 7*u + 18 = -5*a, -5*u + 16 = -3*a. Suppose 3*l + 14 = -g, -u*g + 3*g - 4*l = 21. Is g*(1 + 36) - -1 prime?
False
Suppose 0 = -o - 3 - 0. Let r be (-9)/(-2) - o/(-6). Suppose r*v - 17 = -2*u + 15, 6 = -2*v. Is u composite?
True
Is 863/3 - (-12)/(-18) composite?
True
Let r = 2542 + 5179. Is r composite?
True
Let f = -72 + 309. Is f a prime number?
False
Suppose 2*x = -5*l - 6 + 83, 0 = -3*x - 3*l + 111. Suppose 0 = -4*z - 88 + x. Let q(s) = -s - 4. Is q(z) composite?
True
Is 2/(-3) + 4667/39 composite?
True
Suppose -5 = -3*t - 5*q + 1, 2*t - 4*q = 4. Suppose 3*w = -5*r + 293, w = -t*r + 93 + 24. Is r composite?
True
Suppose 0 = -f + 26. Let t = f - 11. Let y = -8 + t. Is y a prime number?
True
Let n be ((-22)/(-6) + -3)*6. Suppose n*g - 261 - 115 = 0. Is g a prime number?
False
Let u be 1*8/10*-5. Let z be 4/2 - 4/u. Suppose -z*d + 3*p = -192 - 252, 3*p - 3 = 0. Is d prime?
True
Suppose -12395 - 2411 = -22*m. Is m a prime number?
True
Let l(z) be the second derivative of -13*z**3/2 + z**2/2 - 2*z. Let f be l(1). Let d = f - -77. Is d prime?
False
Suppose 3*f + 197 = -2668. Is (f/(-20))/(1/4) a composite number?
False
Suppose 4*u = 4182 - 626. Is u prime?
False
Let b be 10*((-19)/(-5) - 3). Suppose -27 = -r + b. Is r composite?
True
Let p(m) = m**2 - 8*m + 8. Let u be p(7). Let o be (-3)/3*(u - 0). Let l(r) = -11*r. Is l(o) prime?
True
Is (-4 - -183)*(1 - 0) composite?
False
Suppose 4*t = 116 + 76. Let s be 2/5 - t/20. Is ((-4)/s)/(4/68) a composite number?
True
Suppose -12*x = -11*x - 2557. Is x a prime number?
True
Let z(h) = 8*h**2 - h + 12. Let j be z(9). Suppose j = 3*x - 0*x. Is x prime?
False
Let a(s) be the second derivative of -s**5/20 + 5*s**4/12 + s**3/6 + 2*s. Let c be a(5). Suppose 4*v = 3*v - c*p + 74, -3*v = -2*p - 239. Is v composite?
False
Let x(p) = p - 1. Let m be x(-4). Let h = -3 - m. Is h + ((-9)/(-3) - 2) a prime number?
True
Suppose s - 46 - 168 = 0. Let f = s + -147. Is f a composite number?
False
Suppose 3 - 9 = -2*t. Suppose -n + 3*b = -2*n + 118, t*n - 358 = -5*b. Is n prime?
False
Let n = -4 - -6. Is 28/8*(n - -20) composite?
True
Let b(a) be the third derivative of -a**7/840 - 7*a**6/360 + a**5/15 + 11*a**4/24 + a**3/2 + 2*a**2. Let n(u) be the first derivative of b(u). Is n(-8) prime?
True
Let t(a) = -a**2 + 43*a + 27. Is t(20) a prime number?
True
Suppose -5*n - 3 = 2*c, -5*n + 0*n = -5*c + 10. Let j(a) = -688*a - 1. Is j(n) prime?
False
Let o(g) = -g**3 - 7*g**2 - 7*g - 6. Suppose -h - 3 - 3 = 0. Let s be o(h). Suppose s = -c - 0*c + 31. Is c a composite number?
False
Suppose 2*z = -m + 1, -6*m - 3*z - 3 = -3*m. Let x(b) = b**3 + 4*b**2 + b + 1. Is x(m) prime?
True
Let d(x) = -2*x - 5. Let y be d(-9). Suppose -17 = 5*n + y. Let k(f) = 2*f**2 + 10*f + 9. Is k(n) composite?
True
Let y = -47 - -444. Is y prime?
True
Let n = -42 - -75. Is n a composite number?
True
Let k be (-4 + 6)/((-2)/(-5)). Suppose p - k*p - 975 = -5*n, n - 206 = 3*p. Is n a composite number?
False
Let m be (0 + 1 + -1)/1. Suppose i - 17 - 22 = m. Is i a composite number?
True
Suppose -4*s + 9 - 32 = -b, 3*b + 5*s = -16. Suppose 2*j + b*j = 165. Is j prime?
False
Suppose 3*l - 107 = -2. Is l prime?
False
Let w(f) = -16*f + 11. Is w(-5) composite?
True
Suppose 3*y + 8 + 10 = 0. Let g(t) = t**3 + 6*t**2 - 8*t - 7. Let d(q) = -2*q**3 - 13*q**2 + 15*q + 14. Let x(r) = -2*d(r) - 5*g(r). Is x(y) a prime number?
True
Let i(k) = -k - 7. Let d(n) = -5*n**2 - 1. Let r be d(1). Let q be i(r). Is (1/q - 0)*-67 a prime number?
True
Let y = -12 + 8. Let z = y + 3. Is 0 - 47*z - -2 composite?
True
Let a(w) = -4 + 4 - 4 - 2*w. Let v be a(-4). Suppose h + 1671 = v*h. Is h composite?
False
Let c(f) = 7*f + 4. Let b be (4/(-2))/(8/(-28)). Suppose -2*r + b = -3. Is c(r) composite?
True
Let r = -6485 + 11518. Is r a composite number?
True
Let q = 5 + -3. Suppose 2*y + 0*v = 5*v + 62, 0 = -y - q*v + 31. Is y a prime number?
True
Let v = 13 - 15. Is (390/20)/((-1)/v) a prime number?
False
Suppose -1 = x - 4. Let f = 24 + x. Suppose -w - 88 = -3*n, w + f = n + 1. Is n a composite number?
False
Let y(j) = -3*j**3 + 4*j**2 - 4*j - 5. Let r be y(-5). Let h be (-2)/3 - (-34)/6. Suppose 2*n - 41 + r = 3*d, -3*n = -h*d + 748. Is d a prime number?
True
Let y = 1377 - 200. Is y prime?
False
Let p = -77 - -122. Let k = 124 - p. Is k a prime number?
True
Let n = -32 + 83. Is n prime?
False
Suppose 2*l = 4*l - 210. Suppose 0 = 7*t - 4*t - l. Is t prime?
False
Is 23*17*(1 + 2 + -2) a prime number?
False
Let d = 255 + -61. Is d prime?
False
Let c(l) = 2*l**2 - 9*l - 3. Let p(j) = -j**2 + j + 10. Let r be p(5). Is c(r) composite?
True
Let s(m) = -m**2 + 10*m - 11. Let g be s(8). Let y = g + -3. Suppose -y*c = -69 - 25. Is c composite?
False
Let g(z) = -43*z**2 + z + 1. Let w be g(4). Let m = -451 - w. Suppose -f + 240 = 4*u, 4*u + 0*f - f = m. Is u a prime number?
True
Let i = 718 + -379. Is i prime?
False
Suppose 24 = 5*p - 3*n, p - n - 18 = -4*p. Is (-62)/p*(-9)/6 a prime number?
True
Let d = 1 + -4. Let r(j) be the first derivative of j**3/3 - 2*j**2 - 2*j - 2. Is r(d) a composite number?
False
Let c(m) = m - 1. Let u be c(9). Suppose 5*h - 7 = u. Suppose -4*y - h*b = -68, 27 = 2*y + b - 5. Is y a composite number?
True
Let b = 19 + -19. Suppose 2*g - 4*y - 262 = 216, 3*y + 9 = b. Is g composite?
False
Suppose -16 = -4*f, 4*r - r = 2*f + 373. Is r composite?
False
Let s = 11 + -15. Is s/6 - (-321)/9 composite?
True
Let q = 1 + -8. Let j be (-1405)/(-7) - 2/q. Is (4/6)/(2/j) composite?
False
Let g(p) = -17*p - 22. Is g(-7) composite?
False
Suppose -5*g - 65 = 3*j - 6*j, -5*g - 3*j - 95 = 0. Let z = g - -41. Is z a composite number?
True
Let c = 1 + 2. Suppose 2*p = -c*p - 15. Is (-383)/p + 4/(-6) composite?
False
Suppose -2*t = -4*t. Suppose t = 3*f - f. Is 5 - 3 - -33 - f prime?
False
Suppose -3737 = -5*m - 4*q, -q + 387 + 1851 = 3*m. Is m composite?
True
Let q(g) = 5*g**2 + 6*g - 4. Is q(-7) prime?
True
Let a(n) = -3*n + 1. Let c be a(-1). Let l be (c/(-2))/(-1) + -2. Suppose 4*q = 3*i + q - 90, l = 4*i + 3*q - 85. Is i a prime number?
False
Suppose 4*h + 16 = -0*h, -3*n = h - 2225. Is n prime?
True
Is (794 - 10/2) + -2 a composite number?
False
Is 1784/6*(-3 + 18/4) composite?
True
Is (2034/5 - -2) + 1/5 a prime number?
True
Let h = 1447 - 758. Is h a composite number?
True
Suppose 10*u = 5*u, -5*q - u + 20 = 0. Suppose -q*r + 514 = 2*p, -3*p - 4*r = -501 - 266. Is p a prime number?
False
Let l(d) be the first derivative of d**4/4 - 2*d**3 - 2*d**2 - 7*d - 4. Let q be l(7). Is 4*q + (-4 - -7) a composite number?
False
Let g(o) = -o**3 + 12*o**2 + 12*o + 13. Let q be g(13). Let t(z) = -z + 443. Is t(q) prime?
True
Let d = 6 - 6. Is d + (290 - (1 + 2)) a composite number?
True
Suppose 0*q - 5*h = 2*q - 2624, -4*q + 4*h + 5192 = 0. Let l = q - 929. Is l a prime number?
True
Let y(g) = 8*g**2 - 2*g - 2. Let v(w) = 2*w + 2*w**2 + 2 - 6*w**2 - 4*w**2 + 0. Let p(z) = -3*v(z) - 2*y(z). Is p(2) composite?
True
Let g be 8 - 9 - (2 - 2). Let r(x) = -3*x**2 + 38*x**2 - 2 + 1. Is r(g) a composite number?
True
Let a be ((-6)/(-9))/((-6)/9). Suppose -2*r + 5 = -3. Is 22 + -2 + r + a composite?
False
Let g = 573 + -289. Let u = -157 + g. Is u prime?
True
Let x(b) = 26*b - 4. Let v be x(3). Let r be (-86)/2 - 4 - -4. Let a = v + r. Is a prime?
True
Let t be (-1 - -6) + -2 - 1. Let s be (0 - (t - 4)) + -25. Is 3/(3/s)*-1 prime?
True
Let t(h) be the third derivative of 49*h**5/60 + h**4/24 - h**3/2 - 3*h**2. Is t(-2) a composite number?
False
Suppose 5*p - 6*p = -815. Is p prime?
False
Let l(n) = -n**3 - 8*n**2 - n - 1. Suppose -4*c = 5*m + 27, -3*c - 5*m - 3 = -2*c. Is l(c) composite?
False
Let s be (116/16)/(1/8). Suppose 228 = 5*n + s. Is n composite?
True
Let h be 141*(-1)/2*-6. Suppose 3*i + 1100 = -2*i. Let s = h + i. Is s a composite number?
True
Suppose h - 140 = -4*p + 718, 3*p + h = 643. Is p a prime number?
False
Let a(p) = p**3 - 12*p**2 - 14*p + 7. Suppose 76 = 5*y + s + s, -55 = -5*y + 5*s. Is a(y) a composite number?
True
Suppose -25 = -0*s - s. Let y = s - -10. Is y a composite number?
True
Suppose 4*j - 736 - 145 = -c, -2*c - 669 =