e -4*p + 68 = -l. Suppose 2*z - z - p = -k, -2*z - 5*k = -112. Is z prime?
False
Let d be (-4)/(-1) - (-2 - -2). Suppose -v + d = -14. Suppose 3*c = -4*r + v - 2, -4*r = -2*c - 36. Is r a composite number?
False
Let s be 0/(-8) - 2*-2. Suppose -h - r = -3*h + 51, -s*r + 95 = 5*h. Is h a prime number?
True
Suppose 0 = 6*x - x - 1025. Is x a composite number?
True
Let a = -1 + 88. Is a a composite number?
True
Let v be 4/(-8) - (-3)/(-6). Let k be -3*(14/6 - v). Is (-350)/k + (3 - 1) a prime number?
True
Is 3 + (-3 + -15)*-5 prime?
False
Let o(m) = m**2 + m - 2. Let s be o(2). Suppose 0 = 2*n - 4*p - 70, 0 = -s*p - 4 - 4. Is n prime?
True
Is 1 + -4 + 8 - -118 a composite number?
True
Let r(m) = m**2 - 7*m + 4. Let x be r(7). Suppose -x*v = -0*v + 420. Is (-2)/(6/v)*1 prime?
False
Suppose 0 = 18*z + 14773 - 56641. Is z a prime number?
False
Suppose a - 207 = -2*m + m, 3*m = -5*a + 629. Is m a prime number?
False
Suppose -3*k - 5*n - 1 = 7, 2*k - 20 = 3*n. Is k*(-3)/(-6) + 185 a prime number?
False
Let k be ((-8)/1)/2 + 4. Suppose z = -k*z + 65. Is z composite?
True
Let t(r) = -r**3 + 6*r**2 - 1. Let b be t(6). Let u = b + 3. Suppose 0 = q + u*v - 4*v - 83, -4*q + 4*v + 332 = 0. Is q composite?
False
Let f = -64 - 0. Suppose -124 = -5*y + y. Let q = y - f. Is q a composite number?
True
Suppose 2*b = 2*d + 26, -d - 4*d + 4*b - 60 = 0. Let a be (-1 - d) + 5/(-5). Suppose a*z = z + 545. Is z a composite number?
False
Suppose 5*h + 10 + 30 = 0. Let d be (38/h)/((-3)/24). Suppose i - d = -i. Is i a prime number?
True
Suppose -d = 3*d - 16. Suppose d*h - 236 = 3*h. Suppose 0 = 5*y - h - 39. Is y a prime number?
False
Suppose -16*y + 2*y + 9758 = 0. Is y composite?
True
Let h = 56 + -28. Let i = -18 - -10. Is i/h - (-746)/14 a prime number?
True
Suppose 0*g + 3*g + 24 = 0. Let k be (-18)/g*(24 - 4). Suppose -y = -2*w + 9 + 26, -3*w + 4*y = -k. Is w a prime number?
True
Suppose -1206 - 429 = -3*n. Let o = n + -322. Is o a prime number?
True
Let z = 1 + -3. Let n be (z/(-4))/((-1)/2). Is 44/(-16)*(n - 11) prime?
False
Let c(n) = -n + 8. Let z(v) = 2*v - 23. Let l(k) = -8*c(k) - 3*z(k). Is l(4) a composite number?
False
Let g(n) = -n**3 - 5*n**2 - 2*n - 7. Let f be g(-5). Let u = 3 - f. Suppose u*d = -d + 85. Is d composite?
True
Let y = -623 + 1177. Is y a prime number?
False
Suppose 2*p + 3 = p. Let q be 994/8 + p/12. Suppose 0 = 3*z + z - q. Is z a composite number?
False
Suppose r - 3*r = 0. Let m be (-1 + r)*110/(-2). Let n = m - 36. Is n composite?
False
Is (-6399)/(-2) + ((-91)/14 - -6) composite?
True
Suppose 8 = -4*j - 0*j. Is 40 + -3 + 1*j prime?
False
Let y = 4 - -2. Suppose y*g = g. Suppose 0 = 2*a + v - 378, -5*a + 2*v = -g*v - 963. Is a composite?
False
Suppose 5*d = -9 + 34. Suppose 138 = -2*f + d*f. Suppose 0 = 5*i - 156 + f. Is i prime?
False
Let h be (4 + 3 + -4)*2. Let q be 3/(-6) + (-10)/4. Let r = h + q. Is r composite?
False
Suppose -4*i + 404 = -360. Is i composite?
False
Let c(d) = 22*d - 5. Is c(6) a prime number?
True
Let l be 20 + 1 - (1 - 0). Suppose x - 4*u + 17 = 0, 3*u + l = 7*u. Is 21*x/(9/2) composite?
True
Suppose 5*f + 12 = -o, -5*o - f + 30 = -6*f. Suppose o*m = 7*m - 484. Is m a prime number?
False
Suppose -4*z + 6 = -2. Suppose -4*o + i = -22, -4*o = -i + z*i - 18. Suppose -5*f + o*j = -0*f - 260, -3*f + 5*j = -154. Is f a composite number?
False
Let c(r) = -59*r + 199*r + 3 - 4 - 3. Let d be c(-8). Is (-2)/9 + d/(-36) prime?
True
Suppose -2*g = 8 - 16. Suppose 5*q = -s + 69, -g*q - 52 + 313 = 5*s. Is s a composite number?
True
Let x(u) = u**3 + 12*u**2 + 13*u - 15. Is x(-10) a composite number?
True
Suppose -10*v + 22999 = -91. Is v a prime number?
True
Suppose -2*a = -17 - 1. Suppose 0 = -z + 3*y - 4*y + a, -z = -3*y - 17. Is (-3 - (-2)/1) + z composite?
True
Suppose -5*j - 5*z = 8 - 3, 4*j - 3*z - 24 = 0. Suppose 5*c - 4*f + 15 = 45, j*f = -15. Suppose c*s = 551 - 105. Is s composite?
False
Suppose -22*n + 844 = -18*n. Is n prime?
True
Let w = 1 + 4. Suppose 4*l - 12 = 0, -4*p + w*l - 77 = 2*l. Let y = p - -36. Is y composite?
False
Let h(r) = -r**2 + 7*r - 2. Let c be h(6). Suppose 0 = -3*g + c*q - 6, -q + 1 + 0 = -g. Suppose g*s - 430 = -2*v, 6*v + 2*s = v + 1063. Is v a composite number?
False
Let k(y) = 50*y + 9. Is k(14) a composite number?
False
Suppose 2*l - 1565 + 4559 = 2*p, 5*l = -10. Suppose 0 = 5*n - 4*a - 1280 - 217, -5*n + p = -5*a. Is n prime?
False
Suppose -4*s - 36 = -2*s. Is (-2822)/s + (-2)/(-9) composite?
False
Let r be (2 + (-11)/4)*4. Let a be r*1/(-3) - 6. Is ((-12)/10)/(a/25) a prime number?
False
Is (25/10)/((-3)/(-2804 + 2)) a prime number?
False
Suppose 4*h - 3*h - x + 1 = 0, -7 = -h - 3*x. Is (38*h/1)/2 a composite number?
False
Let x be (8 + -1 - 0) + -1. Suppose -3*b + x*b - 3*p = 105, -5*p = -3*b + 105. Is b a prime number?
False
Suppose -2*i + 7*i = 0. Let b = i + -3. Let w(u) = -2*u + 1. Is w(b) prime?
True
Suppose 0 = -5*k + 4 + 56. Suppose 0 = -3*a - 18 - k. Is (-948)/(-20) + 4/a a prime number?
True
Suppose -2*w = 2*w - 64. Let i = w + 253. Is i a prime number?
True
Is -3 + -1 + 642 + 3 a prime number?
True
Let i = -56 + 93. Is i a prime number?
True
Let d(l) be the first derivative of -3*l**4/4 - l**2 - l + 2. Let f be d(-1). Suppose 0 = u - c - 57, u - 61 = f*c - 2*c. Is u prime?
True
Let p be 4*(3 - 1404/(-8)). Suppose 2*k = 176 + p. Is k a prime number?
False
Let p(q) = 813*q - 2. Is p(3) prime?
True
Suppose -12 = 3*r - z + 6*z, 4*r = -3*z - 5. Is (-9 + -74)/(-2 + r) a composite number?
False
Let m(q) = -q**3 + 7*q**2 - 5*q - 4. Let b be m(6). Suppose 0 = b*s - 0*s + 4, 0 = 3*k + 4*s - 325. Is k a prime number?
False
Let t be (-30)/(-9)*6/2. Let r = t + -28. Let a = r - -29. Is a prime?
True
Let v be 18/(-6) - (2 + -10). Suppose v*b - 361 = -2*n, -5*n + 0*n = -15. Is b prime?
True
Is ((-51)/9)/(-1 + (-15)/(-18)) a prime number?
False
Suppose -14*t - 1143 = -17*t. Is t composite?
True
Let f(p) be the first derivative of p**6/60 - p**4/24 - p**3/3 - 3*p**2/2 - 1. Let t(a) be the second derivative of f(a). Is t(3) a prime number?
False
Suppose -120 = -5*m + 2*k, 2*k = -m - 15 + 51. Is m prime?
False
Suppose 0 = 4*b - 2*k - 18, -k = -3*b - 2*b + 21. Suppose -b*j + 485 = j. Let i = j - 42. Is i a prime number?
False
Let l(u) = -7*u + 10. Let h be l(-5). Let w = -32 + h. Is w prime?
True
Suppose -2*m + 6 = 2*k, 4*m - 6 = -k - k. Suppose k*c + 4 = -3*d + 1, 3*c - 2 = 2*d. Suppose c = -5*i + 80 + 175. Is i prime?
False
Let g(o) = -o**3 - 4*o**2 - o + 2. Let v be g(-4). Let p(i) = -i**3 + i. Let x be p(0). Suppose -v = -x*j - 2*j. Is j a composite number?
False
Let u(c) = -c**2 + 16. Let x be u(0). Suppose -x = -5*p + 14. Is (27/18)/(p/508) composite?
False
Let i(q) = q**3 + q**2 + 2*q + 84. Let k be i(0). Let h = -47 + k. Is h a prime number?
True
Let o(m) = -9 - 5*m + 1 + 3*m. Let r be o(-6). Suppose r*d + 0*d = 308. Is d composite?
True
Suppose 3*x + 4*h = 218, 5*h = -4*x + 2*x + 143. Is x a composite number?
True
Suppose 0*f - 4*f + 364 = 0. Suppose 5*t = 6*t - f. Is t a composite number?
True
Let r(w) be the first derivative of 1 + w + 227*w**2 - 41*w**2 - 5. Is r(1) composite?
False
Let c(u) = -235*u**3 + u**2 + 2*u + 1. Let d be c(-1). Let h = d + -149. Is h a composite number?
True
Is (-95)/(-2) - (-3)/(-6) prime?
True
Let c = 121 + -110. Is c a composite number?
False
Suppose 2*b + b = 0. Suppose b*r - r = -67. Is r a prime number?
True
Let q be (1 - 4) + (2 - -223). Let y = q + 444. Let a = -475 + y. Is a a prime number?
True
Is -20*(15/6)/(-5) a composite number?
True
Suppose 5*u = i + 8, -u - 5*i = -6*u. Suppose 4*y - 22 = -u. Suppose y*d + 59 = 6*d. Is d prime?
True
Let g(o) be the first derivative of -3*o**4/4 + o**3/3 + o**2/2 - 2*o + 3. Is g(-3) prime?
False
Suppose 0 = -4*v - 2*m + 1 + 39, v + 3*m = 10. Is 369/7 - v/(-35) a composite number?
False
Suppose 0 = -b + 259 + 78. Is b a prime number?
True
Let x(z) = z**2 + 159. Suppose 0*l - 3*g = 2*l - 9, 0 = -3*l + 5*g - 15. Is x(l) a composite number?
True
Suppose 5*o = -55 + 360. Let t = 19 - 33. Let f = t + o. Is f prime?
True
Let x = -65 - -171. Is x a composite number?
True
Suppose -8*v = -1486 - 9802. Is v a composite number?
True
Suppose -u + 1 = -5*y - 8, 7 = u - 4*y. Is 1*(-1 + u) + 4 a prime number?
True
Let 