 (508/s)/(2/3) composite?
False
Suppose 182 = 5*u - 4*u. Suppose 5*f - u = -b, 5*f - 4*b - 197 = -0*f. Is f a prime number?
True
Suppose -l - 2*z + 8 = 0, -4*l - 2*z + 44 = -6*z. Is l prime?
False
Let i(k) = k**3 + 4*k**2 + 2*k + 4. Let n be i(-4). Let w = n - -7. Suppose 2 = -w*y + 29. Is y a composite number?
True
Is ((-1)/(1/3109))/(3 - 4) composite?
False
Let z(y) = 1260*y**2 - 2*y + 1. Is z(1) prime?
True
Let h(y) = -2*y**2 + 39*y + 7. Is h(8) prime?
True
Let j = 511 + -274. Let d = j - 56. Is d a prime number?
True
Suppose -9*g + 11*g = 0. Suppose -o - 4*o = d - 787, g = 4*o + 4*d - 620. Is o a composite number?
True
Let b(k) = -9*k**3 - k**2 - 5*k - 2. Let p be b(-5). Suppose 325 - p = -3*y. Suppose 0 = -3*q + h + y, 3*q - 165 = -h + 103. Is q a composite number?
False
Let p = -415 - -708. Is p prime?
True
Let j = 51 - 22. Suppose j = i - 6. Is i composite?
True
Let j = 6 - 2. Suppose n - j = -0*n. Suppose -3*k + 60 = v - 4*v, -n*k + 3*v + 81 = 0. Is k composite?
True
Suppose -p = -5*i - 2044 - 680, -2725 = -p + 4*i. Is p prime?
True
Let i(x) = -x**2 - 4*x + 1. Let b be i(-3). Suppose 2*f + 3*n = -4, -b*f - n + 0 = -12. Suppose -y = f*y - 395. Is y composite?
False
Let j(u) = 11*u**2 - 8*u. Is j(11) prime?
False
Is (331/4)/((-1)/(-4)) a prime number?
True
Suppose 5*m + 6*k = 3*k + 1961, 0 = -4*k + 8. Is m a prime number?
False
Let c(v) = -v - 6. Let h be c(-8). Let k(t) = 2*t + 0*t - 10*t**2 + 16*t**h - 2. Is k(-3) composite?
True
Let m = -4 + 1. Let y be ((-3)/(-4))/(m/(-324)). Suppose 4*g + 5 - y = 0. Is g composite?
False
Let i(x) = -x**2 + 6*x - 5. Let f be i(4). Suppose -755 = -f*d + o, d = -5*o + 75 + 166. Is d prime?
True
Let t(i) = -21*i**3 + i. Let y be t(-1). Let m be (-12)/10*y/(-6). Suppose -2*k - 178 = -m*k. Is k a composite number?
False
Suppose 3*l + 5 = -2*v + 26, 15 = 5*l. Suppose -5*d - 3*s + v*s = -200, -2*d - 5*s + 49 = 0. Is d a composite number?
False
Suppose -4*s + 10 = -2. Is ((-4976)/(-12) - -3)*s a prime number?
False
Is 4/18 - (-14345)/45 a prime number?
False
Let n = -14 - -18. Suppose 6*x = n*x + 2962. Is x prime?
True
Let c be 3/(-12) - (-2)/8. Suppose -5*h + 8 = y + 27, -h + 3*y - 7 = c. Is 51/12*-5*h a composite number?
True
Suppose -5*d + 2399 = 4*o - 6074, 0 = -2*d - 5*o + 3396. Is d composite?
False
Is (0 + 122)/((-4)/(-4)) composite?
True
Suppose -2*s + 6 = 2. Suppose 30 = -0*b + s*b. Is b a composite number?
True
Let r = -1 + 9. Let w(p) = p**2 - 7*p - 6. Let o be w(r). Is o*(-15)/9*-3 composite?
True
Suppose 0 = -m + 3*c + 3103, 2*m = -3*m - 2*c + 15549. Is m composite?
False
Suppose -2*v = v. Let u(o) = o**2 - o + 620. Let x be u(v). Let g = -435 + x. Is g a prime number?
False
Suppose v - 258 = z, 0 = -z - 2*v + 5*v - 248. Let s = -52 - z. Is s a composite number?
False
Let l(x) = -2*x + 1. Let k be l(1). Let v be 7 + k/1 + -2. Suppose 5*q - 88 = -5*b + b, -88 = -v*b + 5*q. Is b composite?
True
Let s(d) = d**2 - 2*d + 5. Let y(f) be the third derivative of -f**5/60 + f**4/8 - 2*f**3/3 - 2*f**2. Let k(g) = 5*s(g) + 4*y(g). Is k(8) prime?
True
Let y = -3 + 47. Suppose 0 = 7*v - 14*v - 91. Let k = v + y. Is k a prime number?
True
Suppose -5*s - 44 = -11709. Is s a composite number?
False
Let d = -6 - -6. Let p be 3/(3 - d) + -2. Let i(x) = -36*x + 1. Is i(p) a prime number?
True
Suppose -5*t + 403 = -2*s, -4*t - s + 308 = s. Is t composite?
False
Let s(b) = -5*b**2 - 17*b + 803. Let k(z) = z**2 + 4*z - 201. Let n(g) = -9*k(g) - 2*s(g). Is n(0) a prime number?
False
Suppose 0*k + 3*m = 4*k - 1024, -2*k + 526 = -5*m. Is k a composite number?
True
Let q(k) be the first derivative of 1/2*k**2 + 2*k + 2. Is q(2) prime?
False
Let d = -4 + 3. Let k be (41 - 1) + (d - -1). Is k/(-6)*15/(-10) composite?
True
Suppose 2*z - 5195 = -3*z. Is z a prime number?
True
Is -1 - 12*(-100)/8 a composite number?
False
Suppose 0*m + 1059 = 3*m. Is m composite?
False
Let i = -514 + 2111. Is i a prime number?
True
Let m(q) = -207*q + 49. Is m(-4) composite?
False
Let j be 1/6 - (-86)/(-12). Let s = -5 - j. Suppose i + 127 = s*i. Is i a prime number?
True
Is 33 + 8*1/2 a prime number?
True
Let o = 557 + -112. Is o a prime number?
False
Let g = -5 + 10. Suppose -5*a + 5 + g = 0. Suppose a*t = 67 + 11. Is t a composite number?
True
Suppose -l - c + 466 = 0, 2*c - 1396 = 3*l - 6*l. Suppose a - l = u - 2*u, 2*a + 467 = u. Suppose -5*w = -340 - u. Is w prime?
False
Suppose 3*n = -4*c + 10, -5*c + 5*n = 4 + 1. Let u be c - (-5 - (0 + -3)). Suppose -4*y + 5*d + 37 = 0, -2*y + 5*d = u*y - 40. Is y a composite number?
False
Is ((-18)/12)/((-3)/586) a prime number?
True
Let f(a) be the first derivative of a**6/120 - a**5/15 + a**4/24 + a**3/6 - a**2 + 2. Let i(u) be the second derivative of f(u). Is i(6) composite?
False
Let w(z) = 5*z**2 + 15*z + 3. Is w(5) composite?
True
Suppose h = -2*h + 4*c + 361, 4*h - c = 503. Is h a composite number?
False
Suppose 3*u = 960 + 3195. Is u composite?
True
Let n be ((-8)/(-10))/((-1)/(-5)). Suppose 0 = -2*p + 2*g - 6*g, 32 = 2*p - n*g. Let o(s) = 2*s**2 - 9*s + 9. Is o(p) composite?
True
Let a(r) = r**3 - 4*r**2 + 7*r - 1. Let f = -15 + 3. Let l be (-1)/3 + (-64)/f. Is a(l) prime?
True
Suppose 0 = -5*v - 3*d + 24290, -3*v + 7*v - 3*d - 19405 = 0. Is v prime?
False
Let y = 10 - 7. Suppose -61 = -y*b + z, 4 + 30 = 2*b + z. Is b a prime number?
True
Let m(v) be the third derivative of 9*v**4/8 - 2*v**3/3 - 3*v**2. Is m(3) a composite number?
True
Let z(t) = -t**3 + 8*t**2 - 8*t + 4. Let n be z(6). Is 2/7 - (-2708)/n a prime number?
True
Let y(m) be the third derivative of m**4/8 + 2*m**2. Suppose 2*h + 11 = 5*l, -h - 3*l + 43 = 3*h. Is y(h) prime?
False
Let o(q) = 19*q + 5. Suppose 1 = g + 5. Let l(m) = 9*m + 2. Let h(u) = g*o(u) + 9*l(u). Is h(3) composite?
False
Let y(o) = o**3 - 3*o**2 + 6*o - 1. Let w be y(4). Suppose -w = -g - 2. Is g prime?
True
Suppose -5*i + 2*l + 17 = 0, 2*i = l + 1 + 5. Let f = i - -18. Is f composite?
False
Is (260/3 + -2)*3 composite?
True
Suppose -2*p = 3*p - 1285. Is p a prime number?
True
Suppose f + 0 = 109. Is f a composite number?
False
Suppose 3*t - 36 = t. Let r(q) = q**2 - 3*q - 2. Let n be r(4). Suppose m - 15 = -j + n*m, -2*j + 5*m + t = 0. Is j composite?
False
Let j(n) = n**3 + 5*n**2 - 7*n - 4. Let y be j(-6). Suppose -4*c = -y*c - 166. Is c prime?
True
Let l be 1028*(-2 - 33/(-12)). Suppose l = 3*z + 3*f, z - 4*z + 771 = -f. Suppose 3*t = -5*y + z, -2*t + 118 + 68 = -4*y. Is t prime?
True
Is 12/3 + 1 + 186 prime?
True
Suppose -4*r + 162 = -26. Is r a composite number?
False
Let m = -434 + 829. Is m a composite number?
True
Is 130/15*402/4 prime?
False
Let s(y) = 6*y - 3*y + 2 + 5*y - 3*y. Is s(9) prime?
True
Let b be (-9)/18 - 6/4. Is 3/1 - (b + -2) a composite number?
False
Suppose -4*q + 34 = -5*m, -3*q + m - 22 = -7*q. Suppose -z + q = -4*z. Let s(k) = -10*k + 1. Is s(z) composite?
True
Suppose 4*m = 3*i + 2 - 0, 0 = 2*m + 2*i - 8. Suppose d = m*d - 7. Suppose 2*z + 4*c - 106 = d*c, 4*c = -2*z + 134. Is z composite?
False
Let w = -47 + 80. Suppose b - 121 - w = 0. Suppose 0*v = -2*v + b. Is v a prime number?
False
Let q(r) = r**3 + r**2 - r + 14. Let o(h) = 1 + 0*h + 0*h + h**2 - 2*h**2. Let u be o(-1). Is q(u) a prime number?
False
Suppose a - 2 = -0*a. Suppose -5*c = 4*j - 123, a*c + 2*c + 4*j = 100. Suppose -2*w = -w - c. Is w a prime number?
True
Let a be (-40)/(-12)*(-6)/(-4). Suppose 4*l - 12 = -4*x - 0*x, a*x = 4*l + 42. Suppose 2*o = -5*i + 35, x*o - 4*o = -3*i + 21. Is i a prime number?
True
Let j(y) = -y**2 + 8*y + 1. Let q be j(8). Let l(x) = 14*x - 1. Is l(q) composite?
False
Suppose -5*v = -2*v - 4317. Is v a composite number?
False
Let u = 4237 + -2782. Let i = -814 + u. Is i composite?
False
Suppose -2*y + 3*y = 0. Let o = -25 + 89. Suppose y = -2*k + o + 94. Is k prime?
True
Suppose -v + 879 = 2*r, -r - 2*r + 3*v + 1296 = 0. Is r a composite number?
True
Let u(h) = 8*h - h**2 - h**3 + 0 - 3 - 2*h. Let c = -12 - -7. Is u(c) a composite number?
False
Let x = -191 + 360. Is x a prime number?
False
Suppose 0 = -6*a + 4*a + 506. Is a prime?
False
Let b(k) = 609*k - 5. Let x(r) = -122*r + 1. Let j(d) = 2*b(d) + 11*x(d). Is j(-4) composite?
True
Suppose -2*x = r - 445 + 20, 0 = 4*x + 3*r - 853. Is x a composite number?
False
Let r(s) = 2*s 