j + 6 = 2*w - 60. Suppose -4*h + w = -0*h. Is h a composite number?
False
Let o = 2069 - -110. Is o a prime number?
True
Suppose -2*j + 66 = z, j + 3*z + 2*z = 51. Is j a prime number?
True
Suppose 2*p = -p + 261. Let x = p + -40. Is x prime?
True
Let d(o) = 317*o**3 + o**2 - 2*o + 1. Is d(1) a composite number?
False
Let h(n) = n. Suppose -3*d - 1 = -3*l + l, 0 = -3*d - 3. Let a(y) = -21*y + 1. Let f(v) = l*a(v) + 4*h(v). Is f(6) composite?
False
Let k be (2/(-4))/((-2)/12). Suppose t + 5 = 5*f + 4*t, 0 = -k*f + 5*t - 31. Is 2/f*(-33 + -4) a composite number?
False
Let k(v) = v**3 + 15*v**2 - 14*v + 1. Is k(-14) a composite number?
True
Suppose k = -k + 20. Let o be (96/10)/(2/k). Suppose 4*n - 52 = o. Is n composite?
True
Let x be 4/14 - 948/(-14). Let t = x + 1. Is t composite?
True
Let b = 211 + -84. Is b a composite number?
False
Let l = 1097 - 56. Is l prime?
False
Let u(c) = 7*c. Let o be u(-2). Let n(y) = -y**3 - 14*y**2 - 15*y - 7. Is n(o) a composite number?
True
Suppose -2*u + 0*u = 14. Is (-6894)/u - 2/(-14) composite?
True
Let c be (-3)/21 - (-7842)/14. Is (-6)/(-4)*c/24 a prime number?
False
Let z(r) = 9*r**2 - 2. Is z(-3) a prime number?
True
Let a(o) be the second derivative of o**5/20 - o**4 + 7*o**3/6 - 17*o**2/2 - 2*o. Is a(12) a prime number?
True
Suppose -a - 8 = -5*a. Suppose 5*d + a*x - 3*x - 610 = 0, 0 = -2*d + 2*x + 252. Is d prime?
False
Suppose q - 2285 = -a, 5*a - 2285 = 4*a - 2*q. Is a a prime number?
False
Let s be 90/21 - 2/7. Suppose -s*l + 3 + 53 = 0. Let b = -7 + l. Is b a composite number?
False
Suppose -29 = -6*j + 3*j - 5*f, -2*f - 22 = -3*j. Is j - -1 - 2/(-1) a prime number?
True
Suppose -2*u + 6770 = 3*u. Suppose -6*h + u = -4*h. Is h a prime number?
True
Let p(l) = 41*l**2 - 3*l + 3. Let g be p(2). Is g - -3 - (5 - 2) a composite number?
True
Let u(s) = 2*s**3 - 4*s**2 + 2*s + 2. Let y be u(2). Let o = y - 4. Suppose v - 41 = -2*n, -55 = -4*n + o*v + 31. Is n composite?
True
Let z = -4 - -7. Suppose z = r + 1. Suppose 2*d - 3*a = 21, -d = -r*d + 2*a + 9. Is d a composite number?
True
Let r = 315 - 68. Suppose 0*b - 2*b - 5*w = -r, -643 = -5*b - 4*w. Is b composite?
False
Suppose 0 = -5*z - o + 13, -2 = 4*z + 3*o - 8. Suppose z*j - 49 = -7. Is j prime?
False
Suppose 0 = -3*i + 4*a + 29, -5*i + 3*a = -i - 27. Is 106/i*9/6 prime?
True
Let y(o) = o**3 + 7*o**2 - 9*o - 2. Let c be y(-8). Suppose 404 = 5*x - 336. Is (-5 + c)*(1 + x) a prime number?
True
Let g(z) = -z**2 - 19*z - 5. Let o(x) = x**2 + 18*x + 5. Let k(p) = -5*g(p) - 6*o(p). Let w = -76 - -67. Is k(w) composite?
False
Let z(h) = h**2 + 0*h + h + 127 - h. Is z(0) a composite number?
False
Is (-1)/6 - 319/(-6) a composite number?
False
Let g be (-5 + 6)*(-982)/(-2). Let v = g - 232. Is v composite?
True
Let q(n) = 3*n**2 - 6*n - 10. Is q(-7) a composite number?
False
Let z(m) = -m**3 + 5*m**2 - m + 6. Suppose 2*v - o = 5, -o = 5*v - 38 + 8. Let f be z(v). Is (3/6*314)/f a prime number?
True
Let u(c) be the first derivative of -29*c**4/2 - c**2 - c - 3. Is u(-1) prime?
True
Let d = -2223 + 3296. Is d prime?
False
Suppose -k = l + 4, -5*k - l - 3 - 1 = 0. Suppose -2*d + 3 + 25 = k. Suppose -3*o + d = -o. Is o a composite number?
False
Let d = 2127 + -1460. Is d a composite number?
True
Suppose 4*z - 2*o - 528 = 2*o, -z + 137 = -2*o. Is z a prime number?
True
Let u = -16 + 23. Let c(f) = 15*f + 16. Is c(u) a composite number?
True
Let h be 2962/8 - 6/(-8). Suppose -85 = 2*p - h. Is p a composite number?
True
Suppose 27*z - 23262 = 21*z. Is z prime?
True
Suppose -2*u + 6*u = 0. Suppose u = 3*z - 6*z + 4*p + 269, z - p = 88. Is z a composite number?
False
Let b = 12 - 5. Is 0 + -1 - (-147 + b) a prime number?
True
Let c(h) be the second derivative of -h**3/6 - 2*h**2 - h. Let k be c(6). Is 2/k - 192/(-10) composite?
False
Suppose -d + 12 = -5*d + 3*t, 2*d + 2*t = 8. Suppose -5*m + 85 + 10 = d. Is m a composite number?
False
Let a = 63 + -40. Suppose -4*b = -3*r - 29, -r - a = -0*r + 2*b. Let c = 7 - r. Is c composite?
True
Let i = -1244 + 4381. Is i prime?
True
Let t(u) = -2*u - 5. Let o be t(-7). Let y(s) = s**3 + 2*s**2 - 3*s. Let j be y(2). Suppose d - o = j. Is d a prime number?
True
Suppose 4*q - 610 = -6*i + 4*i, -3*q + 918 = 3*i. Is i a prime number?
True
Is (-5)/(-15) + 3680/12 composite?
False
Let g = -639 - -1390. Is g composite?
False
Let r(c) = -35*c - 7. Is r(-12) composite?
True
Suppose -2*s = -0*s - 142. Let u = -37 + s. Is u prime?
False
Suppose 7 + 5 = -2*d - 4*f, -5*d - 36 = 4*f. Is 2/d + (-50157)/(-36) a composite number?
True
Suppose -2144 = -4*f - 5*p, -2*f + 4*p + 580 = -518. Is f a composite number?
False
Let n be (5 - 3)/((-2)/87). Let b be (0 + n)*(3 + -2). Let p = b - -290. Is p prime?
False
Suppose -j - 2459 = -3*m, -j = -5*m - 0*j + 4101. Is m a prime number?
True
Suppose -7*f + q + 20241 = -2*f, -f + 4029 = -5*q. Is f a prime number?
True
Let r(u) = 89*u**2 - 2*u + 1. Let a be r(1). Suppose 3*i - 3*m - a = -4, 0 = -3*i - m + 64. Is i prime?
True
Let s = 2 + -1. Let h = 3 - s. Suppose 0 = 3*t + h*t - 385. Is t a prime number?
False
Let v = 43 + -7. Is 50/4*v/30 a prime number?
False
Suppose -3*j - 12 = 0, -3*i + 0*j + 164 = j. Let f be -2 + i + 1*-3. Let a = f + -2. Is a a composite number?
True
Let c be (-2)/5 - (-94)/10. Let f(u) = u - 11. Let h be f(14). Suppose c*r = 4*r - 4*d + 159, -h*d = 3*r - 96. Is r a composite number?
False
Suppose 0 = -2*d - y + 1283, -2*d = -4*y - 889 - 389. Is d a composite number?
False
Let o be 4/(-34) + (-350)/(-85). Suppose o*w - 472 = 4*r, -3*r - 472 = -4*w - 0*r. Is w a prime number?
False
Let p(y) = 36*y - 4. Let u be p(5). Let b = u - 122. Suppose 0 = 3*d - b - 21. Is d a prime number?
False
Suppose 5*d = -11*d + 6112. Is d composite?
True
Suppose 637 = 4*w - 275. Suppose -4*v = -2*v - w. Suppose 0 = -3*r + r + v. Is r a prime number?
False
Let f be 3/(-4) - (-51)/(-12). Let m be (-2 + 9/5)*f. Is 20/m - (-3 - -1) prime?
False
Let z = -1 - -2. Let g = -27 - -47. Let k = z + g. Is k composite?
True
Is 1/((9/(-278))/(-9)) a prime number?
False
Let n(b) = -3*b - 2. Suppose 10 = -4*q - z, -3*q - 3 = -z + 4*z. Is n(q) composite?
False
Let z be (60/(-14))/(4/28). Is z/(-8)*(-32)/(-12) composite?
True
Let u(c) = -2*c**3 - 5*c**2 - 8*c - 4. Let r be ((-1)/(-3))/(2/30). Suppose -z + 2*z = r*t - 20, 7 = -2*z - t. Is u(z) prime?
False
Let f be (3/1 + -4)*-60. Let m = 169 - f. Is m prime?
True
Suppose 4*h = 8*h - 5*k - 6, -2*h = 5*k + 12. Let x = -2 + h. Is (-182)/(-4) - x/6 composite?
True
Let o(i) = i**3 - 2*i**2 - 4*i + 4. Suppose 5 + 1 = 3*m. Suppose -m*a + 11 = 1. Is o(a) composite?
False
Suppose 4*g + 4905 = -x + 18556, -4*x = 4. Is g a prime number?
True
Let y = 0 - 1. Let v be ((-56)/6)/(y/3). Suppose -6 = l - v. Is l a prime number?
False
Let l = 7781 + -5001. Suppose 4*o + o + 5*h = l, -5*o + 2786 = -h. Is o a prime number?
True
Let u be (-4)/(1/(-2)*4). Suppose 13 - 3 = u*b. Suppose 2*f = -4*y + 36, -5*f - 4 - b = y. Is y composite?
False
Let m be (-4)/(-4) + 0 + 1. Is (m - -1)*158/6 a prime number?
True
Is (-2)/(2 - -4)*-21 prime?
True
Suppose 2*y = 6*y + 4. Let g(x) = -23*x**2 + x + 1. Let q be g(y). Let b = 66 + q. Is b a composite number?
False
Let t be 3/(((-2)/2)/(-1)). Suppose t*i = 4*q + 653, -2*i + 0*q = -3*q - 437. Is i a prime number?
True
Let w = 90 + 5. Is w a composite number?
True
Let x = 829 + -452. Is x a prime number?
False
Suppose -4*j + 543 = 3*b - 507, 266 = j - b. Suppose 45*c - 43*c - 794 = 0. Let o = c - j. Is o composite?
True
Suppose -72*t + 77*t - 295 = 0. Is t a prime number?
True
Let p(l) be the second derivative of -l**3 + l**2/2 - 2*l. Is p(-1) composite?
False
Suppose 0 = -14*v + 12*v + 688. Suppose -v = -4*n - a, -4*n = -9*n + 2*a + 417. Is n prime?
False
Let d(i) = 2*i**2 + i - 1. Let a be d(-2). Let h(g) = -g**2 + 13*g - 5. Is h(a) prime?
False
Let n = -3 - -7. Suppose n*z + 75 = 3*b + 674, -3*z + b = -448. Is z a prime number?
True
Let k(w) = 25*w**2 - 5*w - 1. Is k(3) prime?
False
Let g(h) = h**2 + 10*h - 8. Is g(-21) a prime number?
True
Let s = 0 - -9. Let y(i) be the second derivative of 4*i**3/3 + 5*i**2/2 + 4*i. Is y(s) prime?
False
Let j be ((-3)/6 + 0)*-316. Suppose 2*t = -0*t + j. Is t a prime number?
True
Let y = 40 + -27. Suppose -7 = -5*