q a composite number?
False
Let l(z) = z**3 + 2*z**2 - 4*z - 6. Is l(5) composite?
False
Suppose 6*d - 3*d = 3. Let j be 94/2*1 - d. Is j*1 - -2 - 1 a prime number?
True
Is (2/3)/((-1)/(24765/(-10))) a composite number?
True
Let n = 0 - -85. Is n a prime number?
False
Suppose -3*h = 4*v - 35, -v + 0*v = -5*h + 20. Suppose -4*k = -5*d + 4*d - 864, 5*d - 1055 = -h*k. Is k a prime number?
False
Is 8/60*-3 + 12594/10 prime?
True
Let w(k) = 59*k + 24. Is w(7) a prime number?
False
Let d = 478 + -333. Is d a prime number?
False
Let k be 5/(-20) + (-26)/(-8). Suppose -383 = -k*f - 2*t - 2*t, 2*f - 2*t = 274. Is f a prime number?
False
Let p(h) = -1875*h + 7. Is p(-4) a composite number?
False
Let s(f) = f**3 - 6*f**2 + 2*f - 3. Let a be s(5). Let x = 1 - a. Is x a composite number?
False
Let u = 20 - -54. Is u a composite number?
True
Let a = 18 + -33. Let u = a - -41. Is u composite?
True
Let v(b) be the second derivative of b**5/10 + b**4/12 + b**3/2 - 2*b**2 + 4*b. Let n be v(-3). Let k = n + 153. Is k prime?
False
Suppose -5*r + 22 = 2*u, -2*u + 4*r = -0*r - 40. Suppose -v = 2*n + 7, 4*v + 5*n + 18 = -u. Let p = v - -22. Is p prime?
True
Let u be (-4)/10 + (-1765)/25. Let r = 74 - u. Is r composite?
True
Suppose 4*g = 6 + 2. Suppose -4*z - 4 = 0, -h = h - 3*z - 89. Suppose -h = -r + 2*b, -39 = -r + 3*b - g*b. Is r a prime number?
False
Suppose p = j + 191, 0 = 5*p - j - 210 - 729. Is p a composite number?
True
Suppose -x - 43 = -5*d - 4*x, 3 = d - 5*x. Suppose 4*r - 4 - d = 0. Let w(u) = 2*u + 1. Is w(r) a composite number?
False
Let q(z) = -z**2 + 2*z + 13. Let t be q(5). Suppose 0 = -u - 8 + 2. Is t/u - (-1464)/9 composite?
False
Is (-2 - 6/(-8))/((-2)/1336) a prime number?
False
Suppose 0 = 4*g + 3*i - 1694, -g + 0*i - i + 424 = 0. Is g composite?
True
Is (-41454)/(-154) - (-4)/(-22) a composite number?
False
Let f(h) = h**3 - 9*h**2 + 7*h + 9. Let g(u) = 2*u**2 - 5*u + 4. Let s be g(3). Let k be f(s). Let w = k + 125. Is w prime?
False
Let q = 4 + 1. Suppose 10*g - 5*g + q = 5*m, 0 = 5*g - 2*m + 2. Suppose g = 2*d - 7*d + 95. Is d prime?
True
Let i(m) be the third derivative of m**7/5040 + 77*m**6/720 - m**5/30 + 3*m**2. Let u(w) be the third derivative of i(w). Is u(0) a prime number?
False
Let i = 4 + 4. Suppose -2*d + 50 - i = 0. Is d a prime number?
False
Let w = -328 - -1247. Is w a composite number?
False
Suppose 12 = -3*y, 5*a - a = 3*y + 1984. Let h = 752 - a. Is h composite?
True
Suppose 854 = 2*j - 4*l, 6*j + 1672 = 10*j + l. Is j a prime number?
True
Let n(k) be the third derivative of k**5/60 + k**4/12 - 5*k**3/6 + k**2. Is n(4) prime?
True
Suppose -w = 3*s - 5*s + 38, -s + 181 = -5*w. Let u = -62 + 11. Let k = w - u. Is k prime?
False
Suppose 2*d + 10 = 0, -3*d + 90 = -5*y - 2*d. Let w = y + 34. Is w a composite number?
True
Suppose 1166 = -2*l + 188. Suppose 8 = -u - u, 3*w - 3*u + 15 = 0. Is 4/6 + l/w composite?
True
Suppose -z + 4*z = 4*l + 269, 5*l = 5*z - 450. Is z a prime number?
False
Let a be (-5)/((16/68)/(-4)). Let c = -135 - -191. Let l = c + a. Is l a prime number?
False
Let g = 5 - 0. Let n be ((-4)/(-5))/((-2)/g). Let p = n - -6. Is p prime?
False
Suppose 8 = 2*h + 2*h. Let m = 2 + h. Suppose 16 = -0*x + m*x. Is x a prime number?
False
Suppose -t = -2*t + 6. Is 76/t*6/4 prime?
True
Is ((-101)/4)/(23/(-644)) a composite number?
True
Let j(w) = -8*w - 3. Let y = 23 + -41. Let v = y + 13. Is j(v) a composite number?
False
Let c be (-2)/8 + 5/20. Suppose c = f + 2*f. Suppose f*u + 2*u - 266 = 0. Is u composite?
True
Let k = 10 + -8. Suppose d = -k*d + 4083. Is d a prime number?
True
Suppose k + 5*z - 653 = -3*k, -5*z = 5*k - 810. Is k a composite number?
False
Is (-6 - -13)/(1/61) a composite number?
True
Is 21*10 + -2 - -3 a composite number?
False
Let n(g) = 34*g + 1. Let a be n(3). Let b = a + 76. Is b a prime number?
True
Suppose -3*y + 661 = -962. Is y prime?
True
Let o(i) = 20*i**2 + 3*i + 2. Is o(-1) prime?
True
Suppose 6 = -3*m - 6. Let d = 1 - m. Suppose d*f - 108 = 4*p - p, 0 = 2*f + 3*p - 39. Is f prime?
False
Suppose -4*x = 3*r - 895, 3*r - x - 400 = 505. Is r composite?
True
Let o(u) = -128*u - 1. Let a = 6 - 5. Let v = -2 + a. Is o(v) a prime number?
True
Suppose -a + i = 4*i - 166, i = 4*a - 651. Is a a composite number?
False
Suppose 4*d + 5*x - 41 = 0, 2*x = 4*d + 5*x - 31. Suppose n - d*a - 144 = 0, -n + 5*a = -236 + 91. Suppose n = s + 3*s. Is s prime?
False
Let a(l) be the second derivative of l**6/120 + l**5/12 - l**3/2 + l**2/2 + 2*l. Let f(p) be the first derivative of a(p). Is f(-4) composite?
False
Suppose -z = -3*z. Suppose z = -0*f - f + 4*m + 149, 2*f - 307 = 5*m. Is f prime?
False
Let p = 1 + 1. Let s = p + 9. Suppose -3 = -2*y + s. Is y a prime number?
True
Is 15/(45/1722) - 3*1 a prime number?
True
Let p be (0 + -2 - -5) + -3. Suppose p*i - 2*q - 53 = -i, 5*i - 5*q = 240. Is i a prime number?
True
Let a be 5/((-1)/1 + 2). Suppose 4*k + a = -11. Is (74/k)/(1/(-2)) a prime number?
True
Is ((-952)/(-16))/(2/4) a composite number?
True
Let m(i) = -i**3 - 11*i**2 - 3*i + 5. Is m(-13) composite?
True
Suppose -2*f = -20*f + 12906. Is f composite?
True
Let v(a) = 31*a**2 + 6*a - 1. Let q be v(5). Is ((-14)/6)/((-4)/q) a prime number?
False
Let z(m) = m**2 - 3*m + 2. Let x be z(3). Let t be (-2 - 0)/(x/(-277)). Suppose -5*w + 288 = -t. Is w a prime number?
True
Let g be (5/2)/(1/2). Suppose 4*o = -4, -6*o = 3*n - g*o - 14. Suppose -z - y = -16, 2*z = n*y - y + 50. Is z a composite number?
False
Let h = 47 + 174. Is h prime?
False
Let v(c) = 105*c**2. Let o be v(1). Suppose 0 = -4*t + t + o. Is t a composite number?
True
Let c(o) = -125*o - 5. Is c(-6) composite?
True
Suppose 2*s - 423 - 9107 = 0. Suppose 4*u - s = -1209. Is u a composite number?
True
Let p = -15 - -26. Is p a composite number?
False
Let z(i) = 2*i**3 - 5*i**2 + 4*i + 1. Is z(3) a prime number?
False
Let g(a) = -a**3 + 22*a**2 - 23*a - 47. Is g(20) prime?
True
Let r(h) = 4*h**2 - 31*h - 3. Is r(14) composite?
False
Suppose -y + 3*y = -5*q + 14, -3*y = -2*q - 2. Suppose -q*j - 5*p + 21 = -95, -2*p = -4. Is j composite?
False
Let j(s) = -4*s - 3. Let a be j(-2). Let v(b) = 2*b - 4*b + 6*b**2 + 0 - b**3 + 4 + 0*b. Is v(a) a prime number?
True
Suppose -3*i + 111 = -180. Is i composite?
False
Let d(c) = 21*c**2 + 6*c + 1. Let n be d(7). Let k = -515 + n. Is k a composite number?
False
Suppose -58*p - 155 = -63*p. Is p prime?
True
Suppose 4*l - 120 = -0*l. Suppose 4*p - l = -p + 3*y, -p + 8 = -y. Suppose 2*f - p*c = 16, -5*f + 53 = -c - 0*c. Is f a prime number?
True
Let y = 59 - -18. Is y composite?
True
Let b = -783 - -1114. Is b composite?
False
Suppose 2*l = 4*v - 18, 5*l = -3*v + 32 - 12. Suppose 2*q + 4*b = 126, -q + 5*b + 36 = l. Is q prime?
False
Let v(c) = c**2 + 13*c - 18. Let u be v(-13). Let h = 29 + u. Is h a prime number?
True
Let o(z) = 16*z + 9. Is o(5) a composite number?
False
Suppose 2*r + 3*t - 76 = r, -60 = -r + t. Suppose -2*x + r + 186 = 0. Is x + -4 - (-1 + 3) a composite number?
True
Is 1 + (-20)/(-5) + 626 a prime number?
True
Is (-6)/(-3) - (3 + -355 - 1) a composite number?
True
Let q(n) = -19*n**2 + 2*n - 1. Let u be q(-2). Let c = u - -316. Is c prime?
False
Let u(p) = -p**3 + 10*p**2 - 3*p - 3. Is u(7) a prime number?
False
Let n(m) = -m**3 - 8*m**2 + m + 10. Let c be n(-8). Let x be c/(-1)*(-3)/2. Suppose x*i = -3*z - z + 126, -2*z + 2*i = -70. Is z composite?
True
Let a(v) = v**3 + v**2 - 8*v + 7. Suppose 3*u - 3*j = 27, -3*u + 42 - 9 = -5*j. Is a(u) composite?
False
Let v be (-4)/10 - 60/(-25). Suppose -2*m + 10 = -5*z, -6*z = -v*m - 2*z + 8. Suppose m = -3*u + 197 - 56. Is u a prime number?
True
Let i(f) = -f - 2. Let q be i(-5). Suppose 173 = 5*n - q*o, 2*o - 21 = -n + 6*o. Is n a prime number?
True
Let j = -2 + 4. Suppose 3*p = 3*a - 201, a + j*a + p - 201 = 0. Is a a composite number?
False
Let m(u) = -4*u + 1 - 7*u + 4*u + 8*u. Is m(6) a composite number?
False
Suppose 10*s = 7*s + 534. Is s a prime number?
False
Let q(t) = 29*t**2 - t - 1. Suppose 3*g = 5*d + 21, 5*g - 2*d + 5*d = 1. Is q(g) composite?
False
Let s(z) = -6*z - 1. Let i be s(-1). Suppose 170 = -i*v + 10*v. Is v composite?
True
Is 3*(-1970)/(-15)*1 prime?
False
Suppose -84 = -7*i + 3*i. Is i a prime number?
False
Let d = -6 + 10. 