 + 2*n + 76 = 5*n. Is x composite?
True
Let p(y) = -3*y**3 - 4*y**2 - y + 4. Let r be p(3). Suppose -v - v - 62 = 0. Let t = v - r. Is t prime?
False
Let m(p) = p**3 + 14*p**2 - 7*p - 1. Let c(n) = -n**3. Let q(u) = 2*c(u) + m(u). Is q(7) a prime number?
True
Let i = 100 - 53. Is i composite?
False
Is (-14 + 2)*(-17)/4 a composite number?
True
Let g(v) = v**3 + 8*v**2 + 3. Let s be g(-8). Suppose b = s*o + 640, 4*b = -0*b + 2*o + 2590. Is b a composite number?
True
Let w(x) be the first derivative of x**3/3 + x**2 - 2*x - 2. Let k be w(-3). Is (k - 2)/(2/(-78)) a composite number?
True
Suppose 3*t - 40 = -2*t. Let p = 5 - t. Is p/(-6)*6 + 146 a composite number?
False
Suppose -2*s + q = -165, 3*s + q = 7*s - 325. Suppose 5*v - s = 975. Is v prime?
True
Let o be (-14)/(-2)*8 + 0. Suppose o = -r + 5*r. Is r composite?
True
Let j = -10 - -7. Is j/(12/(-220)) - 0 a composite number?
True
Suppose -k + j + 141 = 0, -3*j + 261 = 2*k + 2*j. Suppose k = 4*r - r. Is r prime?
False
Suppose 5*l + 1 = -4. Let b be l*(1 + 0)*-5. Suppose 0*n + 125 = b*n. Is n prime?
False
Let u(k) be the third derivative of 1/6*k**3 + 0*k + k**2 + 7/60*k**5 + 1/8*k**4 + 0. Is u(-3) prime?
False
Let m(w) = w**2 + 14*w + 10. Let n be m(-15). Let k be (1 + 10)*-1 + -1. Let x = n + k. Is x a prime number?
True
Let t(n) = n + 6. Let j be t(-6). Is (-1320)/(-3) - (1 - j) a composite number?
False
Let v(p) = 45*p**3 + 3*p**2 - 1. Is v(2) prime?
False
Suppose 5*b - 2*b = 4965. Is b prime?
False
Let r(c) = -2*c - 9. Let l be r(-6). Suppose 2*v + l*v - 745 = 0. Is v a prime number?
True
Suppose d - 3*d - 6 = 0, 0 = -2*l - 5*d - 5. Suppose -5*p = -4*k + 3, -2*k + l*p = -0*k + 1. Suppose 2*y - 54 = -2*t, k*t = -0*t - 3*y + 58. Is t composite?
False
Suppose 717 = 3*a + 4*v + 240, 4*a - 2*v - 636 = 0. Is a composite?
True
Is 2/((-4)/2) - -454*3 composite?
False
Suppose y - 726 = 7027. Is y a prime number?
True
Let d(j) = 23*j. Let l(v) = -v**3 + 3*v**2 - v. Let i be l(2). Let w be d(i). Suppose 3*k = -1 + w. Is k composite?
True
Let u be -3 - ((-5)/1 + -2). Suppose -9*m = -u*m - 565. Is m a composite number?
False
Suppose 3*k + 3*g - 906 = 0, 3*k - 903 = g - 3*g. Is k a prime number?
False
Suppose 2*m + h = -4, -4*m = -2*h + 2 - 10. Suppose -3 = s, m*p + p - 7 = -4*s. Is p composite?
False
Is (0 - (-1 + -2938))/1 a composite number?
False
Suppose 4*d = d + 9. Suppose d*u = u + 658. Is u prime?
False
Let n = -430 + 635. Is n prime?
False
Let c be -1 + -1*9/(-3). Suppose h - c*y - 8 - 46 = 0, 226 = 4*h - 3*y. Is h a composite number?
True
Suppose 37 - 457 = 4*j. Let g = j - -172. Is g composite?
False
Suppose -3*m = 2*m - 20. Suppose -3*d + 8 = m*u - 6, -d - 3*u + 8 = 0. Let y(w) = 10*w**2 - 4*w + 2. Is y(d) a composite number?
True
Let p(g) = 2*g**2 - 11*g + 2. Is p(-8) a composite number?
True
Suppose -5*i - 2*g - 30 = 0, g = -2*i - 3*g - 28. Let h(u) = u + 3. Let v be h(i). Is 127*(-3)/3*v prime?
True
Let r(h) = -h**3 + 8*h**2 + 5*h + 3. Let m be r(6). Let w = m + -70. Is w composite?
True
Let g(d) = d**3 - 19*d**2 - 39*d + 35. Is g(22) a prime number?
False
Let u be (120/9)/(4/18). Suppose u = -n + 3*n. Suppose 5*b = -0*b + n. Is b composite?
True
Suppose -10 = -3*r + 4*r. Let y = r + 14. Suppose y*l = -16, 5*d = 3*l - 6*l + 58. Is d a composite number?
True
Let l(s) = -1. Let z(m) = -3*m - 2. Let r(t) = 2*l(t) + z(t). Let g be r(-4). Let c = g - -2. Is c a composite number?
True
Let x = 41 + 122. Is x composite?
False
Let t = -6 - -29. Suppose -2*u = 5*c - 41, -2*u = 4*c - 21 - t. Let f = u + -17. Is f a composite number?
False
Let r(k) = -48*k + 1. Suppose 0 = -2*h - 3*m, -5*m - 4 = -h + 3*h. Suppose 0*o = -h*o - 9. Is r(o) composite?
True
Let j = -4 - -6. Suppose 0 = -j*w - m + 178, 2*m - 443 = -2*w - 3*w. Is w prime?
False
Suppose b + 5*w - 22 = 0, -2*b + 3*w = 3*b - 26. Suppose -y + 30 = -b. Is y prime?
True
Let z(s) = -s - 3. Let l(d) = d + 3. Let c(q) = 4*l(q) + 5*z(q). Let n be c(-3). Suppose 5*x - 86 - 99 = n. Is x a composite number?
False
Is (-810 + 8)/((-4)/10) a prime number?
False
Let d(z) = z**2 + 6. Let b be (-3)/(-9) - 40/(-6). Is d(b) a prime number?
False
Suppose 4*v + 4*c = -0*v - 20, 0 = v - 4*c - 20. Suppose v = -2*g - 3*g + 655. Is g a prime number?
True
Is (-29015)/(-42) - ((-26)/12 - -2) prime?
True
Let k(u) = -u**3 + 7*u**2 + 7*u + 11. Is k(6) prime?
True
Let s(g) = 3*g. Let y(m) = m**2 - 6*m + 4. Let h be y(5). Let u be s(h). Is (-3)/(-9) + (-194)/u prime?
False
Let j(l) be the third derivative of 5*l**4/24 + l**3/3 + 4*l**2. Is j(4) a composite number?
True
Let z = -44 + 103. Is z composite?
False
Suppose 1225 = 3*b - 164. Is b composite?
False
Suppose 6*r - 3*z = r + 14180, r + 4*z = 2813. Is r composite?
False
Let d(w) = -2*w**3 - 2*w**2 + w - 2. Is d(-3) prime?
True
Let a = 3 - 5. Let l be (1 + -25)/a + 1. Let j = 18 + l. Is j composite?
False
Let l = 49 - -333. Is l a composite number?
True
Let k = 9 - -44. Is k composite?
False
Suppose -w = -5*w - d + 301, -2*w = -5*d - 123. Suppose 0 = g + 2*g. Suppose -2*v + g*v + w = 0. Is v a prime number?
True
Let u = 3165 + -2212. Is u a prime number?
True
Suppose 0 = -4*a - 2*i + 504, -2*a + 4*i - i = -244. Suppose -3*b + 544 = -a. Is b a composite number?
False
Let x = 9 + -5. Is 2/x*514 + 2 prime?
False
Let c(s) = 12*s**2 + s - 1. Suppose 2*q + 5*o = 3*o - 2, 3*q - 3 = -o. Is c(q) composite?
True
Let r(k) = k**2 - 6*k - 1. Let o be r(7). Suppose -o*s = -s - 565. Is s a prime number?
True
Suppose -730 = -2*t + 120. Let i = 78 - 123. Is t/9 - (-10)/i prime?
True
Suppose -4*p = -4 - 20. Suppose 2*d - 4*d = z - 63, 3*d = p. Is z composite?
False
Let p(c) = -61*c - 1. Let b(j) = -61*j. Let f(d) = -4*b(d) + 3*p(d). Is f(2) a prime number?
False
Let p be (1 - 3) + (-1 - -5). Suppose 3*q - q + 4*u - 82 = 0, 78 = p*q + 2*u. Is q composite?
False
Let u = 2 - 0. Suppose x = u + 21. Is x a composite number?
False
Suppose 955 = 5*z - 0*z. Is z prime?
True
Suppose 0 = 4*x - 3*x - 4. Is (182/(-3))/(x/(-6)) prime?
False
Let y(r) be the first derivative of 32*r**3/3 - r**2 - r + 7. Is y(2) composite?
True
Suppose -9*r + 7*r - 84 = 0. Let b = -9 - r. Is b a prime number?
False
Let b(j) = -j**3 - 9*j**2 - 5*j + 5. Let u be (-27)/6*(-8)/(-6). Let l be b(u). Is -3*l/3*2 a prime number?
False
Suppose 0 = -j + 6*j - 410. Suppose 92 = -5*r + o, 3*o + j = -4*r + o. Is (-2 + 2 + -1)*r composite?
False
Is (-12)/3 + 2/(4/1650) a prime number?
True
Let j(v) = v**2 - 6*v + 7. Let s be j(5). Is -259*2*s/(-4) composite?
True
Suppose -r + 4 = 0, 0*k = -5*k - 2*r - 1307. Let t = k - -149. Is 4/(-6)*t - -1 a prime number?
False
Suppose 2*d + 3*u - 27 = -d, 2*u = -3*d + 28. Let r(o) = -o**3 + 9*o**2 + 13*o - 6. Let m be r(d). Suppose -3*a + 4*a = 5*i - 70, 3*i + 3*a = m. Is i prime?
True
Let p = 7298 + -4861. Is p a composite number?
False
Let b(r) be the second derivative of r**5/6 - r**4/6 - 7*r**3/6 + r**2 - 4*r. Let f(k) be the first derivative of b(k). Is f(-5) prime?
True
Suppose 0 = -4*s - 20, k + 0*k - 402 = -4*s. Is k a prime number?
False
Let l(s) = 4*s + 1. Let t be l(-4). Let b be -2 + 0 + t/(-3). Suppose -139 = -b*r + 8. Is r prime?
False
Suppose 0 = o + o - 1402. Is o prime?
True
Let v be (-1)/(2/3 - 1). Let u(q) = 20 + 1 + v*q - 4*q. Is u(0) composite?
True
Let y(t) = -t**3 + 7*t**2 - 7*t + 6. Let b be y(6). Suppose 2*x + 0*x = 58. Suppose b = 5*q + x - 214. Is q a composite number?
False
Let s(z) = z**3 + 6*z**2 - z - 5. Let m be s(-6). Is (-2*21/(-6))/m a composite number?
False
Let s(p) = -1 - 2*p - 6*p - 13*p + 2*p. Suppose 12 - 2 = -5*c. Is s(c) a composite number?
False
Let j(o) = 3*o + 202. Is j(0) a prime number?
False
Let h(y) = 3*y**3 + y**2 - y. Let s be h(1). Suppose -3*b - 48 = -6*i + s*i, -i - b + 20 = 0. Is ((-2)/(-6))/(3/i) composite?
False
Suppose 4*c - 191 = -x - c, x - c = 215. Is x a composite number?
False
Suppose -2*m + 4*s + 954 = 0, -2*s - 2 = -4*s. Is m a composite number?
False
Let h = 1136 - 579. Is h prime?
True
Suppose 4*l - 1188 = -2*q + 218, 2*q = -3*l + 1411. Is q prime?
False
Let c(d) = -3*d**3 - 9*d**2 + 5*d + 5. Is c(-6) a composite number?
True
Suppose j = -z + 180, 185 = 4*j - 5*z - 580. Is j prime?
False
Let j = 8 - 6. Suppose 9 = -2*g - 3*q, -2*g - q + 3 = -j*q. Suppose 0 = -2*h - g*h + 46