e 2*x - 13039 = v, 2*x + 2*x = -v + p. Is x a prime number?
True
Suppose -4*d - 15*d + 4468553 = 0. Is d prime?
False
Let c = -960112 - -1602833. Is c a prime number?
False
Let w = -79 + 81. Let g(o) = 113*o**2 + 1. Is g(w) a prime number?
False
Suppose -135*h + 138*h = 117. Suppose -170054 = -h*w - 26261. Is w composite?
True
Let p(s) be the second derivative of 25*s**3/2 + 79*s**2/2 + 108*s. Is p(21) a composite number?
True
Suppose 117 = 4*r + 389. Let v = -66 - r. Suppose 2*n + 3*b - 2189 = 0, 4333 = 4*n - v*b - b. Is n a prime number?
True
Let j(k) = 34934*k**2 - 13. Is j(3) composite?
True
Suppose 2904937 = 22*m - 10710797. Is m composite?
True
Let r(t) = -t**3 - 41*t**2 - 60*t - 97. Let k be r(-41). Suppose o + 2*s = k, -3*o + 249 + 6790 = -4*s. Is o a prime number?
False
Let p(z) = 31*z**2 + 34*z + 1. Let b be p(-14). Let x = 97 - 58. Suppose x*a - 36*a - b = 0. Is a a composite number?
False
Suppose -83*x + 86952 = -82*x. Suppose 4*r = -3*a + x + 142075, -3*r = -a - 171754. Is r a composite number?
True
Suppose 5*n - 17*n - 20*n = -1208992. Is n composite?
False
Let p(o) be the third derivative of o**6/8 + o**5/12 + 5*o**4/24 - 17*o**3/6 - 20*o**2. Is p(6) a composite number?
False
Let y(t) = -t - 8. Let m(c) = 4*c + 31. Let z(n) = -2*m(n) - 9*y(n). Let f be z(-5). Suppose f*g = 11849 + 996. Is g a prime number?
False
Suppose 15*j + 11 - 56 = 0. Suppose 4208 = -j*c + 15599. Is c a composite number?
False
Suppose -7301 = -h - 4*a + 4964, -61391 = -5*h + 2*a. Suppose -b + 6*b - 15380 = -5*k, -4*b + h = -5*k. Is b a prime number?
False
Let m = 27 + -74. Let f be m/4*(-152)/19. Suppose -f = -3*z + 80. Is z composite?
True
Let k(f) be the first derivative of -421*f**2 + 32*f - 25. Let i be k(-8). Suppose 2*w = 5*r + i, -2*w + 5*w - 10161 = 3*r. Is w a composite number?
False
Suppose -2553 = -5*y - k, -5*y = -8*y - 3*k + 1527. Let v = y - -556. Is v composite?
True
Let x = 52376 + -3409. Is x a composite number?
True
Let u = 927 + -418. Let t = -349 + u. Let c = -33 + t. Is c a prime number?
True
Let x(c) = 38759*c**2 + 25*c - 7. Is x(1) a composite number?
True
Let j(m) = 10*m - 28. Let w(y) = -11*y + 27. Suppose 0 = -6*b - 15 - 3. Let q(i) = b*w(i) - 4*j(i). Is q(-14) a prime number?
False
Let m(g) = 932*g + 345. Is m(22) a prime number?
True
Let t(d) be the first derivative of 53/2*d**2 + 9 - 10*d. Is t(9) a prime number?
True
Let q(u) = -2*u - 46. Let n be q(-22). Is n/(-10) - (1920912/(-40) + 6) composite?
False
Let b(x) = -x**3 + 9*x**2 - 6. Suppose 20*h - 22*h = -18. Let n be b(h). Is -1 - -4 - n*3 a prime number?
False
Let s = -21239 - -39186. Is s a composite number?
True
Let n(h) = 4806*h - 11. Let j be n(1). Suppose -3*l = -4*u - j, 6 - 1 = -5*u. Is l prime?
True
Let g = 469 - -529. Let s = -681 + g. Is s a composite number?
False
Let a(i) = 23*i**3 + 4*i**2 - 5*i + 12. Let u be a(12). Suppose 6*p = 2*h + 8*p - u, 0 = 2*h - p - 40287. Is h composite?
True
Let o = 333 + -329. Let n(p) = 166*p**2 + 21*p - 107. Is n(o) composite?
False
Suppose -a + 82891 = 4*g, -3*a = 9*g - 4*g - 248673. Is a composite?
False
Let s(j) = -3016*j**3 - j**2 - 13*j - 13. Is s(-2) prime?
True
Let i = 81538 - -26919. Is i a composite number?
False
Let f(d) = 4429*d**2 + 97*d + 559. Is f(-6) a composite number?
False
Let p(y) be the third derivative of 1/5*y**5 - 1/6*y**4 + 0 - 19/6*y**3 + 7*y**2 + 0*y. Is p(7) a prime number?
True
Let i = 449926 - 40349. Is i a prime number?
False
Let s(l) be the first derivative of -l**3/3 - 13*l**2/2 - 13*l - 12. Let x be s(-10). Suppose x*a - 2985 - 4648 = 0. Is a a prime number?
True
Suppose -3*k = -28*k + 175. Suppose -k*a = -8*a + 9311. Is a prime?
True
Let j(o) = 4*o**2 + 13*o + 1. Let w be j(-3). Let z be -5*(0 - 2/2). Is 0 - w - (-1576 - z) a composite number?
False
Let a be 30/(-40)*(-8)/2. Let s be (a/(-2))/((-15)/20). Suppose s*z - 6*z = -2356. Is z prime?
False
Suppose -y + 2423639 = z, 3*y - 10*z = -12*z + 7270913. Is y prime?
False
Suppose 0 = -3*s + 2*s - 2*l + 931, 0 = -s + 5*l + 903. Suppose -5*o = 3*m - s, -4*m + 2*m - 8 = 0. Suppose 2*t + 2*c = 803 + o, t - 503 = -5*c. Is t composite?
True
Let j = 8481 - 5104. Is j a composite number?
True
Suppose -5406701 = -304*y + 39292547. Is y composite?
True
Suppose -49*c + 627921 = 18*c - 4*c. Is c composite?
False
Let q = -7 - -15. Let o be 546/24 - (-2)/q. Is -3 + (-4 - o)*-20 composite?
True
Let v(c) = -3*c - 34. Let r be v(-12). Suppose -2*m - r*m - 4979 = -5*i, -5*m = -2*i + 1995. Suppose -d + i = -540. Is d prime?
False
Let k(d) = -d - 42. Let w be k(0). Let c = 44 + w. Suppose 12*z - 7294 = -c*z. Is z composite?
False
Suppose -2*j - 3 = -z + j, 5*z + j - 95 = 0. Let d(u) = 2 - 6 + 70*u - 72*u + 2*u**3 + z*u**2. Is d(-9) composite?
True
Let c be 2*(-12)/(-5)*(2 - 27). Let w be ((-3456)/c)/((-2)/(-20)). Suppose 0 = -5*b - w + 10313. Is b prime?
False
Let c(p) be the first derivative of p**3/3 - 9*p**2/2 + 4*p + 9. Is c(-17) prime?
False
Suppose -4*l - 66 = -5*t, 5*l = -6*t + 2*t + 20. Is -3*(3 + t/(-3) + -1155) a prime number?
False
Let u(f) = 1. Let m(w) = -950*w - 30. Let d(t) = -m(t) + 25*u(t). Is d(9) prime?
False
Let c = -464 + 8823. Is c a composite number?
True
Let u be (26/2)/(1*(-3)/258). Let v = u - -2766. Suppose -g - 111 + v = 0. Is g prime?
False
Let b(y) = -y**3 - 4*y**2 + 93*y - 34. Let a be b(-12). Is 1921 - 4/a*5/(-5) prime?
False
Let a(l) = l**2 + 22*l - 91. Let k be a(-26). Suppose -k*h + 16*h = 3*x + 340707, 3*h + 4*x = 340693. Is h prime?
True
Let g(p) = 758*p - 367. Is g(25) a prime number?
True
Let s(x) = x + 19. Let p be s(-8). Suppose -b + 3*b = -3*i + p, 0 = 4*i - 20. Let d = 495 + b. Is d prime?
False
Let y = -7477 - -13160. Is y a composite number?
False
Let i = -2297 + 937. Let m = -2461 - i. Let s = m + 1622. Is s a prime number?
True
Let h = 75274 + -26369. Is h prime?
False
Suppose -907695 - 29755990 = -65*t. Is t a composite number?
False
Let m(c) = -78*c**2 - 9. Let x be m(-3). Let r be (x/(-18))/(1/12). Suppose -t - r = -o - 6*t, 5*t + 5 = 0. Is o prime?
True
Suppose 0 = -5*t - 15, 4*k + 3 = -t - 0. Suppose k = 5*b - 125241 - 22424. Is b a prime number?
False
Let o = -327632 + 466710. Is o prime?
False
Suppose 5*v = 9*v - 36. Suppose 0 = j + v*j - 85960. Suppose -4*x + 0*x + j = 0. Is x composite?
True
Is (-2)/(-6) - (-1)/(-3)*(-317099 - -87) a prime number?
False
Suppose 3*r + 2*r - 15 = 0. Let m = 697 - 698. Is (r + m)/(3/((-33576)/(-16))) a prime number?
True
Let u(d) = -d**2 + 10*d - 7. Let m be u(7). Let s(o) = o**3 - 15*o**2 + 15*o - 4. Let b be s(m). Suppose 1868 = b*c - 1042. Is c a composite number?
True
Suppose 16*p = -4*p + 140. Suppose -7*i + 52654 = p*i. Is i prime?
True
Suppose 5*r - 66 = -2*u + r, -3*u + 59 = -4*r. Suppose 3261 = u*l - 22*l. Is l a prime number?
True
Let i(b) = 65*b**2 + 21*b - 1453. Is i(75) composite?
False
Let m be (-18)/(-4) + 42/(-28). Suppose 0 = 2*z, 0 = -r + m*z - 1305 + 4316. Is r prime?
True
Let v(b) = -43*b**3 - b**2 + 6*b + 3. Suppose -3*r = -12 - 3. Suppose -5*j = -3*t + 19, 2*t - 5*t = r*j + 1. Is v(j) a composite number?
False
Let g = -39 - -42. Suppose 0*n = g*n - 0*n. Suppose -5*u + 91 + 3064 = n. Is u a composite number?
False
Let q(p) = 5*p**2 - 31*p + 19. Let d(j) = 9*j**2 - 61*j + 38. Let r(x) = 3*d(x) - 5*q(x). Let c be r(18). Let t = 282 + c. Is t prime?
False
Suppose -6*p - 8670 + 78144 = 0. Is p a composite number?
False
Suppose -2*f - 12060 = 12*h - 15*h, 3*f + 16081 = 4*h. Let k = h - 2109. Is k a prime number?
False
Suppose -3*j = -0*j - 57751 - 221390. Is j prime?
True
Let n be 273/(-182)*7*(-4)/6. Is 11020/(n/7) - (-2 + 3) prime?
False
Is 34291740/168*6/5 a composite number?
True
Suppose 31*f - 39310 = 26*f. Let t = f - -6989. Is t a composite number?
False
Suppose 3*u - 550980 = 3*k, -182*u + 187*u - 3*k - 918302 = 0. Is u a prime number?
True
Let u = -35 + 39. Let y(v) = 22 + 3*v**3 - v - 5*v - 2*v**2 - 4*v. Is y(u) composite?
True
Let f be 489*(-4 - (-220)/15). Let q = -2757 + f. Is q a composite number?
False
Is 138055*-14*(-11)/770 composite?
False
Let i be 2/((-35)/5*4/(-14)). Is ((506/4)/(-1))/(i/(-2)) a prime number?
False
Is ((-625971)/27)/(1016/(-72) - -14) prime?
True
Suppose 8*f + 11*f - 38 = 0. Suppose -f*m = -25*j + 20*j - 9477, -2*m - 4*j + 9