a composite number?
False
Suppose 39*d = 32*d + 109949. Is d composite?
True
Let s = 102245 + -72834. Is s a prime number?
True
Let j = -51 - -46. Let x(v) = -v**3 - 3*v**2 + v + 4. Is x(j) prime?
False
Suppose 2*j + 4*v - 4 = 10, -3*j - 4*v + 23 = 0. Let y(h) = 0*h - 3*h**3 - 9*h + 18*h**2 + 2*h**3 - 7. Is y(j) composite?
False
Let j = -8 + 8. Suppose o = 2*q - 1143, q + 3422 = -3*o - j*q. Is 0/(-2) - o/7 composite?
False
Suppose 0*n = 4*n - 5*s + 8, -5*n = 3*s - 27. Suppose 4*w + 1312 = 3*y, -2*w = -n*y - y + 1746. Suppose 2*m + 101 = 3*r - 162, -y = -5*r + m. Is r composite?
True
Let d = -16 - -28. Let v = d - 10. Suppose 5*m - v*z - 629 = 0, m - z - z = 121. Is m a prime number?
True
Let x(o) be the third derivative of -73*o**4/6 + o**3/2 - 21*o**2. Is x(-2) a composite number?
False
Suppose 11*o = -26*o + 202427. Is o prime?
True
Let c(h) = 199*h**2 - 1. Let o be c(-1). Is (11/(o/(-12)))/(2/(-4083)) composite?
False
Suppose -17 + 8 = -x - 2*z, -3*x = z - 12. Let i(s) = s**2 - s - 5. Let b be i(x). Let w(g) = 371*g. Is w(b) a prime number?
False
Let r(h) = 6*h**3 + 30 - 17 - 7*h**3 - 15*h**2. Suppose -3*p = -p + 30. Is r(p) a composite number?
False
Suppose -b - 9*t + 10883 = -5*t, 3*b + 2*t - 32679 = 0. Is b composite?
True
Suppose 0 = 2*v - 8 - 2. Suppose v*b + 3*l - 35 = 0, -3*b + 22 = 2*l - 0*l. Suppose -5*n = -b*a + 363, a - 2*n = -2*a + 267. Is a prime?
False
Suppose 0 = -d - 0 + 2. Suppose 0 = 3*g + 2*y - 1148, -y - 2*y - 748 = -d*g. Suppose -4*q + 272 = -g. Is q a prime number?
True
Suppose -7 + 32 = -5*p. Let b(h) = h + 2. Let i be b(p). Is 237/6 - i/(-2) a composite number?
True
Let t(i) = i**3 - 2*i**2 - 5*i + 6. Let c be t(3). Suppose -5*r + c*r = 60. Is 4*(6657/r)/(-7) a prime number?
True
Let t = 4380 + -2797. Is t a prime number?
True
Let l(t) = -24*t - 5. Let h(i) = -i**2 - 17*i + 5. Let d(j) = -j. Let m(g) = 6*d(g) - h(g). Let p be m(-11). Is l(p) a prime number?
False
Suppose -25*k - 24*k = -24533761. Is k prime?
False
Suppose -3*h + 5*v = -6*h + 15, h - 2*v - 5 = 0. Suppose 0 = g - 2*g + 5. Suppose -k - h*s + 656 = 0, 2*k - 1369 = -g*s - 82. Is k prime?
True
Let p(v) = -135*v**2 + 144*v**2 - v + 1 - 4*v**3 + 4. Is p(-4) a composite number?
False
Let q(u) = 4*u**2 - 5*u + 3*u - 3*u**2 + 4. Let b be q(3). Let p(w) = 15*w + 6. Is p(b) prime?
False
Suppose 0 = -17*i + 9520 + 6171. Is i a prime number?
False
Is (3/(-9))/(9/(-555147)) a composite number?
True
Let n = 30 + -2. Suppose 3*w + w = n. Let s(m) = 2*m**3 - 10*m**2 - 5. Is s(w) a composite number?
False
Suppose -2 + 8 = 3*d. Let j(b) = -3*b - 7*b**d + 3 - 5*b**2 + 0*b**2 - b**3 + 12*b. Is j(-13) a prime number?
False
Let l = 2437 - 800. Is l a prime number?
True
Let p = -22 + 16. Let l(c) = -2*c**2 - 5*c - 6. Let f(h) = -3*h**2 - 4*h - 5. Let m(z) = -5*f(z) + 6*l(z). Is m(p) prime?
True
Let n(f) = -f - 5. Let z be n(-4). Let l(m) = -44*m**3 - m**2 + 2*m + 2. Is l(z) a composite number?
False
Let z be ((-2)/(-5))/((-6)/(-15)). Let v(c) = -z - 1 - 1 - 4 + 4*c. Is v(7) a composite number?
True
Let b = -77 + 421. Suppose -i = o - 166, 2*i - 4*o = -0*i + b. Suppose i = 2*w + 3*y - 63, -2*y = -4*w + 502. Is w composite?
True
Let q(j) = -j**2 - 15*j - 6. Let g be q(-14). Suppose 0*b + 2728 = g*b. Is b a composite number?
True
Let l be (3 - (3 - 1)) + -1. Suppose v + 2*h - 104 = 0, v + l*v + h - 108 = 0. Suppose 0 = -3*s - v + 319. Is s a composite number?
True
Let j = 25 - 54. Let n = j + 15. Is -123*n/6*1 a prime number?
False
Let q(m) = -m**2 + 11*m - 5. Let s be q(9). Let o = -6 + s. Suppose 4*l - o*l = -363. Is l a composite number?
True
Suppose -5*c - g - 13682 = -37599, -4*g - 23907 = -5*c. Is c composite?
False
Suppose -3*t - z - 3787 = 0, -2*t - 2*t - 3*z = 5046. Let c = -1236 + -736. Let x = t - c. Is x a prime number?
True
Suppose -5*h - r - 592 = 0, 0*h - 352 = 3*h - r. Let l = -7 - h. Is l a prime number?
False
Let p(q) = q**3 + q + 20287. Is p(0) composite?
False
Let c = -1232 + 1931. Suppose c = 3*k - 2*k. Suppose 0 = 4*d - k - 529. Is d a prime number?
True
Suppose 5952 = -14*z + 10*z. Let b = 55 - z. Is b a composite number?
False
Suppose -1762 = y + 4*l, -4*l + 3476 = -0*y - 2*y. Let u = y - -3791. Is u composite?
True
Let s(w) = -w**3 + 16*w**2 - 6*w - 41. Let v be s(17). Let g = 1285 + v. Is g composite?
False
Suppose x - 14538 = -3*q, -5*x + 2181 = 2*q - 7511. Is q a composite number?
True
Suppose -6*t + 16256 = l - 7*t, t + 3 = 0. Is l prime?
True
Let d(q) be the first derivative of -q**4/4 + 2*q**3/3 - q**2 - 3*q - 2. Let u be d(-2). Let y = 194 - u. Is y a composite number?
True
Let t be (5/2)/(-5) - (-8740)/8. Suppose -632 = -4*m + t. Is m a composite number?
False
Let q(o) = 3*o**3 - 4*o**2 + 4*o - 7. Let b be q(5). Let r = b + 385. Is r a prime number?
True
Suppose 5*r - 36245 = -4*z, 4*r + 2*z = 12477 + 16519. Is r a composite number?
True
Let s be 6/9*(-27)/(-6). Suppose s*n - 746 = 589. Is n a prime number?
False
Let t = 14331 - 2752. Is t prime?
True
Let s(d) = d**2 - 36*d + 435. Is s(-50) a prime number?
False
Let b(o) = -10 - 6*o**2 - 2*o**2 - o**3 - 12*o - o**2 - 1. Let r be b(-8). Let n = 56 - r. Is n a composite number?
True
Suppose 479*s = 480*s - 2921. Is s a composite number?
True
Let t(w) = -2*w + 12. Let v be t(-5). Let f = 26 - v. Suppose 5*c - 5*j - 1161 + 411 = 0, 4*c + f*j - 560 = 0. Is c composite?
True
Suppose 72 = 2*c + 5*y - 274, 0 = -4*c + 2*y + 644. Is c a composite number?
False
Suppose -4*o - 252 = -w, -2*o + o = w - 227. Suppose -w + 1511 = k - 5*j, k - 1267 = 2*j. Is k prime?
True
Let y(i) = i**3 + 23*i**2 - 15*i - 76. Is y(-21) a prime number?
False
Suppose 0 = 5*k - k + 36. Let w = k + 14. Suppose -4*f + p - 4*p + 133 = 0, 0 = -f + w*p + 62. Is f composite?
False
Let p(v) = -v**2 + v + 5. Let c be p(0). Let b(w) be the first derivative of 5*w**2/2 + 9*w + 20. Is b(c) composite?
True
Suppose 0 = -26*o + 75438 + 389936. Is o composite?
True
Let r be (-1)/(4/(-12) + 0). Let p be 1625 + r + (-21)/3. Let l = p + -842. Is l prime?
False
Suppose 32 = -0*q + 4*q. Suppose 3*t + 15 = q*t. Suppose 5*u = -5 + 30, 3*m + t*u - 126 = 0. Is m composite?
False
Let c be 1/((-1 + -1)/2). Let k(n) = 3*n**2 + n. Let v be k(c). Is 1/v - (-579)/6 prime?
True
Is (-3)/7 - 24884/(-14) a prime number?
True
Suppose -3*r + r = 4*m - 258, -317 = -5*m + 3*r. Let s = m - -42. Is s prime?
False
Let w = -1511 - -2973. Suppose 0 = -g + 931 + w. Is g prime?
True
Let a(m) = m + 7. Let s be a(-11). Let g(i) = -4*i**3 + 3*i**2 + 10*i - 22. Let d(t) = t**3 - t**2 - 3*t + 7. Let w(n) = 7*d(n) + 2*g(n). Is w(s) composite?
True
Let q(t) = 40*t**2 + 6*t - 77. Is q(-8) a composite number?
True
Suppose 0 = 3*z - 4*s - 7015, -2*z + 4650 = 4*s - 0*s. Is z composite?
False
Suppose -15 = -4*g - d, 2*g = 7*g - 3*d - 6. Suppose 0 = -g*n + 4*z + 10281 - 3262, -5*z = 5*n - 11640. Is n a prime number?
True
Let h(a) = -a**2 + a - 3. Let v be h(4). Is 3/(-9)*2 + (-26395)/v composite?
False
Suppose -68*m = -65*m - 6906. Is m a composite number?
True
Suppose 0*h + h = 3*d - 13, h + 23 = 5*d. Is 2*1671/12*h a prime number?
True
Suppose -10*a - 17603 + 63933 = 0. Is a prime?
False
Suppose 0*w - 4*w = 2*c, 3*w = 5*c. Let o(b) = -2*b + 59. Is o(w) a prime number?
True
Let s be (-24)/(-18)*(-144)/(-4). Let a = 101 + s. Is a a composite number?
False
Let d(b) = b**3 + 8*b**2 - 10*b - 7. Let y be d(-9). Suppose -4 = -v - y. Suppose 864 = 3*g - 4*c + 3*c, -c = v*g - 571. Is g composite?
True
Let i = 29 - 12. Let b be i/5 + (-6)/15. Suppose b*l - 3*r - 299 = 40, 0 = -4*r + 20. Is l a prime number?
False
Is 2871/6 + 19/38 composite?
False
Let u(w) = 2*w. Let r be u(2). Let j(d) = -d**3 - 4*d**3 + 4*d**3 - d**2 - d + r*d**2 + 3. Is j(-4) a composite number?
True
Let n(o) be the second derivative of -o**4/12 + 253*o**2/2 + o. Is n(0) composite?
True
Let d = 18 + -14. Suppose d*v = 5*g + 341 - 1619, -v = 2. Is g prime?
False
Let o = -19 - -25. Let m(u) = 36*u**2 - 11*u + 13. Is m(o) composite?
True
Let b(q) = -q**2 + 10*q - 7. Let o be b(9). Suppose 0*h = -o*h + 4. Suppose -c = 2*n - 23, -n = -2*c - h*n + 34. Is c prime?
False
Let m(j) = -3*j**2 + j**3 + 3 + j + j - j. Let g be m(3). Let f(a) = 2*a**2 - 7*a + 4. Is f(g) a composite number?
True
Suppose 0 = 26*i - 19*i - 133847. Is i a 