u**4 - u**2/2 + 4*u. Let n be l(-1). Let c = 136 - n. Is c a composite number?
False
Let l = 2774 + -673. Is l prime?
False
Suppose -2*p + d - 2178 = -3*p, 3*p = -5*d + 6532. Is p a prime number?
True
Let u(n) = -n**3 + n**2 - n. Let r be u(0). Suppose r = 4*m - h - 6 - 5, 0 = -3*m + 2*h + 12. Suppose 3*t + 5*w - m*w - 105 = 0, 0 = -3*w. Is t a prime number?
False
Suppose -4*h + 2*v + 3*v = -744, 3*h - 5*v - 558 = 0. Is h + 2 + (-6)/2 a prime number?
False
Is 1/4 - ((-10605)/28 - -6) prime?
True
Let c(p) = 174*p - 17. Is c(5) prime?
True
Suppose 4*u - 1455 = -u - 4*m, -4*m = 2*u - 582. Is u a prime number?
False
Suppose -5*f + 2*f = -381. Is f prime?
True
Let y(z) be the first derivative of 11*z**2/2 - 7*z - 3. Is y(6) composite?
False
Suppose 7*s = s + 7026. Is s a prime number?
True
Suppose 3*z - m = -13, -2*m + 12 = -2*z - 2. Let p(v) = -v**3 + v**2 + v - 3. Let h be p(z). Suppose -a = -3*a + h. Is a composite?
True
Let s(q) = q**2 - 5*q + 2. Let g be s(3). Let i be ((-8)/(-10))/(g/(-10)). Suppose -i*t - 10 + 108 = 0. Is t composite?
True
Let m = 1 + 5. Suppose i + 1105 = m*i. Is i prime?
False
Suppose 2*y - 5339 = -0*j - j, 4*y - 3*j = 10693. Is y prime?
True
Suppose 3*n - 265 = 2*j, -n = -3*j - 75 - 25. Is n composite?
True
Let y(r) be the second derivative of 11*r**3/3 - r**2/2 - r. Is y(1) composite?
True
Suppose 4*z + 7*i + 12 = 2*i, 8 = -2*z - 3*i. Suppose 3*s + 5*f = z*s + 10, -2*s = -4*f - 90. Is s composite?
True
Let k(l) = 309*l - 14. Is k(3) a composite number?
True
Suppose 325 = 4*i - 331. Is ((-10)/4)/(-5)*i prime?
False
Suppose -7621 = -3*j - u, -4*u + 4 + 0 = 0. Is (j/(-15))/(6/(-9)) a prime number?
False
Suppose 2*i = -2*w + 8 + 2, -5*w = 3*i - 19. Suppose -m + u + 0*u = -7, -m + 3*u = i. Suppose -m = -4*n, 3*v + v - 16 = 4*n. Is v a prime number?
True
Let h = 5 - 5. Let f = h - -2. Suppose -f*l = -5*l + 57. Is l prime?
True
Suppose 4*d = 2*j - j - 2, -13 = 5*d + 4*j. Let k = 150 - 72. Is (k - 0) + 0 + d a prime number?
False
Let v = -384 - -2924. Suppose -5*y + y = -v. Is y composite?
True
Let l = -1562 + 2964. Is l prime?
False
Let q = -5966 - -8853. Suppose 228 + q = 5*x. Is x a prime number?
False
Let p(r) = r**2 - 2*r - 4. Let i be p(4). Suppose -y + i*y = -12. Is (98/2)/(y - -5) a composite number?
True
Let b be (1/2)/(3/54). Let i(o) = -1 + 6 + o + b. Is i(0) a prime number?
False
Let g = -13 - -9. Is 116*g*(-3)/24 a prime number?
False
Let f(w) = 22*w**3 + w**2 - 3*w + 3. Let z(r) = r**3 - r**2 + r - 1. Let t be z(2). Let a be 3*(30/9)/t. Is f(a) prime?
False
Let u(v) = v**3 + v + 2. Let i be u(0). Let l be ((-537)/9)/(i/(-6)). Suppose -l = -b - 64. Is b a prime number?
False
Let v be (-2)/12 - (-759)/18. Let f = 64 - v. Is ((-1)/2 + 2)*f prime?
False
Suppose -3*x = -4*w - 19, 2*x + 0*x + 2*w - 8 = 0. Suppose -5*u = -x*z - 595, u + 41 = -z + 152. Is u prime?
False
Suppose -5588 = -10*u + 6*u. Is u prime?
False
Suppose -2*v + 10683 = 7*v. Is v a composite number?
False
Let j(w) = -56*w - 1. Suppose 0 = 3*k + 8 + 4. Is j(k) a prime number?
True
Let q = -1 + 2. Let s = -7 + 8. Is (31 - q) + 0 + s composite?
False
Suppose 4*r - q + 9 = 2*r, 0 = 5*q - 25. Let m be (-24 - (-4)/r) + 2. Let z = 47 + m. Is z composite?
False
Let n be 558 - 4/(2/1). Suppose j = -3*j + n. Suppose 9 = 3*x, i - j = -3*x - x. Is i composite?
False
Suppose 81 = -3*z - 0*k - k, 108 = -4*z - 4*k. Let c = z + 62. Is c prime?
False
Let q = -3102 - -5843. Is q prime?
True
Let i = 106 - 37. Is i prime?
False
Let o(l) = l**2 - 2. Let z be o(3). Suppose -h - z = 2*j + 3, 0 = -2*h + 5*j + 16. Is (-4)/(-6)*(-159)/h a composite number?
False
Let d(k) = 63*k + 25. Is d(12) composite?
True
Suppose -4*s + 1028 = -4*n, s - 2*n - 98 = 163. Is s composite?
True
Let d(i) be the third derivative of 5*i**4/2 - 3*i**3/2 - 2*i**2. Is d(5) composite?
True
Let v = -99 - 10. Let d be (3/6)/(1/(-76)). Let x = d - v. Is x prime?
True
Let v = -11 + -7. Is v/81 - 2938/(-18) a composite number?
False
Let d be 6 + -6 + 3 + -76. Let o = -27 - d. Is o prime?
False
Suppose -5*v + 44 = -4*g, -g + 3 = 2*v - 12. Let l = 27 - v. Is l a composite number?
False
Let w be -13 + -2 + (3 - 0). Let l = w - -15. Is l a prime number?
True
Let r = 0 - -4. Let h be (-3)/(-12) + 19/r. Suppose h*q - 30 = -10. Is q a composite number?
True
Suppose -5*z = -0*z. Let m = -2 - -4. Suppose -m*l + 91 = 3*p + 3*l, 3*p - 2*l - 119 = z. Is p prime?
True
Suppose 0*a = -2*a + 352. Suppose 9 = 5*u - a. Is u a prime number?
True
Let a(c) be the first derivative of -c**2/2 - 2*c - 3. Let v be a(-5). Suppose n - v*r = -0*r + 86, -3*n + 266 = -r. Is n a composite number?
False
Let y(t) = 170*t**2 - 3*t + 3. Let b(v) = v + 1. Let s be b(1). Is y(s) prime?
True
Let t be (-10)/(-25) + 43/5. Let b be 6 + 0/3 + -3. Suppose 1350 = t*l - 4*l - 5*x, -4*l + 1075 = -b*x. Is l a composite number?
True
Let w be (-1 + -1)*(-7)/14. Suppose 0 = -3*s - w + 43. Is s prime?
False
Suppose -2*q + 791 = -2007. Is q a prime number?
True
Suppose 0 = -2*m + 5 + 3. Suppose 0 = -3*a + m*a - 89. Is a a composite number?
False
Is (-5)/5*751*-1 composite?
False
Is 70/(-28)*(-62)/5 a composite number?
False
Let u(a) = -14*a + 7. Let w be u(-6). Let q = w - 55. Is q*1 + (-1 - 1) a composite number?
True
Let u(c) = -6*c - 4. Suppose 0 = -2*d + o + 1 - 8, -d + 5*o = -10. Is u(d) a prime number?
False
Suppose -4*x - 5*z + 1003 = -6*z, 5*z - 1009 = -4*x. Is x composite?
False
Let t = -17 - -9. Let w(s) = -s**2 - 8*s - 5. Let h be w(t). Is ((-67)/(-2))/(h/(-10)) prime?
True
Suppose 4*p - 16532 = 2*u, 3*u - 8254 = -2*p + 7*u. Is p a composite number?
True
Let v = -224 + 321. Is v prime?
True
Suppose x - 5 = 9. Let u = x - -5. Is u a composite number?
False
Let u(o) = -o + 10. Let i(x) = 2*x + 15. Let v be i(-13). Is u(v) a prime number?
False
Let c(n) = 21*n + 12. Let j be c(9). Suppose 0*z - j = -z. Suppose -2*i + i + 33 = q, -4*q = -5*i + z. Is i a composite number?
False
Suppose 0*u + 4*p - 15 = -3*u, u - 2*p = 5. Let y(o) = o**3 + 10*o**2 + 3*o + 12. Let q be y(-8). Suppose u*x = 39 + q. Is x prime?
True
Suppose -4*j + 3*q - 16 - 8 = 0, -2*q + 1 = -j. Let h be (-2)/j - 4364/36. Let u = 552 + h. Is u a prime number?
True
Let n(b) = -b**2 - 4*b + 2. Let l be n(-4). Suppose -l*m + 91 + 25 = 0. Is m prime?
False
Let d(o) = 3*o + 17. Is d(12) composite?
False
Let n(t) = 3*t**2 + 5*t. Let v be n(5). Let p = 51 - 6. Let f = v - p. Is f composite?
True
Let f be (1/3)/(6/54). Suppose f*n - 40 = 2. Is n prime?
False
Let i = 533 + -12. Is i a prime number?
True
Suppose -2*l = -l - 184. Suppose -3*h - 2*g + l = 0, 113 + 72 = 3*h + g. Suppose -3*i - h = -4*x, 5*x = -0*x + i + 72. Is x composite?
True
Let c(r) = -r**3 - 1. Let w be c(-1). Suppose w = 3*g + 2*g - 515. Is g a composite number?
False
Let j = -11 - -13. Suppose h + 2*z = -j*z + 285, -5*z = -3*h + 923. Is h a prime number?
False
Let t = 29 - -402. Is t a prime number?
True
Is 4/(-2)*2246/(-4) prime?
True
Let y(q) = 7*q**3 - 2*q + 1. Let t be y(1). Suppose t*j - 2*j + 4 = 2*f, -8 = -4*f. Suppose j*s - 2*s = -86. Is s a composite number?
False
Suppose 3*h + 105 = 6*h. Suppose 2*p + b = -3*p + 280, 4*b + h = p. Is p a composite number?
True
Suppose -3*d = -8*d + 2*k + 585, -2*d = -2*k - 240. Is d a prime number?
False
Let u = 5215 + -3156. Is u prime?
False
Let h(g) = 34*g**3 + g**2 - 1. Suppose -2*y - 5 = -3*y. Suppose -8*b + y = -3*b. Is h(b) prime?
False
Let t = 415 - -341. Let s be t/(-8)*(2 + -4). Suppose -3*j + s = -2*o, 4*j - 274 = 2*o - 20. Is j a composite number?
True
Let w(j) = j**2 - 3*j - 1. Let m be w(4). Is 3/(m + 1134/(-381)) composite?
False
Is (-7 + 26)/(1/5) prime?
False
Suppose -3*w = -0*w + 69. Let m(o) = -o**2 - 6*o + 4. Let u be m(4). Let s = w - u. Is s a composite number?
False
Let r = 9 - 7. Suppose -r = -3*v - 4*w, 0 = -2*v + 4*v - 3*w - 24. Is v a composite number?
True
Let u be 1 + 3 - 2 - 10. Let t(o) = o**2 - o - 1. Let m be t(5). Let x = u + m. Is x a prime number?
True
Let x(m) = 12*m - 6. Let j be x(4). Suppose 0*o + o = j. Suppose -r - r + o = 0. Is r a composite number?
True
Suppose 5*m - m = -4*n + 4160, 3*m = 5*n - 5224. Is n a composite number?
True
Suppose 4*j = -4*d + j + 107, -4*j = -d + 22. Is d a composite number?
True
Let k(u) = -10*u - 2*u**2 - 4 - u**