omposite number?
True
Let d = -8 + 13. Suppose 5 = d*p, o = -o + 2*p + 420. Is o a composite number?
False
Suppose -26 + 2 = v - 3*m, 2*v - m = -43. Let i(c) = -19*c - 1. Let t be i(1). Is (v/14)/(2/t) prime?
False
Suppose 0 = -2*v + 5*v - 12. Suppose -10 = -v*z - z. Suppose -3*m = -z*m - 13. Is m composite?
False
Is (-31529)/82*(1 + 0)*-2 prime?
True
Let f(o) = o. Let v(a) = 7*a + 1. Let h(g) = 6*f(g) - v(g). Let j be h(1). Is (-146)/(-4) - 1/j composite?
False
Suppose -12 = -c + 2*c. Is (-8)/c - (-325)/3 prime?
True
Let s be 0*(-1)/3 - 0. Suppose -f - 4*j + 3*j + 30 = s, 0 = -2*f + j + 75. Is f a prime number?
False
Let j = 139 - 90. Suppose -5*t + j = 3*g, g + 2*g = t - 17. Is t a prime number?
True
Let a(c) = -c**3 - 6*c**2 - 5*c - 4. Let r be a(-4). Is (r/24)/((-4)/42) a composite number?
False
Let b(j) = 26*j - 2. Let p = 5 - -2. Let x be b(p). Suppose 2*g - 69 = -5*z, 10*g = 5*g - 5*z + x. Is g prime?
True
Suppose -y + 1 + 1 = 0. Suppose o + y*o - 147 = 0. Is o prime?
False
Suppose -1871 = -4*q - l, -q = -3*l - 241 - 217. Is q a prime number?
True
Suppose -m - 1796 = -5*m. Is m composite?
False
Suppose -501 = -4*t + 2*t + r, -2*r + 263 = t. Is t a prime number?
False
Let l(s) = -876*s**2 + s. Let j be l(1). Let p = j + 1272. Is p composite?
False
Let v = 142 - 23. Is v a prime number?
False
Let v(y) = 2*y**2 + 5. Suppose -4*f + 0*k = k - 35, -4*k - 20 = 0. Let t = f - 4. Is v(t) prime?
False
Is 47/2*(4 + 0) a composite number?
True
Let z = 3 + -2. Let q(s) be the third derivative of 46*s**5/15 + s**4/12 - s**3/6 + s**2. Is q(z) a prime number?
False
Let o be 513 - (-6 + 3) - 3. Let i = o + -310. Is i a composite number?
True
Let g = 939 + -489. Let u = g + -193. Is u composite?
False
Suppose -10*k - k = -649. Is k a composite number?
False
Is 8876/(-42)*(-3)/2 prime?
True
Let d(b) = 2*b**2 + 5. Let q(m) = m**3 + 5*m**2 + 4*m - 5. Let j be q(-4). Is d(j) prime?
False
Suppose 6*d = d + 8375. Suppose 0 = 3*t + 2*t + d. Is 6/(-2)*t/15 a composite number?
False
Let h = 120 - 30. Let l = h + -13. Is l composite?
True
Suppose -9*l + 11*l = 470. Is l prime?
False
Let o be 6 - (-1 + 4 + -1). Suppose 4*g = 3*h - 247, -2*h + o*g + 158 = -0*h. Is h a composite number?
False
Suppose 2*m - 4*m = -4. Suppose -a + 102 = m*a. Suppose 2*b - a = 2*v, b + v - 25 = -0*v. Is b a prime number?
False
Let q = -5 + 8. Let r be q/(-2)*4/6. Is 52 + -1 + (-2)/r a prime number?
True
Let u = 1276 + -539. Is u prime?
False
Let z be 3/(-4) + 99/36. Is (-5 + -9)*(-17)/z prime?
False
Is 3 - (4/14 + 3476/(-14)) prime?
True
Let a be (-38)/4*2/1. Let p = 54 + a. Is p composite?
True
Let l(j) = j**2 - 5*j. Let m be l(6). Let v be (-3)/(m*(-2)/(-8)). Let w = v - -25. Is w prime?
True
Is (-1)/(-2*5/790) composite?
False
Suppose -4*v + 4*f - f + 1406 = 0, -5*f = 4*v - 1422. Is v a prime number?
True
Let v(t) be the first derivative of t**4/4 - 2*t**3 + 3*t**2 + 2. Let d be v(5). Suppose u = 4*x - 448, -349 = 2*x - d*x + 4*u. Is x prime?
False
Let r(s) = 8*s - 1. Let c be -9*(14/(-6) + 2). Is r(c) a prime number?
True
Let l(y) = -y**3 + 16*y**2 + y - 14. Let g be l(16). Suppose v = g*d - 223, 0*d + 455 = 4*d + v. Is d a composite number?
False
Suppose -2*f + 4*k - 4 = 4, 4*k = 16. Let l = 226 + -115. Suppose f*x = x + l. Is x prime?
True
Suppose -3*i - i = -3668. Is i a prime number?
False
Let n(d) = 192*d**3 + 2*d**2 - 1. Is n(2) a prime number?
True
Let o(b) = 6*b**2 - 3*b + 1. Is o(-4) composite?
False
Suppose 4*i + 2 = 5*i. Suppose 0 = -t + g - 3, -5*t - 5*g = -12 - 3. Suppose t*o - i*o + 153 = -x, -2*x - 75 = -o. Is o composite?
True
Let j = -6 + 11. Suppose -q + 33 = j*x, -4*x = 4*q - 46 - 22. Is q prime?
True
Let b = -37 + 92. Suppose -3*h = -b - 26. Suppose 0 = 4*r - 161 - h. Is r a composite number?
False
Let n(f) = 5*f**2 + 7*f + 3. Let d be (-27)/5 - 4/(-10). Is n(d) prime?
False
Let f be (-8)/10*(-125)/(-10). Let z(p) = 2*p**2 - 3*p - 9. Is z(f) prime?
False
Let g(b) = -66*b - 3. Let i be g(-3). Is -4*(3 + i/(-12)) composite?
False
Let g(n) be the third derivative of n**6/720 + 37*n**5/120 + n**4/8 - n**2. Let s(q) be the second derivative of g(q). Is s(0) prime?
True
Let v(q) be the third derivative of -q**6/120 - q**5/30 + q**4/24 + 5*q**3/6 - 2*q**2. Suppose -3*j + 2*j = 4, -5*d - 32 = 3*j. Is v(d) composite?
True
Let j(w) = 26*w - 8. Let d be j(6). Let h = 254 - d. Is h a prime number?
False
Let j = -2 - -2. Suppose i + i + 8 = j. Is (22/i)/(1/(-2)) prime?
True
Suppose 0*y - 40 = 5*y. Is -1*99*y/24 composite?
True
Suppose -3*h - 2515 + 8608 = 0. Suppose -r = 2*r - h. Is r prime?
True
Is (17/(-2))/(1/(-10)) prime?
False
Let i = 296 + -105. Is i prime?
True
Suppose 0*n + 36 = -2*n. Let k be (-4)/n - (-102)/27. Suppose 0 = -0*z + z + 2, -5*z + 186 = k*l. Is l composite?
True
Suppose -194 = w - 3*w. Is w a composite number?
False
Let j(w) = -11*w**2 + 1 + 8*w + 3*w**2 + 2*w**3 - w**3. Let i be j(8). Let d = -40 + i. Is d prime?
False
Let u(v) = v**3 - 8*v**2 - v + 11. Let d be u(8). Let z be 10/45 - (-4802)/18. Suppose -m = -5*f + z, 98 = 5*f - d*f + 4*m. Is f composite?
False
Let q = -657 + 96. Let y = q + 932. Is y prime?
False
Suppose 7572 - 29527 = -5*n. Is n a prime number?
True
Suppose q = -q. Suppose -2*d + m = -q*m, -2*d - 12 = 2*m. Is 1/(-2)*d - -38 a composite number?
True
Suppose -3*s = -6*s + 60. Suppose p + 3*p - s = 0. Is p*-2*(-9)/6 prime?
False
Suppose 0 = 2*h + h - 969. Suppose -1280 = -3*l - h. Is l a composite number?
True
Let d be (-4 - (1 + 0))*-15. Suppose 3*g = -5*t - 260, 4*t - 5*t - d = -4*g. Is 1/(0 + (-1)/t) composite?
True
Let l be -2*(2 - 3/6). Let j be l/12 + 74/8. Suppose -4*k + j = -3*k. Is k a composite number?
True
Let z(p) = -p**3 + 11*p**2 - 11*p - 12. Is z(9) composite?
True
Let o = 7 - 7. Suppose -2*p + p + 19 = o. Is p a composite number?
False
Suppose -3*i = -0*y + 4*y - 52, 2*i - 2*y - 16 = 0. Suppose -15 = -7*l + 4*l. Suppose b = l*b - i. Is b composite?
False
Let a = 1481 + -720. Is a prime?
True
Let p be 52/((-2)/2 + 2). Let f = 69 - 42. Let r = p - f. Is r a composite number?
True
Let y be 22*(-2)/4 - -3. Let h = y - -11. Is h a composite number?
False
Suppose 5*y + k = 569, k - 343 = y - 4*y. Is y a prime number?
True
Let f be (2/(-6))/((-4)/(-12)). Let j be 4*f/4*2. Is -1*j/(2/37) a composite number?
False
Suppose -20*v = -16*v - 1412. Is v a composite number?
False
Suppose 2*g = -2*t - 1 + 5, -g = -t. Let d = t - 0. Suppose v = 24 + d. Is v a prime number?
False
Is (-1052)/(-8)*(0 + 2) a composite number?
False
Let o(r) be the third derivative of 13*r**5/60 - r**4/12 + 2*r**3/3 - 2*r**2. Suppose -3*t + 2*t = -3. Is o(t) a prime number?
False
Suppose 0 = -2*p + 6*p - 16. Suppose -t + 1 = -p. Suppose -t*n - 3*i = -1103, -2*n = n + 4*i - 653. Is n prime?
True
Let r = 25 - -72. Is r a composite number?
False
Let r(c) = 123*c**2 - c. Let j be r(-1). Let a be (-2 - -4 - 73)*-1. Let n = j - a. Is n composite?
False
Let k be (3 + 15/(-4))*-4. Is 77 - (-2 - (k + -3)) composite?
False
Let q(w) = -4*w**3 + 5*w. Let d be q(-5). Let f = -156 + d. Is f prime?
False
Let p = 1612 - -1375. Is p a prime number?
False
Let i = 59 + -134. Let p = i - -108. Is p a prime number?
False
Let o = 141 - -62. Is o composite?
True
Let g(y) be the second derivative of y**3/6 - 5*y**2/2 - 3*y. Let p be g(6). Is p/(-2 - 117/(-57)) a composite number?
False
Let d(y) = 20 + 16*y - 5 - 12. Is d(13) a prime number?
True
Suppose 0 = 5*m - 405 + 1120. Let q = m + 225. Is q a prime number?
False
Suppose 4*m + 0*m - 7 = -h, 4*h + 17 = -m. Suppose -w + 19 = d, m*w + 2*d - 61 + 2 = 0. Is w a prime number?
False
Is 420/60*(97*2)/2 a composite number?
True
Let w = 19 + -11. Suppose 2*t - 1492 = -4*y, 0 = -w*y + 3*y - 5*t + 1875. Is y prime?
False
Let i(m) = -235*m + 2. Is i(-1) composite?
True
Suppose -4*j + 731 + 405 = 3*a, -1451 = -5*j + 4*a. Is j a composite number?
True
Is 1452/3 - 2 - (-1 + 5) prime?
False
Let q(p) = 27*p**2 - p - 33. Is q(7) a composite number?
False
Suppose -4*k = 3*w + 16, -2*w + 0*w + 2*k = -8. Let x(l) = -l - 8*l + w + 1. Is x(-2) a prime number?
True
Let a be (-2)/1*1/(-1). Suppose a*u + u = -o + 115, u = o + 33. Is u a composite number?
False
Suppose 2*u + 4 = 0, 3*r - u = 4*r - 708. Let g = r - 307. Is g a prime number?
False
Is 