rue
Let t(p) = p**2 - 3*p - 9. Let q(u) = u**2 - 6*u. Let c be q(7). Let v be t(c). Suppose w - v - 42 = -2*y, -y = -2*w - 43. Is y a composite number?
True
Suppose -3*s - 5*d = -5*s + 5, -s + 4*d = 2. Suppose -s = -5*u, -2*l + u = 3*l - 413. Is l a prime number?
True
Suppose 2*z - 222 = -a - a, 0 = -2*a - 4*z + 220. Suppose 3*b = 7*b - 5*v - a, 3*v + 21 = b. Is b a composite number?
True
Is -2 + 2 + (-16305)/(-15) a composite number?
False
Let b = 4477 + -2298. Is b a composite number?
False
Let k(w) = -274*w**3 + 4*w**2 + 2*w - 1. Is k(-2) prime?
True
Let d(s) = 9*s**2 - 3*s - 4. Let z be d(3). Suppose -y + i - 32 = 0, -2*y + 33 = -3*y + 2*i. Let j = z + y. Is j a composite number?
False
Let k be 17/5 - (-4)/(-10). Suppose -5*b = k*v - 607, -v - 64 - 289 = -3*b. Suppose 3*w = 4*w - b. Is w prime?
False
Suppose 5*x - 102 = 18. Let y = x - 11. Is y composite?
False
Suppose 49 = -5*x + u, -29 = 6*x - 3*x - u. Let w = -10 + 79. Let v = w + x. Is v a prime number?
True
Let c(k) = 2*k**2 - 3*k - 2. Let z(q) = -q**3 + q**2 + 5. Let f be z(0). Is c(f) prime?
False
Let u(d) be the first derivative of 43/2*d**4 + 2 - d + 1/2*d**2 + 1/3*d**3. Is u(1) prime?
False
Let i(x) = -2 + 3 - 3 - 61*x. Let r be i(-3). Is r/2 + 2/4 a composite number?
True
Let w(u) = 26*u**2 + 13*u - 16. Is w(-9) prime?
True
Let f(b) = 301*b + 29. Is f(6) a composite number?
True
Suppose -4*p + 23 = -29. Let s = -25 + p. Is (-149)/(-4) + 3/s composite?
False
Suppose 5*q = -0*q + 1675. Is q prime?
False
Let w be 3/(-2) + 988/8. Suppose -n + 5*b = -3*n + 101, -2*n + 2*b + w = 0. Suppose -5*c + 37 = -n. Is c a composite number?
False
Let q = 175 - 64. Is q composite?
True
Let z(d) = 41*d + 6. Is z(7) composite?
False
Is (-298)/4*(-1 - (-2 + 3)) composite?
False
Let c(z) = 9*z - 2. Let r(t) = 8*t - 3. Let q(g) = 3*c(g) - 2*r(g). Suppose -w - 3 + 4 = 0. Is q(w) composite?
False
Suppose 5*d - 4*d - 613 = 0. Is d a prime number?
True
Let s = -15 + 15. Suppose s = 4*i - i - 231. Is i a prime number?
False
Let t = 7549 - 4172. Is t a prime number?
False
Let f = 10 + -8. Suppose f*l = -l + 78. Is l composite?
True
Suppose 0 = -z + 237 + 116. Is z composite?
False
Suppose g + 1690 = 2*l - 829, 5*l = g + 6305. Is l prime?
False
Let u(y) be the second derivative of 2*y**4/3 - y**3/3 - 2*y**2 + 4*y. Let g be u(-4). Suppose 5*j - g = 33. Is j a prime number?
False
Let w(u) = 4 - 4 - 5*u + 4. Let z be (-1)/(1*(-2)/(-6)). Is w(z) a prime number?
True
Suppose 2*c = 2, 4*h - c - 3582 = -3*c. Is h a prime number?
False
Let g(p) = 21*p + 8. Let z be g(6). Suppose 4*o + o - 135 = -4*d, 4*o - z = 2*d. Is o a prime number?
True
Let s = 31 - 11. Suppose -4*c - 178 - 8 = -5*n, s = -5*c. Is n a composite number?
True
Let l = 2 - -3. Suppose w - 7 = 4*i + 102, 2*w = -l*i + 153. Is w a composite number?
False
Let o = 4 - 3. Let g be 0*o/4*2. Suppose g = -7*i + 4*i + 393. Is i prime?
True
Suppose -2*a = 2 - 14. Let y(t) = t**3 + 2*t**2 - 4*t. Let d be y(-3). Let j = a - d. Is j prime?
True
Is 1*-331*(8 + -4 + -5) a prime number?
True
Let y = 31 + 14. Let x be 4 - 15/((-4)/(-12)*3). Let q = x + y. Is q a composite number?
True
Is 14010/12 + (-2)/4 a prime number?
False
Let n = -25 - -47. Is n a prime number?
False
Let h(c) = 281*c + 5. Let z(l) = -70*l - 1. Let s(k) = -2*h(k) - 9*z(k). Is s(1) a composite number?
False
Let s(r) = 45*r + 11. Is s(16) composite?
True
Suppose 2*m + 124 = 6. Is 5/(-2)*(1 + m) a composite number?
True
Suppose 359 = -2*w + 3*w. Suppose -w - 386 = -5*c. Is c composite?
False
Let l(v) = v + 26. Let r be l(0). Suppose 4*f = -4*u + f + r, -5*u + 30 = 5*f. Is 252/u - 2/4 a composite number?
False
Suppose 5*v + 23 + 22 = 0. Let s(y) = -11*y - 20. Is s(v) a prime number?
True
Let u(c) = -c**3 + 4*c**2 + 7*c. Let i = 3 - -2. Is u(i) a composite number?
True
Is -15 - -14 - (-616)/2 prime?
True
Let j(k) = 585*k**3 + k**2 - 2*k + 1. Let s be j(1). Suppose 2*l = s - 175. Is l a composite number?
True
Let q(m) = 6*m**2 - 24*m - 1. Is q(10) composite?
False
Let c(f) = -43*f - 14. Let j be c(-10). Suppose 3*k = k - j. Let w = -129 - k. Is w a prime number?
True
Let r be (-40)/6 + 18/27. Let c(o) be the third derivative of o**5/20 + o**4/3 - o**3/3 + o**2. Is c(r) a composite number?
True
Let t(m) = 7*m**3 - 3 - 5*m**2 + 0 + 4*m**2 + 4*m. Is t(2) prime?
False
Suppose 3*a - 3 = -0. Let i = a - -1. Suppose 4*x + 3*w = w + 214, -4*x + 226 = -i*w. Is x composite?
True
Let o(n) = 75*n - 17. Is o(8) a prime number?
False
Is (-1)/(((-3)/1623)/1) composite?
False
Suppose 5*g - 1440 = 2245. Is g composite?
True
Let s = 9 - 4. Suppose 0 = s*o + 2*g - 560, -39 = -3*o + 2*g + 313. Suppose 5*j + 19 = o. Is j a composite number?
False
Let y = -32 - -363. Is y a composite number?
False
Suppose -4*s + 680 = -3*s. Let c be (-1389)/(-9)*(-1 - 2). Let v = c + s. Is v a composite number?
True
Suppose 0 = -2*v - 3*v + 2935. Is v prime?
True
Suppose 2*t - 138 = -0*t + b, -5*t + 4*b = -345. Is t composite?
True
Is 2/(-3 + (13854/1538)/3) a composite number?
False
Is (-3)/((-190)/94 + 2) composite?
True
Let y(h) = 5 + 2*h + 0 - 3*h. Let b be y(3). Suppose -5*f + 159 = -b*f. Is f a prime number?
True
Let u(j) = -j**3 + 13*j**2 + 6*j + 9. Is u(11) composite?
False
Let b(t) = 75*t - 4. Is b(5) composite?
True
Suppose 291 = 3*m - 3*g, -73 - 93 = -2*m - 5*g. Let i be 4*1*(-10)/4. Let r = m + i. Is r prime?
True
Suppose s = -226 - 2. Let z = -65 - s. Is z prime?
True
Let p be ((-298)/(-1))/(6 + -4). Suppose v = -z + 58, -3*z + 0*v + p = -2*v. Is z a prime number?
True
Suppose 4*d = 2*n - 5*n + 8, 0 = -n. Suppose -3*b - 425 = -d*s - 4*b, -4*s + 838 = -2*b. Is s a composite number?
False
Let d = 431 + -57. Let t = -255 + d. Is t prime?
False
Suppose 0*h = -3*h + 24. Suppose -131 = -h*q + 7*q. Is q a composite number?
False
Let h(s) = -s**2 - 16*s - 1. Let n(x) = -x**2 - 15*x - 2. Let y(r) = 2*h(r) - 3*n(r). Let i be y(-12). Let u = 27 + i. Is u composite?
False
Let p(f) = -250*f - 1. Let b be p(-2). Let u = b - 314. Is u prime?
False
Suppose -x = -4*a + 841, -3*a - x + 398 + 238 = 0. Is a a prime number?
True
Suppose 0 = -2*w + 1893 + 2425. Is w composite?
True
Suppose 5*h + 3*b = -b + 173, -4*b = -h + 25. Is h composite?
True
Let a = 23 - 21. Let m(y) = y**3 - y**2 - 1. Let x(j) = 3*j**3 + 5*j**2 - 2*j + 4. Let r(v) = 3*m(v) + x(v). Is r(a) prime?
True
Suppose -6*x + 3*x + 5*z + 11 = 0, -3*z + 1 = 2*x. Suppose 0 = -x*r - 2*r + 140. Is r a composite number?
True
Let f(w) = -w**2 + 4*w + 3. Let x be f(4). Suppose i + 2*i + x*p - 372 = 0, 3*p = -9. Is i a composite number?
False
Let k = 921 + -532. Is k a prime number?
True
Let f(x) = x - 2. Let t be f(1). Suppose 0 = -2*i - 3*i - 370. Is (t + -2)*i/3 a prime number?
False
Let n = 260 + -133. Is n a prime number?
True
Suppose -k - 10 - 10 = 0. Is 4/k + (-72)/(-10) a prime number?
True
Let n = 1002 - 449. Is n composite?
True
Suppose 3*x = 7*x + 28. Let a(o) = -72*o + 7. Is a(x) a composite number?
True
Suppose 635 = -5*y + 6*y. Is y a prime number?
False
Let x(p) = -p**2 + 8*p + 2. Let d be x(6). Is (36 + 2)*d/4 a composite number?
True
Let l(y) = 1293*y**2 + y - 1. Let a be l(1). Suppose -4*n = z - 843, 5*n - a = -2*z - 240. Is n a prime number?
True
Let a(b) = -3*b + 4. Let s(l) = -l**2 + l - 6. Suppose 0*t = -3*t. Let f be s(t). Is a(f) composite?
True
Suppose 0 = 2*p + 147 - 5. Let x = -38 - p. Suppose -2*y + 3*y = x. Is y a prime number?
False
Let m(p) = p**3 - 2*p**2 + 2*p - 3. Is m(4) a prime number?
True
Let a(f) = -f**3 + 377. Is a(0) prime?
False
Let a(t) = 2*t**2 - 12*t - 23. Is a(13) composite?
True
Let a(c) = 4*c**3 - 2*c**2 + 17. Is a(7) a prime number?
True
Let z(c) = -c**3 - c**2 + c + 223. Is z(0) a composite number?
False
Let k(m) be the third derivative of m**5/60 - m**4/4 - m**3 - 3*m**2. Let b be k(-6). Suppose -4*z + 214 - b = 0. Is z prime?
True
Is 259 - (-4)/8*-4 prime?
True
Suppose 2159 = 3*s - 3964. Is s a composite number?
True
Let r(d) = 4*d**2 + d + 7. Let i = -13 - -7. Is r(i) prime?
False
Let k = 384 + 35. Is k prime?
True
Let m(g) = 22*g - 5. Is m(6) prime?
True
Let s = -2 + 59. Suppose 0 = 2*a - 31 + 107. Let q = s + a. Is q a prime number?
True
Let a(b) = 4*b**2 + 4*b - 3. Suppose -3*x = -5*z - 34, -5*z - 2 = 5*x + 8. Is a(z) a prime number?
F