a(g) a prime number?
True
Suppose 3*d = 8*d - 20. Suppose 0*n = d*j + 5*n - 226, -3*n - 6 = 0. Is j prime?
True
Let t(f) = 51*f + 2. Let u be t(2). Suppose -5*z + 2*b = -495, 3*z - 167 - u = -4*b. Is z prime?
True
Let t = 11 + 47. Let q = -34 + t. Suppose 0 = -0*f - 4*f + q. Is f composite?
True
Let y(n) = -18*n - 3. Let g be y(-6). Let z = 198 - g. Let w = -62 + z. Is w a composite number?
False
Let p = 1441 + 4222. Is p composite?
True
Suppose -h + 5*w = -967, 0*w - 2*w - 8 = 0. Is h composite?
False
Let i(g) = g**3 + 17*g**2 + 7*g + 1. Suppose q - 19 = 3*l + 34, 47 = -2*l + 3*q. Is i(l) a composite number?
True
Let t(u) = 6*u**2 + 2*u - 15. Is t(7) composite?
False
Let x be (-4*2)/(-4) - -102. Let i = x - 69. Is i a composite number?
True
Let q be 277/(2*(-4)/(-8)). Suppose 2*b - 98 = 2*h, -q = -7*b + 2*b - 3*h. Is b composite?
False
Suppose 0 = 3*q - 6, -4*q = -5*a + 21 + 581. Is a a composite number?
True
Let d(u) be the second derivative of -u**3/3 + 217*u**2/2 + 5*u. Is d(0) a prime number?
False
Suppose 2*y - 26 = 68. Is y prime?
True
Suppose -3*p = -53 - 22. Suppose y + p - 72 = 0. Is y composite?
False
Let v = 1480 + 1134. Is v a composite number?
True
Suppose 4*l = -3*o - 7, -4*l - 15 = -9*l + o. Let u be (-4)/(-10) - (-938)/5. Suppose 5*s - 615 = 4*j - u, s - 89 = l*j. Is s prime?
True
Let v(w) = -79*w - 1. Let x be v(-3). Suppose -2*d + x = 32. Suppose -7 - 59 = -2*o - 4*f, 3*f - d = -3*o. Is o a composite number?
True
Suppose 5*w = -3*h - 160, 2*h - w + 53 = -71. Let k be ((-22)/8)/(3/h). Suppose -3*v = -y - 59, -3*y = 3*v - 2*y - k. Is v a composite number?
False
Let o(c) = -24*c**2 + c + 2. Let x be o(3). Is (-1 - 0) + (1 - x) composite?
False
Let c(b) = 83*b - 2. Let h be c(8). Let s = h - 429. Is s a prime number?
True
Let g(i) = -i - 1. Let x(l) = l - 2. Let p be x(4). Let c be g(p). Let d(n) = -26*n + 1. Is d(c) a prime number?
True
Suppose -15*p = -3*p - 4548. Is p a composite number?
False
Suppose -7 = -3*f + 5. Let o(y) = -y**2 + 4*y + 5. Let v be o(f). Suppose 2*l = -t + 15, -4*t + 5 = -v*l - 55. Is t prime?
False
Suppose 2*o + 2*o = 0. Let c(w) = 5*w + o*w**2 + 1 + 6 - w**2 + 0*w**2. Is c(5) prime?
True
Let b be -1*(0 + 2) - -7. Suppose -5*k = -0*k + g - 98, 2*k = -b*g + 30. Suppose 3*y = k + 19. Is y prime?
True
Let g = 6 - 3. Suppose g*w + 12 = 2*y - 21, -2*w + 56 = 3*y. Let t = 53 - y. Is t prime?
False
Suppose -423 = -3*n - 3*v, 4*n - 570 = -6*v + 5*v. Is n a prime number?
False
Suppose 0*s = 2*s - 4. Suppose m = -s*c - 6, -5*c - 10 = m + 5. Suppose 2*a + 8 = m, 3*w - 2*w - 4*a = 26. Is w a prime number?
False
Let k(h) = -h**2 - h + 123. Is k(0) composite?
True
Suppose -1 - 11 = -4*a. Let c be (a/(-9))/(2/(-6)). Let x = 22 - c. Is x a composite number?
True
Is -4*(2114/(-8) - 1) a prime number?
True
Let z(f) = f - 1. Let w(b) = 6*b - 6. Let k(n) = 4*w(n) - 27*z(n). Is k(-4) composite?
True
Let h(k) = -149*k**3 - k**2 + 2*k + 1. Let p be h(-2). Suppose -c = 4*c - p. Is c a prime number?
False
Let r(p) = -59*p - 1. Let z be r(-4). Suppose -x + z = -2*j, -70 = -2*x + j + 406. Is x composite?
False
Let l = 170 + -41. Is l a composite number?
True
Is 378 - (20/5)/(-4) composite?
False
Let f(u) = -u**2 - 14*u + 5. Is f(-11) a composite number?
True
Suppose -4*f - 2236 = -4*v, -2*f - f - 4*v - 1691 = 0. Let u be f/21 - 2/7. Let a = -1 - u. Is a prime?
False
Let l = 13 + -11. Suppose -19 = -l*z + 115. Is z a composite number?
False
Suppose -1 = 4*x - 9. Suppose 0 = -x*f - f + 222. Suppose -v - f = -3*v. Is v a prime number?
True
Let w = -3 - -3. Suppose 0 = 2*s - a - 0 - 14, 4*s - 3*a - 24 = w. Is (s/(-2))/((-3)/4) prime?
False
Let q(o) = -3*o + 2. Let m(s) = -10*s + 7. Let v(j) = 6*m(j) - 17*q(j). Is v(-7) a prime number?
True
Suppose 0*q + q = 1055. Is q a prime number?
False
Let x = -73 - -166. Is x composite?
True
Let g = -381 - -539. Is (-1)/(-1)*(g + 8) a composite number?
True
Suppose 5*k - 14 = -3*q, -4*k = -q + 3*q - 12. Suppose k*c - 209 = -3*s, -5*c - 3*s = -s - 263. Is c composite?
False
Let z(g) = -11*g**2 + 59*g - 15. Let f(d) = 4*d**2 - 20*d + 5. Let t(a) = 17*f(a) + 6*z(a). Is t(-14) prime?
True
Let w(o) = o + 2*o - 8 + 2*o. Let f be w(-6). Let q = f - -84. Is q composite?
True
Let o be (-2 - (2 + 4))/(-2). Suppose -o*h + 31 = 5*m, -8 = -3*h + 4. Let c(z) = -z**3 + 4*z**2 - z + 4. Is c(m) a composite number?
True
Let h(f) = -2*f + 1. Let s be h(-2). Suppose -b - 4*r + 39 = 0, s*b + 95 = -3*r + 290. Suppose 50 + b = a. Is a a composite number?
False
Suppose 0 = 4*y - 2*w + 11 + 3, 5*w = -15. Let i = 8 - y. Is i prime?
True
Let s = -4 - -6. Suppose -4*w + 8 = 0, 5*o - s*w - 511 = -0*w. Is o prime?
True
Suppose 0 = -b - 4*b - 15. Let z be 1/b + 22/(-6). Is (22/8)/(z/(-16)) a composite number?
False
Let g = -3236 + 5948. Suppose -3*a - 675 = -g. Is a composite?
True
Suppose 3*u - 5*l - 47 = 0, 2*l + 5 = 3. Suppose 105 - u = t. Is t prime?
False
Suppose 5*k + 1 + 18 = a, -5*k = -2*a + 18. Let l(p) be the third derivative of -19*p**4/12 - p**3/2 + p**2. Is l(k) a prime number?
True
Let i = 12717 + -8014. Is i a prime number?
True
Suppose 3*l + 9 = 0, 0 = 3*g - 2*l - 331 - 266. Let s = g + -70. Is s prime?
True
Let x(r) = -r + 6. Let b be x(3). Suppose -b*n + 60 = -n. Suppose 5*t - n = 2*t. Is t a composite number?
True
Let o be 11/(-33)*(-8 - 1). Suppose o*j - 100 = -j. Is j prime?
False
Let b(p) = 2*p**2 + 10*p - 7. Let k = 8 - 17. Is b(k) composite?
True
Let t(q) = q**3 + 7*q**2 - 7*q + 11. Let z be t(-8). Let r(b) = 4 - 7*b**2 + b**z + 5*b + b**3 - 3*b. Is r(5) a prime number?
True
Let c be 1 + -2 + (0 - -5). Suppose -a = 5*v + 196 - 620, -5*v + 400 = -5*a. Suppose 3*h = -k + c + v, 5*k + 2*h = 427. Is k a composite number?
True
Let t be 10/(-45) + 86/(-18). Let d(n) = 4 - 4 - 17*n. Is d(t) a composite number?
True
Suppose -3*y - a = 8, 0*y + 5*y + 11 = -4*a. Is 10/(-15) + (-707)/y prime?
False
Let l be -2*(-2 + 1 + 0). Suppose 6 = v + v. Suppose -w = -l*g - 6 - 4, -4*g = v*w - 50. Is w a composite number?
True
Let l(i) = -i + 2. Let s be l(-9). Suppose -s - 1 = 3*f. Is 8*(-1)/f*13 a prime number?
False
Let n(h) = 3*h**2 - 5*h + 3. Suppose 8*b = 3*b. Suppose 5*o - 15 = -b. Is n(o) prime?
False
Let s(n) = 111*n**3 - n**2 + 1. Is s(1) a composite number?
True
Let v(g) = -33*g - 11. Is v(-8) prime?
False
Suppose 0 = -p - 3*p + 20. Suppose -430 = -p*o + 1215. Is o composite?
True
Let w(c) = -84*c + 5. Is w(-4) a prime number?
False
Suppose b - 43 = -5*n, 0*b + n + 235 = 4*b. Let k = 90 + -53. Let w = b + k. Is w a prime number?
False
Let r(o) = o**3 - 9*o + 3. Is r(8) a prime number?
True
Let v be (-3)/(-1 + (-6)/(-15)). Suppose 2*q = q - 4*g - 18, 18 = -v*q + 4*g. Let d(b) = 2*b**2 + 8*b - 5. Is d(q) prime?
True
Suppose -4*u + 0*w = -2*w + 22, -4*u - 4*w = 28. Let j be 6/(-1)*3/u. Suppose 2*t - 32 = -2*o, -5*t + t + 50 = j*o. Is o composite?
True
Is (7/(-21))/((-2)/2478) a prime number?
False
Is 268/10*(-50)/(-20) prime?
True
Suppose -v = 2*h - 5*h + 2302, -h = -v - 768. Is h composite?
True
Let p = 589 - 243. Is p composite?
True
Is 3*(-3)/(-9) - -336 composite?
False
Let z(b) = 2*b**2 - 4*b + 3. Let a be z(2). Suppose u = 6*u + 10, -4*u + 103 = a*h. Is h composite?
False
Suppose -577 = -4*m - 3*y, -51 = 2*m + 4*y - 347. Suppose m = u + u. Let z = u + -49. Is z composite?
True
Suppose 0 = -3*i - 11 + 2. Is 1/i + 171/27 a prime number?
False
Suppose 4*b - 25 = -h, b - 5*h = -1 + 2. Suppose 3*z + 222 = b*z. Is z prime?
False
Let q = 467 + -174. Is q a prime number?
True
Is (-187)/(-5) - 7/((-105)/(-6)) prime?
True
Is (-4 + 453)/(-3 + 4) a composite number?
False
Let u(p) = 8*p**2 - 10*p - 13. Is u(8) composite?
False
Let s(d) = 4*d**2 + 1 + 4 + 0 + 3*d - 2. Is s(5) composite?
True
Let x(t) be the third derivative of -t**6/120 + t**5/20 - t**4/24 + 7*t**3/6 - 3*t**2. Let w be x(5). Is 1*(-1 + 0 - w) a composite number?
False
Suppose 3*v = r - 104, -4*v = 4*r - r - 273. Is r prime?
False
Suppose -2*z = -4*z, -3*h + 3*z + 6 = 0. Suppose -5*n + 2*m = -1523, -m - h = 2. Is n a prime number?
False
Let j = 17 - 7. Suppose -j = -4*b - b. Suppose l - 3*z = -l + 95, -b*l = 3*z - 101. Is l composite?
True
Suppose 3*k - 2*k - 48 = 0. Let f = k + -15. Is f a composite number?
True
Let v = 4 + -26. Let o = -3 - v. Is o pri