 composite?
True
Let d(o) = o - 3. Let l be d(5). Suppose -4*k + 275 = -2301. Suppose -l*a + k = 2*a. Is a composite?
True
Suppose 4*a - 1 = 7. Let o be (-1 - 1 - -2)/a. Suppose o = x - 0*x - 33. Is x a prime number?
False
Is (-6513 + -4 - 1)*(-1)/2 prime?
True
Let g(v) be the first derivative of 1/3*v**3 + 7/2*v**2 - 1 + 3*v. Is g(-7) composite?
False
Suppose -7*v + 5*v + 1110 = 0. Suppose v = 4*u - 17. Is u a prime number?
False
Let u = -6 - -7. Let x = 2 + -3. Is 47/((x + 2)*u) prime?
True
Suppose 2*g + 3*k + 0 - 14 = 0, 0 = 3*g - 4*k - 4. Let t = g - -1. Suppose -32 = -t*a + 3*h, -4*a - 4*h = a - 39. Is a composite?
False
Let q = 0 + 1. Is 505/10 + q/2 a composite number?
True
Suppose 4*d - 5*k = 446 + 258, d - 169 = 3*k. Is d prime?
True
Let o(f) = -f**3 - 10*f**2 - 19*f + 1. Let m be o(-8). Suppose 0 = -m*j + 23*j + 38. Is j a composite number?
False
Let i(w) = w**3 - 4*w**2 - w + 4. Let b be i(4). Suppose b = 5*m + 479 + 106. Let x = m - -200. Is x a prime number?
True
Is 6/(-15) - 20832/(-30) prime?
False
Let h = 1 - 3. Let c = -8 - -12. Is 4 - (c + h) - 0 a composite number?
False
Is (-4)/6 - 1/3*-7817 a prime number?
False
Suppose -10 = 5*l + 2*r - 33, -3*r + 27 = 5*l. Suppose -o - l*o = -844. Is o composite?
False
Let t be (-6)/(-21) + (-186)/14. Let w = 2 - t. Let n = w + -5. Is n a composite number?
True
Let f = -2 - -2. Suppose f*d = -5*v - 3*d + 782, 4*v = -d + 627. Is v prime?
True
Let u = -289 - -496. Let m = 20 - 18. Suppose -m*c + u = c. Is c a composite number?
True
Suppose -g + 1224 + 31 = -4*y, -5*g = -3*y - 6292. Is g a composite number?
False
Let v(x) = -6*x + x**2 - 2 + 7 + 0. Let r be v(6). Suppose -r*n + 323 = -62. Is n composite?
True
Let p(f) = 57*f - 17. Is p(10) prime?
False
Suppose -155 = -5*p - 3*h, 2*p + 3*p + 4*h - 155 = 0. Is p prime?
True
Let q(a) = 4*a - 2. Let v be q(2). Let w(s) = 16*s**2 - 4*s - 11. Is w(v) prime?
True
Let m(x) be the second derivative of -x**3/2 + 3*x**2 - x. Is m(-5) prime?
False
Let i = 630 + -43. Is i prime?
True
Let g(b) = 2*b - 5 + 4 - 4*b + 4*b**2. Is g(4) prime?
False
Suppose -2*w + 6 = -4*w, 3*w = -5*r - 24. Let v be r*(-3)/(-15)*-5. Suppose m = v*m - 2*q - 34, 4*q = m - 26. Is m composite?
True
Let h = 319 - 98. Is h composite?
True
Suppose 4*k = 2*k - 4. Is k + (0/(-3) - -117) composite?
True
Let o be -14*38/(-4)*1. Let c = -87 + o. Is c composite?
True
Let h(i) = -222*i**3 + i. Let z be h(-1). Let b = z + -62. Let n = 241 - b. Is n prime?
False
Suppose -c + 4*c + 3 = 0. Let k be (1/(-3))/(c/12). Suppose 7*p - k*p - 57 = 0. Is p prime?
True
Suppose o = -2*m + 4, 4*o - 16 = 3*m - 5*m. Suppose o*c - 291 = c. Is c composite?
False
Suppose 3*i + 4*h = 547, -h + 748 = 4*i - 5*h. Is i a prime number?
False
Let k = -40 + 87. Is k a prime number?
True
Let u be 318/(-4)*(-4 - -2). Suppose -2*z + u = z. Is z composite?
False
Suppose -4*x + 308 = 3*a, 3*x + 77 = 4*x - 2*a. Is x prime?
False
Let l = 95 - -32. Is l prime?
True
Let p(a) = -a + 6. Suppose -5*l = -2*l + d - 23, 3*d + 3 = 3*l. Let m be p(l). Suppose -3*y = 2*j - 245, 3*j + 225 = 3*y - m*j. Is y a composite number?
False
Suppose -8*s = -7358 + 2022. Is s prime?
False
Suppose 5*r + 4*x - 35 = 0, -5*r + r + 28 = -3*x. Let d(l) = -4 - r + 4 + 4*l. Is d(7) prime?
False
Suppose 5*h - 3*p = 19440, h + 1032 = 4*p + 4903. Is h a composite number?
True
Is -1*942/(-4)*(-12)/(-6) prime?
False
Let h = 1373 + -808. Is h prime?
False
Suppose -4*k + 2977 = 3*f, k + 199 - 939 = -5*f. Suppose -6*y + y + k = 0. Is y prime?
True
Let s = -18 - -785. Is s composite?
True
Let u be 10*(-9)/(-12)*6. Let y = 100 + u. Is y composite?
True
Suppose -c - 674 = -3*c. Is c composite?
False
Let x(w) = 2*w**3 + 2*w**2 - w - 8. Is x(7) composite?
False
Suppose 5*p - 52 = p. Suppose 5*v - p - 457 = 0. Is v a prime number?
False
Let s(y) = -2*y + 6. Let h be s(8). Let f(l) = -2*l + 11. Is f(h) a prime number?
True
Let l be (292/6)/(4/6). Suppose 4*z = v + 3*z - l, 3*z = 9. Suppose -v = -2*h - 2*h. Is h prime?
True
Let l(m) = m**2 + 5*m - 2. Let h be l(-10). Let t = 74 - h. Is t prime?
False
Suppose 0*s + 4*s + 4 = -b, -3*s = 5*b - 14. Let u = s + 5. Suppose o - 181 = -5*v, -o = 2*v - u*o - 82. Is v a composite number?
False
Let m = 4 + 5. Let t(z) = z**3 - 8*z**2 - 8*z + 5. Is t(m) prime?
False
Let j(t) = -34*t. Let l(h) = 35*h - 1. Let x(u) = -6*j(u) - 5*l(u). Is x(6) composite?
False
Let t be 1*(-2)/(-4)*4. Suppose 2*d + u + 1 = 0, t*u - 3 = u. Is (-3)/18*d*93 composite?
False
Let k = 203 - 57. Let c = -164 + 85. Let s = c + k. Is s prime?
True
Suppose -36 = -4*w + l, -10 = w - 6*l + l. Let i = w + 9. Is i composite?
False
Suppose 439 = -5*j + 1494. Is j composite?
False
Suppose -l - 16 = 4*y, 0*y - 5*y = -3*l + 20. Suppose 30 = 5*h - l*h. Is h prime?
False
Let f(c) = -3*c**3 - 2*c - 1. Let b be f(-1). Suppose -3*t - 127 = -b*t. Is t a prime number?
True
Is (2 - (-1)/(6/(-15)))*-326 composite?
False
Suppose -6*b = 1698 - 9900. Is b composite?
False
Let w(t) = 1263*t - 11. Is w(2) prime?
False
Let n be 4/14 + (-26)/(-7). Suppose -n*l + l = 0. Suppose -2*s = -5*j + 165, -5*j + 2*s - s + 165 = l. Is j a composite number?
True
Suppose 4*j - 26 = 3*m, -j = -0*m + m - 3. Let i(f) = -33*f**3 - 3*f - 3. Is i(m) composite?
True
Let z be ((-54)/(-12))/(1/22). Suppose z = 5*w - 171. Suppose j = -15 + w. Is j a prime number?
False
Let j = -1022 + 3624. Is j a prime number?
False
Let y = -534 + 772. Let u = y + -95. Is u prime?
False
Suppose 37*o - 89 = 36*o. Is o prime?
True
Is (-1 - 354)/(-5)*5 prime?
False
Let i be (-3)/((-3)/(-2)) - -46. Suppose -3*p = p - i. Is p a composite number?
False
Let i(f) = 3*f**2 + 9*f - 1. Is i(8) a prime number?
True
Let v(j) = -2*j**2. Let f be v(2). Suppose -22 = 3*s - s. Let k = f - s. Is k prime?
True
Suppose p + 5*x = 3, -5*p = 2*x - 6*x - 15. Suppose -2*h = -p*h + 5. Suppose -h*z + 3*k + 2*k = -575, 106 = z - 4*k. Is z a composite number?
True
Let y(x) = -758*x + 11. Is y(-4) composite?
True
Let m be ((-8)/5)/((-2)/5). Suppose -4*p + m = -0, -193 = -4*f - 5*p. Is f composite?
False
Let f(v) be the first derivative of v**2/2 - v + 2. Let w be f(4). Suppose -w*i = -2*b + 215, -509 = -5*b - i - i. Is b prime?
True
Suppose 0*i - 110 = -5*i. Is i a prime number?
False
Let c(a) be the third derivative of a**4/24 - 5*a**3/3 - 2*a**2. Let v be c(7). Is ((-334)/v)/((-2)/(-3)) prime?
True
Let z(h) = 2*h**3 + h**3 - 6*h - 2*h**3 - 2*h**3 + 8*h**2 - 10. Let p be z(7). Let i(x) = -3*x**3 - 3*x**2 - x - 4. Is i(p) prime?
True
Suppose 5*d + 2*o = 10, -3*o + 8 = -2*d + 31. Suppose 0 = -d*r - 2*m + 216, 4*r + m = -2*m + 214. Is r a prime number?
False
Let d(c) be the first derivative of 5*c**3/3 - c**2/2 + 5*c - 6. Is d(-4) composite?
False
Suppose 4*a + 47 = -49. Let x = -38 + 96. Let q = a + x. Is q a composite number?
True
Let m = 557 + 152. Is m a composite number?
False
Suppose 3*a = -38 - 7. Let p = a + 142. Is p a prime number?
True
Let y(k) = 5*k**2 + 3*k - 3. Let j be y(2). Let m = 12 + j. Is m prime?
False
Let a(y) = -y + 5. Let h be a(3). Suppose 0 = -3*r + h*r + 7. Is r a composite number?
False
Let g = 785 + -306. Is g a composite number?
False
Let a(m) = 64*m**2 + m. Is a(1) prime?
False
Suppose 2*v + 2*v + 3*t = 1309, 5*t = 3*v - 1018. Is v prime?
True
Suppose -3*b = -66 - 51. Suppose 0 = -3*l - 2*j - 52, -2*l - 24 = -0*l + 4*j. Let u = b + l. Is u a prime number?
True
Suppose x = 3*x - 198. Let i = 152 - x. Is i composite?
False
Suppose 0 = -2*l - 4*z + 70, -3*l + 24 + 76 = z. Suppose -3*i - l = -198. Let v = i - 22. Is v a prime number?
False
Suppose -2*g - 3*y + y + 2126 = 0, 2*g = 4*y + 2114. Is g a prime number?
True
Suppose -3 = 2*v - 1. Let k(c) = c - 2. Let a(h) = h - 1. Let l(j) = v*a(j) - k(j). Is l(-6) a prime number?
False
Suppose -2 = -3*v + 1. Let u be 2/2 + -2 + v. Suppose -2*n + 13 + 61 = u. Is n prime?
True
Let t = 640 + -5. Is t composite?
True
Suppose -2*q + 2 = j - 1, 3*q = -j + 3. Suppose 13 = h - q*h. Suppose 2*z + h - 75 = 0. Is z composite?
False
Let n(y) = -y**2 - 8*y - 9. Let s be n(-6). Suppose 4*v = v + 4*w + 543, s*v - 2*w = 543. Is v prime?
True
Let f be (-3)/(9/(-402))*-1. Let s be 191*(0 + 1)*1. Let p = s + f. Is p composite?
True
Suppose -3*a = -2*u + 149, u - 4*u + 251 = a. Let g = u - -33. Is g a