 Is (c + -8)/(p/(-2252) + 4) a composite number?
True
Let a = -11548 - -12747. Suppose -6 - 4 = -5*u. Suppose -u*k - 75 = -a. Is k a composite number?
True
Let m(d) = 5982*d + 151. Is m(18) a composite number?
False
Let z = 358 - 712. Let i = 157 - z. Is i a prime number?
False
Let k = 129161 + 286266. Is k a prime number?
True
Suppose 79*o - 70*o = -108. Let p(m) = -767*m - 5. Is p(o) a composite number?
False
Let g be (9/3 + -1)/(3/6). Suppose -8453 - 31907 = -5*h - 5*o, -h - g*o + 8081 = 0. Is h prime?
True
Let i = -54012 + 77155. Is i composite?
False
Let w be (-1)/(-3) + 33/9. Let n(s) = 2*s**3 - 18*s**2 - 21*s + 11. Let b be n(10). Suppose 5*i - 8662 = 3*q, -3 = -w*q + b. Is i a prime number?
True
Let s = 159876 + -57035. Is s a prime number?
True
Let o(t) = -16*t - 31. Suppose -10*f = -11*f - 5. Let g be o(f). Suppose -6*s + g + 11 = 0. Is s a composite number?
True
Suppose -10*p = -p - 54. Let w(d) be the third derivative of 419*d**4/24 - 41*d**3/6 + 2*d**2. Is w(p) composite?
False
Suppose 40 = 3*b + 5*d, 68 = 4*b + 4*d + 28. Suppose q - 116 = 3*s - 49, -b*s = 5. Suppose 2*h = 70 + q. Is h a composite number?
False
Is 1666/(-56) + 30 + 1*899083/4 a prime number?
True
Let p(o) be the second derivative of -7*o**6/120 + 9*o**5/40 + o**4/2 - 17*o. Let s(y) be the third derivative of p(y). Is s(-11) a composite number?
True
Let t = 172951 - -1896. Is t a composite number?
True
Let b(s) = 6414*s**2 - s + 4. Let u be b(4). Suppose 4*o = -4*o + u. Suppose 6*h - 2*h = o. Is h a prime number?
False
Let r be (45/6)/(3/(6*1)). Suppose -p + 3*w = 6*w - r, -w - 23 = -2*p. Suppose p*u = -0*u + 2532. Is u a prime number?
True
Let m(y) = -146*y**2 - 6*y - 45. Let j(f) = 48*f**2 + 2*f + 17. Let o(g) = -8*j(g) - 3*m(g). Let n(q) = q**3 + 7*q**2 + 7*q + 4. Let p be n(-6). Is o(p) prime?
True
Suppose 280*g + 639140 = -257*g + 557*g. Is g composite?
False
Suppose 0 = -649*k + 688*k - 2767947. Is k a prime number?
False
Let q be 23947 + -2*(-8 - -7). Suppose 2*h - q = -3*i + 5*h, -3*i + 5*h = -23957. Is i a composite number?
True
Let q = 221836 - 152253. Is q a prime number?
False
Is -2*(-12002323)/136*4 composite?
False
Suppose -221*o - 56*o + 69524388 + 87559819 = 0. Is o a prime number?
False
Let v = -555982 + 923837. Is v prime?
False
Is (170/30 + -7)*(15437/(-4) - 1) a composite number?
False
Suppose 5*l = 13*l - 40. Suppose 3*a + l*b + 20139 = -13920, -4*b = 4*a + 45420. Is ((a/(-15))/((-4)/(-20)))/2 a prime number?
False
Suppose 0 = -v + 4*j, 0 = -2*j + j. Suppose v = -5*y + 862 + 448. Is y composite?
True
Let f(h) = -99*h**3 - 11*h**2 + 27*h + 474. Is f(-13) a composite number?
False
Let d(k) = 30*k**2 + 13*k - 5. Let x be -5*(-392)/175 + (-8)/(-10). Is d(x) a composite number?
True
Suppose c + 3*d + 10 = 0, 3*c - d + 37 - 17 = 0. Is 1395610/70 - (-3 - 23/c) prime?
True
Let h(a) = 157*a + 35. Suppose 183 = 2*q - 1. Suppose -3*r - 2 = -2*r - 4*c, -4*r - 4*c + q = 0. Is h(r) a composite number?
False
Let k(h) = 21*h**2 + 1. Let g(c) = c**2 + 31*c - 10. Let r be g(-31). Is k(r) composite?
True
Suppose 0 = -190*b + 233*b - 74656858. Is b a prime number?
False
Let z = 4059 - 1934. Let o = z - 1346. Is o composite?
True
Let r(b) = -4*b**2 + 9*b + 2. Let l be r(0). Suppose -5259 = -l*z + 2033. Is z prime?
False
Let l = 642 + 534. Is -5 + l + 1 + (4 - 7) a prime number?
False
Let i(y) = 320*y**2 + 14*y - 17. Let h(m) = m**3 - 18*m**2 + 20*m - 46. Let v be h(17). Is i(v) composite?
False
Suppose -1690622 = 24*t - 2312469 - 5024705. Is t composite?
False
Suppose -1034813 = -15*h + 745762. Is h composite?
True
Let k(p) = 3*p + 1. Let b be k(1). Is (5 - b)*(0 + -1)*-2157 prime?
False
Let b = 56 - 29. Suppose 4*s = s + b. Suppose 0 = -s*k + 4*k - d + 292, k = 3*d + 68. Is k a composite number?
False
Suppose 0*b - 4*g + 7 = -3*b, 2*b + 4*g - 22 = 0. Let z be (-328)/(-48) - b/(-18). Suppose -z*o + 844 = -3*o. Is o prime?
True
Let g(w) = w**3 + 21*w**2 + 23*w + 64. Let p be g(-20). Is (284*46)/p - (0 + 1) composite?
True
Suppose 0 = 4*u + 3*f - 585128, -5*u + 2*u + 438846 = -3*f. Is u prime?
False
Let a(o) = 907 + o + 0*o + 2*o + o**2. Is a(0) a prime number?
True
Let k be (-205738)/(-8) + (-14)/56. Let v = k + -13280. Is v a prime number?
True
Let d = 296 - 281. Suppose 63824 = d*i + i. Is i a composite number?
False
Suppose -157851 = -3*b + d, 2*d + 37359 = b - 15258. Is b composite?
True
Suppose 4*d + 5*m - 223004 - 7441 = 0, d = m + 57618. Is 57/(-38) + d/6 prime?
True
Is (-5 - -1 - -1) + 2 - -36317*6 a composite number?
False
Let a be 1*6106 + 21/(-7 + 0). Suppose 0*r = 4*r - 3*q - 4889, 0 = -5*r + q + a. Suppose r = b - 179. Is b a prime number?
True
Let o = 49 + -45. Suppose 0 = -k - z + 1749, 5 + o = 3*z. Is ((-11)/2 + -1)/((-9)/k) a prime number?
False
Let w(h) = -2*h + 18. Let p be w(19). Let g be (p/(5 - 3))/(-2). Suppose -223 = -g*x + 72. Is x a composite number?
False
Let t(h) be the first derivative of h**7/840 + h**6/36 + h**5/20 - h**4/8 - 19*h**3/3 - 5. Let x(g) be the third derivative of t(g). Is x(-8) prime?
False
Let u = 119 + -119. Let k be (10 - u) + (-5 - -7). Suppose -k*c + 2670 = -6*c. Is c prime?
False
Is 1 + (0 - 0) - (-123411 - 219) a composite number?
False
Suppose -9*r - 13428325 = -20*r - 14*r. Is r prime?
True
Suppose -12*n = -10*n + 2*b + 1938, 3*n + 2892 = 2*b. Let w = n + 1469. Is w a prime number?
True
Let f(x) = -x - 1. Let t be f(10). Let s(a) = 62 - 18*a + 0*a - 4*a - 2*a. Is s(t) composite?
True
Let g = -8 + 12. Suppose 0*i + g = i, 2*m - 2566 = -4*i. Suppose m + 3219 = 6*o. Is o prime?
False
Let g(i) be the first derivative of -203*i**4/24 - 4*i**3 - 2*i**2 - 19. Let q(t) be the second derivative of g(t). Is q(-7) a composite number?
True
Let v be (1 - -34)*(-7 + 183/21). Suppose v*w - 385546 = 46*w. Is w a composite number?
False
Is (1935 + 10/(-5))/((-3)/(-69)) a prime number?
False
Let c = -4214 + 2184. Let q = c - -13227. Is q a prime number?
True
Let c = 9 + -5. Let u(l) be the third derivative of 5*l**4/2 + 11*l**3/3 + 39*l**2. Is u(c) prime?
False
Let o be (-2)/(-10) + (-29)/(-5). Suppose -4101 = -o*v - 1587. Is v composite?
False
Is (-134)/((-60)/(-125420)*8/(-12)) composite?
True
Let d(b) be the second derivative of 61/6*b**3 - 19/2*b**2 + 11*b + 0. Is d(8) a prime number?
False
Suppose -25*z = -20*z. Let b be (z/4)/(-1 + 3). Suppose -4*u + 960 = -3*f + 4121, -2*f + 3*u + 2106 = b. Is f a prime number?
False
Let v(h) = 26*h**3 + 5*h**2 - 6*h + 39. Is v(4) prime?
True
Let j(a) = 2*a**3 + 3*a**2 + 4*a - 2. Let x be j(-2). Let w be 8/(-10)*35/x. Is 3/w*700/42 a prime number?
False
Suppose 4*n - 5*w = -0*w + 16, 20 = 5*n + w. Suppose 3*g = 5*v + 4*g - 939, 951 = 5*v + n*g. Is v a prime number?
False
Suppose 7*d - 754800 = 149096 + 4298. Is d a composite number?
True
Let p(m) = -400*m - 9. Suppose w + 12 = -w. Let q be p(w). Suppose -5*x = -5*y + q - 471, 5*y - 1902 = -4*x. Is y a prime number?
False
Suppose 5*q - 3*z = 24224, -2*q + 2*z = -9350 - 342. Suppose -16*c = -3909 - q. Is c prime?
True
Suppose -1863054 = 124*l - 125*l + 5*b, -9315297 = -5*l - 2*b. Is l a composite number?
True
Suppose -9*j + 1077288 = -5*j - 5*a, a = -2*j + 538630. Is j composite?
False
Let i(k) = -1180*k - 61. Let o(l) = -295*l - 15. Let s(z) = -2*i(z) + 9*o(z). Is s(-18) prime?
True
Let v(n) = -n**2 + 5*n - 22. Let p be (16/(-6))/(4/(-18)). Let g be v(p). Let q = g + 269. Is q a prime number?
True
Let u be ((-20)/6)/(5/15). Let h(i) = 8*i**2 + 20*i + 7. Let z be h(u). Let c = z - -94. Is c a prime number?
True
Let m(n) = 49*n**3 - 6*n**2 + 24*n + 78. Let u(t) = -100*t**3 + 12*t**2 - 47*t - 155. Let v(q) = -5*m(q) - 2*u(q). Is v(-9) composite?
True
Suppose 106*j + 82*j - 9618854 = 17571398. Is j a prime number?
True
Let i = -17 - -17. Suppose -4*a + 8 = -i*a. Suppose 725 - 112 = a*z + l, 3*z - 2*l - 923 = 0. Is z prime?
True
Is 8/(-3)*1172280/(-32) + 1 + -4 a prime number?
True
Is (6/18)/((-1)/(-2428)) - (-21)/(-63) composite?
False
Let j(q) = 499*q + 501. Let g be j(-1). Let h(b) = -b**3 - b**2. Let w(z) = 169*z**3 - 4*z**2 - z - 1. Let l(k) = -6*h(k) + w(k). Is l(g) prime?
False
Let f(h) = -1031*h - 390. Is f(-32) composite?
True
Let d(p) = -842*p**3 + 6*p**2 - 2*p**2 + p + p + 52*p**3 - 1. Is d(-2) a prime number?
False
Let q = -5804 +