True
Let j = -26 - -48. Is 2527/77 + 4/j a composite number?
True
Let t(z) = -z**3 + 9*z**2 + 14*z - 9. Let b(r) = r**2 + 2*r + 10. Let o be b(0). Is t(o) prime?
True
Is (-5)/(-20) - 91206/(-8) composite?
True
Let m = 39 + -34. Suppose 3*j + 6 = 0, -f - 2*j + 207 = -m*j. Is f prime?
False
Suppose -16*p - 16432 = -12*p. Let v = -2187 - p. Is v composite?
True
Suppose 9*i - 3*i = 1434. Let q = 252 + i. Is q a prime number?
True
Suppose 5*f - 69062 = 15543. Is f a prime number?
True
Let j(c) = -c**2 - c + 5. Let t be j(-3). Let q(a) = -274*a**3 - a**2 + 1. Let p be q(t). Let n = 485 - p. Is n prime?
True
Suppose -3*p - 3*i - 3 = 0, 3*i = -5*p - 0*p + 1. Suppose 5*v + 0 = p*m - 13, 11 = 4*m + 5*v. Suppose -85 = -m*r + 3*r. Is r a composite number?
True
Suppose 3*g - 221031 = -64014. Is g a composite number?
True
Let w be (1 - (2 + -1)) + 0. Suppose w = -4*g + 1 + 11. Suppose y - 4*u = 235 + 16, 1187 = 5*y - g*u. Is y prime?
False
Suppose -17 + 2 = -3*i, -3*y = -2*i - 797. Is y a composite number?
False
Let j be (-24)/(-6) + (-2 - -1). Let y = 6 + j. Is (6/y)/(6/3195) a prime number?
False
Let v = -165 - -1226. Is v a prime number?
True
Let w = -220 - -400. Suppose v + 35 = w. Is v prime?
False
Let d = -7 + 13. Let f be 753/d - 3/(-6). Let p = f - 7. Is p a composite number?
True
Suppose 10*k - 2313 = 6077. Is k a composite number?
False
Is (7/((-637)/52))/((-2)/32837) a prime number?
False
Suppose 0 = y - 6*y - 2*m + 104203, -20840 = -y - m. Is y prime?
False
Suppose -169897 = -14*t + t. Is t prime?
False
Let o(d) = -3*d**2 - 5*d - 4. Let c be o(-3). Let k(t) be the first derivative of -t**4/4 - 4*t**3 + 2*t**2 + 7*t - 168. Is k(c) composite?
False
Is (-4524859)/(-230) + (27/(-30))/3 a prime number?
False
Let z = 11 + -6. Suppose 0 = k - z*k + 1476. Suppose 5*l - 346 - k = 0. Is l a prime number?
False
Suppose 19*d + 3829 = 47890. Is d a prime number?
False
Is (8/(-12))/(2/(-209541)) prime?
True
Let n(i) = i**3 + 7*i**2 + 7*i + 12. Let t be n(-6). Suppose -4*y + 9321 = -a + t*a, -a = -2*y - 1867. Is a a prime number?
False
Is 11/((-99)/(-36))*30062/8 composite?
False
Suppose 3240 = 4*k - 4*a, 5*k - 2*a + 3*a - 4056 = 0. Is k composite?
False
Let k(h) = 1448*h**2 + 21*h + 15. Is k(-4) a composite number?
False
Let d = 28 + 43. Suppose 4*q - 277 - d = 0. Is q a prime number?
False
Let t(f) = -4*f**2 + 35*f - 7. Let a(m) = 2*m**2 - 13 + 0*m**2 - 18*m + 17. Let r(c) = -5*a(c) - 3*t(c). Is r(10) a composite number?
True
Let j be -2 + 231 - 0/(-8). Suppose -m + j = -150. Is m a composite number?
False
Suppose 8 = -w + 2*t, -3*w = -2*w + 3*t - 17. Is (-37056)/(-72) - w/(-6) a composite number?
True
Let f = -30 + 33. Suppose -402 = -f*l - 0*l. Is l composite?
True
Let a = -10139 - -20638. Is a prime?
True
Suppose -2*r = -t + 5*t - 18428, 0 = -2*r - 5*t + 18426. Suppose -5*u + r = 813. Is u composite?
True
Let x = -22 + 22. Let o be (4 - (1 - x)) + -3. Suppose 5*w = -o*v + 2*v - 1569, 2366 = 3*v - 5*w. Is v a prime number?
True
Suppose 5*w - 3502 = -u, 5*u - 2*w = 6*u - 3517. Is u prime?
True
Let m be (-2 + 20/8)*2. Is 19*(3 - (m - 1)) a prime number?
False
Let d = -2055 - -7888. Is d composite?
True
Suppose f + 4011 = -n + 27196, -2*f - 46386 = -2*n. Is n a composite number?
False
Suppose 5*w + n = -4*n + 57350, -3*w = 4*n - 34406. Is w a prime number?
False
Suppose -i = -4*v + 28456, -5*v + 4*i = 11471 - 47041. Is v a composite number?
True
Let t(k) be the third derivative of -k**6/120 - 13*k**5/60 - 3*k**4/8 - 11*k**3/6 - 4*k**2. Is t(-13) a prime number?
False
Suppose 0 = -13*c + 11*c - 3*r + 6925, 3*c + 2*r = 10375. Is c prime?
False
Let x be (1 + -2)*17780/(-10). Suppose x = 6*l + 440. Is l a prime number?
True
Suppose 0 = 8*o - 180970 - 30190. Is o prime?
False
Let b(d) = -d**3 - 9*d**2 + 10*d + 5. Let u be b(-10). Suppose u*t = -47 - 33. Is (1 + t)*(-177)/9 prime?
False
Let q be (-5)/(-15) - (-65)/3. Is (-12830)/(-22) - q/121 composite?
True
Let c(g) = 265*g**3 + 9*g**2 - 1. Is c(2) prime?
False
Let a(r) = 542*r**2 - 130*r + 1. Is a(-8) a composite number?
False
Let n be -3 + (128/(-4))/(-4). Suppose 0 = 3*x - n - 7. Suppose v = 2*c - 1843, 0 = -x*v - 9 - 11. Is c a composite number?
False
Let m(k) = -5 + 7*k - 2 + k**2 + 4*k + 0*k. Suppose -3*q - 10 = -34. Is m(q) a prime number?
False
Suppose -4*b + 0*b - x = -1435, -1437 = -4*b + x. Is b a prime number?
True
Suppose 8*o + 3*a = 7*o + 113, 452 = 4*o - 2*a. Is o composite?
False
Suppose 0 = -2*k + 3*b + 6230, -7*k = -12*k + 4*b + 15561. Is k a prime number?
True
Let j = 26 - 38. Let g be -2*3/j*294. Suppose 5*s - 4*s = -3*l + g, -147 = -3*l + 3*s. Is l a composite number?
True
Suppose 0 = 44*f - 26448 - 50156. Is f a composite number?
False
Suppose 27047 = 2*z - 53129. Suppose 0 = -6*h - 12806 + z. Is h a composite number?
False
Let g(i) be the first derivative of -i**4/4 + 11*i**3/3 + 8*i**2 - 11*i + 9. Is g(12) composite?
False
Let p = 70 + -37. Let w = p + -135. Let x = 191 + w. Is x a prime number?
True
Suppose 3*u - 5*y - 2595 = -y, 5*y = 4*u - 3460. Is u a composite number?
True
Suppose 7*v = -4479 + 17800. Is v a composite number?
True
Is (-102154)/(-12) - 19/(-114) a prime number?
True
Is ((-6)/(-4))/((-2)/(-1772)) a composite number?
True
Let j = -193 + 322. Suppose 0 = 3*c - j - 1128. Is c a prime number?
True
Let x be (-12)/(-8) + 3/2. Suppose 5*z = x*r + 3164, -7*z = -3*z - 5*r - 2539. Is z a composite number?
False
Let x(z) = 117*z**2 + 27*z - 1. Is x(11) a prime number?
False
Suppose -28295 = -12*o + 245581. Is o composite?
True
Let x = -25 - -27. Suppose -4*p + w = -656, -5*p - 6*w = -x*w - 799. Is p a composite number?
False
Suppose -g + 5*g - 18 = -3*w, -2*w + 8 = 4*g. Suppose 4*z + 0*z + 5*u - 1202 = 0, w = 5*u. Is z composite?
True
Let o(f) = 184*f**2 + 36*f + 1. Is o(-5) a composite number?
False
Suppose -1274 = -b + 152. Suppose 60*r = 58*r + b. Is r composite?
True
Let a = 1054 + -695. Suppose 13 = -3*l + 5*f, -3*l - 1 + 3 = -2*f. Suppose -a = -4*y - 3*v, 3*y - l*v = 8*y - 449. Is y a prime number?
True
Let n be (-15)/(-2)*(-120)/25. Is (-73916)/n - (-4)/(-18) a prime number?
True
Let i(h) = h**2 + 5*h + 3. Let v be i(-2). Let g(x) = 4 + 4*x - 2*x**2 - 2*x + 89*x**3 - 96*x**3 - 10. Is g(v) composite?
True
Let n = 18089 - 10412. Let c = 14542 - n. Is c composite?
True
Is (15/(-5) + 8)*1 - -77132 a prime number?
True
Is (146/(-292))/((-2)/45556) prime?
False
Is 237746/5 + 533/(-65) + 8 a composite number?
True
Suppose -4646 = -5*g - b + 2*b, 2*g - 1853 = -5*b. Is g a composite number?
False
Let n(i) = i**3 - 14*i**2. Let g be n(14). Suppose p + 4 = g, 3*h - 11 = -5*p - 85. Is 116/2 + h + 19 a composite number?
False
Let q = -224 + 320. Suppose 4*u + q = -4*z, 3*u + 144 = 5*z + 32. Is (u/2)/((-2)/20) a composite number?
True
Suppose -3*l + 1551 = -3183. Suppose -6731 + l = -r. Is r a prime number?
True
Let j = -5222 + 8421. Let p = j - 1332. Is p a composite number?
False
Let j = -47 + 78. Suppose 2*w + j = 371. Let m = w + -21. Is m composite?
False
Suppose -28*v + 30*v = b + 25999, -38994 = -3*v + 3*b. Is v prime?
True
Suppose -5*i - 19076 = -2*x, 0*i + 2*i - 47661 = -5*x. Is x prime?
True
Let n(z) be the third derivative of 23*z**4/24 + z**3/2 + z**2. Let v be n(6). Let h = v - 92. Is h prime?
False
Suppose -2*q + 48896 = 2*q + 4*f, -f = 4*q - 48902. Is q a prime number?
False
Let q(c) = 9*c + 10. Let u be q(-8). Let i = u + 203. Suppose 5*z - 34 = i. Is z composite?
True
Let y = 118427 + -77056. Is y a prime number?
False
Let h(z) = 330*z + 17. Let r be (-2)/3 - (-374)/102. Is h(r) a prime number?
False
Let s be (6 + -2 - 24/3)*-1. Let b = -4 + 8. Suppose j = -j - d + 253, b*j = -s*d + 504. Is j prime?
True
Suppose 26931 = 11*q - 6586. Is q composite?
True
Is 51 + 46052 - 0/1 composite?
False
Let k = 505 - 893. Let j be k/(-8) + (-9)/(-6). Suppose c - j = 41. Is c a composite number?
True
Let y(w) = 12*w - 7. Let h be y(-12). Let f = 21 + h. Let a = -75 - f. Is a prime?
False
Let g(q) = 2*q**2 + 3*q + 29 + 4*q**2 - 4*q**2 + q**2. Is g(-10) prime?
False
Suppose 3*f = 8*f - 15. Let s be (3/9)/(f/18). Suppose 3*m - 1885 = -4*a, 3*m - 2484 = -m + s*a. Is m prime?
False
Is 1/(150128/350119 - (-3)/(-7)) a prime number?
True
Let b(l) be the third derivative of -l**7/280 + 19*l