composite number?
True
Suppose 2*t + 3*a = 22933, 39143 - 4698 = 3*t - 2*a. Is t a prime number?
False
Suppose 4*h + 1803674 = 2*q, -224*q + 2*h = -226*q + 1803674. Is q a composite number?
True
Let h(m) = 31*m**2 - 5*m + 5. Let p be h(1). Let x(i) = 22*i**2 - 26*i - 114. Is x(p) composite?
True
Let l be 2/((-7)/(-39) + (-6)/(-39)). Suppose l*i - 64058 = 27868. Is i a composite number?
True
Let d(u) = u**2 + 35*u - 9. Let m be d(-38). Is 3/2*563990/m a prime number?
False
Let i(j) be the second derivative of -9/2*j**2 - 1/6*j**4 - 1/10*j**5 - 10*j - 2/3*j**3 + 0. Is i(-5) a composite number?
False
Let d = -185 + 186. Let k(z) = 4703*z**3 + z**2 + z - 2. Is k(d) a prime number?
True
Let p(n) = n**3 + 5*n**2 + 7*n + 5. Let j be p(-2). Suppose -4*d + 3*g + 2701 = 0, -d = -2*g - j*g - 654. Is d prime?
False
Suppose -7 = 2*w + 13. Let q be (w - -9)*(-2 + 0 + 0). Suppose q*o + 2*o - 1348 = 0. Is o a composite number?
False
Is 62815 + (7 + 0)*30/105 prime?
False
Let a = -85879 + 129726. Is a composite?
True
Suppose -2*i - 148*w + 379681 = -151*w, -i + w + 189844 = 0. Is i composite?
False
Suppose -10593 = -20*i + 11*i. Suppose 0 = 248*v - 249*v + i. Is v composite?
True
Let s(t) = -2*t**3 + 13*t**2 - 18*t + 40. Let l be s(12). Let y = 1125 - l. Is y prime?
False
Let j(p) = 467*p - 121. Let g be j(9). Let w = -1645 + g. Is w a prime number?
True
Suppose -419*j - 475994 = -421*j + y, -2*j - 4*y = -475994. Is j a prime number?
True
Suppose -2*d - 17 = -d - 4*h, 5*d - h = 10. Let t(g) be the first derivative of 29*g**4 - g**3 + 3*g**2 - 14*g - 1532. Is t(d) composite?
False
Suppose -t = -3*v - 944999, 701*t - 702*t = 4*v - 944957. Is t composite?
True
Let c(i) = 110*i + 9. Let w(v) be the second derivative of v**5/20 - 5*v**4/6 + 4*v**3/3 + 7*v**2 - 5*v. Let s be w(9). Is c(s) a prime number?
False
Let m be ((-210)/4)/(7/(-1414)). Suppose 3*o - 5*x + 3033 - 9365 = 0, 5*o + 2*x = m. Is o a prime number?
False
Suppose -121747 = 14*n - 2*n - 402991. Is n prime?
False
Suppose 4*j + 158591 = -9*b + 10*b, 0 = 2*b + 5*j - 317247. Is b composite?
False
Suppose 51813 = 30*z - 54477. Let g(k) = k**2 - k + 604. Let l be g(0). Let m = z - l. Is m composite?
False
Let q = 470 + 17. Suppose m + 67 = q. Suppose t + 4*t - r = m, 3*r - 234 = -3*t. Is t a prime number?
True
Suppose -9*i = -824 - 4. Suppose -i*m + 358 = -90*m. Is m a prime number?
True
Let o = 674730 - 141696. Suppose -17*s = 37*s - o. Is s prime?
True
Let i be 4 - -1 - 9 - -6. Suppose 3*x - 1623 = i*x. Is x prime?
False
Suppose -201*c + 120*c = -5436801. Is c composite?
False
Let k(c) = c**3 + 18*c**2 + 112*c - 1827. Is k(70) composite?
True
Suppose -m + 657098 = 4*r + 50254, 2*m = -2*r + 303422. Is r prime?
False
Let v = 814750 + -439176. Is v prime?
False
Let x be 1536/144 - ((-2)/3)/(-1). Let c(t) = 3*t**3 + 8*t**2 - 20*t - 7. Is c(x) a composite number?
False
Suppose -n = -t + 1469, -19*t = -17*t - 3*n - 2934. Is t a prime number?
False
Suppose -17444425 = -323*b + 298*b. Is b composite?
True
Let h(f) be the third derivative of -3/20*f**5 + 0*f - 1/60*f**6 - 2*f**2 + 5/2*f**3 + 7/24*f**4 + 0. Is h(-7) composite?
False
Let z(y) = 33684*y - 7211. Is z(15) composite?
True
Suppose 3*m + 744 = 738, 2*u = 3*m + 4011608. Is u prime?
False
Suppose -4*u = -3*h - 14, -14*h + 13*h - 8 = -2*u. Suppose 3*g - 6875 = -u*n + 7*g, -4*n - 5*g = -5541. Is n prime?
False
Suppose -13*a = -22*a + 63. Let y(q) = -5*q**2 - 3*q**2 + 14 + 2 + 3*q**3 + 1 + a*q. Is y(7) composite?
True
Suppose 5*m - 5500 = -5*j, 2640 + 2862 = 5*j + 4*m. Let x be 1 - ((-3)/1 + j). Let k = 169 - x. Is k a composite number?
True
Let o(u) = -8*u**2 - 652*u + 333. Let n be o(-82). Let m(i) = 11510*i**2 - i + 2. Let w be m(2). Suppose -3*t - n*t + w = 0. Is t prime?
False
Suppose 0 = -h + y - 1, -12 = -9*h + 6*h - 2*y. Suppose 3*r + 10880 = h*s - 1877, -4*s + 25520 = -4*r. Is s a prime number?
False
Let h be (-5 - 0) + (5 - 0/(-1)). Suppose h = -3*d + 11017 + 8744. Is d a composite number?
True
Let a(n) = -2 + n**2 + 5*n + n**3 - 4*n + 2*n**3 - 2. Suppose -49*c + 6 = -47*c. Is a(c) composite?
False
Let b = 32346 + -9833. Is b a prime number?
False
Let r(x) = 71164*x**2 + 5*x - 2. Let h be r(1). Suppose 22*u - h = 24027. Is u composite?
False
Is (-15)/(-60) - (-1061220)/48 composite?
False
Suppose 5*t - 186070 = -3*q, 4*t + 2*q - 133664 - 15194 = 0. Is t a composite number?
False
Let d = 53977 + 24222. Is d prime?
False
Let b be (-10)/(280/(-316)) - 2/7. Suppose -48580 = b*a - 18*a. Suppose 5*v = -0*v - c + 8675, 0 = -4*v - 4*c + a. Is v a composite number?
True
Is 300392 + 0 + 1 + 388/97 composite?
False
Let w be ((-2)/(-4))/(10/1360). Let q be (-2)/(-2) + (7 - 4) + w. Suppose 68*b - q*b + 7604 = 0. Is b a composite number?
False
Let b(k) = 1246*k**2 - 1248*k**2 + 7 - 490*k**3 - 5*k + 1239*k**3. Is b(2) a prime number?
True
Suppose -42 = 4*o + 74. Let x = o + 32. Suppose 8*j - x = 869. Is j prime?
True
Is 15596639/453*(0 - -3)*1 a composite number?
False
Let l = -378427 + 761884. Is l a prime number?
False
Let n = -14102 - -32005. Is n prime?
True
Let n(o) = 3*o**2 + o + 49. Let r = -226 - -226. Is n(r) composite?
True
Let g = 719251 + -412784. Is g a prime number?
False
Suppose 5*v + 16649 = 3*g - 73143, 29928 = g + v. Is g prime?
False
Let n(w) be the second derivative of -65*w**4/24 + 17*w**3/6 - 5*w**2 + 10*w. Let b(t) be the first derivative of n(t). Is b(-10) a composite number?
True
Is (-384)/1728 + 1 + (-3923428)/(-18) a prime number?
True
Let a(h) = 3*h + 21. Let p be a(-7). Suppose x - 7*x + 27678 = p. Is x a prime number?
False
Let l = -13223 - -392794. Is l a composite number?
False
Suppose -6*x + 1087908 = 286637 - 584795. Is x composite?
True
Suppose -2*s + 68360 = -2*d + 3*d, 2*s = -3*d + 68364. Is s composite?
True
Let v(j) = -j**2 + 5*j + 3. Let r be v(5). Suppose -17 = -5*l + r. Is (-20)/((-16)/l) + 696 a prime number?
True
Suppose -6*t - 67*w + 64*w = -152349, t + 2*w = 25393. Is t composite?
False
Suppose -49*h = 12*h + 3*h - 24372416. Is h a composite number?
False
Let h be 2 + -1 - (0 + -2). Suppose 6*k = h*k - 4293. Let y = -694 - k. Is y composite?
True
Is ((-968588)/8)/(3/(-30)) prime?
False
Suppose -115*g - 8445080 + 17555151 = -25928934. Is g a composite number?
False
Suppose -15 = -5*b, -32 = -2*j + 5*b - b. Suppose 5*d - 43 = -0*d - 3*z, -3*d + j = -2*z. Is (-9735)/(-60) - (-6)/d composite?
False
Let x(k) = k**3 + 2*k**2 - 3*k + 3. Suppose -2*j = -4*c - 4, 3*c - 2*j = 1 - 2. Let v be x(c). Suppose 0 = v*l + 3*l - 3306. Is l a composite number?
True
Let s = -276 - -276. Suppose s = -18*p + 3771 + 6345. Is p a prime number?
False
Suppose -r = -5, a + 4*r + 224 = -3*a. Let t = a + 69. Suppose -4159 = -t*g + 169. Is g prime?
True
Suppose -4*l = 2*l. Is l/1 - (-1)/2*7026 a composite number?
True
Let y(x) = 23*x**2 + 2*x - 14. Let k = -50 - -46. Is y(k) composite?
True
Let a be (-2 - -1 - -1)*2/4. Suppose -i + 5*c = 45, a = -i - 3*c - 21. Is (-6985)/i + 1/6 composite?
False
Let i(b) = 3*b**3 + 13*b**2 - 7*b + 2. Let w be i(9). Let x = 1244 - w. Let m = -244 - x. Is m prime?
False
Let m = 25522 - -22779. Is m a composite number?
True
Let f(b) = -1420*b + 261. Is f(-14) a composite number?
True
Let g(m) = m**3 + 132*m**2 + 1043*m + 137. Is g(-80) composite?
False
Let l(u) = -2148*u - 175. Is l(-1) prime?
True
Let r(v) = 14*v - 36. Let j(o) = o + 13. Let f be j(-2). Let q be r(f). Suppose -2*c = -3*t + 1879 - q, 4*t - 2348 = 4*c. Is t a prime number?
True
Suppose 5*v = -3*r + 284, 2*r + 2*v - 402 = -2*r. Suppose n - 50 = 2*n + 3*u, -5*n - 250 = -2*u. Let a = r + n. Is a a composite number?
False
Let c(y) = -y**2 + 10*y + 11. Let w be c(11). Suppose -4*x + 7*f - 9*f + 9900 = 0, w = 3*x + f - 7427. Is x prime?
True
Let b = 277789 + 11722. Is b prime?
True
Let s(w) be the first derivative of -w**4/4 - 2*w**3 + 17*w**2/2 + 4*w - 24. Let h be s(-8). Is 286/2 - (h + 2) a prime number?
False
Let p be (-38)/(-8)*3*12. Let q = p + 1745. Suppose -12*n + q = -8*n. Is n a prime number?
True
Suppose -3*z + 5*v + 9193 = -144956, v = 0. Is z prime?
True
Let t = 12 + -12. Let l = 187 + -187. Suppose l = 5*s - 3*p - 8281, t = 3*s - 0*p - p - 4967. Is s a prime number?
False
Let k(v) = v + 22. Let u be -18 + 15 - (22 + -1). Let l be k(u). Is l/