 12. Let n(b) = -9*h(b) - 2*w(b). Let o(r) = -4*r - 31. Let z be o(-10). Is n(z) prime?
True
Let o be (176/(-33))/(2/6). Let c(z) = z**2 - 8*z + 35. Is c(o) a composite number?
False
Let f(u) = 90*u**2 + 1. Let n(k) = -5*k - 24. Let m be n(-5). Is f(m) a composite number?
True
Let u(x) = 3*x**2 - 4*x - x**2 + 2 + 6*x**2. Suppose -42 = 5*y - 57. Is u(y) a composite number?
True
Let p be 9/1*(-3)/9. Let h be (5 + p)/((-4)/(-1694)). Suppose -644 - h = -3*r. Is r prime?
False
Let k(s) = 5*s**2 + 13*s - 7. Let i(y) = 4*y**2 + 12*y - 7. Let z(r) = -7*i(r) + 6*k(r). Let a be z(2). Is 3/a + 28*2 prime?
False
Let z(s) = 9*s**2 + 17*s + 89. Is z(33) a composite number?
True
Let r = 41504 + -21453. Is r a prime number?
True
Suppose 0 = 3*k - 968 - 553. Let b(i) = 60*i - 8. Let v be b(-4). Let q = k + v. Is q a composite number?
True
Suppose -2*s - 24 + 4 = -2*g, 5*s - 2*g + 38 = 0. Is (-766)/s + (-2)/(-12)*-4 composite?
False
Suppose 2*u = u. Suppose -7*i + 1344 + 119 = u. Is i prime?
False
Let w = -1535 - -3734. Let z = 3316 - w. Is z a composite number?
False
Is 2/(-3)*-1*1175229/198 a composite number?
True
Let p(c) = 69*c**3 - c + 6*c - 30*c**3 - 7*c**2 + 7 - 21*c**3. Is p(4) a prime number?
False
Suppose -2*f - 2*t + 5*t + 143323 = 0, -2*t = -5*f + 358313. Is f composite?
False
Let y(u) = 7*u**3 - u**2 + 16*u - 13. Is y(6) composite?
False
Let y(o) = 23*o - 27. Let i be y(12). Suppose 4*l = -i + 2029. Is l a prime number?
False
Let q = 1 - 1. Let l(f) = 7*f + 1115. Is l(q) composite?
True
Let a(z) = 6*z**3 + 4*z**2 + 6*z + 2. Let k(j) = 5*j**3 + 4*j**2 + 5*j + 3. Let w(o) = 4*a(o) - 5*k(o). Suppose 2*p + 2 = -14. Is w(p) a prime number?
True
Let z(x) = -6265*x + 419. Is z(-14) composite?
False
Suppose -4*y + 33 = -5*n, -5*y = -2*n - 3*n - 40. Let w(s) = -3 - 5*s + s**3 - 3*s**2 + 0*s**3 - 1. Is w(y) a composite number?
False
Let w(k) be the second derivative of 11*k**6/24 + k**4/24 + k**3/6 + 5*k**2/2 - 7*k. Let p(x) be the first derivative of w(x). Is p(2) prime?
True
Let z be -4*(2 + 1 - 1). Suppose -2*w = -7*w - 1315. Is w/(-2*(-4)/z) prime?
True
Is 2580 + (4 - 7 - 4) prime?
False
Let f be 9/36 - (2 - (-117)/(-12)). Suppose -3399 = -f*b + 6641. Is b a composite number?
True
Suppose 8*k - 15*k - 12635 = 0. Let y = k - -2796. Is y prime?
True
Let m(d) = -d**2 + 11*d - 14. Let c be m(9). Suppose -11 = 3*s + 1, 0 = 4*l - s - 196. Suppose -w + l = c*i, w - 5*w = 4*i - 60. Is i prime?
True
Let l(t) = -27*t**2 - 3*t - 2. Let d be l(3). Let k = 9 - d. Is k a composite number?
False
Let k(i) = -i - 4. Let c = -33 - -26. Let l be k(c). Let n(v) = 8*v**2 + 7. Is n(l) composite?
False
Suppose -o = -11822 - 321. Is o prime?
True
Let y be (-1)/(-2)*(-2585 + 3)*-1. Suppose -1688 = -4*u - 4*v, 2*u = -u + 2*v + y. Is u composite?
True
Let c = 52 - 48. Suppose 0 = -2*w + c*z + 3098, 5*w + 3*z = 1513 + 6297. Is w composite?
False
Suppose f + 4*f - 640 = 5*c, 3*f - 368 = -5*c. Is ((-101)/(-2))/(9/f) prime?
False
Is 23*2*(-4792)/(-16) a prime number?
False
Let h = -7842 - -15191. Is h a composite number?
False
Let z(w) = 74*w**3 + 5*w**2 - w - 3. Let h be z(-2). Is h*((-12)/9 - -1) composite?
False
Let u = 8605 + -2367. Is u prime?
False
Let p be 3 + (6*4/6 - 2). Is (p/(-5) - -2)*97 composite?
False
Let z(r) = -r**2 - 16*r + 40. Let q be z(-18). Suppose q*o = 2*o + 110. Is o prime?
False
Let g(l) = -284*l + 12. Let h(u) = -71*u + 3. Let k(v) = 2*g(v) - 9*h(v). Let r = -133 + 135. Is k(r) a composite number?
False
Let a(y) be the third derivative of 53*y**4/12 - 13*y**3/6 - 11*y**2. Is a(9) a prime number?
True
Let y(c) = 2*c**3 + 93*c**2 + 56*c - 95. Is y(-44) a prime number?
True
Suppose -5*g - 9*s + 12590 = -4*s, 5*g = -s + 12602. Is g composite?
False
Let f be (0/1)/(2 - -1). Suppose j - 257 = -f*j. Is j composite?
False
Let c = -253 + 567. Is c composite?
True
Let f be (30/(-24))/(2/(-432)). Let p be f/(-2)*(2 - 1). Let l = -86 - p. Is l a composite number?
True
Suppose 0 = 2*a + 2*a - 752. Let s = -93 + 14. Let r = s + a. Is r a composite number?
False
Suppose -2*l + 0*l = -16. Let u(m) = 496*m**3 + 2*m**2 + 6*m - 3. Let t(d) = -165*d**3 - d**2 - 2*d + 1. Let y(o) = l*t(o) + 3*u(o). Is y(1) a prime number?
True
Suppose -i - 3 = -p + 29, 0 = -5*p + i + 152. Suppose b = -2*b + p. Is 2676/30 - 2/b a composite number?
False
Let h = 5369 - 1576. Is h composite?
False
Suppose 1234 - 457 = 3*q. Suppose -4*k + q = 31. Is k prime?
False
Suppose a = -5*c - 4, 2*a - 8*c + 8 = -4*c. Let d be 70/a*8/(-10). Is (d*1)/((-4)/(-82)) prime?
False
Let i(p) = p**3 + 13*p**2 + 13*p + 21. Let b = -16 + 6. Is i(b) a composite number?
False
Let j be -1076*42/8*(-2)/(-6). Let o = -1310 - j. Is o a composite number?
True
Let t(q) = 10*q - 91*q - 6 - 158*q. Is t(-5) prime?
False
Let c be ((-1956)/8)/(6/(-8)). Let z = -11 - -44. Let y = c - z. Is y a composite number?
False
Let b(s) = -s + 13. Suppose 0*t - 28 = -4*t. Let p be b(t). Is (68/p)/(6/99) a composite number?
True
Let l(k) = -6 - 59*k**2 + 36*k**2 - 13*k + 27*k**2. Is l(11) a prime number?
False
Suppose 0 = -i + 2*k + 14777, -2*k - 3*k = 0. Is i a composite number?
True
Let d be 10/(-40) + (-1)/(-4). Is (d - -494)/(6/(7 - 4)) a prime number?
False
Suppose -1 - 24 = -5*g. Suppose -4*d = g*z - 12621, d - 3*d + 3*z = -6283. Is d prime?
False
Let l(s) = 31*s**2 - 2*s + 8. Let m be l(-5). Let n = 1236 - m. Is n a prime number?
True
Let f(p) = -49*p**3 - 3*p**2 + 3*p - 4. Let j be f(-6). Is (-24)/(-108) - j/(-18) a prime number?
False
Suppose 5*j - 14 + 38 = 2*i, -4*i - j + 4 = 0. Suppose i*t + t - 2118 = 0. Is t prime?
False
Let m(r) = r**3 + 4*r**2 - 4*r + 7. Let s be m(-5). Suppose i = 6*x - 7*x + 294, s*i + 584 = 2*x. Is x composite?
False
Let p(s) = -s - 4. Let o be p(3). Let t be (o - -47) + 3/1. Suppose 0*w + 5*w + 295 = 5*l, -l - 3*w = -t. Is l a composite number?
True
Suppose -5*s + 2357 = -148. Suppose -k - 831 = -5*v, 0*k = -3*v + 3*k + s. Is v a composite number?
True
Let g = -846 + 4405. Suppose 4 + 0 = 4*u, 2*q + 5*u = -g. Is q/(-10) + 12/15 a composite number?
False
Suppose -3*z = 2*w - 967, 2*w - 970 = 2*z - 4*z. Let k = w - 279. Let a = 466 - k. Is a composite?
False
Suppose 14*f - 13*f - 107702 = -4*x, 0 = 6*x - 2*f - 161560. Is x a prime number?
False
Let w = -27 + 31. Suppose w*o = -n + 201, 2*o = -n - o + 205. Is n composite?
True
Let q(i) = -i**3 - 6*i**2 + 2. Let s be q(-6). Let c(j) = -17*j**2 + 3*j - 3. Let t be c(s). Let r = t + 160. Is r composite?
True
Suppose -g = -1045 + 344. Let s = g - -1502. Is s prime?
True
Suppose 4*d + 4*w = -1344, -678 = d + d + 4*w. Let m(v) = 4*v**2 - 17*v - 9. Let k be m(-11). Let r = k + d. Is r a prime number?
False
Let i be (-3489)/(-12) + 1/4. Let s = i + -117. Is s*(10/6)/5 composite?
True
Let f(j) = -6*j**3 - 2*j**2 - 51*j - 50. Is f(-17) a prime number?
True
Suppose -3*a + 4865 = -5*s - 5217, s = 5. Is a prime?
False
Is (3825300/(-35) + (-2)/(-7))/(-2) a composite number?
False
Let n = -27 - -12. Let b = 17 + n. Suppose 0 = -a + 3*q - b*q + 38, -4*a + 152 = -3*q. Is a composite?
True
Let x(c) = -50*c + 106. Let g(a) = -10*a + 21. Let v(m) = 11*g(m) - 2*x(m). Let n be v(-5). Let u = 44 + n. Is u a prime number?
True
Is 3/36*-4 - 410240/(-15) a composite number?
True
Suppose -8*s = -0*s - 231208. Is s a composite number?
False
Suppose 0*m + m - 1987 = 0. Is m composite?
False
Let m(p) = -180*p**3 - p**2 - 13*p + 5. Is m(-4) a prime number?
False
Suppose -1648 = -5*x + 17. Suppose -x = -g + 76. Let w = g - 72. Is w a prime number?
True
Suppose -49*r + 1384913 = -25356. Is r prime?
False
Let f = -88 - -86. Is (1/f)/(1/(-27656)*4) composite?
False
Let o(g) = g**2 - 6*g - 1. Let z be o(-8). Let y = 20 + z. Is y composite?
False
Let w be 1/(-5) + (18820/(-25) - 0). Let a = -118 - w. Is a a prime number?
False
Let s = -10728 + 21649. Is s a composite number?
True
Let s(v) = 249*v + 102. Suppose -13 = 4*q - 57. Is s(q) a prime number?
False
Let l = -1042 - -1461. Is l a composite number?
False
Let z(i) = 8462*i**2 + 6*i - 7. Is z(1) composite?
False
Let y = 22378 + -8037. Is y a prime number?
True
Let x(c) = 4*c**2 + 2*c + 2. Let l be x(-1). Suppose a + 102 = l*a. Let i = a - -63. Is i prime?
True
Let w(a) = -a**3 + 4*a**2 + 6*a - 26. Let s be w(4). Let b(v) = 74*v + 9. Let y(c