 + 2*g**2 + 3*g. Let p be n(0). Is (-16)/24*(-474)/p a prime number?
True
Let h(t) = -1 - 6*t + 1 + 1 - 2 - t**2. Is h(-4) a composite number?
False
Is 3/((-36)/2092)*3*-5 composite?
True
Is (1/3)/(20/8520) composite?
True
Suppose -l + 2*d + 0*d = 4, -2*l - 12 = -5*d. Suppose 2*z - 4*t + 0 = 202, l*z - 379 = 3*t. Is z a composite number?
True
Suppose -4*i = -5*m - 35, 0 = 4*i + 3*m - m - 14. Suppose w + 13 = 5*j, i*j + w - 23 = -3*w. Let c = 14 - j. Is c composite?
False
Let p = 0 - 0. Suppose 0 = 5*l - 27 + 17. Let j = l + p. Is j composite?
False
Let b(a) = -2*a - 3. Let q(w) = -w**2 - 8*w - 10. Let o be q(-7). Is b(o) composite?
False
Suppose 0*a + a = 135. Let j(q) = -12*q - 16. Let n be j(5). Let l = a + n. Is l a composite number?
False
Let y(w) = -28*w - 1. Let v be y(-1). Let l = -6 + v. Is l prime?
False
Suppose 8 + 12 = 4*d, 2*f + 4*d - 1086 = 0. Is f composite?
True
Suppose 0 = -3*n - 1 + 16. Suppose -n*q + 49 - 14 = 0. Is 7/(q/54) + -1 composite?
False
Suppose 5*t = -3*n - 2 + 6, 2*t = -4*n - 4. Suppose 116 = t*s - 4*s. Let i = s - -123. Is i prime?
False
Suppose 40*d = 35*d + 895. Is d prime?
True
Let i(h) = -4*h**3 + 3*h**3 - 3*h**2 - 2*h + 16 - 6 + 5*h. Is i(-4) composite?
True
Suppose 5*z - 5 = -4*s, -10 = -5*z - 4*s + s. Suppose -2*g + 2*u + 44 = 0, -2*u - 3*u + z = 0. Is g a composite number?
False
Let h(v) be the first derivative of v**5/20 + v**4/6 - v**3/3 - v**2 - v - 1. Let t(m) be the first derivative of h(m). Is t(-2) a prime number?
True
Let m = 291 - -56. Is m composite?
False
Let b(k) be the third derivative of k**6/120 + 2*k**5/15 + k**4/12 - 5*k**3/6 - 9*k**2. Is b(-6) a composite number?
True
Let x = -172 + 333. Is x composite?
True
Suppose 1014 = 4*d + 4*f - 2*f, -d - 5*f + 276 = 0. Is d a composite number?
False
Suppose 24 = -i + 3*f, 0 - 9 = -3*f. Let b be 6/i - (-58)/(-5). Is (b/8)/(1/(-14)) a composite number?
True
Let g(o) = -o**2 + 9*o + 7. Let d be g(-6). Let n = -52 - d. Is n composite?
False
Let b(t) = -t**3 + 11*t**2 + 9*t + 16. Let v(z) = z + 6. Let c be v(5). Is b(c) a prime number?
False
Let c be ((-18)/(-15))/((-9)/(-30)). Suppose -4*z - z + 251 = 2*p, c*z - 208 = 2*p. Is z prime?
False
Suppose 0 = j + 2*v - 374, 0*v - 1134 = -3*j - 3*v. Is j composite?
True
Let c = -5 + 10. Suppose 2*w = y + 278, c*w - 6*y + y = 695. Is w composite?
False
Suppose m - 213 = 52. Is m a composite number?
True
Suppose 32 = -s - 3*s - 4*j, 0 = 2*j + 10. Let x = 7 + s. Suppose -3*d = x*p - 163, 5*d = -5*p + 204 + 6. Is p composite?
False
Is 3206/3 + 8/24 a composite number?
False
Let g(n) = 5*n - 6. Is g(4) a composite number?
True
Suppose -3*u = -f - 7, -4*f + 2*u = -f. Suppose f = 2*i - 4. Suppose -2*g + 2*q = -78, 2*q - 127 + 20 = -i*g. Is g prime?
True
Let l = 5 + -3. Let b(k) = 1 + 1 - k - 4*k**2 - 2*k**3 - l*k - 2*k**3. Is b(-3) prime?
True
Let x = 794 + -487. Is x prime?
True
Let g = 1 - -4. Is (-3)/((-3)/11)*g a composite number?
True
Let g(n) = -n**3 + 5*n**2 - 2*n + 1. Let x be g(5). Let c(h) be the first derivative of h**3 + 13*h**2/2 + 5*h - 12. Is c(x) composite?
False
Let f(n) = -7*n**2 - 8*n - 13. Let l(d) = -8*d**2 - 8*d - 14. Let j(a) = -7*f(a) + 6*l(a). Is j(-8) a composite number?
False
Let b(u) = u**3 - 5*u**2 - 3*u - 7. Suppose 0*t - 3*t = 3*r - 3, 0 = 3*t + 4*r + 2. Is b(t) a composite number?
False
Let k(g) = -17*g**2 - 4*g - 1. Let b be k(-3). Let o = -75 - b. Is o composite?
False
Suppose 0 = 5*c - c. Suppose c = s - v - 26, 71 + 43 = 5*s - v. Is s composite?
True
Let z(w) = -2*w + 1 + 6*w - 18*w**2 + 19*w**2. Is z(-9) a prime number?
False
Suppose 2*m - 2*r - 5 = 3*m, 2*m - 5*r - 26 = 0. Let o be ((-344)/(-6))/(2/m). Suppose 2*s - 163 - o = -y, 2*s - 3*y = 269. Is s a prime number?
True
Let i = -5 - -1. Let u be 6/i*2/1. Is (-68)/u + (-2)/(-6) a composite number?
False
Let l(p) = -378*p - 3. Let q be l(-2). Suppose 4*t - q = t. Suppose 2*s + s = -5*x + t, 0 = 4*s - 2*x - 352. Is s prime?
False
Let f(l) = 0 + 0*l**2 - 2*l**2 + 2*l - 4 + 2*l. Let m be f(3). Is ((-25)/m)/((-2)/(-68)) composite?
True
Let n = 272 - 129. Suppose 2*w + 2*w = 0. Suppose -v + i + n = -4*i, -i = w. Is v a composite number?
True
Suppose r = 3*i + 138, -2*r = -7*r + 4*i + 745. Let h = 296 + -196. Let s = r - h. Is s a prime number?
True
Suppose -57 = 2*u - 291. Suppose -11*r + u = -8*r. Is r composite?
True
Let u(x) = x**2 + x. Let b be u(-2). Suppose -b*z + 5*o - 3 = 9, 2*o - 8 = 0. Let f = z + 3. Is f prime?
True
Suppose -4*f - 104 = -444. Is f a prime number?
False
Is (-40975)/(-35) + (-4)/(-14) prime?
True
Let g(a) = 2*a + 10. Let o be g(-9). Let x(b) = -11*b - 5. Is x(o) composite?
False
Let s be (-183)/(-6) - 1/(-2). Let d = s - 8. Is d a composite number?
False
Let r = 415 - 224. Is r composite?
False
Let y = -12 + 27. Let x be (-1)/(1 + y/(-12)). Suppose -4*s - x*z + 44 = 0, -2*s + 4*z = 3*s - 46. Is s a prime number?
False
Suppose i - 3*r + r = 12, 20 = -4*r. Suppose n + i*n = 474. Is n composite?
True
Let h(w) = 11*w - 6. Let d be (4/5)/(2/15). Let i = 13 - d. Is h(i) a prime number?
True
Suppose 5*o - 67 = 8. Is o a composite number?
True
Suppose -2*g + 12 = -2*d, -10 = 5*g + d + 4*d. Suppose g*m = -3*m + 385. Is m a composite number?
True
Suppose 5 = u - 0*u. Suppose -3*j + 1077 = u*g, -g + 4*j - 38 = -235. Is g a prime number?
False
Let i = 30 + -64. Is i/(0 - (-4)/(-38)) prime?
False
Is ((-3)/9)/((-2)/114) a composite number?
False
Let t(n) = 7*n**2 + 3*n - 3. Is t(3) prime?
False
Suppose 9*f = 5*f + 140. Is f a prime number?
False
Suppose 0 = 5*r - 3*x - 19, 5 = 2*r + r - 5*x. Suppose i + 81 = r*q, -7 = 2*q - 3*i - 42. Suppose q + 3 = b. Is b a prime number?
True
Suppose -3*w + 189 = -0*w. Suppose -5*l = 3*h - 0*h - w, -l + 15 = 3*h. Suppose -t + l = -47. Is t a composite number?
False
Let r(c) = 3*c - 2. Let n be r(6). Let t be n*5*2/4. Suppose -x + t = 4*j - 25, -5*x = 2*j - 379. Is x composite?
True
Let n(d) = 97*d**2 - 2. Let l be n(-2). Suppose 2*u + 12 = l. Is u a prime number?
False
Let o be 112/3 - (-4)/6. Suppose -3*p + 6 = -p. Suppose -p*d = -d - o. Is d a composite number?
False
Suppose 3*k + 275 = 5*n - 2*k, 2*k = 8. Is n a composite number?
False
Let v(p) be the first derivative of 4*p**3 - p**2 + 3*p - 1. Is v(2) prime?
True
Let m = 1316 + -570. Suppose -1121 = -3*y + 4*b, 0*y = 2*y - 3*b - m. Is y composite?
False
Let a(r) be the second derivative of r**4/12 + r**3/6 - 2*r**2 - r. Let k = -3 - 0. Is a(k) composite?
False
Is (-3)/(4 - 1) - -788 a prime number?
True
Let h be (-3)/9 + (-401)/3. Let u = h - -86. Let y = u - -131. Is y prime?
True
Let b(t) = -2*t - 11. Suppose -5*p + f - 42 = 0, 2*p + 3*f = -2*p - 45. Let r be b(p). Is 453/r + (-4)/(-14) a composite number?
True
Let h(k) = 5*k**3 + 2. Let w be h(4). Let x = 479 - w. Is x a composite number?
False
Let c(z) = -z - 2*z + 4 + 0*z. Suppose 0 = -d - 8 + 3. Is c(d) prime?
True
Let t(z) = -3*z - 3. Suppose -5*w + 3 = -2*w. Let y = -4 + w. Is t(y) composite?
True
Suppose 0 = 4*c - p - 24, 7*c - 3*c = 3*p + 32. Let y(t) = 59*t + 12. Is y(c) prime?
True
Suppose 3*l + 4*c - 36 = 0, 2*c = -c + 9. Let r = l - 5. Is -2 + 15 - 0/r composite?
False
Let x(v) = v**3 + 3*v**2 + v + 3. Let r be x(-3). Suppose 4*m - 5*m + 46 = r. Is m composite?
True
Suppose 4*a + 4*u - 1056 = 0, 5*a + 2*u - 1332 = -0*a. Let k = 111 + a. Is k prime?
True
Let d be (-3)/(-2)*28/21. Let a = d + 13. Is a prime?
False
Let p = 1328 - 771. Is p composite?
False
Let j(a) = -a**3 - 9*a**2 - 4*a + 1. Let m(w) = 3*w + 9. Let b be m(-6). Is j(b) composite?
False
Suppose u - 764 = -3*u. Is u a prime number?
True
Let d(o) = o - 5. Let v be d(5). Suppose v*i + 4*i = 276. Is i a prime number?
False
Let x be (-2)/(-11) - 46/11. Let z be (-7)/x + 2/8. Suppose -w = -q - 3*q - 23, -z*w - 2*q - 4 = 0. Is w a prime number?
True
Suppose 4*b - 159 = b. Suppose -v + 4*v + t = 105, 0 = -2*v + 5*t + b. Is v a prime number?
False
Is 187 + 8 + 1 + -5 a prime number?
True
Suppose 9 = 4*o - 3*w, -o - 3*w = -3*o + 9. Suppose -f + o*f = -395. Is f prime?
False
Let u(i) = -2*i**2 - i. Let f be u(9). Let z(t) = -127*t. Let g be z(-2). Let a = f + g. Is a a prime number?
True
Let l be 3/(-6) - 5/(-2). Let k(u) = 444*u - 1. Is k(l) a prime number?
True
Suppose 3*y = -4*t + 25, 0 = -4*y + 2*t + 2 + 2. 