 - 3*f**2 - 6*f - 7. Is v(c) a prime number?
True
Let i be 10845/(-4) + 8/32. Let l = i - -924. Let q = 2985 + l. Is q composite?
True
Let t = -301912 + 574941. Is t prime?
True
Let b be 119/((0 - -3)*2/18). Let j = -62 + b. Is j a prime number?
False
Suppose -2*u = 4, 0 = 154*o - 155*o - u + 199125. Is o a prime number?
False
Let m be (0 - -3) + 4 + -2. Suppose 5*b - 30719 = 4*w, -30714 = -m*b + w - 2*w. Is b a composite number?
False
Let o(p) be the first derivative of -21*p**4/2 + p**3/3 + 6*p**2 + 5*p - 290. Is o(-6) prime?
True
Suppose 21*r - 1378097 = 21651994. Is r a prime number?
False
Let o(f) = 2035*f - 103. Is o(12) composite?
False
Let q = -10815 + 11106. Suppose 0 = 3*k - 4*s - 4, 2*k - 5*s + 2 + 0 = 0. Suppose q = k*b - 337. Is b composite?
False
Suppose -h + 5*w = 608 + 91, -2*h = -5*w + 1383. Let i be h/(-21) + 12/28. Let u = 128 - i. Is u a prime number?
False
Let c = 37697 - 30028. Is c prime?
True
Suppose -5*g - 1 + 11 = 0. Is 16/8*1/g*1811 a composite number?
False
Is ((-68208838)/531)/((-2)/9) a composite number?
False
Let f = 5240 + -2301. Is f a prime number?
True
Suppose -451197 = -45*k - 330370 + 783178. Is k a composite number?
False
Let r = -95775 - -904612. Is r composite?
False
Let v = 111500 - 66117. Is v a prime number?
False
Suppose 198534 = -143*s + 157*s. Let n = s - 7942. Is n a composite number?
True
Suppose -304*a - 27262 - 3239636 = -60045890. Is a composite?
False
Let d = 507 + -502. Suppose -2*n + 7989 = -n - 4*i, -d*n = -3*i - 39962. Is n a prime number?
True
Let w be (-6)/8*(-8 + 12/3). Suppose -11 = 2*z - w. Is (0 - (-7 + 3))*(-2153)/z prime?
True
Suppose 140*j + 125*j + 214886 = 279*j. Is j prime?
True
Suppose 2*a - 2*f - 3 = -a, 1 = a - f. Let n(u) = 1044*u**2 - 5*u + 1. Let j be n(a). Suppose 2*s + p = -p + 696, 3*s - j = -p. Is s a composite number?
True
Suppose 0 = n - 5*q - 5728, 1698 = 4*n + 4*q - 21214. Suppose n = 18*g + 2146. Is g a composite number?
False
Suppose -7*k + 41*k - 170 = 0. Let o(u) = 120*u**2 + 4*u - 47. Is o(k) a prime number?
False
Suppose 7*v + 171008 = 15*v. Suppose a + 2717 - v = 2*i, -i - 74643 = -4*a. Is a prime?
True
Suppose -a - 8*u + 5*u + 164682 = 0, 0 = a - u - 164678. Suppose 115208 + a = 43*j. Is j prime?
False
Let w be 0/(6 - 2) + -80. Let c be -3 + 194 + 8/4. Let f = c + w. Is f composite?
False
Suppose 7*t = -4*k + 2*t + 2603, 0 = -3*k - 5*t + 1946. Suppose -4*j = 5*a - 7429, 4*j = 2*a - 4*a + 7426. Let m = j - k. Is m composite?
True
Let n(j) = 16 - j**3 - 15*j**2 + 7 + 7*j**2 + 11*j - 3. Let v be n(-9). Suppose -v*p + 0*p = -614. Is p composite?
False
Is (-2477)/(-2)*(11 + 3) a composite number?
True
Suppose y = -2*h + 3945, 9*h - 3*y - 9890 = 4*h. Suppose -18 = -i + 162. Let g = h + i. Is g prime?
False
Suppose 4*g = -4*h + 103253 + 3151, 0 = -2*g - 5*h + 53214. Is g prime?
True
Suppose 4*u - 4 = 0, 7*u - 8*u = 4*h - 144485. Is h a prime number?
False
Suppose 0 = -126*n + 119*n + 73829. Is n a prime number?
False
Suppose -19726693 = -66*q - 3194419. Is q composite?
False
Let w = -79 - -89. Suppose 0 = -42*r + 47*r - w. Is 9/(-18) - (-167)/r composite?
False
Let n be -6 - (-8)/40*5. Is -3*(-1172 - n) - -4 composite?
True
Suppose -2*r = 4*c - 106, 5*r - 10*r = 2*c - 65. Suppose 49*x - c*x = 321672. Is x a prime number?
False
Suppose 22*b = 27*b + 80. Is 1614/1*-2*4/b a composite number?
True
Suppose 817*j + 807*j - 1620*j = 382108. Is j a prime number?
True
Let r(b) = 3916*b**2 - 249*b + 1487. Is r(6) a composite number?
True
Let p(l) = -l**3 - l + 3. Let w be p(0). Let m(j) = 12*j**2 + 287*j + 58. Let i be m(-24). Suppose -w*g + 2503 = i. Is g a prime number?
False
Let y = -73498 + 108861. Is y composite?
False
Is (-2 + 28/(-7) + (-5464)/3)*-3 composite?
True
Is 5184/((-5)/(-46)*(-204)/(-255)) + 1 a composite number?
False
Suppose -40*u + 698493 - 128733 = 0. Suppose -21*x + u = -9*x. Is x a composite number?
False
Suppose -2691540 - 2147635 = -21*k - 248218. Is k composite?
True
Suppose 90 = -18*m + 28*m. Let q(f) = 2*f + 4*f**2 - 5*f**2 + f**3 + 0*f**2 - 7. Is q(m) prime?
True
Let u(f) = -77*f + 108. Let t be u(-13). Suppose -7*i + 2*i + 2*j = -t, -3 = -j. Is i a composite number?
False
Let o = -14044 - -331355. Is o a prime number?
False
Suppose 7*z - 3*z = -148. Let x = -133 - z. Let a = x - -185. Is a prime?
True
Let j = 296244 + -146351. Is j prime?
True
Let i(w) = 9*w - 9. Let n be i(6). Let u be (-7)/28 - n/12. Is u - 165/(9/(-3)) prime?
False
Suppose 44*x - 41*x = 95970. Suppose 9*h = -5*h + x. Is h composite?
True
Suppose -19*z = -24*z - n + 148864, 5*n = -4*z + 119087. Is z composite?
True
Is (-6788790)/225*40/(-24)*3/2 a composite number?
False
Let v be (16/10)/(6/45). Let d(c) = -c**3 + 18*c**2 - 13*c + 28. Let p be d(v). Let z = -483 + p. Is z composite?
True
Let j(k) be the third derivative of 422*k**5/15 + k**4/6 + k**3/6 - 73*k**2 - 2. Is j(2) a composite number?
False
Suppose -3*h + 66 = 2*v, 9*h - 126 = -4*v + 6*h. Suppose -28*k = -v*k + 5*l + 1364, 0 = 3*k - 3*l - 2037. Is k prime?
True
Let o(u) = -7577*u**3 - 17*u**2 - 3*u - 8. Is o(-3) prime?
True
Is (6513850/(-6))/(-5) + 32/(-24) + 2 prime?
False
Suppose 4*d - 4 = -0. Let n(q) = 225*q**3 - 3*q**2 + 3*q - 1. Let s be n(d). Suppose -i + s = 2*a - 323, -2*i = -5*a - 1067. Is i prime?
True
Let w = 23 + -19. Let m be (w - 32/6)*-774. Let d = 761 + m. Is d a composite number?
True
Let t be -3 + 56/20 - (-11756)/(-20). Let z(a) = -12*a**3 + 6*a**2 - a. Let y be z(-5). Let l = t + y. Is l composite?
True
Let v(i) = 2 + 15*i + 1 - 7 + 3*i. Suppose m - 5 = -4. Is v(m) composite?
True
Suppose -4*n + 20 = -4*v, n + 3*v - 41 = -4*n. Suppose -5466 = -n*m + m. Is m a composite number?
False
Suppose 5*z - 109 + 9 = 0. Let h be 4/(z/15) + 6. Is (10/h)/5 - (-17960)/18 a composite number?
True
Is 0 - (10 - 22407) - -12 prime?
True
Suppose -11*a + 141632 + 94109 = 0. Is a a prime number?
False
Let s(y) = -6*y + 6. Let k be s(10). Let r = k + 54. Is (r - -1657)*(2 + -1)*1 composite?
False
Let i = -1992 - -55129. Is i a composite number?
True
Let g(k) = -914*k + 10. Let b be 2 - -1 - (-1 + 8). Let i be g(b). Suppose 10*n - 4*n - i = 0. Is n prime?
False
Let p(i) = 6*i - 517. Let a(h) = -h. Let d(t) = -5*a(t) - p(t). Let o = 2071 + -2071. Is d(o) composite?
True
Is (-3 - (-52)/6)/(-10 - 44913/(-4491)) a composite number?
True
Let k be 2/(-19) - 22*(-62)/(-38). Let r be 8/k - (-104)/54*-3. Let o(d) = -11*d**3 + 3*d**2 - d - 23. Is o(r) a composite number?
False
Is ((-1)/6*-4)/(7 + 62558862/(-8936982)) a composite number?
False
Let f = 88030 + -6810. Suppose 3*v = 23*v - f. Is v a composite number?
True
Suppose 16 = -5*v + v. Let l be (v - -5) + -1 + -2. Is l/(-6) + 1178/3 a composite number?
True
Let t = 69530 + -44941. Is t a composite number?
True
Let a(u) = 50*u + 36. Let c(i) = i**2 + 11*i + 3. Let f be c(-10). Let q be a(f). Let p = 537 + q. Is p a composite number?
False
Let p(c) = 1700*c**2 + 6*c - 7. Let j be (0 + -8)*13/(-26). Suppose 14*y - j = 24. Is p(y) prime?
False
Let h = 6484 - 3084. Let f = h + 199. Is f a composite number?
True
Suppose -4*y = -5*o - 44, 2*o = 3*y - y - 20. Suppose 0 = -y*v - 3340 + 11254. Is v prime?
True
Let f(t) = -42*t**3 + 19*t**2 - 12*t + 88. Is f(-9) prime?
True
Suppose 0 = -3*q, -4*q = 5*a - 3*q + 2*q - 92305. Is a a composite number?
False
Suppose -824 = -3*g - 5*w, 221 = g - 5*w - 47. Suppose -3*r = -4*x + 6682, r = -4*x + 99 + 6591. Let b = x - g. Is b composite?
False
Suppose 4*j - l = 764544, -2*j + 84*l - 88*l = -382308. Is j a prime number?
False
Suppose -2*f - 4*x = 12, f - 4*x = -f - 28. Let s be 4/(-10) - 24/f. Is (1464 + s)*1/2 composite?
False
Suppose -5*w + 3*a + 1379800 = 0, 224*a - 1103862 = -4*w + 222*a. Is w a composite number?
False
Let i = -22411 - -47990. Is i prime?
True
Let j(a) be the third derivative of 3*a**4/8 + 7*a**3/6 - 7*a**2 - 4*a. Is j(8) a composite number?
False
Let w be 3/(-6) - (-11)/(-2). Let u = 53 + -32. Is 4*(45189/84 - w/u) composite?
False
Let n(y) = -29*y + 15. Let w be n(23). Let l = w + -714. Let b = l - -1953. Is b composite?
False
Let n(b) be the first derivative of -b**4/2 + 2*b**3/3 + 11*b**2/2 + 13*b + 671. Suppose -2*o + 12 = -4*o. Is n(o) prime?
False
Let y(b) = -b**3 - 4*b - 10. Let j be y(-2). Suppose 31945 = -