Is g prime?
False
Let d(x) = 5*x - 10. Let o(i) be the first derivative of 8*i**2 - 30*i + 8. Let r(f) = -7*d(f) + 2*o(f). Is r(-15) a composite number?
True
Let f(x) = -x + 20. Let c be f(17). Suppose m = w - 264, -3*m = c*w + m - 785. Is w a prime number?
True
Suppose -581960 = -20*n + 15*n + 3*l, 0 = -2*n + 5*l + 232765. Is n prime?
False
Is 2 - -4572 - 7/(14/(-6)) a composite number?
True
Let j = 432 + -302. Suppose -5*n + j = -505. Is n a composite number?
False
Suppose -r + 1822 = 5*t, 0 = 4*t - 3*r + 520 - 1970. Suppose -11*m + t = -7*m. Is m a prime number?
False
Let k(t) = 32*t - 15. Let z(l) = -1. Let u(y) = -k(y) + 6*z(y). Is u(-14) a composite number?
False
Let m(u) = u**3 + 19*u**2 - 12*u + 31. Is m(-15) a prime number?
False
Let k be 469 - (-1)/((-2)/(-8)). Suppose -6*v + k + 949 = 0. Is v a composite number?
True
Suppose -32*f + 31*f = -4406. Is f composite?
True
Is 1/1*(-4 + (4002 - 9)) a prime number?
True
Suppose 3 = o, -2*o + 1054 = 3*j - 884. Suppose 3*t + t = j. Is t prime?
False
Is (90/54)/((-10)/(-5514)) prime?
True
Let u = -4217 - -11886. Is u composite?
False
Suppose -2*k - 4 = 3*r, k - 3*k = -r + 20. Is 2 + 583 - 16/k a prime number?
True
Suppose -u + 0*u = -1219. Is u prime?
False
Suppose -9871 = -b + 5*o, -6*o - 49235 = -5*b - 11*o. Is b prime?
True
Suppose 29 = -s + 33. Suppose -6*h + s*h = -11906. Is h prime?
True
Suppose 9*b = 19*b - 27050. Is b a composite number?
True
Let o(u) = 11*u**2 - 155*u + 90. Is o(44) a composite number?
True
Let t be (9 - 14)*(1 + 0). Is -3*(1 + t/((-15)/(-254))) prime?
True
Suppose 20 = 4*h - 8*h. Is (h/(-20))/(3/444) prime?
True
Suppose 4*h = -3*r + 88805, 0 = r + 3*r + h - 118398. Is r a composite number?
False
Suppose -41 + 6 = 5*a. Let r(s) = -s. Let y be r(a). Is 49/28*(y + 1) a composite number?
True
Suppose -2*p + 15 = 4*g - p, p = -5*g + 20. Suppose g*b = 87 + 838. Is b a composite number?
True
Suppose 0*r + 57*r - 1435659 = 0. Is r prime?
False
Suppose -v + 2 = 0, 5*v = x + x + 166. Let m = x - -217. Is m a prime number?
True
Suppose 0 = 2*r + 3*t - 9, -4*t + 16 = 6*r - 2*r. Let b be (2/5)/(r/(-75)). Is (-1848 - b)/((-2)/1) prime?
True
Let i be (13 + -12)/(1/6). Suppose p - 3*z - 2444 = 0, 4*z = 27 - 11. Is (i/(-24))/((-2)/p) composite?
False
Suppose 11*x = 15*x. Suppose -h + x*h - 7 = 0. Is 381*(-2)/(h + 1) a prime number?
True
Let m = -933 + 591. Let i = m + 498. Suppose 5*f = -0*g + g - i, 3*g = -4*f + 373. Is g composite?
False
Let g(z) = 20 - 3*z - 25*z - 5*z. Is g(-15) composite?
True
Is (-86)/((-867)/(-291) + (-3)/1) composite?
True
Let l(q) = -763*q + 11. Is l(-2) prime?
False
Let o = -27 - -50. Let d = 37 + -50. Let u = o + d. Is u composite?
True
Suppose 0 = -0*a - 4*a + 340. Let t = a + -130. Is (-3)/(-5) - 8928/t a prime number?
True
Suppose -2*o + 0*o = 3*t - 78, 3*t = 3*o + 78. Suppose 3*q - q - 84 = -3*r, 0 = 5*r + 10. Let h = q - t. Is h a composite number?
False
Suppose -2*p - 5558 = -16692. Is p composite?
True
Suppose -3*i = -0*i + 63. Let g be (7/i)/(1/(-1434)). Let m = g + -267. Is m a prime number?
True
Let c = -41 + 40. Is (-2)/c*(-444)/(-8) a composite number?
True
Let c be 6/(-9) - (-6)/9. Is (-502)/(-8)*(c + 4) prime?
True
Let d(w) = 332*w**2 + 6*w - 14. Let m(a) = -498*a**2 - 9*a + 21. Let k(j) = 7*d(j) + 5*m(j). Let y be k(4). Is y/(-6) + 3/(-6) composite?
False
Suppose k - 5554 = -3*x, k + 3*k - 22224 = -4*x. Is k prime?
True
Suppose -3*t + 4*h = -4463, 25*h = 5*t + 28*h - 7390. Is t a composite number?
False
Let a(n) = 13*n**2 - 4*n - 64. Is a(-15) composite?
True
Is ((-42482)/5)/(308/55 - 6) a composite number?
True
Suppose -59*l + 58*l + 839 = 0. Is l prime?
True
Suppose y - 95 + 25 = 0. Is ((-28)/y)/(4/(-790)) a composite number?
False
Let b be 57/3 - (-4)/(-1). Suppose -3*m + b = -2*m. Is ((-954)/m)/(10/(-25)) a prime number?
False
Let i(t) = 1048*t - 5. Let g(q) = 262*q - 1. Let f(u) = 9*g(u) - 2*i(u). Let n(w) = -261*w - 1. Let x(y) = -3*f(y) - 4*n(y). Is x(1) composite?
True
Let i = -8 + 38. Let m = -41 + 73. Let q = m + i. Is q a prime number?
False
Suppose -2*y - 2005 = -5*n, 0 = 2*n + 3*y - 27 - 794. Is n a prime number?
False
Let p = -1 - -8. Suppose -5*d + p*j - 2*j + 1450 = 0, 5*d + j = 1456. Is d a prime number?
False
Let l(p) = -19*p + 2. Let t(s) = -77*s + 8. Let n(o) = 9*l(o) - 2*t(o). Is n(-17) prime?
False
Let z = -22658 + 31915. Is z prime?
True
Suppose 2*d - 1263 = -d. Let i(l) = 353*l + 2. Let f be i(2). Let m = f - d. Is m composite?
True
Suppose 9276 = 25*p - 153299. Is p composite?
True
Let t(f) = 3*f**2 - 3*f - 1. Let l be t(3). Suppose l = r - 30. Is r composite?
False
Let a(y) = -3*y**2 + 12*y + 7. Let t(u) = -4*u**2 + 11*u + 6. Let m(d) = 4*a(d) - 5*t(d). Is m(-7) a composite number?
False
Suppose 45 = -2*h + 319. Suppose h + 64 = j. Is j a composite number?
True
Is 10/(-15) - 3263/(-3) a composite number?
False
Suppose 3*v - 4*v + 94 = 0. Suppose 5*k - 3*y = 788, -5*k + 3*k + 2*y + 316 = 0. Let g = v + k. Is g a prime number?
True
Let s(u) = u**3 + 7*u**2 - u - 5. Let v be s(-7). Suppose 720 = v*z + 3*z. Suppose 4*j - 1124 - z = 0. Is j a prime number?
True
Let y(t) = -58*t + 3. Suppose 5*o + 3*h = 28, -3*h + 20 = 2*o + 2*o. Suppose z - 6 = -o. Is y(z) a prime number?
False
Is 21979*((-4)/(-1) + (-4 - -1)) a prime number?
False
Suppose s = -5*m + 5 + 3, 2*s = m - 6. Suppose h + 674 = m*h. Suppose -f = -5*f - 3*b + 2788, f - 5*b = h. Is f a composite number?
True
Let r = -12821 + 6533. Is r/(-10) + (-9)/(-45) a composite number?
True
Let n = -21 + 17. Let f be 1/(-2*n/40). Suppose -599 - 251 = -4*z - 3*o, -f*z = -4*o - 1047. Is z a composite number?
False
Let c = -11 - -11. Suppose d - 8*d + 4613 = c. Is d prime?
True
Let v be 36*(-2 - 64/(-12)). Suppose -v = -3*u + 27. Is u a composite number?
True
Let b be (-100)/25*(-5178)/(-4). Let l = 7331 + b. Is l a prime number?
True
Suppose g = 3*a + 889, -g + 648 = -4*a - 239. Is g a prime number?
False
Let u(j) = -34*j + 4. Let b be u(-6). Suppose 211 = l - 2*x, 2*l - l - x - b = 0. Is l a prime number?
False
Suppose 4*u - 4*h - 19988 = 0, 11*h - 13*h + 24985 = 5*u. Is u a composite number?
True
Let n(z) = 120*z**2 + 3*z + 19. Let a be n(-8). Suppose -y + a = 4*y. Is y composite?
True
Suppose -15*c + 11*c + 176088 = -5*d, 2*d - 220077 = -5*c. Is c composite?
False
Suppose 9 = 2*v + 3*a, 2*v + 2*v - 8 = 4*a. Let l be (40/8 - -3) + (0 - 1). Suppose 2*h + l*r - 4*r - 77 = 0, -120 = -v*h - 3*r. Is h prime?
True
Suppose 22 = 4*q - 3*d, q + 3*d = 4*d + 6. Suppose -q*x = -4*o - 2716, 2041 = 3*x - 8*o + 3*o. Is x prime?
True
Suppose 27579 + 81272 = 17*m. Is m a composite number?
True
Suppose -3*t + 6 = m, 0 = -2*t + 4*t - 2*m - 12. Let g(j) = -j**3 + 10*j**2 + 2*j + 1. Let q be g(4). Suppose 4*l + 5 = 9*l, -3*u = t*l - q. Is u prime?
False
Suppose -5*u + 831 = k, -2*u - 11 + 3 = 0. Suppose -3*m - 4*w = -k, -2*m + 663 - 89 = w. Is m prime?
False
Suppose -41655 = -5*k + 2*a, -4*k + 9*k = -a + 41670. Is k a composite number?
True
Let a(u) = -u**3 - 9*u**2 - 17*u - 7. Suppose 8*f + 27 = -2*t + 3*f, -4*f + 40 = -4*t. Is a(t) prime?
False
Let p = -40838 + 58083. Is p a prime number?
False
Let k(n) = -108*n + 65. Is k(-4) composite?
True
Suppose 3*g = -v + 3979, 3*v = -0*v - 5*g + 11921. Is v a composite number?
False
Let y be ((-3)/(-2) + -1)*2276. Let s = y + -407. Is s prime?
False
Let m = 6 + -4. Suppose -d + 219 = m*d. Let r = -8 + d. Is r prime?
False
Let q(w) = 31*w**2 + 294. Is q(22) a prime number?
False
Let i(b) = -b**3 + 5*b**2 - 5*b + 6. Let u be i(4). Let s(v) = 2 + v + 0 + 3*v**2 - 6*v**2 + 4*v**u. Is s(-8) a composite number?
True
Let u(s) = -60*s + 60*s + 8 + 5*s**2. Let l be u(-5). Suppose 240 = 3*v + r, -3*v + l = -3*r - 95. Is v a composite number?
False
Suppose 214 - 34 = -10*o. Let z(i) = -88*i - 17. Is z(o) a composite number?
False
Suppose -7*h = h - 41032. Is h composite?
True
Let k(c) = -14*c**3 + c**2 - 4*c - 4. Let a(q) = -q**3 + q + 1. Let n(m) = 4*a(m) + k(m). Let g be n(-1). Suppose 0 = g*h - 15*h - 1604. Is h a prime number?
True
Let o = 213 - -350. Is o a composite number?
False
Let d = -6 - -15. Let s be (-1 + d)/(24/12). Suppose 0 = -4*p + s*z + 368, z - 444 = -4*p - 51. Is p a composite number?
False
Suppose -5 = 5*m, 2*m + 8 = 4*w - 2*m. Is (1 + w)