(4/(-6))/(2/y) prime?
True
Suppose 179149 + 73926 = 25*j. Is j a composite number?
True
Suppose 760 = 4*v - 2868. Suppose 3*p = v + 266. Suppose 4*q - 1125 = p. Is q a composite number?
False
Suppose -20*g + 4*g = -204016. Is g a composite number?
True
Suppose a = -a. Suppose a*z = -2*z. Suppose -2*n + 399 + 355 = z. Is n composite?
True
Let c = 23 + -18. Let k(p) = 3*p**3 - 4*p**2 - 7*p - 1. Is k(c) prime?
True
Suppose x + 0*x = -8. Let p = x + 7. Is 1/p + (-800)/(-10) a composite number?
False
Let z be (-3 + 3)/(-4) - -3. Suppose -z*r = 4*d - 4661, d - 3*r + 387 - 1541 = 0. Is d prime?
True
Let n = 58 - 58. Suppose n = -2*d + o + 2*o + 769, -4*d + 1488 = 4*o. Is d a composite number?
True
Let o(d) = -d + 1. Let m be o(-1). Suppose p - 2751 = -m*p. Is p a composite number?
True
Let n(b) = -4 - 15*b + 4 - 2*b**2 - 1 - 3. Let r be n(-7). Suppose 212 = r*g + g. Is g prime?
True
Let v(i) be the second derivative of -26*i**3/3 + i**2/2 - 16*i. Is v(-1) composite?
False
Let j be (11/((-44)/(-48)))/(-1). Let r = -8 - j. Is 958/18 - r/18 prime?
True
Suppose -34*v - 6999 + 140313 = 0. Is v a composite number?
True
Suppose 0 = -2*h - 2*h + r - 2, -4*r + 8 = 0. Suppose 21 - 89 = -2*x. Suppose -4*a - 2*u = -x, -3*a + h*u = -3*u - 12. Is a composite?
False
Is (-48884)/(-6) - 5*9/135 a prime number?
True
Let s(r) = -r**3 + 2*r**2 + 4*r - 4. Let c(o) = -o**2 + 16*o + 3. Let q be c(16). Let v be s(q). Let y(w) = -87*w + 2. Is y(v) prime?
True
Suppose -3*x + 5*u + 35189 = -19699, x = u + 18298. Is x composite?
False
Is (74 - 75)/((-1)/(1189 + -2)) composite?
False
Let n = -17 - -11. Is -26*(n/4)/1 a prime number?
False
Let f = 103 + -93. Let p(v) = 5*v**2 - 3*v + 17. Is p(f) prime?
True
Suppose -7*m + 1085 = -2*m. Let c = m - -208. Suppose -6*r = -r - c. Is r a composite number?
True
Let h(d) = d**2 - d + 6. Let v be h(0). Let z be (9/6 - 1)*v. Suppose -n + 39 = 5*b, -n - z*n + 232 = b. Is n composite?
False
Suppose 621839 + 836976 = 61*b. Is b a prime number?
False
Suppose f = 3*d + 311, 8*f + 4*d + 309 = 9*f. Is f prime?
True
Let n(q) = -q**2 + q + 4. Let f be n(2). Suppose -4*z + 278 = f*p, -3*p = -z - 0*z - 424. Is p a prime number?
False
Let p = 9 + -6. Suppose -p*j + 318 = 12. Suppose -2*h + j = 24. Is h a prime number?
False
Let p(l) = -17 + 3*l**2 - 3*l**2 - 3*l**2 + 2*l + 4*l**2. Is p(-6) prime?
True
Let i(j) = -4*j**3 - 3*j**2 - 4*j - 13. Let n(x) = -5*x**3 - 4*x**2 - 5*x - 14. Let b(y) = 6*i(y) - 5*n(y). Let s be b(-6). Is (-15)/25 - s/5 a prime number?
True
Let m = -701 - -239. Let h = 799 + m. Is h prime?
True
Suppose 5*z - 1930 = 3*b, z + b - 386 = -2*b. Suppose -3*i - 5 + z = 0. Is i a composite number?
False
Let h(y) = -y**2 + 30*y + 2. Let f = 2 - -11. Is h(f) a composite number?
False
Is -7108*(3/(-9))/(12/9) prime?
True
Let f = -52 + 57. Is 127105/25 + f + (-3)/15 a prime number?
False
Suppose -46*j = -30*j - 63184. Is j a prime number?
False
Let o(w) = 304*w**2 + 7*w + 5. Let s be o(-2). Suppose 0*q + s = q. Is q prime?
False
Let u(o) = 1282*o + 37. Is u(12) a prime number?
False
Let f = 5 + -7. Let c be (-12)/(-14)*(-7)/f. Suppose g = 3*g - 5*u - 190, c*g - 259 = u. Is g a prime number?
False
Suppose -13 = 2*p - 59. Suppose -6*n = p - 71. Is ((-379)/4)/((-2)/n) composite?
False
Let h(y) be the second derivative of y**7/840 - 7*y**6/240 - y**5/24 + y**4/4 + 9*y. Let m(i) be the third derivative of h(i). Is m(17) prime?
False
Suppose 2*u - 2095 + 201 = 0. Is u a prime number?
True
Let j(k) = -3. Let v(n) = -1. Let o(s) = j(s) - 2*v(s). Let l(x) = -149*x**3 + 2*x - 1. Let m(g) = l(g) - 3*o(g). Is m(-1) composite?
False
Let o = -37 + 253. Suppose o = -6*x + 8*x. Is x/3 + (-6 - -5) prime?
False
Suppose -6*a + 1 + 29 = 0. Suppose -j + i = -2*j + 793, a*j - 2*i - 3993 = 0. Is j a composite number?
False
Let j(d) be the third derivative of -d**6/120 + d**5/6 - 5*d**4/12 + 2*d**3 + 3*d**2. Let r be j(9). Suppose 0 = -r*f + f + 102. Is f a composite number?
True
Let z = 10154 - -2483. Is z prime?
True
Suppose o - 25 = -5*t, 3*o = 2*t - o + 12. Suppose -3*f = -t*b + 1279, -4*f = -2*b + f + 643. Is b prime?
False
Let w(s) = -212*s**2 + 1011*s**2 + s - 1 + 706*s**2. Let c be w(1). Suppose 3*b + 2*b - c = 0. Is b a composite number?
True
Let u(q) be the second derivative of 3*q**5/20 + 3*q**3/2 - 11*q**2/2 + 4*q. Is u(5) a prime number?
True
Let v(r) = -r**3 - r**2 - 4*r - 25. Let z be v(-3). Suppose -g = -5*g - 3*i + 1187, -z*g + 2*i = -1455. Is g a composite number?
False
Let n(z) = z + 1. Let o(d) = -8*d + 14. Let i(k) = -5*n(k) + o(k). Is i(-14) composite?
False
Let g be (84/(-8) - -3)*(-8)/(-10). Let j be (-2)/(-5) + (-24)/10. Is 10 - (j + (-3 - g)) a composite number?
True
Let b = 9 - 10. Let j be (-141 + -10)/(b/5). Is (j - 1) + (5 - 2) composite?
False
Is 2 - (-3088 + -3)*1 composite?
True
Let g = 9157 - 4610. Is g composite?
False
Let h(i) = 66*i - 5. Suppose 4*v + 4 = -4*r + 16, 0 = -5*v + 4*r + 6. Is h(v) composite?
False
Let g(m) = m - 5. Let b be g(8). Suppose 4*q + b*o - 2131 = 6*o, q + 5*o - 504 = 0. Suppose -4*n = -5*n - h + 130, 4*n - 5*h - q = 0. Is n a prime number?
True
Let t(x) = -71*x + 31. Let s be t(-6). Suppose s = -v + 2*v. Is v composite?
False
Let o = 12 - 8. Suppose -o*u = -5*k - 8*u + 42, 0 = -4*u + 12. Is (-386)/(-6) - (-4)/k a prime number?
False
Let a = 0 + 2. Let o(s) = -a*s**3 + 5*s**3 - 2*s + 3 + 2*s**3 - 6*s**3 + 3*s**2. Is o(2) composite?
False
Is 1/14*7*18118 a prime number?
True
Let c(b) = 4*b**3 + 3*b**2 - 3*b + 1. Suppose 0 = -2*k - 2*k + 12. Is c(k) prime?
True
Suppose 0 = -6*u + u - 30. Let o = 14 + u. Suppose 6215 = o*b - 3*b. Is b a prime number?
False
Let l be 4/((-32)/95198) - 3/12. Let x = -6463 - l. Is x a prime number?
True
Suppose -16320 = 7*i - 5*i. Let d be i/(-11) + (-2)/(-11). Suppose -2*j = 4*y - d, -4*j + 375 = 2*y + j. Is y a composite number?
True
Let n(d) = -2932*d - 11. Is n(-1) a composite number?
True
Let u(z) = 9*z - 11. Let k be u(-9). Let g = 183 + k. Is g a composite number?
True
Suppose 0 = -5*w - 3*m + 7*m + 63789, -3*w + 38303 = 5*m. Is w a prime number?
False
Suppose -6510 - 17585 = 5*v. Is (-56)/(-98) + v/(-7) prime?
False
Let r be 6/(-15)*-5 + 487. Suppose 4*w - w = r. Is w a composite number?
False
Suppose 2*u + 4*f = 24, -3*u - 8 = -0*u - 5*f. Suppose u*y - 3 - 16 = -a, -4*a - 2 = 3*y. Suppose y*m + 74 = 8*m. Is m prime?
True
Suppose 284 = -4*i - 112. Let q be (-3)/(-12) - i/(-12). Is (-850)/q - (-3)/(-12) prime?
False
Is (1 - 90186/(-4)) + 11/(-22) composite?
True
Suppose s + 4*a = -0*s + 20, -2*a + 10 = -5*s. Suppose -6*l + 11718 + 2244 = s. Is l a composite number?
True
Is (-343)/98*((-379926)/21 + 0) a composite number?
True
Suppose -j + 202 = -0*j. Suppose 2*u - 3*o - j = o, 3*u + 5*o = 358. Is u prime?
False
Let p be ((-3828)/14)/(15/(-105)). Suppose 0 = -4*m + 3*f + 1919, 0 = 4*m - 3*f + 5*f - p. Is m composite?
False
Let c = -9 + 14. Suppose -c*p - 4 = 2*v, 0 = v - 6*v + 4*p + 23. Suppose 2*d - j = 4*j + 662, v*d - 2*j = 1015. Is d a prime number?
False
Suppose 2 = 3*p - 13. Suppose 0 = -p*v + 4*v + 2. Suppose 2*k - 5*k - 2*o = -1315, -v*k + o = -872. Is k a composite number?
True
Suppose 2*d + 3*d = 2290. Suppose -4*j - d = -1846. Is j a prime number?
True
Let b be ((-346)/(-8) + 5 + -9)*12. Suppose -4*y - 471 = -3*v, 2*v = -v - y + b. Is v composite?
False
Let w be 330/(-25)*5/(-2). Let t be (-6)/w - 6/(-33). Suppose -3*u + 87 + 108 = t. Is u composite?
True
Suppose 16676 + 21646 = 18*n. Is n prime?
True
Suppose 0 = -l - 6 + 1, 3*f - 103590 = -3*l. Is f composite?
True
Suppose 4*d + 7*o - 191104 = 8*o, -2*d - 3*o + 95566 = 0. Is d prime?
True
Let d(c) = 190*c**3 - c**2 - 6*c + 7. Let s(p) = p**2 - p - 10. Let o be s(-3). Is d(o) prime?
True
Let m(i) = -i**3 - 12*i**2 - 12*i - 5. Let u(l) = 6*l**3 + 59*l**2 + 61*l + 25. Let k(h) = -11*m(h) - 2*u(h). Is k(12) a composite number?
True
Let j(o) = -2*o**2 + 14*o - 2. Let m be j(7). Is (m/(-4))/(63580/(-15896) - -4) composite?
False
Let b(r) = 2*r**3 + 71*r**2 - 47*r - 47. Is b(-26) prime?
False
Let x(f) = 1 - 2 - 3 - 150*f - 3. Is x(-2) composite?
False
Let n = 13396 + -7925. Is n prime?
True
Suppose -3*h - k - 17 = 3*k, -2*h = -4*k - 22. Let d be 497/28 + h/4. Suppose -4*z - 3*p = -101, 0 = -5*z - 5*p + 107 + d. Is z