4*s - 105 = 0. Is p composite?
True
Suppose k = 0, -3*x = -0*x + 3*k - 9. Suppose -614 = x*a - 5*a. Is a prime?
True
Suppose 3*k - 3*s + s + 45 = 0, -60 = 4*k - 4*s. Is ((-134)/2)/(5/k) a composite number?
True
Let o(s) = 162*s**2 + 13*s - 5. Is o(6) composite?
True
Suppose 0 = -5*t + 9*t. Suppose t = -4*h + 2*h + 116. Is h a prime number?
False
Suppose -4*l + 4443 = 5*g, -5*g - 3*l + 463 = -3978. Is g prime?
True
Suppose 5 = 2*l + 3*l. Let z be l + 3/3 + 2. Is ((-238)/(-3))/(z/6) composite?
True
Suppose 0 = -6*a + 2*a + 14252. Is a composite?
True
Let h be ((-35)/15)/(2/(-6)). Suppose -h*c = -704 - 941. Is c a prime number?
False
Suppose -2*o = -3*h + 19, -5*h + 2*o = -3*o - 35. Is (0 + 13)/(1/h) a prime number?
False
Let x(q) = -7*q**3 - q**2 + 1. Let o be x(1). Suppose 0 = -8*g + 5*g - 66. Let v = o - g. Is v composite?
True
Let q(w) = 1 - 3*w - 2 - 4. Suppose 12 = -4*r - 4. Is q(r) a composite number?
False
Is (-2)/(-7)*(2 - -789) a prime number?
False
Suppose -5*w - 8 = -2*r + 374, -4*r + 3*w = -792. Is r a prime number?
False
Let i(q) = -q**3 + 7*q**2 + 10. Let x be i(7). Let z(j) = -j**3 + 4 + 5 + j + x*j**2 + 0*j. Is z(10) composite?
False
Suppose 0 = -u - 4, u = -4*t + 20 - 0. Is t/3*213/2 composite?
True
Let t(r) = 13*r - 4. Let c be t(3). Suppose 4*o - 23 = -i - 0*o, 4*o - c = -5*i. Is (-32)/3*-3 + i a composite number?
True
Let g = -3 + 8. Let i(f) be the first derivative of 7*f**2/2 - 4*f + 6. Is i(g) prime?
True
Let g(w) = 82*w**3 - 5*w**2 + 5*w - 1. Is g(3) composite?
True
Let d = -15 + 21. Suppose 2*s = d*s - 76. Is s a prime number?
True
Let x(b) = -4*b + 6. Let l be -6*(-3)/6*-3. Let r be x(l). Let s = -29 + r. Is s composite?
False
Suppose -9070 = 10*n - 15*n. Is n a prime number?
False
Let l(x) = x**3 + 5*x**2 + 4*x - 2. Let m be l(-4). Is -1*m/4*226 prime?
True
Let c = -6 - -9. Is c - 5 - 36/(-1) a prime number?
False
Suppose -4*q + 14 = 2. Suppose 2*k - 31 = -2*h + 29, -q*k = -3*h - 60. Let u = k - 18. Is u prime?
True
Suppose 3*o + 3*m - 78 = 0, -5*o + 8*m + 130 = 3*m. Is o prime?
False
Let z(j) = -j**3 - 6*j**2 - 4*j + 3. Let b be z(-5). Let v = b - -6. Suppose -v*q + 2*q + 190 = 0. Is q prime?
False
Suppose 29990 = 12*i - 2*i. Is i a prime number?
True
Let p(u) be the third derivative of 1/120*u**6 + 0*u + 0*u**4 - u**2 + 37/6*u**3 + 0 + 1/60*u**5. Is p(0) a composite number?
False
Let z = -23 - -76. Is z a prime number?
True
Suppose -4*u = -3*c + 20, -2*c + 7 + 8 = -3*u. Let h(y) = -3*y**2 - 7*y + 15. Let z(d) = d**2 + 4*d - 8. Let f(p) = u*z(p) - 2*h(p). Is f(8) a prime number?
False
Suppose 3*w + 15 - 57 = 0. Is w prime?
False
Suppose -3*l = -61 + 1. Let m be l/(-15)*3/(-2). Suppose -4*u = -4*k - 308, 0 = 2*k - 2 - m. Is u prime?
True
Let w be (1/2)/((-2)/(-1224)). Suppose -4*g - 5*y = -w, 0 = -3*g + 4*y - y + 243. Suppose 4*m - 387 = -g. Is m a prime number?
False
Let c(a) = 2*a + 1. Let d be c(2). Let t(b) = -2 + 5*b + 6*b + 0. Is t(d) a composite number?
False
Let o(h) be the third derivative of -1/2*h**3 + 0 + 2*h**2 - 3/20*h**5 + 1/12*h**4 + 0*h + 1/120*h**6. Is o(9) prime?
False
Let i = 237 - -122. Is i a composite number?
False
Let b(t) = 12*t**2 - 4*t + 2. Let w be b(2). Is 4/14 + 786/w a composite number?
False
Let j(c) = 31*c + 1. Let g(t) = -61*t - 2. Let h(y) = -6*g(y) - 11*j(y). Is h(2) prime?
False
Suppose 2*j = 6, 4*i + 2*j = -0*j + 634. Is i prime?
True
Let m(t) = 22*t**2 + 9*t - 18. Is m(13) prime?
False
Let u = 763 - 296. Is u composite?
False
Let l be (-1)/(12/15 - 1). Let k(w) = l*w**2 - 10 - 4*w**2 + 0 - 8*w. Is k(10) a composite number?
True
Let j = -40 + 75. Is j a prime number?
False
Let j(n) = n**3 + n + 65. Suppose -5*r = -2*r. Is j(r) composite?
True
Let k(f) = 1. Let c(y) = -6*y + 2. Let j(s) = -c(s) - 5*k(s). Let l = -6 - -11. Is j(l) prime?
True
Suppose 2*c - q = 285, 710 = 3*c + 2*c - 5*q. Is c composite?
True
Let w(k) = -k**3 - 5*k**2 + k + 4. Let u be w(-5). Let t be (2/4)/(u/(-2)). Is -3*(-3*t + 2) composite?
False
Let b = 511 - 332. Is b composite?
False
Let t(m) = -44*m + 61. Is t(-12) a composite number?
True
Let u(v) = v**2 - 10*v - 12. Let m be u(11). Is (m/(-3))/((-5)/(-4605)) prime?
True
Is (6 - (6 - -2)) + 147*3 prime?
True
Let u(l) = -l**2 + 11*l - 14. Let v be (4 + -1)*22/6. Let w be u(v). Let h = -10 - w. Is h a composite number?
True
Let p = -519 - -910. Is p prime?
False
Let s = 4 - -5. Suppose 151 - s = i. Suppose -183 = -5*n + i. Is n composite?
True
Suppose -137*l = -133*l - 1588. Is l composite?
False
Let x be -2 + 0 - (-1 + -1). Suppose x = 5*g - 3*g - 10. Suppose 4*t = -a + 25, -g*a + 170 = 3*t + 2*t. Is a prime?
True
Let g = 85 - 52. Is g a prime number?
False
Let w be (915/(-30))/((-1)/24). Is (w/8)/(2/4) prime?
False
Let u(d) = d**3 + 8*d**2 - 2*d - 12. Let k be u(-8). Suppose -k*o - 101 = 4*t - 405, 386 = 5*o + 3*t. Is o prime?
True
Suppose 37*k + 5615 = 42*k. Is k prime?
True
Let u = -814 + 1881. Is u composite?
True
Let u be (-4 - -7)/((-6)/(-4)). Suppose 5*m - 327 = -u. Is m composite?
True
Suppose 6*k + 1452 = 7170. Is k prime?
True
Suppose 4*u - 262 = 2*u. Is u a prime number?
True
Suppose 0*p + 350 = 5*p + 4*v, 61 = p - v. Let z be -52 - 3/6*-6. Let q = p - z. Is q a prime number?
False
Let j be (7 - 8) + 1 + 0. Is 160 + (j - 2 - -1) composite?
True
Is -887*(-5 - -2 - -2) a composite number?
False
Suppose -4*a + 80 = -q, 4*q = -2*a - 0*q + 58. Let h = a + 4. Is h prime?
False
Let u(o) = 3*o**2 - 2*o + 7. Let y be u(-5). Is y - (8/4 + -4) prime?
False
Let d(v) = 0 - 8*v**2 + 6 - v**3 + 0*v**3 - 7*v. Is d(-7) composite?
True
Suppose 2*s - 7218 = 2*y, -2*s = -s + 4*y - 3619. Is s a composite number?
True
Is ((954 - 1) + 2)/1 composite?
True
Suppose 5*s = 6*s - 79. Is s prime?
True
Let h(d) = d**2 + 6*d + 12. Let n be h(-3). Let p(k) = -k**3 - 3*k**2 + 2*k + 5. Let z be p(-4). Suppose 5*a = 5*l - n*l + z, -a = l - 4. Is a composite?
False
Suppose 3*r + 5*z - 556 = 0, -3*z = r - 5*r + 751. Is r composite?
True
Let r(s) = s**2 + 6*s - 3. Let g be r(-7). Suppose g*x + 65 = 5*x. Is x composite?
True
Suppose -6*t = -5*t - 305. Is t a composite number?
True
Let m(y) = y**2 + 5*y - 7. Let o be m(-6). Let s(l) = 120*l**2. Let t be s(o). Suppose -45 - t = -5*i. Is i a prime number?
False
Let i(v) = 19*v - 9. Is i(5) a composite number?
True
Let s(y) = y - 3. Let w be s(6). Let j be 1 - 2/(1 - w). Suppose 0*q + j*q = 322. Is q prime?
False
Suppose -2*l = -2*q - 212, 0 = l + l + 2*q - 232. Let m(x) = -x**3 - 3*x**2 + 5*x + 6. Let n be m(-4). Suppose 0 = o + n*o - l. Is o composite?
False
Suppose 140 = 4*c - 6*i + i, -5*i = -20. Let m = c - 17. Is m a prime number?
True
Let d be (-2)/(-6) + 3264/9. Suppose 6*y - 3*y - d = 0. Is y a prime number?
False
Let s(m) = 84*m - 1. Let q be s(2). Let a = -26 + -64. Let y = q + a. Is y composite?
True
Suppose -f = -4*x + 1696, 0*f = -3*f - 12. Let v be (x/(-3) + 1)*-1. Suppose v = 5*d - d. Is d a prime number?
False
Let l = -2 - -2. Suppose -3*q = 2*q - 4*y - 753, -3*q - y + 445 = l. Is q a prime number?
True
Let o(l) = -1 + 11*l - 39*l + 0 - 4. Let c be o(-6). Suppose -c = -3*y + 272. Is y prime?
False
Suppose -3*y + 90 = 5*q, 3*y = 5*q - 2*y - 90. Let x be ((-5)/(-3))/(6/q). Suppose -v + 19 = 4*o, 5*v = x*o - 11 + 181. Is v a prime number?
True
Suppose 4*o = 5 + 3. Let x = 7 + -4. Suppose -u = u - j - 65, -x*j - 55 = -o*u. Is u a prime number?
False
Suppose 5*j = 5*y - 40, -3*y - j - 6 = -30. Let z(i) = i**2 - 9*i + 11. Let a be z(y). Suppose 24 - 405 = -a*v. Is v a composite number?
False
Let h(s) be the second derivative of -s**5/10 - s**4/12 - s**3/3 + 3*s**2/2 - s. Is h(-4) a prime number?
False
Let d(u) = -94*u - 3. Let r be 3/(-6)*(-2 + 4). Is d(r) prime?
False
Suppose -4*u + 17 = 5. Suppose -2*g + 25 = -5*o + u*g, 5*o - 4*g + 26 = 0. Is o/(-4)*(-92)/(-3) prime?
False
Let k(j) = -j**2 + 9*j - 3. Let g be 16/88 - 20/(-11). Suppose -42 = -5*u - 4*q, 0 = -u - g*q + 4*q. Is k(u) composite?
True
Let q(n) = n**3 + 9*n**2 + 7*n + 11. Suppose 4*a - 4*b - 101 = 43, b + 4 = 0. Suppose -7*g + 3*g = a. Is q(g) prime?
True
Let d be 0 - (1 + 0/(-3)). Suppose -f = -5*x + 18, 4*x = -3*f + f + 34. Is f + -1 + -1 + d a prime number?
False
Let z be (2 - 1) + -125 + 2. Let o = 179 + z. Is o a composite number?
True
Suppose 0 = 4*o - 4*d 