t n = i + 689. Is n prime?
True
Suppose 15*s = -361 + 1651. Is s a composite number?
True
Let f be (45/10)/9*6. Suppose -b - b + 194 = f*p, -2*b + 4*p = -222. Is b a prime number?
True
Let n(w) = -w**2 - 3*w - 3. Let l(v) = -2*v**2 - 3*v**2 + 3*v**2 + v**2. Let m(f) = -4*l(f) - n(f). Is m(3) a prime number?
False
Let f(n) = -10*n**3 + 3*n**2 + 5*n + 6. Let q be f(-5). Let a = 2285 - q. Is a prime?
False
Is 200055/50 - (-6)/(-60) a prime number?
True
Suppose -v + 3*v - 24 = 0. Is 12278/10 + v/(-15) a prime number?
False
Let a be ((-149)/2)/((-6)/36). Suppose 0*r = -2*r + 2*y - 422, -3*y - a = 2*r. Let k = r - -515. Is k composite?
True
Let u = 147087 + -26266. Is u a prime number?
False
Is 2/(-6)*(-213)/2*46 prime?
False
Let u(s) = 14*s**2 - 8*s + 1. Let v be u(6). Let h = v + 1212. Let k = h + -1190. Is k composite?
False
Suppose 5*v - 17307 = -2*j + 126720, v + 5*j - 28787 = 0. Is v a composite number?
False
Let t(y) = 15*y**2 + 12*y - 14. Let o(m) = m**3 - m**2. Let d(n) = o(n) + t(n). Let a be d(-13). Is (-1)/a - (-1 - 251) prime?
False
Let k(f) = -f**3 - 5*f**2 - f + 3787. Is k(0) prime?
False
Let g be 3 - 1 - (-3 - -1). Suppose -g*o - 2827 - 21 = 0. Is o/(-20) - (-9)/(-15) prime?
False
Let d(r) = 7*r**2 - 11*r - 1. Suppose -16*f - 32 = -20*f. Is d(f) composite?
False
Is (14 - 16)*(0 - 9255/6) a prime number?
False
Let r(p) = p + 5. Let k be r(10). Suppose k = 3*u + 3. Suppose -254 = -u*b + i + 169, 0 = b + i - 107. Is b a prime number?
False
Let v be ((-3)/(-9))/((-7)/(-42)). Suppose -3*c + 955 = v*c. Is c composite?
False
Let b(w) = -57*w**3 - w**2 + 19*w + 31. Is b(-6) composite?
True
Suppose -5*d = -2*y + 5, 0 = -4*y + d + 1. Suppose -3*a + 2997 - 1050 = y. Is a prime?
False
Let p = 11642 - -7539. Is p a prime number?
True
Suppose -6*j = -20170 - 18056. Is j prime?
False
Let r(f) = -147*f - 1. Let b(k) = -74*k - 1. Let v(l) = -5*b(l) + 3*r(l). Is v(-7) prime?
True
Suppose 2*y - 1 - 5 = 0, 5*y - 34 = -c. Suppose 50 = c*a - 17*a. Is a prime?
False
Let b(f) = 23606*f**3 - 4*f**2 + 4*f - 1. Is b(1) a composite number?
True
Is 9226 + -1 + -5 + (5 - -2) composite?
False
Suppose 0 = 928*f - 921*f - 46641. Is f a prime number?
False
Suppose -2*q + 512 = 2*y, 5*q = -8*y + 4*y + 1275. Is q prime?
True
Let k = 8 - 16. Let q be (69/(-6))/((-4)/k). Is (-1 - q)*2/4 composite?
False
Suppose -25*h + 29*h - 24292 = 0. Is h a composite number?
False
Is 1807 - 4 - (-3 - 1) a composite number?
True
Suppose -30153 = -4*x + 78803. Is x a composite number?
False
Let y(n) = 37*n - 15. Suppose m - 4*h - 22 = 0, -3*m - 2*m = -2*h - 56. Is y(m) prime?
False
Let p = -2934 + 14794. Suppose -3*b - b = 4*o - p, b + 5*o = 2973. Is b prime?
True
Let w(a) = -4*a**2 + 17 + 3*a**2 + 9*a + 6*a**2. Let n be 1/3 - (-88)/(-12). Is w(n) a composite number?
False
Suppose -2*l - 8 = -4*l. Is 4*(1555/l + -3) composite?
False
Suppose -17*t + 20*t + 85029 = 5*k, 5*t = -5*k + 85045. Is k a composite number?
True
Let d(c) = -880*c**2 - 7*c + 2. Let r(i) = 439*i**2 + 4*i - 1. Let t(m) = -3*d(m) - 5*r(m). Let k be 2/(-6)*(0 + -3). Is t(k) composite?
True
Is (12 + -15)/(6/(-8974)) a prime number?
False
Is -14 + 11 - -1*(21270 + 2) prime?
True
Let u(c) be the first derivative of 12*c + 9 + 23/2*c**2. Is u(5) composite?
False
Suppose -4*a + 5*f = -65178, -65182 = -4*a + 78*f - 75*f. Is a a composite number?
True
Suppose 5*s + 3*i - 13057 = 0, 0 = -5*s - 4*i + 13897 - 836. Is s prime?
True
Suppose -4*y = 3*f + 3 - 11, 4*f = -3*y + 20. Let a = -9 + f. Is 192 + (a - 0 - 0) prime?
True
Suppose -8*a - 5615 = -14823. Is a prime?
True
Let h(c) = 81*c + 55. Let p be h(23). Suppose y = -y + p. Is y a composite number?
True
Suppose 20*b = 19*b + 5*p + 63828, 0 = -3*b + 4*p + 191539. Is b a composite number?
False
Let x be 4/(-6) + 10/15. Suppose 1575 = -x*j - 3*j. Let o = -362 - j. Is o prime?
True
Let o(m) be the third derivative of 47*m**5/60 + m**4/24 + m**3/6 + 2*m**2. Suppose -4*l - 17 = -3*v - 7, 4*l = -2*v. Is o(v) a prime number?
True
Suppose 0 = -4*s - 5*d + 15039, -4*s + 5*d = -6618 - 8431. Is s prime?
True
Suppose 4*l + 0*l - 28 = 0. Let m(n) = n**3 - 7*n**2 + 3. Let r be m(l). Let f = 8 + r. Is f a prime number?
True
Let a be 0/2 + 10 + 0. Suppose -3*k - 6839 = -a*k. Is k a composite number?
False
Let y = -7 - -20. Let h = y - -39. Let d = h + -18. Is d a prime number?
False
Let t(n) = 2*n. Let o be t(-17). Let r = -34 - o. Suppose 0 = 2*s - 3*y - 400, -s + 213 = -r*s + 5*y. Is s composite?
True
Let a = 1681 - 320. Is a a composite number?
False
Let u be -3 - 0 - (6 - 7). Is (u/2)/((-9)/4815) a composite number?
True
Suppose -v = -4*f - 4*v + 3145, 2360 = 3*f + v. Is f a composite number?
False
Is (-4 + 0)*(-13479)/4 prime?
False
Suppose -3*v - 5*o + 25711 = 0, -25709 = 5*v - 8*v - 4*o. Is v a prime number?
False
Let i = -495 - -1538. Suppose 4*x - 9777 = i. Is x a prime number?
False
Suppose -2*s + h = -2, h = -4*s + 7 + 3. Is (1173 - -22)*s/2 composite?
True
Suppose 7*g = -5 + 19. Is (10/(-5))/(g/(-469)) a composite number?
True
Let r be (-44)/(-154) - (-1)/7*-37. Is (2 + -2566)*r/4 composite?
True
Suppose -2*l + 5*r - 26 - 33 = 0, 4*r - 112 = 4*l. Let g = l + 1. Let u = 40 + g. Is u prime?
False
Let l(u) = -u**2 - 10*u. Let b be l(-7). Suppose -5*q + 121 = b. Is 6/(24/q)*79 a prime number?
False
Is (0 - 1) + 6 + 12*46 composite?
False
Let p = -315 - -451. Let z = 467 - p. Is z a composite number?
False
Is -15*3203*2/(-6) a prime number?
False
Suppose 2*s = -5*a + a + 2230, 2*s - 1116 = -2*a. Is a composite?
False
Let x = 223 - -2069. Suppose 3*t + 483 = x. Suppose 132 = -3*b + t. Is b composite?
False
Let t = 84043 - 37050. Is t a prime number?
True
Suppose -5*s + 15 = 0, 15*x - 10*x + 2*s - 67081 = 0. Is x composite?
True
Suppose -1305 = -0*t + 5*t. Let g = t - -441. Let o = -85 + g. Is o composite?
True
Suppose -m - 3 = -h - 0, m + 5 = 2*h. Suppose -2*r + 25 = b, 5*b = -2*r - h*r + 107. Is b composite?
False
Let k(h) = -3*h + 4. Let c(p) = -10*p + 12. Let w(j) = 6*c(j) - 17*k(j). Let f be 75/(-11) + 28/(-154). Is w(f) a prime number?
True
Suppose -p = -2*z + 31, -3*z + 54 = -p - 3*p. Let c(t) = -9*t + 3. Let u be c(-7). Suppose 17*h - z*h - u = 0. Is h composite?
True
Let f be 4 + 568 + (-10)/(-5). Let b = f + -233. Is b prime?
False
Let k(w) = -w**2 - 32*w - 59. Let s be k(-23). Suppose -4*i + 350 - 40 = c, -3*c = -2*i + s. Is i a prime number?
False
Suppose -5*f = -2*o - 23037, f = 5*o - 130 + 4719. Is f prime?
False
Is (-1552804)/(-121) + (-4)/44 a prime number?
False
Let t = 27503 + -12113. Is t/105 + 4/(-7) composite?
True
Suppose 0 = 5*n + 5*t - 20, 4*n - 2*t - 7 - 9 = 0. Is (14/n)/(22/3212) prime?
False
Let h = -17 - -17. Suppose -3*r - r + 20 = h. Suppose 4*z - r*j - 1112 = 0, z + j = 3*z - 556. Is z a prime number?
False
Let v(b) be the second derivative of -b**5/20 + b**4/2 - b**3/2 - b**2/2 - 5*b. Let s be v(5). Suppose 4*q - 2*j = 38, q + 2*j = s + 8. Is q a prime number?
True
Let d = -116 - 114. Let n = d + 152. Let h = 1019 - n. Is h a prime number?
True
Let w = 6927 - 4030. Is w a prime number?
True
Suppose 3*r - 27 = -3*p + 3, 0 = 4*r - 5*p - 4. Suppose -y = -4*y - r, -n + 2043 = 2*y. Is n prime?
False
Suppose 0 = -249*z + 256*z - 85267. Is z a composite number?
True
Suppose 0 = 2*o - n - 516, -3*o - 2*n = -n - 769. Suppose 5*m - k = -1492, 0 = 2*m - 4*k + o + 347. Is -3*m/(-10)*-5 a prime number?
False
Suppose 10 = -2*h + 4*h, 2*i = -h + 13. Suppose -4*o - i*b = -1112, 0*b = -b. Is o composite?
True
Suppose -6 = 13*a + 46. Is (a - -2)*867/(-6) a composite number?
True
Let c(l) = -81*l + 5. Let y(s) = 244*s - 14. Let z(x) = -11*c(x) - 4*y(x). Let p be z(3). Is -2*2/8*p composite?
False
Suppose -44*g + 541 = -43*g. Is g a prime number?
True
Let a = 1291 - -2506. Is a composite?
False
Let w be (-1)/((-20)/(-6) + -3). Let z = 0 - w. Suppose o = -z*o + 1172. Is o composite?
False
Let o = -229 - -5448. Is o a composite number?
True
Let h(w) = w - 48. Let f be h(0). Let l(i) = -2*i - 1. Let p be l(-9). Let x = p - f. Is x composite?
True
Let a be (-902589)/(-483) + (0 - 2/(-7)). Suppose 5*l = 2*l + a. Is l a prime number?
False
Let g = 902 - 482. Let j = -166 + g. Is j a composite number?
True
Let s(j) = j**3 + 5*j**2 + 7*j + 3. Let y be s(-3). Suppose -2*q - 2*q + 