 q be m(7). Suppose q = 2*d - k - 17, 3*k = 17 - 2. Is d prime?
True
Let m(p) = -p**3 - p**2 + 2*p - 1. Let a(s) = -s**2 - 3*s + 5. Let k be a(-4). Let q be m(k). Is 2/5*(q - -56) prime?
False
Suppose 4*j - g - 1321 = 0, g + 788 = -5*j + 2446. Is j prime?
True
Suppose 2*x - 6*x + 1528 = 0. Is x a prime number?
False
Suppose 3*s + 0*s = -84. Let m = s - -119. Is m a composite number?
True
Suppose 2*w = 313 + 23. Suppose -b + w = 23. Is b prime?
False
Let f = 3 + -1. Suppose -2*n + 4*x + 118 = 0, -f*n + 48 + 54 = 4*x. Is n prime?
False
Let f(l) = 12*l + 17. Is f(14) prime?
False
Suppose 0 = 3*k - 441 - 318. Is k a composite number?
True
Let g(x) = 12*x + 1 - 9 - 10*x. Let l be g(6). Suppose -4*a + 5*u - 13 + 225 = 0, l*a = -4*u + 212. Is a a prime number?
True
Suppose 0 = 6*f - 10*f. Let r be 32 + 1*(-3 + f). Let h = r + 68. Is h composite?
False
Let j = 0 + 6. Suppose -4*b - 4 = -j*b. Suppose b*g = 6*g - 1036. Is g a prime number?
False
Let o be -8*((-6)/4)/3. Suppose 6 = -4*b + o*g - 2, -5*b - 2*g = -18. Suppose 0 = b*p - p - 19. Is p prime?
True
Let q(k) = k + 9. Let h be q(-13). Is (682/55)/(h/(-10)) a composite number?
False
Let l = -4 - -8. Suppose -4*k - c + 63 = 0, 3*c = 7*c + l. Suppose 118 = 2*p + k. Is p composite?
True
Suppose -j + 65 = 3*h, 3*h = j + 2*j - 183. Is j composite?
True
Let v = -18 + 20. Suppose -v*a + 5*z = a - 267, -461 = -5*a + 3*z. Is a prime?
False
Let c(d) be the second derivative of 7*d**6/60 + d**5/60 - d**3/6 + 3*d**2/2 - d. Let s(v) be the first derivative of c(v). Is s(1) prime?
False
Suppose 3*l + 38 = -0*c - 4*c, -55 = 5*l + 5*c. Suppose x = 6*x - 3*v - 27, v = -4. Is ((-116)/l - 1)*x a prime number?
False
Suppose 5*b - 7 = 8. Let d = -173 + 248. Suppose 0 = -b*y + d - 6. Is y composite?
False
Suppose 5 = n + 1. Suppose -4*g = 2*r - 158, n*g + 17 = -4*r + 329. Suppose -5*v - 2 = -r. Is v a prime number?
False
Let a be (1/1)/(1/(-5)). Let w be 2*a/(-4)*2. Suppose 0 = -w*i + 8 + 22. Is i composite?
True
Suppose -2*d + 107 = 3*l, -2*l - l + 3*d = -102. Is l prime?
False
Let f = -9 - -5. Is ((-2)/f)/(-1)*-194 prime?
True
Suppose 3*h + 2*d = -2*h + 1257, 5*h - 5*d = 1250. Is h composite?
False
Let n(d) = d - 3. Let v be n(-4). Let y be (1 - 2)/((-1)/v). Let q = 17 + y. Is q prime?
False
Let t be 19*-2*(-3)/(-1). Let q = -59 - t. Is q a prime number?
False
Let q(u) = u + 2*u + 1 - u. Let j be q(-2). Let g(f) = 2*f**2 + 1. Is g(j) composite?
False
Suppose 0 = -4*y + 2*y - 4, -4*c + 4062 = -5*y. Suppose -611 = -3*b - f, -8*b = -3*b + 3*f - c. Is b a composite number?
True
Suppose -o = o + 8. Is (-157)/(-4) - o/(-16) a composite number?
True
Suppose 0 = -4*x - 5*s + 3*s - 10, x - 5 = -2*s. Is (x/(5/(-382)))/2 a prime number?
True
Suppose -4*v - 1969 = b - 2*b, -b - 4*v = -1969. Is b composite?
True
Let k = -3 - 4. Is (11/2)/(k/(-42)) a prime number?
False
Let l(t) = t**2 - 13*t - 51. Is l(23) composite?
False
Suppose 5*g = 5*r + 860, 2*g = -2*r - 3*g - 309. Let b = 312 - r. Is b prime?
True
Is 4 - (-1 + 1479/12)*-12 a prime number?
True
Is ((-370)/(-50))/(2/370) a composite number?
True
Suppose 2*l = -4*u + 5*l + 4, -u = -5*l + 16. Suppose -115 = -q + 5*p + 54, 5*p = -u*q + 576. Is q a prime number?
True
Let h = -54 + 199. Let m = h + -92. Is m a prime number?
True
Suppose -3709 = -5*m - 5*y + 2*y, 0 = -m - 5*y + 733. Is m prime?
True
Is (36/(-24))/((-6)/532) composite?
True
Suppose -557 = -5*c + 488. Is c prime?
False
Suppose 7*m = 4*m + l + 336, -2*l = 3*m - 345. Is m composite?
False
Suppose -2*d - 2*d + 996 = 0. Is d composite?
True
Is 3353/3 - 10/15 composite?
False
Suppose 3*s = 2*b + 4683, -3*s + 2*b = -s - 3120. Is s a prime number?
False
Suppose f + 23 = -2*m + 6*f, -22 = 4*m - 2*f. Let y be (-8350)/(-70) + m/14. Suppose -p - y = -6*p + q, -5*p = 2*q - 107. Is p a prime number?
True
Let s(k) = k**2 + k + 4. Is s(-3) composite?
True
Let k = -7 + 17. Let s = -16 + k. Is 321/9 - s/(-9) composite?
True
Suppose 34*k - 36*k = -1270. Is k prime?
False
Let b(v) = 2*v**2 + 9*v + 1. Is b(-9) prime?
False
Let j(w) = 75*w + 74. Is j(19) a composite number?
False
Suppose 0 = -0*u - 3*u. Suppose u = -0*i - 3*i + 66. Let z = i + 31. Is z a composite number?
False
Suppose -3*f + 517 = 3*p + f, -481 = -3*p + 5*f. Suppose -5*r = -492 + p. Is r a prime number?
False
Let h be (-113)/(-3) + (-8)/(-6). Is 2/(8/h)*4 a composite number?
True
Let w = -508 - -319. Let i = w + 400. Is i composite?
False
Is (693/36)/((-2)/(-8)) a composite number?
True
Suppose -3*m - t = -3*t + 7, m - t = -3. Let i(a) = -70*a**3 + 2*a + 1. Let b(j) = -210*j**3 + 6*j + 3. Let x(y) = -2*b(y) + 7*i(y). Is x(m) a composite number?
True
Let o(w) = w**2 - 4. Let u be o(3). Is u*((-808)/(-10) + 1) a prime number?
True
Let m be 12/(-10)*10/(-3). Suppose -m*x + 411 = -185. Is x prime?
True
Suppose 0*z - 4*z + 3527 = 3*h, 0 = h + 3*z - 1174. Is h a composite number?
True
Let x(i) = i**2 + 8*i + 4. Let c be x(-8). Let l = c - 2. Suppose 2*p = -v + 13, l*v = -5*p - 12 + 47. Is p prime?
False
Let z be 1*(140 - (2 + -1)). Suppose -4*q - z = -527. Is q a prime number?
True
Let r = 12 + -23. Let x be (r - (1 - 3)) + 0. Let t = 43 + x. Is t a prime number?
False
Suppose 21 = 5*t - 9. Suppose -2*j = 71 - 399. Is j/3 + 2/t a composite number?
True
Let t(v) = -v**3 + 7*v**2 + 9*v - 5. Is t(7) a prime number?
False
Let j be (-1)/(-2) + 9/2. Suppose 2*p - 4*v - 34 = p, 0 = j*v + 25. Is p prime?
False
Suppose -4*p - 1475 - 165 = 0. Is 6/((-12)/p)*1 composite?
True
Let g(l) = 46*l + 17. Let y(u) = -2*u - 15. Let t be y(-11). Is g(t) a prime number?
False
Suppose 2183 = -3*i + 5*v, -2*v + 995 = -i + 269. Let c = i - -1043. Is c a prime number?
True
Let y(a) = 9*a**2 - 2. Let i(x) = x**3 + 2*x**2 - x + 1. Let p be i(-2). Is y(p) a composite number?
False
Suppose 2*j + 4*v + 150 = 4*j, -2*j + 2*v = -160. Is j prime?
False
Let j(s) = 3*s**2 - 7*s + 7. Is j(-7) prime?
False
Let y(s) = s**2 + 11. Is y(10) prime?
False
Let q(j) = -19*j - 2. Let w be ((-3)/(-2))/(12/(-32)). Let z be q(w). Suppose -z = -4*b - 5*t + 163, -2*t = -2*b + 96. Is b a composite number?
False
Let h(s) = -s**3 - s**2 + 5. Let k be h(0). Suppose -k*t + 1887 = 202. Is t a composite number?
False
Let f(h) = 3*h - 2. Let d(q) = q**2 + q + 7. Let a be d(0). Is f(a) composite?
False
Let c(p) = -9*p - 5. Let r(f) = -17*f - 10. Let s(v) = 11*c(v) - 6*r(v). Let q be (-11 + -1)*4/(-8). Is s(q) a composite number?
False
Suppose 3*s - 88 = -10. Is s a prime number?
False
Suppose -2*c - 5 = 3*c. Is (-1)/(-3)*(-39)/c composite?
False
Let r be (4/6)/((-2)/(-57)). Suppose -y + 2*l = -6, -r = -5*y - 2*l + l. Suppose 2*n + 1 = y*v - 1, -4*n + 2*v + 20 = 0. Is n composite?
False
Let s(i) = i**2 - 3*i + 2. Let f be s(2). Suppose f = -5*n - 4*l + 295, 68 = -3*n + 4*n - l. Let h = n - -52. Is h a prime number?
False
Is ((-890)/(-15))/((-2)/(-3)) prime?
True
Suppose 0 = -0*y - 2*y + 1770. Suppose -g + 6*g - y = 0. Is g a composite number?
True
Let u(r) = 13*r**3 - 1. Let g be u(-1). Let k = g + 29. Is k a composite number?
True
Let g = -127 + 181. Suppose -3*f + 0*p = -3*p - 282, 3*f + 4*p - 261 = 0. Let c = f - g. Is c a prime number?
True
Let t = -134 + 51. Let v(r) = -r**2 + r - 4. Let u be v(6). Let a = u - t. Is a composite?
True
Suppose -3*b + 2499 = 4*w + w, 2*w - 998 = -2*b. Is w prime?
False
Is 3 + (-4456)/(-4) - 0/1 a prime number?
True
Suppose 0 = -2*j + j + 49. Is j composite?
True
Let h be 4*(-1)/(-4)*-173. Let i = h + 258. Is i composite?
True
Suppose -i + 400 = 3*v, -3*i + i = -5*v + 663. Is v prime?
False
Let t be 3/((-6)/22)*-1. Let b = 150 + -68. Suppose -t = -3*w + b. Is w composite?
False
Suppose -2*m = -2*w - 63 + 199, 0 = w + 3*m - 68. Suppose -33 = -z - 0*z. Let r = w - z. Is r a composite number?
True
Let c(f) = f**2 + 2*f - 3. Let y be c(-4). Suppose y*o - 4*z - z = 5, z + 13 = 3*o. Is o composite?
True
Let q(c) = -c**3 - c**2 - 1. Let x be q(-2). Let h(n) = 11*n**2 + 4*n + 4. Is h(x) a composite number?
True
Let l(y) = y**3 + 723. Let u be l(0). Let d = -1132 + u. Let q = -140 - d. Is q prime?
True
Suppose -3*o + 0 = -9. Let t be 1*o - (-2 + 2). Suppose -3*u = t*s - 150, -13 = 5*u + 2. Is s a prime number?
True
Let h(u) = u**3 + 8*u**2 + 4*u + 4. Let m be h(-6). Suppose 0 = -s - 3*s + m. Suppose s = 2*