s c a composite number?
False
Suppose 3*o - 15 = -0*o, -3*i - 2 = -4*o. Let w(k) = 10*k - 5. Is w(i) a prime number?
False
Suppose w = -4*w + 3605. Is w prime?
False
Let w(p) = p - 37. Let c(t) be the second derivative of t**3/6 - 37*t**2/2 - 3*t. Let o(k) = 5*c(k) - 6*w(k). Is o(0) a prime number?
True
Let q(s) = -s + 5. Let j be q(0). Suppose 2*f - 3 + 1 = 3*v, -3*f + j*v + 1 = 0. Is f composite?
False
Suppose 6*h - 149 = 5*h. Is h a prime number?
True
Suppose -7 = 3*o + 5*p, -o - 1 = 3*o + 5*p. Suppose o*f + 106 = 4*f. Let q = -14 - f. Is q prime?
False
Suppose 9*n + 1354 = 11*n. Is n a prime number?
True
Suppose 2*u - 9*u = -8365. Is u a composite number?
True
Let k(j) = 6*j**2 - 4*j - 4. Let h be k(-3). Is (-17)/(0 + (-2)/h) a composite number?
True
Let a = 4 - 4. Suppose a = q - 1. Let y(n) = 11*n**3. Is y(q) prime?
True
Let i = 1706 - 855. Is i prime?
False
Let t(m) = 269*m**2 + m. Let r be t(-1). Suppose -r = -4*a - h + 374, -a = 2*h - 157. Is a a composite number?
True
Let m(w) = w - 1. Let o be (-48)/(-9) + 1/(-3). Let s be m(o). Suppose v = -5*u + 633, -3*v - 270 + 772 = s*u. Is u a composite number?
False
Let o = 34 - -12. Suppose -3*d = i - o, 0 = 3*d + 3 - 18. Is i a prime number?
True
Let i(s) = s - 4. Let q be i(6). Let p(a) = 17*a**3 - a**2 - 2*a - 1. Is p(q) composite?
False
Let q = 2 - 2. Suppose 0 = -q*p + 4*p - 8. Suppose -p*o = o - 987. Is o a prime number?
False
Suppose -4*y + 2*y = -4. Let h(w) = -35*w**3 + 4*w**2 - 3*w + 1. Let m be h(y). Let b = -172 - m. Is b a composite number?
False
Suppose -5*f = 3*m - 0*f - 19901, 0 = 3*m + 4*f - 19903. Is m composite?
False
Is 14/4*(38 - 16) a prime number?
False
Let j(l) = -l**3 + 5*l**2 + 6 - 4*l - 1 - 1. Let s be j(4). Suppose 6*z = -b + z + 63, 0 = -s*b + 4*z + 348. Is b a composite number?
False
Suppose -4*z - z + 26285 = 0. Is z composite?
True
Let j = 22 - 17. Let i(h) = h**2 - h + 5. Let n be i(0). Suppose w = -0*v - j*v + 16, -n*v = -5*w + 170. Is w a prime number?
True
Suppose 5*w + 166 = 5*m - 554, 0 = -4*m + 2*w + 578. Is m a prime number?
False
Suppose -2*r + 4*w + 24 = -0*r, 0 = -5*r - 4*w + 4. Suppose -5*i + 307 = r*p, 0*i + 2*i - 4*p - 106 = 0. Is i composite?
False
Let f(c) = 4*c**2 - 3*c + 7. Let h(z) = 7*z**2 - 1. Let q be h(1). Is f(q) a prime number?
False
Let f(l) = 149*l. Let r be f(1). Let h = -96 + r. Is h a composite number?
False
Suppose 107 = 2*k - 5*f, 4*k - 3*f = 117 + 132. Suppose -4*o + 206 = k. Is o composite?
True
Is 3/15 - 2524/(-5) a composite number?
True
Let m = 146 - -591. Is m prime?
False
Let j be -1 + 1 + 9 + -7. Suppose j*u + u = 0. Let s = 13 - u. Is s composite?
False
Let h be (14/3)/(2/(-9)). Let o be 2/7 + 132/h. Is 21/o*-4 - 1 prime?
True
Suppose -3108 = -f - 3*f. Suppose 0 = -0*m + 3*m - f. Is m prime?
False
Let s be (-27)/(-2)*4/3. Is 5*(3 - s/10) a prime number?
False
Let s(b) = b**3 - b**2 - 2*b - 3. Let l be s(3). Let u be 3 - (-3 + (2 - -2)). Suppose u*w + l = g - 22, -4*g = 3*w - 124. Is g composite?
False
Is (11 - 0)*(-23)/(-1) composite?
True
Let k(v) = 2*v**2 + 7*v - 12. Is k(-10) a composite number?
True
Let c(o) be the third derivative of o**6/120 + 3*o**5/20 + o**4/8 + 5*o**3/6 + 4*o**2. Is c(-6) a prime number?
False
Let a = 119 - 24. Is a a prime number?
False
Let k be (1 - 7)*(-4)/3. Suppose 0 = -k*t + 6*t + 28. Is t a composite number?
True
Is (3/6 + 37428/(-8))/(-2) a composite number?
False
Suppose 0 = 3*i + 9. Is 253*(3 + -6)/i prime?
False
Suppose -5*f = -5*v - 580, -v = -4*f - 0*v + 452. Suppose 0*g = -5*c + g + f, 0 = 2*c + 3*g - 55. Is c a prime number?
True
Suppose -m = -2*d + m + 6, -4*m + 16 = 3*d. Suppose d*a + a = 295. Is a a prime number?
True
Suppose 5*w + 3 + 27 = 0. Let i(a) = 3*a**2 - 2*a + 3. Let t be i(w). Let j = -68 + t. Is j a composite number?
True
Let b(m) be the third derivative of 0*m + 1/30*m**5 - 1/12*m**4 + 0*m**3 + 0 + 2*m**2. Is b(2) a prime number?
False
Suppose 3*r + 7*r = 3460. Is r a composite number?
True
Let c(r) = -131*r**3 + 2*r**2 - 3*r + 3. Let n(m) = 130*m**3 - 3*m**2 + 4*m - 4. Let y(x) = 4*c(x) + 3*n(x). Is y(-1) composite?
True
Suppose -5*g = -4*c - 23, -g + 4*c - c = -9. Suppose -j + 3688 = g*h, j = -5*h - j + 6148. Is 1/3 + h/6 a prime number?
False
Let c(d) = 3*d**2 - 39*d**3 - d**2 + 11*d**3 - 3*d - 25*d**3. Let k be c(2). Is 1*-2*k/4 a prime number?
True
Let y = 1 - -1. Suppose s - 5 = -y. Suppose 196 = c + s*c. Is c composite?
True
Let i(w) = -w**3 - 4*w**2 - 4*w - 3. Let j be i(-3). Suppose j*n = -n. Is 0 - -22 - 1 - n prime?
False
Suppose o - 2*i - 19 = -5*i, -4*i + 18 = o. Let u = -12 + o. Suppose 2*r = 3*r - u. Is r composite?
True
Suppose 3*b - 2194 = 8927. Is b prime?
False
Suppose 4*a - 26 = 110. Is a a composite number?
True
Suppose 2*d + 5*o - 1142 = 0, 4*d - 1469 - 771 = o. Suppose -3*k + 342 = 6*i - 3*i, -5*k + d = -4*i. Is k prime?
True
Is (1081 - (-4)/1) + (3 - 1) a composite number?
False
Let r be (66/(-6))/(2/(-20)). Suppose -r + 612 = 2*b. Is b composite?
False
Suppose b = 661 + 525. Is b a composite number?
True
Let b be -1 + -2 - 3984/(-4). Is (b/(-9))/(2/(-6)) a composite number?
False
Suppose -t - 5*j - 4 + 134 = 0, -4*t + 469 = 3*j. Is t a prime number?
False
Suppose -116 = m - 2*m. Suppose -3*s = m - 593. Is s a composite number?
True
Suppose -3*f = -2*f - 2. Is 1/(-3)*(-215 + f) composite?
False
Suppose 4*a - 2*s = s + 79, -3*a + 5*s = -62. Is a a prime number?
True
Suppose 15 = -0*g + g. Is g a composite number?
True
Suppose -680 = 2*r - 4*r + 4*a, 2*r - 683 = 3*a. Is r composite?
True
Let r = -11 + 11. Suppose r*y = y - 37. Is y a prime number?
True
Let z = 214 + -23. Is z a composite number?
False
Let x(q) = 2*q**2 + q - 18. Is x(11) a composite number?
True
Is 5/(-5) + 614/((-3)/(-3)) composite?
False
Suppose n + 2*f - 2 = 106, -f - 345 = -3*n. Let p = n - -27. Is p composite?
True
Let y = -3 - -1. Is y/(2/94*-2) prime?
True
Let r(d) = -d**2 + 2. Let z be r(1). Let k = 22 - z. Is k prime?
False
Let t = -3 + 8. Let h = t - 2. Suppose -4*m + 19 = -h*m. Is m a composite number?
False
Suppose 4*m - 3*m - 1 = 0. Suppose m + 0 = -z. Is 11 + 1/(0 + z) a prime number?
False
Let j be 24/9*(-9)/(-12). Suppose 2*r + 2*z + j*z = 62, z = 4. Suppose -2*o + 75 = -r. Is o prime?
False
Let a(r) be the third derivative of -17*r**4/24 - r**3/3 + 5*r**2. Is a(-3) a composite number?
True
Let c = 7437 - 5310. Is c composite?
True
Let p(y) = y**3 - 7*y**2 - 8*y + 12. Let h be p(8). Suppose -4*c + h = -320. Is c a prime number?
True
Suppose 0 = z + 2*i + 7, -18 = 5*i + 2. Is z/(4/127)*20 a composite number?
True
Let s be (0/(-2))/(2/(-1)). Let u be 1*(s + (-2 - -2)). Is (-1 + u)/(4/(-140)) a prime number?
False
Let v(i) = -i**3 - 4*i**2 - 2*i - 12. Is v(-5) a prime number?
True
Let f(r) = 7*r**2 + 8*r - 19. Is f(8) composite?
True
Let s = 1776 - 935. Is s a prime number?
False
Suppose 6*b - 613 = 617. Is b composite?
True
Let t(h) = -1 + 4*h + 3*h**2 - h**3 + 3*h**2 + 2*h**2. Let q be (2 - 14/6)*-24. Is t(q) composite?
False
Suppose 0 = -b + 4. Suppose 0 = -b*l + 641 + 107. Is l composite?
True
Let q be (243/(-12))/((-9)/24). Suppose -2*p + z + q = 0, p - 4*p = -2*z - 82. Is p a composite number?
True
Suppose -4*v + 5*p = -824, -4*p + 26 - 10 = 0. Is v composite?
False
Suppose 6*y = -238 + 1096. Is y prime?
False
Suppose 0 = 2*r + 4*c - 22, 0*c = 3*r - 4*c - 33. Let y(v) = 5*v + 12. Is y(r) a prime number?
True
Let w = 59 + 20. Is w a composite number?
False
Let y = 51 - 86. Is (-21)/y - 574/(-10) a composite number?
True
Suppose 4*x - 986 = 1730. Is x composite?
True
Suppose -24 = 5*o + 1. Is (-1 - 0) + 25 + o a prime number?
True
Let h = 214 - -165. Is h prime?
True
Suppose 4458 = 3*t + 3*j, 2*j = 15*t - 14*t - 1471. Is t composite?
False
Let n(j) = -j**2 + 11*j - 13. Let y be n(9). Suppose 10 = -y*u, 4*d - 2*u + 0*u - 584 = 0. Is d a prime number?
False
Let x be ((-2)/(-4))/(4/(-8)). Is (0 - -33) + 1 + x composite?
True
Let a = 3140 + -1555. Is a a prime number?
False
Let x be ((-12)/(-9))/(2/(-6)). Is x/(-30) - 5208/(-90) composite?
True
Let o = -2289 + 921. Let d be 3/(-15) + o/10. Let u = 250 + d. Is u composite?
False
Suppose -2*t + 8 = -6. Let f(y) = t - 4 + 3 - y + 0. Is f(-7) a composite number?
False
Suppose 2 + 3 = k. Suppose -4*f + 13 = w, k*w