s(z) composite?
True
Suppose 1 = 2*x - 5. Suppose -x*l = -2 - 4. Suppose 3*o + l*o = -c + 44, -5*c - 5 = 0. Is o composite?
True
Suppose -2 - 3 = -5*f. Is f*-1*333/(-9) a composite number?
False
Suppose -4*z + 67 = -3*z. Suppose 3*u - z = 236. Suppose u = a - y - y, -5*a = -y - 487. Is a a prime number?
True
Let j be (-4)/10 - 501/(-15). Let a = j - -40. Suppose 5*g + a + 188 = 4*w, w - 66 = g. Is w composite?
True
Suppose 0*x + x = 0. Let z be (-2 - -6) + (4 - -105). Suppose m + x*m = z. Is m composite?
False
Let q(g) = -g**3 - 15*g**2 + 11*g - 24. Is q(-19) composite?
True
Suppose -6*s = -s - 1905. Suppose 0 = -2*q - 5*k + 27 - 11, -q = -4*k + 18. Is (q/(-6))/(1/s) prime?
True
Suppose 0 - 14 = -4*b + 5*k, -5*b - 3*k - 1 = 0. Is 1*b/2*14 a composite number?
False
Let p(i) = i**2 - 4*i - 3. Is p(-2) a composite number?
True
Suppose 2*h - 397 = h. Is h a composite number?
False
Let q(r) = r**2 - 8*r + 6. Let g be q(7). Let a(c) = c**2 - 5*c + 2. Let z be a(6). Is -44*((-2)/z + g) a prime number?
False
Let g(l) = 12*l**2 - 5*l - 4. Is g(3) prime?
True
Suppose -w + 9 = 23. Let c be 24/w - (-2)/(-7). Is (-2 - c)/3 + 3 a prime number?
True
Suppose 194 = -v - 214. Let r = v - -665. Is r a prime number?
True
Suppose 0 = -0*d + d - 5. Suppose -78 - 17 = -d*t. Is t a composite number?
False
Let m(l) = l**3 + l**2 + l + 51. Let u be 20/(-6) + 2/(-3). Let t = u - -4. Is m(t) a prime number?
False
Let q(j) = -3*j - 6. Let h be q(5). Let x = 21 - h. Suppose -i + x = i. Is i a composite number?
True
Suppose -4*i - 5*r = 5, 0 = 5*i - 2*r - 0 - 2. Let z be 114/24 + (-2)/(-8). Suppose z*k - 28 - 7 = i. Is k prime?
True
Let x = -21 - -40. Suppose 7 = 2*w - x. Is w composite?
False
Suppose 4*b = 5*b - 257. Is b a prime number?
True
Suppose 53 = -0*l + l. Is l a prime number?
True
Suppose -r = 4*r + 840. Let c = 245 + r. Is c composite?
True
Is ((-474)/4)/((-1)/2) a composite number?
True
Let k = 8 - 14. Let z be (1 - 3)/(k/243). Let g = -26 + z. Is g prime?
False
Let c = 638 + 7359. Is c composite?
True
Suppose a + 0*a = 0. Suppose 5*c - 4*s = s, 3*s - 9 = a. Suppose -c*x + 82 = -56. Is x prime?
False
Let l(d) = -54*d + 1. Let r be 1/(-3) - (-44)/6. Let u = r - 10. Is l(u) prime?
True
Let q(s) = -26*s + 4. Let x(d) = -25*d + 5. Let i(w) = 4*q(w) - 3*x(w). Is i(-2) a prime number?
True
Let w(t) = t**2 + 4*t - 1. Let z be w(-4). Let p be (-9)/z*(-4)/(-3). Is (4/p)/(1/99) a composite number?
True
Suppose -2*a + 67 = -a. Is a a composite number?
False
Let i = 201 - 25. Let m = -120 + i. Let z = -21 + m. Is z composite?
True
Suppose u + 992 = 5*u. Is u/2 - -1 - -2 a prime number?
True
Suppose 2*h = 352 + 546. Is h composite?
False
Let l be 0/(-2 - (-6 + 3)). Suppose -2*n + 3*j + 2*j + 86 = l, -2*j = -2*n + 98. Suppose m - n = 74. Is m composite?
False
Let z be (-2 - 4)/(-3) - 0. Suppose f = -z*f + 15. Suppose -f*c + 97 = -73. Is c composite?
True
Let f be (-2 + 11)*(2 + -1). Let p = 0 - -5. Suppose 0 = p*v + z - 159, -2*v - 4*z + 42 = -f*z. Is v prime?
True
Let m(a) = 5*a - 6. Let z be 9/6 + (-1)/(-2). Let i be -1 + z + 1 + 6. Is m(i) a composite number?
True
Is -538*6/9*(-6)/8 composite?
False
Let x = 3 - 10. Let m = x - -46. Is m a prime number?
False
Let b = 2202 - 725. Suppose -2*v = -3*v + 4, -4*v + b = 3*x. Is x prime?
True
Let l = 3 + 3. Suppose -2*y + 6 = -l. Is y a composite number?
True
Let f = 66 - -185. Is f a composite number?
False
Let a(z) = -z**2 - z + 737. Is a(0) a prime number?
False
Let z = -4 - -6. Let s = 3 - z. Let l(q) = 18*q + 1. Is l(s) composite?
False
Suppose -3*m - 1573 = -4*q, -q - 3*q + 2*m = -1570. Is q a prime number?
False
Let h(t) = -t**2 + 7*t + 4. Let u be h(6). Is 1628/u - 1/(-5) prime?
True
Suppose 5*i = 0, -i + 21 = 2*t - 25. Let o(r) = -13*r**2 - 1. Let g be o(1). Let x = t - g. Is x a prime number?
True
Suppose 0 = -3*r - r + 1516. Is r a prime number?
True
Suppose c - 51 = -202. Let j be (-2)/(-1) - (76 + -2). Let h = j - c. Is h a composite number?
False
Let u(j) = 0 - 38*j - 2 + 8 + 5. Is u(-9) prime?
True
Let k(l) = -3*l**2 - l**3 - 2 - 3*l**3 + 3*l**3. Let g be k(-4). Is 1*g*(-1)/(-2) a prime number?
True
Let g(p) = p**2 + 3. Let u be 1*(-1 + -2 - 1). Is g(u) a composite number?
False
Is ((-30)/(-75))/((-4)/(-1310)) a composite number?
False
Let i be (-2)/13 - (-13510)/(-65). Suppose 0 = 2*n + 357 + 249. Let q = i - n. Is q a composite number?
True
Let c be 80/(-3) - 2/6. Let m be 11/9 + 6/c. Is 20*1 + m - -2 a prime number?
True
Let v be 4/2 + (-2 - -4). Suppose 5*h = 3*m - m + 189, 66 = 2*h + v*m. Is 1*h*2/2 composite?
False
Let d(a) = 5*a**3 + 3*a**2 - 4*a + 3. Is d(2) a composite number?
False
Suppose 774 = -m - 0*m. Let j = m - -1454. Suppose -j = -5*w - 205. Is w a composite number?
True
Let i be (2/(-4))/((-2)/28). Let d(f) = 3*f**2 - 9*f - 7. Let b(s) = 10*s**2 - 28*s - 21. Let l(t) = 2*b(t) - 7*d(t). Is l(i) a prime number?
True
Suppose -a - 4 = -3*a. Suppose 2*v - 4*c - 52 = 46, 3*v = -5*c + 114. Is v/2 + a/(-4) a composite number?
True
Suppose -3*l + 24 = 3*p, 4*p + 5 = -l + 28. Suppose 2*f = -3*s - 0*f + 243, 5*s - 404 = -l*f. Is s prime?
True
Suppose 2*l + 0*x = x + 9, -5*x - 5 = 0. Suppose 3*p - 1117 = -4*m, -3*p - m + l*m = -1152. Is p prime?
True
Let q = -233 - -742. Is q a composite number?
False
Let h = 27 + 4. Is h a prime number?
True
Let b(s) = 2*s**3 - 2*s + 52. Let l(w) = 3*w**3 - 3*w + 51. Let p(g) = 4*b(g) - 3*l(g). Is p(0) prime?
False
Let r be -1*((-2 - 0) + 7). Let b = r + 6. Is (-1)/(-2)*(119 - b) prime?
True
Let i(j) = 248*j + 1. Is i(3) prime?
False
Let j = 8442 + -4793. Is j a composite number?
True
Let f(x) = -19*x**3 - x**2 - x. Let k(n) = -3*n - 1. Let o be k(-2). Suppose -2*q - o = g, -q = 3*q - 4*g - 8. Is f(q) prime?
True
Suppose z = 2*a, -z + 2*a = z. Suppose -i - c + 1 = -z*c, -i + 6 = -4*c. Suppose 113 - 307 = -i*f - 2*w, -3*w = 0. Is f a prime number?
True
Let x(n) = 5*n**3 + 14*n**2 + 18*n - 7. Let i(y) = 6*y**3 + 13*y**2 + 18*y - 7. Let s(p) = 4*i(p) - 5*x(p). Is s(-18) a prime number?
True
Let y(m) = -m + 5. Let l be y(5). Suppose l*b - 354 = -3*b. Is b a prime number?
False
Let k = -4 - -6. Is 3*7 + 0 + k a prime number?
True
Let y(r) = 22*r**2 - 2. Let v be y(4). Let i = 499 - v. Is i a composite number?
False
Suppose 2*b - 3*b = -23. Suppose -5 + b = 2*a. Suppose 0*t = 3*t - a. Is t prime?
True
Let h(j) = -j**2 + 9*j - 4. Let n be h(8). Suppose u = 2*r + 2*u - 5, 0 = -n*r + u + 7. Suppose 4*k - 4*o - 200 = -0*k, r*o + 47 = k. Is k prime?
True
Suppose -4*z = 1061 - 4473. Is z a prime number?
True
Let u(g) be the first derivative of 11*g**3/3 - 3*g**2/2 - g - 4. Is u(-2) a composite number?
True
Suppose 563 = 3*o - 694. Is o prime?
True
Let v(j) = -39*j + 1. Let f(g) = -40*g + 1. Let k(t) = 6*f(t) - 7*v(t). Is k(8) a prime number?
True
Suppose 7*n - 5*n = 982. Is n prime?
True
Is -267*-2*(-3)/(-18) a prime number?
True
Let n(o) = 367*o**2 - 4*o + 4. Is n(1) a composite number?
False
Let u(v) = v**3 + 4*v**2 + 3. Let m be u(-3). Is (-41 - 1)*(-4)/m composite?
True
Let u(b) be the second derivative of -b**5/20 + 2*b**4/3 - 2*b**3/3 + b**2 - 2*b. Is u(7) a composite number?
False
Suppose -7*p = -4*p. Let x(r) = p + 1 - r**3 + 3*r**2 + 2*r**3 - r. Is x(2) a composite number?
False
Let x(t) = -t + 8. Let j be (16/(-10))/(3/(-15)). Let s be x(j). Suppose 2*v - 26 = -f - 4, s = v + f - 11. Is v prime?
True
Suppose 3*p - 5*o = -6*o + 2311, -1526 = -2*p + 3*o. Is p prime?
True
Let y = -5 - -8. Suppose -q - 1570 = -y*q. Suppose 5*l = -0*l + q. Is l prime?
True
Suppose x + 15 = 3*w, -3*w - 2*x = x - 27. Suppose -3*q + w*q - 81 = 0. Suppose 6*v - q = 3*v. Is v a composite number?
True
Let d(r) = -4*r + 3*r + 1 - 7*r + 3*r. Is d(-1) a composite number?
True
Let i(s) = s**2 + 6*s - 24. Is i(13) a composite number?
False
Let t(o) = -o**3 + 14*o**2 - 5*o - 8. Let v be t(7). Suppose -113 = -c + v. Is c composite?
True
Let f(m) = m**3 - 2*m**2 + 2*m - 3. Suppose -2*p = 2*r - 2, 4*r = 4*p + p + 31. Let k be f(r). Let d = 72 - k. Is d composite?
True
Let o(s) = s - 4. Let w be o(4). Suppose -208 = 3*x - f, 0*f + f - 4 = w. Let r = -47 - x. Is r composite?
True
Suppose 0*f = 2*f - 12. Let u(c) = -10*c - 3. Let p be u(f). Is (-8)/(-6)*p/(-14) prime?
False
Suppose 24 = 5*q + 9. Suppose 0 = -k 