3. Is 70/3*12/x composite?
True
Let j(f) = 12*f**3 - 12*f**2 + 13. Is j(5) prime?
True
Let o(i) = -5090*i**3 - i. Let t be o(1). Is t/(-9) + 2/(-3) composite?
True
Let g = 27 - 27. Suppose g = 4*o - 528 - 316. Is o a composite number?
False
Is 2164*(-3 - (-13)/4) composite?
False
Let o(f) = -4*f - 7. Let r be o(12). Let i = 8 + r. Let z = i - -96. Is z composite?
True
Suppose -3*j - 7749 = -3*k, 0 = -13*k + 10*k - 5*j + 7717. Is k a prime number?
True
Let c(d) = d**3 + 11*d**2 - 10*d + 3. Suppose 0*v - 35 = -5*v. Is c(v) a composite number?
True
Suppose -3 + 25 = 2*t. Suppose 5*b + p - t = 2*b, -4*p + 4 = 2*b. Is 525/10 + 2/b a composite number?
False
Is 11/(11/2) + 327 composite?
True
Let s be 25*(-5)/(50/(-12)). Suppose -2*i - s = -2*g, -4*g + 0*g - 5*i = -96. Is g prime?
True
Suppose 2*z - z - 24 = 0. Suppose w - 9 - z = 0. Is w prime?
False
Suppose -b + 5*b = 32. Let u = b - 12. Is u/12 + 166/3 a prime number?
False
Let a = -19 - -37. Is (0 - -3)/(a/132) a composite number?
True
Let k = -22 - -149. Is k a prime number?
True
Suppose 3*f + 4*z - 5147 = 0, -4*z + 1729 = -f + 2*f. Is f a prime number?
True
Suppose 5*u = -3*n + 29, -9 = -5*u - 4*n + 23. Suppose -120 = u*r - r. Let d = r + 119. Is d composite?
False
Is -52*6/(-24)*163 prime?
False
Let m(c) = 11*c**2 - c + 9. Is m(7) a composite number?
False
Let t(l) = 16*l**2 - 8*l - 3. Let n be t(7). Suppose -s - n = -5*v, 5*s = -6*v + 3*v + 435. Is v composite?
True
Let k = 1071 - 572. Is k prime?
True
Suppose 0 = 2*u + 31 - 161. Is u a composite number?
True
Suppose 3*p + l - 6 = 0, 3*p - 10 = 2*p - 3*l. Is p + 2 - (1 - 219) a prime number?
False
Let v(c) = 3*c**3 - 4*c**2 - 5. Let k be 15/9 - 2/(-6). Let p(i) = 4*i**3 - 3*i**2 + i - 6. Let h(x) = k*p(x) - 3*v(x). Is h(6) composite?
True
Is 3*(-2 + 467) + 2 prime?
False
Is 2 - (892 - -4)*-1 a prime number?
False
Suppose t - 2 - 21 = 5*w, -3*w = 9. Is t/(-36) - 3431/(-9) a composite number?
True
Let a(k) = -23*k. Let x(n) = -n**3 - 3*n**2 + 3*n - 5. Let w be 0 + -2 + 0 + -2. Let s be x(w). Is a(s) composite?
False
Suppose -2*q + 1 + 1 = 2*u, 3*u = 5*q - 37. Suppose q*s = 614 + 416. Is s prime?
False
Let q(f) = 39*f - 2. Let z be q(2). Let p = z - 41. Is p composite?
True
Suppose 4*y + 871 = -i, -5*i - 632 = 2*y + y. Let o = y + 338. Is o a prime number?
False
Suppose 3*p - 260 = -p. Let b be 4/7 - 7815/(-105). Suppose -4*w + p = -b. Is w a composite number?
True
Suppose 1326 = -0*g + 6*g. Is g prime?
False
Let c(a) = 114*a**2 - a + 2. Is c(-3) a prime number?
True
Suppose n + 24 + 5 = 0. Suppose 4*q - 304 + 40 = 0. Let g = n + q. Is g a composite number?
False
Let y be (-1 + -28)/((-6)/(-30)). Let w = 380 + y. Is w a prime number?
False
Suppose -v + 4*n - 7 = 0, -3*v + 30 = 7*n - 2*n. Let j = v + -1. Is (1 - 3)/(j/(-74)) a composite number?
False
Suppose -5*z = -9*z + 88. Suppose 6 = 2*j - z. Is j composite?
True
Let f = -5 - -10. Suppose 4*u - f*u = -37. Is u composite?
False
Let n(t) be the second derivative of -t**3 + 13*t**2/2 + 2*t. Is n(-9) composite?
False
Let i(l) = l**2 + 9*l + 8. Let n be i(7). Let m be 54/15 - (-2)/5. Suppose -m*a = 36 - n. Is a composite?
True
Suppose -3*l = -l - 50. Is l prime?
False
Let b = -859 + 1212. Suppose 0 = -4*p, 4*a = 5*p + 587 + b. Is a prime?
False
Let d be (1 + -2)/((-1)/(-57)). Let r = 235 + d. Suppose -r = -w - 5*c, 0 = 2*c + 3*c - 15. Is w composite?
False
Let p be (3 - 4) + 4/1. Suppose y - p*g = 9, 2*g = -5*y + 7*g + 55. Is 56/6*y/8 a prime number?
False
Let q = -59 + 264. Is q composite?
True
Let n(s) = -4*s**3 - s + 1. Let l be n(1). Let c = l - -22. Suppose -51 - c = -x. Is x prime?
False
Is (1*22/4)/(1/118) prime?
False
Let d be (-61)/(-7) - 2/(-7). Let o(y) = -5*y**2 + 11*y + 3. Let l(h) = 4*h**2 - 10*h - 2. Let w(x) = 4*l(x) + 3*o(x). Is w(d) composite?
False
Suppose 4*i - 6*i - w = -9, -4*w + 14 = -3*i. Suppose 2*r = -2*j - 0*j + 2, -3*r = 4*j + i. Suppose 3*g - 5*g + r = 2*t, t + 3*g = -5. Is t prime?
True
Let c = 78 + 53. Is c a prime number?
True
Suppose 4*g + 11 = -1. Let t = 10 + -31. Is t/2*(1 + g) a composite number?
True
Let n(d) = 16*d**2 + 4*d + 3. Is n(-2) composite?
False
Let z(m) = 419*m**3 + 2*m**2 - 2*m. Is z(1) a prime number?
True
Suppose -4*d = -4*r + 552, 2*r - 125 = -5*d + 186. Is r prime?
False
Let b(q) = 5*q**3 + 6*q**2 - 9*q - 1. Is b(4) a prime number?
True
Let a = 11 + -7. Suppose 3*m - 155 = -3*n + a*m, -3*m + 12 = 0. Is n a prime number?
True
Is 52/(-13) + (578 - 1) composite?
True
Let a = -17 + 168. Suppose -a = -5*x + 294. Is x prime?
True
Let m = 201 - 83. Let z = m - 29. Is z composite?
False
Let f(t) = -t**2 - 7*t + 5. Let w be f(-7). Let z = -379 - -549. Suppose 5*d + 5*u = z, w*u + 4 - 19 = 0. Is d a composite number?
False
Suppose 10*q = 4*q + 84. Is q a composite number?
True
Suppose 2*i - 521 = i. Is i a composite number?
False
Suppose -h + 0*h + 19 = 0. Is h a composite number?
False
Suppose 0*y = 2*y - 6. Is 883/y + (-4)/3 prime?
True
Suppose 0 = -4*u - 42 - 6. Let b = 22 + u. Is b a composite number?
True
Let h = -108 + 73. Let v = -21 - h. Is v a composite number?
True
Let z(l) be the second derivative of l**4/6 + l**3 + 5*l**2/2 + 2*l. Let m be z(-6). Let v = m - -16. Is v composite?
True
Let t = 273 - -176. Is t composite?
False
Suppose 0 = 18*v - 14*v - 2668. Is v a prime number?
False
Suppose -3*i + 0*i = 5*u - 3184, 0 = -4*u - 5*i + 2555. Is u a composite number?
True
Let f = 73 - 52. Suppose 2*x - x - f = 0. Is x a prime number?
False
Let u(l) be the first derivative of l**3/3 + 9*l**2/2 + 10*l - 1. Let b be u(-8). Suppose 0 = b*m + 2 - 180. Is m a composite number?
False
Let v(q) = 15*q**2 - 3*q + 8. Let s be v(-7). Suppose 5*i - x - 1903 = 0, -4*x + s = 2*i - 3*x. Is i composite?
True
Let t(s) be the second derivative of s**8/6720 - s**7/420 + s**6/180 - 11*s**5/120 + s**4/12 - s. Let f(h) be the third derivative of t(h). Is f(8) composite?
False
Let z(q) = -q**2 - 6*q - 1. Let u(c) = -2*c**2 - 12*c - 2. Let o(f) = 2*u(f) - 5*z(f). Let i be o(-6). Is i/(-4) - (-884)/16 a composite number?
True
Let j(p) = p**2 + 6*p + 7. Let z be j(-5). Suppose z*i - i = 85. Is i a composite number?
True
Let n be (2 - 0) + -3 - 23. Let m = 35 + n. Suppose 0 = 2*u - 31 - m. Is u prime?
False
Let h = -306 + 563. Is h a composite number?
False
Let c(u) = -2*u**2 - 7*u + 4. Let a be c(4). Let q = a - -165. Is q a prime number?
True
Let l = 31 - 27. Is (-7660)/(-40) - 2/l prime?
True
Suppose -4*g + 157 = -151. Is g prime?
False
Let l(r) = r**3 + 5*r**2 - r - 5. Let h be l(-5). Suppose 5*j = -4*b + 619, -5*j - b + 436 + 180 = h. Is 2 + j - 2/1 composite?
True
Is ((-2638)/6)/((-3)/9) prime?
True
Is 6/(-3)*(-382)/4 prime?
True
Let v(j) = -j**3 - j**2 + 490. Let k be v(0). Suppose x - k = -x. Suppose 3*t - 5*t + x = -3*c, 4*t - 502 = 2*c. Is t a prime number?
True
Let r = -163 + 312. Is r composite?
False
Suppose -4*z + 394 + 2410 = 0. Is z a composite number?
False
Suppose 2*l - 6 = -5*s, -3*l - 12 = -5*s + 4. Suppose -201 - 78 = 3*n. Is 1/l + n/(-6) composite?
True
Let h = 531 - 196. Is h composite?
True
Suppose 7 = 2*d + 1. Let u(l) = -5*l - l**3 + 3*l**3 - 3 + 3*l**3 + 6*l**2 - 4*l**d. Is u(-5) a prime number?
True
Suppose -7*b + 5 = -2*b. Let g(h) = 2 - 34*h - 7 + 9*h - b. Is g(-5) composite?
True
Let t = 750 + -119. Is t prime?
True
Suppose -1320 = -4*h + 5*p - p, -5*p = -3*h + 988. Is h a prime number?
True
Let f be (5 - -5)*(-4)/(-10). Let z(s) = 9*s - 10. Is z(f) composite?
True
Let b(m) = 15*m**2 + 15*m + 7. Is b(-10) a composite number?
True
Let o = 5 - 2. Suppose -3*b = o*v - 198, 5*v - 3*v - b = 135. Is v a composite number?
False
Suppose -5*n - 8 - 7 = 0. Let w be (-5 - 2)*(-2 - n). Let c = w - -18. Is c a prime number?
True
Let t(u) = 23*u**2 + u - 7. Is t(5) a prime number?
False
Suppose 4*j + 3*c = -0*j + 844, -5*j - 4*c = -1055. Is j a prime number?
True
Let d be -160*2*2/4. Let j = d - -229. Is j prime?
False
Let f = -33 + 17. Let v be f/(-6)*(-45)/(-20). Suppose a = -a + v. Is a prime?
True
Suppose -182 = 5*t - 592. Is t a composite number?
True
Suppose 0*i = -4*i + 8. Let k(p) = p**2 + i*p**2 + p + p**2. Is k(-2) a composite number?
True
Is (40/18 - (-4)/(-18)) + 1059 composite?
False
Let p(j) = -j**2 - 3*j + 4. Let x be p(-3). Let h(c) be t