- -7142. Is h prime?
True
Let w be (-1)/(-4) - 109/4. Let u(c) = -53*c**3 - 3*c - 7. Let a be u(4). Is a/w - 6/(-9) prime?
True
Let n(o) = 7*o**2 - o - 589. Let r be n(0). Let h = r - -1098. Is h composite?
False
Let a(p) = 2*p**3 + 14*p**2 + 10*p - 21. Let b be a(-5). Let u(s) = 7*s**2 + 58*s - 35. Is u(b) a prime number?
False
Let d = -813 + -743. Let j = d + 2514. Is j a prime number?
False
Suppose 0 = -a + 2, y - 4*a = 3*y - 963704. Suppose 18*c + 6*c - y = 0. Is c composite?
True
Let o be ((-3)/4)/((-6)/172944). Suppose 0 = 4*g - g - o. Suppose 7*k - g = k. Is k prime?
True
Suppose h - 4 + 1 = 0. Let x = 2314 - 2308. Suppose -4*n = -x*j + 5*j + 83, 2*n - 263 = -h*j. Is j prime?
False
Suppose 5*o = -4*j + 23907, 5*o - 19669 = -2*j - 7728. Is j prime?
False
Suppose -5*c = -8*c + 18. Suppose 12 = 3*b + c. Suppose -3*x - b*j = x - 5174, -5*x + 6430 = -5*j. Is x a composite number?
False
Suppose 42 = 2*p - 132. Suppose 0 = -4*h + 12, 83 = 11*c - 13*c + 5*h. Let x = c + p. Is x a prime number?
True
Let b(u) = u + 1. Let f be b(-1). Suppose -i - 2*v + 0*v + 263 = f, 0 = -5*i - 4*v + 1321. Suppose -134 = -3*g + i. Is g a prime number?
False
Let b be (((-78)/(-7))/(-13))/((-3)/14). Is (-15191)/(-1) - ((b - 1) + -3) prime?
False
Suppose 3*l = 5*a + 22348, -a + 4*l = -l + 4474. Let x = a - -7310. Is x composite?
True
Let x(q) = 63*q**2 - q + 1. Let h be x(2). Let k = 461 + -745. Let a = h - k. Is a prime?
False
Let z(i) = 1045*i**2 - 184*i - 13. Is z(-18) a prime number?
True
Suppose -11*s - 1879659 = 747471. Is s/(-14) - (-182)/(-637) a prime number?
False
Let t = 24 - -16. Suppose -t - 458 = 3*k. Let m = -83 - k. Is m a prime number?
True
Let i be (115656/(-30))/((-6)/15). Suppose -i = -5*w + d, -5493 = -5*w + 3*d + 4151. Is w a composite number?
True
Let g(l) = 1347*l**2 + l - 1. Let y be (-17)/(-102) - (-1)/(-6). Suppose 11 + y = -m - 3*x, 5*x + 21 = m. Is g(m) a composite number?
True
Let l(z) = 124*z**2 + 5*z + 9. Let g(s) = s**2 + 16*s + 56. Let k be g(-10). Is l(k) composite?
False
Let k(y) be the second derivative of y**5/20 + 5*y**4/4 - 8*y**3 + 3*y**2/2 - 11*y + 8. Is k(-14) a prime number?
False
Let u(c) = -2*c**2 + 3*c + 42. Let p be u(8). Let b = p + 3405. Is b a prime number?
True
Let c = -7 + 4. Let t be (-36532)/36 + c + (-2)/9. Let o = 3273 - t. Is o a prime number?
False
Suppose -7195 - 1048 - 14254 = -3*c. Is c composite?
False
Let n = -9624 - -17484. Let g = n - 239. Is g prime?
True
Suppose -2*m = 11*n - 10*n - 1183298, -m + n + 591643 = 0. Is m prime?
False
Let p = -93 + 56. Is (p + 7216)*(-1)/(-3)*2 a prime number?
False
Let u be -2 - 454*5/10. Let j = u - -420. Suppose -3*z + 191 = -0*c + c, 0 = c + 5*z - j. Is c a composite number?
False
Is (-6404174)/(-20) + 1368/4560 composite?
False
Let d = 117724 - -64279. Is d a prime number?
False
Is 70279 + ((-6)/11 - 902/121) composite?
False
Let r be -6 + 10 + 4/(-2) - 80. Let u = 86 + r. Let w(i) = 143*i + 19. Is w(u) composite?
False
Suppose 5*r = -3*x + 811801, -4*r + 852948 - 203508 = 2*x. Is r a prime number?
True
Suppose 0 = -10*t - 63131 - 108199. Let d = -9524 - t. Is d a composite number?
True
Let b = -93 + 140. Suppose 0 = b*v - 44*v - 3. Suppose 32 = o - v. Is o composite?
True
Let f = 162185 - 99162. Suppose -4*j + f = 5*b, b - 5950 = 2*j + 6649. Is b a composite number?
True
Let x(g) = -g**3 + 31*g**2 - 6. Let a be x(31). Is a/(-10) - (-3846)/15 prime?
True
Let m(k) = -77*k + 429. Let s(b) = 51*b - 288. Let j(i) = 5*m(i) + 8*s(i). Is j(14) prime?
True
Let g = 20 - 20. Suppose g = -3*d + 493 + 242. Suppose 45 = 2*w - d. Is w a prime number?
False
Is ((-12)/(-7) - 2) + (-110305608)/(-147) + 1 prime?
False
Let l(n) be the first derivative of -483*n**2/2 - n - 295. Is l(-8) a composite number?
False
Let h(z) = -20*z - 13*z + 7*z + z. Let k be h(-7). Suppose 3*t - k - 398 = 0. Is t composite?
False
Let i be ((-2)/4)/(1 - 10/12). Let j be 10/15*i/2. Is j/((-2)/4) + 707 composite?
False
Let j(v) = -39801*v**3 - 6*v**2 - 5*v + 1. Is j(-5) composite?
False
Let m(h) = 5*h + 21151. Let w be m(0). Let f = w - 9708. Is f composite?
False
Let c(f) = -47*f - 29. Let q be c(-10). Let i = -712 + q. Let k = 450 + i. Is k composite?
False
Let g(b) = 267*b + 56. Let i(u) = -u**2 + 9*u - 11. Let q be i(5). Is g(q) prime?
True
Let x(r) = -202*r - 31. Let l(o) = 1009*o + 158. Let u(y) = -2*l(y) - 11*x(y). Let w = 3 - -5. Is u(w) a prime number?
True
Let j = -4182 + 4320. Suppose 5*w = 13 + 12. Suppose w*b + c = 345, 0*b = 2*b - 5*c - j. Is b a composite number?
True
Let d(b) = 21 - 2*b - 433*b**2 + 432*b**2 - b. Let w be d(-7). Is (-17174)/w - 57/133 composite?
True
Suppose 5*v = 3443025 - 818860. Is v a composite number?
True
Let o be 21*738 - 6/1. Suppose -o = 2*u - 8*u. Is u composite?
True
Suppose 0 = 4*j + 4*a - 86732, j + j + 4*a - 43366 = 0. Is j composite?
False
Let n(t) = 6134*t + 75. Is n(17) a composite number?
True
Let w(o) = 16*o + 66. Let f be w(-4). Suppose 3299 = 2*m + n, -f*m - 5*n + 1636 = -m. Is m a prime number?
False
Is 91540/2 - (-23 + 26) a composite number?
False
Let d = 207673 + -144962. Is d a composite number?
True
Let w(r) = 2*r**3 + 8*r**2 - 11*r - 10. Let v be w(-5). Let m(b) = -24*b**3 - 3*b**2 + 2. Is m(v) prime?
True
Let s = -184515 - -271330. Suppose -69814 = -29*o + s. Is o a prime number?
False
Let t be ((-9501)/9)/((-2)/6*1). Suppose -t = -11*i + 4170. Is i a composite number?
True
Suppose 2*f + b - 3655 - 1829 = 0, -4*f = -b - 10962. Is f composite?
False
Let h = 2076 + -1444. Let m(b) = 18*b**2 + 6*b + 1. Let l be m(-4). Let w = h - l. Is w a prime number?
True
Let o be 1161/1 - (3 + -1). Suppose 96*i = i + 3230. Let c = o + i. Is c a prime number?
True
Let s(b) = -24*b + 8 + 4 + 2*b**2 - 1 - 4. Let h be s(12). Suppose h*a - 2*a = -2*l + 1663, a + 3 = 0. Is l a prime number?
True
Let n(p) = -12*p - 40. Let w be n(-17). Let z = -6 + w. Suppose -4*q = -z - 734. Is q prime?
True
Let r be 7 + (2 - 1 - 4) + -1. Suppose 0 = g - 3*v - 4520, -r*g + g - 4*v + 9010 = 0. Is g composite?
True
Is (13313 + 0)*(156/143 - (-2)/(-22)) prime?
True
Let b(c) = -2*c**2 - 7 - 5*c - 3*c + 16*c**3 + 3*c + 3*c**2. Is b(3) a prime number?
True
Suppose 2*k + 140575 = -5*r - 3*k, 5*k + 112463 = -4*r. Let v = r - -51429. Is v a prime number?
False
Let w be 42/(-5)*(-10)/(-5)*-5. Let f = w - 85. Is 1155 - f/(3/6)*-2 composite?
False
Let d = -99455 - -145398. Is d prime?
True
Let u be ((-12)/14)/(2/(-7)). Suppose 4*n + 2*l + 22 = -0*n, u*n - 5*l = 16. Let j(y) = -68*y**3 + 4*y**2 + 9*y - 2. Is j(n) prime?
False
Let g = -2352 + 3097. Is g a prime number?
False
Let l = 659 - 61. Suppose 6*p + l = -7*p. Is p/(995/335 - 3) a prime number?
False
Let l(z) = 8*z - 5. Let d = 82 + -81. Let c be l(d). Suppose 0 = 3*g - c, -2*r = 2*r + 3*g - 383. Is r prime?
False
Let n = 549423 - 224482. Is n prime?
True
Let l(a) = 1017*a**2 + 54*a - 17. Let y be l(-7). Suppose 0 = -5*q + y + 33357. Is q a composite number?
True
Suppose 27*l - 40*l + 385816 = -133937. Is l composite?
True
Is (2 + -1)/((-4 - -19)/139575) a composite number?
True
Suppose 0*p = 4*p - 12. Let f(x) = 304*x + 7. Let z be f(p). Let h = -346 + z. Is h a prime number?
False
Suppose 417902 = -2646*d + 2648*d + 5*w, 2*d - 417902 = -3*w. Is d composite?
True
Let l = 57522 + 44617. Is l composite?
False
Let k(x) = 5781*x**3 + 102*x**2 - 307*x - 17. Is k(3) composite?
True
Let h be (-433296)/(-64) - (18/8 - 2). Suppose 2516 - h = -2*v. Is v a composite number?
True
Suppose -69768 = -3*n - 3*k, -23271 = -n + 223*k - 221*k. Is n prime?
False
Let v(k) = 43*k - 1. Let j be v(2). Suppose 5*q - j = -4*w, 0*q - 5*q - 3*w = -80. Suppose -12*s = -q*s + 923. Is s a composite number?
True
Let j = 328389 + 66388. Is j composite?
True
Let j(d) = d**3 + 20*d**2 + 56*d + 55. Let t be j(-15). Let s be 9274/6 - 2/3. Let u = s - t. Is u a prime number?
False
Suppose 4*a - 89412 = 4*p + 56896, -5*p - 109723 = -3*a. Is a prime?
False
Let r(q) = -q**2 + 2*q + 7. Let f be r(5). Let w(z) = -127*z + 83. Is w(f) composite?
True
Let x(i) = i**3 + 2*i**2. Let m be x(-2). Let v(d) = -71115755*d + 1084 + 235 + 71115751*d. Is v(m) prime?
True
Is 237686/(-1)*((-2)/(-12) + (-10)/15) a composite number?
False
Suppose 43 = 3*r - 35. Let v be (196/6)/((r/3)/(-13)). Let