4*b - 1211 = -3*j. Is b composite?
True
Suppose -2*g + 5*j = -115, 2*j = 4*g + 7*j - 185. Let r = g + 5. Is r prime?
False
Let x = 487 - 84. Is x a composite number?
True
Let o(f) = 3*f**3 - 12*f**2 - 23*f + 11. Is o(12) composite?
False
Suppose 3*o + 0*o = -804. Let u = -189 - o. Is u prime?
True
Suppose 7 = 2*g - 4*c - 3, 4*c = -5*g - 45. Let u(s) = -s - 2. Let f be u(g). Suppose z = -f + 7. Is z prime?
False
Let s be (0/(-5))/(2 + -1). Suppose -2*u = u - 15. Suppose -555 = -u*m - s*m. Is m prime?
False
Let p be 4*1*6/12. Suppose p*f - 51 = 11. Is f a composite number?
False
Let a = -931 - -1796. Is a prime?
False
Suppose 2538 = 4*t - 1010. Is t a composite number?
False
Is ((-6)/24 - (-5)/4)*11 composite?
False
Let w = -1463 + 3148. Is w a prime number?
False
Let w(h) = -52*h**2 + h + 1. Suppose -b - 4*g = -5*b - 20, 0 = 4*b - 2*g + 12. Let m be w(b). Let a = m - -117. Is a a prime number?
False
Suppose -4*m = 181 + 119. Let t = 144 + m. Is t composite?
True
Suppose 0 = -14*q + 9*q - 445. Is (q/1)/(0 + -1) a composite number?
False
Let n be -119 - 0*1/(-2). Let b be 1*-3 + 1*(1 - 170). Let g = n - b. Is g a prime number?
True
Suppose 3383 - 1342 = 5*x + 3*z, -2*x = -5*z - 804. Is x a prime number?
False
Suppose -8*u + 7634 = 3*u. Is u prime?
False
Suppose -15 = -5*a + 2*a. Suppose 0 = -2*t + a*l + 150, 0 = 4*t - 3*l - 95 - 233. Is t a composite number?
True
Let s(m) = 842*m**2 - m - 5. Is s(-2) composite?
True
Let f = 275 + 87. Let k = -141 + f. Is k a prime number?
False
Suppose -3*n = -y - 200, 0 = 2*y - 6*y - 20. Let t = 12 + n. Is t composite?
True
Suppose 122 = g + g. Let u = g + -30. Is u a prime number?
True
Let i(b) be the third derivative of b**5/60 - 5*b**4/24 - b**3/6 + 2*b**2. Let a be i(5). Is a - (-37 - 1/(-1)) prime?
False
Let q(g) = -g + 4. Let c be q(2). Suppose -7*i + 595 = -c*i. Is i composite?
True
Let g = 848 - 141. Is g a prime number?
False
Suppose 1 = x - 0. Let z be 4*3/(-3) - x. Let i(o) = o**2 - 3*o - 3. Is i(z) composite?
False
Let b(t) be the second derivative of 3*t + 0 - 1/2*t**3 - 5/2*t**2. Is b(-6) composite?
False
Let s(p) = 8*p - 11*p - 6*p - 10*p. Is s(-3) composite?
True
Let v be (-2)/8 - 1495/20. Let j = -20 - v. Is j prime?
False
Let j = 267 + -120. Let x = 212 - j. Is x composite?
True
Let d = -113 - -240. Is d a prime number?
True
Suppose -2 = l - 6. Suppose 0 = v + l*v, -4*u + 148 = v. Is u a prime number?
True
Let h = -440 - -313. Is h/((-3)/(-1) + -4) prime?
True
Let s(o) = -o**2 + o + 121. Let j(c) = -2*c**2 + 2*c + 243. Let r(g) = 6*j(g) - 11*s(g). Is r(0) composite?
False
Suppose 148 + 17 = 3*p. Is p a composite number?
True
Let q be (-9)/6*(-4)/6. Let h = 11 - q. Suppose -3*x + h = 1. Is x a prime number?
True
Suppose 25 = -5*g + 5*k, 2*k + 3 - 9 = 0. Let r be 2*1/g*-2. Suppose r*m = 9 + 65. Is m prime?
True
Let w = 176 - 115. Suppose -1014 - w = 5*p. Let g = -124 - p. Is g a prime number?
False
Let p = -1720 + 2989. Is p/9 - (2 + 0) composite?
False
Suppose 0 = -s + 2, 0 = -4*l - 2*s - 271 - 105. Let q = l - -184. Is q composite?
False
Suppose 28 = 3*x - 5*r, 29 = 5*x - 5*r - 11. Let g(l) = -14*l**3 - 15*l**3 - l**2 + l + x*l**3 + 1. Is g(-1) composite?
True
Let v(r) = 337*r + 80. Is v(11) a prime number?
False
Let y(l) = 4*l. Let o be y(-3). Is ((-4)/o)/(2/132) a prime number?
False
Let l = -125 - -963. Is l a prime number?
False
Suppose 0 = -4*b + 1138 + 10. Is b composite?
True
Let t be (-18)/(-42) - 304/7. Is (-9)/(-1)*t/(-3) prime?
False
Suppose 4*l = n + 7, 2*n + 2 + 0 = 4*l. Suppose 0*q + 15 = -n*q. Is (-10 + q/(-1))/(-1) a composite number?
False
Let g(a) = -a**3 + 10*a**2 + 10*a + 11. Let c be (-7 - -4)/((-3)/11). Let u be g(c). Suppose -3*l + u*l = -231. Is l composite?
True
Let k = 14 + -10. Suppose 174 = k*a + 2*z, 4*a - 3*z - 112 - 87 = 0. Is a composite?
True
Is (2016 + (5 - 2))*1 prime?
False
Let j = 570 - -817. Is j composite?
True
Let z = -43 - -229. Is z/(-4)*8/(-12) composite?
False
Let c(a) = 7*a**2 - 3*a - 1. Suppose 3*n - 2*q = 0, -q - 1 = -0*n - n. Let p = 5 + n. Is c(p) composite?
False
Let f be 0 - 0 - -5*1. Suppose 2*k + 5*l - 83 = 70, 0 = -4*k + f*l + 261. Is k prime?
False
Let n(s) = -s**2 + 5*s - 4. Let d be n(3). Suppose 12 = -2*v - 2*v - j, -j = d*v + 8. Is (v + 7)*(10 + 1) composite?
True
Let g = 414 - 256. Is g prime?
False
Let h(o) = 330*o**2 + 2*o + 3. Is h(-1) prime?
True
Let a = -30 + 49. Let g = a - 6. Suppose -2*d = -73 - g. Is d a prime number?
True
Suppose -2 + 5 = g, w - g + 2 = 0. Let d be ((-2)/4)/(w/324). Is 1/(d/165 - -1) composite?
True
Suppose s - 88 + 33 = 0. Is s composite?
True
Is 8/(-36) + 2765/9 prime?
True
Is (-68)/1*172/(-16) composite?
True
Suppose -y - 7 = 4*t, t = -4*t - 5*y - 5. Let o = -5 + t. Let z(f) = 4*f**2 + 10*f + 5. Is z(o) prime?
True
Suppose 0 = -2*t + 6*t. Suppose p - 3*p - 142 = t. Let y = p - -418. Is y prime?
True
Suppose 43 = y - 5*t + 15, -4*y = -3*t - 27. Is 0 + 16 - (5 - y) composite?
True
Let n(t) = -6*t - 7. Let i be 6/(-4)*(-8)/6. Let s = i + -9. Is n(s) a prime number?
False
Let f(n) = 15*n + 2*n**2 - n - 3*n**2 + 10. Is f(11) prime?
True
Suppose q + 2*q = -324. Let j = 235 + q. Is j composite?
False
Is -1*(765/(-3) - -4) a composite number?
False
Is 2 - (-2)/((-4)/(-2018)) a prime number?
False
Let p(d) = -347*d - 9. Is p(-2) a composite number?
True
Suppose -5*t - 648 - 1697 = 0. Let p be 0 - (-2 - -1) - t. Suppose 3*b = -2*b + p. Is b composite?
True
Let o(r) = 8*r**2 - 13*r - 23. Is o(-12) a prime number?
False
Suppose -5*a + 23505 = 3*s, 4*a - 3*a + 31340 = 4*s. Is s prime?
False
Is 11404/28 - 4/14 composite?
True
Is (0 - -158)*1/2 a composite number?
False
Suppose -3*b = -3*h - 807 - 357, 0 = -b - 5*h + 388. Let n be (-9)/(-3)*b/(-6). Is (-8)/(-12) + n/(-6) composite?
True
Suppose -6*g = -g. Suppose g = w + w - 22. Is w a composite number?
False
Let a(m) = 3*m**2 - 2*m - 1. Let n be a(-1). Let i be (3/n)/(1/4). Let t(h) = 4*h**2 + 2*h + 4. Is t(i) a prime number?
False
Let z(k) = -k**3 - 6*k**2 - 2*k + 9. Let d be z(-7). Suppose -225 = -2*s + 5*b - 92, -s = 3*b - d. Suppose 3*g + s = 4*g. Is g a prime number?
False
Suppose i + 10215 = 6*i. Is 2/(-7) + i/21 a composite number?
False
Suppose x + 0*r - 408 = -5*r, -5*r = -2*x + 831. Is x a prime number?
False
Suppose 0 = -h - h + 40. Let l(t) = t**3 + 4*t**2 - 2*t - 4. Let z be l(-4). Suppose m + z*m = h. Is m a composite number?
True
Let x(r) = r**2 + 3*r - 2. Let l be x(-4). Suppose -4*t - 32 = l*a, -4*a = t - 1 + 30. Is (-64)/a - (-3)/9 composite?
False
Is 397/5 + 4/(-10) a composite number?
False
Let m(z) = 6*z**2 - 2*z - 3. Let s(l) = -l + 1. Let k be s(-2). Suppose 0*n - k*n = 2*r + 10, -4*r - 16 = 4*n. Is m(r) a composite number?
True
Let g = 3 + 2. Suppose -s = -3*x - 0*x + 548, g*x = -2*s + 895. Is x prime?
True
Let l = 2 + 2. Suppose -s + l*r + 15 = 0, 1 = 2*s + s - r. Is (6/(-4))/(s/2) prime?
True
Suppose 0*h + 29 = 4*j - h, -h - 1 = 0. Let n(k) = 6 - j*k - k**2 + 5*k + 0 - 4*k. Is n(-5) a prime number?
True
Let s(o) = o - 11. Let h be s(13). Is h/(-3) - (-179)/3 a composite number?
False
Let v be (-2 - -2) + 0 + 0. Suppose 0*l - 2*l = v. Suppose l*d = 4*d - 316. Is d prime?
True
Suppose -5*p + 338 = 3*z - 1059, -z + 475 = -3*p. Is z a prime number?
False
Is -907*4/(-2 + -2) a prime number?
True
Let x(j) = -j**3 - 6*j**2 - 8*j - 1. Let q(r) = -r + 3. Let d be q(9). Is x(d) prime?
True
Let h = 171 - 65. Is h a prime number?
False
Suppose j - 26 = -0. Suppose -5*f = -4*f - j. Is f a composite number?
True
Let a(f) = -2*f + 3. Let u be a(7). Is u*(-2)/(-4)*-10 composite?
True
Let y(g) = 13*g**2 + g - 3. Is y(-11) prime?
True
Suppose j = 3*j. Suppose -z - 203 = -3*s, j*s - z + 65 = s. Is s a prime number?
True
Let q(l) = l**3 - 11*l**2 - 2*l - 13. Is q(14) prime?
True
Let a(b) = b**2 + 7*b + 6. Let c be a(-5). Let f(l) = 7*l**2 + 4*l - 5. Is f(c) composite?
True
Let i(y) be the first derivative of -y**4/4 + y**3/3 - y**2 - 5*y + 2. Is i(-4) a composite number?
False
Let b = -49 - 4. Let k = 40 - b. Is k prime?
False
Let b be 2*1 + 7 + -148. Let h = b - -204. Is h prime?
False
Let n(f) = -8*f**2 + 8*f + 16. Let s(b) = 3*b**2 - 3*b - 5. Let a(h) = 2*n(h) + 7*s(h). Is a(-4) prime?
True
Suppose 5*s - 3*i = 1330, -s + 283 = -2*i - 2*i. Is s composite?
F