a composite number?
False
Let o(n) = n**2 - 7*n + 4. Let v be o(7). Suppose -14 = -x + v*g, 0 = x + 2*x + 5*g + 9. Let i = x - -4. Is i a composite number?
True
Let i(s) = s**3 - 4*s**2 + 2. Let k be i(4). Suppose -k*f = -f - 46. Is f prime?
False
Suppose -5*m - 3*d + 8 = -5*d, -16 = 5*m + 4*d. Suppose -5*r - 5 = -m. Is r/(1/(49*-1)) a composite number?
True
Suppose 3*c - 3129 = -2*q, 5*q - 6*q + 4172 = 4*c. Is c a prime number?
False
Suppose 0 = k + 5*k - 2034. Is k a composite number?
True
Let w be 2/(1/((-3)/(-2))). Suppose -3*c + 157 = s, w*s = c + s - 57. Is c composite?
False
Let w be (-138)/(-1)*16/12. Suppose -1 = -2*d - 43. Is (d/14)/((-6)/w) a composite number?
True
Suppose -2*d + 157 = 2*r + r, 2*d - 210 = -4*r. Is r prime?
True
Suppose -o - o = -722. Is o composite?
True
Suppose 15 = -7*m + 148. Is m a composite number?
False
Let h be 10*(-1 + 2) + -1. Let c(n) = -n**2 + 4*n + 3. Let q be c(4). Suppose q = -3*o + h. Is o a prime number?
True
Let p(i) be the second derivative of -i**5/20 - 5*i**4/12 - 5*i**3/6 - i**2/2 + i. Is p(-6) a prime number?
False
Let p be 2 - (-1 - -2)/(-1). Suppose -23 - 34 = -p*g. Let z = -9 + g. Is z a prime number?
False
Suppose 0 = -v + j + 277, -3*j - 835 = -3*v - 4*j. Is v prime?
False
Let v(z) = -1. Let d(p) = 8*p**2 + p + 4. Let k(g) = d(g) - 2*v(g). Is k(5) a prime number?
True
Is ((-3)/(-6))/((-2)/(-508)) prime?
True
Suppose 0*x + 4*x - 20 = -4*z, -x + 1 = -z. Let c(m) = 25*m + 2. Is c(x) composite?
True
Let u = 34 - 53. Let l = -9 - u. Is l a prime number?
False
Let a(n) = -107*n**3 - 2*n**2 - 10. Is a(-3) a prime number?
True
Suppose 0 = -4*b + 3903 + 3213. Is b composite?
True
Let w = 447 - 305. Is w a composite number?
True
Let f(d) = -3*d**2 + 6*d**2 - 2 - 2*d**2. Let c be ((-4)/7)/((-8)/28). Is f(c) a composite number?
False
Suppose -b = -4 - 2. Let f be 10/(-3)*b/(-4). Suppose 48 + 137 = f*i. Is i prime?
True
Let l(n) = -n**3 - n + 79. Let m be 1/(-2) + 3/6. Is l(m) prime?
True
Let i be -3*-10*1/6. Let u(w) = 17*w + 6. Is u(i) a composite number?
True
Let i = 2948 - 1311. Is i prime?
True
Let j be -1*(-9 + 3)/3. Suppose j*k = 6*k - 36. Is k prime?
False
Let u = 1546 - -499. Is u a prime number?
False
Suppose 0 = -4*u + 9*u - 2230. Is u a composite number?
True
Let g(s) = -3*s**3 - 2*s**2 + 4. Let w(h) = h**2 + 8*h - 12. Let c be w(-9). Is g(c) composite?
False
Let m = 10 + -8. Suppose m*r - 81 = 2*k - k, 0 = r - 4*k - 23. Is r a composite number?
False
Suppose 0 = -0*m + m - 11. Suppose i = 2*i - m. Is i a prime number?
True
Suppose 0 = -3*q + z + 172, -5*q + 2*z = -3*q - 108. Is q composite?
False
Is 115/(-15)*(-2 - 1) composite?
False
Let o(t) = -t**3 - 11*t**2 - t - 8. Let s be o(-11). Suppose 0*y + 381 = s*y. Is y prime?
True
Let a(g) = -69*g - 1. Let s(l) = 139*l + 3. Let y(u) = -5*a(u) - 2*s(u). Is y(2) a prime number?
False
Let z = -8 + 18. Suppose -6*v = -z*v + 1012. Is v composite?
True
Let a = -253 + 385. Suppose -80 = -4*c + a. Is c a prime number?
True
Let m = 137 - 55. Let r = -33 + m. Is r prime?
False
Suppose -z + 6 = -5*x, -z + 72 = 5*x + 16. Suppose -2*w + 56 = 2*t, -3*w - z = -4*t - 108. Is 1761/w + 2/(-9) a prime number?
False
Let f(u) = 1091*u**2 - u + 1. Let l be f(-1). Suppose -w + 2*n = -2*n - 359, l = 3*w - 4*n. Is w composite?
False
Suppose 0 = 11*f + f - 6204. Is f composite?
True
Is (-3 + 3)/1 + -4 - -2453 a prime number?
False
Let h be (-273)/6 - (-6)/4. Let b = h + 69. Is b composite?
True
Let l be (-1)/(((-3)/5)/3). Suppose 2*f = -4*u + 28, -5*u - f + 17 + 15 = 0. Suppose l*m = x + 570, -4*m + 440 = -u*x + 2*x. Is m composite?
True
Suppose c + 0*c = 4. Let s = 68 - 3. Suppose -c*o + 9*o = s. Is o composite?
False
Suppose 200 + 58 = 3*c. Suppose 2*n - 32 - c = 0. Is n composite?
False
Let p(d) = 85 + d + 11*d**2 - 21*d**2 + 11*d**2 - d**3. Is p(0) composite?
True
Let v = -26 - -75. Is v a composite number?
True
Suppose y + 10 = -0*y. Let x = -3 - y. Is x prime?
True
Let w(y) = -380*y. Let u be w(-2). Let a = -489 + u. Is a a prime number?
True
Let o(a) = -a**2 + 6*a + 3. Let m be o(6). Is ((-14)/m)/((-2)/69) prime?
False
Let b = -19 - -12. Let r = 7 - b. Is r prime?
False
Let k(d) = -d**3 + 5*d**2 - 3*d - 5. Let t be k(4). Let m be 2*t - (-120)/6. Suppose -3*v + m = -0*v. Is v a composite number?
True
Suppose 2*z + 40 = 4*i, -3*z + i - 58 = 22. Let g(m) = 3*m**3 - 3*m**2 - 2*m + 2. Let t be g(3). Let v = t + z. Is v composite?
True
Let q(h) = -h**2 - 21*h - 24. Let k be q(-19). Is 5537/k - 2/4 a composite number?
True
Let x = -489 - -1076. Is x prime?
True
Let l(d) = -19*d - 1. Let f(o) = -6*o**3 - o**2 + 1. Let n be f(1). Is l(n) prime?
True
Let q be (144/(-15))/3*-60. Let l = q + -99. Is l a composite number?
True
Suppose -l = -3*l + 6. Suppose 3*a = -2*z + 575, -l*z - 193 = -a - 5*z. Is a a prime number?
True
Let c(t) = 2*t + 149. Is c(0) a composite number?
False
Suppose 4*v - 24 = -4*f, 3*v + 5*f - 2 = 22. Suppose -v*d = 5*h - 1, 4 = 3*d - 2*d - 2*h. Suppose -3*p + 5*p + 5*r = 61, -d*r = -3*p + 63. Is p a prime number?
True
Suppose -4*z + 2693 = 3*x, -4*x - 4*z = -2065 - 1523. Is x a prime number?
False
Let n(j) = 3*j - 3. Let p be n(6). Let l be ((-10)/p)/(2/15). Is 32 - (l + 6/2) prime?
False
Let c = -1 + 5. Is c - (-6)/(-3) - -23 prime?
False
Let a be 1/3 - 26935/3. Is a/(-18) + (-4)/(-18) a prime number?
True
Let t = 18 + -17. Is (t + 52/1)*1 prime?
True
Let l = -5 - -45. Let c = l + 15. Is c a prime number?
False
Let w(z) = -11*z**3 + 8*z + 65. Let q = -2 + 5. Let j(t) = -4*t**3 + 3*t + 22. Let n(v) = q*w(v) - 8*j(v). Is n(0) a prime number?
True
Suppose 1358 = 15*c - 13*c. Is c a prime number?
False
Suppose 3*d - 28 - 98 = 0. Suppose -4*l = -2*l - d. Suppose 4*u + 6 = g - l, -4*g + 2*u = -38. Is g a composite number?
False
Suppose n - 217 = -4*z + 16, -z = 4*n - 932. Is n a prime number?
True
Let n(d) = -d**3 - 5*d**2 - d - 4. Let z be n(-5). Suppose -3 + z = 2*m. Is -31*(m - 0/(-2)) a prime number?
True
Let c be (-12)/(0 - 6/8). Suppose -3*p = p + c, 10 = m - 2*p. Is 371/14 - m/4 a prime number?
False
Let z(k) = -k**3 + 3*k**2 + 6*k - 4. Let l be z(4). Let y be 3*l*(-6)/(-9). Is 3/4 + 706/y a composite number?
False
Suppose -4*c - 43 = -11. Let k(g) = g**2 + 5*g + 10. Is k(c) composite?
True
Let t(y) = -y - 6. Let v(g) = -g - 5. Let k(m) = 4*t(m) - 5*v(m). Let x be k(7). Let n(o) = -o**2 + 12*o - 9. Is n(x) composite?
False
Suppose -2*r + 0*r = -8. Suppose 0 = r*v + 2*p + p + 7, 3 = 4*v + p. Suppose -y - v*m + 52 = 0, 0 = -0*y - 5*y - 5*m + 275. Is y a composite number?
True
Suppose -39 = -5*f - 14. Suppose 2*j = i + 5, -3*j = 6*i - f*i. Let p(w) = 258*w**2 + w. Is p(j) prime?
False
Suppose 2 + 0 = s. Suppose -n + 16 = n - s*j, 0 = -j + 5. Is n a composite number?
False
Suppose -4*h + 3*z = -0*h + 27, -10 = -5*h - 5*z. Is ((-826)/h)/((-20)/(-30)) a prime number?
False
Suppose -10 + 36 = j. Let y(g) = g**2 + 101. Let o be y(0). Let x = j + o. Is x composite?
False
Let l(c) = -24*c - 7. Let t(a) = -25*a - 7. Let i(f) = 5*l(f) - 4*t(f). Is i(-7) prime?
False
Let x = 16 + -10. Let p be 4/x - (-8)/6. Let z(i) = 2*i**2 - 2*i + 3. Is z(p) composite?
False
Let b(k) = -23*k**3 - 2 + 4 - 1 - 8*k**3 + k. Is b(-1) a prime number?
True
Suppose -1021 = -3*y + 125. Suppose 2*d - y = -0*d. Is d a prime number?
True
Suppose -5*v + 25 = 2*s - 90, -2*s = -3*v - 139. Is s composite?
True
Let r be (-1)/3 - (-12)/9. Suppose q + r = 4. Suppose 2*l - 33 = -q*t, 3*l = 3*t - l - 33. Is t prime?
True
Suppose 2*a + 2*q - 254 = -2*q, -2*a + 5*q = -254. Is a a prime number?
True
Suppose -4*n = -4*k - 0*k + 24, -2*n - 6 = 0. Suppose -l - 3*l + r = -7, -k*r = -5*l + 7. Suppose -l*s = 3*m - 19, s - 3*s + 2*m + 34 = 0. Is s prime?
False
Let g = -1886 + 3295. Is g prime?
True
Is -1*(-298*1)/2 prime?
True
Let h(i) = 114*i**3 - i**2 + i - 1. Suppose -2*t = 4 - 6. Is h(t) a prime number?
True
Let r = 369 - -221. Let v = r + 153. Is v composite?
False
Let n be 1/((-3 + 4)/(-15)). Is (n/2 - -2)*-2 prime?
True
Suppose 0 = -2*n + 4*g - 16, -2*n - 20 = 2*n - 5*g. Suppose -4 + 18 = k + 5*j, 2*j + 2 = n. Is k composite?
False
Suppose 4*w = -2*f + 2*w + 124, -f + 70 = -w. Let h = f - 45. Suppose -16 = -t + h. Is t a prime number?
True
Let z = -30 + 89. Is z prime?
True
Let t be (8/10)/(2/5)