-v + 222 = -11. Is v a prime number?
True
Let i(v) = -2*v**3 - 9*v**2 + 7*v - 5. Is i(-7) prime?
True
Suppose 0 = -4*u - 0*u. Suppose j + u = 3. Suppose -2*c + 79 = -m, m + 2*m = j*c - 126. Is c a composite number?
False
Suppose -3*u = -12, -3*u + 1064 = 5*f - f. Is f a composite number?
False
Suppose -52872 = -16*k + 88232. Is k composite?
False
Let w(p) = -p + 119. Is w(0) prime?
False
Suppose -2*q - 5*t + 12 = 0, 5*q - t = 2*q + 1. Is (-1)/(q - 0) + 114 composite?
False
Suppose i = -5*n + 13, 2*n + 34 = 5*i - 4. Let d(t) = 5*t**2 - 3*t - 3. Is d(i) composite?
False
Let p = -12 - -5. Let s(n) = 2*n**2 + 7*n + 6. Is s(p) a prime number?
False
Let s(o) = -o - 3. Let w be s(-6). Suppose -570 = -5*d + g, -w*d + 211 = -d + 3*g. Is d composite?
False
Is ((-422)/(-4))/((-8)/(-16)) prime?
True
Let w = -5 - -8. Suppose w*t - 7*t + 16 = 0. Is ((-2)/3)/(t/(-114)) composite?
False
Suppose 4*r + 4*s = 5*s + 1192, -5*r = s - 1499. Is r a prime number?
False
Let b be 5 - (1 - (-2)/1). Suppose -5*o + 231 = -b*o. Is o a prime number?
False
Let p(v) = v**2 - 1. Let k be p(-2). Suppose 109 = k*w - 5*a, 2 - 18 = -4*a. Is w prime?
True
Suppose -4*f - 3356 = -3*p - 5*f, 5*p - 5610 = -5*f. Is p composite?
False
Is (0 - -2)*-106*(-5)/20 composite?
False
Suppose 0 = 4*r - 3*y + 144, -3*r - 63 = -y + 45. Is 1958/18 + (-8)/r composite?
False
Suppose 2*q - 7*q + 8 = -g, g = -4*q + 10. Is g/(-3) + (-635)/(-3) a composite number?
False
Let d be -153*2/4*-2. Suppose -5*y + d = -2*y. Is y a composite number?
True
Let y(v) be the first derivative of -31*v**5/40 + v**4/24 - v**3 - 2. Let z(d) be the third derivative of y(d). Is z(-4) a composite number?
False
Let c = -536 - -910. Suppose 3*k - 5*k + c = 0. Is k composite?
True
Suppose 0 = 3*j + 3*b + 3, 1 - 4 = b. Suppose -5*n = -n. Suppose -5*g - j*p + 393 = n, -3*g + 4*p + 94 = -121. Is g a prime number?
False
Let i be ((-8)/(-10))/((-6)/(-45)). Is 935/20 - i/8 prime?
False
Let u be ((-4)/(-3))/(4/6). Let m be 23/((1 - 2) + u). Suppose m = 2*b - b. Is b a composite number?
False
Let p(c) = 6*c + 4. Let r be p(8). Let a = r - -5. Is a composite?
True
Let y = 52 + -36. Suppose 2*r - 60 = -y. Is r a prime number?
False
Let m(d) = 6*d**2 - 292. Let t(o) = -5*o**2 + 291. Let c(y) = 4*m(y) + 5*t(y). Is c(0) composite?
True
Let d be (-136)/14 - (-16)/(-56). Let k(o) = -32*o + 11. Is k(d) a composite number?
False
Suppose o = -2*z + 3*z + 10, -4*o + 8 = 0. Is (-38)/z*12/3 prime?
True
Is (-159)/(-1*(-3)/(-2)) prime?
False
Let f be (-3 + 0)*(-16)/(-12). Is f/2*(-47)/2 composite?
False
Let h = 3 + -7. Is h/4 - (0 - 38) a prime number?
True
Suppose -3*j - 35 = -5. Is (j/(-15))/(2/99) a prime number?
False
Let q(k) = -5*k - 6. Let v(u) = -3*u - 4. Let z(f) = -5*q(f) + 8*v(f). Let d be z(-5). Is d/(1/4*-2) prime?
False
Let c be 0 - (-138)/(-3 - -6). Suppose 0 = -2*i - 3*b + 74, -3*i - 4*b = -c - 63. Is i a composite number?
False
Is (91/(-28))/(3/(-444)) composite?
True
Let l(b) = -b**2 - 11*b + 9. Let p be l(-10). Suppose 15 = i - p. Is i a composite number?
True
Suppose 0 = -10*o - 3*o + 50011. Is o a composite number?
False
Is (-2)/(-2) + 0 - (-1632)/4 a composite number?
False
Let r = -38 + -822. Let k = 1655 + r. Is (2/(-6))/((-5)/k) a composite number?
False
Suppose b - 4*b + 12 = 0. Suppose 3*f + 61 = -2*o + 203, 211 = 3*o + b*f. Is o a composite number?
True
Suppose 6 = -3*a - 12. Let z(i) be the second derivative of -2*i**3/3 - 9*i**2/2 + 6*i. Is z(a) a composite number?
True
Let i = -129 - -220. Is i composite?
True
Suppose 3*d = 5*c - 66, 96 = -3*d - 8*c + 3*c. Let o be (-470)/(-9) + 6/d. Let m = -31 + o. Is m a composite number?
True
Suppose 3*r = 5*n - 1043, -3*n = -0*n - 2*r - 625. Is n a composite number?
False
Let v = 5 - 5. Suppose -5*l - 4*m = 1 - 31, -3*l - 5*m + 31 = v. Suppose 2*w - 44 = -l*w. Is w a prime number?
True
Let k(l) = 45*l + 20. Let m(d) = 9*d + 4. Let t(g) = 2*k(g) - 11*m(g). Let a be t(-3). Let x = 54 - a. Is x a composite number?
False
Let u(w) = w**2 - 5*w - 1. Let d be u(4). Let v(h) = h**3 + 6*h**2 + 5*h + 4. Let t be v(d). Suppose t*z + 2*k - k = 315, 4*z - 317 = k. Is z prime?
True
Let a = 210 + -83. Is a a prime number?
True
Let j(y) = 58*y - 3. Let k(t) = 115*t - 7. Let i(q) = 9*j(q) - 4*k(q). Is i(3) prime?
False
Let d(x) = 4*x**2 + 7*x + 8. Is d(-7) a composite number?
True
Let c(l) be the third derivative of l**4/24 - l**3/6 + 3*l**2. Let f be c(1). Suppose -5*j - 2*a + 320 = f, j + 0*a = -2*a + 72. Is j a composite number?
True
Let l = -758 + 1081. Is l a composite number?
True
Let p(t) = 288*t**2 - 3*t + 2. Is p(1) prime?
False
Is 2/(-3)*3045/(-10) composite?
True
Suppose 3*g + 0*g = -5*s + 81, 4*g - s - 131 = 0. Suppose -f - g = 3*x + 3*f, -5*f = 25. Let m = 3 - x. Is m prime?
True
Let r be ((-5)/3)/(3/(-9)). Suppose -2*u = 6, -62 = r*x - 2*u - 783. Is x a composite number?
True
Suppose 4*x - 2499 = 1421. Let w = x + -685. Is w composite?
True
Let v(a) = -21*a + 5. Is v(-6) a prime number?
True
Let b(j) = -4*j - 17. Let l = 30 + -46. Is b(l) a prime number?
True
Let l be -2 + 1 - 89*-1. Let h = l - 41. Is h composite?
False
Let a(y) = -y**3 + 17*y**2 + 18*y + 31. Is a(18) a composite number?
False
Let p = 1 - 7. Is (-636)/(-15) - p/10 a composite number?
False
Suppose 0 = -2*s + 6. Let t(b) be the third derivative of b**4/4 + 2*b**3/3 - 8*b**2. Is t(s) a composite number?
True
Let s = 1 - -2. Let w be (-6)/(-2)*(s - 4). Is (-94)/w + (-1)/3 prime?
True
Suppose 108 = d + 5*c, -c + 188 = 2*d + 2*c. Suppose 0 = -2*n + 6*n - d. Is n prime?
False
Let j = 55 + -132. Let g = -46 - j. Is g prime?
True
Suppose 0 = -2*v + 2*w + 10, 4*w - 10 = -v - 0*v. Let o(t) = 2*t**3 + 6*t**2 + 1. Let g be o(v). Suppose 0 = -3*b + 9, -4*l - 174 + g = 5*b. Is l composite?
True
Suppose -7*r = -3*r. Suppose -5*y + 2*p = -0*p - 13, -3*y + 4*p + 5 = r. Is (-13)/(-2) - y/(-6) composite?
False
Suppose -4*i + 2 = -2*i. Let r = i + 2. Suppose 14 = -r*o + 35. Is o a prime number?
True
Suppose -3*l - 5992 = l. Let h = -933 - l. Is h composite?
True
Let n = -98 - -201. Let h be 235 + (-3)/(6/(-4)). Suppose 4*t - h - n = 0. Is t a prime number?
False
Let p be (-25)/8 - 1/(-8). Let t be (-40)/7 - 6/21. Is (7/p)/(t/126) a prime number?
False
Let g(t) = 6*t**3 - 7*t**3 + 2*t - 1 - t**3 + 3*t**2 + 4. Let l be g(-3). Suppose -i = -3*i + l. Is i a prime number?
False
Suppose 17 = -s - 3*n + 3, 2*n = 4*s. Is (-255)/s + 1/(-2) a composite number?
False
Let c(n) = -2*n - 1. Let g be c(-2). Suppose 0*j - 291 = -g*j. Is j a prime number?
True
Suppose -10 = -5*d + 4*x, -d + 7 = -4*x + 5. Let s = d + 35. Is s prime?
True
Let o = 303 - -1076. Is o composite?
True
Let x be 57 + (-3)/12*0. Suppose -2*g = -x - 5. Is g a prime number?
True
Let n(p) = 2*p**2 + 10*p + 13. Is n(-13) a prime number?
False
Let n(c) = 2*c - 10. Let h be n(7). Is ((-2)/h)/(8/(-816)) a prime number?
False
Let y = 1433 + 218. Is y composite?
True
Is (-9)/((-27)/(-12)) + 627 prime?
False
Let i be (-1)/(-3)*318/1. Suppose 4*x - 2*x = i. Is x a prime number?
True
Let h(k) = 19*k - 67. Is h(30) prime?
True
Let y = -40 - 24. Let o = y - -39. Let m = 51 + o. Is m a prime number?
False
Suppose -2*o + 3*o - b = 579, 567 = o - 4*b. Is o prime?
False
Suppose -3*y - 1733 = -d, -3*d = -6*d + 3*y + 5175. Is d a composite number?
False
Suppose 7 = -5*p - 8, -5*u = -4*p - 352. Let m = u - 30. Is m a composite number?
True
Let g = -2 + 5. Let v be (3 - 1)/(g/30). Let r = v + 33. Is r a prime number?
True
Let y(x) = 7*x**2 - 3*x - 9. Let j be y(-5). Suppose j - 768 = -f. Is f a composite number?
False
Let r be (15/(-6))/(4/(-8)). Suppose 3*p + 0*p - r*m = 11, 5*m = p - 7. Suppose x - 55 = -i, i + 4 = p*i. Is x a prime number?
False
Suppose -3*g = -39154 + 9451. Is g composite?
False
Suppose 0 = -4*c + 4, 3*s + 4*c - c - 15 = 0. Suppose 5*u - 243 = v - 3*v, u - 31 = s*v. Is u a composite number?
False
Suppose 0 = -2*k + 3*r + 665, -4*k + 1320 = 6*r - 2*r. Is k a composite number?
False
Suppose 4 = -m + 2. Let b = 3 - m. Suppose -b*t = -3*l + 382, 2*l + l - 372 = 3*t. Is l a composite number?
True
Let h = 248 + -69. Is h prime?
True
Let z be (-84)/(-9) - (-4)/(-12). Suppose -5*o = 2*d - 37 - 58, -z = 3*o. Is d a prime number?
False
Let m(n) = 8*n**2 - 2*n - 1. Let x(u) = 6*u**2 - 2*