e
Let z = 9 - -38. Suppose -2*g + 0*g + 2*b = -84, g + 4*b - z = 0. Is g prime?
True
Let v(g) be the second derivative of 1/2*g**3 + 0 + 2*g**2 + g. Is v(6) a composite number?
True
Suppose -33 = -2*g - 2*r + r, 2*r - 85 = -5*g. Is g composite?
False
Is 4/10 - 9384/(-40) prime?
False
Let q = 1021 + -572. Is q a prime number?
True
Suppose 4*y + p - 7 + 3 = 0, p = -5*y + 6. Is (y/3)/((-6)/(-1089)) prime?
False
Let x(i) be the second derivative of 123*i**4/2 - i**2/2 + 3*i. Is x(1) a composite number?
True
Suppose 3*s + 68 = -n - n, 2*s - 68 = 2*n. Let z = -16 - n. Is (z/1)/2 - -2 prime?
True
Let b(a) = 3*a - 2. Let h be b(2). Suppose -d + 3*x - 2 = 5*x, -4*x + h = d. Let z(j) = j**2 + j + 3. Is z(d) a composite number?
False
Suppose 0*d + 570 = 2*d. Let l = -153 + d. Suppose v + 3*v = l. Is v a prime number?
False
Suppose -2*u = 74 - 282. Let n be (-4 + 3)/((-1)/15). Let w = u - n. Is w a prime number?
True
Let t = 137 - 67. Suppose 3*j = -f + 95, -33 = -3*j - 5*f + t. Is j a prime number?
True
Let r be (-3)/9 + (-622)/6. Let o = r + 66. Let i = -19 - o. Is i composite?
False
Let w = 95 - -92. Is w a prime number?
False
Let l(t) = 4*t**2 - 4*t + 1. Let o be l(5). Is o/6 + (-6)/(-4) composite?
True
Let b be 1*(-1)/3*-18. Let v(s) = s**3 - 4*s**2 + 6*s - 5. Is v(b) composite?
False
Let b(g) = -g**2 - 7*g - 5. Let o be b(-4). Is 579/o - (-10)/35 prime?
True
Let g be (2/4)/(2/4). Is 1 + 0 + 167 + g a prime number?
False
Suppose 13 + 7 = 4*f. Let o(d) = -6 + d**3 + 0*d + 3*d - 4*d**2 + 0*d**2. Is o(f) composite?
True
Let q(t) = -19*t**2 - t - 5. Let s(h) = 39*h**2 + 2*h + 11. Let m(d) = -5*q(d) - 2*s(d). Is m(3) composite?
True
Let b(n) = n**2 - 7*n - 10. Let h be b(9). Suppose -5*a = 15, t + h*a = 4*a + 115. Is t a prime number?
True
Let l(k) = -k**3 + 7*k**2 + 9*k - 9. Let i be l(8). Is (i - -3)*3 - -1 prime?
True
Let c(f) = f**3 - 8*f**2 + 2*f - 12. Let r be (21/(-14))/((-1)/6). Is c(r) composite?
True
Let m(c) = c**2 + c. Let u be m(0). Suppose u = -2*k + 5 + 1. Is k prime?
True
Suppose d + t = 6*d - 115, 0 = -d + 2*t + 32. Suppose 5*n - d = 13. Let x(f) = -f + 17. Is x(n) prime?
False
Let i(w) be the second derivative of w**5/20 + 11*w**4/12 + 7*w**3/6 - 5*w**2/2 + 5*w. Is i(-10) a prime number?
False
Suppose 4*a - 28 = 5*d + 13, -10 = 2*d. Suppose -o + 265 = a*o. Is o a composite number?
False
Suppose -5*a + 0*a + 15 = 0. Suppose a + 9 = b. Suppose -2 = m - b. Is m a prime number?
False
Let k(v) = 9*v**2 + 42*v - 25. Is k(-20) prime?
False
Let u = 138 + 47. Is u prime?
False
Let j = -448 + 733. Let o be 32/12*j/(-2). Is (1/2)/((-2)/o) prime?
False
Let y = 10 - 5. Let s be -2*(-1*y - -2). Suppose -d - 255 = -s*d. Is d a prime number?
False
Is 7/(-14) - (-9)/(-6)*-89 prime?
False
Suppose -6*j = -2*j - 184. Is j prime?
False
Let d(t) = 42*t**3 + t**2 - 3*t + 1. Is d(2) prime?
False
Let l = 1862 + -1229. Is l composite?
True
Suppose 2*i + 2*f - 96 = 0, -3*i + 2*f + 88 = -i. Let d = i - 16. Let l = -11 + d. Is l a prime number?
True
Let x = -1 - -5. Let i be 4/(-14) - (-9)/7. Suppose -x*m = -i - 131. Is m composite?
True
Let k(s) be the third derivative of -11/24*s**4 + s**3 + 0*s + 0 - 3*s**2. Is k(-11) composite?
False
Let q(b) = 39*b - 1. Let l be q(2). Suppose 547 = 5*i + l. Is i a composite number?
True
Let h(x) = -3*x + 12. Let n be h(8). Let p = n - -47. Is p composite?
True
Let n(b) = 3*b - 10. Let m(w) = w + 2. Let i be m(-2). Let g be (-3)/(i - 9/21). Is n(g) composite?
False
Let o(v) be the third derivative of v**5/60 - 5*v**4/24 - 3*v**3/2 + 2*v**2. Let j be o(7). Suppose j*i - 32 = 2*p + 113, -104 = -4*i + 4*p. Is i prime?
True
Let t(k) be the third derivative of -k**6/120 + 2*k**5/15 + k**4/8 + 7*k**3/6 + 2*k**2. Is t(8) composite?
False
Suppose 3*k + 4*q - 452 = 269, -2*k + 5*q = -473. Is k composite?
False
Suppose -3*w + 906 + 15 = 0. Is w composite?
False
Let o = -6 + 15. Let a(n) = n**3 - 5*n**2 + 10*n + 10. Let y be a(o). Suppose -c + 3*p = -208, -y = -c - c - 2*p. Is c composite?
False
Suppose 4*d - w + 105 = 2*w, 2*d + 3*w + 75 = 0. Is (-5)/2*1044/d prime?
False
Suppose -4*q = -r - 93, -2*q + r + 42 = -r. Suppose -5*f + s - q = 28, -46 = 5*f - 3*s. Let a = 18 + f. Is a a composite number?
False
Let x be (-4615)/(-25) + 6/(-10). Suppose 4*m - x = -0*m. Is m prime?
False
Suppose -6*a + 3*a - 9 = 0, -18 = -4*d + 2*a. Let w = 3 - d. Suppose 5*x + 13 = 2*o, o + w*o - 5*x - 9 = 0. Is o composite?
True
Let x(g) = 151*g + 11. Is x(12) a prime number?
True
Let n(k) = -k**3 + 22*k**2 + 20*k - 15. Is n(16) a composite number?
True
Let x(w) = -w**2 + 7*w + 3. Let k be x(7). Suppose -l + 3*r + 39 = 2*r, -k*r + 23 = l. Is l a composite number?
True
Suppose -2*x - 2*x = -20. Let r(i) = i**3 - 4*i**2 - 5*i + 2. Let o be r(x). Suppose 5 = o*g - 57. Is g prime?
True
Let j = -277 - -432. Is j a prime number?
False
Suppose -3*l - 223 = -4*l. Is l prime?
True
Let j(v) = 3*v**2 - 3 + 9*v + 6*v**2 + 2 - 4. Is j(-7) prime?
True
Let j be (9/(-6))/((-2)/(-36)). Is 2/4 + j/(-2) a prime number?
False
Suppose -q - 4*q + 1255 = 0. Is q composite?
False
Suppose 0*w = 2*w - 1600. Suppose 3*s + 0*s - 2364 = -3*o, -o + 3*s + w = 0. Is o prime?
False
Suppose -h + 445 = 4*h. Is h composite?
False
Is 5/(((-6)/(-303))/2) composite?
True
Is (491/2)/(1/2) prime?
True
Let t(k) = 0 - 3 - 4*k - 1 + k. Let x be t(-3). Suppose 17 = x*w - 38. Is w composite?
False
Suppose 6 = 5*q - 4*q. Let z = -8 + 11. Suppose -z*j - 237 = -q*j. Is j a prime number?
True
Let i be (-1)/(-3)*6/1. Suppose -2*y - 4 = -3*l, -i*l + 5 = 2*y - y. Is 2 + (-58)/((-4)/l) a prime number?
True
Suppose 4*p - 58 = -2*q, 18 + 23 = q - p. Is q prime?
True
Let n be ((-220)/(-6) + -2)*3. Let h be (n/8)/(2/(-4)). Let t = 45 + h. Is t prime?
True
Let d be (-1)/(-1)*15/5. Let m = -25 - -116. Suppose 3*n - 5*j = 149, j = -d*n + m + 34. Is n a composite number?
False
Let b = -138 + 196. Is b composite?
True
Suppose 2*b = 3*d + 3, 0 = d + b + 1 - 0. Let z = -7 + 10. Let t = z - d. Is t composite?
True
Suppose -30 + 170 = 4*q. Is q composite?
True
Let z = -65 + 232. Suppose 2*j - 130 = -4*s, 4*s - 22 + z = 3*j. Is j composite?
True
Let s(p) = 3*p**2 - 2*p + 1. Let h be s(1). Let t(o) = -2 + 1 + o**2 + 4*o**h. Is t(-2) composite?
False
Suppose -3*u - 5*v = -27, 2*u - u + 5*v = 19. Suppose 10 = t + t. Suppose 5*a + 4*o + t = 0, u*a + o + 3 = -2*o. Is a composite?
False
Is (-9 - -7)*469/(-2)*1 composite?
True
Suppose 3*v - 3*m = 2*v - 10, 4*v + 2*m - 16 = 0. Suppose 0 = -t - v*t - 498. Let j = 243 + t. Is j a prime number?
False
Suppose -3*c + 55 = 2*c. Is c a prime number?
True
Let w(n) = -40*n - 1. Is w(-3) prime?
False
Let d be 6/15 + (-922)/5. Let l = -51 - d. Is l a prime number?
False
Suppose 31 + 1 = 2*n. Let y = n - 28. Let h = y + 125. Is h composite?
False
Is 10944/21 - 5/35 a prime number?
True
Suppose 31 = 5*o + 6. Let g(d) = 3*d**2 - 6*d + 1. Is g(o) a composite number?
True
Let z be -10*(9/(-6) - -1). Suppose -3*c + 142 = -z*g, c = -c + 3*g + 93. Is c composite?
True
Let l = 686 + -432. Let q = -49 + l. Is q a composite number?
True
Suppose 5*w = 413 - 23. Suppose w = 5*t - 17. Is t a composite number?
False
Let n(z) = -z**3 - 11*z**2 + 11*z - 7. Let k be n(-12). Suppose -v - 3*v - 63 = -f, k*v = -3*f + 257. Is f a prime number?
True
Let m = -148 + 213. Is m composite?
True
Let y(w) = -w - 4. Let r be y(-4). Let m be 2/(-5) + 36/15. Suppose -5*g - 50 = 2*a - 3*a, m*a - 4*g - 106 = r. Is a a composite number?
True
Is (-13915)/(-25) + 2/5 composite?
False
Suppose 0*l + 158 = 2*l. Is l prime?
True
Suppose 697 - 2368 = -b. Is b composite?
True
Let h be 3/(2*6/16). Let t(v) be the second derivative of v**5/5 - v**4/6 - 2*v**3/3 - 3*v**2/2 - 9*v. Is t(h) prime?
False
Let m(u) = -u**2 + 14*u + 9. Is m(12) prime?
False
Is (-7)/(-3*4/636) prime?
False
Suppose -345 = -2*i - i. Is i a composite number?
True
Let z be 9*(-2 + (-8)/(-3)). Is 34*(1 - (-3)/z) a composite number?
True
Suppose 2*u - 20 = -2*u. Suppose u*q + 142 = 2*z + 633, 4*z + 109 = q. Is q a composite number?
False
Suppose 0 = 4*j + 3*l - 2468, 0 = -5*j - 4*l + l + 3085. Suppose -j = -f - 198. Is f prime?
True
Let z = 61 + -104. Let u(j) = -j**2 - 4*j + 3. Let b be u(4). Let r = b - z. Is r prime?
False
Let k(u) = u**2 - u - 4. Let f(w) = w**2 - 