a prime number?
False
Let s = -29 - -34. Let q(v) = 444*v**2 + 3*v - 10. Is q(s) prime?
False
Let w(h) = -h**2 - 4*h - 3. Let g be w(-4). Let p be (68/3 + 10)*(-3)/2. Let v = g - p. Is v a composite number?
True
Let u = 22627 - 11054. Suppose 4*q = -7*d + 2*d + u, 0 = -5*d + 2*q + 11591. Is d prime?
False
Let b(n) = 17*n**2 + 4*n - 83. Let t(j) = 10*j**3. Let w be t(1). Is b(w) composite?
False
Suppose -6*s = -5*s + 7. Let b(w) = -615*w - 34. Is b(s) a composite number?
False
Let v(c) = 4*c**2 - 131*c + 57. Let u be v(32). Let n = 6953 - -1345. Is 6/u + 2/(52/n) prime?
False
Let q(b) = 23442*b**2 - 801*b - 14. Is q(-5) a composite number?
False
Let x = 24282 - 41894. Let z = 35475 + x. Is z a prime number?
True
Let f(a) be the first derivative of -69*a**2/2 + 41*a + 27. Is f(-28) a prime number?
True
Suppose -5*z + 43 = -5*v - 37, 0 = 5*v - 4*z + 80. Let g(a) = -a - 18. Let s be g(v). Is (s - 84/(-8))*26 a composite number?
True
Let i = 423060 + -217447. Is i composite?
True
Let h be -1 + 16/9 + (-292)/(-1314). Is (-4028)/(-6) + h/(-3) composite?
True
Let v = 4760 + -2427. Is v a composite number?
False
Suppose -13*x = 8*x - 438585. Suppose 0 = -2*a + 15981 + x. Is a a prime number?
True
Suppose -4*p - f + 29342 = -86499, -5*f - 15 = 0. Is p composite?
False
Suppose -11*y + 10*y + 15 = 0. Suppose 5*q + 5 = y. Suppose -m = -3*g - 1592, 0 = q*g - 3 - 3. Is m composite?
False
Suppose l - 45 + 19 = 0. Let z(v) = -82*v - 107*v - l + 50*v. Is z(-5) composite?
True
Let m(z) = -46*z**3 + 30*z**2 + 537*z - 14. Is m(-15) a composite number?
True
Suppose 5*o - 4*c = 839463, 6*c - 335846 = -14*o + 12*o. Is o a prime number?
True
Let v(s) = -15 + 13 + 34 + 10 + 349*s**2. Is v(5) a prime number?
False
Suppose 0 = 2*o + 8, -4*o = -4*s - o + 72. Suppose 17409 = -s*v + 22*v. Is v a composite number?
True
Is 1*(2 - 3)*-102338*38/76 prime?
True
Let m = -31 + 43. Suppose 15 = -z + 4*k, -z + 5*z + m = 4*k. Is 261/(-18)*(-15 + z) prime?
False
Let a = 152 - 123. Let p(u) = 321*u + 224. Is p(a) a prime number?
True
Suppose 1323*l = 1310*l + 5154617. Is l a prime number?
True
Let u = 6 - 5. Let l(g) be the third derivative of 157*g**4/24 - g**3/3 - 49*g**2. Is l(u) a prime number?
False
Suppose 0 = i + 5*g + 19, 0*i = -3*i - 3*g - 9. Let s(v) = 15031*v. Let x be s(i). Suppose 0 = -15*p - 3796 + x. Is p prime?
False
Suppose 14*s - 8*s + 168 = 0. Let m = s - -27. Let g(f) = 2472*f**2 + f. Is g(m) a prime number?
False
Let h be (8/10)/((-2)/(-150435)). Suppose h = 34*p - 25*p. Is p composite?
True
Suppose -7*x + 94015 = t - 2*x, 5*t - 470167 = -2*x. Suppose 73*s - t = 58*s. Is s composite?
False
Is (-52729)/(24/36 + (-30)/18) prime?
False
Suppose 5*u + 64518 = 5*n - 214567, 3*n - 2*u = 167454. Suppose -9*f + n = -24649. Is f prime?
True
Suppose -28*t + 15746954 = 4045315 - 17385349. Is t composite?
True
Is (-1)/(6/1847172)*1/(-2) a composite number?
True
Suppose 26*m - 3146259 + 1152917 = 0. Is m a prime number?
True
Let j be 2*14*(20/(-35))/(-2). Suppose -j*s + 285 = -1771. Is s a prime number?
True
Suppose 2*q = -q - t - 1, 4*q + 4*t = -12. Suppose 3*w + 3*i = 6, 3*i = -q - 5. Suppose 794 = 2*r + w*m, r - 397 = 3*m - 0*m. Is r a prime number?
True
Let w(z) = -z**3 + 15*z**2 + 14*z + 33. Let n be w(16). Suppose 0 = -4*h + n + 19. Let p(i) = 2*i**2 - 5*i. Is p(h) composite?
True
Let t = -19641 + 39554. Is t a prime number?
True
Is (-37)/(481/(-4406220)) - (-26)/(-2) a composite number?
False
Suppose -22*n = -26*n + 16. Suppose -n*k + 1856 + 1772 = 0. Is k composite?
False
Let g(b) = -1209*b**2 - 3*b + 2. Suppose -2*i = 3*x - 7*x + 8, 3*x - 5*i - 13 = 0. Let n be g(x). Let o = n - -1751. Is o composite?
False
Let s(b) = -7*b**2 - 14*b + 7. Let d(o) = -3*o**2 - 7*o + 3. Let c(p) = -5*d(p) + 2*s(p). Let h(r) = -12*r + 201. Let i be h(15). Is c(i) a prime number?
True
Let j be -4 + 2 + 4 - 2. Let w = 1992 + -1203. Suppose o + 3 = j, 4*o = 3*t - 0*o - w. Is t a prime number?
False
Suppose -18*r - 746032 + 5181934 = 0. Is r prime?
True
Suppose -2*s = 5*b - 17, -b = 3*s - 6*b - 38. Let f be -47*(-1)/(1/s). Suppose -1699 = -8*r + f. Is r a composite number?
False
Let x = -254310 + 532193. Is x a composite number?
False
Let u(q) = -q**2 - 12*q - 11. Let g be u(-11). Suppose -3*j - j - 8 = h, -j = h - 1. Suppose -h*l + 4*c + 792 = g, 2*c + 195 = l - 0*c. Is l composite?
True
Suppose -10*z + 531 - 17511 = 0. Suppose -2*u + m - 1619 = 0, -12*m = u - 16*m + 799. Let s = u - z. Is s prime?
True
Let i be 18613/3 - (-18)/27. Suppose 3*x = -i + 457. Let q = -875 - x. Is q composite?
True
Let l = -16151 - -126534. Suppose l = -2*v + 9*v. Is v a prime number?
False
Let i = -88282 - -166644. Is i prime?
False
Let u(q) = 2*q**2 + 7. Let b be u(3). Suppose 4*t + 17 = b. Suppose 7179 = 5*h + 4*i, 3*h + t*i - 3248 = 1061. Is h a prime number?
True
Let o = -5351 + 5355. Let g be 2 - -2*3/1. Suppose -6236 = -g*i + o*i. Is i a composite number?
False
Let i = 13 + -16. Let j(b) be the first derivative of -7*b**4/4 - 5*b**3/3 - 2*b**2 - 7*b - 1. Is j(i) composite?
False
Is (32 + -4)/(-14) + 474737 + -1*4 a composite number?
True
Suppose 2*u - 288 = -3*k, -5*k + 4*u + 0 = -458. Suppose z = -3*x + 166 + 429, 4*x - 3*z = 802. Let p = x + k. Is p a prime number?
True
Let c = 1057 + -1042. Let q(o) = -41*o + 3. Let w be q(-6). Suppose c*g + w = 18*g. Is g a prime number?
True
Is (-2)/(-5) + 2466920/200 a composite number?
True
Let k = 162832 - -2083. Is k prime?
False
Let r(f) = -3*f - 15. Let m be r(-6). Suppose 0 = m*c + 4 - 52. Suppose -x - 3*k = -c, -k - 10 = k. Is x composite?
False
Let a(c) = 7 + 16*c**3 - 9 - 24 - 15*c**3 + c - 26*c**2. Let j be a(26). Suppose k = j, -5*f + 165 = -k + 60. Is f prime?
False
Suppose 182 = v - 8013 - 5268. Is v a composite number?
False
Let m(v) = -228*v + 87*v - 344*v - 7 + 9. Let s(b) = 486*b - 2. Let w(r) = -5*m(r) - 6*s(r). Is w(-1) composite?
True
Let w be ((-1218)/56)/((-6)/64). Suppose -5*z + w = -12*o + 13*o, 0 = -5*o + 4*z + 1189. Is o prime?
False
Let q(o) = -o**2 - 25*o + 4. Let a be q(-25). Suppose -4*w + 4*l + 3164 = 0, 24*w - 1558 = 22*w - a*l. Is w a composite number?
False
Let d = 71636 + -22537. Is d a composite number?
True
Let v(c) = -c - 25. Let q be v(17). Let i be (q/(-7) - 7)*0/(-2). Is 222 + 1 - i/(-15) composite?
False
Suppose 2919 + 879 = 6*f. Is f - ((-4)/4 + 1 + 2) composite?
False
Suppose -5*r = 136 - 121. Is (r - 4199)/(2 - 4) prime?
False
Let w = 3430 - 1634. Suppose 16*d = 20*d - w. Suppose -i + 252 = -d. Is i a composite number?
False
Suppose -35 - 154 = -7*r. Suppose 99529 = r*z + 16396. Is z a prime number?
True
Let z be 15*((0/3)/(-1) - 1). Is (-19414)/(-16) - z/(-40) prime?
True
Let d = 8767 + -2178. Is d a prime number?
False
Let d be (-42)/4 - 3/(-6). Let b(u) = -u**3 - 9*u**2 - 4*u - 25. Is b(d) prime?
False
Suppose 0 = 4*l + i - 177, -3*l + 5*i - 120 = -6*l. Let h = -37 + l. Suppose 4*y - h = 0, 3*k - 1854 = -2*y + 913. Is k prime?
False
Suppose -15 = -2*y + 7*y, -5*x - 3*y + 56 = 0. Let a(o) = -x - 5*o**3 - 3*o**2 + 2*o**3 + 9*o**3 + 11*o + 4*o**3. Is a(6) prime?
False
Suppose 39 = 4*c + 23. Let f(n) = 505*n + 43. Is f(c) composite?
False
Is (-3142067)/(-217) + ((-10)/(-25))/(14/(-20)) prime?
True
Suppose 5*g - 4234842 = 4*k, -3*g + 7*g + 2*k - 3387832 = 0. Is g a composite number?
True
Is ((-2172889)/(-34))/(11/22) composite?
False
Suppose -2*b - 2*b + 66 = -2*q, -q + 57 = 4*b. Let u(k) = 3*k**3 + 14*k - 92. Is u(b) a composite number?
False
Let b(w) = w**3 - w**2 + 3*w - 4. Suppose -2*p + 76 - 64 = 0. Is b(p) prime?
False
Let d(f) = f**2 - 4*f. Suppose 4*i + q - 16 = 0, -5*i - 3*q = -3*i - 18. Let y be d(i). Let p(b) = 77*b**2 + 2*b - 2. Is p(y) composite?
True
Let s(n) = 163*n + 64. Let h(v) = -165*v - 65. Let m(f) = -4*h(f) - 5*s(f). Let t(a) = -777*a - 301. Let b(k) = -11*m(k) + 2*t(k). Is b(5) a composite number?
True
Suppose 0 = 4*g + 2*g - 234594. Suppose 3*i - 13033 = 7*z - 8*z, -g = -3*z - 3*i. Is z composite?
False
Let c(r) = r**3 + 31*r**2 + 25*r - 71. Let s = 61 + -90. Is c(s) a composite number?
True
Suppose -5177420 = -22*g + 794018. Is g prime?
True
Suppose -5*r + 3*u = -7728, 2*r - 3088 = -10*u + 12*u. Suppose 2*k + x + 3*x - 1578 = 0, r = 2*k - 2*x. Is k composite?
True
Let p be (-1 - (-4 - -6)) + (-2 -