 x a prime number?
True
Let d be (-1)/1*110/(-10). Let c(z) = -2*z**3 - 10*z**2 + 17*z - 12. Let r(l) = l**3 + 11*l**2 - 17*l + 12. Let k(s) = 2*c(s) + 3*r(s). Is k(d) a prime number?
True
Let w be (-1)/((-12)/(-8))*-3. Suppose -3*i + 2*i = 4*p - 195, -w*p - 708 = -4*i. Is i prime?
True
Suppose 3*i - 3*u - 704 = 5056, 2*u + 5761 = 3*i. Is i a composite number?
True
Let o = -17 - -20. Suppose 5*d - o*d + 3*k = 670, d = 2*k + 335. Is d composite?
True
Let s(c) = 7253*c**2 - 13*c - 29. Is s(-3) prime?
True
Let d(o) = -3*o + 15. Let t be d(5). Suppose 2*j + 0*j + 2 = t. Let f(m) = 342*m**2 + 2*m + 1. Is f(j) prime?
False
Let u be (-5 - -3) + 1 - 402. Let o = -172 - u. Let s = o - 32. Is s prime?
True
Suppose -4*d = -10*h + 11*h - 1523, 5*d - 1900 = -5*h. Is d composite?
True
Suppose 5 = -x - 2*x + 4*a, 35 = 2*x + 5*a. Suppose 2*y - 3*y = -x. Suppose 0 = -5*d + v - 4*v + 479, -y*d - 4*v + 477 = 0. Is d a composite number?
False
Let w(m) = -728*m - 101. Is w(-21) a prime number?
True
Suppose c - 6 = -1. Suppose -12 = -m + 4*q, c*m = 3*q - 3 + 63. Is 12/16 - (-1083)/m composite?
True
Suppose -5*l = -0*l, 2*d = 4*l + 2770. Is d prime?
False
Suppose 10 = -m + 6*m. Suppose -5*z = 4*i - 2199, 3*i + 0*z + m*z - 1651 = 0. Is i a prime number?
False
Let k = 13 + -9. Suppose i = k*t + 709, -i + 703 = -t - 0*t. Is i a prime number?
True
Let c(q) = 2568*q**2 + 7. Is c(2) prime?
False
Suppose -h + 1599 = h + 3*t, 2*h - 1594 = -4*t. Is h composite?
True
Suppose u - 2968 = -764. Suppose 6*w = 1834 + u. Is w composite?
False
Suppose 460 = 9*a - 827. Is a a prime number?
False
Suppose -3*i = 3*v - 59805, 9 - 13 = 2*v. Is i prime?
True
Let u = -1 - -4. Suppose -10 = 5*y, -187 = -4*o - 3*y + 135. Suppose -v + o = 5*n, -400 = -4*v + u*n + n. Is v composite?
False
Suppose 0 = 3*l + 22 - 7. Let t be (-3 - (l - -2))/2. Suppose t = 3*w - 26 - 43. Is w composite?
False
Suppose -4*p + 3*m + 496 = 5*m, 4*p - 492 = -m. Let z = p + 23. Is z composite?
True
Is 2/5 + (6826/10 - 0) a prime number?
True
Let o(t) = 8*t**2 + 78 + 93 - 2*t - 7*t**2 + 128. Is o(0) a composite number?
True
Let c(i) = 488*i**2 - 9*i - 67. Is c(-5) a composite number?
True
Let p be (-12)/(-42) - (1 - (-2490)/(-7)). Suppose 0 = 3*t + v - p, -2*t = 5*v - 175 - 53. Is t a prime number?
False
Suppose 2*r = -4*a - 3*r - 17, 5*a + 4*r + 10 = 0. Suppose 3555 = 5*v - 5*j, -2*j + 1428 = a*v - j. Is v composite?
True
Suppose -4*f + 6*f + 136 = 0. Let j = f - -787. Is j a composite number?
False
Suppose -w - 4*l = -1824, -3793 = 5*w - l - 12808. Suppose 5*n = -15, -2*b + n + w = -n. Is b a prime number?
False
Let b(c) = c**3 - 9*c**2 - 13*c + 20. Let d be b(10). Let k(u) be the third derivative of -u**5/60 - 5*u**4/8 + u**3/2 + u**2. Is k(d) prime?
True
Suppose -4*n = 5*t + 1 - 6, 20 = -t - 5*n. Suppose -977 = -t*v + 678. Is v a prime number?
True
Suppose -14*f + 16*f = 11510. Is f a composite number?
True
Suppose 0 = -45*l + 30*l + 164055. Is l composite?
False
Let z = 7752 - 4081. Is z prime?
True
Is (30/(-9) + -3)*(-59 + -1144) prime?
False
Let m(h) = h**3 + 3*h**2 + h. Let p be m(-3). Let z(s) = -26*s**3 - 2*s**2 - 1. Is z(p) composite?
False
Suppose -48 = -5*l + 157. Suppose 71 = -4*j + 23. Let x = l - j. Is x composite?
False
Suppose 0 = -4*a + 8 + 8. Let z(i) = i**2 - i + 21. Let g be z(-16). Suppose f - a*v = 371, -3*v - g = -f + 74. Is f a composite number?
True
Let u(j) = -2*j**2 - 2*j + 2 + 2*j**2 + 3*j**2 - 2*j**2. Let c be u(2). Suppose 0*z = c*z - 590. Is z prime?
False
Let a(z) = z**3 - 16*z**2 + z - 9. Let x be a(16). Let o = x - -30. Is o prime?
True
Let s be -2 - (12 - (-6 - -3)). Let a(m) = -m**3 - 17*m**2 - m - 15. Let c be a(s). Let g(j) = 4*j**3 + 4*j - 3. Is g(c) composite?
False
Let h be 3*(-2 - 15/(-5)). Suppose -12509 = -3*f - 2*c + h*c, -4*f = c - 16688. Is f a composite number?
True
Let p(u) = 3*u**2 + 31*u + 77. Is p(-19) prime?
True
Let q(f) = 56*f - 6. Let n be q(2). Suppose -5*t = 1 - n. Suppose 23*j = t*j + 382. Is j prime?
True
Let d = 55 + -138. Suppose -2*n = 5*f + 1888, -759 = -0*f + 2*f - 3*n. Let c = d - f. Is c a prime number?
False
Let b(h) = -4*h**3 - 20*h**2 - 12*h + 15. Let a be b(-14). Let z = a + -3902. Is z prime?
False
Let v(n) be the first derivative of -631*n**4/4 + n**3/3 + 3*n**2/2 + 2*n + 14. Is v(-1) a composite number?
False
Let w(q) = 276*q + 9. Let t be w(-6). Let r = t + 2819. Suppose 4*h = 8*h - r. Is h prime?
True
Let m = -479 - -785. Suppose -3*l - 4*z = m, 2*l = -2*l + 4*z - 380. Let n = l - -225. Is n prime?
True
Let b = -52 + 79. Let r = b + 586. Is r a prime number?
True
Suppose 0*m + 48458 = 4*x - 2*m, -2 = 2*m. Suppose -14*f = -20*f + x. Is f prime?
False
Suppose -4*l + 175 + 2497 = 0. Let k = l + -986. Let o = 605 + k. Is o prime?
False
Suppose 2*a + 67 = -3. Let n = 9 + a. Let w = -15 - n. Is w prime?
True
Suppose -4*k + 47506 = -12186. Is k prime?
True
Let l be (-3 + 4)*3/1. Is 11 - (l - 3 - 2) prime?
True
Suppose -m + 3*b + 279 = -435, -6*b = 3*m - 2187. Is m composite?
True
Let z(t) = t**3 + 6*t**2 + 2*t - 10. Let i be z(-5). Suppose i*d - q - 3*q - 2749 = 0, d = -2*q + 561. Is d a composite number?
True
Suppose -146 - 232 = -3*r - 4*o, 2*r = 5*o + 275. Let h = 107 + r. Is h a prime number?
False
Is (48865/(-15))/((-4)/12) a composite number?
True
Let h be 5*((-32)/(-10) + -4). Is (3278/h)/(2*(-3)/12) a composite number?
True
Suppose 0 = 2*p - 4, -5822 = -4*r - 2*p + 5*p. Let q = r - -126. Is q a prime number?
True
Let u = -39 - -931. Is (u/(-4))/(3/(-9)) prime?
False
Let p = -17 - -17. Suppose 4*b - 1327 - 85 = p. Is b a prime number?
True
Let a be (-1)/(((-11)/77)/((-2)/(-7))). Let x = -8 + 30. Is (a - -1)/1 + x a composite number?
True
Suppose -5*s = -b + 2*b - 440, s - 94 = b. Suppose z + 0 = -2*a + 3, -3*a + 2*z = 6. Suppose -m + s = -a*m. Is m a prime number?
True
Suppose -3*b + 17*n + 66741 = 18*n, -b - n = -22247. Is b prime?
True
Suppose 0*o + 18 = 3*o. Suppose -190 = -2*s - 8*y + o*y, s - y = 87. Is s a prime number?
False
Suppose f + 3*b = 1363 + 1784, -5*f = 4*b - 15691. Suppose 8*d - 3*d = -f. Let p = -358 - d. Is p composite?
False
Suppose 4*o - 2*j + 274 = -8, 3*j = -5*o - 325. Let s = o - -147. Is s a composite number?
False
Let w(n) = 38*n. Suppose -c = 5*v - 28, c - 22 = -5*v + 2*c. Suppose 7 - 2 = v*h. Is w(h) prime?
False
Suppose -4*z = 3*u - 3118, -4*u = 8*z - 6*z - 4164. Is u a composite number?
True
Let w(c) = -c**2 - 12*c + 3. Let t be w(-12). Suppose t*j - f - 3033 = 101, -2*j + f = -2088. Suppose -9*m = -7*m - j. Is m a prime number?
True
Suppose 2*h + 2*h - 5*b - 15 = 0, -3*h = -b - 3. Suppose h = -l - l - 86. Let v = 80 + l. Is v prime?
True
Suppose 0 = 4*h + 7627 - 73647. Is h prime?
False
Let u = 6 - 4. Let l be 10*((-10 - -13) + 10/(-4)). Suppose 4*v = l*g - 70 - 49, u*v = -4*g + 90. Is g prime?
True
Let v(u) be the first derivative of 7*u**2 - 10/3*u**3 + 7*u + 5 - 1/4*u**4. Is v(-12) a composite number?
False
Suppose 18522 + 188455 = 23*b. Is b a composite number?
False
Let n(h) = 2*h**3 + 5*h**2 + 7*h + 10. Let k be n(-5). Let l = k + 387. Is l a prime number?
False
Let c(b) = -15*b**3 - 2*b**2 - b + 2. Let z be c(-2). Let v be (z/10)/(2/20). Suppose v = y - 29. Is y a composite number?
True
Let n = -80678 + 147265. Is n composite?
False
Let i(x) be the third derivative of 37*x**5/60 - x**4/12 + 2*x**3/3 - 7*x**2. Is i(3) a composite number?
False
Let k(h) be the second derivative of 3*h**5/10 - h**4/12 + h**3/3 + h**2 - 2*h. Suppose 66 = 14*p + 24. Is k(p) prime?
False
Let c = 7368 - 1595. Is c a composite number?
True
Let o(a) = -a**3 + 14*a**2 + 2*a - 26. Let t be o(14). Suppose -t*b = -12*b + 1870. Is b composite?
True
Let j(l) = 2*l**3 - 16*l**2 - 2*l + 16. Let b be j(8). Suppose -4*s + 1382 + 6006 = b. Is s composite?
False
Let w(m) = 10*m**2 - 21*m - 8. Is w(13) composite?
False
Let l(h) be the first derivative of h**3 + h - 1. Let x be l(-1). Suppose 3*v - x = 113. Is v prime?
False
Let j = -48547 - -103962. Is j/30 + 2/(-12) prime?
True
Suppose -2*d = -3*r - 4*d - 56, 0 = -3*d + 6. Is (-12)/r - 2452/(-5) prime?
True
Let z(k) = -2*k**2 - 17*k - 4. Let m be z(-8). Suppose m*q + 1812 = -0*q. Let l = q + 788. Is l a prime number?
False
Let j be 2 - 0 - (1 - 221). Suppose -23*m - 226 = -25*m. Let a = j