composite number?
True
Let y(b) = -b**2 - 3*b + 8. Let a be y(-4). Suppose -p = -0*p - 4*u - 2036, -5*u = a*p - 8144. Suppose v = 5*v - p. Is v composite?
False
Suppose -2*q = 3*q - 2*r + 496, -4*q - r = 402. Let v = -21 - q. Is v a composite number?
False
Suppose 1341*t = 1352*t - 45782. Is t prime?
False
Suppose y + 3*y - 4 = -u, -2*y + 4*u = -20. Is ((-1)/y - -5)*422/3 composite?
True
Suppose -2 - 6 = 2*w. Let f(s) = 44*s**2 + 15*s - 3. Is f(w) a prime number?
True
Suppose -2*n = -4*n + 5*q - 14, 3*n = 2*q + 1. Suppose n*o = -3*o + 948. Let w = 109 + o. Is w a prime number?
False
Let j(u) = 2*u + 17. Let c be j(-7). Let m(q) = 4*q**3 + 3*q**2 - q - 1. Is m(c) composite?
False
Is 2*-16804*(-5)/40 composite?
False
Let g be 3*2*(-209)/(-33). Let u be 18/(-9) + g/1. Is (-264)/u*(-267)/2 composite?
True
Let a(t) = t**2 + 5*t + 6. Let n be a(-5). Suppose 62 = 4*z - n*z. Is (z/4)/((-2)/8) a composite number?
False
Let g be 799/3 + (-7)/21 + 0. Suppose -165 = -5*n + 3*o, 2*o = -2*o. Let m = g + n. Is m a prime number?
False
Let s = 150 + -146. Suppose -555 = -5*d + 4*o, s*d - d - 360 = -3*o. Is d prime?
False
Suppose 0 = 3*d - 8*d + 15. Let y be (-120)/18 + 2/d. Is y/(-14) + 1096/7 a prime number?
True
Let s(a) = -2*a + 18. Let o be s(7). Suppose -3*h + 826 = o*h. Is h prime?
False
Suppose k - 6 = 3*n, -2*k + 3 + 3 = 0. Is 134*(-4 - n)/(-3) composite?
True
Let v(c) be the second derivative of 25*c**4/12 + 4*c**3/3 + 5*c**2/2 - 7*c. Is v(4) a prime number?
False
Let d(i) = i**2 - 2*i + i**2 - 5 + 12 - 2*i. Let f = 4 - -2. Is d(f) composite?
True
Suppose 11*h - 163985 - 134588 = 0. Is h a composite number?
False
Is (-1 - -2135)/((-25)/((-175)/14)) prime?
False
Is (-17245)/2*348/(-435) a prime number?
False
Let v(x) = -x**3 - 23*x**2 - 15*x - 47. Let t be -69*10/45*3/2. Is v(t) composite?
True
Let q = -41850 + 71213. Is q a composite number?
False
Let s(o) = o**3 - 10*o**2 - 21*o - 9. Is s(17) prime?
True
Suppose 7*t - 16284 = 9959. Is t a composite number?
True
Let d be 13/(39/540) + -2. Suppose -3*q + 6*q - 259 = 2*r, 0 = 2*q - 4*r - d. Is q composite?
True
Suppose -4 + 6 = -2*y. Let b be (-1)/(y/(-21))*23. Is b/3*-1*1 a composite number?
True
Let h = -67 - -67. Is 0 + 3842 + 3 + h/2 composite?
True
Suppose -5*l + 11078 = -18887. Is l composite?
True
Let b(a) = -a**2 + 6*a + 3. Let s be b(6). Is 1/((6/314)/s) a prime number?
True
Suppose b = 3*b - 4*w - 218, 5*b + w - 556 = 0. Is ((-22)/(-3))/(2/b) a composite number?
True
Suppose -5*m - 2*g = -6*g + 2492, m = 3*g - 494. Let p = 251 - m. Is p composite?
False
Suppose 0 = n - 2*w - 49637, 5*w - 22 + 2 = 0. Is n a composite number?
True
Is 1866860/120 - (-3)/(-18) a composite number?
True
Suppose -41734 = 112*w - 449078. Is w composite?
False
Let w(u) = -2 - 2*u + u**2 + 3 - 2*u**2 + 7*u**2. Let z be w(6). Suppose 0 = t - 0*t - z. Is t composite?
True
Let t be 298/6*108/(-6). Let c = 1363 + t. Is c prime?
False
Let u(k) be the third derivative of -47*k**4/8 + 13*k**3/3 - 15*k**2. Is u(-3) a composite number?
False
Let j(g) = 957*g**2 + g + 10. Let a be j(3). Suppose -12*t = -a - 3938. Is t a prime number?
False
Let b be ((-132)/110)/(6/(-20)). Is 1/(b + (-7286)/1822) a prime number?
True
Suppose 21*h + 75334 = 35*h. Is h composite?
False
Let q(b) = b**2 - 7*b + 2. Let x be q(7). Suppose -x*u - 2*u - 5*m = -36, u + 2*m = 12. Suppose 0 = -r + 3*w - 35 + 92, w = u. Is r a prime number?
False
Let j(p) = 25*p**3 + 2*p**2 - 2*p + 1. Suppose 7*r = 9*r - 10. Let i = -3 + r. Is j(i) prime?
False
Let h be 3/4 - (-59985)/(-124). Let p = -2562 - -3599. Let z = p + h. Is z a prime number?
False
Suppose 16*d = 8*d + 7016. Is d a composite number?
False
Let q be ((-27)/(-12))/((-6)/(-8)). Suppose -2*s + 2*n + 1196 = 0, -608 = -s - 0*s + q*n. Is s a prime number?
True
Suppose 0 = -2*l + 6*s - s - 21, s = -l + 7. Suppose -15 = 4*g + 3*p, -2*g = g - l*p + 24. Is g/(-9)*(1 + 8) composite?
True
Suppose -3*l - 2*h - 62 = 0, 3*l = -4*h - 35 - 23. Let w = 31 + l. Suppose 3*a - w = 0, -2*u + 11 = -2*a - 5. Is u composite?
False
Suppose 4*z - 3 - 9 = 5*y, 3*y + 14 = -z. Let g = 6 + z. Suppose -2*s - 37 = -g*i + 49, -3*i - s = -62. Is i composite?
True
Suppose 0 = -n + 3*i + 2797, 5*n - 13985 = 10*i - 11*i. Is n prime?
True
Let j(p) = 3 + 3 - 4 - 167*p. Let c be j(-4). Suppose 3*r + 5*v = 418, -c = -5*r - 4*v + v. Is r composite?
False
Suppose 2101 = x - 4*f, 2*x - 3*f - 925 = 3252. Is x prime?
True
Let n(r) = r**3 - 14*r**2 + 11*r - 4. Let h be n(13). Let k be (-28)/(-3) + 10/h. Suppose 12*x - k*x - 1491 = 0. Is x a composite number?
True
Let u(s) = 9*s**3 + 3*s**2 + 4*s - 3. Let n be u(-3). Let p = 818 + n. Is p prime?
True
Let l = -1474 + 22263. Is l a prime number?
True
Let m = -7 - -9. Suppose x + 2 = 0, 2 = m*l - l + x. Suppose -837 = -l*o + 503. Is o prime?
False
Suppose 32 = 3*u + 5*z, 2*z + z - 24 = -3*u. Suppose u*m = -3*m + 7. Is -82*(2 - 3)/m a prime number?
False
Let q(g) = -g**2 - 9*g + 10. Let s be (-6)/27 - (-176)/(-18). Let o be q(s). Suppose -2*i + o*i + 178 = 0. Is i a composite number?
False
Suppose 0 = 2*z + 4*x - 150, -4*z = -2*z - 3*x - 164. Suppose -4*u + z = -3*u. Is u prime?
True
Suppose 0*o - 5*o - 240 = 0. Let v = o - -137. Is v composite?
False
Let f(x) = 348*x**3 + 5*x**2 - 17*x + 14. Is f(4) composite?
True
Suppose 0 = z - 4*r + 13 + 255, r = 0. Is 58*z/(-32) + 6/(-8) prime?
False
Suppose 0 = -3*k - 0*k + 42. Let p be -7*((-46)/k - -3). Is (3 - 932/(-8))*p prime?
True
Let d = -353 + 744. Is d composite?
True
Let s be 30/(-9)*(-12)/10. Let y be (s - 8 - -1)*51. Let h = y + 364. Is h a prime number?
True
Suppose 5012 = 4*o + 3*d, -o - 19*d + 21*d = -1253. Is o a prime number?
False
Let v(a) = 3*a. Let x be v(2). Let j(n) = 7*n**2 - 2 + 0*n**2 - 5*n - x*n**2. Is j(9) a prime number?
False
Let b(i) = 22*i**2 + 12*i - 89. Is b(11) composite?
True
Let y = -910 - -3527. Is y prime?
True
Let i(g) = -g**3 - 3*g**2 + 9*g. Let a be i(-5). Suppose -2 = -h + 2. Suppose -1325 = -3*r - h*d + 2*d, 5*r + a*d = 2215. Is r a prime number?
True
Let f(b) = b**3 + 4*b**2 - b - 2. Let q be f(-4). Let r(k) = -2*k**3 + 0*k**2 - 3 - 3*k**2 + 5*k**q. Is r(-3) composite?
True
Let u = 10374 - 4751. Is u a composite number?
False
Is 10*((-812)/(-35) + 3) composite?
True
Let z = -8 + 10. Let j(q) = 16*q**2 + q + 2. Let a be j(z). Let k = a - -3. Is k composite?
False
Suppose 6*m - 5*m + 2 = 0. Is (3 + -1)/((-1)/m) prime?
False
Let j = 982 + 2451. Is j prime?
True
Suppose 15*w = 3*w + 275916. Is w prime?
True
Let z(w) = 4*w - 10. Let k be z(4). Is ((-844)/k)/((-4)/42) prime?
False
Let w be (-2)/7 - (-37)/7. Suppose -r = -5*v - 588, 1750 = 3*r - w*v + 4*v. Is r a prime number?
False
Let b = 22499 - -14262. Is b a prime number?
True
Let z(m) = 839*m**2 + 3*m - 4. Let n = 62 + -61. Is z(n) a prime number?
False
Suppose 0 = -4*i - 2*m + 15940, 2*i + 82 = 3*m + 8060. Is i composite?
True
Let b = 2170 - 1430. Suppose -2*d + 1218 + b = 0. Is d composite?
True
Suppose 0 = 4*h - 9 - 23. Suppose h*q + 3495 = 11*q. Is q prime?
False
Suppose -3*l - d = 12989, 2*l - 5*d + 3*d + 8646 = 0. Let c = -3015 - l. Is c composite?
True
Suppose -2*y - 1002218 = -36*y. Is y composite?
True
Let a(f) = 316*f - 75. Is a(16) a composite number?
True
Let j(b) = -15*b - 6*b + 23 + 5*b - 4*b. Is j(-6) a composite number?
True
Let r(t) = 6*t**2 + 12*t - 17. Let y be r(7). Suppose 1114 - y = 3*w. Is w a composite number?
False
Let y(u) = 76*u**2 - 2*u - 29. Is y(5) a prime number?
True
Suppose -q - 4*w = 9, -21 = -4*q - 0*q + 3*w. Suppose q*i = -3*i + 3546. Is i a prime number?
False
Let l = 8372 + -3067. Suppose 1380 = 7*p - l. Is p a prime number?
False
Let s = 2650 + -3772. Let d = -707 - s. Is d a prime number?
False
Let q = 1890 + -913. Is q a prime number?
True
Let s(t) = 38*t**3 + 3*t**2 + 9*t + 4. Let u be s(-4). Let x = -1198 - u. Suppose -g = -7*g + x. Is g prime?
False
Suppose y + 2*k + 1303 = 0, -4*k + 3904 = -3*y - 5*k. Let h = y - -2644. Is h prime?
False
Suppose 5*z = 3*s + 7777, 2*z - 3*s = 5*z - 4671. Let m = 2187 - z. Is m a composite number?
False
Let n(z) be the second derivative of -211/6*z**3 - 2*z + 0 - z**2. Is n(-1) a prime number?
False
Suppose -u + 2*h = -3*h - 4, h = -5*u + 72. Let i be (-6)/u + 216/14. Let r = 112 + i. Is r co