umber?
True
Let w(y) = -y**2 + 7*y + 16. Let x be w(-5). Let s = x + 48. Suppose s*a = 143 + 701. Is a composite?
False
Let g(j) = 6279*j**2 - 206*j - 612. Is g(-3) a prime number?
False
Suppose -8*z + 95 = 31. Suppose 9*d - z*d + 7 = 0. Let q = d - -17. Is q prime?
False
Suppose -6*d - 24 = -3*d. Is 9/324*d + (-117245)/(-9) a prime number?
False
Suppose 3*d + 87 = 5*m, -31 = 4*d + 2*m + 59. Is 4/d*25689*-2 a composite number?
False
Let x(v) = -2*v**3 + 34*v**2 - v + 17. Let f be x(17). Suppose 4*r = 4*g - 116032, f = 5*r - 3*g + 100705 + 44339. Is ((-3)/9)/(10/r) a prime number?
True
Let h(v) be the first derivative of 4*v - 3 - v**2 + 75*v - 7. Is h(0) a composite number?
False
Let l(p) = 9163*p**2 - 6*p - 47. Is l(6) prime?
False
Let j = -55 - -153. Suppose -6*p - 112 = j. Is 2 + 80/p + (-1726)/(-14) composite?
True
Let j(v) = -13 + 321*v - 44*v + 163*v + 403*v - 165*v. Suppose 4*s + 4 - 12 = 0. Is j(s) prime?
False
Let s be ((-55)/(-15) - (4 - (-52)/(-12)))*2. Suppose 2*g - 5 = g. Suppose -4492 = -3*i + 5*x, s*x - 11*x = g*i - 7498. Is i a composite number?
False
Suppose 354291 = 41*l - 34*l. Is l a prime number?
False
Let p = -38 + 40. Suppose p*s - 9*s = -4711. Let t = 118 + s. Is t composite?
True
Let o(j) be the first derivative of -1/3*j**3 + 8 - 23/2*j**2 - 19*j. Is o(-16) prime?
False
Suppose -165816 = -26*g + 164098. Is g composite?
False
Let f = 393748 - 78869. Is f composite?
False
Suppose -8 = 2*z - m - 3, 25 = 2*z + 5*m. Suppose z = 23*g - 143752 + 14055. Is g composite?
False
Let s = -166479 - -111549. Is ((-4)/(-6))/(-7 + (-384530)/s) composite?
False
Suppose 31*m - 501 + 160 = 0. Suppose -10*z + 3*v - 1657 = -m*z, 4*z + 2*v - 6628 = 0. Is z prime?
True
Is (-761 - 10)*776/(-24) a prime number?
False
Suppose 0 = -3*r + 3, y - 4*r + 4 = -3*r. Is 901523/290 - y/10 a prime number?
True
Suppose 3*x = -3*x - 19422. Let w be (1/(-1))/(-2 + (-6477)/x). Let u = 206 - w. Is u prime?
False
Suppose -18100 + 63460 = 2*m. Suppose 4*l + v = m, 25*v - 20*v + 22656 = 4*l. Is l a prime number?
True
Suppose 29*m - 456181 = -451357 + 1261519. Is m prime?
False
Let r = 745855 + -310176. Is r a composite number?
False
Let s(a) = -2249*a - 649. Is s(-24) prime?
True
Let a(k) = -33*k**3 - 34*k**2 - 14*k + 91. Is a(-12) a prime number?
True
Suppose -8 + 2 = -3*z + 3*j, -z - 2*j = 13. Is 2*(z + 2 + 1089/2) a composite number?
False
Suppose s - 477 = -3*q, -s + 5*q + 194 = -267. Suppose 0 = -4*t + 4*x + 2000 + 780, 5*t - x = 3471. Let p = t - s. Is p a composite number?
False
Suppose -21 - 63 = -7*b. Suppose -25*g + b = -22*g. Let p(h) = 3*h**2 + 6*h - 7. Is p(g) a composite number?
True
Suppose 6932 = z - 5*c, 2*z - 124*c - 13909 = -129*c. Is z prime?
True
Let s(q) be the first derivative of 133*q**5/120 - q**4/24 + 19*q**3/3 + 9. Let g(d) be the third derivative of s(d). Is g(2) composite?
True
Suppose 3*h + 4*x = 39788, 5*x - 39793 = 3*h - 6*h. Suppose 0 = 3*j - 3*b - 9939, -2*j = 2*j - 5*b - h. Is j a prime number?
False
Suppose 0 = -2*q - 4*c + 17136, 12*q - 11*q + 3*c = 8571. Suppose -7*m - 1863 + q = 0. Suppose 3892 = 5*z + m. Is z a composite number?
False
Suppose -7*r = -8*r + 3. Suppose -273 = -r*a - 93. Suppose -a + 14 = -k. Is k a prime number?
False
Suppose -3*u = 5*g - 198218, -48758 = -5*g - 5*u + 149462. Is g a composite number?
True
Suppose 24*b + 462 = 38*b. Suppose b*v - 42*v = -27981. Is v prime?
True
Let g = 1 + -9. Let r be (20/g)/(2/(-4628)). Suppose -r = -4*x - 1757. Is x composite?
True
Let m be (-2 - 2) + 5 - -421. Suppose -2*u = -3*w - 322, -3*u - m = 4*w - 2*u. Let a = w - -203. Is a a composite number?
False
Suppose 0 = 4*b + 4*z + 12, 3*b = -4*z - 0*z - 14. Suppose 0*p + p - 4*w = -20, b*w = 8. Is (591 - -7)*(-2)/p a composite number?
True
Let y(p) = 51*p**2 - 12*p - 41. Let m(s) = 25*s**2 - 6*s - 20. Let a(o) = -13*m(o) + 6*y(o). Let z(t) be the first derivative of a(t). Is z(-4) composite?
True
Let c(f) = 368*f**2 + f + 14. Suppose 2*o + 4*r = 7*o - 43, o = -r + 5. Is c(o) prime?
False
Suppose -4024 = 99*t - 107*t. Is 8 + -3 - (-3 - t) a composite number?
True
Let w = -369 + 640. Suppose w*q - 278*q = -26327. Is q composite?
False
Let w(m) = 674*m**2 + 9*m + 7. Let f be w(-1). Suppose -c = -b - 338, 3*b - 5*b = 2*c - f. Is c a prime number?
True
Is (-661778)/(-2) + (5 - 34 - -23) a prime number?
False
Is (-2777820)/(-110) + (-17)/(-187) a composite number?
False
Suppose 26*u + 63393 = 43*u. Suppose -a + 4*t = -1869, -2*a - t + u = -0*t. Is a prime?
False
Let f = 236 - 233. Suppose 4*k - 5*h = 14015, -f*k + 573 + 9939 = -3*h. Is k composite?
True
Let f = 4974 - 1563. Suppose -f = -m + 5*l, -15*l - 13524 = -4*m - 19*l. Is m a composite number?
True
Suppose 5*y + 1350 = -20*y. Let p = y - -68. Is p prime?
False
Suppose -3*a = -2*a - 21. Let h be -41*(-2)/(-7) - 6/a. Is (-3686)/h + 10/(-60) prime?
True
Let v = 110698 - 25127. Is v prime?
True
Suppose 4910 = 20*j - 15*j. Suppose -j + 2632 = -5*f + t, -2*t - 341 = f. Is 8/2 - (4 + f) prime?
True
Let t be (-18)/(-108) + 19979/6. Suppose -14*n - t = -68. Let r = n - -536. Is r a prime number?
False
Let u = 107 + -102. Let t(b) = 5*b**2 - 17*b + 57. Is t(u) a prime number?
True
Suppose 272426 = 2*i + o - 93609, -5*i - 4*o + 915089 = 0. Is i prime?
False
Is (-3)/(9*1/(-165603)) a composite number?
False
Let p(a) be the third derivative of -161*a**6/720 - 31*a**5/60 - 5*a**4/24 - 40*a**2. Let g(l) be the second derivative of p(l). Is g(-5) a prime number?
True
Let r(d) = 1637*d**3 + d**2 - d - 1. Let c be r(2). Let u = c - 4098. Is u prime?
True
Let a(u) = 10*u**2 + 6*u + 14. Let l be a(-2). Let g be 162/l + -2 + 2/14. Suppose -2*m + d = -3*d - 582, 0 = -4*m + g*d + 1170. Is m a composite number?
False
Let l(b) = 9*b - 24. Let i be l(16). Suppose -2*r = f - 6*f + i, -5*r + 24 = f. Let o = f + 27. Is o composite?
True
Suppose -45*j = 2766057 - 16597302. Is j composite?
False
Let z(f) be the third derivative of -761*f**4/24 - 14*f**3 - 14*f**2 + 6. Is z(-17) a prime number?
True
Let v(s) = 68422*s - 485. Is v(3) a composite number?
False
Let l = -51 - -48. Let s be 25/(-20)*(-7 - l). Suppose s*o + 2322 = -n + 3*n, -n - o + 1147 = 0. Is n a prime number?
True
Let w(t) = 2*t**2 + 59*t + 32. Let p be w(-38). Suppose -25*x + 18997 = -p. Is x composite?
False
Let n = -115 + 115. Suppose -2*i + 21 = 6*x - x, -2*x + 5*i + 20 = n. Suppose -4505 - 3680 = -x*t. Is t a prime number?
True
Is ((-3589257)/12 - 5)/((-57)/76) prime?
True
Suppose 4*i - 6604 = 13*l - 11*l, -2*l = i - 1656. Let p = i + -555. Is p composite?
False
Suppose -8*u - 17*u + 625549 = 6*u. Is u a prime number?
False
Let q(l) = 2*l**2 - 7*l + 6. Let p be q(3). Let g be p/1 + (-7 - -4). Suppose g = -0*f + 4*f - 1052. Is f prime?
True
Let n = -6636 - -17777. Is n a composite number?
True
Suppose 0*w + 2*w = c + 5210, -4*w + 5*c + 10414 = 0. Suppose 25890 = 308*k - 302*k. Let y = k - w. Is y composite?
False
Let u(d) = 272*d**2 + 16*d - 245. Is u(17) prime?
False
Let r = -74 - -121. Suppose -r = -3*p + 202. Is p prime?
True
Suppose 3*x = 3*p + 15, 0 = -5*x + 2*p - 5*p + 41. Suppose -2*k + 6 = 0, -10*k + 2107 = 2*z - x*k. Is z a prime number?
True
Suppose -3*h = 4*s + 7648, -2*h - 1401 = -4*s + 3691. Let z = 4061 + h. Is z a prime number?
False
Let g(w) = w + w**2 - w**2 + 2*w**2 - 19. Suppose 85*h + 164 = 232 + 442. Is g(h) composite?
False
Let g(d) = d**3 - 7*d**2 + 12*d - 23. Let x be ((-137)/(-2))/((-3)/(-6)) + 2. Suppose -16*z + 21 = -x. Is g(z) a composite number?
False
Let w = 32 + -7. Suppose -w = j - 5. Is (-1312)/j - (-6)/(-10) a prime number?
False
Suppose -1449 = 4*i - 23457. Let g = 5019 + -5004. Suppose -9*b - i = -g*b. Is b a prime number?
False
Let h be (-140)/(-34) + 16/(-136). Suppose h*i - 2*d - 10 = i, 2*d = 5*i - 14. Suppose 320 + 201 = i*y + f, -2*y - 2*f + 524 = 0. Is y a composite number?
True
Let u = -3490 - -20795. Suppose -5*o + 7*o - u = 3*l, -o + 8652 = -2*l. Is o a composite number?
True
Let t = 515 - 140. Let y be 6/(-10) - (-861)/(-15). Let b = y + t. Is b a composite number?
False
Suppose 0 = 32*u - 25*u - 14651. Suppose -7158 = -11*v + u. Is v a composite number?
True
Let c = 12198 - -11330. Suppose c = s - 69. Is s prime?
False
Suppose 3*c = -c - 5*u + 8136, -8136 = -4*c - u. Let m = c - -317