8*(3/9)/((-54)/405) prime?
False
Let h be -14*1/2*1. Let g be (4 + h - -7) + -2. Suppose 2*t - 2540 = -g*t. Is t prime?
False
Let t(b) = 15052*b**3 + 56*b - 55. Is t(1) prime?
True
Suppose 165 - 3560 = -3*b + 4*n, -2*n = -5*b + 5635. Suppose -5*i - 910 - b = 0. Is (-1)/(-1) - (-1 + i) a composite number?
False
Suppose -4*v - i + 6 = 0, -2*v + 4*i = 7*i + 2. Is (587/2)/(-3 + 7/v) a composite number?
False
Let q(f) = 81*f**2 - 5*f - 135. Is q(-16) prime?
True
Let q be 15*(3 - 52/20). Suppose 0 = q*n - 5922 + 120. Is n composite?
False
Suppose -13*c + 21285 = -51411. Suppose -3*t + 4*y + 4189 = 2*y, 0 = -4*t - 4*y + c. Is t prime?
False
Suppose 0 = -3*t + 4 - 10. Let h = 2 + t. Suppose 0 = 4*m + 2*x - 4*x - 44, h = -5*m - 2*x + 73. Is m prime?
True
Suppose -2*w + 0*z = -5*z - 93, -5*w + 5*z = -270. Suppose -x + 0*x + 1 = 0, -x = 4*t - 441. Let l = t - w. Is l composite?
True
Is (-1161)/(-2) + 25/(-10) + 3 a prime number?
False
Suppose 126059 + 31177 = 12*a. Is a a prime number?
True
Is 104022/6*(-2)/(-6) composite?
False
Suppose -96940 = -q - 16*f + 13*f, 290880 = 3*q - 3*f. Is q a composite number?
True
Let b = -52 - -43. Let t(v) = -2*v**3 - 10*v**2 + 15*v + 8. Is t(b) prime?
True
Let s(p) = -9*p**3 + 3*p**2 + 2*p - 1. Let n(t) = -t - 9. Let g(a) = 6*a**3 + a**2 + a. Let i be g(-1). Let q be n(i). Is s(q) a composite number?
False
Let j(h) = -2*h**3 - 6*h**2 + 2*h - 11. Suppose -5 = 4*d + 15. Is j(d) a composite number?
False
Suppose -2*u + 26 = 4*b, -b = u + u - 20. Is 4062/u*(-3)/(-2) composite?
False
Let n = -7475 + 13648. Is n composite?
False
Let q(b) = 1225*b**2 + 3*b + 4. Is q(-1) prime?
False
Suppose 16*c = 21 + 59. Let u(q) = 6*q**3 - 8*q - 1. Is u(c) a prime number?
True
Let x(w) = 539*w**3 - 27*w**2 + 92*w + 1. Is x(4) prime?
False
Suppose -10*l + 124330 - 22320 = 0. Is l composite?
True
Is (40/(-560) - (-6)/(-14))*-11338 composite?
False
Suppose -4*q - 5*f - 751 = 0, -2*f + 758 = 3*q - 7*q. Let w = q + 366. Is w prime?
False
Suppose 5*m - 36 = -2*g, 0 = -m + g + 3*g - 6. Is 221 - 3/(m/(-4)) a composite number?
False
Is (10/4 + 7)*194 a composite number?
True
Let s = 26727 + -18262. Is s a composite number?
True
Let v be 2/(-13) + (-386)/26. Is (v + -427)*(-1)/2 a prime number?
False
Suppose 1931 - 203470 = -13*q. Is q a prime number?
False
Suppose -4*w + 9405 = w. Let d = -3238 - -1914. Let i = w + d. Is i a prime number?
True
Suppose -u + 11 = 7. Suppose u*c - g + 5*g - 324 = 0, -c = -4*g - 91. Is c prime?
True
Suppose 0*z + 9 = 3*z - 5*x, -4*z + x + 29 = 0. Suppose 0 = w - z*w + 133. Is w prime?
True
Let r = -253308 + 367177. Is r a composite number?
True
Suppose -5*x - 10 + 25 = 0. Suppose 37 = -x*r - 53. Is (-590)/(-12) + 5/r a composite number?
True
Suppose 22*w = 68*w - 793362. Is w a prime number?
False
Let a = 131896 + -51611. Is a composite?
True
Is -2 + -5 - (-13654 + 44) a composite number?
True
Let b(p) = -232*p + 111. Is b(-20) prime?
True
Suppose 0 = -3936*d + 3925*d + 86889. Is d a composite number?
True
Suppose 304 + 218 = k. Is (-8)/28 - (k/(-14) + 2) a prime number?
False
Suppose -t + 2*t + 2724 = q, -2*t = -8. Suppose -3*x + 5*b = -2152, 4*b = -3*x + q - 567. Is x a prime number?
True
Suppose -2*f + 190 = -4*s, -5*f - 5*s = -742 + 282. Suppose f = 2*x - 869. Is x a composite number?
True
Let x(k) = -3134*k - 4. Let j be x(-1). Suppose -9*o = -11*o + j. Is o composite?
True
Suppose 330*g = 321*g + 7083. Is g prime?
True
Let c be (40/(-25))/((-2)/5). Suppose 0 = 2*j + 5*r + 21, -c*r - 26 = 4*j + 10. Is (-2958)/(-14) + j/28 composite?
False
Let n(d) = -d**3 - 6*d**2 + 15*d - 6. Let v be n(-8). Suppose -v*b - 5*s + 284 - 2 = 0, 0 = -3*s + 12. Is b a composite number?
False
Let d(z) = 4*z + 3. Let t be d(-1). Let g be 1536 - (t + 0)/(-1). Suppose -19*f = -14*f - g. Is f a composite number?
False
Let w = -13 - -13. Suppose w = -5*q, -t + 730 = 4*t - 5*q. Let h = t + 41. Is h prime?
False
Let y be (-1)/(-2) + 346/(-4). Let z(g) = 5*g + 33. Let l be z(26). Let q = y + l. Is q prime?
False
Let o(i) = -i + 7. Let d be o(5). Let a be (-9 + 3)/(d/(-22)). Suppose -4*t + 22 = -a. Is t composite?
True
Suppose -397 = -t + 3864. Suppose -5*p + 174 = -t. Is p prime?
True
Suppose q + 366 = h + 22804, q - 22413 = -4*h. Is q a prime number?
True
Let b be -615 + (0 + 0 - -3). Is ((-3)/(-4))/((-9)/b) a prime number?
False
Let o(g) = 7367*g**2 - 20*g - 26. Is o(-3) composite?
False
Let t(i) = -7*i**3 - 6*i**2 + 2*i + 1. Let d be t(-5). Suppose -p + 11 = 4. Suppose -3*x - d = -p*x. Is x a prime number?
True
Let y = 14707 + -1206. Is y a prime number?
False
Suppose h - 6890 = -4*h. Let c = h - 673. Is (-1)/(-2) + c/6 a composite number?
True
Suppose -3*l + 169 = -71. Let a(b) = 2*b**2 + 3*b + 5. Let w be a(-4). Suppose -3*q = -w - l. Is q a prime number?
False
Suppose 126*o - 111*o = 413715. Is o a composite number?
False
Let t(c) be the first derivative of 0*c - 3 + 44/3*c**3 - 1/2*c**2. Is t(1) a composite number?
False
Suppose -3*o - d + 543 + 151 = 0, d - 926 = -4*o. Suppose -o = x - 455. Is x a prime number?
True
Let l(q) = q**2 - 2*q - 15. Let i be l(0). Let y be 10/i*459/(-6). Is ((-20)/30)/((-1)/y) a composite number?
True
Suppose 11*y = y - 46220. Is -3*(-2 + y/6) a composite number?
True
Suppose -39 - 137 = -22*f. Suppose -3254 - 9858 = -f*n. Is n prime?
False
Let r = -5608 + 20471. Is r prime?
False
Suppose 0 = 2*a - 4*p + 12, -a + 4*p - 12 = -p. Is (4 - (-135)/(-2))*a prime?
True
Suppose 4*q - 4*a + 81 = 277, -a = 5. Let g be ((-114)/4)/(3/(-4)). Suppose -q - g = -m. Is m composite?
True
Suppose -46*j - 443317 = -53*j. Is j a prime number?
True
Let s(o) = 1136*o + 89. Is s(6) a composite number?
True
Is ((-4)/8)/(1/794*-1) composite?
False
Let j = 301 - 188. Is j a prime number?
True
Let o be ((-4)/(-6))/((-5)/(-30)). Suppose -2*r = 2*z + 32, 4*z + o = -r - 3. Let p = r + 33. Is p a prime number?
False
Suppose a + 5*y + 1 = -0*y, 0 = 4*a - 4*y - 20. Suppose 91 = -a*b + 239. Is b composite?
False
Suppose 549 = -5*z - 3721. Is (-14)/35 - z/10 a prime number?
False
Let m(s) be the second derivative of 2*s**5/15 + s**4/8 - s**3/2 + 9*s. Let k(t) be the second derivative of m(t). Is k(2) a composite number?
True
Suppose -3*g + r + 2*r + 3366 = 0, 2229 = 2*g + r. Is g composite?
False
Suppose -21*j - 2*q = -18*j - 19475, 0 = 5*q - 5. Is j composite?
False
Suppose 378616 = 6*g + 2*g. Is g a prime number?
False
Is 283407/34 + ((-6)/4)/3 a composite number?
True
Let y(f) = 3*f**3 + 7*f**2 + 12*f + 1. Let u(b) = b**3 + 8*b**2 + 14*b + 2. Let k be u(-4). Is y(k) composite?
False
Let r = -28 + 32. Suppose -4*h - p = -2*p - 229, -r*h - 4*p = -244. Is h a composite number?
True
Suppose 4*u - 332 = 2*k, u - 5*k = -2*u + 235. Is u a composite number?
True
Let c = 36817 + -22316. Is c prime?
False
Suppose 4*z + 2*j + 41505 - 11991 = 0, -3*j + 29539 = -4*z. Let u = z + 11708. Is u a prime number?
True
Let p(a) = 18 - 141*a - 14 - 5. Let k be p(-3). Suppose -2*f = -2*s - 4*f + k, 844 = 4*s + f. Is s prime?
True
Let c(t) be the first derivative of 2*t**3/3 - t**2/2 - 5*t + 12. Is c(4) a prime number?
True
Let w be (-14 + -5 + 2)*-4. Let p = 171 - w. Is p composite?
False
Let l = 10309 + -3126. Is l a prime number?
False
Suppose -2*q + 4*q + 18 = -5*p, -4*q + 3*p = 10. Let a(n) = -734*n + 23. Is a(q) composite?
True
Let s be (-356)/2*(-2 - -2 - 10). Let n = s - 1043. Is n a composite number?
True
Suppose -85 = 2*r - 129. Suppose -r*l = -25*l + 2391. Is l prime?
True
Suppose -t = -0*t - 3*t. Suppose t = 5*x + 5*l - 21945, -x + 5*x + 3*l = 17552. Is x prime?
False
Suppose 0 = 3*i + 4*o + 11, -3*i - 3*o = -2*i - 3. Let w(u) = 131*u - 28. Let g(d) = 459*d - 96. Let v(r) = 5*g(r) - 18*w(r). Is v(i) prime?
False
Suppose -f - a - 3 = 0, -7*a - 20 = -3*a. Let j(l) = -l**3 - 7*l**2 - 2*l + 3. Let h be j(-7). Suppose -m + f = -h. Is m a composite number?
False
Suppose 4*v - 7386 = -2*y + 4148, 5*v = -15. Is y composite?
True
Let b = -3208 + 6287. Is b prime?
True
Suppose -4*s + 4*c + 6861 = s, -3*c = -3. Let j = s + -816. Is j composite?
False
Let f be 264*2*(-2)/(-8). Suppose 0 = 4*b + b + 3*k + 20, 0 = 3*k + 15. Let t = f + b. Is t composite?
False
Let a = 240 + 427. Is a a composite number?
True
Let d = -6177 + 29440. Is d prime?
False
Suppose -1583 