osite number?
True
Let h(p) = -p - 9*p**2 - 5 - 2*p - 7*p**2 + 2*p. Let x(b) = 31*b**2 + 3*b + 11. Let u(f) = -5*h(f) - 2*x(f). Is u(-4) prime?
False
Suppose 0 = -r + 25 - 374. Let k = 64 - r. Is k a prime number?
False
Suppose 24*o - 1305252 = -12*o. Is o a composite number?
True
Let i(c) = 749*c**2 - 2*c. Let a be (2/(-6))/(3 + 32/(-12)). Is i(a) a prime number?
True
Let y be (-1 - -1)/(-2 - 1). Suppose y = -0*r - r + 2. Suppose -5*p + 5*t + 1115 = 0, -7*t + 446 = r*p - 2*t. Is p a composite number?
False
Is (3 - 1) + (-6 + 5)*-3761 a composite number?
True
Let w(b) = -7*b**2 + 27*b + 5. Let x(d) = d**2 - d - 1. Let v(l) = w(l) + 6*x(l). Is v(18) a prime number?
True
Let p = -29995 - -52802. Is p a prime number?
True
Let w(o) = 9*o**2 - 53*o - 341. Is w(45) a composite number?
True
Suppose 2*d - 3 = 3. Suppose 0 = z - 1330 + 341. Suppose -d*a = 4*j - z, -5*a + 1152 = 4*j + 173. Is j prime?
True
Let j be (6/(-18) + (-1)/(-3))/(-2). Suppose j = -3*a + 4*a - 71. Is a prime?
True
Let j(y) = -677*y + 417. Is j(-36) a composite number?
True
Let q be 6988 + 0 + (-3)/1. Suppose 0 = -t + 6*t - q. Is t composite?
True
Let r(j) = j**2 + 10*j + 3. Let n(h) = 2*h**2 + 20*h + 5. Let y(u) = 4*n(u) - 9*r(u). Let o be y(-9). Suppose -o*v = -125 - 393. Is v a prime number?
False
Let g(j) = -4*j**2 + 0 - 8*j**2 - j**3 - 3 + j**2 - 11*j. Let v be g(-10). Suppose h - v*h = -2514. Is h a composite number?
False
Let v = -43 + 41. Is -3*26*v/6 a prime number?
False
Suppose 5*q = t - 1564, 3*q + 4*t + 943 = -0*t. Suppose 10*k + 1814 = -346. Let g = k - q. Is g prime?
True
Let t = 23233 - 2993. Suppose 0 = 3*p - p + 2*b + 20242, 2*p + t = -b. Is (-7)/42 - p/18 composite?
True
Suppose -6 - 2 = -4*l. Is l/(-3) + (-3466)/(-6) composite?
False
Let z = 29 - 25. Suppose -w = 1, -z*s - w = 4*w - 2279. Is s a prime number?
True
Let a = 125 - -280. Suppose 0 = 5*s - 1720 + a. Is s prime?
True
Let g = 337 - 91. Suppose 0 = -2*v - 4*c + g, v + v - c - 246 = 0. Suppose 3*a - 126 = v. Is a prime?
True
Let o(v) = -88*v + 15. Let x be o(-6). Suppose -2*w = 5*h - 188 - x, 1760 = 5*w - h. Is w a prime number?
True
Let k(m) = -m. Let i(o) = 27*o**2 + o - 4. Let f(u) = -i(u) + 4*k(u). Let l be f(3). Let s = -143 - l. Is s prime?
False
Let g(i) = -3*i**3 + 8*i**2 - i + 3. Let a(c) = 15*c**2 + 7 - 6*c**3 - c**3 + 0*c**2 - 8*c + 6*c. Let o(j) = 2*a(j) - 5*g(j). Is o(12) composite?
True
Suppose 0 = 3*w - 6*w + 9597. Is w prime?
False
Let r be (481/4)/(1/8). Let f = r + -540. Is f composite?
True
Let t be (-8)/10 - 36/(-45). Suppose -u - 15 + 72 = t. Is u a prime number?
False
Let n = -28 - -33. Suppose -n*l = -c + 129, 9 = 3*l - 0. Suppose -t + 294 = t - 4*u, c = t - 5*u. Is t prime?
True
Let l = 2956 + -4375. Let n(m) = -3*m - 8. Let b be n(2). Is b/(-49) - l/7 prime?
False
Let w = -18 - -16. Let r(c) = 13*c**2 + 4*c. Let u(a) = -14*a**2 - 4*a - 1. Let d(g) = -4*r(g) - 5*u(g). Is d(w) composite?
True
Let x(z) = -1373*z**3 - z**2 - 3*z - 2. Let w be x(-1). Suppose -7*c + w = -4878. Is c a prime number?
False
Suppose 3*b + c = 36, -c - 4*c - 36 = -3*b. Let d = b + -11. Is 69 - (d - -1) - -2 prime?
False
Suppose 3*t - 3 = 2*t. Suppose -t*c + c = -276. Suppose 92 = 2*p + 2*x, c = 3*p - x - 4*x. Is p a prime number?
False
Let z = -30 + 11. Is (16/4 - z) + -2 a prime number?
False
Let d = 2138 - -22849. Is d prime?
False
Suppose 0 = -8*t + 31*t - 195431. Is t prime?
False
Let k(j) = 3*j**2 - 1 + 623*j**2 + 542*j**2. Is k(-1) a prime number?
False
Suppose 0 = -732*r + 730*r + 237598. Is r a prime number?
True
Suppose -2*b + 41770 = 2*r - 3*b, -3*r - 3*b + 62637 = 0. Is r prime?
False
Suppose f - 5*c - 25 = 0, -5*f + 2*c = -6*f - 3. Suppose f*u = -0*u + 1630. Is u prime?
False
Let s be (7 - 88/12)/((-2)/12). Suppose g = s*r - 403 - 68, -3*g = 15. Is r composite?
False
Let w = 69653 + -38640. Is w prime?
True
Let c(u) = -u**2 + 9*u - 16. Let b be c(5). Is (b - 3)*1*257 a composite number?
False
Suppose -5*i = 4*x - 204, -3*x - i + 146 + 7 = 0. Is x a composite number?
True
Let r = 1 - -6. Let y(n) = 3*n - 14*n - r + 0. Is y(-4) a prime number?
True
Suppose -3*b + 71586 = 5*i, -8123 = -3*b + 5*i + 63433. Is b prime?
True
Let u be (1*(3 - 5))/(1/(-4)). Let m(c) = 2*c**2 + 11*c - 5. Is m(u) a composite number?
False
Let h(u) = -3*u - 7. Let g(l) = -2*l - 7. Let b(o) = -6*g(o) + 5*h(o). Suppose 5*n = 2*n + 4*q - 27, 3*n + 3*q + 6 = 0. Is b(n) a composite number?
True
Is (-47)/((4/6)/((-20)/6)) prime?
False
Let t(r) = -4*r**3 + 12*r**2 - 7*r - 16. Is t(-9) composite?
True
Let d be -7*(-10)/35 - -2. Let y be 2/(2/(-6)*-2). Suppose -m + 3*k = 2*k - 326, y*k - 1339 = -d*m. Is m a prime number?
True
Suppose -19*l = -15*l - 8. Suppose 0*q + 3*n + 2926 = 5*q, 4*q = -l*n + 2354. Is q prime?
True
Suppose 427341 = 35*v - 566449. Is v a prime number?
False
Let i(u) be the first derivative of 3*u**5/40 - u**4/2 - 5*u**3/3 - 1. Let x(t) be the third derivative of i(t). Is x(5) a prime number?
False
Let u be -1 - 178/(-14) - 12/(-42). Is 3/u + 13401/12 a prime number?
True
Is (16327/58)/(2/4) a composite number?
False
Let a(j) = -10*j**2 + 43*j**2 - 4*j - 13*j**2. Let g be a(3). Suppose -154 = -2*v + g. Is v prime?
False
Let w(m) = 4*m**3 + m**2 - m. Let t be w(1). Suppose 2*j - t*j = -16. Suppose 595 = j*g - 3*g. Is g a composite number?
True
Suppose -201*z + 5509 = -200*z. Is z prime?
False
Let k(g) = -5*g**2 + 14*g - 2. Let c be k(12). Let y = 807 + c. Is y a composite number?
True
Suppose 10*j = j - 97668. Is (j/12 + -3)*(-4 - -1) a composite number?
True
Suppose -4*j + 5651 = -5*l + 846, 3*l = 9. Suppose 2*b = 3047 - j. Suppose 9*a - b = 6*a. Is a composite?
False
Let w be 1/(-2) + 831/2. Let p(a) = -3*a**3 - 5*a**2 + 1. Let b be p(-2). Suppose -b*u + 303 = 4*y, u + w = 3*y + 2*y. Is y prime?
False
Suppose 3*i + 373 = 2*z, z + 4*i - 183 = 2*i. Let d = 95 + -29. Let g = z - d. Is g a composite number?
True
Let z(d) = -d**2 - 6*d - 6. Let l be z(-4). Let g(h) = -h + 5*h**2 - 4*h**l - 13 + 90 + 0. Is g(0) prime?
False
Let w(p) = 318*p - 1. Suppose l = -4 + 11. Let d be w(l). Suppose 4*z = -4*u + 1764, 3*z = -2*z + 5*u + d. Is z a composite number?
False
Is ((-140)/(-25) - 6) + 188604/60 a composite number?
True
Let g be (-4118)/(-14) + (-6)/42. Let q be (-1)/4*0 + 4. Suppose q*o - g - 214 = 0. Is o a prime number?
True
Is 3 + (-1 - -6798) - (-35)/7 composite?
True
Is ((-45)/(-9) - -65679) + 2 prime?
False
Let s(w) = 1 + 2*w**2 + 3 - 7 - 4*w - 3*w**2. Let h be s(-3). Suppose h*p - 2*p + 44 = 0. Is p prime?
False
Suppose -92 = 7*c + 118. Let u = -15 - c. Is u a prime number?
False
Let d be (-51)/(-12)*(414 + -2). Suppose 5*y + 5*x = 2910, 3*y - d = -0*y - 2*x. Is y a prime number?
True
Let s be (18/9)/(2/1097). Is s/7 - 28/(-98) a composite number?
False
Let s(z) = -232*z - 42. Let k be s(-8). Suppose -85*h = -83*h - k. Is h a prime number?
True
Let h = 59 - 75. Let i = 51 - h. Is i a composite number?
False
Let c = 1444 + 1323. Is c composite?
False
Suppose 0 = 2*d + 2*d + 2*j - 41348, j - 41352 = -4*d. Suppose 0 = -9*q + 1784 + d. Is q a prime number?
False
Let i be (94/(-3))/((-13)/429). Let l = i + -399. Is l a composite number?
True
Let z = -3532 + 4971. Is z composite?
False
Let v = -77 - -79. Suppose -v*i + i = -5*a + 67, 4*a - 50 = 2*i. Is a prime?
False
Let v = -890 - -5593. Is v prime?
True
Suppose 4*s = 16, 3*c - 8060 = -c + 2*s. Is c a prime number?
True
Suppose -5*p - 4*l = -7*l + 85, 0 = -p + 3*l - 17. Let k = 19 + p. Suppose -k*h - 238 = -4*h. Is h prime?
False
Let z(t) be the second derivative of 5*t**4/4 - 4*t**3/3 + 11*t**2/2 - 18*t. Is z(8) a composite number?
False
Let h(o) = -6*o**3 - 2*o**2 + o + 1. Let d be h(-1). Suppose d*w = 3734 + 1182. Is w prime?
True
Suppose 0 = 4*u + q - 1330, 575 + 428 = 3*u - 2*q. Suppose -5*m - u = -1058. Is m a composite number?
True
Let l be 461*-4*(-1)/2. Suppose l = 4*s - 2350. Let y = s + -565. Is y a prime number?
False
Suppose 19 = 4*x + 3*q, 0*x - q = 3*x - 8. Let f(w) be the third derivative of 379*w**6/120 + w**5/60 - w**4/12 + w**3/6 + 3*w**2. Is f(x) a prime number?
True
Let f(x) = -2*x - 7. Let b be f(-5). Suppose -q + 4*u - 8*u + 73 = 0, -232 = -b*q + u. Is q composite?
True
Let s(v) = -857*v + 256. Is s(-3) prime?
False
Suppose 9976 = 9*w - 4203