et h(r) = 176*r**3 + 2*r - 49. Is h(5) prime?
True
Let m = 251 + -230. Suppose m*d + 412622 = 35*d. Is d composite?
False
Suppose 11*k = -32262 + 191773. Is k a prime number?
False
Suppose 199*u + 125*u + 63*u = 15100353. Is u composite?
False
Let u = 307538 - 163035. Is u prime?
False
Let z(h) = -39*h - 2691. Let l be z(-69). Let q(v) = 2*v**2 + v + 1. Let p be q(-2). Suppose p*c - c - 11406 = l. Is c composite?
False
Let u = -10 - -12. Suppose 0 = -u*s + 3*n + 14 + 2, -5*s + 5*n + 30 = 0. Suppose -s*p + 10*p = 80. Is p prime?
False
Let n be (-30)/7*-1 + 6/(-21). Suppose n*g = -z + 11037, -3*z = -4*g - 22491 - 10700. Is z composite?
False
Suppose -30808 = 2*f + 4*k, -5*k = 2*f - 0*k + 30808. Let v = -9107 - f. Is v a prime number?
False
Let b(o) = 64288*o + 1875. Is b(13) prime?
True
Suppose -y = 3*y + 37*y - 26909407. Is y a composite number?
True
Let z = -52116 - -33763. Let k = -11832 - z. Is k prime?
True
Let n be 79050/9 - (1 - 1/(-3)). Is n/(-7 + 9 + 0) a composite number?
False
Is ((1726784/(-20))/8)/((-10)/(-25)*-1) prime?
True
Let d = 761 - -1364. Let n = d - -194. Is n prime?
False
Suppose -k = -6*k + 5, 3*c - k - 1532 = 0. Is c composite?
True
Suppose 0 = -4*d + 29 - 5. Suppose 4*n + v - d*v = 5, 5*n - 2*v - 2 = 0. Suppose t - 39 = r - 5*r, -5*t - 4*r + 179 = n. Is t a prime number?
False
Suppose 4*k = 4*m - 4, 3*m - k + 1 = 2. Suppose 4*c - 32 - 4 = m. Suppose c*q - 13*q = -4196. Is q a prime number?
True
Let a(c) = -2*c**2 + 10*c - 6. Let r be a(4). Suppose -2*w - r*w + 52943 = -s, 3*w + 5*s = 39713. Let m = w - 8851. Is m composite?
True
Let y = 446 + 2817. Is y composite?
True
Let r(q) = 25605*q**2 + q + 19. Is r(3) prime?
True
Suppose -52*b - 10*b = -265*b + 110541823. Is b a composite number?
True
Let w = 3788 - 1450. Suppose -5*g = -o - 34495 - w, -4*g - 3*o + 29474 = 0. Let l = g + -4648. Is l composite?
False
Let f(h) = -6*h**3 + 41*h**2 + 19*h - 92. Let w be f(29). Let q = w - -165075. Is q composite?
False
Let x(p) = 18*p**3 - 7*p**2 - 3*p - 6. Let o(n) = n**3 + n - 1. Let f(b) = 6*o(b) - x(b). Let h be f(-6). Suppose -5*m = 5*q - h, -4*m + 5 = -3*m. Is q prime?
False
Let s = -518 + 468. Is 2*15/s - (-836180)/50 prime?
False
Let w = -13421 + 65014. Is w a prime number?
True
Suppose l - 39 = -2*l. Let n = -14 + l. Is 1277*(2 + n)*(-10)/(-10) composite?
False
Let p(u) = 7*u**3 - 91*u**2 + 5*u - 7. Let c be p(6). Is ((-2)/4 - 19/38)*c prime?
True
Is (-1074930)/20*((-10)/6 - -1) composite?
False
Let m(p) = p**3 + 16*p**2 - 15*p + 22. Let l be m(-17). Let b be (-2 - -5)/(l/(-21676)). Suppose 0 = -4*u - 8*h + 3*h + b, h + 6810 = 5*u. Is u composite?
False
Suppose -6*n + 49137 = -9273. Suppose -2*c - 5*u + 3873 = 0, 0 = -5*c - 3*u + u + n. Is c composite?
False
Let j(u) = -u**3 - 15*u**2 - 17*u - 40. Let m be j(-14). Suppose -2*p + 99 = 5*c - 184, 0 = -m*c - 6. Is p a prime number?
True
Let v(r) = -5*r - 6. Let j(s) = -12*s - 12. Let w(h) = 3*j(h) - 5*v(h). Is w(-7) a prime number?
True
Let j be ((-12)/(-72))/((-2)/(-6))*-210. Let l = 944 + j. Let y = l + -426. Is y a prime number?
False
Suppose 0 = r - 3*f - 354, 3*f = r + 2*f - 358. Suppose -d = -451 - r. Suppose 0 = v - d + 158. Is v a prime number?
True
Suppose 0 = 35*a - 59*a + 1082856. Is a a prime number?
True
Let i(z) = -40*z**3 + 5*z**2 + 8*z + 7. Let o be (-86)/(-1*(-12)/(-6)). Suppose 38*v - 10 = o*v. Is i(v) prime?
True
Let t(n) = -n**3 - 6*n**2 + 24*n - 25. Let l be t(-9). Suppose l*z - 108 - 10 = 0. Is z prime?
True
Let k(u) = -4*u - 13. Let i(v) = v**2 + 7*v - 6. Let m be i(0). Let w be k(m). Suppose 12*n - w*n = 3027. Is n a composite number?
True
Suppose 15 = -4*y + 9*y. Let v be y - 146*(-2)/4*47. Suppose 7*o - 6429 - v = 0. Is o a prime number?
True
Suppose -5*m + 4*c + 105002 = 0, 2*c = -5*m + 68051 + 36963. Is m a prime number?
False
Let w(o) be the second derivative of -o**5/5 + o**4/12 - o**2 - 15*o. Let v be w(-1). Suppose -4*d + 8*d = 3*q - 1447, q - v*d = 479. Is q a composite number?
True
Let v(m) = -118*m**2 - 31*m - 71. Let k(d) = -79*d**2 - 21*d - 48. Let z(y) = -8*k(y) + 5*v(y). Let t = 4 + -8. Is z(t) composite?
True
Let i(y) = -y**2 - 4*y - 5. Let u be i(-4). Let a(g) = 123*g**2 + 13*g + 21. Let o(f) = -42*f**2 - 4*f - 7. Let v(q) = 3*a(q) + 8*o(q). Is v(u) a prime number?
True
Let o(z) = 5*z**3 - 6*z**2 + 10*z - 5. Let a be (-5)/(-15)*21 - 3. Let y be o(a). Let u = y + 442. Is u a composite number?
False
Let t(g) = -g**3 - 3*g**2 - 5*g - 2. Let f be t(-2). Let j be 15987/(f*(-1)/(-4)). Suppose 5*a - j = -4*m, 0 = -m + 4 - 6. Is a a composite number?
True
Suppose 7*w = 2*w + 5*u + 4830, 3*w - 2910 = -3*u. Let z = w - 2116. Let p = 1777 + z. Is p prime?
False
Let g(c) = 7*c + 7. Let i be g(0). Let t be 5/(30/46852) + i/21. Suppose w = -2*w + t. Is w composite?
True
Suppose 459100 = 2*j + b + 143422, 0 = -2*j - 4*b + 315690. Is j prime?
True
Is 6*(-3)/(-8)*32071672/282 composite?
True
Let f = -215 + 221. Suppose 0 = -f*a + 7926 + 8172. Is a composite?
False
Let x(i) = -1298*i - 483. Let r be x(-10). Is (1 - 1)/((-28)/28) + r composite?
False
Let p(w) = -3377*w**3 + 5*w**2 - 15*w - 76. Is p(-3) prime?
True
Is 32/192*(1 + 1522397) a composite number?
False
Suppose -6703 = -2*v + v + 4*k, -4*v = -k - 26827. Suppose 2670 = 2*y - 4*a, 6*y - 11*y + 2*a + v = 0. Is y a prime number?
False
Is 0 + -4 + 5 - (-236938 - -14 - -4) a composite number?
True
Let y(x) be the first derivative of 5/2*x**2 + 0*x + 7/2*x**4 + 2/3*x**3 - 10. Is y(3) a composite number?
True
Let w = -1676 - -2395. Let u = -434 + w. Suppose -5*l + u = 50. Is l a prime number?
True
Let r(l) = -1750*l - 927. Is r(-29) prime?
True
Suppose 6*u - 1603 = -11989. Let t = 4474 + u. Let w = t - -462. Is w prime?
False
Let j = -2745 - -13396. Is j composite?
False
Let n(k) = -128*k + 31. Let z(y) = -27*y**2 - 75*y - 1. Let o be z(-3). Is n(o) a prime number?
False
Suppose 0 = 3*g + 21 + 9. Let i = 12 + g. Suppose 3*m + 5*k - 1954 = -m, -5*m + i*k = -2459. Is m a composite number?
False
Let x(w) be the first derivative of -w**4/4 - 8*w**3/3 - 5*w**2 + 6*w - 26. Let l be x(-12). Suppose -467 = 4*b + v - 1859, 2*v - l = -2*b. Is b prime?
True
Suppose 4*y - 312779 = -16*b + 11*b, 2*b + y - 125108 = 0. Is b a composite number?
True
Suppose 2*a = -3*h + 2 + 8, 0 = -a + 4*h + 5. Suppose 1114 + 1081 = a*i. Is i prime?
True
Suppose 3*d - 2*z = 550311, -d + 195084 - 11647 = -3*z. Is d a composite number?
False
Let o = 332 - 320. Let q(i) = 730*i - 259. Is q(o) prime?
True
Let v(g) = 5*g**3 - 3*g - 13*g**3 + 22 + 8*g**3 + 11*g**2 - g**3. Is v(9) a prime number?
True
Suppose 90128129 = 93*k + 3987902. Is k prime?
True
Let x be ((-7)/((-42)/1770))/(1/17). Suppose w = 5*f + 1683, -3*w - f + x = f. Is w prime?
False
Let i = 30 + -30. Suppose 3*o - 12 = 0, 2*f + o + 2*o - 1452 = i. Suppose -2*j = -0*j + 4*x - f, 0 = 3*j + 5*x - 1079. Is j prime?
False
Let h(r) = -207*r - 73. Let v be h(-7). Suppose 16*x + v = 28464. Is x a composite number?
False
Let w = 5128 - -13173. Suppose 23*t = 22*t + w. Is t a prime number?
True
Let g(x) = -x**2 - 8*x + 16. Let y be g(-6). Suppose 3*s = 2*j + y, 4 = -4*s + 3*s + 4*j. Suppose -u - 4*u - 1570 = -5*p, 4*u + s = 0. Is p a prime number?
True
Suppose -3*z = -10365 - 5583. Suppose -z - 8944 = -5*y. Suppose 3*g - 4*b - 6657 = 0, 5*b - 633 + y = g. Is g a composite number?
True
Let f = 42573 + 32854. Is f a prime number?
False
Suppose 5*m - 255507 - 806492 = -14409. Is m a prime number?
False
Suppose 0*f - 5*i = -3*f - 9, -4*i = 0. Is (-1338)/4*(-5 + 6 + f) a composite number?
True
Suppose 66 = -11*w + 22*w. Suppose 13087 + 3575 = w*f. Is f a prime number?
True
Let x = -65 + 65. Suppose -4*f + 334 + 1590 = x. Is f a prime number?
False
Let y be (-1)/(1 + ((-16)/3 - -4)). Suppose 2*p - 1716 - 3833 = -5*d, -4*d + 8313 = y*p. Is p prime?
True
Let s = -726 - -1076. Let c = -91 + s. Is c prime?
False
Suppose 5*i - r - 31 - 109 = 0, i - 12 = -3*r. Suppose -i*w = -2*w - 13225. Is w prime?
False
Let s(y) = 513*y**2 + 24*y + 235. Is s(-14) a composite number?
False
Is 14760544/90 - (-176)/(-3960) a composite number?
True
Suppose 0*s + 5*s + 10244 = 2*i, 0 = -5*s + 3*i - 10246. Let l = s + 4975. Is l a composite number?
False
Suppose d = -4*d + 2*r + 869, -3*d + 509 = 5*r. Let s = 2874 