= s + 2*s - 237. Is s a composite number?
False
Let h be (-15)/(-12)*2*-52. Is h/8*4*-1 a prime number?
False
Suppose 5*t = 3*x - 14168, -5*x - 3*t = -4*t - 23606. Is x a prime number?
True
Let z(h) = -7*h**3 - h**2 + h + 1. Let k be z(2). Is (0 + 1/(-1))*k a composite number?
True
Suppose -5149 = -3*m + 236. Is m a composite number?
True
Let f be 0 + (-1 - -11) + -3. Suppose 88 = -3*r + f*r. Is r prime?
False
Let y(s) = -s**3 + 3*s**2 - 13*s - 4. Is y(-15) a prime number?
True
Let i be (-4)/(-20) - (-5249)/5. Suppose 3*l + 0*l = 15, -i = -5*x + l. Is x composite?
False
Let m(z) = z**2 + 9*z + 6. Let q be (-58)/7 - (-2)/7. Let c be m(q). Let r(g) = -39*g + 1. Is r(c) composite?
False
Let w(u) = u**3 + 4*u**2 + u - 1. Let n be w(3). Suppose 3 = 3*o, 5*b + 4*o + n = 514. Is b a prime number?
True
Let g = -378 + 535. Is g a composite number?
False
Is (15 - 13)*337/2 prime?
True
Suppose -3*d = -3*k - 0*k + 6, 12 = -4*k - d. Let j be k/(-5) + 18/5. Suppose -i + 169 = r + 3*i, 616 = 4*r + j*i. Is r a prime number?
True
Let v(k) be the second derivative of 13*k**4/3 - 2*k**3/3 - 5*k**2/2 + 10*k. Is v(-2) composite?
False
Let q(c) be the first derivative of 5*c**2/2 - c + 1. Let k be q(1). Suppose w - 22 = -k*f, 2*w - 6*f - 5 = -f. Is w prime?
False
Suppose -a = -48 - 35. Is a a composite number?
False
Let x = 341 + 146. Is x composite?
False
Let b(k) = 2*k**2 + 2. Let w be b(-2). Is w/25 + (-423)/(-5) composite?
True
Is -4 + (1 - (-2 + -210)) a composite number?
True
Suppose 2*t - 682 = -4*a, t - 509 = -2*a - a. Suppose -4*i + 2*n = -2*i - a, 3*i = -4*n + 259. Is i a composite number?
True
Is (-198)/(-2) + -3 - 1 a prime number?
False
Let k(w) = -102*w - 2. Let t(j) = j + 1. Let n(o) = k(o) + 3*t(o). Let m be n(-1). Suppose -7*u + m = -3*u. Is u prime?
False
Let v(d) = 8*d - 1. Let g be v(-1). Let x = -6 - g. Suppose x*j + j - 52 = 0. Is j a prime number?
True
Suppose -2390 = -12*s + 10*s. Is s composite?
True
Let w = -8 + 9. Suppose 4*q - 24 = -2*m, 0 + w = q. Is m a prime number?
False
Suppose g - 24 = -2*g. Let m be (-2)/8 + 50/g. Is 63/6*44/m a prime number?
False
Let w(r) = 25*r**2 - 4*r + 1. Suppose 0 = -3*g + 9 + 3. Let s be w(g). Let x = s + -266. Is x a prime number?
False
Is 1*-3*(-1754)/6 a composite number?
False
Suppose -157 = 3*r + 2*k, -r - 3*k = 39 + 4. Let h = r - -132. Is h prime?
False
Suppose 5*b + 1179 = 4*k, -2*k - 5*b = -3*k + 306. Is k prime?
False
Let o be -14 + 2*2/(-4). Let g = 107 - o. Is g prime?
False
Suppose 3*v - 7*v = -156. Is v composite?
True
Let r(f) = -f**3 + 6*f**2 + 2*f + 7. Let g be r(5). Suppose g + 205 = m. Suppose -m = 5*p - 822. Is p prime?
False
Suppose 0 = z - 4*z + 114. Is z a composite number?
True
Let x = -314 - -1167. Is x prime?
True
Suppose 3*t = 3*n + 4191, -n + 468 - 3262 = -2*t. Is t a prime number?
False
Is 805 + (6 - -1) + 3/1 a prime number?
False
Let n(b) be the first derivative of b - 2 + 2*b**3 + 1/2*b**2. Is n(-1) a composite number?
True
Let j(u) = 2*u - 3. Let a be j(-5). Let d = a + 52. Is d composite?
True
Let k be (-4426)/(-14) - (-2)/(-14). Is 4/4 + 2 + k a composite number?
True
Let t(u) = -u**3 + u**2 + u + 1. Suppose 0 = 2*b + 2. Let f be t(b). Suppose -8*s + 391 = -3*s - x, -162 = -f*s - x. Is s composite?
False
Let p = -8 + 14. Let g be -1 + (-3)/p*-2. Is 6/9*(g + 3) prime?
True
Suppose 4484 = 5*t + 799. Is t prime?
False
Let i = 71 - -8. Suppose -16 = -z + 28. Let n = i - z. Is n a prime number?
False
Suppose 0 = 3*g - 12. Suppose -g*k + 5*z + 51 = 0, -k = 2*z - 3 - 0. Suppose k*v - 335 = 4*v. Is v composite?
False
Let a be -19 - -15 - (1 - 7). Suppose a*u - 33 = 125. Is u a prime number?
True
Suppose 0 = -10*a + 888 + 1142. Is a prime?
False
Let n be (-5)/(-25) + 0 + 514/5. Let i be 3*2*(1 + 3). Let l = i + n. Is l prime?
True
Let w(h) = 6*h**2 + 2*h + 13. Is w(-7) a composite number?
False
Let n(m) = 48*m - 4. Let c(q) = q. Let r(t) = -5*c(t) + n(t). Is r(5) a composite number?
False
Let p be 1/1 - (2 + -1). Suppose -4*a + 2*v = -p*v - 38, 4*v - 68 = -4*a. Let s = a - 2. Is s a composite number?
True
Let x(u) be the first derivative of 3*u**4/4 + 2*u**2 + u + 2. Is x(3) composite?
True
Is 2/(5*(-2)/(-1585)) a composite number?
False
Let l(n) = -n**2 + 6*n - 15. Let g be l(6). Suppose 4 = 4*s - 2*s. Is (68/(-6))/s*g prime?
False
Is 14/(-7) + 37 + -2 a composite number?
True
Let t(v) = -5*v + 2179. Is t(0) a prime number?
True
Let f be ((-6)/(-3) + -2)*1. Let r(k) = 3*k - k**2 + 1 - 10*k + f*k**2. Is r(-6) a composite number?
False
Suppose -1 = -2*y - 3. Let o(r) = 24*r**3 - 2*r - 1. Let l be o(y). Let b = -13 - l. Is b composite?
True
Suppose -4*c + 275 = c. Suppose -16 = 4*v, 2*k - 63 = 2*v + c. Is k composite?
True
Let g(j) = 13*j**2 + 6*j + 3. Let u be g(6). Suppose 138 + u = 3*q. Is q prime?
False
Let v(r) = 5*r**2 + 4*r + 2. Let z be v(-4). Suppose 0 = -h - h + z. Is h a prime number?
False
Let k be (-7)/(7/(-36)) - 1. Suppose -2*c = c + 4*m + 48, 0 = 3*c + 3*m + 45. Let z = c + k. Is z a prime number?
True
Let y = -270 + 461. Is y a composite number?
False
Suppose 6*y = 4*y + 140. Let q = 39 - y. Let h = 158 + q. Is h a composite number?
False
Let o be 22*1*(5 - 3). Is (14/4)/(2/o) a prime number?
False
Suppose -x - 13 = h, -x = -2*x - 2*h - 18. Let p be x/8 + 1 + -3. Is 25 + (-5)/((-5)/p) composite?
True
Let k = -6 - -20. Is k composite?
True
Let s(a) = -a**2 - a. Let g(o) = -o**3 + 15*o**2 + 14*o - 13. Let b(v) = g(v) + 5*s(v). Is b(9) a composite number?
False
Suppose 754 = 2*j + 4*o, o = 2*j + 14 - 773. Is j a prime number?
True
Suppose 0 = a - 3*k - 52, -3*a = k - 25 - 121. Is a a prime number?
False
Let a = 222 - 109. Is a composite?
False
Suppose 0 = 3*v, -2*g - 22 + 2 = 3*v. Is 369/7 + g/(-35) prime?
True
Suppose -5*m + 532 = -523. Let b = 39 - -56. Suppose -2*k + 5*j = -b, -3*j - m = 2*k - 6*k. Is k a prime number?
False
Let l = -384 - -1063. Is l composite?
True
Is 2 + 787 - (0 + 2) prime?
True
Let x = -105 + 193. Suppose -5*s + x = -1207. Is s composite?
True
Let c = -865 - -1242. Is c a prime number?
False
Let u = -83 - 208. Let i = -200 - u. Is i prime?
False
Let j be -7*3/((-1)/(-1)). Is (-21822)/j + 3/(-21) composite?
False
Suppose 23 = 5*b - 2*f, 4*b - 4 = -f - f. Suppose b*w + 2*w = 2495. Is w prime?
True
Let q(i) = 5*i + 1. Let t be q(1). Is 9/(t/(-2)) - -29 a composite number?
True
Let i(m) = -4*m**3 + 2*m**2 - 6*m - 5. Is i(-3) prime?
True
Let b(h) = h**3 - 6*h**2 - 7*h + 2. Let n be b(7). Is n/(-3)*(-1266)/4 composite?
False
Let t = 10 - 2. Suppose t*y - 170 = 6*y. Is y a composite number?
True
Let w = -571 - -1476. Is w composite?
True
Is (-2 + 4 - -733) + (1 - -1) composite?
True
Suppose -1069 = 2*j - 3*j + 4*f, -5*j + f = -5307. Is j a prime number?
True
Let a = 37 + 280. Is a a composite number?
False
Suppose 906 = 2*y - 2*u, 2*y - 5*u - 1389 = -477. Is y a composite number?
True
Let q be 0*(-3)/18*3. Suppose 0 = -5*t - 2*p + 1183, q = 5*t + p - 1327 + 143. Is t a prime number?
False
Suppose 0 = -x + 5*r, -2*r = 4*x - 7*x. Let n(p) = -6*p**3 + p**2. Let v be n(-1). Let w = x + v. Is w prime?
True
Is 16437/6 + 9/6 a composite number?
False
Let o = -642 - -1229. Is o a composite number?
False
Let k = -157 - -1562. Is k a composite number?
True
Let n be -1 - (962*-2 + 0). Is n*3/(-9)*-1 composite?
False
Let f(n) = n**3 + 2*n**2 + 1. Let u be f(-2). Is (u - -22)/(6/30) a prime number?
False
Let d(r) = 1 - 13*r**3 + 4*r**3 - 2*r + 25*r**3. Let l = -3 + 4. Is d(l) composite?
True
Let w = 3524 - 2483. Is w prime?
False
Let a(c) = 4*c**2 - 10*c + 1. Let s = -3 - 4. Is a(s) a prime number?
False
Let l = 5 + 0. Suppose -181 = -l*g + k, -4*g - k = -g - 115. Is g a composite number?
False
Suppose -5*q + 4 = -6*q. Is q/(-10) - (-5944)/40 a composite number?
False
Let t = 355 - 144. Is t a prime number?
True
Let w be ((-1)/2)/(1/(-6)). Suppose -5*q + 190 = r, r + w = -2. Is q composite?
True
Let p(l) = -5*l. Is p(-7) a prime number?
False
Let l be (-2)/5 + 683/(-5). Let k = l + 250. Is k composite?
False
Let b(o) = 0*o**2 + 4 - 5*o**2 + 2*o**3 - 6*o + 3 - 3*o**3. Is b(-5) a prime number?
True
Let p = 3 - 14. Let r = p + 16. Suppose -16 = 4*d, 3*d = -r*o + 6*d + 167. Is o a composite number?
False
Is (-2 + 153/(-6))*-2 a prime number?
False
Let l(k) = 2*k*