 = -b + l*b. Is d prime?
True
Suppose 3290 + 5145 = 7*z. Is z composite?
True
Let z be 218/(-8)*-2*2. Let v = z + -76. Let j = -19 + v. Is j composite?
True
Is 35 - -4 - (1 - 0) a composite number?
True
Suppose 8*i - 192 = 4*i - 2*g, 3*i - g = 139. Is i prime?
True
Let f = -2 - 0. Let g be (1 - 1)/(4 + f). Suppose -22 = -r - 5*h, g*h + 3*h - 139 = -4*r. Is r a composite number?
False
Let o(h) = -h + 2. Let w be ((-2)/6*0)/2. Let k be o(w). Suppose b + 16 = k*y, 4*b = -y - 2*y + 35. Is y a composite number?
True
Is 51/34 - 622/(-4) composite?
False
Suppose 2*z + 917 = 3*p, -2*p + 2*z = -0*z - 612. Is p composite?
True
Let q(b) = 5*b**2 + 3. Suppose 0 = v + 1 + 3. Is q(v) composite?
False
Is (-4)/((-32)/1594)*4 a composite number?
False
Let o be (-8)/(-5) + 2/5. Is -3*-1*(5 - o) a prime number?
False
Let n(q) = q**3 + q. Let x be n(1). Suppose t + 742 = 4*i, -x*i + 4*t = -250 - 128. Is i composite?
True
Let u(q) = -q**3 + 5*q**2 - 5*q + 4. Let x be u(4). Suppose x = 3*g - 2 - 19. Is g a composite number?
False
Let i = 7 - 7. Suppose 5*p + 4*r + 56 = i, -r + 2 = 6. Is (-2)/p + 454/8 a composite number?
True
Suppose 5*f - 24 = 2*f. Is (-4)/(-16) + 294/f a composite number?
False
Let p(y) = -2*y**3 - 5*y**2 + 4*y + 1. Let f(m) = 2*m**3 + 3*m**2 + 2*m + 3. Let n be f(-2). Is p(n) a prime number?
False
Let m(x) = 3*x**2 - 2*x + 1. Let y = 3 + -3. Let l = y + 3. Is m(l) a prime number?
False
Suppose -2*z - 2117 = 3*v - 8152, 5*v = 2*z - 6011. Suppose 2*d + d + 5043 = 5*r, 0 = 3*r - 5*d - z. Is r a prime number?
False
Is (4/(-16))/((-1)/3676) prime?
True
Suppose 0 = -3*p - h + 857, 4 + 0 = 2*h. Suppose 0 = s + 2*s - p. Is s prime?
False
Let w be 2/9 - (-64)/36. Suppose w*b = 4*y - 10, 3*y = 3*b - 0*y + 3. Let c(i) = 2*i**3 - 4*i**2 + 3. Is c(b) a prime number?
False
Let f(u) = 2*u - 5. Let w be f(-6). Let h = -299 - w. Is 3/(-12) - h/8 a prime number?
False
Suppose -5*a - 6 = -1. Is (a - -1)/1 + 199 composite?
False
Suppose 6*i = 3*i + 9. Let k = -25 + 63. Suppose -z - 38 = -2*c + i*z, 5*z + k = 2*c. Is c composite?
False
Let t be 5*((-2)/(-5) - 0). Suppose -t*m = -2*o - 160, -4*o - 2 = 10. Is m a composite number?
True
Suppose x - 3*x + 8 = 0. Suppose x*u + 1059 = 5*j, -3*u = -4*j + 347 + 500. Is j prime?
True
Let v(s) = -9*s**3 + 17*s**2 + 8*s + 13. Let a(z) = 5*z**3 - 9*z**2 - 4*z - 7. Let n(c) = 11*a(c) + 6*v(c). Suppose 0 = -3*t - 2*t + 15. Is n(t) a prime number?
True
Suppose -2*y + 5*m = -4*y + 41, -4*m + 4 = 0. Suppose -s = -h - 3*h + 54, 2*s - y = -h. Is h a prime number?
False
Let x = 160 - -1383. Is x prime?
True
Let c(w) = -88*w**2 - w + 1. Let i be c(1). Let l = i + 153. Suppose 39 + l = 4*z. Is z a composite number?
True
Suppose -5*k + 36605 - 13050 = 0. Is k a prime number?
False
Let z(x) = 29*x + 5. Is z(6) prime?
True
Let b be (110/(-3))/(12/(-18)). Let n = b - 35. Let l = n - 10. Is l composite?
True
Suppose 76*z - 318 = 70*z. Is z a composite number?
False
Let a = -368 - -663. Is a a prime number?
False
Let u = -767 - -1886. Suppose 0 = -5*l + 2*l + u. Is l composite?
False
Let h(l) = l**3 + 9*l**2 - 10*l + 8. Let v be h(-10). Let u = v + -5. Is 420/9 + 1/u a composite number?
False
Let t = 1614 - 1125. Is t composite?
True
Let p(r) = -2*r**3 + 2*r**2. Let k be p(-2). Let f = k - -8. Let z = f - -2. Is z a composite number?
True
Let o(j) = 2*j**3 - 3*j**2 + j - 1. Let i be o(2). Suppose 1 = 3*m + 2*r - i, 0 = m + r - 2. Is m composite?
False
Let z(m) = -14*m - 4. Let l be z(-3). Suppose 0 = -0*d + 3*d. Suppose h + h - l = d. Is h composite?
False
Let i(h) be the first derivative of 2*h + 10*h**3 - 4 + 5*h - 2*h**2 - 4*h. Is i(2) a prime number?
False
Let s(y) = -y**2 + 1. Let j be s(1). Suppose -3*d - d - 5*p + 237 = j, -233 = -4*d - p. Is d prime?
False
Let v(u) = 19*u - 13. Is v(8) a composite number?
False
Suppose -5*z - 8 = j, -2*j + 4*z + 29 = -11. Suppose 4*m - 40 = j. Let o(a) = 3*a - 14. Is o(m) a composite number?
True
Let m = 444 - 151. Is m composite?
False
Let r(t) = 3*t**2 + 7*t - 7. Let p be r(-8). Let x = -52 + p. Is x composite?
True
Suppose u + 3*s - 103 = -2*s, 2*u + 5*s - 226 = 0. Suppose 5*g - 388 = -u. Is g a prime number?
True
Is (2386/5)/(-1*4/(-10)) a composite number?
False
Suppose 5*p + 413 = 2*m, -3*p = 5*m - 7*p - 1075. Is m a prime number?
False
Suppose -5792 = -3*u + 3751. Is u prime?
True
Let h(b) = 36*b. Let m be h(4). Suppose m + 14 = 2*x. Is x a composite number?
False
Let l(c) = c**3 + c**2 + c. Let d(p) = 3*p**3 + 3*p + 3. Let w(j) = d(j) - 6*l(j). Let b be w(-4). Let u = b + -74. Is u prime?
True
Suppose 4*r + r = 565. Is r a composite number?
False
Let c be 0/1 + -1*8. Let w be (-4)/c + 1/(-2). Suppose w = -4*h - 12, -2*j = -5*h - 16 - 13. Is j prime?
True
Let b = 21 + -15. Suppose -894 = -b*r + r - k, 4*r = 5*k + 721. Is r prime?
True
Let t = 111 + -26. Let g = 18 - t. Let b = -46 - g. Is b a composite number?
True
Let j = -6 + 5. Is 466/5 - j/(-5) a composite number?
True
Let l = 4 + -3. Let k = l - 1. Suppose 5*h - 4*y = 4*h + 11, k = -h + 3*y + 13. Is h a composite number?
False
Suppose -2391 + 577 = -2*m. Is m prime?
True
Let b(g) = g**3 - g**2 + 2*g - 1. Let n be b(1). Suppose 0 = -5*x - n + 171. Let h = 73 - x. Is h composite?
True
Suppose -3*n + 3*a = 2*n - 473, 4*n - 408 = -5*a. Is n a composite number?
False
Let p be (-29)/(-4) - (-6)/(-24). Suppose c + 56 = q, 2*q - 130 = 3*c - p*c. Is q a composite number?
False
Let f(a) = -a**3 - 9*a**2 + 11*a + 10. Let g be f(-10). Suppose 2*r + 0*r - 2 = g. Is (-14)/(r*(-4)/58) a prime number?
False
Suppose -5*h + 2*b = -46, 3*h + 5*b = 5*h - 31. Suppose r = 2, 0*r - 2*r = 2*m - h. Suppose -q + m*t = -33, 4*q - 14 - 123 = 3*t. Is q a prime number?
False
Suppose 3*m - m - 18 = 0. Let l = -9 + m. Suppose l*f = 4*f - 140. Is f a composite number?
True
Let p = 150 + -18. Suppose p = 8*y - 4*y. Is y prime?
False
Let a(u) = -u**2 + 3*u. Let n be a(2). Suppose 0*c - n*c = -200. Suppose 2*y = -2*r + c, 2*y = r + 95 - 7. Is y a composite number?
True
Suppose 2*s - 832 = 210. Is s a prime number?
True
Let i be 10*((-9)/(-6) + -1). Suppose 15 = 5*d, 4*z - z - 78 = -2*d. Suppose k = z - i. Is k composite?
False
Suppose -j = 4*b - 10087, 4*b + 2*j - 3053 = 7037. Is b composite?
False
Suppose -2*i = 5*y - 4171, 0 = -0*i + 3*i - 2*y - 6285. Suppose 4*j + 2*s + s - 1673 = 0, -i = -5*j - 2*s. Is j prime?
True
Let r(w) = 12*w + 10. Is r(9) a composite number?
True
Let v = -14 - -20. Suppose 0 = -3*o + 195 + v. Is o prime?
True
Let k be ((-4)/3)/(3/(-9)). Suppose 159 = 3*u + c, 2*u - k*c = 6*u - 212. Is u composite?
False
Is (-3165)/3*3/(-15) a composite number?
False
Let a = -1 + 11. Suppose -b - 4 + a = 0. Suppose 3*n - 63 = b. Is n a composite number?
False
Let z(u) = -80*u**3 - 2*u**2 - u. Is z(-1) a composite number?
False
Let o(s) = 6*s**2 + 24*s + 37. Is o(-16) prime?
False
Let x(v) = -153*v**3 - 4*v**2 - v - 4. Let b(o) = 305*o**3 + 9*o**2 + 2*o + 9. Let d(g) = -4*b(g) - 9*x(g). Let m = 6 + -5. Is d(m) a composite number?
True
Let z(q) = -q + 4. Let v be z(6). Is -5 + (0 - v) - -88 a composite number?
True
Let z(g) be the third derivative of g**5/60 - g**4/8 + g**3/3 + g**2. Let o be z(2). Suppose o = -i + 4*i - 339. Is i prime?
True
Suppose 3*v + 2*v = -10. Let r = 4 + v. Suppose -2*p - 54 - 33 = -g, p - 149 = -r*g. Is g prime?
False
Suppose 21 = f - 3*s + 2*s, 3*s = f - 23. Suppose 2*z = 3*z - f. Is 1476/z - 3/(-15) prime?
False
Let n = 29596 - 17483. Is n a prime number?
True
Suppose 3*m + 0*l - 483 = -3*l, -5*l = 4*m - 648. Is m a prime number?
True
Suppose 0 = 5*k - 0*k - 185. Suppose -2*r = -3*h + k, -3*h + r - 6*r = -2. Is h a prime number?
False
Let p(q) be the second derivative of -q**8/6720 + q**7/2520 - q**5/60 + q**4/6 - q. Let j(b) be the third derivative of p(b). Is j(-2) a prime number?
False
Let s be 4*-1 - (-6 - -3). Is 2*(s + 2) + 35 prime?
True
Suppose 1027 = 20*r - 793. Is r a prime number?
False
Suppose 2*j - 14 = 4*u - 4, -16 = -5*j + u. Let b(y) = 14*y + 4. Is b(j) a composite number?
True
Suppose -4*t - 9 = -1. Is (2 + -4)*57/t a composite number?
True
Let u(a) = a**3 + 2*a**2 - 2*a + 1. Let t be u(1). Suppose t*n - 36 = 6*n. Is (-3 + (-30)/n)*21 composite?
False
Let b(w) = 80*w**2 + 7*w + 1. Is b(-2) prime?
True
Let y(f) = 2*f**3