-3*l = -h + 12. Suppose k + h = -0*k, 3*p = -5*k - 279. Is -13 - -10 - (0 + p) a composite number?
True
Let h(j) = j**2 + 5*j + 5. Let u be h(-5). Let o(g) be the second derivative of 25*g**3/6 + 2*g**2 + g. Is o(u) a composite number?
True
Let t be (-20)/4*(-3)/((-3)/2). Let o(y) = 11*y**3 - 9*y**2 - 11*y - 11. Let x(k) = -5*k**3 + 5*k**2 + 5*k + 5. Let h(n) = 6*o(n) + 13*x(n). Is h(t) composite?
False
Let m be 3 - (-1)/(1/3). Suppose 3*o = -m + 21. Suppose j - 932 = o*g - 10*g, 15 = 5*g. Is j prime?
False
Let p = -1 - -3. Suppose 4*n + 2717 = 5*m, -p*m = 4*n - 2*n - 1076. Is m prime?
True
Suppose 2 - 7 = 3*p + 5*g, -2*g = 2*p + 2. Suppose p*l = -2*l + 194. Is l composite?
False
Suppose 0 = 8*v - 6*v. Suppose 3*g = q + 4*q + 57, -4*q = v. Is g a prime number?
True
Let r = 31 - 29. Suppose -2*t = 2*y - 888, 3*t = r*y + 478 - 1391. Is y prime?
True
Let h(n) = 39*n - 1. Let v be h(4). Let b be -3*(3 - v/3). Suppose 2*z = -3*a + 51 + b, 4*a - 2*z - 272 = 0. Is a composite?
False
Let p(r) = 19*r**2 - 8*r + 7*r + 2*r - 4 + 3. Let l be 5/4 + (-1)/4. Is p(l) a composite number?
False
Suppose 6179 = 12*u - 313. Is u composite?
False
Let u(i) = -19*i + 1. Let l be u(-3). Suppose -l*g + 64*g = 3246. Is g a composite number?
False
Suppose t + 2*f = 759, 2*t + 30*f - 28*f = 1526. Is t a composite number?
True
Suppose 3*i = -0*i + 45. Suppose -z - i = -f - 4*z, -3*z - 9 = -3*f. Is (164 - f)*5/2 a prime number?
False
Let m = -3066 - -27047. Is m a prime number?
True
Let y(j) = j**3 + 4*j**2 - 2*j - 5. Let z be y(-4). Suppose 0 = -u + z*u - 8. Is 657/45 + u/10 prime?
False
Let f(j) be the third derivative of 241*j**6/60 + j**5/30 - j**4/12 + j**3/3 - 37*j**2. Is f(2) prime?
False
Suppose -5*q + 166817 = 4*c, -8934 - 24423 = -q - 4*c. Is q a composite number?
True
Suppose 5*k + 23 = 83. Let f be 19394/10 - k/(-20). Suppose 2*g - f = -2*g. Is g prime?
False
Suppose 5*d = 2*r + 826, 2*r = -0*d + 4*d - 660. Suppose 6*y + d = 8*y. Is y a composite number?
False
Suppose t - d - 1950 = 0, 1537 = -5*t - 3*d + 11279. Is t a composite number?
False
Let p(w) = -9*w + 12739. Is p(0) a prime number?
True
Let n(p) = 4*p**3 + 5*p**2 + 5*p + 8. Let f(z) = -z**2 - 7*z + 13. Let w be f(-8). Let b be n(w). Suppose -4*t + b - 102 = 0. Is t composite?
False
Suppose 7*g + 7 = -0. Is 5 + -2 + (673 - g) prime?
True
Is 45460 - -6*(-21)/(-14) a composite number?
True
Let s = 13086 - 7133. Is s composite?
False
Let z(i) = -14*i**2 - 30*i + 45. Let f(h) = 9*h**2 + 20*h - 30. Let r(p) = 8*f(p) + 5*z(p). Suppose -3*c = 2*c + 40. Is r(c) a composite number?
True
Is 1*3/((-15)/(-12235)) a prime number?
True
Let d = 3 + 0. Let x(v) = -10 + v**3 + 4 + 2*v**d - 4*v**2. Is x(5) composite?
False
Let r(t) = t**3 + 3*t**2 + 2*t + 1. Let l be r(-2). Suppose -i = l - 0, -2*m = 3*i - 1243. Is m a composite number?
True
Suppose -5135 = -4*r + 30989. Is r a composite number?
True
Let c = -2217 - -6176. Is c composite?
True
Let f(d) be the first derivative of -3 - 3/2*d**2 - 9*d. Is f(-8) composite?
True
Suppose 3*p + 9178 = 2401. Let a = -716 - p. Is a composite?
False
Let r(x) = -x**3 + 12*x**2 + 27*x + 14. Let u be r(14). Suppose u = 9*v - 8*v - 1657. Is v a prime number?
True
Let c be (-2)/1 + 282 + -1. Let y(h) = 1 - 82*h + 82*h + c*h**2. Is y(-2) composite?
False
Let m(b) = 18*b**3 + 8*b**2 - 2*b + 13. Is m(6) a composite number?
False
Suppose 2*j + 3*y + 10 = 1850, -2*y = -3*j + 2734. Let o = -405 + j. Is o a prime number?
True
Suppose 9*k = 10*k - 19. Suppose 775 = -k*g + 24*g. Is g a prime number?
False
Suppose -11*a = -3*a - 5296. Is a a composite number?
True
Suppose n + 3 = 2, -3*n = -3*x + 3. Suppose x = -5*z - 5, -51 + 437 = h + 5*z. Is h a prime number?
False
Let r = -2 + 5. Suppose -3*z + z + t + 417 = 0, -r*z - 4*t + 653 = 0. Is z a composite number?
False
Suppose 4*i + 0*i = 100. Let c be (-9)/(-6) + i/10. Suppose -116 - 408 = -c*f. Is f a composite number?
False
Let w(r) = r**2 + 6*r + 5. Let b be w(-4). Is b/18*2 - 3260/(-6) a prime number?
False
Let v(y) = -65*y**2 - 61*y + 1. Let f(p) = 13*p**2 + 12*p. Let b(z) = 11*f(z) + 2*v(z). Is b(7) prime?
True
Let p = 57006 - -5291. Is p composite?
False
Let p(l) = -228*l + 4. Let r be p(-2). Suppose -r = 6*i - 5074. Is i prime?
True
Suppose 10*p - 40 = -10. Suppose -p*q - 14505 = -8*q. Is q a composite number?
True
Let t = 28 - 33. Let n(a) = 2*a**2 - a - 8. Is n(t) a prime number?
True
Let l(f) = 116*f + 7. Let v = 4 - 2. Let i(n) = 3*n - 1. Let p be i(v). Is l(p) prime?
True
Suppose -3*x + 15 = 0, 0 = -5*z - 0*x - 3*x - 380. Let a be (-4)/12 - (-5997)/9. Let l = z + a. Is l a composite number?
False
Let s(k) be the first derivative of -5*k**4 + 2*k**3 + 5*k**2/2 + 5*k - 42. Is s(-4) composite?
False
Let a be (-76)/(-57)*(-2805)/(-2). Suppose a = 5*z - 5*y, 4*z + y = -0*y + 1511. Is z composite?
True
Let t(v) = 26*v**3 - 3*v**2 + 4*v + 8. Let h be t(6). Let z = -140 - -124. Is 9/12 - h/z a prime number?
True
Suppose -3 = -3*n - u, 2*n + u = -0*n + 3. Suppose 8*q - 3*q - 245 = -2*o, n = -q + 5*o + 49. Is 9149/q + 2/7 prime?
False
Let i(q) = 75*q**2 + 4*q - 4. Let h(s) = -s**2 - 12*s - 6. Let y be h(-11). Let w be i(y). Suppose t + 375 = d, w = 4*d + d - t. Is d prime?
True
Let w = 74519 + 31344. Is w a composite number?
False
Let a = -17072 - -29759. Is a prime?
False
Let a(q) = 24*q - 3 + 0*q**2 - 19*q - q**2. Let r be a(8). Let c = 64 + r. Is c prime?
True
Let o be 10/((12/15)/((-1004)/(-10))). Suppose 4*i = -2*y + 992, -4*i + o = i - 5*y. Is i prime?
False
Let c be 1244/8*6 + 4. Suppose 0*i - 9 = -p - 2*i, i = 3. Suppose a - c = -4*k, a - 922 = -4*k + p*a. Is k composite?
False
Let y(z) = -z**3 + 22*z**2 - 26*z - 2. Is y(19) a prime number?
True
Let z(s) = -2*s**3 + 10*s + 15. Is z(-9) composite?
True
Suppose -2*p + 4 = -2. Suppose 5*l - 10 = 0, h - 443 = -0*h - p*l. Is h prime?
False
Let k(x) = x**3 + 17*x**2 - 11*x + 7. Suppose 0 = -4*o - 4*r - 68, -r = -2*o + 2*r - 29. Is k(o) a prime number?
True
Suppose 0 = 2*i - 4*d - 10448, 5218 = i + 5*d - 10*d. Suppose 354 - i = -2*h. Is h a prime number?
True
Is (-112)/98 + -3554*586/(-28) a composite number?
True
Let t = 2 - 5. Let n = t - -3. Suppose -x + 396 + 15 = n. Is x a prime number?
False
Let p = -614 - -916. Let q = p - 145. Is q a composite number?
False
Let l(t) = 7*t**3 + 4*t**2 - 4*t + 3. Is l(4) prime?
True
Let j = 2792 - 7. Suppose 2*d + 3*d = j. Is d a composite number?
False
Let x(d) = 6710*d - 23. Is x(2) prime?
True
Let g(w) = 24*w + 3. Let l = -17 + 21. Let q be g(l). Let n = q + -56. Is n prime?
True
Let v be ((-12)/(-8))/(1/1622). Suppose 0 = -5*l - s + 4919, 2*l + 447 - v = -5*s. Let z = l + -538. Is z prime?
False
Let q be -57*1*(-16)/12. Let r = -79 + 254. Let f = r + q. Is f a prime number?
True
Let q be 2/(-10) + 11/5. Let b(i) = -1 + 4 - 2 + 5*i - q*i**2 + 5*i**2. Is b(-7) composite?
False
Let j(n) = -20020*n + 469. Is j(-3) composite?
True
Let n be (33/12)/(1/20). Let b = n + 28. Is b a prime number?
True
Let t = 4397 + 7754. Is t prime?
False
Let w be (-22)/(-6) + 2/(-3). Suppose 0 = w*m + 533 - 35. Is m/4*8/(-2) composite?
True
Let s be (-3 - 220/(-12))*60. Suppose -3*l = l - s. Let d = -103 + l. Is d a prime number?
True
Let c(o) = -o**2 - 6*o - 4. Let m be c(-3). Suppose -m*a = -a - 1304. Let f = a - 232. Is f composite?
True
Let b(t) = -2*t**2 - 23*t + 15. Let w be b(-12). Let z(p) = 56*p**2 + 8*p - 7. Is z(w) prime?
True
Suppose -l - 144 = 5*b, 0 = 4*b - 6*b + 8. Let u = -37 - l. Is u prime?
True
Suppose -64628 = -5*c + 214527. Is c a composite number?
True
Suppose 3*m - 9566 = m - 5*h, 0 = -2*m + h + 9554. Is m composite?
True
Suppose 2*w = 5*q + 2 + 12, -17 = -w + 5*q. Is ((-3 + 4)*-1)/w*42 a composite number?
True
Let d be 2/(-3) + (-42)/(-9). Suppose -3*w - 4*a + 29 = 0, d*w - 2*a - a - 22 = 0. Suppose -w*g + 3*g = -332. Is g a composite number?
False
Let l be (3 - 2)/(-1) + 5. Let v(j) = 3*j**3 - 3*j**2 + 5*j - 3. Is v(l) a composite number?
True
Suppose p + 2*c = 5*c + 3913, -3*c - 6 = 0. Is p a composite number?
False
Let f = 2187 - -11194. Is f a prime number?
True
Let y = 146 - 68. Suppose 145 + y = x. Is x composite?
False
Let y(f) = f + 5413. Suppose -16*u = -19*u. Is y(u) composite?
False
Let b = -17551 + 25137. Is b prime?
False
Suppose -9*