
Let o(r) = -r**3 - 4*r**2 + 5*r + 3. Let w be o(-5). Suppose w*a + a - 1004 = 0. Is a prime?
True
Let n = -5073 - -7552. Is n composite?
True
Let w = -11 + 11. Suppose -2*b = 4*y - 276, 2*b - 4*y + w*y = 260. Is b a prime number?
False
Let q = -4 - -6. Suppose -q*x + 3*x = -4, 5*x + 35 = 5*u. Is (20/3 - -1)*u composite?
False
Let d = 516 + -251. Is d composite?
True
Suppose -3*s = k + 3*k + 23, 0 = 5*s + 4*k + 25. Suppose 5*d - 3*d - 44 = 0. Let w = s + d. Is w composite?
True
Suppose 4*w - 1 = 7. Suppose w*s + 2*s - 564 = 0. Is s a composite number?
True
Let y = -1 + 2. Suppose -2*c = -43 - y. Is c prime?
False
Suppose -2*k = -4*r + r - 1001, -5*r = -4*k + 1997. Is k a prime number?
False
Let p(v) = 2*v**3 + v**2 - 3*v - 3. Let q be p(4). Let y = q - 64. Suppose 9*z - 4*z = y. Is z a composite number?
False
Let f(j) be the third derivative of j**6/120 - 7*j**5/60 + j**4/24 - 2*j**3/3 - 2*j**2. Let g be f(7). Suppose -w - 130 = -g*w. Is w a prime number?
False
Is (838/4)/(1/(14/7)) a prime number?
True
Let g(t) = t - 5. Let q be g(0). Let i be ((-6)/q)/(2/20). Suppose -50 = -2*a - i. Is a prime?
True
Suppose 0 = -3*o + 12706 + 5477. Let g = o - 4304. Is g prime?
False
Let k(q) = q**2 + 4*q + 3. Let m = -3 - 1. Let r be m/14 - 54/7. Is k(r) a prime number?
False
Suppose y = 3*l + 47, 2*y - l - 133 = -y. Suppose -3*x + 4 = 4*n - 7*x, 4*n - 5*x = 0. Suppose -y = -n*w + w. Is w a composite number?
False
Let v(g) = -g + 4. Let l be v(4). Suppose 3*c + c - 2*z - 5292 = 0, l = -5*c - 5*z + 6645. Is c/4 + (-2)/8 prime?
True
Let t = -6 + 11. Let g(f) = f**2 - 4*f - 3. Let s be g(t). Suppose -s*r - 25 = -3*r. Is r a prime number?
False
Suppose 787 + 3143 = 2*a + 2*y, a - 4*y - 1975 = 0. Is a composite?
True
Let q(t) = -t**2 + 10*t - 3. Let m = -29 + 53. Suppose -g = -z + 2, -m = -2*z + 2*g - 5*g. Is q(z) composite?
True
Let j be 7 - -6*(-2)/4. Suppose j*k + 0*k = 148. Is k a composite number?
False
Let o(i) = -2*i**2 + 3 + 3*i**2 + 4*i - i - 2*i. Is o(3) a composite number?
True
Is (-16)/(-8) - 160/(-2) a prime number?
False
Suppose 24 = -3*n - 3*p, -12 = -3*n + 4*n - 3*p. Is (n/(-6))/((-3)/(-76)) a prime number?
False
Let h be (-2)/5*(-1155)/3. Suppose -2*n + 0*n = -h. Is n prime?
False
Let q(t) = 4*t**3 + 4*t**2 - 6*t + 5. Let u(m) = -4*m**3 - 4*m**2 + 6*m - 5. Let p(l) = 5*q(l) + 4*u(l). Is p(4) composite?
True
Let q(w) = 0*w - 2*w + 6*w - 12 - w. Is q(11) a prime number?
False
Is ((-3777)/6)/(-3 - 5/(-2)) prime?
True
Suppose 3*n = 42 + 1287. Is n a composite number?
False
Let l(g) = g**2 + 4*g - 17. Is l(-8) a prime number?
False
Suppose 11*z = -2*z + 2119. Is z composite?
False
Let s be 10/6 + 1/3. Suppose 4*a = a - s*h + 10, -4*h + 18 = 5*a. Suppose 2*y - 60 = -a*y. Is y composite?
True
Suppose -5*l - 7 - 78 = 0. Let m = -12 - l. Suppose 0 = -4*d - 12, 2*o - 4*o - m*d = -79. Is o a prime number?
True
Let d(s) = -13*s**2 + 2 + 24*s**2 + 3. Is d(-6) a composite number?
False
Let k be 1/(12/(-9))*-4. Suppose f + 1 = -m, m + 0*f = 3*f + k. Is (-67 + 0)*(m - 1) a composite number?
False
Let j be 1/(-2)*-1*4. Suppose j*g - 6*g + 52 = 0. Is g prime?
True
Suppose 0 = 4*n - 6111 + 1339. Is n a composite number?
False
Suppose -5*u + 595 = -3340. Is u composite?
False
Let n = -13 - -9. Let z(v) = -6*v + 2. Is z(n) prime?
False
Let y(x) be the third derivative of -x**6/20 - x**5/15 + x**4/24 - x**3/6 + x**2. Let r be y(-3). Suppose 3*t - 145 - r = 0. Is t prime?
True
Let s(y) = -y**3 + 3*y**2 + y - 17. Is s(-10) a prime number?
False
Let u(m) = 2*m**3 - 4*m**2 + 4*m + 1. Suppose 0*r - 5 = -3*v + r, 4*v - 8 = r. Is u(v) composite?
False
Let q(u) = -u**2 + 74 + 4*u**2 - 2*u**2 + u. Is q(0) a composite number?
True
Let q(k) = -k + 35. Let a = -7 + 7. Let y be q(a). Let z = y - -62. Is z prime?
True
Let z(d) = 17*d + 3. Let i(u) = -18*u - 3. Let l(k) = 6*i(k) + 5*z(k). Is l(-4) a composite number?
False
Suppose -2*s - 2 = -2*j, 5*s + 0*j = -5*j + 35. Let m(v) = -2 + v - 6 - s*v. Is m(-7) a prime number?
False
Let c(d) = 279*d + 2. Is c(3) a prime number?
True
Suppose 0 = -5*r + 10, -r + 130 + 107 = 5*y. Let v be (-2119)/(-3) + 3/(-9). Suppose -10 = -2*k, -y + v = 2*f - 3*k. Is f prime?
True
Let w = 21 - 14. Let o(s) = -2*s - 15. Let a(u) = -3*u - 14. Let r(m) = -6*a(m) + 5*o(m). Is r(w) a prime number?
False
Let q = -13 - -18. Suppose -4*t = q - 153. Is t composite?
False
Is (-327)/9*1*-3 composite?
False
Let n(g) = g**3 + 6*g**2 - g - 4. Let k be n(-6). Is (-74)/(-1*k*1) a prime number?
True
Let c(w) be the second derivative of -w**5/20 - 5*w**4/12 - 4*w**3/3 + 7*w**2/2 - 17*w. Suppose 7 = -0*q - q. Is c(q) prime?
False
Suppose 2*q - 177 - 145 = 0. Is q a prime number?
False
Is (-6 + 40/7)*-4487 prime?
False
Let x(j) = -16*j - 2. Let m(c) = c + 1. Let a(h) = 3*m(h) + x(h). Suppose -5*y - 11 = -2*y - 4*l, -y + 2*l = 5. Is a(y) composite?
True
Let v(s) = -s + 3. Let l be v(-3). Let t = -10 + l. Is 309/9 + t/(-6) composite?
True
Let c = 1920 - -1141. Is c composite?
False
Let v = 151 + -40. Is v composite?
True
Suppose -3*y - 275 = 11*f - 12*f, 3*y = -12. Is f composite?
False
Let i be (-3)/(-12) - 11/(-4). Suppose 8*a - i*a = -950. Is (-8)/(-2)*a/(-8) composite?
True
Suppose q - 3*q = 2. Is 132 - q/(-1)*-1 a composite number?
True
Let a be 1/((-20)/8 + 3). Suppose g - 89 = -5*o, -4*o + 73 = -a*g + 307. Is g a prime number?
True
Let l(t) be the third derivative of 19*t**4/12 - 5*t**3/6 + 3*t**2. Is l(2) prime?
True
Let j = 4 + 0. Suppose 2*u = 0, -j*f + 381 = -f - 2*u. Is f prime?
True
Let i = 9 - 1. Is (2 + i/2)/1 a composite number?
True
Is 163 + 1 + -3 + -2 composite?
True
Let t(a) be the first derivative of a**3/3 + 2*a**2 - 1. Let x be t(-3). Is (-504)/(-4) - (x - -2) prime?
True
Let v be (1 + -2)/(2/(-8)). Let p = v - -1. Let z = 15 - p. Is z a composite number?
True
Suppose -c = 4*b - 1198 + 381, 3*b - 2*c = 610. Let s(r) = -r**3 + 18*r**2 + 20*r - 14. Let k be s(19). Suppose -k*q + q = -b. Is q a prime number?
False
Let n = 355 - 68. Is n a prime number?
False
Suppose 4*j = -3*r + 24, -r + 5*r - 5*j = 1. Is r composite?
True
Let a(p) = -6*p**2 - p - 1. Let r be a(-1). Let s = -3 - r. Is s a composite number?
False
Let m(r) = r**3 + 10*r**2 + 3*r + 10. Let v be m(-7). Suppose -4*o + v = 2*k, -5*o = -4*k + 74 + 263. Let z = -53 + k. Is z a prime number?
False
Suppose 5*r = 2*v - 4*v - 25, -5*r - v - 20 = 0. Let q(o) = 14*o**2 - o. Is q(r) composite?
True
Let x = 6985 + -4532. Is x a prime number?
False
Let d be (-1)/(-4) + 37196/16. Suppose -d = -5*t - 620. Is t a composite number?
True
Suppose 2*d = 4*o + 16, -o - 5*d - 3 = -10. Is ((-2)/o)/((-4)/(-498)) composite?
False
Let r(c) = -c + 1. Let b be r(-1). Suppose -b*v = 2*v. Suppose -5*s - 4*f + 136 = -s, -2*f + 6 = v. Is s a prime number?
True
Let m = 0 - 3. Let g be ((-76)/(-2))/(m/(-6)). Suppose -n + g = n. Is n a prime number?
False
Let p(s) = s**2 - 4*s. Let g be p(5). Suppose -v - 4*v - g = 0, -3*v + 61 = 4*a. Suppose 2*m + 5*h = 7*m - 55, -a = -4*h. Is m a composite number?
True
Suppose 0*m + 2*m - 2 = -4*k, -8 = -k + 2*m. Suppose k*v + v - 138 = 0. Is v composite?
True
Let p(d) = -6*d**3 - 3*d**2 + 8*d**3 - 3 - 7*d**3 + 4*d. Is p(-4) a composite number?
True
Suppose 1110 = -2*r + 8*r. Is r a prime number?
False
Suppose 5*j - 827 - 350 = -2*v, -v - 4 = 0. Is j composite?
True
Suppose 0 = -c - 2*k + 15, -5*c + 30 = 4*k - 3*k. Suppose -33 = -2*a + x + 33, -2*a = -c*x - 66. Is a prime?
False
Let i(o) = 281*o - 3. Is i(8) a composite number?
True
Let w be (-1637)/(-5) + 2/(-5). Let v = w - 741. Let x = -287 - v. Is x composite?
False
Let v be (6/(-4) + 2)*0. Let g = 5 + -5. Suppose g = -2*t - 8, 2*x - 3*t - 113 + 35 = v. Is x a prime number?
False
Suppose -11872 = -8*c - 696. Is c composite?
True
Let s = 711 - 208. Is s a prime number?
True
Let n = 386 - -197. Is n a composite number?
True
Suppose -131 + 14 = -3*q. Is q a composite number?
True
Suppose 52 = -2*s - 2*s. Let w(t) = t**3 - 3*t**2 + 3*t - 5. Let i be w(4). Let b = s + i. Is b a composite number?
True
Let p be (-9)/12 - 46/(-8). Let z be (-18)/(-10)*2*p. Is 276/z*6/4 prime?
True
Let r be ((-3)/(-4))/((-1)/(-24)). Suppose 4*c - r = 6*c. Let o = 26 - c. Is o a prime number?
False
Let h be (0 + (-1180)/(-16))*12. Suppose -5*r + h = -2*r. Is