i + 5 = -5*i. Is 4 + -3 - (-56 - i) composite?
True
Let q be 155/(-10) + (-2)/(-4). Is 3/q + (-192)/(-10) composite?
False
Suppose -2*b - 18 = -32. Is b a prime number?
True
Suppose i = -i + 46. Suppose -g = -72 + i. Is g a prime number?
False
Suppose -3*w + 14 = -1. Suppose -5 = -w*g + 5. Is g/(-1) - 74/(-2) a prime number?
False
Let m be -2 + (-4 - -2)/(-1). Suppose k = 4 - m. Suppose k*a = -3*f + 1360, 2*a - 694 = -0*a - 5*f. Is a a prime number?
True
Suppose 3*b - 13 - 17 = 0. Suppose k - b = 41. Is k composite?
True
Let q(u) = -u**3 - 12*u**2 + 5*u - 9. Let z = -31 + 18. Is q(z) a composite number?
True
Let f be 0/1*(-2)/4. Suppose -14 = -2*l - f*l. Let y(g) = g**3 - 4*g**2 - 3*g + 7. Is y(l) composite?
True
Let f(u) = 6*u**2 + 5*u - 3. Let k be f(3). Suppose 0 = 5*d + b + 3*b - 207, 4*b + k = 2*d. Is d composite?
True
Suppose 5*l + 4*h = 2915, 6*h = l + 2*h - 607. Is l a prime number?
True
Suppose 0 = 2*a - 4. Suppose -a*t + 549 = -173. Is t a prime number?
False
Let k = -617 - -886. Is k a composite number?
False
Let m be 0/(-1)*(2 + -3). Suppose m*d - 3 = 3*d. Let a(b) = -13*b + 1. Is a(d) a composite number?
True
Suppose 0*x - 5*x = -170. Let f = x + -9. Is f prime?
False
Suppose -5*y = y - 3378. Is y a prime number?
True
Let d be 2 + 3 + -2 + 2. Suppose d*u = -2*o + 4*u + 71, -5*u - 74 = -3*o. Is o composite?
True
Suppose 3*d = 2*k + 3*k - 210, 0 = 2*k + 6. Let r be -119 + (2/(-1))/(-2). Let v = d - r. Is v a prime number?
True
Let x = 634 + -411. Suppose 0 = -5*b + x + 102. Is b prime?
False
Is (158/(-6))/((-4)/228) a composite number?
True
Let i(s) = -s**3 + s**2. Let f(k) = 3*k**3 - 8*k**2 - 6*k - 4. Let b(w) = -f(w) - 4*i(w). Is b(5) prime?
False
Let d = 974 + -595. Is d composite?
False
Is 178/((1 - -1)*2 - 2) a prime number?
True
Suppose -l - 4*o + 335 = 0, 5*o + 2574 = 5*l + 774. Is l composite?
True
Let z = 17 + -15. Suppose o + 6620 = 5*o. Suppose 0 = 3*d + z*d - o. Is d prime?
True
Let b(u) = 114*u. Let p be b(1). Suppose -2*h = -5*h + p. Is -1 - (0 - h*1) a prime number?
True
Let x(c) = 2*c**2 - 12*c - 14. Let f be x(10). Suppose 2*b + 0*b = f. Is b a composite number?
True
Let a = 7 - 11. Let h(g) = 8*g**2 - g - 5. Is h(a) composite?
False
Let j(u) = 87*u**2 + u + 2. Let i be j(3). Is i/16 - (-3)/(-12) a prime number?
False
Let k be 2/2 + (-1 - -6). Let q be k + -1 + -3 + 2. Is (1 - -12)/(2/q) a prime number?
False
Let k = 1363 - 812. Is k composite?
True
Let u(o) be the third derivative of o**5/60 - o**4/8 - o**3/6 - 2*o**2. Let i be u(4). Suppose 5*w = -0*w + 4*c + 197, -194 = -5*w + i*c. Is w a prime number?
True
Let w(j) = -j**3 + 10*j**2 - 4*j - 8. Is w(7) prime?
False
Let j(q) = 7*q**2 - 8*q - 3. Let n(i) = 20*i**2 - 23*i - 8. Let k(a) = -17*j(a) + 6*n(a). Is k(4) a prime number?
True
Is (-4 + 14/4)*-1796 prime?
False
Let v(a) = 9*a**2 + 4*a - 1. Suppose -3*u - 25 = 2*u. Let w = -9 - u. Is v(w) a prime number?
True
Let q = -153 - -338. Is q a prime number?
False
Let j = 2561 - 1462. Is j a prime number?
False
Let c be (-30)/25*(-10)/(-4). Is -3 + (-1)/(c/894) prime?
False
Let a(x) = 4*x + 1. Let t be a(1). Suppose m = -t*i + 15, 3*m - 4*i - 86 = m. Let v = m + -25. Is v a prime number?
False
Suppose 1 - 2 = p. Let m be (100/12)/(p/(-3)). Let f = 60 - m. Is f composite?
True
Let v(k) = -18*k**3 - 3*k**2 - 4*k - 2. Is v(-3) a prime number?
False
Let d(s) = -s + 194. Let w = 13 - 13. Is d(w) composite?
True
Let p = 169 - -649. Is p prime?
False
Let z be ((-1)/2)/((-2)/(-20)). Let s = z - -1. Let l = 25 + s. Is l a composite number?
True
Let p(k) = -30*k - 17. Let l be p(14). Let v = -310 - l. Is v a composite number?
False
Let z(n) = -n**2 + 6*n. Let b be z(5). Suppose -3*a + b*a - 19 = l, a + 3*l = -8. Is a a prime number?
True
Let r(k) = 112*k**2 + k. Is r(1) prime?
True
Suppose 8*k - 262 = 6*k. Is k prime?
True
Let w(g) = 45*g**2 - 9*g - 1. Is w(-4) prime?
False
Suppose -6 = 4*d - 22. Suppose -w = 2*y - 13, -d*w + 2*y + 15 = -w. Is w prime?
True
Suppose 3*a + 20 = -4*m, 3*a = 4*m + 2*a + 20. Is 34 - (-3)/(-2 - m) composite?
True
Let b = 899 + -555. Suppose -5*i - 99 + b = 0. Is i a prime number?
False
Let w = 2463 - 1514. Is w prime?
False
Let a be 0*(-3 - 21/(-6)). Let d = a + 2. Suppose v = -d*b - 0*v + 108, 4*v - 8 = 0. Is b a prime number?
True
Let l be 713 - 5/((-5)/(-3)). Suppose 4*q - 86 - l = 0. Is q prime?
True
Suppose 3*k - 46 = -i, 0 = -9*i + 5*i + k + 145. Is i prime?
True
Let h(l) = 22*l**2 - 11 - 2*l**3 - 8*l + l**3 - 12*l**2. Is h(8) a prime number?
True
Let q = 382 + -125. Let n = q - 142. Is n a prime number?
False
Let a(b) = 14*b**2 - 7*b - 25. Is a(8) a composite number?
True
Suppose 2*n = 5*r - 257, 4*r + 5*n - 88 = 144. Suppose r = -j + 2*j. Is j a composite number?
False
Is ((-1028)/(-8)*-2)/(-1) composite?
False
Let w = -4 - -6. Let q be 2 - 8 - (-4 + w). Let b = 27 - q. Is b a composite number?
False
Is (1 - (-18)/4)*58 composite?
True
Let p = 7 + -7. Let b = -2 - p. Is b*62/(-4)*3 a composite number?
True
Suppose -x - 17 - 15 = -4*p, 3*x = p - 19. Let a(m) = 3*m**2 - 7*m - 7. Is a(p) a prime number?
False
Suppose -16 = 7*g - 9*g. Suppose g = -2*s, 8*i - 389 = 3*i + s. Is i composite?
True
Let b(n) = -4*n + 3 + 2 + 0. Suppose -5*c - 11 - 9 = 0. Is b(c) composite?
True
Is (-18)/(-42) + (-14764)/(-14) composite?
True
Let x be -1 + (-4)/(-2) - -1. Let g be (x/5)/((-1)/5). Is 47 + 2 + (-4 - g) composite?
False
Is (-79944)/(-42) + (2 - (-17)/(-7)) prime?
False
Let b(z) = z + 5. Suppose -2*m = 7 + 1. Let s(u) = -u - 4. Let k(a) = m*s(a) - 3*b(a). Is k(2) a prime number?
True
Suppose 2*c - 2374 = 2*w, 7*w - 5911 = -5*c + 4*w. Suppose 3140 - c = 4*s. Is s a composite number?
True
Let s(g) = -11*g**3 + 3*g**2 + 4*g. Let a(h) = 3*h + 3. Let n be a(-2). Let o be s(n). Suppose -o = -2*u + f, 3*u + 0*f - 479 = -4*f. Is u prime?
True
Let r = 1 - -2. Let o(d) = 7 - d + r*d + 2*d + 2*d**2. Is o(-8) a prime number?
True
Let u = -2 + 4. Is ((-9)/u + -2)*-14 composite?
True
Let u(c) be the second derivative of c**4/6 - c**3/3 + c**2/2 - 3*c. Let d be u(2). Let m(g) = g**3 - 5*g**2 + 6*g + 1. Is m(d) prime?
True
Let u be (-1*(-1 + 4))/(-1). Let n be ((-84)/(-9))/(1/u). Suppose -5*k - 240 = -5*d, -3*d + 141 + n = 2*k. Is d composite?
False
Suppose 3*d - 4*r = 4063, -3*d - r = -d - 2727. Is d composite?
False
Is (-1011)/(-9) + 4/6 composite?
False
Suppose -10*y = -5*y - 8995. Is y composite?
True
Suppose 143 = 5*p - 182. Is p a prime number?
False
Let x(b) = -15*b + 4. Suppose -2*r + 3*r = 0. Suppose p + r = -3. Is x(p) a composite number?
True
Suppose -140 = -x - 4*x. Suppose 82 = 3*v + 3*k + x, 4*v = 5*k + 99. Is v a composite number?
True
Let t(m) = -80*m - 3. Let s be t(-2). Let i(w) = -110*w. Let d be i(1). Let q = d + s. Is q a prime number?
True
Let y = 1 - -2. Suppose 3 = -s - k, 5*s + k - y = s. Is s/(-10) + (-532)/(-10) composite?
False
Suppose 6 = 4*r + 3*m, -r + 5*m = -5*r + 2. Suppose r*k - 2*j - 21 = 9, -4*k + 40 = -5*j. Is k composite?
True
Suppose 0 = -3*z + 5*i + 964, 2*z - 644 = 2*i - 0*i. Is z a composite number?
True
Let l(y) = 14*y**3 + 3*y - 3. Let o be 13/5 - 3/5. Is l(o) composite?
True
Let w(i) = -i**3 - 9*i**2 + 2. Let n be w(-9). Suppose 0 = 3*c - 4*r - 455, -2*c + 294 = n*r - 7*r. Is c composite?
False
Let a(n) = 2*n - 1. Let f be a(5). Suppose 9 = -3*z, 2*g + g = 4*z + 18. Suppose d + g*d = f. Is d a composite number?
False
Suppose s + 1 - 17 = -4*f, -2*s + 5 = -f. Is ((-1)/(-2))/(s/344) a composite number?
False
Let i = 2 - -4. Suppose -3*p = -j - 62, 4*p - i*j = -4*j + 82. Is p prime?
False
Let c(d) = -178*d**3 + d**2 + d - 1. Suppose x + 3 + 8 = -4*y, 5*x - 4*y = 17. Let p be c(x). Let z = -82 - p. Is z prime?
False
Suppose -3*u = -4*q + 4208, u + 2*u - 3177 = -3*q. Is q a composite number?
True
Let j(z) = -z**3 - 3*z**2 - 6*z. Let s be j(-6). Suppose 3*g = g + s. Suppose -u + 2*p - 17 + g = 0, 0 = -4*p. Is u composite?
True
Let k be 1*(1 + 1 - 7). Let c(u) = -5*u**3 - 6*u**2 + 4*u - 4. Let n be c(k). Suppose 2*j = s - 147, -3*s - 7*j = -3*j - n. Is s a composite number?
False
Let w be (2/4)/((-3)/(-6)). Let k = 4 - w. Is k a composite number?
False
Suppose 4*v - 4*y + 401 = 2613, -5*y = -3*v + 1659. Is v composite?
True
Suppose -5*g + 5 = 25. Is 2/3*(g + 37) a composite number