3 = 0, 5*w + 2*a - 836 = 123. Is w prime?
True
Let i(o) = -493*o - 211*o - 1123*o + 5. Is i(-2) a composite number?
False
Suppose 0 = -m + g + 78688, 9*g - 13*g + 78703 = m. Is m a prime number?
True
Let r(d) = d**3 + 6*d**2 + 3*d - 6. Let y be r(-5). Suppose -2*w = -y*w + 426. Suppose 0 = -5*t + 132 + w. Is t a composite number?
True
Let k(f) = -1 + 2*f**3 + 9*f**2 - f**3 - 2 + 5*f. Is k(-8) composite?
True
Let g(d) = 4*d**2 - 20*d + 1. Let q be g(-13). Is 1 + 0 - 24/(-6)*q composite?
True
Let w = 2257 + -683. Let d = w + 175. Suppose 4*p - 7*p + d = 0. Is p composite?
True
Let o(a) = -2*a**3 - 3*a**2 + a + 13. Let r be o(-7). Is ((-14)/((-2)/(-2)))/((-10)/r) a composite number?
True
Let l(i) = -5*i**3 - 6*i**2 + 11*i + 13. Let o(d) = -4*d**3 - 6*d**2 + 10*d + 12. Let g(m) = -5*l(m) + 6*o(m). Is g(5) a composite number?
False
Let u(o) = -2*o**2 + 15*o - 3. Let n(s) = 5*s**2 - 46*s + 10. Let q(t) = -4*n(t) - 11*u(t). Is q(16) a composite number?
False
Let i(k) = -5*k**3 - 2*k**2 - 2*k - 4. Let g be i(3). Let x = 54 - g. Is x prime?
False
Let b(f) = -2*f**2 - 6*f + 6. Let o be b(-4). Let z(s) be the third derivative of -11*s**6/40 - s**5/60 - s**4/12 - s**3/3 + s**2. Is z(o) composite?
True
Suppose 3*i - 2 - 4 = 0. Suppose 3*k - 1466 = -i*q, 0 = -0*q - 2*q - k + 1466. Is q composite?
False
Suppose -2952 = 7*p + 2536. Let v = p - -1417. Is v composite?
True
Let t(p) = 60*p**3 + 2*p**2 - p - 1. Let i = 3 - 1. Is t(i) composite?
True
Let y be (-54)/(-45)*10*(-1)/(-4). Suppose -p + 3*n + 301 = 0, n + 919 = y*p - 0*n. Is p a composite number?
False
Let t be -46*3*258/(-9). Suppose h = j - t, 6*h = 3*j + 8*h - 11878. Is j a prime number?
False
Let c(l) = -143*l**3 + 2*l**2 - 1. Let n be c(1). Let w = -56 - n. Is w a prime number?
False
Let l be -3 + 2 - (-9)/(-9). Is (35/(-14))/(l/548) composite?
True
Suppose 4*w = 9 + 7. Suppose w*h = -671 - 1073. Is (h/16)/((-1)/4) a composite number?
False
Let q(d) = d**3 - 2*d**2 - 3*d - 9. Let w be q(5). Suppose -s + w = -0*s. Is s composite?
True
Suppose 2*x + 0 = -q + 2, 0 = 2*q - 4. Is -107*(-12 + (1 - x)) prime?
False
Suppose -2 = -4*t + 3*v, 3*t - 19 = -3*v - 7. Suppose -t*j - j + 547 = 2*y, 4*j - 729 = -3*y. Let g = j + -94. Is g prime?
True
Let x be 1/((-4)/(-1 - 19)). Suppose 3*c - 3*a = 21, x*c - 3*a = a + 35. Suppose -5*s - 62 = -c*s. Is s a composite number?
False
Let c be (-1 + 31)*(-2)/(-6). Suppose v - 5*s - 27 = 0, -5*v - 4*s + 0 = c. Suppose v*t - t = 563. Is t a prime number?
True
Suppose -c + 7 = s + 2, -5*c = 2*s - 4. Suppose -2022 = -s*w + w. Is w a composite number?
False
Let a(n) = -121*n + 100. Is a(-13) a prime number?
False
Let p(x) = 9*x**2 + 39*x - 259. Is p(-24) a composite number?
False
Let q = -149 + 1054. Suppose 0 = 3*a - 0*a - 5*d - q, 925 = 3*a + 5*d. Is a prime?
False
Let o(t) = -17*t**3 + 3*t**2 - 5*t - 6. Let n be -3 - -10*(3 + -2). Suppose k = -n + 2. Is o(k) composite?
True
Let l(h) = -2*h**3 - 7*h + 1271. Let f be l(0). Suppose 4*z + 2*x + x = 3828, 0 = 5*z + 3*x - 4782. Suppose y = w - 5*w + f, -3*w - y = -z. Is w a prime number?
True
Let s = -10672 + 21333. Is s prime?
False
Let p be (-2)/(20/(-12) + 1). Suppose 5*j - 3*r + 2571 = -r, 1530 = -3*j - p*r. Is (j/18)/((-1)/2) composite?
True
Suppose -9*z + 2*z = -8407. Is z prime?
True
Let t be -44*(-9 + 1/1). Let c = -978 + 2025. Let o = c - t. Is o composite?
True
Suppose -4*k = j - 23, j + 0*j + 3*k - 18 = 0. Suppose 5*q - 534 = -j*a + 458, 2*a - 197 = -q. Is q prime?
True
Suppose 10*v - 29717 = 70833. Is v a prime number?
False
Let v = 27 + 12. Let n = 0 + v. Is n prime?
False
Let b(h) = -752*h - 6. Let r be b(-2). Let j = r - 221. Is j composite?
False
Suppose 9 = 5*i - 2*b + 1, -2*b = 2*i + 8. Suppose i = -3*r + 2*r + 259. Is r prime?
False
Suppose -3*s + 168 = s. Let u = s + 107. Is u a prime number?
True
Let b = 4159 + -2376. Is b a prime number?
True
Let i = -2 - -8. Suppose -5*m = -i*m + 219. Is 2*(m/6 + -3) composite?
False
Suppose 4*i = 4*u + 16, -5*u = -2*i + 5 + 3. Suppose 4*n = i*z - z + 1852, 2315 = 5*n - z. Suppose -n - 596 = -3*o. Is o a prime number?
True
Suppose 86*y = 819015 + 580291. Is y composite?
True
Let k be 3/(1/5 + (-2)/(-5)). Suppose 0 = -0*n - k*n + 8005. Is n a prime number?
True
Let s(i) be the second derivative of -i**3/6 + 3*i**2 - 3*i. Let b be s(6). Suppose b*z = -3*z + 369. Is z a prime number?
False
Let h = 0 - -5. Suppose h*d - 132 - 213 = 0. Let r = 328 - d. Is r a composite number?
True
Let j = 9452 + -6125. Is j a prime number?
False
Is -3 + (-5894)/((-28)/4) a composite number?
False
Suppose 3*x - 6*j - 1580 = -2*j, 5*j - 533 = -x. Let m = 911 + x. Is m a prime number?
True
Let d = 8231 - 2394. Is d a composite number?
True
Let r(f) = -5*f**3 - 4*f**2 - 4*f + 4. Let i(b) = 11*b**3 + 7*b**2 + 7*b - 8. Let z(j) = -4*i(j) - 9*r(j). Is z(7) composite?
False
Is (1712240/12 - 0) + (-95)/57 prime?
False
Suppose 0 = 3*d - 6*d - 4*u - 1, 7 = -d - 3*u. Suppose -d*v = 5*c - 7375, -3*v + 7377 = 2*v + 4*c. Is v prime?
False
Suppose 2*j = -j + 25569. Suppose -4*n + 7*n = j. Is n a prime number?
False
Let x = -259 - -490. Let u = x + 8. Suppose 0 = 4*k - 509 - u. Is k a composite number?
True
Suppose -8*l = 5*g - 3*l - 101375, 4*l - 40542 = -2*g. Is g a prime number?
False
Suppose -7*z + 39 = -6*z. Suppose 4*o + z = 5*k - 80, 0 = -o - 1. Is k composite?
False
Suppose 0 = r - 4*z - 63299, -63284 = -r + 12*z - 13*z. Is r composite?
True
Let d(r) = 4*r + r**3 - 5*r**2 + 9*r**2 + 7*r**2 + 5*r. Let x be d(-10). Let w(t) = t**3 - 6*t**2 - t - 13. Is w(x) composite?
True
Let z be (-4)/(-24)*-3*8. Let a = -4 + -2. Is 3/a*z - -551 a composite number?
True
Let o(f) = -3*f**3 - 2*f**2 + f - 1. Let v be o(-3). Let s = v - -23. Suppose -x = -3*q + 386, -4*x + s = -5*q + 737. Is q a composite number?
False
Let a(c) be the second derivative of 5*c**5/4 + c**4/2 + c**3/6 - 9*c**2/2 + 14*c. Is a(5) prime?
True
Is 43/258 - 880978/24*-2 a prime number?
False
Let k(c) = -4*c**3 - 7*c**2 - 6*c. Let z be k(-6). Suppose -w + 5*w - z = 4*p, 5*p + w + 828 = 0. Let s = p - -344. Is s prime?
True
Suppose 0 = -18*s + 248861 + 73393. Is s prime?
True
Let z(a) = 23*a**2 - a + 1. Let h be z(2). Suppose -3*q + 0*q = 3*v - 282, 2*v - h = -q. Is q prime?
True
Let v = -22856 + 54213. Is v a prime number?
True
Let d(j) = j + 3. Let f be d(0). Suppose -f*w + 5*t = -107, -2*w + 77 = 2*t - 21. Let o = 93 - w. Is o composite?
True
Suppose -5*j = -x - 1922, j = 2*j + x - 388. Suppose -j = -4*n - 5*y, -3*y - 91 = -n + y. Let g = -24 + n. Is g a prime number?
True
Let q be ((-598)/(-6))/(0 + 7/(-42)). Let r = 651 - q. Is r composite?
False
Let g(l) = 3*l + 17. Let c be g(-5). Suppose c*v + 198 + 606 = 0. Is -2 + (-7 + 4 - v) a composite number?
False
Suppose d - 5*m - 330 = 220, 2*d - 1058 = -4*m. Let h = -164 + d. Is h a prime number?
False
Let h(m) be the second derivative of -m**5/20 + 7*m**4/6 - 2*m**3 - 3*m**2 - 4*m. Is h(10) a composite number?
True
Suppose 3*c - 6 = 4*j, 9*c - 10 = 3*j + 4*c. Suppose 0*g - 3*g + 282 = -l, j = 3*g + 3*l - 282. Is g/14 - (-12)/42 a prime number?
True
Let y(h) = h**2 + 11*h + 40. Let j be y(-4). Is (-2)/j - (-11462)/12 composite?
True
Is (34/(-102))/((-2)/(0 + 2466)) prime?
False
Let t be 6*4*885/18. Let a = 1737 - t. Is a a composite number?
False
Suppose 236 = 4*x - 3*d - 2*d, 0 = 2*x - d - 124. Suppose 2*z = -z + 12. Suppose -2*m - 106 = -5*l - z*m, 0 = -3*l - m + x. Is l prime?
False
Suppose -9*x = -6*x - 69. Suppose -x = -h + 284. Is h a prime number?
True
Suppose 7*y + 11*y - 356778 = 0. Is y prime?
False
Let d(r) = 41*r**2 + 8*r - 13. Is d(6) a composite number?
False
Let u = 62446 - 36363. Is u a prime number?
True
Let m be (-45)/5*2/(-9). Suppose t + 2*x = -3 + 10, 4*t - 28 = x. Suppose -m*r - 95 = -t*r. Is r a prime number?
True
Let t(y) = 4*y + 24. Let p be t(-6). Suppose -2*h - a + 828 = p, -5*h - a + 2063 = -2*a. Is h composite?
True
Let p(o) = 4*o - 2. Let r(b) = 3*b**2 - 3*b + 3. Let j be r(3). Is p(j) composite?
True
Let u(d) = 338*d**3 - 4*d + 3. Let q be u(3). Let g = 12922 - q. Suppose 8*t - g = 3*t. Is t a prime number?
True
Let h(w) = 2*w - 4. Let b be h(5). Let d = b + -1. Suppose 0*c - 409 = -3*c + 5*i, d*c - 695 = 5*i. Is c a composite number?
True
Let s = 53 + 289. Suppos