s a prime number?
False
Let a = -2009 - -3180. Is a prime?
True
Let h(l) = -l**2 - 3. Let a be h(0). Is a/(-15) + 174/5 prime?
False
Suppose -4*r = -2*r, r + 4383 = 3*w. Is w a composite number?
True
Suppose -4*q - 12 = -520. Is q prime?
True
Suppose -3*w - 14 = -3*i + 1, 5*i = -w + 13. Let f(a) = 17*a + 4. Let k(t) = 42*t + 10. Let b(r) = 12*f(r) - 5*k(r). Is b(w) composite?
True
Let g(n) = -n**3 + 8*n**2 + 4*n - 7. Suppose -3*s + 5*s = 14. Suppose 4*b - 39 = -s. Is g(b) a composite number?
True
Let l(p) = -188*p - 35. Is l(-8) a prime number?
False
Let r = 7 - 7. Let t be (2 - r)*10/4. Suppose -2*s - s + 196 = 2*l, -479 = -t*l - 2*s. Is l composite?
True
Let k be 5 + 1 + 1*-3. Suppose -8 = -4*c - 0*f - 2*f, -k*f = 3*c - 3. Suppose -4*b = -2*h - c*h + 595, 4*b - 476 = -4*h. Is h a composite number?
True
Let g be (-2)/3 - (-16)/24. Suppose g = -2*p - p - m + 95, -2*p - 3*m + 68 = 0. Is p a prime number?
True
Suppose 0 = n + 3*n - 1296. Let t = n - 181. Is t composite?
True
Let y(n) = 25*n + 5. Let f(s) = s + 1. Let d(x) = -2*f(x) + y(x). Let i be d(5). Suppose -i = -b + 31. Is b composite?
False
Suppose 4*b - 3 = -5*p + 2*p, 3*b + 3*p = 3. Let u(q) = -1 + 6*q + 8*q + b*q. Is u(7) prime?
True
Let z(r) = r**3 + 2*r**2 - 1. Let s be z(1). Suppose -4 = 5*d + 4*b, 5*b - 4 - 24 = s*d. Let x = 39 + d. Is x a prime number?
False
Let d be (0/3)/(3 - 5). Suppose 2*h = -d*r - 3*r + 112, 2*r - 173 = -3*h. Is h prime?
True
Let c = 10 + 49. Is c prime?
True
Let h(n) = -n**2 + 9*n + 8. Let m be h(10). Let f be (m - -5)*1*59. Is f/2 - (-6)/12 a prime number?
True
Suppose -3*w + 4*w - 123 = 0. Let g = 189 - w. Suppose -3*p + g = -135. Is p a composite number?
False
Suppose 0 = -6*g + 2*g + 20. Suppose 7 + g = 4*n. Suppose -f - f + 166 = -4*s, -222 = -n*f - 3*s. Is f prime?
False
Let t(k) = k**2 + 7*k - 7. Is t(11) a composite number?
False
Is ((-4)/2)/(0 - 2) + 82 prime?
True
Suppose 4*q = -q. Suppose q*w = w - 125. Let h = 286 - w. Is h a composite number?
True
Suppose 3*r = 5*f - 5012, -3*f + 0*r + 3020 = -5*r. Let a = f + -673. Suppose 0 = 2*m - 0*q + q - 132, 5*m + q = a. Is m a prime number?
False
Let y(s) = 696*s**3 + s**2 + 3*s - 3. Is y(1) prime?
False
Let k(z) = 2*z**2 + 2*z + 3. Let p be k(-3). Let i = p - 10. Suppose -i*g + 87 - 17 = 0. Is g a composite number?
True
Suppose a = -0*l + 3*l + 19, 0 = 2*a + l - 24. Let q = a + -8. Suppose 0*h + q*h = 1085. Is h a prime number?
False
Suppose -6 = -2*b - 46. Suppose 3*v - a = 174, 3*v + a = 3*a + 177. Let f = b + v. Is f composite?
False
Is (195/2 + -4 + 2)*2 a prime number?
True
Suppose 42 = j + 8. Is j a composite number?
True
Let k = -253 - -506. Suppose -2*l - k = -3*l. Is l composite?
True
Suppose 1 = -i - 4*m, -3*i + 0*i = 3*m - 6. Let u(o) = -o**3 + 10 - 5 - 4*o + i*o - 4*o**2. Is u(-4) a prime number?
False
Suppose -f + 2*v - 41 = 3*v, -3*f - 109 = -4*v. Let g = f + 87. Suppose 97 = 4*w + b - g, 2*b - 142 = -4*w. Is w composite?
False
Suppose -4*p + 29 = -3*l, l - 2 = -0*p - p. Suppose -k = 5*b - 55, p*b + 110 = -2*k + 4*k. Is k prime?
False
Let k be 152/10 + 1/(-5). Suppose -g = 2*g + l - 37, -3*l - k = 0. Is g a prime number?
False
Let h be 1*(1 - (-2 - -1)). Suppose 0 = -3*v - 1 - h. Is (0 + 1)*v + 8 a composite number?
False
Let w(r) = 78*r**3 + r**2. Let q(t) = t**3 - 6*t**2 - t + 7. Let j be q(6). Is w(j) composite?
False
Let g be (-4)/((-12)/(-9))*-1. Suppose 8*k - g*k - 10 = 0. Is 3/(k/(-4) - -2) a prime number?
True
Suppose j + 4 - 26 = -4*y, 5*y - 15 = 0. Let b be j/15 - (-2)/6. Is (-1)/((b - -1)/(-254)) a composite number?
False
Let l be 1 - (-316 - (-2 + 0)). Let m be (l - -1) + 1 + -1. Suppose d = -3*d + m. Is d a prime number?
True
Let b be (-2 + 2)/(1 - 0). Suppose b = -5*z + 5*n + 1545, 5*z - 5*n - 1543 = -n. Is z composite?
False
Let c(y) = y**3 - 3*y**2 - 6*y - 1. Let o be c(5). Suppose 12 = -a - 1. Let l = o + a. Is l a composite number?
True
Let a(u) = -u**3 - 9*u**2 - 10*u - 8. Let h be a(-6). Is 9/(-6)*h/6 a prime number?
False
Let g be ((-8)/3)/((-6)/9). Let a be g*(0 + (-321)/(-3)). Suppose a = 5*z + 143. Is z composite?
True
Let m = -188 + 321. Let u = -94 + m. Is u composite?
True
Suppose -n + 0*n + 15 = 0. Let q be 4/6 + 125/n. Suppose q = 5*c - 21. Is c a prime number?
False
Suppose a - 2*o - 5 = -1, a + 3*o + 11 = 0. Let j be 0 - ((a - 0) + -143). Suppose j - 5 = 4*q. Is q prime?
False
Let b(j) = -j**3 + 7*j**2 - 4*j + 4. Suppose a - 19 = 4*n, 0 = 4*n + 19 - 7. Let k be b(a). Is k/4*(-5)/2 prime?
False
Let i be ((-3)/(-9))/(2/18). Suppose -i*r + 7*r - 616 = 0. Let g = r - 107. Is g a prime number?
True
Let s(y) = -y**2 + 5*y - 2. Let i be s(2). Suppose -i*p - 860 = -9*p. Suppose -p = -4*m + 216. Is m a composite number?
False
Suppose 0*s - 4*m + 138 = -s, -m = s + 138. Let x = -85 - s. Is x prime?
True
Suppose 5*q = 19 + 6. Let g(l) = -l + 7. Let r be g(q). Suppose 5*y = -5*c + 565, -r*y + c + 226 = -4*c. Is y prime?
True
Suppose -4*w = -2*w - 4. Suppose -2230 = h - 5*h + w*a, -2*a - 1120 = -2*h. Suppose -3*c - 2*i + h = 0, 6*c + 3*i = 3*c + 555. Is c prime?
False
Let q(a) = -14*a - 2. Let n be q(-6). Suppose -71 = -5*x + 144. Let y = n - x. Is y a prime number?
False
Let z(v) = -v**2 - 13*v + 4. Let f be z(-13). Suppose 0 = 4*k + 5*n - 22, -2*k - f*n + 10 = -2*n. Is k a composite number?
False
Let v(j) = j**2 + j + 1. Let k be v(4). Suppose n - k = 68. Is n composite?
False
Is (16 + -15)/(1/191) a composite number?
False
Let v(g) be the first derivative of 9*g**2 - g - 4. Is v(5) a prime number?
True
Let y be ((-4)/6)/((-1)/3). Let u be -1*y/(-2) - -111. Is -4 + 4 + u + 1 prime?
True
Let k(t) = -5*t + 2. Let r be k(2). Is -2*(-2)/(r/(-826)) a composite number?
True
Suppose 5*u - 18 = -d, 1 = -2*d + 7. Suppose 19*v - 21*v + 4 = 0. Suppose -4 - 12 = -m - u*o, -m = v*o - 15. Is m composite?
False
Suppose 0 = -2*n + 2 + 10. Let v(s) = -s**2 + 6*s + 5. Let p be v(n). Suppose 2*u - 6*u + 2*h = -162, 51 = 2*u + p*h. Is u a composite number?
True
Suppose 270 = 3*q + 2*k - 397, -2*k = 4*q - 890. Is q a composite number?
False
Suppose -5*i + 15 = 45. Let s(y) = -y**3 - 4*y**2 + 4*y + 5. Is s(i) a prime number?
True
Suppose -2*o = 218 - 2232. Is o a composite number?
True
Let w = 18 + 41. Is w a composite number?
False
Let q = 15 - 22. Let v(p) = -p**3 - 7*p**2 - 4*p - 3. Is v(q) composite?
True
Suppose -10*u - 381 = -13*u. Is u a prime number?
True
Suppose -218 = -2*z - f + 93, 5*f = -2*z + 299. Is z prime?
True
Suppose -5*q - 10 = -0*q. Is q/4*-2 - -202 a composite number?
True
Let t = -10 + 15. Suppose -3*d + 2*d = 5*p - 1944, -t*p + 1952 = 3*d. Suppose 6*m = 2*m + p. Is m prime?
True
Let f be (0 - -2)*(-12)/(-8). Suppose 0 = -f*d - 2*d. Suppose 5*l + c - 168 = d, 3*l + 5*c = 54 + 60. Is l a composite number?
True
Suppose 4*t + 620 - 3128 = 0. Suppose -4*z - 129 = -f + 32, -z + t = 4*f. Is f a prime number?
True
Suppose -4*u = -3*k + 602 + 395, 4*u + 4 = 0. Is k a composite number?
False
Let q(r) = r**3 - 4*r**2 - 9*r + 9. Let m be (7/2)/(2/4). Is q(m) composite?
True
Suppose -w = -2*w + 385. Suppose -2*s = 3*s - w. Is s a prime number?
False
Suppose -5*d - 5*w + 705 = 0, 0*w = -5*d + w + 705. Is d composite?
True
Suppose -40*t + 3659 = -39*t. Is t prime?
True
Let i be (-18)/(-27)*(-12)/(-2). Suppose -i*h + 104 = -212. Is h a composite number?
False
Suppose -4*p - 2*y = -588, 3*p + y = -y + 443. Is p a composite number?
True
Let c(s) = 157*s**2 + 3*s - 2. Is c(1) composite?
True
Let i be (-8)/2 - (3 + -1). Let j(d) = d**3 + 7*d**2 + 3*d + 5. Is j(i) a prime number?
True
Let s(a) = a**2 + 6*a + 5. Let f be s(-6). Suppose f*n = -63 + 878. Is n a prime number?
True
Let x(a) = 32*a**2 + a + 1. Is x(-2) prime?
True
Let p = 23 + -21. Suppose p*w = -4*f + 6*w + 1660, 0 = -f - w + 415. Is f composite?
True
Let u(a) = 26*a**3 + 3*a**2 - 3*a - 3. Is u(3) prime?
False
Let k(n) = n**2 + 6*n + 6. Let g be k(-6). Let m = g + -6. Suppose -h + 14 + 69 = m. Is h a prime number?
True
Suppose 2*a = 3*a + 3, 0 = 2*y + 5*a - 493. Is y a composite number?
True
Suppose -4*g - h - 1 = 0, 24 - 1 = 3*g - 4*h. Is (-3)/(g/(-26)*2) a prime number?
False
Let p(q) = -q**2 + 6*q + 10. Let w be p(7). Suppose -2*m + l = -524, m + w*l - 261 = 4*l. Is m composite?
False
Let z be (-4 - -2)*-1 - 154. Suppos