*o + 11. Let s be c(27). Let t = s + x. Is t a composite number?
True
Let s(k) be the second derivative of -k**4/12 + k**3 - 4*k**2 - 4*k. Let h be s(5). Is h + 9*(-8)/(-4) a prime number?
False
Suppose -3*m - 4*u = -0*u - 108, -12 = -4*u. Let z(q) = 3*q**2 - 2*q + 3. Let t be z(1). Suppose 0 = t*o - o - 2*v - 91, -o + m = v. Is o a prime number?
True
Let s(o) = o**3 - o**2 + o - 73. Let j be s(0). Let u = -2 - j. Is u a prime number?
True
Let p = 46 + -41. Suppose -c - 4*y + 191 = 0, 4*y - 613 = 2*c - p*c. Is c a prime number?
True
Let v(b) = 524*b**2 - 15*b + 7. Is v(4) a prime number?
False
Let f(c) = 107*c**2 + 14*c - 12. Is f(3) composite?
True
Let l = 110 + -106. Suppose -11*k + 6*k - 25 = 0, l*k = 4*c - 3568. Is c a prime number?
True
Let u be 16/(-12)*30/4. Let n = u + 11. Is n/3 + 2770/15 a prime number?
False
Let z = 25 + -19. Suppose -z*a + 1067 - 89 = 0. Is a a composite number?
False
Let s be (-1 + -1)*(2 - 28/8). Suppose 4*n - 15 = -n, 621 = s*y + 4*n. Is y a prime number?
False
Let d = 2 - 3. Let a be 1/(3/570)*d. Let o = -93 - a. Is o composite?
False
Let s(t) = -14*t**3 + 6*t**2 - 45*t - 31. Is s(-10) a composite number?
True
Suppose 1663 = h - 486. Is h composite?
True
Let t = 1 + 8. Suppose 2*i = t*i + 7. Is i*(-203)/(3/3) prime?
False
Let j be 4/8 - (-207)/6. Let v = -15 + j. Suppose g = -v + 97. Is g prime?
False
Let v(b) be the first derivative of 18*b**3 + b**2 + 3*b + 13. Is v(-1) a composite number?
True
Suppose 0 = -g + 3*g - 3*i - 23, g - 4*i - 19 = 0. Suppose -1746 - 7753 = -g*j. Is j a composite number?
True
Let t be 49/(-7) + -1 + -3. Let f be (18/1)/(10 + t). Is 45/6*f/(-15) composite?
True
Let v(p) be the second derivative of -p**5/20 - p**4/12 - p**3/6 - p**2/2 - 5*p. Let r be v(0). Let h = r + 40. Is h a composite number?
True
Let f = 14 + -12. Let i be (1/f)/(5/(-40)). Is 50 + 1 - (i - -2) a composite number?
False
Suppose -4*s + 9 = -7. Suppose -u + s = -0*u. Suppose h - u*h = -165. Is h prime?
False
Let h = -13253 - -19410. Is h a composite number?
True
Let f = 11 - 13. Let d be 315/36 - f/8. Let k = 166 - d. Is k composite?
False
Let o(m) = -34*m**3 - 2*m**2 + 11*m - 10. Is o(-5) prime?
False
Let z(v) = 65*v**2 - 5*v + 17. Is z(10) a composite number?
True
Suppose -26*p + 8*p + 15030 = 0. Is p composite?
True
Let c(l) = 18*l**2 - 2*l - 5. Let a be c(-4). Suppose 2*h - a - 579 = u, -2*h + 2*u = -872. Suppose 2*g - 8 = 0, 2*x - h = -g - 2*g. Is x composite?
False
Let a = 9888 + -4241. Is a a composite number?
False
Let b(j) = j**2 + 0*j - 8*j - 2*j**2. Let w be b(-8). Suppose 4*m + w*g = 4*g + 280, -5*m - 2*g = -343. Is m a prime number?
False
Let g = -8752 - -57089. Is g prime?
True
Let l(c) = 9 + c**2 + c - 3*c**2 + 14*c**2. Is l(4) a composite number?
True
Is (-94)/235 + (-19454)/(-10) a prime number?
False
Let k(n) = 53*n**2 - n - 1. Suppose 3*l + 1 = -2. Let t be k(l). Let s = -2 + t. Is s a prime number?
False
Let n be (4 - 3)/((-2)/(-6)). Suppose 216 + 927 = n*s. Is s a composite number?
True
Suppose 27*y - 26*y + 30481 = 4*k, 2*y = -4*k + 30490. Is k a composite number?
False
Let a be ((-21)/14)/((-1)/2). Suppose -5*i + 187 = -0*g - g, -113 = -a*i + g. Is i composite?
False
Let s(v) = -54*v + 1. Let w = 13 + -13. Suppose 2*b + 4 + w = 0. Is s(b) prime?
True
Let w = 2 - 1. Let o be (424/(-4))/w + -1. Let i = o - -181. Is i composite?
True
Suppose 0 = -3*b + 30*b - 187461. Is b prime?
False
Let i(h) = 50*h**2 + 2*h + 1. Let s be i(-4). Let l = s + -1129. Let r = l - -731. Is r a prime number?
False
Suppose 3*w - w = 10, -3*q - 5*w + 307 = 0. Suppose 5*f + q = -86. Is ((-514)/(-3))/((-24)/f) composite?
False
Let u = 1030 + 2819. Is u prime?
False
Suppose -s = -6*s - 15995. Let q = -2188 - s. Is q prime?
False
Suppose 3*d = -5*d + 3384. Suppose -5*s - d = -2928. Is s composite?
True
Let z(b) = b**2 - 12*b - 9. Let w be z(13). Suppose 0*j - 22 = -5*a - 2*j, 20 = w*a + 4*j. Is (-21195)/(-63) - a/(-7) a prime number?
True
Suppose 4*t - 11 = t - 5*s, -2*t + 4*s = -22. Let o = 10 - t. Is 3*(o - 66/(-9)) a prime number?
True
Let y be (-18)/5 - (-2)/(-5). Let f be (-7)/(-2) - (-2)/y. Suppose f*d = -d + 844. Is d prime?
True
Let f(c) = 4*c**2 + c - 1. Let m be f(1). Suppose m*j - 278 = -3*y + 507, 0 = -3*j + 2*y + 576. Suppose -j = -0*s - 2*s. Is s a composite number?
False
Let o be (1/(-2))/((-9)/72). Suppose -o*s - v = -10, 6 = s + 4*v - 2*v. Suppose -b + 1145 = 2*z - s*b, -2*z + 2*b + 1148 = 0. Is z a prime number?
True
Let c(y) = 2*y - 6*y + 1 + 1. Let q be c(-9). Suppose -q = -s - 5*m, 3*m - 2*m = -5*s + 70. Is s a prime number?
True
Let p = -5666 - -8347. Is p a prime number?
False
Suppose 11*x - 17887 = 24342. Is x a prime number?
False
Suppose 2*r + 34 = 222. Let x = 472 + -177. Let z = x - r. Is z prime?
False
Let i = 6696 + -2030. Is i a prime number?
False
Let y = 54102 - 32635. Is y prime?
True
Let c(a) = a**3 + 2*a**2 - 7*a + 55343. Is c(0) a composite number?
False
Let s(u) = 35233*u - 190. Is s(3) prime?
True
Suppose 0 = b + t + 2, 0 = 2*b + b - 3*t + 6. Is (5/10)/(b/(-84)) composite?
True
Let f = -3231 - -4630. Is f prime?
True
Let b be ((-504)/60)/((-6)/20). Let x = b - 42. Is (2 - 144)*x/4 composite?
True
Suppose 0 = -z + 4*t - 1, -5*z + 7*t - 2*t = -10. Is z/(-6) + 2085/6 a composite number?
False
Let w = 6393 - 2216. Is w composite?
False
Let n be 1/(-3) - 49/(-21). Suppose 5*s = 4*s + 1277. Suppose 7*k - 4*t - s = n*k, 4*t - 779 = -3*k. Is k a prime number?
True
Suppose 2*f - 27241 = 36993. Is f composite?
False
Suppose -b = -2*z + 6912, -3*z + 4*b = 2085 - 12463. Suppose -9*k + z + 10649 = 0. Is k composite?
False
Let k(y) be the third derivative of -y**4/24 + 29*y**3/6 - 8*y**2. Let u be k(14). Suppose 255 = -u*w + 18*w. Is w a composite number?
True
Let p be 1 + 3 - (-3 - 55). Suppose -4*j + 78 + p = 0. Is j a composite number?
True
Let a be 1 + -1 + 3 + -2. Suppose -4*c + 7 = -a. Suppose o + 3*i = -0*o + 67, -c*i + 8 = 0. Is o prime?
False
Suppose -2*y + 5*y = 9. Suppose p = -y*p + 20. Suppose -p*k + 77 = -4*k. Is k prime?
False
Is 12227/4*104/26 a prime number?
True
Let x(v) = v**3 + 6*v**2 - 2*v. Let n be (-10)/(-3)*(-3)/(-2). Suppose -p + 0*p - n = 0. Is x(p) composite?
True
Let u(v) = v**2 + 10*v + 3. Let n be u(-10). Suppose 0 = 5*b - n - 12. Suppose p = b*p - 452. Is p composite?
True
Let b(d) = d**3 - 9*d**2 - 2*d - 11. Let v be b(10). Suppose 5*z - 57 - 58 = 0. Let k = v - z. Is k a prime number?
False
Suppose 2*y = 4*m + 12314, -4*y - y + 30796 = m. Is y composite?
True
Let o(j) be the third derivative of -j**5/30 + j**4/12 - j**3/2 - 2*j**2. Let f be o(1). Is (-20)/(-24)*f*-106 a composite number?
True
Let z(t) = -2*t**2 + 6*t + 5. Let y be z(4). Is (99 + y - -1)/1 prime?
True
Suppose 9*v + 2*i - 19231 = 4*v, -3*v - 3*i = -11535. Is v prime?
True
Suppose 3*h + 609 = 4*h. Suppose -3*j + 614 = 5*z, -z + h + 25 = 3*j. Suppose 263 + j = 4*y. Is y a prime number?
False
Let p = -7 - -7. Suppose h + h = -5*n, p = -n + h + 7. Suppose 0 = -n*q - 191 + 1009. Is q prime?
True
Is (0 + (-15)/9)/(40/(-1104)) a prime number?
False
Suppose -10*i + 14*i - 1636 = 0. Is -7 + 5 + (i - 2) + -2 composite?
True
Let l = 52 - 24. Let k = -16 + 25. Let x = k + l. Is x composite?
False
Let h(r) = r**3 + 10*r**2 - 2*r - 14. Let s be h(-10). Suppose -938 = -s*y + 4*y. Is y composite?
True
Let i be (0 - -1)/(4/8). Let n(g) = -1 - 20*g - g**3 - 2*g**i + 12*g + 11*g. Is n(-4) prime?
True
Suppose 4*x - 3811 = -r + 22414, 3*x - 2*r - 19677 = 0. Is x prime?
False
Let k = 37886 + 3367. Is k a composite number?
True
Let i be (-3 - (-60)/25)*-10. Is i + 631 + 2 + 2 a composite number?
False
Let m(g) be the third derivative of -7*g**4/8 + g**3/3 + 13*g**2. Is m(-1) composite?
False
Let k(r) = -2*r**3 + 12*r**2 - r + 5. Let u be k(6). Is (97/2)/((3/u)/(-30)) a prime number?
False
Suppose 8*l - 3*l + 4*t = 27, 2*t - 3 = l. Suppose -5*a + 57 = -m - 490, -5*m = l*a + 2819. Is (-21)/(-35) + m/(-5) prime?
True
Let g(k) = -15*k**2 + 2*k. Let a(q) = q**2 + q - 1. Let c(x) = a(x) - g(x). Is c(-4) composite?
True
Suppose 97*y + 5*a = 96*y + 5194, 0 = 4*a - 12. Is y a composite number?
False
Let n be 76/18 + 6/(-27). Suppose 5*r = n*o - 609 - 850, -r = -3*o + 1108. Is o a composite number?
True
Suppose -64 = 4*t - 6*t. Le