5 = -r*d, 0 = -5*p - 3*d + 8215. Is p a composite number?
True
Suppose -o - 3*o + 4 = 0. Let h(p) = 734*p - 1. Is h(o) a composite number?
False
Let j = 51944 - 18593. Suppose 0 = 6*i - 22707 - j. Is i a composite number?
False
Suppose -4*m = n - 140458, 10*m + 35105 = 11*m + 5*n. Let r = -15094 + m. Is r a prime number?
True
Suppose 5*u + 3*i - 99 = 0, -5*u - 4*i = -u - 84. Let j be 24/(-10)*270/(-72). Suppose u*b = j*b + 2403. Is b composite?
True
Let u(q) = 2320*q + 12827. Is u(92) prime?
True
Let s(v) = -46956*v - 5237. Is s(-6) a composite number?
False
Suppose 90*n = 96*n - 933294. Suppose -n = -7*s - 64248. Is s a composite number?
False
Suppose 0 = 2*n - 38*n - 76*n + 62608784. Is n composite?
True
Suppose -151 - 110 = -3*o. Suppose -21786 = -93*p + o*p. Is p composite?
False
Let b(t) = -160*t - 117. Let i(j) = j - 1. Let z(h) = -b(h) + 6*i(h). Is z(8) a prime number?
True
Suppose 166*m - 6572872 + 2675083 = 3785521. Is m a prime number?
False
Let w(h) = 33*h**2 - 12*h + 35. Suppose 5*o = -3*f + 66, -3*f = -2*o + 22 - 4. Is w(o) a composite number?
False
Is -2 + 1186228 + (20 - 23 - 6) a composite number?
False
Is (-2)/48*3 - 8976507/(-24) prime?
False
Let d(a) = 2290*a + 241*a + 1993*a. Let s be d(2). Suppose 5*u = -3293 + s. Is u a prime number?
True
Suppose 101*h + 15377607 + 2780157 = 377*h. Is h composite?
False
Suppose 3*k = 3*f - 47211, -3*k + 7*f = 10*f + 47241. Is k/(-10) + 12/(-60) composite?
True
Suppose 195011 = -6*g + 9*g - 87568. Is g a prime number?
False
Let m(v) = v**3 + 12*v**2 + 4*v + 42. Let g be m(-12). Is (-7083)/g*(-3)/(63/(-98)) a composite number?
True
Suppose -k + 2*v + 666433 = 233280, -2*v = k - 433129. Is k a prime number?
True
Is 1174674/16 - 2/16 prime?
True
Suppose -5077136 = -199*i + 183*i. Is i composite?
False
Let j(z) = -z + 25. Let v be j(21). Suppose -v*c + 10*c = 0. Suppose c = -0*f + 4*f - 296. Is f composite?
True
Let l(c) = -4*c**3 + 31*c**2 - 79*c - 60. Let a be l(-23). Suppose -385*u = -377*u - a. Is u composite?
False
Let n(s) be the first derivative of -231*s**2 - 157*s + 201. Is n(-22) a composite number?
False
Let o = 3 + 0. Let u(t) = 6*t**3 + 2*t**2 + 6*t - 5. Let z(l) = -13*l**3 - 4*l**2 - 12*l + 10. Let i(b) = 5*u(b) + 2*z(b). Is i(o) a composite number?
False
Suppose -12*p = -19 - 5. Suppose -2*y + 6585 = 5*a, 2*y - y = -p*a + 2633. Is a prime?
True
Let l be (((-2)/3)/(4/(-6)))/1. Is 2386/l*24/48 a prime number?
True
Suppose -6*z - 95 = -4*x - z, -5*x - z = -97. Suppose x = 3*m - 2*m. Suppose -1636 = -m*g + 16*g. Is g a prime number?
True
Suppose 6*z + 959025 = 7083891. Is z composite?
True
Let x = 20488 + -3993. Is x composite?
True
Let i(g) = 150835*g + 3597. Is i(2) a prime number?
True
Let d(o) = o**3 + 8*o**2 + o + 13. Let m be d(-8). Suppose m*y - 48 = -3*y. Let x(i) = 208*i + 13. Is x(y) composite?
True
Suppose -q + 16 = 14. Suppose q*p - 8507 = -i, -5*p + 0*p + 15 = 0. Suppose -3*s - 5*x + i = 0, 3*x + 4 = 4*x. Is s a composite number?
True
Let w = -225 + 240. Suppose w*d - 4*d = 41899. Is d composite?
True
Suppose -5*r - 128 - 27 = -2*o, 4*o + 67 = -3*r. Let b(d) = 162*d - 2. Let c be b(2). Let j = c + r. Is j prime?
True
Suppose 8*f + 14*f - 610665 = 7*f. Is f a prime number?
False
Let j(m) be the first derivative of -m**4/4 + m**3 + m**2 - 6*m - 20. Let n be j(3). Suppose n = 5*z - 8644 - 6411. Is z a composite number?
False
Let b(w) be the second derivative of 13*w**4/12 + 2*w**3 + 25*w**2/2 - 65*w. Is b(-3) a composite number?
True
Let x be -2 - (3 - (-2 + 3)). Let g be -6 - (0 - 3) - 3*x. Suppose -g*w + 6*w = -762. Is w prime?
False
Suppose 0 = -9*b + 2401292 + 801211 - 798900. Is b a composite number?
True
Let k = 77258 + 23139. Is k a composite number?
True
Suppose 2*z + 19 - 23 = 4*y, -3*z + 4*y + 4 = 0. Is (-6 - z)*17193/(-66) a prime number?
False
Let x(c) = -8*c + 0*c + 12 + 7*c. Let a be x(9). Suppose 3*n + a*n - 1314 = 0. Is n prime?
False
Let z be (-8)/12 - 2/(-3). Let a(l) = -5*l**3 + 5*l**2 + l + 38. Let b(j) = 6*j**3 - 6*j**2 - j - 39. Let i(q) = 5*a(q) + 4*b(q). Is i(z) prime?
False
Let z be 56*3*(-3 - (-14 + -3)). Suppose -x - 3*o + z = -466, -3*x = 5*o - 8454. Is x composite?
True
Suppose 353*o = 350*o + 3*h - 27, -3*o = h + 15. Let s(a) be the second derivative of -21*a**3/2 - 8*a**2 + a. Is s(o) prime?
False
Suppose 0 = 3*s - s - 4*n - 24, -10 = -s + 3*n. Let x be 27/6*(-88)/(-6). Is s*x + 3 - 2 a composite number?
True
Let a(v) = -32250*v - 8089. Is a(-14) composite?
True
Let f = -85 - -121. Let j = 34 - f. Is (-1)/(-2) + (-519)/j + 3 composite?
False
Let r(q) = 1121*q. Let u(n) = -157051*n - 132958*n - 74933*n + 67877*n. Let y(f) = 531*r(f) + 2*u(f). Is y(1) a composite number?
True
Let f be 12/9 + 299/39. Suppose -f*q - 8*q = -217073. Is q prime?
False
Let a = 94 - 73. Let z be ((-10)/35)/((-3)/a). Suppose 5*w - z*p = 12889, -2576 = -w - p + 2*p. Is w a composite number?
False
Let j(n) = 43472*n**2 + 20*n + 43. Is j(-2) composite?
False
Suppose -6*b + 138 - 114 = 0. Suppose 1251 = 5*m - 4*w - 3206, -w - 3570 = -b*m. Is m a prime number?
False
Let g = -9151 - -2950. Let u = -3316 - g. Is u a composite number?
True
Let n be (82/123)/((-4)/402). Is (n/2 - 0)/((-45)/33030) prime?
False
Let z(n) = 925*n + 752. Let x(w) = -462*w - 377. Let d(q) = 5*x(q) + 2*z(q). Is d(-8) composite?
False
Let h = -784 + 784. Suppose h = -4*i + 17450 + 6746. Is i prime?
False
Suppose 5*u = 5*t + 42945, 2*u = u - 2*t + 8604. Let d = -3555 + u. Is d prime?
True
Suppose 0 = 4*m - 2794 - 682. Let t(g) = 61*g**3 - 5*g**2 + 2*g. Let f be t(4). Suppose -m = -3*o + f. Is o composite?
False
Suppose 0 = -y + 9*a - 4*a + 4, 5*y = -5*a + 20. Suppose -2*f + 10 = 0, -y*u = f - 3*f + 10. Suppose -7*j + 3*j + 484 = u. Is j composite?
True
Suppose 0 = -r + 3*k + 7, -5*k - 9 + 30 = 3*r. Suppose r*v + 7155 = 33482. Is v a prime number?
True
Let q(u) = 1687*u**2 + 5*u + 3. Let p(v) = v**3 - 28*v**2 - 58*v - 61. Let i be p(30). Is q(i) prime?
False
Let t(n) = -6*n + 67. Let a be t(12). Let u(v) = 2*v + 0*v - 15*v - 28*v. Is u(a) composite?
True
Suppose -134*a = -137*a + 4*x + 3920631, 2*x + 6534371 = 5*a. Is a composite?
False
Suppose -3*r + 2*t = 18, 2*r + 2*t - 1 = -t. Let m(o) = -17*o - 22. Is m(r) a composite number?
True
Let s = -7 + 3. Is -1 + s + 2 + 1600/4 a prime number?
True
Let p(n) = 124*n**2 + 179*n - 35. Is p(24) composite?
True
Suppose 9 + 20 = 4*w + 5*y, 4*w - 4*y = -16. Let c be 3*5/(-15)*w. Is (2 + c)/((-9)/(-33849)) prime?
True
Suppose 34*r = 40*r + 64074. Let j = -4900 - r. Is j a composite number?
False
Let t be (-396)/28 + ((-100)/35 - -3). Is (-268)/(-2) - (t + 21) a composite number?
False
Let v be (-24)/(-28)*182/39. Suppose 4*n - p - 14195 = 2*p, -v*n + 14170 = 2*p. Is n a composite number?
True
Suppose -26 = 3*z + p - 132, -3*z + p + 116 = 0. Suppose -z*x + 43*x = 108078. Is x a composite number?
False
Is (-20558)/(-5)*(-13)/234*-45 a prime number?
False
Suppose -64 + 64 = -j. Suppose 10*h - 3*h - 75397 = j. Is h composite?
False
Let q(j) be the second derivative of 13*j**7/2520 - 7*j**6/360 + 7*j**5/24 + j**4/6 + 9*j**2/2 - 31*j. Let n(i) be the third derivative of q(i). Is n(10) prime?
False
Is (2/(-5) - (-523176)/90)*(-54)/(-18) a prime number?
False
Suppose 0 = g + 5*b - 25617, -7*g = -4*g - 5*b - 76891. Suppose -3*o + 2*t + g = 0, -3*o = 5*t - 0*t - 25655. Is o a composite number?
True
Suppose 0 = 3*p - 12*p - 14004. Let v = 2791 + p. Is 26 + v + 0/2 a prime number?
False
Let w be 10980/(-110) - (-2)/(-11). Let u = w - -104. Suppose -1509 = -u*v - 5*q, -4*q = -23 + 3. Is v a composite number?
True
Let f(b) = b**3 - 18*b**2 - 69*b + 173. Let a be f(21). Let j = -2 + 2. Suppose j = -4*u + 5*u - a. Is u composite?
False
Suppose 3*z = 246 - 57. Let y be -2 - -7 - (-4 - -3 - 0). Is 489/((z/y)/7) composite?
True
Let x(p) = -2814*p**3 - 2*p**2 - 34*p - 83. Is x(-3) prime?
True
Let b(i) = i**3 - 14*i**2 + 15*i + 16. Let z be b(13). Suppose 5*r - 11*r = z. Is (-5743)/r + (-24)/(-42) a prime number?
True
Let p = 476716 + -141633. Is p prime?
False
Let d(y) = -11 - 26 - 308*y - 98. Is d(-35) a prime number?
False
Is (3243/161 - 20) + ((-1323024)/28)/(-1) composite?
False
Let p(b) = 2372*b**2 - 25*b + 208. Is p(23) a prime number?
False
Let q(d) = 25*d**2 - 23*d - 250. 