composite?
True
Suppose 6*o - 8*o = -5*z + 136193, 2*o + 27237 = z. Is z composite?
False
Suppose -29*y + 23*y + 92694 = 0. Is y a prime number?
False
Let r(k) = 3*k + 49. Let j(o) = -11*o - 97. Let w(b) = -10*b - 97. Let l(u) = -3*j(u) + 4*w(u). Let v(g) = 4*l(g) + 9*r(g). Is v(0) a composite number?
False
Let v(w) = 8*w**3 + 3*w**2 + 6*w - 8. Is v(5) a composite number?
False
Suppose -3*c - 3 = j + 4, -6 = 3*c. Let s be (-1 - j)*(-7)/(-28). Suppose s = 4*f + 2*y - 1914, -5*f + 553 = -5*y - 1847. Is f prime?
True
Let v(s) = -s**3 - 8*s**2 - 10*s - 13. Let q(n) = n - 6. Let o(t) = 4*t**3 - t - 1. Let c be o(-1). Let w be q(c). Is v(w) a prime number?
False
Suppose -2*a + 5*f = -16, -4*a + 5*f = 27 - 79. Suppose -a*z = -13*z. Is z + 4/(16/212) composite?
False
Suppose -2*d + 5 = -d - 3*g, -2*g = 4*d + 50. Let l be 192/d*(-5)/1. Suppose u = l + 22. Is u composite?
True
Let i(z) = -2817*z - 8. Let l be i(-4). Suppose -l = -15*b + 11*b. Is b a prime number?
False
Let d(f) = f**2 - f - 1. Let a(u) = -12*u**2 + 15*u - 19. Let x(q) = -a(q) + 6*d(q). Is x(6) a prime number?
False
Suppose -7*i + 3*i = 0. Suppose 11*c - 6*c = i. Suppose -143 = -4*x - c*x + 5*s, 32 = x - 5*s. Is x composite?
False
Let h = 30 + -27. Suppose y = -3*x + 2*y + 108, 5*x + h*y = 166. Is x a prime number?
False
Let x(r) = r**3 - r**2 + r. Let t be x(0). Suppose -5*m + t + 5 = 0. Is (-2 + 5 - m) + 141 a prime number?
False
Let s be (-2)/17 - 87/(-17). Suppose s*c + 25 = -4*v + 252, 2*v = -2*c + 92. Suppose -c = -2*l - 4*z - z, -3*l + 57 = 5*z. Is l prime?
False
Suppose q - 4*q = -4*o - 187, -2*o = -4. Let v(d) = d - 24. Let k be v(12). Let c = k + q. Is c prime?
True
Suppose 0 = 5*u - x - 13, -1 = -u + x + 4. Let h = 389 - 237. Suppose h = u*c - 182. Is c a prime number?
True
Let k = -860 + 2457. Is k a composite number?
False
Suppose 0 = p - 0*p. Let r(l) = -7*l**3 + 0*l + 8*l**3 + p*l + 1693. Is r(0) prime?
True
Let k(j) = -502*j + 95. Is k(-8) a prime number?
True
Let o(a) = -10*a - 1. Let p(y) = -y + 6. Let i be p(-6). Suppose 0 = t + t + i. Is o(t) a prime number?
True
Suppose 5*k = -4*z + 6414, 0 = 3*k + z + z - 3850. Let o = k + -909. Is o a composite number?
True
Let i be 1 - -3*(-3)/(-9). Suppose -8 - i = -5*z. Suppose -r = 5*s - 230, 3*r - r - z*s - 424 = 0. Is r a prime number?
False
Let g = -36 - -56. Let t be (-2)/4*1260/(-18). Let u = t - g. Is u a prime number?
False
Suppose 24 = 4*w - 5*p + p, 0 = -2*w + 5*p + 18. Suppose -n + w*r + 461 = 0, -2*n - r - 458 = -1425. Is n a prime number?
False
Let g = -41 + 45. Suppose 0 = -g*b + 3*y + 11612, 4*b - 5*y - 14515 = -b. Is b a composite number?
False
Let b = 42 + -41. Let o(a) = -a**3 + 6*a**2 - 7*a + 6. Let i be o(5). Is (210 + b)/(i/(-4)) a prime number?
True
Suppose -5*f = -w - 6318, f + 2*w - 591 = 666. Let r be (-2)/8 - f/(-12). Let o = r + 6. Is o a prime number?
False
Let w(i) = i**2 + 2*i + 1. Let o be w(-2). Suppose -2*z + z - 30 = -4*v, 0 = 4*v + 4*z - 40. Let g = v - o. Is g a composite number?
False
Suppose 5*v - 2383 = o - 7634, 15753 = 3*o - 3*v. Is o a composite number?
True
Is 36*(-11)/(-44) - -25726 a composite number?
True
Suppose 0 = 2*j + 6 - 10. Suppose 4*t - 3*o = j*o + 2088, -3*o = -4*t + 2080. Is t prime?
False
Let s = 893 + 429. Is s composite?
True
Let t(d) = 30*d**3 - 9*d**2 + 12*d - 14. Is t(5) composite?
False
Let s(c) = 3*c**2 - 1551. Let y be s(0). Let r = -338 - y. Is r a composite number?
False
Suppose 16*a - 12598 = 71034. Is a composite?
False
Suppose -40*j = -34*j - 12318. Is j composite?
False
Let j be 148/(-28) - -1 - (-8)/28. Let i(w) = -w**3 - 4*w + 9. Is i(j) a prime number?
True
Let i(y) = 19*y - 6. Let b be i(-5). Suppose -2*n - 437 = -m, 463 + 405 = -4*n + 4*m. Let f = b - n. Is f prime?
False
Is (127/(-3))/((-1 + 3)/(-642)) composite?
True
Let h(l) = -1113*l - 2. Let b be h(-2). Let u = b + -553. Is u composite?
True
Is (-1)/((30/279410)/(-2 - 1)) a prime number?
True
Let x be 0/(-9) + 133*39. Let a = -3038 + x. Is a composite?
True
Let k(b) = 31 - b**3 - 11*b**2 - 8*b**2 + 8*b**2 + 5*b + 2*b. Is k(-14) a prime number?
True
Let s be (-3 - -7)*635/2. Suppose -2169 = 12*k - 9*k. Let y = k + s. Is y a composite number?
False
Let i = -45715 - -70424. Is i a composite number?
False
Let s be 429/9 - 2/(-6). Suppose y + 2*y + s = 0. Is (-2)/(-2)*(-7568)/y a prime number?
False
Let w be (-24)/156 + -1 + (-30834)/13. Is w/(-2) + ((-9)/(-2) - 4) a prime number?
True
Suppose 0 + 8 = 2*u. Let z be u*(-2 + 3/1). Suppose -3*y = -z*y + 487. Is y a composite number?
False
Suppose -174 = m - 553. Is m prime?
True
Let t(m) = 17*m**2 - 11*m + 7. Let q(x) = x**2 + 21*x + 33. Let h be q(-19). Is t(h) composite?
False
Let i = 1593 - 545. Let r = i - 729. Is r prime?
False
Let k be (-4)/12 + (-171094)/6. Let l be k/(-20) - 3/(-15). Let m = l + -977. Is m a composite number?
False
Let s be (1 - -5) + (6 - (9 + 1)). Is s*((-3)/(-15))/(10/45575) a composite number?
False
Let j = 3768 - 6921. Let o = j + 4664. Is o prime?
True
Let i = -24783 - -44221. Is i prime?
False
Let w(f) = 245*f**2. Let y be w(-1). Suppose -g + 234 + y = 0. Is g prime?
True
Let q = -10 - -23. Let v be q/3 - 8/(-12). Suppose -3*g = v - 98. Is g a composite number?
False
Let p(a) = a - 14. Let x be p(18). Suppose 2420 = -0*o + x*o. Let s = 1042 - o. Is s a composite number?
True
Let s(m) = 32*m**2 - 81*m - 245. Is s(-30) prime?
False
Let d(t) = -64*t - 35. Let s(j) = -32*j - 17. Suppose 0 = -0*v + 5*v - 65. Let a(o) = v*s(o) - 6*d(o). Is a(-5) prime?
True
Let u = -15 + 19. Suppose u*x = 9*x - 3160. Let n = -421 + x. Is n prime?
True
Suppose g = -o + 2098, 568 = 2*g - 3*o - 3643. Is g a prime number?
False
Suppose 8*v - 5*v - 55476 = 0. Is v/3 + -1 + -4 a composite number?
True
Suppose 23 + 102 = 5*x + 5*c, -5*x + c + 155 = 0. Let i = x + -15. Is i a prime number?
False
Let u = 6 - 12. Let w(k) be the third derivative of -13*k**4/24 + 7*k**3/6 - 2*k**2 - 80. Is w(u) prime?
False
Let y(q) = -q**2 + 2*q**2 + 10*q - 6 + 2*q + 4*q. Is y(13) a composite number?
True
Let a = 10 - 19. Let y = a + 62. Is y a composite number?
False
Is ((-46281)/(-6))/((-5)/(-10)) composite?
False
Let o = -337 - -641. Suppose -5*a - 20 = -15. Is -1*(-2 - o) - a a prime number?
True
Is -119285*(-15)/50*(-10)/(-15) a prime number?
True
Let a = 20 - 18. Let b(z) = 15*z**2 + 5*z - 3. Is b(a) a prime number?
True
Let p be 12/20 - (-2)/5. Let h = 7 - p. Let m(b) = -b**3 + 8*b**2 - 2*b + 9. Is m(h) a prime number?
False
Suppose -4*p + 5*p = -5. Let o(b) = -2*b - 1. Let x(d) = 28*d + 13. Let s(a) = -4*o(a) - x(a). Is s(p) composite?
True
Suppose 13*h = 17*h. Is -1 + h - (1 + 0)*-1362 a prime number?
True
Let v = -28 + 29. Is v/(-4) + 21350/56 a composite number?
True
Suppose -4*u + 64108 = -3*w, 2*u - 26341 = 3*w + 5707. Suppose -u = -2*m - 8*m. Is m prime?
False
Let v(i) = i**3 + 9*i**2 - i - 9. Let l be v(-9). Suppose -3*h + 60 = -2*j - l*h, j - 4*h + 40 = 0. Is (-2)/8 - 3798/j a prime number?
False
Let g(m) = 121*m**2 - 26*m + 1. Is g(6) composite?
False
Let y(g) = 29*g**2 + 2*g - 1. Let a be y(1). Is 10862/20 - 3/a prime?
False
Let h = 4583 + -2250. Is h composite?
False
Let d(h) = 132*h + 13. Suppose 22*b - 6 = 20*b. Is d(b) prime?
True
Let q = 160 + -144. Is ((-60)/q)/(-5) + (-6473)/(-4) composite?
False
Let j be (-1*2)/((-8)/5396). Let m = j - 396. Is m prime?
True
Let b(s) = -2*s**3 - 2. Suppose 3*f + 0*f + 6 = 0. Let r be b(f). Suppose -13*h = -r*h + 65. Is h a prime number?
False
Suppose 4*n + 48 = 2*a - 0*n, 0 = -5*a + 2*n + 104. Let s(r) = -r**2 + 34*r - 15. Is s(a) composite?
True
Let n be (10/25)/(2/90). Suppose n = -h - 339. Let f = -22 - h. Is f a composite number?
True
Let v = -121 - -125. Suppose -3*y = v*t - 1196, 3*t = 8*t + 2*y - 1495. Is t composite?
True
Let f(y) = -5009*y + 46. Is f(-3) prime?
True
Suppose 2*i + j - 5 = 3, -3*i - 5*j + 19 = 0. Suppose -i*q + 331 = 2*h + 2*q, 0 = -4*h - 4*q + 692. Is h prime?
False
Let g(d) = 195*d**2 + 6*d - 16. Is g(-11) a composite number?
True
Let g(y) = y**2 + 15*y - 24. Let l be g(-17). Is 3177/5 - (3 + (-26)/l) composite?
True
Suppose 4*h - 2*c = 28, 7*c - 4*c = 4*h - 24. Suppose 0 = h*f - 2362 - 2129. Is f composite?
False
Let k(i) = 13*i**2 - 15*i + 13. Let d(t) = -2*t + 5. Let x be d(4). Let r