l = -5*l - 367. Is y prime?
True
Let f(v) = 599*v**2 - 24*v - 124. Is f(-5) a composite number?
True
Let p = 32 - 33. Is (-224 - p)/((1 + 2)/(-3)) prime?
True
Let g be (-1 - 1)/1 + -103. Let u = 1549 - g. Is u prime?
False
Let c = 7122 - 2151. Is c a prime number?
False
Let m(f) = -5471*f**2 - 1. Let v be m(-1). Let y = 12605 + v. Is y a prime number?
False
Let c(m) = m**3 - 7*m**2 - 45*m - 28. Let b be c(21). Suppose 0 = 13*v - 20*v + b. Is v a prime number?
True
Suppose 4*s - 22 = 6. Is 986/(-4)*s/(7/(-2)) prime?
False
Suppose -5*k = -1215 - 7185. Suppose -4*u + r = -1690, 4*u = -5*r + r + k. Is u a prime number?
False
Suppose 3*q = -2*a - 3*a + 30, -4*a + 3*q = 3. Suppose a*f - 1796 = -f. Is f prime?
True
Let v = 16 - 11. Suppose h - 8 = v*h, -5*w + 4*h + 593 = 0. Let q = w - 22. Is q composite?
True
Let t(a) = -a**2. Let v be t(-1). Let l be (-10)/(-4) + v/(-2). Is ((-2)/l)/(24/(-1332)) composite?
False
Let u(h) = 88*h**3 + 15*h**2 + 10*h - 11. Is u(6) a composite number?
False
Suppose -9 = -v + 3*r, -8*v + 3*v + 63 = 3*r. Let f = -11 + v. Is (1449/27)/(f/3) prime?
False
Suppose 5*m = -c - 1 - 2, -12 = -5*m + 4*c. Suppose -s = -m*s + 138. Let y = 199 - s. Is y a prime number?
True
Let s = -7 - -11. Suppose 0*z - 2*z = -s. Is 97/(2 + z + -3) prime?
True
Is (6298/4)/(-4 - -3)*-2 a prime number?
False
Let p(g) be the third derivative of -g**8/6720 - g**6/720 + 259*g**5/120 - g**4/12 - 6*g**2. Let k(w) be the second derivative of p(w). Is k(0) prime?
False
Let n = -4100 + 6945. Is n a prime number?
False
Let x(a) = -3*a**3 + 4*a**2 + 6*a + 34. Is x(-15) a composite number?
True
Let o(y) = -3*y - 18. Let u be o(-6). Suppose u = -5*f + 7*f - 1310. Is f composite?
True
Suppose 0 = -4*a + 12671 + 33645. Is a a prime number?
True
Let k be 0/4 + -3 - -9. Suppose -k = 3*d + 6. Is 12 - (-4 + 0)/d composite?
False
Let j be (18/(-12))/(22/(-12) + 2). Is ((-3)/j)/(5/18885) composite?
False
Let l = -4597 + 8198. Is l a prime number?
False
Suppose -2*q = -5*q + 12. Suppose g + q*m = 5*g + 20, -3*m = 3*g - 9. Is (-4)/8*(-21 + g) a composite number?
False
Suppose 4*a + 25 = -5*z - 50, 0 = -2*a + 3*z - 43. Let y = 5 + -1. Is a/15*(-174)/y a prime number?
False
Suppose -1065 = -4*n - d, 334 - 64 = n + d. Let a = n + -152. Is a prime?
True
Suppose 5*c - 2*c - 1 = 5*l, 5*c + 4*l = 14. Suppose 0 = c*b - 6*b + 36. Is 690/b + 3/9 a composite number?
True
Suppose 1280 + 619 = 9*j. Is j - 0/(5 + -3) prime?
True
Suppose -s - 4*k + 11 + 1 = 0, 0 = -2*s + 5*k - 28. Let a be (-1)/((-3)/(-6)) - s. Is a + 1 - (-373 + 5) a prime number?
False
Let j = 29 - 26. Suppose -j*c + c = 2, -5*c = 2*z - 465. Is z a composite number?
True
Let s(u) = 2*u + 22. Let r be s(-9). Suppose -3*a + 2*d = -25 + 2, d + r = 0. Suppose -a*c - q + 392 = -0*c, 0 = -2*c + 5*q + 173. Is c composite?
False
Suppose -19*n - 50849 = -460356. Is n a composite number?
True
Let a(o) be the second derivative of -2*o**3/3 - o**2/2 + 13*o. Let t be a(-1). Suppose -t*r + 1007 = -1294. Is r composite?
True
Let t(w) = -w**3 - 4*w**2 - 6*w + 11. Let q(o) = -2*o**3 - 7*o**2 - 13*o + 23. Let z(i) = 2*q(i) - 5*t(i). Is z(6) prime?
False
Suppose 0 = -330*r + 328*r + 37742. Is r composite?
True
Let g(n) = -n**3 + 4*n**2 - 4. Let o be 12/30 - (-34)/(-10). Is g(o) a prime number?
True
Let w = -1395 + 3632. Is w prime?
True
Let b be 1 + (-2)/((-10)/5). Let n be (-446)/4*-1*b. Let y = n - 66. Is y composite?
False
Let i = 2790 + 1003. Is i prime?
True
Suppose 0 = -5*k - 4*u + 6, -3*k + u + 7 = -0*k. Suppose -2410 = -4*y + 5*v, k*v + 3006 = 5*y - v. Let i = y + -283. Is i a composite number?
False
Let n(p) = p**3 - 10*p**2 + 8*p - 20. Let j be n(9). Let m = 98 + j. Is m prime?
False
Suppose 6*y - 4*y = 0. Let q = 66 - 59. Suppose y*v + 385 = q*v. Is v prime?
False
Let r = 2805 + -1918. Is r composite?
False
Suppose 5 = -5*l, -5*l - 15611 = -2*k + 2240. Is k prime?
True
Is (-928)/(-32)*1286*(-4)/(-8) prime?
False
Let n = -29 - -56. Let w be (9/4)/(n/792). Suppose v = 3*v - w. Is v prime?
False
Let k(y) = -42*y**3 + y**2 - 7*y + 62. Is k(-7) a composite number?
True
Let r be (-7)/(-1)*(-4 + 6). Let k = -11 + r. Suppose k*d - 2*c = 353, -3*c + 563 = 5*d - 0*c. Is d a composite number?
True
Suppose 0 = x - 2*f + 4, x = -2*f + f + 5. Suppose 5*y = -3*h + 11, 0 = 2*y + 4*h + 4. Is 10*7/y*x a composite number?
True
Let j(y) = -88*y**3 + 7*y**2 - 13*y - 25. Is j(-5) a composite number?
True
Let w(m) = -m**3 + 4*m**2 + 4*m + 5. Let f be w(5). Suppose f = 3*h - 6*h + 12. Suppose n + 1749 = h*n. Is n composite?
True
Let t(g) = 2*g - 19. Let d be t(14). Suppose -5*w + 5 = -10, -d = 3*j + 4*w. Is (j - -10) + 67*4 prime?
True
Suppose 4*d - 11 = 3*h - 0*d, 24 = 3*h + 3*d. Suppose -5*t + f - 34 = 0, -3*t - h*f - 23 = -f. Let k = 14 + t. Is k a composite number?
False
Suppose -h + 39 = 15. Let g = h - 17. Suppose -4*j = -g - 141. Is j a prime number?
True
Is (3/(-2))/(-3)*(0 - -13118) composite?
True
Let d be (-788)/22 + 30/(-165). Let v = 105 + d. Is v prime?
False
Is 15*388*(-1)/(-12) composite?
True
Let l be 8/24 + 22/6. Suppose -l*x - 345 = -9*x. Is x a prime number?
False
Let m be -2 + -1 + (36/4 - -4). Is 18/30 - (-4084)/m composite?
False
Let i be (149 - -1)*8*1/5. Suppose -2121 - i = -3*y. Is y a prime number?
True
Suppose -115 = 11*j - 1655. Let n = 319 - j. Is n a prime number?
True
Suppose -1582 = -d + 5*u + 2809, -5*d = 4*u - 22071. Is d a prime number?
False
Let m = 3343 - -8254. Is m composite?
False
Let r(s) = -s**3 + 5*s**2 + 3*s + 18. Let k be r(6). Suppose 2*i + 347 - 1021 = k. Is i a prime number?
True
Let j = -548 + 4831. Is j composite?
False
Suppose -1746 = -5*z - n + 84414, 2*n + 68914 = 4*z. Is z prime?
True
Let p(k) = -k**3 - 7*k**2 - 3*k + 9. Let l be p(-6). Let z(a) be the second derivative of -3*a**3 - 17*a**2/2 - a. Is z(l) prime?
False
Suppose g - 4*o - 6 = -g, -6 = -2*g - 3*o. Suppose g*v = 14*v - 2783. Is v a composite number?
True
Let q be 44 - -1 - (-1 + 4). Is 25739/q + 1/6 prime?
True
Is 48/(-288) - (-561487)/6 prime?
True
Let r(g) be the first derivative of g**3/3 - 5*g**2/2 + 4*g - 5. Let f be r(5). Is 477/(-6)*f/(-6) a prime number?
True
Let m(z) = 180*z**2 + 133*z + 61. Is m(-14) prime?
True
Suppose -48*o = -62*o + 91882. Is o a composite number?
False
Let m = 1 - -5. Let j be (-7)/28 + (-18)/(-8). Suppose -3*n = a - 41, m = -j*n - n. Is a a prime number?
True
Is ((-6)/15)/(10/(-94475)) prime?
True
Let w(v) = 225*v - 199. Is w(16) a composite number?
True
Let v = 74 - 68. Let c(o) = 25*o**2 - 7*o + 19. Is c(v) a prime number?
True
Suppose -5*x - 12 = -37. Suppose -x*g - 30 + 10 = 0. Is (-6)/(g + (4 - 2)) a composite number?
False
Suppose -13*c - 420357 = -34*c. Is c a prime number?
False
Let x(c) = 78*c + 7. Is x(4) composite?
True
Is (-1*6899/5)/((-1)/5) composite?
False
Suppose 10*f - 15*f = 5. Let o = f - -5. Suppose 3*a - o*a + 445 = 0. Is a a prime number?
False
Suppose -4*p + 3*c + 0*c = -156, 5*p - 3*c - 198 = 0. Let g be 1/4 + 91/52. Suppose -g*j = -144 + p. Is j a prime number?
False
Let g be (-38)/57 - (-1 - (-42598)/(-6)). Let i = g - 3637. Is i a composite number?
False
Suppose -18*x + 21*x + 984 = 0. Let i = 727 - x. Is i a prime number?
False
Suppose 0 = 3*i - 24 + 36. Let v(s) be the third derivative of -s**6/120 + s**4/8 + s**3/2 - s**2. Is v(i) a prime number?
False
Suppose -24 = -12*f - 0*f. Suppose 5*a - 821 = 3*v, -f*a - 3*a + 813 = v. Is a prime?
True
Let k(u) be the first derivative of -5 + 2*u**2 - 4/3*u**3 + u + 3/2*u**4. Is k(4) a composite number?
False
Let z = 8 - 8. Suppose -2*a - 10 = -3*n + n, z = -n + 4*a + 14. Suppose -n*l = 4*b - 206, -57 = -l - 5*b + 61. Is l a prime number?
False
Let g = -16 + -17. Let f be -24*(672/18)/(-14). Let w = g + f. Is w composite?
False
Let d(j) = -j**2 + 8*j - 7. Let i be d(7). Suppose 2*y = 3*l + 458, i*l + 1191 = 5*y + 4*l. Is y prime?
False
Let j(u) = -1316*u**3 - u - 1. Let d be j(-1). Suppose 0 = -6*x + 2*x + d. Is x composite?
True
Suppose -l = 2*o - 45748, 3*o - 68622 = -0*l + 4*l. Is o a prime number?
False
Let j(o) = -6*o**2 + 319 - o**3 + 3*o**2 + 4*o**2. Is j(0) prime?
False
Let c(q) = 2*q**3 - 26*q**2 - 5*q + 14. Let w be c(14). Suppose -163 - w = -t. Is t composite?
False
Let z(d) = -d**2 + 10*d - 8. Let w be z(8). Suppose