ber?
True
Let d(h) = 92*h**2 - 8*h - 3. Is d(-7) prime?
True
Suppose 5*y = 4*r - 43 + 3, 5*r - 2*y - 33 = 0. Suppose -2*k = 5*k - 63. Is r*(1 + 1 + k) a prime number?
False
Is (60887/(-2))/((34/(-4))/17) a composite number?
False
Let g = 110 - -1328. Let u = 279 + g. Is u a prime number?
False
Let f(d) = 18*d**3 + d**2. Let r(n) = -5*n - 1. Let b be r(1). Let c = b + 7. Is f(c) prime?
True
Suppose -2*a = -360 - 748. Suppose -2*c = n - 4*n - 289, -2*n + a = 4*c. Let g = -87 + c. Is g prime?
True
Let g(s) = s + 17. Let v be g(-11). Let r be ((-1035)/v)/3*-16. Suppose r = 4*k + 4*f, 4*k + 618 = -5*f + 1535. Is k composite?
False
Let s(p) = -880 + 897 - 8*p + 513*p**2 - 3*p. Is s(2) composite?
True
Let z be 780/(-55) - (-4)/22. Let r = -2 - z. Suppose 0 = v - 3*v + r. Is v composite?
True
Suppose -5*x = -2*r + 62480, -2*r - r = 5*x - 93695. Is r a composite number?
True
Suppose -2*q + 20 = 12. Is q/22 + (2 - (-8818)/22) a composite number?
True
Let z = 3 + -4. Let l be (z - -1) + -1 + 3. Suppose l*q + 314 = 4*q. Is q composite?
False
Suppose 4*g = 2*r - 95982, 3*r + 57*g - 60*g = 143961. Is r a prime number?
False
Let t = 24 + -46. Suppose -18 - 12 = -i + k, -2*k = -5*i + 159. Let n = i + t. Is n a prime number?
True
Let o = 3830 - 2289. Is o a composite number?
True
Let g(r) = r + 50. Let u be g(0). Suppose -5*k = 6*k - 781. Let f = k - u. Is f composite?
True
Let y = 166 + -143. Suppose 0*v - i + 49 = 2*v, 0 = 2*v - i - 59. Suppose -y*b + v*b - 356 = 0. Is b composite?
False
Let q = 4521 - -8572. Is q composite?
False
Let t = 355 + -357. Suppose -13 = -2*n + 3. Is (t - 0) + 984/n a prime number?
False
Let s(o) = -o**2 - 18*o - 50. Let h be s(-15). Is 0 - (-6)/15 - 6803/h prime?
True
Let k(g) = -4*g - 30. Let a be k(-6). Let l(x) = 36*x**2 + 8*x + 11. Is l(a) prime?
True
Let d = 64298 - 35601. Is d a prime number?
True
Is (-4 + 876981/(-7))*(-3)/3 a prime number?
True
Suppose -3*b - 1313 = 4*h - 2*b, 2*b = 2*h + 664. Let p = -1662 + 1176. Let x = h - p. Is x composite?
False
Let n(x) = -5*x**3 + 1. Let g be n(1). Let z(b) = -b**3 + 3*b**2 - 4*b + 3. Is z(g) a composite number?
False
Let i = -13 - -18. Suppose i*d + 3*r + 2*r - 160 = 0, -24 = -d + r. Suppose -2*m + 46 = -d. Is m a prime number?
True
Let k(u) = 2*u**3 - 14*u**2 - 46*u + 17. Is k(16) a composite number?
False
Let i(m) = -11*m**3 + 15*m**2 + 4*m + 115. Is i(-16) prime?
True
Suppose -358 = -11*t + 3096. Is t a prime number?
False
Let d = 30 + 86. Suppose -126 = 5*a - 2*a. Let o = d + a. Is o composite?
True
Suppose 493 + 577 = 5*c. Suppose -3*v - 3*p + c + 236 = 0, 0 = -2*v + p + 297. Is v prime?
True
Suppose 0 = 3*s + 2*s. Suppose s = 3*o - 5*o + 8. Suppose -o*l - 30 = -3*q + 67, 177 = 5*q + l. Is q composite?
True
Let h(v) = 34*v**2 - 37*v + 38. Is h(9) composite?
False
Let u(n) = -n**2 + 11*n - 4. Let a be u(10). Let h(d) = 82*d + 5. Let l(g) = 1. Let o(r) = h(r) + 2*l(r). Is o(a) a composite number?
False
Let h(w) = -w**3 - 11*w**2 - 13*w + 3. Suppose 1 + 7 = 4*g. Suppose 5*b + 60 = 5*a, 26 = -3*b - g*a - 0. Is h(b) a prime number?
False
Let l(c) = -23*c + 57*c + 5 - 442*c. Is l(-2) a composite number?
False
Is (3 + 67025/7)/2 a prime number?
True
Suppose -3*h - 5559 = -2*h. Let c = h + 10592. Is c composite?
True
Let w(x) be the second derivative of 11*x**4/12 - 5*x**3/6 - 17*x**2/2 - 18*x. Is w(11) a composite number?
False
Suppose 3*f - 5*t - 4992 = -f, t = 2*f - 2490. Is f prime?
False
Suppose 4*r - 48 = -4*r. Suppose 2*i - 112 = -r*i. Is i a prime number?
False
Suppose -4*r = -8, -2*r - 3*r - 946 = 4*v. Is (v/(-3))/((-19)/(-171)) a prime number?
False
Let j(m) = m**2 + m + 4. Let s be j(-3). Suppose h + s = 29. Suppose 172 - h = 3*u. Is u composite?
True
Let i(s) = -54*s**3 - 3*s**2 - 15*s + 1. Is i(-3) prime?
False
Let b(d) = 1. Let z(s) = 6*s + 108*s + 20*s - 3. Let q(g) = -4*b(g) - z(g). Is q(-2) a prime number?
False
Suppose 4*n - 3*l + 9 = 0, -l + 2 + 1 = -3*n. Let b be n/(-6) + -2 + 241. Is b/2 - 9/(-6) composite?
True
Suppose -25 - 55 = -4*t. Let f be (3/(-1))/((-30)/t). Is (67/(-4))/(f/(-16)) a composite number?
True
Let k be 0 - 6 - (3 + -3). Let t(v) = 6*v**2 + 3*v - 4. Is t(k) a prime number?
False
Let f(l) = 328*l**3 - 12*l**2 - 7. Is f(5) a prime number?
True
Let c = 71 - 39. Let g be c/6 + (-4)/(-6). Suppose -3*j + g*j - 30 = 0. Is j prime?
False
Suppose 5*k - 15 = 0, 4*s + 6*k - k = 31. Suppose y - 963 = -5*l, -s*y - 4*l = -4605 + 785. Is y a composite number?
False
Is (-2519 + -12)*(-2)/2 a prime number?
True
Let j(y) = 125*y + 38. Let c be (-1)/(40/45 + -1). Is j(c) prime?
True
Suppose -1100 = -z + 81. Is z a prime number?
True
Suppose -13*j + 12*j + 81 = 0. Let r be (4/6)/(3/j). Suppose -r = i - 97. Is i a prime number?
True
Suppose 0 = -319*u + 313*u + 11922. Is u a prime number?
True
Is (49604/6)/(14*(-16)/(-336)) prime?
True
Let p(c) = 2*c**3 - 13*c**2 - 4*c + 13. Let o be 130/14 - (-2)/49*-7. Is p(o) composite?
True
Let x = -11 + 1. Let k be 2 - x/4*2. Suppose -2*l = -k*l + 265. Is l a composite number?
False
Suppose 87 + 623 = 2*h. Is h a prime number?
False
Let t(m) = -m**2 - 6*m - 15. Let g be t(-6). Let s = -15 - g. Suppose -2*p = -2*f + 40, s*f = 3*f - p - 58. Is f a composite number?
False
Suppose 53 + 171 = 7*a. Suppose 0 = 24*p - a*p + 11656. Is p a composite number?
True
Let w = 52470 + -35851. Is w composite?
False
Let c be (-24)/8*(4 + 1). Let a(w) be the second derivative of w**5/20 + 17*w**4/12 + 5*w**3/3 + 7*w**2/2 - 22*w. Is a(c) a composite number?
False
Suppose 4*f + 433 = 89. Is -13*(-6)/((-12)/f) a prime number?
False
Is 585726/54 - (16/36)/(-2) prime?
True
Suppose 10*y - 11 = -y. Is 4757/15 + y*8/(-60) a composite number?
False
Suppose -19*s + 125181 = -10*s. Is s a prime number?
False
Let u(r) = 49*r**2 - 59*r + 5. Let x(o) = -25*o**2 + 29*o - 3. Let m(y) = -4*u(y) - 9*x(y). Is m(10) a composite number?
False
Let i(s) = 10*s**3 + 2*s**2 - 5*s - 2. Let y be i(5). Let b(m) = m**2 - 58*m + 36. Let w be b(22). Let h = w + y. Is h composite?
True
Let c be (-10)/(-1)*(-5936)/32. Let x = c - -2822. Is x a prime number?
True
Suppose 1808 - 126 = 2*t. Is t a composite number?
True
Suppose -y = -m - 44, -m - 3*m - 173 = -5*y. Let z = 3 - m. Is ((-138)/(-5))/(20/z) prime?
False
Let k(v) = -726*v**3 + 3*v**2 - 3*v - 2. Let f be k(2). Is f/(-14) - ((-10)/7 + 1) composite?
True
Let h be 4/(14/6 - 3). Let m = -7 - h. Is (m + 0)*(-81 + 7) a prime number?
False
Suppose -2*s - b + 56120 = 0, -b + 56128 = 2*s - 4*b. Is s a composite number?
True
Suppose 0 = 5*v - 3*f - 2222, -9*v + 5*f - 450 = -10*v. Is v composite?
True
Suppose -5*o = -2*o + 4*q - 76, -3*o + q + 56 = 0. Suppose o - 4 = -4*z. Is 3*-107*z/6 a prime number?
False
Let b(u) = -u**2 + 4*u. Let y be b(4). Let s(z) = -z**2 - 38*z - 37. Let i be s(-15). Suppose y = w - i + 21. Is w prime?
False
Let h(o) = -o**2 + 1. Let p(c) = -3*c**2 - 6*c + 2573. Let s(b) = -4*h(b) + p(b). Is s(0) prime?
False
Suppose -4*o - 4*w + 4 = 0, -3*o = -w + 6*w - 5. Suppose o = -4*v + 5839 + 2757. Is v prime?
False
Let a(o) = -o**2 - 4*o. Let f be a(-4). Suppose -4*j = -f*u - 3*u + 387, 5*j = -u + 129. Suppose 5*q = -u + 764. Is q prime?
True
Suppose 0 = -9*c + 7*c + 12. Is c/(-8) + (-5705)/(-28) a prime number?
False
Suppose 0 = 5*s - 4*y - 26, 9*s - 4*s + y = 6. Suppose 0 = -0*t + 2*t + s. Is (t/(-2))/(1/230) prime?
False
Suppose -z = 2*a - 5*a + 11, -3*a - 4*z + 1 = 0. Suppose 6*n + a*n - 4743 = 0. Is n a composite number?
True
Suppose 9*o = 12*o - 19695. Suppose -10 = -4*n - n, -s = 3*n - o. Is s a composite number?
True
Suppose t - 42 = -2*t. Suppose 15*u - t*u = 1973. Is u a prime number?
True
Let n = 16211 + -9826. Is n composite?
True
Let v be 78/24 - 6/(-8). Suppose -53 = -v*d + 935. Is d composite?
True
Suppose 3*x - 4*x - 502 = f, 0 = -f + 2*x - 502. Let d = f + 831. Is d a prime number?
False
Suppose -z + 4*b - 3 = 2, -5*b + 64 = -4*z. Suppose 9*f - 163 - 89 = 0. Let u = z + f. Is u a composite number?
False
Suppose -24 = -6*q - 6. Let a be q/2*40/(-15). Is 561 - (-8)/(a - -2) composite?
False
Let c(n) = -23*n - 11. Let u(r) = -69*r - 32. Let j(s) = 8*c(s) - 3*u(s). Let h be 1 - (12*1)/(-1). Is j(h) a prime number?
True
Suppose 4*b - 45 = -13. Suppose -b = -q - 4. Suppose -219 = f - 3*f - h, 2*f + q