
True
Let k(t) be the third derivative of t**5/60 + t**4/12 - t**3/3 + 7*t**2. Is k(-6) composite?
True
Let s(w) = -2*w - 7. Let n be s(-6). Suppose n*b = 71 + 44. Is b prime?
True
Let p be 6 + 2 + -4 + 76. Let x = 111 + p. Is x composite?
False
Suppose -3*j - j = -16. Let l be (0 + 0)*(-2)/j. Suppose k - 13 = -l*k. Is k a composite number?
False
Let w(p) = 15*p - 17. Is w(9) a composite number?
True
Let b be 6/(6/4*1). Suppose -b*z + 185 = z. Is z a composite number?
False
Let m(n) = -133*n - 79. Is m(-6) composite?
False
Let x = -9 + 6. Let h be -269*(x - (3 + -5)). Suppose 5*o - 714 + h = 0. Is o composite?
False
Suppose -8*k = -3*k - 1605. Suppose -5*u + 684 = -k. Is u a composite number?
True
Let r(g) = g**2 - 3*g - 7. Is r(8) a composite number?
True
Let k be 2/(-4) - 10/(-4). Let w be k/1 + 36 - -1. Suppose -4*l + l = -w. Is l a prime number?
True
Let u = -5 - -1. Let f(h) = 7*h**3 + 7*h**2 + h + 5. Let p(t) = -13*t**3 - 14*t**2 - 3*t - 10. Let a(v) = -11*f(v) - 6*p(v). Is a(u) a composite number?
True
Is (-8 - 0)*((-105)/20 - 2) prime?
False
Suppose -2*h + 116 = -3*b, 2*b - 222 = -4*h + 3*b. Is h prime?
False
Let m(t) = 10*t - 37. Is m(15) a composite number?
False
Let c = 12 + -7. Suppose 0 = i - c + 38. Let b = -20 - i. Is b prime?
True
Let d = 0 - 4. Let v be (-2)/4*(-104)/d. Let m = v + 90. Is m a prime number?
False
Let q(v) = 13*v**2 + 16*v - 36. Is q(-11) composite?
False
Suppose 4*n - 22 = -10. Is n prime?
True
Suppose -3*d = -3, -2*b + 0*b + 25 = d. Suppose h + b = -h. Is h/2*(-28 + -1) a prime number?
False
Is 3 + 1 - (-347 - -4) prime?
True
Suppose 4*x - 3*l - 32 = 0, l = 4*x + x - 40. Let n = x - 4. Suppose -y + 4*u = n*y - 89, 3*u - 12 = 0. Is y a composite number?
True
Let h(i) = 6*i**2 - 3. Let f be h(4). Let b be (-7)/14 - 293/(-2). Let d = b - f. Is d prime?
True
Suppose -15 = -o - 5*c + 13, 0 = 4*o + 2*c - 76. Let h be (-53)/5 + (-2)/5. Let b = o + h. Is b prime?
True
Suppose 7*h - 2*h = 20110. Is h prime?
False
Let q(v) = -37*v - 2. Let z be q(2). Let i = z + 263. Is i a prime number?
False
Let r(z) = -1256*z**3 - 3*z**2 - 2*z. Is r(-1) composite?
True
Suppose 3*u = 3*i + 369, 5*u = -5*i + 3*i + 601. Is u composite?
True
Let h be (2 - 14)/(-2) + -3. Let d(o) = h + 5*o + 18*o + 2. Is d(4) a composite number?
False
Let d = -5 - -8. Suppose -d*y = -w - 100, -130 = 2*y - 6*y + 2*w. Is y a prime number?
False
Suppose 2*r - 3*z = -40, 4*r - 5*r - 34 = -5*z. Let q = -26 - r. Is 6/8 - 915/q a composite number?
True
Let l(m) = 5*m**2 - 17*m + 73. Is l(14) composite?
True
Let d(f) = -5*f - 10. Let n be 1 + 6 - (0 - -2). Suppose q + 11 = -l, -n*l - 3 = -3*q - 4. Is d(q) prime?
False
Let q(t) = -t - 1. Let d(r) = 22*r + 5. Let v(y) = -d(y) - 3*q(y). Is v(-3) a prime number?
False
Let z(u) = 9*u - 2. Let i(q) = 10*q - 1. Let t(x) = -3*i(x) + 2*z(x). Let w be t(-1). Suppose 37 = n + w. Is n composite?
True
Suppose -3*u + 4 = p, 7*p - 3*p + 2*u = -34. Let g = p - -18. Is g a composite number?
False
Let a be 0 + (-1 - -1) + 43. Let k = -3 + 5. Is (-1)/2 + a/k a prime number?
False
Let f = -10 + 15. Suppose -f*o + 5 = 10. Is (-3)/3*49*o prime?
False
Suppose -6 + 4 = -2*a. Let m be a + (0 - 2) - 6. Let r = m + 17. Is r composite?
True
Suppose 0 = -4*s - 5 + 21. Suppose -s*n = -3*t + 543, t + t = 2*n + 362. Is t prime?
True
Suppose -21*y = -14*y - 2471. Is y composite?
False
Suppose 3*r + 3725 = 2*u + 471, -5*u - r = -8169. Is u composite?
True
Let l(w) = 4*w**2 - 19*w - 20. Is l(-11) composite?
False
Is (-2234)/8*(5/1 + -9) composite?
False
Let a(x) = -x - 2. Let f be a(-5). Suppose -4*q = -8, 3*c = 2*c + 5*q - f. Is c a prime number?
True
Let t(r) = r**2 - r - 2. Let q be t(2). Let c be 0 + q + (-4 - -3). Is (0 - -2) + 160 - c a composite number?
False
Let w = -7 - -9. Suppose -2*o + 106 + 14 = -2*f, -4*f = w*o + 246. Let b = f - -98. Is b composite?
False
Let a(f) = -68*f + 2. Is a(-4) a prime number?
False
Let k(j) be the first derivative of 11*j**3/3 - 4*j**2 + 3*j - 5. Is k(-4) a prime number?
True
Let n(l) = l**2 - 8*l - 6. Let p be n(9). Suppose 5*u + p*s - 177 = -s, u + 2*s = 33. Is u prime?
True
Let j = 192 - -98. Is 3 + -4 + j - -2 a composite number?
True
Let x(j) = -9*j + 3. Let i be x(8). Is (-4)/6 - i/9 composite?
False
Let l be (11 + -9)/((-2)/(-4)). Suppose l*b - 1044 = -2*g, 57 - 328 = -b - 3*g. Is b prime?
False
Suppose 0 = 4*g + 3*k + 259, 5*k + 261 = -2*g - 2*g. Let u = 191 + g. Is u a composite number?
False
Let l = 0 - -4. Suppose -b + 0*q + 84 = 5*q, l*q = b - 75. Is b a composite number?
False
Suppose -4*n - 2*r - 3*r + 15 = 0, 2*n = -2*r + 6. Suppose 0 = 4*f - 7*f + 5*w + 16, n = 2*w - 2. Is f composite?
False
Let d be (26 - 1)*(-2 + 3). Suppose b = 4*w - b - 20, -4*b + d = 5*w. Is (-5 + 210)*2/w prime?
False
Let w(q) = q - q**2 + 20 - 2*q + 17. Suppose -10 = 2*t - 5*g, 0*g = -5*t - 2*g + 4. Is w(t) composite?
False
Let l(d) = 12 + 61 - 4*d**2 + 69 + 3*d**2. Is l(0) composite?
True
Let z = -22 - -23. Let d(q) be the second derivative of 11*q**4/12 - q**2/2 - q. Is d(z) a composite number?
True
Let k(d) = -d + 5. Let v be k(0). Let a(x) = 24*x + 7. Is a(v) prime?
True
Let h = 6 - 8. Let m be (-1*3)/(1 + h). Suppose 0 = -3*v, -261 = -m*a + 2*v - 0*v. Is a a composite number?
True
Suppose -3*o + 0 = -3. Let m(p) = -2 + o - p**2 + 5 - 12*p. Is m(-7) a composite number?
True
Suppose 0 = k + 2*k - 6. Suppose 324 = 4*x + 4*v, 0 = -4*x - 0*v + k*v + 336. Is x composite?
False
Suppose 774 + 862 = 4*c. Is c a composite number?
False
Let n be 0 - -15*(-4)/(-4). Is (-3 + 36/n)*-295 a composite number?
True
Let c be 3 - (6 - 3 - -15). Let a = c + 10. Is 14*(-3)/15*a a prime number?
False
Let t = -53 - -108. Is t a prime number?
False
Let o = -150 - 142. Let x = o + 515. Is x composite?
False
Let y = 3606 + -1529. Is y a prime number?
False
Suppose 99 = -5*j + 434. Let y = j - -190. Is y a prime number?
True
Let k be -4*1/2*-1. Let h be ((-1)/(-1))/(k/(-38)). Let w = 33 + h. Is w composite?
True
Let z(v) = -99*v + 25. Is z(-8) prime?
False
Let r(f) = f**2 - 3*f - 3. Let d be r(4). Suppose 0 = 5*l - 2*a + 20, -3*l + 0 = a + d. Let g(c) = -10*c + 2. Is g(l) a prime number?
False
Let j = -237 + 832. Suppose 921 = 4*n - j. Is n prime?
True
Let y(m) = -2*m + 1. Let z be y(-4). Let b be z/(1/18*3). Suppose 2*w - 3*p - 37 = 0, -b + 11 = -2*w + p. Is w a prime number?
True
Let y(o) = 25*o + 3. Let g be y(7). Let h = g - 89. Is h a composite number?
False
Let r = 38 - -106. Let t = 489 - r. Suppose 7*j - t = 2*j. Is j prime?
False
Suppose -2*w - 2*k = 4, -6*k = -2*w - k + 24. Suppose w*g - n = 10, 0 = -g - 3*n + n. Suppose -c - 4*i = -7, 7*c - 66 = g*c + 3*i. Is c a prime number?
True
Let i = -33 - -84. Is i a prime number?
False
Let y = 130 - 80. Let o = y - 27. Is o prime?
True
Let v(r) = -r**2 + 15*r + 17. Suppose -s + 6*s = 70. Is v(s) a composite number?
False
Suppose 6 = 4*i - 14. Suppose 6 = -4*v + i*v. Is v a prime number?
False
Suppose -2*j - 7 = -1. Let s = -4 - -4. Let g = s - j. Is g a prime number?
True
Let u be ((-6)/18)/(2/(-42)). Let z(k) = k**2 + k + 2 - u*k + 2*k + 1. Is z(4) prime?
True
Let x(b) = 25*b. Let q be x(-1). Let u = q + 94. Is u prime?
False
Let t = -34 + 51. Suppose -4*q = -2*j + 116, 2*q + 225 = 4*j - 13. Suppose y = j - t. Is y prime?
True
Let a(z) = 2*z**2 + 3*z + 1. Let r be a(-2). Let d = -117 - -399. Is d/r*1/2 prime?
True
Let h(d) = -104*d**2 - 3*d - 3. Let w be h(3). Let q be w/9*6/4. Is (q/4)/((-2)/4) a prime number?
True
Let p(a) = a**2 + 13*a - 7. Is p(10) prime?
True
Let k(u) = -16*u**3 - 4*u**2 + 2*u - 4. Let y be k(3). Suppose -3*v + 681 = -2*c, 5*c + v + v = -1655. Let t = c - y. Is t composite?
True
Let z = -8 + 11. Let j be 20*(12/(-10))/z. Let d = 38 - j. Is d a composite number?
True
Let g(r) = r**2 - r - 2. Let f be g(3). Suppose -10 = -3*h - f. Suppose -3*u - 2*x = 3*x - h, 4*u = 2*x + 46. Is u a prime number?
False
Is 861/7 - (-1 + -3) a prime number?
True
Let g = 4 + 6. Suppose 14*k - 15*k = -g. Is k a composite number?
True
Suppose 2*s - 7*s = -365. Suppose -w = -4*y - 2*w + 336, 0 = -y - 3*w + s. Is y a composite number?
True
Suppose 0 = 2*r - 4*r - 216. Let j = 19 - r. Is j a prime number?
True
Suppose -15 = -5*q + 5. Suppose 0 = q*d - 3*d - 89. Is d a prime number?
True
