s v(-4) a composite number?
False
Suppose 5498 = 5*g - 8597. Is g prime?
True
Let f = 2797 - 1274. Is f a prime number?
True
Let u be (-1)/(693/348 - 2). Suppose o + o = u. Suppose -78 - o = -4*d. Is d a prime number?
False
Let c = -197 - -758. Is 1*(16/4 + c) composite?
True
Suppose -4*o - 12 = 4*v, 3*o + 34 = 3*v + 7. Let c(h) = 2*h**2 - 2 + 4*h + 5 + 4. Is c(o) composite?
True
Let a = -63 + 63. Suppose a = -4*o + 941 + 5183. Is o a composite number?
False
Suppose 0*d = 5*d - 60. Suppose 9*l - d*l + 14583 = 0. Is l prime?
True
Let m = -285 + 2132. Is m a composite number?
False
Is ((-55)/(-5) - 12)/((-1)/6931) a prime number?
False
Suppose 484 = 7*i - 8007. Is i composite?
False
Let d(t) be the third derivative of -5/24*t**4 - 7/6*t**3 + 1/60*t**5 + 0*t + 0 - 2*t**2. Is d(-6) composite?
False
Suppose -5*c + 182315 = 3*w, -4*c + 2*w = -2*c - 72926. Is c a composite number?
True
Let g = 83 - 26. Let j(l) = -l**3 + l**2 + 16*l - 12. Let s be j(5). Let i = g + s. Is i a prime number?
False
Let c(l) = l**3 + 15*l**2 + 25. Let a be c(-15). Is -4 - (2/(-5) - 58015/a) a composite number?
True
Is 9 - 2 - (-4704)/1 composite?
True
Suppose 0 = 5*w - 5*o - 1870, -5*w + 326 + 1512 = 3*o. Let f = w - 131. Let j = f - 160. Is j a prime number?
True
Let i = 9 + -5. Suppose 0 = 2*m - 5*j + 425, 3*m = i*j - 123 - 525. Is 1/3 - m/6 a composite number?
False
Let v(o) = -o**2 + 3629. Is v(0) a prime number?
False
Suppose -c = 2*x - 5*x - 5032, -4*x - c = 6714. Let q = -893 - x. Is q prime?
False
Let t(l) = 19003*l - 56. Is t(1) a prime number?
True
Let y = -11175 - -20204. Is y a composite number?
False
Suppose -5*k - 6 - 19 = 5*y, 2*y + 20 = -4*k. Suppose -3*x - 43 = 5*m, 0*x + 4*x - 16 = y. Is (-13 - m)/((-4)/502) a prime number?
True
Let h(w) = -2*w**3 - 5*w**2 + 2*w - 3. Let k be ((-126)/12)/((-6)/8). Let s be (-160)/28 + (-4)/k. Is h(s) composite?
True
Let r(k) = 2*k**3 + 5*k**2 - 6*k + 12. Let y be r(5). Suppose 0 = 4*l - q - y, 4*l - 3*q = -0*q + 359. Is l prime?
True
Let p(n) = -n**3 + 5*n**2 + 5*n - 2. Let r be p(5). Let s be r*(-25)/5*-11. Suppose -3*z = 2*z - s. Is z a composite number?
True
Suppose 4*h - p - 24 = 3*p, 0 = 5*h + 5*p - 20. Suppose -q = h*q - 8238. Is q prime?
True
Let m(k) be the second derivative of k**5/10 - k**4/2 - k**3/3 - 7*k**2/2 + 14*k. Let f be -2 - (1 - 0)*-7. Is m(f) a prime number?
True
Let v be -1*(8/36 - 2/9). Suppose -2*a + 167 + 1211 = v. Is a composite?
True
Suppose -18*t + 14*t = -16. Let k(u) = 16*u**3 - 2*u**2 - 7. Is k(t) prime?
False
Let m(w) be the second derivative of -19*w**3/6 - 7*w**2 + 9*w. Is m(-7) composite?
True
Suppose 0 = -2*l - p + 3*p, 2*l = 3*p. Suppose l = d - 4 - 0. Suppose -3*c + 190 - 69 = d*n, 63 = 2*n - c. Is n prime?
True
Let k(s) = 2342*s + 3. Let h be k(1). Let z be 1 + h + (0 - 1). Suppose 4*w - 9*w = -z. Is w prime?
False
Let y = -5322 + 24331. Is y composite?
False
Let c(j) = 17299*j + 18. Is c(1) prime?
True
Let b = 6 - 3. Suppose -4*t = -3*l - 1917, -945 = -t - t - b*l. Suppose 5*p - t = 848. Is p composite?
True
Suppose 2*j = 14330 + 5348. Is j a prime number?
True
Suppose 4*g - 270 = g. Suppose -5*l + g = -105. Suppose -d - 157 = -3*y - 6*d, 5*d - l = -y. Is y prime?
True
Suppose 4*y = -55 - 93. Let h = y - -25. Is ((-356)/h)/((-3)/(-27)) prime?
False
Is 1513092/24*(-2)/(-7) composite?
False
Suppose -390*n + 389*n + 895 = 0. Is n a prime number?
False
Let r = -23777 + 59010. Is r composite?
True
Let o(l) = 2*l - 3. Let u be o(3). Suppose -2*k + 251 + 68 = u*v, -v = k - 160. Suppose -n - 4*h = -195, 2*n = 4*h + 181 + k. Is n prime?
True
Suppose 16637 = i - 3*n, -3*n = 4*i - 42263 - 24285. Is i composite?
True
Suppose -5*a = -a. Suppose -5*i - 227 = -2*k - a*i, 5*i + 439 = 4*k. Is k a prime number?
False
Let t(w) = -3 + 0 + 3*w + 0 - 2*w. Let m be t(2). Let c(u) = -238*u - 1. Is c(m) composite?
True
Is (-25)/(225/(-1116))*10/8 prime?
False
Let d be -1*730 + -4 + 3. Let l = d + 225. Is (l/2)/(-8 - -7) a prime number?
False
Let l = -93 - -97. Let k be (-8)/12 + (-22)/(-6). Suppose -4*c = -l*x - 296, -410 = -5*c - 0*x - k*x. Is c composite?
False
Suppose -2*s + 4*d = 3*s - 35149, 0 = 2*s - 2*d - 14058. Is s a composite number?
True
Let l be 3/(-1) - (-13)/1. Suppose 7*h = 9*h - l. Is h*6/(-10)*-37 prime?
False
Let o(m) = 28*m + 1. Let f(w) = -2*w - 7. Let q be f(0). Let g be o(q). Let y = 344 + g. Is y a composite number?
False
Let q(b) = -b**2 - 6*b + 3. Let t be q(-7). Let v = -9 - t. Is 162 + v - (1 + -1) a composite number?
False
Let v(u) = 4*u - 1. Suppose -10 = -5*d - 2*j, -3*d + j = 4 + 1. Let g be 2 - 2 - -3 - d. Is v(g) prime?
True
Let y(b) = b**3 - 2*b + 2. Let s be y(2). Suppose -k = -s*k. Suppose k = 2*q + 118 - 372. Is q a composite number?
False
Suppose -3*s = -2*s - 19. Let t = s - 19. Suppose -k + 1221 - 263 = 5*c, t = -2*c - 4*k + 394. Is c a composite number?
False
Let v = 19 - 12. Suppose -v*c = 182 - 2597. Suppose 0 = -3*s - 4*h + c, 5*h - 110 = 3*s - 428. Is s prime?
False
Let b(z) = -4 - 3*z + 6*z**2 - 6 + z + 11*z. Is b(9) a composite number?
False
Suppose -2*j - 9 = -3*z + j, 2*z - 3*j = 6. Let k = 653 - 651. Suppose c + k*f = 32, -4*f = -4*c - z*f + 137. Is c a prime number?
False
Suppose -12*h = -13*h - 4. Is h/(-10) - 13060/(-100) prime?
True
Suppose 118771 + 15621 = 8*s. Is s a composite number?
True
Let v(g) = 664*g**2 + 7*g - 7. Is v(-4) a composite number?
False
Let x(w) = w**3 + 8*w**2 + 6*w + 3. Let h be x(-7). Let u = h + -7. Suppose -t = -3*b - 71, -u*b - 8 = -b. Is t prime?
True
Suppose -2*u = 5*j - 2196, u + 4*j = -98 + 1196. Let k = -511 + u. Is k a prime number?
True
Let y(i) = i**3 + 8*i**2 - i - 9. Let a be y(-8). Let u be 20/(-10) - a*2. Suppose u*s = 4*s - 140. Is s composite?
True
Suppose b + 1078 = 5*x + 153, 3*x = 4*b + 572. Suppose 0 = -2*c + 10*c - x. Is c a prime number?
True
Suppose 2*l = -2*t - l - 11, -4*t - 2*l - 2 = 0. Suppose 4*o + 1246 = 3*b, -b - t*o + 559 = 137. Is (-2 - 2)/(-8)*b a prime number?
False
Suppose -48676 = -4*j + 3240. Is j prime?
True
Let n be (-105)/(-20) + (-2)/8. Suppose n*y + 20 - 2235 = 0. Is y a composite number?
False
Let x(i) = 8*i + 1383. Is x(0) a prime number?
False
Let s(t) = t**2 + 5*t + 9. Let r be s(-5). Let y(v) = 28*v + 1. Let g be y(-4). Is -3*1*g/r a composite number?
False
Let j = -21 - -1. Is (-8)/j + (-3286)/(-10) a prime number?
False
Suppose 14*a + 22821 = 17*a. Suppose 4*g - a = -z, -2*z + 3*z = -g + 1904. Is g a prime number?
True
Suppose -8*v + 6*v = 10. Let u be 2/v + (-48)/(-20). Is -1*u*121/(-2) composite?
True
Let y = 278 - 114. Suppose 2*r + 0*r - y = 0. Is r a prime number?
False
Suppose 2*n + 3*g - 17274 = -0*n, 3*n - 5*g - 25911 = 0. Suppose 0 = 3*a - 0*a - n. Is a composite?
False
Let p be 3 - 2 - (-4 - -3). Suppose -f + 4098 = 2*f - 3*g, f + p*g - 1351 = 0. Is f a composite number?
False
Suppose 14 = -3*r + 20. Suppose 7*b = 5*i + r*b - 3920, 0 = 3*i - 2*b - 2355. Is i a composite number?
False
Suppose 21*r = -26535 + 202326. Is r a composite number?
True
Let y = -17 - -19. Let u be -3*(y - (-33)/(-9)). Suppose -u*b = -6*b + 109. Is b prime?
True
Let t = -2 + 1. Let c = t - -5. Suppose -c*w = -266 - 266. Is w a composite number?
True
Suppose 0 = -5*i - 2*t - 2, -5*i - 5*t - 2 = 3. Suppose -5 = -n - 4*a + 4, 0 = -3*n + 2*a - 1. Is (-2)/n + 141 + i a prime number?
True
Suppose 4*r = -4 + 20. Suppose -r*y + 5*q + 32 = 0, y - 2 - 13 = 3*q. Suppose -5*c = -y*c - 178. Is c composite?
False
Suppose 85*g - 5726 = 78*g. Is g composite?
True
Let z(s) = s**3 + 4*s**2 + 3*s + 2. Let o be z(-3). Suppose 0 = 5*l - 3*w - 2570, 6*w = o*w + 20. Is l a composite number?
True
Let y(z) = 17*z + 4. Let q(f) = -f - 2. Let a(n) = 6*q(n) + y(n). Is a(17) a composite number?
False
Let i(h) = -8*h - 26. Let j(c) = c**2 - 7*c - 27. Let y(f) = -4*i(f) + 3*j(f). Is y(-7) a prime number?
False
Suppose -x + 478 + 75 = 0. Suppose 0 = -3*m + 4*m - 8. Suppose 0 = -9*w + m*w + x. Is w prime?
False
Let s be (14361/(-84) + 6/(-21))*-4. Suppose -8*b = -9*b + s. Is b a prime number?
False
Suppose 5*g + 5*n = 3405, 0*n - 2*n - 3398 = -5*g. Suppose -w + 483 = -g. Is w a composite number?
False
Let b = -1286 - -571. Let n = 1194 + b. Is n a prime number?
True
Let s(w) = 6*w**2 - 4*w + 8. Is s(7) a prime number?
False
S