et r(k) = 1 - 1 + 7 - 36*k. Is r(-5) prime?
False
Let l(p) = -6*p**3 - 49*p**2 + 46*p + 26. Let n be (-2)/(-9) + 404/(-36). Let r(i) = -i**3 - 10*i**2 + 9*i + 5. Let v(b) = n*r(b) + 2*l(b). Is v(10) prime?
True
Let g(j) = -j - 2. Let u be g(-4). Suppose -3*a = u*a - 775. Is a prime?
False
Let i(q) = q + 5*q - 2*q - q - 9. Is i(10) composite?
True
Is ((-1)/4 + 0)*-652 prime?
True
Let m be -1*5/((-5)/(-2)). Let v = m + 18. Is (211/2)/(8/v) composite?
False
Suppose -2*q + f = 2*q - 16, 5*f = -3*q + 35. Suppose -p + 96 = 5*w + 2*p, 0 = q*w - 4*p - 117. Is w a composite number?
True
Suppose 4*m - 2*r = 3*r - 4, -2 = 2*m - r. Let t(d) = -d**3 - 2*d**2 - 5*d - 4. Let s be t(-3). Let i = m + s. Is i composite?
False
Suppose -19 + 173 = 2*a. Is a prime?
False
Let a(k) = -k**2 + 5*k - 4. Let r be (3 + -2 - -5) + 0. Let g be a(r). Is (-974)/g + 2/(-5) prime?
True
Let z(g) = -2*g**2 + 9*g - 2. Let r(l) = l**2 - 5*l + 1. Let d(j) = -5*r(j) - 3*z(j). Is d(-4) prime?
False
Is 10/25*-5*(-697)/2 composite?
True
Let k(y) = y**3 - 13*y**2 - 13*y - 9. Let x be k(14). Suppose 166 = x*t - 3*t. Is t composite?
False
Suppose -3*r = 2*r - 5. Let d be r - 1/2*-2. Suppose -3*f + 2*b + 20 + 41 = 0, -f + d*b = -19. Is f prime?
False
Suppose d - 10 = -d, 0 = 5*p + 4*d - 765. Is p a composite number?
False
Suppose k - 50 = -4*k. Let n(a) = a**3 - 10*a**2 + 3*a + 4. Is n(k) composite?
True
Let w be 6 - (-1 - 3*-1). Let t be 4702/18 - w/18. Suppose 5*b - 194 = t. Is b prime?
False
Let p(o) = 2*o**3 + 3*o + 2. Let l be p(3). Suppose -m - l = -162. Is m a composite number?
False
Let h(g) be the third derivative of 47*g**4/8 + 7*g**3/6 + 3*g**2. Let n be h(6). Suppose -7*v + 3*v + 5*f = -n, -4*f + 663 = 3*v. Is v composite?
True
Let z(l) = -3*l - 1 - 8*l + 6*l - 21*l. Is z(-2) composite?
True
Let m(b) be the first derivative of 2*b**3/3 + 7*b**2/2 + 4*b + 11. Suppose 2*o - 15 = 5*o. Is m(o) a composite number?
False
Suppose -3*h = 3, 0 = 2*p - 3*h + 4*h - 2227. Is p a prime number?
False
Suppose -3*r + 140 = -151. Let a be (-3 + 0 + 2)*3. Is (-3 - 0) + a + r a composite number?
True
Let w be (-3 - 30)*(-106)/3. Is w/18 - 4/(-18) a prime number?
False
Suppose -502 = -6*v + 1052. Is v a prime number?
False
Suppose 3*g = -2*f + 597 + 376, 0 = -5*f - g + 2426. Is f composite?
True
Let w be 3/(-1*2/(-2)). Suppose 0 = -4*g + 4*o + 56, -w*g + 5*o + 29 = -11. Let f = -9 + g. Is f a composite number?
True
Let d(j) = 5*j**2 + 9*j + 3. Is d(11) composite?
True
Let i(n) = -7*n. Let o be i(-1). Let d(h) = 1 + h - 6*h + 0*h**2 + h**2 - 2. Is d(o) composite?
False
Let c be (6/4)/((-3)/(-892)). Suppose -5*a = -3*a - c. Is a a composite number?
False
Is -9 + 4 + 3 + 673 prime?
False
Let s(r) = 2*r + 46. Is s(0) composite?
True
Let l(o) = -o**2 + 5*o - 2. Let w be l(6). Let i(c) = -3*c + 11. Let d be i(w). Suppose j = -4*x + 123, 3*j = -x + 7*j + d. Is x a composite number?
False
Let a(o) = -o**3 - 5*o**2 - 6*o - 7. Let b be a(-5). Suppose -v = -2*q + 129, 1 - 7 = -2*v. Suppose -b = -k + q. Is k prime?
True
Suppose 0*q = -2*q + 16. Let p = -4 + q. Let o = 10 + p. Is o prime?
False
Let n be (1/2)/((-7)/(-168)). Is (8/n)/(-2)*-489 composite?
False
Let f(w) = 2*w**2. Let g be f(1). Let t(j) = 2*j**2 - j**g + j**3 - 5*j - 7*j**2. Is t(7) composite?
True
Let k(c) = 1. Let i(q) = 8*q**2 - 6*q + 9. Let s(a) = i(a) - 2*k(a). Is s(5) prime?
False
Let j be ((-4)/3)/((-3)/153). Suppose 0 = 3*r + 6*h - h - j, 3*r + 3*h = 66. Suppose -3*a - r = 2*i - 6*i, -a - 5 = -i. Is i a prime number?
False
Let m(f) = -2*f. Let g be m(-8). Let w = g - -17. Is w a composite number?
True
Let g be 2 - 1 - (-2 + 3). Suppose g*x = -4*x + 356. Is x composite?
False
Let c be (-30)/4*92/2. Is (4/(-6))/(10/c) prime?
True
Suppose -b + 13 = -19. Suppose 2*z = z - b. Let d = -18 - z. Is d composite?
True
Let s be (1/(-4))/(4/(-16)). Is (-13)/(-2)*(s + 1) prime?
True
Suppose -2*o = -4*c + 20, 2*o - 9 - 1 = -c. Let w = c + -8. Is (-103)/w - (-1)/(-2) a prime number?
False
Suppose -3*n + 4*z + 12 = -5, -2*z = 2*n + 12. Let w(d) = -45*d**3 - 1 - 30*d**3 - 2*d**3 + d**2. Is w(n) a composite number?
True
Suppose -3*r - 3*q + 626 = -7*q, 3*r + q - 616 = 0. Is r prime?
False
Let p(o) = 11*o**2 + 12*o - 52. Is p(-15) composite?
False
Suppose -4*a - 4 = 0, 4*v - v - 151 = 4*a. Let l = -28 + v. Is l a composite number?
True
Suppose 2*r + 27 = r + 5*s, -3*r + 5*s = 31. Let v be 293/(-3) + r/6. Let h = 51 - v. Is h a composite number?
False
Suppose 4*z = -0*z + 80. Suppose -321 = -5*p + v, 4*v = -v + z. Is p prime?
False
Let u(s) = -s**3 + 6*s**2 + 3. Let o be u(6). Suppose -q = -f - 3*f - 65, -q + o*f = -61. Is q a composite number?
True
Suppose -c = -3*q + 17 - 0, c = -4*q + 25. Let o(m) = 7*m**2 - 2*m - 11. Let t(l) = -l**2 + 1. Let d(r) = o(r) + 4*t(r). Is d(q) a composite number?
False
Let n be ((-2)/(-5))/(1/320). Suppose 0 = -o - 3*o + n. Suppose -o = -5*x + 153. Is x composite?
False
Let h(d) = 24*d - 11. Let m be h(-11). Let l = 398 + m. Is l prime?
False
Let m(v) = 3*v - v + 1 - 3*v. Let n be m(1). Suppose n = -3*d - 12, 0 = -0*t + 2*t + d - 144. Is t prime?
False
Let k = 29 + -21. Let x = k - 5. Is x composite?
False
Let c = 9 + 10. Let d = 32 - 62. Let u = c - d. Is u a prime number?
False
Let y(b) = -b**3 + 1. Let x be y(1). Suppose 0 = -d - x*d. Suppose d*k + k = 37. Is k composite?
False
Suppose -o + 3 = 3*w, 4*o - w + 1 = o. Let b = o - 0. Let a = b + 23. Is a prime?
True
Suppose -5*k + 934 = h, 5*h = -4 - 1. Is k a composite number?
True
Let i(p) be the second derivative of p**4/3 - 5*p**3/2 + 13*p**2/2 - p. Is i(10) a prime number?
True
Let j(u) = -u**2 - 21*u - 17. Is j(-9) composite?
True
Suppose -6 = 2*t, -4*q + 0*q + 5*t = -1339. Is q a prime number?
True
Let j(v) = 3*v + 1. Let r be j(7). Let m = 31 + r. Is m prime?
True
Let g be 10*-3*2/(-12). Suppose -g*z = -3*z - 178. Is z a composite number?
False
Suppose 10 = -0*d + 2*d. Suppose -d*i = -i. Let x = 31 + i. Is x a prime number?
True
Suppose r - 3*r = -4*s + 202, -3*r - 4*s = 333. Let f = 472 + r. Is f prime?
False
Let z(k) = 8*k**3 + k**2 - 1. Let s be z(1). Let m(x) = -x**3 + 9*x**2 - 7*x + 5. Is m(s) composite?
False
Is 132/2 + (-7)/(-7) a prime number?
True
Suppose -2*i + 251 = -11. Is i prime?
True
Let u be (-1)/5 - (-678)/15. Suppose 0 = -0*c + 3*c - u. Let g = -8 + c. Is g a prime number?
True
Suppose -3*j + 3*l + 816 = 0, 2*j + l - 1068 = -2*j. Let k = 145 + j. Is k prime?
False
Let j(h) = h**2 + 2*h - 2. Suppose 0 = 4*r + 7 - 3. Let u = -4 + r. Is j(u) composite?
False
Suppose 4*j = 3*c + 3*j - 98, -74 = -2*c + 5*j. Let n = c + -17. Is n prime?
False
Let o be -1 + (-4)/((-12)/9). Suppose 7*v = o*v + 255. Let n = v + 2. Is n a prime number?
True
Let m(v) = -2*v + 1 - v - 4*v**2 + 3*v**3 + v**2 - 4*v**3. Let u be m(-4). Let j = u - -2. Is j a prime number?
True
Let m be (-4)/2 + 5 - -2. Let a(q) = -q**2 - q. Let k(x) = -3*x**2 + 6*x - 4. Let i(h) = a(h) - k(h). Is i(m) prime?
True
Let d(u) = -u - 5*u - u**3 + 4 - 14 + 9*u**2. Let x be d(8). Suppose 188 = -2*g + x*g. Is g a composite number?
False
Suppose 2*r - 431 = -121. Suppose 5*v - 2100 = -r. Is v composite?
False
Let v be (-6)/(1 - 111/117). Let w = v - -221. Suppose -58 = -f + 5*y, -2*f + w = -0*y + 2*y. Is f a prime number?
True
Suppose 0 = v + 5*q + 25, -5*q - 40 + 10 = 2*v. Is (-4)/(-10) + (-33)/v composite?
False
Suppose 4*y = -0*y + 20. Suppose m + 412 = -0*l + 5*l, -y*m - 68 = -l. Is l composite?
False
Suppose 0 = -4*w - 29 - 3. Is 6/(-4) - 604/w prime?
False
Suppose 83 = d - 5*h, -5*d + h + 269 + 98 = 0. Let w = 138 - d. Is w a composite number?
True
Let r(f) = 6*f**3 + 3. Let m be r(3). Let x = -4 + 6. Suppose -m = -y - x*y. Is y composite?
True
Suppose 149 = g - t, -5*g + t = -799 + 74. Let r = g - 97. Is r prime?
True
Let g(s) = -5*s**3 + s**2. Let p be g(-1). Suppose 124 = -2*i + p*i. Is i composite?
False
Is ((-502)/(-5))/(10/25) a prime number?
True
Suppose -5*n + 1169 = -3*b, n - 2*b - 231 = -0*n. Is n composite?
True
Let x be (24 + 1)*4/(-10). Let t be x/(-1) + (-4)/2. Suppose j + 3*h = t, 0 = -4*j + 3*h + 84 + 23. Is j a composite number?
False
Let s(q) = 5*q**2 - q - 37. Let r(l) = -l**2. Let v(x) = -4*r(x) - s(x). Is v(0) a composite number?
False
Suppose -292 = -3*c + h - 0*h, -3*c = -