s k a prime number?
False
Suppose 5*g - 5*a + 1870 = 0, 5*g = -2*a - 2246 + 404. Let q = 10 - 13. Is (q/(-2))/((-15)/g) prime?
True
Let y = 85 - 38. Is y a prime number?
True
Suppose 2*t + 2 = -2. Let r be ((-170)/4 - 1)*t. Suppose -2 = -2*v, -7*f + 5*v = -3*f - r. Is f a prime number?
True
Let x(f) = 14*f**2 - 8*f + 10. Let u be x(5). Let p = 11 + u. Is p a composite number?
False
Let w(n) = -166*n**3 + n**2 + 11*n - 7. Is w(-4) prime?
True
Suppose 3*h - 10 = -1. Let b(s) = -s**2 - 9*s + h + s**2 + 3*s**2. Is b(7) prime?
False
Let b = -13 - -20. Let h = 6 + -1. Let a = b - h. Is a composite?
False
Let g(a) = 4*a**3 - a**2 + a - 1. Let k be (3 - 4)/(-1 + 0). Let m be g(k). Suppose 18 = m*l - 12. Is l a prime number?
False
Suppose 32 = 5*p - 43. Suppose p = -3*n, 4*f + 3*n = 5*f - 16. Is (f - 3 - -2) + 67 prime?
True
Let t = -4 - -6. Suppose 0*x = t*x - 6. Suppose x*v - 38 = z, 4*v - 4*z - 28 = 20. Is v composite?
False
Suppose -5*r = -15, 12 = 3*j - 2*r + 4*r. Suppose l + 100 = -j*w, 518 = -4*l - l - 4*w. Is (1/(-2))/(1/l) a prime number?
True
Suppose 0 = 5*y - 6 + 1. Is 100/(1 + y) - 1 composite?
True
Let z be (-1 - -2)*(0 + 103). Let s = 236 + z. Let k = -182 + s. Is k composite?
False
Suppose -3*a = 2*a - 2*m - 8349, m - 3 = 0. Is a a composite number?
True
Is ((-304090)/18)/(-5) + (-4)/(-18) a composite number?
True
Let q be 2/(-3) + (-14)/6. Let a be -2 - (q + 7)*2. Let d = 41 + a. Is d a prime number?
True
Suppose 2*f - 155 = 227. Is f a composite number?
False
Suppose -4*g + 102 = -682. Let d = g - 83. Is d a prime number?
True
Let f(l) = -9*l - 12*l + 14*l + 2. Suppose 2*q + 5 = 4*s + 21, 0 = -4*s + 3*q - 14. Is f(s) prime?
True
Let v(z) = 3*z**3 + 2*z**2 - 4*z + 5. Let u be v(-4). Let m be (-1222)/(-6) - (-5)/15. Let c = m + u. Is c composite?
True
Let s(t) = t + 4. Let k(a) = a + 1. Let u(b) = -6*k(b) + 2*s(b). Let p be u(-7). Suppose h = -h + p. Is h a composite number?
True
Let y(v) = v**3 + 6*v**2 - 8*v - 1. Let m be y(-6). Let i = 4 + m. Is i a prime number?
False
Let g(j) = j**3 - 6*j**2 - 6*j + 7. Let u be g(8). Is (-4)/6*3 + u composite?
True
Let g = -52 - -1769. Is g a prime number?
False
Let s(j) = j - 10. Let v be s(5). Is 262/(v/((-15)/2)) a composite number?
True
Suppose -775 = -10*b + 5*b. Is b a prime number?
False
Let r(u) = u**3 + 8*u**2 - 9*u + 4. Let q be r(-9). Suppose q*c - 20 = 2*c. Is c composite?
True
Suppose -y + 3*y = -3*v + 481, -4*v + 644 = 2*y. Is v prime?
True
Suppose 3*r + y - 636 = 0, -3*r = -0*y - 2*y - 636. Suppose 3*n - r = -n. Is n a prime number?
True
Suppose -7*n - 2*u = -3*n - 1038, 3*n - 4*u = 806. Let h = n + -123. Is h a composite number?
False
Is (-2)/11 - 37995/(-187) a prime number?
False
Let w = 178 + 95. Let q = w - 124. Is q prime?
True
Suppose 6*k = -k + 49. Suppose 3*j - 5*p - 763 = 0, -4*p + 1247 = k*j - 2*j. Is j a prime number?
True
Let n = 8 - 7. Let t be (-2)/((-297)/291 + n). Is (0 + t)*1/1 prime?
True
Let m(w) = -w + 3. Let p be m(-6). Suppose -4*k - 21 = -5*n, n - k = -5*k + p. Suppose 0*a = -n*a + 605. Is a a prime number?
False
Let z(n) = -n**3 - 9*n**2 - 10*n - 11. Let s be z(-8). Suppose 651 = s*q - 1124. Is q a composite number?
True
Suppose 766 + 2261 = 3*t. Is t prime?
True
Let a be (98/(-21))/(4/162). Let d = a - -268. Is d prime?
True
Let v be 6/21 - 8562/(-21). Let u = v + -143. Is u a composite number?
True
Suppose 2*d - 55 = -5*p, -2*d + 3*d = -3*p + 26. Is d a composite number?
True
Suppose 645 = 3*u - 702. Is u a prime number?
True
Let i be (30/4)/((-2)/(-8)). Let t = 42 + -23. Let d = i + t. Is d prime?
False
Suppose 3*r - 55 = j, r - j - j = 10. Is ((-28)/8)/((-2)/r) a composite number?
True
Let m be (-14)/18 + (-18)/81. Let a be (-4)/(2*m/2). Suppose -4*k + 608 = -4*y, a*k - 2*y = y + 605. Is k prime?
True
Suppose 7*s = 3*s - 4*m - 4, 1 = -s + m. Let a(c) = -c**2. Let b(n) = -35*n**3 + 2*n**2 - n - 1. Let v(d) = 2*a(d) + b(d). Is v(s) prime?
False
Let c(j) be the second derivative of -3*j + 0 - 9/2*j**2 - 1/6*j**3 + 1/12*j**4. Is c(8) a composite number?
False
Suppose 40*z - 1618 = 38*z. Is z prime?
True
Suppose 2*l + n - 6 = -n, -2*l - 3*n = -2. Let u = l - 3. Let q(s) = 5*s**3 + 2*s**2 - 3*s - 5. Is q(u) composite?
True
Let x = -10 + -58. Is (x/(-12) + -2)*3 a composite number?
False
Let g(b) = -74*b - 20. Let q(y) = -15*y - 4. Let o(t) = 2*g(t) - 11*q(t). Is o(3) a prime number?
False
Suppose -2*v - 84 = -5*p, -4*p - 245 = 5*v + p. Let l = -32 - v. Is l a composite number?
True
Is 2/(-9) + (-25781)/(-63) a prime number?
True
Let c(g) = -g**3 + 14*g**2 + 16*g + 4. Is c(15) prime?
True
Let c(o) = o**3 + 27*o**2 - o - 71. Is c(-22) a prime number?
True
Let j = 311 + -166. Is j a prime number?
False
Let j(f) be the third derivative of f**6/20 - f**5/30 - f**4/12 + f**3/6 - 3*f**2. Is j(2) a prime number?
True
Let i = 11 - -212. Is i a prime number?
True
Let j = -273 + 571. Is j a prime number?
False
Let h(p) = 2*p - 2. Let l be h(-2). Let c be (24/15)/(l/(-15)). Suppose i = c*n - 3*i - 344, 240 = 3*n + 3*i. Is n prime?
True
Let j(f) = -6 - 2 + 7*f + 3 + 11*f**2 - 2. Is j(-6) composite?
False
Suppose -6*p + 10065 = -6345. Is p a prime number?
False
Suppose -o + 5*o - 12 = 0. Suppose 1 = -q - o. Is (-674)/(-10) + q/10 a composite number?
False
Let g(s) = -s + 1. Let r(o) = o**3 - 4*o**2 - 2*o + 3. Let l be r(4). Is g(l) prime?
False
Let a(j) = j**3 + 8*j**2 - j - 3. Let g(v) = v**2 - 5*v - 3. Let l be g(6). Let c = -4 - l. Is a(c) a composite number?
False
Suppose -2*w + 5*j = 12, 16 = 3*w + 2*j - j. Suppose -3*c + 0*c + 9 = 0. Suppose 3*u + 58 = c*y + w*u, -2*u = y - 21. Is y a composite number?
False
Let s be (-304)/52 + 4/(-26). Is (-346)/(-18) + s/27 a composite number?
False
Let d = 272 + -134. Suppose -4*n + d = -130. Is n prime?
True
Is (13/(-52))/((-2)/712) composite?
False
Let s(d) be the first derivative of -d**4/4 + 5*d**3/3 - d**2/2 - d + 1. Let c be s(5). Is (-1011)/c + (-2)/(-4) a prime number?
False
Suppose 0 = 3*s + 2*k - 569, -5*s - k = -904 - 49. Is s a prime number?
True
Let v(w) be the second derivative of w**6/120 - w**5/10 + w**4/8 - 5*w**3/6 - w**2/2 - 2*w. Let d(t) be the first derivative of v(t). Is d(6) composite?
False
Suppose -2*z - 8 = z - 2*y, 4*z + 2*y + 6 = 0. Let l be -9 + 5 + -2 + z. Is (-114)/(-8) + 2/l composite?
True
Suppose -848 = 4*c + 976. Let j = c - -659. Is j composite?
True
Let f = -55 + 114. Is f a prime number?
True
Let s(m) = 2*m**2 + 7*m**2 + 4 - 3*m - 6 + 3. Is s(2) composite?
False
Suppose 0 = 3*u - 5*m - 2068, -m - 3468 = -5*u + 2*m. Suppose -3*s + u = s. Suppose -3*i + s = -3*k, -5*k + 269 = 5*i - 3*k. Is i prime?
False
Let y(c) be the first derivative of c**2/2 + c + 2. Let g be y(5). Is ((-6)/6)/((-2)/g) a prime number?
True
Let v = 34 + -21. Suppose -3*z - v = -70. Is z composite?
False
Let n(p) = 380*p - 3. Is n(1) a prime number?
False
Suppose 4*d = 2*u - 241 - 155, -d = u - 195. Suppose -4*f - k + 802 = 0, 2*k - u = -f + 4*k. Is (-4)/18 - f/(-9) composite?
True
Suppose -u + 927 = -56. Is u a prime number?
True
Let c be 1520/35 - 12/(-21). Let l = c + 5. Is l composite?
True
Suppose -c + 2*c - 2 = 0. Suppose -c*r = -0*r - 256. Let f = r - 89. Is f composite?
True
Suppose -6*c + 7*c = 119. Is c a prime number?
False
Let w(p) = p**3 - 2*p**2 + p + 2. Let l be w(2). Let x be (-8)/((l/30)/1). Let t = -41 - x. Is t prime?
True
Suppose 1798 - 79 = 9*k. Is k composite?
False
Let z = 10 - 4. Is z a prime number?
False
Let a(t) = 32*t - 5. Let v be a(7). Suppose 3*q = -15, 3*q - v = -3*h + 21. Is h composite?
True
Let w(t) = 13*t**2 + 2*t + 8. Let u be w(6). Suppose -2*h - 66 + u = 0. Is h composite?
False
Let o(w) = w**2 - 6*w + 2. Let i be o(6). Suppose -4*n + i = 2*q, -36 = -4*q + 3*n + 12. Is ((-150)/q)/((-4)/6) a prime number?
False
Suppose 2*c - 2*k + 61 = 5*c, -5*c - k = -97. Is c a composite number?
False
Suppose -3*a - 2057 = -4*p, -3*p = -p + a - 1031. Is p a composite number?
True
Suppose m + 2*t = 10, -5 + 0 = 2*m - t. Suppose -o + 37 - 6 = m. Is o composite?
False
Suppose -2*f + 5*f = 2721. Is f a prime number?
True
Let m = 498 + 31. Is m prime?
False
Suppose -247 = 4*k + 473. Let s = k + 299. Is s prime?
False
Let v(i) = 4*i**3 - i**2 - 5*i - 1. Is v(5) a composite number?
False
Suppose 17*v = -2*v