) prime?
True
Let b(p) = p**2 - 5*p + 6. Let t be b(3). Suppose 4*u - 3*u - 13 = t. Let c(r) = r**2 + 17*r - 25. Is c(u) prime?
False
Is (-6)/(-24)*(22 - -250366) a prime number?
True
Let p be (-12)/(-32)*4 - (-3)/6. Let l(z) = -z**2 + 11*z - 15. Let a be l(p). Suppose -4*b + 451 + 1113 = -4*g, -a*g = b - 391. Is b prime?
False
Let s(o) = -7*o - 97. Let x be s(-16). Suppose x*v - 20*v = -25385. Is v a prime number?
True
Suppose 4*u + 3*l - 201424 = 0, -251787 = 8*u - 13*u - 2*l. Is u prime?
True
Let v(r) be the first derivative of r**3 + 17*r**2 + 27*r - 60. Is v(-14) composite?
False
Let x be -7*(-6)/(-210) - (-22)/10. Suppose 2*h = 4*l - 34546, 4*h - 43187 = -5*l + x*h. Is l a composite number?
True
Suppose 4*d + 2*z = 7328, 4*d - 7141 = -4*z + 187. Suppose 0 = w - 40*w + 176943. Let v = w - d. Is v a prime number?
False
Suppose 3*k - 5*k + 36 = 0. Let a be (-2)/(-7) - -6*k/(-84). Is (2 - (-15)/(-5))/(a/701) a composite number?
False
Let x = 21989 + -11717. Suppose -x = -3*w + 567. Is w prime?
True
Let c(v) = 11*v - 15. Let i be c(4). Suppose 0 = -j + 4*m + 16, -m - i = -5*j + 2*m. Suppose 0 = -a - 2*u + 151, -j*a + a = u - 463. Is a composite?
True
Let p = 12347 + 172102. Is p prime?
False
Let d(w) = 2*w**3 - 12*w**2 + 24*w + 52. Let k(s) = 3*s**3 - 25*s**2 + 49*s + 105. Let l(g) = -5*d(g) + 3*k(g). Is l(-18) prime?
True
Suppose -19*x + 11*x = 0. Suppose x = -11*q + 19*q - 1712. Is q composite?
True
Let k be -18362 + -5 + -3 + 3. Let w = -10734 - k. Is w a composite number?
True
Let w = 76 - 64. Suppose -x = -w + 9. Suppose x*q + 6*q = 1467. Is q a composite number?
False
Let p(q) = 5*q**3 + 4*q**2 - 9*q - 7. Let j be p(8). Suppose 7304 = -3*z - j. Let m = -1812 - z. Is m a prime number?
False
Suppose 21 = 8*d - 5*d. Suppose 6*j + 1727 = d*j. Is j prime?
False
Suppose -2*b = -h + 241419, -163903 = 3*h + 5*b - 888215. Is h a prime number?
True
Let x = -448 - -448. Suppose -5*a - 15 = x, 29*a = 4*b + 30*a - 35561. Is b a composite number?
True
Let c be (0 - 3070)*(1 + -3). Suppose 0 = 21*z - 23*z + c. Let v = z - 2009. Is v a prime number?
True
Let g = 129089 + 5954. Is g composite?
False
Is ((-312)/(-72) + -17)/(4/(-14538)) a prime number?
False
Let n be (-138)/(-46) - 1/1. Is 4481 + 6 + -2 + n a prime number?
False
Let m(f) = -2104*f + 5. Let u be m(3). Let d = u - -3555. Let g = 4443 + d. Is g prime?
False
Let m(o) = o**3 + 40*o**2 + 52*o + 33. Let a = -26 + 51. Let n = a - 53. Is m(n) prime?
False
Let n = 939491 + -654312. Is n prime?
True
Let v(l) = -63*l - 315 - 98*l + 521. Is v(-9) composite?
True
Let z(t) = -4*t**3 + 8*t - 1. Let q be 3432/60 + (-2 - 28/(-10)). Suppose 59*l - q*l + 4 = 0. Is z(l) a prime number?
True
Suppose 82*p + 2372967 = 8638013. Is p composite?
False
Let j be 16/(-6)*-6 + -3. Suppose 0 = -2*h + 4, 5*g - h - j = -5*h. Is (1 + g)/(14/2219) a prime number?
True
Suppose -7959027 = -35*g + 401493. Is (g/(-96))/((-1)/4) a composite number?
True
Let q = 1169889 - -682604. Is q a prime number?
True
Let z be (-4)/6*45/(-6). Suppose 2*o + n - 8 = 5*n, n = -z*o - 2. Suppose o*v + 4*v + 4*j - 1560 = 0, -4*j = -5*v + 1995. Is v a composite number?
True
Let s(a) = 2*a + 37. Let z be s(-17). Let p(h) = 7 - 6*h**3 + 3*h**2 + 21*h**3 - 4*h**2. Is p(z) composite?
True
Let f(d) be the second derivative of d**5/20 - 5*d**4/4 - 13*d**3/6 - 19*d**2 - 25*d. Let v be f(16). Let j(x) = 2*x**2 - 15*x + 15. Is j(v) a prime number?
False
Let k(l) = l**2 + 5*l + 1. Let z be k(-6). Suppose -z*s = -5*h - 3*s + 3981, 773 = h + 5*s. Is h composite?
True
Let r = -6 + 5. Let c(g) be the second derivative of -397*g**3/6 - g**2 + 40*g. Is c(r) a prime number?
False
Let m(g) = 2399*g - 6. Let d be m(1). Let y = d - 889. Is -3 + 0 + y/2 composite?
True
Let k(f) = -136*f + 37. Let x(o) = o**3 - 2*o**2 - 3*o. Let c be x(3). Let z = -9 - c. Is k(z) composite?
True
Suppose 875 = -7*r - 3598. Let l = r - -5716. Is l a composite number?
False
Suppose -9*t - 6340 = -14*t. Let f = 1975 - t. Is f a composite number?
True
Let v = 34292 - -12897. Is v composite?
False
Is (-8)/(-40) - 54069231/(-120) - 5/40 composite?
True
Let r = 138524 - -89199. Is r a composite number?
True
Let q(b) = -52*b**3 + 5*b**2 - 9*b + 45. Let h be q(4). Let c = 5470 + h. Is c composite?
True
Let n be ((-789)/(-12))/(11/308). Is n/2 + 27/54 a prime number?
False
Let l(b) = b**3 - b**2 + 8. Let f be l(3). Suppose -3*p + 0*p = k + 27, -2*p + 2*k - f = 0. Is p/(-5) + -3 + 3266 composite?
True
Suppose 7 - 3 = 2*z. Let u(a) = -4*a**2 + a**3 + 2*a**2 + 164 - 2*a + z. Is u(0) prime?
False
Suppose 3*r = t, -5*r + 3 = -4*r. Let p(o) = 115*o**2 + o - 26. Is p(t) a prime number?
False
Suppose -247*m = -249*m. Suppose m = t - 40 - 87. Is 5/5*(2 + -1)*t a prime number?
True
Suppose z = 62 - 44. Let h be 5496/18 - -2*(-3)/z. Suppose t - h = 110. Is t a prime number?
False
Let y(n) = n**3 + 4*n**2 + 2*n - 5. Let k be y(-3). Is (-5)/((-30)/10614) + -5 + k a composite number?
True
Suppose -4*z + 93662 = -2*g, 4*g - 20 = 8*g. Is z a prime number?
False
Let s be 13*(-20)/(-390) + (-4)/6. Suppose 3*p + k - 12151 = s, -94*p + 5*k + 12127 = -91*p. Is p prime?
True
Suppose 70*x + 37*x - 2624447 = 1678772. Is x a prime number?
False
Suppose 5*o + 16 = o, 0 = -2*g - 4*o + 187558. Is g composite?
False
Let r be 65*(-6)/(-8)*16/30. Let g = 29 - r. Suppose 0 = -z - g, z - 115 = v - 2067. Is v a composite number?
False
Let w(c) be the first derivative of 6619*c**4/4 - c**3/3 - c**2/2 + 2*c + 14. Is w(1) a composite number?
False
Let q(l) = 615*l**2 + 8*l - 4. Is q(31) a composite number?
False
Let c(p) be the first derivative of 9*p + 1/4*p**4 + 2/3*p**3 - 5 + 1/2*p**2. Is c(4) a composite number?
False
Suppose 2 = 2*i, 4*d - 3*d - 5*i - 11 = 0. Let f(u) = -u**3 + 23*u**2 + 19*u - 55. Is f(d) a composite number?
True
Suppose -2*s - 758 = -2328. Suppose -2*h + 191 = -s. Suppose 3*u - h = -j, -j + u + 478 = 6*u. Is j prime?
True
Let u = -1 + 3. Let l be 2*u/(-18) - 176/99. Let t(c) = -275*c + 4. Is t(l) composite?
True
Let p(d) be the third derivative of -229*d**7/5040 - d**6/80 + d**5/30 - 8*d**2. Let q(j) be the third derivative of p(j). Is q(-4) a composite number?
False
Let y = 1392 - -248. Suppose 5*o + 2*w = 1643, 5*o - 10*o = 5*w - y. Is o prime?
False
Let u(n) = -n**3 - n**2 + 8*n - 11. Suppose -10 + 1 = -2*a + d, -3*a + d = -16. Suppose 0 = -3*j - 12, 20 = -a*k + 2*k + 5*j. Is u(k) a composite number?
False
Suppose 0*t + 4*w - 1959 = -3*t, 0 = 3*t - 3*w - 1980. Let b = -70 + t. Is b a composite number?
False
Let v(z) = -28*z**3 - 17*z**2 - 41*z + 157. Is v(-23) a prime number?
False
Suppose 15 = 4*p - 1. Let r be 20605/260 + (-52)/16 + 3. Suppose -v + r = p*u, v + 0*u - 4*u = 87. Is v a prime number?
True
Let t(p) = 651*p**2 - 5*p. Let f be t(-4). Suppose -f = -375*h + 371*h. Is h composite?
False
Let i = -133423 - -238112. Is i a prime number?
False
Let b be 6/18 - 140/(-12). Suppose 0 = b*x - 23745 + 2421. Is x composite?
False
Let w(r) be the third derivative of r**6/60 - 19*r**5/60 - r**4/2 + 19*r**3/6 + 12*r**2. Let k be w(10). Is k - (4 + -796)/3 prime?
True
Let f(i) = i**2 - 31*i - 15. Let g(y) = -8*y - 66. Let h be g(-7). Is f(h) composite?
True
Let k(u) = -u**3 - 13*u**2 + 16*u + 37. Let i be k(-14). Suppose -37270 = -11*v + i*v. Is v a composite number?
True
Let o = -214702 + 449085. Is o composite?
False
Let q(y) = -5*y**3 - 15*y**2 - 9*y + 2. Let d(b) = 3*b**3 + 8*b**2 + 5*b - 1. Let x(p) = -11*d(p) - 6*q(p). Suppose -14 = -j + 8*j. Is x(j) a composite number?
True
Suppose 4*l - 464461 = -5*x, -5*x - 9*l + 464470 = -14*l. Is x a prime number?
True
Suppose 2*x - 7 = -c, -2*c + 2 = -x + 3*c. Suppose 5*d - 3*d = -x*d. Let m(o) = o**3 + 2*o + 557. Is m(d) a prime number?
True
Is (0 - (-53)/3)/(42205890/2344770 + -18) composite?
True
Let c(s) = 5688*s + 10645. Is c(143) composite?
False
Suppose -1880 = 5*z + 2*v, 2*v - 728 = 2*z - 2*v. Let y = z - -753. Is y a prime number?
True
Suppose 69*t + 196 = 20*t. Let o = 217 + 14. Let w = o - t. Is w prime?
False
Let h(j) = -26*j**2 - 11*j - 42. Let z be h(-21). Let s = -5296 - z. Is s prime?
True
Let t(y) = 29 - 19*y - 14 - 12 - 69*y. Let u be t(-2). Suppose -4*o + 594 = w, o + u = w - 440. Is w composite?
True
Let n(d) = 1674*d**2 - 146*d + 147. Is n(