ose 0 = -s - 4*b + 15 - 4, -3*s + b - 32 = 0. Is n(s) a prime number?
True
Suppose -80 = -4*d + 3*o, o = 3*d - 0*d - 60. Is 10764/16 + 5/d composite?
False
Suppose -3*d + 4*d - 69 = 0. Suppose -d = -i - 2*g, -2*i = 4*g - 6*g - 168. Is i a prime number?
True
Let b = 341 - 206. Suppose 0*t = -4*s - t + 534, t = -s + b. Is s a composite number?
True
Let n(b) = -14*b - 10. Let k be n(-8). Suppose 0*c + 2*c - k = 0. Is c a composite number?
True
Let d = 8 - 12. Let l be 3/(-8)*-2*d. Is ((-1036)/(-12))/((-1)/l) a prime number?
False
Let p(a) be the third derivative of a**5/60 + 3*a**4/8 + 2*a**3/3 - a**2. Let f be p(-9). Suppose f*n = w + w - 250, 4*w - 3*n = 475. Is w a composite number?
True
Suppose -180 = -4*v + 2*w, 2*w + 133 = 2*v + v. Is v a prime number?
True
Suppose 4*j = -2*i + 8, 5*i + 5*j - 13 = 7. Suppose -i*f + 172 + 81 = 3*m, -5*m = 4*f - 411. Is m a composite number?
False
Let c = -3 + 7. Suppose 4*y + c = 0, 11 = 5*r - y - 0. Is 2*(-1)/r + 54 a prime number?
True
Suppose -2*n = -4*n - 2*g + 2796, 2*n = 2*g + 2800. Is n a prime number?
True
Suppose 6*v = t + v + 22, 44 = -5*t + 3*v. Let y = 6 - t. Is y a composite number?
False
Let r = -15 + 134. Is r prime?
False
Suppose -f - 3*f = -8. Suppose -2*d = 2*o - 46, -f*d - 4*o + 70 = d. Is d a prime number?
False
Let h be -1 + (-2 + 2)/1. Let b be (h - -7)/(-2)*-1. Is ((-3)/b)/1 - -24 a composite number?
False
Suppose 3*y = 1768 + 1073. Is y composite?
False
Let y(s) = -19*s - 3. Let f be y(-2). Let k = f - -18. Is k a composite number?
False
Let b(i) = 5*i**2 + 3*i + 6. Is b(5) prime?
False
Let v(b) = -13*b + 1. Is v(-1) prime?
False
Let j be (-8)/4*5/2. Let d(b) = 6*b. Let h(f) = 7*f. Let m(a) = j*d(a) + 4*h(a). Is m(-7) composite?
True
Let h = -8 - -13. Suppose -3*b = -h*b. Suppose 3*l + 0*l - 99 = b. Is l composite?
True
Suppose -3*k - k = -752. Let m be (-3 - k)*-1*3. Let r = m + -368. Is r a composite number?
True
Let a = 390 - 71. Is a a prime number?
False
Let w be 1*(-2 + 1) + 4. Suppose -w*a = 5*p - 260, 4*p - 2*a + 5*a = 205. Is p composite?
True
Let k be (456/30)/(4/30). Suppose 5*l - k - 341 = 0. Is l prime?
False
Let v(y) = y**3 + 9*y**2 - 2*y + 5. Let s be (-6)/12*(17 + 1). Is v(s) prime?
True
Suppose 4*d - 20 = 0, -131 = x - 2*d - 1525. Suppose -j - x = -3*o, 4*o = -2*j + 2149 - 267. Is o composite?
True
Let m(k) = k**2 + 4*k - 9. Suppose 0*f = -5*f + 120. Suppose c = 4*c + f. Is m(c) a composite number?
False
Let w(h) = -h**3 - 7*h**2 - 3*h - 8. Let o(z) = -3*z**3 - 20*z**2 - 8*z - 23. Let m(p) = -3*o(p) + 8*w(p). Let b be m(-5). Let a = 29 + b. Is a a prime number?
False
Let s = -6 + 4. Let x be -2*(-3 - s)*1. Suppose 2*i - 151 = 2*w - 11, x*i - 4*w = 142. Is i a composite number?
True
Let q(m) = -m**3 + m**2 + 3*m - 2. Let z(c) = -2*c**3 + 2*c**2 + 5*c - 5. Let n(l) = 5*q(l) - 3*z(l). Let f be 2/4 - (-7)/2. Is n(f) a prime number?
True
Let j(i) = 20*i**3 - 2*i**2 - 2*i + 1. Is j(2) prime?
True
Let o(g) = 4*g**2 + 3*g + 10. Is o(15) a composite number?
True
Let q(o) = o**3 + o**2 + 2. Let d be q(0). Let y(b) = -52 + 88*b**2 + d*b + 51 + 0*b. Is y(1) prime?
True
Suppose -3*r - 366 = -5*r. Is r composite?
True
Suppose 2*j = -j + 5*u + 106, 3*u = -j + 54. Suppose 4*k = 4*y, -2*k - 2*y + 11 = -1. Suppose -h + 5*n = -j, 4*h - k*n + 9 = 228. Is h a composite number?
True
Let o = -9 - -14. Suppose -3*d = o*r + 22 - 234, 4*d - 306 = -2*r. Is d a prime number?
True
Suppose -265 = -t + 28. Is t a composite number?
False
Let k = 1347 - 166. Is k a composite number?
False
Suppose 5*l = -3*v + 185, -2*l + 149 = 4*v - 121. Is v/2 - (7 + -9) composite?
False
Let f = 161 + -28. Suppose -4*z + f = 4*m - 7*m, 2*m = 4*z - 134. Is z a composite number?
True
Suppose 26*y = 27*y - 493. Is y composite?
True
Is 2*((-12)/30 + (-23669)/(-10)) prime?
True
Let j(a) = a. Let z be j(-1). Is (-1)/(-2)*94 + z a prime number?
False
Is (-5)/((-10)/8) - (1 + -188) a prime number?
True
Let x(p) be the third derivative of p**5/60 - 5*p**4/24 + 2*p**3/3 + p**2. Let h be x(3). Is (-19)/h + (-2)/(-4) composite?
True
Suppose -101 = -12*o + 11*o. Is o/2 + (-6)/4 a prime number?
False
Let j(w) = -2*w - 9. Let k be j(-7). Is (k - -35) + (-6)/2 prime?
True
Let t be (-964)/8 + 6/(-4). Let p = t + 245. Is p a prime number?
False
Let i(j) = -2*j**3 - 4 + 8*j**2 - j - 3 + 3*j**3. Let m be i(-8). Let v = m - -1. Is v prime?
True
Let y(l) = -l**3 + 9*l**2 - 9*l + 4. Let x be y(7). Suppose -2*d = t - 45, -x = -3*d - 5*t + 25. Is d prime?
True
Suppose -o - 2*o = 0. Let f(b) = -b**2 + b + 115. Is f(o) a prime number?
False
Let s be (-156 - 2/(-2))*-1. Let f = -81 + s. Is f composite?
True
Let b(c) = -2*c + 1. Let d be b(4). Let j be 14/3 + d/(-21). Let p = 9 - j. Is p composite?
True
Let z(f) = -f**2 - 7*f - 6. Let l be z(-8). Let t be l + 0 + (-4 - -2). Let p = t - -29. Is p composite?
False
Let j = -1036 - -3719. Is j prime?
True
Let m(n) = 2*n**2 + 2*n + 57. Is m(22) a composite number?
False
Suppose 0 = -3*k - 2*y + 13, -1 + 10 = k + 3*y. Suppose 0 = 2*m + k*m. Suppose -5*g - 255 = -5*b, m*b + 5*g = b - 43. Is b prime?
True
Suppose -1738 = 12*g - 14*g. Is g prime?
False
Suppose 2*z - z + 3 = -3*r, 4*z + 42 = 3*r. Let v be (z/(-3))/(-3) + 9. Suppose -2*a = -10, -3*a + v*a - 53 = -2*m. Is m a composite number?
True
Let p(j) = 66*j**2 - 3*j + 2. Is p(3) prime?
True
Let v(z) = -2*z**3 + 7*z**2 + 6*z + 3. Let i(d) = -d**3 + 3*d**2 + 3*d + 1. Let n(a) = -7*i(a) + 4*v(a). Let y be n(8). Let c = 72 + y. Is c a prime number?
True
Let o = 2840 - 507. Is o composite?
False
Let m(h) = h**2 + 9*h + 11. Let r be m(-9). Suppose 5 + r = 4*n. Suppose 5*v = -10, 5*i + 52 = 9*i - n*v. Is i a prime number?
True
Suppose -10 = -5*r - 0. Suppose r*g - 20 = -2*g. Is 1404/15 + 2/g a prime number?
False
Suppose 2*a = 4, -3*m + 75 = -2*m - 5*a. Let b = 118 + m. Is b a composite number?
True
Suppose o = -2*t + 6*o + 3253, 5*o = 3*t - 4892. Is t a prime number?
False
Let z(l) = -l**3 + l**2 + l + 20. Let k be z(0). Suppose -5*s + k = -5, 4*m + 4*s - 200 = 0. Let r = 194 - m. Is r composite?
False
Suppose 5 = -3*l - 5*d, 0*l - 2*d - 2 = 5*l. Suppose 5*k - 86 - 1157 = -m, l = -2*k + 5*m + 508. Is k a composite number?
True
Suppose c + 0 - 2 = 0. Suppose c*l = l + 161. Is (-4)/6 - l/(-3) a composite number?
False
Suppose 4*q = 6 - 2. Let m = -21 + 2. Is ((-1)/1)/(q/m) a prime number?
True
Suppose -b = w + 1, -5 = 5*w + b + 8. Is w/5 + (-17892)/(-45) a prime number?
True
Let k(r) = r**2 - 5*r + 2. Let h be k(4). Let y = -109 - -71. Is y/4*(h + 0) a prime number?
True
Suppose 0 = 3*c + 3*p + 2*p - 212, 0 = 5*c - 4*p - 378. Is c a prime number?
False
Let w(y) = -89*y. Is w(-1) a prime number?
True
Let t = -1 - -1. Suppose -2*p = -t*p - 58. Let n = -10 + p. Is n prime?
True
Let f(c) be the first derivative of 19*c + 1/2*c**2 + 3. Is f(0) a prime number?
True
Let c be ((-1005)/2)/5*-2. Suppose c = -3*n + 6*n. Is n prime?
True
Let v(k) = -39*k - 13. Let z(w) = w + 5. Let c be z(-11). Is v(c) prime?
False
Let p(h) = 5*h + 10. Is p(3) a composite number?
True
Let t = 158 + 51. Is t a composite number?
True
Is (-4)/(-14) - 859/(-7) composite?
True
Let k be (-6)/18 + (-94)/6. Is (-2)/8 - 420/k a prime number?
False
Suppose -h + 5*h - 2364 = -4*b, 2*h - 3*b = 1192. Is h prime?
True
Suppose v + 4*a - 568 = 0, 3*v - 5*a - 305 - 1331 = 0. Is v/15 + 2/10 a prime number?
True
Let b(p) = -5*p - 1. Let c be b(-3). Is 12/(-42) - (-102)/c a prime number?
True
Suppose 4*z - r = -176, -5*r = 2*z + 3*z + 245. Suppose -y + 3*t - 34 + 6 = 0, 120 = -4*y + 4*t. Let a = y - z. Is a composite?
True
Suppose -7*a + 3*a + 1993 = -t, 4*t - 12 = 0. Is a a prime number?
True
Let c(t) be the third derivative of 5/12*t**4 + 0*t - 5/6*t**3 + 0 - 2*t**2. Is c(4) prime?
False
Is 14/70 + 174/5 composite?
True
Let n = 118 + -81. Is n prime?
True
Let g(x) = x**2 + 2. Let m be g(-3). Let h(a) = a**3 - 26*a**2 + 16*a + 5. Let k be h(m). Is k/(-18) + 4/18 a prime number?
False
Suppose 2 + 7 = 3*x - 3*q, -4*q - 12 = 3*x. Suppose x*s - 3*s = 3. Is -2 + s + (57 - -1) prime?
False
Suppose 0 = 4*v + 4*k - 45 + 17, -5*k = -2*v. Suppose 0*n = a + 2*n + 2, 0 = -5*a + v*n + 20. Suppose -3 = a*z - 5*c, -4*z = c - 39 - 10. Is z composite?
False
Let s(v) = v**2 - 3*v - 8. Let o be s(6). Is 746/5 - 2/o a 