 f a prime number?
False
Let x(y) = y**2 - 5*y + 3. Is x(-5) a prime number?
True
Suppose 3*c - 175 = -2*c. Suppose -2*p + 3*k = -c, -p = 4*p - k - 81. Suppose -17 = -x + p. Is x prime?
False
Let x = -357 + 624. Is x composite?
True
Let p = 10 + -6. Suppose -p*b + 3 = -17. Suppose 0*k + 2*a = -b*k + 389, -4 = -2*a. Is k composite?
True
Let v be (2/3)/(3/9). Is (-3 - (-142 + 2)) + v a composite number?
False
Let j = -13 + 18. Let h = 291 + -188. Suppose j*n = -5, -2*r - h = -6*r + 3*n. Is r composite?
True
Suppose p - 2*c = 2*c + 414, 0 = -3*p - 3*c + 1272. Is p prime?
False
Suppose 0 = -o - 3*o + 236. Is o a composite number?
False
Let h be -2 - 1 - (-2 + -3). Let f(q) = 9*q**2 - 1. Is f(h) composite?
True
Suppose z - q = -0*q + 254, 0 = 2*q + 6. Is z composite?
False
Let l(j) be the third derivative of j**4/24 + 11*j**3/2 + j**2. Let p be (3 - 3)/(2 - 0). Is l(p) a composite number?
True
Let o(c) = -c**3 + 9*c**2 - 7*c. Let i be 22/4 + (-21)/(-14). Is o(i) a composite number?
True
Let k(j) = 6*j**3 + 6*j + 44. Let y(n) = -n**3 - n + 1. Let g(a) = k(a) + 5*y(a). Is g(0) a composite number?
True
Let s(k) = 5*k**3 - k**2 + 6*k + 1. Let l(n) = n**3 + n**2. Let r(z) = -4*l(z) + s(z). Let c = -5 - -10. Is r(c) a composite number?
False
Suppose -7 = v + 4*f, -2*v + 0*f - f - 14 = 0. Let g be -5 - -3 - (v - 0). Suppose 1 - g = -c. Is c prime?
False
Let w(m) = -m + 5. Let r be w(-6). Let c = 25 - r. Is 14*2*c/8 a prime number?
False
Suppose -2*v = 2, -3*v = 5*j - 146 - 596. Is j composite?
False
Suppose -292 = -5*o + q + 2*q, 0 = 3*o - q - 176. Is o a composite number?
False
Suppose 760 = 6*r + 94. Suppose 427 = 2*z + r. Is z prime?
False
Let k = 982 - -1217. Is k composite?
True
Let h be 1/(45/(-21) + 2). Let f = h - -9. Suppose 0*s = -f*s + 6. Is s composite?
False
Let v(m) = -m**3 - 12*m**2 + 11*m - 16. Is v(-13) prime?
False
Let t be -1*0/(4/(-2)). Suppose 6*w - w - 745 = t. Is w a prime number?
True
Let h = 4 + -6. Let a be (8/20)/(h/(-150)). Suppose -5*w + 95 = a. Is w a prime number?
True
Let o(f) = -14*f - 8. Let w be o(-7). Suppose -4*k + b = -1142 - w, -k - 4*b = -291. Is k a composite number?
False
Let z(x) = 9*x**3 + x**2 - x - 1. Let t be z(-1). Let m(q) = -7*q + 2. Is m(t) prime?
False
Suppose 0 = 4*u - 8*u + 1420. Is u prime?
False
Let f = -59 + 155. Suppose -4*p + 3*n - f = -476, p - n - 95 = 0. Suppose p + 80 = 5*y. Is y a prime number?
False
Let q(p) = -p**2 - 1. Let c(y) = 3*y**2 + y + 1. Let t(h) = c(h) + q(h). Let j be t(-1). Is (23/(-4) + j)*-4 a prime number?
True
Let p(c) = -c**2 + 6*c. Let i be p(5). Suppose -l - 5*d + 4 + 3 = 0, -i*d = -3*l + 121. Let r = l + 5. Is r a prime number?
True
Let u(l) = -11*l + 1. Let z be u(-7). Is 1*(z - 1/1) prime?
False
Suppose 178 = -4*j - 5*g, -2*j + 5*g - 11 = 93. Let k = j + 73. Is k composite?
True
Suppose -7*o - 356 = 2*l - 2*o, 3*l = -o - 560. Let u = -111 - l. Is u a composite number?
True
Suppose -2*k + 400 = -4*j, -2*j + 0*j = 6. Suppose o = -w + 206, 0*o + k = w - 5*o. Suppose w = 5*c + h - 285, 3*c + 5*h = 311. Is c a composite number?
False
Suppose -2*y - 792 = y. Let v = 15 - y. Suppose -4*l + 5*i = -200, -9*l + 4*l - i + v = 0. Is l prime?
False
Let v(f) = 4*f**3 - 7. Is v(5) a prime number?
False
Suppose -u - h + 71 = -0*h, -4*u + 2*h = -254. Let d = 151 - u. Is d a composite number?
True
Is (-12968)/(-24) + (-2)/(-3) prime?
True
Let x(w) = 15*w**2. Let j be x(1). Let q = 26 - j. Is q composite?
False
Let u(c) = -11*c - 3. Is u(-2) prime?
True
Suppose 0 = y - 128 - 137. Is y composite?
True
Let r be 4*((-10)/4 - -3). Suppose 0 = -3*n - 2*u + 235, -2*n - r*n + 313 = 3*u. Is n composite?
False
Let m(c) = -2*c**3 - 2*c**2 + 2*c + 1. Let u(y) = -y**2 - 7*y - 8. Let n be u(-6). Let l be m(n). Is (-452)/(-20) - (-2)/l prime?
True
Suppose -5*c + c = -36. Let u = -7 + c. Suppose 0 = u*k - 0*k - 278. Is k a prime number?
True
Let b be 1/1*-1*53. Let n = b + 102. Is n a composite number?
True
Let l be (0 - 0) + -1 - -9. Suppose -2*i + 2*q = -200, l*i - 376 = 4*i - 4*q. Is i prime?
True
Let k(a) = -a - 4. Let h be k(-6). Let q be 50*(h - 0 - 1). Suppose -5*z + 4*r + 49 + q = 0, r - 37 = -2*z. Is z a prime number?
True
Suppose -5*v = -2*j - 23, 2*j = -v - 3 - 2. Is (630/27)/(2/v) composite?
True
Is 2/(24/4016*8/6) prime?
True
Let o be 0/(-3)*1/(-2). Suppose 4*x + 0*x - 8 = o. Suppose -u = 5*s - 187, 5*u = -x*s - 0*u + 84. Is s a composite number?
False
Suppose -306 = -5*n - 116. Is n prime?
False
Let m(p) = 35*p + 10. Let v be m(7). Let s = v - 170. Is s composite?
True
Let r(t) = -5*t**3 - 11*t**2 - 12*t - 5. Let x(j) = -j**3 - j**2 - j. Let h(d) = r(d) - 4*x(d). Is h(-7) prime?
False
Suppose 0 = 2*n - 4*n + 506. Is n composite?
True
Let s = -420 - -2281. Is s composite?
False
Suppose 25 = 7*w - 2*w. Suppose 0 = -w*h - 4*l + 81, -4*l + 55 = h + 2*h. Is h a prime number?
True
Let f(i) = -i - 13. Let g(l) = -4*l**2 - 2*l + 2. Let t be g(-2). Let y be f(t). Let h = y - -80. Is h a prime number?
False
Suppose 236 + 387 = 7*u. Is u composite?
False
Let w = 161 - -102. Is w prime?
True
Let z = 2231 - 646. Is z composite?
True
Let r(h) = 5*h**2 + 4. Is r(3) a composite number?
True
Suppose -65 = -5*j + 10. Is j - 0/(2 + -1) a composite number?
True
Let s(w) = -w - 5. Let b be s(-5). Suppose -2*l - 2*n + 62 = b, -112 = -4*l + n - 2*n. Suppose -2*f = -p - l, 3*f + 6*p - 4*p - 23 = 0. Is f prime?
True
Let o(f) = 177*f + 1. Let r be o(2). Suppose 0 = 9*l - 4*l - r. Is l prime?
True
Suppose 3*g = -a + 11, -5*g + 16 = 2*a - 1. Let s be (448 + -2)*(-2)/a. Suppose -2*r + s = -67. Is r a composite number?
True
Suppose -5*z + 2240 = -2*b, b - 28 = 2*z - 925. Is z prime?
False
Let m = 16 - 12. Suppose 0*u - 81 = -u - 2*o, m*u - 314 = -3*o. Is u a composite number?
True
Suppose -5*x + 2*q + q = -273, 2*x + 3*q - 105 = 0. Let g(v) = v**3 - 6*v**2 - v + 2. Let w be g(5). Let c = w + x. Is c composite?
True
Suppose 5*t - 487 = -q, -5*q = 4*t - 2*q - 394. Is t a prime number?
True
Let q(j) be the first derivative of 131*j**6/180 + j**5/120 - 4*j**3/3 - 4. Let r(t) be the third derivative of q(t). Is r(1) composite?
False
Suppose 5*x = -483 + 1443. Suppose 3*a = -z - 2*z - x, 5*a - 4*z = -302. Is (-3 - -2)/(2/a) composite?
False
Let y(r) = -6*r**2 + r + 4. Let m(w) = w**3 + 7*w**2 + 6*w - 3. Let j be m(-6). Let s be y(j). Is (s/(-3))/((-3)/(-9)) a prime number?
True
Suppose -4*k + 1178 - 3 = p, -p = -3*k + 876. Suppose 4*l = 3*l + k. Is l a prime number?
True
Suppose 2*f = 3*r + 375, -f + r + 188 = -r. Let y = 35 + -14. Is (14/y)/(4/f) prime?
True
Suppose 0 = -5*c + 421 - 156. Is c a prime number?
True
Let u(b) = 68*b**3 - 2*b**2 - 2*b + 1. Is u(2) composite?
True
Is 2163/28 - 1/4 prime?
False
Let j be 115/25 - 2/(-5). Suppose a + 2 = t - 0*t, -j*t - 5*a + 20 = 0. Is t a composite number?
False
Let q = -8 - -11. Is (-177)/(-9)*3*q prime?
False
Let q = 12 - 7. Suppose -3*u + 25 = 3*l - l, 0 = 5*u - 4*l - q. Let a = u + 50. Is a composite?
True
Suppose 0*y - 49 = -y. Is y a composite number?
True
Let p = 26 - 40. Let i = 0 - p. Is i a prime number?
False
Let d = 1332 + -745. Is d a composite number?
False
Suppose 0*z - 6 = -2*z. Let n(o) = 6*o**3 - 2*o**2 + o + 2. Is n(z) prime?
True
Let j(w) = -4*w + 19. Is j(-12) prime?
True
Suppose -f + 5*f - 425 = -y, 0 = 5*y + 4*f - 2205. Is y a composite number?
True
Let q(o) = -o**2 + 6. Let r be q(6). Let h be ((-4)/(-10))/((-6)/r). Suppose -h*l = -4*t - 318, 3*l = 6*l + t - 491. Is l prime?
True
Suppose 13 = 3*g - 2*k, 0 = 6*g - 5*g - k - 5. Suppose 2*c = 2*r + g*r - 72, c = -r + 13. Is r composite?
True
Let x = 259 + 435. Is x composite?
True
Suppose 0 = -5*z - 3*j + 268, z + 0*j = -3*j + 56. Is z prime?
True
Let r = -2 + 3. Let m be 3350/14 + 2/(-7). Is (3 + m)/(2/r) prime?
False
Let i be 8/(-14)*7/(-2). Suppose -345 = -g - i*g. Is g composite?
True
Let j(i) = -39*i + 1. Let b be j(-4). Suppose n + 3*n - 628 = 3*c, -n - 4*c = -b. Is n a composite number?
False
Let u be ((-79)/(-2))/(2/4). Let f = 8 - 20. Let k = u + f. Is k composite?
False
Let t be 16/24 - 170/(-6). Let q = t + -10. Is q composite?
False
Let b(k) = -k**2 + 8*k + 9. Let h be b(9). Let s(r) = r + 19. Is s(h) a composite number?
False
Let z(s) = -s**2 + 5*s - 2. Let y be z(4). Is (y - -1) + (62 - -2)