-2*y + 495. Is y composite?
False
Let b be 1 - (-897)/(2 - -1). Suppose 0 = 4*y + 64 - b. Is y composite?
False
Let i(m) = -m**2 - 2*m. Let o be i(-2). Let c = o - 2. Is (-2)/(c - 0) - -58 prime?
True
Let u(h) = -h**3 - 3*h**2 - h + 1. Let m be u(-2). Let r = -1 - 4. Is (m - 1) + (-435)/r composite?
True
Suppose -3*s - q = -5*q - 25, -4*q = 3*s + 7. Suppose 0*j - 621 = -s*j. Let y = j + -121. Is y a prime number?
False
Suppose 52*g - 53*g + 879 = 0. Is g a prime number?
False
Suppose 14 = -5*t + 29. Suppose -6 + 3 = t*h. Is (10/(-4))/(h/38) a prime number?
False
Suppose -i + k + 148 = 0, -5*i + 806 = -2*k + 78. Let y be i/3*(-40)/(-6). Suppose -5*o + y = -15. Is o a prime number?
True
Suppose 0 = h + 2*h + 6. Let m be (-1)/h - 386/4. Let k = m - -147. Is k composite?
True
Let n = 94 - -260. Let k = n - 196. Is k a prime number?
False
Suppose 5*g = -4*n + 1217 + 998, 0 = 2*n. Is g prime?
True
Let k(x) = -22*x + 9 - 1 - 10*x. Let u be k(-6). Is u/(-4)*(-2)/4 prime?
False
Let b = 16 + -14. Let c be (-4)/(-10) + 2/(-5). Suppose -b*v = -c*v - 30. Is v a composite number?
True
Is (24/3 + -1)*37 composite?
True
Suppose -5*q = -97 - 858. Is q a composite number?
False
Let b(f) = 420*f**2 + 55*f - 54*f - 1 - 1. Is b(1) composite?
False
Let p(x) = x**3 + 4*x**2 - 7*x - 3. Suppose -4*l - 10 - 42 = 0. Let z = l + 8. Is p(z) a prime number?
True
Is ((-37)/(-1))/(5/85) a composite number?
True
Let a = -604 - -1187. Is a prime?
False
Is (3/(-3))/(5/(-2915)) composite?
True
Suppose -2*r = 5*v - 520 - 661, 1737 = 3*r - 4*v. Is r a composite number?
True
Let i(u) = 2*u + 7. Let p be i(-6). Let l = 50 - p. Is l composite?
True
Let v be (3 + -15)/(6/(-8)). Is ((-74)/(-8))/(4/v) a composite number?
False
Let p(i) = 5*i**2 + i. Let l be p(-1). Let c(v) = v**3 + 4*v**2 + 3*v + 5. Is c(l) prime?
False
Is 0 - 2/(-7) - 24588/(-84) composite?
False
Let r = -17 - -33. Suppose 2*p - 190 = -g - g, -r = -4*g. Is p prime?
False
Let y(v) = -v + 1. Let u be y(4). Let r(z) = -6*z**3 + 3*z**2 + 2*z + 3. Let j be r(u). Let g = j + -129. Is g composite?
True
Suppose -k + 3 = 4. Let z be (-1)/(k - (-66)/67). Suppose 0 = -2*a + z + 7. Is a a prime number?
True
Let c(m) = -6 - 5*m**2 + m - m + m**3. Let b be c(6). Is 461/6 - (-5)/b a prime number?
False
Let p(x) = 231*x + 11. Is p(6) prime?
False
Suppose 10*n - 4857 = 7*n. Is n a prime number?
True
Let h be -1*(-9 + 3/1). Suppose -3*w = -h*w + 75. Is w a prime number?
False
Suppose 17 = -3*x + 1637. Let u = x + -349. Is u a composite number?
False
Let p(d) = -110*d**2 - 6*d - 5. Let i(v) = -331*v**2 - 17*v - 14. Let j(g) = -6*i(g) + 17*p(g). Let c(a) = -3*a + 5. Let n be c(2). Is j(n) a composite number?
True
Let g be (16/(-10))/((-8)/40). Is 906/8 - 2/g a prime number?
True
Suppose -3*j + 5*j = 12. Let l = j + -4. Suppose -l*b = -7 - 157. Is b a prime number?
False
Let m(a) = a**2 + 4*a - 3. Let i be m(-5). Suppose 590 = -i*x + 4*x. Is x prime?
False
Suppose 0 = 5*i + 5*r + 20, -4*r = -3*i + 11 + 5. Is -2 + i + -1 - -10 composite?
False
Suppose 4*k + 0*s = -4*s + 24, 0 = -k - 3*s + 8. Suppose -5*d - 18 = -2*b - 78, k*d - b - 65 = 0. Let w = 9 + d. Is w a composite number?
False
Let k = 4 + -2. Suppose h - k = 1. Suppose 100 = h*y + 22. Is y a composite number?
True
Suppose 0 = 4*q - 2*x - 1042, 2*x + 1325 = 5*q + 4*x. Is q composite?
False
Let m = 817 - -1374. Is m a composite number?
True
Let c be (40/14)/((-4)/(-14)). Suppose 5*w = 2*d + 13, 5*w - 4*d - d - c = 0. Suppose -w*l + 0*l = -57. Is l a composite number?
False
Suppose 5*h + 3857 = 3*q, 0*h - 2567 = -2*q - h. Suppose -q = -4*s - 4*l, -s + 4*l + 339 - 18 = 0. Is s a prime number?
False
Suppose 50 = 5*a - 0*a. Suppose -5*h = 20, -3*h - a - 2 = -5*k. Suppose 4*u + 36 = -4*i + 440, k = -u - 5*i + 117. Is u a prime number?
True
Let l(w) = w**3 - 4*w**2 - 3*w - 4. Let a be l(5). Suppose 4 = -5*k - a. Is ((1 + 41)/(-3))/k a composite number?
False
Suppose s - 65 = 2. Is s composite?
False
Suppose d - 745 = 3*l - 6*l, -8 = 4*d. Suppose -3*f = -l - 132. Is f a prime number?
True
Let q = 82 - 51. Suppose -5*k + 11 = q. Is k/(-1)*86/8 prime?
True
Suppose 14 = 3*q + 2. Suppose -131 = -q*u + 3*m, -2*m - 3 = -3*m. Is u prime?
False
Suppose 995 + 37137 = 4*a. Is a prime?
True
Is (-1503)/6*(-4)/6 a prime number?
True
Let i = 551 - 340. Is i a prime number?
True
Suppose -1 - 3 = -2*b. Let q be (-6)/((-1 + b)*-2). Suppose -q*y + 29 = 3*m - 49, -m + 42 = 5*y. Is m a composite number?
True
Suppose v - 2*u + 11 = 0, u - 5*u + 20 = 0. Let t(c) be the third derivative of -7*c**6/10 - c**5/60 - 6*c**2. Is t(v) composite?
False
Let h = 70 - -289. Is h prime?
True
Let c be 10/4 + (-2)/4. Suppose 2*o = c*i + 256, -2*o - 3*o + 634 = i. Is o prime?
True
Suppose 3215 + 5840 = 5*l. Is l a prime number?
True
Let n be 2/(-4) + (-46)/(-4). Suppose 0 = 2*q - 4*p - 30, 4*p + n = q - 0*q. Is q composite?
False
Suppose 5*w - 179 = 6. Is w prime?
True
Let p be 16/(-7) - (-10)/35. Is 0/p - (5 + -72) a prime number?
True
Let k be -24 + (-3 - (-3 + -2)). Is (-18)/(-99) + (-304)/k composite?
True
Let h(j) = j**3 + 7*j**2 - 7*j + 10. Let m be h(-8). Suppose 0 = -f + m + 3. Suppose -37 = -2*k + f*v, 5*v - 15 = -4*k + 104. Is k a composite number?
True
Let a(d) = d - 6. Let r be a(6). Suppose r = -3*p + 2*p + 1. Is (0 + -1)/p + 56 a composite number?
True
Let j(y) = -1 - 2 + 22*y + 4. Let u be j(-2). Let r = u - -134. Is r prime?
False
Let x = -160 - 11. Let v = x - -382. Is v a prime number?
True
Let z(g) = -g**3 - 9*g**2 + 8*g - 5. Let k be z(-10). Is 6200/k + 3/(-9) a prime number?
False
Let m(g) = g**3 - 5*g**2 + g - 3. Let q be m(5). Suppose -260 = 5*a + 5*w, -5*a - 3*w = -q*w + 280. Let b = a + 94. Is b composite?
False
Is (8 + -3)*(72 - -2 - 3) a composite number?
True
Suppose 399 = 4*d - 5*x, 0 = 2*d - 2*x + 7*x - 237. Is d composite?
True
Let y = -7 - -3. Let m be (-366)/y + (-1)/2. Suppose -3*z + 5*n = -m, 0*n = 2*n - 8. Is z prime?
True
Let g = -1496 - -2147. Suppose n = 6*n - p - 20, p = 2*n - 11. Suppose -g = n*b - 6*b. Is b composite?
True
Let v(k) = 25*k - 1. Let f be v(3). Let t(a) = -a**3 - 3*a - 1. Let p be t(3). Let l = p + f. Is l a prime number?
True
Suppose 0*h - 16 = -4*h. Suppose 0*c + h*c - 356 = 0. Is c a composite number?
False
Suppose -60*w + 61*w = 2269. Is w prime?
True
Let p(u) be the third derivative of -11/24*u**4 + 2/3*u**3 + 0*u + 0 + u**2. Is p(-3) a prime number?
True
Let m = -131 - -253. Is m prime?
False
Suppose 2*o - 8*o + 8034 = 0. Is o prime?
False
Let m = 11 - 20. Is 3/m*1*-267 prime?
True
Let a = 10 + -3. Suppose -2*p + a = -19. Is p prime?
True
Let f = 47 + -34. Let s(t) = t**3 - 13*t**2 + 8*t - 17. Is s(f) prime?
False
Let i(w) = w + 2. Let t be i(7). Suppose 4*n + 935 = t*n. Is n a composite number?
True
Suppose -4*k + k = -150. Suppose -3*y - k = -8*y. Suppose p + 2*d - y = 53, -48 = -p + d. Is p composite?
False
Let j(i) = 44*i**2 + 5*i + 2. Let d(p) = -22*p**2 - 3*p - 1. Let m(u) = 7*d(u) + 4*j(u). Suppose -2 + 1 = -v. Is m(v) a prime number?
False
Let q(j) = j**2 - 8*j - 9. Let a be q(9). Suppose a = h - 2. Is (2/4)/(h/340) a prime number?
False
Suppose 1 = -5*c - 5*w - 29, c - 4*w = -16. Is (-456)/c + (-1 - -3) a composite number?
False
Let k = -779 + 1225. Is (k/(-8))/((-4)/16) composite?
False
Let c(s) = 10 - 10*s + 0 - 2 - s. Is c(-7) a prime number?
False
Let d = 1492 + -881. Is d prime?
False
Suppose -d + 2*p - 5*p + 146 = 0, -5*p + 291 = 2*d. Let k = d - -80. Is k a composite number?
False
Let o = 443 - -230. Is o prime?
True
Let n(k) = k**2 + 7*k + 4. Let l be n(-7). Let v = 58 + -55. Suppose -a + 25 = l*y, 2*a = v*y - a - 30. Is y prime?
True
Let r = -42 - -160. Suppose -r = -h - h. Let w = h + -40. Is w a prime number?
True
Suppose f = -4*f + 15. Let g(h) = -h**3 + 3*h**2 + 3*h + 3. Let u be g(f). Is -393*(u/9)/(-4) prime?
True
Suppose 0 = i - 12 + 4. Let y be 36/i - 2/4. Suppose 101 = 2*b + y*c - 41, -3*c = -3*b + 186. Is b prime?
False
Suppose 0 = 5*a - 2*a - 3. Let l be 0 + 1 + a + 0. Is l/(2 - 36/21) composite?
False
Let q(y) = -30*y**3 - y**2 + y + 1. Let c be q(-1). Let s = c + -8. Let u = -7 + s. Is u composite?
True
Let g be 1*(-1 - -2) + 2. Suppose -u + 35 = 4*f - g*f, 0 = -5*f + 10. Suppose -v = -u - 80. Is v a composite number?
False
Let u(t