) a prime number?
False
Suppose -3*t + 28 = -7*t. Let z be (-2)/7 - 9/t. Is (2 - 9)/(z + -2) composite?
False
Suppose 0 = 12*r - 8*r - 268. Is r a composite number?
False
Let g = 6 + -4. Let c(a) = -2*a + 6*a - 2 + 0 + a**g. Is c(-6) composite?
True
Suppose -5*l - 326 = 2004. Let o = -229 - l. Suppose 2*w + y = w + 58, -4*w + o = -y. Is w a composite number?
False
Suppose -6*h + 2*h - 3*k + 7889 = 0, 9864 = 5*h + k. Is h prime?
True
Let k(q) = 2*q - 4*q + 3*q - 2. Suppose -3*y + 5*p = 5, -5*y + 0*p + 45 = 5*p. Is k(y) composite?
False
Suppose h + 4*a - 12 = 0, -8 = -3*a - a. Suppose 2*d = 8, 3*j = h*d - 2*d + 187. Is j composite?
True
Let v = 7 + -3. Let q = 4 - v. Suppose q = d - 5*n - 45, -3*n + 2 = -d + 43. Is d prime?
False
Let u be (3 + 676/(-8))*2. Is (2/(-2))/(1/u) prime?
True
Let t(r) = -3*r + 3. Let s be t(-5). Suppose 5*v - 21 = 2*w, w + s = -w + 2*v. Let y = 51 + w. Is y composite?
False
Suppose 2*w - 207 - 515 = 0. Is w composite?
True
Suppose 2*y = 11 + 39. Suppose -4*k - 68 = 5*a - a, 3*k + 54 = -4*a. Let x = k + y. Is x prime?
True
Let q = -24 - -103. Is q composite?
False
Let r = -106 + 192. Suppose -2*t = -j + 23, 4*j - t - r = 4*t. Is j prime?
True
Suppose -4*n - 4*i + 6852 = -0*n, 0 = -2*i + 8. Is n composite?
False
Suppose -4*c - 2*u = -3*u - 11, -3*c - 3*u = 3. Suppose -5*q + 28 = c*t, -3*q - t + 12 = -q. Suppose -4*h + q*a = h - 41, 4*a - 31 = -3*h. Is h composite?
True
Let f be 9 + (0 - (-2 - -3)). Let p = f + 7. Is (-3)/p - (-116)/5 a composite number?
False
Suppose 0 = y - 5*y + 5*h - 1743, h + 1749 = -4*y. Let k = 622 + y. Is k a composite number?
True
Let l(o) = o**2 - o - 2. Let w be l(3). Let f be (w/(-3))/((-4)/6). Suppose 4*b - 352 = -3*g, 5*b - 144 = f*g + 319. Is b prime?
False
Suppose 0*j = -3*j. Suppose 2*g + j*g = 194. Is g a prime number?
True
Let p = 103 - 152. Let z = p - 10. Let k = 136 + z. Is k prime?
False
Let p be (-1)/2*(0 + -4). Let q(s) = 11*s**3 - 2*s**2 + s + 1. Is q(p) a prime number?
True
Let b = 46 - 3. Is b prime?
True
Let j(m) = -20*m + 4. Let v be j(-3). Let y(k) = 2*k**2 + 5*k - 3. Let b be y(-3). Suppose -z = -5*a + 6 + v, 4*a - 5*z - 35 = b. Is a composite?
True
Suppose -11*x + 15*x = 3548. Is x prime?
True
Let a = 7 - 2. Suppose 5*g = -a*k + 90, -g + 5*g - 48 = 4*k. Is g a composite number?
True
Let k(a) = -29*a. Suppose -3 = 2*d + 11. Let n be k(d). Let l = n + -124. Is l prime?
True
Let d(o) = -239*o - 4. Let q(v) = 479*v + 9. Let p(c) = 7*d(c) + 3*q(c). Is p(-1) a composite number?
True
Let f = 4 + 35. Let y = -12 + f. Let i = 52 + y. Is i composite?
False
Suppose -187 = -3*g - 2*n - 52, 9 = 3*n. Suppose -4*x = 3*s + g, -3*x - 4*s - 27 = -0. Is (-4 - -1)*x*1 composite?
True
Let g(x) = 8*x + 3 + 4 + 0 - 10*x**2 + 23*x**2. Is g(-6) a prime number?
False
Suppose o = 2*k - 2122, 10*k = 5*k - 3*o + 5294. Suppose 6*t - k = 2*t. Is t composite?
True
Let l(k) = -k**2 + k + 4. Let u be l(3). Is u/6*(-139 - 8) a composite number?
True
Suppose 4*u + 183 = 59. Let v = u + 46. Suppose 5 - v = -2*m + 2*x, -3*x = m - 13. Is m a prime number?
True
Let l = 5 - -6. Is l composite?
False
Let x = 472 + -135. Is x composite?
False
Let q(h) = h**3 - 6*h**2 - 2*h + 2. Let n be q(5). Is 0 - 22*n/6 a prime number?
False
Let j(z) = -22*z + 27. Is j(-16) a prime number?
True
Let a(q) = q**2 - 8*q + 5. Let m be a(7). Let v = m + 2. Suppose 2*s = 4*k - 0*k - 8, v = -3*s + 5*k - 8. Is s composite?
True
Suppose -3*x + 36 + 0 = 0. Suppose 2*z + x = 54. Is z composite?
True
Let i = 2 - 3. Let x = 8 + i. Is x prime?
True
Let v(f) = 4*f**2 + f - 1. Let j be v(5). Suppose j = 3*x + x. Let n = -5 + x. Is n composite?
True
Suppose 10 = -3*u + 5*n - 3, -3*u - 7 = -2*n. Is (-13 + u)/(4/(-62)) a composite number?
True
Let n(p) = 7*p - 5. Let v(k) = -7*k + 5. Let c(h) = 7*n(h) + 6*v(h). Is c(4) composite?
False
Suppose -2*n = 2*i - 300, 0 = -4*i + 3*n + 2*n + 591. Is i a prime number?
True
Suppose 5*w = -5*f + 940, 5*w + 156 - 1075 = 2*f. Is w a composite number?
True
Let m = 366 - 203. Let q = -114 + m. Is q a composite number?
True
Suppose 5*n + 5*i - 5 = 0, 2*n + i - 4 = -1. Let y(h) = 11*h**3 + h**2 + 2*h - 3. Let b be y(n). Suppose 2*j - b = -j. Is j composite?
False
Let s(c) = 2*c**3 - 3*c**2 + c - 5. Let k(v) = 2*v - 2. Let x be k(3). Is s(x) prime?
True
Suppose s = 186 - 59. Let j = s + 136. Is j a prime number?
True
Let n = 1 - 2. Let p be (2/4)/(n/12). Is 1*3/(p/(-190)) a composite number?
True
Suppose -2*n = -n - 4. Is 3/(12/35)*n a composite number?
True
Let a(y) = 7 + 0*y**3 + 6*y**3 - 7*y**3. Let b = -3 + 3. Is a(b) prime?
True
Let u = 186 - 435. Let o = -136 - u. Is o composite?
False
Is (1 + (-66)/4)*-6 prime?
False
Is (-11)/(275/(-10)) + 108/5 a composite number?
True
Suppose 0 = -3*g - 5*s + 1971, 5*g - s - 3285 = s. Suppose 5*y + 52 = g. Suppose -n + y = -0*c + c, n + 125 = c. Is c composite?
True
Let m = 719 + -428. Is m composite?
True
Let b = -1332 + 3091. Is b a composite number?
False
Let i be ((-6)/(-8))/((-4)/(-48)). Is i/3 - (-496 - 4) composite?
False
Let o = 421 + -182. Is o a prime number?
True
Is (-6)/(-10) + 7648/20 a prime number?
True
Let j = -17 - -320. Is j prime?
False
Let n = -802 + 1188. Suppose 2*j + j + l = n, 0 = -2*j + l + 249. Is j a composite number?
False
Let v(j) = -39*j + 11. Is v(-16) a prime number?
False
Let w = -2 - -4. Let u be (-1)/2 - (-11)/w. Suppose u = -k - 3*h, -k - 4*k = -3*h - 47. Is k composite?
False
Let t(x) = 11*x**2 - 5*x + 5. Let b(g) = 2*g**2 + 3*g - 1. Let v be b(-3). Let f be t(v). Suppose -f = -2*s - s. Is s a composite number?
False
Let a = 2 - -4. Let f = a + -5. Let l(i) = 20*i**2 + i. Is l(f) a prime number?
False
Let z(y) = y**3 - y**2 + 1. Let b(g) = 7*g**3 - 2*g**2 - 4*g + 1. Let s(p) = -b(p) + 5*z(p). Is s(-7) a composite number?
True
Suppose 55*w - 54*w - 521 = 0. Is w composite?
False
Let d(p) = 3*p + 2*p - 5*p + 14*p**2. Let f be d(1). Suppose f = v - 41. Is v prime?
False
Let g be (-14)/(-10) + (-4)/10. Is -57*(g + 4/(-3)) prime?
True
Let t = -22 + -10. Let l be (-2)/10 + t/40. Is (-652)/(-6) + l/(-3) a composite number?
False
Suppose 64590 = 31*b - 25*b. Is b composite?
True
Let j(v) be the first derivative of 4*v**3/3 + v**2 - 2*v + 3. Is j(-2) a composite number?
True
Let m = -378 + 1019. Is m prime?
True
Suppose -t - 8 = -5*t. Is t/13 + 401/13 a prime number?
True
Suppose -6*s = -14*s + 304. Is s composite?
True
Let g = 354 - 209. Is g a prime number?
False
Is -3 + (351 - 3 - 4) a composite number?
True
Suppose 7 = 4*j - 3*j. Let l(a) = a**2 - 7*a + 4. Let w be l(j). Suppose -w*f - f - z = -14, 2 = -f + z. Is f a composite number?
False
Suppose 0 = -4*n - 2*d + 622, -d - 2 = d. Suppose 7*k = 3*k + n. Is k composite?
True
Let j(f) = 2*f**3 - 9*f**2 - 3*f + 19. Is j(8) a prime number?
True
Suppose -g + 45 = 2*g. Let a = g + -9. Is a a composite number?
True
Let c(l) = -179*l**2 + 5*l + 16. Let n(a) = 36*a**2 - a - 3. Let z(b) = 2*c(b) + 11*n(b). Is z(2) a prime number?
True
Let r(w) = 50*w**2 - 1. Suppose 0*o + 5*x + 8 = -o, -4*o = 5*x - 28. Let l be (-1)/(-3) + (-16)/o. Is r(l) a prime number?
False
Suppose -5*h - 25 = 0, 2*h + 241 = 2*i - h. Is i a prime number?
True
Let h = 419 - 632. Is 3*(-6)/9 - h a composite number?
False
Let o(f) = -27*f - 8. Is o(-5) a prime number?
True
Let q(b) be the first derivative of -b**2/2 + 1. Let y be q(-5). Is 1/5 + 34/y prime?
True
Let r(n) = n**2 - 8*n + 7. Let u be r(7). Suppose -g + 2*m + 29 = u, -4*g + 156 = -3*m + 5*m. Is g prime?
True
Let u(r) be the first derivative of -3*r**2/2 - r + 2. Let k be u(-4). Let v = 18 - k. Is v composite?
False
Let k be 0 + 8/(-6 + 4). Let r(l) = 1 + l**2 + 1 - 5. Is r(k) prime?
True
Let h(l) = 86*l**2 - l. Let x be h(-1). Suppose 2*g = g. Suppose -q + g*q - x = -2*k, 0 = 5*k + 3*q - 245. Is k a prime number?
False
Suppose 6 = q + 2*q. Suppose -18 = -3*a + s + q*s, -4*a + 3 = 3*s. Suppose 2*x - 5*z - 26 = 0, a*x - 4*z - 65 = -2*x. Is x a composite number?
False
Suppose 5*n - 8 = 7. Suppose 123 = -3*s - 3*x + 390, -n*s = 5*x - 263. Is s composite?
True
Suppose 2*z - 211 - 47 = 0. Suppose -3*c + 10 = 1. Suppose -3*q = 5*h - 142, -c*h = 5*q + 31 - z. Is h a prime number?
False
Let r be ((-4)/(-3))/((-2)/(-3)). Is r - (1 + 0 + -46) a prime number?
True
Is (-2 - (-48