prime?
False
Let v = 20 + -15. Suppose z + 2*n + 2 = 5*z, 0 = v*z - 2*n - 5. Let y = 10 - z. Is y a composite number?
False
Let r(n) = -2*n**2 - 7*n - 1. Let j be r(-3). Suppose -3*o + 6*o - j*h - 119 = 0, 3*o + 3*h = 99. Is o composite?
False
Let w(x) be the first derivative of 23*x**3/3 + 7*x**2/2 + 17*x + 7. Is w(-5) a prime number?
True
Suppose 25*g - 21133 = 18*g. Is g composite?
False
Suppose 2*f - 15 = 3*s, -f + 4*s = 2*f - 24. Suppose -4*q - m + f = -0, -2*q - 8 = 4*m. Is ((-8)/12)/(q/(-510)) a composite number?
True
Is -2 + 5 - -5 - -5439 a prime number?
False
Is 2/(-3)*(-7914)/4 a prime number?
True
Suppose 2*t - 2*g = 3054, -6*t + 3*g = -4*t - 3054. Is t prime?
False
Let k = 207 - 372. Let z = 419 + k. Is z composite?
True
Is -2*(-2307)/(-12)*(2 + -4) a composite number?
False
Let p(y) be the first derivative of y**3/3 - y**2/2 + 198*y - 4. Let k be p(0). Suppose 4*o = -k + 3170. Is o a composite number?
False
Let v(p) = p**3 + 16*p**2 - 10*p - 9. Suppose 0 = -5*m - 5*i - 70, 3*m - 4*i + 3*i = -42. Is v(m) a composite number?
False
Let t = 18 - 6. Suppose 8*a = 12*a - t. Suppose 2*u + a*d - 427 = 0, 4*u - 417 = 2*u - 5*d. Is u composite?
True
Suppose 26255 = 14*s + 45*s. Is s prime?
False
Let s(w) = -2*w**3 - 2*w**2 - w + 1. Let r be s(-1). Suppose -5*f = -d - 12239, 14 = -4*d - r. Is f prime?
True
Let d(l) = 2*l**2 - 11*l - 2. Let k be d(-20). Let a = k - 609. Is a a composite number?
False
Suppose -4*l = -5*v + l + 20, -4*v - 5*l + 16 = 0. Is 1038/4 - v/8 prime?
False
Suppose -o = -13283 - 5244. Is o a composite number?
True
Let b be (-655)/(-4) + (-9)/(-36). Suppose 3*r + 43 = 4*d + 254, -2*r - 5*d + 133 = 0. Let m = b - r. Is m prime?
False
Suppose -4*k + 233608 = 4*t, -4*k + 2*t - 4*t + 233602 = 0. Is k composite?
True
Suppose -2*v - 12 - 75 = -3*h, -2*v - 60 = -2*h. Let r = -25 + h. Suppose -4*g = r*d - 456, 1 = -2*g + d + 233. Is g prime?
False
Let l be (1/2)/(2/(-4)). Let a be (-16)/4 - (l + -1). Is a/5 + 1077/5 a prime number?
False
Suppose 6 = 2*m - 0. Let p(l) = -l**2 + 12*l + 17. Let z be p(6). Is (z/m)/((-12)/(-36)) composite?
False
Let k = -12497 - -17644. Is k prime?
True
Let g = -5 + 5. Suppose -4*b = g, -c + 4*b = -0*b - 1173. Suppose 5*p - 1405 = m + 59, -c = -4*p - m. Is p a prime number?
True
Let i be (1 - -27)/(22/737). Suppose 597 + i = 5*a. Is a prime?
True
Let n = 47 - 12. Let s = 10 + n. Is 10/s - 3866/(-18) composite?
True
Is (0 - -1897) + 4*-1 a prime number?
False
Let x = -1035 + 1472. Is x a prime number?
False
Let q(l) = -5*l**2 - l - 1. Let b be q(-1). Let k(h) = -h**2 - 5*h + 4. Let z be k(b). Is -28*((-7)/z)/1 a composite number?
True
Let u = 53 - -396. Is u composite?
False
Let g = 1281 + 8306. Is g prime?
True
Let h = -20 - -25. Suppose 0 = 5*u + 4*l - 31983, -h*u + 4*l + 31981 = 7*l. Is u a composite number?
True
Suppose -9839 = -13*u + 8*u - 4*w, -5*u - 2*w + 9837 = 0. Is u a composite number?
True
Let i(s) be the second derivative of 29*s**3/6 + 2*s**2 - 8*s. Is i(3) a composite number?
True
Suppose 57 = 2*k + k. Let n = -9 + k. Is (0 - (-1086)/n)*5 a composite number?
True
Let s(f) = 231*f**3 - 59*f**2 + 2*f + 17. Is s(5) a composite number?
False
Let u = 114 - 114. Let w(i) = -i**2 + i + 253. Is w(u) a prime number?
False
Let y(b) = b**3 + 10*b**2 - 25*b - 6. Is y(-12) a prime number?
False
Is 10578 + 3*35/21 a composite number?
True
Suppose 78*o - 1862 = -n + 81*o, 5*n - 4*o = 9255. Is n prime?
True
Let w(b) = 33*b**2 + 45*b + 71. Is w(-31) a composite number?
False
Suppose -3140 = -37*k + 33*k. Let u = k + -366. Is u composite?
False
Suppose 4*j - 76216 = -4*j. Is j prime?
False
Let h = 39325 - 23616. Is h composite?
True
Suppose -b + 1574 = 2*b - i, -3*i = -3*b + 1584. Suppose 0 = -y + 5*z - z - b, -3*z - 537 = y. Is (y + (-4)/(-1))*-1 a composite number?
True
Let l(n) be the second derivative of 7*n**5/20 - n**4/2 - 7*n**3/3 + 15*n**2 - 12*n. Is l(7) a prime number?
True
Let t be 24*(2 + (-75)/9). Let q = 782 - t. Suppose -2*v + 934 = i - 0*i, 2*i = -2*v + q. Is v a composite number?
False
Let g be (12/(-18))/(2/(-282)). Suppose -156 = -5*o + g. Suppose 0 = m - 2*a - 10, 3*a = -3*m - a + o. Is m a prime number?
False
Let b(r) = -3*r - 9. Let l be b(-4). Suppose -l*y - 1940 = -9677. Is y prime?
True
Let r(f) = f**3 - 3*f**2 + 2*f + 1. Let j be r(3). Let k = 8 - j. Suppose -2*i + 2*n = -72, 5*i - 189 + k = -3*n. Is i composite?
False
Let y(c) = 1037*c**2 - 5*c - 7. Is y(3) composite?
False
Let j(l) = -7*l - 16. Let g = 80 + -45. Suppose -g = 11*z - 6*z. Is j(z) prime?
False
Let a = 78 - 20. Let g = 1 + a. Is g a prime number?
True
Let k(d) be the first derivative of 2*d**3/3 - 11*d**2 - 11*d - 19. Is k(-15) prime?
True
Let x(m) be the second derivative of 7/6*m**3 + 11/12*m**4 + 1/20*m**5 + 0 - 3*m + 9/2*m**2. Is x(-8) composite?
True
Let q(p) = 3*p. Suppose -15 = 7*i - 2*i. Let x be q(i). Is (-205)/x + 2/9 composite?
False
Let s be (2 - 1)*(7 + -12). Let d = 258 - s. Is d a prime number?
True
Let a(z) = 3*z**3 + 21*z**2 + 9*z - 19. Let g(j) = 2*j**3 + 14*j**2 + 6*j - 13. Let r(q) = 5*a(q) - 7*g(q). Is r(-5) a prime number?
True
Let v(t) = t + 5. Let g be v(-7). Let x(j) be the second derivative of -203*j**3/6 + 5*j**2/2 - j - 11. Is x(g) a prime number?
False
Let q = -14 - -21. Let s(l) = 2*l**3 - l**2 - l + 5. Is s(q) composite?
True
Let g(b) = -3*b - 1. Let j be g(-1). Suppose j*h + 68 - 1704 = 0. Is h prime?
False
Let d(t) = 253*t**2 - t + 1. Let k(x) = -x. Let v be k(-1). Is d(v) prime?
False
Suppose -3213 = -0*h - 3*h + 3*f, h - 1077 = -5*f. Suppose -i - 2*t + 113 + 424 = 0, -3*t = 2*i - h. Is i prime?
False
Let s be -4 - 8/(48/(-10854)). Suppose -5*y = -s - 6040. Is y prime?
False
Let t = 15378 + -7987. Is t a composite number?
True
Let n(g) = g**3 + 18*g**2 + 18*g + 19. Let s be n(-17). Suppose -5*i = s*m - 5*m - 632, -2*m = 5*i - 637. Is i a prime number?
True
Suppose 4*o = o - 4*l + 5319, -l = 3. Is o a composite number?
False
Let v(q) = -q. Let u(s) = -73*s + 1. Suppose 4*l - 4*k - 28 = 0, -23 = -5*l - 4*k + 3*k. Let d(c) = l*v(c) - u(c). Is d(6) a prime number?
False
Is 1/(1 - 112860/112871) composite?
True
Let v = 10128 + -5989. Is v a composite number?
False
Let r(k) = -31*k**3 - 17*k**2 - 59*k + 10. Is r(-7) prime?
True
Let p be ((-2)/2)/(3/(-18)). Suppose 9*k = p*k. Suppose 3*z + k*i + 5*i = 104, z - i = 40. Is z a prime number?
False
Let t(i) = 5*i**2 - 6*i - 20. Let s be t(6). Let g = 463 + s. Is g prime?
True
Suppose 6*f = -f + 105. Let d(b) = 15*b - 34. Is d(f) a composite number?
False
Let s(i) = 616*i**2 - i - 1. Let h(w) = w**2. Let a(z) = -2*h(z) + s(z). Is a(-1) prime?
False
Suppose 1764 = -5*h + 6*h - 4*k, 2*k + 2 = 0. Is (0 - 3 - 0) + h a composite number?
True
Let w(n) = -4*n**2 - n**3 - 18 + 0*n - 3*n + 22 + 2*n. Is w(-5) prime?
False
Suppose -13*t + 20*t = 28427. Is t prime?
False
Suppose 4*v = 3*t - 15393, -8*v - 15393 = -3*t - 9*v. Is t prime?
False
Suppose 4*n - 21 = 11. Suppose 0 = n*w - 5*w - 4419. Is w composite?
True
Let b(i) = 4*i**2 + 10*i - 7. Let v be (23/(-3) - 2) + (-4)/12. Is b(v) a prime number?
True
Let d = -2 + 1. Suppose 4*n + 15 = -3*r, 5*r = 5*n + 9 + 1. Is (d/1)/(r/145) a composite number?
True
Let g(o) = o**2 + 213. Let x be g(0). Let h be 6/(-1 - x/(-204)). Let z = h - 39. Is z prime?
True
Suppose -3*d + 12 = 0, -4*v + 919 = -2*d - 28925. Is v prime?
False
Let a(u) = -13*u + 13. Let b(s) be the first derivative of -13*s**2/2 + 12*s - 4. Let p(d) = -5*a(d) + 4*b(d). Is p(10) a prime number?
True
Let b be 6/3 - 6/(-3). Suppose b*i = -i - 20. Let y(t) = -t**3 + 4*t**2 + 5*t + 1. Is y(i) a composite number?
False
Let p = 62182 - 37091. Is p a composite number?
True
Let z be 10/(-4*3/(-12)). Let b = z + -8. Let u(j) = 14*j**3 + j**2 - 3*j + 1. Is u(b) prime?
False
Suppose 7*g - 2*g = -25, -14275 = -l + 4*g. Is l prime?
False
Suppose -2*u + 4397 - 30664 = -3*y, 26287 = 3*y + 2*u. Is y composite?
True
Let i(r) = 217*r**2 - r + 2. Let a be i(-2). Let y = a + -475. Suppose y = 2*j - 3*d, -3 = 3*d - 4*d. Is j a composite number?
True
Suppose 33856 - 7881 = 25*y. Is y composite?
False
Let c(v) = v**2 - v + 1. Let m(u) = -6*u**3 - u**2 + 5*u - 3. Let n(y) = 4*c(y) + m(y). Is n(-2) composite?
False
Let u be (-5)/((-15)/(-57))*-2. Let k = -17 + u. 