posite?
False
Is 2/7 - 192720/(-112) composite?
False
Let s be 69*((-4)/1)/4. Is 1 - s - (-2 - -1) a prime number?
True
Is (-1)/2*(-2 + -6*112) a composite number?
False
Let i(p) be the first derivative of p**3/3 + 9*p**2/2 + 9*p - 2. Let j be i(-7). Is (-74)/8*(j - -1) composite?
False
Let s = -75 - -171. Let c be (177/(-12))/((-3)/(-12)). Let q = c + s. Is q a composite number?
False
Suppose 5*d = 8 + 87. Is d prime?
True
Let f(y) = -y**2 + y - 1. Let g = -4 - -6. Let r be f(g). Is (-197)/r + (-2)/3 composite?
True
Let i(k) = -k**3 - 4*k**2 + 4*k - 1. Let m be i(-5). Suppose -v - 5 + 0 = 0, 2*u + m*v = 0. Is u composite?
True
Let h = -19 - -18. Is 1/(-2)*1142/h a composite number?
False
Let q = 57 - 38. Is q prime?
True
Let v be ((-146)/3)/(2/(-3)). Let d = -48 + v. Is d a composite number?
True
Let y(a) = -6*a + 6. Let s be y(-7). Suppose -s + 17 = -d. Is d prime?
True
Let d = 10 - 12. Is (-223)/d + 2/(-4) composite?
True
Let d(j) = -j + 8. Let b be d(4). Suppose -2*l + 3*v = -143, l - v + b*v = 58. Is l a prime number?
True
Let y(b) = 43*b**3 - 5*b**2 - 1. Is y(2) a composite number?
True
Suppose 4*h + 3*r - 188 = 0, 0 = -h - 2*r - r + 47. Is h a prime number?
True
Let r = 1888 + -41. Is r a composite number?
False
Let n = 47 - 7. Let y be ((-6)/(-4))/((-3)/n). Let m = 42 + y. Is m composite?
True
Let i be (3 - 2) + (1015 - 1). Suppose 7*q - i = 2*q. Is q prime?
False
Let z = -21 - -29. Let k be z*(2 - (-9)/(-6)). Is (-2815)/(-25) + k/10 prime?
True
Let w(h) = -29*h - 1. Let m(k) = -28*k - 1. Let y(q) = 3*m(q) - 2*w(q). Is y(-5) a composite number?
True
Let d = -463 - -1208. Is d a prime number?
False
Let f(b) = 53*b**2 + b + 1. Suppose 0 = 2*s - 6*i + 2*i - 12, 16 = -4*i. Is f(s) a prime number?
True
Let u(a) = a**2 + 14*a + 62. Is u(-21) a prime number?
False
Suppose 3*l - l - 5*m = 107, -5*l + 3*m = -258. Is l a prime number?
False
Suppose -j - 4443 = -4*j. Is j a prime number?
True
Is 6/15 - (-3318)/30 composite?
True
Let n = 0 + 6. Let h(z) = 15*z + 4. Is h(n) a prime number?
False
Suppose 4*y + 15944 = 39544. Suppose 0 = -4*a - 2*q - 768 + y, -4*q - 2586 = -2*a. Is a a composite number?
True
Suppose 0 = -h + 9*h - 5944. Is h prime?
True
Let h be ((-1 - 1)*42)/(-1). Suppose 3*x - 7*x + h = 0. Is x composite?
True
Is (-2)/(-6) + 2256/9 prime?
True
Let v = 2 + -2. Suppose 3*m - 7 - 11 = v. Is 5 - (m*-1)/3 a prime number?
True
Suppose -3*x = -3*q, 4*q - 4 = -16. Let o(p) = p**3 + 2*p**2 - 2*p + 3. Let j be o(x). Suppose c + 2*c - 6 = 0, j = 3*u - c - 64. Is u composite?
True
Let u = -36 + 79. Suppose -4*y = -579 + u. Is y prime?
False
Let r(s) = -s**3 - 8*s**2 - 10*s - 5. Let o be r(-7). Suppose 2*x + 4*h = -0 + 2, 0 = -h - 2. Let c = o - x. Is c a prime number?
True
Let o = -9 - -30. Let s = 40 - o. Is s prime?
True
Suppose 0 = 2*d + 126 - 484. Is d composite?
False
Let n = -23 - -25. Suppose -n*b + 210 = -236. Is b a prime number?
True
Let q = -5 - -9. Suppose -3*c + q*c = 4. Suppose 3*w + 149 = c*k, -2*k + 4*k - w - 75 = 0. Is k composite?
True
Suppose -9205 = y - 6*y. Is y prime?
False
Suppose -4*w - 2966 = -2*r + 1232, 2*w = 0. Is r prime?
True
Let d(p) = -2*p**3 - 6*p**2 - p + 1. Let j(n) = -5*n**3 - 2*n + 1. Let o be j(1). Is d(o) a composite number?
False
Let z(u) = -u**2 + 6*u - 5. Let y(r) = -r**3 - 5*r**2 + 4*r - 6. Let s be y(-6). Let g be z(s). Let a = 8 + g. Is a a composite number?
False
Let b = -121 + 360. Is b composite?
False
Suppose -157 = -j + 360. Let p = 747 - j. Let s = p + -135. Is s a prime number?
False
Let o(q) = 5*q**2 - 5*q + 5. Let g = -3 + 7. Let d be o(g). Suppose 3*i + 2*l = 6*l + 95, -2*i = -3*l - d. Is i prime?
False
Suppose p + 1 = -2*x, 0*p - 6 = -3*p - 3*x. Suppose -w = -3, -2*j + 196 + 43 = -p*w. Suppose 4*i + 35 = j. Is i composite?
False
Is (-8 - -299)/(0 - -1) a composite number?
True
Suppose -2*k - 307 = -3*k. Is k composite?
False
Let b(c) = c**2 - 2*c + 2. Let k be b(2). Let g be (-52)/(-14) + k/7. Is -3*(3 - 4) + g composite?
False
Let t be (5730/(-12))/(1/(-2)). Suppose t = a + 4*a. Is a a composite number?
False
Let l = 900 - 599. Is l a prime number?
False
Let u = 53 + -29. Suppose 5*t - u = t. Is 109 + 0*(-2)/t a composite number?
False
Let f = -7 - -4. Is f + (519 - -1)/4 composite?
False
Suppose -4*m = -8 - 0. Suppose 0 = m*j - 27 - 111. Is j a prime number?
False
Suppose -25 = 5*s, 5*l + 3*s - 4964 = 516. Is l composite?
True
Let y(f) = f**2 + 3*f + 17. Is y(21) composite?
False
Let s = 3 - -1. Let t = 7 - s. Suppose 0 = -j + 3, t*j + 199 + 79 = a. Is a a prime number?
False
Is 73 + 16 + 0/(-1) composite?
False
Let a(j) = 5*j - 3. Suppose 0*k = 2*k - 28. Is a(k) composite?
False
Let j(i) = -191*i**2 - 2*i - 1. Let u be j(-1). Is u*(-3)/(3 + 3) prime?
False
Suppose -y - 2*y + 36 = 0. Suppose -4*m = y, 5*o + 2*m - 3 = -59. Is (-4)/o + 26/10 composite?
False
Let j = -7 + 9. Is 75/(-9)*(-1 - j) composite?
True
Let x(y) = -y**2 + 8*y - 2. Let p be x(6). Suppose o + c = -2*c - 6, -5*c = -o + p. Is (o - 22)*(-14)/4 a composite number?
True
Is 787 - 0 - (-1 + 1) prime?
True
Suppose 0 = 4*g + j + 23, 2*g + 2*g + 20 = -4*j. Is (-122)/(-6) + (-4)/g a prime number?
False
Let k = 6 - 10. Let v = 7 + k. Suppose v*s + 130 = 4*w + s, w = -2*s + 45. Is w a prime number?
False
Let a(m) = -9*m - 3 + 7 + 0*m. Is a(-3) a prime number?
True
Suppose 3*m = -0 + 3. Suppose -m = -y + 13. Let u = y + 25. Is u prime?
False
Let h(p) = -p**2 + 8*p - 5. Let g be h(7). Suppose 4*s = -g*d + 162, 3*d + 76 = 4*d - 3*s. Is d composite?
False
Let y be ((-352)/(-12))/(-4)*-3. Suppose y = l - 91. Is l composite?
False
Let g(x) = 187*x + 3. Is g(2) composite?
True
Suppose n = -2 + 1. Let k = n + 3. Is 3/(-6) + 149/k a prime number?
False
Let v(b) = 14*b**2 + 12*b - 6. Let j be v(-9). Suppose -g + j = 3*g. Is (-1)/((-513)/g - -2) a prime number?
False
Suppose 3*u + 135 = -2*u. Let q be ((-9)/u)/((-1)/(-24)). Suppose 14 = q*d - 6*d. Is d composite?
False
Let w(d) = d**2 - 4*d + 4. Let q be w(3). Let s be (q + -2)*(4 + -2). Is s*(-1 + 195/(-6)) prime?
True
Is 4602/15 + (-7)/(-35) composite?
False
Let i(z) = -z**3 - z**2 + 4*z + 6. Is i(-8) a composite number?
True
Let n = 208 - 115. Suppose 2*f + 2*g - 173 = n, f = 2*g + 139. Suppose -3*r = -5*p - 37, p + 36 - f = -5*r. Is r a composite number?
False
Suppose 5*s - 105 = 2*t - 12, -2*t - 4*s - 102 = 0. Let v = t - -116. Is v a composite number?
False
Is ((-1)/2*502)/(-1) prime?
True
Suppose 6*a - 19 = -1. Suppose 0 = -n - 2, -4*n - 230 = -a*d - 0*d. Is d prime?
False
Suppose 5*v + 2 = -4*l - 0*v, -l = 5*v + 8. Suppose -94 = -l*y - i - 0*i, 0 = -2*y + 3*i + 86. Is y prime?
False
Let l = 0 - 2. Is 20 - (-3)/((-3)/l) prime?
False
Let q(x) be the third derivative of 53*x**4/24 - x**2. Is q(1) prime?
True
Let j(l) = 3*l**2 + 2*l. Let u be j(-2). Suppose -3*i = 2*i + f - 10, -i + f + u = 0. Suppose 254 = -i*w + 5*w. Is w prime?
True
Suppose 253 + 319 = 4*c. Suppose -3*o + 3*u = -c - 196, -u + 113 = o. Is o composite?
False
Let f be 1 + -5 + 7 + 2. Let u = -16 - -27. Let s = u - f. Is s a prime number?
False
Suppose -11 = 2*h - 145. Suppose 0*b = -b + h. Is b composite?
False
Let z be 0*((-6)/(-2))/(-6). Let f be ((-3)/(-9) + z)*15. Suppose -40 = -q - f*r - 10, -3 = -r. Is q a prime number?
False
Let t be 12/(-4) - -1*11. Suppose 3*s - 401 = 4*z, 4*z = 8 + t. Is s a prime number?
True
Let d(k) = 13*k + 10. Is d(9) composite?
False
Suppose 0 = -3*m - 5 - 7. Is m/(-22) + 2394/22 a prime number?
True
Suppose -3*x + 2 = -3*t - 7, 2*t = -3*x + 19. Suppose 635 = 3*v + t*v. Is v a prime number?
True
Is 2/((-9)/((-1197)/2)) composite?
True
Suppose -3*f + 28121 = 2*a, 0*f - 3*f + 4*a = -28115. Is (-4)/14 - f/(-49) prime?
True
Let h = -4 + 6. Suppose h*w - 222 + 50 = 0. Is w/(((-12)/(-3))/2) a prime number?
True
Suppose 0 = 4*w + 6 - 18. Suppose h - 2*h + w = 0. Is h prime?
True
Let p = -65 - 68. Let g = 282 + p. Is g composite?
False
Let h(c) = -8 + 7 + 200*c**2 - 16*c**2. Is h(1) composite?
True
Let j(z) = z**3 + 18*z**2 - 4*z - 10. Is j(-17) prime?
True
Is (5/25*5)/(2/154) a prime number?
False
Suppose 3*s + s - 4*g - 8 = 0, -5*g + 14 = s. Let j = s - 4. Suppose -5*h + 27 + 18 = j. Is h prime?
False
Let s be 4*(2 + 1 + 1). Suppose s = 4*y, -3*y = k - y - 85. Is k prime?
False
Let d = 3 +