c a prime number?
True
Let y(s) = 7988*s**2 + 186*s + 568. Is y(-3) a composite number?
True
Let g(v) = -v**3 + 12*v**2 + 16*v - 30. Let l be g(13). Let f(s) = s - 3. Let q be f(l). Suppose 0 = -3*o + 5*x + 74, -q = 4*o - x - 133. Is o a prime number?
False
Suppose c = 2*c + 4*j + 44, 3*c - 2*j = -90. Is (25991 - c) + 1 + -1 composite?
True
Suppose 5*a - 272 = 13. Let c(t) = -t**2 + 21*t + 62. Let r be c(24). Let h = a - r. Is h a prime number?
True
Let m be -4*(-2 + 0) - 4. Suppose 8*l - 13878 = 5*l + x, -3*l + 13869 = -m*x. Is l a prime number?
False
Suppose -759*k = -695*k - 39993280. Is k a prime number?
False
Let k(s) be the second derivative of 2*s**3/3 + 1663*s**2/2 - 7*s. Suppose -4*d = a + 1, 2*a = -5*d + a - 1. Is k(d) a composite number?
False
Suppose 18*g - 30001304 - 22340266 = 0. Is g a composite number?
True
Suppose 0 = -20*i + 18*i + 62496. Let r = i - 20287. Is r prime?
False
Let k(g) = 109*g + 83. Let n(h) = 31*h - 211. Let a be n(7). Is k(a) prime?
False
Suppose 0 = -3*u - 650 + 632. Let v(w) = -35*w**3 + 4*w**2 - 13*w + 13. Is v(u) prime?
False
Suppose 0 = p + 5 - 1. Is p/(-7 - -15) - (-16486)/4 a composite number?
True
Let d(h) = 3*h**3 - 21*h**2 - 31*h + 49. Let a be d(25). Suppose 0 = 6*g + 12582 - a. Is g prime?
True
Let z(s) = -2*s - s - s**2 + 5*s - 7 + 12*s. Let f be z(13). Is 59290/90 + f/27 a prime number?
True
Suppose -6 = -3*t, 2233 - 6376 = -3*l - 3*t. Is l prime?
False
Let t = -2610 + 37434. Suppose -4*f = 2*s - s - t, -f + 5*s = -8727. Is f a prime number?
True
Let l(h) = -181*h + 8. Let j(b) = -29*b - 123*b - 31*b + 1 + 6. Let u(k) = -6*j(k) + 5*l(k). Is u(15) composite?
True
Is (540973/(-2))/(339/(-678)) a prime number?
False
Suppose 14*b - 33957773 + 8213964 = -77*b. Is b composite?
True
Suppose -2*a = -8*a + 7026. Suppose 2*o = -5*y + a, 0 = 5*y - 2*o - 412 - 747. Is y a composite number?
False
Suppose -6*v = -5*v - 635655 - 74858. Is v a composite number?
False
Suppose 0 = 7792*c - 7771*c - 3795729. Is c prime?
True
Suppose -5*o + 45 = -135. Is (1 - o/6) + 258 composite?
True
Suppose 12*p + 15 = 15*p. Suppose 26 = -p*q + 46. Suppose -4*j + 4*x + 0*x = -2736, -q*x = -j + 687. Is j a composite number?
False
Let w = 7 - 8. Let f(r) = r**3 - 6*r**2 + r - 5. Let g be f(6). Is (-1219)/g*1/w a composite number?
True
Let y be (1 - 2)/((-5)/4 - -1). Suppose 0 = 5*v - b + 33, y*b - 54 = 5*v - 12. Is 16234/6 - (-4)/v a prime number?
False
Let g be ((-66)/(-55))/(4/6470). Suppose -7*n + 4430 = -2*n. Let o = g - n. Is o composite?
True
Let k(z) = 589*z - 7. Let t be (2 - 5) + -1 + 4. Let b = 2 + t. Is k(b) composite?
False
Suppose 0 = j - 6*j + 125. Suppose 12*z + 73 = j. Let v(f) = -9*f**3 + 5*f**2 + f - 3. Is v(z) a prime number?
False
Suppose 2*r + 2*r = 16. Suppose -5*h + r = 19, 7166 = 4*s + 2*h. Is s composite?
True
Let t be 6651/(-4)*608/(-57). Let j = -10837 + t. Is j prime?
True
Let v = 123894 + -50245. Is v composite?
True
Let w = -24 + 29. Suppose -w*d + 5*l + 78765 = 30685, 0 = 5*d - 2*l - 48065. Is d a composite number?
True
Is (-190132050)/(-174) + 162/2349 prime?
True
Is (-2003168)/(-59) + 10/(-3) + 1/3 composite?
True
Suppose -j + 165 = 3*w, 4*w + 5*j - 165 = w. Let c = w - 53. Suppose 6 = 3*t, -c*a + 4914 = -t + 1114. Is a composite?
False
Suppose 31151 = 9*p - 8368. Suppose 5*w = 3*l + p, -4*w + 3516 = -5*l + l. Is 4/(-2) + w + (-24)/(-8) composite?
True
Suppose 0 - 5 = -5*g - 2*u, 2*u = -10. Suppose -6*b + g*b + 24 = 0. Is b/(-3)*2670/(-40) composite?
True
Let b be ((-5 - -15)/(-5) + 3)*-8493. Let g = 30742 + b. Is g a prime number?
False
Let j = 4016 + 504. Let r = j + -2339. Let z = r - 1055. Is z a prime number?
False
Let i be -776 + -2 + -1 + -1. Suppose 10*o - 7028 = 6*o. Let g = i + o. Is g composite?
False
Let y = 4361 - -3902. Is y a composite number?
False
Let c(v) = 341*v**2 + 237*v - 13591. Is c(47) composite?
False
Let c(q) = 112*q - 5. Suppose -7*s = 44 + 12. Let b be (s/(-10))/((-6)/(-60)) + -2. Is c(b) prime?
False
Let l be 14301/18*(-16)/(-28). Let p = -309 + l. Is p a composite number?
True
Let v = -5941 - -5945. Let z = 1256 + -590. Suppose -4*t + z = 2*x, -5*t = 3*x - v*x + 340. Is x prime?
False
Let q(t) = -342*t - 90. Let l be q(11). Let c = l - -7841. Is c a composite number?
False
Let l(w) = w**3 - 2*w**2 + 7*w - 9. Let p be l(4). Let c = 67 + p. Is c composite?
True
Let c = 270848 + -162777. Is c a prime number?
False
Let u(i) = 6950*i + 6587. Is u(37) prime?
True
Suppose -5*u - 2 - 3 = -5*h, 5*u = h + 15. Suppose 1814 = -6*j + 2*j - 5*c, 0 = -j - h*c - 461. Let n = 2918 + j. Is n composite?
False
Let i = 368045 - 132534. Is i composite?
True
Suppose 6*d - 72 = -3*d. Suppose -d*v + 4094 = -6*v. Is v a composite number?
True
Let r = 151 + -154. Let d(o) = 1111*o**2 + 3*o - 1. Is d(r) prime?
False
Suppose 4*u + 94 + 98 = -2*b, 0 = 5*b. Is ((-4)/u*10124)/((-2)/(-6)) composite?
False
Suppose 0 = -8*r - 26*r + 408. Suppose 96620 = r*d + 8*d. Is d composite?
False
Suppose 1687 = 7*d - 4095. Let b be 21*(8/6 + -1). Suppose -273 = -b*k + d. Is k composite?
False
Let r be (-78)/(-15) + 3/(-15). Suppose -r*x = -274 - 301. Is x composite?
True
Let i = -832 + 589. Suppose 0 = -5*c - 3*g - 22, 3*c - 4*g = -c + 8. Is c/3*i + 1 a composite number?
False
Let j(u) = 169*u - 378. Let h(b) = -56*b - 31. Let w be h(-1). Is j(w) a composite number?
False
Suppose 0 = 19*v - 16*v + 141. Let s = 0 + v. Let q = s - -70. Is q composite?
False
Let w be (-3 - -1)/(11 - (-2554330)/(-232210)). Suppose w = 3*i - 36920. Is i composite?
False
Suppose -5*c + 10 = 5*m, -24*m - 3*c + 2 = -19*m. Is (-10)/m - (-2690 - 1 - 3) composite?
False
Suppose -9*i = -i - i. Suppose 35*h - 7*h - 10444 = i. Is h prime?
True
Suppose -3*x = -8*x + 2*i + 21831, -21816 = -5*x - 3*i. Suppose x = 12*c - 3423. Is c composite?
True
Let k(j) = 37956*j**2 + 750*j - 2237. Is k(3) a composite number?
False
Suppose -s = -2*l + 65733, -2*l - 4*s + 6*s + 65728 = 0. Is l a prime number?
True
Let z(j) = 4*j**2 + 29*j + 96. Let b(w) = 3*w**2 + 30*w + 94. Let x(r) = 3*b(r) - 2*z(r). Let k be x(-29). Is (-797)/(k/(-6)*(2 - 0)) a composite number?
False
Let k(s) = -s**3 + 2*s**2 + 518. Let t be k(0). Let u = -2181 + t. Is -2 - -4 - 1 - (u - -7) prime?
True
Suppose 0 = -3*h + h + 24. Let c be 569/(-1)*(-12)/h. Let g = 802 - c. Is g prime?
True
Let l = 1545 + 13426. Is l a prime number?
False
Let v be (6 - (-35)/(-6)) + 31/(-6). Let d(b) = -b**2 - 10*b - 27. Let f be d(v). Is (-18903)/(-9) + 2 - f/3 composite?
True
Suppose 0 = -3*d + 5*d + 4*r + 12, -5*d = 3*r - 5. Suppose 0 = -d*u + 2*u + 1310. Suppose -149 - u = -4*x. Is x composite?
True
Let h = 6074 - 4284. Suppose 4*f + h = 4938. Is f a composite number?
False
Let p(g) = -3*g**3 - 4*g**2 - 17*g - 30. Let i be p(-2). Is 3/i - 7/(224/(-363480)) a composite number?
True
Suppose -41*d = -35*d - 79506. Suppose 10*g = 3*g + d. Is g prime?
False
Let g(t) = -3*t - 38. Let w be g(-19). Suppose -w*q + 19184 = -3939. Is q a composite number?
False
Let q(c) = c**3 + 158*c**2 - 14*c + 4637. Is q(-108) prime?
True
Suppose -6*w - 438 = 1494. Let g = 617 + w. Is g prime?
False
Suppose 0 = s + 5*n + 7, 2 + 1 = 3*n. Is (-6 + 422466/s)*-2 a composite number?
False
Let h be 67 + 2138 + -5 + -1. Suppose 5*b - h = 436. Is b prime?
False
Let g(m) be the third derivative of 0 - 5/12*m**4 + 17/6*m**5 + 0*m - 14*m**2 + 1/6*m**3. Is g(5) prime?
True
Let z = 38587 - 24464. Is z a composite number?
True
Let w(o) = 55*o**2 + 288*o + 75. Is w(52) prime?
True
Let m be (-2)/((-6)/(-27)*-3). Let c = -1020 + 1824. Suppose -4*g + c = 2*w + m*w, 4*w = -g + 201. Is g a prime number?
False
Let t(u) be the second derivative of -3*u**5/2 - 5*u**4/12 + 2*u**3 + 20*u**2 - u + 94. Is t(-3) prime?
True
Suppose q - 171 + 170 = 0. Let i be ((-1)/4 - 4/(-16))/q. Suppose 19*t - 15*t - 3508 = i. Is t composite?
False
Suppose 0*i = j + 3*i - 8, -2*j + 4*i = -6. Let r = 22 - j. Is (16 - r)/((-2)/398) prime?
True
Suppose 5*s + 35 = 4*h, -2*h + 23 = 2*s + s. Let l = h + 35. Suppose 0 = -u + l + 166. Is u a composite number?
False
Let s be ((-21784)/(-3))/(5/((-300)/(-8))). Suppose s = -88*v + 108*v. Is v prime?
False
Is (-45)/(-9)*2230408/40 a composite number?
False
Let l be 1 + 0 - (744*-4 - -5). Suppose -4*o = -2*k - l - 1992, -3*k = 4*o