omposite?
True
Let j(n) = -n**3 - 9*n**2 - 2*n + 7. Suppose -6*u + 80 = -2*u. Suppose 0 = 5*h + 5*f + u, 4*f + 1 = -2*h + 3. Is j(h) composite?
True
Suppose -47 = -4*k + 229. Let v = -32 + k. Is v prime?
True
Suppose 0 = -2*s + 4*s + 2, 4*q - 3*s + 1513 = 0. Let w = -200 - q. Is w prime?
True
Suppose 0 = -5*v + 3*v + 16. Let g = 13 - v. Suppose 3*x - g*r = 218, -x + 16 = 5*r - 50. Is x a composite number?
False
Let v(a) = -16637*a + 36. Is v(-1) prime?
True
Suppose -g - 5*f = -19089, 0 = g - 5*f + 8*f - 19091. Is g prime?
False
Let i = 17357 + -3319. Is i composite?
True
Let x = -214916 + 302375. Is x prime?
False
Let u(b) = -b**2 - 9*b + 4. Let z be u(-8). Let d(x) = -z*x - 11*x - 1 + 153*x. Is d(3) prime?
True
Let p = 336 + -83. Suppose -101 - p = -6*u. Is u a composite number?
False
Let l = 42 + 577. Suppose 396 = 2*d + 2*t, 3*t - t + l = 3*d. Is d a composite number?
True
Let h(i) = i**2 + 4*i - 6. Let b(c) = c**3 + 9*c**2 - 9*c + 5. Let w be b(-10). Let p be h(w). Is p - 7/(7/(-320)) a composite number?
True
Suppose 5*x - 4*u + 2*u = -2, 4*x = 2*u - 2. Let n = x + -65. Is (n/(-20))/(3/348) a composite number?
True
Let r = -148688 + 243733. Is r prime?
False
Let v(q) = -63*q + 8. Let h be v(9). Let g = 810 + h. Suppose -g = -z + 42. Is z a composite number?
False
Suppose 4*s = -3*l - 18 - 7, 2*l = -3*s - 18. Let b be -1*(0/s - 0). Suppose a + 4*a - 730 = b. Is a composite?
True
Let m(y) = 629*y**2 - 5*y + 19. Is m(4) a composite number?
True
Let x(b) = b - 3. Let a be x(16). Suppose -5*c - 2192 = -a*c. Is c a composite number?
True
Let w be 66/78 + (-4)/(-26). Let g be -2 + -1 + 129/w. Suppose -2*z + 624 - 150 = 4*v, -g = -v + z. Is v composite?
True
Let x = -560 - -969. Suppose 2*g + 6 - 2 = 0, -5*k = -2*g - x. Suppose 12 = -3*s + k. Is s prime?
True
Suppose i = 55 + 33. Suppose l = -l - i. Let q = -25 - l. Is q a prime number?
True
Let r(m) = -m**2 - m + 1. Let z(v) = -4*v**2 + 7*v - 7. Let w(s) = 2*r(s) - z(s). Let h be w(6). Suppose -4 = -u + h. Is u a prime number?
True
Let n(c) = 2*c**3 - 4*c**2 - 4*c - 2. Let b be (-6)/12*-2*4. Suppose 2*f + 5*v - v = 0, 5*f + b*v - 12 = 0. Is n(f) a composite number?
True
Let m(z) = z**3 + 12*z**2 + z + 1. Suppose -2*i = 2*x + 10, 5*x - 2*x - 4*i + 22 = 0. Is m(x) a composite number?
False
Suppose -3*n - 4*i + 90 = 18, -89 = -4*n - 3*i. Let z = n + -16. Is 559 - (0 + z + -8) a prime number?
True
Let p = -31425 - -49904. Is p a composite number?
True
Is (135/81)/((-10)/(-7662)) a composite number?
False
Suppose -2619 = -6*t + 7539. Is t a composite number?
False
Let k(g) = -g**3 + 5*g**2 - 2*g - 3. Let x(n) = 3*n**3 + n**2 - 1. Let w be x(-1). Let s(i) = -i**3 + 6*i**2 - i - 3. Let q(l) = w*k(l) + 4*s(l). Is q(8) prime?
False
Suppose -3*s + 2 + 3 = -z, 0 = -4*s - z + 16. Suppose -m - s*m = 4. Is (-1)/(m - 366/(-369)) composite?
True
Is -4 + (-4)/(-8)*3642 a prime number?
False
Suppose 4*n - 2*w = 2200, -5*w - 416 = -n + 116. Let y(h) = h**3 - 11*h**2 + 17*h + 9. Let r be y(11). Suppose -r = -4*g + n. Is g composite?
True
Is 3681 + (-1)/((-4)/(-8) + -1) a composite number?
True
Suppose 4*g + t - 20068 = -3*t, 25101 = 5*g + t. Is g prime?
True
Suppose 2064 = 2*q - 44*d + 43*d, -3*d + 4118 = 4*q. Is q composite?
False
Suppose 2*b + 8 = -2*b, 0 = 3*x + b + 8. Let t be (-4 + 4 - 1)*120. Is (x - t)*1/2 composite?
False
Suppose 49 - 17 = 2*j. Let w(s) = -j*s - 5 + 31 - 27*s. Is w(-11) a composite number?
False
Let o(k) = k**3 + 6*k**2 - 6*k + 5. Let g be o(-7). Let n = -2 + -4. Is g/n + (-816)/(-9) a prime number?
False
Let p(n) = -269*n**2 + 56*n - 114. Let c(z) = -90*z**2 + 19*z - 38. Let i(o) = 17*c(o) - 6*p(o). Is i(7) a prime number?
False
Let t = -1021 + -3834. Is t*(-4 + (0 - (-3 + 0))) a composite number?
True
Suppose 48*c + 87576 - 850824 = 0. Is c a prime number?
True
Let r(k) = 9 + 2*k**2 + 12 + 31*k + 5*k**2 - 8*k**2. Is r(29) prime?
True
Suppose -6 = -2*c + q, 0*c - 2*c + 4*q + 12 = 0. Suppose -c*n + 189 = 5*m, 0 = -2*n - 3*m - m + 184. Is n prime?
False
Let d(k) = 13 + 2 + k**3 - k - 3*k**2 - 8 - 3*k**2. Let h be d(6). Is h + -1 + 134/2 prime?
True
Let s be (-4 + 5)*(0 + 5). Suppose s*p - 125 = -0*p. Is p prime?
False
Suppose -9*v = -0*v - 288153. Is v composite?
True
Let s be (-912)/18*(-225)/6. Let r(m) = -m**2 - 6*m - 5. Let x be r(-4). Suppose 6*z - s = x*z - f, 0 = -z - f + 630. Is z composite?
True
Suppose 4*n = p + 2*p - 7, -19 = -3*p - 2*n. Suppose 0*u - 25 = -p*u. Suppose 0 = u*b - 4*b - 443. Is b prime?
True
Let q = 229 + 844. Let j = 1980 - q. Is j prime?
True
Suppose -4*l + 13296 = -0*g + g, 4*g - 13296 = -4*l. Suppose 0 = -x, 2*j - x - l = -2*j. Is j composite?
True
Suppose -2*t + 5*p - 25 = -3*t, 4*t - 142 = p. Is (26/(-1)*(t - -2))/(-2) prime?
False
Let x(q) = 63*q - 8. Let d be x(6). Let s = d + -181. Suppose 3*a - 3*o = s, -4*a + 220 = 5*o - o. Is a a composite number?
False
Suppose 11*b + 14604 = 12*b - 5*f, -5*b + 72993 = 2*f. Is b a prime number?
False
Suppose -4*i - i = 5*p - 160, -8 = -2*i. Let v be 276/14 - (-8)/p. Is 102/4*v/15 a composite number?
True
Let z = 6 + -32. Let p be (z - 15)/((-1)/(-8)). Let u = p + 554. Is u a composite number?
True
Let p = 86 + -77. Suppose -3*r = -p*r + 18366. Is r prime?
True
Let o = -26 + 28. Let j = o - -1. Suppose 216 = j*a + 45. Is a a prime number?
False
Suppose -4*r - 52 = -5*r. Suppose j + 5*v - r = 0, -53 = -2*j - 5*v + 36. Is j prime?
True
Let h be (3/2)/(12/272). Suppose 26*y - 24*y = -h. Let m(u) = 4*u**2 + 20*u - 7. Is m(y) a composite number?
False
Let y(d) = 6 - 11 + 6 + d**2 - 4*d**3 - 5*d**3. Is y(-5) a composite number?
False
Let n(x) = -539*x - 6. Is n(-13) composite?
False
Suppose -p + 3*p - 3*q = -39, -4*p - 4*q = 128. Is (-13437)/p + 2/(-3) composite?
True
Let z be (-5 + 2)/(3/(-42)). Suppose -4*k - 110 - z = 0. Let r = k - -84. Is r a prime number?
False
Let g = -1643 - -904. Let c = 1782 + g. Is c composite?
True
Let y(g) = -g**3 - g**2 + 2*g + 12. Suppose -44 = 4*t - 4. Let h be y(t). Is h/6*(-18)/(-12) a composite number?
False
Suppose 0*b + 2 = b. Suppose u - b = 4. Suppose -4*a = -u*a + 934. Is a a prime number?
True
Let u(c) = 3*c**3 + 12*c**2 - 12*c - 10. Is u(11) prime?
True
Let d(b) = 732*b - 10. Let a(v) = -8785*v + 119. Let g(w) = 3*a(w) + 35*d(w). Is g(-2) composite?
True
Suppose 13*h - 68882 = 387444. Is h a composite number?
True
Let x = -4 + 6. Let m be x + 0 + -2 + 0. Suppose 2*y - y - 467 = m. Is y a prime number?
True
Let q(v) be the first derivative of 2*v**2 - 1 + 2*v**3 + 9*v - 3/2*v**4. Is q(-5) prime?
False
Let o = -18447 - -46958. Is o composite?
True
Let p(q) = 611*q + 12. Is p(2) prime?
False
Let o(t) = 2*t + 1. Let x be o(1). Suppose -v - 1 = 0, -3*u + 5*v - x*v + 1052 = 0. Let q = -139 + u. Is q a prime number?
True
Suppose -4006 = 15*m - 17*m. Is m composite?
False
Let u(p) = 14*p**3 + 28*p**2 + 20*p - 5. Let b(f) = 9*f**3 + 19*f**2 + 13*f - 3. Suppose 3*o - 10 = o. Let g(z) = o*u(z) - 8*b(z). Is g(-8) prime?
False
Let v(j) = j**3 + 10*j**2 + 2*j + 13. Let p be v(-10). Let g = p + 8. Is 50 + -3 + g + 1 composite?
True
Is (-18 - -19)/((-3)/(-54039)) composite?
False
Suppose v + f = 64822, -42*v + 39*v + 3*f = -194448. Is v a prime number?
False
Let s be (-3 + (-4 - -2))*2. Is s/2*(-6846)/105 a prime number?
False
Let f = 92620 + -61757. Is f prime?
False
Let d(a) = -a**3 - 4*a**2 - 3*a + 3. Let i be d(-3). Suppose -4*r - 4*l - 116 = 0, 0 = r + i*l + 10 + 21. Is r/(-7)*(-1006)/(-8) composite?
False
Let g(b) be the first derivative of 5*b**3/3 + 2*b**2 - 24*b + 37. Is g(5) a composite number?
True
Let g(k) = k**2 - 9*k + 10. Let f be g(14). Suppose 0 = -2*s + 13 - 63. Let l = s + f. Is l composite?
True
Let c be ((-14)/4)/((-3)/(-6)). Let y = 12 + c. Suppose -2*s = -2*t + 32 + 76, 60 = t + y*s. Is t composite?
True
Suppose 0 = 61*v + 27148 - 1000647. Is v prime?
True
Let a = -11 + 15. Suppose 3*z = -z - 3*l - 2376, -a*z + 5*l = 2376. Let u = z + 1051. Is u a prime number?
True
Is 6 - (-9 - -5 - 4063) a prime number?
True
Let m = 2497 + 1152. Suppose 4*s = -3*d + 2*d + 4848, 4*d = -3*s + m. Is s prime?
False
Suppose 1 = d - 4. Suppose 0 = -v - n + 742, 5*v - 2*v = -d*n + 2220. Is v a composite number?
True
Let j(p) = 2*p**3 + 4*p**2 - 2*p + 1. Let b = 13 - 9. Is j(b) a composite number