5*x + 22299. Is x composite?
False
Let v be -1 + 1 + (-5 - -6). Is (-388)/(20/(-5))*v a composite number?
False
Let n be 2 + 8/(-4) - 0. Suppose -k - k + 4 = n. Suppose 3*s - 317 = k*s. Is s prime?
True
Let a(r) = 14*r**3 - r**2 - r - 1. Let t be a(-1). Let p(i) = -2*i**3 - 18*i**2 - 13*i - 32. Is p(t) a composite number?
True
Is (-1*1)/((77/4417)/(-11)) a composite number?
False
Suppose -2*b + 14704 = 14*b. Is b prime?
True
Suppose -5*o - 13 + 8 = 0, -5*o - 3807 = -2*g. Is g prime?
True
Suppose m - 5906 = -2*i, 5*i - 3*m = i + 11822. Suppose 11659 = 5*t - 2*x, -630 = t - 3*x - i. Is t a composite number?
False
Let v(r) = r**3 + 7*r**2 - 16*r + 9. Let z be v(-9). Let p = z + 20. Let n = p + 8. Is n composite?
False
Suppose -1698 = -4*y + 3746. Is y composite?
False
Let r(u) = 32*u - 5. Let v be ((-7)/14)/(1/(-200)). Let j be v/15 - 3/(-9). Is r(j) a composite number?
True
Suppose 3*u - 625 = s, 2*u = 3*s + 1800 + 61. Suppose -4*t + 3*r + 4092 = 0, -r + 2036 = -t + 3*t. Let b = s + t. Is b prime?
True
Let i(w) = 67*w**2 + 29*w - 151. Is i(29) a prime number?
True
Let z(m) = -3*m - 15. Let l be z(-9). Suppose -n + 3 = -0*n, -l = g - 4*n. Suppose g*k = 4*k - 332. Is k composite?
False
Let x(w) be the third derivative of -3*w**4/4 - 5*w**3/3 - 33*w**2. Is x(-4) composite?
True
Let t = 1236 - -2141. Is t a composite number?
True
Suppose -2*n + u = 2*u - 189, n + 4*u = 77. Is n a prime number?
True
Let a(i) = -i**2 + 6*i + 8. Let y be a(7). Let o(c) = 1. Let u(q) = 654*q - 5. Let t(x) = 4*o(x) + u(x). Is t(y) a prime number?
True
Is (-848)/(-318) + (-7045)/(-3) a prime number?
True
Let d be (-112)/(-21)*(-9)/(-6). Suppose 5*b - 2 = d. Suppose -5*o = 3*a - 0*o - 1529, -a + 495 = -b*o. Is a a composite number?
False
Let n(v) = -v**3 - 5*v**2 - 2*v + 5. Let f be n(-4). Let m(g) = 18*g**2 + 1. Let l be m(f). Is (0 - (-8)/(-2)) + l prime?
False
Let k(x) = -4*x**3 + 9*x**2 - x + 1. Let f be k(7). Let j = -659 - f. Is j prime?
False
Let z = 29 - 4. Suppose 274 - z = 3*w. Is w prime?
True
Suppose -4*i - 4*q = -22784, -2*q = 4*i - 1240 - 21554. Is i a prime number?
True
Suppose 24*a = 73009 + 15287. Is a a prime number?
False
Suppose 6*n = 11*n - 16565. Let q = n + -2162. Is q a composite number?
False
Let d(f) = f**2 - 11*f + 13. Let b be d(10). Let n be 0 - b - (-933)/3. Suppose -n = -5*h + 137. Is h composite?
False
Let p(q) = -155*q + 78*q + 157*q**2 + 85*q + 10. Is p(-3) composite?
False
Is (-2 - -7) + -1058*3*-2 a prime number?
True
Let j be (-1)/5 + 12702/10. Suppose 2*u + j = 4*u. Is u a composite number?
True
Suppose -4*p + 3576 = -0*p. Suppose 20 = -4*a, -j + p = a + 4*a. Is j a prime number?
True
Suppose d + 24 - 77 = 0. Let f be (-66)/(6*1/(-4)). Let l = d + f. Is l a prime number?
True
Suppose 0*o - o + 376 = 2*p, -2*o - 760 = -4*p. Suppose -1467 = 4*c + p. Is ((-9)/(-27))/((-2)/c) a composite number?
True
Suppose 0 = 5*s - g - 63513, -s + 5*s - 3*g = 50806. Is s composite?
False
Let p(o) = 2160*o**2 - o. Let b be p(-1). Suppose -5*j = -84 - b. Is j prime?
True
Let k = 27 - 27. Suppose -4*h = n - 2*n + 403, k = -5*h - n - 506. Let b = h + 436. Is b composite?
True
Let b = 83 + -74. Let l(v) = -v**3 + 17*v**2 + 19*v - 20. Is l(b) a prime number?
False
Let s be (3/4)/((-5)/20). Let a = s + 36. Is a prime?
False
Let v be -9*1 - (-3 - -2). Let r be 0/(-3 - v/4). Is (r + 43)*3/3 composite?
False
Suppose 0 = w + 2*d - 64637, -5*w + 11*d - 8*d = -323224. Is w a composite number?
True
Suppose -4*j = u + j - 7, 4*j = u + 2. Is 11976/40 - u/5 a composite number?
True
Let c = -156 - -263. Suppose 0 = n - 4*n + 6. Let l = n + c. Is l a prime number?
True
Let s(x) = -228*x + 115. Is s(-22) a composite number?
True
Let b(o) = o**2 - 3*o - 6. Let a be b(5). Let v(h) = -h**3 + 5*h**2 - 6*h + 8. Let d be v(a). Is d + 24*1 + -3 prime?
False
Let b be (6/(-4))/((-1)/2). Let c(f) = -2*f**3 - 2*f - 2. Let z(j) = -2*j**3 - 2*j - 3. Let w(a) = b*z(a) - 4*c(a). Is w(3) a composite number?
False
Let g(h) = 3*h**3 - 46*h**2 + 845*h + 11. Is g(14) prime?
True
Suppose 5*b + 15 = 0, -b + 19 = 2*o - 6*b. Suppose 23 + o = 5*g. Suppose -308 - 287 = -g*v. Is v composite?
True
Suppose -u + 3*f = -21529, 13*u - 16*u + 5*f + 64571 = 0. Is u a prime number?
True
Let f(y) be the second derivative of 1/4*y**4 + 9/2*y**3 + 0 - 11/2*y**2 + 9*y. Is f(-14) a prime number?
True
Is 11*14 - (-5)/((-45)/(-27)) a composite number?
False
Let w be 10/6 - (-1 - (-4)/6). Suppose 0 = 3*i - 9, w*y + 4*i = -0*y + 2234. Is y a prime number?
False
Let n = 27 - 36. Let m be (-6 + 1)*(n + 11). Is ((-315)/m)/9*22 a composite number?
True
Suppose 9596 + 24836 = 2*q - 2*z, 2*z - 51623 = -3*q. Is q a prime number?
False
Is ((-2819)/(-5))/((-7)/(-175)) prime?
False
Let q be -3 + 0 + 6 + 4. Suppose 10*b = q*b. Suppose b = 2*n + 3*n + x - 808, -x + 486 = 3*n. Is n composite?
True
Let y(s) = 15*s**2 + 13*s + 6. Let p(z) = -29*z**2 - 25*z - 13. Let o(m) = -3*p(m) - 5*y(m). Is o(-6) composite?
True
Let m = 732 + 627. Let w = -145 + 2381. Let l = w - m. Is l a composite number?
False
Let l = 24 - 20. Is (-4570)/(4/(1/(-2)*l)) prime?
False
Let p(g) = g**3 - 5*g**2 + 3*g. Let s be 2/(-4) - 22/4. Let v(o) = -o**2 - 7*o - 1. Let w be v(s). Is p(w) a prime number?
False
Suppose 4*m - 17*m = -104429. Is m composite?
True
Suppose -2*p + 3*r = p - 21, 4*p = -2*r - 2. Suppose -p*o + 1 + 5 = 0. Is -3 - o/(6/(-116)) a prime number?
False
Let i be 195/6*(-4)/5. Let n = -14 - i. Suppose -15*k + n*k + 753 = 0. Is k a prime number?
True
Let s be (-14)/((3 - 0)/(-3)). Let l(u) = s + 3*u**2 - 7 - u**2 - u**3 - 4*u. Is l(-6) composite?
True
Suppose -23*z = -21*z - 1042. Let f = z - 256. Is f a prime number?
False
Let k be (3/6)/(2/1848). Is 5/25 - k/(-15) a prime number?
True
Suppose -3*f - 7 = x, -5*x - 15 - 20 = 4*f. Let p(h) = -h**3 - 6*h**2 + 9*h + 9. Let b be p(x). Is (-905)/b + 3 + 1 a prime number?
False
Let p = -9 - -5. Is (-2934)/(-10) - p/(-10) prime?
True
Let f = 91 + 203. Suppose h = -h - 334. Let v = h + f. Is v prime?
True
Suppose -38 - 32 = 5*s. Let n be 147/14*s/(-3). Let t = n + -15. Is t composite?
True
Suppose -121525 = 159*b - 164*b. Suppose -m - b = -6*m. Is m prime?
True
Let b(x) = 21*x**2 + 3*x + 2. Let z = 9 + -10. Let d be b(z). Is (d/8)/(1/74) a composite number?
True
Suppose -2350 = -7*q + 2*q. Let k = 801 - q. Is k composite?
False
Let k = -13 + 21. Suppose -f + k = -3. Let q = -1 + f. Is q a prime number?
False
Is (3 - (-5994)/(-12))*(-12)/9 prime?
False
Let l = 624 + 215. Is l composite?
False
Suppose -x = p - 2, 0 = p - 2*x - x - 6. Suppose -2*l = -p*k + l + 1329, -5*l - 1323 = -3*k. Suppose -z - k = -3*z. Is z a prime number?
True
Let w = 2076 - 955. Is w prime?
False
Let h(x) = -3*x**3 + 8*x**2 - 7*x - 9. Let u(n) = n**3 - n**2 + n + 1. Let r(z) = -h(z) - 4*u(z). Let j be (-576)/(-128)*(-4)/3. Is r(j) composite?
False
Let h = 27 + -25. Let w be h/4 + 1926/4. Suppose 0*o - 4*o + 1012 = -2*r, 2*o - w = -5*r. Is o a composite number?
False
Is 1085 + 20/(-12 - -7) prime?
False
Let j(n) = -n**2 - 2*n + 3. Let g be j(-2). Suppose -5 = -c, -g*k + c + 29 = 2*c. Suppose 5*s - 5*r = 0, -3*r = -s - 4*r + k. Is s prime?
False
Let c = 4333 - 486. Is c prime?
True
Let k(c) = -18*c**3 + 3*c**2 - 3*c - 3. Let d be k(-3). Is d/(-2)*182/(-39) a composite number?
True
Suppose 2*t = w - 2*t - 4279, -3*w = t - 12811. Is w a prime number?
True
Suppose 0 = -13*f - 21092 + 145723. Is f a composite number?
False
Suppose -15 - 9 = -6*n. Suppose -4*z + 8 = 0, -5*u = -10*u - n*z + 6583. Is u a composite number?
True
Suppose -3*p + 5*x = 7*x - 12219, -3*x - 4073 = -p. Is p a composite number?
False
Suppose -p + 225 = 2*i - 1285, -p = -3*i - 1490. Is p a prime number?
False
Suppose -10 = 4*b + 2*f, 5*b + 4 = 4*f - 41. Let x = -3 - b. Suppose 339 = o + x*o. Is o composite?
False
Suppose -22*d = -21*d - 1179. Suppose -3*n + 2*k = -d, 2*k = -0*n + n - 397. Is n a composite number?
True
Let c(h) = h**3 + 2*h**2 + 4*h. Let f be c(5). Let y = -78 + f. Suppose -b - y + 336 = 0. Is b prime?
False
Let o = 8298 - 4181. Is o a composite number?
True
Let n = 72 + -61. Let d(b) = 3*b + 16. Is d(n) a composite number?
True
Suppose -5*t - 3*i - 110 = 0, -5*t + 3*i = 61 + 19. Let b = 22 + t. Suppose -2*f - b*f + 635 = 0. Is f a prime number