*3 + 14*x**2 + 2*x + 9 - 3*x + x**3 + x**3. Is v(-8) a prime number?
True
Let m = 28 - 23. Let g(j) = 0*j + 5*j + j + 3*j**3 + 4 - 6*j**2. Is g(m) composite?
True
Suppose -5*j + 0*h + 25 = 4*h, -4*h = 0. Suppose 10*c - 415 = j*c. Is c prime?
True
Suppose c = 5*c - 16. Suppose -5*v = i - 3*i - 14, 0 = 4*i + c*v + 28. Let n(x) = -x**3 - 5*x**2 + 10*x + 3. Is n(i) a composite number?
False
Let s(i) = i**3 - 2*i**2 + 3*i. Let f be s(2). Let x = -9 + f. Is 81 + x + 1 + -2 prime?
False
Let y(z) = 3*z**2 + z + 1. Let r be y(-1). Let f be (-1)/(r/(-45))*1. Suppose -f = -u - 5. Is u prime?
False
Let w be (-27)/6 + 1/(-2). Is 1/w + 1432/10 composite?
True
Let g be (0 - (1 - 1))/1. Let j = -7 - g. Let y(v) = -v**3 - 6*v**2 - 2. Is y(j) a composite number?
False
Suppose -27 = o + 2*o. Let f(u) = -u - 7. Let x be f(o). Is 2286/(-6)*x/(-6) a prime number?
True
Let n(a) = -67*a - 16. Is n(-5) a composite number?
True
Let f(n) = 2*n**3 - 3*n**2 - 2*n - 2. Is f(5) composite?
False
Suppose 2*v = m - 89, 0 = -4*v + 6*v - 4*m + 104. Let z(p) = -5*p**2 + p - 1. Let a be z(-2). Let i = a - v. Is i a composite number?
False
Suppose 5*o - h + 0*h = 7, -2*h + 2 = -2*o. Suppose 0 = o*s - s - 4. Suppose 0*j - s*j = -84. Is j a composite number?
True
Suppose p = 2 - 3. Is 90/6 - p/(-1) a prime number?
False
Let p(c) = c**3 + 9*c**2 - 3*c - 9. Let w be (-14)/((-2)/(-2) + -2). Suppose -10 - w = 3*h. Is p(h) prime?
True
Is 954 + -2 + 2 + -1 prime?
True
Let b be (-8 + 2)/(2 + -4). Is (-2)/b + 568/24 a prime number?
True
Let y(c) = c - 4. Let j be y(6). Is (-7 + j)/((-1)/73) a prime number?
False
Suppose 0 = -5*o - 2*h + 1027, -2*o + 0*h = 4*h - 414. Suppose 103 = 4*s - 4*z - o, 10 = 2*z. Is s prime?
False
Let g be 6/2*(-1 - -2). Suppose 0 = g*p + p - 12. Suppose -p*x = 2*x - 105. Is x a composite number?
True
Let m(i) = -i**2 - 8*i + 13. Let g be m(-9). Let h = g - 2. Suppose h*a = 38 + 14. Is a a composite number?
True
Let d(j) = -165*j - 5. Is d(-4) prime?
False
Let y(z) be the second derivative of -z**5/20 - 2*z**4/3 - z**3/3 + 6*z**2 + z. Is y(-9) prime?
False
Let t(g) = -3*g**3 - g**2 - g - 1. Let d = 8 + -10. Is t(d) composite?
True
Let t(x) = -x**2 - 6*x - 3. Let h be t(-5). Suppose -h*w - 8*l + 14 = -3*l, 2*w + 4*l = 12. Suppose -w*m = -z + 157, -m + 813 = 5*z + 3*m. Is z a prime number?
False
Let r = 2351 + -1620. Is r a composite number?
True
Suppose 17 - 145 = -4*y - 5*t, 5*y - 160 = -4*t. Let k = 5 + y. Is k composite?
False
Suppose 0 = -2*c + 3*u + 1214, 4*u + 3042 = 5*c - 0*c. Suppose 4*h = -k + 1234, 3*k + k = -2*h + c. Is h composite?
True
Suppose 5*i - 43 = -8. Suppose -485 = 2*p - i*p. Is p a prime number?
True
Is 37*(-2)/(-4)*4 a composite number?
True
Let t = 1481 - -1624. Is t/6 - (-5)/(-10) composite?
True
Let t = 2 + -1. Suppose 0*c - 2*c = 0. Is (-27)/((-3)/t) - c a composite number?
True
Let j(h) = 28*h**2 - 43*h - 37. Is j(22) prime?
True
Let k(s) = 8 + s + 9 + 57. Is k(0) composite?
True
Let l = 21 - 8. Suppose 10 = -2*x, -u + x = -0*u - l. Is 962/14 + u/28 composite?
True
Let f(q) = 5*q**2 + 4*q - 20. Is f(7) prime?
False
Suppose -3*i - 4*h = -3*h, 0 = -3*i - 2*h. Suppose i = l + 2*x - 50, -5*l - x - 2*x + 278 = 0. Is l composite?
True
Suppose -102 = -8*u + 5*u. Is u prime?
False
Let j be ((-36)/30)/((-6)/1300). Let a = j - 25. Is a composite?
True
Let u(f) = -95*f - 8. Is u(-5) a prime number?
True
Suppose 4 + 161 = 5*j. Let l = j + -10. Is l prime?
True
Is -31*3*2/(-6) prime?
True
Let l be ((-12)/15)/((-6)/15). Suppose -20 = -l*f + 7*f, -10 = 3*n + 4*f. Suppose n*k = 3*k - 35. Is k a composite number?
True
Let b(k) = -292*k - 1. Is b(-1) prime?
False
Let d be ((-4)/7)/((-14)/49). Suppose d*r = -r. Suppose -2*n - 2*n + 260 = r. Is n prime?
False
Is (3 - 0)*-1 - -1262 a composite number?
False
Suppose 3*x - 3050 = -6*w + w, 0 = -2*w + 4*x + 1246. Let t be (-6)/(-1)*(-356)/6. Let f = t + w. Is f composite?
False
Let a(j) = -4*j**3 + j**2 - 4*j + 2. Is a(-3) composite?
False
Let f(g) = -g**2 - 25*g + 3. Is f(-11) prime?
True
Let t(x) = 2*x + 53. Is t(0) composite?
False
Let q(c) = c. Let z be q(2). Suppose z + 10 = 2*y. Is y a composite number?
True
Suppose 4 = v - 5*v. Is -14*(3/6 + v) a composite number?
False
Suppose -974 = -6*h + 7780. Is h a prime number?
True
Is -1 - ((-2 - 80) + -5) prime?
False
Let g(i) = -i**3 - i**2 - 2*i + 5. Is g(-5) a prime number?
False
Suppose 0 = -g - 5*j + 149, 664 = 5*g - 0*g - 2*j. Is g prime?
False
Let o = -243 - -496. Is o a composite number?
True
Let p be (3/4)/(15/40). Suppose -2*c + 3*m = p*c - 85, -67 = -4*c - 3*m. Is c composite?
False
Suppose 2*n + 5*h = 29, 2*n - 4*h = 4*n - 24. Suppose 0 = a + 4 - 6. Suppose a*t - n = t. Is t composite?
False
Suppose -4*b + 702 = -230. Is b a composite number?
False
Suppose -3*u = u - 52. Is u composite?
False
Suppose -2*u + 0 = 4. Let z be u/(-5) + 172/(-5). Let f = 65 + z. Is f prime?
True
Let m(n) = 2*n**2 + 11*n - 11. Let k(h) = -h**2 - 6*h + 6. Let j(x) = 13*k(x) + 6*m(x). Suppose 4*t - 13 = -4*b - 41, -b = 2*t + 5. Is j(b) a composite number?
True
Let g(k) = k**2 + 15*k - 11. Is g(18) prime?
False
Suppose 172 = 2*p - 116. Let k = p - -1. Is k prime?
False
Suppose 6*j - 269 = 1645. Is j a composite number?
True
Let n be 0/1*(-10)/20. Suppose -3*p = -2*g + 758, n = -5*g + 5*p + 1881 + 4. Is g a prime number?
True
Let s(l) be the second derivative of l**5/20 + l**4/12 - l**3/2 + 3*l**2/2 - l. Let o be s(-3). Is 129*(o/(-9))/2 composite?
False
Let t = -347 + 532. Is t composite?
True
Is (-10)/(-55) + (-2957)/(-11) prime?
True
Is 254/(2/(-2 - -4)) composite?
True
Suppose -a = 3*q - 4, -a - q + 5 = -1. Is a prime?
True
Suppose -2*z + 4*z + x = -34, 0 = 3*z + x + 49. Let j be ((-4)/(-12))/((-1)/z). Suppose j*i + 229 = 2*t, i + i + 625 = 5*t. Is t composite?
False
Let w(h) = 2331*h**3 + 3*h - 1. Is w(1) a prime number?
True
Let k = -8985 + 15488. Is k a composite number?
True
Let c(x) = -56*x + 13. Is c(-5) a prime number?
True
Suppose 0 = -3*w + 4*w. Suppose -3*l - l + 720 = w. Let y = -127 + l. Is y a prime number?
True
Let i be 5 - (-4 + 2 - 1). Suppose 0 = -2*d - 27 - 13. Is i/d - 117/(-5) a composite number?
False
Let j = 1626 + -571. Is j prime?
False
Suppose u - 3*u + 1578 = 0. Let n = u - 100. Is n composite?
True
Suppose -2 = -5*j + c - 7, -j - 5*c + 25 = 0. Suppose 5*f - 3*f - 46 = j. Is f prime?
True
Let i(z) = -8*z - 3. Let b be i(-2). Let g be -23 + 0/(-1) + -1. Let c = b - g. Is c a prime number?
True
Let w(x) = -4*x**3 + 2*x**2 - 1. Let s be w(1). Let j = s + 12. Let z = -3 + j. Is z a prime number?
False
Let r be (-6)/(-9) + (-14)/3. Let y be 24/(-4)*r/6. Suppose y*z - 930 = -334. Is z prime?
True
Suppose 22 = -g - 4*a, 2*a - 10 = g + 3*a. Is -207*(2/g + 0) a prime number?
False
Let v be 19/3 - 2/6. Let f = 8 - v. Suppose f*x - 50 = -4*q, 0*x - 5*x = 4*q - 95. Is x a prime number?
False
Let f be -68*4/16*-7. Suppose -2*j = -j - f. Is j prime?
False
Let t = -36 + 13. Let j = t + 38. Let n = j + -8. Is n a composite number?
False
Let i(u) be the first derivative of 2*u**3 + u**2/2 + 1. Suppose 3*g = -5*s + 5, 0 = -5*s - 2*g + 4*g + 5. Is i(s) prime?
True
Suppose -s + 224 = k, -4*k = 2*s - 624 + 166. Is s + 3*4/6 composite?
True
Let i be (-24)/(-9) + 8/(-12). Suppose -u + 633 = i*u. Is u a composite number?
False
Let t be (-16)/(-88) - (-40)/22. Suppose -4*u + 5*r + 88 = r, 5*u - 3*r = 108. Let f = u - t. Is f a composite number?
False
Suppose -98 = -3*l + l. Is l a composite number?
True
Let s(b) be the first derivative of -3 - 5*b - 2*b**2 - 2*b**2 - 5*b**2 + 6*b. Is s(-2) a prime number?
True
Let z(t) = -t**3 - 6*t**2 - 2*t - 10. Suppose 0 = a + 5*g + 7, 2*a + 4*g + 13 + 1 = 0. Is z(a) a composite number?
False
Let b(y) = y**3 - 5*y - 1. Suppose -8*p = 3*c - 3*p + 52, 61 = -4*c - 5*p. Let h = -5 - c. Is b(h) a composite number?
False
Suppose 3*l = -12 - 0. Is (-627)/l - 1/(-4) a composite number?
False
Suppose -199 - 85 = 2*f - j, -5*j = -2*f - 276. Let x = f - -292. Is x a prime number?
True
Let z = 14 - -35. Is z a prime number?
False
Suppose -1177 = -2*d - 3*f, 11*f = 4*d + 8*f - 2345. Is d a composite number?
False
Let r(n) = 2*n**2 - 2*n - 1. Let h be r(2). Let q(m) = -7*m**3 - m**2 - 2*m - 9*m**3 - 1 + 6*m**h. Is q(-1) composite?
True
Let t(p) = 