 -4*p = -557 - 71. Is p composite?
False
Let d = 62 - -32. Is d composite?
True
Let v(k) = -3*k**3 + 7*k**2 - 4*k + 7. Let q(u) = u**3 - 3*u**2 + 2*u - 3. Let d(j) = 5*q(j) + 2*v(j). Is d(-5) prime?
True
Let n = 4 - 3. Let a = 1 - n. Suppose 0 = 3*r - 2*m + 3*m - 148, -2*m + 2 = a. Is r a composite number?
True
Suppose -10*m = -1672 - 238. Is m a prime number?
True
Is 27536/144 + (-2)/9 composite?
False
Let h(p) = p**3 - 3*p**2 - 6*p + 2. Let i be h(4). Let a = i - -10. Is 12/(-10)*(-1 - a) a prime number?
False
Let g(p) be the first derivative of -p**3/3 + 2*p**2 - p - 2. Let u be g(2). Suppose u*q = -2*q + 335. Is q a prime number?
True
Suppose -m + 0 = -2. Suppose 3*x + 1785 = 5*i, i = -m*x + 88 + 256. Suppose 3*w - 117 - i = 0. Is w prime?
True
Let y be (3 - (9 - 3)) + 182. Is y - -1 - (-2 - -3) a prime number?
True
Suppose 0 = -5*p, 4*h - 1324 = -3*p + 5*p. Is h prime?
True
Suppose -2*k + 59 = 15. Let p = -13 + k. Is p prime?
False
Let s = 17 + -11. Is (635/15)/(2/s) composite?
False
Let i(v) = v**2 - v + 298. Is i(0) prime?
False
Suppose -a = 2*a. Suppose -4*n + a*n = v - 373, -n + 1417 = 4*v. Is v prime?
True
Suppose 5*m + 3*i = 142, 0 = -5*m + 2*i - i + 126. Let x = 9 + m. Is x a prime number?
False
Let h(d) be the first derivative of d**7/840 - d**5/120 + 31*d**4/24 - d**3/3 - 3. Let l(q) be the third derivative of h(q). Is l(0) prime?
True
Let k = 511 - 98. Is k composite?
True
Let z(j) be the third derivative of -j**6/120 - j**4/24 + j**3/2 - 2*j**2. Let w be z(0). Suppose w*p = 5*p - 38. Is p prime?
True
Suppose -1438 = x - 4*x - 2*r, -2*x = 2*r - 958. Suppose d = -2*d - 4*v + 311, 5*d - v - x = 0. Is d prime?
True
Is (4/12)/((-2)/(-10446)) - -4 composite?
True
Let l(y) = y + 3. Let p be l(7). Suppose -4*w - a + 9 = 0, p = 4*w - 0*a + 2*a. Suppose -5*q = -w*s + 322, -q = s - 3*s + 322. Is s a prime number?
False
Suppose -6*c + 125 = -c. Let x = 112 - c. Is x a composite number?
True
Let b(o) = -3*o**3 - 3*o**2 + 3*o - 1. Is b(-4) composite?
False
Let l(k) be the first derivative of -29*k**3/6 - 3*k**2/2 - k + 1. Let d(r) be the first derivative of l(r). Is d(-4) a composite number?
False
Suppose -3*a - 30 = -3*x, x - 2*a - 7 = 4. Suppose x*g = 4*g - w - 34, -8 = -2*g + 5*w. Is 430/14 - g/21 a prime number?
True
Is -785*(4/5)/(-2) composite?
True
Let j(h) = -h**3 + 4*h**2 - 2*h - 3. Let k be j(3). Is 33 - 0/(3 - k) a prime number?
False
Let a = 13 + -8. Suppose -a*y = -0*y - 90. Let k = 33 - y. Is k prime?
False
Let a(l) be the first derivative of -l**2 + l + 2. Let k be a(2). Is k/6 + 231/2 a composite number?
True
Let p = 13 - 13. Suppose p = 3*d + 5*n - 50, d + n + n - 17 = 0. Is d a prime number?
False
Suppose -r - 21 = -4*h, 9*h - 22 = 4*h - 3*r. Let m be ((-716)/10)/(h/(-75)). Is 4/(-6) - m/(-18) a composite number?
False
Is 22/(-55) - (-1 + 92/(-5)) composite?
False
Suppose -2*c - 9 = -0*c + 5*z, -c - 1 = -z. Let a(x) = -x**2. Let m be a(c). Is (-10)/(-4) + (-2)/m a composite number?
False
Let p be (-1)/5 - 1104/(-20). Suppose -3*o + 4*y + 412 - p = 0, -4*o + 454 = 2*y. Is o prime?
False
Let m(n) = 14*n + 3. Let b(u) = -15*u - 2. Let k(l) = -5*b(l) - 4*m(l). Is k(5) a composite number?
True
Suppose -4*s = 2*j - 27 - 71, -5*j - 3*s = -252. Is j composite?
True
Let p = 40 - -221. Let s(o) = -4*o. Let a be s(-1). Is p/a - (-1)/(-4) prime?
False
Let i = -8 + 11. Suppose -6*y - 3 = -i*y - 5*w, 0 = -y - w - 1. Is y/(-4) + 1329/12 prime?
False
Let w = -37 - -22. Let t = -6 - w. Is (-1)/3 + 318/t composite?
True
Suppose 0 = 2*w + z, -w + 2*z + 6 = z. Suppose 3*i - 4*q = 887, -w*i - 2*i - q = -1208. Is i a prime number?
False
Let w = 311 - 208. Is w a prime number?
True
Let d(r) = 14*r**3 + 3*r**2 - 12*r + 4. Is d(5) a composite number?
True
Suppose f = -4*f. Let w(h) = -1 - 6*h**2 - 5*h + f*h - h**3 - 1 - 5. Is w(-6) a prime number?
True
Let w(s) = -12*s - 3. Suppose 5 + 1 = -c. Is w(c) composite?
True
Suppose -3*r + 232 = -b - 510, 0 = 3*r + 5*b - 772. Is r a prime number?
False
Let f(c) = c**2 - 2. Suppose 0 = -4*d - 8, 2*z + 4*d - 7 = -z. Suppose 0 = -h + 9 - z. Is f(h) prime?
False
Let l = 14 + -7. Let a(u) be the third derivative of u**5/30 - 11*u**4/24 + 5*u**3/3 - 2*u**2. Is a(l) composite?
False
Let j(w) = -w - 2. Let r be j(-2). Suppose r = m + 3*m - 1964. Is m composite?
False
Suppose -4*s - 3*m + 32 = s, 4*m - 3 = -s. Let o(f) = s*f + 4 + 10*f + 0. Is o(3) prime?
False
Suppose f + 6 = 14. Let h be (2*-1)/(4/(-78)). Suppose -v + f = -h. Is v a prime number?
True
Suppose 5*r - 48 = 2*r. Suppose -2*y - 3 = 15. Let g = r - y. Is g a prime number?
False
Let y = 962 - 463. Suppose -4*z + y = 63. Is z a composite number?
False
Suppose -2*m - 234 = -0*m. Let s be ((-204)/(-10))/(2/(-20)). Let x = m - s. Is x composite?
True
Suppose 0 = -3*s + 5 - 2. Is (18 - s)/((-3)/(-159)) a composite number?
True
Let u(x) = -7*x + 9. Let l(a) = 6*a - 9. Let p(t) = 3*l(t) + 2*u(t). Let j(o) = o + 1. Let y be j(5). Is p(y) prime?
False
Suppose 5*v - 21 = -w, 0*w - 40 = -4*v + 5*w. Suppose -3*k = 3*q - 6, 7*k = -4*q + 4*k + v. Is 10 - (1 - 3) - q a composite number?
False
Suppose 5*f - 3*f - 674 = 0. Is f a composite number?
False
Let g(i) = 4*i**2 + 4*i - 1. Let w be 1 - 8/(-1 + 3). Is g(w) composite?
False
Suppose 2*n = -4*q - 0*n + 346, 3*q + n - 261 = 0. Suppose -7*g = -3*g - q. Is (g/(-6))/(2/(-30)) a composite number?
True
Let m = 130 + 267. Is m prime?
True
Suppose -253 = -2*h + 199. Suppose -5*d = -0*i + 5*i - 15, -4*i + 4 = 0. Suppose 3*j = 3*k + 339, d*j + 4*k - h = 2*k. Is j a prime number?
True
Suppose 15 = 2*q + 5. Suppose -144 = -z - 5*w, -36 + 837 = q*z - 2*w. Is z a composite number?
True
Let z(l) = -18*l + 2. Let p(o) = o**3 - 8*o**2 + 6*o + 5. Suppose 4*m = 5*q - 19, q + 0*q = 2*m - 1. Let c be p(q). Is z(c) a prime number?
False
Is 6296/6 - (-6)/(-18) a composite number?
False
Let u(m) = 15*m**2 - 4*m - 1. Is u(4) a composite number?
False
Suppose -4*o - 10152 = -4*y, o + 7574 = 3*y + 6*o. Is y composite?
True
Let d = 254 + 101. Is d a composite number?
True
Let d(x) = 107*x + 21. Is d(8) composite?
False
Suppose 0 = -2*r - 0*r + 10. Suppose -r*t - 20 = -t, -4*k = -5*t - 5. Is 5*-1*(-28 - k) a composite number?
True
Is 178/(68/20 + -3) a prime number?
False
Let w(q) = 4*q - 3. Let r be w(3). Suppose 0 = 8*f - r*f + 59. Is f composite?
False
Let h be -13*6*2/(-4). Suppose -2*s - 2*p + 60 = -32, -s + 31 = -4*p. Suppose 2*i - y - 150 = 0, -i + 4*y + h = -s. Is i prime?
False
Suppose -2323 = -5*d + 2332. Suppose -d = -3*u - 4*a, u - 2*a = -3*u + 1278. Is u prime?
True
Let s be 1/3 + (-112)/21. Let i = 6 + s. Is (42/2)/i + -2 a prime number?
True
Let p(o) be the third derivative of -o**6/360 + o**5/15 - o**4/12 - o**3/6 + o**2. Let m(g) be the first derivative of p(g). Is m(3) prime?
True
Suppose -2*t - 35 + 731 = 0. Is t/9 - 8/12 prime?
False
Let u(n) be the second derivative of 7*n**4/24 - n**3/6 - 3*n**2/2 + 3*n. Let o(d) be the first derivative of u(d). Is o(2) composite?
False
Suppose 1200 = -4*o + 9592. Is o a composite number?
True
Let w = -3 + 1. Let t(f) = 3*f**2 + 7*f**2 - 2*f + 8*f**2 + 1. Is t(w) prime?
False
Suppose -3*b - 24 = -0*i - 3*i, -3*i - 3*b + 6 = 0. Suppose 0 = i*g - 119 - 596. Is g composite?
True
Suppose w - 327 + 68 = 0. Is w a composite number?
True
Let v(x) = -1472*x**3 - 2*x**2 + 5*x + 6. Is v(-1) a composite number?
False
Let x = 2 + 2. Suppose -2*v - 99 = d - 6*d, x*d - 84 = 4*v. Is d a composite number?
False
Let h be 4/10 + (-580)/(-50). Let y(k) = k**3 + 5*k**2 + 2*k - 5. Let i be y(-4). Suppose -h = 4*g, -5*g + 13 = i*r - 29. Is r composite?
False
Let a = -10 - -15. Suppose 478 = 4*b - w, w = a*b - 3*w - 603. Is b a composite number?
True
Let g(b) be the second derivative of b**5/20 - b**4/2 - 8*b**3/3 + 11*b**2/2 - b. Is g(10) prime?
True
Let y = -12 + 133. Is y prime?
False
Suppose -2*h - 2*m = -1156, h - 2*m = -4*m + 575. Is h prime?
False
Let u = 316 - 159. Is u prime?
True
Suppose -234 = -3*m + m. Let r = 105 + m. Suppose -5*p + r = -733. Is p prime?
True
Let j be -1 - (-39 + 2 + 2). Suppose 0 = -c - 0*c + j. Is c prime?
False
Let b(g) be the first derivative of 92*g**3/3 - 3*g**2/2 - 3*g + 3. Is b(-2) a composite number?
True
Let n = 1 + 3. Suppose 12 = -2*v + n*v. Suppose v*c = 3*c + 30.