 composite number?
True
Let a(j) = -2*j**3 - 4*j**2 + 2*j - 6. Let v(o) = -4*o**3 - 7*o**2 + 4*o - 11. Let x(c) = 7*a(c) - 4*v(c). Is x(4) a prime number?
False
Let r(w) = w + 4. Let z be (7 - 0)*5/(-5). Let u be r(z). Is (-3 - 10/(-6))*u prime?
False
Let x(b) = -5*b**3 - 4*b**2 - 4*b + 3 - 6 - 2*b**2 + 3*b**2. Is x(-2) prime?
False
Let g = 1064 - 651. Is g a prime number?
False
Let y = -108 - -487. Is y prime?
True
Let l = 7 + -4. Suppose l*v = 3*d + 83 - 11, v - 4 = -3*d. Is v a prime number?
True
Let i(w) = w**3 - 3*w**2 + 2*w - 2. Is i(5) composite?
True
Let q = 7 + -4. Let d = q - 3. Suppose 0*y - 3*y + 42 = d. Is y prime?
False
Let w be 2/(-7) + 16/7. Is ((-7)/w)/(1/(-34)) a composite number?
True
Suppose -13007 = -4*n + 1877. Is n prime?
False
Let k(u) = -u**2 + 3*u. Let m be k(3). Let p(a) = -a**3 + a - 29. Let s(g) = -1. Let y(r) = -p(r) + 6*s(r). Is y(m) prime?
True
Let t(i) = -i**3 + 6*i**2 - 3*i - 7. Let m be t(5). Suppose -2*z + g + 3*g = -1046, -3*z + 1596 = m*g. Is z prime?
False
Suppose 9*v - 6903 = 4*v + 2*h, -3*v - 2*h = -4145. Is v composite?
False
Let h(n) = 11*n - 8. Let x be h(-6). Is 3/2*x/(-3) prime?
True
Let v = 30 + 16. Suppose v + 23 = 3*x. Is x a composite number?
False
Let q = 11 + -4. Let v = 0 + q. Is v composite?
False
Let j = 5 + -1. Let k be j*(-1)/6*-3. Suppose k*b = -3*b + 190. Is b prime?
False
Suppose 2*j = -4*n + 4, 2*n + 4*j = -2*n + 8. Is (-2 - n)/2 + 80 a prime number?
True
Suppose -l + 171 = -1078. Is l a prime number?
True
Suppose 0 = -5*t + 131 + 1404. Is t prime?
True
Suppose -3*t - 87 = -3*i, 2*i = 7*i - t - 153. Is i a prime number?
True
Let h(w) = w**3 - 3*w**2 - 4*w + 8. Let l(b) = -b**3 - b**2 + b - 1. Let o(c) = h(c) + 2*l(c). Let s be o(-5). Let x = s + 33. Is x a prime number?
False
Suppose 4*g + 3*y - 64 = 3*g, -3*g - 3*y = -174. Is g a prime number?
False
Suppose 4*j + 5*h - 181 = 0, -3*j + 4*h = -75 - 53. Let v be (j/3)/((-4)/(-42)). Suppose 0 = -c - c + v. Is c composite?
True
Suppose 8*x - 225 = 3*x. Let c = 6 + x. Is c prime?
False
Let z(c) = -c**3 + 10*c**2 - 4. Is z(7) prime?
False
Suppose 3 = x - 0*x. Suppose m - 1944 = -4*b - x*m, -b + 2*m + 501 = 0. Is b prime?
True
Suppose 0*n - 4*n + 24 = 0. Let s be ((-3)/(-2))/(n/16). Suppose 5*k - 4*g = 270, 3*k + 0*k + s*g = 194. Is k composite?
True
Suppose o + 8 = 5*u + 4*o, 2*o = -2*u. Let y(q) = -q**2 + 8*q + 3. Is y(u) prime?
True
Let v be -14 + 15 - (-197 + 1). Let c = v + -18. Is c a prime number?
True
Let i = -21 - -46. Let y = 12 + -26. Let j = y + i. Is j composite?
False
Let c = -7 + 10. Let t(q) = q**c + 3*q**3 - 2 - 3*q**3 + q**2 + 3*q. Is t(3) composite?
False
Let f = -8 + 10. Is (539/(-2))/(-7)*f prime?
False
Suppose 8 = 2*z - 0, f - z - 34 = 0. Let u = f + -3. Is u a prime number?
False
Let g(v) = v**2 + 3*v**3 - v + v - 3 + v. Let a be g(4). Suppose 2*z = 5*k - 0*z - a, 5*k = -4*z + 227. Is k a composite number?
False
Is (3356/10)/((-6)/(-15)) prime?
True
Suppose -3*z = 3*r, 0*r - 5*z = 3*r. Let u be ((-4)/6)/(1/(-6)). Suppose r = 3*f - q + 5*q - 251, 283 = u*f - 5*q. Is f prime?
False
Let d be (-1 - (1 - 3))*1. Is d*((-52)/(-2) + -3) a prime number?
True
Let m be (0 - 1)*6/(-2). Suppose m*o - 193 = 4*s, -2*s - 11 = 2*o - 149. Is o a composite number?
False
Let u(j) be the third derivative of -13*j**4/12 + j**3/2 + 4*j**2. Suppose -2*k + k - 8 = 0. Is u(k) a composite number?
False
Suppose 6 = t + t. Suppose t*a - 4*a = -95. Is a a composite number?
True
Let m = -14 - 4. Let v be 1 - 1 - (-32 - 1). Let q = v + m. Is q a composite number?
True
Is (-250 - 4)/((-2)/7) a prime number?
False
Suppose 8 = 2*q, 0 = -0*u + u + q + 398. Suppose 0 = 5*i + 25, 2*f + 0*f + 551 = 3*i. Let c = f - u. Is c composite?
True
Is -4 - (-2)/(-2)*-137 a composite number?
True
Let g(z) = -z**3 + 5*z**2 - z + 3. Let m be g(5). Is 1 - -68*(3 + m) prime?
False
Let z(k) = 3 - k - 6*k + k - 2. Is z(-6) prime?
True
Suppose -37 + 178 = -3*s. Let w = -17 - s. Let t = w + -21. Is t prime?
False
Let i(y) = 0 - 13*y + 1 + 4*y. Let q(f) = 17*f - 1. Let a(k) = 5*i(k) + 3*q(k). Is a(2) composite?
True
Suppose 0 = 4*a - 3*l - 5841, -5*l + 8*l = -3*a + 4386. Is a prime?
False
Suppose -4*z + 12 = -2*m + z, 16 = -m + 5*z. Let y(t) = 32*t**2 - t - 1. Let c be y(2). Suppose m*h - c = -h. Is h prime?
False
Let s(h) = -h**2 - 11*h - 5. Let x(m) = -m**2 + 9*m - 9. Let q be x(7). Let k = -10 + q. Is s(k) a prime number?
False
Is (-1 - -6)*(-59)/(-5) composite?
False
Suppose -2*v + 3*a - 3 = 0, -4*v + 4*a + 3 + 1 = 0. Is (-3)/(v/58)*-17 a prime number?
False
Let s be (-1)/(-4) + 2356/(-16). Let c be (-3)/9*s/1. Is (-215)/(-7) + 14/c a prime number?
True
Let z be ((-14)/(-3))/(1/3). Suppose -274 - z = -w - 5*l, -591 = -2*w + 5*l. Is w prime?
True
Suppose 6*v - 5*v = 2. Suppose 0 = v*j - 0*i + 4*i - 426, 5*j - i - 1109 = 0. Is j composite?
True
Let o be 14/(-7) + (832 - 0). Suppose 5*w - o = -85. Is w a composite number?
False
Let p(o) = o + 7. Let s be p(-5). Suppose -3*l = s*l - 1175. Is l prime?
False
Let a = -70 + 323. Is a composite?
True
Let j(c) = c**2 + 6*c. Let r be j(-5). Let w = 5 + r. Suppose w = g - 3. Is g a prime number?
True
Suppose -2*v = 4*n - 26, 2 = -5*v + 5*n + 22. Let s(w) = 13*w**2 - 2*w - 9. Let y be s(v). Let x = y + -411. Is x prime?
False
Let a(j) = j**3 + 9*j**2 + 8*j - 8. Suppose t - 3*n - 2*n = -13, -3*t + 3*n = -9. Suppose -i = -0*i + t. Is a(i) a prime number?
False
Let p(f) = 2*f + 8*f**2 - 11 + 13 - f. Is p(4) a composite number?
True
Let p(x) = -108*x + 1. Let u be p(-2). Let q = 262 + u. Is q composite?
False
Let i(a) = -a**2 + 10*a + 5. Let l(c) = c**3 + 5*c**2 - 7*c + 3. Let o be l(-6). Is i(o) prime?
False
Let b be ((-10)/3)/((-8)/(-204)). Let k be b/(-4) + (-1)/4. Suppose g = 4*g - k. Is g a prime number?
True
Let b = -25 + 63. Suppose -2*a + 54 = -b. Is a composite?
True
Is 5/(-10)*(-117 - 1) prime?
True
Let y be (-10)/15 - 2/6. Is y*((-315)/(-3))/(-3) a composite number?
True
Suppose 729 = 5*b - 4*n, 5*b = 2*b + n + 443. Is b a prime number?
True
Let u(g) = g**2 - g - 2. Let b be u(-2). Let d be (-2)/b*(-74)/1. Suppose 178 = 3*h + d. Is h a composite number?
False
Let t(a) = 3*a**2 - 2*a - 2. Suppose 0 = g + 4*v + 3, 0*g + v - 3 = -4*g. Suppose -3 = k - g. Is t(k) prime?
False
Suppose -l - 3*l + 16 = 0, 5*g = 3*l + 763. Suppose a - g = -4*a. Is a composite?
False
Let c(a) = -a**3 + 3*a**2 + 2*a. Let w be c(3). Suppose l = w*l + 4*b - 1051, 5*l + b = 1054. Is l prime?
True
Let l be (-3 + 1 + 1)*3. Is 159/2 + l/6 a prime number?
True
Suppose 939 = 4*f - 577. Is f composite?
False
Let r(j) = 3*j**2 - 7*j + 2*j + j + 2*j. Let z(p) = -2*p**3 + 4*p**2 - 3*p + 1. Let o be z(2). Is r(o) prime?
False
Suppose 0 = 2*t - 32 - 1226. Is t prime?
False
Let t be 4/14 - 65/7. Let p(g) = 7*g**2 + 2 + 8*g + 3 + 3*g**2 + g**3. Is p(t) a composite number?
True
Let r = 4 + 2. Is -7*10/r*-3 a prime number?
False
Suppose 8*v - 4*c = 3*v + 26, v + 4*c = -14. Suppose -t - v*t + 15 = 0. Suppose 5*h + 3*k - 146 = 0, -k - 143 = -5*h - t*k. Is h prime?
True
Suppose v + 0 = 3. Is v - 0/(5 + -2) a prime number?
True
Let q(a) = a**3 - 2*a**2 + a + 1. Let x be q(2). Let s = x + 23. Is s prime?
False
Let f(b) = b**2 - 9*b - 5. Let x be f(5). Let l be (138/4)/(6/8). Let d = l + x. Is d prime?
False
Let j = 880 + 826. Is j composite?
True
Let r(j) = 15*j**2 - 7*j - 8. Suppose 3*p = -0*p - 24. Let f be r(p). Is 2/(-10) - f/(-15) a composite number?
False
Suppose -7*k + 4*k - 15 = 0, -2*g = 5*k + 83. Let a = 0 - g. Suppose -2*c + 8 = 0, -1 = -5*o + 5*c + a. Is o a composite number?
True
Suppose -232 = 5*l - 3*t, -5*l + 3*t = -3*l + 91. Is 0/(2/(-1)) - l a composite number?
False
Suppose 107 = -3*n + 2*o, n - o - 1 + 37 = 0. Let d = -102 - -170. Let l = d + n. Is l a composite number?
True
Let u(z) = -4*z**2 - z + 2. Let w be u(1). Is -4 + (-3 - (-305 - w)) composite?
True
Let w = 114 - -296. Let l = 595 - w. Is l a prime number?
False
Suppose 7*m - 102 = 52. Is m composite?
True
Suppose 3*g - 8*g = -155. Is g prime?
True
Let k(u) = 4*u**2 - 5*u. Let b be k(4). Let r = b + -22. Is r a prime number?
False
Suppose -133 = 4*l - 317. Let y = l - -49. Is y prime?
False
Suppose -n = 2*n - 426. Let w = -65 + n. Is w prime?
False
Let z be (-34)/(-4) + (-4)/(-8). Suppose -5*b