ose h = -4*r + 13. Is r a prime number?
True
Let u be 3 - 2/4*-2. Suppose -2*c + u*p + 12 = 0, 0*c + 15 = 3*c - 3*p. Suppose c*z - 509 = -3*j - 159, 3*z - 277 = 5*j. Is z a prime number?
True
Suppose 4*t + 16 = -2*i, i + t + 0*t = -4. Is (229 - (-3 + i)) + 3 composite?
True
Let o(n) = 61*n**3 - 3*n + 3. Is o(2) a prime number?
False
Suppose -q + 2*i = -2227, 4*q - 5*i + 1670 = 10569. Is q a composite number?
False
Let m = -76 + 20. Let o = -21 - m. Is o a prime number?
False
Suppose -a - 255 = -6*a. Let d = a - 72. Let t = -11 - d. Is t a composite number?
True
Let g = 8 + -6. Suppose -241 = -b - y - 4*y, 0 = 4*b + g*y - 892. Is b composite?
True
Suppose -2*c - 402 = -4*c. Is c a prime number?
False
Let p be (-3 - (-1 - 8)) + -2. Let z(k) = 6*k**2 - k + 5. Is z(p) prime?
True
Let r(z) = 0*z**2 - 15*z**3 + 0*z**2 + 1 + 0*z**2 + z. Let l be r(-1). Let x = l + 36. Is x prime?
False
Let x(q) = -q**3 - 7*q**2 - 9*q - 4. Let y be x(-6). Suppose -17*r = -11*r. Suppose d - y - 71 = r. Is d composite?
True
Let b = 417 + 20. Is b composite?
True
Suppose 3*z - 2*p + 412 = -z, p - 416 = 4*z. Suppose 8*j + 1100 = 3*j. Let s = z - j. Is s a composite number?
True
Suppose -48 = -5*z + 2*x, 49 - 12 = 4*z - 3*x. Let l(d) = -18*d**3 - 1. Let f be l(-1). Let k = f - z. Is k prime?
True
Let b(i) = -i**3 + 6*i**2 - 4*i - 2. Let l be b(5). Suppose l*k + c - 3*c - 111 = 0, -2*c + 64 = 2*k. Suppose -4*s + k = s. Is s composite?
False
Let h be 0 + 3/1 + -1. Suppose h = u - 5*r, -26 = -4*u + 4*r - 2*r. Let z = 30 + u. Is z a composite number?
False
Suppose 2*g = g + 294. Let k = 427 - g. Is k a prime number?
False
Let q be (-8 - 208) + (1 - -1). Let c = q - -479. Is c a prime number?
False
Suppose i - 4*r - 5 = 0, 4*r - 1 = -5. Let u be 39/(-3)*1 - i. Is (2 - 10/4)*u a composite number?
False
Let c(b) be the first derivative of b**3 + 2*b**2 + b + 2. Let s = -9 - -13. Is c(s) prime?
False
Let l(b) = -8*b**2 - 9 + 8*b - 2*b - b + b + 3*b**3. Let k be l(7). Is (-4)/18 - k/(-18) prime?
True
Let d(k) = -k**2 + 4. Let j be d(-3). Let o(n) = 6*n**2 + 6*n - 1. Is o(j) a composite number?
True
Is 1455/(-10)*6/(-9) composite?
False
Is 4 - (-9521 + (3 - 1)*-1) prime?
False
Suppose 0 = -5*b - 819 - 741. Suppose -2*h - 45 - 281 = 0. Let c = h - b. Is c a composite number?
False
Let g(a) be the second derivative of a**7/840 + a**6/360 + a**5/120 + 55*a**4/24 + a**3/3 + a. Let c(i) be the second derivative of g(i). Is c(0) prime?
False
Let c be 0 - 1 - (-10 - -1). Let d = -6 + c. Let s = d - -31. Is s prime?
False
Let h(d) be the third derivative of 0 + 0*d - 1/60*d**5 + 1/120*d**6 - d**2 + 0*d**4 + 37/6*d**3. Is h(0) composite?
False
Let n be 0/((-3)/(3/2)). Suppose 2*w = k + 19, n = -3*k - w + 2*w - 62. Is (-2)/6 + (-4018)/k a composite number?
False
Let x be (-3)/((-9)/2 - -3). Is ((-502)/4)/((-1)/x) composite?
False
Suppose 0 = t - 0*t + 12. Is 1188/16 - (-3)/t composite?
True
Is -2*(3/3 - 32) a composite number?
True
Let x(k) = -k**3 + k - 5. Let n(b) = b**3 + b**2 - b + 10. Let o(s) = -3*n(s) - 5*x(s). Is o(6) a composite number?
False
Suppose 3*v + 2 = 473. Is v a prime number?
True
Let m(z) = 2*z**2 - 3*z + 1. Let w be m(2). Suppose 5*u - 380 = -5*d + 25, -u + 85 = w*d. Suppose 2*f - u - 103 = 0. Is f composite?
True
Suppose 0 = -2*s - 4*m + 178, 3*s - 2*m = m + 249. Is s a prime number?
False
Let v(x) = 24*x**2 - 2*x - 11*x**2 - x**3 - 7*x - 4*x - 4. Is v(11) a composite number?
True
Let f = 699 + -318. Suppose 0*i - 3*i + f = 0. Is i a prime number?
True
Let x(j) = -j**3 + 4*j**2 - 2*j - 1. Let u be x(3). Let i be u/1*(-30)/4. Is (5/i)/((-2)/210) a prime number?
False
Let o = 4 + -2. Suppose -64 = -j + o*m + 81, -5*m - 577 = -4*j. Is j a composite number?
True
Suppose -x - g = 2*x + 14, 0 = -2*x - 5*g - 31. Is 1083/9 - 2/x a prime number?
False
Let w(b) = -b**3 + 3*b**2 + b + 2. Let v be (-129)/9 + (-2)/3. Let r be (-1)/5 - (-42)/v. Is w(r) a composite number?
False
Suppose -4*i - 3781 = -3*q, 5*i - 1434 = -4*q + 3597. Is q prime?
True
Let d = 3261 + -1410. Suppose -6*a - 608 = -s - 2*a, 3*s = 3*a + d. Suppose 0 = 2*h + 2*h - s. Is h a composite number?
True
Let v = 3 - 1. Suppose 6 = t + v*t. Suppose -t*k = k - 471. Is k a prime number?
True
Let r(m) = -m**3 + 353. Is r(0) composite?
False
Let o = -21 + 7. Is 4/14 - 3538/o a composite number?
True
Let r = 8 + 58. Let x = 109 - r. Is x composite?
False
Let s = 152 + -49. Is s composite?
False
Suppose 2*f = -0*f. Suppose -u - u + 8 = f. Suppose 0 = -u*l - 0*l + 52. Is l prime?
True
Let z(j) = -1. Let o(s) = -2*s**2 - 9*s - 2. Let b(k) = -o(k) - 3*z(k). Is b(-12) composite?
True
Let o(q) = 1829*q**3 + 3*q**2 - 3*q. Is o(1) a prime number?
False
Is ((-2)/(-4))/((-4)/(-16016)) + 3 composite?
True
Let i = -6 + 8. Suppose 0 = -i*d + 125 + 129. Is d a prime number?
True
Let y be 43/((8/2)/8). Suppose 0 = -2*f + y + 104. Is f composite?
True
Let o(s) = -s**3 - 12*s**2 - 14*s. Is o(-11) prime?
False
Suppose -2*a + 2649 = 3*a + 4*p, -1058 = -2*a - 2*p. Is a a prime number?
False
Let t(p) = 91*p**2 + p + 1. Suppose -4*k + 8 = -c, -3*k + 2*c = -6*k + 17. Suppose k*m + 1 + 2 = 0. Is t(m) prime?
False
Let c(q) = q - 4. Let u(s) = -2*s - 7. Let v be u(-7). Let t be c(v). Is 90 + ((-6)/t - -1) composite?
False
Let d = 45 + -25. Suppose -v - d = -99. Is v composite?
False
Let h = 239 - 138. Suppose 4*r = 417 - h. Is r composite?
False
Suppose 3 = -4*y - 29. Let n(l) be the second derivative of -7*l**3/6 - 7*l**2/2 - l. Is n(y) a composite number?
True
Suppose -z = -3*r - 2*z + 7, 0 = -5*r + 3*z + 35. Suppose 13 = -r*i + 209. Is i prime?
False
Suppose 8285 = -55*n + 60*n. Is n a composite number?
False
Let i(h) be the third derivative of -h**5/60 + 5*h**4/24 + 4*h**3/3 + 2*h**2. Let k be i(6). Suppose -k*q + 15 = 5*c - q, 2*c - 2*q - 18 = 0. Is c composite?
True
Let h(j) = 6*j**3 - j**2 - j - 2. Let k be h(-2). Let n be 11/22 - 54/4. Let i = n - k. Is i a prime number?
False
Let b = -6 - 17. Let q = 90 - b. Suppose -q = -2*r + 113. Is r a composite number?
False
Suppose 6*b - 6956 = 2*b. Is b composite?
True
Let j(b) = 6*b + b**3 - 2*b**2 + b**3 - 3*b - 3. Suppose s = -4*x - 2, -5*s + 2*x = -3*x - 15. Is j(s) composite?
False
Let n = 240 - 28. Suppose -3*v + n = v. Is v prime?
True
Let a be ((-54)/12)/(2/(-4)). Let j = 0 + a. Let f(y) = 4*y + 1. Is f(j) prime?
True
Let l(h) = h + 5. Let n be l(-6). Let q = 1 - n. Suppose -219 = -q*k - k - 3*w, 5*k = -w + 381. Is k a prime number?
False
Let a(d) = -3*d. Let o be a(5). Let k = 62 - o. Let i = k + -42. Is i prime?
False
Let k be (-2)/(-5) - 176/(-10). Let u = 33 - k. Is u composite?
True
Suppose -2*l + k = -4*l + 791, 3*k = 2*l - 803. Is l a prime number?
True
Suppose 2312 = b + 2*b - l, b - 774 = l. Is b composite?
False
Let z(p) = p**2 - p - 11. Let m be z(0). Let r = m - -22. Is r a composite number?
False
Suppose -4*p = -3*j - 8, 2*j + 3 = p + 1. Let n be -43 - p/(-2)*2. Is -4 - (0 + -2) - n composite?
True
Suppose -3*k + 189 = -3*y + 24, -5*k - 4*y = -311. Is k prime?
True
Let r(h) = h**3 + 2*h**2 + 2*h + 2. Let g be r(-2). Let q = 21 + g. Is q composite?
False
Let s be ((-1)/1)/((-2)/50). Let l = s - 4. Is l a composite number?
True
Suppose -5*x - 17 = -4*b + 9, 4*x - 4*b = -24. Let g = x + 2. Suppose -3*l = -2*s + 105 + 11, 2*s + 5*l - 100 = g. Is s a composite number?
True
Let k(y) = y**3 - y**2 + y + 1. Let c be k(-5). Suppose -2*m + 0 = -2. Is (c/(-6))/(m/3) a composite number?
True
Let a = -6 - -2. Let n be a/(-3)*6*-2. Let z = -9 - n. Is z a composite number?
False
Let z be 1 + -2 - (-15)/5. Let u(s) = -3*s - 3. Let a be u(-2). Suppose -2*t - a*q = -71, z*t - q - 59 = -0*q. Is t prime?
True
Suppose 0 = k - 3*k + 54. Is 197/3 + (-18)/k a composite number?
True
Let a be (-2)/(2 - 216/107). Suppose -2*t = 3*v + a, 0*t + 47 = -v + 5*t. Is 2/2 + -1 - v composite?
False
Let z(n) = 36*n**2 + n + 1. Let l be z(2). Let p = l + -73. Is p a prime number?
False
Let d = 1 - 1. Let a = 4 + d. Suppose 2*i + 1 = x + a, 3*x = 5*i - 6. Is x a prime number?
True
Suppose 2*a - 286 - 312 = 0. Is a a composite number?
True
Is 2/(-4) - 3887/(-26) a composite number?
False
Let s(o) = 10*o**2 + o + 1. Is s(3) a prime number?
False
Let u be 2/5 - (-22008)/(-20). Let n be 2/4 - u/8. Suppose -k - n = -4*