 - a - 156, 2*d - 143 = -3*y. Is y composite?
True
Suppose -v + 28 = v. Suppose -3*u = -v - 13. Let n(j) = 7*j - 12. Is n(u) prime?
False
Let z = 137 - -114. Suppose -z = -2*n + n. Is n a prime number?
True
Let d = -847 - -316. Let q be (-616)/(1*2) + 0. Let v = q - d. Is v composite?
False
Is (-1)/((-4)/1052*1) prime?
True
Let u(s) be the first derivative of -39*s**2 + 7*s + 4. Is u(-9) prime?
True
Let z(d) = -d**2 + 4*d - 3. Let s be z(3). Suppose s = 2*y - 79 + 1. Is y prime?
False
Let k(f) = -f**3 + 5*f**2 + f - 3. Let d be k(5). Suppose 0 = -7*q + d*q + 5. Is 52/4 - (q + -1) a composite number?
False
Suppose 6*p - t = 2*p + 12, p - 5*t = 3. Let i be (6/2)/p + -1. Suppose i = 3*b + 3*w - 1503, -3*b = -5*w + 2*w - 1491. Is b prime?
True
Let d be (-28)/(-21)*3/2. Is 126/4 + d/(-4) a prime number?
True
Let t(k) = k**2 - 4*k - 14. Is t(7) a prime number?
True
Suppose 0 = -2*k - 4*m - 16, -3*m - 33 - 6 = 3*k. Let x be (-2 - (2 - 3))/1. Is (k/(-21))/(x/(-7)) composite?
True
Suppose -5*f - 211 = -6*f. Is f prime?
True
Suppose -5*w + 1179 = -j, -w - 4*w + 4*j + 1191 = 0. Suppose -3*u - w = 4*h - 1536, -4*u + 5*h = -1776. Is u composite?
False
Let y = -4 - -1. Is (-1 + 58)/(y/(-2)) a composite number?
True
Suppose -s + 21 + 131 = n, s = -5*n + 140. Is s composite?
True
Suppose 3*v - 3*i = 0, -2*v + 5*i = -0*v. Suppose 5*a = -v*a - 5*q + 15, -q = 4*a - 12. Suppose r - y - 92 = -4*r, 5*r = -a*y + 104. Is r composite?
False
Let m = -54 + 35. Let q(x) = x**2 - 5*x + 4. Let g be q(-8). Let h = m + g. Is h a composite number?
False
Let r be (-3)/(-6) - (-306)/(-4). Is r/(-12) - (-2)/3 a prime number?
True
Suppose -568 = -11*b + 3579. Is b prime?
False
Suppose -1848 = -4*g - 3*d + 101, 1952 = 4*g + 4*d. Is g prime?
False
Is (-57)/(-38) + 5859/2 a prime number?
False
Suppose c + 3 - 2 = 0. Let u be c*(-3963)/(-3) - 3. Is (-1)/(-4) - u/16 composite?
False
Let n(r) = -61*r + 1. Suppose -5*k = -0*k + 40. Let l = k + 7. Is n(l) prime?
False
Let v(y) = -2*y + 3 + y**2 + y**3 - 2*y - 4*y**2. Suppose -32 + 7 = -5*q. Is v(q) a prime number?
False
Suppose 4*l + f - 20 = 0, 0 = 4*l - 3*f - 7 - 13. Suppose -m - 2*i = -12, l*i - 15 = -2*m + m. Is m a prime number?
False
Let p be 3*(-5)/((-15)/4). Suppose 5*s = 4*j - 95 - 106, 2*s = -p*j + 194. Is j a prime number?
False
Let t(n) = n**3 + 2*n**2. Let j be t(-2). Suppose j = 3*o - 6*o + 57. Is o prime?
True
Let j = 150 + -106. Let q = j - 29. Suppose -v + 0*v = -q. Is v a prime number?
False
Suppose 2*r + 4272 = 3*k, 3*r + 8686 = 2*k + 2283. Is (2/3)/((-18)/r) prime?
True
Let l = -10894 + 15645. Is l a composite number?
False
Let r = -74 + 105. Is r a composite number?
False
Let t(d) = d**2 + 9*d - 6. Let y be t(-10). Suppose -4*l = -2*l - y*g - 230, 0 = -3*g - 9. Is l a prime number?
True
Let p(f) be the first derivative of f**3/3 - 3*f**2/2 + 2*f + 3. Let b(u) = 2*u**2 - 5*u + 3. Let c(t) = 3*b(t) - 7*p(t). Is c(4) a composite number?
False
Let s = 9 - 7. Suppose -s*y - 2*y + 28 = 0. Suppose y = 2*q - q. Is q prime?
True
Suppose 0*i - i + 2 = 0. Suppose 0 = -3*f - i*f + 395. Is f prime?
True
Let r(a) = -49*a + 1. Let z be r(1). Let i = -100 - z. Is 1 - i - 2/(-1) prime?
False
Let i = -31 + 7. Let p be (-6)/i + 22/8. Suppose -4*f + 210 = p*h - f, -2*h - 5*f + 143 = 0. Is h composite?
True
Let u = 7 - 5. Suppose 4*y = -4*a + 28, -a - 3 = -3*y + u*a. Suppose -5*i + 4*p = -201, -p - 20 = y*p. Is i composite?
False
Let m = 201 + -128. Let c = m - 42. Is c prime?
True
Suppose -2*a = -4*x - 26, 3*a - 34 = 2*x - 11. Suppose -48 = -p + a. Is p a prime number?
True
Suppose -y - 5*f = -41, -6*y + y - f = -109. Suppose -5*t = -6*t + y. Is t prime?
False
Suppose -t - d = -2*d + 14, 14 = -t + 3*d. Let m = 33 + t. Is m prime?
True
Suppose 4*a - 7 = -2*g + g, -2*g - a + 21 = 0. Suppose -u - 3*x = 3*u - g, 3*x - 3 = 0. Suppose -u*r + r = -43. Is r composite?
False
Suppose 5*x + 2*i = 179, -x = x - 4*i - 86. Let f = x + -2. Is f prime?
False
Suppose 2*p - 9 + 1 = 0. Suppose p*b - 338 = 410. Is b composite?
True
Suppose -3 = -f - 5*x + 15, -3*x = -9. Is (5 - f) + -3 + 24 a composite number?
False
Let n(z) = z**3 + 10*z**2 + 9*z. Let b be n(-9). Is ((b - 3) + 94)*1 composite?
True
Suppose 4*d - 11 = 9. Suppose -d*c = 4*k - 563, -5*k + 325 = 3*c - 5. Is c composite?
True
Let r = 50 + -70. Let y = r - -11. Let g = 44 - y. Is g composite?
False
Is 70/21*(-633)/(-2) composite?
True
Let r = -43 - -80. Is r prime?
True
Let x = -1663 - -2552. Is x a composite number?
True
Suppose 43 - 380 = -w. Is w prime?
True
Suppose 3455 = 8*j - 2553. Is j a composite number?
False
Suppose -5*b + 351 = -3*f, 4*b + 4*f - 7*f = 282. Suppose 3*y = 6*y - b. Is y a prime number?
True
Is (6/(-2))/((-45)/2010) prime?
False
Suppose d - 5*d = 2*s, 2*d + 4*s = 0. Suppose d = 3*u - 4 + 1. Let k(y) = 2*y + 1. Is k(u) a composite number?
False
Let t be (-1 - -1)/(4 + -1). Suppose -x + 2*k + 11 = 0, t*x + k - 11 = -5*x. Suppose 2*i = -w + 17, 2*w - x*i = -2*w + 101. Is w prime?
True
Let k = 7 + -5. Suppose 425 = -k*o + 7*o. Is o a prime number?
False
Let s(o) = -o**3 + 12*o**2 - 10*o + 9. Suppose -4*p - 16 = -56. Is s(p) a prime number?
True
Suppose 0 = -10*b + 7*b + 1113. Is b composite?
True
Let t = 183 - -74. Is t a composite number?
False
Let n be ((-6)/5)/(4/10). Let j be n - (-2)/(2/101). Let g = 181 - j. Is g composite?
False
Suppose 0 = 3*o + 2*o + 40. Let j be 23/(-4)*o/2. Let v = j + 14. Is v composite?
False
Let z be (-4 + 1)/(12/(-2920)). Suppose 4*i - z = v, 0 = i - 2*v - 30 - 149. Is i prime?
False
Is (-8877)/11*1*-1 a composite number?
True
Suppose -4*l + 7*l + 204 = 0. Let b(c) = -c**2 - 2*c - 7. Let j be b(-6). Let w = j - l. Is w a composite number?
False
Let q(c) = c**3 + 6*c**2 - 7*c + 3. Let p be q(-7). Suppose -p*o - 145 + 679 = 0. Let d = -113 + o. Is d a prime number?
False
Suppose 2*q - 7 = 3*q. Let u be (-1)/(-3) + q/3. Let x = 13 + u. Is x prime?
True
Suppose 2*s = s + 955. Is s composite?
True
Suppose 0 = -5*b - 5*l + 9440, 0*b = -5*b + 3*l + 9400. Is b a prime number?
False
Let v(h) = -2*h**2 - h + 3. Let o be v(-3). Suppose -2*t + 5 - 13 = 0. Is (t/o)/((-2)/(-210)) composite?
True
Suppose 8 = -3*j + j. Let y be (-78)/(-18) - j/6. Suppose y*l = l + 148. Is l a composite number?
False
Let n = 141 + -32. Is n prime?
True
Suppose 2*n + 13 = o, -29 = 4*n - 0*n - 3*o. Let c(z) = -18*z - 1. Let w be c(n). Suppose -2*m + w = -5. Is m a prime number?
True
Let w be 0 + -1 + 399 - -2. Suppose -4*m - m = -w. Suppose 5*x + 3*r - 78 = 0, 8*x = 3*x - 5*r + m. Is x a prime number?
False
Let k = -464 + 765. Is k a composite number?
True
Let x be 2/12 + 77/42. Suppose -x*t = 3*a - 35, -4*a + 2*a + 36 = 2*t. Is t prime?
True
Suppose -h = 195 + 198. Let b = -227 - h. Is b composite?
True
Let t = 105 - -152. Is t a prime number?
True
Suppose -4 = -5*j + 3*j. Suppose -j*i + 4 = -2. Suppose 2*b = i*z + 4 + 4, -b + 4*z = 6. Is b composite?
True
Let d(r) = -r**3 + 4*r**2 - 4. Let w be d(3). Suppose -4*c + 3*n = 2*n - 337, -4*c = w*n - 355. Is c prime?
False
Let q be -1 + -2 + 3 - -8. Suppose u - 3 = -2*l - 5, l - q = -5*u. Suppose u*k = 3*k - 115. Is k prime?
False
Let z(h) = 432*h - 41. Is z(12) composite?
True
Let v = -394 - -899. Is v prime?
False
Let r(g) = -g - 5. Let d be r(-8). Suppose -149 = -d*z + 232. Is z prime?
True
Let s = -3 + 8. Suppose 71 = s*w - 114. Is w composite?
False
Suppose 7*m = 12*m - 435. Is m prime?
False
Suppose 2*y + 49 = 5*w - 25, -5*w = -4*y - 68. Let o = w - -6. Is o composite?
True
Is (155/(-10))/(2/(-4)) a composite number?
False
Let l(d) = -d**3 + d**2 + 5*d - 11. Is l(-10) prime?
True
Suppose 4 = -2*m + 8. Suppose 3*l + 4*h = 57, l + 2*l - 57 = m*h. Is l composite?
False
Let q = 2 + 1. Suppose 5*j + 0*j - 641 = q*t, -j - t + 125 = 0. Is j composite?
False
Let j(s) = -2*s**3 - 8*s**2 - 4*s - 7. Let k(d) = -d**3 + 9*d**2 - 6. Let w be k(9). Is j(w) prime?
False
Suppose 0 = 2*o - 3*q, 4*q = -3*o + q. Suppose -3*u + 6*u + 4*t - 138 = o, 4*u + 3*t = 184. Is u a prime number?
False
Suppose 5*j - 4*o = 7, 4*j + 3*o = -6 + 24. Suppose 0 = -2*b - 10, -130 = -j*a - 3*b + 26. Suppose 47 = 2*y - n, a = -2*y + 4*y - 3*n. Is y a composite number?
True
Let g be 1/1*69 + 1. Suppose 0 = 3*s - s - g. Is (5 - 3) + (s - 2) prime?
False
Let x be (