et b = -10 - h. Is b a prime number?
False
Let t = 15 + 225. Let y = t - 155. Suppose 71 = 4*i - h, -3*h + h - y = -5*i. Is i prime?
True
Let v(u) = 10*u + 7. Is v(7) a prime number?
False
Let n = 348 + -57. Let l be 3 - (0 + 3) - -361. Suppose -l - n = -4*t. Is t a prime number?
True
Suppose 0 = -2*n + 2*v + 12, 16 + 3 = -n - 4*v. Let u = n + -2. Let m = u + 16. Is m prime?
False
Let n(v) = v - 1. Let y be n(-3). Let w be -1 + -1 + 132/(-1). Is w/y - 4/8 a prime number?
False
Let k(a) = -27*a. Let h(p) = -1. Let t(o) = -4*h(o) - k(o). Is t(3) a prime number?
False
Let f be -2*(-1 + -1 + 4). Is f/(-1 + 3) - -37 a composite number?
True
Let m(a) be the second derivative of a**5/20 - 3*a**4/4 + 7*a**3/6 + 4*a**2 + a. Let z be m(8). Suppose -s - 4*y = s - 22, -5*y + 10 = z. Is s prime?
True
Suppose 2*o - 7*o + z = -22190, z - 17761 = -4*o. Is o a composite number?
True
Suppose -3 = 4*m + 21. Let n(f) = -18*f + 3. Let i be n(m). Suppose 48 + i = a. Is a prime?
False
Suppose -3 = -2*d - 3*t + 8, -3*d - t + 13 = 0. Suppose o - d*o = -1173. Is o prime?
False
Let t(f) = 10*f**3 + 3*f**2 + 6*f - 6. Is t(4) a composite number?
True
Suppose 2*c = -0 + 4. Let s(u) = 3*u**3 + 2. Let b be s(c). Suppose -2*q + b = -0*q. Is q a prime number?
True
Suppose a - 5*a - 16 = -4*l, 3*l = -a + 4. Suppose -l*x - 61 = 45. Let v = -16 - x. Is v prime?
True
Let q(k) = -k**3 + k**2 + 201. Let h be q(0). Suppose -2*l + h = 2*l + 3*t, -2*t - 2 = 0. Is l prime?
False
Let g(o) = o**2 + 3*o + 3. Let k be g(-2). Let q(p) = 4*p**2 + 3*p**2 - p**3 - k - 3*p + 2*p**3. Is q(-6) composite?
False
Is -1*3/((-9)/363) a prime number?
False
Let a = -9 - -4. Let p = 10 + a. Suppose 5*x = 4*h - 0*h - 171, -240 = -p*h + x. Is h a prime number?
False
Suppose -t + 2*t + 2*u - 1112 = 0, 3*u - 3339 = -3*t. Is t a composite number?
True
Let z be (-4 - -3) + 48 - 2. Suppose 62 = 2*x - 4*r, x + z = 2*x + 5*r. Is x a prime number?
False
Is (5 - (-15)/(-2))*2292/(-10) composite?
True
Let g = 8 - 10. Is g*(3 + (-939)/6) a composite number?
False
Let d(j) = j**2 - 5*j + 45. Is d(13) prime?
True
Suppose 25753 + 16240 = 7*p. Is p a composite number?
True
Let b = 495 + -281. Suppose -3*f + 71 + b = 0. Is f prime?
False
Let j(o) = o**3 - 9*o**2 + 9*o - 2. Let t be j(7). Let i = 16 - t. Is i a composite number?
False
Suppose 10 = -l + 2*l. Is l a prime number?
False
Suppose 7*i - 4*i = 15. Suppose -366 = -3*x + i*w, -644 = -5*x + w - 4*w. Is x a composite number?
False
Suppose 49 = -2*z - g, 2*z + 3*z = g - 112. Let c = z - -33. Suppose 0 = t - c - 0. Is t a composite number?
True
Let o(b) = -3*b**3 - 6*b**2 - 4*b - 8. Let a(n) = 7*n**3 + 11*n**2 + 9*n + 15. Let c(m) = 2*a(m) + 5*o(m). Is c(-9) a prime number?
True
Suppose 0 = -45*i + 40*i + 3565. Is i a composite number?
True
Let n(h) = -5 + 10*h**2 - h**3 + 0*h + h + 0*h**3 - 3*h. Is n(4) a composite number?
False
Suppose 4 = j + 2. Suppose j*t = 3*z - 5, -26 + 3 = -5*z - 4*t. Suppose z*f - 70 = 257. Is f a prime number?
True
Suppose -9*w + 9282 - 2361 = 0. Is w a prime number?
True
Let d(g) = -g**3 - 3*g**2 + 5*g + 6. Let x be d(-9). Is x*2/12*2 prime?
True
Let a = 268 - -476. Is ((-4)/6)/((-16)/a) a composite number?
False
Let r(g) = -g**2 - 6*g - 3. Let o be r(-5). Suppose 0 = q + p - 60, o*q - 63 = q - 4*p. Is q prime?
True
Let m = 26 - 19. Is m a prime number?
True
Suppose 3*s - 852 = -s. Is s composite?
True
Suppose -5*s = 3*n - 364, 95 = 4*n - 3*s - 371. Is n*(10/4 + -2) prime?
True
Suppose -5*i - 12 = -37. Let w(q) = q**2 + 11*q - 10. Let g be w(-12). Suppose p - 173 = -g*p - 2*m, 3*p = i*m + 166. Is p a composite number?
True
Let d(r) = 108*r**2 - 3*r + 2. Is d(-3) composite?
False
Let h(l) = l**3 - 7*l**2 + 6*l - 5. Let j be h(6). Let s = j + 31. Suppose 0 = -3*q - 2*k + 91, 5*k = -q - 0*k + s. Is q a composite number?
False
Suppose 5*p + 7*p = 16908. Is p prime?
True
Suppose -4*m - 13 - 23 = 0. Let j(t) = -t**3 - 6*t**2 + 14*t + 10. Is j(m) prime?
True
Let m(v) = v**3 + 6*v**2 + 6*v + 1. Let p be m(-5). Let i be (-5)/p*2*-4. Let k = 25 - i. Is k a prime number?
False
Let i(o) = -8*o + 1. Let s = 7 - 11. Let q be i(s). Let u = q + 4. Is u a composite number?
False
Let t(a) = 37*a. Let p(w) = 2*w**2 - 2*w - 1. Let s be p(-1). Let n be t(s). Let r = -22 + n. Is r composite?
False
Let u be 283 + (2/(-2))/1. Let v = u + -23. Is v composite?
True
Let w(y) = y**2 + 2*y. Is w(-7) prime?
False
Suppose -4*c + 8*c = -4*b + 436, b - c = 109. Is b a composite number?
False
Let r be (2 - -1) + -2 - -1. Suppose 36 = -r*v + 104. Is v prime?
False
Let q = -625 + 902. Let t = q + -154. Is t composite?
True
Let a be 1 + 10 + -3 + 2. Let n = 17 - a. Is n a prime number?
True
Let o be 84/(-8)*(-4)/6. Let c = 44 - o. Is c composite?
False
Suppose -r - 2*r + 435 = 0. Is r a composite number?
True
Suppose 0 = w + 4, w + 0*w = -4*o + 8. Suppose 1 = r - 2*g, r - 5*g - 13 = -o. Let l(q) = -q**2 - 10*q - 6. Is l(r) prime?
True
Let n(b) = -2*b + 5 + 2*b + b + b**2. Is n(8) prime?
False
Suppose -2*a - 1 = m, -3*a + m - 4 = 3*m. Suppose -2*x - a = 2*j - 4*j, 4*j = -x - 1. Suppose u - 6 = -j*u. Is u prime?
False
Suppose 0 = 5*z - i + 17, 0 = -0*z + z + i + 1. Suppose -9 = 3*p + 18. Is ((-138)/p)/(-1)*z a composite number?
True
Is (2 - -3) + -4 - -988 a composite number?
True
Let r(t) = 11*t**2 - t. Suppose 5 = x + 2*h, -3*h + h + 9 = -3*x. Let b be (x + 0)*(-6)/(-3). Is r(b) composite?
True
Let r(s) = -s**3 - 11*s**2 - 3*s + 11. Let y be r(-13). Suppose -w = -0*w. Suppose 4*b - y = -w*b. Is b composite?
False
Let v(a) = -a**2 - 6*a - 5. Let k be v(-5). Suppose k = -4*u - 0*u + 808. Suppose -h = 2*h - 2*c - 197, u = 3*h - c. Is h prime?
False
Suppose -5*o + 5 = 4*m, -3*o - 2 = 4*m + 3. Suppose -5*b - 10 = 2*n, o*b = 2*b + 5*n + 25. Suppose -4*w + 159 + 69 = b. Is w a composite number?
True
Let p(d) be the third derivative of 19*d**4/24 + 2*d**2. Is p(3) composite?
True
Let l(i) = 401*i - 1. Let x be l(1). Suppose 164 = 2*r + 3*t, 0 = 5*r - 0*t + 5*t - x. Let d = r - 51. Is d a composite number?
True
Let w(j) be the first derivative of -j**3/3 + j**2/2 + 91*j - 2. Is w(0) composite?
True
Suppose 0 = -x - 5*f - 104, -4*x - f - 332 = -2*f. Let m = -37 - x. Is m a composite number?
False
Let t = -1460 - -2194. Is t a prime number?
False
Suppose -146 = -5*j + 139. Is j composite?
True
Let z = 0 + 19. Suppose 2*w + z - 173 = 0. Is w prime?
False
Suppose 29*s - 27*s = 9962. Is s a composite number?
True
Suppose 0 = t - 0 - 2. Let a be (-2 + 12)*t/4. Suppose a*g = -3*p + 2007 - 508, -2*g + 594 = 4*p. Is g composite?
True
Let h = -732 - -377. Let q = -41 - 103. Let u = q - h. Is u a composite number?
False
Suppose 1 = -2*g - 5*b, 5*b = 4*g - 4 - 9. Suppose 0*o + n = -5*o + 137, 2*n + 118 = 4*o. Is 1044/o + g/(-7) prime?
True
Suppose 0 = -5*z + 3*m + 553, -224 = -2*z + 4*m - 0*m. Suppose -2*k + z = 3*k. Is k a prime number?
False
Let q = 3847 - 2684. Is q composite?
False
Let w = 0 + 2. Suppose -w*x + 52 = -54. Is x a prime number?
True
Let v(o) = 23*o**2 + 12*o + 6. Is v(13) a composite number?
False
Let p(i) = i**2 - i + 163. Is p(0) a prime number?
True
Let t be ((-4)/12)/(2/(-18)). Suppose 0 = t*g - 4 - 2. Is (g/(-3))/((-8)/228) a composite number?
False
Suppose 2*g = -3*h - 2, 2*g = 4*h + h + 14. Let r(n) = -n + 26. Let f be r(-19). Suppose -g*o + f = o. Is o a prime number?
False
Let d(l) = 8*l**2 + 5*l + 1. Let t(a) = a**2 - 5*a - 2. Let q be t(6). Is d(q) a prime number?
True
Let g(u) = 10*u - 9 + 7 - 17 - 5*u**2 + u**3 - 9*u**2. Is g(14) prime?
False
Let v(k) = 5*k**2 + 10*k - 20. Let n be v(14). Suppose 0*g + n = b + 3*g, b = 2*g + 1095. Is b a prime number?
True
Let j(a) = -4*a**2 - 10*a - 7*a + 4 + 3*a**2 + 5. Is j(-14) composite?
True
Suppose f - 3*g = 42, 5*f - 174 = -0*g + 3*g. Is f a prime number?
False
Suppose 26*m - 892 = 22*m. Is m a composite number?
False
Let l = -30 - 31. Let y = 152 + l. Is y a composite number?
True
Let f(z) = z**2 + z - 6. Let n be f(-6). Let k = n + -11. Is k a prime number?
True
Let d = 6 + 15. Suppose 0 = 9*w - 10*w + 4. Suppose 77 - d = w*s. Is s prime?
False
Suppose -295 = 7*n - 8*n. Is n a prime number?
False
Suppose 1 = b - 0*b. Is 48 - (0 - -1)/b a prime number?
True
Suppose 0*h + 6*h - 3126 = 0. Is h prime?
True
Suppose 2*l = 5*l 