omposite number?
False
Let b = -287 - -2406. Is b prime?
False
Let s(q) be the second derivative of q**5/20 - 5*q**4/12 + q**3/6 + 5*q**2/2 + 4*q. Let t be s(5). Let p = t + 73. Is p composite?
False
Let g(y) = y**3 + 36*y**2 - 24*y + 19. Let r be g(-25). Suppose -9*x = -r - 2595. Is x composite?
True
Suppose 0 = -k + 5*u - 0*u - 4, 5*u = -5*k + 40. Is -8*(k - 35)/((-8)/(-2)) a prime number?
False
Let h(n) be the third derivative of -n**6/60 - 17*n**5/120 + 3*n**4/8 - 9*n**2. Let i(z) be the second derivative of h(z). Is i(-19) prime?
True
Suppose 19*n = -45*n + 6141632. Is n composite?
True
Suppose 2*r - 221 = 2*c - 1033, r = 2*c - 814. Suppose 2481 = 3*o + c. Is o composite?
False
Suppose -4*h = 5*n - 3131, -6*h = n - 4*h - 631. Is n composite?
True
Suppose 752 + 1576 = 2*j. Suppose -6*b = -10*b + j. Is b a prime number?
False
Suppose 20400 - 142258 = -22*z. Is z prime?
False
Suppose 3*v = 3*h + 5529, 5*h = 6*h - 2*v + 1848. Let a = 5195 - h. Is a a prime number?
False
Suppose -27*m + 3*b = -26*m - 5822, 4*m + 2*b = 23246. Is m a prime number?
True
Suppose -5 = -2*m + 3*y, 0 = 5*m + 3*y - 2 - 0. Let n be (-1 - m)/((-1)/(-193)). Let j = 1195 + n. Is j composite?
False
Suppose -1 = 4*n - 17, -5*v - n + 939 = 0. Suppose -i = 4, -4*i - v = -d + 502. Is d a composite number?
False
Let l = -1110 + 1886. Suppose -l - 481 = -t. Is t a prime number?
False
Let q = -65 + 70. Let j be 6/15 + (-674)/10. Is (-5)/q*1*j prime?
True
Let y(t) = -12*t**3 + 4*t**2 - t - 1. Let m(r) = -23*r**3 + 8*r**2 - 2*r - 3. Let g(s) = -6*m(s) + 11*y(s). Is g(4) a composite number?
False
Suppose 4*o - 367161 = -5*m, 5*m - o = -0*o + 367166. Is m prime?
True
Suppose -4*v - f - 121214 = -9*v, 72733 = 3*v + 4*f. Is v a prime number?
False
Let d = 899 - 268. Is d a composite number?
False
Suppose -l - 6*k + 9 = -2*k, -23 = -5*l + 2*k. Suppose -5*q = -p + 216, 0*p + 1059 = l*p - 4*q. Is p prime?
True
Let u be (-2 + 5)/((-30)/(-9380)). Let t = u + -31. Is t a prime number?
True
Let x = -290 + 441. Let m = x + -33. Is m prime?
False
Let q(y) = y**2 + 7*y - 11. Let v be q(-8). Let h be 2 + v/12*0. Suppose -h*t + 107 = -147. Is t a prime number?
True
Let c(d) = -6*d**3 - 7*d**2 - 6*d - 4. Let f be c(-5). Suppose f - 129 = 2*b. Let k = -139 + b. Is k a prime number?
True
Suppose 20 = 4*r + 2*d - 2, 0 = -r - 4*d + 23. Let j be r*((-328)/(-3) - -3). Let i = -192 + j. Is i prime?
False
Is -5 + 0 - 25/(300/(-137376)) a prime number?
True
Suppose 2*w + y + 2*y - 21 = 0, 0 = -2*w + 3*y + 3. Is (-203)/(-2 + w + -5) a prime number?
False
Suppose -4*z + 3*p + 53 = 0, p = 4*z - 4*p - 43. Is z*-1*(-36 + 13) composite?
True
Let b be (448/21)/(1/(3 + -6)). Let a be (2 + 0)/(2/(-29)). Let g = a - b. Is g a prime number?
False
Suppose 5*a - 60859 = 2*a + 4*o, -4*a + 81144 = -5*o. Is a prime?
False
Let m(s) be the third derivative of s**6/120 + 3*s**5/20 - 13*s**4/24 - 11*s**3/6 - 28*s**2. Is m(-9) a prime number?
False
Let y be 199*5 + (-40)/10. Suppose 3*f - 5*m - y = -m, -2*f + 659 = -m. Is f composite?
True
Let d = 376 + -327. Is d a composite number?
True
Suppose -3*c + 23146 = -u, -16*c = -13*c + 2*u - 23143. Is c composite?
True
Suppose -2*b - 8 + 6 = 0. Let h be b/((1/99)/(-1)). Let z = h - -46. Is z a prime number?
False
Let y(f) = -9 + 10 - 23*f**3 - 5*f + 4*f**3. Let k(o) = 18*o**3 + 6*o - 1. Let h(t) = -5*k(t) - 6*y(t). Is h(2) a prime number?
True
Suppose 12*u - 5449 - 8891 = 0. Is u composite?
True
Let b = -2 + 2. Suppose -2*x = -b*x - 892. Is x composite?
True
Suppose 7*l + 149 = 2. Let f = l + 103. Is f composite?
True
Let v be (10/(-25))/(-1) - 5919/(-15). Suppose 2*c = 3*q + v, 3*c - q - 242 = 354. Is c prime?
True
Let p = 7 - 49. Let h = 77 - p. Is h a prime number?
False
Suppose 0 = -2*x + v + 1211, 0*x = -x - 4*v + 619. Suppose -5*i + x + 228 = 0. Is i composite?
False
Let u(h) = -5*h - 6. Let w be u(-7). Let g(r) = w*r - 2*r - 5 - 2*r. Is g(4) composite?
True
Suppose -h + 12 = 3*h. Let t = 6 - h. Suppose f = t*c - 69 - 196, -5*c - 5*f + 455 = 0. Is c composite?
False
Let g(m) = -m**3 + m**2 + m + 5. Let u be g(0). Suppose -10 = u*h - 15. Is h/((-3)/(-1113)*1) a composite number?
True
Suppose 5*c = 5*q - 25, 3*q + 0*c = c + 11. Suppose 0 = q*w + 4*l - 2*l - 3199, 2*l + 2146 = 2*w. Is w prime?
True
Let l(f) = f - 10. Let m be l(13). Suppose 2*u = m*c - 3*u - 130, -120 = -2*c - 5*u. Suppose 5*a - c = -0*a. Is a a prime number?
False
Suppose -12 + 22 = 2*b. Suppose -3*d = -b*d. Is -797*(-1)/(d - -1) composite?
False
Let u(g) = 77*g**2 + 28*g - 20. Is u(-7) a prime number?
True
Suppose 82*o + 203766 = 84*o. Is o a prime number?
False
Let g(l) = 26*l**3 - 2*l**2 + 27*l - 9. Is g(8) a composite number?
True
Let i = -1353 - -5692. Is i composite?
False
Is (2 + -3)*41948/(-4) a prime number?
True
Let f = 1823 + -358. Is f a prime number?
False
Suppose -2*x = -w - 2 + 3, w - 5*x = -5. Suppose -w*v + 3101 = 2*v. Is v a composite number?
False
Let d(k) = -k**2 - k + 371. Suppose -b + 15 = 2*b. Suppose -q - o = -5*q + b, -q = -4*o - 20. Is d(q) a composite number?
True
Suppose 3*i = k + 21 + 260, -i + 2*k + 92 = 0. Is i + 1 - (-24)/12 a composite number?
False
Let l = -12 + 16. Let o(s) = s**3 + 5*s**2 - 6*s. Let a be o(-6). Suppose 2*k - i - 136 = a, 262 = 4*k + l*i - i. Is k a composite number?
False
Let t be 80 + -1 + (-1*6)/3. Let h = t - 56. Is h prime?
False
Suppose 7*x - 4261 = 1640. Is x prime?
False
Let a(n) = -127*n**2 + n + 3. Let r be a(2). Let q = 1546 + r. Is q composite?
True
Suppose -22 + 10 = -4*t. Suppose 2*z - 2179 = -5*c, t*z + c + 3*c = 3265. Is z composite?
False
Let r be (24/(-15) + 2)*5. Let x(q) = -2*q + 6*q**2 + 36*q**3 - 6*q**2 + 3*q**r + 1 - 9*q**3. Is x(3) prime?
True
Let u(p) be the first derivative of -10*p**3/3 - p**2/2 + 6*p - 4. Let a(r) be the first derivative of u(r). Is a(-1) a prime number?
True
Let s = 18 + -15. Suppose 3*z = 4*z - s. Is 2 + (-67 - z)/(-2) composite?
False
Let v(f) = -358*f + 321. Is v(-5) a composite number?
False
Let l(o) = 4*o + 4 - o + 2*o - 6*o. Let z be l(-6). Let v(n) = -n**2 + 14*n - 2. Is v(z) prime?
False
Let j = -30412 - -43559. Is j a prime number?
True
Suppose -x - 3*h + 12536 = 0, 0*x = -2*x + 3*h + 25081. Is x a composite number?
False
Let b = -12 + 102. Suppose 3*m = -0*m - 3*p - 81, -4*p + 47 = -m. Let g = b + m. Is g a prime number?
True
Let p = -45 - -46. Is p - -3 - (-304 - -1) a prime number?
True
Suppose 2*t - 859 = 1651. Is t composite?
True
Let j(n) = -13*n + 1477. Is j(0) a composite number?
True
Is -5*1 - 171212/(-23) composite?
True
Let c = 8741 - 1564. Is c prime?
True
Let s = 35 - 32. Let b(t) = 63*t**3 - t**2 + 1. Is b(s) prime?
True
Let x(d) = 149*d - 17. Is x(20) prime?
True
Let d(y) = 21*y**2 - y + 5. Let i be d(4). Let x be 1*(-6)/(-15) + 792/20. Let w = x + i. Is w prime?
False
Is (-1)/(-5 + 53998/10801) prime?
True
Let z be 0/(0 + -5) - -4. Suppose -a - n + 289 = 0, z*a + a = 4*n + 1445. Is a composite?
True
Suppose 3*w = -2 + 5. Suppose 2*y + w + 5 = 0. Is 44 - (y - 8/(-2)) composite?
False
Let l(i) = 257*i**3 - i**2 - 2*i + 3. Let n be (-9)/3*2/6 - -3. Is l(n) prime?
False
Let d be (-81)/18*2/(-3). Suppose 2*s - 3512 = -4*u - 402, -d*s = -u - 4679. Is s composite?
False
Let p = -28083 + 49340. Is p a prime number?
False
Suppose 22*v - 8*v + 70 = 0. Let k(y) = -107*y + 6. Is k(v) composite?
False
Let i = 10 - 6. Suppose 3*u + 2*m - 6 = 0, -4*u + 16 = -3*u - i*m. Is ((-2)/u)/(1/(-298)) a composite number?
False
Let z(d) = 94*d**3 + 6*d**2 - 10*d + 11. Is z(7) a composite number?
True
Suppose 77 = 4*t - 231. Let f = 114 - t. Let l = f - 0. Is l a prime number?
True
Let d be (10 - -25) + (1 - 3). Let a = d - -50. Is a a prime number?
True
Let r(d) = 190*d**2 - 77*d + 20. Is r(7) a composite number?
True
Suppose 8*k - 42118 - 19234 = 0. Is k a prime number?
True
Suppose 0 = -13*s + 78026 + 39845. Is s a prime number?
True
Suppose -2*f = -f - 4, 20 = 2*i + 5*f. Suppose i = 3*l - 327 - 786. Is l a composite number?
True
Suppose 4*p + 3*f - 9389 = 0, 5*p - 9210 = f + 2512. Suppose k - 4*k - 2*g = -p, 3132 = 4*k + 4*g. Is k composite?
True
Let l(y) = 25*y**2 + 2. Let p be l(-2). Suppose p = o - 17. Is o composite?
True
Let s(w) be the third derivative of -25*w**4/8 - 4*w**3/3 + 9*w**2. Is s(-5) a prime