2*k - 3*s = -10. Let f = w - k. Is f prime?
True
Let q be (2*-1)/(2/(-4)). Suppose 23 = q*d - 9. Let u = -5 + d. Is u a prime number?
True
Let i = 6 - 9. Is 66 - (0 - (2 + i)) a composite number?
True
Let q(u) = -30*u**3 - u**2 - 3. Is q(-2) a prime number?
True
Let n(o) = o**3 + 6*o**2 - 3*o - 1. Let l be n(4). Suppose 2*s = -s + l. Is s composite?
True
Suppose -172 = 4*q + 68. Let v = 25 + q. Let o = 22 - v. Is o a prime number?
False
Suppose -9 + 0 = f. Let j = f + 46. Is j prime?
True
Let l = 26 + -12. Suppose -4*r = -l - 6. Suppose -r*u = 101 - 576. Is u a prime number?
False
Let v(l) = l**3 + 6*l**2 + 3*l - 5. Let g be v(-5). Suppose 2*j - 2*t + 0*t = 138, 0 = -4*t - 16. Suppose -g*o = -j - 220. Is o composite?
True
Let k(h) = h + 10. Let y be k(-10). Suppose -f - d + 2*d + 61 = y, 0 = -f + 5*d + 69. Is f a composite number?
False
Let w = 2252 - 1579. Is w a composite number?
False
Let z(t) be the first derivative of 2*t**3/3 - 9*t**2/2 + 4*t - 9. Is z(-15) prime?
False
Let f = 287 - -66. Is f prime?
True
Let w(s) = 2*s**2 + 3*s - 4. Let t be w(-3). Suppose t*r - 104 = r. Is r a composite number?
True
Is (-36)/(-54)*957/2 a prime number?
False
Let v = 2 + -6. Let y = 6 + v. Suppose -y*u + 106 = -0*u. Is u composite?
False
Let a = -1 - 0. Let m(z) = -16*z**2 + 1. Let i be m(1). Is 1/(1/i*a) composite?
True
Let k = -5 - -5. Suppose 9 = 3*s + 4*h, 3*s - 5*h - 36 = -k*s. Is s a composite number?
False
Let a(n) = -n**2 - 7*n + 8. Let w be a(-8). Suppose w = 4*l + l - 1105. Is l prime?
False
Let u(p) = -p + 1255. Is u(0) composite?
True
Let h(i) = i**3 - 9*i**2 + 3*i - 5. Let g be h(9). Suppose -5*v + g + 13 = 0. Let l(d) = d**2 + 9*d + 7. Is l(v) prime?
False
Let t be 2/(-5) + (-368)/(-20). Let h be (-2 + (3 - 1))/2. Suppose -i + 1 + t = h. Is i prime?
True
Let f be 1/((-3)/(-1194)) + 2. Suppose 0 = -5*j + f + 135. Suppose -4*v = -j - 97. Is v a prime number?
False
Let w(o) be the third derivative of o**2 + 0 - 1/6*o**3 + 1/4*o**4 + 0*o. Is w(2) a composite number?
False
Let j(q) = q**2 + 2*q + 4. Let o be j(-3). Let z(w) = 4*w**2 + 3*w - 6. Is z(o) a prime number?
True
Let r(y) = y**3 - 8*y**2 - 7*y - 3. Let u = 29 - 20. Suppose u = 2*p + 3*f, -2*p + 7*p - f = 48. Is r(p) composite?
True
Suppose -2*o = -7*o. Suppose -3*c + j + 474 = 0, c = -j + 219 - 57. Suppose o = -d - 2*d + c. Is d a composite number?
False
Suppose -3*n - 3 = -3*b, 0 = 5*b + 3*n - 2*n - 11. Let q be 2 + (-2)/2 + b. Suppose -14 = -q*j - 3*t + 10, 4*j = 5*t + 77. Is j prime?
True
Let y = 979 - 582. Is y composite?
False
Let i be 10/55 + (-31)/(-11). Suppose b - 5*z + z = -97, 5*b = -i*z - 508. Let o = 180 + b. Is o a prime number?
True
Let w = -132 + 193. Let q = w - 39. Is q composite?
True
Suppose -5*r + 10*r - 50 = 0. Suppose -r = -4*c + 10. Suppose 0*x + 135 = 4*x + c*a, 5*x - 173 = -2*a. Is x prime?
False
Is 470/5*3/2 prime?
False
Suppose -13 - 2 = 3*z, 3*i + 2*z - 161 = 0. Is i composite?
True
Let n(k) = -k**3 - 5*k**2 + 2. Let r be n(-5). Is r*-1 - (-145 + -6) composite?
False
Let a = -4 + 13. Suppose 0 = 2*y + m + 3 - 8, -3*y + 5*m + 40 = 0. Suppose 2*t = y*n - 46 - 30, a = -3*t. Is n prime?
False
Let t(d) = -3 + 28*d + 1 - 15*d + 72*d. Is t(1) a composite number?
False
Let b = 5 - 3. Suppose 0 = b*m - 4*l - 422, 0 = -5*l + 4*l. Is m a prime number?
True
Let w(t) = t. Let i(q) = -2*q**2 + 6*q + 5. Let a be ((-10)/15)/((-2)/(-3)). Let y(r) = a*i(r) + 4*w(r). Is y(6) a prime number?
False
Let q(z) = 0*z + 5*z - z. Let v be q(2). Let c = -5 + v. Is c a composite number?
False
Let n(w) = w**3 + w - 35. Let t be n(0). Let i = t + 51. Suppose 3*r - 6 = 0, -5*u + 0*r + i = -2*r. Is u prime?
False
Let x = 93 + -209. Let p = x + 29. Is 1*-2*p/2 composite?
True
Let n = -2 + 24. Suppose 0 = 2*t - 3*d - n, 4*t + 2*d - 72 + 12 = 0. Is t composite?
True
Let t = -1 - 9. Let l = t - -32. Is (0 + l)/(-1 + 3) prime?
True
Let y(z) = 5*z + 1 + 1 + 0*z. Let l be (-122)/(-18) - (-6)/27. Is y(l) a composite number?
False
Let r(x) = x**2 - 2*x + 4. Let g be r(-7). Suppose 128 + g = 3*c. Suppose -5*l = -0*l - c. Is l composite?
False
Let y(u) = u**2 - 7*u. Let m be y(-6). Is -2 + (m/3 - 2) a composite number?
True
Let i(t) = -t**3 + 10*t**2 - 6*t + 9. Let b(g) = -g**2 - 8*g + 2. Let c be b(-7). Let w be i(c). Suppose 10 - w = -2*s. Is s composite?
False
Suppose 2*i - 3 = 5*d + 5, -3*d = -3*i + 3. Let c(h) = -2*h**2 - 3*h - 1. Let n be c(d). Let b = n - -24. Is b prime?
False
Let t be 9/((-3)/6*-3). Suppose g + 4*c + 538 = t*g, c + 2 = 0. Suppose -g = -5*z + 64. Is z prime?
False
Suppose -4*l + 3*y + 71 = -0*y, -l + 3*y + 29 = 0. Is l prime?
False
Suppose 5*a - 2*a = -h + 140, -3*h + 4*a = -446. Is h prime?
False
Suppose -4*s + 4 = -8. Suppose -546 - 87 = -s*a. Suppose -3*h + a = 5*r, -4*h + 3*r + 262 = -0*r. Is h prime?
True
Suppose 4*s = -16, 0*z - 5*z + 4331 = s. Let f = z - 272. Suppose -2*w - f = -7*w. Is w composite?
True
Suppose 159 = l - 637. Suppose 8*v - 12*v = -l. Is v composite?
False
Let h(r) = r - 1. Let a be h(-5). Let z = a + 11. Suppose 3*m - z*m + 298 = 0. Is m prime?
True
Let c be (-325)/(-10)*(-18)/(-15). Suppose -22 = -5*l + 3. Suppose y - 20 = 2*t + c, -l*t - 71 = -y. Is y a composite number?
True
Let d be -4*(-225 + 2) + 0. Suppose 6*m - d = 2*m. Is m composite?
False
Suppose -2*s + 1800 + 4151 = 3*d, -4*d + 3*s + 7963 = 0. Is d prime?
True
Suppose 0 = -5*d + 1138 + 2847. Is d a prime number?
True
Let m = 123 + 0. Is m prime?
False
Let m(y) = -y**3 + 8*y**2 - 8*y + 9. Is m(7) composite?
False
Let g(l) = -l**2 - 8*l - 10. Suppose -2*j + 6*j - 4*i + 40 = 0, 3*j - i + 24 = 0. Let v be g(j). Is 206/6 + (-2)/v prime?
False
Suppose -3*m = 3*d - 630, 213 = d - 0*d + 4*m. Is d prime?
False
Let a = 6 + -4. Is (17/(-2))/(a/(-12)) prime?
False
Let a(w) = 3 - 7 + 8 - 91*w - 1. Is a(-2) a composite number?
True
Suppose 4*f - 24 = 3*t - 92, 4*t - 96 = 4*f. Let u be t/6*(-153)/6. Let h = u - -198. Is h a prime number?
True
Let l = -2221 - -3109. Let z = l + -473. Is z a composite number?
True
Suppose -4*n + 3 = 5*r, 0 = -n + 4*r - 3*r + 3. Suppose 4*k - 4*y = k + 481, 4*y + 318 = n*k. Is k composite?
False
Let k be 2/(3/42*2). Suppose k = 5*i - 81. Is i composite?
False
Let u(f) = 7*f + 11. Is u(14) prime?
True
Let x(d) = -14*d + 1. Let w be x(-1). Is 2 + -1 + w - 1 prime?
False
Let h be ((-19)/2)/(3/(-48)). Suppose -5*m - 3*u - 62 + h = 0, -3*u + 6 = m. Is m a prime number?
False
Is (2 - 0)/(6/141) composite?
False
Let y(s) = s**2 + 10*s - 3. Let x be y(-10). Let g = 25 + x. Is g a prime number?
False
Let k = 11 - 6. Suppose -k*x - 22 - 106 = -2*b, 4*b - 2*x - 240 = 0. Is b a prime number?
True
Let t(s) = -18*s + 5. Let b be t(2). Is 2 - (5*b + 2) a prime number?
False
Let p = -283 - -2894. Is p composite?
True
Let y = -12 + 15. Suppose 0*b = y*b - 2*t - 121, t - 143 = -4*b. Is b prime?
True
Let x(q) = -q**2 + 11*q + 15. Let z be x(12). Suppose -z*s - 159 = -6*s. Is s a prime number?
True
Suppose -4*u = -2*u + 5*k - 35, -40 = -5*u - 3*k. Let a be 354/u - 4/(-20). Suppose -2*i + a = y - 3, 211 = 5*i - 4*y. Is i prime?
False
Let a = 154 + -57. Is a a prime number?
True
Suppose -3*m + 79 = 4*z, 140 = 5*m + 3*z + 2*z. Is m composite?
True
Let i(h) = -5*h + 67. Let t(p) = 3*p - 33. Let k(l) = 4*i(l) + 7*t(l). Is k(0) a composite number?
False
Let u = -2 - -5. Suppose u*w - 3*f = 3, -w - 4*w + 3*f = 3. Is (0/w)/(-2) - -53 composite?
False
Suppose 2*q = 4541 - 423. Is q prime?
False
Suppose 0 = 5*j - 0*j - 25. Suppose j = -2*s + z, 4*z = s + 2*z + 1. Is 71 + -3 + 2 + s prime?
True
Suppose 4*b = 108 + 100. Suppose 5*a - 9*a + b = 0. Is a a composite number?
False
Is (58/(-4))/((-3)/42) a composite number?
True
Let f = 2234 - 1280. Let l be 2 + f/3 - 0. Let c = l + -161. Is c composite?
True
Is (1/(-3))/((-11)/29337) a prime number?
False
Let w(r) = 13*r**2 + 2*r + 3. Let j = -1 + 7. Suppose -j*y - 10 = -y. Is w(y) a prime number?
False
Let i = 700 + -449. Is i a prime number?
True
Let y(u) = u**2 - 4*u - 6. Let p be y(5). Let m(o) = -9*o**3 + 2*o**2 + 2*o + 1. Is m(p) a prime number?
False
Is 7*(21 - (-6)/3) prime?
False
Suppose 4*c - 5*j - 1687 = 4932, 0 = -3*c + j + 4956. Is c composite?
True
Suppose 980 = 5*o + 85. Is o composite?
False
Suppose -5*a + 15 = -0*a. Suppose 66 = 4*x - 5