 j*m - 508 - 1064. Suppose -2*h + m = -534. Is h composite?
True
Suppose -2*b = 2*k + 4 + 4, 2*k = b + 4. Suppose 4*p - 6 = 5*m, 5*p + k*m = -m - 7. Let z = p + 12. Is z prime?
True
Suppose -4*d = 2*m + 53300 - 132598, 0 = 2*m + 3*d - 79297. Is m prime?
False
Let z = 12 - 20. Let w = 12 + z. Suppose w*h = -h - 2*v + 553, -h + v = -112. Is h a prime number?
False
Suppose -3*g + 100 = 7*g. Suppose -6*v - 2228 = -g*v. Is v a composite number?
False
Let h = -2 + 16. Let f = h + -9. Is -1 + (-5)/(f/(-32)) a composite number?
False
Suppose -5*x = -x - 340. Suppose 0 = -4*s + 3*r + x, r = -2*s - r + 46. Is s a prime number?
False
Let b be 2/3 + 10/3. Suppose -1185 = 72*a - 75*a. Suppose -147 + a = b*d. Is d prime?
False
Suppose 2*f + 2*q = -3*f + 22252, -5*q - 4445 = -f. Let i be (-3)/6 - f/(-4). Suppose -4*x = 2*u - 424 - 470, -5*x = -3*u - i. Is x composite?
False
Suppose 4*b - 13*b = -142353. Is b composite?
False
Let u(b) be the second derivative of 4*b**3 - b**2/2 + 109*b. Let p be 18/4 - (-3)/6. Is u(p) a composite number?
True
Is (-1)/(-30)*112835 - 1/6 composite?
False
Is (-2)/(-30) - (-19673252)/870 a composite number?
False
Suppose 132 = 3*p + 18. Suppose -5*y - s = -65, s + p = 2*y + 5. Suppose -f + y = f. Is f composite?
False
Let f(a) be the second derivative of -221*a**3/6 - a**2/2 + 4*a. Let c be f(2). Let u = 1066 + c. Is u prime?
False
Let t = 15 + -30. Let r(q) = 5*q**3 + 20*q**2 + 12*q - 8. Let k(u) = 6*u**3 + 21*u**2 + 11*u - 8. Let d(z) = 4*k(z) - 5*r(z). Is d(t) a prime number?
True
Suppose 3031 = 4*r - z, -192 = -3*r - z + 2076. Is r a prime number?
True
Let p(n) = -n**2 + 4*n - 11. Let h be p(5). Let u = 16 + h. Suppose m + u*v - 43 = -4*v, -4*m + 226 = -2*v. Is m a prime number?
False
Let l(p) = 164*p**3 - 10*p**2 + p - 9. Let c(q) = -55*q**3 + 3*q**2 + 3. Let b(d) = -7*c(d) - 2*l(d). Let y be b(-2). Let a = y - -682. Is a a composite number?
False
Let a(n) = 3*n**3 - 3*n + 24. Let y be a(11). Suppose -5829 = -3*o + y. Is o composite?
False
Let m(n) = -n**3 - 37*n**2 + 44*n + 73. Is m(-39) composite?
False
Suppose 14*s = -12*s + 31902. Is s composite?
True
Suppose -g = -20 - 1749. Suppose 6667 = 12*q - g. Is q a prime number?
False
Is (4044/(-48))/((-3)/372) a composite number?
True
Suppose 5*s - 2*l = -11 + 4, 0 = -3*s + 4*l - 7. Is -314*s*1/2 a composite number?
False
Suppose -27*o = -22978 - 14093. Is o a composite number?
False
Let a(w) = -47*w + 129*w - 54*w - 46*w + 46 + 3*w**2. Is a(19) a prime number?
True
Suppose -3*r + 7*r + 3*h - 7 = 0, -2*r - 2*h = -2. Suppose 0 = 3*i - 5 - r. Suppose -57 = i*n - 6*n. Is n composite?
False
Suppose -o + 1579 = -3*s + 7*s, 2*o + s - 3123 = 0. Is o prime?
True
Suppose -2*t + 2*z = -228926, 17*t - 14*t - 5*z - 343381 = 0. Is t a prime number?
True
Suppose 0 = 6*g - 7*g - 17. Let t be g/(-34) - (-2185)/2. Let w = -458 + t. Is w a prime number?
False
Let d(s) = 2*s - 10. Let j be d(7). Suppose -j*l + 764 = 5*i - i, -3*l + 573 = 4*i. Is l prime?
True
Suppose 2*z + 4*p - 5806 = -0*z, 5*z - 14494 = -3*p. Is z a prime number?
True
Let s be ((-141)/2)/((-3)/4). Suppose -14*g + 50 = -4*g. Suppose -g*q + 11 = -s. Is q composite?
True
Let g(y) = -y**3 + 9*y**2 - y + 9. Let w be (-4)/12*-3 - -8. Let s be g(w). Suppose s = 2*q - 6*q + 820. Is q a prime number?
False
Let a = 2 - 0. Suppose 5*n - 23 = -0*q + 2*q, -a*q + 12 = 2*n. Is (-7)/((-21)/432) - q a composite number?
True
Suppose 5 = -w, 3*w - w = -5*y. Is (104 + y)*(-66)/(-12) a prime number?
False
Let m be 6/(((-6)/27)/2). Let f = m + 943. Is f a prime number?
False
Suppose 0 = -64*m + 19*m + 324045. Is m a composite number?
True
Let p(x) = x**3 + x**2 - 5*x + 9. Let r be p(2). Is 17636/44 + -6 - (-2)/r a prime number?
False
Let f(d) = 2*d - 1. Let s(g) = 2*g + 4. Let l(c) = -5*f(c) + s(c). Is l(-2) prime?
False
Let l = 6910 + -2337. Suppose l - 1493 = 5*z. Let v = z + -35. Is v a composite number?
True
Let z = 14 - 9. Suppose -2*j = c + z, -j + 4*c - 5*c - 2 = 0. Is (9 + -24)*11/j prime?
False
Let g(b) = -b - 1. Let t be g(-6). Suppose -5*f - 20 = 0, -t*h - f - 51 = -4992. Is h prime?
False
Let p = -5 - -6376. Is p composite?
True
Suppose -254 - 118 = 2*j. Let r = j + 521. Is r prime?
False
Suppose 28607 = 51*q - 126382. Is q prime?
False
Let y(h) = -h**3 + h**2 - h + 1. Let r(s) = -5*s**3 + 5*s**2 + 14*s - 3. Let m(p) = -r(p) + 6*y(p). Is m(-7) a prime number?
True
Let s(z) = z**3 - 4*z**2 + 2*z - 11. Let p be s(4). Let f(h) = 15*h**2 + 3*h - 3. Is f(p) prime?
False
Suppose 75 = 4*g + o, -3*o + 99 - 14 = 5*g. Is (-6374)/(-8) - (-5)/g prime?
True
Suppose 11*y = 6*y + 3*g + 28100, -22482 = -4*y + 2*g. Is y a composite number?
False
Let r(c) = -57*c + 8*c + 22 + 4*c. Is r(-17) composite?
False
Let q be ((-6)/(-18))/((-1)/(-12)). Suppose 3*f - 595 + 2297 = q*w, 4*w = 5*f + 1698. Suppose -4*m = h - 686, -5*m = -4*h + 3276 - w. Is h prime?
False
Let p = 36109 - 12138. Is p prime?
True
Is 2610 + -2 - (3 - 4) composite?
False
Let p = 15094 - 5507. Is p a prime number?
True
Suppose 2*i + 2*i = 8, -5*y - 3*i + 16 = 0. Suppose -5*b = 4*f - 4, y*f = -5*b + 2*b + 4. Suppose -t - 2*d + 395 = 0, 0 = -t + b*d - 65 + 484. Is t prime?
False
Suppose 279*a - 273*a - 22998 = 0. Is a composite?
False
Suppose -7*o - 261 - 4464 = 0. Let t = -154 - o. Is t prime?
True
Suppose -5*j + 2 = -13. Suppose 5*t + 4*b = 32, t - j*t + 26 = -5*b. Suppose 10*v - 446 = t*v. Is v composite?
False
Let g(v) = 5*v**2 + 24*v - 50. Let j be g(-18). Suppose -j = -5*m + 1497. Is m a prime number?
False
Suppose -1112 = -q + 4*w, -q - 2*w = 2*w - 1080. Suppose -3*o = 3, -5*b = -6*o + 5*o - q. Is b a composite number?
True
Suppose 5*j = -t + 89452 + 5868, -4*t = 4*j - 76272. Is j prime?
False
Suppose -7 = -5*c + 4*o, -5*o - 9 = -5*c - 2*o. Suppose 0 = -z - k, 3*k + 29 = c*z - 1. Suppose 684 = 3*f - z*w, 5*w = 4*f - 911 - 6. Is f a composite number?
False
Let j be ((-117525)/(-5))/5 - 5. Is (-2 - 1)/((-24)/j) prime?
True
Suppose -71*b = -77*b + 48. Suppose -b*s + 6*s = -r + 2029, -2*s - 6107 = -3*r. Is r prime?
True
Suppose 4*v - 295523 = -55039. Is v a prime number?
False
Let a(l) be the third derivative of 259*l**6/60 - l**4/8 + l**3/3 - 6*l**2. Is a(1) a prime number?
False
Let u = -1033 - -3275. Suppose 211 - u = -3*t. Is t prime?
True
Suppose -3*g - 253 = -4*v, 3*g + 54 + 138 = 3*v. Suppose -v = -c + 16. Is c prime?
False
Is (2 - 413786/(-10)) + (-216)/(-540) composite?
False
Let o(r) = -20*r**3 - 6*r**2 - 7*r + 2. Let z(q) = 20*q**3 + 7*q**2 + 8*q - 3. Let i(v) = 5*o(v) + 4*z(v). Is i(-3) a prime number?
False
Let a = -13 + 73. Suppose -a - 92 = -2*b. Let c = 147 - b. Is c prime?
True
Is 1*(8/40)/(3/53115) a prime number?
True
Let w = -3 + -3. Let d(z) = -19*z**2 + 2*z - 6. Let p(a) = -20*a**2 + 2*a - 7. Let u(q) = w*d(q) + 5*p(q). Is u(3) prime?
False
Suppose 3*a = -2*a + 65. Let h(o) = 2 - 5*o + 3*o - 21 + 3*o + o**2. Is h(a) prime?
True
Let p be ((-18)/(-4))/(6/(-8)). Let s = p - -6. Is (s + 1)*59*7 a composite number?
True
Let d(f) = -5*f**2 + 1. Let x be d(1). Let k be 0 + 6 + 2 + x. Suppose -5*z + 0*z = k*r - 239, 0 = 2*z + 3*r - 97. Is z a prime number?
True
Let a(b) = -b**3 + 8*b**2 + b - 3. Let x be a(8). Suppose -g - 162 = -2*g - x*q, -3*g = -3*q - 558. Suppose -3*o - g + 923 = 0. Is o composite?
True
Let x(g) be the third derivative of -6*g**2 + 1/3*g**3 + 0 + 0*g + 1/24*g**4 - 1/60*g**6 - 1/10*g**5. Is x(-5) a prime number?
True
Suppose 0 = 4*n, 0 = 5*x - 2*n - 131364 + 47689. Is x a composite number?
True
Suppose -6*h + 4946 + 4876 = 0. Is h prime?
True
Let j = 9 - 5. Suppose 0 = 2*o - 6 + j. Let r = 21 + o. Is r a composite number?
True
Let n(c) = -250*c - 91. Is n(-15) composite?
False
Suppose 10*a + 5*a - 65865 = 0. Is a composite?
False
Let v = -667 - -1020. Suppose -10*q - v = -1923. Is q a prime number?
True
Let x be 1157/1*1 - 1. Suppose 0 = 3*k + j - 1151, -3*k + 6*k - 4*j = x. Let q = k - 269. Is q prime?
False
Let u(f) = -2*f - 10. Let a be u(-17). Suppose 0 = o - a. Suppose -73 = -w - 3*m + o, 5*w = m + 469. Is w prime?
False
Suppose -24 = -6*p + 30. Suppose -p*m = -13*m + 344. Is m a prime number?
False
Suppose 35*w = 37*w - 262. Let b be 2/3 - (-2)/(-3). Suppose -s = -b*s - w. Is s a prime number?
True
Suppose 119*i = 120*i - 335. Let f = i + -84. Is 