2 - h*t - 4*t - t**3 + 2. Is v(7) a prime number?
True
Let d = 18 - -859. Is d prime?
True
Let x(i) = i**3 - 7*i**2 + 8*i - 1. Let k = 2 - -5. Suppose -3*v = -4*v + k. Is x(v) a composite number?
True
Is (1287/(-18))/(1/(-2)) a composite number?
True
Let b be (-2 + (-32)/6)*-3. Suppose -6*s + 3*s - 5*k = -34, -b = s - 5*k. Suppose -s*g = g - 148. Is g composite?
False
Let r = -32 + -27. Let a = r - -172. Is a a prime number?
True
Let d(t) = 5*t**2 - 4*t + 5. Is d(8) a composite number?
False
Let z = 231 + 342. Is z a prime number?
False
Suppose 6*d - 5*d = 2, 2*d = 5*q - 16. Suppose -11 - q = -5*m. Suppose 0 = 4*y - 4 + 20, m*o - 239 = 2*y. Is o prime?
False
Is 36/54*669/2 a prime number?
True
Let s(w) = -w**2 + 3*w + 1031. Is s(0) a prime number?
True
Let g(a) = -a**2 + a + 1. Let x(i) = -8*i**2 + 7*i + 18. Let s(u) = 6*g(u) - x(u). Is s(9) a prime number?
False
Let i be (4 - 7)/(-1) - -1762. Suppose i = 3*k + 2*g, -3*k - g + 2781 - 1018 = 0. Is k composite?
False
Let b be (-1)/(-2 - -1) + 12. Suppose -3*q - 31 = -b. Is (-2)/(-2) - 336/q composite?
True
Let c(y) = -y**2 + 4*y + 5. Let m be c(5). Suppose 3*i + 7 + 11 = m. Is (3/i)/(2/(-140)) prime?
False
Suppose -4*p - 12 = 0, 3*c - p - 5673 = p. Is c composite?
False
Suppose 0 = -a - 2*d - 2*d - 44, -4*a - 2*d = 106. Let m be 4*21/a*14. Let b = -23 - m. Is b composite?
True
Suppose c = 2*q - c + 40, -5*q = -3*c + 100. Let g = q + 77. Is g a composite number?
True
Let a(x) = -171*x**3 + 20*x**2 + 2*x + 5. Is a(-4) prime?
True
Let x(f) = -2*f**2 + 5*f + 6. Let h(l) = l**2 - 3*l - 3. Let b(q) = -11*h(q) - 6*x(q). Is b(-6) prime?
False
Suppose -2*d + 105 = 3*d. Suppose 0 = -2*u + 6, -3*u + d + 21 = 3*t. Is t composite?
False
Let i(s) = -2*s - 4. Let v be i(-3). Suppose -3*f + 6 = -v*f. Is f composite?
True
Let c(w) = w - 6. Let n be c(8). Is 43/(3 - 4/n) prime?
True
Let f(y) = 4*y**2 - 11*y + 5. Let u be (4/3)/((-6)/(-45)). Is f(u) prime?
False
Suppose 4*c - 5*x = 1293, -3*x = 4*c + x - 1248. Is c composite?
False
Suppose 0 = 2*v - 13 - 65. Is v prime?
False
Suppose 4*i - 2*m = 3*i + 91, 2*i + m - 162 = 0. Let a = 178 - i. Suppose -3*b + 4*v = 8*v - a, 69 = 2*b - 3*v. Is b a prime number?
False
Let u(s) = -s**3 + 12*s**2 - 7*s - 7. Let g(z) = z**2 + z - 5. Let r be g(0). Let j(f) = -f**2 - 6*f + 6. Let c be j(r). Is u(c) a prime number?
True
Let q(t) = -t + 5. Let g be q(4). Let v be -2 + 27 + (g - 2). Is (-15)/v*-6*4 composite?
True
Let v = 3 - 3. Suppose 0*z - 5*z + 25 = v. Is (1 - 3)*(3 - z) composite?
True
Let s(y) = y**3 + 2. Let j be s(-2). Let m = -4 - j. Is m/(((-6)/381)/(-1)) composite?
False
Suppose -h + 4*l + 81 = -0*l, 0 = -3*h + 4*l + 267. Is h prime?
False
Is (34/51)/(2/15981) a composite number?
True
Let s(u) = -22*u**3 + 5*u + 3. Let y be s(-3). Let r = -331 + y. Is r a composite number?
False
Suppose -2*m = -c - 0*c, -c - 2 = -3*m. Let k = m - -93. Let y = -18 + k. Is y prime?
False
Let u(k) = k**3 - 2*k**2 - k + 201. Let v(n) = n**2 + 10*n. Let m be v(-10). Is u(m) a prime number?
False
Let u(j) = 8*j**2 - j - 21. Is u(-8) composite?
False
Let m(i) = -i**3 - 11*i**2 - 10*i + 19. Is m(-13) composite?
False
Let x(p) be the first derivative of -2*p**4/3 - p**3/6 + p**2 - 1. Let k(i) be the second derivative of x(i). Is k(-3) a prime number?
True
Suppose 3 = -3*c + 6. Is c*29 + -6 + 8 a prime number?
True
Let r(k) = 9*k**2 - 2. Let w(b) = -5*b**2 + 1. Let p(d) = 3*r(d) + 5*w(d). Let x be p(-3). Let y = -6 + x. Is y composite?
False
Let c(v) = 3*v - 8. Let p(u) = 5*u - 12. Let k(l) = 8*c(l) - 5*p(l). Let z be k(-4). Suppose z = -3*t + 6. Is t prime?
True
Let w(h) = -5*h + 5*h + 2*h - 5 + 7*h. Is w(4) a prime number?
True
Let j be (-312)/(-20) + 2/5. Suppose 5*t + 20 = v - 0*v, -4*t = j. Suppose 0 = -x + 21 - v. Is x composite?
True
Let m(x) = -x**2 - 2*x + 6. Let w be m(-5). Let y(v) = v. Let z(l) = l**2 + 18*l - 10. Let b(a) = 6*y(a) - z(a). Is b(w) a prime number?
True
Let t be 3/(3/(-2))*-1. Let m be (-2 + t + 1)*79. Suppose 2*g - 4*b - b - m = 0, 150 = 4*g - 2*b. Is g a prime number?
True
Let y(h) = h**3 + 3*h**2 + 4. Let l be y(-3). Let a(c) = 7*c - l + 1 - c. Is a(6) prime?
False
Suppose -335 = 3*n - 4*n. Is n a composite number?
True
Let x be -1*(-2 + -1)*-19. Let u = -20 - x. Is u composite?
False
Suppose -315 = -3*h - 3*r, 290 = 2*h + h - 2*r. Suppose 122 = 2*q - h. Is q a prime number?
False
Let l be (2*(-2)/4)/(-1). Let c(m) = 23*m + 0 + 45*m - l + 2. Is c(1) a composite number?
True
Suppose -2*l + 1374 = 4*y, 6*l - l - 3375 = 5*y. Is l prime?
False
Suppose 2*a - 3*a = 4*s - 5424, -4079 = -3*s + 2*a. Is s a composite number?
True
Suppose -2*u - 5 = -c, c + 2*u - 25 = -4*c. Suppose -4*t - 26 = -c*t. Is t prime?
False
Suppose 5*x = -3*n + 4099, -x - n + 431 = -388. Is x composite?
False
Let h(u) = -u**2 + 8*u + 11. Let o be h(8). Suppose -4*t - 21 = o. Let x(k) = -k**3 - 5*k**2 - 4*k + 9. Is x(t) composite?
False
Let c = -62 + 128. Suppose c + 154 = 2*j. Suppose -j = -0*f - 5*f. Is f a prime number?
False
Suppose -3*v + 118 = -4*v. Is -1*3 + (0 - v) composite?
True
Let y(c) = 19*c**2 + 4*c - 16. Is y(5) prime?
True
Let a = 33 + -23. Let y(u) = 8*u - u**2 + 2*u + 4*u - 9. Is y(a) prime?
True
Let a(r) = -12*r + 2*r - 5*r - 8*r + 7*r**2 + 1. Let o(v) = 20*v**2 - 68*v + 2. Let y(i) = 17*a(i) - 6*o(i). Is y(8) a prime number?
False
Suppose 9 = 5*i + 2*l, -5*i + 11 = -4*l - 16. Suppose 4*r + 6 = -2, -10 = -i*c + 2*r. Is (1 + 1)/c + 32 a prime number?
False
Suppose -d - 671 = -2154. Is d a prime number?
True
Let a(c) = -c**3 + 2*c**2 + 2*c. Let y be a(3). Let x = 6 + y. Suppose 0 = v - 3*s - 5 + 18, -x*v + 11 = s. Is v composite?
False
Let z be 1/3 - (-5)/3. Suppose -2*c - 153 = -n, 316 = 3*n - n - z*c. Is n prime?
True
Let x(g) = -4*g**2 - 12*g - 18. Let v be x(-8). Let b = v - -321. Is b composite?
True
Let c(m) = 45*m**3 - 2*m**2 + 3. Is c(2) prime?
False
Suppose -4*o = -4*g - 1393 - 2051, 4*o - 5*g = 3446. Is o prime?
True
Let c(l) = -26*l**2 + l - 3. Let i(v) = -103*v**2 + 5*v - 13. Let w(a) = -9*c(a) + 2*i(a). Is w(2) a prime number?
False
Suppose 0 = -4*c + 5*c - 953. Is c composite?
False
Let d(a) = -2*a. Is d(-11) a composite number?
True
Suppose -4*w - 33 = -5*k - 2*w, 3*k + 5*w + 5 = 0. Let f = 1 + k. Is (46/f)/((-1)/(-15)) a composite number?
True
Suppose -2425 = -15*g + 260. Is g composite?
False
Let y be (2 - -1) + 1/1. Suppose 2*i - y = 6*i, 4*n = 5*i + 97. Is n a composite number?
False
Let a(m) = 27*m - 1. Is a(2) prime?
True
Let s be (28/16)/((-1)/(-204)). Let o = 506 - s. Is o prime?
True
Suppose -5*x + 5 = 45. Is (-294)/x + (-4)/(-16) composite?
False
Suppose 3*l - 199 = -5*s - 16, s + 5*l - 19 = 0. Suppose -w = 2*w - s. Is w prime?
True
Suppose -10118 = -5*i + 2*k + k, 3*k - 8116 = -4*i. Is i a prime number?
False
Let l = 1075 - 560. Is l prime?
False
Suppose -5*w - o = -570, 0*w = -3*w - o + 342. Suppose 0 = 8*n - 10*n + 102. Suppose -n = -5*v + w. Is v prime?
False
Let n = 43 - 23. Suppose -4*y - n = -4*f, -f - 4*f + 4*y = -26. Is ((-4)/6)/(f/(-279)) a composite number?
False
Suppose -b + 3*b - 13 = i, 0 = -b + 4*i + 17. Suppose 0*g = -b*g + 565. Is g a composite number?
False
Suppose v - 1 = 1. Suppose -2*r + 3*r = v. Suppose 13 + 15 = r*y. Is y prime?
False
Suppose -10*s = -2524 - 4166. Is s prime?
False
Suppose -2*j - 5*f - 95 + 1135 = 0, -4*j - f + 2098 = 0. Suppose 0 = -5*k + j - 10. Is k a composite number?
False
Let o = -14 + -16. Is 10/o*(0 - 249) a composite number?
False
Suppose -5*h - 42 = -12. Let v be ((-20)/15)/((-4)/h). Is 2 + v - 3 - -130 a prime number?
True
Let y(i) = i + 5. Let p be y(6). Let v(n) = -n + 13. Let t be v(p). Suppose -37 = t*q - 3*q. Is q composite?
False
Let n(g) = -g**2 - 12*g - 17. Let l be n(-9). Suppose -5*v + 2*d + 460 = -0*v, -2*d + l = 0. Is v a composite number?
True
Let o = 39 + -74. Let d = 18 - 43. Let i = d - o. Is i a prime number?
False
Suppose 5*z = 5*m - 15, 2*m - 16 = -3*z - 0*z. Suppose 4*l - z*y = 154, 0 = -4*l - 5*y + 14 + 119. Is l a composite number?
False
Is (-1)/(-4) - (-4329)/12 a prime number?
False
Let m(w) = w**3 + 4*w**2 - 6*w - 7. Let v be m(-5). Is 2363/68 + v/(-8) composite?
True
Let v(a) = 41*a**3 + 3*a - 3. Is v(4) a prime number?
True
Let u = -20 + 20. Suppose b - o = -4*b + 7329, u = -