= k + w. Is l a composite number?
False
Suppose -163 = -4*d + 21. Is d a prime number?
False
Let u = 522 + -255. Is u a composite number?
True
Let d = 0 - -4. Suppose -d*f - 16 = 0, 0 = -5*l + 3*l + 3*f + 32. Is l a composite number?
True
Let s = -10 - -10. Is (s - 1)/(-1) - -142 a prime number?
False
Let w(y) be the third derivative of 0 + 1/8*y**4 - y**2 - 1/2*y**3 + 2/15*y**5 + 0*y. Is w(2) prime?
False
Suppose 12*d + 769 = 8557. Is d prime?
False
Suppose 0 = -0*a + 3*a - 9. Suppose -l + 8 = -0*l - 3*w, -a*l + 5*w + 44 = 0. Is l a prime number?
True
Suppose 0 = -y - 2 + 8. Suppose -3*n - 2*j + 15 = 0, -4*n - y = -9*n + 3*j. Suppose f + 314 = n*f. Is f composite?
False
Suppose -5*d + 17 = -m, 3*m - 4*d - 3 + 10 = 0. Let t be ((-42)/9)/(-2)*m. Suppose -f + 2*f - t = 0. Is f a prime number?
True
Suppose -j - 4*j + 2*h = -1049, 0 = -4*j - h + 834. Is j prime?
False
Suppose 3*d - 90 = -0*d. Let h(t) = -d*t - 57*t - 28*t. Is h(-1) composite?
True
Let t be 86/10 - (-4)/10. Suppose -1 + t = 4*b. Suppose -o = -b - 1. Is o a composite number?
False
Let m(s) = s**3 + 9*s**2 + 2*s - 1. Suppose 2*w + 4 = 3*w. Suppose 0 = 5*y + 5, 2*u = y - w*y - 13. Is m(u) prime?
True
Let u(j) = 5*j**2 + j + 1. Is u(-4) a composite number?
True
Suppose 5*m - 23 = 32. Let l = 154 - m. Is l prime?
False
Let j(v) = 14*v**2 - 4*v - 1. Is j(-4) composite?
False
Let d(c) = -c**3 - 2*c**2 - c - 3. Let u be d(-3). Suppose -4*x = -u - 3. Suppose i = -k + 62, -5*k + 2*i + x*i + 340 = 0. Is k a prime number?
False
Let t(v) = -v**3 - v**2 - v + 335. Is t(0) prime?
False
Suppose -3*f + 2*u + 5281 = 0, 1745 = -3*f - 4*u + 6996. Is f a prime number?
False
Let z(a) = 48*a**2 - 12*a - 7. Is z(-5) prime?
False
Let j be (-14)/(-3) + (-1)/(-3). Suppose 11 = v + j*i, 3*v + 2*i - i - 61 = 0. Is v a composite number?
True
Let f = 6 + -2. Suppose -g + 40 = f*g. Is ((-106)/g)/((-6)/24) a prime number?
True
Suppose -4*q = 4*f - 28, -2*f - 2*f = 3*q - 24. Suppose 3*i = -q*k + 792, 5*k + i - 989 = -3*i. Is k composite?
True
Let i = 8 - 6. Suppose i*l - l - 6 = 0. Is (-22)/(3/((-63)/l)) a composite number?
True
Let y(n) = -4*n + 4. Let t(m) = m - 1. Let r(a) = -5*t(a) - y(a). Let s be r(-6). Suppose -p - s = -2*p. Is p prime?
True
Let t(n) = -n**2 + 10*n + 15. Let f be t(11). Let h be 6/(-8) + 931/f. Let v = -113 + h. Is v composite?
True
Let h = 424 - 177. Is h prime?
False
Let z be (-57)/(-9) + (-1)/3. Suppose -3*a + 26 = n, a - z*a + 70 = -5*n. Is a a composite number?
True
Let c = 4001 - 2616. Is c a prime number?
False
Let p(r) be the third derivative of -r**4/12 - r**3/2 + 2*r**2. Let v be p(-3). Suppose -30 = -g + 3*z + 14, 2*z - 99 = -v*g. Is g a composite number?
True
Is ((-1)/3)/(2/(-3210)) a prime number?
False
Let v = -802 + 1485. Is v a prime number?
True
Let x(q) = 2*q**3 + 38*q**2 + 20*q - 35. Is x(-16) a prime number?
True
Suppose -4*s + 10 = 2*t, 0 = -2*s + 2*t + 4 - 2. Let r(p) = -3 + 12*p**s - p + 2 + 2. Is r(2) composite?
False
Suppose 0 = -4*w - 0*w + 536. Suppose w - 32 = 3*r. Is r a composite number?
True
Is (-17)/(-3*(-5)/(-465)) a composite number?
True
Let g(h) = 6*h - 13. Is g(13) a prime number?
False
Let t be ((-8)/(-14))/(2/7). Suppose 0 = 3*i + l + 101, -2*i - 76 + t = 2*l. Let x = 53 + i. Is x prime?
False
Suppose 171 = 2*b - 235. Is b a prime number?
False
Suppose 5*y = 2*f + 4 + 4, -f + 7 = 3*y. Let x be (y + 8/(-5))*-5. Is (x/6)/(3/(-279)) a prime number?
True
Suppose -5*o + 890 = 4*y - 85, -5*o + 960 = y. Is o composite?
False
Let g be 22/77 - (-24)/14. Suppose -89 = -x + g. Is x a composite number?
True
Suppose 3*m - 2*i = -3*i + 277, 0 = -m - 2*i + 99. Is m a composite number?
True
Let o(g) = 6*g**3 - 2*g**2 + 2*g - 5. Is o(4) prime?
False
Suppose -3*a = a. Suppose -3*z - 3*h + 126 = a, -z = -0*z - 4*h - 17. Is z a prime number?
True
Suppose 0 = o - 0 + 1, 2*s - 4*o = 258. Is s a prime number?
True
Let y(n) = -n**3 - 6*n**2 + 5*n + 1. Let o be y(-7). Let m be o/(-10) - 14/(-4). Let p(f) = 3*f**2 + 2*f - 3. Is p(m) composite?
False
Suppose 0 = -q - 6 - 12. Is (-1465)/(-9) + (-4)/q a composite number?
False
Let m = -3 + 14. Suppose -1 = -4*v + m. Is v composite?
False
Let a = 2 + -1. Is 2 - a - 264/(-3) a prime number?
True
Let z(a) = a + 1. Let h be z(3). Let k(t) = 1 + 0 - t - h*t**3 - t. Is k(-2) a composite number?
False
Let a(m) = 2*m + 1. Let c be a(-5). Let n = 19 + c. Is n a prime number?
False
Suppose 6*t = 13*t - 6139. Is t prime?
True
Is (5 + 2)*(-3935)/(-5) a composite number?
True
Suppose 3*m + 1208 = 4*t, -3*t = 3*m - 265 - 641. Is t composite?
True
Let d = 7 + -1. Suppose -p + d = 2*p. Suppose u + p*u - 147 = 0. Is u prime?
False
Suppose -562 = -2*o + 2. Suppose 2*t - o = -t. Is t prime?
False
Suppose -5*v = -3*v - 298. Is 2*(-3)/(-6)*v composite?
False
Let y(v) = 171*v. Let k be y(2). Is ((-2)/(-3))/(12/k) a composite number?
False
Suppose -o + 692 = -717. Is o a prime number?
True
Is 285/2 - (5 - (-9)/(-2)) composite?
True
Suppose -63 = -3*q - 6. Suppose -7*l + 12*l = 0. Is (-2)/((-2)/q - l) prime?
True
Let t = 80 - -399. Is t prime?
True
Let l(u) = u**3 - 7*u**2 - u + 8. Let c be 1*(9 + -2*1). Let m be l(c). Is m - 1 - (-16 - -1) composite?
True
Let n(w) = -120*w**3 - w. Let l(v) = -v + 4. Let r be l(9). Let m = r + 4. Is n(m) prime?
False
Is (-2 - 135)/((-6)/30) composite?
True
Let z = 68 - -149. Is z a prime number?
False
Is 1/((-1)/3) + 838 composite?
True
Is 128 + (-2 - (0 + -3)) a prime number?
False
Let b = 27 + -7. Let x = -1 - 4. Let s = x + b. Is s prime?
False
Let l(z) be the third derivative of z**7/840 + 7*z**6/360 + z**5/40 - 5*z**4/24 + z**3/2 - 3*z**2. Let r(y) be the first derivative of l(y). Is r(-6) composite?
False
Suppose 0 = 2*l - 4*o - 10, o - 11 = -5*l + 3. Suppose -l*v = -4 - 173. Is v composite?
False
Let m = -331 - -231. Let o = m + 171. Is o a prime number?
True
Let f(x) = -x**3 - x**2 - 6*x + 4. Let v be f(-5). Is (-2 - -1)/(-2)*v a composite number?
False
Suppose 2*p + 4*b - b + 7 = 0, 0 = -4*p - 3*b - 5. Let u = p + -3. Is (-727)/(-5) - u/(-5) a prime number?
False
Let h be 1523 - 2 - (1 + 0). Let y = h + -889. Is y a composite number?
False
Suppose -5 + 14 = 3*g. Let a = g + -6. Let n(f) = 15*f**2 - 3*f - 1. Is n(a) prime?
False
Suppose -7*p + 3*p - 128 = 0. Let s be (2/(-4))/(5/50). Is s/(p/(-11) + -3) a prime number?
False
Let z be 427/1 - (-5 - -4). Let p = z - -783. Is p a composite number?
True
Is (4/(-6))/((-4)/2694) a composite number?
False
Let c = -11 + 15. Suppose -2 - 2 = c*y - 4*b, y - 3*b = 1. Is -2*y/(8/158) a prime number?
True
Is (-5)/((-10)/(-8)) - -1443 prime?
True
Let q be 3 - (2 - (-3 - -2)). Suppose q*c + 259 = c. Is c a prime number?
False
Let o = -3 + 10. Let s(q) = -q**2 - 3*q + 3. Let u be s(-3). Is 7/(o/108) + u a composite number?
True
Let h(l) = 19*l**2 + 3*l - 41. Is h(-10) a composite number?
True
Let p = 6452 - 861. Is p a prime number?
True
Let m be ((-4)/(-5))/((-2)/(-5)). Let q be (m + 2 - 2) + 2. Suppose -1 = -q*o + 267. Is o a prime number?
True
Suppose -r + l = -0*r - 255, 259 = r - 3*l. Is r composite?
True
Suppose 4*y - 2*z = 860, -4*y + 5*z = -0*z - 872. Is y a composite number?
True
Let l = -63 - -35. Let z = 107 + l. Is z composite?
False
Suppose -n - 2 = -3*n. Let v be n/2 - 131/(-2). Suppose 3*w - v = 105. Is w a prime number?
False
Let y be 2 + (-2 - 1 - -123). Let s = 181 - y. Is s composite?
False
Suppose -3*r + 9286 - 2755 = 0. Is r a composite number?
True
Let u = 705 - 224. Is u a composite number?
True
Let h(w) = -w**3 + 5*w**2 + 5. Suppose -7*p + 55 = -2*p. Let n = p - 7. Is h(n) a prime number?
False
Is (-68588)/(-39) + (-1)/(-3) composite?
False
Let g(r) = -r**2 + 4*r + 3. Let a be g(4). Is (-873)/6*(-2)/a a composite number?
False
Let o(r) = 2*r - 4. Let g be o(3). Suppose 2*k = -g*k + c + 511, 0 = -5*k - c + 632. Is k prime?
True
Suppose -3*j - 100 = -8*j. Is (-1269)/(-5) - j/25 a composite number?
True
Let n(w) = 6*w**2 - 3. Is n(3) composite?
True
Suppose 236 = 3*u - o - 394, 0 = -2*u - 2*o + 428. Suppose -c = -0*c - u. Is c a composite number?
False
Let l be 10/(-20) - (-5)/2. Suppose -3*k + 3*b + 0*b + 432 = 0, k - 159 = -l*b. Is k composite?
False
Let a be ((-6)/(-9))/((-4)/(-30)). Suppose -a*s + 0*s + 10 = -5*d, -3*d + 12 = 0. Is s a prime number?
