621 = -271. Is p a prime number?
True
Let s(h) = 3*h**3 - 4*h**2 + 9*h. Let b(q) = -4*q**3 + 3*q**2 - 9*q - 1. Let v(m) = -4*b(m) - 5*s(m). Let o be v(-9). Is (-4431)/(-14)*o/6 a prime number?
True
Let d(y) = -3*y + 28*y**3 + 2 - y**2 - 3 + 2 + 2*y. Let t be d(2). Suppose 5*s = -5*j + 246 + t, 3*j - 12 = 0. Is s a composite number?
False
Let z = 11 + -8. Let f(j) = -2 - j**3 + 3 + 16*j**2 - 10*j**2 + z*j. Is f(6) composite?
False
Is (46800 + (0 - 2))*27/54 a prime number?
True
Suppose 4*d - 86 = -2*k, 7*d - 12*d + 101 = -4*k. Is d prime?
False
Let u(h) = 8*h + 30 - 2*h - 59. Is u(13) a composite number?
True
Let t(f) = 4*f**2 - 21*f - 64. Is t(-15) composite?
False
Let x be 12/10*30/9. Suppose -6*a = -x*a - 44. Is a/11*706/4 prime?
True
Let b = -3159 + 10100. Is b a composite number?
True
Suppose c - 2 - 3 = 0. Suppose 2*j - c*j + 219 = 0. Suppose 2*x - j = 5*r, -30 = 2*x + 5*r - 93. Is x prime?
False
Suppose -259*a - 323689 = -306*a. Is a composite?
True
Let y(m) = 2*m**3 - m**2 - 52*m - 35. Is y(18) a composite number?
False
Suppose -4*l + 4 = 2*w - 22, -4 = -l. Suppose 4*o - w*g = 1757, -3*o + g = -958 - 368. Is o composite?
False
Is (-5)/(-3)*104787/45 a prime number?
True
Let p(o) = 1774*o**2 + 122*o - 249. Is p(2) prime?
False
Let s = 83 + -53. Suppose 3*y = 4*c - 39, 0 = c - 3*c - 2*y + s. Let u(z) = -z**3 + 13*z**2 - 5*z + 13. Is u(c) a composite number?
False
Is (-65 + 51071)*(-1)/(-6) a prime number?
True
Let q(r) = r**2 + r. Let t be q(-2). Suppose 3*n - 10 = -t*n. Suppose 0*h = n*h - 746. Is h a composite number?
False
Suppose -7*h - 9863 - 665 = 0. Let a = h + 4317. Is a prime?
False
Let k = 17468 + -12285. Is k a composite number?
True
Is (-211672)/16*-1*(-2 - -4) a prime number?
True
Let c = -56338 - -102281. Is c a prime number?
True
Suppose 6 = -2*d, w = -3*w - 4*d + 1360. Let l = 594 - w. Is l a prime number?
True
Let u = -852 + 468. Let n = u + 550. Suppose 2*d = 208 + n. Is d a prime number?
False
Let i be (-2)/6 + 2518/(-6). Is (-1)/2*(i + -2) a composite number?
False
Suppose -3*c = -10 + 1. Let a = 25 + c. Let x = a + -13. Is x a composite number?
True
Let k(s) = -12167*s - 758. Is k(-5) composite?
False
Let x be ((-8)/(-6))/(1/3). Suppose 2*z = 3*m - 77, 8*m + 4*z = 3*m + 99. Suppose -x*r = -m - 21. Is r composite?
False
Let g(n) = n**2 + 7*n - 11. Suppose -5*o - 10 = -4*o. Is g(o) a prime number?
True
Let z = 7 - 7. Suppose 3*d = 5*h - h - 2, -5*h + d + 8 = z. Suppose -h*q - 1952 = -5*s - 3*q, 3*q = -5*s + 1946. Is s prime?
False
Let w(j) = -j**2 + 11*j - 12. Let x be w(10). Is 1809/18*x/(-3) prime?
True
Suppose 16 = 5*w + 1. Suppose w*p + 3 = -0*k + k, -k - 4*p = 4. Suppose -2*g - g + 429 = k. Is g prime?
False
Let v = -183 - -12. Let z = -52 + 342. Let d = z + v. Is d composite?
True
Let h = 315 + -170. Is h + 2 + 0 + (-4 - -2) composite?
True
Let g(q) = 8*q**2 + 11*q - 46. Is g(-21) a prime number?
True
Suppose 53 + 19 = 6*m. Is 9/m - 1 - (-13185)/20 a prime number?
True
Let a(l) = 12*l**2 + 7*l + 121. Is a(-12) a prime number?
False
Suppose 5*n - 5*k = 48225, -5*n + 4*k + 48233 = 3*k. Is n composite?
True
Let l be 32/(-6)*3*4/(-8). Suppose 5585 = -3*i + l*i + 5*s, 2*s - 3349 = -3*i. Is i a prime number?
False
Suppose 5*n - 13 = -3. Suppose w + w - 2*b + 424 = 0, w + 206 = -n*b. Let s = w - -389. Is s composite?
False
Let y(x) be the first derivative of 4*x**3/3 + 13*x**2/2 + 2*x + 5. Suppose -w = 2*w + 15. Is y(w) a prime number?
True
Let i = -32041 + 45792. Is i a composite number?
False
Suppose 3*c - 6100 = -22. Let m = -1395 + c. Is m prime?
True
Let a be -1 - (3 + ((-22)/2)/1). Is (a/14)/(1/638) composite?
True
Let t = -451 - -670. Let z = t + -116. Suppose 4*r = 3*k + 193, -5*k + 0*k + z = 2*r. Is r a prime number?
False
Let h(g) = -5*g**3 + 8 - 6*g**2 + 3 + 11*g + 16*g**2 + 4*g**3. Let n = -1 - -10. Is h(n) composite?
False
Suppose -3*x - x + 619 = 3*a, 3*x - 456 = -5*a. Is x prime?
True
Let z(t) = -2*t + 0*t - 8*t**2 + t**3 + 0*t - 5*t + 7. Is z(15) prime?
False
Let t = 5917 - 2070. Is t a prime number?
True
Suppose 2*a = -0 + 4, -5*a - 38754 = -4*p. Is p a composite number?
True
Suppose 0 = -p + 2*p - 2. Suppose p*z = -0*z. Is 0 + -2 - (z - 129) a composite number?
False
Let k be (-39305)/(-90)*-3 + 1/6. Let g = k - -2397. Is g a prime number?
True
Let t(n) = -n**2 + n + 623. Let j(z) = -3*z - 30. Let f be j(-10). Is t(f) a prime number?
False
Let j be (-6609)/(-11) - 4/(-22). Suppose 10*p = 4*p - 1800. Let w = j + p. Is w a prime number?
False
Let o = -61 + 618. Suppose 5*v - 1440 = -5*r, 4*r + 928 + o = 5*v. Is v prime?
True
Let r = 30022 - 8345. Is r prime?
False
Let u = -220 + 429. Let y = 580 - u. Is y a composite number?
True
Let t(u) = -171*u + 89. Is t(-26) a composite number?
True
Let g be (16 - -81)/(0 + 1/2). Suppose -4*w = 2*p - 850, -w + g = -3*p - 8. Is w a composite number?
False
Let p(l) = 23*l**2 + 2*l + 1. Suppose 24 = 3*w - 5*w. Let s = w + 10. Is p(s) composite?
False
Let p = -56 - -442. Let h(a) = -21*a + 5. Let r be h(-8). Let y = p - r. Is y a prime number?
False
Suppose -7*o + 3*t + 18 = -5*o, -5*o + 2*t = -45. Is (o + 110)/(-2 - -3) a composite number?
True
Suppose 4*a = 3*w - a + 6, 4*w - 2*a = 6. Suppose 2*t = -f + 2, t - 4*t = -w*f + 6. Suppose 231 = f*d + 5*m, m - 5 = -4*m. Is d prime?
True
Let v(d) = -d**3 + d + 6230. Let r be v(0). Suppose -r = -5*i - a, 2514 = 3*i - i - 4*a. Is i a prime number?
False
Suppose 0 = -5*p + 2*h - 78, -4*p - 5*h - 40 = -4. Let a = p - -6. Let g(s) = s**2 + 4*s - 6. Is g(a) a prime number?
False
Suppose 8*t + 2*h + 19241 = 9*t, -2*t + 38467 = -h. Is t a prime number?
True
Is 2*13/13*(-12046)/(-4) a prime number?
False
Suppose -231328 = -11*x + 3951. Is x a composite number?
True
Suppose -2*a = -0*a - 18814. Is a prime?
False
Let i = 168 + 338. Suppose k - i = -k. Is k a composite number?
True
Suppose 13*c = 7*c + 36966. Is c prime?
False
Suppose -23*z = -18*z. Suppose z = -4*l - l - 50. Is (-6)/l + 6174/35 a composite number?
True
Let n = 68 + -66. Suppose -3*z + 1157 = 5*d, -z - n*d + 1903 = 4*z. Is z prime?
True
Suppose -4*m - 5*s + 6187 = 0, 2*m - 5*s = -3*s + 3080. Is m a composite number?
False
Suppose l - 6 = -4*k, -3*k + 5*k = -5*l - 6. Let n(s) = 3*s**3 + k + 3*s**2 - 3*s + 0*s + 0*s - 2*s. Is n(3) prime?
False
Suppose 0 = 3*q - 0*q + 24. Let y be 12/q*(-12)/9. Let z(l) = 77*l**2 - 1. Is z(y) prime?
True
Suppose -2*o + 0 = -4. Suppose -2*g - 2*s = 2 - 20, g = -2*s + 14. Suppose -g*h + o*h + 153 = p, h - 158 = -p. Is p a composite number?
False
Suppose -x - 3*x = 0. Suppose n + x*n - 16 = 0. Is ((-92)/n - -4)*-148 a prime number?
False
Let k be (3 - (-10)/(-3))/(2/(-30)). Let g(w) = 4*w**2 + 4*w - 2. Is g(k) a prime number?
False
Let y(i) = 266*i - 77. Is y(5) composite?
True
Let b(q) = -q**3 + 3*q**2 + 4*q - 3. Let v be b(3). Let m = 1 - v. Is 22/4*m/(-4) a composite number?
False
Suppose -276*g = -273*g - 4113. Is g a composite number?
True
Let u be (14/10 + 1)/(6/15). Is 1 - (-6 + -4608) - u/(-2) composite?
True
Let x be 495/(-35) - 2/(1 + -15). Is (-4)/x - 156247/(-49) prime?
False
Let z(g) = g**3 - 26*g**2 - 4. Let c be z(26). Is -613*(-4)/((-16)/c) a prime number?
True
Suppose 0 = -35*v + 33*v + 5628. Suppose -2*b = 4*w - 7*b - v, -5*b = -w + 711. Is w composite?
False
Let n = 85063 - 31044. Is n composite?
True
Let k = 652 + -1089. Let t = -1293 + 2569. Let i = t + k. Is i prime?
True
Let j be 2193/5 - (-54)/(-90). Suppose -j = 7*k - 5884. Is k a composite number?
True
Let q = 0 - -2. Suppose -4 = x - 5*h, 4*x - 2*h - q*h = 0. Let l(u) = 43*u**2 + u - 1. Is l(x) a prime number?
True
Let w(r) be the third derivative of -r**5/60 + 1351*r**3/6 - 12*r**2. Is w(0) a composite number?
True
Let r be (4*1/5)/(7/93135). Let f = r - 5263. Is f a prime number?
True
Let m(k) = -7*k**3 - 2*k - 4. Let x = -11 - -32. Let l = x - 24. Is m(l) prime?
True
Is ((-1)/5)/((-27)/220995) a composite number?
False
Let h(y) = 2*y**3 - 8*y**2 - 8*y - 6. Let j be h(5). Suppose j = -4*g, -2*k = k - g - 2554. Is k prime?
False
Let q be 1 + (-2 - -3) + (-1659)/(-3). Suppose -2034 = -3*z - q. Is z prime?
False
Let u be (20 - 1)/(25 - 24). Let l = u + -5. Is l prime?
False
Suppose 0 = -k + 6*h - 4*h - 16, -35 = 5*k - h. Let b = 8 + k. Is ((-1)/b)/(8/(-304)) a co