prime number?
False
Let s(f) = f**2 - 2*f - 7 + 8*f**2 - f**3 + 0 + 0*f**2. Is s(6) prime?
True
Suppose -5*o + 2 = -z, o + 16 + 14 = 4*z. Suppose -25 - z = -r - x, 4*r + 3*x = 131. Let s = r + -13. Is s composite?
False
Suppose v - 200 = -37. Is v a composite number?
False
Let f = 605 - 178. Is f composite?
True
Let s(p) be the third derivative of p**4/12 - 7*p**3/6 - 3*p**2. Let j be s(6). Suppose j*r - 335 = -0*r. Is r prime?
True
Let q(a) = -1 - 8 + 1 - a. Is q(-11) a composite number?
False
Suppose 4*p - 117 = -33. Is p composite?
True
Suppose -735 = -0*d - 5*d. Let s = -65 + d. Is s a prime number?
False
Let l = 135 - 71. Let m = l - 27. Is m composite?
False
Let f = 324 + -205. Is f prime?
False
Suppose 83*v - 1814 = 81*v. Is v prime?
True
Let j(b) be the first derivative of 11*b**2/2 + b - 3. Let h be j(4). Let o = 40 + h. Is o a prime number?
False
Is (3 + (-3170)/(-6))*(-3)/(-2) prime?
True
Suppose -5*w - 3*r + 20847 = -2*r, -2*r = -2*w + 8334. Is w composite?
True
Let q(i) = 282*i. Let m be q(1). Let k be 1/4 + 11/4. Suppose o + 2*o + 3*t = m, o = k*t + 82. Is o composite?
True
Let c(w) = w**2 - 2*w + 37. Is c(0) a prime number?
True
Suppose 0 = -2*c - c + 21. Suppose -16 = 3*x + 4*j - 63, -3*j - c = -x. Is x prime?
True
Suppose 0 = 5*l - 20 - 20. Let q = l + -6. Suppose -q*f + 158 - 5 = z, 4*z = 5*f + 586. Is z a prime number?
True
Let l(a) = a**3 + 5*a**2 - 3*a + 7. Is l(-5) a composite number?
True
Let l be (-6)/9 + (-544)/(-6). Suppose 3*a - 471 = -l. Is a prime?
True
Let i be 16/6*(-7 - -22). Is 2744/i + (-4)/(-10) a composite number?
True
Let m(z) = z**2 + 12*z + 14. Suppose 3*g + 16 = -20. Is m(g) a prime number?
False
Suppose -32*w + 15*w = -31399. Is w a composite number?
False
Let s = 6 - 9. Let l(i) = -2*i + 4. Let n be l(s). Is 10/(-25) - (-234)/n a prime number?
True
Let k(s) be the second derivative of s**4/6 + 7*s**3/6 - 3*s**2/2 - 2*s. Is k(8) prime?
True
Let c = -3 - -9. Let x(s) = 2*s**3 + 2*s**2 - 3*s - 1. Let v(d) = d**3 + 3*d**2 - 3*d - 1. Let m(o) = -3*v(o) + 2*x(o). Is m(c) prime?
False
Suppose z - 64 - 81 = 0. Is z a composite number?
True
Suppose -4*u - 2*f + 1607 = -f, 0 = 3*u - f - 1214. Is u composite?
True
Let f(u) = u**2 + u - 5. Let h = 8 + -14. Let r be (-28)/(-6) + 4/h. Is f(r) composite?
True
Suppose 4*o - 159 = 5. Suppose 3*y = 2*g + 53, o = -5*y + 2*g + 132. Is y a prime number?
True
Let q be 2 + 2*-2 + 8. Let u = 26 + -41. Is (-13)/(u/q - -2) a composite number?
True
Let t(i) = 34*i**2 - 2*i - 1. Is t(-1) a prime number?
False
Let r = 16 + -17. Let u(j) = 52*j**2 - j. Is u(r) prime?
True
Let h be (7/4)/((-1)/(-12)). Suppose -3*g - 6 = -3. Is (h/g)/(1 - 2) composite?
True
Suppose -10*w = -5*w - 785. Is w prime?
True
Let y(n) = 173*n**2 + 2*n + 1. Is y(-2) prime?
False
Suppose -5*q + 3*q = 200. Let x = 61 - q. Is x prime?
False
Let n(d) = 2477*d**2. Is n(1) prime?
True
Suppose 4*d - 3*z + 24 = 0, -5*z + 10 = -10. Is 1/((-3)/(-102)) - d a composite number?
False
Suppose 0 = -5*z + 5*q - 5, 2*q + 4 = 4*q. Let l be 454*z/2 + 3. Is l/18 + 8/36 prime?
True
Let u be 48*(-2)/(8/(-6)). Suppose 4*w + 5*i = u, 3*w + 5*i - 46 = w. Is w prime?
True
Suppose -3*x + 2476 = 217. Is x prime?
False
Let c = 79 + -22. Let i = c - 38. Is i a prime number?
True
Let p(g) = -5*g - 2. Let l be p(2). Let d = 9 - l. Is d prime?
False
Suppose -10206 = -3*b + 2*n + 3*n, -b + n = -3404. Is b prime?
True
Suppose 0 = -4*f - 3 - 1. Is (2 - -57)/(f/(-1)) a composite number?
False
Suppose z - 5*l = -2*z - 1266, 422 = -z - 4*l. Is ((z/(-1))/2)/1 composite?
False
Let x(d) = 3*d - 1. Let u be x(4). Suppose i = m - 9, -m - i + u = -0*i. Is m composite?
True
Suppose 5*v - 20 = 0, 2*g + 3*g + v - 569 = 0. Is g composite?
False
Is -4*(-1421)/(-14)*1/(-2) a composite number?
True
Let f = 37 - 35. Let p(m) = -3*m + 13*m - 2 + 4*m. Is p(f) composite?
True
Suppose -2*n + 1240 = 242. Is n a prime number?
True
Suppose -3*r + r = -o + 81, -3*o - 93 = 2*r. Let b = r + 13. Let q = b + 48. Is q a prime number?
True
Let w(s) = -45*s - 3. Is w(-4) a prime number?
False
Suppose 0 = -3*g - 2*k + 363, -2*k - 121 = -3*g + 230. Is g composite?
True
Let j(u) be the first derivative of u**5/5 - u**4/3 + 5*u**3/6 - u**2 - 2*u - 3. Let w(o) be the first derivative of j(o). Is w(3) prime?
False
Suppose 0*t + 16 = 4*t. Suppose -t = i, -2*g - 29 = 3*i - 5. Is g/21 + 247/7 a composite number?
True
Let b(v) = 233*v**2 + 3*v + 11. Is b(-3) prime?
True
Is 7/((-35)/745)*(-1 - 0) composite?
False
Suppose 3 = -2*h + h. Let o = 2 + h. Is 79 - 0/(1 - o) a composite number?
False
Suppose 72 = -v + 14. Let b = 36 - v. Is b prime?
False
Let u = 9 + -7. Suppose -o + 1 = y - 6, -u*o + 3*y + 4 = 0. Suppose -27 = -s - o. Is s composite?
True
Suppose v - 6*v = 0. Suppose -2*h + 4*h + 4*q - 94 = v, -2*q = 4*h - 158. Is h composite?
False
Is (9 - 7)/((-2)/(-415)) composite?
True
Suppose -2*m + 4 = -m. Suppose 2*f - 3*p + 0*p - 258 = 0, m*f - 5*p = 512. Is f a composite number?
True
Suppose -l - 256 = 3*l. Let j = 186 + l. Is j a composite number?
True
Let x = -104 - -159. Let b = x + -29. Suppose -2*p + 0*p = -b. Is p prime?
True
Suppose -5*n + 176 = 21. Is n a composite number?
False
Suppose -2*b - 2 = -3*b. Suppose 2*r + 3 - 13 = -b*f, 1 = -3*r + 5*f. Suppose 214 = 4*i - 2*y, r*i - 2*i - 5*y = 76. Is i prime?
False
Let u(r) = -12*r. Let i be u(-1). Suppose h = -2*h + i. Suppose h*c - 265 = -c. Is c a prime number?
True
Suppose 5*o - 507 = 2*o. Suppose -o = -0*z - z. Is z composite?
True
Suppose 0 = 2*w - 4*l - 12, -w - 6 = -l + 2*l. Is (-316)/w*(-1)/(-2) prime?
True
Let i(n) = 32*n**2 + 4*n + 4. Let f be i(-3). Let a = f - 195. Is a prime?
False
Let w = 4 + -14. Let s be (2 - 1)*(-20)/(-4). Is (46/s)/((-2)/w) a composite number?
True
Let u(m) = -m**3 + 17*m**2 - 10*m - 5. Is u(13) prime?
True
Suppose -93 = -3*j - 3. Let d = 53 - j. Is d a prime number?
True
Let z(r) = -r**3 - 2*r**2 - 1. Let f be z(-4). Let a be (f/2)/(3/(-12)). Is (a/(-4))/((-3)/(-6)) a prime number?
True
Suppose w = -4*w - 5*l + 3575, w - l - 725 = 0. Suppose -3*u + 0*u + w = 0. Suppose 5*o - 245 = u. Is o composite?
False
Let w(o) be the third derivative of 37*o**4/24 - o**2. Is w(2) prime?
False
Suppose 2*t - 5*h = 422, -t - 5*h = -6*t + 1055. Is t a composite number?
False
Let q(p) = -p + 9. Let g be q(9). Suppose 0*c - 2*c - 4 = g. Is 2 - 134/(c - 0) composite?
True
Is 1/((-1)/(-4)) + 250 a composite number?
True
Let u(d) = -2*d - 5. Let x(h) = -8*h**3 + 1. Let r be x(1). Is u(r) composite?
True
Let v = 10 - 7. Suppose 74 = 2*j + n, 0*j - 109 = -v*j - n. Is j prime?
False
Suppose -4*d - d = 40. Is (-474)/(-4) + (-4)/d a composite number?
True
Let u(t) be the third derivative of t**6/120 - t**5/20 + t**4/6 + t**3/2 - 2*t**2. Is u(4) a prime number?
False
Let g(v) = -v**2 - 7*v + 4. Let f be g(-7). Suppose -f*a = -m - 208, 5*a - 4*m = -0*a + 249. Is a composite?
False
Let h(s) = -s + 4. Let b be h(3). Suppose 0 = 4*w - 9 + b. Suppose -7*p + 115 = -w*p. Is p a composite number?
False
Suppose 2*p + 16 - 51 = -5*n, 0 = 4*p - 20. Suppose -3*w + 6*w - 1055 = -n*r, r - 211 = 4*w. Is r a prime number?
True
Let j(c) = -c**3 + 8*c**2 - 5*c - 7. Let t be j(5). Let p = t + -12. Suppose -125 = -5*q - 2*y, 2*y = -2*q + 5*y + p. Is q prime?
True
Let o(k) = -15*k**2 + 6*k. Let f(p) = -p**2 - 3*p + 3. Let m be f(-5). Let g be o(m). Is (g/(-9))/(5/15) a composite number?
True
Let d be (-2)/((-4)/130*1). Let f = 138 + d. Is f a prime number?
False
Let r be (-20)/(-3) + 6/(-9). Let i = 38 - 45. Let b = r - i. Is b prime?
True
Let c(i) = -i**3 + 13*i**2 - 5*i + 1. Let s be c(11). Is s/6*(-75)/(-10) prime?
False
Let w = -2 + -4. Let b be (-6)/(((-45)/w)/(-5)). Suppose 0*a - 3*a + 31 = v, -b*v - 29 = -5*a. Is a a prime number?
False
Is (-42)/(-70) - 11962/(-5) prime?
True
Let t be 2 - ((-2)/2 - -3). Let z(r) = -r**2 - r + 220. Let m be z(t). Suppose -m = -5*v + 165. Is v prime?
False
Suppose 62 = 3*o - 2*o. Suppose f = -f + o. Is f a composite number?
False
Suppose -3*s - 5 - 10 = 0. Let t be (2/4)/(s/(-20)). Suppose -t*w + 71 = -27. Is w a prime number?
False
Let w(b) be the third derivative of 0*b - 1/8*b**6 + 0 - 1/6*b**3 - 1/24*b**4 - 2*b**2 + 0*b**5. Is w(-1) prime?
False
Let k = -227 + 370. Is k a composite number?
True
