*v**4 + v**2 + 0*v. Is d(0) a composite number?
True
Let q = 3070 + -1527. Is q prime?
True
Suppose 2*v = 5*v + 4*o - 1801, -2*o + 603 = v. Suppose -2*w - 3*w = -v. Is w composite?
True
Let p be (-1)/(-2) - 1/2. Suppose -5*d + p*d = 40. Is (-2)/1*132/d composite?
True
Let x(j) = j**3 + 9*j**2 - 12*j - 1. Is x(-10) prime?
True
Let l = -4413 - -8966. Is l prime?
False
Let z = -8 + 11. Suppose -3*g - 6*n + 5 = -2*n, 9 = 3*g + z*n. Is g prime?
True
Let j = 3 + -6. Is j - -50*(-4)/(-4) a composite number?
False
Let o(i) = 3*i - 6. Let j be o(-5). Suppose -4*d - 10 - 14 = 0. Let c = d - j. Is c prime?
False
Let l(n) = -n**2 + 6*n + 10. Suppose 3*v - 7 - 14 = 0. Let p be l(v). Suppose 2*s - 70 = -s - 2*f, 60 = 3*s - p*f. Is s composite?
True
Suppose -103 = -3*y + 5*z - z, 0 = 3*y - 2*z - 101. Suppose 4*n + y = 4*o + 5, -3*o = 4*n - 35. Let s(t) = 11*t - 2. Is s(o) a prime number?
True
Let p(b) = -b**2 - 4*b + 5. Let c be p(-5). Suppose a + 2*a - 27 = c. Is a a prime number?
False
Let l be (1 - 3) + 1 + -1. Is (-34 - 4)/(l + 0) a composite number?
False
Let z(f) = 19*f**2 - 9*f - 7. Is z(-3) prime?
True
Is (4 - 6/3) + 51 prime?
True
Let p(i) be the first derivative of i**3 + 0*i**3 - 4*i**3 + 5*i**3 - 3*i**2 - 1 - 2*i. Is p(5) prime?
False
Suppose 5*x - 8 = 7. Let h = 3 - x. Let y(r) = r**3 + r + 7. Is y(h) a composite number?
False
Let j = 14 + -1. Let f(w) = -w**3 + 13*w**2 + 5*w + 14. Is f(j) a composite number?
False
Let d(g) = -g - 4. Let z be d(-7). Suppose z*c - 5 = -29. Let b = c - -12. Is b prime?
False
Let k(o) be the second derivative of o**5/20 - o**4/6 - o**3/2 + 3*o**2/2 + 2*o. Let r be k(3). Suppose r*u - 176 = 55. Is u a composite number?
True
Suppose -y - 5*f = -19, -4*y + f + 19 = -8*y. Let c be (-161)/2 - 3/y. Let k = 41 - c. Is k prime?
False
Let y be (2/3)/(1/(-3)). Is ((-844)/(-8))/((-1)/y) composite?
False
Is (38/(-5))/((-12)/30) a prime number?
True
Suppose 3*r = -3*g + 6, 0*g - 3*g - 4 = -2*r. Suppose 5*s + 15 = -g*s. Is -447*(2 - (-7)/s) a prime number?
True
Suppose -90 = -5*s + 605. Is s a prime number?
True
Is 6256/(-8)*1/(-2) a prime number?
False
Let y(q) = -74*q - 4. Let i be y(-2). Suppose 1741 = k + i. Is k prime?
True
Suppose -s + 0*s - 8 = 0. Let o = 1 - s. Suppose 4*b - o - 47 = 0. Is b a composite number?
True
Let r = -522 + 2779. Is r prime?
False
Suppose a = 3*a - 12094. Is a prime?
True
Let s be 50*1/(-1 - 0). Let y = -33 - s. Suppose -6 = g - y. Is g a prime number?
True
Let f be (-1256)/((-4)/(-1))*2. Is 4 - f/(7 + -3) a prime number?
False
Let z(i) = -19*i**2 + 0 + 16*i**2 + i + i**3 - 8. Is z(6) a composite number?
True
Let u(f) = 3*f + 2 + 0 + 9*f. Let k be u(3). Suppose 0*h + 3*m - k = -h, 4*h = -2*m + 152. Is h composite?
True
Let i be (6/(-5))/((-3)/10). Suppose -5*z + 5*t + 178 = 2*t, 136 = i*z + 4*t. Is z a composite number?
True
Let p = -8 - 0. Let h(w) = w**3 + 11*w**2 + 11*w - 1. Let y be h(p). Let l = y + -48. Is l prime?
False
Let u(c) = 15*c - 8. Is u(9) composite?
False
Suppose 4 = 2*f - 2. Suppose -2*b + 146 = -0*b - f*x, -4*b - 3*x + 256 = 0. Is b composite?
False
Suppose 0 = -0*v + 3*v - 81. Suppose 5*o - 3*o = 5*t - v, 4*t - 15 = -5*o. Is ((-1 + 80)*-1)/o prime?
True
Let k = 1145 + -701. Suppose k = -0*u + 3*u. Let q = 311 - u. Is q a composite number?
False
Let z be (-2)/(-2) + 4 + -1. Suppose z*k - 2 - 14 = 0. Suppose 0 = k*f - 163 - 105. Is f a composite number?
False
Let o(i) = -3*i**2 - i - 55. Let l(u) = 8*u**2 + 3*u + 166. Let v(y) = 4*l(y) + 11*o(y). Is v(0) a composite number?
False
Suppose 5*q - 2218 = 3*n, -5*n - 299 = -5*q + 1921. Is q a prime number?
True
Suppose -3*p = p - 8. Let a be p/(-6) + (-56)/(-6). Suppose -2*b + 29 = 3*t, a = -4*t + t. Is b a composite number?
False
Let j = 0 - 0. Suppose j = 5*p + 5*r - 790, 454 = 5*p - 5*r - 306. Is p a prime number?
False
Let h = -3 - -5. Suppose h*c - 3*j = -4*j + 170, -4*c = 4*j - 340. Is c a prime number?
False
Suppose -2*y - 4 = -0. Suppose -3*x = -4*f - 6, -f + 2*x = 4*x - 4. Is f/y - 2 - -36 prime?
False
Suppose -2*q - q - 16 = -2*g, -2*g + 4*q + 18 = 0. Suppose -g = -4*r + 15. Suppose 4*d + 54 = 3*y, -4*y = -3*d + r*d - 50. Is y prime?
False
Let k(h) be the first derivative of -h**4/4 + h**3/3 + 38*h + 1. Let r be k(0). Let g = r - 19. Is g a prime number?
True
Suppose -4*j + 46 = -2*b, 6*j - 4*b = 2*j + 56. Is (52/(-6))/((-6)/j) a prime number?
True
Suppose 0 = 5*t - 1884 + 419. Is t a composite number?
False
Let l = -387 + 674. Is l composite?
True
Is 38144/320 + 1 + (-12)/10 a composite number?
True
Let w = 6 - 9. Let k = w - -5. Suppose -4*m - 4*s = -136, 4*m - k*s + s - 141 = 0. Is m prime?
False
Suppose 2*i = 3*i + 8. Let k(t) = 20*t**2 - 14*t + 3. Let j(a) = 7*a**2 - 5*a + 1. Let m(l) = i*j(l) + 3*k(l). Is m(2) a prime number?
True
Let a(i) = i**2 - 6*i - 9. Suppose 4*x - 2 = 3*g - 15, 0 = -2*g + 2*x + 10. Let p be a(g). Let c(v) = -2*v**3 + v**2 + 2. Is c(p) a prime number?
False
Let k(l) = 2*l**2 - 2*l + 1. Let c be k(2). Let i = c + -3. Suppose 5*b - 55 = -i*f, 5*b + 20 = 2*f + 3*b. Is f a prime number?
False
Is (37/(-1))/(7 + -8) composite?
False
Is (-9)/(162/(-30768)) - 2/6 composite?
False
Is 4/(-10) - 42279/(-85) a prime number?
False
Let g be 6 + (-6)/(-1 + 4). Let d = g + -3. Is 5/5 - (-53 + d) a composite number?
False
Let b(s) = 3*s + 3*s**2 + 6*s**2 + 3 - 7*s**2. Let m be b(-2). Suppose -4*n + m*i = i - 180, -33 = -n - 5*i. Is n a prime number?
True
Suppose -43 + 143 = 4*s. Suppose -5*c + s + 1960 = 0. Is c a composite number?
False
Suppose -2*d - 20 = -5*w, -4*w = -5*d + 2*d - 23. Let a(u) = -10*u + 3 + 46*u - w. Is a(1) composite?
False
Let w(r) = -r**3 - 8*r**2 - 6*r + 6. Let y be w(-7). Is 1/(((-1)/191)/y) composite?
False
Let v(q) = 2*q - 3. Let m be v(-3). Let g = -35 + m. Let p = 5 - g. Is p prime?
False
Suppose c + 0 = 37. Is c prime?
True
Suppose -3*y = -4*h + 9, 3*h - 2*y - 4 = 3. Suppose h*v = 4*w + 2*v - 598, 3*w - 5*v = 457. Is w a prime number?
True
Let x = 5651 - 3448. Is x prime?
True
Let s be 1*(-1 + 3) - 4. Let n be (-2 + (-9)/(-2))*s. Let g = 18 - n. Is g a prime number?
True
Suppose y = -s + 92, 0 = -0*s + 2*s + 3*y - 187. Is s a prime number?
True
Let c = -5 + 6. Let y = c - -22. Is y composite?
False
Is (-16690)/(-30) + (-4)/(-6) composite?
False
Is 404*((-7)/(-2))/7 composite?
True
Suppose 109 + 114 = 5*x + u, 0 = -2*x + 4*u + 76. Suppose x = 2*h - 130. Is h prime?
False
Let b be (-7)/(42/4)*-3. Suppose 468 = 4*d - 4*m, b*d - 2 - 226 = -m. Is d a prime number?
False
Let t(q) = 2*q + 1. Let p be t(3). Let z = p - -5. Is ((-10)/(-8))/(1/z) a prime number?
False
Suppose -5*f = -4746 - 689. Is f a composite number?
False
Let j(b) = -6*b. Let a be j(1). Let f be 1/a + (-2375)/(-30). Suppose i - f = 10. Is i composite?
False
Let n = 0 - 0. Suppose m - 1 + 2 = n. Let z(t) = 32*t**2 + 1. Is z(m) prime?
False
Suppose -3*g + 6 + 12 = 0. Suppose c = -c + g. Suppose -c*w + 2 = -w, 3*w + 50 = s. Is s a composite number?
False
Is (-20 + -1)*50/(-30) a prime number?
False
Let i = 57 - -2. Suppose 0 = -5*y - b + 42, -7 - 7 = -2*y + b. Let x = y + i. Is x prime?
True
Suppose -3*d + 2481 + 546 = 0. Is d a composite number?
False
Let r = 911 - 426. Suppose 4*d - 1633 = -r. Is d composite?
True
Let y = -17 - -32. Suppose 4*k + 626 = 3*d - 583, y = 5*k. Is d a composite number?
True
Suppose 0 = 5*r + 3*m - 1316, m + 515 = 2*r + 6*m. Is r composite?
True
Suppose -3 = 3*j + 6, j + 143 = 2*t. Suppose t = 3*p - 8. Is p prime?
False
Let n(y) = -2*y**2 + 5*y - 8. Let r be n(-7). Let m = r + 250. Is m composite?
False
Let n(w) = 5*w + 4. Suppose -6*a + 18 = -3*a. Is n(a) a composite number?
True
Let j = -124 + 243. Is j prime?
False
Suppose j = 3*m - 6 - 2, -m = -4*j + 12. Is 2/(m - 1170/293) a composite number?
False
Suppose -5*c - 262 = 4*s - 4496, -4*s + 3*c = -4250. Is s a prime number?
True
Let u(q) = -834*q**2 + q - 1. Let g be u(1). Is g/(-4) - (-1)/2 a prime number?
False
Is (14/(-4))/((-4)/136) composite?
True
Let f = -20 - -28. Is (-1)/4 - (-50)/f a prime number?
False
Let u = -10 - -11. Is (12/(-4))/(u/(-41)) composite?
True
Suppose -n + 2*n = 4*u - 415, -409 = -4*u - n. Suppose -d + 360 = 4*f, -2*f + 3*d + 297 = u. Is f a prime number?
False
Let s = 93 + -399. Let a = s + 599. Is a a prime number