/(-24)). Suppose -5*d + j = -6. Suppose 0 = d*l - 11 - 268. Is l prime?
False
Let k(s) = s**3 + 4*s**2 + 4*s + 2. Let v be k(-2). Suppose -v*x + x = -90. Suppose 0 = 2*z - 3*z - 5*b + 71, -2*z + 3*b = -x. Is z a prime number?
False
Suppose 3*o = -0*o. Suppose o = 5*k - 20. Is 2*1 + 45 + k prime?
False
Let v(n) = n**3 + 7*n**2 - 3. Let o be v(-7). Let i = o + -1. Let u = 15 + i. Is u a composite number?
False
Let q = 17818 + -8027. Is q composite?
False
Let w(g) be the third derivative of 13*g**4/12 + g**3/2 - 4*g**2. Suppose 3*n - 14 + 0 = -p, -5*p + 13 = -4*n. Is w(p) composite?
True
Suppose -5*j + 2*z + 71 = 0, 9*z + 2 = -j + 4*z. Let b = -6 + j. Suppose -b*f + 325 = -2*f. Is f composite?
True
Let v(l) be the third derivative of l**5/60 - 3*l**4/8 + l**3/3 + 2*l**2. Let t be v(9). Suppose 0 = 3*u - 5*r - 144, 4 - 10 = -t*r. Is u a composite number?
False
Let g = -397 + 11060. Is g a prime number?
True
Suppose -h = 2*n - 0*n - 296, 5*h - 735 = -5*n. Is n composite?
False
Suppose 4 - 109 = -5*f. Let u = f + -7. Is u composite?
True
Suppose -5*a + 17193 = -4*n + 3082, a - 2823 = n. Is a a composite number?
False
Let k(y) be the first derivative of 7*y**4/4 - 5*y**3/3 + 2*y**2 - 2*y + 1. Let t be k(3). Suppose -2*z + t = 4*l, 5*z + 2*l - 340 = l. Is z a prime number?
True
Let o(l) = -l**3 + 4*l**2 - 2*l + 2. Let c be o(3). Suppose 0 = 2*y - 17 + c. Is y a prime number?
False
Let y(c) = c - 6. Let h be y(9). Suppose 5*z = -3*m + 2273 + 383, -3551 = -4*m + h*z. Is m a prime number?
True
Is (-11047)/(-8) - 13/(-104) a composite number?
False
Let y be (-3 - 25)*26/(-8). Is y + -1 + -1 - -2 prime?
False
Let j = -24 - -17. Let i(g) = -g**3 - 5*g**2 + 6*g + 9. Is i(j) a prime number?
False
Suppose 6*f - 37 + 7 = 0. Suppose f*h - 2*r - 36 = 33, 3*h - r = 41. Is h a prime number?
True
Let s(l) = l - 4. Let t be s(7). Suppose 2*z + z = -4*f + 133, z + t*f - 51 = 0. Is z a composite number?
True
Suppose 14*m = -31222 + 92696. Is m a composite number?
False
Suppose -r - 2*t - 6 = -3*t, 3*r - t + 10 = 0. Let l be (-879)/12 - r/8. Let v = -52 - l. Is v a prime number?
False
Let q = -11 + 174. Is q composite?
False
Suppose -7*k + 2*k = 2*o - 10, 5*o - 25 = k. Suppose -218 = -o*y + 497. Is y a prime number?
False
Suppose -c - 34 = 21. Let w be c - (2 + (-4 - -2)). Let i = w + 104. Is i a composite number?
True
Suppose p - 352 = 129. Is p a composite number?
True
Let w = 192 - -181. Is w prime?
True
Suppose 4*b + 387 = u, u - 4*b = -5*b + 377. Is u a prime number?
True
Let v(g) = -4*g - 5 + 2*g + 4 + 10*g**2. Let n be 1/4 + 7/4. Is v(n) prime?
False
Let w(s) = -8*s - 7. Suppose y + 0 = -2. Let f = y - 3. Is w(f) prime?
False
Let o(a) = 36*a + 1. Let y(n) be the third derivative of n**6/120 + n**5/15 + n**4/12 - n**3/3 + 3*n**2. Let v be y(-3). Is o(v) prime?
True
Let g(s) = -3*s**3 + s**2 - 11*s + 9. Let f(i) = 6*i**3 - 2*i**2 + 22*i - 17. Let m(x) = 4*f(x) + 7*g(x). Is m(4) composite?
True
Let x = 551 + -43. Let f = 13 + -8. Suppose f*y = y + x. Is y a prime number?
True
Suppose q = 7 - 1. Is q composite?
True
Let j(w) be the first derivative of w**3/3 + 7*w**2/2 + 5*w - 1. Suppose 3*s = -4*k - 44, -2*k - 15 = k. Is j(s) prime?
True
Let q(u) = -5*u - 2. Let k be q(-4). Let f = k + -4. Is f composite?
True
Is (-44)/(-33) - 155/(-3) a composite number?
False
Suppose 2*r + 2*r - 160 = 0. Suppose p = 5*p - r. Is p composite?
True
Suppose 0 = 9*d - 3*d - 66. Is d a prime number?
True
Is (259/(-14))/(1/(-2)) a prime number?
True
Let m be 20/(-3)*210/(-4). Let a be 188 + -1*(-1)/(-1). Let b = m - a. Is b a prime number?
True
Let d = -111 - -31. Let a = d - -145. Is a prime?
False
Suppose 0*o + o = 0. Suppose -v - 2*v + 546 = o. Suppose 0 = -s - 55 + v. Is s prime?
True
Let j = -38 + 75. Let o = j - 18. Is o prime?
True
Suppose -1419 = 4*j - 7*j. Is j a composite number?
True
Is 68/3*(-3)/(-2) a prime number?
False
Let f(i) = -3*i + i + 2 - 3*i. Let a(q) = q + 9. Let y be a(-13). Is f(y) prime?
False
Let x(l) = 2*l**2 - l - 2. Let n be x(2). Suppose -n*q + 55 = -5*u, 0*u - 3 = u. Let p = q - 3. Is p prime?
True
Let t(s) = -56*s**3 + 3*s**2 + 2*s - 2. Is t(-3) a prime number?
True
Let z = 45 - 27. Is (76/(-6))/(z/(-27)) prime?
True
Suppose -4*s + 359 = -2*o - 667, 0 = 2*s + o - 523. Is s a prime number?
False
Is 1/3*(-14 + 251) a prime number?
True
Let c(a) = -192*a + 29. Is c(-12) a prime number?
True
Suppose -l - 2*l - 7 = q, -q + 1 = -l. Let z be 1 + -1 + (-49)/q. Suppose -z = -i + 6. Is i a prime number?
False
Suppose 4*u + 9 = 5*v - 8, 4*u + 2*v - 18 = 0. Is (-2 - u) + 2 + 213 a prime number?
True
Let f(q) = -q**3 + 24*q**2 + 40*q + 4. Is f(17) composite?
False
Suppose 2*r - 4110 = -4*b, -b = -2*r - 0*b + 4105. Is r a composite number?
False
Let f = 11 - 7. Suppose 0 = 2*j + 3*i - 157, 3*i - i = f*j - 306. Is j a composite number?
True
Let j(g) = -g + 15. Let a be j(12). Suppose 2*k = -3*u + 75, -4*k = -3*u + 5*u - 42. Is 10*(u/6 - a) prime?
False
Let u(x) = 10*x**3 + 8*x**2 - 5*x - 7. Is u(6) composite?
False
Suppose 5*i - 4 = 6. Suppose -273 = -i*c + 61. Suppose 52 = -o + c. Is o composite?
True
Let x = 500 - 7. Is x a composite number?
True
Let n = 11 - 3. Suppose g + 1 = 3. Suppose -h = -g - n. Is h a prime number?
False
Suppose 0 = 2*d + 1 - 5. Suppose -y = k - 6*k - 150, 5*k = -d*y - 135. Is k/(-2)*(2 + 4) prime?
False
Let b(j) = 2*j**3 - 7*j**2 - 13*j - 5. Is b(8) prime?
True
Suppose -d - 4*b + 33 + 154 = 0, 2*d = -3*b + 379. Is d a prime number?
True
Suppose 11*d = -539 + 10450. Is d a prime number?
False
Suppose 4*v - 20 = 5*a - 6, 15 = -5*a + 5*v. Let r be (-2)/1 - 14/a. Suppose -4*f + 104 + 38 = r*b, -4*f = 2*b - 64. Is b a prime number?
False
Let j(t) = 17*t - 15. Is j(4) a prime number?
True
Let f(q) = -3*q**3 - 2*q**2 + q + 7. Is f(-5) prime?
False
Let u be -11*(-1 + -3)/(-4). Let m(j) = j**2 + 9*j + 3. Is m(u) prime?
False
Suppose -6*z - 3*n = -3*z, -3*z + 4 = n. Let y be (-2 - 0)*(-66)/4. Is (y + z/1)/1 a prime number?
False
Is (-1533)/(-5) + (-4)/(-10) composite?
False
Let q = -4 - -7. Suppose -68 = -n - p, 2*p - 269 = -4*n - q*p. Is n a composite number?
False
Let v(r) = 6*r + 3. Let c be v(6). Let n(j) = 13*j**2 + 1. Let u be n(1). Let k = c + u. Is k prime?
True
Let z(p) = 3*p - 7 + 5 - 3*p + 2*p**2. Let c be z(2). Let u(q) = q**3 - 7*q**2 + 7*q. Is u(c) a composite number?
True
Suppose -5*f + 1036 = -w, 3*f - 2*w - 3*w - 626 = 0. Let i = 408 - f. Is i composite?
True
Let l = 594 + -303. Let r = l + 136. Is r a prime number?
False
Let v(u) = 2*u**2 + 19*u - 23. Is v(12) prime?
False
Let b be -3*-5*(-314)/(-3). Suppose -5*z + 5*v = -b, 4*z - 1594 = -z - 3*v. Is z prime?
True
Suppose -11*p + 2483 = 2*p. Is p a prime number?
True
Let x = 691 - -898. Is x a composite number?
True
Let u be (6/12)/(1/6). Suppose 0*l = -u*l + 669. Is l a composite number?
False
Let q be -1 + (-1 - 0 - -4). Let k be 3 + 1*(q + -2). Suppose 6*i - 131 = -2*a + i, -k*i = 2*a - 121. Is a prime?
True
Let r(b) = -4*b**2 - 66 - 3*b**2 - 5. Let l(q) = 3*q**2 + 35. Let k(u) = 5*l(u) + 2*r(u). Is k(0) a composite number?
True
Let j = -170 - -79. Let h be 2/(-6) + j/(-21). Is 2/h*(106 + 4) prime?
False
Is 1*-1 + (-300)/(-15) prime?
True
Let s = -11 + 20. Let w be 69/s - 2/3. Let b(a) = a**3 - 4*a**2 - 9*a + 1. Is b(w) a prime number?
False
Let k = 63 + -31. Let a = -9 + k. Is a a composite number?
False
Let y(g) = g**3 - 6*g**2 + 4*g + 1. Let z be y(5). Let l = z + 6. Is 1/l - (-345)/6 composite?
True
Suppose -q + 349 - 90 = 0. Is q a composite number?
True
Let z be 1/((-1)/(-2)) + 2. Let x = 8 - z. Suppose 0 = x*i - 5*c - 321, 3*i - c = 105 + 133. Is i a composite number?
False
Suppose -i = -46 - 27. Suppose 21 = -4*x + i. Is x a prime number?
True
Let n(k) = k**3 - 5*k**2 - 1. Let g be n(5). Let q(r) = -378*r**3 + r**2 - r - 1. Is q(g) a composite number?
False
Suppose -5*a + 5*h + 430 = 0, 2*h - 29 + 110 = a. Is a prime?
False
Is (51042/(-8))/(-3) + (-78)/(-312) prime?
False
Suppose 0 = 5*f + 3*h - 20, -5*f + 0*f = -5*h - 20. Suppose -5*j + 677 = -3*a, -f*a = 3*j + a - 379. Is j a prime number?
False
Let z = 7 - 4. Let n(l) = 2 + 2*l + 2 + l + 2*l. Is n(z) a prime number?
True
Suppose -j = j + 3*y - 53, 5*y = -j + 16. Is j composite?
False
Suppose 0 = -2*v + 2*x + 2, 5*x =