3 - 2*u**2 - u - 3. Let a be m(3). Suppose -2*o - a*r + 6 = 0, 4 + 6 = 2*o + r. Is o composite?
True
Let d(t) = 105*t + 19. Is d(10) prime?
True
Let l = -722 - -1675. Is l composite?
False
Let c = -188 + 270. Is 4/(4/3) + c composite?
True
Is (25 - -1)*5/10 a prime number?
True
Let a(i) be the third derivative of i**4/12 - 4*i**3/3 - 3*i**2. Let n be a(6). Suppose n*z = 2*z + 74. Is z prime?
True
Suppose -3*p + 4*a + 751 = 0, 1310 = 5*p + 3*a + 2*a. Is p composite?
False
Let h = 2 + 0. Let l(s) = -3 + 3*s**2 + 2 - h*s**2 - 3*s. Is l(4) composite?
False
Is (-56 - -3)*(-4 - -3) prime?
True
Suppose 2*c - 5*m = 17, 3*c = 3*m + 8 + 13. Let d(h) = -2*h. Let p be d(c). Is (-160)/p - (-2)/3 a composite number?
True
Suppose -4*x = 3*r - 1891, 2*x = -2*x + 2*r + 1906. Suppose -2*i = 3*i - x. Is i prime?
False
Let b(z) = -z**2 + 8*z - 6. Suppose -5*q + 1 = -34. Let k be b(q). Is k*-1*(-105)/5 composite?
True
Let j(n) = n**3 + 3*n**2 - 7*n - 5. Let y(w) = -w**3 + 6*w**2 - 2*w + 8. Let t be y(6). Is j(t) prime?
True
Let q = -1569 - -2420. Is q a composite number?
True
Let f = 7 - 5. Suppose -3*b - 6 = -3*m, -3*m - 3*b + f*b = -10. Suppose m*h + 14 = 5*h. Is h a composite number?
False
Let w(d) = d**3 + 3*d**2 - 4*d + 5. Let u be w(-4). Suppose -c - 120 = -u*c. Suppose 4*n - c = 310. Is n composite?
True
Let l(p) be the second derivative of 34*p**3/3 + 7*p**2/2 + 6*p. Is l(3) a prime number?
True
Is -1 + 4 - (-288 + 11 + -7) a prime number?
False
Let y = 3 + -5. Let q be ((-62)/4)/(1/y). Let k = -22 + q. Is k a prime number?
False
Let c be (-465)/(-10) - 2/(-4). Let z = c - -74. Is z composite?
True
Let d(y) = y**2 - 4*y - 2. Let u be d(5). Suppose s + u*s = 1304. Is s a prime number?
False
Let d = 63 - 33. Suppose 0 = 5*m - 325 - d. Is m composite?
False
Let f(h) = 4*h - 2. Let p be f(8). Suppose 4*d + 5*q + 40 = q, 3*d + 2*q + p = 0. Let y = d - -24. Is y a composite number?
True
Suppose -b - h - 2 + 5 = 0, -2*h = -3*b + 24. Let n be 0/((-3)/(b/2)). Suppose 36 = 3*s + s + 2*t, -2*s + t + 22 = n. Is s composite?
True
Let p be 30/4*(-2)/(-3). Suppose -p*j - 147 = 5*b - 647, -j + 106 = -b. Is j a composite number?
False
Let k(i) = 8*i**2 - i + 2. Is k(-3) a prime number?
False
Suppose -6*g + 2804 = -2*g. Is g a prime number?
True
Suppose -20*j = -30*j + 23890. Is j a prime number?
True
Let h(r) = r**3 - 2*r**2 - 5*r + 6. Let o be h(4). Let a = o - 9. Is a composite?
True
Let q(h) = 41*h**2 + 5*h - 3. Suppose -8 - 8 = -4*c. Is q(c) a prime number?
True
Let l(f) = 11*f**3 + 24*f**2 + 8*f - 9. Let w(m) = -4*m**3 - 8*m**2 - 3*m + 3. Let g(p) = 3*l(p) + 8*w(p). Let k = -3 + -3. Is g(k) a prime number?
False
Let i = 977 - 424. Is i a composite number?
True
Let p be 2/5 + (-36)/(-10). Suppose 1599 = -p*x - t + 384, -x + 5*t = 309. Let r = x - -507. Is r prime?
False
Suppose -t + 2 + 0 = 2*p, -5*t = -3*p - 10. Suppose p = -j + 4*s + 225, 425 = 2*j + 4*s - 7*s. Is j composite?
True
Suppose -72 - 16 = -4*m. Is m a composite number?
True
Suppose 5*j - 30 = g - 0*g, 0 = 4*j - 2*g - 30. Let s(z) = -z**3 + 6*z**2 - 4*z - 5. Let d be s(j). Suppose d = -3*m - m + 40. Is m composite?
True
Let n = -214 + 393. Is n a prime number?
True
Suppose -25 = -2*b - 3*b. Suppose -b*z - a + 13 = 0, -3*z + z + 4*a = 8. Suppose -5*q - 53 = -i, 107 = z*i + 3*q + 1. Is i a prime number?
True
Let o = 809 - 397. Suppose -494 = -5*y - 2*p + 1545, -p = -y + o. Is y prime?
True
Let w(r) = 96*r**2 + 3. Let a be w(3). Let o be 38*-2*26/4. Let m = o + a. Is m a composite number?
False
Suppose -4*j - 39 = 2*a + a, 2*a + 9 = 3*j. Let h(o) = -o**3 - 7*o**2 + 2*o - 3. Is h(a) a prime number?
False
Let f(a) = a. Let v be f(0). Suppose 2*y + 0*y - 2 = v. Is 1 + -2 - y*-122 a composite number?
True
Let s(d) = -6*d - 10. Is s(-6) prime?
False
Suppose 5*c = 4*c. Suppose c = 2*u + 2*u - 716. Is u a composite number?
False
Let h(x) = -x. Let f be h(-2). Suppose -7 = -t - f. Suppose 395 = t*i - 0*i. Is i prime?
True
Let i be 4 + 4/(-2) - 0. Suppose -n + i*t = 24, 0 = n - 0*n - 4*t + 34. Is (9/(-6) - 1)*n prime?
False
Let c(z) = 3*z + 1. Let a be c(1). Let k be (-13)/(-2) - 2/a. Suppose 5*x + 200 = k*y - y, 10 = -2*x. Is y prime?
False
Let f = 1045 + -690. Is f a prime number?
False
Suppose -d - 3 - 9 = 0. Let m = 449 + d. Is m composite?
True
Suppose 0 = -3*k - 5*l - 13, 5*k + 4 - 34 = 2*l. Suppose k*j - 74 = 66. Is j prime?
False
Suppose 0*x - 2*x = -40. Let p = -1 + x. Is p a composite number?
False
Let x = 377 + 2. Is x prime?
True
Suppose -5*x - 409 + 1059 = 0. Suppose 2*a - x - 18 = 0. Suppose r - a = -r. Is r prime?
True
Let o(w) be the third derivative of w**4/6 + w**3/3 - 5*w**2. Let j = 7 - 2. Is o(j) prime?
False
Suppose 4*s = s + 432. Suppose 3*j - 390 - s = 0. Is j composite?
True
Suppose 3*z = 4*y + 1121, 4*y - 124 + 503 = z. Is z a composite number?
True
Let j(o) = o**2 + 7*o - 3. Is j(14) prime?
False
Let q be ((-8)/6)/(10/(-75)). Let i be 2/5 + (-414)/q. Let a = -22 - i. Is a prime?
True
Suppose j - 3*j = -746. Is j prime?
True
Suppose 285 = 2*h + h. Let w = h - -2. Suppose w = 4*y - 531. Is y prime?
True
Suppose 4*k + 72 = 4*d, -4*k - 39 - 29 = -2*d. Let s be 1/(2/2) - k. Let j = s - -34. Is j a composite number?
True
Let d(v) be the third derivative of -9*v**4/8 + v**3/6 - 11*v**2. Is d(-6) composite?
False
Suppose -13*c + 32432 = 3*c. Is c prime?
True
Let i(f) = -22*f + 3. Is i(-10) a composite number?
False
Let a(p) = -9*p - 1. Let r be a(-1). Suppose -326 = -2*l + r. Is l prime?
True
Is 958/5 - (-15)/(-25) a composite number?
False
Suppose 2*l = 8, 405 = 3*m + l - 601. Suppose b = -b + m. Is b a prime number?
True
Let q = -786 - -1745. Is q a composite number?
True
Suppose m + 3*u = 267, 3*m - m = 5*u + 501. Let c = m + -179. Is c composite?
False
Let z(s) = s**3 - 5*s**2 - 8*s - 3. Let u be z(6). Is (-3)/(-2)*(-590)/u a composite number?
False
Let k = 3 + -8. Let m = 7 + k. Is m a composite number?
False
Let x be (2/(-6))/((-8)/(-24)). Let z be 1/(2/(-8))*x. Is 1/z - 99/(-4) a prime number?
False
Suppose -7*k + k = -24666. Is k a prime number?
True
Let q = 712 - 333. Is q prime?
True
Suppose 5*q + 5*z - 2020 = z, z = 5. Let d = -71 + q. Is d a composite number?
True
Suppose 26 = 5*z + 3*h - 2*h, -25 = -4*z - 5*h. Suppose z*i + 3*s = 742, -i = 3*s - 2*s - 150. Is i a composite number?
True
Let j(a) = a**3 - 6*a**2 - 12*a + 3. Let l be 5/10 - 1/(-2). Let s be -2 - -2*l*5. Is j(s) prime?
False
Let m be (-3)/(-15) + 1588/10. Is m*(1 - 2/3) a prime number?
True
Let s(p) = 44*p**3 - p**2 + 7*p - 9. Is s(2) a composite number?
False
Suppose 2*k - 3*k = -295. Suppose -3*i + 4*b + k = 0, 0 = i + 5*b - 2*b - 94. Is i a prime number?
True
Let l(k) be the first derivative of -9*k**2/2 - 5*k + 4. Is l(-4) prime?
True
Let k(u) = -8*u**3 + u**2 + u + 1. Let w be k(-1). Is ((-2552)/12)/((-6)/w) a composite number?
True
Let r be 6/9*(-87)/2. Is (-10)/(-4)*(9 - r) prime?
False
Suppose 0 = 24*v - 26*v + 268. Is v a composite number?
True
Let o(l) = 27*l - 12. Is o(7) a prime number?
False
Is ((-9017)/(-5) - 2) + 2/(-5) composite?
False
Let f(m) = 16*m**2 - 9*m + 1. Is f(4) a prime number?
False
Let k(z) = 81*z**3 - 2*z**2 + 1. Let y be k(1). Suppose 5*r = y + 15. Is r a prime number?
True
Let q = 2 + -3. Let w be (-336)/(-4) + (q - 1). Suppose -3*n = -71 - w. Is n composite?
True
Let v(t) = -2*t**2 - 2*t - 8. Let o be v(6). Let n = -61 - o. Is n prime?
True
Let k be -1*(0 + 1 + -5). Let s be (-1241)/(-3) - k/6. Suppose 18 = -5*z + s. Is z composite?
False
Suppose h - 2*a - 18 = -4*h, -h - 4*a = 14. Let q = 5 - h. Suppose -16 = -4*k, -4*j + q = -3*j - 2*k. Is j composite?
False
Let i(l) = 21*l**2 + 1 - 5*l - l + 3*l. Is i(2) prime?
True
Let r(u) = 211*u. Let s be r(1). Suppose -7*m + 6*m = -s. Is m a prime number?
True
Suppose 1 + 41 = 3*r. Let p = r + 17. Is p composite?
False
Let q(n) = n**3 - 10*n + 8. Let l be q(10). Let x = -497 + l. Is x composite?
True
Let n(u) = 2*u**3 - u + 2. Let b(f) = 2*f**2 - 7*f. Let o be b(5). Suppose -a + o = 4*a. Is n(a) prime?
True
Let s(m) = -13*m - 2. Suppose 8*u = 3*u - 3*a - 3, 0 = -5*u + 4*a - 31. Is s(u) composite?
False
Let y(w) be the first derivative of 4*w**3/3 - 3*w**2 - 11*w - 4. Is y(-8) composite?
False
Let o(n) = 16*n. Let y be o(1). Suppose 5*u = -2*g - 