/(-7885)) prime?
False
Suppose -3*z + 3*n + 13839 = 0, 6542 + 2689 = 2*z - n. Is z prime?
False
Suppose 0 = -a + 6507 - 924. Is a prime?
False
Suppose -2*c - 229 = o, -2*c - 265 = -2*o - 27. Let b be 130/4 + ((-3)/(-2) - 1). Let r = b - c. Is r prime?
True
Let q = -1535 - -2542. Is q composite?
True
Let b = 88 - 88. Suppose -5*m + l + 16 + 1221 = 0, -m + 3*l + 253 = b. Is m a prime number?
False
Let n(r) = 22*r**2 + 7*r. Suppose 0 = 5*i + 2*u + 8 + 13, 4*i + 3 = 3*u. Is n(i) prime?
False
Suppose 0 = 4*l - 18*s + 19*s - 57289, l - s = 14316. Is l prime?
True
Suppose -4*d = -3*p - 0*p - 792, p = -d + 205. Suppose 4*b - 7*b = 3*n - d, -3*n - 2*b = -201. Is n a prime number?
True
Suppose -2*f = 4*j - 90, -f + 69 = 2*j - 6*j. Let z = f + -15. Suppose 29 + z = d. Is d a composite number?
False
Let d be (-2 - 2)/(3 - 5). Suppose d*j = t + 1625, 4*t - 3036 - 1059 = -5*j. Is j composite?
True
Suppose -36 = -3*b + 3*t, 25 = 3*b - 4*t - 14. Suppose b*y = 6*y + 279. Is y prime?
False
Let z = -1 + 152. Let d be (-614 + 4)*1/(-2) + 3. Let h = d - z. Is h composite?
False
Suppose 2*q - 8 = 3*k + 11, 5*q - 61 = 3*k. Let n(g) = 11*g**2 + 19*g - 29. Is n(q) a composite number?
False
Let y(p) = -6*p**3 + p**2 - 2*p - 2. Let s be y(-1). Let i be (-5685)/(-35) - 3/s. Let w = -35 + i. Is w composite?
False
Let u(j) = j**3 - 11*j**2 - 36*j + 137. Is u(21) composite?
True
Suppose -4*h + 58 = 494. Let t = -56 - h. Is t prime?
True
Let h(f) = 12*f**3 - 14*f**2 - 20*f - 20. Is h(11) a prime number?
False
Let m be (-1 + 3 + 0)*2. Suppose -16 = -m*f + 6*f. Is ((-1432)/(-12))/(f/(-12)) a prime number?
True
Is (-72)/288 + 29573/4 composite?
False
Suppose 0 = -b - 248 + 654. Suppose 2*f - 5*f - 3*k - 426 = 0, k - b = 3*f. Let s = 260 + f. Is s a composite number?
True
Let q(o) = 28*o - 12. Let v be q(4). Is 17089/10 - (-10)/v a composite number?
False
Suppose 18*b - 4 = 19*b. Suppose 3*p - 1311 = -3*w, 0*p + p + 4*w - 422 = 0. Is p/8 - (-1)/b a composite number?
True
Let d(x) = 2*x + 257. Let c be d(0). Let a = c + -54. Is a a composite number?
True
Let a = 1 + 3. Suppose 0 = -a*z - z - 1285. Let p = 384 + z. Is p a prime number?
True
Let m = 17603 + 28956. Is m prime?
True
Let p = -63302 - -111481. Is p composite?
False
Suppose 3*c + 4*o - 69 = 320, -4*c + 2*o = -526. Is c a prime number?
True
Let q = 16 - 4. Suppose 0 = -2*v + q - 0. Let r = v + -2. Is r a composite number?
True
Suppose -6454 = -p - 4*s, p - 4476 - 1948 = 2*s. Is p prime?
False
Suppose 0 = -3*z + 3*c + 21, 3 + 3 = -2*c. Suppose -z*j = -11*j + 2051. Is j a prime number?
True
Suppose -5*y + 2392 = 512. Suppose 3*t - f = 740, 4*t = 2*f + y + 610. Is t prime?
False
Let z = 3062 + 2577. Is z prime?
True
Suppose 16661 + 156813 = 14*l. Is l composite?
False
Suppose 37470 = 4*d - 5*u - 15371, 3*d = -4*u + 39654. Is d a composite number?
True
Let h(k) = 152*k**2 + 3*k + 5. Let t be h(-2). Suppose -3*v + t = o - 7*v, 1861 = 3*o - 2*v. Suppose 3*w - 784 - o = 0. Is w prime?
False
Let d(y) = 163*y**3 - y**2 - 13*y + 30. Is d(4) a composite number?
True
Suppose -85*z + 121114 = -3*z. Is z a prime number?
False
Let h(m) = -4*m**2 - 8*m + 4. Let j(y) = -5*y**2 - 9*y + 5. Let x(w) = -4*h(w) + 3*j(w). Let s be x(-6). Suppose -2*n - 111 = -s*n. Is n composite?
False
Let n(t) = -3106*t + 221. Is n(-17) a prime number?
False
Is (-17 - -12)*21787/(-5) composite?
False
Let h(z) = -2*z**2 + 0 + z**2 + 4*z - 1. Let g be h(3). Suppose -s = -g*q + 114, 5*s = -4*q - q + 315. Is q a prime number?
True
Suppose 3*g + 34707 = z - g, -g - 173611 = -5*z. Is z prime?
False
Is (152/(-16))/19*-47858 a prime number?
True
Suppose 8*j - 21262 = 50346. Is j prime?
True
Let u be 10 + -2 + 5 + -9. Is (-1*u)/((-16)/104) prime?
False
Let p = 323 + 8. Suppose 4*k = 3*n + 960, -3*k + 3*n + 392 = -p. Is k prime?
False
Suppose -2*f + 332 = -1586. Suppose -p + f = -0*p. Is p prime?
False
Suppose -5*z + 4*a + 20 = 2, 0 = 4*a - 12. Let x be ((-9)/z)/(3/(-12)). Suppose -70 = -o - 3*m, -m = -x*o + 2*o + 319. Is o composite?
False
Let j = -770 - -1843. Is j a composite number?
True
Let r be 2/(((-2 - -1)*1)/2). Is (-1 + 0)/(r/6236) prime?
True
Suppose -5*h + 5*b - 10 = 0, -3*h - 19 + 3 = 2*b. Is (614/(-8))/(1/h) a prime number?
True
Is (-6)/4*2*(-75593)/21 composite?
False
Let k = -263 + 137. Let q = 40 + k. Is 0 - q/((-1)/(-1)) a prime number?
False
Suppose -4*i + 3*a = 9303, 2*a - 5 + 3 = 0. Let h = i - -3386. Is h a prime number?
True
Let f(a) = 2*a. Let x be f(-3). Let i be (-583)/(-7) + x/21. Let w = i + -48. Is w a prime number?
False
Let o(l) = -28*l - 1. Let p(m) = 85*m + 2. Let d(f) = -11*o(f) - 4*p(f). Is d(-10) composite?
True
Let i(v) = -v**3 + 8*v**2 - v + 11. Let c be i(8). Suppose -3*d + d + 5710 = 0. Suppose c*z - d = -2*f, -6*z + 2850 = -3*z + 3*f. Is z a prime number?
False
Suppose -6*a + 18*a - 28020 = 0. Is a a prime number?
False
Let m(y) = 4*y**3 - 6*y**2 - 4*y - 2. Let v be m(-4). Let q be (-3 - (-4 - v)) + 3. Is q/(-6) + (-12)/(-9) a prime number?
False
Let m(k) = -135*k + 116. Is m(-39) composite?
False
Suppose 0*k - 41223 = -5*h - 4*k, h = 2*k + 8239. Suppose h + 431 = 2*l. Is l composite?
False
Suppose -40 = -6*v - 2*v. Suppose -4073 = -3*m - 5*w, 3172 = 4*m - v*w - 2282. Is m a prime number?
True
Suppose 0 = -5*w - 3*y + 8*y - 10, 0 = -4*w - 3*y + 20. Let a be (w/3)/(6/8676). Suppose 4*j - 4*f = 2144, a = 2*j - 4*f - 98. Is j prime?
True
Let q(t) = 2*t - 4. Let j be q(9). Suppose -15592 = -j*z + 6*z. Is z composite?
False
Let d be 2/(-4) + 11/2. Suppose -12 = -d*n - 57. Let x(y) = 8*y**2 - 3*y + 22. Is x(n) a composite number?
True
Let z = 3 + -1. Suppose 5*b + z*s - s - 1626 = 0, 0 = 4*b - s - 1308. Let a = b - 25. Is a prime?
False
Let q = 569 - 1388. Is q/(-18)*(1 + 1) prime?
False
Let b = 1215 - 2067. Is b/(-10) - 13/65 composite?
True
Let s(z) = -135*z**3 + z**2 - z + 1. Let k(c) = c**3 - c**2 + c - 1. Let o(g) = 2*k(g) - s(g). Is o(2) prime?
True
Suppose 837*d - 2819 = 836*d. Is d composite?
False
Suppose 0 = -5*f + 12323 + 30722. Is f a composite number?
False
Let l(b) = -459*b - 5. Is l(-2) prime?
False
Let m(h) = -16*h**3 + 23*h + 216. Is m(-11) a prime number?
False
Suppose f = -5*w + 217, 5*f - 93 = -4*w + 68. Is w/(-66)*((-27726)/4 + 0) prime?
True
Let m = -63279 - -127086. Is m a prime number?
False
Is 2*(-6)/(-12) + 12437 + -5 a composite number?
False
Suppose 3*q - 29 = o, -3*o = 5*q - 0*o - 25. Suppose 2*r = -0*r + q. Is (341/(-44))/((-1)/r) a prime number?
True
Suppose -8582 - 88676 = -7*u. Is u composite?
True
Suppose -26*v + 119535 = -113971. Is v prime?
False
Suppose -3*t + 348 = -q + 1832, -3*t + 3013 = 2*q. Is q composite?
False
Let c(l) = -275*l - 6. Let b = 7 - 10. Let f be c(b). Suppose -4*h - 501 = -2*m - 1585, -3*m = -3*h + f. Is h prime?
True
Suppose 4 = -5*u - 6, -4*u + 1825 = 3*w. Is w composite?
True
Let h = -8507 + 19020. Is h a composite number?
False
Let d(b) = b**2 - 14*b. Let z be d(19). Suppose -z = -l + 284. Is l a composite number?
False
Suppose -4*y - 8 - 4 = 0. Let d be (-2 + 3)*(y + -524). Is (-3)/4 + d/(-4) prime?
True
Let h = 410 + -937. Let y = 1416 + h. Is y a prime number?
False
Let z(f) = f**3 - 13*f**2 - 13*f - 11. Let s be z(14). Let x = s + 1. Is 71/((-2)/(x/(-2))) a prime number?
True
Let g(m) = -m**2 - 3*m - 1. Let a = -9 + 13. Let d be g(a). Let b = 48 + d. Is b a prime number?
True
Suppose -2*u = -4*p - 48766, 9*p = 2*u + 4*p - 48768. Is u a prime number?
True
Let r(u) be the first derivative of u**6/40 + u**5/24 + 7*u**4/24 - 5*u**3/3 - 6. Let i(m) be the third derivative of r(m). Is i(8) composite?
True
Let n be 8/(-1)*(-12)/3. Suppose 4*h - 4 = n. Is 6/(-27) + 4043/h prime?
True
Is (-3*(-1)/(-9))/((-13)/342381) a composite number?
False
Let b(v) = 2517*v**2 - v - 1. Let y be 2/2*4/4. Is b(y) a prime number?
False
Let r(a) = 76*a**2 + 5*a + 130. Is r(-21) composite?
True
Let t(a) = a**2 + 6*a + 10. Let b be t(-5). Let o = -11 + b. Let h(u) = 2*u**2 + 5*u + 1. Is h(o) prime?
True
Suppose -36*c + 50*c - 133294 = 0. Is c a composite number?
False
Suppose -2*c - 7 = 5*r + 8, 3*c - 35 = 4*r. Suppose -c*d = -4*h - 2*d + 437, -h + 133 = 4*d. Is h composite?
False
Suppose 3*d - 5*d = 76. Let k = 79 + d. Let c = k - 28. Is c a prime number?
True
Is -7 - 71787/(-3) - 5 prime?
True