Suppose -34 = -4*o + 2*r, -5*o + v*r - 6*r + 70 = 0. Is o prime?
True
Is (-6)/4 + 1124/8 a prime number?
True
Suppose 5*p + 6 = -14, 4*p + 44 = 4*l. Suppose -16 = -l*j + 3*j. Suppose -q - 42 = -j*q. Is q a prime number?
False
Let k(g) = -g - 7. Let t(l) = -l**2 + l + 6. Let b(o) = -5*k(o) - 6*t(o). Suppose -3*z + 7*z + 8 = 0. Is b(z) prime?
False
Suppose 0 = -0*x - 5*x + 35. Suppose x*n = 5*n + 42. Is n a prime number?
False
Suppose k - 8184 = -3*k + 4*g, 4*k + g - 8179 = 0. Is k a prime number?
False
Let p(x) be the second derivative of x**5/20 - 5*x**4/12 - x**3/6 - 3*x**2 - x. Is p(7) prime?
False
Let t(y) be the first derivative of 31*y**2/2 + 4*y - 5. Is t(5) a composite number?
True
Suppose -b + 37 = 2*y, -152 = -5*b + y - 0*y. Let f be 13*(1*-1 + 2). Suppose 4*l - b - f = 0. Is l composite?
False
Suppose -f + 9 + 0 = 0. Suppose 0 = -d + f. Suppose -d - 10 = -n. Is n composite?
False
Suppose -6978 = -15*r + 9*r. Is r prime?
True
Let r be (-7)/(-28) - (-406)/8. Suppose -909 = -3*a - 4*w, a = 5*w + 271 + r. Is a composite?
False
Suppose -2*y - 531 = 5*m, -4*y - m - 1140 + 69 = 0. Let j = y + 447. Is j composite?
False
Let j(m) = 32*m**2 + 3*m - 22. Is j(-9) composite?
False
Let z(t) = 2*t + t + 2*t**2 + 0 + 6*t**2 + 6. Is z(-7) a composite number?
True
Let j = 3062 - 1995. Is j a prime number?
False
Let z = -1187 + 2293. Is (1/2)/(7/z) prime?
True
Let b be 1/(-1) + (0 - -9). Suppose -4 - b = -4*s. Suppose -2*r + s*r + 5*m = 0, -r = -2*m - 21. Is r prime?
False
Let x(w) = -25*w + 12. Let z be x(-11). Let h = 408 - z. Is h a composite number?
True
Let j(n) = n**2 - 6*n + 6. Let w be j(5). Is (w - 2/4)*326 a prime number?
True
Suppose 0 = -d + 1, 2*d + 3*d = 5*a + 20. Is 535/15 - (-2)/a a composite number?
True
Suppose -3*h = -2 - 7. Suppose 0*r + 273 = h*r. Is r a composite number?
True
Let y(w) = 11 - 27 - 238*w**3 + 15. Is y(-1) a composite number?
True
Let y(x) = x**3 - 10*x**2 - 2*x - 11. Let o be y(10). Let r be 2/(-1) - 16*-3. Let l = r + o. Is l composite?
True
Is (1224/28)/((-2)/(-14)) - -1 composite?
False
Let j(y) be the first derivative of 69*y**2/2 - 4*y - 2. Is j(3) a composite number?
True
Let v(i) = 0 + 3 + 33*i - 2. Is v(4) composite?
True
Suppose -2*v = 3 + 25. Let i be (-3)/(-2 + v/(-10)). Is (-3 + i)/(4/74) prime?
True
Let n(o) = 2*o**2 - 3*o + 19. Is n(-6) a prime number?
True
Let p(b) = 258*b + 3. Is p(2) composite?
True
Let z(s) = s**3 - 11*s**2 + 11*s - 7. Let t be z(10). Is t + (-2 - (-14 - 0)) prime?
False
Let l = -1 - -3. Let o(w) be the second derivative of 28*w**3 + w**2/2 + 6*w. Is o(l) a composite number?
False
Let t(q) = -q**3 + 2*q**2 + 3*q + 2. Let u be t(3). Let d be 142 + (-1 - u/(-2)). Suppose 2*b - 4*p - 2 - 64 = 0, -3*p = -4*b + d. Is b a composite number?
False
Suppose 0 = 3*p - 5*p - 16. Let g = p - -17. Suppose -5*h + 6 + g = 2*m, -3*m = 0. Is h a prime number?
True
Suppose -5*h + 4*b = -661, h - 5*b - 132 = -4*b. Is h a composite number?
True
Let q = -4 + 0. Let m = 7 + q. Suppose m*n = 299 - 32. Is n a prime number?
True
Let j = 25 + -15. Let r(y) = 42*y - 6 + 1 + 4. Is r(j) a composite number?
False
Suppose -3*y + 2*w = -10, -w = 4*y + 3*w + 20. Is 13/(1 + y + 0) a prime number?
True
Suppose -2*m + m + 4 = 0. Is 1488/(-12)*(-2)/m a composite number?
True
Let q(n) = 50*n**2 - 8*n + 11. Let i be q(5). Suppose 0 = -j + 4*j - i. Is j composite?
True
Is (-6293)/(-5) + (-12)/(-30) a prime number?
True
Let i(r) = 4*r**3 + 2*r + 1. Is i(4) prime?
False
Is 1*-4318*(-1)/2 prime?
False
Let p = -2277 - -3194. Is p prime?
False
Let m = 775 + -344. Is m prime?
True
Let d(h) = 6*h - 1. Let m be d(4). Let b = m - 2. Is b a composite number?
True
Suppose 10 = -2*a, 131 + 247 = 2*j + 4*a. Is j a prime number?
True
Let n be (-3 + 2)*1 + 263. Let g = n - 177. Is g a composite number?
True
Let c(m) = m**3 - 2*m**2 - 5*m + 4. Let s be c(4). Is (-3)/4 + 2396/s composite?
False
Suppose -4*s + 15 + 5 = 0. Suppose -198 - 187 = -s*r. Let z = 108 - r. Is z a prime number?
True
Let w(d) = -48*d - 2. Let q be w(-4). Suppose 3*m + h = -h + q, -3*h = 2*m - 125. Suppose 0 = 5*n + m - 219. Is n a prime number?
True
Suppose 0 = 4*t - 4*p - 220, 4*t - 108 = -4*p + 120. Suppose 0 = -2*c + t. Suppose -r - c = -95. Is r prime?
True
Let l(i) = 7*i + 11*i - 3 + 0. Let r(q) = -q**2 + q + 3. Let b be r(0). Is l(b) a composite number?
True
Let t(m) = -9*m + 1293. Is t(0) composite?
True
Let d(f) = -f - 3. Let w be d(-4). Is w*(1 + -2 + 146) prime?
False
Suppose 4*r - 4*t - 20 = 0, -3*t - 3 + 2 = 4*r. Suppose -254 = -r*d - 0*d. Is d a prime number?
True
Let k(h) = -13*h - 16. Let a(q) = 38*q + 49. Let x(f) = 6*a(f) + 17*k(f). Is x(9) prime?
False
Let a = 1 + 2. Let u be (0 + 1 - 1) + 13. Suppose 58 = a*k + u. Is k prime?
False
Suppose -4226 = -2*b + 1404. Is b composite?
True
Let q(s) be the third derivative of s**5/20 - s**4/24 - s**3/6 + s**2. Let k be q(-1). Is (10 + k)/((-2)/(-14)) a composite number?
True
Let q be -1*(-2)/3*-3. Is 5/1 + 0 + q composite?
False
Let v be 6 - (0/(-3) + 2). Suppose 0 = -2*f - 2*l, -2*f - 3*l + 2 = 4. Suppose f*n - 1 = -2*x + 13, -x - 38 = -v*n. Is n composite?
True
Let v(f) = -4 + 9*f - 6 + 2*f**3 - f**3 + 10*f**2. Is v(-8) a composite number?
True
Let q be 1*(25 + 0 - 1). Let p be q + 1 + 0/(-3). Suppose w - p = -0*w. Is w composite?
True
Suppose 6 = -3*v, 4*v - 1242 = -2*q + 7*q. Let a be 2/(-6) - q/(-6). Is a/(-2) - (0 + -2) prime?
True
Let r(i) = -2*i + 6. Let a be r(6). Is ((-4)/a)/(4/42) composite?
False
Suppose 5*n = 16 - 1. Suppose -5*o + 6 = -n*o. Is 1 + o/(6/152) a composite number?
True
Let m(d) be the second derivative of d**5/12 - d**4/8 + d**3/6 - d**2/2 - 2*d. Let k(w) be the first derivative of m(w). Is k(2) prime?
False
Suppose 11 = -d - 5. Is (-615 - -1)*8/d composite?
False
Let u be (-2)/((1 + 0)*-2). Let i be -1 + 24/3 - u. Let t = 13 + i. Is t composite?
False
Let k = -1 + 3. Suppose -m + k = -2. Suppose 4*n + 0*s - m*s = 20, -n - 4*s = 0. Is n composite?
True
Suppose u + 14 = 875. Suppose -4*p + u = 3*n - 81, 2*n + 4 = 0. Suppose 4*z = z + p. Is z a prime number?
True
Suppose 3*f = 5*l - 3 + 5, -4*l - 4*f = -24. Suppose m - 3 = l*m. Is m/(-1)*92/6 prime?
False
Let f(m) = -m**3 + 7*m**2 - 4*m + 4. Let h be f(6). Let y be (-2)/8 + (-684)/h. Let d = -4 - y. Is d a prime number?
False
Let z = 92 + -55. Is z a prime number?
True
Suppose -4*m - 1 = -9. Suppose m*c - 7*c + 1055 = 0. Is c composite?
False
Suppose -7*x + 3*x = -328. Let a = -5 + x. Is a a composite number?
True
Suppose -87 - 88 = -w. Suppose -2*y + w = 3*y. Is y a composite number?
True
Suppose 5*d + 1 - 26 = 0. Suppose 5*b - 5*m = 80, -2*m + 29 + 86 = d*b. Suppose 4*o - b = -3*u, -2*u + o + 0*o + 3 = 0. Is u a composite number?
False
Suppose -3*i - z + 500 = 0, -2*i + 331 = 4*z - z. Suppose -2*k + i = -95. Is k a composite number?
False
Let c = -3 + 5. Suppose 0 = h + c*m + 8, -3 = h - 0*h + m. Suppose p = h*p - 55. Is p prime?
False
Let h = 1693 + -1194. Is h a prime number?
True
Let s(u) = -u**3 + 9*u**2 + 6*u - 1. Suppose -3 = w - 2, 5 = o + 4*w. Is s(o) a prime number?
True
Suppose 19 = -5*v - 26. Let m(t) = -t**3 - 8*t**2 - t + 7. Is m(v) a composite number?
False
Let y(j) = -j**2 - 7*j - 5. Let q be y(-5). Suppose q*u - 106 = 59. Is u a prime number?
False
Let x(k) = 16*k**2 + 2*k - 1. Is x(3) a prime number?
True
Suppose -2*k + 2*m + 24 = 0, k + 8 = -m - 2*m. Suppose k*s = 2*s + 980. Suppose -4*a - 3*t - 63 = -s, -4*a + 5*t = -109. Is a a composite number?
False
Let f = 7 + -3. Suppose -152 = -f*z + 80. Is z a composite number?
True
Let k(u) = u**3 - 8*u**2 + 3. Let b be k(8). Suppose b*j - 12 = 0, 0 = t - 4*t + 3*j + 51. Is t a prime number?
False
Let w(s) = s**3 - 2*s**2 + s. Let c be w(2). Is 127 - (-2 + 0 + c) composite?
False
Let a(v) = 112*v**2 + 4*v + 3. Is a(-1) a prime number?
False
Let w(f) = 7 - 11*f + 3*f**2 + f**2 - 2*f**2. Suppose 28 = a + 3*d + d, -5*a + d = -35. Is w(a) prime?
True
Suppose 3*s - 8*s + 110 = 0. Suppose -s = -4*z + 66. Is z prime?
False
Suppose 0 = 3*r - 5*d - 72, -2*r + 3 + 26 = 3*d. Is r a prime number?
True
Suppose -h - 3*p - p - 5 = 0, 5*p = -4*h + 35. Suppose -i = -22 - h. Is i prime?
True
Suppose 2*m - 4*d - 418 = 0, -814 = -5*m + 2*d + 215. Is m prime?
False
Suppose -v - 3*v = -8